-
Modeling the refractive index profile n(z) of polar ice for ultra-high energy neutrino experiments
Authors:
S. Ali,
P. Allison,
S. Archambault,
J. J. Beatty,
D. Z. Besson,
A. Bishop,
P. Chen,
Y. C. Chen,
B. A. Clark,
W. Clay,
A. Connolly,
K. Couberly,
L. Cremonesi,
A. Cummings,
P. Dasgupta,
R. Debolt,
S. de Kockere,
K. D. de Vries,
C. Deaconu,
M. A. DuVernois,
J. Flaherty,
E. Friedman,
R. Gaior,
P. Giri,
J. Hanson
, et al. (45 additional authors not shown)
Abstract:
We develop an in-situ index of refraction profile using the transit time of radio signals broadcast from an englacial transmitter to 2-5 km distant radio-frequency receivers, deployed at depths up to 200 m. Maxwell's equations generally admit two ray propagation solutions from a given transmitter, corresponding to a direct path (D) and a refracted path (R); the measured D vs. R (dt(D,R)) timing di…
▽ More
We develop an in-situ index of refraction profile using the transit time of radio signals broadcast from an englacial transmitter to 2-5 km distant radio-frequency receivers, deployed at depths up to 200 m. Maxwell's equations generally admit two ray propagation solutions from a given transmitter, corresponding to a direct path (D) and a refracted path (R); the measured D vs. R (dt(D,R)) timing differences provide constraints on the index of refraction profile near South Pole, where the Askaryan Radio Array (ARA) neutrino observatory is located. We constrain the refractive index profile by simulating D and R ray paths via ray tracing and comparing those to measured dt(D,R) signals. Using previous ice density data as a proxy for n(z), we demonstrate that our data strongly favors a glaciologically-motivated three-phase densification model rather than a single exponential scale height model. Simulations show that the single exponential model overestimates ARA neutrino sensitivity compared to the three-phase model.
△ Less
Submitted 11 June, 2024; v1 submitted 2 June, 2024;
originally announced June 2024.
-
Non-intrusive data-driven model order reduction for circuits based on Hammerstein architectures
Authors:
Joshua Hanson,
Biliana Paskaleva,
Pavel Bochev
Abstract:
We demonstrate that data-driven system identification techniques can provide a basis for effective, non-intrusive model order reduction (MOR) for common circuits that are key building blocks in microelectronics. Our approach is motivated by the practical operation of these circuits and utilizes a canonical Hammerstein architecture. To demonstrate the approach we develop a parsimonious Hammerstein…
▽ More
We demonstrate that data-driven system identification techniques can provide a basis for effective, non-intrusive model order reduction (MOR) for common circuits that are key building blocks in microelectronics. Our approach is motivated by the practical operation of these circuits and utilizes a canonical Hammerstein architecture. To demonstrate the approach we develop a parsimonious Hammerstein model for a non-linear CMOS differential amplifier. We train this model on a combination of direct current (DC) and transient Spice (Xyce) circuit simulation data using a novel sequential strategy to identify the static nonlinear and linear dynamical parts of the model. Simulation results show that the Hammerstein model is an effective surrogate for the differential amplifier circuit that accurately and efficiently reproduces its behavior over a wide range of operating points and input frequencies.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Solar flare observations with the Radio Neutrino Observatory Greenland (RNO-G)
Authors:
S. Agarwal,
J. A. Aguilar,
S. Ali,
P. Allison,
M. Betts,
D. Besson,
A. Bishop,
O. Botner,
S. Bouma,
S. Buitink,
M. Cataldo,
B. A. Clark,
A. Coleman,
K. Couberly,
S. de Kockere,
K. D. de Vries,
C. Deaconu,
M. A. DuVernois,
C. Glaser,
T. Glüsenkamp,
A. Hallgren,
S. Hallmann,
J. C. Hanson,
B. Hendricks,
J. Henrichs
, et al. (47 additional authors not shown)
Abstract:
The science program of the Radio Neutrino Observatory-Greenland (RNO-G) extends beyond particle astrophysics to include radioglaciology and, as we show herein, solar physics, as well. Impulsive solar flare observations not only permit direct measurements of light curves, spectral content, and polarization on time scales significantly shorter than most extant dedicated solar observatories, but also…
▽ More
The science program of the Radio Neutrino Observatory-Greenland (RNO-G) extends beyond particle astrophysics to include radioglaciology and, as we show herein, solar physics, as well. Impulsive solar flare observations not only permit direct measurements of light curves, spectral content, and polarization on time scales significantly shorter than most extant dedicated solar observatories, but also offer an extremely useful above-surface calibration source, with pointing precision of order tens of arc-minutes. Using the early RNO-G data from 2022-2023, observed flare characteristics are compared to well-established solar observatories. Also, a number of individual flares are used to highlight angular reconstruction and calibration methods. RNO-G observes signal excesses during solar flares reported by the solar-observing Callisto network and in coincidence with about 60% of the brightest excesses recorded by the SWAVES satellite, when the Sun is above the horizon for RNO-G. In these observed flares, there is significant impulsivity in the time-domain. In addition, the solar flares are used to calibrate the RNO-G absolute pointing on the radio signal arrival direction to sub-degree resolution.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
LIGO operates with quantum noise below the Standard Quantum Limit
Authors:
Wenxuan Jia,
Victoria Xu,
Kevin Kuns,
Masayuki Nakano,
Lisa Barsotti,
Matthew Evans,
Nergis Mavalvala,
Rich Abbott,
Ibrahim Abouelfettouh,
Rana Adhikari,
Alena Ananyeva,
Stephen Appert,
Koji Arai,
Naoki Aritomi,
Stuart Aston,
Matthew Ball,
Stefan Ballmer,
David Barker,
Beverly Berger,
Joseph Betzwieser,
Dripta Bhattacharjee,
Garilynn Billingsley,
Nina Bode,
Edgard Bonilla,
Vladimir Bossilkov
, et al. (146 additional authors not shown)
Abstract:
Precision measurements of space and time, like those made by the detectors of the Laser Interferometer Gravitational-wave Observatory (LIGO), are often confronted with fundamental limitations imposed by quantum mechanics. The Heisenberg uncertainty principle dictates that the position and momentum of an object cannot both be precisely measured, giving rise to an apparent limitation called the Stan…
▽ More
Precision measurements of space and time, like those made by the detectors of the Laser Interferometer Gravitational-wave Observatory (LIGO), are often confronted with fundamental limitations imposed by quantum mechanics. The Heisenberg uncertainty principle dictates that the position and momentum of an object cannot both be precisely measured, giving rise to an apparent limitation called the Standard Quantum Limit (SQL). Reducing quantum noise below the SQL in gravitational-wave detectors, where photons are used to continuously measure the positions of freely falling mirrors, has been an active area of research for decades. Here we show how the LIGO A+ upgrade reduced the detectors' quantum noise below the SQL by up to 3 dB while achieving a broadband sensitivity improvement, more than two decades after this possibility was first presented.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
The Countable Reals
Authors:
Andrej Bauer,
James E. Hanson
Abstract:
We construct a topos in which the Dedekind reals are countable.
To accomplish this, we first define a new kind of toposes that we call parameterized realizability toposes. They are built from partial combinatory algebras whose application operation depends on a parameter, and in which realizers operate uniformly with respect to a given parameter set. Our topos is the parameterized realizability…
▽ More
We construct a topos in which the Dedekind reals are countable.
To accomplish this, we first define a new kind of toposes that we call parameterized realizability toposes. They are built from partial combinatory algebras whose application operation depends on a parameter, and in which realizers operate uniformly with respect to a given parameter set. Our topos is the parameterized realizability topos whose realizers are oracle-computable partial maps, with oracles serving as parameters and ranging over the representations of a non-diagonalizable sequence, discovered by Joseph Miller. It is a sequence of reals in $[0,1]$ that is non-diagonalizable in the sense that any real in $[0,1]$ that is oracle-computable, uniformly in oracles representing the sequence, must already appear in the sequence. The Dedekind reals are countable in the topos because the non-diagonalizable sequence appears in it as an epimorphism.
The topos is intuitionistic, as it invalidates both the law of excluded middle and the axiom of countable choice. The Cauchy reals are uncountable. The Hilbert cube is countable, from which Brouwer's fixed-point theorem follows as an easy corollary of Lawvere's fixed-point theorem. From the 1-dimensional Brouwer's fixed-point theorem we obtain the intermediate value theorem and the lesser limited principle of omniscience. The Kreisel-Lacombe-Shoenfield-Tseitin theorem stating that all real-valued maps are continuous is valid, because the usual proof is uniform with respect to oracles. Lastly, the closed interval $[0,1]$, being countable, can trivially be covered by a sequence of open intervals whose lengths add up to any prescribed $0 < ε< 1$, and such a cover has no finite subcover. However, we show that any sequence of open intervals with rational endpoints covering $[0,1]$ must has a finite subcover.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Ultralight vector dark matter search using data from the KAGRA O3GK run
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
A. G. Abac,
R. Abbott,
H. Abe,
I. Abouelfettouh,
F. Acernese,
K. Ackley,
C. Adamcewicz,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
I. Aguilar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi
, et al. (1778 additional authors not shown)
Abstract:
Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we prese…
▽ More
Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we present the result of a search for $U(1)_{B-L}$ gauge boson DM using the KAGRA data from auxiliary length channels during the first joint observation run together with GEO600. By applying our search pipeline, which takes into account the stochastic nature of ultralight DM, upper bounds on the coupling strength between the $U(1)_{B-L}$ gauge boson and ordinary matter are obtained for a range of DM masses. While our constraints are less stringent than those derived from previous experiments, this study demonstrates the applicability of our method to the lower-mass vector DM search, which is made difficult in this measurement by the short observation time compared to the auto-correlation time scale of DM.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Model theoretic events
Authors:
Kyle Gannon,
James E. Hanson
Abstract:
How do we randomly sample an infinite sequence from a first order structure? What properties might hold on almost all random sequences? Which kinds of probabilistic processes can be meaningfully applied and studied in the model theory context? This paper takes these questions seriously and advances a plausible framework to engage with probabilistic phenomena.
The central object of this paper is…
▽ More
How do we randomly sample an infinite sequence from a first order structure? What properties might hold on almost all random sequences? Which kinds of probabilistic processes can be meaningfully applied and studied in the model theory context? This paper takes these questions seriously and advances a plausible framework to engage with probabilistic phenomena.
The central object of this paper is a probability space. The underlying set of our space is a standard model theoretic object, i.e. the space of types in countably many variables over a monster model. Our probability measure is the iterated Morley product of a fixed Borel-definable Keisler measure. Choosing a point randomly in this space with respect to our distribution yields a "random generic type" in countably many variables. We are interested in which events hold for almost all random generic types. We consider two different flavors of model theoretic events: (1) When is the induced structure on almost all random generic types isomorphic to a fixed structure? (2) For a fixed formula which is unstable, IP, sOP, etc., what is the probability that a random generic type witnesses this dividing line?
For (1), we show that if our measure satisfies a particular extension axiom, then there exists a structure $N$ such that the induced structure on almost all random generic types is isomorphic to $N$. The proof echos a celebrated result of Glebskii et al. and Fagin concerning the existence of almost sure theories. We also provide examples where no such model exists. For (2), we show that if our initial distribution is fim, then almost no random generic types witness instability, IP, or sOP. In the local NIP context, we use results from combinatorics to prove that for any Borel-definable measure, the "average value of witnessing k-instability" across all permutations converges to 0. Some examples are provided.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Mutation of τ-exceptional pairs and sequences
Authors:
Aslak B. Buan,
Eric J. Hanson,
Bethany R. Marsh
Abstract:
We introduce a notion of mutation for $τ$-exceptional sequences of modules over arbitrary finite dimensional algebras. For hereditary algebras, we show that this coincides with the classical mutation of exceptional sequences. For rank two algebras, we show that mutation of $τ$-exceptional sequences is transitive if and only if mutation of support $τ$-tilting modules in the sense of Adachi-Iyama-Re…
▽ More
We introduce a notion of mutation for $τ$-exceptional sequences of modules over arbitrary finite dimensional algebras. For hereditary algebras, we show that this coincides with the classical mutation of exceptional sequences. For rank two algebras, we show that mutation of $τ$-exceptional sequences is transitive if and only if mutation of support $τ$-tilting modules in the sense of Adachi-Iyama-Reiten is transitive.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Invariants of persistence modules defined by order-embeddings
Authors:
Claire Amiot,
Thomas Brüstle,
Eric J. Hanson
Abstract:
One of the main objectives of topological data analysis is the study of discrete invariants for persistence modules, in particular when dealing with multiparameter persistence modules. In many cases, the invariants studied for these non-totally ordered posets $P$ can be obtained from restricting a given module to a subposet $X$ of $P$ that is totally ordered (or more generally, of finite represent…
▽ More
One of the main objectives of topological data analysis is the study of discrete invariants for persistence modules, in particular when dealing with multiparameter persistence modules. In many cases, the invariants studied for these non-totally ordered posets $P$ can be obtained from restricting a given module to a subposet $X$ of $P$ that is totally ordered (or more generally, of finite representation type), and then computing the barcode (or the general direct sum decomposition) over $X$.
We consider in this paper general order-preserving embeddings of representation-finite subposets $X$ into $P$ and study systematically the invariants obtained by decomposing the restriction of a given $P$-module $M$ to $X$ into its indecomposable summands. The restriction functor from $\mathrm{mod} \ P$ to $\mathrm{mod} \ X$ is well-studied, and it is known to be exact and admits both left and right adjoint functors, known as induction and co-induction functors. This allows us to obtain new homological insights, and also to re-interpret previous results. We use this approach also to determine bases, thus generalizing the concept of signed barcodes which is considered in the literature in relation to stability results.
It turns out that considering only order-embeddings of one fixed poset $X$ into the poset $P$, and studying the set of all indecomposables obtained from $X$ introduces a lot of redundancy. We therefore also study iterated embeddings of several posets of increasing sizes, while limiting attention to only some indecomposables (that have not been obtained from embedding of smaller posets previously).
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Autonomy Loops for Monitoring, Operational Data Analytics, Feedback, and Response in HPC Operations
Authors:
Francieli Boito,
Jim Brandt,
Valeria Cardellini,
Philip Carns,
Florina M. Ciorba,
Hilary Egan,
Ahmed Eleliemy,
Ann Gentile,
Thomas Gruber,
Jeff Hanson,
Utz-Uwe Haus,
Kevin Huck,
Thomas Ilsche,
Thomas Jakobsche,
Terry Jones,
Sven Karlsson,
Abdullah Mueen,
Michael Ott,
Tapasya Patki,
Ivy Peng,
Krishnan Raghavan,
Stephen Simms,
Kathleen Shoga,
Michael Showerman,
Devesh Tiwari
, et al. (2 additional authors not shown)
Abstract:
Many High Performance Computing (HPC) facilities have developed and deployed frameworks in support of continuous monitoring and operational data analytics (MODA) to help improve efficiency and throughput. Because of the complexity and scale of systems and workflows and the need for low-latency response to address dynamic circumstances, automated feedback and response have the potential to be more…
▽ More
Many High Performance Computing (HPC) facilities have developed and deployed frameworks in support of continuous monitoring and operational data analytics (MODA) to help improve efficiency and throughput. Because of the complexity and scale of systems and workflows and the need for low-latency response to address dynamic circumstances, automated feedback and response have the potential to be more effective than current human-in-the-loop approaches which are laborious and error prone. Progress has been limited, however, by factors such as the lack of infrastructure and feedback hooks, and successful deployment is often site- and case-specific. In this position paper we report on the outcomes and plans from a recent Dagstuhl Seminar, seeking to carve a path for community progress in the development of autonomous feedback loops for MODA, based on the established formalism of similar (MAPE-K) loops in autonomous computing and self-adaptive systems. By defining and develo** such loops for significant cases experienced across HPC sites, we seek to extract commonalities and develop conventions that will facilitate interoperability and interchangeability with system hardware, software, and applications across different sites, and will motivate vendors and others to provide telemetry interfaces and feedback hooks to enable community development and pervasive deployment of MODA autonomy loops.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Rademacher Complexity of Neural ODEs via Chen-Fliess Series
Authors:
Joshua Hanson,
Maxim Raginsky
Abstract:
We show how continuous-depth neural ODE models can be framed as single-layer, infinite-width nets using the Chen--Fliess series expansion for nonlinear ODEs. In this net, the output ``weights'' are taken from the signature of the control input -- a tool used to represent infinite-dimensional paths as a sequence of tensors -- which comprises iterated integrals of the control input over a simplex. T…
▽ More
We show how continuous-depth neural ODE models can be framed as single-layer, infinite-width nets using the Chen--Fliess series expansion for nonlinear ODEs. In this net, the output ``weights'' are taken from the signature of the control input -- a tool used to represent infinite-dimensional paths as a sequence of tensors -- which comprises iterated integrals of the control input over a simplex. The ``features'' are taken to be iterated Lie derivatives of the output function with respect to the vector fields in the controlled ODE model. The main result of this work applies this framework to derive compact expressions for the Rademacher complexity of ODE models that map an initial condition to a scalar output at some terminal time. The result leverages the straightforward analysis afforded by single-layer architectures. We conclude with some examples instantiating the bound for some specific systems and discuss potential follow-up work.
△ Less
Submitted 20 May, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
Pop-Stack Operators for Torsion Classes and Cambrian Lattices
Authors:
Emily Barnard,
Colin Defant,
Eric J. Hanson
Abstract:
The pop-stack operator of a finite lattice $L$ is the map $\mathrm{pop}^{\downarrow}_L\colon L\to L$ that sends each element $x\in L$ to the meet of $\{x\}\cup\text{cov}_L(x)$, where $\text{cov}_L(x)$ is the set of elements covered by $x$ in $L$. We study several properties of the pop-stack operator of $\mathrm{tors}Λ$, the lattice of torsion classes of a $τ$-tilting finite algebra $Λ$ over a fiel…
▽ More
The pop-stack operator of a finite lattice $L$ is the map $\mathrm{pop}^{\downarrow}_L\colon L\to L$ that sends each element $x\in L$ to the meet of $\{x\}\cup\text{cov}_L(x)$, where $\text{cov}_L(x)$ is the set of elements covered by $x$ in $L$. We study several properties of the pop-stack operator of $\mathrm{tors}Λ$, the lattice of torsion classes of a $τ$-tilting finite algebra $Λ$ over a field $K$. We describe the pop-stack operator in terms of certain mutations of 2-term simple-minded collections. This allows us to describe preimages of a given torsion class under the pop-stack operator.
We then specialize our attention to Cambrian lattices of a finite irreducible Coxeter group $W$. Using tools from representation theory, we provide simple Coxeter-theoretic and lattice-theoretic descriptions of the image of the pop-stack operator of a Cambrian lattice (which can be stated without representation theory). When specialized to a bipartite Cambrian lattice of type A, this result settles a conjecture of Choi and Sun. We also settle a related enumerative conjecture of Defant and Williams. When $L$ is an arbitrary lattice quotient of the weak order on $W$, we prove that the maximum size of a forward orbit under the pop-stack operator of $L$ is at most the Coxeter number of $W$; when $L$ is a Cambrian lattice, we provide an explicit construction to show that this maximum forward orbit size is actually equal to the Coxeter number.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Spinors in extended Minkowski space
Authors:
Jason Hanson
Abstract:
The exterior algebra of Minkowski space naturally has the structure of a sixteen-dimensional Clifford algebra representation, and so can be used as the space of spinors. We examine plane, circular, and spherical solutions to the free Dirac equation in this extended notion of Minkowski space, and indicate how they can be used to obtain solutions to the standard four-dimensional Dirac equation.
The exterior algebra of Minkowski space naturally has the structure of a sixteen-dimensional Clifford algebra representation, and so can be used as the space of spinors. We examine plane, circular, and spherical solutions to the free Dirac equation in this extended notion of Minkowski space, and indicate how they can be used to obtain solutions to the standard four-dimensional Dirac equation.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
A Joint Fermi-GBM and Swift-BAT Analysis of Gravitational-Wave Candidates from the Third Gravitational-wave Observing Run
Authors:
C. Fletcher,
J. Wood,
R. Hamburg,
P. Veres,
C. M. Hui,
E. Bissaldi,
M. S. Briggs,
E. Burns,
W. H. Cleveland,
M. M. Giles,
A. Goldstein,
B. A. Hristov,
D. Kocevski,
S. Lesage,
B. Mailyan,
C. Malacaria,
S. Poolakkil,
A. von Kienlin,
C. A. Wilson-Hodge,
The Fermi Gamma-ray Burst Monitor Team,
M. Crnogorčević,
J. DeLaunay,
A. Tohuvavohu,
R. Caputo,
S. B. Cenko
, et al. (1674 additional authors not shown)
Abstract:
We present Fermi Gamma-ray Burst Monitor (Fermi-GBM) and Swift Burst Alert Telescope (Swift-BAT) searches for gamma-ray/X-ray counterparts to gravitational wave (GW) candidate events identified during the third observing run of the Advanced LIGO and Advanced Virgo detectors. Using Fermi-GBM on-board triggers and sub-threshold gamma-ray burst (GRB) candidates found in the Fermi-GBM ground analyses,…
▽ More
We present Fermi Gamma-ray Burst Monitor (Fermi-GBM) and Swift Burst Alert Telescope (Swift-BAT) searches for gamma-ray/X-ray counterparts to gravitational wave (GW) candidate events identified during the third observing run of the Advanced LIGO and Advanced Virgo detectors. Using Fermi-GBM on-board triggers and sub-threshold gamma-ray burst (GRB) candidates found in the Fermi-GBM ground analyses, the Targeted Search and the Untargeted Search, we investigate whether there are any coincident GRBs associated with the GWs. We also search the Swift-BAT rate data around the GW times to determine whether a GRB counterpart is present. No counterparts are found. Using both the Fermi-GBM Targeted Search and the Swift-BAT search, we calculate flux upper limits and present joint upper limits on the gamma-ray luminosity of each GW. Given these limits, we constrain theoretical models for the emission of gamma-rays from binary black hole mergers.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
Exceptional behavior in critical first-passage percolation and random sums
Authors:
Michael Damron,
Jack Hanson,
David Harper,
Wai-Kit Lam
Abstract:
We study first-passage percolation (FPP) on the square lattice. The model is defined using i.i.d. nonnegative random edge-weights $(t_e)$ associated to the nearest neighbor edges of $\mathbb{Z}^2$. The passage time between vertices $x$ and $y$, $T(x,y)$, is the minimal total weight of any lattice path from $x$ to $y$. The growth rate of $T(x,y)$ depends on the value of $F(0) = \mathbb{P}(t_e=0)$:…
▽ More
We study first-passage percolation (FPP) on the square lattice. The model is defined using i.i.d. nonnegative random edge-weights $(t_e)$ associated to the nearest neighbor edges of $\mathbb{Z}^2$. The passage time between vertices $x$ and $y$, $T(x,y)$, is the minimal total weight of any lattice path from $x$ to $y$. The growth rate of $T(x,y)$ depends on the value of $F(0) = \mathbb{P}(t_e=0)$: if $F(0) < 1/2$ then $T(x,y)$ grows linearly in $|x-y|$, but if $F(0) > 1/2$ then it is stochastically bounded. In the critical case, where $F(0) = 1/2$, $T(x,y)$ can be bounded or unbounded depending on the behavior of the distribution function $F$ of $t_e$ near 0. In this paper, we consider the critical case in which $T(x,y)$ is unbounded and prove the existence of an incipient infinite cluster (IIC) type measure, constructed by conditioning the environment on the event that the passage time from $0$ to a far distance remains bounded. This IIC measure is a natural candidate for the distribution of the weights at a typical exceptional time in dynamical FPP. A major part of the analysis involves characterizing the limiting behavior of independent nonnegative random variables conditioned to have small sum. We give conditions on random variables that ensure that such limits are trivial, and several examples that exhibit nontrivial limits.
△ Less
Submitted 19 August, 2023;
originally announced August 2023.
-
Calibration and Physics with ARA Station 1: A Unique Askaryan Radio Array Detector
Authors:
M. F. H Seikh,
D. Z. Besson,
S. Ali,
P. Allison,
S. Archambault,
J. J. Beatty,
A. Bishop,
P. Chen,
Y. C. Chen,
B. A. Clark,
W. Clay,
A. Connolly,
K. Couberly,
L. Cremonesi,
A. Cummings,
P. Dasgupta,
R. Debolt,
S. De Kockere,
K. D. de Vries,
C. Deaconu,
M. A. DuVernois,
J. Flaherty,
E. Friedman,
R. Gaior,
P. Giri
, et al. (48 additional authors not shown)
Abstract:
The Askaryan Radio Array Station 1 (A1), the first among five autonomous stations deployed for the ARA experiment at the South Pole, is a unique ultra-high energy neutrino (UHEN) detector based on the Askaryan effect that uses Antarctic ice as the detector medium. Its 16 radio antennas (distributed across 4 strings, each with 2 Vertically Polarized (VPol), 2 Horizontally Polarized (HPol) receivers…
▽ More
The Askaryan Radio Array Station 1 (A1), the first among five autonomous stations deployed for the ARA experiment at the South Pole, is a unique ultra-high energy neutrino (UHEN) detector based on the Askaryan effect that uses Antarctic ice as the detector medium. Its 16 radio antennas (distributed across 4 strings, each with 2 Vertically Polarized (VPol), 2 Horizontally Polarized (HPol) receivers), and 2 strings of transmitting antennas (calibration pulsers, CPs), each with 1 VPol and 1 HPol channel, are deployed at depths less than 100 m within the shallow firn zone of the 2.8 km thick South Pole (SP) ice. We apply different methods to calibrate its Ice Ray Sampler second generation (IRS2) chip for timing offset and ADC-to-Voltage conversion factors using a known continuous wave input signal to the digitizer, and achieve a precision of sub-nanoseconds. We achieve better calibration for odd, compared to even samples, and also find that the HPols under-perform relative to the VPol channels. Our timing calibrated data is subsequently used to calibrate the ADC-to-Voltage conversion as well as precise antenna locations, as a precursor to vertex reconstruction. The calibrated data will then be analyzed for UHEN signals in the final step of data compression. The ability of A1 to scan the firn region of SP ice sheet will contribute greatly towards a 5-station analysis and will inform the design of the planned IceCube Gen-2 radio array.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Search for Eccentric Black Hole Coalescences during the Third Observing Run of LIGO and Virgo
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
A. G. Abac,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
C. Adamcewicz,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
I. Aguilar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi
, et al. (1750 additional authors not shown)
Abstract:
Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effect…
▽ More
Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effects of eccentricity. Here, we present observational results for a waveform-independent search sensitive to eccentric black hole coalescences, covering the third observing run (O3) of the LIGO and Virgo detectors. We identified no new high-significance candidates beyond those that were already identified with searches focusing on quasi-circular binaries. We determine the sensitivity of our search to high-mass (total mass $M>70$ $M_\odot$) binaries covering eccentricities up to 0.3 at 15 Hz orbital frequency, and use this to compare model predictions to search results. Assuming all detections are indeed quasi-circular, for our fiducial population model, we place an upper limit for the merger rate density of high-mass binaries with eccentricities $0 < e \leq 0.3$ at $0.33$ Gpc$^{-3}$ yr$^{-1}$ at 90\% confidence level.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
Generic stability, randomizations, and NIP formulas
Authors:
Gabriel Conant,
Kyle Gannon,
James E. Hanson
Abstract:
We prove a number of results relating the concepts of Keisler measures, generic stability, randomizations, and NIP formulas. Among other things, we do the following: (1) We introduce the notion of a Keisler-Morley measure, which plays the role of a Morley sequence for a Keisler measure. We prove that if $μ$ is fim over $M$, then for any Keisler-Morley measure $λ$ in $μ$ over $M$ and any formula…
▽ More
We prove a number of results relating the concepts of Keisler measures, generic stability, randomizations, and NIP formulas. Among other things, we do the following: (1) We introduce the notion of a Keisler-Morley measure, which plays the role of a Morley sequence for a Keisler measure. We prove that if $μ$ is fim over $M$, then for any Keisler-Morley measure $λ$ in $μ$ over $M$ and any formula $\varphi(x,b)$, $\lim_{i \to \infty} λ(\varphi(x_i,b)) = μ(\varphi(x,b))$. We also show that any measure satisfying this conclusion must be fam. (2) We study the map, defined by Ben Yaacov, taking a definable measure $μ$ to a type $r_μ$ in the randomization. We prove that this map commutes with Morley products, and that if $μ$ is fim then $r_μ$ is generically stable. (3) We characterize when generically stable types are closed under Morley products by means of a variation of ict-patterns. Moreover, we show that NTP$_2$ theories satisfy this property. (4) We prove that if a local measure admits a suitably tame global extension, then it has finite packing numbers with respect to any definable family. We also characterize NIP formulas via the existence of tame extensions for local measures.
△ Less
Submitted 1 September, 2023; v1 submitted 3 August, 2023;
originally announced August 2023.
-
Exact structures for persistence modules
Authors:
Benjamin Blanchette,
Thomas Brüstle,
Eric J. Hanson
Abstract:
We discuss applications of exact structures and relative homological algebra to the study of invariants of multiparameter persistence modules. This paper is mostly expository, but does contain a pair of novel results. Over finite posets, classical arguments about the relative projective modules of an exact structure make use of Auslander-Reiten theory. One of our results establishes a new adjuncti…
▽ More
We discuss applications of exact structures and relative homological algebra to the study of invariants of multiparameter persistence modules. This paper is mostly expository, but does contain a pair of novel results. Over finite posets, classical arguments about the relative projective modules of an exact structure make use of Auslander-Reiten theory. One of our results establishes a new adjunction which allows us to "lift" these arguments to certain infinite posets over which Auslander-Reiten theory is not available. We give several examples of this lifting, in particular highlighting the non-existence and existence of resolutions by upsets when working with finitely presentable representations of the plane and of the closure of the positive quadrant, respectively. We then restrict our attention to finite posets. In this setting, we discuss the relationship between the global dimension of an exact structure and the representation dimension of the incidence algebra of the poset. We conclude with our second novel contribution. This is an explicit description of the irreducible morphisms between relative projective modules for several exact structures which have appeared previously in the literature.
△ Less
Submitted 16 August, 2023; v1 submitted 3 August, 2023;
originally announced August 2023.
-
Dense Sample Deep Learning
Authors:
Stephen Josè Hanson,
Vivek Yadav,
Catherine Hanson
Abstract:
Deep Learning (DL) , a variant of the neural network algorithms originally proposed in the 1980s, has made surprising progress in Artificial Intelligence (AI), ranging from language translation, protein folding, autonomous cars, and more recently human-like language models (CHATbots), all that seemed intractable until very recently. Despite the growing use of Deep Learning (DL) networks, little is…
▽ More
Deep Learning (DL) , a variant of the neural network algorithms originally proposed in the 1980s, has made surprising progress in Artificial Intelligence (AI), ranging from language translation, protein folding, autonomous cars, and more recently human-like language models (CHATbots), all that seemed intractable until very recently. Despite the growing use of Deep Learning (DL) networks, little is actually understood about the learning mechanisms and representations that makes these networks effective across such a diverse range of applications. Part of the answer must be the huge scale of the architecture and of course the large scale of the data, since not much has changed since 1987. But the nature of deep learned representations remain largely unknown. Unfortunately training sets with millions or billions of tokens have unknown combinatorics and Networks with millions or billions of hidden units cannot easily be visualized and their mechanisms cannot be easily revealed. In this paper, we explore these questions with a large (1.24M weights; VGG) DL in a novel high density sample task (5 unique tokens with at minimum 500 exemplars per token) which allows us to more carefully follow the emergence of category structure and feature construction. We use various visualization methods for following the emergence of the classification and the development of the coupling of feature detectors and structures that provide a type of graphical bootstrap**, From these results we harvest some basic observations of the learning dynamics of DL and propose a new theory of complex feature construction based on our results.
△ Less
Submitted 21 July, 2023; v1 submitted 20 July, 2023;
originally announced July 2023.
-
Develo** New Analysis Tools for Near Surface Radio-based Neutrino Detectors
Authors:
ARIANNA Collaboration,
A. Anker,
P. Baldi,
S. W. Barwick,
J. Beise,
D. Z. Besson,
P. Chen,
G. Gaswint,
C. Glaser,
A. Hallgren,
J. C. Hanson,
S. R. Klein,
S. A. Kleinfelder,
R. Lahmann,
J. Liu,
J. Nam,
A. Nelles,
M. P. Paul,
C. Persichilli,
I. Plaisier,
R. Rice-Smith,
J. Tatar,
K. Terveer,
S. -H Wang,
L. Zhao
Abstract:
The ARIANNA experiment is an Askaryan radio detector designed to measure high-energy neutrino induced cascades within the Antarctic ice. Ultra-high-energy neutrinos above $10^{16}$ eV have an extremely low flux, so experimental data captured at trigger level need to be classified correctly to retain more neutrino signal. We first describe two new physics-based neutrino selection methods, (the updo…
▽ More
The ARIANNA experiment is an Askaryan radio detector designed to measure high-energy neutrino induced cascades within the Antarctic ice. Ultra-high-energy neutrinos above $10^{16}$ eV have an extremely low flux, so experimental data captured at trigger level need to be classified correctly to retain more neutrino signal. We first describe two new physics-based neutrino selection methods, (the updown and dipole cut) that extend the previously published analysis to a specialized ARIANNA station with 8 antenna channels, which is double the number used in the prior analysis. For a standard trigger with a threshold signal to noise ratio at 4.4, the new cuts produce a neutrino efficiency of > 95% per station-year, while rejecting 99.93% of the background (corresponding to 53 remaining experimental background events). When the new cuts are combined with a previously developed cut using neutrino waveform templates, all background is removed at no change of efficiency. In addition, the neutrino efficiency is extrapolated to 1,000 station-years, obtaining 91%. This work then introduces a new selection method (deep learning (DL) cut) to augment the identification of neutrino events by using DL methods and compares the efficiency to the physics-based analysis. The DL cut gives 99% signal efficiency per station-year of operation while rejecting 99.997% of the background (corresponding to 2 remaining experimental background events), which are then removed by the waveform template cut at no significant change in efficiency. The results of the DL cut were verified using measured cosmic rays which shows the simulations do not introduce artifacts with respect to experimental data. The paper demonstrates the background rejection and signal efficiency of near surface antennas meets the requirements of a large scale future array, as considered in baseline design of the radio component of IceCube-Gen2.
△ Less
Submitted 26 September, 2023; v1 submitted 14 July, 2023;
originally announced July 2023.
-
A simple continuous theory
Authors:
James Hanson
Abstract:
In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete structures. We investigate a stronger condition that is easier to establish and use it to give an example of a strictly simple continuous theory that does not interpret a…
▽ More
In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete structures. We investigate a stronger condition that is easier to establish and use it to give an example of a strictly simple continuous theory that does not interpret any infinite discrete structures: the theory of richly branching $\mathbb{R}$-forests with generic binary predicates. We also give an example of a superstable theory that fails to satisfy this stronger condition but nevertheless does not interpret any infinite discrete structures.
△ Less
Submitted 25 June, 2023;
originally announced June 2023.
-
Bi-invariant types, reliably invariant types, and the comb tree property
Authors:
James E. Hanson
Abstract:
We introduce and examine some special classes of invariant types$\unicode{x2014}$bi-invariant, strongly bi-invariant, extendibly invariant, and reliably invariant types$\unicode{x2014}$and show that they are related to certain model-theoretic tree properties.
We show that the comb tree property (recently introduced by Mutchnik) is equivalent to the failure of Kim's lemma for bi-invariant types a…
▽ More
We introduce and examine some special classes of invariant types$\unicode{x2014}$bi-invariant, strongly bi-invariant, extendibly invariant, and reliably invariant types$\unicode{x2014}$and show that they are related to certain model-theoretic tree properties.
We show that the comb tree property (recently introduced by Mutchnik) is equivalent to the failure of Kim's lemma for bi-invariant types and is implied by the failure of Kim's lemma for reliably invariant types over invariance bases. We show that every type over an invariance base extends to a reliably invariant type$\unicode{x2014}$generalizing an unpublished result of Kruckman and Ramsey$\unicode{x2014}$and use this to show that, under a reasonable definition of Kim-dividing, Kim-forking coincides with Kim-dividing over invariance bases in theories without the comb tree property. Assuming a measurable cardinal, we characterize the comb tree property in terms of a form of dual local character.
We also show that the antichain tree property (introduced by Ahn and Kim) seems to have a somewhat similar relationship to strong bi-invariance. In particular, we show that NATP theories satisfy Kim's lemma for strongly bi-invariant types and (assuming a measurable cardinal) satisfy a different form of dual local character. Furthermore, we examine a mutual generalization of the local character properties satisfied by NTP$_2$ and NSOP$_1$ theories and show that it is satisfied by all NATP theories.
Finally, we give some related minor results$\unicode{x2014}$a strengthened local character characterization of NSOP$_1$ and a characterization of coheirs in terms of invariant extensions in expansions$\unicode{x2014}$as well as a pathological example of Kim-dividing.
△ Less
Submitted 17 August, 2023; v1 submitted 14 June, 2023;
originally announced June 2023.
-
brainlife.io: A decentralized and open source cloud platform to support neuroscience research
Authors:
Soichi Hayashi,
Bradley A. Caron,
Anibal Sólon Heinsfeld,
Sophia Vinci-Booher,
Brent McPherson,
Daniel N. Bullock,
Giulia Bertò,
Guiomar Niso,
Sandra Hanekamp,
Daniel Levitas,
Kimberly Ray,
Anne MacKenzie,
Lindsey Kitchell,
Josiah K. Leong,
Filipi Nascimento-Silva,
Serge Koudoro,
Hanna Willis,
Jasleen K. Jolly,
Derek Pisner,
Taylor R. Zuidema,
Jan W. Kurzawski,
Kyriaki Mikellidou,
Aurore Bussalb,
Christopher Rorden,
Conner Victory
, et al. (39 additional authors not shown)
Abstract:
Neuroscience research has expanded dramatically over the past 30 years by advancing standardization and tool development to support rigor and transparency. Consequently, the complexity of the data pipeline has also increased, hindering access to FAIR (Findable, Accessible, Interoperabile, and Reusable) data analysis to portions of the worldwide research community. brainlife.io was developed to red…
▽ More
Neuroscience research has expanded dramatically over the past 30 years by advancing standardization and tool development to support rigor and transparency. Consequently, the complexity of the data pipeline has also increased, hindering access to FAIR (Findable, Accessible, Interoperabile, and Reusable) data analysis to portions of the worldwide research community. brainlife.io was developed to reduce these burdens and democratize modern neuroscience research across institutions and career levels. Using community software and hardware infrastructure, the platform provides open-source data standardization, management, visualization, and processing and simplifies the data pipeline. brainlife.io automatically tracks the provenance history of thousands of data objects, supporting simplicity, efficiency, and transparency in neuroscience research. Here brainlife.io's technology and data services are described and evaluated for validity, reliability, reproducibility, replicability, and scientific utility. Using data from 4 modalities and 3,200 participants, we demonstrate that brainlife.io's services produce outputs that adhere to best practices in modern neuroscience research.
△ Less
Submitted 11 August, 2023; v1 submitted 3 June, 2023;
originally announced June 2023.
-
Flexible, integrated modeling of tokamak stability, transport, equilibrium, and pedestal physics
Authors:
B. C. Lyons,
J. McClenaghan,
T. Slendebroek,
O. Meneghini,
T. F. Neiser,
S. P. Smith,
D. B. Weisberg,
E. A. Belli,
J. Candy,
J. M. Hanson,
L. L. Lao,
N. C. Logan,
S. Saarelma,
O. Sauter,
P. B. Snyder,
G. M. Staebler,
K. E. Thome,
A. D. Turnbull
Abstract:
The STEP (Stability, Transport, Equilibrium, and Pedestal) integrated-modeling tool has been developed in OMFIT to predict stable, tokamak equilibria self-consistently with core-transport and pedestal calculations. STEP couples theory-based codes to integrate a variety of physics, including MHD stability, transport, equilibrium, pedestal formation, and current-drive, heating, and fueling. The inpu…
▽ More
The STEP (Stability, Transport, Equilibrium, and Pedestal) integrated-modeling tool has been developed in OMFIT to predict stable, tokamak equilibria self-consistently with core-transport and pedestal calculations. STEP couples theory-based codes to integrate a variety of physics, including MHD stability, transport, equilibrium, pedestal formation, and current-drive, heating, and fueling. The input/output of each code is interfaced with a centralized ITER-IMAS data structure, allowing codes to be run in any order and enabling open-loop, feedback, and optimization workflows. This paradigm simplifies the integration of new codes, making STEP highly extensible. STEP has been verified against a published benchmark of six different integrated models. Core-pedestal calculations with STEP have been successfully validated against individual DIII-D H-mode discharges and across more than 500 discharges of the $H_{98,y2}$ database, with a mean error in confinement time from experiment less than 19%. STEP has also reproduced results in less conventional DIII-D scenarios, including negative-central-shear and negative-triangularity plasmas. Predictive STEP modeling has been used to assess performance in several tokamak reactors. Simulations of a high-field, large-aspect-ratio reactor show significantly lower fusion power than predicted by a zero-dimensional study, demonstrating the limitations of scaling-law extrapolations. STEP predictions have found promising EXCITE scenarios, including a high-pressure, 80%-bootstrap-fraction plasma. ITER modeling with STEP has shown that pellet fueling enhances fusion gain in both the baseline and advanced-inductive scenarios. Finally, STEP predictions for the SPARC baseline scenario are in good agreement with published results from the physics basis.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
A facial order for torsion classes
Authors:
Eric J. Hanson
Abstract:
We generalize the "facial weak order" of a finite Coxeter group to a partial order on a set of intervals in a complete lattice. We apply our construction to the lattice of torsion classes of a finite-dimensional algebra and consider its restriction to intervals coming from stability conditions. We give two additional interpretations of the resulting "facial semistable order": one using cover relat…
▽ More
We generalize the "facial weak order" of a finite Coxeter group to a partial order on a set of intervals in a complete lattice. We apply our construction to the lattice of torsion classes of a finite-dimensional algebra and consider its restriction to intervals coming from stability conditions. We give two additional interpretations of the resulting "facial semistable order": one using cover relations, and one using Bongartz completions of 2-term presilting objects. For $τ$-tilting finite algebras, this allows us to prove that the facial semistable order is a semidistributive lattice. We then show that, in any abelian length category, our new partial order can be partitioned into a set of completely semidistributive lattices, one of which is the original lattice of torsion classes.
△ Less
Submitted 27 June, 2023; v1 submitted 10 May, 2023;
originally announced May 2023.
-
Search for gravitational-lensing signatures in the full third observing run of the LIGO-Virgo network
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
C. Alléné,
A. Allocca,
P. A. Altin
, et al. (1670 additional authors not shown)
Abstract:
Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated…
▽ More
Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated signals from strong lensing by 1) performing targeted searches for subthreshold signals, 2) calculating the degree of overlap amongst the intrinsic parameters and sky location of pairs of signals, 3) comparing the similarities of the spectrograms amongst pairs of signals, and 4) performing dual-signal Bayesian analysis that takes into account selection effects and astrophysical knowledge. We also search for distortions to the gravitational waveform caused by 1) frequency-independent phase shifts in strongly lensed images, and 2) frequency-dependent modulation of the amplitude and phase due to point masses. None of these searches yields significant evidence for lensing. Finally, we use the non-detection of gravitational-wave lensing to constrain the lensing rate based on the latest merger-rate estimates and the fraction of dark matter composed of compact objects.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Precision measurement of the index of refraction of deep glacial ice at radio frequencies at Summit Station, Greenland
Authors:
J. A. Aguilar,
P. Allison,
D. Besson,
A. Bishop,
O. Botner,
S. Bouma,
S. Buitink,
W. Castiglioni,
M. Cataldo,
B. A. Clark,
A. Coleman,
K. Couberly,
Z. Curtis-Ginsberg,
P. Dasgupta,
S. de Kockere,
K. D. de Vries,
C. Deaconu,
M. A. DuVernois,
A. Eimer,
C. Glaser,
A. Hallgren,
S. Hallmann,
J. C. Hanson,
B. Hendricks,
J. Henrichs
, et al. (49 additional authors not shown)
Abstract:
Glacial ice is used as a target material for the detection of ultra-high energy neutrinos, by measuring the radio signals that are emitted when those neutrinos interact in the ice. Thanks to the large attenuation length at radio frequencies, these signals can be detected over distances of several kilometers. One experiment taking advantage of this is the Radio Neutrino Observatory Greenland (RNO-G…
▽ More
Glacial ice is used as a target material for the detection of ultra-high energy neutrinos, by measuring the radio signals that are emitted when those neutrinos interact in the ice. Thanks to the large attenuation length at radio frequencies, these signals can be detected over distances of several kilometers. One experiment taking advantage of this is the Radio Neutrino Observatory Greenland (RNO-G), currently under construction at Summit Station, near the apex of the Greenland ice sheet. These experiments require a thorough understanding of the dielectric properties of ice at radio frequencies. Towards this goal, calibration campaigns have been undertaken at Summit, during which we recorded radio reflections off internal layers in the ice sheet. Using data from the nearby GISP2 and GRIP ice cores, we show that these reflectors can be associated with features in the ice conductivity profiles; we use this connection to determine the index of refraction of the bulk ice as n=1.778 +/- 0.006.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Altered Topological Structure of the Brain White Matter in Maltreated Children through Topological Data Analysis
Authors:
Moo K. Chung,
Tahmineh Azizi,
Jamie L. Hanson,
Andrew L. Alexander,
Richard J. Davidson,
Seth D. Pollak
Abstract:
Childhood maltreatment may adversely affect brain development and consequently influence behavioral, emotional, and psychological patterns during adulthood. In this study, we propose an analytical pipeline for modeling the altered topological structure of brain white matter in maltreated and typically develo** children. We perform topological data analysis (TDA) to assess the alteration in the g…
▽ More
Childhood maltreatment may adversely affect brain development and consequently influence behavioral, emotional, and psychological patterns during adulthood. In this study, we propose an analytical pipeline for modeling the altered topological structure of brain white matter in maltreated and typically develo** children. We perform topological data analysis (TDA) to assess the alteration in the global topology of the brain white-matter structural covariance network among children. We use persistent homology, an algebraic technique in TDA, to analyze topological features in the brain covariance networks constructed from structural magnetic resonance imaging (MRI) and diffusion tensor imaging (DTI). We develop a novel framework for statistical inference based on the Wasserstein distance to assess the significance of the observed topological differences. Using these methods in comparing maltreated children to a typically develo** control group, we find that maltreatment may increase homogeneity in white matter structures and thus induce higher correlations in the structural covariance; this is reflected in the topological profile. Our findings strongly suggest that TDA can be a valuable framework to model altered topological structures of the brain. The MATLAB codes and processed data used in this study can be found at https://github.com/laplcebeltrami/maltreated.
△ Less
Submitted 14 November, 2023; v1 submitted 12 April, 2023;
originally announced April 2023.
-
$τ$-exceptional sequences and the shard intersection order in type A
Authors:
Eric J. Hanson
Abstract:
Reading's "shard intersection order" on the symmetric group can be realized as the "lattice of wide subcategories" of the corresponding preprojective algebra. In this paper, we first use Bancroft's combinatorial model for the shard intersection order to associate a unique shard to each downward cover relation. We then show that, under the correspondence with wide subcategories, this process coinci…
▽ More
Reading's "shard intersection order" on the symmetric group can be realized as the "lattice of wide subcategories" of the corresponding preprojective algebra. In this paper, we first use Bancroft's combinatorial model for the shard intersection order to associate a unique shard to each downward cover relation. We then show that, under the correspondence with wide subcategories, this process coincides with Jasso's "$τ$-tilting reduction". In particular, this yields a combinatorial model for this algebras's $τ$-exceptional sequences" (defined by Buan and Marsh). We formulate this model using the combinatorics of arc diagrams. Finally, we use our model to give a new representation-theoretic proof that the shard intersection order is EL-shellable in type A.
△ Less
Submitted 10 May, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
Morphisms and extensions between bricks over preprojective algebras of type A
Authors:
Eric J. Hanson,
Xinrui You
Abstract:
The bricks over preprojective algebras of type A are known to be in bijection with certain combinatorial objects called "arcs". In this paper, we show how one can use arcs to compute bases for the Hom-spaces and first extension spaces between bricks. We then use this description to classify the "weak exceptional sequences" over these algebras. Finally, we explain how our result relates to a simila…
▽ More
The bricks over preprojective algebras of type A are known to be in bijection with certain combinatorial objects called "arcs". In this paper, we show how one can use arcs to compute bases for the Hom-spaces and first extension spaces between bricks. We then use this description to classify the "weak exceptional sequences" over these algebras. Finally, we explain how our result relates to a similar combinatorial model for the exceptional sequences over hereditary algebras of type A.
△ Less
Submitted 8 June, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
A uniqueness property of τ exceptional sequences
Authors:
Eric J. Hanson,
Hugh Thomas
Abstract:
Recently, Buan and Marsh showed that if two complete $τ$-exceptional sequences agree in all but at most one term, then they must agree everywhere, provided the algebra is $τ$-tilting finite. They conjectured that the result holds without that assumption. We prove their conjecture. Along the way, we also show that the dimension vectors of the modules in a $τ$-exceptional sequence are linearly indep…
▽ More
Recently, Buan and Marsh showed that if two complete $τ$-exceptional sequences agree in all but at most one term, then they must agree everywhere, provided the algebra is $τ$-tilting finite. They conjectured that the result holds without that assumption. We prove their conjecture. Along the way, we also show that the dimension vectors of the modules in a $τ$-exceptional sequence are linearly independent.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
Open data from the third observing run of LIGO, Virgo, KAGRA and GEO
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
A. Al-Jodah,
C. Alléné,
A. Allocca
, et al. (1719 additional authors not shown)
Abstract:
The global network of gravitational-wave observatories now includes five detectors, namely LIGO Hanford, LIGO Livingston, Virgo, KAGRA, and GEO 600. These detectors collected data during their third observing run, O3, composed of three phases: O3a starting in April of 2019 and lasting six months, O3b starting in November of 2019 and lasting five months, and O3GK starting in April of 2020 and lasti…
▽ More
The global network of gravitational-wave observatories now includes five detectors, namely LIGO Hanford, LIGO Livingston, Virgo, KAGRA, and GEO 600. These detectors collected data during their third observing run, O3, composed of three phases: O3a starting in April of 2019 and lasting six months, O3b starting in November of 2019 and lasting five months, and O3GK starting in April of 2020 and lasting 2 weeks. In this paper we describe these data and various other science products that can be freely accessed through the Gravitational Wave Open Science Center at https://gwosc.org. The main dataset, consisting of the gravitational-wave strain time series that contains the astrophysical signals, is released together with supporting data useful for their analysis and documentation, tutorials, as well as analysis software packages.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Some semilattices of definable sets in continuous logic
Authors:
James Hanson
Abstract:
In continuous first-order logic, the union of definable sets is definable but generally the intersection is not. This means that in any continuous theory, the collection of $\varnothing$-definable sets in one variable forms a join-semilattice under inclusion that may fail to be a lattice. We investigate the question of which semilattices arise as the collection of definable sets in a continuous th…
▽ More
In continuous first-order logic, the union of definable sets is definable but generally the intersection is not. This means that in any continuous theory, the collection of $\varnothing$-definable sets in one variable forms a join-semilattice under inclusion that may fail to be a lattice. We investigate the question of which semilattices arise as the collection of definable sets in a continuous theory. We show that for any non-trivial finite semilattice $L$ (or, equivalently, any finite lattice $L$), there is a superstable theory $T$ whose semilattice of definable sets is $L$. We then extend this construction to some infinite semilattices. In particular, we show that the following semilattices arise in continuous theories: $α+1$ and $(α+1)^\ast$ for any ordinal $α$, a semilattice containing an exact pair above $ω$, and the lattice of filters in $L$ for any countable meet-semilattice $L$. By previous work of the author, this establishes that these semilattices arise in stable theories. The first two are done in languages of cardinality $\aleph_0 + |α|$, and the latter two are done in countable languages.
△ Less
Submitted 4 February, 2023;
originally announced February 2023.
-
A metric set theory with a universal set
Authors:
James Hanson
Abstract:
Motivated by ideas from the model theory of metric structures, we introduce a metric set theory, $\mathsf{MSE}$, which takes bounded quantification as primitive and consists of a natural metric extensionality axiom (the distance between two sets is the Hausdorff distance between their extensions) and an approximate, non-deterministic form of full comprehension (for any real-valued formula…
▽ More
Motivated by ideas from the model theory of metric structures, we introduce a metric set theory, $\mathsf{MSE}$, which takes bounded quantification as primitive and consists of a natural metric extensionality axiom (the distance between two sets is the Hausdorff distance between their extensions) and an approximate, non-deterministic form of full comprehension (for any real-valued formula $\varphi(x,y)$, tuple of parameters $a$, and $r < s$, there is a set containing the class $\{x: \varphi(x,a) \leq r\}$ and contained in the class $\{x:\varphi(x,a) < s\}$). We show that $\mathsf{MSE}$ is sufficient to develop classical mathematics after the addition of an appropriate axiom of infinity. We then construct canonical representatives of well-order types and prove that ultrametric models of $\mathsf{MSE}$ always contain externally ill-founded ordinals, conjecturing that this is true of all models. To establish several independence results and, in particular, consistency, we construct a variety of models, including pseudo-finite models and models containing arbitrarily large standard ordinals. Finally, we discuss how to formalize $\mathsf{MSE}$ in either continuous logic or Łukasiewicz logic.
△ Less
Submitted 4 February, 2023;
originally announced February 2023.
-
Radiofrequency Ice Dielectric Measurements at Summit Station, Greenland
Authors:
J. A. Aguilar,
P. Allison,
D. Besson,
A. Bishop,
O. Botner,
S. Bouma,
S. Buitink,
M. Cataldo,
B. A. Clark,
K. Couberly,
Z. Curtis-Ginsberg,
P. Dasgupta,
S. de Kockere,
K. D. de Vries,
C. Deaconu,
M. A. DuVernois,
A. Eimer,
C. Glaser,
A. Hallgren,
S. Hallmann,
J. C. Hanson,
B. Hendricks,
J. Henrichs,
N. Heyer,
C. Hornhuber
, et al. (43 additional authors not shown)
Abstract:
We recently reported on the radio-frequency attenuation length of cold polar ice at Summit Station, Greenland, based on bistatic radar measurements of radio-frequency bedrock echo strengths taken during the summer of 2021. Those data also include echoes attributed to stratified impurities or dielectric discontinuities within the ice sheet (layers), which allow studies of a) estimation of the relat…
▽ More
We recently reported on the radio-frequency attenuation length of cold polar ice at Summit Station, Greenland, based on bistatic radar measurements of radio-frequency bedrock echo strengths taken during the summer of 2021. Those data also include echoes attributed to stratified impurities or dielectric discontinuities within the ice sheet (layers), which allow studies of a) estimation of the relative contribution of coherent (discrete layers, e.g.) vs. incoherent (bulk volumetric, e.g.) scattering, b) the magnitude of internal layer reflection coefficients, c) limits on the azimuthal asymmetry of reflections (birefringence), and d) limits on signal dispersion in-ice over a bandwidth of ~100 MHz. We find that i) after averaging 10000 echo triggers, reflected signal observable over the thermal floor (to depths of approximately 1500 m) are consistent with being entirely coherent, ii) internal layer reflection coefficients are measured at approximately -60 to -70 dB, iii) birefringent effects for vertically propagating signals are smaller by an order of magnitude relative to comparable studies performed at South Pole, and iv) within our experimental limits, glacial ice is non-dispersive over the frequency band relevant for neutrino detection experiments.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Search for subsolar-mass black hole binaries in the second part of Advanced LIGO's and Advanced Virgo's third observing run
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
C. Alléné,
A. Allocca,
P. A. Altin
, et al. (1680 additional authors not shown)
Abstract:
We describe a search for gravitational waves from compact binaries with at least one component with mass 0.2 $M_\odot$ -- $1.0 M_\odot$ and mass ratio $q \geq 0.1$ in Advanced LIGO and Advanced Virgo data collected between 1 November 2019, 15:00 UTC and 27 March 2020, 17:00 UTC. No signals were detected. The most significant candidate has a false alarm rate of 0.2 $\mathrm{yr}^{-1}$. We estimate t…
▽ More
We describe a search for gravitational waves from compact binaries with at least one component with mass 0.2 $M_\odot$ -- $1.0 M_\odot$ and mass ratio $q \geq 0.1$ in Advanced LIGO and Advanced Virgo data collected between 1 November 2019, 15:00 UTC and 27 March 2020, 17:00 UTC. No signals were detected. The most significant candidate has a false alarm rate of 0.2 $\mathrm{yr}^{-1}$. We estimate the sensitivity of our search over the entirety of Advanced LIGO's and Advanced Virgo's third observing run, and present the most stringent limits to date on the merger rate of binary black holes with at least one subsolar-mass component. We use the upper limits to constrain two fiducial scenarios that could produce subsolar-mass black holes: primordial black holes (PBH) and a model of dissipative dark matter. The PBH model uses recent prescriptions for the merger rate of PBH binaries that include a rate suppression factor to effectively account for PBH early binary disruptions. If the PBHs are monochromatically distributed, we can exclude a dark matter fraction in PBHs $f_\mathrm{PBH} \gtrsim 0.6$ (at 90% confidence) in the probed subsolar-mass range. However, if we allow for broad PBH mass distributions we are unable to rule out $f_\mathrm{PBH} = 1$. For the dissipative model, where the dark matter has chemistry that allows a small fraction to cool and collapse into black holes, we find an upper bound $f_{\mathrm{DBH}} < 10^{-5}$ on the fraction of atomic dark matter collapsed into black holes.
△ Less
Submitted 26 January, 2024; v1 submitted 2 December, 2022;
originally announced December 2022.
-
Search for gravitational-wave transients associated with magnetar bursts in Advanced LIGO and Advanced Virgo data from the third observing run
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
A. Allocca,
P. A. Altin
, et al. (1645 additional authors not shown)
Abstract:
Gravitational waves are expected to be produced from neutron star oscillations associated with magnetar giant flares and short bursts. We present the results of a search for short-duration (milliseconds to seconds) and long-duration ($\sim$ 100 s) transient gravitational waves from 13 magnetar short bursts observed during Advanced LIGO, Advanced Virgo and KAGRA's third observation run. These 13 bu…
▽ More
Gravitational waves are expected to be produced from neutron star oscillations associated with magnetar giant flares and short bursts. We present the results of a search for short-duration (milliseconds to seconds) and long-duration ($\sim$ 100 s) transient gravitational waves from 13 magnetar short bursts observed during Advanced LIGO, Advanced Virgo and KAGRA's third observation run. These 13 bursts come from two magnetars, SGR 1935$+$2154 and Swift J1818.0$-$1607. We also include three other electromagnetic burst events detected by Fermi GBM which were identified as likely coming from one or more magnetars, but they have no association with a known magnetar. No magnetar giant flares were detected during the analysis period. We find no evidence of gravitational waves associated with any of these 16 bursts. We place upper bounds on the root-sum-square of the integrated gravitational-wave strain that reach $2.2 \times 10^{-23}$ $/\sqrt{\text{Hz}}$ at 100 Hz for the short-duration search and $8.7 \times 10^{-23}$ $/\sqrt{\text{Hz}}$ at $450$ Hz for the long-duration search, given a detection efficiency of 50%. For a ringdown signal at 1590 Hz targeted by the short-duration search the limit is set to $1.8 \times 10^{-22}$ $/\sqrt{\text{Hz}}$. Using the estimated distance to each magnetar, we derive upper bounds on the emitted gravitational-wave energy of $3.2 \times 10^{43}$ erg ($7.3 \times 10^{43}$ erg) for SGR 1935$+$2154 and $8.2 \times 10^{42}$ erg ($2.8 \times 10^{43}$ erg) for Swift J1818.0$-$1607, for the short-duration (long-duration) search. Assuming isotropic emission of electromagnetic radiation of the burst fluences, we constrain the ratio of gravitational-wave energy to electromagnetic energy for bursts from SGR 1935$+$2154 with available fluence information. The lowest of these ratios is $3 \times 10^3$.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
Exceptional sequences in semidistributive lattices and the poset topology of wide subcategories
Authors:
Emily Barnard,
Eric J. Hanson
Abstract:
Let $Λ$ be a finite-dimensional algebra over a field $K$. We describe how Buan and Marsh's $τ$-exceptional sequences can be used to give a "brick labeling" of a certain poset of wide subcategories of finitely-generated $Λ$-modules. When $Λ$ is representation-directed, we prove that there exists a total order on the set of bricks which makes this into an EL-labeling. Motivated by the connection bet…
▽ More
Let $Λ$ be a finite-dimensional algebra over a field $K$. We describe how Buan and Marsh's $τ$-exceptional sequences can be used to give a "brick labeling" of a certain poset of wide subcategories of finitely-generated $Λ$-modules. When $Λ$ is representation-directed, we prove that there exists a total order on the set of bricks which makes this into an EL-labeling. Motivated by the connection between classical exceptional sequences and noncrossing partitions, we then turn our attention towards the study of (well-separated) completely semidistributive lattices. Such lattices come equipped with a bijection between their completely join-irreducible and completely meet-irreducible elements, known as rowmotion or simply the "$κ$-map". Generalizing known results for finite semidistributive lattices, we show that the $κ$-map determines exactly when a set of completely join-irreducible elements forms a "canonical join representation". A consequence is that the corresponding "canonical join complex" is a flag simplicial complex, as has been shown for finite semidistributive lattices and lattices of torsion classes of finite-dimensional algebras. Finally, in the case of lattices of torsion classes of finite-dimensional algebras, we demonstrate how Jasso's $τ$-tilting reduction can be encoded using the $κ$-map. We use this to define $κ^d$-exceptional sequences for finite semidistributive lattices. These are distinguished sequences of completely join-irreducible elements which we prove specialize to $τ$-exceptional sequences in the algebra setting.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Model-based cross-correlation search for gravitational waves from the low-mass X-ray binary Scorpius X-1 in LIGO O3 data
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
C. Alléné,
A. Allocca,
P. A. Altin
, et al. (1670 additional authors not shown)
Abstract:
We present the results of a model-based search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO detector data from the third observing run of Advanced LIGO, Advanced Virgo and KAGRA. This is a semicoherent search which uses details of the signal model to coherently combine data separated by less than a specified coherence time, which can be adjusted to bala…
▽ More
We present the results of a model-based search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO detector data from the third observing run of Advanced LIGO, Advanced Virgo and KAGRA. This is a semicoherent search which uses details of the signal model to coherently combine data separated by less than a specified coherence time, which can be adjusted to balance sensitivity with computing cost. The search covered a range of gravitational-wave frequencies from 25Hz to 1600Hz, as well as ranges in orbital speed, frequency and phase determined from observational constraints. No significant detection candidates were found, and upper limits were set as a function of frequency. The most stringent limits, between 100Hz and 200Hz, correspond to an amplitude h0 of about 1e-25 when marginalized isotropically over the unknown inclination angle of the neutron star's rotation axis, or less than 4e-26 assuming the optimal orientation. The sensitivity of this search is now probing amplitudes predicted by models of torque balance equilibrium. For the usual conservative model assuming accretion at the surface of the neutron star, our isotropically-marginalized upper limits are close to the predicted amplitude from about 70Hz to 100Hz; the limits assuming the neutron star spin is aligned with the most likely orbital angular momentum are below the conservative torque balance predictions from 40Hz to 200Hz. Assuming a broader range of accretion models, our direct limits on gravitational-wave amplitude delve into the relevant parameter space over a wide range of frequencies, to 500Hz or more.
△ Less
Submitted 2 January, 2023; v1 submitted 6 September, 2022;
originally announced September 2022.
-
The number of geodesics in planar first-passage percolation grows sublinearly
Authors:
Daniel Ahlberg,
Jack Hanson,
Christopher Hoffman
Abstract:
We study a random perturbation of the Euclidean plane, and show that it is unlikely that the distance-minimizing path between the two points can be extended into an infinite distance-minimizing path. More precisely, we study a large class of planar first-passage percolation models and show that the probability that a given site is visited by an infinite geodesic starting at the origin tends to zer…
▽ More
We study a random perturbation of the Euclidean plane, and show that it is unlikely that the distance-minimizing path between the two points can be extended into an infinite distance-minimizing path. More precisely, we study a large class of planar first-passage percolation models and show that the probability that a given site is visited by an infinite geodesic starting at the origin tends to zero uniformly with the distance. In particular, this show that the collection of infinite geodesics starting at the origin covers a negligible fraction of the plane. This provides the first progress on the `highways and byways' problem, posed by Hammersley and Welsh in the 1960s.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
TAROGE-M: Radio Antenna Array on Antarctic High Mountain for Detecting Near-Horizontal Ultra-High Energy Air Showers
Authors:
TAROGE Collaboration,
Shih-Hao Wang,
Jiwoo Nam,
Pisin Chen,
Yaocheng Chen,
Tae** Choi,
Young-bae Ham,
Shih-Ying Hsu,
Jian-Jung Huang,
Ming-Huey A. Huang,
Geonhwa Jee,
Jongil Jung,
Jieun Kim,
Chung-Yun Kuo,
Hyuck-** Kwon,
Changsup Lee,
Chung-Hei Leung,
Tsung-Che Liu,
Yu-Shao J. Shiao,
Bok-Kyun Shin,
Min-Zu Wang,
Yu-Hsin Wang,
ARIANNA Collaboration,
:,
Astrid Anker
, et al. (23 additional authors not shown)
Abstract:
TAROGE-M is a self-triggered radio antenna array atop the 2700 m high Mt. Melbourne in Antarctica, designed to detect impulsive geomagnetic emission from extensive air showers induced by ultra-high energy (UHE) particles beyond 0.1 EeV, including cosmic rays (CRs), Earth-skimming tau neutrinos, and particularly, the "ANITA anomalous events" (AAEs) from near and below the horizon, which origin rema…
▽ More
TAROGE-M is a self-triggered radio antenna array atop the 2700 m high Mt. Melbourne in Antarctica, designed to detect impulsive geomagnetic emission from extensive air showers induced by ultra-high energy (UHE) particles beyond 0.1 EeV, including cosmic rays (CRs), Earth-skimming tau neutrinos, and particularly, the "ANITA anomalous events" (AAEs) from near and below the horizon, which origin remains uncertain and requires more experimental inputs for clarification.
The detection concept of TAROGE-M takes advantage of a high altitude with synoptic view toward the horizon as an efficient signal collector, and the radio quietness as well as strong and near vertical geomagnetic field in Antarctica. This approach has a low energy threshold, high duty cycle, and is easy to extend for quickly enlarging statistics. Here we report experimental results from the first TAROGE-M station deployed in 2020, corresponding to $25.3$-days of livetime. The station consists of six receiving antennas operating at 180-450 MHz, and can reconstruct source directions with $\sim0.3^\circ$ angular resolution. To demonstrate its ability to detect UHE air showers, a search for CR signals in the data was conducted, resulting in seven identified events. These events have a mean reconstructed energy of $0.95_{-0.31}^{+0.46}$ EeV and zenith angles between $25^\circ-82^\circ$, with both distributions agreeing with simulations. The estimated CR flux is also consistent with results of other experiments. The TAROGE-M sensitivity to AAEs is approximated by the tau neutrino exposure with simulations, suggesting comparable sensitivity as ANITA's at $~1$ EeV energy with a few station-years of operation. These first results verified the station design and performance in a polar and high-altitude environment, and are promising for further discovery of tau neutrinos and AAEs after an extension in the near future.
△ Less
Submitted 26 September, 2022; v1 submitted 21 July, 2022;
originally announced July 2022.
-
Exploring the Adjugate Matrix Approach to Quaternion Pose Extraction
Authors:
Andrew J. Hanson,
Sonya M. Hanson
Abstract:
Quaternions are important for a wide variety of rotation-related problems in computer graphics, machine vision, and robotics. We study the nontrivial geometry of the relationship between quaternions and rotation matrices by exploiting the adjugate matrix of the characteristic equation of a related eigenvalue problem to obtain the manifold of the space of a quaternion eigenvector. We argue that qua…
▽ More
Quaternions are important for a wide variety of rotation-related problems in computer graphics, machine vision, and robotics. We study the nontrivial geometry of the relationship between quaternions and rotation matrices by exploiting the adjugate matrix of the characteristic equation of a related eigenvalue problem to obtain the manifold of the space of a quaternion eigenvector. We argue that quaternions parameterized by their corresponding rotation matrices cannot be expressed, for example, in machine learning tasks, as single-valued functions: the quaternion solution must instead be treated as a manifold, with different algebraic solutions for each of several single-valued sectors represented by the adjugate matrix. We conclude with novel constructions exploiting the quaternion adjugate variables to revisit several classic pose estimation applications: 2D point-cloud matching, 2D point-cloud-to-projection matching, 3D point-cloud matching, 3D orthographic point-cloud-to-projection matching, and 3D perspective point-cloud-to-projection matching. We find an exact solution to the 3D orthographic least squares pose extraction problem, and apply it successfully also to the perspective pose extraction problem with results that improve on existing methods.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Search for continuous gravitational wave emission from the Milky Way center in O3 LIGO--Virgo data
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
A. Allocca,
P. A. Altin
, et al. (1645 additional authors not shown)
Abstract:
We present a directed search for continuous gravitational wave (CW) signals emitted by spinning neutron stars located in the inner parsecs of the Galactic Center (GC). Compelling evidence for the presence of a numerous population of neutron stars has been reported in the literature, turning this region into a very interesting place to look for CWs. In this search, data from the full O3 LIGO--Virgo…
▽ More
We present a directed search for continuous gravitational wave (CW) signals emitted by spinning neutron stars located in the inner parsecs of the Galactic Center (GC). Compelling evidence for the presence of a numerous population of neutron stars has been reported in the literature, turning this region into a very interesting place to look for CWs. In this search, data from the full O3 LIGO--Virgo run in the detector frequency band $[10,2000]\rm~Hz$ have been used. No significant detection was found and 95$\%$ confidence level upper limits on the signal strain amplitude were computed, over the full search band, with the deepest limit of about $7.6\times 10^{-26}$ at $\simeq 142\rm~Hz$. These results are significantly more constraining than those reported in previous searches. We use these limits to put constraints on the fiducial neutron star ellipticity and r-mode amplitude. These limits can be also translated into constraints in the black hole mass -- boson mass plane for a hypothetical population of boson clouds around spinning black holes located in the GC.
△ Less
Submitted 9 April, 2022;
originally announced April 2022.
-
Fitting an immersed submanifold to data via Sussmann's orbit theorem
Authors:
Joshua Hanson,
Maxim Raginsky
Abstract:
This paper describes an approach for fitting an immersed submanifold of a finite-dimensional Euclidean space to random samples. The reconstruction map** from the ambient space to the desired submanifold is implemented as a composition of an encoder that maps each point to a tuple of (positive or negative) times and a decoder given by a composition of flows along finitely many vector fields start…
▽ More
This paper describes an approach for fitting an immersed submanifold of a finite-dimensional Euclidean space to random samples. The reconstruction map** from the ambient space to the desired submanifold is implemented as a composition of an encoder that maps each point to a tuple of (positive or negative) times and a decoder given by a composition of flows along finitely many vector fields starting from a fixed initial point. The encoder supplies the times for the flows. The encoder-decoder map is obtained by empirical risk minimization, and a high-probability bound is given on the excess risk relative to the minimum expected reconstruction error over a given class of encoder-decoder maps. The proposed approach makes fundamental use of Sussmann's orbit theorem, which guarantees that the image of the reconstruction map is indeed contained in an immersed submanifold.
△ Less
Submitted 14 September, 2022; v1 submitted 3 April, 2022;
originally announced April 2022.
-
Search for Gravitational Waves Associated with Fast Radio Bursts Detected by CHIME/FRB During the LIGO--Virgo Observing Run O3a
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
the CHIME/FRB Collaboration,
:,
R. Abbott,
T. D. Abbott,
F. Acernese,
K. Ackley,
C. Adams,
N. Adhikari,
R. X. Adhikari,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
A. Allocca
, et al. (1633 additional authors not shown)
Abstract:
We search for gravitational-wave transients associated with fast radio bursts (FRBs) detected by the Canadian Hydrogen Intensity Map** Experiment Fast Radio Burst Project (CHIME/FRB), during the first part of the third observing run of Advanced LIGO and Advanced Virgo (1 April 2019 15:00 UTC-1 Oct 2019 15:00 UTC). Triggers from 22 FRBs were analyzed with a search that targets compact binary coal…
▽ More
We search for gravitational-wave transients associated with fast radio bursts (FRBs) detected by the Canadian Hydrogen Intensity Map** Experiment Fast Radio Burst Project (CHIME/FRB), during the first part of the third observing run of Advanced LIGO and Advanced Virgo (1 April 2019 15:00 UTC-1 Oct 2019 15:00 UTC). Triggers from 22 FRBs were analyzed with a search that targets compact binary coalescences with at least one neutron star component. A targeted search for generic gravitational-wave transients was conducted on 40 FRBs. We find no significant evidence for a gravitational-wave association in either search. Given the large uncertainties in the distances of the FRBs inferred from the dispersion measures in our sample, however, this does not conclusively exclude any progenitor models that include emission of a gravitational wave of the types searched for from any of these FRB events. We report $90\%$ confidence lower bounds on the distance to each FRB for a range of gravitational-wave progenitor models. By combining the inferred maximum distance information for each FRB with the sensitivity of the gravitational-wave searches, we set upper limits on the energy emitted through gravitational waves for a range of emission scenarios. We find values of order $10^{51}$-$10^{57}$ erg for a range of different emission models with central gravitational wave frequencies in the range 70-3560 Hz. Finally, we also found no significant coincident detection of gravitational waves with the repeater, FRB 20200120E, which is the closest known extragalactic FRB.
△ Less
Submitted 22 March, 2022;
originally announced March 2022.
-
Statistical Analysis on Brain Surfaces
Authors:
Moo K. Chung,
Jamie L. Hanson,
Seth D. Pollak
Abstract:
In this paper, we review widely used statistical analysis frameworks for data defined along cortical and subcortical surfaces that have been developed in last two decades. The cerebral cortex has the topology of a 2D highly convoluted sheet. For data obtained along curved non-Euclidean surfaces, traditional statistical analysis and smoothing techniques based on the Euclidean metric structure are i…
▽ More
In this paper, we review widely used statistical analysis frameworks for data defined along cortical and subcortical surfaces that have been developed in last two decades. The cerebral cortex has the topology of a 2D highly convoluted sheet. For data obtained along curved non-Euclidean surfaces, traditional statistical analysis and smoothing techniques based on the Euclidean metric structure are inefficient. To increase the signal-to-noise ratio (SNR) and to boost the sensitivity of the analysis, it is necessary to smooth out noisy surface data. However, this requires smoothing data on curved cortical manifolds and assigning smoothing weights based on the geodesic distance along the surface. Thus, many cortical surface data analysis frameworks are differential geometric in nature. The smoothed surface data is then treated as smooth random fields and statistical inferences can be performed within Keith Worsley's random field theory. The methods described in this paper are illustrated with the hippocampus surface data set. Using this case study, we will determine if there is an effect of family income on the growth of hippocampus in children in detail. There are a total of 124 children and 82 of them have repeat magnetic resonance images (MRI) two years later.
△ Less
Submitted 13 March, 2022;
originally announced March 2022.
-
First joint observation by the underground gravitational-wave detector, KAGRA, with GEO600
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
A. Allocca,
P. A. Altin
, et al. (1647 additional authors not shown)
Abstract:
We report the results of the first joint observation of the KAGRA detector with GEO600. KAGRA is a cryogenic and underground gravitational-wave detector consisting of a laser interferometer with three-kilometer arms, and located in Kamioka, Gifu, Japan. GEO600 is a British--German laser interferometer with 600 m arms, and located near Hannover, Germany. GEO600 and KAGRA performed a joint observing…
▽ More
We report the results of the first joint observation of the KAGRA detector with GEO600. KAGRA is a cryogenic and underground gravitational-wave detector consisting of a laser interferometer with three-kilometer arms, and located in Kamioka, Gifu, Japan. GEO600 is a British--German laser interferometer with 600 m arms, and located near Hannover, Germany. GEO600 and KAGRA performed a joint observing run from April 7 to 20, 2020. We present the results of the joint analysis of the GEO--KAGRA data for transient gravitational-wave signals, including the coalescence of neutron-star binaries and generic unmodeled transients. We also perform dedicated searches for binary coalescence signals and generic transients associated with gamma-ray burst events observed during the joint run. No gravitational-wave events were identified. We evaluate the minimum detectable amplitude for various types of transient signals and the spacetime volume for which the network is sensitive to binary neutron-star coalescences. We also place lower limits on the distances to the gamma-ray bursts analysed based on the non-detection of an associated gravitational-wave signal for several signal models, including binary coalescences. These analyses demonstrate the feasibility and utility of KAGRA as a member of the global gravitational-wave detector network.
△ Less
Submitted 19 August, 2022; v1 submitted 2 March, 2022;
originally announced March 2022.
-
A low-threshold ultrahigh-energy neutrino search with the Askaryan Radio Array
Authors:
P. Allison,
S. Archambault,
J. J. Beatty,
D. Z. Besson,
A. Bishop,
C. C. Chen,
C. H. Chen,
P. Chen,
Y. C. Chen,
B. A. Clark,
W. Clay,
A. Connolly,
L. Cremonesi,
P. Dasgupta,
J. Davies,
S. de Kockere,
K. D. de Vries,
C. Deaconu,
M. A. DuVernois,
J. Flaherty,
E. Friedman,
R. Gaior,
J. Hanson,
N. Harty,
B. Hendricks
, et al. (55 additional authors not shown)
Abstract:
In the pursuit of the measurement of the still-elusive ultrahigh-energy (UHE) neutrino flux at energies of order EeV, detectors using the in-ice Askaryan radio technique have increasingly targeted lower trigger thresholds. This has led to improved trigger-level sensitivity to UHE neutrinos. Working with data collected by the Askaryan Radio Array (ARA), we search for neutrino candidates at the lowe…
▽ More
In the pursuit of the measurement of the still-elusive ultrahigh-energy (UHE) neutrino flux at energies of order EeV, detectors using the in-ice Askaryan radio technique have increasingly targeted lower trigger thresholds. This has led to improved trigger-level sensitivity to UHE neutrinos. Working with data collected by the Askaryan Radio Array (ARA), we search for neutrino candidates at the lowest threshold achieved to date, leading to improved analysis-level sensitivities. A neutrino search on a data set with 208.7~days of livetime from the reduced-threshold fifth ARA station is performed, achieving a 68\% analysis efficiency over all energies on a simulated mixed-composition neutrino flux with an expected background of $0.10_{-0.04}^{+0.06}$ events passing the analysis. We observe one event passing our analysis and proceed to set a neutrino flux limit using a Feldman-Cousins construction. We show that the improved trigger-level sensitivity can be carried through an analysis, motivating the Phased Array triggering technique for use in future radio-detection experiments. We also include a projection using all available data from this detector. Finally, we find that future analyses will benefit from studies of events near the surface to fully understand the background expected for a large-scale detector.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Approximate isomorphism of randomization pairs
Authors:
James Hanson,
Tomás Ibarlucía
Abstract:
We study approximate $\aleph_0$-categoricity of theories of beautiful pairs of randomizations, in the sense of continuous logic.
This leads us to disprove a conjecture of Ben Yaacov, Berenstein and Henson, by exhibiting $\aleph_0$-categorical, $\aleph_0$-stable metric theories $Q$ for which the corresponding theory $Q_P$ of beautiful pairs is not approximately $\aleph_0$-categorical, i.e., has s…
▽ More
We study approximate $\aleph_0$-categoricity of theories of beautiful pairs of randomizations, in the sense of continuous logic.
This leads us to disprove a conjecture of Ben Yaacov, Berenstein and Henson, by exhibiting $\aleph_0$-categorical, $\aleph_0$-stable metric theories $Q$ for which the corresponding theory $Q_P$ of beautiful pairs is not approximately $\aleph_0$-categorical, i.e., has separable models that are not isomorphic even up to small perturbations of the smaller model of the pair. The theory $Q$ of randomized infinite vector spaces over a finite field is such an example.
On the positive side, we show that the theory of beautiful pairs of randomized infinite sets is approximately $\aleph_0$-categorical. We also prove that a related stronger property, which holds in that case, is stable under various natural constructions, and formulate our guesswork for the general case.
△ Less
Submitted 7 December, 2022; v1 submitted 8 February, 2022;
originally announced February 2022.