-
The Online Data Filter for the KM3NeT Neutrino Telescopes
Authors:
O. Adriani,
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardacova,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati Gualandi,
M. Benhassi,
M. Bennani,
D. M. Benoit,
E. Berbee
, et al. (257 additional authors not shown)
Abstract:
The KM3NeT research infrastructure comprises two neutrino telescopes located in the deep waters of the Mediterranean Sea, namely ORCA and ARCA. KM3NeT/ORCA is designed for the measurement of neutrino properties and KM3NeT/ARCA for the detection of high\nobreakdashes-energy neutrinos from the cosmos. Neutrinos are indirectly detected using three\nobreakdashes-dimensional arrays of photo\nobreakdash…
▽ More
The KM3NeT research infrastructure comprises two neutrino telescopes located in the deep waters of the Mediterranean Sea, namely ORCA and ARCA. KM3NeT/ORCA is designed for the measurement of neutrino properties and KM3NeT/ARCA for the detection of high\nobreakdashes-energy neutrinos from the cosmos. Neutrinos are indirectly detected using three\nobreakdashes-dimensional arrays of photo\nobreakdashes-sensors which detect the Cherenkov light that is produced when relativistic charged particles emerge from a neutrino interaction. The analogue pulses from the photo\nobreakdashes-sensors are digitised offshore and all digital data are sent to a station on shore where they are processed in real time using a farm of commodity servers and custom software. In this paper, the design and performance of the software that is used to filter the data are presented. The performance of the data filter is evaluated in terms of its purity, capacity and efficiency. The purity is measured by a comparison of the event rate caused by muons produced by cosmic ray interactions in the Earth's atmosphere with the event rate caused by the background from decays of radioactive elements in the sea water and bioluminescence. The capacity is measured by the minimal number of servers that is needed to sustain the rate of incoming data. The efficiency is measured by the effective volumes of the sensor arrays.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
Design and implementation of a novel cryptographically secure pseudorandom number generator
Authors:
Juan Di Mauro,
Eduardo Salazar,
Hugo D. Scolnik
Abstract:
The aim of this paper is to present a new design for a pseudorandom number generator (PRNG) that is cryptographically secure, passes all of the usual statistical tests referenced in the literature and hence generates high quality random sequences, that is compact and easy to implement in practice, of portable design and offering reasonable execution times. Our procedure achieves those objectives t…
▽ More
The aim of this paper is to present a new design for a pseudorandom number generator (PRNG) that is cryptographically secure, passes all of the usual statistical tests referenced in the literature and hence generates high quality random sequences, that is compact and easy to implement in practice, of portable design and offering reasonable execution times. Our procedure achieves those objectives through the use of a sequence of modular exponentiations followed by the application of Feistel-like boxes that mix up bits using a nonlinear function. The results of extensive statistical tests on sequences of about 2^40 bits in size generated by our algorithm are also presented.
△ Less
Submitted 22 March, 2025;
originally announced March 2025.
-
KM3NeT Constraint on Lorentz-Violating Superluminal Neutrino Velocity
Authors:
KM3NeT Collaboration,
O. Adriani,
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
C. Argüelles,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati Gualandi,
M. Benhassi,
M. Bennani,
D. M. Benoit
, et al. (268 additional authors not shown)
Abstract:
Lorentz invariance is a fundamental symmetry of spacetime and foundational to modern physics. One of its most important consequences is the constancy of the speed of light. This invariance, together with the geometry of spacetime, implies that no particle can move faster than the speed of light. In this article, we present the most stringent neutrino-based test of this prediction, using the highes…
▽ More
Lorentz invariance is a fundamental symmetry of spacetime and foundational to modern physics. One of its most important consequences is the constancy of the speed of light. This invariance, together with the geometry of spacetime, implies that no particle can move faster than the speed of light. In this article, we present the most stringent neutrino-based test of this prediction, using the highest energy neutrino ever detected to date, KM3-230213A. The arrival of this event, with an energy of $220^{+570}_{-110}\,\text{PeV}$, sets a constraint on $δ\equiv c_ν^2-1 < 4\times10^{-22}$.
△ Less
Submitted 24 February, 2025; v1 submitted 17 February, 2025;
originally announced February 2025.
-
On the Potential Galactic Origin of the Ultra-High-Energy Event KM3-230213A
Authors:
O. Adriani,
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati Gualandi,
M. Benhassi,
M. Bennani,
D. M. Benoit,
E. Berbee
, et al. (264 additional authors not shown)
Abstract:
The KM3NeT observatory detected the most energetic neutrino candidate ever observed, with an energy between 72 PeV and 2.6 EeV at the 90% confidence level. The observed neutrino is likely of cosmic origin. In this article, it is investigated if the neutrino could have been produced within the Milky Way. Considering the low fluxes of the Galactic diffuse emission at these energies, the lack of a ne…
▽ More
The KM3NeT observatory detected the most energetic neutrino candidate ever observed, with an energy between 72 PeV and 2.6 EeV at the 90% confidence level. The observed neutrino is likely of cosmic origin. In this article, it is investigated if the neutrino could have been produced within the Milky Way. Considering the low fluxes of the Galactic diffuse emission at these energies, the lack of a nearby potential Galactic particle accelerator in the direction of the event and the difficulty to accelerate particles to such high energies in Galactic systems, we conclude that if the event is indeed cosmic, it is most likely of extragalactic origin.
△ Less
Submitted 14 February, 2025; v1 submitted 12 February, 2025;
originally announced February 2025.
-
The ultra-high-energy event KM3-230213A within the global neutrino landscape
Authors:
KM3NeT Collaboration,
O. Adriani,
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
C. Argüelles,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati Gualandi,
M. Benhassi,
M. Bennani
, et al. (268 additional authors not shown)
Abstract:
On February 13th, 2023, the KM3NeT/ARCA telescope detected a neutrino candidate with an estimated energy in the hundreds of PeVs. In this article, the observation of this ultra-high-energy neutrino is discussed in light of null observations above tens of PeV from the IceCube and Pierre Auger observatories. Performing a joint fit of all experiments under the assumption of an isotropic $E^{-2}$ flux…
▽ More
On February 13th, 2023, the KM3NeT/ARCA telescope detected a neutrino candidate with an estimated energy in the hundreds of PeVs. In this article, the observation of this ultra-high-energy neutrino is discussed in light of null observations above tens of PeV from the IceCube and Pierre Auger observatories. Performing a joint fit of all experiments under the assumption of an isotropic $E^{-2}$ flux, the best-fit single-flavour flux normalisation is $E^2 Φ^{\rm 1f}_{ν+ \bar ν} = 7.5 \times 10^{-10}~{\rm GeV cm^{-2} s^{-1} sr^{-1}}$ in the 90% energy range of the KM3NeT event. Furthermore, the ultra-high-energy data are then fit together with the IceCube measurements at lower energies, either with a single power law or with a broken power law, allowing for the presence of a new component in the spectrum. The joint fit including non-observations by other experiments in the ultra-high-energy region shows a slight preference for a break in the PeV regime if the ``High-Energy Starting Events'' sample is included, and no such preference for the other two IceCube samples investigated. A stronger preference for a break appears if only the KM3NeT data is considered in the ultra-high-energy region, though the flux resulting from such a fit would be inconsistent with null observations from IceCube and Pierre Auger. In all cases, the observed tension between KM3NeT and other datasets is of the order of $2.5σ-3σ$, and increased statistics are required to resolve this apparent tension and better characterise the neutrino landscape at ultra-high energies.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
Topological Constraint Model of Alkaline Earth Vanadate Glasses
Authors:
Adam Shearer,
John C. Mauro
Abstract:
Topological constraint theory has enabled the successful prediction of glass properties over a wide range of compositions. In this study, a topological constraint model is constructed for alkaline earth vanadate glasses based on experimental data. The change in vanadate structural units from VO5 to VO4 was modeled as a function of alkaline earth content and related to thermal and mechanical proper…
▽ More
Topological constraint theory has enabled the successful prediction of glass properties over a wide range of compositions. In this study, a topological constraint model is constructed for alkaline earth vanadate glasses based on experimental data. The change in vanadate structural units from VO5 to VO4 was modeled as a function of alkaline earth content and related to thermal and mechanical properties. The model covers both high and low-temperature properties to probe the temperature dependence of constraint rigidity for each constituent of the glass network. The model is changed to describe anomalies in magnesium sites potentially implying that magnesium can form locally rigid structures. Furthermore, the traditional understanding of vanadate glass structure is compared to recent results concluding that the terminal oxygen must exist as a part of the VO4 units. Results for the model explain that bridging oxygen constraints are the main contributors to network rigidity in both low and high temperature regimes. Vanadate glass networks are highly connected even with the introduction of modifier species, which introduce their own bond constraints. Corroboration between experimental data and the topological constraint model illustrates the role of alkaline earth oxides in the glass network.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Study of tau neutrinos and non-unitary neutrino mixing with the first six detection units of KM3NeT/ORCA
Authors:
KM3NeT Collaboration,
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati Gualandi,
M. Benhassi,
M. Bennani,
D. M. Benoit,
E. Berbee
, et al. (252 additional authors not shown)
Abstract:
Oscillations of atmospheric muon and electron neutrinos produce tau neutrinos with energies in the GeV range, which can be observed by the ORCA detector of the KM3NeT neutrino telescope in the Mediterranean Sea. First measurements with ORCA6, an early subarray corresponding to about 5$\%$ of the final detector, are presented. A sample of 5828 neutrino candidates has been selected from the analysed…
▽ More
Oscillations of atmospheric muon and electron neutrinos produce tau neutrinos with energies in the GeV range, which can be observed by the ORCA detector of the KM3NeT neutrino telescope in the Mediterranean Sea. First measurements with ORCA6, an early subarray corresponding to about 5$\%$ of the final detector, are presented. A sample of 5828 neutrino candidates has been selected from the analysed exposure of 433 kton-years. The $ν_τ$ normalisation, defined as the ratio between the number of observed and expected tau neutrino events, is measured to be $S_τ= 0.48^{+0.5}_{-0.33}$. This translates into a $ν_τ$ charged-current cross section measurement of $σ_τ^{\text{meas}} = (2.5 ^{+2.6}_{-1.8}) \times 10^{-38}$ cm$^{2}$ nucleon$^{-1}$ at the median $ν_τ$ energy of 20.3 GeV. The result is consistent with the measurements of other experiments. In addition, the current limit on the non-unitarity parameter affecting the $τ$-row of the neutrino mixing matrix was improved, with $α_{33}>$ 0.95 at the 95$\%$ confidence level.
△ Less
Submitted 30 April, 2025; v1 submitted 3 February, 2025;
originally announced February 2025.
-
Probing invisible neutrino decay with the first six detection units of KM3NeT/ORCA
Authors:
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati Gualandi,
M. Benhassi,
M. Bennani,
D. M. Benoit,
E. Berbee,
V. Bertin
, et al. (251 additional authors not shown)
Abstract:
In the era of precision measurements of neutrino oscillation parameters, it is necessary for experiments to disentangle discrepancies that may indicate physics beyond the Standard Model in the neutrino sector. KM3NeT/ORCA is a water Cherenkov neutrino detector under construction and anchored at the bottom of the Mediterranean Sea. The detector is designed to study the oscillations of atmospheric n…
▽ More
In the era of precision measurements of neutrino oscillation parameters, it is necessary for experiments to disentangle discrepancies that may indicate physics beyond the Standard Model in the neutrino sector. KM3NeT/ORCA is a water Cherenkov neutrino detector under construction and anchored at the bottom of the Mediterranean Sea. The detector is designed to study the oscillations of atmospheric neutrinos and determine the neutrino mass ordering. This paper focuses on the initial configuration of ORCA, referred to as ORCA6, which comprises six out of the foreseen 115 detection units of photosensors. A high-purity neutrino sample was extracted during 2020 and 2021, corresponding to an exposure of 433 kton-years. This sample is analysed following a binned log-likelihood approach to search for invisible neutrino decay, in a three-flavour neutrino oscillation scenario, where the third neutrino mass state $ν_3$ decays into an invisible state, e.g. a sterile neutrino. The resulting best fit of the invisible neutrino decay parameter is $α_3 = 0.92^{+1.08}_{-0.57}\times 10^{-4}~\mathrm{eV^2}$, corresponding to a scenario with $θ_{23}$ in the second octant and normal neutrino mass ordering. The results are consistent with the Standard Model, within a $2.1\,σ$ interval.
△ Less
Submitted 17 March, 2025; v1 submitted 20 January, 2025;
originally announced January 2025.
-
Search for non-standard neutrino interactions with the first six detection units of KM3NeT/ORCA
Authors:
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati,
M. Benhassi,
M. Bennani,
D. M. Benoit,
E. Berbee,
V. Bertin
, et al. (239 additional authors not shown)
Abstract:
KM3NeT/ORCA is an underwater neutrino telescope under construction in the Mediterranean Sea. Its primary scientific goal is to measure the atmospheric neutrino oscillation parameters and to determine the neutrino mass ordering. ORCA can constrain the oscillation parameters $Δm^{2}_{31}$ and $θ_{23}$ by reconstructing the arrival direction and energy of multi-GeV neutrinos crossing the Earth. Searc…
▽ More
KM3NeT/ORCA is an underwater neutrino telescope under construction in the Mediterranean Sea. Its primary scientific goal is to measure the atmospheric neutrino oscillation parameters and to determine the neutrino mass ordering. ORCA can constrain the oscillation parameters $Δm^{2}_{31}$ and $θ_{23}$ by reconstructing the arrival direction and energy of multi-GeV neutrinos crossing the Earth. Searches for deviations from the Standard Model of particle physics in the forward scattering of neutrinos inside Earth matter, produced by Non-Standard Interactions, can be conducted by investigating distortions of the standard oscillation pattern of neutrinos of all flavours. This work reports on the results of the search for non-standard neutrino interactions using the first six detection units of ORCA and 433 kton-years of exposure. No significant deviation from standard interactions was found in a sample of 5828 events reconstructed in the 1 GeV$-$1 TeV energy range. The flavour structure of the non-standard coupling was constrained at 90\% confidence level to be $|\varepsilon_{μτ} | \leq 5.4 \times 10^{-3}$, $|\varepsilon_{eτ} | \leq 7.4 \times 10^{-2}$, $|\varepsilon_{eμ} | \leq 5.6 \times 10^{-2}$ and $-0.015 \leq \varepsilon_{ττ} - \varepsilon_{μμ} \leq 0.017$. The results are comparable to the current most stringent limits placed on the parameters by other experiments.
△ Less
Submitted 22 January, 2025; v1 submitted 28 November, 2024;
originally announced November 2024.
-
First Searches for Dark Matter with the KM3NeT Neutrino Telescopes
Authors:
KM3NeT Collaboration,
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati,
M. Benhassi,
M. Bennani,
D. M. Benoit,
E. Berbee
, et al. (240 additional authors not shown)
Abstract:
Indirect dark matter detection methods are used to observe the products of dark matter annihilations or decays originating from astrophysical objects where large amounts of dark matter are thought to accumulate. With neutrino telescopes, an excess of neutrinos is searched for in nearby dark matter reservoirs, such as the Sun and the Galactic Centre, which could potentially produce a sizeable flux…
▽ More
Indirect dark matter detection methods are used to observe the products of dark matter annihilations or decays originating from astrophysical objects where large amounts of dark matter are thought to accumulate. With neutrino telescopes, an excess of neutrinos is searched for in nearby dark matter reservoirs, such as the Sun and the Galactic Centre, which could potentially produce a sizeable flux of Standard Model particles.
The KM3NeT infrastructure, currently under construction, comprises the ARCA and ORCA undersea Čerenkov neutrino detectors located at two different sites in the Mediterranean Sea, offshore of Italy and France, respectively. The two detector configurations are optimised for the detection of neutrinos of different energies, enabling the search for dark matter particles with masses ranging from a few GeV/c$^2$ to hundreds of TeV/c$^2$. In this work, searches for dark matter annihilations in the Galactic Centre and the Sun with data samples taken with the first configurations of both detectors are presented. No significant excess over the expected background was found in either of the two analyses. Limits on the velocity-averaged self-annihilation cross section of dark matter particles are computed for five different primary annihilation channels in the Galactic Centre. For the Sun, limits on the spin-dependent and spin-independent scattering cross sections of dark matter with nucleons are given for three annihilation channels.
△ Less
Submitted 17 February, 2025; v1 submitted 15 November, 2024;
originally announced November 2024.
-
Narrative Analysis of True Crime Podcasts With Knowledge Graph-Augmented Large Language Models
Authors:
Xinyi Leng,
Jason Liang,
Jack Mauro,
Xu Wang,
Andrea L. Bertozzi,
James Chapman,
Junyuan Lin,
Bohan Chen,
Chenchen Ye,
Temple Daniel,
P. Jeffrey Brantingham
Abstract:
Narrative data spans all disciplines and provides a coherent model of the world to the reader or viewer. Recent advancement in machine learning and Large Language Models (LLMs) have enable great strides in analyzing natural language. However, Large language models (LLMs) still struggle with complex narrative arcs as well as narratives containing conflicting information. Recent work indicates LLMs…
▽ More
Narrative data spans all disciplines and provides a coherent model of the world to the reader or viewer. Recent advancement in machine learning and Large Language Models (LLMs) have enable great strides in analyzing natural language. However, Large language models (LLMs) still struggle with complex narrative arcs as well as narratives containing conflicting information. Recent work indicates LLMs augmented with external knowledge bases can improve the accuracy and interpretability of the resulting models. In this work, we analyze the effectiveness of applying knowledge graphs (KGs) in understanding true-crime podcast data from both classical Natural Language Processing (NLP) and LLM approaches. We directly compare KG-augmented LLMs (KGLLMs) with classical methods for KG construction, topic modeling, and sentiment analysis. Additionally, the KGLLM allows us to query the knowledge base in natural language and test its ability to factually answer questions. We examine the robustness of the model to adversarial prompting in order to test the model's ability to deal with conflicting information. Finally, we apply classical methods to understand more subtle aspects of the text such as the use of hearsay and sentiment in narrative construction and propose future directions. Our results indicate that KGLLMs outperform LLMs on a variety of metrics, are more robust to adversarial prompts, and are more capable of summarizing the text into topics.
△ Less
Submitted 1 November, 2024;
originally announced November 2024.
-
gSeaGen code by KM3NeT: an efficient tool to propagate muons simulated with CORSIKA
Authors:
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
H. Atmani,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati,
M. Benhassi,
M. Bennani,
D. M. Benoit,
E. Berbee
, et al. (238 additional authors not shown)
Abstract:
The KM3NeT Collaboration has tackled a common challenge faced by the astroparticle physics community, namely adapting the experiment-specific simulation software to work with the CORSIKA air shower simulation output. The proposed solution is an extension of the open source code gSeaGen, which allows the transport of muons generated by CORSIKA to a detector of any size at an arbitrary depth. The gS…
▽ More
The KM3NeT Collaboration has tackled a common challenge faced by the astroparticle physics community, namely adapting the experiment-specific simulation software to work with the CORSIKA air shower simulation output. The proposed solution is an extension of the open source code gSeaGen, which allows the transport of muons generated by CORSIKA to a detector of any size at an arbitrary depth. The gSeaGen code was not only extended in terms of functionality but also underwent a thorough redesign of the muon propagation routine, resulting in a more accurate and efficient simulation. This paper presents the capabilities of the new gSeaGen code as well as prospects for further developments.
△ Less
Submitted 29 April, 2025; v1 submitted 31 October, 2024;
originally announced October 2024.
-
Search for quantum decoherence in neutrino oscillations with six detection units of KM3NeT/ORCA
Authors:
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
H. Atmani,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardacova,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati,
M. Benhassi,
M. Bennani,
D. M. Benoit,
E. Berbee
, et al. (237 additional authors not shown)
Abstract:
Neutrinos described as an open quantum system may interact with the environment which introduces stochastic perturbations to their quantum phase. This mechanism leads to a loss of coherence along the propagation of the neutrino $-$ a phenomenon commonly referred to as decoherence $-$ and ultimately, to a modification of the oscillation probabilities. Fluctuations in space-time, as envisaged by var…
▽ More
Neutrinos described as an open quantum system may interact with the environment which introduces stochastic perturbations to their quantum phase. This mechanism leads to a loss of coherence along the propagation of the neutrino $-$ a phenomenon commonly referred to as decoherence $-$ and ultimately, to a modification of the oscillation probabilities. Fluctuations in space-time, as envisaged by various theories of quantum gravity, are a potential candidate for a decoherence-inducing environment. Consequently, the search for decoherence provides a rare opportunity to investigate quantum gravitational effects which are usually beyond the reach of current experiments. In this work, quantum decoherence effects are searched for in neutrino data collected by the KM3NeT/ORCA detector from January 2020 to November 2021. The analysis focuses on atmospheric neutrinos within the energy range of a few GeV to $100\,\mathrm{GeV}$. Adopting the open quantum system framework, decoherence is described in a phenomenological manner with the strength of the effect given by the parameters $Γ_{21}$ and $Γ_{31}$. Following previous studies, a dependence of the type $Γ_{ij} \propto (E/E_0)^n$ on the neutrino energy is assumed and the cases $n = -2,-1$ are explored. No significant deviation with respect to the standard oscillation hypothesis is observed. Therefore, $90\,\%$ CL upper limits are estimated as $Γ_{21} < 4.6\cdot 10^{-21}\,$GeV and $Γ_{31} < 8.4\cdot 10^{-21}\,$GeV for $n = -2$, and $Γ_{21} < 1.9\cdot 10^{-22}\,$GeV and $Γ_{31} < 2.7\cdot 10^{-22}\,$GeV for $n = -1$, respectively.
△ Less
Submitted 3 October, 2024; v1 submitted 2 October, 2024;
originally announced October 2024.
-
Measurement of neutrino oscillation parameters with the first six detection units of KM3NeT/ORCA
Authors:
KM3NeT Collaboration,
S. Aiello,
A. Albert,
A. R. Alhebsi,
M. Alshamsi,
S. Alves Garre,
A. Ambrosone,
F. Ameli,
M. Andre,
L. Aphecetche,
M. Ardid,
S. Ardid,
H. Atmani,
J. Aublin,
F. Badaracco,
L. Bailly-Salins,
Z. Bardačová,
B. Baret,
A. Bariego-Quintana,
Y. Becherini,
M. Bendahman,
F. Benfenati,
M. Benhassi,
M. Bennani,
D. M. Benoit
, et al. (238 additional authors not shown)
Abstract:
KM3NeT/ORCA is a water Cherenkov neutrino detector under construction and anchored at the bottom of the Mediterranean Sea. The detector is designed to study oscillations of atmospheric neutrinos and determine the neutrino mass ordering. This paper focuses on an initial configuration of ORCA, referred to as ORCA6, which comprises six out of the foreseen 115 detection units of photo-sensors. A high-…
▽ More
KM3NeT/ORCA is a water Cherenkov neutrino detector under construction and anchored at the bottom of the Mediterranean Sea. The detector is designed to study oscillations of atmospheric neutrinos and determine the neutrino mass ordering. This paper focuses on an initial configuration of ORCA, referred to as ORCA6, which comprises six out of the foreseen 115 detection units of photo-sensors. A high-purity neutrino sample was extracted, corresponding to an exposure of 433 kton-years. The sample of 5828 neutrino candidates is analysed following a binned log-likelihood method in the reconstructed energy and cosine of the zenith angle. The atmospheric oscillation parameters are measured to be $\sin^2θ_{23}= 0.51^{+0.04}_{-0.05}$, and $ Δm^2_{31} = 2.18^{+0.25}_{-0.35}\times 10^{-3}~\mathrm{eV^2} \cup \{-2.25,-1.76\}\times 10^{-3}~\mathrm{eV^2}$ at 68\% CL. The inverted neutrino mass ordering hypothesis is disfavoured with a p-value of 0.25.
△ Less
Submitted 4 October, 2024; v1 submitted 13 August, 2024;
originally announced August 2024.
-
Affinity-aware Serverless Function Scheduling
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
Functions-as-a-Service (FaaS) is a Serverless Cloud paradigm where a platform manages the scheduling (e.g., resource allocation, runtime environments) of stateless functions. Recent work proposed using domain-specific languages to express per-function policies, e.g., policies that enforce the allocation on nodes that enjoy lower latencies to databases and services used by the function. Here, we fo…
▽ More
Functions-as-a-Service (FaaS) is a Serverless Cloud paradigm where a platform manages the scheduling (e.g., resource allocation, runtime environments) of stateless functions. Recent work proposed using domain-specific languages to express per-function policies, e.g., policies that enforce the allocation on nodes that enjoy lower latencies to databases and services used by the function. Here, we focus on affinity-aware scenarios, i.e., where, for performance and functional requirements, the allocation of a function depends on the presence/absence of other functions on nodes.
We present aAPP, an extension of a declarative, platform-agnostic language that captures affinity-aware scheduling at the FaaS level. We implement an aAPP-based prototype on Apache OpenWhisk. Besides proving that a FaaS platform can capture affinity awareness using aAPP and improve performance in affinity-aware scenarios, we use our prototype to show that aAPP imposes no noticeable overhead in scenarios without affinity constraints.
△ Less
Submitted 23 January, 2025; v1 submitted 19 July, 2024;
originally announced July 2024.
-
On the Complexity of Reachability Properties in Serverless Function Scheduling
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
Functions-as-a-Service (FaaS) is a Serverless Cloud paradigm where a platform manages the execution scheduling (e.g., resource allocation, runtime environments) of stateless functions. Recent developments demonstrate the benefits of using domain-specific languages to express per-function scheduling policies, e.g., enforcing the allocation of functions on nodes that enjoy low data-access latencies…
▽ More
Functions-as-a-Service (FaaS) is a Serverless Cloud paradigm where a platform manages the execution scheduling (e.g., resource allocation, runtime environments) of stateless functions. Recent developments demonstrate the benefits of using domain-specific languages to express per-function scheduling policies, e.g., enforcing the allocation of functions on nodes that enjoy low data-access latencies thanks to proximity and connection pooling. We present aAPP, an affinity-aware extension of a platform-agnostic function scheduling language. We formalise its scheduling semantics and then study the complexity of statically checking reachability properties, e.g., useful to verify that trusted and untrusted functions cannot be co-located. Analysing different fragments of aAPP, we show that checking reachability of policies without affinity has linear complexity, while affinity makes the problem PSpace.
△ Less
Submitted 19 July, 2024;
originally announced July 2024.
-
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
Choreographic Programming (CP) is a language paradigm whereby software artefacts, called choreographies, specify the behaviour of communicating participants. CP is famous for its correctness-by-construction approach to the development of concurrent, distributed systems. In this paper, we illustrate FaaSChal, a proposal for a CP language tailored for the case of serverless Function-as-a-Service (Fa…
▽ More
Choreographic Programming (CP) is a language paradigm whereby software artefacts, called choreographies, specify the behaviour of communicating participants. CP is famous for its correctness-by-construction approach to the development of concurrent, distributed systems. In this paper, we illustrate FaaSChal, a proposal for a CP language tailored for the case of serverless Function-as-a-Service (FaaS). In FaaS, developers define a distributed architecture as a collection of stateless functions, leaving to the serverless platform the management of deployment and scaling. We provide a first account of a CP language tailored for the FaaS case via examples that present some of its relevant features, including projection. In addition, we showcase a novel application of CP. We use the choreography as a source to extract information on the infrastructural relations among functions so that we can synthesise policies that strive to minimise their latency while guaranteeing the respect of user-defined constraints.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
FunLess: Functions-as-a-Service for Private Edge Cloud Systems
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
We present FunLess, a Function-as-a-Service (FaaS) platform tailored for the private edge cloud system. FunLess responds to recent trends that advocate for extending the coverage of serverless computing to private edge cloud systems and enhancing latency, security, and privacy while improving resource usage. Unlike existing solutions that rely on containers for function invocation, FunLess leverag…
▽ More
We present FunLess, a Function-as-a-Service (FaaS) platform tailored for the private edge cloud system. FunLess responds to recent trends that advocate for extending the coverage of serverless computing to private edge cloud systems and enhancing latency, security, and privacy while improving resource usage. Unlike existing solutions that rely on containers for function invocation, FunLess leverages WebAssembly (Wasm) as its runtime environment. Wasm's lightweight, sandboxed runtime is crucial to have functions run on constrained devices at the edge. Moreover, the advantages of using Wasm in FunLess include a consistent development and deployment environment for users and function portability (write once, run everywhere)
We validate FunLess under different deployment scenarios, characterised by the presence/absence of constrained-resource devices (Raspberry Pi 3B+) and the (in)accessibility of container orchestration technologies - Kubernetes. We compare FunLess with three production-ready, widely adopted open-source FaaS platforms - OpenFaaS, Fission, and Knative. Our benchmarks confirm that FunLess is a proper solution for FaaS private edge cloud systems since it achieves performance comparable to the considered FaaS alternatives while it is the only fully-deployable alternative on constrained-resource devices, thanks to its small memory footprint.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Influence of Matrix Composition on Microstructural Yielding and Vickers Hardness in Phase Separated Glasses
Authors:
Nicholas L. Clark,
Shih-Yi Chuang,
John C. Mauro
Abstract:
The relationship between matrix phase composition and microstructure yielding in phase separated calcium aluminosilicate glasses is investigated. Varying the treatment temperature of a phase separated glass results in glasses with different microstructures and matrix compositions. The impact of matrix composition on hardness depends on the mode of microstructural deformation. In glasses that defor…
▽ More
The relationship between matrix phase composition and microstructure yielding in phase separated calcium aluminosilicate glasses is investigated. Varying the treatment temperature of a phase separated glass results in glasses with different microstructures and matrix compositions. The impact of matrix composition on hardness depends on the mode of microstructural deformation. In glasses that deform via the droplet-densification mechanism, decreasing the matrix silica content results in a decrease in hardness due to the weakest-link effect and greater amounts of incongruent yielding of the phases. This relationship may act as an additional source of the indentation size effect in phase separated glasses. In glasses that deform via droplet-coalescence, decreasing the matrix silica content results in increasing hardness due to increased coalescence of the droplet phase during yielding.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Serverless Scheduling Policies based on Cost Analysis
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Cosimo Laneve,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
Current proprietary and open-source serverless platforms follow opinionated, hardcoded scheduling policies to deploy the functions to be executed over the available workers. Such policies may decrease the performance and the security of the application due to locality issues (e.g., functions executed by workers far from the databases to be accessed). These limitations are partially overcome by the…
▽ More
Current proprietary and open-source serverless platforms follow opinionated, hardcoded scheduling policies to deploy the functions to be executed over the available workers. Such policies may decrease the performance and the security of the application due to locality issues (e.g., functions executed by workers far from the databases to be accessed). These limitations are partially overcome by the adoption of APP, a new platform-agnostic declarative language that allows serverless platforms to support multiple scheduling logics. Defining the "right" scheduling policy in APP is far from being a trivial task since it often requires rounds of refinement involving knowledge of the underlying infrastructure, guesswork, and empirical testing. In this paper, we start investigating how information derived from static analysis could be incorporated into APP scheduling function policies to help users select the best-performing workers at function allocation. We substantiate our proposal by presenting a pipeline able to extract cost equations from functions' code, synthesising cost expressions through the usage of off-the-shelf solvers, and extending APP allocation policies to consider this information.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Searching for sub-populations within the gamma-ray solar flares catalog: a graph-based clustering analysis
Authors:
Jonathan Mauro,
Gwenhaël de Wasseige
Abstract:
Solar flares are highly energetic events that happen in the solar atmosphere. They are mostly observed as X-ray or gamma-ray bursts located on the Sun's surface. While they are known to be sites of particle acceleration, the acceleration process(es) responsible for the observed fluxes remain unsure. The diversity in shape and duration of the gamma-ray fluxes suggests the existence of distinct phas…
▽ More
Solar flares are highly energetic events that happen in the solar atmosphere. They are mostly observed as X-ray or gamma-ray bursts located on the Sun's surface. While they are known to be sites of particle acceleration, the acceleration process(es) responsible for the observed fluxes remain unsure. The diversity in shape and duration of the gamma-ray fluxes suggests the existence of distinct phases of hadronic acceleration. Moreover, different acceleration processes could explain the differences observed among flares. In this work we search for the evidence of sub-populations within the catalog of gamma-ray solar flares observed by Fermi-LAT. We aim at grouping flares with similar physical properties to be able to probe theoretical models for neutrino production within different classes of flares. We use measurements of the X-ray and gamma-ray fluxes, as well as CMEs and SEPs, to cluster the events using a graph-based algorithm. Furthermore, we investigate the most representative features that characterise the identified sub-populations to allow for qualitative analysis and model development.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Nanoindentation-induced evolution of atomic-level properties in silicate glass: Insights from molecular dynamics simulations
Authors:
Linfeng Ding,
Ranran Lu,
Lianjun Wang,
Qiuju Zheng,
John C. Mauro,
Zhen Zhang
Abstract:
Indentation has been widely used for investigating the mechanical behavior of glasses. However, how the various microscopic properties (such as atomic structure and mechanics) of glass evolve from the immediate contact with the indenter to the far-field regions, and how these observables are correlated to each other remain largely unknown. Here, using large-scale molecular dynamics simulations, we…
▽ More
Indentation has been widely used for investigating the mechanical behavior of glasses. However, how the various microscopic properties (such as atomic structure and mechanics) of glass evolve from the immediate contact with the indenter to the far-field regions, and how these observables are correlated to each other remain largely unknown. Here, using large-scale molecular dynamics simulations, we investigate the response of a prototypical sodium silicate glass under shape contact load up to an indentation depth of 25 nm. Both the short- and intermediate-range structures are found to exhibit notable changes below the indent, indicating that indentation deformation induces a more disordered and heterogeneous network structure. In addition, we find that the indentation-induced changes of local properties all exhibit an exponential decaying behavior with increasing distance from the indent. Comparison of the characteristic decay lengths of these local properties indicates that the structural origins of shear flow and densification are the changes of the network modifier's coordination environment and the inter-tetrahedral connection, respectively. The decay of densification is considerably slower than that of shear strain, implying that the former might contribute more to the deformation at the far-field regions. Our findings not only contribute to an atomistic understanding of the indentation response of silicate glasses but also pave the way towards rational design of damage-resistant glassy materials.
△ Less
Submitted 7 May, 2023;
originally announced May 2023.
-
Modern Definition of Bioactive Glasses and Glass-Ceramics
Authors:
Adam Shearer,
Maziar Montazerian,
John C. Mauro
Abstract:
Bioactive glasses (BGs) and glass-ceramics (BGCs) have become a diverse family of materials being applied for treatment of many medical conditions. The traditional understanding of bioactive glasses and glass-ceramics pins them to bone-bonding capability without considering the other fields where they excel, such as soft tissue repair. We attempt to provide an updated definition of BGs and BGCs by…
▽ More
Bioactive glasses (BGs) and glass-ceramics (BGCs) have become a diverse family of materials being applied for treatment of many medical conditions. The traditional understanding of bioactive glasses and glass-ceramics pins them to bone-bonding capability without considering the other fields where they excel, such as soft tissue repair. We attempt to provide an updated definition of BGs and BGCs by comparing their structure, processing, and properties to those of other biomaterials. The proposed modern definition allows for consideration of all applications where the BGs and BGCs are currently used in the clinic and where the future of these promising biomaterials will grow. The new proposed definition of a bioactive glass is "a non-equilibrium, non-crystalline material that has been designed to induce specific biological activity". The proposed definition of a bioactive glass-ceramic is "an inorganic, non-metallic material that contains at least one crystalline phase within a glassy matrix and has been designed to induce specific biological activity." BGs and BGCs can bond to bone and soft tissues or contribute to their regeneration. They can deliver a specified concentration of inorganic therapeutic ions, heat for magnetic-induced hyperthermia or laser-induced phototherapy, radiation for brachytherapy, and drug delivery to combat pathogens and cancers.
△ Less
Submitted 30 November, 2022;
originally announced December 2022.
-
Topology-aware Serverless Function-Execution Scheduling
Authors:
Giuseppe De Palma,
Saverio Giallorenzo,
Jacopo Mauro,
Matteo Trentin,
Gianluigi Zavattaro
Abstract:
Cloud-edge serverless applications or serverless deployments spanning multiple regions introduce the need to govern the scheduling of functions to satisfy their functional constraints or avoid performance degradation. For instance, functions may require to be allocated to specific private (edge) nodes that have access to specialised resources or to nodes with low latency to access a certain databa…
▽ More
Cloud-edge serverless applications or serverless deployments spanning multiple regions introduce the need to govern the scheduling of functions to satisfy their functional constraints or avoid performance degradation. For instance, functions may require to be allocated to specific private (edge) nodes that have access to specialised resources or to nodes with low latency to access a certain database to decrease the overall latency of the application. State-of-the-art serverless platforms do not support directly the implementation of topological constraints on the scheduling of functions. We address this problem by presenting a declarative language for defining topology-aware, function-specific serverless scheduling policies, called tAPP. Given a tAPP script, a compatible serverless scheduler can enforce different, co-existing topological constraints without requiring ad-hoc platform deployments. We prove our approach feasible by implementing a tAPP-based serverless platform as an extension of the Apache OpenWhisk serverless platform. We show that, compared to vanilla OpenWhisk, our extension does not negatively impact the performance of generic, non-topology-bound serverless scenarios, while it increases the performance of topology-bound ones.
△ Less
Submitted 6 July, 2023; v1 submitted 20 May, 2022;
originally announced May 2022.
-
Graph-based Active Learning for Semi-supervised Classification of SAR Data
Authors:
Kevin Miller,
John Mauro,
Jason Setiadi,
Xoaquin Baca,
Zhan Shi,
Jeff Calder,
Andrea L. Bertozzi
Abstract:
We present a novel method for classification of Synthetic Aperture Radar (SAR) data by combining ideas from graph-based learning and neural network methods within an active learning framework. Graph-based methods in machine learning are based on a similarity graph constructed from the data. When the data consists of raw images composed of scenes, extraneous information can make the classification…
▽ More
We present a novel method for classification of Synthetic Aperture Radar (SAR) data by combining ideas from graph-based learning and neural network methods within an active learning framework. Graph-based methods in machine learning are based on a similarity graph constructed from the data. When the data consists of raw images composed of scenes, extraneous information can make the classification task more difficult. In recent years, neural network methods have been shown to provide a promising framework for extracting patterns from SAR images. These methods, however, require ample training data to avoid overfitting. At the same time, such training data are often unavailable for applications of interest, such as automatic target recognition (ATR) and SAR data. We use a Convolutional Neural Network Variational Autoencoder (CNNVAE) to embed SAR data into a feature space, and then construct a similarity graph from the embedded data and apply graph-based semi-supervised learning techniques. The CNNVAE feature embedding and graph construction requires no labeled data, which reduces overfitting and improves the generalization performance of graph learning at low label rates. Furthermore, the method easily incorporates a human-in-the-loop for active learning in the data-labeling process. We present promising results and compare them to other standard machine learning methods on the Moving and Stationary Target Acquisition and Recognition (MSTAR) dataset for ATR with small amounts of labeled data.
△ Less
Submitted 30 March, 2022;
originally announced April 2022.
-
Instant Loans Can Lift Subjective Well-Being: A Randomized Evaluation of Digital Credit in Nigeria
Authors:
Daniel Björkegren,
Joshua Blumenstock,
Omowunmi Folajimi-Senjobi,
Jacqueline Mauro,
Suraj R. Nair
Abstract:
Digital loans have exploded in popularity across low and middle income countries, providing short term, high interest credit via mobile phones. This paper reports the results of a randomized evaluation of a digital loan product in Nigeria. Being randomly approved for digital credit (irrespective of credit score) substantially increases subjective well-being after an average of three months. For th…
▽ More
Digital loans have exploded in popularity across low and middle income countries, providing short term, high interest credit via mobile phones. This paper reports the results of a randomized evaluation of a digital loan product in Nigeria. Being randomly approved for digital credit (irrespective of credit score) substantially increases subjective well-being after an average of three months. For those who are approved, being randomly offered larger loans has an insignificant effect. Neither treatment significantly impacts other measures of welfare. We rule out large short-term impacts either positive or negative: on income and expenditures, resilience, and women's economic empowerment.
△ Less
Submitted 27 February, 2022;
originally announced February 2022.
-
On the evaluation of (meta-)solver approaches
Authors:
Roberto Amadini,
Maurizio Gabbrielli,
Tong Liu,
Jacopo Mauro
Abstract:
Meta-solver approaches exploits a number of individual solvers to potentially build a better solver. To assess the performance of meta-solvers, one can simply adopt the metrics typically used for individual solvers (e.g., runtime or solution quality), or employ more specific evaluation metrics (e.g., by measuring how close the meta-solver gets to its virtual best performance). In this paper, based…
▽ More
Meta-solver approaches exploits a number of individual solvers to potentially build a better solver. To assess the performance of meta-solvers, one can simply adopt the metrics typically used for individual solvers (e.g., runtime or solution quality), or employ more specific evaluation metrics (e.g., by measuring how close the meta-solver gets to its virtual best performance). In this paper, based on some recently published works, we provide an overview of different performance metrics for evaluating (meta-)solvers, by underlying their strengths and weaknesses.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
A probabilistic formalization of contextual bias in forensic analysis: Evidence that examiner bias leads to systemic bias in the criminal justice system
Authors:
Maria Cuellar,
Jacqueline Mauro,
Amanda Luby
Abstract:
Although researchers have found evidence contextual bias in forensic science, the discussion of contextual bias is currently qualitative. We formalize years of empirical research and extend this research by showing quantitatively how biases can be propagated throughout the legal system, all the way up to the final determination of guilt in a criminal trial. We provide a probabilistic framework for…
▽ More
Although researchers have found evidence contextual bias in forensic science, the discussion of contextual bias is currently qualitative. We formalize years of empirical research and extend this research by showing quantitatively how biases can be propagated throughout the legal system, all the way up to the final determination of guilt in a criminal trial. We provide a probabilistic framework for describing how information is updated in a forensic analysis setting by using the ratio form of Bayes' rule. We analyze results from empirical studies using our framework and use simulations to demonstrate how bias can be compounded where experiments do not exist. We find that even minor biases in the earlier stages of forensic analysis lead to large, compounded biases in the final determination of guilt in a criminal trial.
△ Less
Submitted 5 November, 2021;
originally announced November 2021.
-
Viscosity of Silica and Doped Silica Melts: Evidence for a Crossover Temperature
Authors:
John C. Mauro,
Charles R. Kurkjian,
Prabhat K. Gupta,
Walter Kob
Abstract:
Silica is known as the archetypal strong liquid, exhibiting an Arrhenius viscosity curve with a high glass transition temperature and constant activation energy. However, given the ideally isostatic nature of the silica network, the presence of even a small concentration of defects can lead to a significant decrease in both the glass transition temperature and activation energy for viscous flow. T…
▽ More
Silica is known as the archetypal strong liquid, exhibiting an Arrhenius viscosity curve with a high glass transition temperature and constant activation energy. However, given the ideally isostatic nature of the silica network, the presence of even a small concentration of defects can lead to a significant decrease in both the glass transition temperature and activation energy for viscous flow. To understand the impact of trace level dopants on the viscosity of silica, we measure the viscosity-temperature curves for seven silica glass samples having different impurities, including four natural and three synthetic samples. Depending on the type of dopant, the glass transition temperature can vary by nearly 300 K. A common crossover is found for all viscosity curves around ~2200-2500 K, which we attribute to a change of the transport mechanism in the melt from being dominated by intrinsic defects at high temperature to dopant-induced defects at low temperatures.
△ Less
Submitted 21 August, 2021;
originally announced August 2021.
-
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version)
Authors:
Lorenzo Bacchiani,
Mario Bravetti,
Saverio Giallorenzo,
Jacopo Mauro,
Iacopo Talevi,
Gianluigi Zavattaro
Abstract:
In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Maurizio Gabbrielli) we develop a novel approach for run-time global adaptation of microservice applications, based on synthesis of architecture-level reconfiguration orchestrations. More precisely, we devise an algorithm…
▽ More
In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Maurizio Gabbrielli) we develop a novel approach for run-time global adaptation of microservice applications, based on synthesis of architecture-level reconfiguration orchestrations. More precisely, we devise an algorithm for automatic reconfiguration that reaches a target system Maximum Computational Load by performing optimal deployment orchestrations. To conceive and simulate our approach, we introduce a novel integrated timed architectural modeling/execution language based on an extension of the actor-based object-oriented Abstract Behavioral Specification (ABS) language. In particular, we realize a timed extension of SmartDeployer, whose ABS code annotations make it possible to express architectural properties. Our Timed SmartDeployer tool fully integrates time features of ABS and architectural annotations by generating timed deployment orchestrations. We evaluate the applicability of our approach on a realistic microservice application taken from the literature: an Email Pipeline Processing System. We prove its effectiveness by simulating such an application and by comparing architecture-level reconfiguration with traditional local scaling techniques (which detect scaling needs and enact replications at the level of single microservices). Our comparison results show that our approach avoids cascading slowdowns and consequent increased message loss and latency, which affect traditional local scaling.
△ Less
Submitted 4 June, 2021; v1 submitted 26 April, 2021;
originally announced April 2021.
-
A Mixed-method Study on Security and Privacy Practices in Danish Companies
Authors:
Asmita Dalela,
Saverio Giallorenzo,
Oksana Kulyk,
Jacopo Mauro,
Elda Paja
Abstract:
Increased levels of digitalization in society expose companies to new security threats, requiring them to establish adequate security and privacy measures. Additionally, the presence of exogenous forces like new regulations, e.g., GDPR and the global COVID-19 pandemic, pose new challenges for companies that should preserve an adequate level of security while having to adapt to change. In this pape…
▽ More
Increased levels of digitalization in society expose companies to new security threats, requiring them to establish adequate security and privacy measures. Additionally, the presence of exogenous forces like new regulations, e.g., GDPR and the global COVID-19 pandemic, pose new challenges for companies that should preserve an adequate level of security while having to adapt to change. In this paper, we investigate such challenges through a two-phase study in companies located in Denmark -- a country characterized by a high level of digitalization and trust -- focusing on software development and tech-related companies. Our results show a number of issues, most notably i) a misalignment between software developers and management when it comes to the implementation of security and privacy measures, ii) difficulties in adapting company practices in light of implementing GDPR compliance, and iii) different views on the need to adapt security measures to cope with the COVID-19 pandemic.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Wandering and getting lost: the architecture of an app activating local communities on dementia issues
Authors:
Nicklas Sindlev Andersen,
Marco Chiarandini,
Jacopo Mauro
Abstract:
We describe the architecture of Sammen Om Demens (SOD), an application for portable devices aiming at helping persons with dementia when wandering and getting lost through the involvement of caregivers, family members, and ordinary citizens who volunteer.
To enable the real-time detection of a person with dementia that has lost orientation, we transfer location data at high frequency from a fron…
▽ More
We describe the architecture of Sammen Om Demens (SOD), an application for portable devices aiming at helping persons with dementia when wandering and getting lost through the involvement of caregivers, family members, and ordinary citizens who volunteer.
To enable the real-time detection of a person with dementia that has lost orientation, we transfer location data at high frequency from a frontend on the smartphone of a person with dementia to a backend system. The backend system must be able to cope with the high throughput data and carry out possibly heavy computations for the detection of anomalous behavior via artificial intelligence techniques. This sets certain performance and architectural requirements on the design of the backend.
In the paper, we discuss our design and implementation choices for the backend of SOD that involve microservices and serverless services to achieve efficiency and scalability. We give evidence of the achieved goals by deploying the SOD backend on a public cloud and measuring the performance on simulated load tests.
△ Less
Submitted 25 October, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
sunny-as2: Enhancing SUNNY for Algorithm Selection
Authors:
Tong Liu,
Roberto Amadini,
Jacopo Mauro,
Maurizio Gabbrielli
Abstract:
SUNNY is an Algorithm Selection (AS) technique originally tailored for Constraint Programming (CP). SUNNY enables to schedule, from a portfolio of solvers, a subset of solvers to be run on a given CP problem. This approach has proved to be effective for CP problems, and its parallel version won many gold medals in the Open category of the MiniZinc Challenge -- the yearly international competition…
▽ More
SUNNY is an Algorithm Selection (AS) technique originally tailored for Constraint Programming (CP). SUNNY enables to schedule, from a portfolio of solvers, a subset of solvers to be run on a given CP problem. This approach has proved to be effective for CP problems, and its parallel version won many gold medals in the Open category of the MiniZinc Challenge -- the yearly international competition for CP solvers. In 2015, the ASlib benchmarks were released for comparing AS systems coming from disparate fields (e.g., ASP, QBF, and SAT) and SUNNY was extended to deal with generic AS problems. This led to the development of sunny-as2, an algorithm selector based on SUNNY for ASlib scenarios. A preliminary version of sunny-as2 was submitted to the Open Algorithm Selection Challenge (OASC) in 2017, where it turned out to be the best approach for the runtime minimization of decision problems. In this work, we present the technical advancements of sunny-as2, including: (i) wrapper-based feature selection; (ii) a training approach combining feature selection and neighbourhood size configuration; (iii) the application of nested cross-validation. We show how sunny-as2 performance varies depending on the considered AS scenarios, and we discuss its strengths and weaknesses. Finally, we also show how sunny-as2 improves on its preliminary version submitted to OASC.
△ Less
Submitted 12 October, 2021; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Microservice Interface Based Deployment Orchestration
Authors:
Lorenzo Bacchiani,
Mario Bravetti,
Saverio Giallorenzo,
Jacopo Mauro,
Iacopo Talevi,
Gianluigi Zavattaro
Abstract:
Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component interface functional dependences, we develop a formal model specifically tailored for microservice architectures. The first result that we obtain is decidability of the problem of synthesizing optimal deployment orchestrat…
▽ More
Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component interface functional dependences, we develop a formal model specifically tailored for microservice architectures. The first result that we obtain is decidability of the problem of synthesizing optimal deployment orchestrations for microservice architectures, a problem that is, instead, undecidable for generic component-based applications. We, thus, show how optimal deployment orchestrations can be synthesized and how, by using such orchestrations we can devise a procedure for run-time adaptation based on performing global reconfigurations. Finally, we evaluate the applicability of our approach on a realistic microservice architecture taken from the literature. In particular, we use the high-level object-oriented probabilistic and timed process algebra Abstract Behavioural Specification (ABS) to model such a case study and to simulate it. The results of simulation show the advantages of global reconfiguration w.r.t. local adaptation.
△ Less
Submitted 29 September, 2020; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Anomaly detection in Context-aware Feature Models
Authors:
Jacopo Mauro
Abstract:
Feature Models are a mechanism to organize the configuration space and facilitate the construction of software variants by describing configuration options using features, i.e., a name representing a functionality. The development of Feature Models is an error prone activity and detecting their anomalies is a challenging and important task needed to promote their usage.
Recently, Feature Models…
▽ More
Feature Models are a mechanism to organize the configuration space and facilitate the construction of software variants by describing configuration options using features, i.e., a name representing a functionality. The development of Feature Models is an error prone activity and detecting their anomalies is a challenging and important task needed to promote their usage.
Recently, Feature Models have been extended with context to capture the correlation of configuration options with contextual influences and user customizations. Unfortunately, this extension makes the task of detecting anomalies harder. In this paper, we formalize the anomaly analysis in Context-aware Feature Models and we show how Quantified Boolean Formula (QBF) solvers can be used to detect anomalies without relying on iterative calls to a SAT solver. By extending the reconfigurator engine HyVarRec, we present findings evidencing that QBF solvers can outperform the common techniques for anomaly analysis.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Lazy Product Discovery in Huge Configuration Spaces
Authors:
Michael Lienhardt,
Ferruccio Damiani,
Einar Broch Johnsen,
Jacopo Mauro
Abstract:
Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a valid product configuration for some selected options can be complex and error prone. The configuration space can be organized using a feature model, fragmented into smaller interdependent feature models reflecting the conf…
▽ More
Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a valid product configuration for some selected options can be complex and error prone. The configuration space can be organized using a feature model, fragmented into smaller interdependent feature models reflecting the configuration options of each subsystem.
We propose a method for lazy product discovery in large fragmented feature models with interdependent features. We formalize the method and prove its soundness and completeness. The evaluation explores an industrial-size configuration space. The results show that lazy product discovery has significant performance benefits compared to standard product discovery, which in contrast to our method requires all fragments to be composed to analyze the feature model. Furthermore, the method succeeds when more efficient, heuristics-based engines fail to find a valid configuration.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Ion Exchange in Silicate Glasses: Physics of Ion Concentration, Residual Stress, and Refractive Index Profiles
Authors:
Guglielmo Macrelli,
Arun K. Varshneya,
John C. Mauro
Abstract:
A systematic review of main physical effects generated by ion exchange in silicate glasses is presented. Ion concentration distributions, residual stress profiles, and refractive index effects are discussed with particular attention on the physical and mathematical underpinnings of the ion exchange process. The study has the purpose of presenting a scientific foundation to enable future developmen…
▽ More
A systematic review of main physical effects generated by ion exchange in silicate glasses is presented. Ion concentration distributions, residual stress profiles, and refractive index effects are discussed with particular attention on the physical and mathematical underpinnings of the ion exchange process. The study has the purpose of presenting a scientific foundation to enable future developments in the field. In this respect, the objective of this article is more educational than to present new research results. Appendixes are included to consider the detail of some specific topics without disrupting the continuity of the overall discussion. Despite the review approach of this study, some original topics are included, such as the concentration distribution with variable boundary conditions and residual stress profile with anomalies due to different relaxation mechanisms, viz., either isochoric and non-isochoric and stress driven or free energy driven. The time scale of the different relaxation mechanisms results, for some specific glass chemical compositions, in the appearance of a subsurface compression maximum progressively moving apart from glass surface and eventually turning in a reversal from compression into tensile state upon prolonged ion exchange processes. Finally, a broad discussion on optical effects induced by ion exchange is presented, paying particular attention to the possibility of experimental determination of residual stress profile.
△ Less
Submitted 25 February, 2020; v1 submitted 19 February, 2020;
originally announced February 2020.
-
An augmented filled function for global nonlinear integer optimization
Authors:
Juan Di Mauro,
Hugo D. Scolnik
Abstract:
The problem of finding global minima of nonlinear discrete functions arises in many fields of practical matters. In recent years, methods based on discrete filled functions become popular as ways of solving these sort of problems. However, they rely on the steepest descent method for local searches. Here we present an approach that does not depend on a particular local optimization method, and a n…
▽ More
The problem of finding global minima of nonlinear discrete functions arises in many fields of practical matters. In recent years, methods based on discrete filled functions become popular as ways of solving these sort of problems. However, they rely on the steepest descent method for local searches. Here we present an approach that does not depend on a particular local optimization method, and a new discrete filled function with the useful property that a good continuous global optimization algorithm applied to it leads to an approximation of the solution of the nonlinear discrete problem. Numerical results are given showing the efficiency of the new approach.
△ Less
Submitted 25 March, 2020; v1 submitted 31 January, 2020;
originally announced January 2020.
-
Canonical form of modular hyperbolas with an application to integer factorization
Authors:
Juan Di Mauro
Abstract:
For a composite $n$ and an odd $c$ with $c$ not dividing $n$, the number of solutions to the equation $n+a\equiv b\mod c$ with $a,b$ quadratic residues modulus $c$ is calculated. We establish a direct relation with those modular solutions and the distances between points of a modular hyperbola. Furthermore, for certain composite moduli $c$, an asymptotic formula for quotients between the number of…
▽ More
For a composite $n$ and an odd $c$ with $c$ not dividing $n$, the number of solutions to the equation $n+a\equiv b\mod c$ with $a,b$ quadratic residues modulus $c$ is calculated. We establish a direct relation with those modular solutions and the distances between points of a modular hyperbola. Furthermore, for certain composite moduli $c$, an asymptotic formula for quotients between the number of solutions and $c$ is provided. Finally, an algorithm for integer factorization using such solutions is presented.
△ Less
Submitted 15 April, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Prediction of Glass Elasticity from Free Energy Density of Topological Constraints
Authors:
Collin J. Wilkinson,
Qiuju Zheng,
Liping Huang,
John. C. Mauro
Abstract:
Despite the critical importance of the elastic properties of modern materials, there is not a singular model that can predict the modulus to an accuracy needed for industrial glass design. To address this problem, we propose an approach to calculate the elastic modulus based on the free energy density of topological constraints in the glass-forming network. Our approach shows quantitatively accura…
▽ More
Despite the critical importance of the elastic properties of modern materials, there is not a singular model that can predict the modulus to an accuracy needed for industrial glass design. To address this problem, we propose an approach to calculate the elastic modulus based on the free energy density of topological constraints in the glass-forming network. Our approach shows quantitatively accurate agreement with glasses across a variety of compositional families. Moreover, using temperature-dependent constraint theory, the temperature dependence of the modulus can also be predicted. Our approach is general and theoretically can be applied to any network glass.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Optimal and Automated Deployment for Microservices
Authors:
Mario Bravetti,
Saverio Giallorenzo,
Jacopo Mauro,
Iacopo Talevi,
Gianluigi Zavattaro
Abstract:
Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper, we formalize these practices and show that automated deployment - proven undecidable in the general case - is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a mi…
▽ More
Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper, we formalize these practices and show that automated deployment - proven undecidable in the general case - is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a microservice is split into two phases: (i) creation, which entails establishing initial connections with already available microservices, and (ii) subsequent binding/unbinding with other microservices. To illustrate the applicability of our approach, we implement an automatic optimal deployment tool and compute deployment plans for a realistic microservice architecture, modeled in the Abstract Behavioral Specification (ABS) language.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
Instrumental Variable Methods using Dynamic Interventions
Authors:
Jacqueline A Mauro,
Edward H Kennedy,
Daniel Nagin
Abstract:
Recent work on dynamic interventions has greatly expanded the range of causal questions researchers can study while weakening identifying assumptions and yielding effects that are more practically relevant. However, most work in dynamic interventions to date has focused on settings where we directly alter some unconfounded treatment of interest. In policy analysis, decision makers rarely have this…
▽ More
Recent work on dynamic interventions has greatly expanded the range of causal questions researchers can study while weakening identifying assumptions and yielding effects that are more practically relevant. However, most work in dynamic interventions to date has focused on settings where we directly alter some unconfounded treatment of interest. In policy analysis, decision makers rarely have this level of control over behaviors or access to experimental data. Instead, they are often faced with treatments they can affect only indirectly and whose effects must be learned from observational data. In this paper, we propose new estimands and estimators of causal effects based on dynamic interventions with instrumental variables. This method does not rely on parametric models and does not require an experiment. Instead, we estimate the effect of a dynamic intervention on the instrument. This robustness should reassure policy makers that these estimates can be used to effectively inform policy. We demonstrate the usefulness of this estimation strategy in a case study examining the effect of visitation on recidivism.
△ Less
Submitted 8 July, 2019; v1 submitted 3 November, 2018;
originally announced November 2018.
-
Temperature-Modulated Differential Scanning Calorimetry Analysis of High-Temperature Silicate Glasses
Authors:
Tobias K. Bechgaard,
Ozgur Gulbiten,
John C. Mauro,
Yushu Hu,
Mathieu Bauchy,
Morten M. Smedskjaer
Abstract:
Differential scanning calorimetry (DSC) is one of the most versatile probes for silicate glasses, allowing determination of, e.g., transition temperatures (glass, crystallization, melting) and the temperature dependence of heat capacity. However, complications arise for glasses featuring overlapping transitions and low sensitivity, e.g., arising from SiO2-rich compositions with small change in hea…
▽ More
Differential scanning calorimetry (DSC) is one of the most versatile probes for silicate glasses, allowing determination of, e.g., transition temperatures (glass, crystallization, melting) and the temperature dependence of heat capacity. However, complications arise for glasses featuring overlapping transitions and low sensitivity, e.g., arising from SiO2-rich compositions with small change in heat capacity during glass transition or the low sensitivity of thermocouples at high temperature. These challenges might be overcome using temperature-modulated DSC (TM-DSC), which enables separation of overlapping signals and improved sensitivity at the expense of increased measurement duration.
△ Less
Submitted 3 May, 2018;
originally announced May 2018.
-
Statistical Mechanics of Topological Fluctuations in Glass-Forming Liquids
Authors:
Katelyn A. Kirchner,
Seong H. Kim,
John C. Mauro
Abstract:
All liquids are topologically disordered materials; however, the degree of disorder can vary as a result of internal fluctuations in structure and topology. These fluctuations depend on both the composition and temperature of the system. Most prior work has considered the mean values of liquid or glass properties, such as the average number of topological degrees of freedom per atom; however, the…
▽ More
All liquids are topologically disordered materials; however, the degree of disorder can vary as a result of internal fluctuations in structure and topology. These fluctuations depend on both the composition and temperature of the system. Most prior work has considered the mean values of liquid or glass properties, such as the average number of topological degrees of freedom per atom; however, the localized fluctuations in properties also play a key role in governing the macroscopic characteristics of any glass-forming system. This paper proposes a generalized approach for modeling topological fluctuations in glass-forming liquids by linking the statistical mechanics of the disordered structure to topological constraint theory. In doing so we introduce the contributions of localized fluctuations into the calculation of the topological degrees of freedoms in the network. With this approach the full distribution of properties in the disordered network can be calculated as an arbitrary function of composition, temperature, and thermal history (for the nonequilibrium glassy state). The scope of this current investigation focuses on describing topological fluctuations in liquids, concentrating on composition and temperature effects.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Workplace Accidents and Self-Organized Criticality
Authors:
John C. Mauro,
Brett Diehl,
Richard F. Marcellin,
Daniel J. Vaughn
Abstract:
The occurrence of workplace accidents is described within the context of self-organized criticality, a theory from statistical physics that governs a wide range of phenomena across physics, biology, geosciences, economics, and the social sciences. Workplace accident data from the U.S. Bureau of Labor Statistics reveal a power-law relationship between the number of accidents and their severity as m…
▽ More
The occurrence of workplace accidents is described within the context of self-organized criticality, a theory from statistical physics that governs a wide range of phenomena across physics, biology, geosciences, economics, and the social sciences. Workplace accident data from the U.S. Bureau of Labor Statistics reveal a power-law relationship between the number of accidents and their severity as measured by the number of days lost from work. This power-law scaling is indicative of workplace accidents being governed by self-organized criticality, suggesting that nearly all workplace accidents have a common underlying cause, independent of their severity. Such power-law scaling is found for all labor categories documented by the U.S. Bureau of Labor Statistics. Our results provide scientific support for the Heinrich accident triangle, with the practical implication that suppressing the rate of severe accidents requires changing the attitude toward workplace safety in general. By creating a culture that values safety, empowers individuals, and strives to continuously improve, accident rates can be suppressed across the full range of severities.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.
-
On the Prony Series Representation of Stretched Exponential Relaxation
Authors:
John C. Mauro,
Yihong Z. Mauro
Abstract:
Stretched exponential relaxation is a ubiquitous feature of homogeneous glasses. The stretched exponential decay function can be derived from the diffusion-trap model, which predicts certain critical values of the fractional stretching exponent. In practical implementations of glass relaxation models, it is computationally convenient to represent the stretched exponential function as a Prony serie…
▽ More
Stretched exponential relaxation is a ubiquitous feature of homogeneous glasses. The stretched exponential decay function can be derived from the diffusion-trap model, which predicts certain critical values of the fractional stretching exponent. In practical implementations of glass relaxation models, it is computationally convenient to represent the stretched exponential function as a Prony series of simple exponentials. Here, we perform a comprehensive mathematical analysis of the Prony series approximation of the stretched exponential relaxation, including optimized coefficients for certain critical values of the exponent. The fitting quality of the Prony series is analyzed as a function of the number of terms in the series. With a sufficient number of terms, the Prony series can accurately capture the time evolution of the stretched exponential function, including its "fat tail" at long times. However, it is unable to capture the divergence of the first-derivative of the stretched exponential function in the limit of zero time. We also present a frequency-domain analysis of the Prony series representation of the stretched exponential function and discuss its physical implications for the modeling of glass relaxation behavior.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.
-
Rebuttal to Schmelzer and Tropin: Glass Transition, Crystallization of Glass-Forming Melts, and Entropy
Authors:
Edgar D. Zanotto,
John C. Mauro
Abstract:
In a recent article, Schmelzer and Tropin [Entropy 20 [2] 103 (2018)] presented an unfounded, confusing critique of several aspects of modern glass science. Relying on pre-Socratic Greek philosophy and state-of-the-art scientific understanding from the 1920s-1930s, Schmelzer and Tropin propagate an antiquated view of glass physics that is at odds with well-accepted knowledge in the field from both…
▽ More
In a recent article, Schmelzer and Tropin [Entropy 20 [2] 103 (2018)] presented an unfounded, confusing critique of several aspects of modern glass science. Relying on pre-Socratic Greek philosophy and state-of-the-art scientific understanding from the 1920s-1930s, Schmelzer and Tropin propagate an antiquated view of glass physics that is at odds with well-accepted knowledge in the field from both theory and experiments conducted in the post-World War II era. The objective of this short letter is to elucidate and extinguish their critique. This rebuttal is directed to our colleagues and especially to students who might otherwise become confused.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.
-
Stretched Exponential Relaxation of Glasses: Origin of the Mixed Alkali Effect
Authors:
Yingtian Yu,
John C. Mauro,
Mathieu Bauchy
Abstract:
Although it is indeed commonly believed that, as frozen supercooled liquids, glasses should continue to flow over the years (e.g., in the case of the stained-glass windows of medieval cathedrals), the dramatic increase of their viscosity below the glass transition temperature suggests, on the contrary, that their relaxation time is on the order of 10$^{32}$ years at room temperature. However, a re…
▽ More
Although it is indeed commonly believed that, as frozen supercooled liquids, glasses should continue to flow over the years (e.g., in the case of the stained-glass windows of medieval cathedrals), the dramatic increase of their viscosity below the glass transition temperature suggests, on the contrary, that their relaxation time is on the order of 10$^{32}$ years at room temperature. However, a recent study conducted by Mauro et al. reported the intriguing dynamics of the relaxation of a commercial Corning Gorilla Glass at room temperature, over 1.5 years. Here, we report a novel atomistic simulation method allowing us to directly access the long-term (years) dynamics of glass relaxation at room temperature. Based on the simulation of a series of mixed alkali silicate glasses, we demonstrate that room-temperature relaxation is a direct consequence of the mixed alkali effect. Although both volume and energy feature a stretched exponential relaxation, our results reveal a bifurcation of the stretching exponents, with $β$ = 3/5 and 3/7 for energy and volume relaxation, respectively. Relaxation is found to occur through the diffusion of local stressed structural instabilities inside the atomic network, which anneal each other when a compressed atomic unit meets one that is under tension. The driving force for such diffusion-trap relaxation mechanism is found to be at a maximum when the concentrations of each alkali atom equal each other, which arises from a balance between the concentration of each alkali atom and the magnitude of the local stress that they undergo.
△ Less
Submitted 6 January, 2018;
originally announced January 2018.
-
A New Transferable Interatomic Potential for Molecular Dynamics Simulations of Borosilicate Glasses
Authors:
Mengyi Wang,
N. M. Anoop Krishnan,
Bu Wang,
Morten M. Smedskjaer,
John C. Mauro,
Mathieu Bauchy
Abstract:
Borosilicate glasses are traditionally challenging to model using atomic scale simulations due to the composition and thermal history dependence of the coordination state of B atoms. Here, we report a new empirical interatomic potential that shows a good transferability over a wide range of borosilicate glasses--ranging from pure silicate to pure borate end members--while relying on a simple formu…
▽ More
Borosilicate glasses are traditionally challenging to model using atomic scale simulations due to the composition and thermal history dependence of the coordination state of B atoms. Here, we report a new empirical interatomic potential that shows a good transferability over a wide range of borosilicate glasses--ranging from pure silicate to pure borate end members--while relying on a simple formulation and a constant set of energy parameters. In particular, we show that our new potential accurately predicts the compositional dependence of the average coordination number of boron atoms, glass density, overall short-range and medium-range order structure, and shear viscosity values for several borosilicate glasses and liquids. This suggests that our new potential could be used to gain new insights into the structure of a variety of advanced borosilicate glasses to help elucidate composition-structure-property relationships--including in complex nuclear waste immobilization glasses.
△ Less
Submitted 25 March, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
SUNNY-CP and the MiniZinc Challenge
Authors:
Roberto Amadini,
Maurizio Gabbrielli,
Jacopo Mauro
Abstract:
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solvers, especially when multicore architectures are exploited. In this work we give a brief overview of the portfolio solver sunny-cp, and we discuss its performance in the MiniZinc Ch…
▽ More
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solvers, especially when multicore architectures are exploited. In this work we give a brief overview of the portfolio solver sunny-cp, and we discuss its performance in the MiniZinc Challenge---the annual international competition for CP solvers---where it won two gold medals in 2015 and 2016. Under consideration in Theory and Practice of Logic Programming (TPLP)
△ Less
Submitted 5 July, 2017; v1 submitted 26 June, 2017;
originally announced June 2017.
