arXiv subjects

A. Montanari

Publications and source records attributed to A. Montanari.

51 records · Page 3Linked to original sources

arXiv2021

Search for dark matter annihilation signals from UFOs with H.E.S.S

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.

astro-ph.HE↗

arXiv2021

Search for TeV emission from the Fermi Bubbles at low Galactic latitudes with H.E.S.S. inner Galaxy survey observations

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.

astro-ph.HE↗

arXiv2021

Search for dark matter annihilation signals from the Galactic Center with the H.E.S.S. Inner Galaxy Survey

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.

astro-ph.HE↗

arXiv2020

Cryogenic SiPM arrays for the DUNE photon detection system

In this paper we report on the characterization of SiPM tiles developed for the R & D on the DUNE Photon Detection System. The tiles were produced by Fondazione Bruno Kessler (FBK) employing NUV-HD-SF SiPMs. Special emphasis is given on cryo-reliability of the sensors, i.e. the stability of electric and mechanical properties after thermal cycles at room and 77K temperature. The characterization includes the determination of the I-V curve, a high sensitivity measurement of Dark Count Rate at different overvoltages, and correlated noise. The single p.e. sensitivity is measured as a function of the number of sensors connected to a single electronic channel, after amplification at 77K using a dedicated cold amplifier.

physics.ins-det↗

arXiv2016

Measurement of parameters of scintillating bars with wavelength-shifting fibres and silicon photomultiplier readout for the SHiP Muon Detector

The light yield and the time resolution of different types of 3 m long scintillating bars instrumented with wavelength shifting fibres and read out by different models of silicon photomultipliers have been measured at a test beam at the T9 area at the CERN Proton Synchrotron. The results obtained with different configurations are presented. A time resolution better than 800 ps, constant along the bar length within 20%, and a light yield of ~ 140 (70) photoelectrons are obtained for bars 3 m long, 4.5 (5) cm wide and 2 (0.7) cm thick. These results nicely match the requirements for the Muon Detector of the SHiP experiment.

physics.ins-det↗

arXiv2016

Checking Interval Properties of Computations

Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, one can verify whether the system meets the behaviour by checking the formula against the model. Classically, system behaviour is expressed by a formula of a temporal logic, such as LTL and the like. These logics are "point-wise" interpreted, as they describe how the system evolves state-by-state. However, there are relevant properties, such as those constraining the temporal relations between pairs of temporally extended events or involving temporal aggregations, which are inherently "interval-based", and thus asking for an interval temporal logic. In this paper, we give a formalization of the model checking problem in an interval logic setting. First, we provide an interpretation of formulas of Halpern and Shoham's interval temporal logic HS over finite Kripke structures, which allows one to check interval properties of computations. Then, we prove that the model checking problem for HS against finite Kripke structures is decidable by a suitable small model theorem, and we provide a lower bound to its computational complexity.

cs.LO↗

arXiv2016

Complexity of ITL model checking: some well-behaved fragments of the interval logic HS

Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases. Most of the proposed solutions make use of classical, point-based temporal logics, while little work has been done in the interval temporal logic setting. Recently, a non-elementary model checking algorithm for Halpern and Shoham's modal logic of time intervals HS over finite Kripke structures (under the homogeneity assumption) and an EXPSPACE model checking procedure for two meaningful fragments of it have been proposed. In this paper, we show that more efficient model checking procedures can be developed for some expressive enough fragments of HS.

cs.LO↗

arXiv2013

SuperB Technical Design Report

In this Technical Design Report (TDR) we describe the SuperB detector that was to be installed on the SuperB e+e- high luminosity collider. The SuperB asymmetric collider, which was to be constructed on the Tor Vergata campus near the INFN Frascati National Laboratory, was designed to operate both at the Upsilon(4S) center-of-mass energy with a luminosity of 10^{36} cm^{-2}s^{-1} and at the tau/charm production threshold with a luminosity of 10^{35} cm^{-2}s^{-1}. This high luminosity, producing a data sample about a factor 100 larger than present B Factories, would allow investigation of new physics effects in rare decays, CP Violation and Lepton Flavour Violation. This document details the detector design presented in the Conceptual Design Report (CDR) in 2007. The R&D and engineering studies performed to arrive at the full detector design are described, and an updated cost estimate is presented. A combination of a more realistic cost estimates and the unavailability of funds due of the global economic climate led to a formal cancelation of the project on Nov 27, 2012.

physics.ins-det↗

arXiv2010

Decidability of the interval temporal logic ABBar over the natural numbers

In this paper, we focus our attention on the interval temporal logic of the Allen's relations "meets", "begins", and "begun by" (ABBar for short), interpreted over natural numbers. We first introduce the logic and we show that it is expressive enough to model distinctive interval properties,such as accomplishment conditions, to capture basic modalities of point-based temporal logic, such as the until operator, and to encode relevant metric constraints. Then, we prove that the satisfiability problem for ABBar over natural numbers is decidable by providing a small model theorem based on an original contraction method. Finally, we prove the EXPSPACE-completeness of the problem

cs.LO↗

arXiv2004

The Phase Diagram of Random Heteropolymers

We propose a new analytic approach to study the phase diagram of random heteropolymers, based on the cavity method. For copolymers we analyze the nature and phenomenology of the glass transition as a function of sequence correlations. Depending on these correlations, we find that two different scenarios for the glass transition can occur. We show that, beside the much studied possibility of an abrupt freezing transition at low temperature, the system can exhibit, upon cooling, a first transition to a soft glass phase with fully broken replica symmetry and a continuously growing degree of freezing as the temperature is lowered.

cond-mat.dis-nn↗

arXiv2004

Glassy phases in Random Heteropolymers with correlated sequences

We develop a new analytic approach for the study of lattice heteropolymers, and apply it to copolymers with correlated Markovian sequences. According to our analysis, heteropolymers present three different dense phases depending upon the temperature, the nature of the monomer interactions, and the sequence correlations: (i) a liquid phase, (ii) a ``soft glass'' phase, and (iii) a ``frozen glass'' phase. The presence of the new intermediate ``soft glass'' phase is predicted for instance in the case of polyampholytes with sequences that favor the alternation of monomers. Our approach is based on the cavity method, a refined Bethe Peierls approximation adapted to frustrated systems. It amounts to a mean field treatment in which the nearest neighbor correlations, which are crucial in the dense phases of heteropolymers, are handled exactly. This approach is powerful and versatile, it can be improved systematically and generalized to other polymeric systems.

cond-mat.dis-nn↗

arXiv2003

Temporalized logics and automata for time granularity

Suitable extensions of the monadic second-order theory of k successors have been proposed in the literature to capture the notion of time granularity. In this paper, we provide the monadic second-order theories of downward unbounded layered structures, which are infinitely refinable structures consisting of a coarsest domain and an infinite number of finer and finer domains, and of upward unbounded layered structures, which consist of a finest domain and an infinite number of coarser and coarser domains, with expressively complete and elementarily decidable temporal logic counterparts. We obtain such a result in two steps. First, we define a new class of combined automata, called temporalized automata, which can be proved to be the automata-theoretic counterpart of temporalized logics, and show that relevant properties, such as closure under Boolean operations, decidability, and expressive equivalence with respect to temporal logics, transfer from component automata to temporalized ones. Then, we exploit the correspondence between temporalized logics and automata to reduce the task of finding the temporal logic counterparts of the given theories of time granularity to the easier one of finding temporalized automata counterparts of them.

cs.LO↗

arXiv2001

The Time of Flight System of the AMS-02 Space Experiment

The Time-of-Flight (TOF) system of the AMS detector gives the fast trigger to the read out electronics and measures velocity, direction and charge of the crossing particles. The new version of the detector (called AMS-02) will be installed on the International Space Station on March 2004. The fringing field of the AMS-02 superconducting magnet is $1.0\div2.5$ kG where the photomultiplers (PM) are installed. In order to be able to operate with this residual field, a new type of PM was chosen and the mechanical design was constrained by requiring to minimize the angle between the magnetic field vector and the PM axis. Due to strong field and to the curved light guides, the time resolution will be $150\div180$ ps, while the new electronics will allow for a better charge measurement.

hep-ex↗

arXiv2001

The AMS-01 Time of Flight System

The Time-of-Flight (TOF) system of the AMS detector gives the fast trigger to the read out electronics and measures velocity, direction and charge of the crossing particles. The first version of the detector (called AMS-01) has flown in 1998 aboard of the shuttle Discovery for a 10 days test mission, and collected about $10^8$ events. The new version (called AMS-02) will be installed on the International Space Station on March 2004 and will operate for at least three years, collecting roughly $10^{10}$ Cosmic Rays (CR) particles. The TOF system of AMS-01 successfully operated during the test mission, obtaining a trigger efficiency better than 99.9% and a time resolution of 120 ps for protons and better for other CR ions. In addition, the TOF system was able to separate protons from all the other CR nuclei within 1% and to distinguish between downward and upward crossing particles within at most $10^{-8}$.

astro-ph↗

arXiv1999

The statistical mechanics of turbo codes

The "turbo codes", recently proposed by Berrou et. al. are written as a disordered spin Hamiltonian. It is shown that there is a threshold Theta such that for signal to noise ratios v^2 / w^2 > Theta, the error probability per bit vanishes in the thermodynamic limit, i.e. the limit of infinitly long sequences. The value of the threshold has been computed for two particular turbo codes. It is found that it depends on the code. These results are compared with numerical simulations.

cond-mat.dis-nn↗