Showing 1–50 of 703 results for author: Di, C

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

Chromatic Topological Data Analysis

Authors: Sebastiano Cultrera di Montesano, Ondrej Draganov, Herbert Edelsbrunner, Morteza Saghafian

Abstract: Exploring the shape of point configurations has been a key driver in the evolution of TDA (short for topological data analysis) since its infancy. This survey illustrates the recent efforts to broaden these ideas to model spatial interactions among multiple configurations, each distinguished by a color. It describes advances in this area and prepares the ground for further exploration by mentionin… ▽ More Exploring the shape of point configurations has been a key driver in the evolution of TDA (short for topological data analysis) since its infancy. This survey illustrates the recent efforts to broaden these ideas to model spatial interactions among multiple configurations, each distinguished by a color. It describes advances in this area and prepares the ground for further exploration by mentioning unresolved questions and promising research avenues while focusing on the overlap with discrete geometry. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Banana Trees for the Persistence in Time Series Experimentally

Authors: Lara Ost, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner

Abstract: In numerous fields, dynamic time series data require continuous updates, necessitating efficient data processing techniques for accurate analysis. This paper examines the banana tree data structure, specifically designed to efficiently maintain persistent homology -- a multi-scale topological descriptor -- for dynamically changing time series data. We implement this data structure and conduct an e… ▽ More In numerous fields, dynamic time series data require continuous updates, necessitating efficient data processing techniques for accurate analysis. This paper examines the banana tree data structure, specifically designed to efficiently maintain persistent homology -- a multi-scale topological descriptor -- for dynamically changing time series data. We implement this data structure and conduct an experimental study to assess its properties and runtime for update operations. Our findings indicate that banana trees are highly effective with unbiased random data, outperforming state-of-the-art static algorithms in these scenarios. Additionally, our results show that real-world time series share structural properties with unbiased random walks, suggesting potential practical utility for our implementation. △ Less

Submitted 28 May, 2024; originally announced May 2024.

JUNO Sensitivity to Invisible Decay Modes of Neutrons

Authors: JUNO Collaboration, Angel Abusleme, Thomas Adam, Kai Adamowicz, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, Fengpeng An, Qi An, Giuseppe Andronico, Nikolay Anfimov, Vito Antonelli, Tatiana Antoshkina, João Pedro Athayde Marcondes de André, Didier Auguste, Weidong Bai, Nikita Balashov, Wander Baldini, Andrea Barresi, Davide Basilico, Eric Baussan, Marco Bellato, Marco Beretta, Antonio Bergnoli, Daniel Bick , et al. (635 additional authors not shown)

Abstract: We explore the bound neutrons decay into invisible particles (e.g., $n\rightarrow 3 ν$ or $nn \rightarrow 2 ν$) in the JUNO liquid scintillator detector. The invisible decay includes two decay modes: $ n \rightarrow { inv} $ and $ nn \rightarrow { inv} $. The invisible decays of $s$-shell neutrons in $^{12}{\rm C}$ will leave a highly excited residual nucleus. Subsequently, some de-excitation mode… ▽ More We explore the bound neutrons decay into invisible particles (e.g., $n\rightarrow 3 ν$ or $nn \rightarrow 2 ν$) in the JUNO liquid scintillator detector. The invisible decay includes two decay modes: $ n \rightarrow { inv} $ and $ nn \rightarrow { inv} $. The invisible decays of $s$-shell neutrons in $^{12}{\rm C}$ will leave a highly excited residual nucleus. Subsequently, some de-excitation modes of the excited residual nuclei can produce a time- and space-correlated triple coincidence signal in the JUNO detector. Based on a full Monte Carlo simulation informed with the latest available data, we estimate all backgrounds, including inverse beta decay events of the reactor antineutrino $\barν_e$, natural radioactivity, cosmogenic isotopes and neutral current interactions of atmospheric neutrinos. Pulse shape discrimination and multivariate analysis techniques are employed to further suppress backgrounds. With two years of exposure, JUNO is expected to give an order of magnitude improvement compared to the current best limits. After 10 years of data taking, the JUNO expected sensitivities at a 90% confidence level are $τ/B( n \rightarrow { inv} ) > 5.0 \times 10^{31} \, {\rm yr}$ and $τ/B( nn \rightarrow { inv} ) > 1.4 \times 10^{32} \, {\rm yr}$. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Comments: 28 pages, 7 figures, 4 tables

High-Time Resolution GPU Imager for FRB searches at low radio frequencies

Authors: M. Sokolowski, G. Aniruddha, C. Di Pietrantonio, C. Harris, D. C. Price, S. McSweeney, R. B. Wayth, N. D. R. Bhat

Abstract: Fast Radio Bursts (FRBs) are millisecond dispersed radio pulses of predominately extra-galactic origin. Although originally discovered at GHz frequencies, most FRBs have been detected between 400 to 800 MHz. Nevertheless, only a handful of FRBs were detected below 400 MHz. Searching for FRBs at low frequencies is computationally challenging due to increased dispersive delay that must be accounted… ▽ More Fast Radio Bursts (FRBs) are millisecond dispersed radio pulses of predominately extra-galactic origin. Although originally discovered at GHz frequencies, most FRBs have been detected between 400 to 800 MHz. Nevertheless, only a handful of FRBs were detected below 400 MHz. Searching for FRBs at low frequencies is computationally challenging due to increased dispersive delay that must be accounted for. However, the wide field of view (FoV) of low-frequency telescopes - such as the the Murchison Widefield Array (MWA), and prototype stations of the low-frequency Square Kilometre Array (SKA-Low) - makes them promising instruments to open a low-frequency window on FRB event rates, and constrain FRB emission models. The standard approach, inherited from high-frequencies, is to form multiple tied-array beams to tessellate the entire FoV and perform the search on the resulting time series. This approach, however, may not be optimal for low-frequency interferometers due to their large FoVs and high spatial resolutions leading to a large number of beams. Consequently, there are regions of parameter space in terms of number of antennas and resolution elements (pixels) where interferometric imaging is computationally more efficient. Here we present a new high-time resolution imager BLINK implemented on modern Graphical Processing Units (GPUs) and intended for radio astronomy. The main goal for this imager is to become part of a fully GPU-accelerated FRB search pipeline. We describe the imager and present its verification on real and simulated data processed to form all-sky and widefield images from the MWA and prototype SKA-Low stations. We also present and compare benchmarks of the GPU and CPU code executed on laptops, desktop computers, and Australian supercomputers. The code is publicly available at https://github.com/PaCER-BLINK-Project/imager and can be applied to data from any radio telescope. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 19 pages, 9 figures, 6 tables. Accepted for publication in PASA

Automated categorization of pre-trained models for software engineering: A case study with a Hugging Face dataset

Authors: Claudio Di Sipio, Riccardo Rubei, Juri Di Rocco, Davide Di Ruscio, Phuong T. Nguyen

Abstract: Software engineering (SE) activities have been revolutionized by the advent of pre-trained models (PTMs), defined as large machine learning (ML) models that can be fine-tuned to perform specific SE tasks. However, users with limited expertise may need help to select the appropriate model for their current task. To tackle the issue, the Hugging Face (HF) platform simplifies the use of PTMs by colle… ▽ More Software engineering (SE) activities have been revolutionized by the advent of pre-trained models (PTMs), defined as large machine learning (ML) models that can be fine-tuned to perform specific SE tasks. However, users with limited expertise may need help to select the appropriate model for their current task. To tackle the issue, the Hugging Face (HF) platform simplifies the use of PTMs by collecting, storing, and curating several models. Nevertheless, the platform currently lacks a comprehensive categorization of PTMs designed specifically for SE, i.e., the existing tags are more suited to generic ML categories. This paper introduces an approach to address this gap by enabling the automatic classification of PTMs for SE tasks. First, we utilize a public dump of HF to extract PTMs information, including model documentation and associated tags. Then, we employ a semi-automated method to identify SE tasks and their corresponding PTMs from existing literature. The approach involves creating an initial map** between HF tags and specific SE tasks, using a similarity-based strategy to identify PTMs with relevant tags. The evaluation shows that model cards are informative enough to classify PTMs considering the pipeline tag. Moreover, we provide a map** between SE tasks and stored PTMs by relying on model names. △ Less

Submitted 21 May, 2024; originally announced May 2024.

Comments: Accepted at The International Conference on Evaluation and Assessment in Software Engineering (EASE), 2024 edition

Characterization of the PADME positron beam for the X17 measurement

Authors: S. Bertelli, F. Bossi, B. Buonomo, R. De Sangro, C. Di Giulio, E. Di Meco, K. Dimitrova, D. Domenici, F. Ferrarotto, G. Finocchiaro, L. G. Foggetta, A. Frankenthal, M. Garattini, G. Georgiev, P. Gianotti, S. Ivanov, Sv. Ivanov, V. Kozhuharov, E. Leonardi, E. Long, M. Mancini, G. C. Organtini, M. Raggi, I. Sarra, R. Simeonov , et al. (5 additional authors not shown)

Abstract: This paper presents a detailed characterization of the positron beam delivered by the Beam Test Facility at Laboratori Nazionali of Frascati to the PADME experiment during Run III, which took place from October to December 2022. It showcases the methodology used to measure the main beam parameters such as the position in space, the absolute momentum scale, the beam energy spread, and its intensity… ▽ More This paper presents a detailed characterization of the positron beam delivered by the Beam Test Facility at Laboratori Nazionali of Frascati to the PADME experiment during Run III, which took place from October to December 2022. It showcases the methodology used to measure the main beam parameters such as the position in space, the absolute momentum scale, the beam energy spread, and its intensity through a combination of data analysis and Monte Carlo simulations. The results achieved include an absolute precision in the momentum of the beam to within $\sim$ 1-2 MeV$/c$, a relative beam energy spread below 0.25\%, and an absolute precision in the intensity of the beam at the level of 2\% percent. △ Less

Submitted 12 May, 2024; originally announced May 2024.

Charge (in)stability and superradiance of Topological Stars

Authors: Andrea Cipriani, Carlo Di Benedetto, Giorgio Di Russo, Alfredo Grillo, Giuseppe Sudano

Abstract: We study linear massive scalar charged perturbations of Topological Stars in the fuzzball and in the black hole (Black String) regimes. The objects that naturally couple to the electric 3-form field strength of these solutions are charged strings, wound around the compact direction. We explore the possibility of instabilities of these solutions, in analogy with the charge instability already highl… ▽ More We study linear massive scalar charged perturbations of Topological Stars in the fuzzball and in the black hole (Black String) regimes. The objects that naturally couple to the electric 3-form field strength of these solutions are charged strings, wound around the compact direction. We explore the possibility of instabilities of these solutions, in analogy with the charge instability already highlighted for other non-BPS geometries like JMaRT. This issue is addressed by calculating quasi-normal mode frequencies with a variety of techniques: WKB approximation, direct integration, Leaver method and by exploiting the recently discovered correspondence between black hole-fuzzball perturbation theory and quantum Seiberg-Witten curves. All mode frequencies we find have negative imaginary parts, implying an exponential decay in time. This suggests a linear stability of Topological Stars also in this new scenario. In addition, we study the charge superradiance for the Black String. We compute the amplification factor with the numerical integration method and a quantum Seiberg-Witten motivated definition including instantonic corrections. △ Less

Submitted 20 May, 2024; v1 submitted 10 May, 2024; originally announced May 2024.

Comments: 32 pages, 2 figures

CAKE: Sharing Slices of Confidential Data on Blockchain

Authors: Edoardo Marangone, Michele Spina, Claudio Di Ciccio, Ingo Weber

Abstract: Cooperative information systems typically involve various entities in a collaborative process within a distributed environment. Blockchain technology offers a mechanism for automating such processes, even when only partial trust exists among participants. The data stored on the blockchain is replicated across all nodes in the network, ensuring accessibility to all participants. While this aspect f… ▽ More Cooperative information systems typically involve various entities in a collaborative process within a distributed environment. Blockchain technology offers a mechanism for automating such processes, even when only partial trust exists among participants. The data stored on the blockchain is replicated across all nodes in the network, ensuring accessibility to all participants. While this aspect facilitates traceability, integrity, and persistence, it poses challenges for adopting public blockchains in enterprise settings due to confidentiality issues. In this paper, we present a software tool named Control Access via Key Encryption (CAKE), designed to ensure data confidentiality in scenarios involving public blockchains. After outlining its core components and functionalities, we showcase the application of CAKE in the context of a real-world cyber-security project within the logistics domain. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Transforming Credit Guarantee Schemes with Distributed Ledger Technology

Authors: Sabrina Leo, Andrea Delle Foglie, Luca Barbaro, Edoardo Marangone, Ida Claudia Panetta, Claudio Di Ciccio

Abstract: Credit Guarantee Schemes (CGSs) are crucial in mitigating SMEs' financial constraints. However, they are renownedly affected by critical shortcomings, such as a lack of financial sustainability and operational efficiency. Distributed Ledger Technologies (DLTs) have shown significant revolutionary influence in several sectors, including finance and banking, thanks to the full operational traceabili… ▽ More Credit Guarantee Schemes (CGSs) are crucial in mitigating SMEs' financial constraints. However, they are renownedly affected by critical shortcomings, such as a lack of financial sustainability and operational efficiency. Distributed Ledger Technologies (DLTs) have shown significant revolutionary influence in several sectors, including finance and banking, thanks to the full operational traceability they bring alongside verifiable computation. Nevertheless, the potential synergy between DLTs and CGSs has not been thoroughly investigated yet. This paper proposes a comprehensive framework to utilise DLTs, particularly blockchain technologies, in CGS processes to improve operational efficiency and effectiveness. To this end, we compare key architectural characteristics considering access level, governance structure, and consensus method, to examine their fit with CGS processes. We believe this study can guide policymakers and stakeholders, thereby stimulating further innovation in this promising field. △ Less

Submitted 30 April, 2024; originally announced April 2024.

Quantum walks and entanglement in cavity networks

Authors: Christian Di Fidio, Laura Ares, Jan Sperling

Abstract: For harnessing the full potential of quantum phenomena, light-matter interfaces and complexly connected quantum networks are required, relying on the joint quantum operation of different physical platforms. In this work, we analyze the quantum properties of multipartite quantum systems, consisting of an arbitrarily large collection of optical cavities with two-level atoms. In particular, we explor… ▽ More For harnessing the full potential of quantum phenomena, light-matter interfaces and complexly connected quantum networks are required, relying on the joint quantum operation of different physical platforms. In this work, we analyze the quantum properties of multipartite quantum systems, consisting of an arbitrarily large collection of optical cavities with two-level atoms. In particular, we explore quantum walks in such systems and determine the resulting entanglement. Realistic imperfections are included in the model as optical losses and spontaneous decays of atoms. The topology of torus and the non-orientable Möbius strip serve as examples of complex networks we consider, demonstrating the versatility of our approach and resulting in interesting quantum dynamics and interference effects for quantum simulation applications. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: 11 pages, 4 figures

Mutiny! How does Kubernetes fail, and what can we do about it?

Authors: Marco Barletta, Marcello Cinque, Catello Di Martino, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer

Abstract: In this paper, we i) analyze and classify real-world failures of Kubernetes (the most popular container orchestration system), ii) develop a framework to perform a fault/error injection campaign targeting the data store preserving the cluster state, and iii) compare results of our fault/error injection experiments with real-world failures, showing that our fault/error injections can recreate many… ▽ More In this paper, we i) analyze and classify real-world failures of Kubernetes (the most popular container orchestration system), ii) develop a framework to perform a fault/error injection campaign targeting the data store preserving the cluster state, and iii) compare results of our fault/error injection experiments with real-world failures, showing that our fault/error injections can recreate many real-world failure patterns. The paper aims to address the lack of studies on systematic analyses of Kubernetes failures to date. Our results show that even a single fault/error (e.g., a bit-flip) in the data stored can propagate, causing cluster-wide failures (3% of injections), service networking issues (4%), and service under/overprovisioning (24%). Errors in the fields tracking dependencies between object caused 51% of such cluster-wide failures. We argue that controlled fault/error injection-based testing should be employed to proactively assess Kubernetes' resiliency and guide the design of failure mitigation strategies. △ Less

Submitted 17 April, 2024; originally announced April 2024.

How fair are we? From conceptualization to automated assessment of fairness definitions

Authors: Giordano d'Aloisio, Claudio Di Sipio, Antinisca Di Marco, Davide Di Ruscio

Abstract: Fairness is a critical concept in ethics and social domains, but it is also a challenging property to engineer in software systems. With the increasing use of machine learning in software systems, researchers have been develo** techniques to automatically assess the fairness of software systems. Nonetheless, a significant proportion of these techniques rely upon pre-established fairness definiti… ▽ More Fairness is a critical concept in ethics and social domains, but it is also a challenging property to engineer in software systems. With the increasing use of machine learning in software systems, researchers have been develo** techniques to automatically assess the fairness of software systems. Nonetheless, a significant proportion of these techniques rely upon pre-established fairness definitions, metrics, and criteria, which may fail to encompass the wide-ranging needs and preferences of users and stakeholders. To overcome this limitation, we propose a novel approach, called MODNESS, that enables users to customize and define their fairness concepts using a dedicated modeling environment. Our approach guides the user through the definition of new fairness concepts also in emerging domains, and the specification and composition of metrics for its evaluation. Ultimately, MODNESS generates the source code to implement fair assessment based on these custom definitions. In addition, we elucidate the process we followed to collect and analyze relevant literature on fairness assessment in software engineering (SE). We compare MODNESS with the selected approaches and evaluate how they support the distinguishing features identified by our study. Our findings reveal that i) most of the current approaches do not support user-defined fairness concepts; ii) our approach can cover two additional application domains not addressed by currently available tools, i.e., mitigating bias in recommender systems for software engineering and Arduino software component recommendations; iii) MODNESS demonstrates the capability to overcome the limitations of the only two other Model-Driven Engineering-based approaches for fairness assessment. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Measuring proximity to standard planes during fetal brain ultrasound scanning

Authors: Chiara Di Vece, Antonio Cirigliano, Meala Le Lous, Raffaele Napolitano, Anna L. David, Donald Peebles, Pierre Jannin, Francisco Vasconcelos, Danail Stoyanov

Abstract: This paper introduces a novel pipeline designed to bring ultrasound (US) plane pose estimation closer to clinical use for more effective navigation to the standard planes (SPs) in the fetal brain. We propose a semi-supervised segmentation model utilizing both labeled SPs and unlabeled 3D US volume slices. Our model enables reliable segmentation across a diverse set of fetal brain images. Furthermo… ▽ More This paper introduces a novel pipeline designed to bring ultrasound (US) plane pose estimation closer to clinical use for more effective navigation to the standard planes (SPs) in the fetal brain. We propose a semi-supervised segmentation model utilizing both labeled SPs and unlabeled 3D US volume slices. Our model enables reliable segmentation across a diverse set of fetal brain images. Furthermore, the model incorporates a classification mechanism to identify the fetal brain precisely. Our model not only filters out frames lacking the brain but also generates masks for those containing it, enhancing the relevance of plane pose regression in clinical settings. We focus on fetal brain navigation from 2D ultrasound (US) video analysis and combine this model with a US plane pose regression network to provide sensorless proximity detection to SPs and non-SPs planes; we emphasize the importance of proximity detection to SPs for guiding sonographers, offering a substantial advantage over traditional methods by allowing earlier and more precise adjustments during scanning. We demonstrate the practical applicability of our approach through validation on real fetal scan videos obtained from sonographers of varying expertise levels. Our findings demonstrate the potential of our approach to complement existing fetal US technologies and advance prenatal diagnostic practices. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 11 pages, 5 figures

ACM Class: I.2.0; I.4.0; J.2.0; J.3.0

The GAPS Programme at TNG. XXX: Characterization of the low-density gas giant HAT-P-67 b with GIARPS

Authors: D. Sicilia, G. Scandariato, G. Guilluy, M. Esposito, F. Borsa, M. Stangret, C. Di Maio, A. F. Lanza, A. S. Bonomo, S. Desidera, L. Fossati, D. Nardiello, A. Sozzetti, L. Malavolta, V. Nascimbeni, M. Rainer, M. C. D'Arpa, L. Mancini, V. Singh, T. Zingales, L. Affer, A. Bignamini, R. Claudi, S. Colombo, R. Cosentino , et al. (6 additional authors not shown)

Abstract: HAT-P-67 b is one of the lowest-density gas giants known to date, making it an excellent target for atmospheric characterization through the transmission spectroscopy technique. In the framework of the GAPS large programme, we collected four transit events, with the aim of studying the exoplanet atmosphere and deriving the orbital projected obliquity. We exploited the high-precision GIARPS observi… ▽ More HAT-P-67 b is one of the lowest-density gas giants known to date, making it an excellent target for atmospheric characterization through the transmission spectroscopy technique. In the framework of the GAPS large programme, we collected four transit events, with the aim of studying the exoplanet atmosphere and deriving the orbital projected obliquity. We exploited the high-precision GIARPS observing mode of the TNG, along with additional archival TESS photometry, to explore the activity level of the host star. We performed transmission spectroscopy, both in the VIS and in the nIR wavelength range, and analysed the RML effect both fitting the RVs and the Doppler shadow. Based on the TESS photometry, we redetermined the transit parameters of HAT-P-67 b. By modelling the RML effect, we derived a sky-projected obliquity of ($2.2\pm0.4$)° indicating an aligned planetary orbit. The chromospheric activity index $\log\,R^{\prime}_{\rm HK}$, the CCF profile, and the variability in the transmission spectrum of the H$α$ line suggest that the host star shows signatures of stellar activity and/or pulsations. We found no evidence of atomic or molecular species in the VIS transmission spectra, with the exception of pseudo-signals corresponding to Cr I, Fe I, H$α$, Na I, and Ti I. In the nIR range, we found an absorption signal of the He I triplet of 5.56$^{+0.29}_{-0.30}$%(19.0$σ$), corresponding to an effective planetary radius of $\sim$3$R_p$ (where $R_p\sim$2$R_J$) which extends beyond the planet's Roche Lobe radius. Owing to the stellar variability, together with the high uncertainty of the model, we could not confirm the planetary origin of the signals found in the optical transmission spectrum. On the other hand, we confirmed previous detections of the infrared He I triplet, providing a 19.0$σ$ detection. Our finding indicates that the planet's atmosphere is evaporating. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: Accepted for publication in A&A

A reanalysis of the LHS 1140 b atmosphere observed with the Hubble Space Telescope

Authors: Alfredo Biagini, Gianluca Cracchiolo, Antonino Petralia, Jesús Maldonado, Claudia Di Maio, Giuseppina Micela

Abstract: The super-Earth LHS 1140 b is an interesting target for atmospheric observations since it is close to the habitable zone of its star and falls in the gap of the radius distribution of small exoplanets, in the region thought to correspond to the transition between planets with and without atmospheres. Observations of the primary transit with WFC3 on board of the Hubble Space Telescope (HST) reveale… ▽ More The super-Earth LHS 1140 b is an interesting target for atmospheric observations since it is close to the habitable zone of its star and falls in the gap of the radius distribution of small exoplanets, in the region thought to correspond to the transition between planets with and without atmospheres. Observations of the primary transit with WFC3 on board of the Hubble Space Telescope (HST) revealed a modulation in the planet transmission spectrum compatible with the presence of water; however this modulation may be also due to stellar activity-related phenomena. Here we present a detailed analysis of the WFC3/HST observations to probe the nature of this modulation and to understand if it can be attributable to the presence of unocculted spots on the stellar surface. Our analysis strongly suggests that LHS1140 is a rather quiet star with subsolar [Fe/H] and enriched in alpha elements. Therefore, we rule out the possibility that the planetary spectrum is affected by the presence of spots and faculae. This analysis shows the importance of a proper modelling of the stellar spectrum when analyzing transit observations. Finally, we modelled the planetary atmosphere of LHS1140 b to retrieve its atmospheric composition. However, the low resolution and the narrow spectral range of HST observations prevented us from definitively determining whether the spectral features are attributable to the presence of water or of other molecules in the planetary atmosphere. △ Less

Submitted 29 March, 2024; originally announced March 2024.

Comments: 12 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

Guiding the generation of counterfactual explanations through temporal background knowledge for Predictive Process Monitoring

Authors: Andrei Buliga, Chiara Di Francescomarino, Chiara Ghidini, Ivan Donadello, Fabrizio Maria Maggi

Abstract: Counterfactual explanations suggest what should be different in the input instance to change the outcome of an AI system. When dealing with counterfactual explanations in the field of Predictive Process Monitoring, however, control flow relationships among events have to be carefully considered. A counterfactual, indeed, should not violate control flow relationships among activities (temporal back… ▽ More Counterfactual explanations suggest what should be different in the input instance to change the outcome of an AI system. When dealing with counterfactual explanations in the field of Predictive Process Monitoring, however, control flow relationships among events have to be carefully considered. A counterfactual, indeed, should not violate control flow relationships among activities (temporal background knowledege). Within the field of Explainability in Predictive Process Monitoring, there have been a series of works regarding counterfactual explanations for outcome-based predictions. However, none of them consider the inclusion of temporal background knowledge when generating these counterfactuals. In this work, we adapt state-of-the-art techniques for counterfactual generation in the domain of XAI that are based on genetic algorithms to consider a series of temporal constraints at runtime. We assume that this temporal background knowledge is given, and we adapt the fitness function, as well as the crossover and mutation operators, to maintain the satisfaction of the constraints. The proposed methods are evaluated with respect to state-of-the-art genetic algorithms for counterfactual generation and the results are presented. We showcase that the inclusion of temporal background knowledge allows the generation of counterfactuals more conformant to the temporal background knowledge, without however losing in terms of the counterfactual traditional quality metrics. △ Less

Submitted 18 March, 2024; originally announced March 2024.

The Euclidean MST-ratio for Bi-colored Lattices

Authors: Sebastiano Cultrera di Montesano, Ondřej Draganov, Herbert Edelsbrunner, Morteza Saghafian

Abstract: Given a finite set, $A \subseteq \mathbb{R}^2$, and a subset, $B \subseteq A$, the \emph{MST-ratio} is the combined length of the minimum spanning trees of $B$ and $A \setminus B$ divided by the length of the minimum spanning tree of $A$. The question of the supremum, over all sets $A$, of the maximum, over all subsets $B$, is related to the Steiner ratio, and we prove this sup-max is between… ▽ More Given a finite set, $A \subseteq \mathbb{R}^2$, and a subset, $B \subseteq A$, the \emph{MST-ratio} is the combined length of the minimum spanning trees of $B$ and $A \setminus B$ divided by the length of the minimum spanning tree of $A$. The question of the supremum, over all sets $A$, of the maximum, over all subsets $B$, is related to the Steiner ratio, and we prove this sup-max is between $2.154$ and $2.427$. Restricting ourselves to $2$-dimensional lattices, we prove that the sup-max is $2.0$, while the inf-max is $1.25$. By some margin the most difficult of these results is the upper bound for the inf-max, which we prove by showing that the hexagonal lattice cannot have MST-ratio larger than $1.25$. △ Less

Submitted 15 March, 2024; originally announced March 2024.

MSC Class: 52C05; 05C10 ACM Class: G.2

Directional testing for one-way MANOVA in divergent dimensions

Authors: Caizhu Huang, Claudia Di Caterina, Nicola Sartori

Abstract: Testing the equality of mean vectors across $g$ different groups plays an important role in many scientific fields. In regular frameworks, likelihood-based statistics under the normality assumption offer a general solution to this task. However, the accuracy of standard asymptotic results is not reliable when the dimension $p$ of the data is large relative to the sample size $n_i$ of each group. W… ▽ More Testing the equality of mean vectors across $g$ different groups plays an important role in many scientific fields. In regular frameworks, likelihood-based statistics under the normality assumption offer a general solution to this task. However, the accuracy of standard asymptotic results is not reliable when the dimension $p$ of the data is large relative to the sample size $n_i$ of each group. We propose here an exact directional test for the equality of $g$ normal mean vectors with identical unknown covariance matrix, provided that $\sum_{i=1}^g n_i \ge p+g+1$. In the case of two groups ($g=2$), the directional test is equivalent to the Hotelling's $T^2$ test. In the more general situation where the $g$ independent groups may have different unknown covariance matrices, although exactness does not hold, simulation studies show that the directional test is more accurate than most commonly used likelihood based solutions. Robustness of the directional approach and its competitors under deviation from multivariate normality is also numerically investigated. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Comments: 51 pages, 15 figures

MSC Class: Primary 62F03 Secondary 62H15

Ultralight vector dark matter search using data from the KAGRA O3GK run

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, R. Abbott, H. Abe, I. Abouelfettouh, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, O. D. Aguiar, I. Aguilar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi , et al. (1778 additional authors not shown)

Abstract: Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we prese… ▽ More Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we present the result of a search for $U(1)_{B-L}$ gauge boson DM using the KAGRA data from auxiliary length channels during the first joint observation run together with GEO600. By applying our search pipeline, which takes into account the stochastic nature of ultralight DM, upper bounds on the coupling strength between the $U(1)_{B-L}$ gauge boson and ordinary matter are obtained for a range of DM masses. While our constraints are less stringent than those derived from previous experiments, this study demonstrates the applicability of our method to the lower-mass vector DM search, which is made difficult in this measurement by the short observation time compared to the auto-correlation time scale of DM. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 20 pages, 5 figures

Report number: LIGO-P2300250

A linear mixed model approach for measurement error adjustment: applications to sedentary behavior assessment from wearable devices

Authors: Ruohui Chen, Dori Rosenberg, Chongzhi Di, Rong Zablocki, Sheri J Hartman, Andrea Lacroix, Xin Tu, Loki Natarajan, Lin Liu

Abstract: In recent years, wearable devices have become more common to capture a wide range of health behaviors, especially for physical activity and sedentary behavior. These sensor-based measures are deemed to be objective and thus less prone to self-reported biases, inherent in questionnaire assessments. While this is undoubtedly a major advantage, there can still be measurement errors from the device re… ▽ More In recent years, wearable devices have become more common to capture a wide range of health behaviors, especially for physical activity and sedentary behavior. These sensor-based measures are deemed to be objective and thus less prone to self-reported biases, inherent in questionnaire assessments. While this is undoubtedly a major advantage, there can still be measurement errors from the device recordings, which pose serious challenges for conducting statistical analysis and obtaining unbiased risk estimates. There is a vast literature proposing statistical methods for adjusting for measurement errors in self-reported behaviors, such as in dietary intake. However, there is much less research on error correction for sensor-based device measures, especially sedentary behavior. In this paper, we address this gap. Exploiting the excessive multiple-day assessments typically collected when sensor devices are deployed, we propose a two-stage linear mixed effect model (LME) based approach to correct bias caused by measurement errors. We provide theoretical proof of the debiasing process using the Best Linear Unbiased Predictors (BLUP), and use both simulation and real data from a cohort study to demonstrate the performance of the proposed approach while comparing to the naïve plug-in approach that directly uses device measures without appropriately adjusting measurement errors. Our results indicate that employing our easy-to-implement BLUP correction method can greatly reduce biases in disease risk estimates and thus enhance the validity of study findings. △ Less

Submitted 1 March, 2024; originally announced March 2024.

The cold interstellar medium of a normal sub-$L^\star$ galaxy at the end of reionization

Authors: F. Valentino, S. Fujimoto, C. Giménez-Arteaga, G. Brammer, K. Kohno, F. Sun, V. Kokorev, F. E. Bauer, C. Di Cesare, D. Espada, M. Lee, M. Dessauges-Zavadsky, Y. Ao, A. M. Koekemoer, M. Ouchi, J. F. Wu, E. Egami, J. -B. Jolly, C. del P. Lagos, G. E. Magdis, D. Schaerer, K. Shimasaku, H. Umehata, W. -H. Wang

Abstract: We present the results of a ~60-hr observational campaign with ALMA targeting a spectroscopically confirmed and lensed sub-$L^\star$ galaxy at z=6.07, identified during the ALMA Lensing Cluster Survey (ALCS). We sample the dust continuum emission from rest frame 90 to 370 $μ$m at six different frequencies and set constraining upper limits on the molecular gas line emission and content via CO(7-6)… ▽ More We present the results of a ~60-hr observational campaign with ALMA targeting a spectroscopically confirmed and lensed sub-$L^\star$ galaxy at z=6.07, identified during the ALMA Lensing Cluster Survey (ALCS). We sample the dust continuum emission from rest frame 90 to 370 $μ$m at six different frequencies and set constraining upper limits on the molecular gas line emission and content via CO(7-6) and [CI](2-1) for two lensed images with $μ\gtrsim20$. Complementing these sub-mm observations with deep optical and near-IR photometry and spectroscopy with JWST, we find this galaxy to form stars at a rate of SFR~7 Msun/yr, ~50-70% of which is obscured by dust. This is consistent with what is expected for a $M_\star$~7.5$\times10^{8}$ Msun object by extrapolating the $M_\star$-obscured SFR fraction relation at z<2.5 and with observations at 5<z<7. The dust temperature of ~50K is similar to that of more massive galaxies at similar redshifts, although with large uncertainties and with possible negative gradients. We measure a dust mass of $M_{\rm dust}$~1.5$\times10^6$ Msun and, by combining [CI], [CII], and a dynamical estimate, a gas mass of ~2$\times10^9$ Msun. Their ratio is in good agreement with the predictions from models in the literature. The $M_{\rm dust}$/$M_\star$ fraction of ~0.002 and the young stellar age are consistent with dust production via supernovae. Also, models predict a number density of galaxies with $M_{\rm dust}\sim10^{6}$ Msun at z=6 in agreement with our estimate from the parent ALCS survey. The combination of lensing and multiwavelength observations allow us to probe luminosity regimes up to two orders of magnitude lower than what has been explored so far for field galaxies at similar redshifts. Our results serve as a benchmark for future observations of faint sub-$L^\star$ galaxy population that might have driven the reionization of the Universe. [Abridged] △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: Accepted for publication in A&A; 13 pages+appendix; supplementary figures: https://doi.org/10.5281/zenodo.10703293. See also the companion papers on arXiv: Fujimoto+2024 and Giménez-Arteaga+2024

Journal ref: A&A 685, A138 (2024)

The Emergence of Cooperation in the well-mixed Prisoner's Dilemma: Memory Couples Individual and Group Strategies

Authors: Changyan Di, Jianyue Guan, Qingguo Zhou, **gqiang Wang, Xiangyang Li

Abstract: Exploration of mechanisms underlying the emergence of collective cooperation remains a focal point in field of evolution of cooperation. Prevailing studies often neglect historical information, relying on the latest rewards as the primary criterion for individual decision-making-a method incongruent with human cognition and decision-making modes. This limitation impedes a comprehensive understandi… ▽ More Exploration of mechanisms underlying the emergence of collective cooperation remains a focal point in field of evolution of cooperation. Prevailing studies often neglect historical information, relying on the latest rewards as the primary criterion for individual decision-making-a method incongruent with human cognition and decision-making modes. This limitation impedes a comprehensive understanding of the spontaneous emergence of cooperation. Integrating memory factors into evolutionary game models to formulate decision criteria with delayed effects has shown potential in unraveling cooperation mechanisms. However, this comes at the significant cost of heightened computational complexity. In this paper, we propose an experiential decision-making method based on reinforcement learning. Utilizing this method, we construct a multi-agent system to engage in the evolutionary Prisoner's Dilemma game. Simulation results indicate that memory establishes a coupling relationship between individual and group strategies, fostering periodic oscillation between cooperation and defection in a well-mixed group. Specifically, defection loses its payoff advantage over cooperation as the group cooperation rate decreases. Conversely, the cooperative behavior gains reinforcement with an increase in the group cooperation rate, overcoming defection as the dominant strategy for individuals. This coupling between individual and group strategies fundamentally bridges the gap between individual and group interests, integrating a multitude of known factors and elucidating the fundamental mechanism of cooperation emergence in the face of social dilemmas. △ Less

Submitted 6 February, 2024; originally announced February 2024.

pH-conditioning of recognition layers enables single-molecule affinity detections at 10E-20 molar

Authors: Eleonora Macchia, Cinzia Di Franco, Cecilia Scandurra, Lucia Sarcina, Matteo Piscitelli, Michele Catacchio, Mariapia Caputo, Paolo Bollella, Gaetano Scamarcio, Luisa Torsi

Abstract: While nucleic-acids can be readily amplified for single-marker detection, a comparable method for proteins assay is currently unavailable. Proteins potentiometric detections at 10-20 molar have been demonstrated, but the mechanism remains elusive. Here, we unveil how pH-conditioning within the trillions of recognition elements densely packed on a millimeter-large surface, enables single protein or… ▽ More While nucleic-acids can be readily amplified for single-marker detection, a comparable method for proteins assay is currently unavailable. Proteins potentiometric detections at 10-20 molar have been demonstrated, but the mechanism remains elusive. Here, we unveil how pH-conditioning within the trillions of recognition elements densely packed on a millimeter-large surface, enables single protein or DNA selective detections in 0.1 mL of a biofluid. Plasmonic, electronic and surface probing techniques demonstrate that a conformational change, elicited by a single-affinity binding, alters the secondary and tertiary structure of the recognition elements. A phenomenological mechanism foresees that the pH-conditioning initiates a hydrophobization process leading to the formation of a partially aggregated and metastable state that facilitates the amplification spreading. Impact on protein aggregates control and biomarker-based diagnostics, is envisaged. △ Less

Submitted 22 January, 2024; originally announced January 2024.

PlayMyData: a curated dataset of multi-platform video games

Authors: Andrea D'Angelo, Claudio Di Sipio, Cristiano Politowski, Riccardo Rubei

Abstract: Being predominant in digital entertainment for decades, video games have been recognized as valuable software artifacts by the software engineering (SE) community just recently. Such an acknowledgment has unveiled several research opportunities, spanning from empirical studies to the application of AI techniques for classification tasks. In this respect, several curated game datasets have been dis… ▽ More Being predominant in digital entertainment for decades, video games have been recognized as valuable software artifacts by the software engineering (SE) community just recently. Such an acknowledgment has unveiled several research opportunities, spanning from empirical studies to the application of AI techniques for classification tasks. In this respect, several curated game datasets have been disclosed for research purposes even though the collected data are insufficient to support the application of advanced models or to enable interdisciplinary studies. Moreover, the majority of those are limited to PC games, thus excluding notorious gaming platforms, e.g., PlayStation, Xbox, and Nintendo. In this paper, we propose PlayMyData, a curated dataset composed of 99,864 multi-platform games gathered by IGDB website. By exploiting a dedicated API, we collect relevant metadata for each game, e.g., description, genre, rating, gameplay video URLs, and screenshots. Furthermore, we enrich PlayMyData with the timing needed to complete each game by mining the HLTB website. To the best of our knowledge, this is the most comprehensive dataset in the domain that can be used to support different automated tasks in SE. More importantly, PlayMyData can be used to foster cross-domain investigations built on top of the provided multimedia data. △ Less

Submitted 18 January, 2024; v1 submitted 16 January, 2024; originally announced January 2024.

Comments: Accepted at the The 21st Mining Software Repositories (MSR 2024)

Carbon envelopes around merging galaxies at z ~ 4.5

Authors: C. Di Cesare, M. Ginolfi, L. Graziani, R. Schneider, M. Romano, G. Pop**

Abstract: Galaxies evolve through a dynamic exchange of material with their immediate surrounding environment, the circumgalactic medium (CGM). Understanding the physics of gas flows and the nature of the CGM is thus fundamental to studying galaxy evolution, especially at $4 \leq z \leq 6$ when galaxies rapidly assembled their masses and reached their chemical maturity. Galactic outflows are predicted to en… ▽ More Galaxies evolve through a dynamic exchange of material with their immediate surrounding environment, the circumgalactic medium (CGM). Understanding the physics of gas flows and the nature of the CGM is thus fundamental to studying galaxy evolution, especially at $4 \leq z \leq 6$ when galaxies rapidly assembled their masses and reached their chemical maturity. Galactic outflows are predicted to enrich the CGM with metals, although gas strip** in systems undergoing a major merger has also been suggested to play a role. In this work, we explore the metal enrichment of the medium around merging galaxies at $z\sim4.5$, observed by the ALMA Large Program to INvestigate [CII] at Early times (ALPINE) survey. To do so, we study the nature of the [CII]158 $μ$m emission in the CGM around these systems, using simulations to help disentangle the mechanisms contributing to the CGM metal pollution. By adopting an updated classification of major merger systems in the ALPINE survey, we select and analyse merging galaxies whose components can be spatially and/or spectrally resolved in a robust way. In this way, we can distinguish between the [CII] emission coming from the single components of the system and that coming from the system as a whole. We also make use of the dustyGadget cosmological simulation to select synthetic analogues of observed galaxies and guide the interpretation of the observational results. We find a large diffuse [CII] envelope (> 20 kpc) embedding all the merging systems, with around 50% of the total [CII] emission coming from the medium between the galaxies. Using predictions from dustyGadget we suggest that this emission has a two-fold nature: it is due to both dynamical interactions between the galaxies which result in tidal stripped gas and the presence of star-forming satellites (currently unresolved by ALMA) that enrich the medium with heavy elements. △ Less

Submitted 9 January, 2024; v1 submitted 5 January, 2024; originally announced January 2024.

Comments: 20 pages, 14 figure, 2 tables. Few updated references, comments welcome

The GAPS programme at TNG LII. Spot modeling of V1298 Tau using SpotCCF tool

Authors: C. Di Maio, A. Petralia, G. Micela, A. F. Lanza, M. Rainer, L. Malavolta, S. Benatti, L. Affer, J. Maldonado, S. Colombo, M. Damasso, A. Maggio, K. Biazzo, A. Bignamini, F. Borsa, W. Boschin, L. Cabona, M. Cecconi, R. Claudi, E. Covino, L. Di Fabrizio, R. Gratton, V. Lorenzi, L. Mancini, S. Messina , et al. (5 additional authors not shown)

Abstract: The intrinsic variability due to the magnetic activity of young active stars is one of the main challenges in detecting and characterising exoplanets. We present a method able to model the stellar photosphere and its surface inhomogeneities (starspots) in young/active and fast-rotating stars, based on the cross-correlation function (CCF) technique, to extract information about the spot configurati… ▽ More The intrinsic variability due to the magnetic activity of young active stars is one of the main challenges in detecting and characterising exoplanets. We present a method able to model the stellar photosphere and its surface inhomogeneities (starspots) in young/active and fast-rotating stars, based on the cross-correlation function (CCF) technique, to extract information about the spot configuration of the star. Within the Global Architecture of Planetary Systems (GAPS) Project at the Telescopio Nazionale Galileo, we analysed more than 300 spectra of the young planet-hosting star V1298 Tau provided by HARPS-N high-resolution spectrograph. By applying the SpotCCF model to the CCFs we extracted the spot configuration (latitude, longitude and projected filling factor) of this star, and also provided the new RVs time series of this target. We find that the features identified in the CCF profiles of V1298 Tau are modulated by the stellar rotation, supporting our assumption that they are caused by starspots. The analysis suggests a differential rotation velocity of the star with lower rotation at higher latitudes. Also, we find that SpotCCF provides an improvement in RVs extraction with a significantly lower dispersion with respect to the commonly used pipelines, with consequent mitigation of the stellar activity contribution modulated with stellar rotation. A detection sensitivity test, by the direct injection of a planetary signal into the data, confirmed that the SpotCCF model improves the sensitivity and ability to recover planetary signals. Our method enables the modelling of the stellar photosphere, extracting the spot configuration of young/active and rapidly rotating stars. It also allows for the extraction of optimised RV time series, thereby enhancing our detection capabilities for new exoplanets and advancing our understanding of stellar activity. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: 18 pages, 20 figures, accepted by A&A

CodeLL: A Lifelong Learning Dataset to Support the Co-Evolution of Data and Language Models of Code

Authors: Martin Weyssow, Claudio Di Sipio, Davide Di Ruscio, Houari Sahraoui

Abstract: Motivated by recent work on lifelong learning applications for language models (LMs) of code, we introduce CodeLL, a lifelong learning dataset focused on code changes. Our contribution addresses a notable research gap marked by the absence of a long-term temporal dimension in existing code change datasets, limiting their suitability in lifelong learning scenarios. In contrast, our dataset aims to… ▽ More Motivated by recent work on lifelong learning applications for language models (LMs) of code, we introduce CodeLL, a lifelong learning dataset focused on code changes. Our contribution addresses a notable research gap marked by the absence of a long-term temporal dimension in existing code change datasets, limiting their suitability in lifelong learning scenarios. In contrast, our dataset aims to comprehensively capture code changes across the entire release history of open-source software repositories. In this work, we introduce an initial version of CodeLL, comprising 71 machine-learning-based projects mined from Software Heritage. This dataset enables the extraction and in-depth analysis of code changes spanning 2,483 releases at both the method and API levels. CodeLL enables researchers studying the behaviour of LMs in lifelong fine-tuning settings for learning code changes. Additionally, the dataset can help studying data distribution shifts within software repositories and the evolution of API usages over time. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 4+1 pages

Trusted Execution Environment for Decentralized Process Mining

Authors: Valerio Goretti, Davide Basile, Luca Barbaro, Claudio Di Ciccio

Abstract: Inter-organizational business processes involve multiple independent organizations collaborating to achieve mutual interests. Process mining techniques have the potential to allow these organizations to enhance operational efficiency, improve performance, and deepen the understanding of their business based on the recorded process event data. However, inter-organizational process mining faces subs… ▽ More Inter-organizational business processes involve multiple independent organizations collaborating to achieve mutual interests. Process mining techniques have the potential to allow these organizations to enhance operational efficiency, improve performance, and deepen the understanding of their business based on the recorded process event data. However, inter-organizational process mining faces substantial challenges, including topical secrecy concerns: The involved organizations may not be willing to expose their own data to run mining algorithms jointly with their counterparts or third parties. In this paper, we introduce CONFINE, a novel approach that unlocks process mining on multiple actors' process event data while safeguarding the secrecy and integrity of the original records in an inter-organizational business setting. To ensure that the phases of the presented interaction protocol are secure and that the processed information is hidden from involved and external actors alike, our approach resorts to a decentralized architecture comprised of trusted applications running in Trusted Execution Environments (TEEs). We show the feasibility of our solution by showcasing its application to a healthcare scenario and evaluating our implementation in terms of memory usage and scalability on real-world event logs. △ Less

Submitted 9 April, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Increasing Transparency of Reinforcement Learning using Shielding for Human Preferences and Explanations

Authors: Georgios Angelopoulos, Luigi Mangiacapra, Alessandra Rossi, Claudia Di Napoli, Silvia Rossi

Abstract: The adoption of Reinforcement Learning (RL) in several human-centred applications provides robots with autonomous decision-making capabilities and adaptability based on the observations of the operating environment. In such scenarios, however, the learning process can make robots' behaviours unclear and unpredictable to humans, thus preventing a smooth and effective Human-Robot Interaction (HRI).… ▽ More The adoption of Reinforcement Learning (RL) in several human-centred applications provides robots with autonomous decision-making capabilities and adaptability based on the observations of the operating environment. In such scenarios, however, the learning process can make robots' behaviours unclear and unpredictable to humans, thus preventing a smooth and effective Human-Robot Interaction (HRI). As a consequence, it becomes crucial to avoid robots performing actions that are unclear to the user. In this work, we investigate whether including human preferences in RL (concerning the actions the robot performs during learning) improves the transparency of a robot's behaviours. For this purpose, a shielding mechanism is included in the RL algorithm to include human preferences and to monitor the learning agent's decisions. We carried out a within-subjects study involving 26 participants to evaluate the robot's transparency in terms of Legibility, Predictability, and Expectability in different settings. Results indicate that considering human preferences during learning improves Legibility with respect to providing only Explanations, and combining human preferences with explanations elucidating the rationale behind the robot's decisions further amplifies transparency. Results also confirm that an increase in transparency leads to an increase in the safety, comfort, and reliability of the robot. These findings show the importance of transparency during learning and suggest a paradigm for robotic applications with human in the loop. △ Less

Submitted 28 November, 2023; originally announced November 2023.

The 2nd Workshop on Maritime Computer Vision (MaCVi) 2024

Authors: Benjamin Kiefer, Lojze Žust, Matej Kristan, Janez Perš, Matija Teršek, Arnold Wiliem, Martin Messmer, Cheng-Yen Yang, Hsiang-Wei Huang, Zhongyu Jiang, Heng-Cheng Kuo, Jie Mei, Jenq-Neng Hwang, Daniel Stadler, Lars Sommer, Kaer Huang, Aiguo Zheng, Weitu Chong, Kanokphan Lertniphonphan, Jun Xie, Feng Chen, Jian Li, Zhepeng Wang, Luca Zedda, Andrea Loddo , et al. (24 additional authors not shown)

Abstract: The 2nd Workshop on Maritime Computer Vision (MaCVi) 2024 addresses maritime computer vision for Unmanned Aerial Vehicles (UAV) and Unmanned Surface Vehicles (USV). Three challenges categories are considered: (i) UAV-based Maritime Object Tracking with Re-identification, (ii) USV-based Maritime Obstacle Segmentation and Detection, (iii) USV-based Maritime Boat Tracking. The USV-based Maritime Obst… ▽ More The 2nd Workshop on Maritime Computer Vision (MaCVi) 2024 addresses maritime computer vision for Unmanned Aerial Vehicles (UAV) and Unmanned Surface Vehicles (USV). Three challenges categories are considered: (i) UAV-based Maritime Object Tracking with Re-identification, (ii) USV-based Maritime Obstacle Segmentation and Detection, (iii) USV-based Maritime Boat Tracking. The USV-based Maritime Obstacle Segmentation and Detection features three sub-challenges, including a new embedded challenge addressing efficicent inference on real-world embedded devices. This report offers a comprehensive overview of the findings from the challenges. We provide both statistical and qualitative analyses, evaluating trends from over 195 submissions. All datasets, evaluation code, and the leaderboard are available to the public at https://macvi.org/workshop/macvi24. △ Less

Submitted 23 November, 2023; originally announced November 2023.

Comments: Part of 2nd Workshop on Maritime Computer Vision (MaCVi) 2024 IEEE Xplore submission as part of WACV 2024

Dynamically Maintaining the Persistent Homology of Time Series

Authors: Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, Monika Henzinger, Lara Ost

Abstract: We present a dynamic data structure for maintaining the persistent homology of a time series of real numbers. The data structure supports local operations, including the insertion and deletion of an item and the cutting and concatenating of lists, each in time $O(\log n + k)$, in which $n$ counts the critical items and $k$ the changes in the augmented persistence diagram. To achieve this, we desig… ▽ More We present a dynamic data structure for maintaining the persistent homology of a time series of real numbers. The data structure supports local operations, including the insertion and deletion of an item and the cutting and concatenating of lists, each in time $O(\log n + k)$, in which $n$ counts the critical items and $k$ the changes in the augmented persistence diagram. To achieve this, we design a tailor-made tree structure with an unconventional representation, referred to as banana tree, which may be useful in its own right. △ Less

Submitted 2 July, 2024; v1 submitted 2 November, 2023; originally announced November 2023.

Comments: Corrected the statement and proof of Theorem 5.2; added a missing edge-case to the anti-cancellation algorithm

Quantum hardware calculations of the activation and dissociation of nitrogen on iron clusters and surfaces

Authors: Georgia Christopoulou, Cono Di Paola, Floris Eelke Elzinga, Aurelie Jallat, David Muñoz Ramo, Michal Krompiec

Abstract: Catalytic processes are vital in the chemical industry, with nitrogen-to-ammonia conversion being a major industrial process. Designing catalysts relies on computational chemistry methods like Density Functional Theory (DFT), which have limitations in accuracy, especially for complex materials. Quantum computing advancements offer promise for precise ab-initio methods. We introduce a hybrid quantu… ▽ More Catalytic processes are vital in the chemical industry, with nitrogen-to-ammonia conversion being a major industrial process. Designing catalysts relies on computational chemistry methods like Density Functional Theory (DFT), which have limitations in accuracy, especially for complex materials. Quantum computing advancements offer promise for precise ab-initio methods. We introduce a hybrid quantum-classical workflow to model chemical reactions on surfaces, demonstrated on nitrogen activation and dissociation on small Fe clusters and an iron surface. We decoupled key electronic structures using CASSCF, translated them into qubits, and estimated energies with quantum and classical simulations, showing potential for quantum computing in catalysis research as technology scales up. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 15 pages, 19 figures

A Blockchain-driven Architecture for Usage Control in Solid

Authors: Davide Basile, Claudio Di Ciccio, Valerio Goretti, Sabrina Kirrane

Abstract: Decentralization initiatives like Solid enable data owners to control who has access to their data and to stimulate innovation by creating both application and data markets. Once data owners share their data with others, though, it is no longer possible for them to control how their data are used. To address this issue, we propose a usage control architecture to monitor compliance with usage contr… ▽ More Decentralization initiatives like Solid enable data owners to control who has access to their data and to stimulate innovation by creating both application and data markets. Once data owners share their data with others, though, it is no longer possible for them to control how their data are used. To address this issue, we propose a usage control architecture to monitor compliance with usage control policies. To this end, our solution relies on blockchain and trusted execution environments. We demonstrate the potential of the architecture by describing the various workflows needed to realize a motivating use case scenario for data markets. Additionally, we discuss the merits of the approach from privacy, security, integrateability, and affordability perspectives. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Brownian particle in a Poisson-shot-noise active bath: exact statistics, effective temperature, and inference

Authors: Costantino Di Bello, Rita Majumdar, Rahul Marathe, Ralf Metzler, Edgar Roldan

Abstract: We study the dynamics of an overdamped Brownian particle in a thermal bath that contains a dilute solution of active particles. The particle moves in a harmonic potential and experiences Poisson shot-noise kicks with specified amplitude distribution due to moving active particles in the bath. From the Fokker-Planck equation for the particle dynamics we derive the stationary solution for the displa… ▽ More We study the dynamics of an overdamped Brownian particle in a thermal bath that contains a dilute solution of active particles. The particle moves in a harmonic potential and experiences Poisson shot-noise kicks with specified amplitude distribution due to moving active particles in the bath. From the Fokker-Planck equation for the particle dynamics we derive the stationary solution for the displacement distribution along with the moments characterizing mean, variance, skewness, and kurtosis, as well as finite time first and second moments. We also compute an effective temperature through the fluctuation-dissipation theorem and show that equipartition theorem holds for all zero-mean kick distributions, including those leading to non-Gaussian stationary statistics. For the case of Gaussian-distributed active kicks we find a re-entrant behaviour from non-Gaussian to Gaussian stationary states and a heavy-tailed leptokurtic distribution across a wide range of parameters as seen in recent experimental studies. Further analysis reveals statistical signatures of the irreversible dynamics of the particle displacement in terms of the time asymmetry of cross-correlation functions. Fruits of our work is the development of a compact inference scheme that may allow experimentalists to extract the rate and moments of underlying shot-noise solely from the statistics of the particle position. △ Less

Submitted 5 December, 2023; v1 submitted 23 September, 2023; originally announced September 2023.

Comments: 22 pages, 5 figures, Annalen der Physik template

Real-time Monitoring for the Next Core-Collapse Supernova in JUNO

Authors: Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, Muhammad Akram, Abid Aleem, Fengpeng An, Qi An, Giuseppe Andronico, Nikolay Anfimov, Vito Antonelli, Tatiana Antoshkina, Burin Asavapibhop, João Pedro Athayde Marcondes de André, Didier Auguste, Weidong Bai, Nikita Balashov, Wander Baldini, Andrea Barresi, Davide Basilico, Eric Baussan, Marco Bellato, Marco Beretta, Antonio Bergnoli , et al. (606 additional authors not shown)

Abstract: The core-collapse supernova (CCSN) is considered one of the most energetic astrophysical events in the universe. The early and prompt detection of neutrinos before (pre-SN) and during the supernova (SN) burst presents a unique opportunity for multi-messenger observations of CCSN events. In this study, we describe the monitoring concept and present the sensitivity of the system to pre-SN and SN neu… ▽ More The core-collapse supernova (CCSN) is considered one of the most energetic astrophysical events in the universe. The early and prompt detection of neutrinos before (pre-SN) and during the supernova (SN) burst presents a unique opportunity for multi-messenger observations of CCSN events. In this study, we describe the monitoring concept and present the sensitivity of the system to pre-SN and SN neutrinos at the Jiangmen Underground Neutrino Observatory (JUNO), a 20 kton liquid scintillator detector currently under construction in South China. The real-time monitoring system is designed to ensure both prompt alert speed and comprehensive coverage of progenitor stars. It incorporates prompt monitors on the electronic board as well as online monitors at the data acquisition stage. Assuming a false alert rate of 1 per year, this monitoring system exhibits sensitivity to pre-SN neutrinos up to a distance of approximately 1.6 (0.9) kiloparsecs and SN neutrinos up to about 370 (360) kiloparsecs for a progenitor mass of 30 solar masses, considering both normal and inverted mass ordering scenarios. The pointing ability of the CCSN is evaluated by analyzing the accumulated event anisotropy of inverse beta decay interactions from pre-SN or SN neutrinos. This, along with the early alert, can play a crucial role in facilitating follow-up multi-messenger observations of the next galactic or nearby extragalactic CCSN. △ Less

Submitted 4 December, 2023; v1 submitted 13 September, 2023; originally announced September 2023.

Comments: 24 pages, 9 figures, accepted for the publication at JCAP

Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques

Authors: Diego Clerissi, Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Felicien Ihirwe, Leonardo Mariani, Daniela Micucci, Maria Teresa Rossi, Riccardo Rubei

Abstract: IoT systems complexity and susceptibility to failures pose significant challenges in ensuring their reliable operation Failures can be internally generated or caused by external factors impacting both the systems correctness and its surrounding environment To investigate these complexities various modeling approaches have been proposed to raise the level of abstraction facilitating automation and… ▽ More IoT systems complexity and susceptibility to failures pose significant challenges in ensuring their reliable operation Failures can be internally generated or caused by external factors impacting both the systems correctness and its surrounding environment To investigate these complexities various modeling approaches have been proposed to raise the level of abstraction facilitating automation and analysis FailureLogic Analysis FLA is a technique that helps predict potential failure scenarios by defining how a components failure logic behaves and spreads throughout the system However manually specifying FLA rules can be arduous and errorprone leading to incomplete or inaccurate specifications In this paper we propose adopting testing methodologies to improve the completeness and correctness of these rules How failures may propagate within an IoT system can be observed by systematically injecting failures while running test cases to collect evidence useful to add complete and refine FLA rules △ Less

Submitted 6 September, 2023; originally announced September 2023.

ResyDuo: Combining data models and CF-based recommender systems to develop Arduino projects

Authors: Juri Di Rocco, Claudio Di Sipio

Abstract: While specifying an IoT-based system, software developers have to face a set of challenges, spanning from selecting the hardware components to writing the actual source code. Even though dedicated development environments are in place, a nonexpert user might struggle with the over-choice problem in selecting the proper component. By combining MDE and recommender systems, this paper proposes an ini… ▽ More While specifying an IoT-based system, software developers have to face a set of challenges, spanning from selecting the hardware components to writing the actual source code. Even though dedicated development environments are in place, a nonexpert user might struggle with the over-choice problem in selecting the proper component. By combining MDE and recommender systems, this paper proposes an initial prototype, called ResyDuo, to assist Arduino developers by providing two different artifacts, i. e. , hardware components and software libraries. In particular, we make use of a widely adopted collaborative filtering algorithm by collecting relevant information by means of a dedicated data model. ResyDuo can retrieve hardware components by using tags or existing Arduino projects stored on the ProjectHub repository. Then, the system can eventually retrieve corresponding software libraries based on the identified hardware devices. ResyDuo is equipped with a web-based interface that allows users to easily select and configure the under-develo** Arduino project. To assess ResyDuos performances, we run the ten-fold crossvalidation by adopting the grid search strategy to optimize the hyperparameters of the CF-based algorithm. The conducted evaluation shows encouraging results even though there is still room for improvement in terms of the examined metrics. △ Less

Submitted 26 August, 2023; originally announced August 2023.

A Joint Fermi-GBM and Swift-BAT Analysis of Gravitational-Wave Candidates from the Third Gravitational-wave Observing Run

Authors: C. Fletcher, J. Wood, R. Hamburg, P. Veres, C. M. Hui, E. Bissaldi, M. S. Briggs, E. Burns, W. H. Cleveland, M. M. Giles, A. Goldstein, B. A. Hristov, D. Kocevski, S. Lesage, B. Mailyan, C. Malacaria, S. Poolakkil, A. von Kienlin, C. A. Wilson-Hodge, The Fermi Gamma-ray Burst Monitor Team, M. Crnogorčević, J. DeLaunay, A. Tohuvavohu, R. Caputo, S. B. Cenko , et al. (1674 additional authors not shown)

Abstract: We present Fermi Gamma-ray Burst Monitor (Fermi-GBM) and Swift Burst Alert Telescope (Swift-BAT) searches for gamma-ray/X-ray counterparts to gravitational wave (GW) candidate events identified during the third observing run of the Advanced LIGO and Advanced Virgo detectors. Using Fermi-GBM on-board triggers and sub-threshold gamma-ray burst (GRB) candidates found in the Fermi-GBM ground analyses,… ▽ More We present Fermi Gamma-ray Burst Monitor (Fermi-GBM) and Swift Burst Alert Telescope (Swift-BAT) searches for gamma-ray/X-ray counterparts to gravitational wave (GW) candidate events identified during the third observing run of the Advanced LIGO and Advanced Virgo detectors. Using Fermi-GBM on-board triggers and sub-threshold gamma-ray burst (GRB) candidates found in the Fermi-GBM ground analyses, the Targeted Search and the Untargeted Search, we investigate whether there are any coincident GRBs associated with the GWs. We also search the Swift-BAT rate data around the GW times to determine whether a GRB counterpart is present. No counterparts are found. Using both the Fermi-GBM Targeted Search and the Swift-BAT search, we calculate flux upper limits and present joint upper limits on the gamma-ray luminosity of each GW. Given these limits, we constrain theoretical models for the emission of gamma-rays from binary black hole mergers. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Weakly synchronous systems with three machines are Turing powerful

Authors: Cinzia Di Giusto, Davide Ferré, Etienne Lozes, Nicolas Nisse

Abstract: Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous systems, processes communicate through phases in which messages are first sent and then received, for each process. Such systems enjoy a limited form of synchronization, and for some communication models, this restriction is enough to make the reachabili… ▽ More Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous systems, processes communicate through phases in which messages are first sent and then received, for each process. Such systems enjoy a limited form of synchronization, and for some communication models, this restriction is enough to make the reachability problem decidable. In particular, we explore the intriguing case of p2p (FIFO) communication, for which the reachability problem is known to be undecidable for four processes, but decidable for two. We show that the configuration reachability problem for weakly synchronous systems of three processes is undecidable. This result is heavily inspired by our study on the treewidth of the Message Sequence Charts (MSCs) that might be generated by such systems. In this sense, the main contribution of this work is a weakly synchronous system with three processes that generates MSCs of arbitrarily large treewidth. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Proceedings 16th Interaction and Concurrency Experience

Authors: Clément Aubert, Cinzia Di Giusto, Simon Fowler, Larisa Safina

Abstract: This volume contains the proceedings of ICE'23, the 16th Interaction and Concurrency Experience, which was held at the NOVA University in Lisbon, Portugal, as a satellite event of DisCoTec'22. The ICE workshop series features a distinguishing review and selection procedure: PC members are encouraged to interact, anonymously, with authors. The 2023 edition of ICE included double blind reviewing of… ▽ More This volume contains the proceedings of ICE'23, the 16th Interaction and Concurrency Experience, which was held at the NOVA University in Lisbon, Portugal, as a satellite event of DisCoTec'22. The ICE workshop series features a distinguishing review and selection procedure: PC members are encouraged to interact, anonymously, with authors. The 2023 edition of ICE included double blind reviewing of original research papers, in order to increase fairness and avoid bias in reviewing. Each paper was reviewed by three PC members, and altogether 5 papers were accepted for publication plus 4 oral presentations which are not part of this volume. We were proud to host 2 invited talks, by Carla Ferreira and Adrian Francalanza. The abstracts of these talks are included in this volume, together with the final versions of the research papers, which take into account the discussion at the workshop and during the review process. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Journal ref: EPTCS 383, 2023

Precision measurement of $^{65}$Zn electron-capture decays with the KDK coincidence setup

Authors: L. Hariasz, P. C. F. Di Stefano, M. Stukel, B. C. Rasco, K. P. Rykaczewski, N. T. Brewer, R. K. Grzywacz, E. D. Lukosi, D. W. Stracener, M. Mancuso, F. Petricca, J. Ninkovic, P. Lechner

Abstract: $^{65}$Zn is a common calibration source, moreover used as a radioactive tracer in medical and biological studies. In many cases, $γ$-spectroscopy is a preferred method of $^{65}$Zn standardization, which relies directly on the branching ratio of $J π(^{65}\text{Zn} ) = 5/2^- \rightarrow J π(^{65}\text{Cu}) = 5/2^-… ▽ More $^{65}$Zn is a common calibration source, moreover used as a radioactive tracer in medical and biological studies. In many cases, $γ$-spectroscopy is a preferred method of $^{65}$Zn standardization, which relies directly on the branching ratio of $J π(^{65}\text{Zn} ) = 5/2^- \rightarrow J π(^{65}\text{Cu}) = 5/2^- $ via electron capture (EC*). We measure the relative intensity of this branch to that proceeding directly to the ground state (EC$^0$) using a novel coincidence technique, finding $I_{\text{EC}^0}/I_{\text{EC*}} = 0.9684 \pm 0.0018$. Re-evaluating the decay scheme of $^{65}$Zn by adopting the commonly evaluated branching ratio of $I_{β^+}= 1.4271(7)\%$ we obtain $I_{\text{EC*}} = (50.08 \pm 0.06)\%$, and $I_\text{EC^0} = (48.50 \pm 0.06) \%$. The associated 1115 keV gamma intensity agrees with the previously reported NNDC value, and is now accessible with a factor of ~2 increase in precision. Our re-evaluation removes reliance on the deduction of this gamma intensity from numerous measurements, some of which disagree and depend directly on total activity determination. The KDK experimental technique provides a new avenue for verification or updates to the decay scheme of $^{65}$Zn, and is applicable to other isotopes. △ Less

Submitted 7 August, 2023; originally announced August 2023.

Comments: Uses similar methodology to the 40K measurement by the KDK Collaboration (Stukel et al PRL 2023, arXiv:2211.10319; Hariasz et al PRC 2023, arXiv:2211.10343), as such there may be some similarity in figures and text

Journal ref: Nuclear Data Sheets 189-224 (2023)

Search for Eccentric Black Hole Coalescences during the Third Observing Run of LIGO and Virgo

Authors: The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, A. G. Abac, R. Abbott, H. Abe, F. Acernese, K. Ackley, C. Adamcewicz, S. Adhicary, N. Adhikari, R. X. Adhikari, V. K. Adkins, V. B. Adya, C. Affeldt, D. Agarwal, M. Agathos, O. D. Aguiar, I. Aguilar, L. Aiello, A. Ain, P. Ajith, T. Akutsu, S. Albanesi, R. A. Alfaidi , et al. (1750 additional authors not shown)

Abstract: Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effect… ▽ More Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effects of eccentricity. Here, we present observational results for a waveform-independent search sensitive to eccentric black hole coalescences, covering the third observing run (O3) of the LIGO and Virgo detectors. We identified no new high-significance candidates beyond those that were already identified with searches focusing on quasi-circular binaries. We determine the sensitivity of our search to high-mass (total mass $M>70$ $M_\odot$) binaries covering eccentricities up to 0.3 at 15 Hz orbital frequency, and use this to compare model predictions to search results. Assuming all detections are indeed quasi-circular, for our fiducial population model, we place an upper limit for the merger rate density of high-mass binaries with eccentricities $0 < e \leq 0.3$ at $0.33$ Gpc$^{-3}$ yr$^{-1}$ at 90\% confidence level. △ Less

Submitted 7 August, 2023; originally announced August 2023.

Comments: 24 pages, 5 figures

Report number: LIGO-P2300080

Enabling Data Confidentiality with Public Blockchains

Authors: Edoardo Marangone, Claudio Di Ciccio, Daniele Friolo, Eugenio Nerio Nemmi, Daniele Venturi, Ingo Weber

Abstract: Blockchain technology is apt to facilitate the automation of multi-party cooperations among various players in a decentralized setting, especially in cases where trust among participants is limited. Transactions are stored in a ledger, a replica of which is retained by every node of the blockchain network. The operations saved thereby are thus publicly accessible. While this aspect enhances transp… ▽ More Blockchain technology is apt to facilitate the automation of multi-party cooperations among various players in a decentralized setting, especially in cases where trust among participants is limited. Transactions are stored in a ledger, a replica of which is retained by every node of the blockchain network. The operations saved thereby are thus publicly accessible. While this aspect enhances transparency, reliability, and persistence, it hinders the utilization of public blockchains for process automation as it violates typical confidentiality requirements in corporate settings. To overcome this issue, we propose our approach named Multi-Authority Approach to Transaction Systems for Interoperating Applications (MARTSIA). Based on Multi-Authority Attribute-Based Encryption (MA-ABE), MARTSIA enables read-access control over shared data at the level of message parts. User-defined policies determine whether an actor can interpret the publicly stored information or not, depending on the actor's attributes declared by a consortium of certifiers. Still, all nodes in the blockchain network can attest to the publication of the (encrypted) data. We provide a formal analysis of the security guarantees of MARTSIA, and illustrate the proof-of-concept implementation over multiple blockchain platforms. To demonstrate its interoperability, we showcase its usage in ensemble with a state-of-the-art blockchain-based engine for multi-party process execution, and three real-world decentralized applications in the context of NFT markets, supply chain, and retail. △ Less

Submitted 21 September, 2023; v1 submitted 4 August, 2023; originally announced August 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2303.17977

The Frascati Beam Test Facility

Authors: B. Buonomo, F. Cardelli, C. Di Giulio, D. Di Giovenale, L. G. Foggetta, C. Taruggi

Abstract: From 2004 the Frascati Beam Test Facility (BTF) in the DAFNE accelerator complex provides to the external user up to 1E10 electrons per bunch or up to 10E9 positrons per bunch to develop their detectors. After an upgrade program terminated in 2020 of the beam test facility a description of the status and available beam lines will be done. From 2004 the Frascati Beam Test Facility (BTF) in the DAFNE accelerator complex provides to the external user up to 1E10 electrons per bunch or up to 10E9 positrons per bunch to develop their detectors. After an upgrade program terminated in 2020 of the beam test facility a description of the status and available beam lines will be done. △ Less

Submitted 31 August, 2023; v1 submitted 6 August, 2023; originally announced August 2023.

Comments: Talk presented at the International Workshop on Future Linear Colliders (LCWS 2023), 15-19 May 2023. C23-05-15.3

TEX (TEst stand for X-band) at LNF

Authors: C. Di Giulio, F. Cardelli, S. Pioli, D. Alesini, M. Bellaveglia, S. Bini, B. Buonomo, S. Cantarella, G. Catuscelli, M. Ceccarelli, R. Ceccarelli, M. Cianfrini, R. Clementi, E. Di Pasquale, G. Di Raddo, R. Di Raddo, A. Falone, A. Gallo, G. Latini, A. Liedl, V. Lollo, G. Piermarini, L. Piersanti, S. Quaglia, L. A. Rossi , et al. (5 additional authors not shown)

Abstract: TEX facility if commissioned for high power testing to characterize accelerating structures and validate them for the operation on future particle accelerators for medical, industrial and research applications. At this aim, TEX is directly involved in the LNF leading project EuPRAXIA@SPARC_Lab. The brief description of the facility and its status and prospective will be provided. TEX facility if commissioned for high power testing to characterize accelerating structures and validate them for the operation on future particle accelerators for medical, industrial and research applications. At this aim, TEX is directly involved in the LNF leading project EuPRAXIA@SPARC_Lab. The brief description of the facility and its status and prospective will be provided. △ Less

Submitted 31 August, 2023; v1 submitted 6 August, 2023; originally announced August 2023.

Comments: Talk presented at the International Workshop on Future Linear Colliders (LCWS 2023), 15-19 May 2023. C23-05-15.3

The coupling effect between the environment and strategies drives the emergence of group cooperation

Authors: Changyan Di, Qingguo Zhou, Jun Shen, **qiang Wang, Rui Zhou, Tianyi Wang

Abstract: Introducing environmental feedback into evolutionary game theory has led to the development of eco-evolutionary games, which have gained popularity due to their ability to capture the intricate interplay between the environment and decision-making processes. However, current researches in this field focus on the study to macroscopic evolutionary dynamics in infinite populations. In this study, we… ▽ More Introducing environmental feedback into evolutionary game theory has led to the development of eco-evolutionary games, which have gained popularity due to their ability to capture the intricate interplay between the environment and decision-making processes. However, current researches in this field focus on the study to macroscopic evolutionary dynamics in infinite populations. In this study, we propose a multi-agent computational model based on reinforcement learning to explore the coupled dynamics between strategies and the environment in finite populations from a bottom-up perspective. Our findings indicate that even in environments that favor defectors, high levels of group cooperation can emerge from self-interested individuals, highlighting the significant role of the coupling effect between the environment and strategies. Over time, the higher payoff of defection can be diluted due to environmental degradation, while cooperation can become the dominant strategy when positively reinforced by the environment. Remarkably, individuals can accurately detect the inflection point of the environment solely through rewards, when a reinforcing positive feedback loop are triggered, resulting in a rapid increase in agents' rewards and facilitating the establishment and maintenance of group cooperation. Our research provides a fresh perspective on understanding the emergence of group cooperation and sheds light on the underlying mechanisms involving individuals and the environment. △ Less

Submitted 5 August, 2023; originally announced August 2023.

Platinum-based Catalysts for Oxygen Reduction Reaction simulated with a Quantum Computer

Authors: Cono Di Paola, Evgeny Plekhanov, Michal Krompiec, Chandan Kumar, Emanuele Marsili, Fengmin Du, Daniel Weber, Jasper Simon Krauser, Elvira Shishenina, David Muñoz Ramo

Abstract: Hydrogen has emerged as a promising energy source, holding the key to achieve low-carbon and sustainable mobility. However, its applications are still limited by modest conversion efficiency in the electrocatalytic oxygen reduction reaction (ORR) within fuel cells. Consequently, the development of novel catalysts and a profound understanding of the underlying reactions have become of paramount imp… ▽ More Hydrogen has emerged as a promising energy source, holding the key to achieve low-carbon and sustainable mobility. However, its applications are still limited by modest conversion efficiency in the electrocatalytic oxygen reduction reaction (ORR) within fuel cells. Consequently, the development of novel catalysts and a profound understanding of the underlying reactions have become of paramount importance. The complex nature of the ORR potential energy landscape and the presence of strong electronic correlations present challenges to atomistic modelling using classical computers. This scenario opens new avenues for the implementation of novel quantum computing workflows to address these molecular systems. Here, we present a pioneering study that combines classical and quantum computational approaches to investigate the ORR on pure platinum and platinum/cobalt surfaces. Our research demonstrates, for the first time, the feasibility of implementing this workflow on the H1-series trapped-ion quantum computer and identify the challenges of the quantum chemistry modelling of this reaction. The results highlight the involvement of strongly correlated species in the cobalt-containing catalyst, suggesting their potential as ideal candidates for showcasing quantum advantage in future applications. △ Less

Submitted 12 April, 2024; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: Main paper: 29 pages, 4 figures, Supplementary Material: 10 pages, 5 figures, 5 tables

Design and sensitivity of a 6-axis seismometer for gravitational wave observatories

Authors: Leonid Prokhorov, Sam Cooper, Amit Singh Ubhi, Conor Mow-Lowry, John Bryant, Artemiy Dmitriev, Chiara Di Fronzo, Christopher J. Collins, Alex Gill, Alexandra Mitchell, Joscha Heinze, Jiri Smetana, Tianliang Yan, Alan V. Cumming, Giles Hammond, Denis Martynov

Abstract: We present the design, control system, and noise analysis of a 6-axis seismometer comprising a mass suspended by a single fused silica fibre. We utilise custom-made, compact Michelson interferometers for the readout of the mass motion relative to the table and successfully overcome the sensitivity of existing commercial seismometers by over an order of magnitude in the angular degrees of freedom.… ▽ More We present the design, control system, and noise analysis of a 6-axis seismometer comprising a mass suspended by a single fused silica fibre. We utilise custom-made, compact Michelson interferometers for the readout of the mass motion relative to the table and successfully overcome the sensitivity of existing commercial seismometers by over an order of magnitude in the angular degrees of freedom. We develop the sensor for gravitational-wave observatories, such as LIGO, Virgo, and KAGRA, to help them observe intermediate-mass black holes, increase their duty cycle, and improve localisation of sources. Our control system and its achieved sensitivity makes the sensor suitable for other fundamental physics experiments, such as tests of semiclassical gravity, searches for bosonic dark matter, and studies of the Casimir force. △ Less

Submitted 24 July, 2023; originally announced July 2023.