-
Identification and reconstruction of low-energy electrons in the ProtoDUNE-SP detector
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo,
J. Anderson
, et al. (1235 additional authors not shown)
Abstract:
Measurements of electrons from $ν_e$ interactions are crucial for the Deep Underground Neutrino Experiment (DUNE) neutrino oscillation program, as well as searches for physics beyond the standard model, supernova neutrino detection, and solar neutrino measurements. This article describes the selection and reconstruction of low-energy (Michel) electrons in the ProtoDUNE-SP detector. ProtoDUNE-SP is…
▽ More
Measurements of electrons from $ν_e$ interactions are crucial for the Deep Underground Neutrino Experiment (DUNE) neutrino oscillation program, as well as searches for physics beyond the standard model, supernova neutrino detection, and solar neutrino measurements. This article describes the selection and reconstruction of low-energy (Michel) electrons in the ProtoDUNE-SP detector. ProtoDUNE-SP is one of the prototypes for the DUNE far detector, built and operated at CERN as a charged particle test beam experiment. A sample of low-energy electrons produced by the decay of cosmic muons is selected with a purity of 95%. This sample is used to calibrate the low-energy electron energy scale with two techniques. An electron energy calibration based on a cosmic ray muon sample uses calibration constants derived from measured and simulated cosmic ray muon events. Another calibration technique makes use of the theoretically well-understood Michel electron energy spectrum to convert reconstructed charge to electron energy. In addition, the effects of detector response to low-energy electron energy scale and its resolution including readout electronics threshold effects are quantified. Finally, the relation between the theoretical and reconstructed low-energy electron energy spectrum is derived and the energy resolution is characterized. The low-energy electron selection presented here accounts for about 75% of the total electron deposited energy. After the addition of lost energy using a Monte Carlo simulation, the energy resolution improves from about 40% to 25% at 50~MeV. These results are used to validate the expected capabilities of the DUNE far detector to reconstruct low-energy electrons.
△ Less
Submitted 31 May, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Fundamental Limits of Low-Rank Matrix Estimation with Diverging Aspect Ratios
Authors:
Andrea Montanari,
Yuchen Wu
Abstract:
We consider the problem of estimating the factors of a low-rank $n \times d$ matrix, when this is corrupted by additive Gaussian noise. A special example of our setting corresponds to clustering mixtures of Gaussians with equal (known) covariances. Simple spectral methods do not take into account the distribution of the entries of these factors and are therefore often suboptimal. Here, we characte…
▽ More
We consider the problem of estimating the factors of a low-rank $n \times d$ matrix, when this is corrupted by additive Gaussian noise. A special example of our setting corresponds to clustering mixtures of Gaussians with equal (known) covariances. Simple spectral methods do not take into account the distribution of the entries of these factors and are therefore often suboptimal. Here, we characterize the asymptotics of the minimum estimation error under the assumption that the distribution of the entries is known to the statistician.
Our results apply to the high-dimensional regime $n, d \to \infty$ and $d / n \to \infty$ (or $d / n \to 0$) and generalize earlier work that focused on the proportional asymptotics $n, d \to \infty$, $d / n \to δ\in (0, \infty)$. We outline an interesting signal strength regime in which $d / n \to \infty$ and partial recovery is possible for the left singular vectors while impossible for the right singular vectors.
We illustrate the general theory by deriving consequences for Gaussian mixture clustering and carrying out a numerical study on genomics data.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
Dimension free ridge regression
Authors:
Chen Cheng,
Andrea Montanari
Abstract:
Random matrix theory has become a widely useful tool in high-dimensional statistics and theoretical machine learning. However, random matrix theory is largely focused on the proportional asymptotics in which the number of columns grows proportionally to the number of rows of the data matrix. This is not always the most natural setting in statistics where columns correspond to covariates and rows t…
▽ More
Random matrix theory has become a widely useful tool in high-dimensional statistics and theoretical machine learning. However, random matrix theory is largely focused on the proportional asymptotics in which the number of columns grows proportionally to the number of rows of the data matrix. This is not always the most natural setting in statistics where columns correspond to covariates and rows to samples. With the objective to move beyond the proportional asymptotics, we revisit ridge regression ($\ell_2$-penalized least squares) on i.i.d. data $(x_i, y_i)$, $i\le n$, where $x_i$ is a feature vector and $y_i = β^\top x_i +ε_i \in\mathbb{R}$ is a response. We allow the feature vector to be high-dimensional, or even infinite-dimensional, in which case it belongs to a separable Hilbert space, and assume either $z_i := Σ^{-1/2}x_i$ to have i.i.d. entries, or to satisfy a certain convex concentration property. Within this setting, we establish non-asymptotic bounds that approximate the bias and variance of ridge regression in terms of the bias and variance of an `equivalent' sequence model (a regression model with diagonal design matrix). The approximation is up to multiplicative factors bounded by $(1\pm Δ)$ for some explicitly small $Δ$. Previously, such an approximation result was known only in the proportional regime and only up to additive errors: in particular, it did not allow to characterize the behavior of the excess risk when this converges to $0$. Our general theory recovers earlier results in the proportional regime (with better error rates). As a new application, we obtain a completely explicit and sharp characterization of ridge regression for Hilbert covariates with regularly varying spectrum. Finally, we analyze the overparametrized near-interpolation setting and obtain sharp `benign overfitting' guarantees.
△ Less
Submitted 15 March, 2024; v1 submitted 16 October, 2022;
originally announced October 2022.
-
Toward the ultimate reach of current imaging atmospheric Cherenkov telescopes and their sensitivity to TeV dark matter
Authors:
Alessandro Montanari,
Emmanuel Moulin,
Nicholas L. Rodd
Abstract:
Indirect detection opens a unique window for probing thermal dark matter (DM): the same annihilation process that determined the relic abundance in the early Universe drives the present day astrophysical signal. While TeV-scale particles weakly coupled to the Standard Model face undoubted challenges from decades of null searches, the scenario remains compelling, and simple realizations such as Hig…
▽ More
Indirect detection opens a unique window for probing thermal dark matter (DM): the same annihilation process that determined the relic abundance in the early Universe drives the present day astrophysical signal. While TeV-scale particles weakly coupled to the Standard Model face undoubted challenges from decades of null searches, the scenario remains compelling, and simple realizations such as Higgsino DM remain largely unexplored. The fate of such scenarios could be determined by gamma-ray observations of the centre of the Milky Way with Imaging Atmospheric Cherenkov Telescopes (IACTs). We consider the ultimate sensitivity of current IACTs to a broad range of TeV-scale DM candidates - including specific ones such as the Wino, Higgsino, and Quintuplet. To do so, we use realistic mock H.E.S.S.-like observations of the inner Milky Way halo, and provide a careful assessment of the impact of recent Milky Way mass modeling, instrumental and astrophysical background uncertainties in the Galactic Center region, and the theoretical uncertainty on the predicted signal. We find that the dominant systematic for IACT searches in the inner Galaxy is the unknown distribution of DM in that region, however, beyond this the searches are currently statistically dominated indicating a continued benefit from more observations. For two-body final states at $1~{\rm TeV}$, we find a H.E.S.S.-like observatory is sensitive to $\langle σv \rangle \sim 3 \times 10^{-26}-4 \times 10^{-25}~{\rm cm}^3{\rm s}^{-1}$, except for neutrino final states, although we find results competitive with ANTARES. In addition, the thermal masses for the Wino and Quintuplet can be probed; the Higgsino continues to be out of reach by at least a factor of a few. Our conclusions are also directly relevant to the next generation Cherenkov Telescope Array, which remains well positioned to be the discovery instrument for thermal DM.
△ Less
Submitted 22 January, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Controller Synthesis for Timeline-based Games
Authors:
Renato Acampora,
Luca Geatti,
Nicola Gigante,
Angelo Montanari,
Valentino Picotti
Abstract:
In the timeline-based approach to planning, originally born in the space sector, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints. Traditional timeline-based planning systems excel at the integration of planning with execution by handling temporal uncertainty. In order to handle general nondeterminism as well, the concept of timeline-…
▽ More
In the timeline-based approach to planning, originally born in the space sector, the evolution over time of a set of state variables (the timelines) is governed by a set of temporal constraints. Traditional timeline-based planning systems excel at the integration of planning with execution by handling temporal uncertainty. In order to handle general nondeterminism as well, the concept of timeline-based games has been recently introduced. It has been proved that finding whether a winning strategy exists for such games is 2EXPTIME-complete. However, a concrete approach to synthesize controllers implementing such strategies is missing. This paper fills this gap, outlining an approach to controller synthesis for timeline-based games.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Gamma-ray observations of MAXI J1820+070 during the 2018 outburst
Authors:
H. Abe,
S. Abe,
V. A. Acciari,
T. Aniello,
S. Ansoldi,
L. A. Antonelli,
A. Arbet Engels,
C. Arcaro,
M. Artero,
K. Asano,
D. Baack,
A. Babić,
A. Baquero,
U. Barres de Almeida,
J. A. Barrio,
I. Batković,
J. Baxter,
J. Becerra González,
W. Bednarek,
E. Bernardini,
M. Bernardos,
A. Berti,
J. Besenrieder,
W. Bhattacharyya,
C. Bigongiari
, et al. (418 additional authors not shown)
Abstract:
MAXI J1820+070 is a low-mass X-ray binary with a black hole as a compact object. This binary underwent an exceptionally bright X-ray outburst from March to October 2018, showing evidence of a non-thermal particle population through its radio emission during this whole period. The combined results of 59.5 hours of observations of the MAXI J1820+070 outburst with the H.E.S.S., MAGIC and VERITAS expe…
▽ More
MAXI J1820+070 is a low-mass X-ray binary with a black hole as a compact object. This binary underwent an exceptionally bright X-ray outburst from March to October 2018, showing evidence of a non-thermal particle population through its radio emission during this whole period. The combined results of 59.5 hours of observations of the MAXI J1820+070 outburst with the H.E.S.S., MAGIC and VERITAS experiments at energies above 200 GeV are presented, together with Fermi-LAT data between 0.1 and 500 GeV, and multiwavelength observations from radio to X-rays. Gamma-ray emission is not detected from MAXI J1820+070, but the obtained upper limits and the multiwavelength data allow us to put meaningful constraints on the source properties under reasonable assumptions regarding the non-thermal particle population and the jet synchrotron spectrum. In particular, it is possible to show that, if a high-energy gamma-ray emitting region is present during the hard state of the source, its predicted flux should be at most a factor of 20 below the obtained Fermi-LAT upper limits, and closer to them for magnetic fields significantly below equipartition. During the state transitions, under the plausible assumption that electrons are accelerated up to ~ 500 GeV, the multiwavelength data and the gamma-ray upper limits lead consistently to the conclusion that a potential high-energy and very-high-energy gamma-ray emitting region should be located at a distance from the black hole ranging between 10^11 and 10^13 cm. Similar outbursts from low-mass X-ray binaries might be detectable in the near future with upcoming instruments such as CTA.
△ Less
Submitted 6 October, 2022; v1 submitted 20 September, 2022;
originally announced September 2022.
-
A first-order logic characterization of safety and co-safety languages
Authors:
Alessandro Cimatti,
Luca Geatti,
Nicola Gigante,
Angelo Montanari,
Stefano Tonetta
Abstract:
Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespread use there are its strong foundational properties: LTL is equivalent to counter-free omega-automata, to star-free omega-regular expressions, and (by Kamp's theorem) to the First-Order Theory of Linear Orders (FO-TLO).…
▽ More
Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespread use there are its strong foundational properties: LTL is equivalent to counter-free omega-automata, to star-free omega-regular expressions, and (by Kamp's theorem) to the First-Order Theory of Linear Orders (FO-TLO). Safety and co-safety languages, where a finite prefix suffices to establish whether a word does not belong or belongs to the language, respectively, play a crucial role in lowering the complexity of problems like model checking and reactive synthesis for LTL. SafetyLTL (resp., coSafetyLTL) is a fragment of LTL where only universal (resp., existential) temporal modalities are allowed, that recognises safety (resp., co-safety) languages only. The main contribution of this paper is the introduction of a fragment of FO-TLO, called SafetyFO, and of its dual coSafetyFO, which are expressively complete with respect to the LTL-definable safety and co-safety languages. We prove that they exactly characterize SafetyLTL and coSafetyLTL, respectively, a result that joins Kamp's theorem, and provides a clearer view of the characterization of (fragments of) LTL in terms of first-order languages. In addition, it gives a direct, compact, and self-contained proof that any safety language definable in LTL is definable in SafetyLTL as well. As a by-product, we obtain some interesting results on the expressive power of the weak tomorrow operator of SafetyLTL, interpreted over finite and infinite words. Moreover, we prove that, when interpreted over finite words, SafetyLTL (resp. coSafetyLTL) devoid of the tomorrow (resp., weak tomorrow) operator captures the safety (resp., co-safety) fragment of LTL over finite words.
△ Less
Submitted 9 August, 2023; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Fine properties of monotone maps arising in optimal transport for non-quadratic costs
Authors:
Cristian E. Gutierrez,
Annamaria Montanari
Abstract:
The cost functions considered are $c(x,y)=h(x-y)$, where $h\in C^2(\mathbb{R}^n)$, homogeneous of degree $p\geq 2$, with a positive definite Hessian in the unit sphere. We study multivalued monotone maps with respect to that cost and establish that they are single-valued almost everywhere. Further consequences are then deduced.
The cost functions considered are $c(x,y)=h(x-y)$, where $h\in C^2(\mathbb{R}^n)$, homogeneous of degree $p\geq 2$, with a positive definite Hessian in the unit sphere. We study multivalued monotone maps with respect to that cost and establish that they are single-valued almost everywhere. Further consequences are then deduced.
△ Less
Submitted 31 May, 2024; v1 submitted 30 July, 2022;
originally announced August 2022.
-
Cryogenic front-end amplifier design for large SiPM arrays in the DUNE FD1-HD photon detection system
Authors:
C. Brizzolari,
P. Carniti,
C. Cattadori,
E. Cristaldo,
A. de la Torre Rojo,
M. Delgado,
A. Falcone,
K. Francis,
N. Gallice,
C. Gotti,
M. Guarise,
E. Montagna,
A. Montanari,
G. Pessina,
M. Pozzato,
J. Smolik,
F. Terranova,
L. Tomassetti,
A. Verdugo de Osa,
D. Warner,
J. Zalesak,
A. Zani,
J. Zuklin,
V. Zutshi
Abstract:
The photon detection system of the first far detector (FD1-HD) of the DUNE experiment will detect scintillation photons produced by particle interactions in a kiloton-scale liquid Argon time projection chamber. The photon detectors of choice are silicon photomultipliers (SiPM), 6$\times$6 mm$^2$ each, arranged in groups of 48, which present a significantly low impedance to the front-end electronic…
▽ More
The photon detection system of the first far detector (FD1-HD) of the DUNE experiment will detect scintillation photons produced by particle interactions in a kiloton-scale liquid Argon time projection chamber. The photon detectors of choice are silicon photomultipliers (SiPM), 6$\times$6 mm$^2$ each, arranged in groups of 48, which present a significantly low impedance to the front-end electronics. This paper details the design of a cryogenic amplifier with exceptionally low white voltage noise of 0.37 nV$\sqrt{Hz}$, based on a silicon-germanium input transistor and a BiCMOS fully differential operational amplifier. It yields excellent single photoelectron resolution even at low overvoltage values. The signal rise time is below 100 ns, and the dynamic range is about 2000 photoelectrons at the typical operating overvoltage. It draws 0.7 mA from a single 3.3 V supply, for a power consumption of 2.4 mW per channel. Simplified models were developed to predict the single photolectron signal shape and the signal to noise ratio, with a good match to measured performance.
△ Less
Submitted 14 November, 2022; v1 submitted 27 July, 2022;
originally announced July 2022.
-
A deep spectromorphological study of the $γ$-ray emission surrounding the young massive stellar cluster Westerlund 1
Authors:
F. Aharonian,
H. Ashkar,
M. Backes,
V. Barbosa Martins,
Y. Becherini,
D. Berge,
B. Bi,
M. Böttcher,
M. de Bony de Lavergne,
F. Bradascio,
R. Brose,
F. Brun,
T. Bulik,
C. Burger-Scheidlin,
F. Cangemi,
S. Caroff,
S. Casanova,
M. Cerruti,
T. Chand,
S. Chandra,
A. Chen,
O. Chibueze,
P. Cristofari,
J. Damascene Mbarubucyeye,
A. Djannati-Ataï
, et al. (134 additional authors not shown)
Abstract:
Young massive stellar clusters are extreme environments and potentially provide the means for efficient particle acceleration. Indeed, they are increasingly considered as being responsible for a significant fraction of cosmic rays (CRs) accelerated within the Milky Way. Westerlund 1, the most massive known young stellar cluster in our Galaxy is a prime candidate for studying this hypothesis. While…
▽ More
Young massive stellar clusters are extreme environments and potentially provide the means for efficient particle acceleration. Indeed, they are increasingly considered as being responsible for a significant fraction of cosmic rays (CRs) accelerated within the Milky Way. Westerlund 1, the most massive known young stellar cluster in our Galaxy is a prime candidate for studying this hypothesis. While the very-high-energy $γ$-ray source HESS J1646-458 has been detected in the vicinity of Westerlund 1 in the past, its association could not be firmly identified. We aim to identify the physical processes responsible for the $γ$-ray emission around Westerlund 1 and thus to better understand the role of massive stellar clusters in the acceleration of Galactic CRs. Using 164 hours of data recorded with the High Energy Stereoscopic System (H.E.S.S.), we carried out a deep spectromorphological study of the $γ$-ray emission of HESS J1646-458. We furthermore employed H I and CO observations of the region to infer the presence of gas that could serve as target material for interactions of accelerated CRs. We detected large-scale ($\sim 2^\circ$ diameter) $γ$-ray emission with a complex morphology, exhibiting a shell-like structure and showing no significant variation with $γ$-ray energy. The combined energy spectrum of the emission extends to several tens of TeV, and is uniform across the entire source region. We did not find a clear correlation of the $γ$-ray emission with gas clouds as identified through H I and CO observations. We conclude that, of the known objects within the region, only Westerlund 1 can explain the bulk of the $γ$-ray emission. Several CR acceleration sites and mechanisms are conceivable, and discussed in detail. (abridged)
△ Less
Submitted 10 November, 2022; v1 submitted 22 July, 2022;
originally announced July 2022.
-
Search for dark matter annihilation signals in the H.E.S.S. Inner Galaxy Survey
Authors:
H. E. S. S. Collaboration,
H. Abdalla,
F. Aharonian,
F. Ait Benkhali,
E. O. Anguner,
C. Armand,
H. Ashkar,
M. Backes,
V. Baghmanyan,
V. Barbosa Martins,
R. Batzofin,
Y. Becherini,
D. Berge,
K. Bernlohr,
B. Bi,
M. Bottcher,
J. Bolmont,
M. de Bony de Lavergne,
R. Brose,
F. Brun,
F. Cangemi,
S. Caroff,
M. Cerruti,
T. Chand,
A. Chen
, et al. (116 additional authors not shown)
Abstract:
The central region of the Milky Way is one of the foremost locations to look for dark matter (DM) signatures. We report the first results on a search for DM particle annihilation signals using new observations from an unprecedented gamma-ray survey of the Galactic Center (GC) region, ${\it i.e.}$, the Inner Galaxy Survey, at very high energies ($\gtrsim$ 100 GeV) performed with the H.E.S.S. array…
▽ More
The central region of the Milky Way is one of the foremost locations to look for dark matter (DM) signatures. We report the first results on a search for DM particle annihilation signals using new observations from an unprecedented gamma-ray survey of the Galactic Center (GC) region, ${\it i.e.}$, the Inner Galaxy Survey, at very high energies ($\gtrsim$ 100 GeV) performed with the H.E.S.S. array of five ground-based Cherenkov telescopes. No significant gamma-ray excess is found in the search region of the 2014-2020 dataset and a profile likelihood ratio analysis is carried out to set exclusion limits on the annihilation cross section $\langle σv\rangle$. Assuming Einasto and Navarro-Frenk-White (NFW) DM density profiles at the GC, these constraints are the strongest obtained so far in the TeV DM mass range. For the Einasto profile, the constraints reach $\langle σv\rangle$ values of $\rm 3.7\times10^{-26} cm^3s^{-1}$ for 1.5 TeV DM mass in the $W^+W^-$ annihilation channel, and $\rm 1.2 \times 10^{-26} cm^3s^{-1}$ for 0.7 TeV DM mass in the $τ^+τ^-$ annihilation channel. With the H.E.S.S. Inner Galaxy Survey, ground-based $γ$-ray observations thus probe $\langle σv\rangle$ values expected from thermal-relic annihilating TeV DM particles.
△ Less
Submitted 21 July, 2022;
originally announced July 2022.
-
Reconstruction of interactions in the ProtoDUNE-SP detector with Pandora
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
B. Ali-Mohammadzadeh,
K. Allison,
S. Alonso Monsalve,
M. AlRashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo
, et al. (1203 additional authors not shown)
Abstract:
The Pandora Software Development Kit and algorithm libraries provide pattern-recognition logic essential to the reconstruction of particle interactions in liquid argon time projection chamber detectors. Pandora is the primary event reconstruction software used at ProtoDUNE-SP, a prototype for the Deep Underground Neutrino Experiment far detector. ProtoDUNE-SP, located at CERN, is exposed to a char…
▽ More
The Pandora Software Development Kit and algorithm libraries provide pattern-recognition logic essential to the reconstruction of particle interactions in liquid argon time projection chamber detectors. Pandora is the primary event reconstruction software used at ProtoDUNE-SP, a prototype for the Deep Underground Neutrino Experiment far detector. ProtoDUNE-SP, located at CERN, is exposed to a charged-particle test beam. This paper gives an overview of the Pandora reconstruction algorithms and how they have been tailored for use at ProtoDUNE-SP. In complex events with numerous cosmic-ray and beam background particles, the simulated reconstruction and identification efficiency for triggered test-beam particles is above 80% for the majority of particle type and beam momentum combinations. Specifically, simulated 1 GeV/$c$ charged pions and protons are correctly reconstructed and identified with efficiencies of 86.1$\pm0.6$% and 84.1$\pm0.6$%, respectively. The efficiencies measured for test-beam data are shown to be within 5% of those predicted by the simulation.
△ Less
Submitted 17 July, 2023; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Optimization of random high-dimensional functions: Structure and algorithms
Authors:
Antonio Auffinger,
Andrea Montanari,
Eliran Subag
Abstract:
Replica symmetry breaking postulates that near optima of spin glass Hamiltonians have an ultrametric structure. Namely, near optima can be associated to leaves of a tree, and the Euclidean distance between them corresponds to the distance along this tree. We survey recent progress towards a rigorous proof of this picture in the context of mixed $p$-spin spin glass models. We focus in particular on…
▽ More
Replica symmetry breaking postulates that near optima of spin glass Hamiltonians have an ultrametric structure. Namely, near optima can be associated to leaves of a tree, and the Euclidean distance between them corresponds to the distance along this tree. We survey recent progress towards a rigorous proof of this picture in the context of mixed $p$-spin spin glass models. We focus in particular on the following topics: $(i)$~The structure of critical points of the Hamiltonian; $(ii)$~The realization of the ultrametric tree as near optima of a suitable TAP free energy; $(iii)$~The construction of efficient optimization algorithm that exploits this picture.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
Overparametrized linear dimensionality reductions: From projection pursuit to two-layer neural networks
Authors:
Andrea Montanari,
Kangjie Zhou
Abstract:
Given a cloud of $n$ data points in $\mathbb{R}^d$, consider all projections onto $m$-dimensional subspaces of $\mathbb{R}^d$ and, for each such projection, the empirical distribution of the projected points. What does this collection of probability distributions look like when $n,d$ grow large?
We consider this question under the null model in which the points are i.i.d. standard Gaussian vecto…
▽ More
Given a cloud of $n$ data points in $\mathbb{R}^d$, consider all projections onto $m$-dimensional subspaces of $\mathbb{R}^d$ and, for each such projection, the empirical distribution of the projected points. What does this collection of probability distributions look like when $n,d$ grow large?
We consider this question under the null model in which the points are i.i.d. standard Gaussian vectors, focusing on the asymptotic regime in which $n,d\to\infty$, with $n/d\toα\in (0,\infty)$, while $m$ is fixed. Denoting by $\mathscr{F}_{m, α}$ the set of probability distributions in $\mathbb{R}^m$ that arise as low-dimensional projections in this limit, we establish new inner and outer bounds on $\mathscr{F}_{m, α}$. In particular, we characterize the Wasserstein radius of $\mathscr{F}_{m,α}$ up to logarithmic factors, and determine it exactly for $m=1$. We also prove sharp bounds in terms of Kullback-Leibler divergence and Rényi information dimension.
The previous question has application to unsupervised learning methods, such as projection pursuit and independent component analysis. We introduce a version of the same problem that is relevant for supervised learning, and prove a sharp Wasserstein radius bound. As an application, we establish an upper bound on the interpolation threshold of two-layers neural networks with $m$ hidden neurons.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
A Friendly Tutorial on Mean-Field Spin Glass Techniques for Non-Physicists
Authors:
Andrea Montanari,
Subhabrata Sen
Abstract:
This tutorial is based on lecture notes written for a class taught in the Statistics Department at Stanford in the Winter Quarter of 2017. The objective was to provide a working knowledge of some of the techniques developed over the last 40 years by theoretical physicists and mathematicians to study mean field spin glasses and their applications to high-dimenensional statistics and statistical lea…
▽ More
This tutorial is based on lecture notes written for a class taught in the Statistics Department at Stanford in the Winter Quarter of 2017. The objective was to provide a working knowledge of some of the techniques developed over the last 40 years by theoretical physicists and mathematicians to study mean field spin glasses and their applications to high-dimenensional statistics and statistical learning.
△ Less
Submitted 25 January, 2024; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Adversarial Examples in Random Neural Networks with General Activations
Authors:
Andrea Montanari,
Yuchen Wu
Abstract:
A substantial body of empirical work documents the lack of robustness in deep learning models to adversarial examples. Recent theoretical work proved that adversarial examples are ubiquitous in two-layers networks with sub-exponential width and ReLU or smooth activations, and multi-layer ReLU networks with sub-exponential width. We present a result of the same type, with no restriction on width an…
▽ More
A substantial body of empirical work documents the lack of robustness in deep learning models to adversarial examples. Recent theoretical work proved that adversarial examples are ubiquitous in two-layers networks with sub-exponential width and ReLU or smooth activations, and multi-layer ReLU networks with sub-exponential width. We present a result of the same type, with no restriction on width and for general locally Lipschitz continuous activations.
More precisely, given a neural network $f(\,\cdot\,;{\boldsymbol θ})$ with random weights ${\boldsymbol θ}$, and feature vector ${\boldsymbol x}$, we show that an adversarial example ${\boldsymbol x}'$ can be found with high probability along the direction of the gradient $\nabla_{\boldsymbol x}f({\boldsymbol x};{\boldsymbol θ})$. Our proof is based on a Gaussian conditioning technique. Instead of proving that $f$ is approximately linear in a neighborhood of ${\boldsymbol x}$, we characterize the joint distribution of $f({\boldsymbol x};{\boldsymbol θ})$ and $f({\boldsymbol x}';{\boldsymbol θ})$ for ${\boldsymbol x}' = {\boldsymbol x}-s({\boldsymbol x})\nabla_{\boldsymbol x}f({\boldsymbol x};{\boldsymbol θ})$.
△ Less
Submitted 22 January, 2023; v1 submitted 31 March, 2022;
originally announced March 2022.
-
Separation of track- and shower-like energy deposits in ProtoDUNE-SP using a convolutional neural network
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
B. Ali-Mohammadzadeh,
T. Alion,
K. Allison,
S. Alonso Monsalve,
M. AlRashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo,
J. Anderson
, et al. (1204 additional authors not shown)
Abstract:
Liquid argon time projection chamber detector technology provides high spatial and calorimetric resolutions on the charged particles traversing liquid argon. As a result, the technology has been used in a number of recent neutrino experiments, and is the technology of choice for the Deep Underground Neutrino Experiment (DUNE). In order to perform high precision measurements of neutrinos in the det…
▽ More
Liquid argon time projection chamber detector technology provides high spatial and calorimetric resolutions on the charged particles traversing liquid argon. As a result, the technology has been used in a number of recent neutrino experiments, and is the technology of choice for the Deep Underground Neutrino Experiment (DUNE). In order to perform high precision measurements of neutrinos in the detector, final state particles need to be effectively identified, and their energy accurately reconstructed. This article proposes an algorithm based on a convolutional neural network to perform the classification of energy deposits and reconstructed particles as track-like or arising from electromagnetic cascades. Results from testing the algorithm on data from ProtoDUNE-SP, a prototype of the DUNE far detector, are presented. The network identifies track- and shower-like particles, as well as Michel electrons, with high efficiency. The performance of the algorithm is consistent between data and simulation.
△ Less
Submitted 30 June, 2022; v1 submitted 31 March, 2022;
originally announced March 2022.
-
Scintillation light detection in the 6-m drift-length ProtoDUNE Dual Phase liquid argon TPC
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
B. Ali-Mohammadzadeh,
T. Alion,
K. Allison,
S. Alonso Monsalve,
M. AlRashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo,
J. Anderson
, et al. (1202 additional authors not shown)
Abstract:
DUNE is a dual-site experiment for long-baseline neutrino oscillation studies, neutrino astrophysics and nucleon decay searches. ProtoDUNE Dual Phase (DP) is a 6x6x6m3 liquid argon time-projection-chamber (LArTPC) that recorded cosmic-muon data at the CERN Neutrino Platform in 2019-2020 as a prototype of the DUNE Far Detector. Charged particles propagating through the LArTPC produce ionization and…
▽ More
DUNE is a dual-site experiment for long-baseline neutrino oscillation studies, neutrino astrophysics and nucleon decay searches. ProtoDUNE Dual Phase (DP) is a 6x6x6m3 liquid argon time-projection-chamber (LArTPC) that recorded cosmic-muon data at the CERN Neutrino Platform in 2019-2020 as a prototype of the DUNE Far Detector. Charged particles propagating through the LArTPC produce ionization and scintillation light. The scintillation light signal in these detectors can provide the trigger for non-beam events. In addition, it adds precise timing capabilities and improves the calorimetry measurements. In ProtoDUNE-DP, scintillation and electroluminescence light produced by cosmic muons in the LArTPC is collected by photomultiplier tubes placed up to 7 m away from the ionizing track. In this paper, the ProtoDUNE-DP photon detection system performance is evaluated with a particular focus on the different wavelength shifters, such as PEN and TPB, and the use of Xe-doped LAr, considering its future use in giant LArTPCs. The scintillation light production and propagation processes are analyzed and a comparison of simulation to data is performed, improving understanding of the liquid argon properties
△ Less
Submitted 3 June, 2022; v1 submitted 30 March, 2022;
originally announced March 2022.
-
A combined approach to the analysis of speech conversations in a contact center domain
Authors:
Andrea Brunello,
Enrico Marzano,
Angelo Montanari,
Guido Sciavicco
Abstract:
The ever more accurate search for deep analysis in customer data is a really strong technological trend nowadays, quite appealing to both private and public companies. This is particularly true in the contact center domain, where speech analytics is an extremely powerful methodology for gaining insights from unstructured data, coming from customer and human agent conversations. In this work, we de…
▽ More
The ever more accurate search for deep analysis in customer data is a really strong technological trend nowadays, quite appealing to both private and public companies. This is particularly true in the contact center domain, where speech analytics is an extremely powerful methodology for gaining insights from unstructured data, coming from customer and human agent conversations. In this work, we describe an experimentation with a speech analytics process for an Italian contact center, that deals with call recordings extracted from inbound or outbound flows. First, we illustrate in detail the development of an in-house speech-to-text solution, based on Kaldi framework, and evaluate its performance (and compare it to Google Cloud Speech API). Then, we evaluate and compare different approaches to the semantic tagging of call transcripts, ranging from classic regular expressions to machine learning models based on ngrams and logistic regression, and propose a combination of them, which is shown to provide a consistent benefit. Finally, a decision tree inducer, called J48S, is applied to the problem of tagging. Such an algorithm is natively capable of exploiting sequential data, such as texts, for classification purposes. The solution is compared with the other approaches and is shown to provide competitive classification performances, while generating highly interpretable models and reducing the complexity of the data preparation phase. The potential operational impact of the whole process is thoroughly examined.
△ Less
Submitted 12 March, 2022;
originally announced March 2022.
-
A Gaseous Argon-Based Near Detector to Enhance the Physics Capabilities of DUNE
Authors:
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
B. Ali-Mohammadzadeh,
T. Alion,
K. Allison,
S. Alonso Monsalve,
M. AlRashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo
, et al. (1220 additional authors not shown)
Abstract:
This document presents the concept and physics case for a magnetized gaseous argon-based detector system (ND-GAr) for the Deep Underground Neutrino Experiment (DUNE) Near Detector. This detector system is required in order for DUNE to reach its full physics potential in the measurement of CP violation and in delivering precision measurements of oscillation parameters. In addition to its critical r…
▽ More
This document presents the concept and physics case for a magnetized gaseous argon-based detector system (ND-GAr) for the Deep Underground Neutrino Experiment (DUNE) Near Detector. This detector system is required in order for DUNE to reach its full physics potential in the measurement of CP violation and in delivering precision measurements of oscillation parameters. In addition to its critical role in the long-baseline oscillation program, ND-GAr will extend the overall physics program of DUNE. The LBNF high-intensity proton beam will provide a large flux of neutrinos that is sampled by ND-GAr, enabling DUNE to discover new particles and search for new interactions and symmetries beyond those predicted in the Standard Model.
△ Less
Submitted 11 March, 2022;
originally announced March 2022.
-
Snowmass Neutrino Frontier: DUNE Physics Summary
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
B. Ali-Mohammadzadeh,
T. Alion,
K. Allison,
S. Alonso Monsalve,
M. AlRashed,
C. Alt,
A. Alton,
R. Alvarez
, et al. (1221 additional authors not shown)
Abstract:
The Deep Underground Neutrino Experiment (DUNE) is a next-generation long-baseline neutrino oscillation experiment with a primary physics goal of observing neutrino and antineutrino oscillation patterns to precisely measure the parameters governing long-baseline neutrino oscillation in a single experiment, and to test the three-flavor paradigm. DUNE's design has been developed by a large, internat…
▽ More
The Deep Underground Neutrino Experiment (DUNE) is a next-generation long-baseline neutrino oscillation experiment with a primary physics goal of observing neutrino and antineutrino oscillation patterns to precisely measure the parameters governing long-baseline neutrino oscillation in a single experiment, and to test the three-flavor paradigm. DUNE's design has been developed by a large, international collaboration of scientists and engineers to have unique capability to measure neutrino oscillation as a function of energy in a broadband beam, to resolve degeneracy among oscillation parameters, and to control systematic uncertainty using the exquisite imaging capability of massive LArTPC far detector modules and an argon-based near detector. DUNE's neutrino oscillation measurements will unambiguously resolve the neutrino mass ordering and provide the sensitivity to discover CP violation in neutrinos for a wide range of possible values of $δ_{CP}$. DUNE is also uniquely sensitive to electron neutrinos from a galactic supernova burst, and to a broad range of physics beyond the Standard Model (BSM), including nucleon decays. DUNE is anticipated to begin collecting physics data with Phase I, an initial experiment configuration consisting of two far detector modules and a minimal suite of near detector components, with a 1.2 MW proton beam. To realize its extensive, world-leading physics potential requires the full scope of DUNE be completed in Phase II. The three Phase II upgrades are all necessary to achieve DUNE's physics goals: (1) addition of far detector modules three and four for a total FD fiducial mass of at least 40 kt, (2) upgrade of the proton beam power from 1.2 MW to 2.4 MW, and (3) replacement of the near detector's temporary muon spectrometer with a magnetized, high-pressure gaseous argon TPC and calorimeter.
△ Less
Submitted 11 March, 2022;
originally announced March 2022.
-
Sampling from the Sherrington-Kirkpatrick Gibbs measure via algorithmic stochastic localization
Authors:
Ahmed El Alaoui,
Andrea Montanari,
Mark Sellke
Abstract:
We consider the Sherrington-Kirkpatrick model of spin glasses at high-temperature and no external field, and study the problem of sampling from the Gibbs distribution $μ$ in polynomial time. We prove that, for any inverse temperature $β<1/2$, there exists an algorithm with complexity $O(n^2)$ that samples from a distribution $μ^{alg}$ which is close in normalized Wasserstein distance to $μ$. Namel…
▽ More
We consider the Sherrington-Kirkpatrick model of spin glasses at high-temperature and no external field, and study the problem of sampling from the Gibbs distribution $μ$ in polynomial time. We prove that, for any inverse temperature $β<1/2$, there exists an algorithm with complexity $O(n^2)$ that samples from a distribution $μ^{alg}$ which is close in normalized Wasserstein distance to $μ$. Namely, there exists a coupling of $μ$ and $μ^{alg}$ such that if $(x,x^{alg})\in\{-1,+1\}^n\times \{-1,+1\}^n$ is a pair drawn from this coupling, then $n^{-1}\mathbb E\{||x-x^{alg}||_2^2\}=o_n(1)$. The best previous results, by Bauerschmidt and Bodineau and by Eldan, Koehler, and Zeitouni, implied efficient algorithms to approximately sample (under a stronger metric) for $β<1/4$.
We complement this result with a negative one, by introducing a suitable "stability" property for sampling algorithms, which is verified by many standard techniques. We prove that no stable algorithm can approximately sample for $β>1$, even under the normalized Wasserstein metric.
Our sampling method is based on an algorithmic implementation of stochastic localization, which progressively tilts the measure $μ$ towards a single configuration, together with an approximate message passing algorithm that is used to approximate the mean of the tilted measure.
△ Less
Submitted 15 February, 2024; v1 submitted 9 March, 2022;
originally announced March 2022.
-
Universality of empirical risk minimization
Authors:
Andrea Montanari,
Basil Saeed
Abstract:
Consider supervised learning from i.i.d. samples $\{{\boldsymbol x}_i,y_i\}_{i\le n}$ where ${\boldsymbol x}_i \in\mathbb{R}^p$ are feature vectors and ${y} \in \mathbb{R}$ are labels. We study empirical risk minimization over a class of functions that are parameterized by $\mathsf{k} = O(1)$ vectors ${\boldsymbol θ}_1, . . . , {\boldsymbol θ}_{\mathsf k} \in \mathbb{R}^p$ , and prove universality…
▽ More
Consider supervised learning from i.i.d. samples $\{{\boldsymbol x}_i,y_i\}_{i\le n}$ where ${\boldsymbol x}_i \in\mathbb{R}^p$ are feature vectors and ${y} \in \mathbb{R}$ are labels. We study empirical risk minimization over a class of functions that are parameterized by $\mathsf{k} = O(1)$ vectors ${\boldsymbol θ}_1, . . . , {\boldsymbol θ}_{\mathsf k} \in \mathbb{R}^p$ , and prove universality results both for the training and test error. Namely, under the proportional asymptotics $n,p\to\infty$, with $n/p = Θ(1)$, we prove that the training error depends on the random features distribution only through its covariance structure. Further, we prove that the minimum test error over near-empirical risk minimizers enjoys similar universality properties. In particular, the asymptotics of these quantities can be computed $-$to leading order$-$ under a simpler model in which the feature vectors ${\boldsymbol x}_i$ are replaced by Gaussian vectors ${\boldsymbol g}_i$ with the same covariance. Earlier universality results were limited to strongly convex learning procedures, or to feature vectors ${\boldsymbol x}_i$ with independent entries. Our results do not make any of these assumptions. Our assumptions are general enough to include feature vectors ${\boldsymbol x}_i$ that are produced by randomized featurization maps. In particular we explicitly check the assumptions for certain random features models (computing the output of a one-layer neural network with random weights) and neural tangent models (first-order Taylor approximation of two-layer networks).
△ Less
Submitted 31 October, 2022; v1 submitted 17 February, 2022;
originally announced February 2022.
-
Time-resolved hadronic particle acceleration in the recurrent Nova RS Ophiuchi
Authors:
H. E. S. S. Collaboration,
F. Aharonian,
F. Ait Benkhali,
E. O. Angüner,
H. Ashkar,
M. Backes,
V. Baghmanyan,
V. Barbosa Martins,
R. Batzofin,
Y. Becherini,
D. Berge,
K. Bernlöhr,
B. Bi,
M. Böttcher,
C. Boisson,
J. Bolmont,
M. de Bony de Lavergne,
M. Breuhaus,
R. Brose,
F. Brun,
S. Caroff,
S. Casanova,
M. Cerruti,
T. Chand,
A. Chen
, et al. (150 additional authors not shown)
Abstract:
Recurrent Novae are repeating thermonuclear explosions in the outer layers of white dwarfs, due to the accretion of fresh material from a binary companion. The shock generated by ejected material slamming into the companion star's wind, accelerates particles to very-high-energies. We report very-high-energy (VHE, $\gtrsim100$\,GeV) gamma rays from the recurrent nova RS\,Ophiuchi up to a month afte…
▽ More
Recurrent Novae are repeating thermonuclear explosions in the outer layers of white dwarfs, due to the accretion of fresh material from a binary companion. The shock generated by ejected material slamming into the companion star's wind, accelerates particles to very-high-energies. We report very-high-energy (VHE, $\gtrsim100$\,GeV) gamma rays from the recurrent nova RS\,Ophiuchi up to a month after its 2021 outburst, using the High Energy Stereoscopic System. The VHE emission has a similar temporal profile to lower-energy GeV emission, indicating a common origin, with a two-day delay in peak flux. These observations constrain models of time-dependent particle energization, favouring a hadronic emission scenario over the leptonic alternative. This confirms that shocks in dense winds provide favourable environments for efficient cosmic-ray acceleration to very-high-energies.
△ Less
Submitted 28 March, 2022; v1 submitted 16 February, 2022;
originally announced February 2022.
-
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
Authors:
L. Bozzelli,
A. Montanari,
A. Peron,
P. Sala
Abstract:
A classic result by Stockmeyer gives a non-elementary lower bound to the emptiness problem for star-free generalized regular expressions. This result is intimately connected to the satisfiability problem for interval temporal logic, notably for formulas that make use of the so-called chop operator. Such an operator can indeed be interpreted as the inverse of the concatenation operation on regular…
▽ More
A classic result by Stockmeyer gives a non-elementary lower bound to the emptiness problem for star-free generalized regular expressions. This result is intimately connected to the satisfiability problem for interval temporal logic, notably for formulas that make use of the so-called chop operator. Such an operator can indeed be interpreted as the inverse of the concatenation operation on regular languages, and this correspondence enables reductions between non-emptiness of star-free generalized regular expressions and satisfiability of formulas of the interval temporal logic of chop under the homogeneity assumption. In this paper, we study the complexity of the satisfiability problem for suitable weakenings of the chop interval temporal logic, that can be equivalently viewed as fragments of Halpern and Shoham interval logic. We first consider the logic $\mathsf{BD}_{hom}$ featuring modalities $B$, for \emph{begins}, corresponding to the prefix relation on pairs of intervals, and $D$, for \emph{during}, corresponding to the infix relation. The homogeneous models of $\mathsf{BD}_{hom}$ naturally correspond to languages defined by restricted forms of regular expressions, that use union, complementation, and the inverses of the prefix and infix relations. Such a fragment has been recently shown to be PSPACE-complete . In this paper, we study the extension $\mathsf{BD}_{hom}$ with the temporal neighborhood modality $A$ (corresponding to the Allen relation \emph{Meets}), and prove that it increases both its expressiveness and complexity. In particular, we show that the resulting logic $\mathsf{BDA}_{hom}$ is EXPSPACE-complete.
△ Less
Submitted 21 March, 2024; v1 submitted 16 February, 2022;
originally announced February 2022.
-
Functional observability and target state estimation in large-scale networks
Authors:
Arthur N. Montanari,
Chao Duan,
Luis A. Aguirre,
Adilson E. Motter
Abstract:
The quantitative understanding and precise control of complex dynamical systems can only be achieved by observing their internal states via measurement and/or estimation. In large-scale dynamical networks, it is often difficult or physically impossible to have enough sensor nodes to make the system fully observable. Even if the system is in principle observable, high-dimensionality poses fundament…
▽ More
The quantitative understanding and precise control of complex dynamical systems can only be achieved by observing their internal states via measurement and/or estimation. In large-scale dynamical networks, it is often difficult or physically impossible to have enough sensor nodes to make the system fully observable. Even if the system is in principle observable, high-dimensionality poses fundamental limits on the computational tractability and performance of a full-state observer. To overcome the curse of dimensionality, we instead require the system to be functionally observable, meaning that a targeted subset of state variables can be reconstructed from the available measurements. Here, we develop a graph-based theory of functional observability, which leads to highly scalable algorithms to i) determine the minimal set of required sensors and ii) design the corresponding state observer of minimum order. Compared to the full-state observer, the proposed functional observer achieves the same estimation quality with substantially less sensing and computational resources, making it suitable for large-scale networks. We apply the proposed methods to the detection of cyber-attacks in power grids from limited phase measurement data and the inference of the prevalence rate of infection during an epidemic under limited testing conditions. The applications demonstrate that the functional observer can significantly scale up our ability to explore otherwise inaccessible dynamical processes on complex networks.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
Evidence for gamma-ray emission from the remnant of Kepler's supernova based on deep H.E.S.S. observations
Authors:
H. E. S. S. Collaboration,
F. Aharonian,
F. Ait Benkhali,
E. O. Anguner,
H. Ashkar,
M. Backes,
V. Barbosa Martins,
R. Batzofin,
Y. Becherini,
D. Berge,
K. Bernloehr,
M. Boettcher,
C. Boisson,
J. Bolmont,
M. de Bony de Lavergne,
M. Breuhaus,
R. Brose,
F. Brun,
T. Bulik,
T. Bylund,
F. Cangemi,
S. Caroff,
S. Casanova,
M. Cerruti,
T. Chand
, et al. (136 additional authors not shown)
Abstract:
Observations with imaging atmospheric Cherenkov telescopes (IACTs) have enhanced our knowledge of nearby supernova (SN) remnants with ages younger than 500 years by establishing Cassiopeia A and the remnant of Tycho's SN as very-high-energy (VHE) gamma-ray sources. The remnant of Kepler's SN, which is the product of the most recent naked-eye supernova in our Galaxy, is comparable in age to the oth…
▽ More
Observations with imaging atmospheric Cherenkov telescopes (IACTs) have enhanced our knowledge of nearby supernova (SN) remnants with ages younger than 500 years by establishing Cassiopeia A and the remnant of Tycho's SN as very-high-energy (VHE) gamma-ray sources. The remnant of Kepler's SN, which is the product of the most recent naked-eye supernova in our Galaxy, is comparable in age to the other two, but is significantly more distant. If the gamma-ray luminosities of the remnants of Tycho's and Kepler's SNe are similar, then the latter is expected to be one of the faintest gamma-ray sources within reach of the current generation IACT arrays.
Here we report evidence at a statistical level of 4.6 sigma for a VHE signal from the remnant of Kepler's SN based on deep observations by the High Energy Stereoscopic System (H.E.S.S.) with an exposure of 152 hours. The measured integral flux above an energy of 226 GeV is ~0.3% of the flux of the Crab Nebula. The spectral energy distribution (SED) reveals a gamma-ray emitting component connecting the VHE emission observed with H.E.S.S. to the emission observed at GeV energies with Fermi-LAT. The overall SED is similar to that of the remnant of Tycho's SN, possibly indicating the same non-thermal emission processes acting in both these young remnants of thermonuclear SNe.
△ Less
Submitted 23 March, 2024; v1 submitted 15 January, 2022;
originally announced January 2022.
-
Statistically Optimal First Order Algorithms: A Proof via Orthogonalization
Authors:
Andrea Montanari,
Yuchen Wu
Abstract:
We consider a class of statistical estimation problems in which we are given a random data matrix ${\boldsymbol X}\in {\mathbb R}^{n\times d}$ (and possibly some labels ${\boldsymbol y}\in{\mathbb R}^n$) and would like to estimate a coefficient vector ${\boldsymbol θ}\in{\mathbb R}^d$ (or possibly a constant number of such vectors). Special cases include low-rank matrix estimation and regularized…
▽ More
We consider a class of statistical estimation problems in which we are given a random data matrix ${\boldsymbol X}\in {\mathbb R}^{n\times d}$ (and possibly some labels ${\boldsymbol y}\in{\mathbb R}^n$) and would like to estimate a coefficient vector ${\boldsymbol θ}\in{\mathbb R}^d$ (or possibly a constant number of such vectors). Special cases include low-rank matrix estimation and regularized estimation in generalized linear models (e.g., sparse regression). First order methods proceed by iteratively multiplying current estimates by ${\boldsymbol X}$ or its transpose. Examples include gradient descent or its accelerated variants.
Celentano, Montanari, Wu proved that for any constant number of iterations (matrix vector multiplications), the optimal first order algorithm is a specific approximate message passing algorithm (known as `Bayes AMP'). The error of this estimator can be characterized in the high-dimensional asymptotics $n,d\to\infty$, $n/d\toδ$, and provides a lower bound to the estimation error of any first order algorithm. Here we present a simpler proof of the same result, and generalize it to broader classes of data distributions and of first order algorithms, including algorithms with non-separable nonlinearities. Most importantly, the new proof technique does not require to construct an equivalent tree-structured estimation problem, and is therefore susceptible of a broader range of applications.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
H.E.S.S. follow-up observations of Binary Black Hole Coalescence events during the second and third Gravitational Waves observing runs of Advanced LIGO and Advanced Virgo
Authors:
H. E. S. S. collaboration,
:,
H. Abdalla,
F. Aharonian,
F. Ait Benkhali,
E. O. Angüner,
H. Ashkar,
M. Backes,
V. Baghmanyan,
V. Barbosa Martins,
R. Batzofin,
Y. Becherini,
D. Berge,
K. Bernlöhr,
B. Bi,
M. Böttcher,
C. Boisson,
J. Bolmont,
M. de Bony de Lavergne,
R. Brose,
F. Brun,
T. Bulik,
T. Bylund,
F. Cangemi,
S. Caroff
, et al. (129 additional authors not shown)
Abstract:
We report on the observations of four well-localized binary black hole (BBH) mergers by the High Energy Stereoscopic System (H.E.S.S.) during the second and third observing runs of Advanced LIGO and Advanced Virgo, O2 and O3. H.E.S.S. can observe $\mathrm{20\,deg^2}$ of the sky at a time and follows up gravitational-wave (GW) events by ``tiling'' localization regions to maximize the covered locali…
▽ More
We report on the observations of four well-localized binary black hole (BBH) mergers by the High Energy Stereoscopic System (H.E.S.S.) during the second and third observing runs of Advanced LIGO and Advanced Virgo, O2 and O3. H.E.S.S. can observe $\mathrm{20\,deg^2}$ of the sky at a time and follows up gravitational-wave (GW) events by ``tiling'' localization regions to maximize the covered localization probability. During O2 and O3, H.E.S.S. observed large portions of the localization regions, between 35\% and 75\%, for four BBH mergers (GW170814, GW190512\_180714, GW190728\_064510, and S200224ca). For these four GW events, we find no significant signal from a pointlike source in any of the observations, and set upper limits on the very high energy ($>$100 GeV) $γ$-ray emission. The 1-10 TeV isotropic luminosity of these GW events is below $10^{45}$ erg s$^{-1}$ at the times of the H.E.S.S. observations, around the level of the low-luminosity GRB 190829A. Assuming no changes are made to how follow-up observations are conducted, H.E.S.S. can expect to observe over 60 GW events per year in the fourth GW observing run, O4, of which eight would be observable with minimal latency.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
The high-dimensional asymptotics of first order methods with random data
Authors:
Michael Celentano,
Chen Cheng,
Andrea Montanari
Abstract:
We study a class of deterministic flows in ${\mathbb R}^{d\times k}$, parametrized by a random matrix ${\boldsymbol X}\in {\mathbb R}^{n\times d}$ with i.i.d. centered subgaussian entries. We characterize the asymptotic behavior of these flows over bounded time horizons, in the high-dimensional limit in which $n,d\to\infty$ with $k$ fixed and converging aspect ratios $n/d\toδ$. The asymptotic char…
▽ More
We study a class of deterministic flows in ${\mathbb R}^{d\times k}$, parametrized by a random matrix ${\boldsymbol X}\in {\mathbb R}^{n\times d}$ with i.i.d. centered subgaussian entries. We characterize the asymptotic behavior of these flows over bounded time horizons, in the high-dimensional limit in which $n,d\to\infty$ with $k$ fixed and converging aspect ratios $n/d\toδ$. The asymptotic characterization we prove is in terms of a system of a nonlinear stochastic process in $k$ dimensions, whose parameters are determined by a fixed point condition. This type of characterization is known in physics as dynamical mean field theory. Rigorous results of this type have been obtained in the past for a few spin glass models. Our proof is based on time discretization and a reduction to certain iterative schemes known as approximate message passing (AMP) algorithms, as opposed to earlier work that was based on large deviations theory and stochastic processes theory. The new approach allows for a more elementary proof and implies that the high-dimensional behavior of the flow is universal with respect to the distribution of the entries of ${\boldsymbol X}$. As specific applications, we obtain high-dimensional characterizations of gradient flow in some classical models from statistics and machine learning, under a random design assumption.
△ Less
Submitted 14 December, 2021;
originally announced December 2021.
-
Local algorithms for Maximum Cut and Minimum Bisection on locally treelike regular graphs of large degree
Authors:
Ahmed El Alaoui,
Andrea Montanari,
Mark Sellke
Abstract:
Given a graph $G$ of degree $k$ over $n$ vertices, we consider the problem of computing a near maximum cut or a near minimum bisection in polynomial time. For graphs of girth $2L$, we develop a local message passing algorithm whose complexity is $O(nkL)$, and that achieves near optimal cut values among all $L$-local algorithms. Focusing on max-cut, the algorithm constructs a cut of value…
▽ More
Given a graph $G$ of degree $k$ over $n$ vertices, we consider the problem of computing a near maximum cut or a near minimum bisection in polynomial time. For graphs of girth $2L$, we develop a local message passing algorithm whose complexity is $O(nkL)$, and that achieves near optimal cut values among all $L$-local algorithms. Focusing on max-cut, the algorithm constructs a cut of value $nk/4+ n\mathsf{P}_\star\sqrt{k/4}+\mathsf{err}(n,k,L)$, where $\mathsf{P}_\star\approx 0.763166$ is the value of the Parisi formula from spin glass theory, and $\mathsf{err}(n,k,L)=o_n(n)+no_k(\sqrt{k})+n \sqrt{k} o_L(1)$ (subscripts indicate the asymptotic variables). Our result generalizes to locally treelike graphs, i.e., graphs whose girth becomes $2L$ after removing a small fraction of vertices.
Earlier work established that, for random $k$-regular graphs, the typical max-cut value is $nk/4+ n\mathsf{P}_\star\sqrt{k/4}+o_n(n)+no_k(\sqrt{k})$. Therefore our algorithm is nearly optimal on such graphs. An immediate corollary of this result is that random regular graphs have nearly minimum max-cut, and nearly maximum min-bisection among all regular locally treelike graphs. This can be viewed as a combinatorial version of the near-Ramanujan property of random regular graphs.
△ Less
Submitted 3 February, 2023; v1 submitted 12 November, 2021;
originally announced November 2021.
-
Tractability from overparametrization: The example of the negative perceptron
Authors:
Andrea Montanari,
Yiqiao Zhong,
Kangjie Zhou
Abstract:
In the negative perceptron problem we are given $n$ data points $({\boldsymbol x}_i,y_i)$, where ${\boldsymbol x}_i$ is a $d$-dimensional vector and $y_i\in\{+1,-1\}$ is a binary label. The data are not linearly separable and hence we content ourselves to find a linear classifier with the largest possible \emph{negative} margin. In other words, we want to find a unit norm vector ${\boldsymbol θ}$…
▽ More
In the negative perceptron problem we are given $n$ data points $({\boldsymbol x}_i,y_i)$, where ${\boldsymbol x}_i$ is a $d$-dimensional vector and $y_i\in\{+1,-1\}$ is a binary label. The data are not linearly separable and hence we content ourselves to find a linear classifier with the largest possible \emph{negative} margin. In other words, we want to find a unit norm vector ${\boldsymbol θ}$ that maximizes $\min_{i\le n}y_i\langle {\boldsymbol θ},{\boldsymbol x}_i\rangle$. This is a non-convex optimization problem (it is equivalent to finding a maximum norm vector in a polytope), and we study its typical properties under two random models for the data.
We consider the proportional asymptotics in which $n,d\to \infty$ with $n/d\toδ$, and prove upper and lower bounds on the maximum margin $κ_{\text{s}}(δ)$ or -- equivalently -- on its inverse function $δ_{\text{s}}(κ)$. In other words, $δ_{\text{s}}(κ)$ is the overparametrization threshold: for $n/d\le δ_{\text{s}}(κ)-\varepsilon$ a classifier achieving vanishing training error exists with high probability, while for $n/d\ge δ_{\text{s}}(κ)+\varepsilon$ it does not. Our bounds on $δ_{\text{s}}(κ)$ match to the leading order as $κ\to -\infty$. We then analyze a linear programming algorithm to find a solution, and characterize the corresponding threshold $δ_{\text{lin}}(κ)$. We observe a gap between the interpolation threshold $δ_{\text{s}}(κ)$ and the linear programming threshold $δ_{\text{lin}}(κ)$, raising the question of the behavior of other algorithms.
△ Less
Submitted 3 July, 2023; v1 submitted 27 October, 2021;
originally announced October 2021.
-
SHADOWS (Search for Hidden And Dark Objects With the SPS)
Authors:
W. Baldini,
A. Balla,
J. Bernhard,
A. Calcaterra,
V. Cafaro,
A. Ceccucci,
V. Cicero,
P. Ciambrone,
H. Danielsson,
G. D'Alessandro,
G. Felici,
L. Gatignon,
A. Gerbershagen,
V. Giordano,
G. Lanfranchi,
A. Montanari,
A. Paoloni,
G. Papalino,
T. Rovelli,
A. Saputi,
S. Schuchmann,
F. Stummer,
N. Tosi
Abstract:
We propose a new beam-dump experiment, SHADOWS, to search for a large variety of feebly-interacting particles possibly produced in the interactions of a 400 GeV proton beam with a high-Z material dump. SHADOWS will use the 400 GeV primary proton beam extracted from the CERN SPS currently serving the NA62 experiment in the CERN North area and will take data off-axis when the P42 beam line is operat…
▽ More
We propose a new beam-dump experiment, SHADOWS, to search for a large variety of feebly-interacting particles possibly produced in the interactions of a 400 GeV proton beam with a high-Z material dump. SHADOWS will use the 400 GeV primary proton beam extracted from the CERN SPS currently serving the NA62 experiment in the CERN North area and will take data off-axis when the P42 beam line is operated in beam-dump mode. SHADOWS can accumulate up to a ~2 x10^19 protons on target per year and expand the exploration for a large variety of FIPs well beyond the state-of-the-art in the mass range of MeV-GeV in a parameter space that is allowed by cosmological and astrophysical observations. So far the strongest bounds on the interaction strength of new feebly-interacting light particles with Standard Model particles exist up to the kaon mass; above this threshold the bounds weaken significantly. SHADOWS can do an important step into this still poorly explored territory and has the potential to discover them if they have a mass between the kaon and the beauty mass. If no signal is found, SHADOWS will push the limits on their couplings with SM particles between one and four orders of magnitude in the same mass range, depending on the model and scenario.
△ Less
Submitted 15 October, 2021;
originally announced October 2021.
-
Searching for TeV gamma-ray emission from SGR\,1935+2154 during its 2020 X-ray and radio bursting phase
Authors:
H. E. S. S. Collaboration,
:,
H. Abdalla,
F. Aharonian,
F. Ait Benkhali,
E. O. Anguner,
C. Arcaro,
C. Armand,
T. Armstrong,
H. Ashkar,
M. Backes,
V. Baghmanyan,
V. Barbosa Martins,
A. Barnacka,
M. Barnard,
Y. Becherini,
D. Berge,
K. Bernlohr,
B. Bi,
M. Bottcher,
C. Boisson,
J. Bolmont,
M. de Bony de Lavergne,
M. Breuhaus,
R. Brose
, et al. (230 additional authors not shown)
Abstract:
Magnetar hyperflares are the most plausible explanation for fast radio bursts (FRB) -- enigmatic powerful radio pulses with durations of several milliseconds and high brightness temperatures. The first observational evidence for this scenario was obtained in 2020 April when a FRB was detected from the direction of the Galactic magnetar and soft gamma-ray repeater SGR\,1935+2154. The FRB was preced…
▽ More
Magnetar hyperflares are the most plausible explanation for fast radio bursts (FRB) -- enigmatic powerful radio pulses with durations of several milliseconds and high brightness temperatures. The first observational evidence for this scenario was obtained in 2020 April when a FRB was detected from the direction of the Galactic magnetar and soft gamma-ray repeater SGR\,1935+2154. The FRB was preceded by two gamma-ray outburst alerts by the BAT instrument aboard the Swift satellite, which triggered follow-up observations by the High Energy Stereoscopic System (H.E.S.S.). H.E.S.S. has observed SGR\,1935+2154 for 2 hr on 2020 April 28. The observations are coincident with X-ray bursts from the magnetar detected by INTEGRAL and Fermi-GBM, thus providing the first very high energy (VHE) gamma-ray observations of a magnetar in a flaring state. High-quality data acquired during these follow-up observations allow us to perform a search for short-time transients. No significant signal at energies $E>0.6$~TeV is found and upper limits on the persistent and transient emission are derived. We here present the analysis of these observations and discuss the obtained results and prospects of the H.E.S.S. follow-up program for soft gamma-ray repeaters.
△ Less
Submitted 1 October, 2021;
originally announced October 2021.
-
Observation of the gamma-ray binary HESS J0632+057 with the H.E.S.S., MAGIC, and VERITAS telescopes
Authors:
C. B. Adams,
W. Benbow,
A. Brill,
J. H. Buckley,
M. Capasso,
A. J. Chromey,
M. Errando,
A. Falcone,
K. A. Farrell,
Q. Feng,
J P. Finley,
G. Foote,
L. Fortson,
A. Furniss,
A. Gent,
G. H. Gillanders,
C. Giuri,
O. Gueta,
D. Hanna,
T. Hassan,
O. Hervet,
J. Holder,
B. Hona,
T. B. Humensky,
W. **
, et al. (387 additional authors not shown)
Abstract:
The results of gamma-ray observations of the binary system HESS J0632+057 collected during 450 hours over 15 years, between 2004 and 2019, are presented. Data taken with the atmospheric Cherenkov telescopes H.E.S.S., MAGIC, and VERITAS at energies above 350 GeV were used together with observations at X-ray energies obtained with Swift-XRT, Chandra, XMM-Newton, NuSTAR, and Suzaku. Some of these obs…
▽ More
The results of gamma-ray observations of the binary system HESS J0632+057 collected during 450 hours over 15 years, between 2004 and 2019, are presented. Data taken with the atmospheric Cherenkov telescopes H.E.S.S., MAGIC, and VERITAS at energies above 350 GeV were used together with observations at X-ray energies obtained with Swift-XRT, Chandra, XMM-Newton, NuSTAR, and Suzaku. Some of these observations were accompanied by measurements of the Hα emission line. A significant detection of the modulation of the VHE gamma-ray fluxes with a period of 316.7+-4.4 days is reported, consistent with the period of 317.3+-0.7 days obtained with a refined analysis of X-ray data. The analysis of data of four orbital cycles with dense observational coverage reveals short timescale variability, with flux-decay timescales of less than 20 days at very high energies. Flux variations observed over the time scale of several years indicate orbit-to-orbit variability. The analysis confirms the previously reported correlation of X-ray and gamma-ray emission from the system at very high significance, but can not find any correlation of optical Hα parameters with X-ray or gamma-ray energy fluxes in simultaneous observations. The key finding is that the emission of HESS J0632+057 in the X-ray and gamma-ray energy bands is highly variable on different time scales. The ratio of gamma-ray to X-ray flux shows the equality or even dominance of the gamma-ray energy range. This wealth of new data is interpreted taking into account the insufficient knowledge of the ephemeris of the system, and discussed in the context of results reported on other gamma-ray binary systems.
△ Less
Submitted 24 September, 2021;
originally announced September 2021.
-
Performance of scintillating tiles with direct silicon-photomultiplier (SiPM) readout for application to large area detectors
Authors:
A. Balla,
B. Buonomo,
V. Cafaro,
A. Calcaterra,
F. Cardelli,
P. Ciambrone,
V. Cicero,
D. Di Giovenale,
C. Di Giulio,
G. Felici,
L. G. Foggetta,
V. Giordano,
G. Lanfranchi,
I. Lax,
A. Montanari,
G. Papalino,
A. Paoloni,
T. Rovelli,
A. Saputi,
G. Torromeo,
N. Tosi
Abstract:
The light yield, the time resolution and the efficiency of different types of scintillating tiles with direct Silicon Photomultiplier readout and instrumented with a customised front-end electronics have been measured at the Beam Test Facility of Laboratori Nazionali di Frascati and several test stands. The results obtained with different configurations are presented. A time resolution of the orde…
▽ More
The light yield, the time resolution and the efficiency of different types of scintillating tiles with direct Silicon Photomultiplier readout and instrumented with a customised front-end electronics have been measured at the Beam Test Facility of Laboratori Nazionali di Frascati and several test stands. The results obtained with different configurations are presented. A time resolution of the order of 300 ps, a light yield of more than 230 photo-electrons, and an efficiency better than 99.8 $\%$ are obtained with $\sim 225$ cm$^2$ large area tiles. This technology is suitable for a wide range of applications in high-energy physics, in particular for large area muon and timing detectors.
△ Less
Submitted 17 September, 2021;
originally announced September 2021.
-
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete
Authors:
Laura Bozzelli,
Angelo Montanari,
Adriano Peron,
Pietro Sala
Abstract:
The choice of the right trade-off between expressiveness and complexity is the main issue in interval temporal logic. In their seminal paper, Halpern and Shoham showed that the satisfiability problem for HS (the temporal logic of Allen's relations) is highly undecidable over any reasonable class of linear orders. In order to recover decidability, one can restrict the set of temporal modalities and…
▽ More
The choice of the right trade-off between expressiveness and complexity is the main issue in interval temporal logic. In their seminal paper, Halpern and Shoham showed that the satisfiability problem for HS (the temporal logic of Allen's relations) is highly undecidable over any reasonable class of linear orders. In order to recover decidability, one can restrict the set of temporal modalities and/or the class of models. In the following, we focus on the satisfiability problem for HS fragments under the homogeneity assumption, according to which any proposition letter holds over an interval if only if it holds at all its points. The problem for full HS with homogeneity has been shown to be non-elementarily decidable, but its only known lower bound is EXPSPACE (in fact, EXPSPACE-hardness has been shown for the logic of prefixes and suffixes BE, which is a very small fragment of it. The logic of prefixes and infixes BD has been recently shown to be PSPACE-complete. In this paper, we prove that the addition of the Allen relation Meets to BD makes it EXPSPACE-complete.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Expressiveness of Extended Bounded Response LTL
Authors:
Alessandro Cimatti,
Luca Geatti,
Nicola Gigante,
Angelo Montanari,
Stefano Tonetta
Abstract:
Extended Bounded Response LTL with Past (LTLEBR+P) is a safety fragment of Linear Temporal Logic with Past (LTL+P) that has been recently introduced in the context of reactive synthesis. The strength of LTLEBR+P is a fully symbolic compilation of formulas into symbolic deterministic automata. Its syntax is organized in four levels. The first three levels feature (a particular combination of) futur…
▽ More
Extended Bounded Response LTL with Past (LTLEBR+P) is a safety fragment of Linear Temporal Logic with Past (LTL+P) that has been recently introduced in the context of reactive synthesis. The strength of LTLEBR+P is a fully symbolic compilation of formulas into symbolic deterministic automata. Its syntax is organized in four levels. The first three levels feature (a particular combination of) future temporal modalities, the last one admits only past temporal operators. At the base of such a structuring there are algorithmic motivations: each level corresponds to a step of the algorithm for the automaton construction. The complex syntax of LTLEBR+P made it difficult to precisely characterize its expressive power, and to compare it with other LTL+P safety fragments.
In this paper, we first prove that LTLEBR+P is expressively complete with respect to the safety fragment of LTL+P, that is, any safety language definable in LTL+P can be formalized in LTLEBR+P, and vice versa. From this, it follows that LTLEBR+P and Safety-LTL are expressively equivalent. Then, we show that past modalities play an essential role in LTLEBR+P: we prove that the future fragment of LTLEBR+P is strictly less expressive than full LTLEBR+P.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
SensiX++: Bringing MLOPs and Multi-tenant Model Serving to Sensory Edge Devices
Authors:
Chulhong Min,
Akhil Mathur,
Utku Gunay Acer,
Alessandro Montanari,
Fahim Kawsar
Abstract:
We present SensiX++ - a multi-tenant runtime for adaptive model execution with integrated MLOps on edge devices, e.g., a camera, a microphone, or IoT sensors. SensiX++ operates on two fundamental principles - highly modular componentisation to externalise data operations with clear abstractions and document-centric manifestation for system-wide orchestration. First, a data coordinator manages the…
▽ More
We present SensiX++ - a multi-tenant runtime for adaptive model execution with integrated MLOps on edge devices, e.g., a camera, a microphone, or IoT sensors. SensiX++ operates on two fundamental principles - highly modular componentisation to externalise data operations with clear abstractions and document-centric manifestation for system-wide orchestration. First, a data coordinator manages the lifecycle of sensors and serves models with correct data through automated transformations. Next, a resource-aware model server executes multiple models in isolation through model abstraction, pipeline automation and feature sharing. An adaptive scheduler then orchestrates the best-effort executions of multiple models across heterogeneous accelerators, balancing latency and throughput. Finally, microservices with REST APIs serve synthesised model predictions, system statistics, and continuous deployment. Collectively, these components enable SensiX++ to serve multiple models efficiently with fine-grained control on edge devices while minimising data operation redundancy, managing data and device heterogeneity, reducing resource contention and removing manual MLOps. We benchmark SensiX++ with ten different vision and acoustics models across various multi-tenant configurations on different edge accelerators (Jetson AGX and Coral TPU) designed for sensory devices. We report on the overall throughput and quantified benefits of various automation components of SensiX++ and demonstrate its efficacy to significantly reduce operational complexity and lower the effort to deploy, upgrade, reconfigure and serve embedded models on edge devices.
△ Less
Submitted 8 September, 2021;
originally announced September 2021.
-
Search for dark matter annihilation signals from UFOs with H.E.S.S
Authors:
D. Malyshev,
A. Montanari,
E. Moulin,
D. Glawion
Abstract:
Cosmological N-body simulations show that Milky-Way-sized galaxies harbor a population of unmerged dark matter subhalos. These subhalos could shine in gamma rays and be eventually detected in gamma-ray surveys as unidentified sources. We search for very-high-energy (VHE, $E\geq 100$ GeV) gamma-ray emission using H.E.S.S. observations carried out from a thorough selection of unidentified Fermi-LAT…
▽ More
Cosmological N-body simulations show that Milky-Way-sized galaxies harbor a population of unmerged dark matter subhalos. These subhalos could shine in gamma rays and be eventually detected in gamma-ray surveys as unidentified sources. We search for very-high-energy (VHE, $E\geq 100$ GeV) gamma-ray emission using H.E.S.S. observations carried out from a thorough selection of unidentified Fermi-LAT Objects (UFOs) as dark matter subhalo candidates. Provided that the dark matter mass is higher than a few hundred GeV, the emission of the UFOs can be well described by dark matter annihilation models. No significant VHE gamma-ray emission is detected in any UFO dataset nor in their combination. We, therefore, derive constraints on the product of the velocity-weighted annihilation cross-section $\langle σv\rangle$ by the $J$-factor on dark matter models describing the UFO emissions. Upper limits at 95% confidence level are derived on $\langle σv\rangle J$ in $W^+W^-$ and $τ^+τ^-$ annihilation channels for the TeV dark matter particles. Focusing on thermal WIMPs, strong constraints on the $J$-factors are obtained from H.E.S.S. observations. Adopting model-dependent predictions from cosmological N-body simulations on the $J$-factor distribution function for Milky Way (MW)-sized galaxies, only $\lesssim 0.3$ TeV mass dark matter models marginally allow to explain observed UFO emission.
△ Less
Submitted 25 August, 2021;
originally announced September 2021.
-
Low exposure long-baseline neutrino oscillation sensitivity of the DUNE experiment
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
D. Adams,
M. Adinolfi,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
B. Ali-Mohammadzadeh,
T. Alion,
K. Allison,
S. Alonso Monsalve,
M. AlRashed,
C. Alt,
A. Alton,
P. Amedo,
J. Anderson,
C. Andreopoulos,
M. Andreotti
, et al. (1132 additional authors not shown)
Abstract:
The Deep Underground Neutrino Experiment (DUNE) will produce world-leading neutrino oscillation measurements over the lifetime of the experiment. In this work, we explore DUNE's sensitivity to observe charge-parity violation (CPV) in the neutrino sector, and to resolve the mass ordering, for exposures of up to 100 kiloton-megawatt-years (kt-MW-yr). The analysis includes detailed uncertainties on t…
▽ More
The Deep Underground Neutrino Experiment (DUNE) will produce world-leading neutrino oscillation measurements over the lifetime of the experiment. In this work, we explore DUNE's sensitivity to observe charge-parity violation (CPV) in the neutrino sector, and to resolve the mass ordering, for exposures of up to 100 kiloton-megawatt-years (kt-MW-yr). The analysis includes detailed uncertainties on the flux prediction, the neutrino interaction model, and detector effects. We demonstrate that DUNE will be able to unambiguously resolve the neutrino mass ordering at a 3$σ$ (5$σ$) level, with a 66 (100) kt-MW-yr far detector exposure, and has the ability to make strong statements at significantly shorter exposures depending on the true value of other oscillation parameters. We also show that DUNE has the potential to make a robust measurement of CPV at a 3$σ$ level with a 100 kt-MW-yr exposure for the maximally CP-violating values $δ_{\rm CP}} = \pmπ/2$. Additionally, the dependence of DUNE's sensitivity on the exposure taken in neutrino-enhanced and antineutrino-enhanced running is discussed. An equal fraction of exposure taken in each beam mode is found to be close to optimal when considered over the entire space of interest.
△ Less
Submitted 3 September, 2021;
originally announced September 2021.
-
An Information-Theoretic View of Stochastic Localization
Authors:
Ahmed El Alaoui,
Andrea Montanari
Abstract:
Given a probability measure $μ$ over ${\mathbb R}^n$, it is often useful to approximate it by the convex combination of a small number of probability measures, such that each component is close to a product measure. Recently, Ronen Eldan used a stochastic localization argument to prove a general decomposition result of this type. In Eldan's theorem, the `number of components' is characterized by t…
▽ More
Given a probability measure $μ$ over ${\mathbb R}^n$, it is often useful to approximate it by the convex combination of a small number of probability measures, such that each component is close to a product measure. Recently, Ronen Eldan used a stochastic localization argument to prove a general decomposition result of this type. In Eldan's theorem, the `number of components' is characterized by the entropy of the mixture, and `closeness to product' is characterized by the covariance matrix of each component.
We present an elementary proof of Eldan's theorem which makes use of an information theory (or estimation theory) interpretation. The proof is analogous to the one of an earlier decomposition result known as the `pinning lemma.'
△ Less
Submitted 9 September, 2021; v1 submitted 2 September, 2021;
originally announced September 2021.
-
Search for dark matter annihilation signals from the Galactic Center with the H.E.S.S. Inner Galaxy Survey
Authors:
A. Montanari,
E. Moulin,
D. Malyshev
Abstract:
The presence of dark matter (DM) is suggested by a wealth of astrophysical and cosmological measurements. However, its underlying nature is yet unknown. Among the most promising candidates are weakly interacting massive particles (WIMPs): particles with mass and coupling strength at the electroweak scale and thermally produced in the early universe have a present relic density consistent with that…
▽ More
The presence of dark matter (DM) is suggested by a wealth of astrophysical and cosmological measurements. However, its underlying nature is yet unknown. Among the most promising candidates are weakly interacting massive particles (WIMPs): particles with mass and coupling strength at the electroweak scale and thermally produced in the early universe have a present relic density consistent with that observed today. WIMP self-annihilation would produce Standard Model particles including gamma-rays, which have been long-time recognized as a prime messenger to indirectly detect dark matter signals. The centre of the Milky Way is predicted as the brightest source of DM annihilations. The H.E.S.S. collaboration is currently performing a survey of the inner region of the Milky Way, the Inner Galaxy Survey (IGS), intended to achieve the best sensitivity to faint and diffuse emissions in a region of several degrees around the Galactic Centre. We analyzed 2014-2020 observations taken with the five-telescope array to search for a DM annihilation signal. With the current dataset of about 550 hours, we found no significant excess and therefore derived strong constraints on the velocity-weighted annihilation cross-section. TeV thermal WIMPs can be probed in different annihilation channels.
△ Less
Submitted 24 August, 2021; v1 submitted 23 August, 2021;
originally announced August 2021.
-
Search for TeV emission from the Fermi Bubbles at low Galactic latitudes with H.E.S.S. inner Galaxy survey observations
Authors:
E. Moulin,
A. Montanari,
D. Malyshev,
Dm. Malyshev
Abstract:
The Fermi Bubbles were discovered about a decade ago in the {\it Fermi}-LAT data as a double-lobe structure extending up to 55 deg. in Galactic latitudes above and below the Galactic Center. At the moment their origin is still unknown. The H.E.S.S. collaboration is currently performing the first ever survey in TeV gamma rays of the Milky Way inner region: the Inner Galaxy Survey. This survey is in…
▽ More
The Fermi Bubbles were discovered about a decade ago in the {\it Fermi}-LAT data as a double-lobe structure extending up to 55 deg. in Galactic latitudes above and below the Galactic Center. At the moment their origin is still unknown. The H.E.S.S. collaboration is currently performing the first ever survey in TeV gamma rays of the Milky Way inner region: the Inner Galaxy Survey. This survey is intended to achieve the best sensitivity to faint and diffuse emissions in a region of several degrees around the Galactic Centre. It provides an unprecedented sensitivity to dark matter signals, new diffuse emissions, and TeV outflows from the Galactic Centre. Understanding the properties of the Fermi Bubbles at low Galactic latitudes will provide key insights into their origin. We search for TeV emission at the base of the Fermi Bubbles using low-latitude spatial templates. The first results obtained with the 2014-2020 H.E.S.S. observations will be reported.
△ Less
Submitted 24 August, 2021; v1 submitted 23 August, 2021;
originally announced August 2021.
-
LMC N132D: A mature supernova remnant with a power-law gamma-ray spectrum extending beyond 8 TeV
Authors:
H. E. S. S. Collaboration,
:,
H. Abdalla,
F. Aharonian,
F. Ait Benkhali,
E. O. Angüner,
C. Arcaro,
C. Armand,
T. Armstrong,
H. Ashkar,
M. Backes,
V. Baghmanyan,
V. Barbosa Martins,
A. Barnacka,
M. Barnard,
Y. Becherini,
D. Berge,
K. Bernlöhr,
B. Bi,
M. Böttcher,
C. Boisson,
J. Bolmont,
M. de Bony de Lavergne,
M. Breuhaus,
F. Brun
, et al. (212 additional authors not shown)
Abstract:
We analyzed 252 hours of High Energy Stereoscopic System (H.E.S.S.) observations towards the supernova remnant (SNR) LMC N132D that were accumulated between December 2004 and March 2016 during a deep survey of the Large Magellanic Cloud, adding 104 hours of observations to the previously published data set to ensure a > 5 sigma detection. To broaden the gamma-ray spectral coverage required for mod…
▽ More
We analyzed 252 hours of High Energy Stereoscopic System (H.E.S.S.) observations towards the supernova remnant (SNR) LMC N132D that were accumulated between December 2004 and March 2016 during a deep survey of the Large Magellanic Cloud, adding 104 hours of observations to the previously published data set to ensure a > 5 sigma detection. To broaden the gamma-ray spectral coverage required for modeling the spectral energy distribution, an analysis of Fermi-LAT Pass 8 data was also included. We unambiguously detect N132D at very high energies (VHE) with a significance of 5.7 sigma. We report the results of a detailed analysis of its spectrum and localization based on the extended H.E.S.S. data set. The joint analysis of the extended H.E.S.S and Fermi-LAT data results in a spectral energy distribution in the energy range from 1.7 GeV to 14.8 TeV, which suggests a high luminosity of N132D at GeV and TeV energies. We set a lower limit on a gamma-ray cutoff energy of 8 TeV with a confidence level of 95%. The new gamma-ray spectrum as well as multiwavelength observations of N132D when compared to physical models suggests a hadronic origin of the VHE gamma-ray emission. SNR N132D is a VHE gamma-ray source that shows a spectrum extending to the VHE domain without a spectral cutoff at a few TeV, unlike the younger oxygen-rich SNR Cassiopeia A. The gamma-ray properties of N132D may be affected by an interaction with a nearby molecular cloud that partially lies inside the 95% confidence region of the source position. [Abridged]
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
Design, construction and operation of the ProtoDUNE-SP Liquid Argon TPC
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
D. Adams,
M. Adinolfi,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Ali-Mohammadzadeh,
T. Alion,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
C. Alt,
A. Alton,
P. Amedo,
J. Anderson,
C. Andreopoulos,
M. Andreotti,
M. P. Andrews
, et al. (1158 additional authors not shown)
Abstract:
The ProtoDUNE-SP detector is a single-phase liquid argon time projection chamber (LArTPC) that was constructed and operated in the CERN North Area at the end of the H4 beamline. This detector is a prototype for the first far detector module of the Deep Underground Neutrino Experiment (DUNE), which will be constructed at the Sandford Underground Research Facility (SURF) in Lead, South Dakota, USA.…
▽ More
The ProtoDUNE-SP detector is a single-phase liquid argon time projection chamber (LArTPC) that was constructed and operated in the CERN North Area at the end of the H4 beamline. This detector is a prototype for the first far detector module of the Deep Underground Neutrino Experiment (DUNE), which will be constructed at the Sandford Underground Research Facility (SURF) in Lead, South Dakota, USA. The ProtoDUNE-SP detector incorporates full-size components as designed for DUNE and has an active volume of $7\times 6\times 7.2$~m$^3$. The H4 beam delivers incident particles with well-measured momenta and high-purity particle identification. ProtoDUNE-SP's successful operation between 2018 and 2020 demonstrates the effectiveness of the single-phase far detector design. This paper describes the design, construction, assembly and operation of the detector components.
△ Less
Submitted 23 September, 2021; v1 submitted 4 August, 2021;
originally announced August 2021.
-
CAD: Debiasing the Lasso with inaccurate covariate model
Authors:
Michael Celentano,
Andrea Montanari
Abstract:
We consider the problem of estimating a low-dimensional parameter in high-dimensional linear regression. Constructing an approximately unbiased estimate of the parameter of interest is a crucial step towards performing statistical inference. Several authors suggest to orthogonalize both the variable of interest and the outcome with respect to the nuisance variables, and then regress the residual o…
▽ More
We consider the problem of estimating a low-dimensional parameter in high-dimensional linear regression. Constructing an approximately unbiased estimate of the parameter of interest is a crucial step towards performing statistical inference. Several authors suggest to orthogonalize both the variable of interest and the outcome with respect to the nuisance variables, and then regress the residual outcome with respect to the residual variable. This is possible if the covariance structure of the regressors is perfectly known, or is sufficiently structured that it can be estimated accurately from data (e.g., the precision matrix is sufficiently sparse).
Here we consider a regime in which the covariate model can only be estimated inaccurately, and hence existing debiasing approaches are not guaranteed to work. When errors in estimating the covariate model are correlated with errors in estimating the linear model parameter, an incomplete elimination of the bias occurs. We propose the Correlation Adjusted Debiased Lasso (CAD), which nearly eliminates this bias in some cases, including cases in which the estimation errors are neither negligible nor orthogonal.
We consider a setting in which some unlabeled samples might be available to the statistician alongside labeled ones (semi-supervised learning), and our guarantees hold under the assumption of jointly Gaussian covariates. The new debiased estimator is guaranteed to cancel the bias in two cases: (1) when the total number of samples (labeled and unlabeled) is larger than the number of parameters, or (2) when the covariance of the nuisance (but not the effect of the nuisance on the variable of interest) is known. Neither of these cases is treated by state-of-the-art methods.
△ Less
Submitted 29 July, 2021;
originally announced July 2021.
-
Searching for solar KDAR with DUNE
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
D. Adams,
M. Adinolfi,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Ali-Mohammadzadeh,
T. Alion,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
C. Alt,
A. Alton,
P. Amedo,
J. Anderson,
C. Andreopoulos,
M. Andreotti,
M. P. Andrews
, et al. (1157 additional authors not shown)
Abstract:
The observation of 236 MeV muon neutrinos from kaon-decay-at-rest (KDAR) originating in the core of the Sun would provide a unique signature of dark matter annihilation. Since excellent angle and energy reconstruction are necessary to detect this monoenergetic, directional neutrino flux, DUNE with its vast volume and reconstruction capabilities, is a promising candidate for a KDAR neutrino search.…
▽ More
The observation of 236 MeV muon neutrinos from kaon-decay-at-rest (KDAR) originating in the core of the Sun would provide a unique signature of dark matter annihilation. Since excellent angle and energy reconstruction are necessary to detect this monoenergetic, directional neutrino flux, DUNE with its vast volume and reconstruction capabilities, is a promising candidate for a KDAR neutrino search. In this work, we evaluate the proposed KDAR neutrino search strategies by realistically modeling both neutrino-nucleus interactions and the response of DUNE. We find that, although reconstruction of the neutrino energy and direction is difficult with current techniques in the relevant energy range, the superb energy resolution, angular resolution, and particle identification offered by DUNE can still permit great signal/background discrimination. Moreover, there are non-standard scenarios in which searches at DUNE for KDAR in the Sun can probe dark matter interactions.
△ Less
Submitted 26 October, 2021; v1 submitted 19 July, 2021;
originally announced July 2021.
-
TeV emission of Galactic plane sources with HAWC and H.E.S.S
Authors:
H. Abdalla,
F. Aharonian,
F. Ait Benkhali,
E. O. Angüner,
C. Arcaro,
C. Armand,
T. Armstrong,
H. Ashkar,
M. Backes,
V. Baghmanyan,
V. Barbosa Martins,
A. Barnacka,
M. Barnard,
Y. Becherini,
D. Berge,
K. Bernlöhr,
B. Bi,
M. Böttcher,
C. Boisson,
J. Bolmont,
M. de Bony de Lavergne,
M. Breuhaus,
R. Brose,
F. Brun,
P. Brun
, et al. (299 additional authors not shown)
Abstract:
The High Altitude Water Cherenkov (HAWC) observatory and the High Energy Stereoscopic System (H.E.S.S.) are two leading instruments in the ground-based very-high-energy gamma-ray domain. HAWC employs the water Cherenkov detection (WCD) technique, while H.E.S.S. is an array of Imaging Atmospheric Cherenkov Telescopes (IACTs). The two facilities therefore differ in multiple aspects, including their…
▽ More
The High Altitude Water Cherenkov (HAWC) observatory and the High Energy Stereoscopic System (H.E.S.S.) are two leading instruments in the ground-based very-high-energy gamma-ray domain. HAWC employs the water Cherenkov detection (WCD) technique, while H.E.S.S. is an array of Imaging Atmospheric Cherenkov Telescopes (IACTs). The two facilities therefore differ in multiple aspects, including their observation strategy, the size of their field of view and their angular resolution, leading to different analysis approaches. Until now, it has been unclear if the results of observations by both types of instruments are consistent: several of the recently discovered HAWC sources have been followed up by IACTs, resulting in a confirmed detection only in a minority of cases. With this paper, we go further and try to resolve the tensions between previous results by performing a new analysis of the H.E.S.S. Galactic plane survey data, applying an analysis technique comparable between H.E.S.S. and HAWC. Events above 1 TeV are selected for both datasets, the point spread function of H.E.S.S. is broadened to approach that of HAWC, and a similar background estimation method is used. This is the first detailed comparison of the Galactic plane observed by both instruments. H.E.S.S. can confirm the gamma-ray emission of four HAWC sources among seven previously undetected by IACTs, while the three others have measured fluxes below the sensitivity of the H.E.S.S. dataset. Remaining differences in the overall gamma-ray flux can be explained by the systematic uncertainties. Therefore, we confirm a consistent view of the gamma-ray sky between WCD and IACT techniques.
△ Less
Submitted 8 September, 2021; v1 submitted 3 July, 2021;
originally announced July 2021.
-
Evidence of 100 TeV $γ$-ray emission from HESS J1702-420: A new PeVatron candidate
Authors:
H. Abdalla,
F. Aharonian,
F. Ait Benkhali,
E. O. Angüner,
C. Arcaro,
C. Armand,
T. Armstrong,
H. Ashkar,
M. Backes,
V. Baghmanyan,
V. Barbosa Martins,
A. Barnacka,
M. Barnard,
Y. Becherini,
D. Berge,
K. Bernlöhr,
B. Bi,
M. Böttcher,
C. Boisson,
J. Bolmont,
M. de Bony de Lavergne,
M. Breuhaus,
F. Brun,
P. Brun,
M. Bryan
, et al. (211 additional authors not shown)
Abstract:
The identification of PeVatrons, hadronic particle accelerators reaching the knee of the cosmic ray spectrum (few $10^{15}$ eV), is crucial to understand the origin of cosmic rays in the Galaxy. We provide an update on the unidentified source HESS J1702-420, a promising PeVatron candidate. We present new observations of HESS J1702-420 made with the High Energy Stereoscopic System (H.E.S.S.), and p…
▽ More
The identification of PeVatrons, hadronic particle accelerators reaching the knee of the cosmic ray spectrum (few $10^{15}$ eV), is crucial to understand the origin of cosmic rays in the Galaxy. We provide an update on the unidentified source HESS J1702-420, a promising PeVatron candidate. We present new observations of HESS J1702-420 made with the High Energy Stereoscopic System (H.E.S.S.), and processed using improved analysis techniques. The analysis configuration was optimized to enhance the collection area at the highest energies. We applied a three-dimensional (3D) likelihood analysis to model the source region and adjust non thermal radiative spectral models to the $γ$-ray data. We also analyzed archival data from the Fermi Large Area Telescope (LAT) to constrain the source spectrum at $γ$-ray energies >10 GeV. We report the detection of a new source component called HESS J1702-420A, that was separated from the bulk of TeV emission at a $5.4σ$ confidence level. The power law $γ$-ray spectrum of HESS J1702-420A extends with an index of $Γ=1.53\pm0.19_\text{stat}\pm0.20_\text{sys}$ and without curvature up to the energy band 64-113 TeV, in which it was detected by H.E.S.S. at a $4.0σ$ confidence level. This brings evidence for the source emission up to $100\,\text{TeV}$, which makes HESS J1702-420A a compelling candidate site for the presence of extremely high energy cosmic rays. Remarkably, in a hadronic scenario, the cut-off energy of the proton distribution powering HESS J1702-420A is found to be higher than 0.5 PeV at a 95% confidence level. HESS J1702-420A becomes therefore one of the most solid PeVatron candidates detected so far in H.E.S.S. data, altough a leptonic origin of its emission could not be ruled out either.
△ Less
Submitted 14 June, 2021; v1 submitted 11 June, 2021;
originally announced June 2021.