-
The EUSO-SPB2 Fluorescence Telescope for the Detection of Ultra-High Energy Cosmic Rays
Authors:
James H. Adams Jr.,
Denis Allard,
Phillip Alldredge,
Luis Anchordoqui,
Anna Anzalone,
Matteo Battisti,
Alexander A. Belov,
Mario Bertaina,
Peter F. Bertone,
Sylvie Blin-Bondil,
Julia Burton,
Francesco S. Cafagna,
Marco Casolino,
Karel Černý,
Mark J. Christ,
Roberta Colalillo,
Hank J. Crawford,
Alexandre Creusot,
Austin Cummings,
Rebecca Diesing,
Alessandro Di Nola,
Toshikazu Ebisuzaki,
Johannes Eser,
Silvia Ferrarese,
George Filippatos
, et al. (57 additional authors not shown)
Abstract:
The Extreme Universe Space Observatory on a Super Pressure Balloon 2 (EUSO-SPB2) flew on May 13$^{\text{th}}$ and 14$^{\text{th}}$ of 2023. Consisting of two novel optical telescopes, the payload utilized next-generation instrumentation for the observations of extensive air showers from near space. One instrument, the fluorescence telescope (FT) searched for Ultra-High Energy Cosmic Rays (UHECRs)…
▽ More
The Extreme Universe Space Observatory on a Super Pressure Balloon 2 (EUSO-SPB2) flew on May 13$^{\text{th}}$ and 14$^{\text{th}}$ of 2023. Consisting of two novel optical telescopes, the payload utilized next-generation instrumentation for the observations of extensive air showers from near space. One instrument, the fluorescence telescope (FT) searched for Ultra-High Energy Cosmic Rays (UHECRs) by recording the atmosphere below the balloon in the near-UV with a 1~$μ$s time resolution using 108 multi-anode photomultiplier tubes with a total of 6,912 channels. Validated by pre-flight measurements during a field campaign, the energy threshold was estimated around 2~EeV with an expected event rate of approximately 1 event per 10 hours of observation. Based on the limited time afloat, the expected number of UHECR observations throughout the flight is between 0 and 2. Consistent with this expectation, no UHECR candidate events have been found. The majority of events appear to be detector artifacts that were not rejected properly due to a shortened commissioning phase. Despite the earlier-than-expected termination of the flight, data were recorded which provide insights into the detectors stability in the near-space environment as well as the diffuse ultraviolet emissivity of the atmosphere, both of which are impactful to future experiments.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
JEM-EUSO Collaboration contributions to the 38th International Cosmic Ray Conference
Authors:
S. Abe,
J. H. Adams Jr.,
D. Allard,
P. Alldredge,
R. Aloisio,
L. Anchordoqui,
A. Anzalone,
E. Arnone,
M. Bagheri,
B. Baret,
D. Barghini,
M. Battisti,
R. Bellotti,
A. A. Belov,
M. Bertaina,
P. F. Bertone,
M. Bianciotto,
F. Bisconti,
C. Blaksley,
S. Blin-Bondil,
K. Bolmgren,
S. Briz,
J. Burton,
F. Cafagna,
G. Cambiè
, et al. (133 additional authors not shown)
Abstract:
This is a collection of papers presented by the JEM-EUSO Collaboration at the 38th International Cosmic Ray Conference (Nagoya, Japan, July 26-August 3, 2023)
This is a collection of papers presented by the JEM-EUSO Collaboration at the 38th International Cosmic Ray Conference (Nagoya, Japan, July 26-August 3, 2023)
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Developments and results in the context of the JEM-EUSO program obtained with the ESAF Simulation and Analysis Framework
Authors:
S. Abe,
J. H. Adams Jr.,
D. Allard,
P. Alldredge,
L. Anchordoqui,
A. Anzalone,
E. Arnone,
B. Baret,
D. Barghini,
M. Battisti,
J. Bayer,
R. Bellotti,
A. A. Belov,
M. Bertaina,
P. F. Bertone,
M. Bianciotto,
P. L. Biermann,
F. Bisconti,
C. Blaksley,
S. Blin-Bondil,
P. Bobik,
K. Bolmgren,
S. Briz,
J. Burton,
F. Cafagna
, et al. (150 additional authors not shown)
Abstract:
JEM--EUSO is an international program for the development of space-based Ultra-High Energy Cosmic Ray observatories. The program consists of a series of missions which are either under development or in the data analysis phase. All instruments are based on a wide-field-of-view telescope, which operates in the near-UV range, designed to detect the fluorescence light emitted by extensive air showers…
▽ More
JEM--EUSO is an international program for the development of space-based Ultra-High Energy Cosmic Ray observatories. The program consists of a series of missions which are either under development or in the data analysis phase. All instruments are based on a wide-field-of-view telescope, which operates in the near-UV range, designed to detect the fluorescence light emitted by extensive air showers in the atmosphere. We describe the simulation software ESAFin the framework of the JEM--EUSO program and explain the physical assumptions used. We present here the implementation of the JEM--EUSO, POEMMA, K--EUSO, TUS, Mini--EUSO, EUSO--SPB1 and EUSO--TA configurations in ESAF. For the first time ESAF simulation outputs are compared with experimental data.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
The spectrum problem for $\ell$-groups and for MV-algebras: a categorical approach
Authors:
Giuseppina Gerarda Barbieri,
Antonio Di Nola,
Giacomo Lenzi
Abstract:
As a main result, we characterize prime spectra of abelian lattice ordered groups. Further we introduce some categories based on spectral spaces, lattices and Priestley spaces, and we relate these categories with each other and with the category of presented MV-algebras, by means of functors. We turn to lattices and offer a simple characterization of 1) maps whose Stone dual preserves closed sets,…
▽ More
As a main result, we characterize prime spectra of abelian lattice ordered groups. Further we introduce some categories based on spectral spaces, lattices and Priestley spaces, and we relate these categories with each other and with the category of presented MV-algebras, by means of functors. We turn to lattices and offer a simple characterization of 1) maps whose Stone dual preserves closed sets, and 2) closed epimorphisms between distributive lattices as well as their Stone duals. We have a characterization of the variety generated by the Chang MV-algebra and we study this variety. Next we generalize the results to every variety generated by a Komori chain. Finally we discuss homogeneous polynomials in MV-algebras.
△ Less
Submitted 9 February, 2023;
originally announced March 2023.
-
The spectrum problem for Abelian l-groups and MV-algebras
Authors:
Antonio Di Nola,
Giacomo Lenzi
Abstract:
This paper deals with the problem of characterizing those topological spaces which are homeomorphic to the prime spectra of MV-algebras or Abelian l-groups.
As a first main result, we show that a topological space $X$ is the prime spectrum of an MV-algebra if and only if: (1) $X$ is spectral, and (2) the lattice of compact open subsets of $X$ is an epimorphic image of a lattice of "cylinder rati…
▽ More
This paper deals with the problem of characterizing those topological spaces which are homeomorphic to the prime spectra of MV-algebras or Abelian l-groups.
As a first main result, we show that a topological space $X$ is the prime spectrum of an MV-algebra if and only if: (1) $X$ is spectral, and (2) the lattice of compact open subsets of $X$ is an epimorphic image of a lattice of "cylinder rational polyhedra" (a natural generalization of rational polyhedra) of some hypercube.
As a second main result we extend our results to Abelian l-groups. That is, let $X$ be a spectral space and $K(X)$ the lattice of its compact open sets. The following are equivalent: (1) $X$ is the spectrum of some Abelian l-group; (2) $X$ is homeomorphic to $Spec(K(X))$ and $K(X)\cup\{\infty\}$ is isomorphic to the lattice of the compact open sets of a local MV-algebra, where $\infty>x$ for every $x\in K(X)$.
Finally we axiomatize, in monadic second order logic, the lattices of cylinder rational polyhedra of dimension $1$ and $2$.
△ Less
Submitted 5 August, 2019; v1 submitted 25 July, 2019;
originally announced July 2019.
-
Heyting Algebra and Gödel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study
Authors:
Antonio Di Nola,
Revaz Grigolia,
Purbita Jana
Abstract:
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, Gödel algebra, Esakia space and proposed intuitionistic topological systems have also been studied in details.
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, Gödel algebra, Esakia space and proposed intuitionistic topological systems have also been studied in details.
△ Less
Submitted 3 May, 2020; v1 submitted 2 July, 2018;
originally announced July 2018.
-
Infinitary logic and basically disconnected compact Hausdorff spaces
Authors:
Antonio Di Nola,
Serafina Lapenta,
Ioana Leustean
Abstract:
We extend Łukasiewicz logic obtaining the infinitary logic $\mathcal{IR}Ł$ whose models are algebras $C(X,[0,1])$, where $X$ is a basically disconnected compact Hausdorff space. Equivalently, our models are unit intervals in $σ$-complete Riesz spaces with strong unit. The Lindenbaum-Tarski algebra of $\mathcal{IR}Ł$ is, up to isomorphism, an algebra of $[0,1]$-valued Borel functions. Finally, our…
▽ More
We extend Łukasiewicz logic obtaining the infinitary logic $\mathcal{IR}Ł$ whose models are algebras $C(X,[0,1])$, where $X$ is a basically disconnected compact Hausdorff space. Equivalently, our models are unit intervals in $σ$-complete Riesz spaces with strong unit. The Lindenbaum-Tarski algebra of $\mathcal{IR}Ł$ is, up to isomorphism, an algebra of $[0,1]$-valued Borel functions. Finally, our system enjoys standard completeness with respect to the real interval $[0,1]$.
△ Less
Submitted 18 April, 2018; v1 submitted 25 September, 2017;
originally announced September 2017.
-
An analysis of the logic of Riesz Spaces with strong unit
Authors:
Antonio Di Nola,
Serafina Lapenta,
Ioana Leustean
Abstract:
We study Łukasiewicz logic enriched with a scalar multiplication with scalars taken in $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit intervals of Riesz spaces with a strong unit endowed with an appropriate structure. When only rational scalars are considered, one gets the class of {\em DMV-algebras} and a corresponding logical system. Our research foll…
▽ More
We study Łukasiewicz logic enriched with a scalar multiplication with scalars taken in $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit intervals of Riesz spaces with a strong unit endowed with an appropriate structure. When only rational scalars are considered, one gets the class of {\em DMV-algebras} and a corresponding logical system. Our research follows two objectives. The first one is to deepen the connections between functional analysis and the logic of Riesz MV-algebras. The second one is to study the finitely presented MV-algebras, DMV-algebras and Riesz MV-algebras, connecting them from logical, algebraic and geometric perspective.
△ Less
Submitted 23 September, 2017; v1 submitted 27 July, 2016;
originally announced July 2016.
-
Lukasiewicz logic and Riesz spaces
Authors:
Antonio Di Nola,
Ioana Leustean
Abstract:
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras are categorically equivalent with unit intervals in Riesz spaces with strong unit. Moreover, the subclass of norm-complete Riesz MV-algebras is equivalent with…
▽ More
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras are categorically equivalent with unit intervals in Riesz spaces with strong unit. Moreover, the subclass of norm-complete Riesz MV-algebras is equivalent with the class of commutative unital C$^*$-algebras. The propositional calculus ${\mathbb R}{\cal L}$ that has Riesz MV-algebras as models is a conservative extension of Łukasiewicz $\infty$-valued propositional calculus and it is complete with respect to evaluations in the standard model $[0,1]$. We prove a normal form theorem for this logic, extending McNaughton theorem for Łukasiewicz logic. We define the notions of quasi-linear combination and quasi-linear span for formulas in ${\mathbb R}{\cal L}$ and we relate them with the analogue of de Finetti's coherence criterion for ${\mathbb R}{\cal L}$.
△ Less
Submitted 6 September, 2013;
originally announced September 2013.
-
The semiring-theoretic approach to MV-algebras: a survey
Authors:
Antonio Di Nola,
Ciro Russo
Abstract:
In this paper we review some of the main achievements of the semiring-theoretic approach to MV-algebras initiated and pursued mainly by the present authors and their collaborators. The survey focuses mainly on the connections between MV-algebras and other theories that such a semiringbased approach enabled, and on an application of such a framework to Digital Image Processing. We also give some su…
▽ More
In this paper we review some of the main achievements of the semiring-theoretic approach to MV-algebras initiated and pursued mainly by the present authors and their collaborators. The survey focuses mainly on the connections between MV-algebras and other theories that such a semiringbased approach enabled, and on an application of such a framework to Digital Image Processing. We also give some suggestions for further developments by stating several open problems and possible research lines.
△ Less
Submitted 8 September, 2015; v1 submitted 9 February, 2011;
originally announced February 2011.
-
Stone Duality Type Theorems for MV-algebras with Internal State
Authors:
Antonio Di Nola,
Anatolij Dvurecenskij,
Ada Lettieri
Abstract:
Recently in \cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In \cite{DD1}, a stronger version of state MV-algebras, called state-morphism MV-algebras was given. In this paper, we present Stone Duality Theorems for (i) the category of Boolean algebras with a fixed state-operator and the category of compact Ha…
▽ More
Recently in \cite{FM, FlMo}, the language of MV-algebras was extended by adding a unary operation, an internal operator, called also a state-operator. In \cite{DD1}, a stronger version of state MV-algebras, called state-morphism MV-algebras was given. In this paper, we present Stone Duality Theorems for (i) the category of Boolean algebras with a fixed state-operator and the category of compact Hausdorff topological spaces with a fixed idempotent continuous function, and for (ii) the category of weakly divisible $σ$-complete state-morphism MV-algebras and the category of Bauer simplices whose set of extreme points is basically disconnected and with a fixed idempotent continuous function.
△ Less
Submitted 10 June, 2010;
originally announced June 2010.
-
Semiring and semimodule issues in MV-algebras
Authors:
Antonio Di Nola,
Ciro Russo
Abstract:
In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class of semimodules, called MV-semimodules.
We present several results addressed toward a semiring theory for MV-algebras. In particular we show a representation o…
▽ More
In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class of semimodules, called MV-semimodules.
We present several results addressed toward a semiring theory for MV-algebras. In particular we show a representation of MV-algebras as a subsemiring of the endomorphism semiring of a semilattice, the construction of the Grothendieck group of a semiring and its functorial nature, and the effect of Mundici categorical equivalence between MV-algebras and lattice-ordered Abelian groups with a distinguished strong order unit upon the relationship between MV-semimodules and semimodules over idempotent semifields.
△ Less
Submitted 31 May, 2017; v1 submitted 21 February, 2010;
originally announced February 2010.
-
The Logic of CMV-Algebras
Authors:
Antonio Di Nola,
Brunella Gerla,
Ciro Russo
Abstract:
In this paper, once recalled some properties of CMV-algebras, we introduce an expansion of the one-variable fragment of Lukasiewicz propositional logic whose algebraic semantics is the variety of CMV-algebras.
In this paper, once recalled some properties of CMV-algebras, we introduce an expansion of the one-variable fragment of Lukasiewicz propositional logic whose algebraic semantics is the variety of CMV-algebras.
△ Less
Submitted 4 February, 2010;
originally announced February 2010.