-
Demonstration of neutron identification in neutrino interactions in the MicroBooNE liquid argon time projection chamber
Authors:
MicroBooNE collaboration,
P. Abratenko,
O. Alterkait,
D. Andrade Aldana,
L. Arellano,
J. Asaadi,
A. Ashkenazi,
S. Balasubramanian,
B. Baller,
A. Barnard,
G. Barr,
D. Barrow,
J. Barrow,
V. Basque,
J. Bateman,
O. Benevides Rodrigues,
S. Berkman,
A. Bhanderi,
A. Bhat,
M. Bhattacharya,
M. Bishai,
A. Blake,
B. Bogart,
T. Bolton,
J. Y. Book
, et al. (165 additional authors not shown)
Abstract:
A significant challenge in measurements of neutrino oscillations is reconstructing the incoming neutrino energies. While modern fully-active tracking calorimeters such as liquid argon time projection chambers in principle allow the measurement of all final state particles above some detection threshold, undetected neutrons remain a considerable source of missing energy with little to no data const…
▽ More
A significant challenge in measurements of neutrino oscillations is reconstructing the incoming neutrino energies. While modern fully-active tracking calorimeters such as liquid argon time projection chambers in principle allow the measurement of all final state particles above some detection threshold, undetected neutrons remain a considerable source of missing energy with little to no data constraining their production rates and kinematics. We present the first demonstration of tagging neutrino-induced neutrons in liquid argon time projection chambers using secondary protons emitted from neutron-argon interactions in the MicroBooNE detector. We describe the method developed to identify neutrino-induced neutrons and demonstrate its performance using neutrons produced in muon-neutrino charged current interactions. The method is validated using a small subset of MicroBooNE's total dataset. The selection yields a sample with $60\%$ of selected tracks corresponding to neutron-induced secondary protons.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
Improving neutrino energy estimation of charged-current interaction events with recurrent neural networks in MicroBooNE
Authors:
MicroBooNE collaboration,
P. Abratenko,
O. Alterkait,
D. Andrade Aldana,
L. Arellano,
J. Asaadi,
A. Ashkenazi,
S. Balasubramanian,
B. Baller,
A. Barnard,
G. Barr,
D. Barrow,
J. Barrow,
V. Basque,
J. Bateman,
O. Benevides Rodrigues,
S. Berkman,
A. Bhanderi,
A. Bhat,
M. Bhattacharya,
M. Bishai,
A. Blake,
B. Bogart,
T. Bolton,
J. Y. Book
, et al. (164 additional authors not shown)
Abstract:
We present a deep learning-based method for estimating the neutrino energy of charged-current neutrino-argon interactions. We employ a recurrent neural network (RNN) architecture for neutrino energy estimation in the MicroBooNE experiment, utilizing liquid argon time projection chamber (LArTPC) detector technology. Traditional energy estimation approaches in LArTPCs, which largely rely on reconstr…
▽ More
We present a deep learning-based method for estimating the neutrino energy of charged-current neutrino-argon interactions. We employ a recurrent neural network (RNN) architecture for neutrino energy estimation in the MicroBooNE experiment, utilizing liquid argon time projection chamber (LArTPC) detector technology. Traditional energy estimation approaches in LArTPCs, which largely rely on reconstructing and summing visible energies, often experience sizable biases and resolution smearing because of the complex nature of neutrino interactions and the detector response. The estimation of neutrino energy can be improved after considering the kinematics information of reconstructed final-state particles. Utilizing kinematic information of reconstructed particles, the deep learning-based approach shows improved resolution and reduced bias for the muon neutrino Monte Carlo simulation sample compared to the traditional approach. In order to address the common concern about the effectiveness of this method on experimental data, the RNN-based energy estimator is further examined and validated with dedicated data-simulation consistency tests using MicroBooNE data. We also assess its potential impact on a neutrino oscillation study after accounting for all statistical and systematic uncertainties and show that it enhances physics sensitivity. This method has good potential to improve the performance of other physics analyses.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Leveraging Large Language Models for Semantic Query Processing in a Scholarly Knowledge Graph
Authors:
Runsong Jia,
Bowen Zhang,
Sergio J. Rodríguez Méndez,
Pouya G. Omran
Abstract:
The proposed research aims to develop an innovative semantic query processing system that enables users to obtain comprehensive information about research works produced by Computer Science (CS) researchers at the Australian National University (ANU). The system integrates Large Language Models (LLMs) with the ANU Scholarly Knowledge Graph (ASKG), a structured repository of all research-related ar…
▽ More
The proposed research aims to develop an innovative semantic query processing system that enables users to obtain comprehensive information about research works produced by Computer Science (CS) researchers at the Australian National University (ANU). The system integrates Large Language Models (LLMs) with the ANU Scholarly Knowledge Graph (ASKG), a structured repository of all research-related artifacts produced at ANU in the CS field. Each artifact and its parts are represented as textual nodes stored in a Knowledge Graph (KG).
To address the limitations of traditional scholarly KG construction and utilization methods, which often fail to capture fine-grained details, we propose a novel framework that integrates the Deep Document Model (DDM) for comprehensive document representation and the KG-enhanced Query Processing (KGQP) for optimized complex query handling. DDM enables a fine-grained representation of the hierarchical structure and semantic relationships within academic papers, while KGQP leverages the KG structure to improve query accuracy and efficiency with LLMs.
By combining the ASKG with LLMs, our approach enhances knowledge utilization and natural language understanding capabilities. The proposed system employs an automatic LLM-SPARQL fusion to retrieve relevant facts and textual nodes from the ASKG. Initial experiments demonstrate that our framework is superior to baseline methods in terms of accuracy retrieval and query efficiency.
We showcase the practical application of our framework in academic research scenarios, highlighting its potential to revolutionize scholarly knowledge management and discovery. This work empowers researchers to acquire and utilize knowledge from documents more effectively and provides a foundation for develo** precise and reliable interactions with LLMs.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
First double-differential cross section measurement of neutral-current $π^0$ production in neutrino-argon scattering in the MicroBooNE detector
Authors:
MicroBooNE collaboration,
P. Abratenko,
O. Alterkait,
D. Andrade Aldana,
L. Arellano,
J. Asaadi,
A. Ashkenazi,
S. Balasubramanian,
B. Baller,
A. Barnard,
G. Barr,
D. Barrow,
J. Barrow,
V. Basque,
J. Bateman,
O. Benevides Rodrigues,
S. Berkman,
A. Bhanderi,
A. Bhat,
M. Bhattacharya,
M. Bishai,
A. Blake,
B. Bogart,
T. Bolton,
J. Y. Book
, et al. (166 additional authors not shown)
Abstract:
We report the first double-differential cross section measurement of neutral-current neutral pion (NC$π^0$) production in neutrino-argon scattering, as well as single-differential measurements of the same channel in terms of final states with and without protons. The kinematic variables of interest for these measurements are the $π^0$ momentum and the $π^0$ scattering angle with respect to the neu…
▽ More
We report the first double-differential cross section measurement of neutral-current neutral pion (NC$π^0$) production in neutrino-argon scattering, as well as single-differential measurements of the same channel in terms of final states with and without protons. The kinematic variables of interest for these measurements are the $π^0$ momentum and the $π^0$ scattering angle with respect to the neutrino beam. A total of 4971 candidate NC$π^0$ events fully-contained within the MicroBooNE detector are selected using data collected at a mean neutrino energy of $\sim 0.8$ GeV from $6.4\times10^{20}$ protons on target from the Booster Neutrino Beam at the Fermi National Accelerator Laboratory. After extensive data-driven model validation to ensure unbiased unfolding, the Wiener-SVD method is used to extract nominal flux-averaged cross sections. The results are compared to predictions from commonly used neutrino event generators, which tend to overpredict the measured NC$π^0$ cross section, especially in the 0.2-0.5 GeV/c $π^0$ momentum range, at forward scattering angles, and when at least one proton is present in the final state. These measurements show sensitivity to a variety of features that complicate the description of NC$π^0$ production including the form factors describing the elementary neutrino interaction and the final state interactions of the outgoing particles in the residual argon nucleus. This data will help improve the modeling of NC$π^0$ production, which represents a major background in measurements of charge-parity violation in the neutrino sector and in searches for new physics beyond the Standard Model.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
Measurement of the differential cross section for neutral pion production in charged-current muon neutrino interactions on argon with the MicroBooNE detector
Authors:
MicroBooNE collaboration,
P. Abratenko,
O. Alterkait,
D. Andrade Aldana,
L. Arellano,
J. Asaadi,
A. Ashkenazi,
S. Balasubramanian,
B. Baller,
G. Barr,
D. Barrow,
J. Barrow,
V. Basque,
O. Benevides Rodrigues,
S. Berkman,
A. Bhanderi,
A. Bhat,
M. Bhattacharya,
M. Bishai,
A. Blake,
B. Bogart,
T. Bolton,
J. Y. Book,
M. B. Brunetti,
L. Camilleri
, et al. (163 additional authors not shown)
Abstract:
We present a measurement of neutral pion production in charged-current interactions using data recorded with the MicroBooNE detector exposed to Fermilab's booster neutrino beam. The signal comprises one muon, one neutral pion, any number of nucleons, and no charged pions. Studying neutral pion production in the MicroBooNE detector provides an opportunity to better understand neutrino-argon interac…
▽ More
We present a measurement of neutral pion production in charged-current interactions using data recorded with the MicroBooNE detector exposed to Fermilab's booster neutrino beam. The signal comprises one muon, one neutral pion, any number of nucleons, and no charged pions. Studying neutral pion production in the MicroBooNE detector provides an opportunity to better understand neutrino-argon interactions, and is crucial for future accelerator-based neutrino oscillation experiments. Using a dataset corresponding to $6.86 \times 10^{20}$ protons on target, we present single-differential cross sections in muon and neutral pion momenta, scattering angles with respect to the beam for the outgoing muon and neutral pion, as well as the opening angle between the muon and neutral pion. Data extracted cross sections are compared to generator predictions. We report good agreement between the data and the models for scattering angles, except for an over-prediction by generators at muon forward angles. Similarly, the agreement between data and the models as a function of momentum is good, except for an underprediction by generators in the medium momentum ranges, $200-400$ MeV for muons and $100-200$ MeV for pions.
△ Less
Submitted 6 May, 2024; v1 submitted 15 April, 2024;
originally announced April 2024.
-
Search for Neutrino Emission from GRB 221009A using the KM3NeT ARCA and ORCA detectors
Authors:
S. Aiello,
A. Albert,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
E. Androutsou,
M. Anguita,
L. Aphecetche,
M. Ardid,
S. Ardid,
H. Atmani,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
S. Basegmez du Pree,
Y. Becherini,
M. Bendahman,
F. Benfenati,
M. Benhassi,
D. M. Benoit
, et al. (251 additional authors not shown)
Abstract:
Gamma-ray bursts are promising candidate sources of high-energy astrophysical neutrinos. The recent GRB 221009A event, identified as the brightest gamma-ray burst ever detected, provides a unique opportunity to investigate hadronic emissions involving neutrinos. The KM3NeT undersea neutrino detectors participated in the worldwide follow-up effort triggered by the event, searching for neutrino even…
▽ More
Gamma-ray bursts are promising candidate sources of high-energy astrophysical neutrinos. The recent GRB 221009A event, identified as the brightest gamma-ray burst ever detected, provides a unique opportunity to investigate hadronic emissions involving neutrinos. The KM3NeT undersea neutrino detectors participated in the worldwide follow-up effort triggered by the event, searching for neutrino events. In this letter, we summarize subsequent searches, in a wide energy range from MeV up to a few PeVs. No neutrino events are found in any of the searches performed. Upper limits on the neutrino emission associated with GRB 221009A are computed.
△ Less
Submitted 30 April, 2024; v1 submitted 8 April, 2024;
originally announced April 2024.
-
Measurement of double-differential cross sections for mesonless charged-current muon neutrino interactions on argon with final-state protons using the MicroBooNE detector
Authors:
MicroBooNE collaboration,
P. Abratenko,
O. Alterkait,
D. Andrade Aldana,
L. Arellano,
J. Asaadi,
A. Ashkenazi,
S. Balasubramanian,
B. Baller,
G. Barr,
D. Barrow,
J. Barrow,
V. Basque,
O. Benevides Rodrigues,
S. Berkman,
A. Bhanderi,
A. Bhat,
M. Bhattacharya,
M. Bishai,
A. Blake,
B. Bogart,
T. Bolton,
J. Y. Book,
M. B. Brunetti,
L. Camilleri
, et al. (163 additional authors not shown)
Abstract:
Charged-current neutrino interactions with final states containing zero mesons and at least one proton are of high interest for current and future accelerator-based neutrino oscillation experiments. Using the Booster Neutrino Beam and the MicroBooNE detector at Fermi National Accelerator Laboratory, we have obtained the first double-differential cross section measurements of this channel for muon…
▽ More
Charged-current neutrino interactions with final states containing zero mesons and at least one proton are of high interest for current and future accelerator-based neutrino oscillation experiments. Using the Booster Neutrino Beam and the MicroBooNE detector at Fermi National Accelerator Laboratory, we have obtained the first double-differential cross section measurements of this channel for muon neutrino scattering on an argon target with a proton momentum threshold of 0.25 GeV/c. We also report a flux-averaged total cross section of $σ= (11.8 \pm 1.2) \times 10^{-38}$ cm$^2$ / Ar and several single-differential measurements which extend and improve upon previous results. Statistical and systematic uncertainties are quantified with a full treatment of correlations across 359 kinematic bins, including correlations between distributions describing different observables. The resulting data set provides the most detailed information obtained to date for testing models of mesonless neutrino-argon scattering.
△ Less
Submitted 16 April, 2024; v1 submitted 28 March, 2024;
originally announced March 2024.
-
Astronomy potential of KM3NeT/ARCA
Authors:
S. Aiello,
A. Albert,
M. Alshamsi,
S. Alves Garre,
Z. Aly,
A. Ambrosone,
F. Ameli,
M. Andre,
E. Androutsou,
M. Anguita,
L. Aphecetche,
M. Ardid,
S. Ardid,
H. Atmani,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardacová,
B. Baret,
A. Bariego-Quintana,
A. Baruzzi,
S. Basegmez du Pree,
Y. Becherini,
M. Bendahman,
F. Benfenati
, et al. (253 additional authors not shown)
Abstract:
The KM3NeT/ARCA neutrino detector is currently under construction at 3500 m depth offshore Capo Passero, Sicily, in the Mediterranean Sea. The main science objectives are the detection of high-energy cosmic neutrinos and the discovery of their sources. Simulations were conducted for the full KM3NeT/ARCA detector, instrumenting a volume of 1 km$^3$, to estimate the sensitivity and discovery potenti…
▽ More
The KM3NeT/ARCA neutrino detector is currently under construction at 3500 m depth offshore Capo Passero, Sicily, in the Mediterranean Sea. The main science objectives are the detection of high-energy cosmic neutrinos and the discovery of their sources. Simulations were conducted for the full KM3NeT/ARCA detector, instrumenting a volume of 1 km$^3$, to estimate the sensitivity and discovery potential to point-like neutrino sources and an all-sky diffuse neutrino flux. This paper covers the reconstruction of track- and shower-like signatures, as well as the criteria employed for neutrino event selection. By leveraging both the track and shower observation channels, the KM3NeT/ARCA detector demonstrates the capability to detect the diffuse astrophysical neutrino flux within half a year of operation, achieving a 5$σ$ statistical significance. With an angular resolution below 0.1$^\circ$ for tracks and under 2$^\circ$ for showers, the sensitivity to point-like neutrino sources surpasses existing observed limits across the entire sky.
△ Less
Submitted 29 March, 2024; v1 submitted 13 February, 2024;
originally announced February 2024.
-
Improving Black-box Robustness with In-Context Rewriting
Authors:
Kyle O'Brien,
Nathan Ng,
Isha Puri,
Jorge Mendez,
Hamid Palangi,
Yoon Kim,
Marzyeh Ghassemi,
Thomas Hartvigsen
Abstract:
Machine learning models often excel on in-distribution (ID) data but struggle with unseen out-of-distribution (OOD) inputs. Most techniques for improving OOD robustness are not applicable to settings where the model is effectively a black box, such as when the weights are frozen, retraining is costly, or the model is leveraged via an API. Test-time augmentation (TTA) is a simple post-hoc technique…
▽ More
Machine learning models often excel on in-distribution (ID) data but struggle with unseen out-of-distribution (OOD) inputs. Most techniques for improving OOD robustness are not applicable to settings where the model is effectively a black box, such as when the weights are frozen, retraining is costly, or the model is leveraged via an API. Test-time augmentation (TTA) is a simple post-hoc technique for improving robustness that sidesteps black-box constraints by aggregating predictions across multiple augmentations of the test input. TTA has seen limited use in NLP due to the challenge of generating effective natural language augmentations. In this work, we propose LLM-TTA, which uses LLM-generated augmentations as TTA's augmentation function. LLM-TTA outperforms conventional augmentation functions across sentiment, toxicity, and news classification tasks for BERT and T5 models, with BERT's OOD robustness improving by an average of 4.30 percentage points without regressing average ID performance. We explore selectively augmenting inputs based on prediction entropy to reduce the rate of expensive LLM augmentations, allowing us to maintain performance gains while reducing the average number of generated augmentations by 57.76%. LLM-TTA is agnostic to the task model architecture, does not require OOD labels, and is effective across low and high-resource settings. We share our data, models, and code for reproducibility.
△ Less
Submitted 15 February, 2024; v1 submitted 13 February, 2024;
originally announced February 2024.
-
Characterisation of plastic scintillator paddles and lightweight MWPCs for the MID subsystem of ALICE 3
Authors:
Ruben Alfaro,
Mauricio Alvarado Hernández,
Gyula Bencédi,
Juan Carlos Cabanillas Noris,
Marco Antonio Díaz Maldonado,
Carlos Duarte Galvan,
Arturo Fernández Téllez,
Gergely Gábor Barnaföldi,
Ádám Gera,
Varlen Grabsky,
Gergő Hamar,
Gerardo Herrera Corral,
Ildefonso León Monzón,
Josué Martínez García,
Mario Iván Martínez Hernandez,
Jesús Eduardo Muñoz Méndez,
Richárd Nagy,
Rafael Ángel Narcio Laveaga,
Antonio Ortiz,
Mario Rodríguez Cahuantzi,
Solangel Rojas Torres,
Timea Szollosova,
Miguel Enrique Patiño Salazar,
Jared Pazarán García,
Hector David Regules Medel
, et al. (7 additional authors not shown)
Abstract:
The ALICE collaboration is proposing a completely new detector, ALICE 3, for operation during the LHC Runs 5 and 6. One of the ALICE~3 subsystems is the Muon IDentifier detector (MID), which has to be optimised to be efficient for the reconstruction of $J/ψ$ at rest (muons down to $p_{\rm T}\approx1.5$ GeV/$c$) for $|η|<1.3$. Given the modest particle flux expected in the MID of a few Hz/cm$^2$, t…
▽ More
The ALICE collaboration is proposing a completely new detector, ALICE 3, for operation during the LHC Runs 5 and 6. One of the ALICE~3 subsystems is the Muon IDentifier detector (MID), which has to be optimised to be efficient for the reconstruction of $J/ψ$ at rest (muons down to $p_{\rm T}\approx1.5$ GeV/$c$) for $|η|<1.3$. Given the modest particle flux expected in the MID of a few Hz/cm$^2$, technologies like plastic scintillator bars ($\approx1$ m length) equipped with wavelength-shifting fibers and silicon photomultiplier readout, and lightweight Multi-Wire Proportional Chambers (MWPCs) are under investigation. To this end, different plastic scintillator paddles and MWPCs were studied at the CERN T10 test beam facility. This paper reports on the performance of the scintillator prototypes tested at different beam momenta (from 0.5 GeV/$c$ up to 6 GeV/$c$) and positions (horizontal, vertical, and angular scans). The MWPCs were tested at different momenta (from 0.5 GeV/$c$ to 10 GeV/$c$) and beam intensities, their efficiency and position resolutions were verified beyond the particle rates expected with the MID in ALICE 3.
△ Less
Submitted 16 February, 2024; v1 submitted 9 January, 2024;
originally announced January 2024.
-
Discrete and embedded trapped modes in a plane quantum waveguide with a small obstacle: exact solutions
Authors:
P. Zhevandrov,
A. Merzon,
M. I. Romero Rodríguez,
J. E. De la Paz Méndez
Abstract:
Exact solutions describing trapped modes in a plane quantum waveguide with a small rigid obstacle are constructed in the form of convergent series in powers of the small parameter characterizing the smallness of the obstacle. The terms of this series are expressed through the solution of the exterior Neumann problem for the Laplace equation describing the flow of unbounded fluid past the inflated…
▽ More
Exact solutions describing trapped modes in a plane quantum waveguide with a small rigid obstacle are constructed in the form of convergent series in powers of the small parameter characterizing the smallness of the obstacle. The terms of this series are expressed through the solution of the exterior Neumann problem for the Laplace equation describing the flow of unbounded fluid past the inflated obstacle. The exact solutions obtained describe discrete eigenvalues of the problem under certain geometric conditions, and, when the obstacle is symmetric, these solutions describe embedded eigenvalues. For obstacles symmetric with respect to the centerline of the waveguide, the existence of embedded trapped modes is known (due to the decomposition trick of the domain of the corresponding differential operator) even without the smallness assumption. We construct these solutions in an explicit form for small obstacles. For obstacles symmetric with respect to the vertical axis, we find embedded trapped modes for a specific vertical displacement of the obstacle.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
The Power Board of the KM3NeT Digital Optical Module: design, upgrade, and production
Authors:
S. Aiello,
A. Albert,
S. Alves Garre,
Z. Aly,
A. Ambrosone,
F. Ameli,
M. Andre,
E. Androutsou,
M. Anguita,
L. Aphecetche,
M. Ardid,
S. Ardid,
H. Atmani,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardacova,
B. Baret,
A. Bariego Quintana,
S. Basegmez du Pree,
Y. Becherini,
M. Bendahman,
F. Benfenati,
M. Benhassi,
D. M. Benoit
, et al. (259 additional authors not shown)
Abstract:
The KM3NeT Collaboration is building an underwater neutrino observatory at the bottom of the Mediterranean Sea consisting of two neutrino telescopes, both composed of a three-dimensional array of light detectors, known as digital optical modules. Each digital optical module contains a set of 31 three inch photomultiplier tubes distributed over the surface of a 0.44 m diameter pressure-resistant gl…
▽ More
The KM3NeT Collaboration is building an underwater neutrino observatory at the bottom of the Mediterranean Sea consisting of two neutrino telescopes, both composed of a three-dimensional array of light detectors, known as digital optical modules. Each digital optical module contains a set of 31 three inch photomultiplier tubes distributed over the surface of a 0.44 m diameter pressure-resistant glass sphere. The module includes also calibration instruments and electronics for power, readout and data acquisition. The power board was developed to supply power to all the elements of the digital optical module. The design of the power board began in 2013, and several prototypes were produced and tested. After an exhaustive validation process in various laboratories within the KM3NeT Collaboration, a mass production batch began, resulting in the construction of over 1200 power boards so far. These boards were integrated in the digital optical modules that have already been produced and deployed, 828 until October 2023. In 2017, an upgrade of the power board, to increase reliability and efficiency, was initiated. After the validation of a pre-production series, a production batch of 800 upgraded boards is currently underway. This paper describes the design, architecture, upgrade, validation, and production of the power board, including the reliability studies and tests conducted to ensure the safe operation at the bottom of the Mediterranean Sea throughout the observatory's lifespan
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
Searches for neutrino counterparts of gravitational waves from the LIGO/Virgo third observing run with KM3NeT
Authors:
KM3NeT Collaboration,
S. Aiello,
A. Albert,
S. Alves Garre,
Z. Aly,
A. Ambrosone,
F. Ameli,
M. Andre,
E. Androutsou,
M. Anguita,
L. Aphecetche,
M. Ardid,
S. Ardid,
H. Atmani,
J. Aublin,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
S. Basegmez du Pree,
Y. Becherini,
M. Bendahman,
F. Benfenati,
M. Benhassi,
D. M. Benoit
, et al. (251 additional authors not shown)
Abstract:
The KM3NeT neutrino telescope is currently being deployed at two different sites in the Mediterranean Sea. First searches for astrophysical neutrinos have been performed using data taken with the partial detector configuration already in operation. The paper presents the results of two independent searches for neutrinos from compact binary mergers detected during the third observing run of the LIG…
▽ More
The KM3NeT neutrino telescope is currently being deployed at two different sites in the Mediterranean Sea. First searches for astrophysical neutrinos have been performed using data taken with the partial detector configuration already in operation. The paper presents the results of two independent searches for neutrinos from compact binary mergers detected during the third observing run of the LIGO and Virgo gravitational wave interferometers. The first search looks for a global increase in the detector counting rates that could be associated with inverse beta decay events generated by MeV-scale electron anti-neutrinos. The second one focuses on upgoing track-like events mainly induced by muon (anti-)neutrinos in the GeV--TeV energy range. Both searches yield no significant excess for the sources in the gravitational wave catalogs. For each source, upper limits on the neutrino flux and on the total energy emitted in neutrinos in the respective energy ranges have been set. Stacking analyses of binary black hole mergers and neutron star-black hole mergers have also been performed to constrain the characteristic neutrino emission from these categories.
△ Less
Submitted 7 May, 2024; v1 submitted 7 November, 2023;
originally announced November 2023.
-
Uncovering anisotropic effects of electric high-moment dipoles on the tunneling current in $δ$-layer tunnel junctions
Authors:
Juan P. Mendez,
Denis Mamaluy
Abstract:
The precise positioning of dopants in semiconductors using scanning tunneling microscopes has led to the development of planar dopant-based devices, also known as $δ$-layers, facilitating the exploration of new concepts in classical and quantum computing. Recently it have been shown that two distinct conductivity regimes (low- and high- bias regimes) exist in $δ$-layer tunnel junctions due to the…
▽ More
The precise positioning of dopants in semiconductors using scanning tunneling microscopes has led to the development of planar dopant-based devices, also known as $δ$-layers, facilitating the exploration of new concepts in classical and quantum computing. Recently it have been shown that two distinct conductivity regimes (low- and high- bias regimes) exist in $δ$-layer tunnel junctions due to the presence of quasi-discrete and continuous states in the conduction band of $δ$-layer systems. Furthermore, discrete charged impurities in the tunnel junction region significantly influence the tunneling rates in $δ$-layer tunnel junctions. Here we demonstrate that zero-charge impurities, or electrical dipoles, present in the tunnel junction region can also significantly alter the tunneling rate, depending, however, on the specific conductivity regime and orientation and moment of the dipole. In the low-bias regime with high-resistance tunneling mode dipole impurities of nearly all orientations and moments can alter the current, indicating the extreme sensitivity of the tunnel current to the slightest imperfection in the tunnel gap. In the high-bias regime with low-resistivity only dipole defects with high moment and orientated in the direction perpendicular to the electron tunneling direction can significantly affect the current, thus making this conductivity regime significantly less prone to the influence of dipole defects with low-moment or dipoles oriented along the propagation direction.
△ Less
Submitted 18 December, 2023; v1 submitted 10 October, 2023;
originally announced October 2023.
-
Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
Authors:
Julian Alfredo Mendez
Abstract:
We present Soda (Symbolic Objective Descriptive Analysis), a language that helps to treat qualities and quantities in a natural way and greatly simplifies the task of checking their correctness. We present key properties for the language motivated by the design of a descriptive language to encode complex requirements on computer systems, and we explain how these key properties must be addressed to…
▽ More
We present Soda (Symbolic Objective Descriptive Analysis), a language that helps to treat qualities and quantities in a natural way and greatly simplifies the task of checking their correctness. We present key properties for the language motivated by the design of a descriptive language to encode complex requirements on computer systems, and we explain how these key properties must be addressed to model these requirements with simple definitions. We give an overview of a tool that helps to describe problems in an easy way that we consider more transparent and less error-prone.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
AstroLLaMA: Towards Specialized Foundation Models in Astronomy
Authors:
Tuan Dung Nguyen,
Yuan-Sen Ting,
Ioana Ciucă,
Charlie O'Neill,
Ze-Chang Sun,
Maja Jabłońska,
Sandor Kruk,
Ernest Perkowski,
Jack Miller,
Jason Li,
Josh Peek,
Kartheik Iyer,
Tomasz Różański,
Pranav Khetarpal,
Sharaf Zaman,
David Brodrick,
Sergio J. Rodríguez Méndez,
Thang Bui,
Alyssa Goodman,
Alberto Accomazzi,
Jill Naiman,
Jesse Cranney,
Kevin Schawinski,
UniverseTBD
Abstract:
Large language models excel in many human-language tasks but often falter in highly specialized domains like scholarly astronomy. To bridge this gap, we introduce AstroLLaMA, a 7-billion-parameter model fine-tuned from LLaMA-2 using over 300,000 astronomy abstracts from arXiv. Optimized for traditional causal language modeling, AstroLLaMA achieves a 30% lower perplexity than Llama-2, showing marke…
▽ More
Large language models excel in many human-language tasks but often falter in highly specialized domains like scholarly astronomy. To bridge this gap, we introduce AstroLLaMA, a 7-billion-parameter model fine-tuned from LLaMA-2 using over 300,000 astronomy abstracts from arXiv. Optimized for traditional causal language modeling, AstroLLaMA achieves a 30% lower perplexity than Llama-2, showing marked domain adaptation. Our model generates more insightful and scientifically relevant text completions and embedding extraction than state-of-the-arts foundation models despite having significantly fewer parameters. AstroLLaMA serves as a robust, domain-specific model with broad fine-tuning potential. Its public release aims to spur astronomy-focused research, including automatic paper summarization and conversational agent development.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
Prospects for combined analyses of hadronic emission from $γ$-ray sources in the Milky Way with CTA and KM3NeT
Authors:
T. Unbehaun,
L. Mohrmann,
S. Funk,
S. Aiello,
A. Albert,
S. Alves Garre,
Z. Aly,
A. Ambrosone,
F. Ameli,
M. Andre,
E. Androutsou,
M. Anghinolfi,
M. Anguita,
L. Aphecetche,
M. Ardid,
S. Ardid,
H. Atmani,
J. Aublin,
C. Bagatelas,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
S. Basegmez du Pree,
Y. Becherini,
M. Bendahman
, et al. (249 additional authors not shown)
Abstract:
The Cherenkov Telescope Array and the KM3NeT neutrino telescopes are major upcoming facilities in the fields of $γ$-ray and neutrino astronomy, respectively. Possible simultaneous production of $γ$ rays and neutrinos in astrophysical accelerators of cosmic-ray nuclei motivates a combination of their data. We assess the potential of a combined analysis of CTA and KM3NeT data to determine the contri…
▽ More
The Cherenkov Telescope Array and the KM3NeT neutrino telescopes are major upcoming facilities in the fields of $γ$-ray and neutrino astronomy, respectively. Possible simultaneous production of $γ$ rays and neutrinos in astrophysical accelerators of cosmic-ray nuclei motivates a combination of their data. We assess the potential of a combined analysis of CTA and KM3NeT data to determine the contribution of hadronic emission processes in known Galactic $γ$-ray emitters, comparing this result to the cases of two separate analyses. In doing so, we demonstrate the capability of Gammapy, an open-source software package for the analysis of $γ$-ray data, to also process data from neutrino telescopes. For a selection of prototypical $γ$-ray sources within our Galaxy, we obtain models for primary proton and electron spectra in the hadronic and leptonic emission scenario, respectively, by fitting published $γ$-ray spectra. Using these models and instrument response functions for both detectors, we employ the Gammapy package to generate pseudo data sets, where we assume 200 hours of CTA observations and 10 years of KM3NeT detector operation. We then apply a three-dimensional binned likelihood analysis to these data sets, separately for each instrument and jointly for both. We find that the largest benefit of the combined analysis lies in the possibility of a consistent modelling of the $γ$-ray and neutrino emission. Assuming a purely leptonic scenario as input, we obtain, for the most favourable source, an average expected 68% credible interval that constrains the contribution of hadronic processes to the observed $γ$-ray emission to below 15%.
△ Less
Submitted 2 February, 2024; v1 submitted 6 September, 2023;
originally announced September 2023.
-
Embedded Software of the KM3NeT Central Logic Board
Authors:
S. Aiello,
A. Albert,
S. Alves Garre,
Z. Aly,
A. Ambrosone,
F. Ameli,
M. Andre,
E. Androutsou,
M. Anghinolfi,
M. Anguita,
L. Aphecetche,
M. Ardid,
S. Ardid,
H. Atmani,
J. Aublin,
C. Bagatelas,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
S. Basegmez du Pree,
Y. Becherini,
M. Bendahman,
F. Benfenati,
M. Benhassi,
D. M. Benoit
, et al. (249 additional authors not shown)
Abstract:
The KM3NeT Collaboration is building and operating two deep sea neutrino telescopes at the bottom of the Mediterranean Sea. The telescopes consist of latices of photomultiplier tubes housed in pressure-resistant glass spheres, called digital optical modules and arranged in vertical detection units. The two main scientific goals are the determination of the neutrino mass ordering and the discovery…
▽ More
The KM3NeT Collaboration is building and operating two deep sea neutrino telescopes at the bottom of the Mediterranean Sea. The telescopes consist of latices of photomultiplier tubes housed in pressure-resistant glass spheres, called digital optical modules and arranged in vertical detection units. The two main scientific goals are the determination of the neutrino mass ordering and the discovery and observation of high-energy neutrino sources in the Universe. Neutrinos are detected via the Cherenkov light, which is induced by charged particles originated in neutrino interactions. The photomultiplier tubes convert the Cherenkov light into electrical signals that are acquired and timestamped by the acquisition electronics. Each optical module houses the acquisition electronics for collecting and timestam** the photomultiplier signals with one nanosecond accuracy. Once finished, the two telescopes will have installed more than six thousand optical acquisition nodes, completing one of the more complex networks in the world in terms of operation and synchronization. The embedded software running in the acquisition nodes has been designed to provide a framework that will operate with different hardware versions and functionalities. The hardware will not be accessible once in operation, which complicates the embedded software architecture. The embedded software provides a set of tools to facilitate remote manageability of the deployed hardware, including safe reconfiguration of the firmware. This paper presents the architecture and the techniques, methods and implementation of the embedded software running in the acquisition nodes of the KM3NeT neutrino telescopes.
△ Less
Submitted 12 October, 2023; v1 submitted 2 August, 2023;
originally announced August 2023.
-
Robotic Manipulation Datasets for Offline Compositional Reinforcement Learning
Authors:
Marcel Hussing,
Jorge A. Mendez,
Anisha Singrodia,
Cassandra Kent,
Eric Eaton
Abstract:
Offline reinforcement learning (RL) is a promising direction that allows RL agents to pre-train on large datasets, avoiding the recurrence of expensive data collection. To advance the field, it is crucial to generate large-scale datasets. Compositional RL is particularly appealing for generating such large datasets, since 1) it permits creating many tasks from few components, 2) the task structure…
▽ More
Offline reinforcement learning (RL) is a promising direction that allows RL agents to pre-train on large datasets, avoiding the recurrence of expensive data collection. To advance the field, it is crucial to generate large-scale datasets. Compositional RL is particularly appealing for generating such large datasets, since 1) it permits creating many tasks from few components, 2) the task structure may enable trained agents to solve new tasks by combining relevant learned components, and 3) the compositional dimensions provide a notion of task relatedness. This paper provides four offline RL datasets for simulated robotic manipulation created using the 256 tasks from CompoSuite [Mendez et al., 2022a]. Each dataset is collected from an agent with a different degree of performance, and consists of 256 million transitions. We provide training and evaluation settings for assessing an agent's ability to learn compositional task policies. Our benchmarking experiments on each setting show that current offline RL methods can learn the training tasks to some extent and that compositional methods significantly outperform non-compositional methods. However, current methods are still unable to extract the tasks' compositional structure to generalize to unseen tasks, showing a need for further research in offline compositional RL.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
Generalized Ribaucour-type surfaces
Authors:
Milton Javier Cardenas Mendez,
Armando Mauro Vasquez Corro
Abstract:
In this work we generalize the surfaces studied in [8], we define the generalization of Ribaucour-type surfaces (in short, GRT-surfaces). We obtain present a representation for GRT-surfaces with prescribed Gauss map which depends on two holomorphic functions and a real function l. We give explicit examples of GRT-surfaces. Also, we use this representation to classify the GRT-surfaces of rotation.
In this work we generalize the surfaces studied in [8], we define the generalization of Ribaucour-type surfaces (in short, GRT-surfaces). We obtain present a representation for GRT-surfaces with prescribed Gauss map which depends on two holomorphic functions and a real function l. We give explicit examples of GRT-surfaces. Also, we use this representation to classify the GRT-surfaces of rotation.
△ Less
Submitted 27 May, 2023;
originally announced May 2023.
-
ACROCPoLis: A Descriptive Framework for Making Sense of Fairness
Authors:
Andrea Aler Tubella,
Dimitri Coelho Mollo,
Adam Dahlgren Lindström,
Hannah Devinney,
Virginia Dignum,
Petter Ericson,
Anna Jonsson,
Timotheus Kampik,
Tom Lenaerts,
Julian Alfredo Mendez,
Juan Carlos Nieves
Abstract:
Fairness is central to the ethical and responsible development and use of AI systems, with a large number of frameworks and formal notions of algorithmic fairness being available. However, many of the fairness solutions proposed revolve around technical considerations and not the needs of and consequences for the most impacted communities. We therefore want to take the focus away from definitions…
▽ More
Fairness is central to the ethical and responsible development and use of AI systems, with a large number of frameworks and formal notions of algorithmic fairness being available. However, many of the fairness solutions proposed revolve around technical considerations and not the needs of and consequences for the most impacted communities. We therefore want to take the focus away from definitions and allow for the inclusion of societal and relational aspects to represent how the effects of AI systems impact and are experienced by individuals and social groups. In this paper, we do this by means of proposing the ACROCPoLis framework to represent allocation processes with a modeling emphasis on fairness aspects. The framework provides a shared vocabulary in which the factors relevant to fairness assessments for different situations and procedures are made explicit, as well as their interrelationships. This enables us to compare analogous situations, to highlight the differences in dissimilar situations, and to capture differing interpretations of the same situation by different stakeholders.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
Syntactic Complexity Identification, Measurement, and Reduction Through Controlled Syntactic Simplification
Authors:
Muhammad Salman,
Armin Haller,
Sergio J. Rodríguez Méndez
Abstract:
Text simplification is one of the domains in Natural Language Processing (NLP) that offers an opportunity to understand the text in a simplified manner for exploration. However, it is always hard to understand and retrieve knowledge from unstructured text, which is usually in the form of compound and complex sentences. There are state-of-the-art neural network-based methods to simplify the sentenc…
▽ More
Text simplification is one of the domains in Natural Language Processing (NLP) that offers an opportunity to understand the text in a simplified manner for exploration. However, it is always hard to understand and retrieve knowledge from unstructured text, which is usually in the form of compound and complex sentences. There are state-of-the-art neural network-based methods to simplify the sentences for improved readability while replacing words with plain English substitutes and summarising the sentences and paragraphs. In the Knowledge Graph (KG) creation process from unstructured text, summarising long sentences and substituting words is undesirable since this may lead to information loss. However, KG creation from text requires the extraction of all possible facts (triples) with the same mentions as in the text. In this work, we propose a controlled simplification based on the factual information in a sentence, i.e., triple. We present a classical syntactic dependency-based approach to split and rephrase a compound and complex sentence into a set of simplified sentences. This simplification process will retain the original wording with a simple structure of possible domain facts in each sentence, i.e., triples. The paper also introduces an algorithm to identify and measure a sentence's syntactic complexity (SC), followed by reduction through a controlled syntactic simplification process. Last, an experiment for a dataset re-annotation is also conducted through GPT3; we aim to publish this refined corpus as a resource. This work is accepted and presented in International workshop on Learning with Knowledge Graphs (IWLKG) at WSDM-2023 Conference. The code and data is available at www.github.com/sallmanm/SynSim.
△ Less
Submitted 16 April, 2023;
originally announced April 2023.
-
Multi-objective analysis of the Sand Hypoplasticity model calibration
Authors:
Francisco J. Mendez,
Miguel A. Mendez,
Nicola Sciarra,
Antonio Pasculli
Abstract:
The Sand Hypoplastic (SH) constitutive law by von Wolffersdorff (1996) is a interesting hypoplastic model for soil mechanics. This model includes eight parameters, usually calibrated using the oedometric (OE) and the drained isotropically consolidated triaxial tests (CD). However, previous studies show that the SH model calibration in the CD test has conflicting requirements in predicting the evol…
▽ More
The Sand Hypoplastic (SH) constitutive law by von Wolffersdorff (1996) is a interesting hypoplastic model for soil mechanics. This model includes eight parameters, usually calibrated using the oedometric (OE) and the drained isotropically consolidated triaxial tests (CD). However, previous studies show that the SH model calibration in the CD test has conflicting requirements in predicting the evolution of stresses and strains.
In this work, we study the SH model calibration over a wide range of testing conditions using 12 OE and 25 CD tests by Wichtmann and Triantafyllidis (2016) on the Karlsruhe sands. The parameter space is extensively explored via Genetic Algorithm Optimization (GA) using the recently developed open-source software GA-cal (available at \url{https://github.com/FraJoMen/GA-cal}). This exploration allowed us to study the SH model's predictive limits and to identify, using a multi-objective analysis, the main parameters governing the compromise between the accurate prediction of stresses versus strain in the CD tests.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Ribaucour-type surfaces
Authors:
Milton Javier Cardenas Mendez,
Armardo Mauro Vasquez Corro
Abstract:
In this work we define the Ribaucour-type surfaces (in short, RT-surfaces). These surfaces satisfy a relationship similar to the Ribaucour surfaces that are related to the Élie Cartan problem. This class furnishes what seems to be the first examples of pairs of noncongruent surfaces in Euclidean space such that, under a diffeomorphism, lines of curvatures are preserved and principal curvatures are…
▽ More
In this work we define the Ribaucour-type surfaces (in short, RT-surfaces). These surfaces satisfy a relationship similar to the Ribaucour surfaces that are related to the Élie Cartan problem. This class furnishes what seems to be the first examples of pairs of noncongruent surfaces in Euclidean space such that, under a diffeomorphism, lines of curvatures are preserved and principal curvatures are switched. We show that every compact and connected RT-surface is a sphere with center at the origin. We obtain present a Weierstrass type representation for RT-surfaces with prescribed Gauss map which depends on two holomorphic functions. We give explicit examples of RT-surfaces. Also, we use this representation to classify the RT-surfaces of rotation.
△ Less
Submitted 6 March, 2023;
originally announced March 2023.
-
A Feasible Hybrid Quantum-Assisted Digital Signature for Arbitrary Message Length
Authors:
Marta Irene García Cid,
Laura Ortiz Martín,
David Domingo Martín,
Rodrigo Martín Sánchez-Ledesma,
Juan Pedro Brito Méndez,
Vicente Martín Ayuso
Abstract:
Currently used digital signatures based on asymmetric cryptography will be vulnerable to quantum computers running Shor's algorithm. In this work, we propose a new quantum-assisted digital signature protocol based on symmetric keys generated by QKD, that allows signing and verifying messages in a simple way implementing an integration of currently available classical and quantum technologies. The…
▽ More
Currently used digital signatures based on asymmetric cryptography will be vulnerable to quantum computers running Shor's algorithm. In this work, we propose a new quantum-assisted digital signature protocol based on symmetric keys generated by QKD, that allows signing and verifying messages in a simple way implementing an integration of currently available classical and quantum technologies. The protocol is described for a three-user scenario composed of one sender and two receivers. In contrast to previous schemes, it is independent of the message length. The security of the protocol has been analyzed, as well as its integrity, authenticity and non-repudiation properties.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
On decay properties for solutions of the Zakharov-Kuznetsov equation
Authors:
Argenis J. Mendez,
Oscar Riaño
Abstract:
This work mainly focuses on the spatial decay properties of solutions to the Zakharov-Kuznetsov equation. In earlier studies for the two- and three-dimensional cases, it was established that if the initial condition $u_0$ verifies $\langle σ\cdot x\rangle^{r}u_{0}\in L^{2}(\left\{σ\cdot x\geq κ\right\}),$ for some $r\in\mathbb{N}$, $κ\in\mathbb{R}$, being $σ$ be a suitable non-null vector in the E…
▽ More
This work mainly focuses on the spatial decay properties of solutions to the Zakharov-Kuznetsov equation. In earlier studies for the two- and three-dimensional cases, it was established that if the initial condition $u_0$ verifies $\langle σ\cdot x\rangle^{r}u_{0}\in L^{2}(\left\{σ\cdot x\geq κ\right\}),$ for some $r\in\mathbb{N}$, $κ\in\mathbb{R}$, being $σ$ be a suitable non-null vector in the Euclidean space, then the corresponding solution $u(t)$ generated from this initial condition verifies $\langle σ\cdot x\rangle ^{r}u(t)\in L^2\left(\left\{σ\cdot x>κ-νt\right\}\right)$, for any $ν>0$. In this regard, we first extend such results to arbitrary dimensions, decay power $r>0$ not necessarily an integer, and we give a detailed description of the gain of regularity propagated by solutions in terms of the magnitude of the weight $r$. The deduction of our results depends on a new class of pseudo-differential operators, which is useful to quantify decay and smoothness properties on a fractional scale. Secondly, we show that if the initial data $u_{0}$ has a decay of exponential type on a particular half space, that is, $e^{b\, σ\cdot x}u_{0}\in L^{2}(\left\{σ\cdot x\geq κ\right\}),$ then the corresponding solution satisfies $e^{b\, σ\cdot x} u(t)\in H^{p}\left(\left\{σ\cdot x>κ-νt\right\}\right),$ for all $p\in\mathbb{N}$, and time $t\geq δ,$ where $δ>0$. To our knowledge, this is the first study of such property. As a further consequence, we also obtain well-posedness results in anisotropic weighted Sobolev spaces in arbitrary dimensions.
Finally, as a by-product of the techniques considered here, we show that our results are also valid for solutions of the Korteweg-de Vries equation.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
Probing invisible neutrino decay with KM3NeT-ORCA
Authors:
KM3NeT Collaboration,
S. Aiello,
A. Albert,
S. Alves Garre,
Z. Aly,
A. Ambrosone,
F. Ameli,
M. Andre,
M. Anghinolfi,
M. Anguita,
M. Ardid,
S. Ardid,
J. Aublin,
C. Bagatelas,
L. Bailly-Salins,
B. Baret,
S. Basegmez du Pree,
Y. Becherini,
M. Bendahman,
F. Benfenati,
E. Berbee,
V. Bertin,
S. Biagi,
M. Boettcher,
M. Bou Cabo
, et al. (230 additional authors not shown)
Abstract:
In the era of precision measurements of the neutrino oscillation parameters, upcoming neutrino experiments will also be sensitive to physics beyond the Standard Model. KM3NeT/ORCA is a neutrino detector optimised for measuring atmospheric neutrinos from a few GeV to around 100 GeV. In this paper, the sensitivity of the KM3NeT/ORCA detector to neutrino decay has been explored. A three-flavour neutr…
▽ More
In the era of precision measurements of the neutrino oscillation parameters, upcoming neutrino experiments will also be sensitive to physics beyond the Standard Model. KM3NeT/ORCA is a neutrino detector optimised for measuring atmospheric neutrinos from a few GeV to around 100 GeV. In this paper, the sensitivity of the KM3NeT/ORCA detector to neutrino decay has been explored. A three-flavour neutrino oscillation scenario, where the third neutrino mass state $ν_3$ decays into an invisible state, e.g. a sterile neutrino, is considered. We find that KM3NeT/ORCA would be sensitive to invisible neutrino decays with $1/α_3=τ_3/m_3 < 180$~$\mathrm{ps/eV}$ at $90\%$ confidence level, assuming true normal ordering. Finally, the impact of neutrino decay on the precision of KM3NeT/ORCA measurements for $θ_{23}$, $Δm^2_{31}$ and mass ordering have been studied. No significant effect of neutrino decay on the sensitivity to these measurements has been found.
△ Less
Submitted 27 March, 2023; v1 submitted 6 February, 2023;
originally announced February 2023.
-
A Domain-Agnostic Approach for Characterization of Lifelong Learning Systems
Authors:
Megan M. Baker,
Alexander New,
Mario Aguilar-Simon,
Ziad Al-Halah,
Sébastien M. R. Arnold,
Ese Ben-Iwhiwhu,
Andrew P. Brna,
Ethan Brooks,
Ryan C. Brown,
Zachary Daniels,
Anurag Daram,
Fabien Delattre,
Ryan Dellana,
Eric Eaton,
Haotian Fu,
Kristen Grauman,
Jesse Hostetler,
Shariq Iqbal,
Cassandra Kent,
Nicholas Ketz,
Soheil Kolouri,
George Konidaris,
Dhireesha Kudithipudi,
Erik Learned-Miller,
Seungwon Lee
, et al. (22 additional authors not shown)
Abstract:
Despite the advancement of machine learning techniques in recent years, state-of-the-art systems lack robustness to "real world" events, where the input distributions and tasks encountered by the deployed systems will not be limited to the original training context, and systems will instead need to adapt to novel distributions and tasks while deployed. This critical gap may be addressed through th…
▽ More
Despite the advancement of machine learning techniques in recent years, state-of-the-art systems lack robustness to "real world" events, where the input distributions and tasks encountered by the deployed systems will not be limited to the original training context, and systems will instead need to adapt to novel distributions and tasks while deployed. This critical gap may be addressed through the development of "Lifelong Learning" systems that are capable of 1) Continuous Learning, 2) Transfer and Adaptation, and 3) Scalability. Unfortunately, efforts to improve these capabilities are typically treated as distinct areas of research that are assessed independently, without regard to the impact of each separate capability on other aspects of the system. We instead propose a holistic approach, using a suite of metrics and an evaluation framework to assess Lifelong Learning in a principled way that is agnostic to specific domains or system techniques. Through five case studies, we show that this suite of metrics can inform the development of varied and complex Lifelong Learning systems. We highlight how the proposed suite of metrics quantifies performance trade-offs present during Lifelong Learning system development - both the widely discussed Stability-Plasticity dilemma and the newly proposed relationship between Sample Efficient and Robust Learning. Further, we make recommendations for the formulation and use of metrics to guide the continuing development of Lifelong Learning systems and assess their progress in the future.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
The GA-cal software for the automatic calibration of soil constitutive laws: a tutorial and a user manual
Authors:
Francisco J. Mendez,
Miguel A. Mendez,
Antonio Pasculli
Abstract:
The calibration of an advanced constitutive law for soil is a challenging task. This work describes GA-cal, a Fortran software for automatically calibrating constitutive laws using Genetic Algorithms (GA) optimization. The proposed approach sets the calibration problem as a regression, and the GA optimization is used to adjust the model parameters so that a numerical model matches experimental dat…
▽ More
The calibration of an advanced constitutive law for soil is a challenging task. This work describes GA-cal, a Fortran software for automatically calibrating constitutive laws using Genetic Algorithms (GA) optimization. The proposed approach sets the calibration problem as a regression, and the GA optimization is used to adjust the model parameters so that a numerical model matches experimental data. This document provides a user guide and a simple tutorial. We showcase GA-cal on the calibration of the Sand Hypoplastic law proposed by von Wolffersdorff, with the oedometer and triaxial drained test data. The implemented subroutines can be easily extended to solve other regression or optimization problems, including different tests and constitutive models. The source code and the presented tutorial are freely available at \url{https://github.com/FraJoMen/GA-cal}.
△ Less
Submitted 24 November, 2022;
originally announced November 2022.
-
Strong Quantization of Current-carrying Electron States in $δ$-layer Systems
Authors:
Denis Mamaluy,
Juan P. Mendez
Abstract:
We present an open-system quantum-mechanical real-space study of the conductive properties and size quantization in phosphorus $δ$-layers systems, interesting for their beyond-Moore and quantum computing applications. Recently it has been demonstrated that an open-system quantum mechanical treatment provides a much more accurate match to ARPES measurements in highly-conductive, highly-confined sys…
▽ More
We present an open-system quantum-mechanical real-space study of the conductive properties and size quantization in phosphorus $δ$-layers systems, interesting for their beyond-Moore and quantum computing applications. Recently it has been demonstrated that an open-system quantum mechanical treatment provides a much more accurate match to ARPES measurements in highly-conductive, highly-confined systems than the traditional approaches (i.e. periodic or Dirichlet boundary conditions) and, furthermore, it allows accurate predictions of conductive properties of such systems from the first principles. Here we reveal that quantization effects are strong for device widths $W<10$~nm, and we show, for the first time, that the number of propagating modes determines not only the conductivity, but the distinctive spatial distribution of the current-carrying electron states. For $W>10$~nm, the quantization effects practically vanish and the conductivity tends to the infinitely-wide device's values.
△ Less
Submitted 10 November, 2022;
originally announced November 2022.
-
A Pipeline for Analysing Grant Applications
Authors:
Shuaiqun Pan,
Sergio J. Rodríguez Méndez,
Kerry Taylor
Abstract:
Data mining techniques can transform massive amounts of unstructured data into quantitative data that quickly reveal insights, trends, and patterns behind the original data. In this paper, a data mining model is applied to analyse the 2019 grant applications submitted to an Australian Government research funding agency to investigate whether grant schemes successfully identifies innovative project…
▽ More
Data mining techniques can transform massive amounts of unstructured data into quantitative data that quickly reveal insights, trends, and patterns behind the original data. In this paper, a data mining model is applied to analyse the 2019 grant applications submitted to an Australian Government research funding agency to investigate whether grant schemes successfully identifies innovative project proposals, as intended. The grant applications are peer-reviewed research proposals that include specific ``innovation and creativity'' (IC) scores assigned by reviewers. In addition to predicting the IC score for each research proposal, we are particularly interested in understanding the vocabulary of innovative proposals. In order to solve this problem, various data mining models and feature encoding algorithms are studied and explored. As a result, we propose a model with the best performance, a Random Forest (RF) classifier over documents encoded with features denoting the presence or absence of unigrams. In specific, the unigram terms are encoded by a modified Term Frequency - Inverse Document Frequency (TF-IDF) algorithm, which only implements the IDF part of TF-IDF. Besides the proposed model, this paper also presents a rigorous experimental pipeline for analysing grant applications, and the experimental results prove its feasibility.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Influence of imperfections on tunneling rate in $δ$-layer junctions
Authors:
Juan P. Mendez,
Shashank Misra,
Denis Mamaluy
Abstract:
The atomically precise placement of dopants in semiconductors using scanning tunneling microscopes has been used to create planar dopant-based devices, enabling the exploration of novel classical or quantum computing concepts, which often require precise control over tunneling rates in their operation. While the geometry of the dopants can be defined to sub-nanometer precision, imperfections can s…
▽ More
The atomically precise placement of dopants in semiconductors using scanning tunneling microscopes has been used to create planar dopant-based devices, enabling the exploration of novel classical or quantum computing concepts, which often require precise control over tunneling rates in their operation. While the geometry of the dopants can be defined to sub-nanometer precision, imperfections can still play a significant role in determining the tunneling rates. Here, we investigate the influence of different imperfections in phosphorous $δ$-layer tunnel junctions in silicon: variations of $δ$-layer thickness and tunnel gap width, interface roughness, and charged impurities. It is found that while most of the imperfections moderately affect the tunneling rate, a single charged impurity in the tunnel gap can alter the tunneling rate by more than an order of magnitude, even for relatively large tunnel gaps. Moreover, it is also revealed that the tunneling rate strongly depends on the electrical charge sign of the impurity.
△ Less
Submitted 5 October, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Yttrium incorporation in Cr2AlC: On the metastable phase formation and decomposition of (Cr,Y)2AlC MAX phase thin films
Authors:
Clio Azina,
Tim Bartsch,
Damian M. Holzapfel,
Martin Dahlqvist,
Johanna Rosen,
Lukas Löfler,
Alba San Jose Mendez,
Marcus Hans,
Daniel Primetzhofer,
Jochen M. Schneider
Abstract:
Herein we report on the synthesis of a metastable (Cr,Y)2AlC MAX phase solid solution by co-sputtering from a composite Cr-Al-C and elemental Y target, at room temperature, followed by annealing. While direct high-temperature synthesis resulted in multiphase films, as evidenced by X-ray diffraction analyses, room temperature depositions, followed by annealing to 760 °C led to the formation of phas…
▽ More
Herein we report on the synthesis of a metastable (Cr,Y)2AlC MAX phase solid solution by co-sputtering from a composite Cr-Al-C and elemental Y target, at room temperature, followed by annealing. While direct high-temperature synthesis resulted in multiphase films, as evidenced by X-ray diffraction analyses, room temperature depositions, followed by annealing to 760 °C led to the formation of phase pure (Cr,Y)2AlC by diffusion. Higher annealing temperatures caused decomposition of the metastable phase into Cr2AlC, Y5Al3 , and Cr-carbides. In contrast to pure Cr2AlC, the Y-containing phase crystallizes directly in the MAX phase structure instead of first forming a disordered solid solution. Furthermore, the crystallization temperature was shown to be Y-content dependent and was increased by ~200 °C for 5 at.% Y compared to Cr2AlC. Calculations predicting the metastable phase formation of (Cr,Y)2AlC and its decomposition are in excellent agreement with the experimental findings.
△ Less
Submitted 15 September, 2022;
originally announced September 2022.
-
Conductivity and size quantization effects in semiconductor $δ$-layer systems
Authors:
Juan P. Mendez,
Denis Mamaluy
Abstract:
We present an open-system quantum-mechanical 3D real-space study of the conduction band structure and conductive properties of two semiconductor systems, interesting for their beyond-Moore and quantum computing applications: phosphorus $δ$-layers in silicon and the corresponding $δ$-layer tunnel junctions. In order to evaluate size quantization effects on the conductivity, we consider two principa…
▽ More
We present an open-system quantum-mechanical 3D real-space study of the conduction band structure and conductive properties of two semiconductor systems, interesting for their beyond-Moore and quantum computing applications: phosphorus $δ$-layers in silicon and the corresponding $δ$-layer tunnel junctions. In order to evaluate size quantization effects on the conductivity, we consider two principal cases: nanoscale finite-width structures, used in transistors, and infinitely-wide structures, electrical properties of which are typically known experimentally. For devices widths $W<10$~nm, quantization effects are strong and it is shown that the number of propagating modes determines not only the conductivity, but the distinctive spatial distribution of the current-carrying electron states. For $W>10$~nm, the quantization effects practically vanish and the conductivity tends to the infinitely-wide device values. For tunnel junctions, two distinct conductivity regimes are predicted due to the strong conduction band quantization.
△ Less
Submitted 22 September, 2022; v1 submitted 14 September, 2022;
originally announced September 2022.
-
Model BVP problem for the Helmhotz equation in a nonconvex angle with periodic boundary data
Authors:
A. Merzon,
P. Zhevandrov,
M. I. Romero Rodríguez,
J. E. De la Paz Méndez
Abstract:
In the presented work, we solve the Dirichlet boundary problem for the Helmholtz equation in an exterior angle with periodic boundary data. We prove the existence and uniqueness of solution in an appropriate funcional class and we give an explicit formula for it in the form of the Sommerfeld integral. The method of complex characteristics [17] is used.
In the presented work, we solve the Dirichlet boundary problem for the Helmholtz equation in an exterior angle with periodic boundary data. We prove the existence and uniqueness of solution in an appropriate funcional class and we give an explicit formula for it in the form of the Sommerfeld integral. The method of complex characteristics [17] is used.
△ Less
Submitted 27 August, 2022;
originally announced August 2022.
-
Lifelong Machine Learning of Functionally Compositional Structures
Authors:
Jorge A. Mendez
Abstract:
A hallmark of human intelligence is the ability to construct self-contained chunks of knowledge and reuse them in novel combinations for solving different problems. Learning such compositional structures has been a challenge for artificial systems, due to the underlying combinatorial search. To date, research into compositional learning has largely proceeded separately from work on lifelong or con…
▽ More
A hallmark of human intelligence is the ability to construct self-contained chunks of knowledge and reuse them in novel combinations for solving different problems. Learning such compositional structures has been a challenge for artificial systems, due to the underlying combinatorial search. To date, research into compositional learning has largely proceeded separately from work on lifelong or continual learning. This dissertation integrated these two lines of work to present a general-purpose framework for lifelong learning of functionally compositional structures. The framework separates the learning into two stages: learning how to combine existing components to assimilate a novel problem, and learning how to adapt the existing components to accommodate the new problem. This separation explicitly handles the trade-off between stability and flexibility. This dissertation instantiated the framework into various supervised and reinforcement learning (RL) algorithms. Supervised learning evaluations found that 1) compositional models improve lifelong learning of diverse tasks, 2) the multi-stage process permits lifelong learning of compositional knowledge, and 3) the components learned by the framework represent self-contained and reusable functions. Similar RL evaluations demonstrated that 1) algorithms under the framework accelerate the discovery of high-performing policies, and 2) these algorithms retain or improve performance on previously learned tasks. The dissertation extended one lifelong compositional RL algorithm to the nonstationary setting, where the task distribution varies over time, and found that modularity permits individually tracking changes to different elements in the environment. The final contribution of this dissertation was a new benchmark for compositional RL, which exposed that existing methods struggle to discover the compositional properties of the environment.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Composition
Authors:
Jorge A. Mendez,
Eric Eaton
Abstract:
A major goal of artificial intelligence (AI) is to create an agent capable of acquiring a general understanding of the world. Such an agent would require the ability to continually accumulate and build upon its knowledge as it encounters new experiences. Lifelong or continual learning addresses this setting, whereby an agent faces a continual stream of problems and must strive to capture the knowl…
▽ More
A major goal of artificial intelligence (AI) is to create an agent capable of acquiring a general understanding of the world. Such an agent would require the ability to continually accumulate and build upon its knowledge as it encounters new experiences. Lifelong or continual learning addresses this setting, whereby an agent faces a continual stream of problems and must strive to capture the knowledge necessary for solving each new task it encounters. If the agent is capable of accumulating knowledge in some form of compositional representation, it could then selectively reuse and combine relevant pieces of knowledge to construct novel solutions. Despite the intuitive appeal of this simple idea, the literatures on lifelong learning and compositional learning have proceeded largely separately. In an effort to promote developments that bridge between the two fields, this article surveys their respective research landscapes and discusses existing and future connections between them.
△ Less
Submitted 13 June, 2023; v1 submitted 15 July, 2022;
originally announced July 2022.
-
On Kato's smoothing effect for a fractional version of the Zakharov-Kuznetsov equation
Authors:
Argenis. J. Mendez
Abstract:
In this work we study some regularity properties associated to the initial value problem (IVP) \begin{equation}\label{main1} \left\{ \begin{array}{ll} \partial_{t}u-\partial_{x_{1}}(-Δ)^{α/2} u+u\partial_{x_{1}}u=0, \quad 0< α\leq 2,& \\ u(x,0)=u_{0}(x),\quad x=(x_{1},x_{2},\dots,x_{n})\in \mathbb{R}^{n},\, n\geq 2,\quad t\in\mathbb{R},& \\ \end{array} \right. \end{equation} where $(-Δ)^{α/2}$ den…
▽ More
In this work we study some regularity properties associated to the initial value problem (IVP) \begin{equation}\label{main1} \left\{ \begin{array}{ll} \partial_{t}u-\partial_{x_{1}}(-Δ)^{α/2} u+u\partial_{x_{1}}u=0, \quad 0< α\leq 2,& \\ u(x,0)=u_{0}(x),\quad x=(x_{1},x_{2},\dots,x_{n})\in \mathbb{R}^{n},\, n\geq 2,\quad t\in\mathbb{R},& \\ \end{array} \right. \end{equation} where $(-Δ)^{α/2}$ denotes the $n-$dimensional fractional Laplacian.
We show that solutions to the IVP (0.1) with initial data in a suitable Sobolev space exhibit a local smoothing effect in the spatial variable of $\fracα{2}$ derivatives, almost everywhere in time. One of the main difficulties that emerge when trying to obtain this regularizing effect underlies that the operator in consideration is non-local, and the property we are trying to describe is local, so new ideas are required. Nevertheless, to avoid these problems, we use a perturbation argument replacing $(-Δ)^{\fracα{2}}$ by $(I-Δ)^{\fracα{2}},$ that through the use of pseudo-differential calculus allows us to show that solutions become locally smoother by $\fracα{2}$ of a derivative in all spatial directions.
As a by-product, we use this particular smoothing effect to show that the extra regularity of the initial data on some distinguished subsets of the Euclidean space is propagated by the flow solution with infinity speed.
△ Less
Submitted 12 July, 2022; v1 submitted 8 July, 2022;
originally announced July 2022.
-
CompoSuite: A Compositional Reinforcement Learning Benchmark
Authors:
Jorge A. Mendez,
Marcel Hussing,
Meghna Gummadi,
Eric Eaton
Abstract:
We present CompoSuite, an open-source simulated robotic manipulation benchmark for compositional multi-task reinforcement learning (RL). Each CompoSuite task requires a particular robot arm to manipulate one individual object to achieve a task objective while avoiding an obstacle. This compositional definition of the tasks endows CompoSuite with two remarkable properties. First, varying the robot/…
▽ More
We present CompoSuite, an open-source simulated robotic manipulation benchmark for compositional multi-task reinforcement learning (RL). Each CompoSuite task requires a particular robot arm to manipulate one individual object to achieve a task objective while avoiding an obstacle. This compositional definition of the tasks endows CompoSuite with two remarkable properties. First, varying the robot/object/objective/obstacle elements leads to hundreds of RL tasks, each of which requires a meaningfully different behavior. Second, RL approaches can be evaluated specifically for their ability to learn the compositional structure of the tasks. This latter capability to functionally decompose problems would enable intelligent agents to identify and exploit commonalities between learning tasks to handle large varieties of highly diverse problems. We benchmark existing single-task, multi-task, and compositional learning algorithms on various training settings, and assess their capability to compositionally generalize to unseen tasks. Our evaluation exposes the shortcomings of existing RL approaches with respect to compositionality and opens new avenues for investigation.
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
Reinforcement Learning of Multi-Domain Dialog Policies Via Action Embeddings
Authors:
Jorge A. Mendez,
Alborz Geramifard,
Mohammad Ghavamzadeh,
Bing Liu
Abstract:
Learning task-oriented dialog policies via reinforcement learning typically requires large amounts of interaction with users, which in practice renders such methods unusable for real-world applications. In order to reduce the data requirements, we propose to leverage data from across different dialog domains, thereby reducing the amount of data required from each given domain. In particular, we pr…
▽ More
Learning task-oriented dialog policies via reinforcement learning typically requires large amounts of interaction with users, which in practice renders such methods unusable for real-world applications. In order to reduce the data requirements, we propose to leverage data from across different dialog domains, thereby reducing the amount of data required from each given domain. In particular, we propose to learn domain-agnostic action embeddings, which capture general-purpose structure that informs the system how to act given the current dialog context, and are then specialized to a specific domain. We show how this approach is capable of learning with significantly less interaction with users, with a reduction of 35% in the number of dialogs required to learn, and to a higher level of proficiency than training separate policies for each domain on a set of simulated domains.
△ Less
Submitted 1 July, 2022;
originally announced July 2022.
-
Lifelong Inverse Reinforcement Learning
Authors:
Jorge A. Mendez,
Shashank Shivkumar,
Eric Eaton
Abstract:
Methods for learning from demonstration (LfD) have shown success in acquiring behavior policies by imitating a user. However, even for a single task, LfD may require numerous demonstrations. For versatile agents that must learn many tasks via demonstration, this process would substantially burden the user if each task were learned in isolation. To address this challenge, we introduce the novel pro…
▽ More
Methods for learning from demonstration (LfD) have shown success in acquiring behavior policies by imitating a user. However, even for a single task, LfD may require numerous demonstrations. For versatile agents that must learn many tasks via demonstration, this process would substantially burden the user if each task were learned in isolation. To address this challenge, we introduce the novel problem of lifelong learning from demonstration, which allows the agent to continually build upon knowledge learned from previously demonstrated tasks to accelerate the learning of new tasks, reducing the amount of demonstrations required. As one solution to this problem, we propose the first lifelong learning approach to inverse reinforcement learning, which learns consecutive tasks via demonstration, continually transferring knowledge between tasks to improve performance.
△ Less
Submitted 1 July, 2022;
originally announced July 2022.
-
Modular Lifelong Reinforcement Learning via Neural Composition
Authors:
Jorge A. Mendez,
Harm van Seijen,
Eric Eaton
Abstract:
Humans commonly solve complex problems by decomposing them into easier subproblems and then combining the subproblem solutions. This type of compositional reasoning permits reuse of the subproblem solutions when tackling future tasks that share part of the underlying compositional structure. In a continual or lifelong reinforcement learning (RL) setting, this ability to decompose knowledge into re…
▽ More
Humans commonly solve complex problems by decomposing them into easier subproblems and then combining the subproblem solutions. This type of compositional reasoning permits reuse of the subproblem solutions when tackling future tasks that share part of the underlying compositional structure. In a continual or lifelong reinforcement learning (RL) setting, this ability to decompose knowledge into reusable components would enable agents to quickly learn new RL tasks by leveraging accumulated compositional structures. We explore a particular form of composition based on neural modules and present a set of RL problems that intuitively admit compositional solutions. Empirically, we demonstrate that neural composition indeed captures the underlying structure of this space of problems. We further propose a compositional lifelong RL method that leverages accumulated neural components to accelerate the learning of future tasks while retaining performance on previous tasks via off-line RL over replayed experiences.
△ Less
Submitted 1 July, 2022;
originally announced July 2022.
-
SHELS: Exclusive Feature Sets for Novelty Detection and Continual Learning Without Class Boundaries
Authors:
Meghna Gummadi,
David Kent,
Jorge A. Mendez,
Eric Eaton
Abstract:
While deep neural networks (DNNs) have achieved impressive classification performance in closed-world learning scenarios, they typically fail to generalize to unseen categories in dynamic open-world environments, in which the number of concepts is unbounded. In contrast, human and animal learners have the ability to incrementally update their knowledge by recognizing and adapting to novel observat…
▽ More
While deep neural networks (DNNs) have achieved impressive classification performance in closed-world learning scenarios, they typically fail to generalize to unseen categories in dynamic open-world environments, in which the number of concepts is unbounded. In contrast, human and animal learners have the ability to incrementally update their knowledge by recognizing and adapting to novel observations. In particular, humans characterize concepts via exclusive (unique) sets of essential features, which are used for both recognizing known classes and identifying novelty. Inspired by natural learners, we introduce a Sparse High-level-Exclusive, Low-level-Shared feature representation (SHELS) that simultaneously encourages learning exclusive sets of high-level features and essential, shared low-level features. The exclusivity of the high-level features enables the DNN to automatically detect out-of-distribution (OOD) data, while the efficient use of capacity via sparse low-level features permits accommodating new knowledge. The resulting approach uses OOD detection to perform class-incremental continual learning without known class boundaries. We show that using SHELS for novelty detection results in statistically significant improvements over state-of-the-art OOD detection approaches over a variety of benchmark datasets. Further, we demonstrate that the SHELS model mitigates catastrophic forgetting in a class-incremental learning setting,enabling a combined novelty detection and accommodation framework that supports learning in open-world settings
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
Authors:
Christian Alrabbaa,
Stefan Borgwardt,
Tom Friese,
Patrick Koopmann,
Julián Méndez,
Alexej Popovič
Abstract:
When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward. So far, the standard ontology editor Protégé offers two services to help: (black-box) justifications for OWL 2 DL ontologies, and (glass-box) proofs for lightweight OWL EL ontologies, where the latter exploits the proof facilities of reasoner ELK. Since j…
▽ More
When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward. So far, the standard ontology editor Protégé offers two services to help: (black-box) justifications for OWL 2 DL ontologies, and (glass-box) proofs for lightweight OWL EL ontologies, where the latter exploits the proof facilities of reasoner ELK. Since justifications are often insufficient in explaining inferences, there is thus only little tool support for explaining inferences in more expressive DLs. In this paper, we introduce EVEE-LIBS, a Java library for computing proofs for DLs up to ALCH, and EVEE-PROTEGE, a collection of Protégé plugins for displaying those proofs in Protégé. We also give a short glimpse of the latest version of EVONNE, a more advanced standalone application for displaying and interacting with proofs computed with EVEE-LIBS.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Authors:
Christian Alrabbaa,
Franz Baader,
Stefan Borgwardt,
Raimund Dachselt,
Patrick Koopmann,
Julián Méndez
Abstract:
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We p…
▽ More
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for computing those proofs, together with a feature called signature-based proof condensation. Moreover, we evaluate the quality of generated proofs using real ontologies.
△ Less
Submitted 19 May, 2022;
originally announced May 2022.
-
Gap Minimization for Knowledge Sharing and Transfer
Authors:
Boyu Wang,
Jorge Mendez,
Changjian Shui,
Fan Zhou,
Di Wu,
Gezheng Xu,
Christian Gagné,
Eric Eaton
Abstract:
Learning from multiple related tasks by knowledge sharing and transfer has become increasingly relevant over the last two decades. In order to successfully transfer information from one task to another, it is critical to understand the similarities and differences between the domains. In this paper, we introduce the notion of \emph{performance gap}, an intuitive and novel measure of the distance b…
▽ More
Learning from multiple related tasks by knowledge sharing and transfer has become increasingly relevant over the last two decades. In order to successfully transfer information from one task to another, it is critical to understand the similarities and differences between the domains. In this paper, we introduce the notion of \emph{performance gap}, an intuitive and novel measure of the distance between learning tasks. Unlike existing measures which are used as tools to bound the difference of expected risks between tasks (e.g., $\mathcal{H}$-divergence or discrepancy distance), we theoretically show that the performance gap can be viewed as a data- and algorithm-dependent regularizer, which controls the model complexity and leads to finer guarantees. More importantly, it also provides new insights and motivates a novel principle for designing strategies for knowledge sharing and transfer: gap minimization. We instantiate this principle with two algorithms: 1. gapBoost, a novel and principled boosting algorithm that explicitly minimizes the performance gap between source and target domains for transfer learning; and 2. gapMTNN, a representation learning algorithm that reformulates gap minimization as semantic conditional matching for multitask learning. Our extensive evaluation on both transfer learning and multitask learning benchmark data sets shows that our methods outperform existing baselines.
△ Less
Submitted 13 January, 2023; v1 submitted 26 January, 2022;
originally announced January 2022.
-
Nanobeacon: A time calibration device for the KM3NeT neutrino telescope
Authors:
S. Aiello,
A. Albert,
M. Alshamsi,
S. Alves Garre,
Z. Aly,
A. Ambrosone,
F. Ameli,
M. Andre,
G. Androulakis,
M. Anghinolfi,
M. Anguita,
M. Ardid,
S. Ardid,
J. Aublin,
C. Bagatelas,
B. Baret,
S. Basegmez du Pree,
M. Bendahman,
F. Benfenati,
E. Berbee,
A. M. van den Berg,
V. Bertine,
S. Biagi,
M. Boettcher,
M. Bou Cabo
, et al. (216 additional authors not shown)
Abstract:
The KM3NeT Collaboration is currently constructing a multi-site high-energy neutrino telescope in the Mediterranean Sea consisting of matrices of pressure-resistant glass spheres, each holding a set of 31 small-area photomultipliers. The main goals of the telescope are the observation of neutrino sources in the Universe and the measurement of the neutrino oscillation parameters with atmospheric ne…
▽ More
The KM3NeT Collaboration is currently constructing a multi-site high-energy neutrino telescope in the Mediterranean Sea consisting of matrices of pressure-resistant glass spheres, each holding a set of 31 small-area photomultipliers. The main goals of the telescope are the observation of neutrino sources in the Universe and the measurement of the neutrino oscillation parameters with atmospheric neutrinos. Both extraterrestrial and atmospheric neutrinos are detected through the Cherenkov light induced in seawater by charged particles produced in neutrino interactions in the surrounding medium. A relative time synchronization between photomultipliers of the order of 1 ns is needed to guarantee the required angular resolution of the detector. Due to the large detector volumes to be instrumented by KM3NeT, a cost reduction of the different systems is a priority. To this end, the inexpensive Nanobeacon has been designed and developed by the KM3NeT Collaboration to be used for detector time-calibration studies. At present, more than 600 Nanobeacons have been already produced. The characterization of the optical pulse and the wavelength emission profile of the devices are critical for the time calibration. In this paper, the main features of the Nanobeacon design, production and operation, together with the main properties of the light pulse generated are described.
△ Less
Submitted 30 October, 2021;
originally announced November 2021.
-
Implementation and first results of the KM3NeT real-time core-collapse supernova neutrino search
Authors:
KM3NeT Collaboration,
S. Aiello,
A. Albert,
M. Alshamsi,
S. Alves Garre,
Z. Aly,
A. Ambrosone,
F. Ameli,
M. Andre,
G. Androulakis,
M. Anghinolfi,
M. Anguita,
M. Ardid,
S. Ardid,
J. Aublin,
C. Bagatelas,
B. Baret,
S. Basegmez du Pree,
M. Bendahman,
F. Benfenati,
E. Berbee,
A. M. van den Berg,
V. Bertin,
S. Biagi,
M. Boettcher
, et al. (220 additional authors not shown)
Abstract:
The KM3NeT research infrastructure is under construction in the Mediterranean Sea. KM3NeT will study atmospheric and astrophysical neutrinos with two multi-purpose neutrino detectors, ARCA and ORCA, primarily aimed at GeV-PeV neutrinos. Thanks to the multi-photomultiplier tube design of the digital optical modules, KM3NeT is capable of detecting the neutrino burst from a Galactic or near-Galactic…
▽ More
The KM3NeT research infrastructure is under construction in the Mediterranean Sea. KM3NeT will study atmospheric and astrophysical neutrinos with two multi-purpose neutrino detectors, ARCA and ORCA, primarily aimed at GeV-PeV neutrinos. Thanks to the multi-photomultiplier tube design of the digital optical modules, KM3NeT is capable of detecting the neutrino burst from a Galactic or near-Galactic core-collapse supernova. This potential is already exploitable with the first detection units deployed in the sea. This paper describes the real-time implementation of the supernova neutrino search, operating on the two KM3NeT detectors since the first months of 2019. A quasi-online astronomy analysis is introduced to study the time profile of the detected neutrinos for especially significant events. The mechanism of generation and distribution of alerts, as well as the integration into the SNEWS and SNEWS 2.0 global alert systems are described. The approach for the follow-up of external alerts with a search for a neutrino excess in the archival data is defined. Finally, an overview of the current detector capabilities and a report after the first two years of operation are given.
△ Less
Submitted 7 December, 2021; v1 submitted 13 September, 2021;
originally announced September 2021.
-
TNNT: The Named Entity Recognition Toolkit
Authors:
Sandaru Seneviratne,
Sergio J. Rodríguez Méndez,
Xuecheng Zhang,
Pouya G. Omran,
Kerry Taylor,
Armin Haller
Abstract:
Extraction of categorised named entities from text is a complex task given the availability of a variety of Named Entity Recognition (NER) models and the unstructured information encoded in different source document formats. Processing the documents to extract text, identifying suitable NER models for a task, and obtaining statistical information is important in data analysis to make informed deci…
▽ More
Extraction of categorised named entities from text is a complex task given the availability of a variety of Named Entity Recognition (NER) models and the unstructured information encoded in different source document formats. Processing the documents to extract text, identifying suitable NER models for a task, and obtaining statistical information is important in data analysis to make informed decisions. This paper presents TNNT, a toolkit that automates the extraction of categorised named entities from unstructured information encoded in source documents, using diverse state-of-the-art Natural Language Processing (NLP) tools and NER models. TNNT integrates 21 different NER models as part of a Knowledge Graph Construction Pipeline (KGCP) that takes a document set as input and processes it based on the defined settings, applying the selected blocks of NER models to output the results. The toolkit generates all results with an integrated summary of the extracted entities, enabling enhanced data analysis to support the KGCP, and also, to aid further NLP tasks.
△ Less
Submitted 31 August, 2021;
originally announced August 2021.
-
Combined sensitivity of JUNO and KM3NeT/ORCA to the neutrino mass ordering
Authors:
KM3NeT Collaboration,
S. Aiello,
A. Albert,
M. Alshamsi,
S. Alves Garre,
Z. Aly,
A. Ambrosone,
F. Ameli,
M. Andre,
G. Androulakis,
M. Anghinolfi,
M. Anguita,
M. Ardid,
S. Ardid,
J. Aublin,
C. Bagatelas,
B. Baret,
S. Basegmez du Pree,
M. Bendahman,
F. Benfenati,
E. Berbee,
A. M. van den Berg,
V. Bertin,
S. Biagi,
M. Boettcher
, et al. (253 additional authors not shown)
Abstract:
This article presents the potential of a combined analysis of the JUNO and KM3NeT/ORCA experiments to determine the neutrino mass ordering. This combination is particularly interesting as it significantly boosts the potential of either detector, beyond simply adding their neutrino mass ordering sensitivities, by removing a degeneracy in the determination of $Δm_{31}^2$ between the two experiments…
▽ More
This article presents the potential of a combined analysis of the JUNO and KM3NeT/ORCA experiments to determine the neutrino mass ordering. This combination is particularly interesting as it significantly boosts the potential of either detector, beyond simply adding their neutrino mass ordering sensitivities, by removing a degeneracy in the determination of $Δm_{31}^2$ between the two experiments when assuming the wrong ordering. The study is based on the latest projected performances for JUNO, and on simulation tools using a full Monte Carlo approach to the KM3NeT/ORCA response with a careful assessment of its energy systematics. From this analysis, a $5σ$ determination of the neutrino mass ordering is expected after 6 years of joint data taking for any value of the oscillation parameters. This sensitivity would be achieved after only 2 years of joint data taking assuming the current global best-fit values for those parameters for normal ordering.
△ Less
Submitted 13 August, 2021;
originally announced August 2021.