Showing 1–50 of 53 results for author: Mauro, L

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.

Comments: 28 pages, 4 figures

Hole spin qubits in unstrained Germanium layers

Authors: Lorenzo Mauro, Mauricio J. Rodriguez, Esteban A. Rodriguez-Mena, Yann-Michel Niquet

Abstract: Strained germanium heterostructures are one of the most promising material for hole spin qubits but suffer from the strong anisotropy of the gyromagnetic factors that hinders the optimization of the magnetic field orientation. The figures of merit (Rabi frequencies, lifetimes...) can indeed vary by an order of magnitude within a few degrees around the heterostructure plane. We propose to address t… ▽ More Strained germanium heterostructures are one of the most promising material for hole spin qubits but suffer from the strong anisotropy of the gyromagnetic factors that hinders the optimization of the magnetic field orientation. The figures of merit (Rabi frequencies, lifetimes...) can indeed vary by an order of magnitude within a few degrees around the heterostructure plane. We propose to address this issue by confining the holes at the interface of an unstrained, bulk Ge substrate or thick buffer. We model such structures and show that the gyromagnetic anisotropy is indeed considerably reduced. In addition, the Rabi frequencies and quality factors can be significantly improved with respect to strained heterostructures. This extends the operational range of the qubits and shall ease the scale-up to many-qubit systems. △ Less

Submitted 6 June, 2025; v1 submitted 5 June, 2025; originally announced June 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.

Comments: 11 pages, 4 figures

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.

Comments: 25 pages, 8 figures

On the learning power of Friedman-Stanley jumps

Authors: Vittorio Cipriani, Alberto Marcone, Luca San Mauro

Abstract: Recently, a surprising connection between algorithmic learning of algebraic structures and descriptive set theory has emerged. Following this line of research, we define the learning power of an equivalence relation $E$ on a topological space as the class of isomorphism relations with countably many equivalence classes that are continuously reducible to $E$. In this paper, we describe the learning… ▽ More Recently, a surprising connection between algorithmic learning of algebraic structures and descriptive set theory has emerged. Following this line of research, we define the learning power of an equivalence relation $E$ on a topological space as the class of isomorphism relations with countably many equivalence classes that are continuously reducible to $E$. In this paper, we describe the learning power of the finite Friedman-Stanley jumps of $=_{\mathbb{N}}$ and $=_{\mathbb{N}^\mathbb{N}}$, proving that these equivalence relations learn the families of countable structures that are pairwise distinguished by suitable infinitary sentences. Our proof techniques introduce new ideas for assessing the continuous complexity of Borel equivalence relations. △ Less

Submitted 22 January, 2025; originally announced January 2025.

MSC Class: 03E15; 03C57; 68Q32

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.

Comments: 22 pages, 9 figures

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.

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.

Comments: 31 pages, 13 figures, accepted for publication in Computer Physics Communications

Journal ref: Computer Physics Communications Volume 314, September 2025, 109660

Classifying different criteria for learning algebraic structures

Authors: Nikolay Bazhenov, Vittorio Cipriani, Sanjay Jain, Luca San Mauro, Frank Stephan

Abstract: In the last years there has been a growing interest in the study of learning problems associated with algebraic structures. The framework we use models the scenario in which a learner is given larger and larger fragments of a structure from a given target family and is required to output an hypothesis about the structure's isomorphism type. So far researchers focused on $\mathbf{Ex}$-learning, in… ▽ More In the last years there has been a growing interest in the study of learning problems associated with algebraic structures. The framework we use models the scenario in which a learner is given larger and larger fragments of a structure from a given target family and is required to output an hypothesis about the structure's isomorphism type. So far researchers focused on $\mathbf{Ex}$-learning, in which the learner is asked to eventually stabilize to the correct hypothesis, and on restrictions where the learner is allowed to change the hypothesis a fixed number of times. Yet, other learning paradigms coming from classical algorithmic learning theory remained unexplored. We study the "learning power" of such criteria, comparing them via descriptive-set-theoretic tools thanks to the novel notion of $E$-learnability. The main outcome of this paper is that such criteria admit natural syntactic characterizations in terms of infinitary formulas analogous to the one given for $\mathbf{Ex}$-learning in [6]. Such characterizations give a powerful method to understand whether a family of structure is learnable with respect to the desired criterion. △ Less

Submitted 30 October, 2024; originally announced October 2024.

MSC Class: 68Q32; 03E15

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.

Comments: 17 pages, 5 figures

Analogues of the countable Borel equivalence relations in the setting of computable reducibility

Authors: Uri Andrews, Luca San Mauro

Abstract: Coskey, Hamkins, and Miller [CHM12] proposed two possible analogues of the class of countable Borel equivalence relations in the setting of computable reducibility of equivalence relations on the computably enumerable (c.e.) sets. The first is based on effectivizing the Lusin-Novikov theorem while the latter is based on effectivizing the Feldman-Moore theorem. They asked for an analysis of which d… ▽ More Coskey, Hamkins, and Miller [CHM12] proposed two possible analogues of the class of countable Borel equivalence relations in the setting of computable reducibility of equivalence relations on the computably enumerable (c.e.) sets. The first is based on effectivizing the Lusin-Novikov theorem while the latter is based on effectivizing the Feldman-Moore theorem. They asked for an analysis of which degrees under computable reducibility are attained under each of these notions. We investigate these two notions, in particular showing that the latter notion has a strict dichotomy theorem: Every such equivalence relation is either equivalent to the relation of equality ($=^{ce}$) or almost equality ($E_0^{ce}$) between c.e. sets. For the former notion, we show that this is not true, but rather there are both chains and antichains of such equivalence relations on c.e. sets which are between $=^{ce}$ and $E_0^{ce}$. This gives several strong answers to [CHM12, Question 3.5] showing that in general there is no analogue of the Glimm-Efros dichotomy for equivalence relations on the c.e. sets. △ Less

Submitted 25 September, 2024; originally announced September 2024.

Comments: Accepted for publication in the Proceedings of the American Mathematical Society

MSC Class: 03D30; 03E15

Study of acoustic neutrino detection in O$ν$DE-2 raw acoustic data

Authors: D. Bonanno, L. S. Di Mauro, D. Diego-Tortosa, A. Idrissi, G. Riccobene, S. Sanfilippo, S. Viola

Abstract: Research suggests that acoustic technology may be able to detect ultra-high-energy neutrinos if a large amount of non-linear fluid is analyzed. When a neutrino interacts in water, it creates a quasi-instantaneous cascade of particles, heating that region of the fluid and emitting a tiny acoustic signal. This rapid heating produces a thermoacoustic Bipolar Pulse (BP) with unique characteristics suc… ▽ More Research suggests that acoustic technology may be able to detect ultra-high-energy neutrinos if a large amount of non-linear fluid is analyzed. When a neutrino interacts in water, it creates a quasi-instantaneous cascade of particles, heating that region of the fluid and emitting a tiny acoustic signal. This rapid heating produces a thermoacoustic Bipolar Pulse (BP) with unique characteristics such as a wide bandwidth and a narrow directivity for these frequencies. While dedicated devices for acoustic neutrino detection are currently non-existent, there are a few underwater neutrino telescopes that utilize optical technology, but often with an acoustic positioning system that deploys hydrophones in the infrastructure. The possibility of using them to study a BP caused by a neutrino interaction is currently being discussed. This study aims to evaluate the implementation of a trigger system to detect a possible BP in deep-sea hydrophones. For this, up to 24 hours of the raw acoustic signal recorded by the O$ν$DE-2 station, which was located 25 km off-shore from Catania in the Western Ionian Sea, at 2100 m depth, is analyzed. The station used calibrated hydrophones from a few Hz to 70 kHz. In this work, a synthetic BP is created and added to the experimental data, allowing the study of its detection and the calculation of precision and recall. △ Less

Submitted 5 September, 2024; originally announced September 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.

Comments: 29 pages, 12 figures

Strain engineering in Ge/GeSi spin qubits heterostructures

Authors: Lorenzo Mauro, Esteban A. Rodríguez-Mena, Biel Martinez, Yann-Michel Niquet

Abstract: The heavy-holes in Ge/GeSi heterostructures show highly anisotropic gyromagnetic response with in-plane $g$-factors $g_{x,y}^*\lesssim 0.3$ and out-of-plane $g$-factor $g_z^*\gtrsim 10$. As a consequence, Rabi hot spots and dephasing sweet lines are extremely sharp and call for a careful alignment of the magnetic field in Ge spin qubit devices. We investigate how the $g$-factors can be engineered… ▽ More The heavy-holes in Ge/GeSi heterostructures show highly anisotropic gyromagnetic response with in-plane $g$-factors $g_{x,y}^*\lesssim 0.3$ and out-of-plane $g$-factor $g_z^*\gtrsim 10$. As a consequence, Rabi hot spots and dephasing sweet lines are extremely sharp and call for a careful alignment of the magnetic field in Ge spin qubit devices. We investigate how the $g$-factors can be engineered by strains. We show that uniaxial strains can raise in-plane $g$-factors above unity while leaving $g_z^*$ essentially constant. We discuss how the etching of an elongated mesa in a strained buffer can actually induce uniaxial (but inhomogeneous) strains in the heterostructure. This broadens the operational magnetic field range and enables spin manipulation by shuttling holes between neighboring dots with different $g$-factors. △ Less

Submitted 25 February, 2025; v1 submitted 29 July, 2024; originally announced July 2024.

Comments: 13 pages, 16 figures

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.

Comments: 11 pages, 2 PDF figures. Submitted to JCAP

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 17 October, 2024; v1 submitted 13 February, 2024; originally announced February 2024.

Comments: 20 pages, 30 figures, Published by EPJ-C

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

Geometry of the dephasing sweet spots of spin-orbit qubits

Authors: Lorenzo Mauro, Esteban A. Rodríguez-Mena, Marion Bassi, Vivien Schmitt, Yann-Michel Niquet

Abstract: The dephasing time of spin-orbit qubits is limited by the coupling with electrical and charge noise. However, there may exist "dephasing sweet spots" where the qubit decouples (to first order) from the noise so that the dephasing time reaches a maximum. Here we discuss the nature of the dephasing sweet spots of a spin-orbit qubit electrically coupled to some fluctuator. We characterize the Zeeman… ▽ More The dephasing time of spin-orbit qubits is limited by the coupling with electrical and charge noise. However, there may exist "dephasing sweet spots" where the qubit decouples (to first order) from the noise so that the dephasing time reaches a maximum. Here we discuss the nature of the dephasing sweet spots of a spin-orbit qubit electrically coupled to some fluctuator. We characterize the Zeeman energy $E_\mathrm{Z}$ of this qubit by the tensor $G$ such that $E_\mathrm{Z}=μ_B\sqrt{\vec{B}^\mathrm{T}G\vec{B}}$ (with $μ_B$ the Bohr magneton and $\vec{B}$ the magnetic field), and its response to the fluctuator by the derivative $G^\prime$ of $G$ with respect to the fluctuating field. The geometrical nature of the sweet spots on the unit sphere describing the magnetic field orientation depends on the sign of the eigenvalues of $G^\prime$. We show that sweet spots usually draw lines on this sphere. We then discuss how to characterize the electrical susceptibility of a spin-orbit qubit with test modulations on the gates. We apply these considerations to a Ge/GeSi spin qubit heterostructure, and discuss the prospects for the engineering of sweet spots. △ Less

Submitted 4 April, 2024; v1 submitted 15 December, 2023; originally announced December 2023.

Comments: 12 pages, 5 figures and supplemental material

Journal ref: Phys. Rev. B 109, 155406 (2024)

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.

Comments: 19 pages, 11 figures

Journal ref: JCAP 04 (2024) 026

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.

Comments: 20 pages, 16 figures. v2: Matches version published in EPJC

Journal ref: European Physical Journal C 84, 112 (2024)

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 timestamping 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.

Classifying word problems of finitely generated algebras via computable reducibility

Authors: Valentino Delle Rose, Luca San Mauro, Andrea Sorbi

Abstract: We contribute to a recent research program which aims at revisiting the study of the complexity of word problems, a major area of research in combinatorial algebra, through the lens of the theory of computably enumerable equivalence relations (ceers), which has considerably grown in recent times. To pursue our analysis, we rely on the most popular way of assessing the complexity of ceers, that is… ▽ More We contribute to a recent research program which aims at revisiting the study of the complexity of word problems, a major area of research in combinatorial algebra, through the lens of the theory of computably enumerable equivalence relations (ceers), which has considerably grown in recent times. To pursue our analysis, we rely on the most popular way of assessing the complexity of ceers, that is via computable reducibility on equivalence relations, and its corresponding degree structure (the c-degrees). On the negative side, building on previous work of Kasymov and Khoussainov, we individuate a collection of c-degrees of ceers which cannot be realized by the word problem of any finitely generated algebra of finite type. On the positive side, we show that word problems of finitely generated semigroups realize a collection of c-degrees which embeds rich structures and is large in several reasonable ways. △ Less

Submitted 19 May, 2023; originally announced May 2023.

Comments: 16 pages, forthcoming in the International Journal of Algebra and Computation

Classical Approaches to Chiral Polaritonics

Authors: L. Mauro, J. Fregoni, J. Feist, R. Avriller

Abstract: We provide a theoretical framework based on classical electromagnetism, to describe optical properties of Fabry-Pérot cavities, filled with multilayered and linear chiral materials. We find a formal link between transfer-matrix, scattering-matrix and Green-function approaches to compute the polarization-dependent optical transmission, and cavity-modified circular dichroism signals. We show how gen… ▽ More We provide a theoretical framework based on classical electromagnetism, to describe optical properties of Fabry-Pérot cavities, filled with multilayered and linear chiral materials. We find a formal link between transfer-matrix, scattering-matrix and Green-function approaches to compute the polarization-dependent optical transmission, and cavity-modified circular dichroism signals. We show how general symmetries like Lorentz reciprocity and time-reversal symmetry constrain the modelling of such cavities. We apply this approach to investigate numerically and analytically the properties of various Fabry-Pérot cavities, made of either metallic or helicity-preserving dielectric photonic crystal mirrors. In the latter case, we analyze the onset of chiral cavity-polaritons in terms of partial helicity-preservation of electromagnetic waves reflected at the mirrors interfaces. Our approach is relevant for designing innovative Fabry-Pérot cavities for chiral-sensing, and for probing cavity-modified stereochemistry. △ Less

Submitted 14 March, 2024; v1 submitted 24 April, 2023; originally announced April 2023.

Comments: Updated Figures. Published version

Journal ref: Phys. Rev. A 109, 023528 (2024)

Chiral Discrimination in Helicity-Preserving Fabry-Pérot Cavities

Authors: L. Mauro, J. Fregoni, J. Feist, R. Avriller

Abstract: We theoretically study circular dichroism of chiral molecules embedded inside a helicity-preserving Fabry-Pérot cavity. We find an increase of the intrinsic chiroptical response of the molecules by 2 orders of magnitude and report the first clear signature of chiral cavity polaritons upon entering the regime of strong light-matter coupling. We study a cavity design based on two dielectric photonic… ▽ More We theoretically study circular dichroism of chiral molecules embedded inside a helicity-preserving Fabry-Pérot cavity. We find an increase of the intrinsic chiroptical response of the molecules by 2 orders of magnitude and report the first clear signature of chiral cavity polaritons upon entering the regime of strong light-matter coupling. We study a cavity design based on two dielectric photonic crystal mirrors acting, in a narrow frequency range, as efficient polarization cross-converters in transmission for one polarization and almost perfect reflectors for the other polarization. We show that a Pasteur medium hosted inside such a cavity can couple efficiently to both the outside of the cavity and to the helicity-preserving mode, inheriting an enhanced chiral character. We expect such a device to be useful in the future to design ultrasensitive chiral sensors for optics and stereochemistry. △ Less

Submitted 21 February, 2023; v1 submitted 1 September, 2022; originally announced September 2022.

Journal ref: Phys. Rev. A 107, L021501 (2023)

Red and blue shift in spherical and axisymmetric spacetimes and astrophysical constraints

Authors: Roberto Giambò, Orlando Luongo, Lorenza Mauro

Abstract: We compute the red and blue shifts for astrophysical and cosmological sources. In particular, we consider low, intermediate and high gravitational energy domains. Thereby, we handle the binary system Earth - Mars as low energy landscape whereas white dwarfs and neutron stars as higher energy sources. To this end, we take into account a spherical Schwarzschild - de Sitter spacetime and an axially s… ▽ More We compute the red and blue shifts for astrophysical and cosmological sources. In particular, we consider low, intermediate and high gravitational energy domains. Thereby, we handle the binary system Earth - Mars as low energy landscape whereas white dwarfs and neutron stars as higher energy sources. To this end, we take into account a spherical Schwarzschild - de Sitter spacetime and an axially symmetric Zipoy - Voorhees metric to model all the aforementioned systems. Feasible outcomes come from modelling neutron stars and white dwarfs with the Zipoy - Voorhees metric, where quadrupole effects are relevant, and framing solar system objects using a Schwarzschild - de Sitter spacetime. In the first case, large $δ$ parameters seem to be favorite, leading to acceptable bounds mainly for neutron stars. In the second case, we demonstrate incompatible red and blue shifts with respect to lunar and satellite laser ranging expectations, once the cosmological constant is taken to Planck satellite's best fit. To heal this issue, we suggest coarse-grained experimental setups and propose Phobos for working out satellite laser ranging in order to get more suitable red and blue shift intervals, possibly more compatible than current experimental bounds. Implications to cosmological tensions are also debated. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 18 pages, 6 figures, 9 tables

Journal ref: The Eur. Phys. J. Plus, 137, 612, (2022)

Investigating the computable Friedman-Stanley jump

Authors: Uri Andrews, Luca San Mauro

Abstract: We answer several questions about the computable Friedman-Stanley jump on equivalence relations. This jump, introduced by Clemens, Coskey, and Krakoff, deepens the natural connection between the study of computable reduction and its Borel analog studied deeply in descriptive set theory. We answer several questions about the computable Friedman-Stanley jump on equivalence relations. This jump, introduced by Clemens, Coskey, and Krakoff, deepens the natural connection between the study of computable reduction and its Borel analog studied deeply in descriptive set theory. △ Less

Submitted 23 June, 2022; originally announced June 2022.

Comments: 24 pages

MSC Class: 03D30; 03D55; 03E15

Learning algebraic structures with the help of Borel equivalence relations

Authors: Nikolay Bazhenov, Vittorio Cipriani, Luca San Mauro

Abstract: We study algorithmic learning of algebraic structures. In our framework, a learner receives larger and larger pieces of an arbitrary copy of a computable structure and, at each stage, is required to output a conjecture about the isomorphism type of such a structure. The learning is successful if the conjectures eventually stabilize to a correct guess. We prove that a family of structures is learna… ▽ More We study algorithmic learning of algebraic structures. In our framework, a learner receives larger and larger pieces of an arbitrary copy of a computable structure and, at each stage, is required to output a conjecture about the isomorphism type of such a structure. The learning is successful if the conjectures eventually stabilize to a correct guess. We prove that a family of structures is learnable if and only if its learning domain is continuously reducible to the relation $E_0$ of eventual agreement on reals. This motivates a novel research program, that is, using descriptive set theoretic tools to calibrate the (learning) complexity of nonlearnable families. Here, we focus on the learning power of well-known benchmark Borel equivalence relations (i.e., $E_1$, $E_2$, $E_3$, $Z_0$, and $E_{set}$). △ Less

Submitted 27 October, 2021; originally announced October 2021.

Comments: 28 pages, 3 figures

MSC Class: 68Q32; 03E15

Journal ref: Theoretical Computer Science, vol. 951 (2023), article id 113762

Punctual equivalence relations and their (punctual) complexity

Authors: Nikolay Bazhenov, Keng Meng Ng, Luca San Mauro, Andrea Sorbi

Abstract: The complexity of equivalence relations has received much attention in the recent literature. The main tool for such endeavour is the following reducibility: given equivalence relations $R$ and $S$ on natural numbers, $R$ is computably reducible to $S$ if there is a computable function $f \colon ω\to ω$ that induces an injective map from $R$-equivalence classes to $S$-equivalence classes. In order… ▽ More The complexity of equivalence relations has received much attention in the recent literature. The main tool for such endeavour is the following reducibility: given equivalence relations $R$ and $S$ on natural numbers, $R$ is computably reducible to $S$ if there is a computable function $f \colon ω\to ω$ that induces an injective map from $R$-equivalence classes to $S$-equivalence classes. In order to compare the complexity of equivalence relations which are computable, researchers considered also feasible variants of computable reducibility, such as the polynomial-time reducibility. In this work, we explore $\mathbf{Peq}$, the degree structure generated by primitive recursive reducibility on punctual equivalence relations (i.e., primitive recursive equivalence relations with domain $ω$). In contrast with all other known degree structures on equivalence relations, we show that $\mathbf{Peq}$ has much more structure: e.g., we show that it is a dense distributive lattice. On the other hand, we also offer evidence of the intricacy of $\mathbf{Peq}$, proving, e.g., that the structure is neither rigid nor homogeneous. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: 37 pages

MSC Class: 03D25; 03D30

Journal ref: Computability, vol. 11 (2022), no. 3-4, pp. 187-221

Approximating approximate reasoning: Fuzzy sets and the Ershov hierarchy

Authors: Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev, Luca San Mauro

Abstract: Computability theorists have introduced multiple hierarchies to measure the complexity of sets of natural numbers. The Kleene Hierarchy classifies sets according to the first-order complexity of their defining formulas. The Ershov Hierarchy classifies $Δ^0_2$ sets with respect to the number of mistakes that are needed to approximate them. Biacino and Gerla extended the Kleene Hierarchy to the real… ▽ More Computability theorists have introduced multiple hierarchies to measure the complexity of sets of natural numbers. The Kleene Hierarchy classifies sets according to the first-order complexity of their defining formulas. The Ershov Hierarchy classifies $Δ^0_2$ sets with respect to the number of mistakes that are needed to approximate them. Biacino and Gerla extended the Kleene Hierarchy to the realm of fuzzy sets, whose membership functions range in a complete lattice $L$ (e.g., the real interval $[0; 1]_\mathbb{R}$). In this paper, we combine the Ershov Hierarchy and fuzzy set theory, by introducing and investigating the Fuzzy Ershov Hierarchy. In particular, we focus on the fuzzy $n$-c.e. sets which form the finite levels of this hierarchy. Intuitively, a fuzzy set is $n$-c.e. if its membership function can be approximated by changing monotonicity at most $n-1$ times. We prove that the Fuzzy Ershov Hierarchy does not collapse; that, in analogy with the classical case, each fuzzy $n$-c.e. set can be represented as a Boolean combination of fuzzy c.e. sets; but that, contrary to the classical case, the Fuzzy Ershov Hierarchy does not exhaust the class of all $Δ^0_2$ fuzzy sets. △ Less

Submitted 21 July, 2021; originally announced July 2021.

Comments: 11 pages

MSC Class: 03E72; 03D55

Journal ref: Logic, Rationality, and Interaction. LORI 2021 (eds. S. Ghosh and T. Icard). Lecture Notes in Computer Science, vol. 13039, pp. 1-13

On the Turing complexity of learning finite families of algebraic structures

Authors: Nikolay Bazhenov, Luca San Mauro

Abstract: In previous work, we have combined computable structure theory and algorithmic learning theory to study which families of algebraic structures are learnable in the limit (up to isomorphism). In this paper, we measure the computational power that is needed to learn finite families of structures. In particular, we prove that, if a family of structures is both finite and learnable, then any oracle wh… ▽ More In previous work, we have combined computable structure theory and algorithmic learning theory to study which families of algebraic structures are learnable in the limit (up to isomorphism). In this paper, we measure the computational power that is needed to learn finite families of structures. In particular, we prove that, if a family of structures is both finite and learnable, then any oracle which computes the Halting set is able to achieve such a learning. On the other hand, we construct a pair of structures which is learnable but no computable learner can learn it. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Comments: 11 pages, 1 figure, accepted for publication in the Journal of Logic and Computation

MSC Class: 68Q32; 03D45

On the structure of computable reducibility on equivalence relations of natural numbers

Authors: Uri Andrews, Daniel Belin, Luca San Mauro

Abstract: We examine the degree structure $\mathbf{ER}$ of equivalence relations on $ω$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not have a join but that some incomparable degrees do, and we characterize the degrees which have a join with every finite equivalence relation. We show that the natural c… ▽ More We examine the degree structure $\mathbf{ER}$ of equivalence relations on $ω$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not have a join but that some incomparable degrees do, and we characterize the degrees which have a join with every finite equivalence relation. We show that the natural classes of finite, light, and dark degrees are definable in $\mathbf{ER}$. We show that every equivalence relation has continuum many self-full strong minimal covers, and that $\mathbf{d}\oplus \mathbf{Id_1}$ needn't be a strong minimal cover of a self-full degree $\mathbf{d}$. Finally, we show that the theory of the degree structure $\mathbf{ER}$ as well as the theories of the substructures of light degrees and of dark degrees are each computably isomorphic with second order arithmetic. △ Less

Submitted 23 June, 2022; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: 30 pages, accepted for publication in The Journal of Symbolic Logic

MSC Class: 03D55

A note on the category of equivalence relations

Authors: Valentino Delle Rose, Luca San Mauro, Andrea Sorbi

Abstract: We make some beginning observations about the category $\mathbb{E}\mathrm{q}$ of equivalence relations on the set of natural numbers, where a morphism between two equivalence relations $R,S$ is a mapping from the set of $R$-equivalence classes to that of $S$-equivalence classes, which is induced by a computable function. We also consider some full subcategories of $\mathbb{E}\mathrm{q}$, such as t… ▽ More We make some beginning observations about the category $\mathbb{E}\mathrm{q}$ of equivalence relations on the set of natural numbers, where a morphism between two equivalence relations $R,S$ is a mapping from the set of $R$-equivalence classes to that of $S$-equivalence classes, which is induced by a computable function. We also consider some full subcategories of $\mathbb{E}\mathrm{q}$, such as the category $\mathbb{E}\mathrm{q}(Σ^0_1)$ of computably enumerable equivalence relations (called ceers), the category $\mathbb{E}\mathrm{q}(Π^0_1)$ of co-computably enumerable equivalence relations, and the category $\mathbb{E}\mathrm{q}(\mathrm{Dark}^*)$ whose objects are the so-called dark ceers plus the ceers with finitely many equivalence classes. Although in all these categories the monomorphisms coincide with the injective morphisms, we show that in $\mathbb{E}\mathrm{q}(Σ^0_1)$ the epimorphisms coincide with the onto morphisms, but in $\mathbb{E}\mathrm{q}(Π^0_1)$ there are epimorphisms that are not onto. Moreover, $\mathbb{E}\mathrm{q}$, $\mathbb{E}\mathrm{q}(Σ^0_1)$, and $\mathbb{E}\mathrm{q}(\mathrm{Dark}^*)$ are closed under finite products, binary coproducts, and coequalizers, but we give an example of two morphisms in $\mathbb{E}\mathrm{q}(Π^0_1)$ whose coequalizer in $\mathbb{E}\mathrm{q}$ is not an object of $\mathbb{E}\mathrm{q}(Π^0_1)$. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Comments: 14 pages, forthcoming in Algebra and Logic

MSC Class: 03D55

Traversable wormholes with vanishing sound speed in $f(R)$ gravity

Authors: Salvatore Capozziello, Orlando Luongo, Lorenza Mauro

Abstract: We derive exact traversable wormhole solutions in the framework of $f(R)$ gravity with no exotic matter and with stable conditions over the geometric fluid entering the throat. For this purpose, we propose power-law $f(R)$ models and two possible approaches for the shape function $b(r)/r$. The first approach makes use of an inverse power law function, namely $b(r)/r\sim r^{-1-β}$. The second one a… ▽ More We derive exact traversable wormhole solutions in the framework of $f(R)$ gravity with no exotic matter and with stable conditions over the geometric fluid entering the throat. For this purpose, we propose power-law $f(R)$ models and two possible approaches for the shape function $b(r)/r$. The first approach makes use of an inverse power law function, namely $b(r)/r\sim r^{-1-β}$. The second one adopts Padé approximants, used to characterize the shape function in a model-independent way. We single out the $P(0,1)$ approximant where the fluid perturbations are negligible within the throat, if the sound speed vanishes at $r=r_0$. The former guarantees an overall stability of the geometrical fluid into the wormhole. Finally we get suitable bounds over the parameters of the model for the above discussed cases. In conclusion, we find that small deviations from General Relativity give stable solutions. △ Less

Submitted 27 December, 2020; originally announced December 2020.

Comments: 11 pages, 2 figures

Charge-Transfer Chemical Reactions in Nanofluidic Fabry-P{é}rot Cavities

Authors: L Mauro, K Caicedo, G Jonusauskas, Rémi Avriller

Abstract: We investigate the chemical reactivity of molecular populations confined inside a nanofluidic Fabry-P{é}rot cavity. Due to strong light-matter interactions developing between a resonant electromagnetic cavity-mode and the electric dipole moment of the confined molecules, a polariton is formed. The former gets dressed by environmental vibrational and rotational degrees of freedom of the solvent. We… ▽ More We investigate the chemical reactivity of molecular populations confined inside a nanofluidic Fabry-P{é}rot cavity. Due to strong light-matter interactions developing between a resonant electromagnetic cavity-mode and the electric dipole moment of the confined molecules, a polariton is formed. The former gets dressed by environmental vibrational and rotational degrees of freedom of the solvent. We call the resulting polariton dressed by its cloud of environmental excitation a ''reacton'', since it further undergoes chemical reactions. We characterize how the reacton formation modifies the kinetics of a photoisomerization chemical reaction involving an elementary charge-transfer process. We show that the reaction driving-force and reorganization energy are both modulated optically by the reactant concentration, the vacuum Rabi splitting and the de-tuning between the Fabry-P{é}rot cavity frequency and targeted electronic transition. Finally, we compute the ultrafast picosecond dynamics of the whole photochemical reaction. We predict that despite optical cavity losses and solvent-mediated non-radiative relaxation, measurable signatures of the reacton formation can be found in state-of-the-art pump-probe experiments. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Journal ref: Phys. Rev. B 103, 165412 (2021)

Word problems and ceers

Authors: Valentino Delle Rose, Luca San Mauro, Andrea Sorbi

Abstract: This note addresses the issue as to which ceers can be realized by word problems of computably enumerable (or, simply, c.e.) structures (such as c.e. semigroups, groups, and rings), where being realized means to fall in the same reducibility degree (under the notion of reducibility for equivalence relations usually called "computable reducibility"), or in the same isomorphism type (with the isomor… ▽ More This note addresses the issue as to which ceers can be realized by word problems of computably enumerable (or, simply, c.e.) structures (such as c.e. semigroups, groups, and rings), where being realized means to fall in the same reducibility degree (under the notion of reducibility for equivalence relations usually called "computable reducibility"), or in the same isomorphism type (with the isomorphism induced by a computable function), or in the same strong isomorphism type (with the isomorphism induced by a computable permutation of the natural numbers). We observe for instance that every ceer is isomorphic to the word problem of some c.e. semigroup, but (answering a question of Gao and Gerdes) not every ceer is in the same reducibility degree of the word problem of some finitely presented semigroup, nor is it in the same reducibility degree of some non-periodic semigroup. We also show that the ceer provided by provable equivalence of Peano Arithmetic is in the same strong isomorphism type as the word problem of some non-commutative and non-Boolean c.e. ring. △ Less

Submitted 14 June, 2020; originally announced June 2020.

Comments: 22 pages

Robustness of soil ecosystems under different regimes of management

Authors: Letizia Stella Di Mauro, Christian Mulder, Erminia Conti, Alessandro Pluchino

Abstract: In this study three soil ecosystems, that differ in the type of management, have been compared in the attempt to understand if and how anthropogenic action affects them. The structure of the corresponding food webs was analyzed and their robustness was calculated through the use of a dynamic model. With regard to the topology, it has been found that the structure of all three networks is small wor… ▽ More In this study three soil ecosystems, that differ in the type of management, have been compared in the attempt to understand if and how anthropogenic action affects them. The structure of the corresponding food webs was analyzed and their robustness was calculated through the use of a dynamic model. With regard to the topology, it has been found that the structure of all three networks is small world. Furthermore, all three networks have a disassortative nature as expected for foodwebs. The values of the clustering coefficient, of the connectance and of the complexity, together with the calculation of the robustness suggest that the ecosystem related to a fallowed pastures with low pressure management is more robust than two ecosystems related to organic farms subject to middle intensity management. If the evidence suggested by this study was confirmed by further studies, the robustness shown by the networks could be useful for evaluating, from an ecological point of view, the sustainability of the agricultural practices to which the ecosystem is subject. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: 31 pages, 9 Figures

Comparing the isomorphism types of equivalence structures and preorders

Authors: Nikolay Bazhenov, Luca San Mauro

Abstract: A general theme of computable structure theory is to investigate when structures have copies of a given complexity $Γ$. We discuss such problem for the case of equivalence structures and preorders. We show that there is a $Π^0_1$ equivalence structure with no $Σ^0_1$ copy, and in fact that the isomorphism types realized by the $Π^0_1$ equivalence structures coincide with those realized by the… ▽ More A general theme of computable structure theory is to investigate when structures have copies of a given complexity $Γ$. We discuss such problem for the case of equivalence structures and preorders. We show that there is a $Π^0_1$ equivalence structure with no $Σ^0_1$ copy, and in fact that the isomorphism types realized by the $Π^0_1$ equivalence structures coincide with those realized by the $Δ^0_2$ equivalence structures. We also construct a $Σ^0_1$ preorder with no $Π^0_1$ copy. △ Less

Submitted 22 January, 2020; originally announced January 2020.

Comments: 13 pages

MSC Class: 03D45

Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

Authors: Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Mars Yamaleev

Abstract: A standard tool for classifying the complexity of equivalence relations on $ω$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce minimal degrees with respect to computable reducibility. Let $Γ$ be one of the following classes: $Σ^0_α$, $Π^0_α$, $Σ^1_n$, or $Π^1_n$, where $α\geq 2$ is a computable o… ▽ More A standard tool for classifying the complexity of equivalence relations on $ω$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce minimal degrees with respect to computable reducibility. Let $Γ$ be one of the following classes: $Σ^0_α$, $Π^0_α$, $Σ^1_n$, or $Π^1_n$, where $α\geq 2$ is a computable ordinal and $n$ is a non-zero natural number. We prove that there are infinitely many pairwise incomparable minimal equivalence relations that are properly in $Γ$. △ Less

Submitted 26 September, 2019; originally announced September 2019.

Comments: 8 pages

MSC Class: 03D30; 03D55

Degrees of bi-embeddable categoricity

Authors: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Luca San Mauro

Abstract: We investigate the complexity of embeddings between bi-embeddable structures. In analogy with categoricity spectra, we define the bi-embeddable categoricity spectrum of a structure $\mathcal A$ as the family of Turing degrees that compute embeddings between any computable bi-embeddable copies of $\mathcal A$; the degree of bi-embeddable categoricity of $\mathcal A$ is the least degree in this spec… ▽ More We investigate the complexity of embeddings between bi-embeddable structures. In analogy with categoricity spectra, we define the bi-embeddable categoricity spectrum of a structure $\mathcal A$ as the family of Turing degrees that compute embeddings between any computable bi-embeddable copies of $\mathcal A$; the degree of bi-embeddable categoricity of $\mathcal A$ is the least degree in this spectrum (if it exists). We extend many known results about categoricity spectra to the case of bi-embeddability. In particular, we exhibit structures without degree of bi-embeddable categoricity, and we show that every degree d.c.e. above $\mathbf{0}^{(α)}$ for $α$ a computable successor ordinal and $\mathbf{0}^{(λ)}$ for $λ$ a computable limit ordinal is a degree of bi-embeddable categoricity. We also give examples of families of degrees that are not bi-embeddable categoricity spectra. △ Less

Submitted 8 July, 2019; originally announced July 2019.

Comments: 18 pages

MSC Class: 03D45; 03C57

Journal ref: Computability, vol. 10 (2021), no. 1, pp. 1-16

Learning families of algebraic structures from informant

Authors: Nikolay Bazhenov, Ekaterina Fokina, Luca San Mauro

Abstract: We combine computable structure theory and algorithmic learning theory to study learning of families of algebraic structures. Our main result is a model-theoretic characterization of the class $\mathbf{InfEx}_{\cong}$, consisting of the structures whose isomorphism types can be learned in the limit. We show that a family of structures $\mathfrak{K}$ is $\mathbf{InfEx}_{\cong}$-learnable if and onl… ▽ More We combine computable structure theory and algorithmic learning theory to study learning of families of algebraic structures. Our main result is a model-theoretic characterization of the class $\mathbf{InfEx}_{\cong}$, consisting of the structures whose isomorphism types can be learned in the limit. We show that a family of structures $\mathfrak{K}$ is $\mathbf{InfEx}_{\cong}$-learnable if and only if the structures from $\mathfrak{K}$ can be distinguished in terms of their $Σ^{\mathrm{inf}}_2$-theories. We apply this characterization to familiar cases and we show the following: there is an infinite learnable family of distributive lattices; no pair of Boolean algebras is learnable; no infinite family of linear orders is learnable. △ Less

Submitted 4 June, 2020; v1 submitted 5 May, 2019; originally announced May 2019.

Comments: 28 pages, 1 figure, forthcoming in Information and Computation

MSC Class: 68Q32; 03C57

Journal ref: Information and Computation, vol. 275 (2020), article id 104590

Limit Learning Equivalence Structures

Authors: Ekaterina Fokina, Timo Kötzing, Luca San Mauro

Abstract: While most research in Gold-style learning focuses on learning formal languages, we consider the identification of computable structures, specifically equivalence structures. In our core model the learner gets more and more information about which pairs of elements of a structure are related and which are not. The aim of the learner is to find (an effective description of) the isomorphism type of… ▽ More While most research in Gold-style learning focuses on learning formal languages, we consider the identification of computable structures, specifically equivalence structures. In our core model the learner gets more and more information about which pairs of elements of a structure are related and which are not. The aim of the learner is to find (an effective description of) the isomorphism type of the structure presented in the limit. In accordance with language learning we call this learning criterion InfEx-learning (explanatory learning from informant). Our main contribution is a complete characterization of which families of equivalence structures are InfEx-learnable. This characterization allows us to derive a bound of $\mathbf{0''}$ on the computational complexity required to learn uniformly enumerable families of equivalence structures. We also investigate variants of InfEx-learning, including learning from text (where the only information provided is which elements are related, and not which elements are not related) and finite learning (where the first actual conjecture of the learner has to be correct). Finally, we show how learning families of structures relates to learning classes of languages by mapping learning tasks for structures to equivalent learning tasks for languages. △ Less

Submitted 21 February, 2019; originally announced February 2019.

Comments: 22 pages, forthcoming in Proceedings of Machine Learning Research

MSC Class: 68Q32; 03C57

Deep execution monitor for robot assistive tasks

Authors: Lorenzo Mauro, Edoardo Alati, Marta Sanzari, Valsamis Ntouskos, Gianluca Massimiani, Fiora Pirri

Abstract: We consider a novel approach to high-level robot task execution for a robot assistive task. In this work we explore the problem of learning to predict the next subtask by introducing a deep model for both sequencing goals and for visually evaluating the state of a task. We show that deep learning for monitoring robot tasks execution very well supports the interconnection between task-level plannin… ▽ More We consider a novel approach to high-level robot task execution for a robot assistive task. In this work we explore the problem of learning to predict the next subtask by introducing a deep model for both sequencing goals and for visually evaluating the state of a task. We show that deep learning for monitoring robot tasks execution very well supports the interconnection between task-level planning and robot operations. These solutions can also cope with the natural non-determinism of the execution monitor. We show that a deep execution monitor leverages robot performance. We measure the improvement taking into account some robot helping tasks performed at a warehouse. △ Less

Submitted 7 February, 2019; originally announced February 2019.

Visual search and recognition for robot task execution and monitoring

Authors: Lorenzo Mauro, Francesco Puja, Simone Grazioso, Valsamis Ntouskos, Marta Sanzari, Edoardo Alati, Fiora Pirri

Abstract: Visual search of relevant targets in the environment is a crucial robot skill. We propose a preliminary framework for the execution monitor of a robot task, taking care of the robot attitude to visually searching the environment for targets involved in the task. Visual search is also relevant to recover from a failure. The framework exploits deep reinforcement learning to acquire a "common sense"… ▽ More Visual search of relevant targets in the environment is a crucial robot skill. We propose a preliminary framework for the execution monitor of a robot task, taking care of the robot attitude to visually searching the environment for targets involved in the task. Visual search is also relevant to recover from a failure. The framework exploits deep reinforcement learning to acquire a "common sense" scene structure and it takes advantage of a deep convolutional network to detect objects and relevant relations holding between them. The framework builds on these methods to introduce a vision-based execution monitoring, which uses classical planning as a backbone for task execution. Experiments show that with the proposed vision-based execution monitor the robot can complete simple tasks and can recover from failures in autonomy. △ Less

Submitted 7 February, 2019; originally announced February 2019.

Journal ref: Frontiers in Artificial Intelligence and Applications 310 (2018) 94-109

Anticipation and next action forecasting in video: an end-to-end model with memory

Authors: Fiora Pirri, Lorenzo Mauro, Edoardo Alati, Valsamis Ntouskos, Mahdieh Izadpanahkakhk, Elham Omrani

Abstract: Action anticipation and forecasting in videos do not require a hat-trick, as far as there are signs in the context to foresee how actions are going to be deployed. Capturing these signs is hard because the context includes the past. We propose an end-to-end network for action anticipation and forecasting with memory, to both anticipate the current action and foresee the next one. Experiments on ac… ▽ More Action anticipation and forecasting in videos do not require a hat-trick, as far as there are signs in the context to foresee how actions are going to be deployed. Capturing these signs is hard because the context includes the past. We propose an end-to-end network for action anticipation and forecasting with memory, to both anticipate the current action and foresee the next one. Experiments on action sequence datasets show excellent results indicating that training on histories with a dynamic memory can significantly improve forecasting performance. △ Less

Submitted 11 January, 2019; originally announced January 2019.

Trial and error mathematics: Dialectical systems and completions of theories

Authors: Jacopo Amidei, Uri Andrews, Duccio Pianigiani, Luca San Mauro, Andrea Sorbi

Abstract: This paper is part of a project that is based on the notion of dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In previous work, we investigated the expressive and computational power of dialectical systems, and we compared them to a new class of systems, that of quasidialectical systems, that enrich Magari's systems with a natural mechanism of revision.… ▽ More This paper is part of a project that is based on the notion of dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In previous work, we investigated the expressive and computational power of dialectical systems, and we compared them to a new class of systems, that of quasidialectical systems, that enrich Magari's systems with a natural mechanism of revision. In the present paper we consider a third class of systems, that of $p$-dialectical systems, that naturally combine features coming from the two other cases. We prove several results about $p$-dialectical systems and the sets that they represent. Then we focus on the completions of first-order theories. In doing so, we consider systems with connectives, i.e. systems that encode the rules of classical logic. We show that any consistent system with connectives represents the completion of a given theory. We prove that dialectical and $q$-dialectical systems coincide with respect to the completions that they can represent. Yet, $p$-dialectical systems are more powerful: we exhibit a $p$-dialectical system representing a completion of Peano Arithmetic which is neither dialectical nor $q$-dialectical. △ Less

Submitted 16 October, 2018; originally announced October 2018.

Comments: 28 pages, forthcoming in the Journal of Logic and Computation

MSC Class: 03D99; 03A99

Classifying equivalence relations in the Ershov hierarchy

Authors: Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Andrea Sorbi, Mars Yamaleev

Abstract: Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility $\leq_c$. This gives rise to a rich degree-structure. In this paper, we lift the study of $c$-degrees to the $Δ^0_2$ case. In doing so, we rely on the Ershov hierarchy. For any notation $a$ for a non-zero computable ordina… ▽ More Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility $\leq_c$. This gives rise to a rich degree-structure. In this paper, we lift the study of $c$-degrees to the $Δ^0_2$ case. In doing so, we rely on the Ershov hierarchy. For any notation $a$ for a non-zero computable ordinal, we prove several algebraic properties of the degree-structure induced by $\leq_c$ on the $Σ^{-1}_{a}\smallsetminus Π^{-1}_a$ equivalence relations. A special focus of our work is on the (non)existence of infima and suprema of $c$-degrees. △ Less

Submitted 8 October, 2018; originally announced October 2018.

Comments: 35 pages

MSC Class: 03D30 (Primary); 03D55 (Secondary)

Journal ref: Archive for Mathematical Logic, vol. 59 (2020), no. 7-8, pp. 835-864

A Game of Tax Evasion: evidences from an agent-based model

Authors: L. S. Di Mauro, A. Pluchino, A. E. Biondo

Abstract: This paper presents a simple agent-based model of an economic system, populated by agents playing different games according to their different view about social cohesion and tax payment. After a first set of simulations, correctly replicating results of existing literature, a wider analysis is presented in order to study the effects of a dynamic-adaptation rule, in which citizens may possibly deci… ▽ More This paper presents a simple agent-based model of an economic system, populated by agents playing different games according to their different view about social cohesion and tax payment. After a first set of simulations, correctly replicating results of existing literature, a wider analysis is presented in order to study the effects of a dynamic-adaptation rule, in which citizens may possibly decide to modify their individual tax compliance according to individual criteria, such as, the strength of their ethical commitment, the satisfaction gained by consumption of the public good and the perceived opinion of neighbors. Results show the presence of thresholds levels in the composition of society - between taxpayers and evaders - which explain the extent of damages deriving from tax evasion. △ Less

Submitted 21 September, 2018; originally announced September 2018.

Comments: 19 pages, 11 figures