Showing 1–50 of 157 results for author: Cardoso, R

The Impact of Feature Representation on the Accuracy of Photonic Neural Networks

Authors: Mauricio Gomes de Queiroz, Paul Jimenez, Raphael Cardoso, Mateus Vidaletti Costa, Mohab Abdalla, Ian O'Connor, Alberto Bosio, Fabio Pavanello

Abstract: Photonic Neural Networks (PNNs) are gaining significant interest in the research community due to their potential for high parallelization, low latency, and energy efficiency. PNNs compute using light, which leads to several differences in implementation when compared to electronics, such as the need to represent input features in the photonic domain before feeding them into the network. In this e… ▽ More Photonic Neural Networks (PNNs) are gaining significant interest in the research community due to their potential for high parallelization, low latency, and energy efficiency. PNNs compute using light, which leads to several differences in implementation when compared to electronics, such as the need to represent input features in the photonic domain before feeding them into the network. In this encoding process, it is common to combine multiple features into a single input to reduce the number of inputs and associated devices, leading to smaller and more energy-efficient PNNs. Although this alters the network's handling of input data, its impact on PNNs remains understudied. This paper addresses this open question, investigating the effect of commonly used encoding strategies that combine features on the performance and learning capabilities of PNNs. Here, using the concept of feature importance, we develop a mathematical methodology for analyzing feature combination. Through this methodology, we demonstrate that encoding multiple features together in a single input determines their relative importance, thus limiting the network's ability to learn from the data. Given some prior knowledge of the data, however, this can also be leveraged for higher accuracy. By selecting an optimal encoding method, we achieve up to a 12.3% improvement in accuracy of PNNs trained on the Iris dataset compared to other encoding techniques, surpassing the performance of networks where features are not combined. These findings highlight the importance of carefully choosing the encoding to the accuracy and decision-making strategies of PNNs, particularly in size or power constrained applications. △ Less

Submitted 28 June, 2024; v1 submitted 26 June, 2024; originally announced June 2024.

XENONnT WIMP Search: Signal & Background Modeling and Statistical Inference

Authors: XENON Collaboration, E. Aprile, J. Aalbers, K. Abe, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, D. Antón Martin, F. Arneodo, L. Baudis, M. Bazyk, L. Bellagamba, R. Biondi, A. Bismark, K. Boese, A. Brown, G. Bruno, R. Budnik, J. M. R. Cardoso, A. P. Cimental Chávez, A. P. Colijn, J. Conrad, J. J. Cuenca-García, V. D'Andrea , et al. (139 additional authors not shown)

Abstract: The XENONnT experiment searches for weakly-interacting massive particle (WIMP) dark matter scattering off a xenon nucleus. In particular, XENONnT uses a dual-phase time projection chamber with a 5.9-tonne liquid xenon target, detecting both scintillation and ionization signals to reconstruct the energy, position, and type of recoil. A blind search for nuclear recoil WIMPs with an exposure of 1.1 t… ▽ More The XENONnT experiment searches for weakly-interacting massive particle (WIMP) dark matter scattering off a xenon nucleus. In particular, XENONnT uses a dual-phase time projection chamber with a 5.9-tonne liquid xenon target, detecting both scintillation and ionization signals to reconstruct the energy, position, and type of recoil. A blind search for nuclear recoil WIMPs with an exposure of 1.1 tonne-years yielded no signal excess over background expectations, from which competitive exclusion limits were derived on WIMP-nucleon elastic scatter cross sections, for WIMP masses ranging from 6 GeV/$c^2$ up to the TeV/$c^2$ scale. This work details the modeling and statistical methods employed in this search. By means of calibration data, we model the detector response, which is then used to derive background and signal models. The construction and validation of these models is discussed, alongside additional purely data-driven backgrounds. We also describe the statistical inference framework, including the definition of the likelihood function and the construction of confidence intervals. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 20 pages, 10 figures

Offline tagging of radon-induced backgrounds in XENON1T and applicability to other liquid xenon detectors

Authors: E. Aprile, J. Aalbers, K. Abe, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, M. Bazyk, L. Bellagamba, R. Biondi, A. Bismark, E. J. Brookes, A. Brown, G. Bruno, R. Budnik, T. K. Bui, J. M. R. Cardoso, A. P. Cimental Chavez, A. P. Colijn, J. Conrad , et al. (142 additional authors not shown)

Abstract: This paper details the first application of a software tagging algorithm to reduce radon-induced backgrounds in liquid noble element time projection chambers, such as XENON1T and XENONnT. The convection velocity field in XENON1T was mapped out using $^{222}\text{Rn}$ and $^{218}\text{Po}$ events, and the root-mean-square convection speed was measured to be $0.30 \pm 0.01$ cm/s. Given this velocity… ▽ More This paper details the first application of a software tagging algorithm to reduce radon-induced backgrounds in liquid noble element time projection chambers, such as XENON1T and XENONnT. The convection velocity field in XENON1T was mapped out using $^{222}\text{Rn}$ and $^{218}\text{Po}$ events, and the root-mean-square convection speed was measured to be $0.30 \pm 0.01$ cm/s. Given this velocity field, $^{214}\text{Pb}$ background events can be tagged when they are followed by $^{214}\text{Bi}$ and $^{214}\text{Po}$ decays, or preceded by $^{218}\text{Po}$ decays. This was achieved by evolving a point cloud in the direction of a measured convection velocity field, and searching for $^{214}\text{Bi}$ and $^{214}\text{Po}$ decays or $^{218}\text{Po}$ decays within a volume defined by the point cloud. In XENON1T, this tagging system achieved a $^{214}\text{Pb}$ background reduction of $6.2^{+0.4}_{-0.9}\%$ with an exposure loss of $1.8\pm 0.2 \%$, despite the timescales of convection being smaller than the relevant decay times. We show that the performance can be improved in XENONnT, and that the performance of such a software-tagging approach can be expected to be further improved in a diffusion-limited scenario. Finally, a similar method might be useful to tag the cosmogenic $^{137}\text{Xe}$ background, which is relevant to the search for neutrinoless double-beta decay. △ Less

Submitted 19 June, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: 17 pages, 19 figures

Complexity Assessment of Analog Security Primitives Using the Disentropy of Autocorrelation

Authors: Paul Jimenez, Raphael Cardoso, Maurìcio Gomes de Queiroz, Mohab Abdalla, Cédric Marchand, Xavier Letartre, Fabio Pavanello

Abstract: The study of regularity in signals can be of great importance, typically in medicine to analyse electrocardiogram (ECG) or electromyography (EMG) signals, but also in climate studies, finance or security. In this work we focus on security primitives such as Physical Unclonable Functions (PUFs) or Pseudo-Random Number Generators (PRNGs). Such primitives must have a high level of complexity or entro… ▽ More The study of regularity in signals can be of great importance, typically in medicine to analyse electrocardiogram (ECG) or electromyography (EMG) signals, but also in climate studies, finance or security. In this work we focus on security primitives such as Physical Unclonable Functions (PUFs) or Pseudo-Random Number Generators (PRNGs). Such primitives must have a high level of complexity or entropy in their responses to guarantee enough security for their applications. There are several ways of assessing the complexity of their responses, especially in the binary domain. With the development of analog PUFs such as optical (photonic) PUFs, it would be useful to be able to assess their complexity in the analog domain when designing them, for example, before converting analog signals into binary. In this numerical study, we decided to explore the potential of the disentropy of autocorrelation as a measure of complexity for security primitives as PUFs or PRNGs with analog output or responses. We compare this metric to others used to assess regularities in analog signals such as Approximate Entropy (ApEn) and Fuzzy Entropy (FuzEn). We show that the disentropy of autocorrelation is able to differentiate between well-known PRNGs and non-optimised or bad PRNGs in the analog and binary domain with a better contrast than ApEn and FuzEn. Next, we show that the disentropy of autocorrelation is able to detect small patterns injected in PUFs responses and then we applied it to photonic PUFs simulations. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: 11 pages, 8 figures, This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible

The XENONnT Dark Matter Experiment

Authors: XENON Collaboration, E. Aprile, J. Aalbers, K. Abe, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, M. Balata, L. Baudis, A. L. Baxter, M. Bazyk, L. Bellagamba, R. Biondi, A. Bismark, E. J. Brookes, A. Brown, S. Bruenner, G. Bruno, R. Budnik, T. K. Bui , et al. (170 additional authors not shown)

Abstract: The multi-staged XENON program at INFN Laboratori Nazionali del Gran Sasso aims to detect dark matter with two-phase liquid xenon time projection chambers of increasing size and sensitivity. The XENONnT experiment is the latest detector in the program, planned to be an upgrade of its predecessor XENON1T. It features an active target of 5.9 tonnes of cryogenic liquid xenon (8.5 tonnes total mass in… ▽ More The multi-staged XENON program at INFN Laboratori Nazionali del Gran Sasso aims to detect dark matter with two-phase liquid xenon time projection chambers of increasing size and sensitivity. The XENONnT experiment is the latest detector in the program, planned to be an upgrade of its predecessor XENON1T. It features an active target of 5.9 tonnes of cryogenic liquid xenon (8.5 tonnes total mass in cryostat). The experiment is expected to extend the sensitivity to WIMP dark matter by more than an order of magnitude compared to XENON1T, thanks to the larger active mass and the significantly reduced background, improved by novel systems such as a radon removal plant and a neutron veto. This article describes the XENONnT experiment and its sub-systems in detail and reports on the detector performance during the first science run. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 32 pages, 19 figures

High-Performance Data Map** for BNNs on PCM-based Integrated Photonics

Authors: Taha Shahroodi, Raphael Cardoso, Stephan Wong, Alberto Bosio, Ian O'Connor, Said Hamdioui

Abstract: State-of-the-Art (SotA) hardware implementations of Deep Neural Networks (DNNs) incur high latencies and costs. Binary Neural Networks (BNNs) are potential alternative solutions to realize faster implementations without losing accuracy. In this paper, we first present a new data map**, called TacitMap, suited for BNNs implemented based on a Computation-In-Memory (CIM) architecture. TacitMap maxi… ▽ More State-of-the-Art (SotA) hardware implementations of Deep Neural Networks (DNNs) incur high latencies and costs. Binary Neural Networks (BNNs) are potential alternative solutions to realize faster implementations without losing accuracy. In this paper, we first present a new data map**, called TacitMap, suited for BNNs implemented based on a Computation-In-Memory (CIM) architecture. TacitMap maximizes the use of available parallelism, while CIM architecture eliminates the data movement overhead. We then propose a hardware accelerator based on optical phase change memory (oPCM) called EinsteinBarrier. Ein-steinBarrier incorporates TacitMap and adds an extra dimension for parallelism through wavelength division multiplexing, leading to extra latency reduction. The simulation results show that, compared to the SotA CIM baseline, TacitMap and EinsteinBarrier significantly improve execution time by up to ~154x and ~3113x, respectively, while also maintaining the energy consumption within 60% of that in the CIM baseline. △ Less

Submitted 31 January, 2024; originally announced January 2024.

Comments: To appear in Design Automation and Test in Europe (DATE), 2024

Impact of temporal correlations, coherence, and postselection on two-photon interference

Authors: Fernando Redivo Cardoso, Jaewon Lee, Riccardo Checchinato, Jan-Heinrich Littmann, Marco De Gregorio, Sven Höfling, Christian Schneider, Celso J. Villas-Boas, Ana Predojević

Abstract: Two-photon interference is an indispensable resource in quantum photonics, but it is not straightforward to achieve. The cascaded generation of photon pairs contains intrinsic temporal correlations that negatively affect the ability of such sources to perform two-photon interference, thus hindering applications. We report on how such correlation interplays with decoherence and temporal postselecti… ▽ More Two-photon interference is an indispensable resource in quantum photonics, but it is not straightforward to achieve. The cascaded generation of photon pairs contains intrinsic temporal correlations that negatively affect the ability of such sources to perform two-photon interference, thus hindering applications. We report on how such correlation interplays with decoherence and temporal postselection, and under which conditions temporal postselection could improve two-photon interference visibility. Our study identifies crucial parameters and points the way to a source with optimal performance. △ Less

Submitted 18 February, 2024; v1 submitted 3 December, 2023; originally announced December 2023.

Computing the Mittag-Leffler Function of a Matrix Argument

Authors: João R. Cardoso

Abstract: It is well-known that the two-parameter Mittag-Leffler (ML) function plays a key role in Fractional Calculus. In this paper, we address the problem of computing this function, when its argument is a square matrix. Effective methods for solving this problem involve the computation of higher order derivatives or require the use of mixed precision arithmetic. In this paper, we provide an alternative… ▽ More It is well-known that the two-parameter Mittag-Leffler (ML) function plays a key role in Fractional Calculus. In this paper, we address the problem of computing this function, when its argument is a square matrix. Effective methods for solving this problem involve the computation of higher order derivatives or require the use of mixed precision arithmetic. In this paper, we provide an alternative method that is derivative-free and works entirely using IEEE standard double precision arithmetic. If certain conditions are satisfied, our method uses a Taylor series representation for the ML function; if not, it switches to a Schur-Parlett technique that will be combined with the Cauchy integral formula. A detailed discussion on the choice of a convenient contour is included. Theoretical and numerical issues regarding the performance of the proposed algorithm are discussed. A set of numerical experiments shows that our novel approach is competitive with the state-of-the-art method for IEEE double precision arithmetic, in terms of accuracy and CPU time. For matrices whose Schur decomposition has large blocks with clustered eigenvalues, our method far outperforms the other. Since our method does not require the efficient computation of higher order derivatives, it has the additional advantage of being easily extended to other matrix functions (e.g., special functions). △ Less

Submitted 3 October, 2023; originally announced October 2023.

MSC Class: 65F60; 65D32

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy

Authors: Angelo Ferrando, Rafael Cardoso

Abstract: The volume comprises the proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), held alongside the 26th European Conference on Artificial Intelligence (ECAI 2023). It explores the convergence of autonomous agents and robotics, emphasizing the practical application of agents in real-world scenarios with physical interactions. The workshop highlights the… ▽ More The volume comprises the proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), held alongside the 26th European Conference on Artificial Intelligence (ECAI 2023). It explores the convergence of autonomous agents and robotics, emphasizing the practical application of agents in real-world scenarios with physical interactions. The workshop highlights the growing importance of enhanced autonomy and reliable behavior in robotic systems and the need for novel verification and validation methods. Its primary objective is to promote collaboration between researchers in these fields, aiming to address complex challenges in autonomous robotic systems. The volume includes 7 full papers and 5 short papers. △ Less

Submitted 30 September, 2023; originally announced October 2023.

Journal ref: EPTCS 391, 2023

Design and performance of the field cage for the XENONnT experiment

Authors: E. Aprile, K. Abe, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, M. Bazyk, L. Bellagamba, R. Biondi, A. Bismark, E. J. Brookes, A. Brown, S. Bruenner, G. Bruno, R. Budnik, T. K. Bui, C. Cai, J. M. R. Cardoso, D. Cichon , et al. (139 additional authors not shown)

Abstract: The precision in reconstructing events detected in a dual-phase time projection chamber depends on an homogeneous and well understood electric field within the liquid target. In the XENONnT TPC the field homogeneity is achieved through a double-array field cage, consisting of two nested arrays of field sha** rings connected by an easily accessible resistor chain. Rather than being connected to t… ▽ More The precision in reconstructing events detected in a dual-phase time projection chamber depends on an homogeneous and well understood electric field within the liquid target. In the XENONnT TPC the field homogeneity is achieved through a double-array field cage, consisting of two nested arrays of field sha** rings connected by an easily accessible resistor chain. Rather than being connected to the gate electrode, the topmost field sha** ring is independently biased, adding a degree of freedom to tune the electric field during operation. Two-dimensional finite element simulations were used to optimize the field cage, as well as its operation. Simulation results were compared to ${}^{83m}\mathrm{Kr}$ calibration data. This comparison indicates an accumulation of charge on the panels of the TPC which is constant over time, as no evolution of the reconstructed position distribution of events is observed. The simulated electric field was then used to correct the charge signal for the field dependence of the charge yield. This correction resolves the inconsistent measurement of the drift electron lifetime when using different calibrations sources and different field cage tuning voltages. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Journal ref: Eur. Phys. J. C 84, 138 (2024)

Artificial first-order phase transition in a magnetized Nambu--Jona-Lasinio model with a quark anomalous magnetic moment

Authors: William R. Tavares, Sidney S. Avancini, Ricardo L. S. Farias, Rafael P. Cardoso

Abstract: Recently, first-order phase transitions have been predicted as an effect of the inclusion of quark anomalous magnetic moment (AMM) in the hot and magnetized Nambu--Jona-Lasinio model (NJL). These transitions appear in the chiral condensate for different combinations of AMM and magnetic fields and could lead to inverse magnetic catalysis. However, in this work, we show that the predicted first-orde… ▽ More Recently, first-order phase transitions have been predicted as an effect of the inclusion of quark anomalous magnetic moment (AMM) in the hot and magnetized Nambu--Jona-Lasinio model (NJL). These transitions appear in the chiral condensate for different combinations of AMM and magnetic fields and could lead to inverse magnetic catalysis. However, in this work, we show that the predicted first-order phase transitions are related to regularization-dependent issues. To show this, we explore, in the context of the vacuum magnetic regularization (VMR) scheme, two different scenarios: when mass-dependent (MD) and mass-independent (MI) terms are present in the subtraction of the divergences. In the MD case, as we increase the AMM value, it is observed the appearance of a nonmassive minimum in the thermodynamical potential, which induces a first-order phase transition from the massive minimum. We argue that the MD terms must be avoided in order to satisfy the predictions of Lattice QCD, and we propose a MI solution that is valid in the limit which the magnetic fields are smaller than the squared of vacuum effective quark mass. △ Less

Submitted 9 January, 2024; v1 submitted 7 September, 2023; originally announced September 2023.

Comments: Typos corrected, comments added and new structure. Matches published version

Journal ref: Phys. Rev. D 109 (2024) 016011

Cosmogenic background simulations for the DARWIN observatory at different underground locations

Authors: M. Adrover, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, B. Antunovic, E. Aprile, M. Babicz, D. Bajpai, E. Barberio, L. Baudis, M. Bazyk, N. Bell, L. Bellagamba, R. Biondi, Y. Biondi, A. Bismark, C. Boehm, A. Breskin, E. J. Brookes, A. Brown, G. Bruno, R. Budnik, C. Capelli, J. M. R. Cardoso , et al. (158 additional authors not shown)

Abstract: Xenon dual-phase time projections chambers (TPCs) have proven to be a successful technology in studying physical phenomena that require low-background conditions. With 40t of liquid xenon (LXe) in the TPC baseline design, DARWIN will have a high sensitivity for the detection of particle dark matter, neutrinoless double beta decay ($0νββ$), and axion-like particles (ALPs). Although cosmic muons are… ▽ More Xenon dual-phase time projections chambers (TPCs) have proven to be a successful technology in studying physical phenomena that require low-background conditions. With 40t of liquid xenon (LXe) in the TPC baseline design, DARWIN will have a high sensitivity for the detection of particle dark matter, neutrinoless double beta decay ($0νββ$), and axion-like particles (ALPs). Although cosmic muons are a source of background that cannot be entirely eliminated, they may be greatly diminished by placing the detector deep underground. In this study, we used Monte Carlo simulations to model the cosmogenic background expected for the DARWIN observatory at four underground laboratories: Laboratori Nazionali del Gran Sasso (LNGS), Sanford Underground Research Facility (SURF), Laboratoire Souterrain de Modane (LSM) and SNOLAB. We determine the production rates of unstable xenon isotopes and tritium due to muon-included neutron fluxes and muon-induced spallation. These are expected to represent the dominant contributions to cosmogenic backgrounds and thus the most relevant for site selection. △ Less

Submitted 28 June, 2023; originally announced June 2023.

Search for events in XENON1T associated with Gravitational Waves

Authors: XENON Collaboration, E. Aprile, K. Abe, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antoń Martin, F. Arneodo, L. Baudis, A. L. Baxter, M. Bazyk, L. Bellagamba, R. Biondi, A. Bismark, E. J. Brookes, A. Brown, S. Bruenner, G. Bruno, R. Budnik, T. K. Bui, C. Cai, J. M. R. Cardoso , et al. (138 additional authors not shown)

Abstract: We perform a blind search for particle signals in the XENON1T dark matter detector that occur close in time to gravitational wave signals in the LIGO and Virgo observatories. No particle signal is observed in the nuclear recoil, electronic recoil, CE$ν$NS, and S2-only channels within $\pm$ 500 seconds of observations of the gravitational wave signals GW170104, GW170729, GW170817, GW170818, and GW1… ▽ More We perform a blind search for particle signals in the XENON1T dark matter detector that occur close in time to gravitational wave signals in the LIGO and Virgo observatories. No particle signal is observed in the nuclear recoil, electronic recoil, CE$ν$NS, and S2-only channels within $\pm$ 500 seconds of observations of the gravitational wave signals GW170104, GW170729, GW170817, GW170818, and GW170823. We use this null result to constrain mono-energetic neutrinos and Beyond Standard Model particles emitted in the closest coalescence GW170817, a binary neutron star merger. We set new upper limits on the fluence (time-integrated flux) of coincident neutrinos down to 17 keV at 90% confidence level. Furthermore, we constrain the product of coincident fluence and cross section of Beyond Standard Model particles to be less than $10^{-29}$ cm$^2$/cm$^2$ in the [5.5-210] keV energy range at 90% confidence level. △ Less

Submitted 27 October, 2023; v1 submitted 20 June, 2023; originally announced June 2023.

Searching for Heavy Dark Matter near the Planck Mass with XENON1T

Authors: E. Aprile, K. Abe, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, M. Bazyk, L. Bellagamba, R. Biondi, A. Bismark, E. J. Brookes, A. Brown, S. Bruenner, G. Bruno, R. Budnik, T. K. Bui, C. Cai, J. M. R. Cardoso, D. Cichon , et al. (142 additional authors not shown)

Abstract: Multiple viable theoretical models predict heavy dark matter particles with a mass close to the Planck mass, a range relatively unexplored by current experimental measurements. We use 219.4 days of data collected with the XENON1T experiment to conduct a blind search for signals from Multiply-Interacting Massive Particles (MIMPs). Their unique track signature allows a targeted analysis with only 0.… ▽ More Multiple viable theoretical models predict heavy dark matter particles with a mass close to the Planck mass, a range relatively unexplored by current experimental measurements. We use 219.4 days of data collected with the XENON1T experiment to conduct a blind search for signals from Multiply-Interacting Massive Particles (MIMPs). Their unique track signature allows a targeted analysis with only 0.05 expected background events from muons. Following unblinding, we observe no signal candidate events. This work places strong constraints on spin-independent interactions of dark matter particles with a mass between 1$\times$10$^{12}\,$GeV/c$^2$ and 2$\times$10$^{17}\,$GeV/c$^2$. In addition, we present the first exclusion limits on spin-dependent MIMP-neutron and MIMP-proton cross-sections for dark matter particles with masses close to the Planck scale. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Comments: 7 pages, 6 figures

Journal ref: Phys. Rev. Lett. 130, 261002 (2023)

Detector signal characterization with a Bayesian network in XENONnT

Authors: XENON Collaboration, E. Aprile, K. Abe, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, M. Bazyk, L. Bellagamba, R. Biondi, A. Bismark, E. J. Brookes, A. Brown, S. Bruenner, G. Bruno, R. Budnik, T. K. Bui, C. Cai, J. M. R. Cardoso , et al. (142 additional authors not shown)

Abstract: We developed a detector signal characterization model based on a Bayesian network trained on the waveform attributes generated by a dual-phase xenon time projection chamber. By performing inference on the model, we produced a quantitative metric of signal characterization and demonstrate that this metric can be used to determine whether a detector signal is sourced from a scintillation or an ioniz… ▽ More We developed a detector signal characterization model based on a Bayesian network trained on the waveform attributes generated by a dual-phase xenon time projection chamber. By performing inference on the model, we produced a quantitative metric of signal characterization and demonstrate that this metric can be used to determine whether a detector signal is sourced from a scintillation or an ionization process. We describe the method and its performance on electronic-recoil (ER) data taken during the first science run of the XENONnT dark matter experiment. We demonstrate the first use of a Bayesian network in a waveform-based analysis of detector signals. This method resulted in a 3% increase in ER event-selection efficiency with a simultaneously effective rejection of events outside of the region of interest. The findings of this analysis are consistent with the previous analysis from XENONnT, namely a background-only fit of the ER data. △ Less

Submitted 26 July, 2023; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: 11 pages, 8 figures

Journal ref: Phys. Rev. D 108, 012016 (2023)

First Dark Matter Search with Nuclear Recoils from the XENONnT Experiment

Authors: XENON Collaboration, E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, M. Bazyk, L. Bellagamba, R. Biondi, A. Bismark, E. J. Brookes, A. Brown, S. Bruenner, G. Bruno, R. Budnik, T. K. Bui, C. Cai , et al. (141 additional authors not shown)

Abstract: We report on the first search for nuclear recoils from dark matter in the form of weakly interacting massive particles (WIMPs) with the XENONnT experiment which is based on a two-phase time projection chamber with a sensitive liquid xenon mass of $5.9$ t. During the approximately 1.1 tonne-year exposure used for this search, the intrinsic $^{85}$Kr and $^{222}$Rn concentrations in the liquid targe… ▽ More We report on the first search for nuclear recoils from dark matter in the form of weakly interacting massive particles (WIMPs) with the XENONnT experiment which is based on a two-phase time projection chamber with a sensitive liquid xenon mass of $5.9$ t. During the approximately 1.1 tonne-year exposure used for this search, the intrinsic $^{85}$Kr and $^{222}$Rn concentrations in the liquid target were reduced to unprecedentedly low levels, giving an electronic recoil background rate of $(15.8\pm1.3)~\mathrm{events}/(\mathrm{t\cdot y \cdot keV})$ in the region of interest. A blind analysis of nuclear recoil events with energies between $3.3$ keV and $60.5$ keV finds no significant excess. This leads to a minimum upper limit on the spin-independent WIMP-nucleon cross section of $2.58\times 10^{-47}~\mathrm{cm}^2$ for a WIMP mass of $28~\mathrm{GeV}/c^2$ at $90\%$ confidence level. Limits for spin-dependent interactions are also provided. Both the limit and the sensitivity for the full range of WIMP masses analyzed here improve on previous results obtained with the XENON1T experiment for the same exposure. △ Less

Submitted 5 August, 2023; v1 submitted 26 March, 2023; originally announced March 2023.

Comments: Limit points are included in the submission file

Journal ref: Phys. Rev. Lett. 131, 041003 (2023)

Understanding the main failure scenarios of subsea blowout preventers systems: An approach through Latent Semantic Analysis

Authors: Gustavo Jorge Martins de Aguiar, Ramon Baptista Narcizo, Rodolfo Cardoso, Iara Tammela, Edwin Benito Mitacc Meza, Danilo Colombo, Luiz Antônio de Oliveira Chaves, Jamile Eleutério Delesposte

Abstract: The blowout preventer (BOP) system is one of the most important well safety barriers during the drilling phase because it can prevent the development of blowout events. This paper investigates BOP system's main failures using an LSA-based methodology. A total of 1312 failure records from companies worldwide were collected from the International Association of Drilling Contractors' RAPID-S53 databa… ▽ More The blowout preventer (BOP) system is one of the most important well safety barriers during the drilling phase because it can prevent the development of blowout events. This paper investigates BOP system's main failures using an LSA-based methodology. A total of 1312 failure records from companies worldwide were collected from the International Association of Drilling Contractors' RAPID-S53 database. The database contains recordings of halted drilling operations due to BOP system's failures and component's function deviations. The main failure scenarios of the components annular preventer, shear rams preventer, compensated chamber solenoid valve, and hydraulic regulators were identified using the proposed methodology. The scenarios contained valuable information about corrective maintenance procedures, such as frequently observed failure modes, detection methods used, suspected causes, and corrective actions. The findings highlighted that the major failures of the components under consideration were leakages caused by damaged elastomeric seals. The majority of the failures were detected during function and pressure tests with the BOP system in the rig. This study provides an alternative safety analysis that contributes to understanding blowout preventer system's critical component failures by applying a methodology based on a well-established text mining technique and analyzing failure records from an international database. △ Less

Submitted 2 January, 2023; originally announced January 2023.

ACM Class: H.3; H.3.3; J.2

The Triggerless Data Acquisition System of the XENONnT Experiment

Authors: E. Aprile, J. Aalbers, K. Abe, F. Agostini, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, L. Bellagamba, R. Biondi, A. Bismark, E. J. Brookes, A. Brown, S. Bruenner, G. Bruno, R. Budnik, T. K. Bui, C. Cai, J. M. R. Cardoso , et al. (140 additional authors not shown)

Abstract: The XENONnT detector uses the latest and largest liquid xenon-based time projection chamber (TPC) operated by the XENON Collaboration, aimed at detecting Weakly Interacting Massive Particles and conducting other rare event searches. The XENONnT data acquisition (DAQ) system constitutes an upgraded and expanded version of the XENON1T DAQ system. For its operation, it relies predominantly on commerc… ▽ More The XENONnT detector uses the latest and largest liquid xenon-based time projection chamber (TPC) operated by the XENON Collaboration, aimed at detecting Weakly Interacting Massive Particles and conducting other rare event searches. The XENONnT data acquisition (DAQ) system constitutes an upgraded and expanded version of the XENON1T DAQ system. For its operation, it relies predominantly on commercially available hardware accompanied by open-source and custom-developed software. The three constituent subsystems of the XENONnT detector, the TPC (main detector), muon veto, and the newly introduced neutron veto, are integrated into a single DAQ, and can be operated both independently and as a unified system. In total, the DAQ digitizes the signals of 698 photomultiplier tubes (PMTs), of which 253 from the top PMT array of the TPC are digitized twice, at $\times10$ and $\times0.5$ gain. The DAQ for the most part is a triggerless system, reading out and storing every signal that exceeds the digitization thresholds. Custom-developed software is used to process the acquired data, making it available within $\mathcal{O}\left(10\text{ s}\right)$ for live data quality monitoring and online analyses. The entire system with all the three subsystems was successfully commissioned and has been operating continuously, comfortably withstanding readout rates that exceed $\sim500$ MB/s during calibration. Livetime during normal operation exceeds $99\%$ and is $\sim90\%$ during most high-rate calibrations. The combined DAQ system has collected more than 2 PB of both calibration and science data during the commissioning of XENONnT and the first science run. △ Less

Submitted 21 December, 2022; originally announced December 2022.

Conditional Progressive Generative Adversarial Network for satellite image generation

Authors: Renato Cardoso, Sofia Vallecorsa, Edoardo Nemni

Abstract: Image generation and image completion are rapidly evolving fields, thanks to machine learning algorithms that are able to realistically replace missing pixels. However, generating large high resolution images, with a large level of details, presents important computational challenges. In this work, we formulate the image generation task as completion of an image where one out of three corners is m… ▽ More Image generation and image completion are rapidly evolving fields, thanks to machine learning algorithms that are able to realistically replace missing pixels. However, generating large high resolution images, with a large level of details, presents important computational challenges. In this work, we formulate the image generation task as completion of an image where one out of three corners is missing. We then extend this approach to iteratively build larger images with the same level of detail. Our goal is to obtain a scalable methodology to generate high resolution samples typically found in satellite imagery data sets. We introduce a conditional progressive Generative Adversarial Networks (GAN), that generates the missing tile in an image, using as input three initial adjacent tiles encoded in a latent vector by a Wasserstein auto-encoder. We focus on a set of images used by the United Nations Satellite Centre (UNOSAT) to train flood detection tools, and validate the quality of synthetic images in a realistic setup. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Comments: Published at the SyntheticData4ML Neurips workshop

Low-energy Calibration of XENON1T with an Internal $^{37}$Ar Source

Authors: E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud, M. Alfonsi, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, L. Bellagamba, R. Biondi, A. Bismark, A. Brown, S. Bruenner, G. Bruno, R. Budnik, T. K. Bui, C. Cai, C. Capelli, J. M. R. Cardoso , et al. (139 additional authors not shown)

Abstract: A low-energy electronic recoil calibration of XENON1T, a dual-phase xenon time projection chamber, with an internal $^{37}$Ar source was performed. This calibration source features a 35-day half-life and provides two mono-energetic lines at 2.82 keV and 0.27 keV. The photon yield and electron yield at 2.82 keV are measured to be (32.3$\pm$0.3) photons/keV and (40.6$\pm$0.5) electrons/keV, respecti… ▽ More A low-energy electronic recoil calibration of XENON1T, a dual-phase xenon time projection chamber, with an internal $^{37}$Ar source was performed. This calibration source features a 35-day half-life and provides two mono-energetic lines at 2.82 keV and 0.27 keV. The photon yield and electron yield at 2.82 keV are measured to be (32.3$\pm$0.3) photons/keV and (40.6$\pm$0.5) electrons/keV, respectively, in agreement with other measurements and with NEST predictions. The electron yield at 0.27 keV is also measured and it is (68.0$^{+6.3}_{-3.7}$) electrons/keV. The $^{37}$Ar calibration confirms that the detector is well-understood in the energy region close to the detection threshold, with the 2.82 keV line reconstructed at (2.83$\pm$0.02) keV, which further validates the model used to interpret the low-energy electronic recoil excess previously reported by XENON1T. The ability to efficiently remove argon with cryogenic distillation after the calibration proves that $^{37}$Ar can be considered as a regular calibration source for multi-tonne xenon detectors. △ Less

Submitted 21 March, 2023; v1 submitted 25 November, 2022; originally announced November 2022.

Effective Field Theory and Inelastic Dark Matter Results from XENON1T

Authors: E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, L. Bellagamba, R. Biondi, A. Bismark, A. Brown, S. Bruenner, G. Bruno, R. Budnik, C. Cai, C. Capelli, J. M. R. Cardoso, D. Cichon, M. Clark , et al. (135 additional authors not shown)

Abstract: In this work, we expand on the XENON1T nuclear recoil searches to study the individual signals of dark matter interactions from operators up to dimension-eight in a Chiral Effective Field Theory (ChEFT) and a model of inelastic dark matter (iDM). We analyze data from two science runs of the XENON1T detector totaling 1\,tonne$\times$year exposure. For these analyses, we extended the region of inter… ▽ More In this work, we expand on the XENON1T nuclear recoil searches to study the individual signals of dark matter interactions from operators up to dimension-eight in a Chiral Effective Field Theory (ChEFT) and a model of inelastic dark matter (iDM). We analyze data from two science runs of the XENON1T detector totaling 1\,tonne$\times$year exposure. For these analyses, we extended the region of interest from [4.9, 40.9]$\,$keV$_{\text{NR}}$ to [4.9, 54.4]$\,$keV$_{\text{NR}}$ to enhance our sensitivity for signals that peak at nonzero energies. We show that the data is consistent with the background-only hypothesis, with a small background over-fluctuation observed peaking between 20 and 50$\,$keV$_{\text{NR}}$, resulting in a maximum local discovery significance of 1.7\,$σ$ for the Vector$\otimes$Vector$_{\text{strange}}$ ($VV_s$) ChEFT channel for a dark matter particle of 70$\,$GeV/c$^2$, and $1.8\,σ$ for an iDM particle of 50$\,$GeV/c$^2$ with a mass splitting of 100$\,$keV/c$^2$. For each model, we report 90\,\% confidence level (CL) upper limits. We also report upper limits on three benchmark models of dark matter interaction using ChEFT where we investigate the effect of isospin-breaking interactions. We observe rate-driven cancellations in regions of the isospin-breaking couplings, leading to up to 6 orders of magnitude weaker upper limits with respect to the isospin-conserving case. △ Less

Submitted 17 October, 2022; v1 submitted 14 October, 2022; originally announced October 2022.

An approximate likelihood for nuclear recoil searches with XENON1T data

Authors: E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud, M. Alfonsi, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, L. Bellagamba, R. Biondi, A. Bismark, A. Brown, S. Bruenner, G. Bruno, R. Budnik, C. Capelli, J. M. R. Cardoso, D. Cichon, B. Cimmino , et al. (129 additional authors not shown)

Abstract: The XENON collaboration has published stringent limits on specific dark matter -nucleon recoil spectra from dark matter recoiling on the liquid xenon detector target. In this paper, we present an approximate likelihood for the XENON1T 1 tonne-year nuclear recoil search applicable to any nuclear recoil spectrum. Alongside this paper, we publish data and code to compute upper limits using the method… ▽ More The XENON collaboration has published stringent limits on specific dark matter -nucleon recoil spectra from dark matter recoiling on the liquid xenon detector target. In this paper, we present an approximate likelihood for the XENON1T 1 tonne-year nuclear recoil search applicable to any nuclear recoil spectrum. Alongside this paper, we publish data and code to compute upper limits using the method we present. The approximate likelihood is constructed in bins of reconstructed energy, profiled along the signal expectation in each bin. This approach can be used to compute an approximate likelihood and therefore most statistical results for any nuclear recoil spectrum. Computing approximate results with this method is approximately three orders of magnitude faster than the likelihood used in the original publications of XENON1T, where limits were set for specific families of recoil spectra. Using this same method, we include toy Monte Carlo simulation-derived binwise likelihoods for the upcoming XENONnT experiment that can similarly be used to assess the sensitivity to arbitrary nuclear recoil signatures in its eventual 20 tonne-year exposure. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Comments: Accepted by European Physical Journal C

Extending Attack-Fault Trees with Runtime Verification

Authors: Rafael C. Cardoso, Angelo Ferrando, Michael Fisher

Abstract: Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are able to detect when failures, that can be caused either by an attack or by a fault, occur. The safety and security properties monitored are, in turn, derived from… ▽ More Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are able to detect when failures, that can be caused either by an attack or by a fault, occur. The safety and security properties monitored are, in turn, derived from the hierarchical decomposition of RVAFTs. Our approach not only provides further use of AFTs, but also improves the process of instrumentation often required in runtime verification. We explain the principles and provide a simple case study demonstrating how RVAFTs can be used in practice. Through this we are also able to evaluate the detection of faults and attacks as well as assessing the computational overhead of the monitors. △ Less

Submitted 28 September, 2022; originally announced September 2022.

Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181

Journal ref: EPTCS 371, 2022, pp. 193-207

A Compositional Approach to Verifying Modular Robotic Systems

Authors: Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher

Abstract: Robotic systems used in safety-critical industrial situations often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic systems behave as expected requires approaches that can cope with, and preferably take advantage of, this inherent modularity. This paper describes a compositional approach to specifying the nodes in robotic… ▽ More Robotic systems used in safety-critical industrial situations often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic systems behave as expected requires approaches that can cope with, and preferably take advantage of, this inherent modularity. This paper describes a compositional approach to specifying the nodes in robotic systems built using the Robotic Operating System (ROS), where each node is specified using First-Order Logic (FOL) assume-guarantee contracts that link the specification to the ROS implementation. We introduce inference rules that facilitate the composition of these node-level contracts to derive system-level properties. We also present a novel Domain-Specific Language, the ROS Contract Language, which captures a node's FOL specification and links this contract to its implementation. RCL contracts can be automatically translated, by our tool Vanda, into executable monitors; which we use to verify the contracts at runtime. We illustrate our approach through the specification and verification of an autonomous rover engaged in the remote inspection of a nuclear site, and finish with smaller examples that illustrate other useful features of our framework. △ Less

Submitted 30 November, 2023; v1 submitted 10 August, 2022; originally announced August 2022.

Comments: Version submitted to RAS

Trapped Ions as an Architecture for Quantum Computing

Authors: Gabriel P. L. M. Fernandes, Alexandre C. Ricardo, Fernando R. Cardoso, Celso J. Villas-Boas

Abstract: In this paper we describe one of the most promising platforms for the construction of a universal quantum computer, which consists of a chain of $N$ ions trapped in a harmonic potential, whose internal states work out as qubits, and are coupled to collective vibrational modes of the chain. From such coupling, it is possible to build interactions between different ions of the chain, that is, qubit-… ▽ More In this paper we describe one of the most promising platforms for the construction of a universal quantum computer, which consists of a chain of $N$ ions trapped in a harmonic potential, whose internal states work out as qubits, and are coupled to collective vibrational modes of the chain. From such coupling, it is possible to build interactions between different ions of the chain, that is, qubit-qubit interactions that, together with individual operations on the ions, allow building a quantum computer as first proposed by Cirac and Zoller in the 1990s [Phys. Rev. Lett. 74, 4091 (1995)]. Here we discuss from the physics involved in trap** ions in electromagnetic potentials to the Hamiltonian engineering needed to generate a universal set of logic gates, fundamental for the execution of more complex quantum algorithms. Finally, we present the current state of the art of quantum computing in trapped ion systems, highlighting recent advances made by companies and government projects that use such architecture, such as IonQ and AQTION. △ Less

Submitted 23 July, 2022; originally announced July 2022.

Comments: 18 pages, in Portuguese language, 8 figures

Search for New Physics in Electronic Recoil Data from XENONnT

Authors: E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, L. Bellagamba, R. Biondi, A. Bismark, A. Brown, S. Bruenner, G. Bruno, R. Budnik, T. K. Bui, C. Cai, C. Capelli, J. M. R. Cardoso, D. Cichon , et al. (141 additional authors not shown)

Abstract: We report on a blinded analysis of low-energy electronic-recoil data from the first science run of the XENONnT dark matter experiment. Novel subsystems and the increased 5.9 tonne liquid xenon target reduced the background in the (1, 30) keV search region to $(15.8 \pm 1.3)$ events/(tonne$\times$year$\times$keV), the lowest ever achieved in a dark matter detector and $\sim$5 times lower than in XE… ▽ More We report on a blinded analysis of low-energy electronic-recoil data from the first science run of the XENONnT dark matter experiment. Novel subsystems and the increased 5.9 tonne liquid xenon target reduced the background in the (1, 30) keV search region to $(15.8 \pm 1.3)$ events/(tonne$\times$year$\times$keV), the lowest ever achieved in a dark matter detector and $\sim$5 times lower than in XENON1T. With an exposure of 1.16 tonne-years, we observe no excess above background and set stringent new limits on solar axions, an enhanced neutrino magnetic moment, and bosonic dark matter. △ Less

Submitted 15 November, 2022; v1 submitted 22 July, 2022; originally announced July 2022.

Comments: 10 pages, 6 figures. Data points are available in https://zenodo.org/record/7311940

Journal ref: Phys. Rev. Lett. 129, 161805 (2022)

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy

Authors: Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis

Abstract: This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022). The AREA workshop brings together researchers from autonomous agents, software engineering and robotic communit… ▽ More This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022). The AREA workshop brings together researchers from autonomous agents, software engineering and robotic communities, as combining knowledge coming from these research areas may lead to innovative approaches that solve complex problems related with the verification and validation of autonomous robotic systems. △ Less

Submitted 19 July, 2022; originally announced July 2022.

Journal ref: EPTCS 362, 2022

Hitless memory-reconfigurable photonic reservoir computing architecture

Authors: Mohab Abdalla, Clément Zrounba, Raphael Cardoso, Paul Jimenez, Guanghui Ren, Andreas Boes, Arnan Mitchell, Alberto Bosio, Ian O'Connor, Fabio Pavanello

Abstract: Reservoir computing is an analog bio-inspired computation model for efficiently processing time-dependent signals, the photonic implementations of which promise a combination of massive parallel information processing, low power consumption, and high speed operation. However, most implementations, especially for the case of time-delay reservoir computing (TDRC), require signal attenuation in the r… ▽ More Reservoir computing is an analog bio-inspired computation model for efficiently processing time-dependent signals, the photonic implementations of which promise a combination of massive parallel information processing, low power consumption, and high speed operation. However, most implementations, especially for the case of time-delay reservoir computing (TDRC), require signal attenuation in the reservoir to achieve the desired system dynamics for a specific task, often resulting in large amounts of power being coupled outside of the system. We propose a novel TDRC architecture based on an asymmetric Mach-Zehnder interferometer (MZI) integrated in a resonant cavity which allows the memory capacity of the system to be tuned without the need for an optical attenuator block. Furthermore, this can be leveraged to find the optimal value for the specific components of the total memory capacity metric. We demonstrate this approach on the temporal bitwise XOR task and conclude that this way of memory capacity reconfiguration allows optimal performance to be achieved for memory-specific tasks. △ Less

Submitted 17 May, 2023; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: The paper has been withdrawn by the authors due to their belief that the arguments and results presented in the paper are not mature enough, and includes a slight error

Dissecting the central regions of OH 231.8 + 4.2 with ALMA: a salty rotating disk at the base of a young bipolar outflow

Authors: C. Sánchez Contreras, J. Alcolea, R. Rodríguez Cardoso, V. Bujarrabal, A. Castro-Carrizo, G. Quintana-Lacaci, L. Velilla-Prieto, M. Santander-García

Abstract: We present ALMA continuum and molecular line emission maps at $\sim$1 mm of OH 231.8, a well studied bipolar nebula around an AGB star. The excellent angular resolution of our maps ($\sim$20 mas) allows us to scrutinise the central nebular regions of OH 231.8, which hold the clues to unravel how this iconic object assembled its complex nebular architecture. We report, for the first time in this ob… ▽ More We present ALMA continuum and molecular line emission maps at $\sim$1 mm of OH 231.8, a well studied bipolar nebula around an AGB star. The excellent angular resolution of our maps ($\sim$20 mas) allows us to scrutinise the central nebular regions of OH 231.8, which hold the clues to unravel how this iconic object assembled its complex nebular architecture. We report, for the first time in this object and others of its kind, the discovery of a rotating circumbinary disk selectively traced by NaCl, KCl, and H$_2$O emission lines. This represents the first detection of KCl in an oxygen-rich AGB circumstellar envelope. The rotating disk, of radius $\sim$30 au, lies at the base of a young bipolar wind traced by SiO and SiS emission, which also presents signs of rotation at its base. The NaCl equatorial structure is characterised by a mean rotation velocity of $\sim$4 km s$^{-1}$ and extremely low expansion speeds, $\sim$3 km s$^{-1}$. The outflow has a predominantly expansive kinematics characterised by a constant radial velocity gradient of $\sim$65 km s$^{-1}$ arcsec$^{-1}$ at its base. Beyond $r$$\sim$350 au, the gas in the outflow continues radially flowing at a constant terminal speed of $\sim$16 km s$^{-1}$. Our continuum maps reveal a spatially resolved dust disk-like structure perpendicular to the outflow, with the NaCl, KCl and H$_2$O emission arising from the disk's surface layers. Within the disk, we also identify an unresolved point continuum source, which likely represents the central Mira-type star QX Pup enshrouded by a $\sim$3 $R_{\star}$ component of hot ($\sim$1400 K) freshly formed dust. The point source is slightly off-centered from the disk centroid, enabling us for the first time to place constraints to the orbital separation and period of the central binary system, $a$$\sim$20 au and $P_{\rm orb}$$\sim$55 yr, respectively. (abridged). △ Less

Submitted 24 June, 2022; originally announced June 2022.

Comments: 30 pages, 18 figures. Accepted for publication in Astronomy & Astrophysics (on 19/06/2022)

Journal ref: A&A 665, A88 (2022)

Double-Weak Decays of $^{124}$Xe and $^{136}$Xe in the XENON1T and XENONnT Experiments

Authors: E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud, M. Alfonsi, L. Althueser, B. Andrieu, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, L. Bellagamba, R. Biondi, A. Bismark, A. Brown, S. Bruenner, G. Bruno, R. Budnik, C. Cai, C. Capelli, J. M. R. Cardoso, D. Cichon , et al. (135 additional authors not shown)

Abstract: We present results on the search for double-electron capture ($2ν\text{ECEC}$) of $^{124}$Xe and neutrinoless double-$β$ decay ($0νββ$) of $^{136}$Xe in XENON1T. We consider captures from the K- up to the N-shell in the $2ν\text{ECEC}$ signal model and measure a total half-life of $T_{1/2}^{2ν\text{ECEC}}=(1.1\pm0.2_\text{stat}\pm0.1_\text{sys})\times 10^{22}\;\text{yr}$ with a… ▽ More We present results on the search for double-electron capture ($2ν\text{ECEC}$) of $^{124}$Xe and neutrinoless double-$β$ decay ($0νββ$) of $^{136}$Xe in XENON1T. We consider captures from the K- up to the N-shell in the $2ν\text{ECEC}$ signal model and measure a total half-life of $T_{1/2}^{2ν\text{ECEC}}=(1.1\pm0.2_\text{stat}\pm0.1_\text{sys})\times 10^{22}\;\text{yr}$ with a $0.87\;\text{kg}\times\text{yr}$ isotope exposure. The statistical significance of the signal is $7.0\,σ$. We use XENON1T data with $36.16\;\text{kg}\times\text{yr}$ of $^{136}$Xe exposure to search for $0νββ$. We find no evidence of a signal and set a lower limit on the half-life of $T_{1/2}^{0νββ} > 1.2 \times 10^{24}\;\text{yr}\; \text{at}\; 90\,\%\;\text{CL}$. This is the best result from a dark matter detector without an enriched target to date. We also report projections on the sensitivity of XENONnT to $0νββ$. Assuming a $275\;\text{kg}\times\text{yr}$ $^{136}$Xe exposure, the expected sensitivity is $T_{1/2}^{0νββ} > 2.1 \times 10^{25}\;\text{yr}\; \text{at}\; 90\,\%\;\text{CL}$, corresponding to an effective Majorana mass range of $\langle m_{ββ} \rangle < (0.19 - 0.59)\;\text{eV/c}^2$. △ Less

Submitted 6 September, 2022; v1 submitted 9 May, 2022; originally announced May 2022.

Comments: 23 pages, 14 figures, 9 tables, version accepted for publication in Phys. Rev. C

Journal ref: Phys. Rev. C 106, 024328 (2022)

Growth of Pure and Intercalated ZrTe2, TiTe2 and HfTe2 Dichalcogenide Single Crystals by Isothermal Chemical Vapor Transport

Authors: Lucas E. Correa, Leandro R. de Faria, Rennan S. Cardoso, Nabil Chaia, Mario S. da Luz, Milton S. Torikachvili, Antonio J. S. Machado

Abstract: We report on a modified chemical vapor transport (CVT) methodology for the growth of pure and intercalated Zr, Ti, and Hf dichalcogenide single crystals, e.g. ZrTe2, Gd0.05ZrTe2, HfTe2, and Cu0.05TiTe2. While the most common method for CVT growth is carried out in quartz tubes subjected to a temperature gradient between the charge and the growth location, the growth using this isothermal-CVT (ICVT… ▽ More We report on a modified chemical vapor transport (CVT) methodology for the growth of pure and intercalated Zr, Ti, and Hf dichalcogenide single crystals, e.g. ZrTe2, Gd0.05ZrTe2, HfTe2, and Cu0.05TiTe2. While the most common method for CVT growth is carried out in quartz tubes subjected to a temperature gradient between the charge and the growth location, the growth using this isothermal-CVT (ICVT) method takes place isothermally in sealed quartz tubes placed horizontally in box furnaces, using iodine (I2) as the transport agent. The structure and composition of crystals were determined by means of X-ray diffraction (XRD), scanning electron microscopy (SEM), and induced coupling plasma (ICP). The crystals grown with this method can be large, and show excellent crystallinity and homogeneity. Their morphology is plate-like, and the larger dimensions can be as long as 15 mm. △ Less

Submitted 23 March, 2022; originally announced March 2022.

Comments: submitted to journal of crystal growth

A Next-Generation Liquid Xenon Observatory for Dark Matter and Neutrino Physics

Authors: J. Aalbers, K. Abe, V. Aerne, F. Agostini, S. Ahmed Maouloud, D. S. Akerib, D. Yu. Akimov, J. Akshat, A. K. Al Musalhi, F. Alder, S. K. Alsum, L. Althueser, C. S. Amarasinghe, F. D. Amaro, A. Ames, T. J. Anderson, B. Andrieu, N. Angelides, E. Angelino, J. Angevaare, V. C. Antochi, D. Antón Martin, B. Antunovic, E. Aprile, H. M. Araújo , et al. (572 additional authors not shown)

Abstract: The nature of dark matter and properties of neutrinos are among the most pressing issues in contemporary particle physics. The dual-phase xenon time-projection chamber is the leading technology to cover the available parameter space for Weakly Interacting Massive Particles (WIMPs), while featuring extensive sensitivity to many alternative dark matter candidates. These detectors can also study neut… ▽ More The nature of dark matter and properties of neutrinos are among the most pressing issues in contemporary particle physics. The dual-phase xenon time-projection chamber is the leading technology to cover the available parameter space for Weakly Interacting Massive Particles (WIMPs), while featuring extensive sensitivity to many alternative dark matter candidates. These detectors can also study neutrinos through neutrinoless double-beta decay and through a variety of astrophysical sources. A next-generation xenon-based detector will therefore be a true multi-purpose observatory to significantly advance particle physics, nuclear physics, astrophysics, solar physics, and cosmology. This review article presents the science cases for such a detector. △ Less

Submitted 4 March, 2022; originally announced March 2022.

Comments: 77 pages, 40 figures, 1262 references

Report number: INT-PUB-22-003

Journal ref: J. Phys. G: Nucl. Part. Phys. 50 (2023) 013001

Augmenting Novelty Search with a Surrogate Model to Engineer Meta-Diversity in Ensembles of Classifiers

Authors: Rui P. Cardoso, Emma Hart, David Burth Kurka, Jeremy V. Pitt

Abstract: Using Neuroevolution combined with Novelty Search to promote behavioural diversity is capable of constructing high-performing ensembles for classification. However, using gradient descent to train evolved architectures during the search can be computationally prohibitive. Here we propose a method to overcome this limitation by using a surrogate model which estimates the behavioural distance betwee… ▽ More Using Neuroevolution combined with Novelty Search to promote behavioural diversity is capable of constructing high-performing ensembles for classification. However, using gradient descent to train evolved architectures during the search can be computationally prohibitive. Here we propose a method to overcome this limitation by using a surrogate model which estimates the behavioural distance between two neural network architectures required to calculate the sparseness term in Novelty Search. We demonstrate a speedup of 10 times over previous work and significantly improve on previous reported results on three benchmark datasets from Computer Vision -- CIFAR-10, CIFAR-100, and SVHN. This results from the expanded architecture search space facilitated by using a surrogate. Our method represents an improved paradigm for implementing horizontal scaling of learning algorithms by making an explicit search for diversity considerably more tractable for the same bounded resources. △ Less

Submitted 7 February, 2022; v1 submitted 30 January, 2022; originally announced January 2022.

Comments: 16 pages, 4 figures, 3 tables, EvoStar 2022

Application and modeling of an online distillation method to reduce krypton and argon in XENON1T

Authors: E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud, M. Alfonsi, L. Althueser, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, L. Bellagamba, A. Bernard, R. Biondi, A. Bismark, A. Brown, S. Bruenner, G. Bruno, R. Budnik, C. Capelli, J. M. R. Cardoso, D. Cichon, B. Cimmino , et al. (129 additional authors not shown)

Abstract: A novel online distillation technique was developed for the XENON1T dark matter experiment to reduce intrinsic background components more volatile than xenon, such as krypton or argon, while the detector was operating. The method is based on a continuous purification of the gaseous volume of the detector system using the XENON1T cryogenic distillation column. A krypton-in-xenon concentration of… ▽ More A novel online distillation technique was developed for the XENON1T dark matter experiment to reduce intrinsic background components more volatile than xenon, such as krypton or argon, while the detector was operating. The method is based on a continuous purification of the gaseous volume of the detector system using the XENON1T cryogenic distillation column. A krypton-in-xenon concentration of $(360 \pm 60)$ ppq was achieved. It is the lowest concentration measured in the fiducial volume of an operating dark matter detector to date. A model was developed and fit to the data to describe the krypton evolution in the liquid and gas volumes of the detector system for several operation modes over the time span of 550 days, including the commissioning and science runs of XENON1T. The online distillation was also successfully applied to remove Ar-37 after its injection for a low energy calibration in XENON1T. This makes the usage of Ar-37 as a regular calibration source possible in the future. The online distillation can be applied to next-generation experiments to remove krypton prior to, or during, any science run. The model developed here allows further optimization of the distillation strategy for future large scale detectors. △ Less

Submitted 14 June, 2022; v1 submitted 22 December, 2021; originally announced December 2021.

Journal ref: Prog Theor Exp Phys (2022)

Emission of Single and Few Electrons in XENON1T and Limits on Light Dark Matter

Authors: E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud, M. Alfonsi, L. Althueser, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, L. Bellagamba, A. Bernard, R. Biondi, A. Bismark, A. Brown, S. Bruenner, G. Bruno, R. Budnik, C. Capelli, J. M. R. Cardoso, D. Cichon, B. Cimmino , et al. (130 additional authors not shown)

Abstract: Delayed single- and few-electron emissions plague dual-phase time projection chambers, limiting their potential to search for light-mass dark matter. This paper examines the origins of these events in the XENON1T experiment. Characterization of the intensity of delayed electron backgrounds shows that the resulting emissions are correlated, in time and position, with high-energy events and can effe… ▽ More Delayed single- and few-electron emissions plague dual-phase time projection chambers, limiting their potential to search for light-mass dark matter. This paper examines the origins of these events in the XENON1T experiment. Characterization of the intensity of delayed electron backgrounds shows that the resulting emissions are correlated, in time and position, with high-energy events and can effectively be vetoed. In this work we extend previous S2-only analyses down to a single electron. From this analysis, after removing the correlated backgrounds, we observe rates < 30 events/(electron*kg*day) in the region of interest spanning 1 to 5 electrons. We derive 90% confidence upper limits for dark matter-electron scattering, first direct limits on the electric dipole, magnetic dipole, and anapole interactions, and bosonic dark matter models, where we exclude new parameter space for dark photons and solar dark photons. △ Less

Submitted 28 June, 2022; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: 20 pages, 17 figures

Journal ref: Phys. Rev. D 106, 022001 (2022)

Material radiopurity control in the XENONnT experiment

Authors: E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud, M. Alfonsi, L. Althueser, E. Angelino, J. R. Angevaare, V. C. Antochi, D. Antón Martin, F. Arneodo, L. Baudis, A. L. Baxter, L. Bellagamba, R. Biondi, A. Bismark, A. Brown, S. Bruenner, G. Bruno, R. Budnik, C. Capelli, J. M. R. Cardoso, D. Cichon, B. Cimmino, M. Clark , et al. (128 additional authors not shown)

Abstract: The selection of low-radioactive construction materials is of the utmost importance for rare-event searches and thus critical to the XENONnT experiment. Results of an extensive radioassay program are reported, in which material samples have been screened with gamma-ray spectroscopy, mass spectrometry, and $^{222}$Rn emanation measurements. Furthermore, the cleanliness procedures applied to remove… ▽ More The selection of low-radioactive construction materials is of the utmost importance for rare-event searches and thus critical to the XENONnT experiment. Results of an extensive radioassay program are reported, in which material samples have been screened with gamma-ray spectroscopy, mass spectrometry, and $^{222}$Rn emanation measurements. Furthermore, the cleanliness procedures applied to remove or mitigate surface contamination of detector materials are described. Screening results, used as inputs for a XENONnT Monte Carlo simulation, predict a reduction of materials background ($\sim$17%) with respect to its predecessor XENON1T. Through radon emanation measurements, the expected $^{222}$Rn activity concentration in XENONnT is determined to be 4.2$\,(^{+0.5}_{-0.7})\,μ$Bq/kg, a factor three lower with respect to XENON1T. This radon concentration will be further suppressed by means of the novel radon distillation system. △ Less

Submitted 26 January, 2023; v1 submitted 10 December, 2021; originally announced December 2021.

Accelerating GAN training using highly parallel hardware on public cloud

Authors: Renato Cardoso, Dejan Golubovic, Ignacio Peluaga Lozada, Ricardo Rocha, João Fernandes, Sofia Vallecorsa

Abstract: With the increasing number of Machine and Deep Learning applications in High Energy Physics, easy access to dedicated infrastructure represents a requirement for fast and efficient R&D. This work explores different types of cloud services to train a Generative Adversarial Network (GAN) in a parallel environment, using Tensorflow data parallel strategy. More specifically, we parallelize the trainin… ▽ More With the increasing number of Machine and Deep Learning applications in High Energy Physics, easy access to dedicated infrastructure represents a requirement for fast and efficient R&D. This work explores different types of cloud services to train a Generative Adversarial Network (GAN) in a parallel environment, using Tensorflow data parallel strategy. More specifically, we parallelize the training process on multiple GPUs and Google Tensor Processing Units (TPU) and we compare two algorithms: the TensorFlow built-in logic and a custom loop, optimised to have higher control of the elements assigned to each GPU worker or TPU core. The quality of the generated data is compared to Monte Carlo simulation. Linear speed-up of the training process is obtained, while retaining most of the performance in terms of physics results. Additionally, we benchmark the aforementioned approaches, at scale, over multiple GPU nodes, deploying the training process on different public cloud providers, seeking for overall efficiency and cost-effectiveness. The combination of data science, cloud deployment options and associated economics allows to burst out heterogeneously, exploring the full potential of cloud-based services. △ Less

Submitted 8 November, 2021; originally announced November 2021.

Towards Partial Monitoring: It is Always too Soon to Give Up

Authors: Angelo Ferrando, Rafael C. Cardoso

Abstract: Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour is usually formally specified by means of properties, which are used to automatically synthesise monitors. A monitor is a device that, given a sequence of events representing a system execution, returns a verdict symbolis… ▽ More Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour is usually formally specified by means of properties, which are used to automatically synthesise monitors. A monitor is a device that, given a sequence of events representing a system execution, returns a verdict symbolising the satisfaction or violation of the formal property. Properties that can (resp. cannot) be verified at runtime by a monitor are called monitorable and non-monitorable, respectively. In this paper, we revise the notion of monitorability from a practical perspective, where we show how non-monitorable properties can still be used to generate partial monitors, which can partially check the properties. Finally, we present the implications both from a theoretical and practical perspectives. △ Less

Submitted 24 October, 2021; originally announced October 2021.

Comments: In Proceedings FMAS 2021, arXiv:2110.11527

Journal ref: EPTCS 348, 2021, pp. 38-53

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

Authors: Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne

Abstract: In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used in the contest is an extension of the previous edition (14th) "Agents Assemble" wherein two teams of agents move around a 2D grid and compete to assemble complex block structures. We discuss the languages and tools used… ▽ More In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used in the contest is an extension of the previous edition (14th) "Agents Assemble" wherein two teams of agents move around a 2D grid and compete to assemble complex block structures. We discuss the languages and tools used during the development of our team. Then, we summarise the main strategies that were carried over from our previous participation in the 14th edition and list the limitations (if any) of using these strategies in the latest contest edition. We also developed new strategies that were made specifically for the extended scenario: cartography (determining the size of the map); formal verification of the map merging protocol (to provide assurances that it works when increasing the number of agents); plan cache (efficiently scaling the number of planners); task achievement (forming groups of agents to achieve tasks); and bullies (agents that focus on stop** agents from the opposing team). Finally, we give a brief overview of our performance in the contest and discuss what we believe were our shortcomings. △ Less

Submitted 18 October, 2021; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: Published in The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of Exploring Multi-Agent Systems

Explicit Solutions of the Singular Yang--Baxter-like Matrix Equation and Their Numerical Computation

Authors: Ashim Kumar, João R. Cardoso, Gur**der Singh

Abstract: We derive several explicit formulae for finding infinitely many solutions of the equation $AXA=XAX$, when $A$ is singular. We start by splitting the equation into a couple of linear matrix equations and then show how the projectors commuting with $A$ can be used to get families containing an infinite number of solutions. Some techniques for determining those projectors are proposed, which use, in… ▽ More We derive several explicit formulae for finding infinitely many solutions of the equation $AXA=XAX$, when $A$ is singular. We start by splitting the equation into a couple of linear matrix equations and then show how the projectors commuting with $A$ can be used to get families containing an infinite number of solutions. Some techniques for determining those projectors are proposed, which use, in particular, the properties of the Drazin inverse, spectral projectors, the matrix sign function, and eigenvalues. We also investigate in detail how the well-known similarity transformations like Jordan and Schur decompositions can be used to obtain new representations of the solutions. The computation of solutions by the suggested methods using finite precision arithmetic is also a concern. Difficulties arising in their implementation are identified and ideas to overcome them are discussed. Numerical experiments shed some light on the methods that may be promising for solving numerically the said matrix equation. △ Less

Submitted 19 September, 2021; originally announced September 2021.

Comments: 13 pages, 2 figures, This work has been accepted for publication in Mediterranean Journal of Mathematics and it will be published by April 2022

MSC Class: 15A24; 65H10; 65F20

Solving the Discrete Euler-Arnold Equations for the Generalized Rigid Body Motion

Authors: Joao R. Cardoso, Pedro Miraldo

Abstract: We propose three iterative methods for solving the Moser-Veselov equation, which arises in the discretization of the Euler-Arnold differential equations governing the motion of a generalized rigid body. We start by formulating the problem as an optimization problem with orthogonal constraints and proving that the objective function is convex. Then, using techniques from optimization on Riemannian… ▽ More We propose three iterative methods for solving the Moser-Veselov equation, which arises in the discretization of the Euler-Arnold differential equations governing the motion of a generalized rigid body. We start by formulating the problem as an optimization problem with orthogonal constraints and proving that the objective function is convex. Then, using techniques from optimization on Riemannian manifolds, the three feasible algorithms are designed. The first one splits the orthogonal constraints using the Bregman method, whereas the other two methods are of the steepest-descent type. The second method uses the Cayley-transform to preserve the constraints and a Barzilai-Borwein step size, while the third one involves geodesics, with the step size computed by Armijo's rule. Finally, a set of numerical experiments are carried out to compare the performance of the proposed algorithms, suggesting that the first algorithm has the best performance in terms of accuracy and number of iterations. An essential advantage of these iterative methods is that they work even when the conditions for applicability of the direct methods available in the literature are not satisfied. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Journal ref: Journal of Computational and Applied Mathematics, 2021

Detailed Account of Complexity for Implementation of Some Gate-Based Quantum Algorithms

Authors: Fernando R. Cardoso, Daniel Yoshio Akamatsu, Vivaldo Leiria Campo Junior, Eduardo I. Duzzioni, Alfredo Jaramillo Palma, Celso J. Villas-Boas

Abstract: In this work, we are interested in the detailed analysis of complexity aspects of both time and space that arises from the implementation of a quantum algorithm on a quantum based hardware. In particular, some steps of the implementation, as state preparation and readout processes, in most of the cases can surpass the complexity aspects of the algorithm itself. We present the complexity involved i… ▽ More In this work, we are interested in the detailed analysis of complexity aspects of both time and space that arises from the implementation of a quantum algorithm on a quantum based hardware. In particular, some steps of the implementation, as state preparation and readout processes, in most of the cases can surpass the complexity aspects of the algorithm itself. We present the complexity involved in the full implementation of quantum algorithms for solving linear systems of equations and linear system of differential equations, from state preparation to the number of measurements needed to obtain good statistics from the final states of the quantum system, in order to assess the overall complexity of the processes. △ Less

Submitted 29 June, 2021; v1 submitted 23 June, 2021; originally announced June 2021.

Comments: Some reviews in the main text have been made since the first version. 11 pages, 2 figures, 1 table. Comments are welcome

Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest

Authors: Matt Luckcuck, Rafael C. Cardoso

Abstract: Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. The protocol was used by… ▽ More Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. The protocol was used by the LFC team in the 2019 edition of the Multi-Agent Programming Contest (MAPC). Our specification of the protocol is written in Communicating Sequential Processes (CSP), which is a well-suited approach to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification's behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged. △ Less

Submitted 22 June, 2021; v1 submitted 8 June, 2021; originally announced June 2021.

Comments: EMAS 2021 Proceedings Submitted Version

Ruin and dividend measures in the renewal dual risk model

Authors: Renata G. Alcoforado, Agnieszka I. Bergel, Rui M. R. Cardoso, Alfredo D. Egidio dos Reis, Eugenio V. Rodriguez-Martinez

Abstract: In this manuscript we consider the dual risk model with financial application, where the random gains occur under a renewal process. We particularly work the Erlang(n) case for common distribution of the inter-arrival times, from there it is easy to understand that our method or procedures can be generalised to other cases under the matrix-exponential family case. We work several and different pro… ▽ More In this manuscript we consider the dual risk model with financial application, where the random gains occur under a renewal process. We particularly work the Erlang(n) case for common distribution of the inter-arrival times, from there it is easy to understand that our method or procedures can be generalised to other cases under the matrix-exponential family case. We work several and different problems involving future dividends and ruin. We also show that our results are valid even if the usual income condition is not satisfied. In most known works under the dual model, the main target under study have been the calculation of expected discounted future dividends and optimal strategies, where the dividend calculation have been done on aggregate. We can find works, at first using the classical compound Poisson model, then some examples of other renewal Erlang models. Knowing that ruin is ultimately achieved, we find important that dividends should be evaluated on an individual basis, where the early dividend contribution for the aggregate are of utmost importance. From our calculations we can really see how much important is the contribution of the first dividend. Afonso et al. (2013) had worked similar problems for the classical compound Poisson dual model. Besides that we find explicit formulae for both the probability of getting a dividend and the distribution of the amount of a single dividend. We still work the probability distribution of the number of gains to reach a given upper target (like a constant dividend barrier) as well as for the number of gains down to ruin. We complete the study working some illustrative numerical examples that show final numbers for the several problems under study. △ Less

Submitted 24 May, 2021; originally announced May 2021.

Comments: 37 pages, 7 figures, 21 tables

MSC Class: 91G70; 62P05

Priberam at MESINESP Multi-label Classification of Medical Texts Task

Authors: Ruben Cardoso, Zita Marinho, Afonso Mendes, Sebastião Miranda

Abstract: Medical articles provide current state of the art treatments and diagnostics to many medical practitioners and professionals. Existing public databases such as MEDLINE contain over 27 million articles, making it difficult to extract relevant content without the use of efficient search engines. Information retrieval tools are crucial in order to navigate and provide meaningful recommendations for a… ▽ More Medical articles provide current state of the art treatments and diagnostics to many medical practitioners and professionals. Existing public databases such as MEDLINE contain over 27 million articles, making it difficult to extract relevant content without the use of efficient search engines. Information retrieval tools are crucial in order to navigate and provide meaningful recommendations for articles and treatments. Classifying these articles into broader medical topics can improve the retrieval of related articles. The set of medical labels considered for the MESINESP task is on the order of several thousands of labels (DeCS codes), which falls under the extreme multi-label classification problem. The heterogeneous and highly hierarchical structure of medical topics makes the task of manually classifying articles extremely laborious and costly. It is, therefore, crucial to automate the process of classification. Typical machine learning algorithms become computationally demanding with such a large number of labels and achieving better recall on such datasets becomes an unsolved problem. This work presents Priberam's participation at the BioASQ task Mesinesp. We address the large multi-label classification problem through the use of four different models: a Support Vector Machine (SVM), a customised search engine (Priberam Search), a BERT based classifier, and a SVM-rank ensemble of all the previous models. Results demonstrate that all three individual models perform well and the best performance is achieved by their ensemble, granting Priberam the 6th place in the present challenge and making it the 2nd best team. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: Presented at CLEF2020 conference (2020)

Priberam Labs at the NTCIR-15 SHINRA2020-ML: Classification Task

Authors: Ruben Cardoso, Afonso Mendes, Andre Lamurias

Abstract: Wikipedia is an online encyclopedia available in 285 languages. It composes an extremely relevant Knowledge Base (KB), which could be leveraged by automatic systems for several purposes. However, the structure and organisation of such information are not prone to automatic parsing and understanding and it is, therefore, necessary to structure this knowledge. The goal of the current SHINRA2020-ML t… ▽ More Wikipedia is an online encyclopedia available in 285 languages. It composes an extremely relevant Knowledge Base (KB), which could be leveraged by automatic systems for several purposes. However, the structure and organisation of such information are not prone to automatic parsing and understanding and it is, therefore, necessary to structure this knowledge. The goal of the current SHINRA2020-ML task is to leverage Wikipedia pages in order to categorise their corresponding entities across 268 hierarchical categories, belonging to the Extended Named Entity (ENE) ontology. In this work, we propose three distinct models based on the contextualised embeddings yielded by Multilingual BERT. We explore the performances of a linear layer with and without explicit usage of the ontology's hierarchy, and a Gated Recurrent Units (GRU) layer. We also test several pooling strategies to leverage BERT's embeddings and selection criteria based on the labels' scores. We were able to achieve good performance across a large variety of languages, including those not seen during the fine-tuning process (zero-shot languages). △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: Presented at NTCIR-15 conference (2020)

Differentially Private Histograms under Continual Observation: Streaming Selection into the Unknown

Authors: Adrian Rivera Cardoso, Ryan Rogers

Abstract: We generalize the continuous observation privacy setting from Dwork et al. '10 and Chan et al. '11 by allowing each event in a stream to be a subset of some (possibly unknown) universe of items. We design differentially private (DP) algorithms for histograms in several settings, including top-$k$ selection, with privacy loss that scales with polylog$(T)$, where $T$ is the maximum length of the inp… ▽ More We generalize the continuous observation privacy setting from Dwork et al. '10 and Chan et al. '11 by allowing each event in a stream to be a subset of some (possibly unknown) universe of items. We design differentially private (DP) algorithms for histograms in several settings, including top-$k$ selection, with privacy loss that scales with polylog$(T)$, where $T$ is the maximum length of the input stream. We present a meta-algorithm that can use existing one-shot top-$k$ DP algorithms as a subroutine to continuously release private histograms from a stream. Further, we present more practical DP algorithms for two settings: 1) continuously releasing the top-$k$ counts from a histogram over a known domain when an event can consist of an arbitrary number of items, and 2) continuously releasing histograms over an unknown domain when an event has a limited number of items. △ Less

Submitted 4 January, 2022; v1 submitted 30 March, 2021; originally announced March 2021.

Dados Abertos Governamentais no contexto de Políticas Públicas de Saúde e Sistemas Prisionais: Realidade ou Utopia?

Authors: Rafael Antônio Lima Cardoso, Glauco de Figueiredo Carneiro, José Euclimar Xavier de Menezes

Abstract: There are many initiatives of transparency reported in the access and use of government open data for different purposes. This practice reveals an important requirement to accomplish the participatory governance. The literature has reported a minimal set of criteria to categorize a specific data repository as open. This paper discusses to which extent specific national and international data repos… ▽ More There are many initiatives of transparency reported in the access and use of government open data for different purposes. This practice reveals an important requirement to accomplish the participatory governance. The literature has reported a minimal set of criteria to categorize a specific data repository as open. This paper discusses to which extent specific national and international data repositories address these criteria. The analyzed repositories focus on public health and prison systems. The results show different levels of alignment to the criteria and provide evidence that the adoption of government open data practices are a reality. On the other hand, there is still a long way to achieve full alignment to the stated criteria. △ Less

Submitted 28 February, 2021; originally announced March 2021.

Comments: in Portuguese

ACM Class: K.4.2

Journal ref: Dialogos Possiveis. v. 19, n. 2 (2020) 65-80

Superposition of two-mode squeezed states for quantum information processing and quantum sensing

Authors: Fernando R. Cardoso, Daniel Z. Rossatto, Gabriel P. L. M. Fernandes, Gerard Higgins, Celso J. Villas-Boas

Abstract: We investigate superpositions of two-mode squeezed states (TMSSs), which have potential applications to quantum information processing and quantum sensing. Firstly we study some properties of these nonclassical states such as the statistics of each mode and the degree of entanglement between the two modes, which can be higher than that of a TMSS with the same degree of squeezing. The states we con… ▽ More We investigate superpositions of two-mode squeezed states (TMSSs), which have potential applications to quantum information processing and quantum sensing. Firstly we study some properties of these nonclassical states such as the statistics of each mode and the degree of entanglement between the two modes, which can be higher than that of a TMSS with the same degree of squeezing. The states we consider can be prepared by inducing two-mode Jaynes-Cummings and anti-Jaynes-Cummings interactions in a system of two modes and a spin-$\tfrac{1}{2}$ particle, for instance in the trapped ion domain, as described here. We show that when two harmonic oscillators are prepared in a superposition of two TMSSs, each reduced single-mode state can be advantageously employed to sense arbitrary displacements of the mode in phase space. The Wigner function of this reduced state exhibits a symmetrical peak centered at the phase-space origin, which has the convenient peculiarity of getting narrower in both quadratures simultaneously as the average photon number increases. This narrow peakcan be used as the pointer of our quantum sensor, with its position in phase space indicating the displacement undergone by the oscillator. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: 9 pages, 6 figures

Journal ref: Phys. Rev. A 103, 062405 (2021)

Perspectives and Challenges in the Analysis of Prison Systems Data: A Systematic Map**

Authors: Glauco de Figueiredo Carneiro, Rafael Antonio Lima Cardoso, Antonio Pedro Dores, José Euclimar Xavier Menezes

Abstract: Context: Open public data enable different stakeholders to perform analysis and uncover information from different perspectives. The identification and analysis of data from prison systems is not a trivial task. It raises the need for the research community to know how these data have been produced and used. Goal: Analyze prison systems data for the purpose of characterizing its use with respect t… ▽ More Context: Open public data enable different stakeholders to perform analysis and uncover information from different perspectives. The identification and analysis of data from prison systems is not a trivial task. It raises the need for the research community to know how these data have been produced and used. Goal: Analyze prison systems data for the purpose of characterizing its use with respect to data sources, purpose and availability. Method: We performed a systematic map** on existing evidence on prison systems original data from peer-reviewed studies published between 2000 and 2019. Results: Out of the 531 records, 196 articles were selected from the literature. Conclusion: The vast majority of the analyzed papers (75%) used restricted data. Only 18 studies (9%) provided data, which hampers replication initiatives. This indicates the need to analyze prison system in an integrated fashion, in which multidisciplinary and transparency are relevant issues to consider in such studies. △ Less

Submitted 4 November, 2021; v1 submitted 10 January, 2021; originally announced January 2021.

Comments: Submitted to Dialogos Possíveis Journal

Report number: Dialogos Poss\'iveis v. 20, n. 1 (2021) ACM Class: K.4.2

Journal ref: 2021