-
Constraints on the energy spectrum of the diffuse cosmic neutrino flux from the ANTARES neutrino telescope
Authors:
ANTARES Collaboration,
A. Albert,
S. Alves,
M. André,
M. Ardid,
S. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
Y. Becherini,
B. Belhorma,
M. Bendahman,
F. Benfenati,
V. Bertin,
S. Biagi,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
B. Caiffi,
D. Calvo
, et al. (117 additional authors not shown)
Abstract:
High-significance evidences of the existence of a high-energy diffuse flux of cosmic neutrinos have emerged in the last decade from several observations by the IceCube Collaboration. The ANTARES neutrino telescope took data for 15 years in the Mediterranean Sea, from 2007 to 2022, and collected a high-purity all-flavour neutrino sample. The search for a diffuse cosmic neutrino signal using this da…
▽ More
High-significance evidences of the existence of a high-energy diffuse flux of cosmic neutrinos have emerged in the last decade from several observations by the IceCube Collaboration. The ANTARES neutrino telescope took data for 15 years in the Mediterranean Sea, from 2007 to 2022, and collected a high-purity all-flavour neutrino sample. The search for a diffuse cosmic neutrino signal using this dataset is presented in this article. This final analysis did not provide a statistically significant observation of the cosmic diffuse flux: this is converted into limits on the properties of the cosmic neutrino spectrum. In particular, given the sensitivity of the ANTARES neutrino telescope between 1 and 50 TeV, constraints on single-power-law hypotheses are derived for the cosmic diffuse flux below 20 TeV.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Top-$K$ ranking with a monotone adversary
Authors:
Yuepeng Yang,
Antares Chen,
Lorenzo Orecchia,
Cong Ma
Abstract:
In this paper, we address the top-$K$ ranking problem with a monotone adversary. We consider the scenario where a comparison graph is randomly generated and the adversary is allowed to add arbitrary edges. The statistician's goal is then to accurately identify the top-$K$ preferred items based on pairwise comparisons derived from this semi-random comparison graph. The main contribution of this pap…
▽ More
In this paper, we address the top-$K$ ranking problem with a monotone adversary. We consider the scenario where a comparison graph is randomly generated and the adversary is allowed to add arbitrary edges. The statistician's goal is then to accurately identify the top-$K$ preferred items based on pairwise comparisons derived from this semi-random comparison graph. The main contribution of this paper is to develop a weighted maximum likelihood estimator (MLE) that achieves near-optimal sample complexity, up to a $\log^2(n)$ factor, where $n$ denotes the number of items under comparison. This is made possible through a combination of analytical and algorithmic innovations. On the analytical front, we provide a refined~$\ell_\infty$ error analysis of the weighted MLE that is more explicit and tighter than existing analyses. It relates the~$\ell_\infty$ error with the spectral properties of the weighted comparison graph. Motivated by this, our algorithmic innovation involves the development of an SDP-based approach to reweight the semi-random graph and meet specified spectral properties. Additionally, we propose a first-order method based on the Matrix Multiplicative Weight Update (MMWU) framework. This method efficiently solves the resulting SDP in nearly-linear time relative to the size of the semi-random comparison graph.
△ Less
Submitted 20 June, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
A Reversible Perspective on Petri Nets and Event Structures
Authors:
Hernán Melgratti,
Claudio Antares Mezzina,
G. Michele Pinna
Abstract:
Event structures have emerged as a foundational model for concurrent computation, explaining computational processes by outlining the events and the relationships that dictate their execution. They play a pivotal role in the study of key aspects of concurrent computation models, such as causality and independence, and have found applications across a broad range of languages and models, spanning r…
▽ More
Event structures have emerged as a foundational model for concurrent computation, explaining computational processes by outlining the events and the relationships that dictate their execution. They play a pivotal role in the study of key aspects of concurrent computation models, such as causality and independence, and have found applications across a broad range of languages and models, spanning realms like persistence, probabilities, and quantum computing. Recently, event structures have been extended to address reversibility, where computational processes can undo previous computations. In this context, reversible event structures provide abstract representations of processes capable of both forward and backward steps in a computation. Since their introduction, event structures have played a crucial role in bridging operational models, traditionally exemplified by Petri nets and process calculi, with denotational ones, i.e., algebraic domains. In this context, we revisit the standard connection between Petri nets and event structures under the lenses of reversibility. Specifically, we introduce a subset of contextual Petri nets, dubbed reversible causal nets, that precisely correspond to reversible prime event structures. The distinctive feature of reversible causal nets lies in deriving causality from inhibitor arcs, departing from the conventional dependence on the overlap between the post and preset of transitions. In this way, we are able to operationally explain the full model of reversible prime event structures.
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Checkpoint-based rollback recovery in session programming
Authors:
Claudio Antares Mezzina,
Francesco Tiezzi,
Nobuko Yoshida
Abstract:
To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of "undoing" the interactions which led to an undesired state. To assist this task, session-based languages can be endowed with reversibility mechanisms. In this paper we propose a language enriched with programming facilities to commit session interactions, to roll back th…
▽ More
To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of "undoing" the interactions which led to an undesired state. To assist this task, session-based languages can be endowed with reversibility mechanisms. In this paper we propose a language enriched with programming facilities to commit session interactions, to roll back the computation to a previous commit point, and to abort the session. Rollbacks in our language always bring the system to previous visited states and a rollback cannot bring the system back to a point prior to the last commit. Programmers are relieved from the burden of ensuring that a rollback never restores a checkpoint imposed by a session participant different from the rollback requester. Such undesired situations are prevented at design-time (statically) by relying on a decidable compliance check at the type level, implemented in MAUDE. We show that the language satisfies error-freedom and progress of a session.
△ Less
Submitted 3 December, 2023;
originally announced December 2023.
-
Local algorithms and the failure of log-depth quantum advantage on sparse random CSPs
Authors:
Antares Chen,
Neng Huang,
Kunal Marwaha
Abstract:
We construct and analyze a message-passing algorithm for random constraint satisfaction problems (CSPs) at large clause density, generalizing work of El Alaoui, Montanari, and Sellke for Maximum Cut [arXiv:2111.06813] through a connection between random CSPs and mean-field Ising spin glasses. For CSPs with even predicates, the algorithm asymptotically solves a stochastic optimal control problem du…
▽ More
We construct and analyze a message-passing algorithm for random constraint satisfaction problems (CSPs) at large clause density, generalizing work of El Alaoui, Montanari, and Sellke for Maximum Cut [arXiv:2111.06813] through a connection between random CSPs and mean-field Ising spin glasses. For CSPs with even predicates, the algorithm asymptotically solves a stochastic optimal control problem dual to an extended Parisi variational principle. This gives an optimal fraction of satisfied constraints among algorithms obstructed by the branching overlap gap property of Huang and Sellke [arXiv:2110.07847], notably including the Quantum Approximate Optimization Algorithm and all quantum circuits on a bounded-degree architecture of up to $ε\cdot \log n$ depth.
△ Less
Submitted 2 October, 2023;
originally announced October 2023.
-
A Truly Concurrent Semantics for Reversible CCS
Authors:
Hernán Melgratti,
Claudio Antares Mezzina,
G. Michele Pinna
Abstract:
Reversible CCS (RCCS) is a well-established, formal model for reversible communicating systems, which has been built on top of the classical Calculus of Communicating Systems (CCS). In its original formulation, each CCS process is equipped with a memory that records its performed actions, which is then used to reverse computations. More recently, abstract models for RCCS have been proposed in the…
▽ More
Reversible CCS (RCCS) is a well-established, formal model for reversible communicating systems, which has been built on top of the classical Calculus of Communicating Systems (CCS). In its original formulation, each CCS process is equipped with a memory that records its performed actions, which is then used to reverse computations. More recently, abstract models for RCCS have been proposed in the literature, basically, by directly associating RCCS processes with (reversible versions of) event structures. In this paper we propose a different abstract model: starting from one of the well-known encoding of CCS into Petri nets we apply a recently proposed approach to incorporate causally-consistent reversibility to Petri nets, obtaining as result the (reversible) net counterpart of every RCCS term.
△ Less
Submitted 23 May, 2024; v1 submitted 25 September, 2023;
originally announced September 2023.
-
Searches for neutrinos in the direction of radio-bright blazars with the ANTARES telescope
Authors:
ANTARES Collaboration,
A. Albert,
S. Alves,
M. André,
M. Ardid,
S. Ardid,
J. J. Aubert,
J Aublin,
B. Baret,
S. Basa,
Y. Becherini,
B. Belhorma,
M. Bendahman,
F. Benfenati,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
B. Caiffi
, et al. (140 additional authors not shown)
Abstract:
Active galaxies, especially blazars, are among the most promising neutrino source candidates. To date, ANTARES searches for these objects considered GeV-TeV $γ$-ray bright blazars. Here, a statistically complete radio-bright blazar sample is used as the target for searches of origins of neutrinos collected by the ANTARES neutrino telescope over 13 years of operation. The hypothesis of a neutrino-b…
▽ More
Active galaxies, especially blazars, are among the most promising neutrino source candidates. To date, ANTARES searches for these objects considered GeV-TeV $γ$-ray bright blazars. Here, a statistically complete radio-bright blazar sample is used as the target for searches of origins of neutrinos collected by the ANTARES neutrino telescope over 13 years of operation. The hypothesis of a neutrino-blazar directional correlation is tested by pair counting and by a complementary likelihood-based approach. The resulting post-trial $p$-value is $3.0\%$ ($2.2σ$ in the two-sided convention), possibly indicating a correlation. Additionally, a time-dependent analysis is performed to search for temporal clustering of neutrino candidates as a mean of detecting neutrino flares in blazars. None of the investigated sources alone reaches a significant flare detection level. However, the presence of 18 sources with a pre-trial significance above $3σ$ indicates a $p=1.4\%$ ($2.5σ$ in the two-sided convention) detection of a time-variable neutrino flux. An \textit{a posteriori} investigation reveals an intriguing temporal coincidence of neutrino, radio, and $γ$-ray flares of the J0242+1101 blazar at a $p=0.5\%$ ($2.9σ$ in the two-sided convention) level. Altogether, the results presented here suggest a possible connection of neutrino candidates detected by the ANTARES telescope with radio-bright blazars.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
Authors:
Claudio Antares Mezzina,
Georgiana Caltais
Abstract:
This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an affiliated workshop of CONCUR 2023, the 34rd International Conference on Concurrency Theory. The EXPRESS/SOS workshop series aims at bringing together researchers inte…
▽ More
This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an affiliated workshop of CONCUR 2023, the 34rd International Conference on Concurrency Theory. The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Hypergraph Diffusions and Resolvents for Norm-Based Hypergraph Laplacians
Authors:
Konstantinos Ameranis,
Antares Chen,
Adela DePavia,
Lorenzo Orecchia,
Erasmo Tani
Abstract:
The development of simple and fast hypergraph spectral methods has been hindered by the lack of numerical algorithms for simulating heat diffusions and computing fundamental objects, such as Personalized PageRank vectors, over hypergraphs. In this paper, we overcome this challenge by designing two novel algorithmic primitives. The first is a simple, easy-to-compute discrete-time heat diffusion tha…
▽ More
The development of simple and fast hypergraph spectral methods has been hindered by the lack of numerical algorithms for simulating heat diffusions and computing fundamental objects, such as Personalized PageRank vectors, over hypergraphs. In this paper, we overcome this challenge by designing two novel algorithmic primitives. The first is a simple, easy-to-compute discrete-time heat diffusion that enjoys the same favorable properties as the discrete-time heat diffusion over graphs. This diffusion can be directly applied to speed up existing hypergraph partitioning algorithms.
Our second contribution is the novel application of mirror descent to compute resolvents of non-differentiable squared norms, which we believe to be of independent interest beyond hypergraph problems. Based on this new primitive, we derive the first nearly-linear-time algorithm that simulates the discrete-time heat diffusion to approximately compute resolvents of the hypergraph Laplacian operator, which include Personalized PageRank vectors and solutions to the hypergraph analogue of Laplacian systems. Our algorithm runs in time that is linear in the size of the hypergraph and inversely proportional to the hypergraph spectral gap $λ_G$, matching the complexity of analogous diffusion-based algorithms for the graph version of the problem.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Authors:
Hernán Melgratti,
Claudio Antares Mezzina,
G. Michele Pinna
Abstract:
Causal nets (CNs) are Petri nets where causal dependencies are modelled via inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a concurrent and distributed system, even when reversibility is considered. In this paper we extend CNs to account also for asymmetric conflicts and study (i) how this kind of nets, and their reversible versions, can be turned into a c…
▽ More
Causal nets (CNs) are Petri nets where causal dependencies are modelled via inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a concurrent and distributed system, even when reversibility is considered. In this paper we extend CNs to account also for asymmetric conflicts and study (i) how this kind of nets, and their reversible versions, can be turned into a category; and (ii) their relation with the categories of reversible asymmetric event structures.
△ Less
Submitted 24 January, 2024; v1 submitted 27 February, 2023;
originally announced February 2023.
-
Search for neutrino counterparts to the gravitational wave sources from LIGO/Virgo O3 run with the ANTARES detector
Authors:
ANTARES Collaboration,
A. Albert,
S. Alves,
M. André,
M. Ardid,
S. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
Y. Becherini,
B. Belhorma,
M. Bendahman,
F. Benfenati,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
B. Caiffi
, et al. (128 additional authors not shown)
Abstract:
Since 2015 the LIGO and Virgo interferometers have detected gravitational waves from almost one hundred coalescences of compact objects (black holes and neutron stars). This article presents the results of a search performed with data from the ANTARES telescope to identify neutrino counterparts to the gravitational wave sources detected during the third LIGO/Virgo observing run and reported in the…
▽ More
Since 2015 the LIGO and Virgo interferometers have detected gravitational waves from almost one hundred coalescences of compact objects (black holes and neutron stars). This article presents the results of a search performed with data from the ANTARES telescope to identify neutrino counterparts to the gravitational wave sources detected during the third LIGO/Virgo observing run and reported in the catalogues GWTC-2, GWTC-2.1, and GWTC-3. This search is sensitive to all-sky neutrinos of all flavours and of energies $>100$ GeV, thanks to the inclusion of both track-like events (mainly induced by $ν_μ$ charged-current interactions) and shower-like events (induced by other interaction types). Neutrinos are selected if they are detected within $\pm 500$ s from the GW merger and with a reconstructed direction compatible with its sky localisation. No significant excess is found for any of the 80 analysed GW events, and upper limits on the neutrino emission are derived. Using the information from the GW catalogues and assuming isotropic emission, upper limits on the total energy $E_{\rm tot, ν}$ emitted as neutrinos of all flavours and on the ratio $f_ν= E_{\rm tot, ν}/E_{\rm GW}$ between neutrino and GW emissions are also computed. Finally, a stacked analysis of all the 72 binary black hole mergers (respectively the 7 neutron star - black hole merger candidates) has been performed to constrain the typical neutrino emission within this population, leading to the limits: $E_{\rm tot, ν} < 4.0 \times 10^{53}$ erg and $f_ν< 0.15$ (respectively, $E_{\rm tot, ν} < 3.2 \times 10^{53}$ erg and $f_ν< 0.88$) for $E^{-2}$ spectrum and isotropic emission. Other assumptions including softer spectra and non-isotropic scenarios have also been tested.
△ Less
Submitted 17 April, 2023; v1 submitted 15 February, 2023;
originally announced February 2023.
-
Submodular Hypergraph Partitioning: Metric Relaxations and Fast Algorithms via an Improved Cut-Matching Game
Authors:
Antares Chen,
Lorenzo Orecchia,
Erasmo Tani
Abstract:
Despite there being significant work on develo** spectral, and metric embedding based approximation algorithms for hypergraph generalizations of conductance, little is known regarding the approximability of hypergraph partitioning objectives beyond this.
This work proposes algorithms for a general model of hypergraph partitioning that unifies both undirected and directed versions of many well-…
▽ More
Despite there being significant work on develo** spectral, and metric embedding based approximation algorithms for hypergraph generalizations of conductance, little is known regarding the approximability of hypergraph partitioning objectives beyond this.
This work proposes algorithms for a general model of hypergraph partitioning that unifies both undirected and directed versions of many well-studied partitioning objectives. The first contribution of this paper introduces polymatroidal cut functions, a large class of cut functions amenable to approximation algorithms via metric embeddings and routing multicommodity flows. We demonstrate an $O(\sqrt{\log n})$-approximation, where $n$ is the number of vertices in the hypergraph, for these problems by rounding relaxations to metrics of negative-type.
The second contribution of this paper generalizes the cut-matching game framework of Khandekar et. al. to tackle polymatroidal cut functions. This yields the first almost-linear time $O(\log n)$-approximation algorithm for standard versions of undirected and directed hypergraph partitioning. A technical consequence of our construction is that a cut-matching game which greatly relaxes the set of allowed actions for both players can be used to partition hypergraphs with negligible impact on the approximation ratio. We believe this to be of independent interest.
△ Less
Submitted 26 July, 2023; v1 submitted 21 January, 2023;
originally announced January 2023.
-
revTPL: The Reversible Temporal Process Language
Authors:
Laura Bocchi,
Ivan Lanese,
Claudio Antares Mezzina,
Shoji Yuen
Abstract:
Reversible debuggers help programmers to find the causes of misbehaviours in concurrent programs more quickly, by executing a program backwards from the point where a misbehaviour was observed, and looking for the bug(s) that caused it. Reversible debuggers can be founded on the well-studied theory of causal-consistent reversibility, which only allows one to undo an action provided that its conseq…
▽ More
Reversible debuggers help programmers to find the causes of misbehaviours in concurrent programs more quickly, by executing a program backwards from the point where a misbehaviour was observed, and looking for the bug(s) that caused it. Reversible debuggers can be founded on the well-studied theory of causal-consistent reversibility, which only allows one to undo an action provided that its consequences, if any, are undone beforehand. Causal-consistent reversibility yields more efficient debugging by reducing the number of states to be explored when looking backwards. Till now, causal-consistent reversibility has never considered time, which is a key aspect in real-world applications. Here, we study the interplay between reversibility and time in concurrent systems via a process algebra. The Temporal Process Language (TPL) by Hennessy and Regan is a well-understood extension of CCS with discrete-time and a timeout operator. We define revTPL, a reversible extension of TPL, and we show that it satisfies the properties expected from a causal-consistent reversible calculus. We show that, alternatively, revTPL can be interpreted as an extension of reversible CCS with time.
△ Less
Submitted 30 January, 2024; v1 submitted 7 December, 2022;
originally announced December 2022.
-
Limits on the nuclearite flux using the ANTARES neutrino telescope
Authors:
ANTARES Collaboration,
A. Albert,
S. Alves,
M. André,
M. Ardid,
S. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
M. Bendahman,
F. Benfenati,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
B. Caiffi,
D. Calvo
, et al. (121 additional authors not shown)
Abstract:
In this work, a search for nuclearites of strange quark matter by using nine years of ANTARES data taken in the period 2009-2017 is presented. The passage through matter of these particles is simulated %according to the model of de Rújula and Glashow taking into account a detailed description of the detector response to nuclearites and of the data acquisition conditions. A down-going flux of cosmi…
▽ More
In this work, a search for nuclearites of strange quark matter by using nine years of ANTARES data taken in the period 2009-2017 is presented. The passage through matter of these particles is simulated %according to the model of de Rújula and Glashow taking into account a detailed description of the detector response to nuclearites and of the data acquisition conditions. A down-going flux of cosmic nuclearites with Galactic velocities ($β= 10^{-3}$) was considered for this study. The mass threshold for detecting these particles at the detector level is \mbox{ $4 \times 10^{13}$ GeV/c$^{2}$}. Upper limits on the nuclearite flux for masses up to $10^{17}$ GeV/c$^{2}$ at the level of $\sim 5 \times 10^{-17}$ cm$^{-2}$ s$^{-1}$ sr$^{-1}$ are obtained. These are the first upper limits on nuclearites established with a neutrino telescope and the most stringent ever set for Galactic velocities.
△ Less
Submitted 10 December, 2022; v1 submitted 24 August, 2022;
originally announced August 2022.
-
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
Authors:
Marco Bernardo,
Claudio A. Mezzina
Abstract:
Causal reversibility blends reversibility and causality for concurrent systems. It indicates that an action can be undone provided that all of its consequences have been undone already, thus making it possible to bring the system back to a past consistent state. Time reversibility is instead considered in the field of stochastic processes, mostly for efficient analysis purposes. A performance mode…
▽ More
Causal reversibility blends reversibility and causality for concurrent systems. It indicates that an action can be undone provided that all of its consequences have been undone already, thus making it possible to bring the system back to a past consistent state. Time reversibility is instead considered in the field of stochastic processes, mostly for efficient analysis purposes. A performance model based on a continuous-time Markov chain is time reversible if its stochastic behavior remains the same when the direction of time is reversed. We bridge these two theories of reversibility by showing the conditions under which causal reversibility and time reversibility are both ensured by construction. This is done in the setting of a stochastic process calculus, which is then equipped with a variant of stochastic bisimilarity accounting for both forward and backward directions.
△ Less
Submitted 24 April, 2023; v1 submitted 3 May, 2022;
originally announced May 2022.
-
Search for Magnetic Monopoles with ten years of the ANTARES neutrino telescope
Authors:
ANTARES Collaboration,
A. Albert,
S. Alves,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
S. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
M. Bendahman,
F. Benfenati,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto
, et al. (123 additional authors not shown)
Abstract:
This work presents a new search for magnetic monopoles using data taken with the ANTARES neutrino telescope over a period of 10 years (January 2008 to December 2017). Compared to previous ANTARES searches, this analysis uses a run-by-run simulation strategy, with a larger exposure as well as a new simulation of magnetic monopoles taking into account the Kasama, Yang and Goldhaber model for their i…
▽ More
This work presents a new search for magnetic monopoles using data taken with the ANTARES neutrino telescope over a period of 10 years (January 2008 to December 2017). Compared to previous ANTARES searches, this analysis uses a run-by-run simulation strategy, with a larger exposure as well as a new simulation of magnetic monopoles taking into account the Kasama, Yang and Goldhaber model for their interaction cross-section with matter. No signal compatible with the passage of relativistic magnetic monopoles is observed, and upper limits on the flux of magnetic monopoles with $β$ = v/c $\geq$ 0.55, are presented. For ultra-relativistic magnetic monopoles the flux limit is $\sim$ 7$\times$$10^{-18}$ $\rm cm^{-2} s^{-1} sr^{-1}$.
△ Less
Submitted 9 March, 2022; v1 submitted 28 February, 2022;
originally announced February 2022.
-
Search for solar atmospheric neutrinos with the ANTARES neutrino telescope
Authors:
ANTARES Collaboration,
A. Albert,
S. Alves,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
S. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
M. Bendahman,
F. Benfenati,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto
, et al. (123 additional authors not shown)
Abstract:
Solar Atmospheric Neutrinos (SA$ν$s) are produced by the interaction of cosmic rays with the solar medium. The detection of SA$ν$s would provide useful information on the composition of primary cosmic rays as well as the solar density. These neutrinos represent an irreducible source of background for indirect searches for dark matter towards the Sun and the measurement of their flux would allow fo…
▽ More
Solar Atmospheric Neutrinos (SA$ν$s) are produced by the interaction of cosmic rays with the solar medium. The detection of SA$ν$s would provide useful information on the composition of primary cosmic rays as well as the solar density. These neutrinos represent an irreducible source of background for indirect searches for dark matter towards the Sun and the measurement of their flux would allow for a better assessment of the uncertainties related to these searches. In this paper we report on the analysis performed, based on an unbinned likelihood maximisation, to search for SA$ν$s with the ANTARES neutrino telescope. After analysing the data collected over 11 years, no evidence for a solar atmospheric neutrino signal has been found. An upper limit at 90\% confidence level on the flux of solar atmospheric neutrinos has been obtained, equal to 7$\times$$10^{-11}$ [TeV$^{-1}$cm$^{-2}$s$^{-1}$] at E$_ν=$ 1 TeV for the reference cosmic ray model assumed.
△ Less
Submitted 15 June, 2022; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Search for Spatial Correlations of Neutrinos with Ultra-High-Energy Cosmic Rays
Authors:
The ANTARES collaboration,
A. Albert,
S. Alves,
M. André,
M. Anghinolfi,
M. Ardid,
S. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
M. Bendahman,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
B. Caiffi,
D. Calvo
, et al. (1025 additional authors not shown)
Abstract:
For several decades, the origin of ultra-high-energy cosmic rays (UHECRs) has been an unsolved question of high-energy astrophysics. One approach for solving this puzzle is to correlate UHECRs with high-energy neutrinos, since neutrinos are a direct probe of hadronic interactions of cosmic rays and are not deflected by magnetic fields. In this paper, we present three different approaches for corre…
▽ More
For several decades, the origin of ultra-high-energy cosmic rays (UHECRs) has been an unsolved question of high-energy astrophysics. One approach for solving this puzzle is to correlate UHECRs with high-energy neutrinos, since neutrinos are a direct probe of hadronic interactions of cosmic rays and are not deflected by magnetic fields. In this paper, we present three different approaches for correlating the arrival directions of neutrinos with the arrival directions of UHECRs. The neutrino data is provided by the IceCube Neutrino Observatory and ANTARES, while the UHECR data with energies above $\sim$50 EeV is provided by the Pierre Auger Observatory and the Telescope Array. All experiments provide increased statistics and improved reconstructions with respect to our previous results reported in 2015. The first analysis uses a high-statistics neutrino sample optimized for point-source searches to search for excesses of neutrinos clustering in the vicinity of UHECR directions. The second analysis searches for an excess of UHECRs in the direction of the highest-energy neutrinos. The third analysis searches for an excess of pairs of UHECRs and highest-energy neutrinos on different angular scales. None of the analyses has found a significant excess, and previously reported over-fluctuations are reduced in significance. Based on these results, we further constrain the neutrino flux spatially correlated with UHECRs.
△ Less
Submitted 23 August, 2022; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Search for neutrinos from the tidal disruption events AT2019dsg and AT2019fdr with the ANTARES telescope
Authors:
ANTARES Collaboration,
A. Albert,
S. Alves,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
M. Bendahman,
F. Benfenati,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
B. Caiffi
, et al. (119 additional authors not shown)
Abstract:
On October 1, 2019, the IceCube Collaboration detected a muon track neutrino with high probability of being of astrophysical origin, IC191001A. After a few hours, the tidal disruption event (TDE) AT2019dsg, observed by the Zwicky Transient Facility (ZTF), was indicated as the most likely counterpart of the IceCube track. More recently, the follow-up campaign of the IceCube alerts by ZTF suggested…
▽ More
On October 1, 2019, the IceCube Collaboration detected a muon track neutrino with high probability of being of astrophysical origin, IC191001A. After a few hours, the tidal disruption event (TDE) AT2019dsg, observed by the Zwicky Transient Facility (ZTF), was indicated as the most likely counterpart of the IceCube track. More recently, the follow-up campaign of the IceCube alerts by ZTF suggested a second TDE, AT2019fdr, as a promising counterpart of another IceCube muon track candidate, IC200530A, detected on May 30, 2020. These are the second and third associations between astrophysical sources and high-energy neutrinos after the compelling identification of the blazar TXS 0506+056. Here, the search for ANTARES neutrinos from the directions of AT2019dsg and AT2019fdr using a time-integrated approach is presented. As no significant evidence for space clustering is found in the ANTARES data, upper limits on the one-flavour neutrino flux and fluence are set.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
ANTARES upper limits on the multi-TeV neutrino emission from the GRBs detected by IACTs
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
V. Carretero
, et al. (113 additional authors not shown)
Abstract:
The first gamma-ray burst detections by Imaging Atmospheric Cherenkov Telescopes have been recently announced: GRB 190114C, detected by MAGIC, GRB 180720B and GRB 190829A, observed by H.E.S.S. A dedicated search for neutrinos in space and time coincidence with the gamma-ray emission observed by IACTs has been performed using ANTARES data. The search covers both the prompt and afterglow phases, yie…
▽ More
The first gamma-ray burst detections by Imaging Atmospheric Cherenkov Telescopes have been recently announced: GRB 190114C, detected by MAGIC, GRB 180720B and GRB 190829A, observed by H.E.S.S. A dedicated search for neutrinos in space and time coincidence with the gamma-ray emission observed by IACTs has been performed using ANTARES data. The search covers both the prompt and afterglow phases, yielding no neutrinos in coincidence with the three GRBs studied. Upper limits on the energetics of the neutrino emission are inferred. The resulting upper limits are several orders of magnitude above the observed gamma-ray emission, and they do not allow to constrain the available models.
△ Less
Submitted 6 February, 2021; v1 submitted 23 November, 2020;
originally announced November 2020.
-
Monte Carlo simulations for the ANTARES underwater neutrino telescope
Authors:
The ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Branzas,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Cecchini
, et al. (111 additional authors not shown)
Abstract:
Monte Carlo simulations are a unique tool to check the response of a detector and to monitor its performance. For a deep-sea neutrino telescope, the variability of the environmental conditions that can affect the behaviour of the data acquisition system must be considered, in addition to a reliable description of the active parts of the detector and of the features of physics events, in order to p…
▽ More
Monte Carlo simulations are a unique tool to check the response of a detector and to monitor its performance. For a deep-sea neutrino telescope, the variability of the environmental conditions that can affect the behaviour of the data acquisition system must be considered, in addition to a reliable description of the active parts of the detector and of the features of physics events, in order to produce a realistic set of simulated events. In this paper, the software tools used to produce neutrino and cosmic ray signatures in the telescope and the strategy developed to represent the time evolution of the natural environment and of the detector efficiency are described.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
Cut Sparsification of the Clique Beyond the Ramanujan Bound: A Separation of Cut Versus Spectral Sparsification
Authors:
Antares Chen,
Jonathan Shi,
Luca Trevisan
Abstract:
We prove that a random $d$-regular graph, with high probability, is a cut sparsifier of the clique with approximation error at most $\left(2\sqrt{\frac 2 π} + o_{n,d}(1)\right)/\sqrt d$, where $2\sqrt{\frac 2 π} = 1.595\ldots$ and $o_{n,d}(1)$ denotes an error term that depends on $n$ and $d$ and goes to zero if we first take the limit $n\rightarrow \infty$ and then the limit…
▽ More
We prove that a random $d$-regular graph, with high probability, is a cut sparsifier of the clique with approximation error at most $\left(2\sqrt{\frac 2 π} + o_{n,d}(1)\right)/\sqrt d$, where $2\sqrt{\frac 2 π} = 1.595\ldots$ and $o_{n,d}(1)$ denotes an error term that depends on $n$ and $d$ and goes to zero if we first take the limit $n\rightarrow \infty$ and then the limit $d \rightarrow \infty$.
This is established by analyzing linear-size cuts using techniques of Jagannath and Sen derived from ideas in statistical physics, and analyzing small cuts via martingale inequalities.
We also prove new lower bounds on spectral sparsification of the clique. If $G$ is a spectral sparsifier of the clique and $G$ has average degree $d$, we prove that the approximation error is at least the "Ramanujan bound'' $(2-o_{n,d}(1))/\sqrt d$, which is met by $d$-regular Ramanujan graphs, provided that either the weighted adjacency matrix of $G$ is a (multiple of) a doubly stochastic matrix, or that $G$ satisfies a certain high "odd pseudo-girth" property. The first case can be seen as an "Alon-Boppana theorem for symmetric doubly stochastic matrices," showing that a symmetric doubly stochastic matrix with $dn$ non-zero entries has a non-trivial eigenvalue of magnitude at least $(2-o_{n,d}(1))/\sqrt d$; the second case generalizes a lower bound of Srivastava and Trevisan, which requires a large girth assumption.
Together, these results imply a separation between spectral sparsification and cut sparsification. If $G$ is a random $\log n$-regular graph on $n$ vertices, we show that, with high probability, $G$ admits a (weighted subgraph) cut sparsifier of average degree $d$ and approximation error at most $(1.595\ldots + o_{n,d}(1))/\sqrt d$, while every (weighted subgraph) spectral sparsifier of $G$ having average degree $d$ has approximation error at least $(2-o_{n,d}(1))/\sqrt d$.
△ Less
Submitted 31 October, 2021; v1 submitted 12 August, 2020;
originally announced August 2020.
-
Constraining the contribution of Gamma-Ray Bursts to the high-energy diffuse neutrino flux with 10 years of ANTARES data
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli
, et al. (111 additional authors not shown)
Abstract:
Addressing the origin of the astrophysical neutrino flux observed by IceCube is of paramount importance. Gamma-Ray Bursts (GRBs) are among the few astrophysical sources capable of achieving the required energy to contribute to such neutrino flux through p$γ$ interactions. In this work, ANTARES data have been used to search for upward going muon neutrinos in spatial and temporal coincidence with 78…
▽ More
Addressing the origin of the astrophysical neutrino flux observed by IceCube is of paramount importance. Gamma-Ray Bursts (GRBs) are among the few astrophysical sources capable of achieving the required energy to contribute to such neutrino flux through p$γ$ interactions. In this work, ANTARES data have been used to search for upward going muon neutrinos in spatial and temporal coincidence with 784 GRBs occurred from 2007 to 2017. For each GRB, the expected neutrino flux has been calculated in the framework of the internal shock model and the impact of the lack of knowledge on the majority of source redshifts and on other intrinsic parameters of the emission mechanism has been quantified. It is found that the model parameters that set the radial distance where shock collisions occur have the largest impact on neutrino flux expectations. In particular, the bulk Lorentz factor of the source ejecta and the minimum variability timescale are found to contribute significantly to the GRB-neutrino flux uncertainty. For the selected sources, ANTARES data have been analysed, by maximising the discovery probability of the stacking sample through an extended maximum-likelihood strategy. Since no neutrino event passed the quality cuts set by the optimisation procedure, 90\% confidence level upper limits (with their uncertainty) on the total expected diffuse neutrino flux have been derived, according to the model. The GRB contribution to the observed diffuse astrophysical neutrino flux around 100 TeV is constrained to be less than 10\%.
△ Less
Submitted 6 November, 2020; v1 submitted 5 August, 2020;
originally announced August 2020.
-
Observation of the cosmic ray shadow of the Sun with the ANTARES neutrino telescope
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma1,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli
, et al. (112 additional authors not shown)
Abstract:
The ANTARES detector is an undersea neutrino telescope in the Mediterranean Sea. The search for point-like neutrino sources is one of the main goals of the ANTARES telescope, requiring a reliable method to evaluate the detector angular resolution and pointing accuracy. This work describes the study of the Sun "shadow" effect with the ANTARES detector. The shadow is the deficit in the atmospheric m…
▽ More
The ANTARES detector is an undersea neutrino telescope in the Mediterranean Sea. The search for point-like neutrino sources is one of the main goals of the ANTARES telescope, requiring a reliable method to evaluate the detector angular resolution and pointing accuracy. This work describes the study of the Sun "shadow" effect with the ANTARES detector. The shadow is the deficit in the atmospheric muon flux in the direction of the Sun caused by the absorption of the primary cosmic rays. This analysis is based on the data collected between 2008 and 2017 by the ANTARES telescope. The observed statistical significance of the Sun shadow detection is $3.7σ$, with an estimated angular resolution of $0.59^\circ\pm0.10^\circ$ for downward-going muons. The pointing accuracy is found to be consistent with the expectations and no evidence of systematic pointing shifts is observed.
△ Less
Submitted 2 December, 2020; v1 submitted 2 July, 2020;
originally announced July 2020.
-
Combined search for neutrinos from dark matter self-annihilation in the Galactic Centre with ANTARES and IceCube
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
M. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
M. Chabab
, et al. (474 additional authors not shown)
Abstract:
We present the results of the first combined dark matter search targeting the Galactic Centre using the ANTARES and IceCube neutrino telescopes. For dark matter particles with masses from 50 to 1000 GeV, the sensitivities on the self-annihilation cross section set by ANTARES and IceCube are comparable, making this mass range particularly interesting for a joint analysis. Dark matter self-annihilat…
▽ More
We present the results of the first combined dark matter search targeting the Galactic Centre using the ANTARES and IceCube neutrino telescopes. For dark matter particles with masses from 50 to 1000 GeV, the sensitivities on the self-annihilation cross section set by ANTARES and IceCube are comparable, making this mass range particularly interesting for a joint analysis. Dark matter self-annihilation through the $τ^+τ^-$, $μ^+μ^-$, $b\bar{b}$ and $W^+W^-$ channels is considered for both the Navarro-Frenk-White and Burkert halo profiles. In the combination of 2,101.6 days of ANTARES data and 1,007 days of IceCube data, no excess over the expected background is observed. Limits on the thermally-averaged dark matter annihilation cross section $\langleσ_A\upsilon\rangle$ are set. These limits present an improvement of up to a factor of two in the studied dark matter mass range with respect to the individual limits published by both collaborations. When considering dark matter particles with a mass of 200 GeV annihilating through the $τ^+τ^-$ channel, the value obtained for the limit is $7.44 \times 10^{-24} \text{cm}^{3}\text{s}^{-1}$ for the Navarro-Frenk-White halo profile. For the purpose of this joint analysis, the model parameters and the likelihood are unified, providing a benchmark for forthcoming dark matter searches performed by neutrino telescopes.
△ Less
Submitted 3 November, 2020; v1 submitted 14 March, 2020;
originally announced March 2020.
-
Search for neutrino counterparts of gravitational-wave events detected by LIGO and Virgo during run O2 with the ANTARES telescope
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli
, et al. (113 additional authors not shown)
Abstract:
An offline search for a neutrino counterpart to gravitational-wave (GW) events detected during the second observation run (O2) of Advanced-LIGO and Advanced-Virgo performed with ANTARES data is presented. In addition to the search for long tracks induced by $ν_μ$ ($\barν_μ$) charged current interactions, a search for showering events induced by interactions of neutrinos of any flavour is conducted…
▽ More
An offline search for a neutrino counterpart to gravitational-wave (GW) events detected during the second observation run (O2) of Advanced-LIGO and Advanced-Virgo performed with ANTARES data is presented. In addition to the search for long tracks induced by $ν_μ$ ($\barν_μ$) charged current interactions, a search for showering events induced by interactions of neutrinos of any flavour is conducted. The severe spatial and time coincidence provided by the gravitational-wave alert allows regions above the detector horizon to be probed, extending the ANTARES sensitivity over the entire sky. The results of this all-neutrino-flavour and all-sky time dependent analysis are presented. The search for prompt neutrino emission within $\pm$500~s around the time of six GW events yields no neutrino counterparts. Upper limits on the neutrino spectral fluence and constraints on the isotropic radiated energy are set for each GW event analysed.
△ Less
Submitted 6 February, 2021; v1 submitted 9 March, 2020;
originally announced March 2020.
-
ANTARES and IceCube Combined Search for Neutrino Point-like and Extended Sources in the Southern Sky
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
S. Bourret,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr
, et al. (481 additional authors not shown)
Abstract:
A search for point-like and extended sources of cosmic neutrinos using data collected by the ANTARES and IceCube neutrino telescopes is presented. The data set consists of all the track-like and shower-like events pointing in the direction of the Southern Sky included in the nine-year ANTARES point-source analysis, combined with the through-going track-like events used in the seven-year IceCube po…
▽ More
A search for point-like and extended sources of cosmic neutrinos using data collected by the ANTARES and IceCube neutrino telescopes is presented. The data set consists of all the track-like and shower-like events pointing in the direction of the Southern Sky included in the nine-year ANTARES point-source analysis, combined with the through-going track-like events used in the seven-year IceCube point-source search. The advantageous field of view of ANTARES and the large size of IceCube are exploited to improve the sensitivity in the Southern Sky by a factor $\sim$2 compared to both individual analyses. In this work, the Southern Sky is scanned for possible excesses of spatial clustering, and the positions of preselected candidate sources are investigated. In addition, special focus is given to the region around the Galactic Centre, whereby a dedicated search at the location of SgrA* is performed, and to the location of the supernova remnant RXJ 1713.7-3946. No significant evidence for cosmic neutrino sources is found and upper limits on the flux from the various searches are presented.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
Search for dark matter towards the Galactic Centre with 11 years of ANTARES data
Authors:
The ANTARES Collaboration
Abstract:
Neutrino detectors participate in the indirect search for the fundamental constituents of dark matter (DM) in form of weakly interacting massive particles (WIMPs). In WIMP scenarios, candidate DM particles can pair-annihilate into Standard Model products, yielding considerable fluxes of high-energy neutrinos. A detector like ANTARES, located in the Northern Hemisphere, is able to perform a competi…
▽ More
Neutrino detectors participate in the indirect search for the fundamental constituents of dark matter (DM) in form of weakly interacting massive particles (WIMPs). In WIMP scenarios, candidate DM particles can pair-annihilate into Standard Model products, yielding considerable fluxes of high-energy neutrinos. A detector like ANTARES, located in the Northern Hemisphere, is able to perform a competitive search looking towards the Galactic Centre, where a high density of dark matter is thought to accumulate. Both this directional information and the spectral features of annihilating DM pairs are entered into an unbinned likelihood method to scan the data set in search for DM-like signals in ANTARES data. Results obtained upon unblinding 11 years of data are presented. A non-observation of dark matter is converted into limits on the velocity-averaged cross section for WIMP pair annihilation.
△ Less
Submitted 17 April, 2020; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Reversible Causal Nets and Reversible Event Structures
Authors:
Hernán Melgratti,
Claudio Antares Mezzina,
Iain Phillips,
G. Michele Pinna,
Irek Ulidowski
Abstract:
One of the well-known results in concurrency theory concerns the relationship between event structures and occurrence nets: an occurrence net can be associated with a prime event structure, and vice versa. More generally, the relationships between various forms of event structures and suitable forms of nets have been long established. Good examples are the close relationship between inhibitor even…
▽ More
One of the well-known results in concurrency theory concerns the relationship between event structures and occurrence nets: an occurrence net can be associated with a prime event structure, and vice versa. More generally, the relationships between various forms of event structures and suitable forms of nets have been long established. Good examples are the close relationship between inhibitor event structures and inhibitor occurrence nets, or between asymmetric event structures and asymmetric occurrence nets. Several forms of event structures suited for the modelling of reversible computation have recently been developed; also a method for reversing occurrence nets has been proposed. This paper bridges the gap between reversible event structures and reversible nets. We introduce the notion of reversible causal net, which is a generalisation of the notion of reversible unfolding. We show that reversible causal nets correspond precisely to a subclass of reversible prime event structures, the causal reversible prime event structures.
△ Less
Submitted 24 October, 2019;
originally announced October 2019.
-
Reversing Place Transition Nets
Authors:
Hernán Melgratti,
Claudio Antares Mezzina,
Irek Ulidowski
Abstract:
Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop such semantics for Place/Transitions Petri nets (P/T nets) based on two observations. Firstly, a net that explicitly expresses causality and conflict among events,…
▽ More
Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop such semantics for Place/Transitions Petri nets (P/T nets) based on two observations. Firstly, a net that explicitly expresses causality and conflict among events, for example an occurrence net, can be straightforwardly reversed by adding a reverse transition for each of its forward transitions. Secondly, given a P/T net the standard unfolding construction associates with it an occurrence net that preserves all of its computation. Consequently, the reversible semantics of a P/T net can be obtained as the reversible semantics of its unfolding. We show that such reversible behaviour can be expressed as a finite net whose tokens are coloured by causal histories. Colours in our encoding resemble the causal memories that are typical in reversible process calculi.
△ Less
Submitted 15 October, 2020; v1 submitted 9 October, 2019;
originally announced October 2019.
-
ANTARES neutrino search for time and space correlations with IceCube high-energy neutrino events
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
J. Barrios-Martí,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
J. Boumaaza,
S. Bourret,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete
, et al. (111 additional authors not shown)
Abstract:
In the past years, the IceCube Collaboration has reported in several analyses the observation of astrophysical high-energy neutrino events. Despite a compelling evidence for the first identification of a neutrino source, TXS 0506+056, the origin of the majority of these events is still unknown. In this paper, a possible transient origin of the IceCube astrophysical events is searched for using neu…
▽ More
In the past years, the IceCube Collaboration has reported in several analyses the observation of astrophysical high-energy neutrino events. Despite a compelling evidence for the first identification of a neutrino source, TXS 0506+056, the origin of the majority of these events is still unknown. In this paper, a possible transient origin of the IceCube astrophysical events is searched for using neutrino events detected by the ANTARES telescope. The arrival time and direction of 6894 track-like and 160 shower-like events detected over 2346 days of livetime are examined to search for coincidences with 54 IceCube high-energy track-like neutrino events, by means of a maximum likelihood method. No significant correlation is observed and upper limits on the one-flavour neutrino fluence from the direction of the IceCube candidates are derived. The non-observation of time and space correlation within the time window of 0.1 days with the two most energetic IceCube events constrains the spectral index of a possible point-like transient neutrino source, to be harder than $-2.3$ and $-2.4$ for each event, respectively.
△ Less
Submitted 25 February, 2019;
originally announced February 2019.
-
Measuring the atmospheric neutrino oscillation parameters and constraining the 3+1 neutrino model with ten years of ANTARES data
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
J. Boumaaza,
S. Bourret,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete
, et al. (111 additional authors not shown)
Abstract:
The ANTARES neutrino telescope has an energy threshold of a few tens of GeV. This allows to study the phenomenon of atmospheric muon neutrino disappearance due to neutrino oscillations. In a similar way, constraints on the 3+1 neutrino model, which foresees the existence of one sterile neutrino, can be inferred. Using data collected by the ANTARES neutrino telescope from 2007 to 2016, a new measur…
▽ More
The ANTARES neutrino telescope has an energy threshold of a few tens of GeV. This allows to study the phenomenon of atmospheric muon neutrino disappearance due to neutrino oscillations. In a similar way, constraints on the 3+1 neutrino model, which foresees the existence of one sterile neutrino, can be inferred. Using data collected by the ANTARES neutrino telescope from 2007 to 2016, a new measurement of $Δm^2_{32}$ and $θ_{23}$ has been performed - which is consistent with world best-fit values - and constraints on the 3+1 neutrino model have been derived.
△ Less
Submitted 21 May, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Search for Multi-messenger Sources of Gravitational Waves and High-energy Neutrinos with Advanced LIGO during its first Observing Run, ANTARES and IceCube
Authors:
ANTARES,
IceCube,
LIGO,
Virgo Collaborations,
:,
A. Albert,
M. Andre,
M. Anghinolfi,
M. Ardid,
J. -J. Aubert,
J. Aublin,
T. Avgitas,
B. Baret,
J. Barrios-Marti,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
J. Boumaaza,
S. Bourret,
M. C. Bouwhuis,
H. Brânzas,
R. Bruijn,
J. Brunner
, et al. (1570 additional authors not shown)
Abstract:
Astrophysical sources of gravitational waves, such as binary neutron star and black hole mergers or core-collapse supernovae, can drive relativistic outflows, giving rise to non-thermal high-energy emission. High-energy neutrinos are signatures of such outflows. The detection of gravitational waves and high-energy neutrinos from common sources could help establish the connection between the dynami…
▽ More
Astrophysical sources of gravitational waves, such as binary neutron star and black hole mergers or core-collapse supernovae, can drive relativistic outflows, giving rise to non-thermal high-energy emission. High-energy neutrinos are signatures of such outflows. The detection of gravitational waves and high-energy neutrinos from common sources could help establish the connection between the dynamics of the progenitor and the properties of the outflow. We searched for associated emission of gravitational waves and high-energy neutrinos from astrophysical transients with minimal assumptions using data from Advanced LIGO from its first observing run O1, and data from the ANTARES and IceCube neutrino observatories from the same time period. We focused on candidate events whose astrophysical origin could not be determined from a single messenger. We found no significant coincident candidate, which we used to constrain the rate density of astrophysical sources dependent on their gravitational wave and neutrino emission processes.
△ Less
Submitted 15 November, 2018; v1 submitted 24 October, 2018;
originally announced October 2018.
-
A Parametric Framework for Reversible Pi-Calculi
Authors:
Doriana Medic,
Claudio Antares Mezzina,
Iain Phillips,
Nobuko Yoshida
Abstract:
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an extrusion of a name. Different data st…
▽ More
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an extrusion of a name. Different data structures yield different approaches to the parallel extrusion problem. We map three well-known causal semantics into our framework. We show that the (parametric) reversibility induced by our framework is causally-consistent and prove a causal correspondence between an appropriate instance of the framework and Boreale and Sangiorgi's causal semantics.
△ Less
Submitted 26 August, 2018;
originally announced August 2018.
-
A Parametric Framework for Reversible $π$-Calculi
Authors:
Doriana Medic,
Claudio Antares Mezzina,
Iain Phillips,
Nobuko Yoshida
Abstract:
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an extrusion of a name. Different data st…
▽ More
This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality in pi-calculus, which differ in the treatment of parallel extrusions of the same name. In this paper we present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an extrusion of a name. Different data structures yield different approaches to the parallel extrusion problem. We map three well-known causal semantics into our framework. We show that the (parametric) reversibility induced by our framework is causally- consistent and prove a causal correspondence between an appropriate instance of the framework and Boreale and Sangiorgi's causal semantics.
△ Less
Submitted 31 July, 2018;
originally announced July 2018.
-
Long-term monitoring of the ANTARES optical module efficiencies using $^{40}\mathrm{K}$ decays in sea water
Authors:
ANTARES collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
J. Boumaaza,
S. Bourret,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete
, et al. (102 additional authors not shown)
Abstract:
Cherenkov light induced by radioactive decay products is one of the major sources of background light for deep-sea neutrino telescopes such as ANTARES. These decays are at the same time a powerful calibration source. Using data collected by the ANTARES neutrino telescope from mid 2008 to 2017, the time evolution of the photon detection efficiency of optical modules is studied. A modest loss of onl…
▽ More
Cherenkov light induced by radioactive decay products is one of the major sources of background light for deep-sea neutrino telescopes such as ANTARES. These decays are at the same time a powerful calibration source. Using data collected by the ANTARES neutrino telescope from mid 2008 to 2017, the time evolution of the photon detection efficiency of optical modules is studied. A modest loss of only 20% in 9 years is observed. The relative time calibration between adjacent modules is derived as well.
△ Less
Submitted 23 August, 2018; v1 submitted 22 May, 2018;
originally announced May 2018.
-
The SUrvey for Pulsars and Extragalactic Radio Bursts II: New FRB discoveries and their follow-up
Authors:
S. Bhandari,
E. F. Keane,
E. D. Barr,
A. Jameson,
E. Petroff,
S. Johnston,
M. Bailes,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
M. Caleb,
R. P. Eatough,
C. Flynn,
J. A. Green,
F. Jankowski,
M. Kramer,
V. Venkatraman Krishnan,
V. Morello,
A. Possenti,
B. Stappers,
C. Tiburzi,
W. van Straten,
I. Andreoni,
T. Butterley,
P. Chandra
, et al. (25 additional authors not shown)
Abstract:
We report the discovery of four Fast Radio Bursts (FRBs) in the ongoing SUrvey for Pulsars and Extragalactic Radio Bursts (SUPERB) at the Parkes Radio Telescope: FRBs 150610, 151206, 151230 and 160102. Our real-time discoveries have enabled us to conduct extensive, rapid multi-messenger follow-up at 12 major facilities sensitive to radio, optical, X-ray, gamma-ray photons and neutrinos on time sca…
▽ More
We report the discovery of four Fast Radio Bursts (FRBs) in the ongoing SUrvey for Pulsars and Extragalactic Radio Bursts (SUPERB) at the Parkes Radio Telescope: FRBs 150610, 151206, 151230 and 160102. Our real-time discoveries have enabled us to conduct extensive, rapid multi-messenger follow-up at 12 major facilities sensitive to radio, optical, X-ray, gamma-ray photons and neutrinos on time scales ranging from an hour to a few months post-burst. No counterparts to the FRBs were found and we provide upper limits on afterglow luminosities. None of the FRBs were seen to repeat. Formal fits to all FRBs show hints of scattering while their intrinsic widths are unresolved in time. FRB 151206 is at low Galactic latitude, FRB 151230 shows a sharp spectral cutoff, and FRB 160102 has the highest dispersion measure (DM = $2596.1\pm0.3$ pc cm$^{-3}$) detected to date. Three of the FRBs have high dispersion measures (DM >$1500$ pc cm$^{-3}$), favouring a scenario where the DM is dominated by contributions from the Intergalactic Medium. The slope of the Parkes FRB source counts distribution with fluences $>2$ Jyms is $α=-2.2^{+0.6}_{-1.2}$ and still consistent with a Euclidean distribution ($α=-3/2$). We also find that the all-sky rate is $1.7^{+1.5}_{-0.9}\times10^3$FRBs/($4π$ sr)/day above $\sim2$ Jyms and there is currently no strong evidence for a latitude-dependent FRB sky-rate.
△ Less
Submitted 21 November, 2017;
originally announced November 2017.
-
All-flavor search for a diffuse flux of cosmic neutrinos with 9 years of ANTARES data
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
J. Aublin,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr
, et al. (103 additional authors not shown)
Abstract:
The ANTARES detector is at present the most sensitive neutrino telescope in the Northern Hemisphere. The highly significant cosmic neutrino excess observed by the Antarctic IceCube detector can be studied with ANTARES, exploiting its complementing field of view, exposure, and lower energy threshold. Searches for an all-flavor diffuse neutrino signal, covering 9 years of ANTARES data taking, are pr…
▽ More
The ANTARES detector is at present the most sensitive neutrino telescope in the Northern Hemisphere. The highly significant cosmic neutrino excess observed by the Antarctic IceCube detector can be studied with ANTARES, exploiting its complementing field of view, exposure, and lower energy threshold. Searches for an all-flavor diffuse neutrino signal, covering 9 years of ANTARES data taking, are presented in this letter. Upward-going events are used to reduce the atmospheric muon background. This work includes for the first time in ANTARES both track-like (mainly $ν_μ)$ and shower-like (mainly $ν_e$) events in this kind of analysis. Track-like events allow for an increase of the effective volume of the detector thanks to the long path traveled by muons in rock and/or sea water. Shower-like events are well reconstructed only when the neutrino interaction vertex is close to, or inside, the instrumented volume. A mild excess of high-energy events over the expected background is observed in 9 years of ANTARES data in both samples. The best fit for a single power-law cosmic neutrino spectrum, in terms of per-flavor flux at 100 TeV, is $Φ_0^{1f}(100\ \textrm{TeV}) = \left(1.7\pm 1.0\right) \times$10$^{-18}$\,GeV$^{-1}$\,cm$^{-2}$\,s$^{-1}$\,sr$^{-1}$ with spectral index $Γ= 2.4^{+0.5}_{-0.4}$. The null cosmic flux assumption is rejected with a significance of 1.6$σ$.
△ Less
Submitted 20 November, 2017;
originally announced November 2017.
-
The ANTARES Collaboration: Contributions to ICRC 2017 Part III: Searches for dark matter and exotics, neutrino oscillations and detector calibration
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli
, et al. (103 additional authors not shown)
Abstract:
Papers on the searches for dark matter and exotics, neutrino oscillations and detector calibration, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboration
Papers on the searches for dark matter and exotics, neutrino oscillations and detector calibration, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboration
△ Less
Submitted 4 November, 2017;
originally announced November 2017.
-
The ANTARES Collaboration: Contributions to ICRC 2017 Part II: The multi-messenger program
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli
, et al. (103 additional authors not shown)
Abstract:
Papers on the ANTARES multi-messenger program, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboration
Papers on the ANTARES multi-messenger program, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboration
△ Less
Submitted 4 November, 2017;
originally announced November 2017.
-
The ANTARES Collaboration: Contributions to ICRC 2017 Part I: Neutrino astronomy (diffuse fluxes and point sources)
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli
, et al. (103 additional authors not shown)
Abstract:
Papers on neutrino astronomy (diffuse fluxes and point sources, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboration
Papers on neutrino astronomy (diffuse fluxes and point sources, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboration
△ Less
Submitted 3 November, 2017;
originally announced November 2017.
-
Multi-messenger Observations of a Binary Neutron Star Merger
Authors:
LIGO Scientific Collaboration,
Virgo Collaboration,
Fermi GBM,
INTEGRAL,
IceCube Collaboration,
AstroSat Cadmium Zinc Telluride Imager Team,
IPN Collaboration,
The Insight-Hxmt Collaboration,
ANTARES Collaboration,
The Swift Collaboration,
AGILE Team,
The 1M2H Team,
The Dark Energy Camera GW-EM Collaboration,
the DES Collaboration,
The DLT40 Collaboration,
GRAWITA,
:,
GRAvitational Wave Inaf TeAm,
The Fermi Large Area Telescope Collaboration,
ATCA,
:,
Australia Telescope Compact Array,
ASKAP,
:,
Australian SKA Pathfinder
, et al. (50 additional authors not shown)
Abstract:
On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of $\sim$1.7 s with respect to the merger time. From the gravitational-wave signa…
▽ More
On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of $\sim$1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg$^2$ at a luminosity distance of $40^{+8}_{-8}$ Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Msun. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at $\sim$40 Mpc) less than 11 hours after the merger by the One-Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over $\sim$10 days. Following early non-detections, X-ray and radio emission were discovered at the transient's position $\sim$9 and $\sim$16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. (Abridged)
△ Less
Submitted 24 October, 2017; v1 submitted 16 October, 2017;
originally announced October 2017.
-
All-sky Search for High-Energy Neutrinos from Gravitational Wave Event GW170104 with the ANTARES Neutrino Telescope
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli
, et al. (103 additional authors not shown)
Abstract:
Advanced LIGO detected a significant gravitational wave signal (GW170104) originating from the coalescence of two black holes during the second observation run on January 4$^{\textrm{th}}$, 2017. An all-sky high-energy neutrino follow-up search has been made using data from the ANTARES neutrino telescope, including both upgoing and downgoing events in two separate analyses. No neutrino candidates…
▽ More
Advanced LIGO detected a significant gravitational wave signal (GW170104) originating from the coalescence of two black holes during the second observation run on January 4$^{\textrm{th}}$, 2017. An all-sky high-energy neutrino follow-up search has been made using data from the ANTARES neutrino telescope, including both upgoing and downgoing events in two separate analyses. No neutrino candidates were found within $\pm500$ s around the GW event time nor any time clustering of events over an extended time window of $\pm3$ months. The non-detection is used to constrain isotropic-equivalent high-energy neutrino emission from GW170104 to less than $\sim4\times 10^{54}$ erg for a $E^{-2}$ spectrum.
△ Less
Submitted 9 October, 2017;
originally announced October 2017.
-
Reliability and Fault-Tolerance by Choreographic Design
Authors:
Ian Cassar,
Adrian Francalanza,
Claudio Antares Mezzina,
Emilio Tuosto
Abstract:
Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed software based on (micro-)services where different services are developed independently by disparate teams exacerbate the problem. In fact, services are meant to be composed together and run in open context where unpred…
▽ More
Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed software based on (micro-)services where different services are developed independently by disparate teams exacerbate the problem. In fact, services are meant to be composed together and run in open context where unpredictable behaviours can emerge. This makes it necessary to adopt suitable strategies for monitoring the execution and incorporate recovery and adaptation mechanisms so to make distributed programs more flexible and robust. The typical approach that is currently adopted is to embed such mechanisms in the program logic, which makes it hard to extract, compare and debug. We propose an approach that employs formal abstractions for specifying failure recovery and adaptation strategies. Although implementation agnostic, these abstractions would be amenable to algorithmic synthesis of code, monitoring and tests. We consider message-passing programs (a la Erlang, Go, or MPI) that are gaining momentum both in academia and industry. Our research agenda consists of (1) the definition of formal behavioural models encompassing failures, (2) the specification of the relevant properties of adaptation and recovery strategy, (3) the automatic generation of monitoring, recovery, and adaptation logic in target languages of interest.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
First all-flavour Neutrino Point-like Source Search with the ANTARES Neutrino Telescope
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
B. Belhorma,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli
, et al. (104 additional authors not shown)
Abstract:
A search for cosmic neutrino sources using the data collected with the ANTARES neutrino telescope between early 2007 and the end of 2015 is performed. For the first time, all neutrino interactions --charged and neutral current interactions of all flavours-- are considered in a search for point-like sources with the ANTARES detector. In previous analyses, only muon neutrino charged current interact…
▽ More
A search for cosmic neutrino sources using the data collected with the ANTARES neutrino telescope between early 2007 and the end of 2015 is performed. For the first time, all neutrino interactions --charged and neutral current interactions of all flavours-- are considered in a search for point-like sources with the ANTARES detector. In previous analyses, only muon neutrino charged current interactions were used. This is achieved by using a novel reconstruction algorithm for shower-like events in addition to the standard muon track reconstruction. The shower channel contributes about 23\% of all signal events for an $E^{-2}$ energy spectrum. No significant excess over background is found. The most signal-like cluster of events is located at $(α,δ) = (343.8^\circ, 23.5^\circ)$ with a significance of $1.9σ$. The neutrino flux sensitivity of the search is about $E^2 d\varPhi/dE = 6\cdot10^{-9} GeV cm^{-2} s^{-1}$ for declinations from $-90^\circ$ up to $-42^\circ$, and below $10^{-8} GeV cm^{-2} s^{-1}$ for declinations up to $5^{\circ}$. The directions of 106 source candidates and of 13 muon track events from the IceCube HESE sample are investigated for a possible neutrino signal and upper limits on the signal flux are determined.
△ Less
Submitted 5 December, 2018; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Choreographies for Automatic Recovery
Authors:
Claudio Antares Mezzina,
Emilio Tuosto
Abstract:
We propose a choreographic model of reversible computations based on a conservative extension of global graphs and communicating finite-state machines. The main advantage of our approach is that does not require to instrument models in order to control reversibility but for a minor decoration of branches. We show that our models are conservative extensions of existing ones and that the reversible…
▽ More
We propose a choreographic model of reversible computations based on a conservative extension of global graphs and communicating finite-state machines. The main advantage of our approach is that does not require to instrument models in order to control reversibility but for a minor decoration of branches. We show that our models are conservative extensions of existing ones and that the reversible semantics guarantees causal consistency.
△ Less
Submitted 26 May, 2017;
originally announced May 2017.
-
A polarized fast radio burst at low Galactic latitude
Authors:
E. Petroff,
S. Burke-Spolaor,
E. F. Keane,
M. A. McLaughlin,
R. Miller,
I. Andreoni,
M. Bailes,
E. D. Barr,
S. R. Bernard,
S. Bhandari,
N. D. R. Bhat,
M. Burgay,
M. Caleb,
D. Champion,
P. Chandra,
J. Cooke,
V. S. Dhillon,
J. S. Farnes,
L. K. Hardy,
P. Jaroenjittichai,
S. Johnston,
M. Kasliwal,
M. Kramer,
S. P. Littlefair,
J. P. Macquart
, et al. (13 additional authors not shown)
Abstract:
We report on the discovery of a new fast radio burst, FRB 150215, with the Parkes radio telescope on 2015 February 15. The burst was detected in real time with a dispersion measure (DM) of 1105.6$\pm$0.8 pc cm^{-3}, a pulse duration of 2.8^{+1.2}_{-0.5} ms, and a measured peak flux density assuming the burst was at beam center of 0.7^{+0.2}_{-0.1} Jy. The FRB originated at a Galactic longitude and…
▽ More
We report on the discovery of a new fast radio burst, FRB 150215, with the Parkes radio telescope on 2015 February 15. The burst was detected in real time with a dispersion measure (DM) of 1105.6$\pm$0.8 pc cm^{-3}, a pulse duration of 2.8^{+1.2}_{-0.5} ms, and a measured peak flux density assuming the burst was at beam center of 0.7^{+0.2}_{-0.1} Jy. The FRB originated at a Galactic longitude and latitude of 24.66^{\circ}, 5.28^{\circ}, 25 degrees away from the Galactic Center. The burst was found to be 43$\pm$5% linearly polarized with a rotation measure (RM) in the range -9 < RM < 12 rad m^{-2} (95% confidence level), consistent with zero. The burst was followed-up with 11 telescopes to search for radio, optical, X-ray, gamma-ray and neutrino emission. Neither transient nor variable emission was found to be associated with the burst and no repeat pulses have been observed in 17.25 hours of observing. The sightline to the burst is close to the Galactic plane and the observed physical properties of FRB 150215 demonstrate the existence of sight lines of anomalously low RM for a given electron column density. The Galactic RM foreground may approach a null value due to magnetic field reversals along the line of sight, a decreased total electron column density from the Milky Way, or some combination of these effects. A lower Galactic DM contribution might explain why this burst was detectable whereas previous searches at low latitude have had lower detection rates than those out of the plane.
△ Less
Submitted 8 May, 2017;
originally announced May 2017.
-
Causal Consistency for Reversible Multiparty Protocols
Authors:
Claudio Antares Mezzina,
Jorge A. Pérez
Abstract:
In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to seamlessly integrate reversible semantics into a process model in which concurrency is governed by s…
▽ More
In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to seamlessly integrate reversible semantics into a process model in which concurrency is governed by session types (a class of behavioral types), covering binary (two-party) protocols with synchronous communication. The applicability and expressiveness of the binary setting, however, is limited.
Here we extend our approach, and use it to define reversible semantics for an expressive process model that accounts for multiparty (n-party) protocols, asynchronous communication, decoupled rollbacks, and abstraction passing. As main result, we prove that our reversible semantics for multiparty protocols is causally-consistent. A key technical ingredient in our developments is an alternative reversible semantics with atomic rollbacks, which is conceptually simple and is shown to characterize decoupled rollbacks.
△ Less
Submitted 30 September, 2021; v1 submitted 17 March, 2017;
originally announced March 2017.
-
An algorithm for the reconstruction of high-energy neutrino-induced particle showers and its application to the ANTARES neutrino telescope
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella
, et al. (97 additional authors not shown)
Abstract:
A novel algorithm to reconstruct neutrino-induced particle showers within the ANTARES neutrino telescope is presented. The method achieves a median angular resolution of $6^\circ$ for shower energies below 100 TeV. Applying this algorithm to 6 years of data taken with the ANTARES detector, 8 events with reconstructed shower energies above 10 TeV are observed. This is consistent with the expectatio…
▽ More
A novel algorithm to reconstruct neutrino-induced particle showers within the ANTARES neutrino telescope is presented. The method achieves a median angular resolution of $6^\circ$ for shower energies below 100 TeV. Applying this algorithm to 6 years of data taken with the ANTARES detector, 8 events with reconstructed shower energies above 10 TeV are observed. This is consistent with the expectation of about 5 events from atmospheric backgrounds, but also compatible with diffuse astrophysical flux measurements by the IceCube collaboration, from which 2 - 4 additional events are expected. A 90% C.L. upper limit on the diffuse astrophysical neutrino flux with a value per neutrino flavour of $E^2\cdot Φ^{90\%} = 4.9 \cdot 10^{-8}$ GeV $\cdot$ cm$^{-2} \cdot$ s$^{-1} \cdot$ sr$^{-1}$ is set, applicable to the energy range from 23 TeV to 7.8 PeV, assuming an unbroken $E^{-2}$ spectrum and neutrino flavour equipartition at Earth.
△ Less
Submitted 28 June, 2017; v1 submitted 7 March, 2017;
originally announced March 2017.
-
Search for Dark Matter Annihilation in the Earth using the ANTARES Neutrino Telescope
Authors:
ANTARES Collaboration,
A. Albert,
M. André,
M. Anghinolfi,
G. Anton,
M. Ardid,
J. -J. Aubert,
T. Avgitas,
B. Baret,
J. Barrios-Martí,
S. Basa,
V. Bertin,
S. Biagi,
R. Bormuth,
S. Bourret,
M. C. Bouwhuis,
R. Bruijn,
J. Brunner,
J. Busto,
A. Capone,
L. Caramete,
J. Carr,
S. Celli,
T. Chiarusi,
M. Circella
, et al. (104 additional authors not shown)
Abstract:
A search for a neutrino signal from WIMP pair annihilations in the centre of the Earth has been performed with the data collected with the ANTARES neutrino telescope from 2007 to 2012. The event selection criteria have been developed and tuned to maximise the sensitivity of the experiment to such a neutrino signal. No significant excess of neutrinos over the expected background has been observed.…
▽ More
A search for a neutrino signal from WIMP pair annihilations in the centre of the Earth has been performed with the data collected with the ANTARES neutrino telescope from 2007 to 2012. The event selection criteria have been developed and tuned to maximise the sensitivity of the experiment to such a neutrino signal. No significant excess of neutrinos over the expected background has been observed. Upper limits at $90\%$ C.L. on the WIMP annihilation rate in the Earth and the spin independent scattering cross-section of WIMPs to nucleons $σ^{SI}_p$ were calculated for WIMP pair annihilations into either $τ^{+}τ^{-}$, $W^+W^-$, $b\overline{b}$ or the non-SUSY $ν_μ\barν_μ$ as a function of the WIMP mass (between $25\,\mathrm{GeV/c^2}$ and $1000\,\mathrm{GeV/c^2}$) and as a function of the thermally averaged annihilation cross section times velocity $\langleσ_{A} v\rangle_{Earth}$ of the WIMPs in the centre of the Earth. For masses of the WIMP close to the mass of iron nuclei ($50\,\mathrm{GeV/c^2}$), the obtained limits on $σ^{SI}_p$ are more stringent than those obtained by other indirect searches.
△ Less
Submitted 19 April, 2017; v1 submitted 20 December, 2016;
originally announced December 2016.