-
The class and dynamics of $α$-balanced Polish groups
Authors:
Shaun Allison,
Aristotelis Panagiotopoulos
Abstract:
For each ordinal $α<ω_1$, we introduce the class of $α$-balanced Polish groups. These classes form a hierarchy that completely stratifies the space between the class of Polish groups admitting a two-side-invariant metric (TSI) and the class of Polish groups admitting a complete left-invariant metric (CLI). We establish various closure properties, provide connections to model theory, and we develop…
▽ More
For each ordinal $α<ω_1$, we introduce the class of $α$-balanced Polish groups. These classes form a hierarchy that completely stratifies the space between the class of Polish groups admitting a two-side-invariant metric (TSI) and the class of Polish groups admitting a complete left-invariant metric (CLI). We establish various closure properties, provide connections to model theory, and we develop a boundedness principle for CLI groups by showing that $α$-balancedness is an initial segment of a regular coanalytic rank.
In the spirit of Hjorth's turbulence theory we also introduce "generic $α$-unbalancedness": a new dynamical condition for Polish $G$-spaces which serves as an obstruction to classification by actions of $α$-balanced Polish groups. We use this to provide, for each $α<ω_1$, an action of an $α$-balanced Polish group whose orbit equivalence relation is strongly generically ergodic against actions of any $β$-balanced Polish group with $β<α$.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
The High Energy Light Isotope eXperiment program of direct cosmic-ray studies
Authors:
HELIX Collaboration,
S. Coutu,
P. S. Allison,
M. Baiocchi,
J. J. Beatty,
L. Beaufore,
D. H. Calderon,
A. G. Castano,
Y. Chen,
N. Green,
D. Hanna,
H. B. Jeon,
S. B. Klein,
B. Kunkler,
M. Lang,
R. Mbarek,
K. McBride,
S. I. Mognet,
J. Musser,
S. Nutter,
S. OBrien,
N. Park,
K. M. Powledge,
K. Sakai,
M. Tabata
, et al. (5 additional authors not shown)
Abstract:
HELIX is a new NASA-sponsored instrument aimed at measuring the spectra and composition of light cosmic-ray isotopes from hydrogen to neon nuclei, in particular the clock isotopes 10Be (radioactive, with 1.4 Myr lifetime) and 9Be (stable). The latter are unique markers of the production and Galactic propagation of secondary cosmic-ray nuclei, and are needed to resolve such important mysteries as t…
▽ More
HELIX is a new NASA-sponsored instrument aimed at measuring the spectra and composition of light cosmic-ray isotopes from hydrogen to neon nuclei, in particular the clock isotopes 10Be (radioactive, with 1.4 Myr lifetime) and 9Be (stable). The latter are unique markers of the production and Galactic propagation of secondary cosmic-ray nuclei, and are needed to resolve such important mysteries as the proportion of secondary positrons in the excess of antimatter observed by the AMS-02 experiment. By using a combination of a 1 T superconducting magnet spectrometer (with drift-chamber tracker) with a high-resolution time-of-flight detector system and ring-imaging Cherenkov detector, mass-resolved isotope measurements of light cosmic-ray nuclei will be possible up to 3 GeV/n in a first stratospheric balloon flight from Kiruna, Sweden to northern Canada, anticipated to take place in early summer 2024. An eventual longer Antarctic balloon flight of HELIX will yield measurements up to 10 GeV/n, sampling production from a larger volume of the Galaxy extending into the halo. We review the instrument design, testing, status and scientific prospects.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Countable Borel treeable equivalence relations are classifiable by $\ell_1$
Authors:
Shaun Allison
Abstract:
Gao and Jackson showed that any countable Borel equivalence relation (CBER) induced by a countable abelian Polish group is hyperfinite. This prompted Hjorth to ask if this is in fact true for all CBERs classifiable by (uncountable) abelian Polish groups.
We describe reductions involving free Banach spaces to show that every treeable CBER is classifiable by an abelian Polish group. As there exist…
▽ More
Gao and Jackson showed that any countable Borel equivalence relation (CBER) induced by a countable abelian Polish group is hyperfinite. This prompted Hjorth to ask if this is in fact true for all CBERs classifiable by (uncountable) abelian Polish groups.
We describe reductions involving free Banach spaces to show that every treeable CBER is classifiable by an abelian Polish group. As there exist treeable CBERs that are not hyperfinite, this answers Hjorth's question in the negative.
On the other hand, we show that any CBER classifiable by a countable product of locally compact abelian Polish groups (such as $\mathbb{R}^ω$) is indeed hyperfinite. We use a small fragment of the Hjorth analysis of Polish group actions, which is Hjorth's generalization of the Scott analysis of countable structures to Polish group actions.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
Classification Strength of Polish Groups I: Involving $S_\infty$
Authors:
Shaun Allison
Abstract:
In recent years, much work has been done to measure and compare the complexity of orbit equivalence relations, especially for certain classes of Polish groups. We start by introducing some language to organize this previous work, namely the notion of classification strength of Polish groups. Broadly speaking, a Polish group $G$ has stronger classification strength than $H$ if every orbit equivalen…
▽ More
In recent years, much work has been done to measure and compare the complexity of orbit equivalence relations, especially for certain classes of Polish groups. We start by introducing some language to organize this previous work, namely the notion of classification strength of Polish groups. Broadly speaking, a Polish group $G$ has stronger classification strength than $H$ if every orbit equivalence relation induced by a continuous action of $H$ on a Polish space can be "emulated" by such an action of $G$ in the sense of Borel reduction.
Among the non-Archimedean Polish groups, the groups with the highest classification strength are those that involve $S_\infty$, the Polish group of permutations of a countably-infinite set. We prove that several properties, including a weakening of the disjoint amalgamation in Fraïssé theory, a weakening of the existence of an absolute set of generating indiscernibles, and not having ordinal rank for a particular coanalytic rank function, are all equivalent to a non-Archimedean Polish group involving $S_\infty$. Furthermore, we show the equivalence relation $=^+$, which is a relatively simple benchmark equivalence relation in the theory of Borel reducibility, can only be classified by such groups that involve $S_\infty$.
△ Less
Submitted 31 March, 2023;
originally announced April 2023.
-
On a new class of tests for the Pareto distribution using Fourier methods
Authors:
L. Ndwandwe,
J. S. Allison,
M. Smuts,
I. J. H. Visagie
Abstract:
We propose new classes of tests for the Pareto type I distribution using the empirical characteristic function. These tests are $U$ and $V$ statistics based on a characterisation of the Pareto distribution involving the distribution of the sample minimum. In addition to deriving simple computational forms for the proposed test statistics, we prove consistency against a wide range of fixed alternat…
▽ More
We propose new classes of tests for the Pareto type I distribution using the empirical characteristic function. These tests are $U$ and $V$ statistics based on a characterisation of the Pareto distribution involving the distribution of the sample minimum. In addition to deriving simple computational forms for the proposed test statistics, we prove consistency against a wide range of fixed alternatives. A Monte Carlo study is included in which the newly proposed tests are shown to produce high powers. These powers include results relating to fixed alternatives as well as local powers against mixture distributions. The use of the proposed tests is illustrated using an observed data set.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
Testing for the Pareto type I distribution: A comparative study
Authors:
L. Ndwandwe,
J. S. Allison,
L. Santana,
I. J. H. Visagie
Abstract:
Pareto distributions are widely used models in economics, finance and actuarial sciences. As a result, a number of goodness-of-fit tests have been proposed for these distributions in the literature. We provide an overview of the existing tests for the Pareto distribution, focussing specifically on the Pareto type I distribution. To date, only a single overview paper on goodness-of-fit testing for…
▽ More
Pareto distributions are widely used models in economics, finance and actuarial sciences. As a result, a number of goodness-of-fit tests have been proposed for these distributions in the literature. We provide an overview of the existing tests for the Pareto distribution, focussing specifically on the Pareto type I distribution. To date, only a single overview paper on goodness-of-fit testing for Pareto distributions has been published. However, the mentioned paper has a much wider scope than is the case for the current paper as it covers multiple types of Pareto distributions. The current paper differs in a number of respects. First, the narrower focus on the Pareto type I distribution allows a larger number of tests to be included. Second, the current paper is concerned with composite hypotheses compared to the simple hypotheses (specifying the parameters of the Pareto distribution in question) considered in the mentioned overview. Third, the sample sizes considered in the two papers differ substantially.
In addition, we consider two different methods of fitting the Pareto Type I distribution; the method of maximum likelihood and a method closely related to moment matching. It is demonstrated that the method of estimation has a profound effect, not only on the powers achieved by the various tests, but also on the way in which numerical critical values are calculated. We show that, when using maximum likelihood, the resulting critical values are shape invariant and can be obtained using a Monte Carlo procedure. This is not the case when moment matching is employed.
The paper includes an extensive Monte Carlo power study. Based on the results obtained, we recommend the use of a test based on the phi divergence together with maximum likelihood estimation.
△ Less
Submitted 18 November, 2022;
originally announced November 2022.
-
A proposed simulation technique for population stability testing in credit risk scorecards
Authors:
J. du Pisanie,
J. S. Allison,
I. J. H. Visagie
Abstract:
Credit risk scorecards are logistic regression models, fitted to large and complex data sets, employed by the financial industry to model the probability of default of a potential customer. In order to ensure that a scorecard remains a representative model of the population one tests the hypothesis of population stability; specifying that the distribution of clients' attributes remains constant ov…
▽ More
Credit risk scorecards are logistic regression models, fitted to large and complex data sets, employed by the financial industry to model the probability of default of a potential customer. In order to ensure that a scorecard remains a representative model of the population one tests the hypothesis of population stability; specifying that the distribution of clients' attributes remains constant over time. Simulating realistic data sets for this purpose is nontrivial as these data sets are multivariate and contain intricate dependencies. The simulation of these data sets are of practical interest for both practitioners and for researchers; practitioners may wish to consider the effect that a specified change in the properties of the data has on the scorecard and its usefulness from a business perspective, while researchers may wish to test a newly developed technique in credit scoring.
We propose a simulation technique based on the specification of bad ratios, this is explained below. Practitioners can generally not be expected to provide realistic parameter values for a scorecard; these models are simply too complex and contain too many parameters to make such a specification viable. However, practitioners can often confidently specify the bad ratio associated with two different levels of a specific attribute. That is, practitioners are often comfortable with making statements such as "on average a new customer is 1.5 times as likely to default as an existing customer with similar attributes". We propose a method which can be used to obtain parameter values for a scorecard based on specified bad ratios. The proposed technique is demonstrated using a realistic example and we show that the simulated data sets adhere closely to the specified bad ratios. The paper provides a link to a github project in which the R code used in order to generate the results shown can be found.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
Deeply virtual Compton scattering cross section at high Bjorken $x_B$
Authors:
F. Georges,
M. N. H. Rashad,
A. Stefanko,
M. Dlamini,
B. Karki,
S. F. Ali,
P-J. Lin,
H-S Ko,
N. Israel,
D. Adikaram,
Z. Ahmed,
H. Albataineh,
B. Aljawrneh,
K. Allada,
S. Allison,
S. Alsalmi,
D. Androic,
K. Aniol,
J. Annand,
H. Atac,
T. Averett,
C. Ayerbe Gayoso,
X. Bai,
J. Bane,
S. Barcus
, et al. (137 additional authors not shown)
Abstract:
We report high-precision measurements of the Deeply Virtual Compton Scattering (DVCS) cross section at high values of the Bjorken variable $x_B$. DVCS is sensitive to the Generalized Parton Distributions of the nucleon, which provide a three-dimensional description of its internal constituents. Using the exact analytic expression of the DVCS cross section for all possible polarization states of th…
▽ More
We report high-precision measurements of the Deeply Virtual Compton Scattering (DVCS) cross section at high values of the Bjorken variable $x_B$. DVCS is sensitive to the Generalized Parton Distributions of the nucleon, which provide a three-dimensional description of its internal constituents. Using the exact analytic expression of the DVCS cross section for all possible polarization states of the initial and final electron and nucleon, and final state photon, we present the first experimental extraction of all four helicity-conserving Compton Form Factors (CFFs) of the nucleon as a function of $x_B$, while systematically including helicity flip amplitudes. In particular, the high accuracy of the present data demonstrates sensitivity to some very poorly known CFFs.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Logistic or not logistic?
Authors:
James S. Allison,
Bruno Ebner,
Marius Smuts
Abstract:
We propose a new class of goodness-of-fit tests for the logistic distribution based on a characterisation related to the density approach in the context of Stein's method. This characterisation based test is a first of its kind for the logistic distribution. The asymptotic null distribution of the test statistic is derived and it is shown that the test is consistent against fixed alternatives. The…
▽ More
We propose a new class of goodness-of-fit tests for the logistic distribution based on a characterisation related to the density approach in the context of Stein's method. This characterisation based test is a first of its kind for the logistic distribution. The asymptotic null distribution of the test statistic is derived and it is shown that the test is consistent against fixed alternatives. The finite sample power performance of the newly proposed class of tests is compared to various existing tests by means of a Monte Carlo study. It is found that this new class of tests are especially powerful when the alternative distributions are heavy tailed, like Student's t and Cauchy, or for skew alternatives such as the log-normal, gamma and chi-square distributions.
△ Less
Submitted 16 August, 2021;
originally announced August 2021.
-
Actions of tame abelian product groups
Authors:
Shaun Allison,
Assaf Shani
Abstract:
A Polish group $G$ is tame if for any continuous action of $G$, the corresponding orbit equivalence relation is Borel. When $G = \prod_n Γ_n$ for countable abelian $Γ_n$, Solecki (1995) gave a characterization for when $G$ is tame. Ding and Gao (2017) showed that for such $G$, the orbit equivalence relation must in fact be potentially $\mathbfΠ^0_6$, while conjecturing that the optimal bound could…
▽ More
A Polish group $G$ is tame if for any continuous action of $G$, the corresponding orbit equivalence relation is Borel. When $G = \prod_n Γ_n$ for countable abelian $Γ_n$, Solecki (1995) gave a characterization for when $G$ is tame. Ding and Gao (2017) showed that for such $G$, the orbit equivalence relation must in fact be potentially $\mathbfΠ^0_6$, while conjecturing that the optimal bound could be $\mathbfΠ^0_3$. We show that the optimal bound is $D(\mathbfΠ^0_5)$ by constructing an action of such a group $G$ which is not potentially $\mathbfΠ^0_5$, and show how to modify the analysis of Ding and Gao to get this slightly better upper bound. It follows, using the results of Hjorth, Kechris, and Louvaeu (1998), that this is the optimal bound for the potential complexity of actions of tame abelian product groups. Our lower-bound analysis involves forcing over models of set theory where choice fails for sequences of finite sets.
△ Less
Submitted 11 May, 2021;
originally announced May 2021.
-
Form Factors and Two-Photon Exchange in High-Energy Elastic Electron-Proton Scattering
Authors:
M. E. Christy,
T. Gautam,
L. Ou,
B. Schmookler,
Y. Wang,
D. Adikaram,
Z. Ahmed,
H. Albataineh,
S. F. Ali,
B. Aljawrneh,
K. Allada,
S. L. Allison,
S. Alsalmi,
D. Androic,
K. Aniol,
J. Annand,
J. Arrington,
H. Atac,
T. Averett,
C. Ayerbe Gayoso,
X. Bai,
J. Bane,
S. Barcus,
K. Bartlett,
V. Bellini
, et al. (145 additional authors not shown)
Abstract:
We present new precision measurements of the elastic electron-proton scattering cross section for momentum transfer (Q$^2$) up to 15.75~\gevsq. Combined with existing data, these provide an improved extraction of the proton magnetic form factor at high Q$^2$ and double the range over which a longitudinal/transverse separation of the cross section can be performed. The difference between our result…
▽ More
We present new precision measurements of the elastic electron-proton scattering cross section for momentum transfer (Q$^2$) up to 15.75~\gevsq. Combined with existing data, these provide an improved extraction of the proton magnetic form factor at high Q$^2$ and double the range over which a longitudinal/transverse separation of the cross section can be performed. The difference between our results and polarization data agrees with that observed at lower Q$^2$ and attributed to hard two-photon exchange (TPE) effects, extending to 8~(GeV/c)$^2$ the range of Q$^2$ for which a discrepancy is established at $>$95\% confidence. We use the discrepancy to quantify the size of TPE contributions needed to explain the cross section at high Q$^2$.
△ Less
Submitted 21 March, 2022; v1 submitted 2 March, 2021;
originally announced March 2021.
-
Calibration of the Surface Array of the Pierre Auger Observatory
Authors:
X. Bertou,
P. S. Allison,
C. Bonifazi,
P. Bauleo,
C. M. Grunfeld,
M. Aglietta,
F. Arneodo,
D. Barnhill,
J. J. Beatty,
N. G. Busca,
A. Creusot,
D. Dornic,
A. Etchegoyen. A. Filevitch,
P. L. Ghia,
I. Lhenry-Yvon,
M. C. Medina,
E. Moreno,
D. Nitz,
T. Ohnuki,
S. Ranchon,
H. Salazar,
T. Suomijärvi,
D. Supanitsky,
A. Tripathi,
M. Urban
, et al. (1 additional authors not shown)
Abstract:
The Pierre Auger Observatory is designed to study cosmic rays of the highest energies ($>10^{19}$ eV). The ground array of the Observatory will consist of 1600 water Cherenkov detectors deployed over 3000 km^2. The remoteness and large number of detectors require a robust, automatic self-calibration procedure. It relies on the measurement of the average charge collected by a photomultiplier tube f…
▽ More
The Pierre Auger Observatory is designed to study cosmic rays of the highest energies ($>10^{19}$ eV). The ground array of the Observatory will consist of 1600 water Cherenkov detectors deployed over 3000 km^2. The remoteness and large number of detectors require a robust, automatic self-calibration procedure. It relies on the measurement of the average charge collected by a photomultiplier tube from the Cherenkov light produced by a vertical and central through-going muon determined to 5 - 10% at the detector via a novel rate-based technique and to 3% precision through analysis of histograms of the charge distribution. The parameters needed for the calibration are measured every minute, allowing for an accurate determination of the signals recorded from extensive air showers produced by primary cosmic rays. The method also enables stable and uniform triggering conditions to be achieved.
△ Less
Submitted 13 March, 2021; v1 submitted 2 February, 2021;
originally announced February 2021.
-
Deep exclusive electroproduction of $π^0$ at high $Q^2$ in the quark valence regime
Authors:
The Jefferson Lab Hall A Collaboration,
M. Dlamini,
B. Karki,
S. F. Ali,
P-J. Lin,
F. Georges,
H-S Ko,
N. Israel,
M. N. H. Rashad,
A. Stefanko,
D. Adikaram,
Z. Ahmed,
H. Albataineh,
B. Aljawrneh,
K. Allada,
S. Allison,
S. Alsalmi,
D. Androic,
K. Aniol,
J. Annand,
H. Atac,
T. Averett,
C. Ayerbe Gayoso,
X. Bai,
J. Bane
, et al. (137 additional authors not shown)
Abstract:
We report measurements of the exclusive neutral pion electroproduction cross section off protons at large values of $x_B$ (0.36, 0.48 and 0.60) and $Q^2$ (3.1 to 8.4 GeV$^2$) obtained from Jefferson Lab Hall A experiment E12-06-014. The corresponding structure functions $dσ_L/dt+εdσ_T/dt$, $dσ_{TT}/dt$, $dσ_{LT}/dt$ and $dσ_{LT'}/dt$ are extracted as a function of the proton momentum transfer…
▽ More
We report measurements of the exclusive neutral pion electroproduction cross section off protons at large values of $x_B$ (0.36, 0.48 and 0.60) and $Q^2$ (3.1 to 8.4 GeV$^2$) obtained from Jefferson Lab Hall A experiment E12-06-014. The corresponding structure functions $dσ_L/dt+εdσ_T/dt$, $dσ_{TT}/dt$, $dσ_{LT}/dt$ and $dσ_{LT'}/dt$ are extracted as a function of the proton momentum transfer $t-t_{min}$. The results suggest the amplitude for transversely polarized virtual photons continues to dominate the cross-section throughout this kinematic range. The data are well described by calculations based on transversity Generalized Parton Distributions coupled to a helicity flip Distribution Amplitude of the pion, thus providing a unique way to probe the structure of the nucleon.
△ Less
Submitted 25 October, 2021; v1 submitted 22 November, 2020;
originally announced November 2020.
-
Kaplan-Meier based tests for exponentiality in the presence of censoring
Authors:
E. Bothma,
J. S. Allison,
M. Cockeran,
I. J. H. Visagie
Abstract:
In this paper we test the composite hypothesis that lifetimes follow an exponential distribution based on observed randomly right censored data. Testing this hypothesis is complicated by the presence of this censoring, due to the fact that not all lifetimes are observed. To account for this complication, we propose modifications to tests based on the empirical characteristic function and Laplace t…
▽ More
In this paper we test the composite hypothesis that lifetimes follow an exponential distribution based on observed randomly right censored data. Testing this hypothesis is complicated by the presence of this censoring, due to the fact that not all lifetimes are observed. To account for this complication, we propose modifications to tests based on the empirical characteristic function and Laplace transform. In the full sample case these empirical functions can be expressed as integrals with respect to the empirical distribution function of the lifetimes. We propose replacing this estimate of the distribution function by the Kaplan-Meier estimate. The resulting test statistics can be expressed in easily calculable forms in terms of summations of functionals of the observed data. Additionally, a general framework for goodness-of-fit testing, in the presence of random right censoring, is outlined. A Monte Carlo study is performed, the results of which indicate that the newly modified tests generally outperform the existing tests. A practical application, concerning initial remission times of leukemia patients, is discussed along with some concluding remarks and avenues for future research.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Exploiting the Nonlinear Stiffness of TMP Origami Folding to Enhance Robotic Jum** Performance
Authors:
Sahand Sadeghi,
Samuel Allison,
Blake Betsill,
Suyi Li
Abstract:
Via numerical simulation and experimental assessment, this study examines the use of origami folding to develop robotic jum** mechanisms with tailored nonlinear stiffness to improve dynamic performance. Specifically, we use Tachi-Miura Polyhedron (TMP) bellow origami -- which exhibits a nonlinear "strain-softening" force-displacement curve -- as a jum** robotic skeleton with embedded energy st…
▽ More
Via numerical simulation and experimental assessment, this study examines the use of origami folding to develop robotic jum** mechanisms with tailored nonlinear stiffness to improve dynamic performance. Specifically, we use Tachi-Miura Polyhedron (TMP) bellow origami -- which exhibits a nonlinear "strain-softening" force-displacement curve -- as a jum** robotic skeleton with embedded energy storage. TMP's nonlinear stiffness allows it to store more energy than a linear spring and offers improved jum** height and airtime. Moreover, the nonlinearity can be tailored by directly changing the underlying TMP crease geometry. A critical challenge is to minimize the TMP's hysteresis and energy loss during its compression stage right before jum**. So we used the plastically annealed lamina emergent origami (PALEO) concept to modify the TMP creases. PALEO increases the folding limit before plastic deformation occurs, thus improving the overall strain energy retention. Jum** experiments confirmed that a nonlinear TMP mechanism achieved roughly 9% improvement in air time and a 13% improvement in jum** height compared to a "control" TMP sample with a relatively linear stiffness. This study's results validate the advantages of using origami in robotic jum** mechanisms and demonstrate the benefits of utilizing nonlinear spring elements for improving jum** performance. Therefore, they could foster a new family of energetically efficient jum** mechanisms with optimized performance in the future.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
Non-Archimedean TSI Polish groups and their potential Borel complexity spectrum
Authors:
Shaun Allison
Abstract:
A variation of the Scott analysis of countable structures is applied to actions of non-Archimedean TSI Polish groups acting continuously on a Polish spaces. We give results on the potential Borel complexity spectrum of such groups, and define orbit equivalence relations that are universal for each Borel complexity class. We also identify an obstruction to classifiability by actions of such groups,…
▽ More
A variation of the Scott analysis of countable structures is applied to actions of non-Archimedean TSI Polish groups acting continuously on a Polish spaces. We give results on the potential Borel complexity spectrum of such groups, and define orbit equivalence relations that are universal for each Borel complexity class. We also identify an obstruction to classifiability by actions of such groups, namely generic ergodicity with respect to $E_\infty$, which we apply to Clemens-Coskey jumps of countable Borel equivalence relations. Finally, we characterize the equivalence relations that are both Borel-reducible to $=^+$ and classifiable by non-Archimedean TSI Polish groups, extending a result of Ding and Gao. In the process, several tools are developed in the Borel reducibility theory of orbit equivalence relations which are likely to be of independent interest.
△ Less
Submitted 3 April, 2023; v1 submitted 10 October, 2020;
originally announced October 2020.
-
Dynamical obstructions to classification by (co)homology and other TSI-group invariants
Authors:
Shaun Allison,
Aristotelis Panagiotopoulos
Abstract:
In the spirit of Hjorth's turbulence theory, we introduce "unbalancedness": a new dynamical obstruction to classifying orbit equivalence relations by actions of Polish groups which admit a two side invariant metric (TSI). Since abelian groups are TSI, unbalancedness can be used for identifying which classification problems cannot be solved by classical homology and cohomology theories.
In terms…
▽ More
In the spirit of Hjorth's turbulence theory, we introduce "unbalancedness": a new dynamical obstruction to classifying orbit equivalence relations by actions of Polish groups which admit a two side invariant metric (TSI). Since abelian groups are TSI, unbalancedness can be used for identifying which classification problems cannot be solved by classical homology and cohomology theories.
In terms of applications, we show that Morita equivalence of continuous-trace $C^*$-algebras, as well as isomorphism of Hermitian line bundles, are not classifiable by actions of TSI groups. In the process, we show that the Wreath product of any two non-compact subgroups of $S_{\infty}$ admits an action whose orbit equivalence relation is generically ergodic against any action of a TSI group and we deduce that there is an orbit equivalence relation of a CLI group which is not classifiable by actions of TSI groups.
△ Less
Submitted 7 May, 2021; v1 submitted 15 April, 2020;
originally announced April 2020.
-
New weighted $L^2$-type tests for the inverse Gaussian distribution
Authors:
J. S. Allison,
S. Betsch,
B. Ebner,
I. J. H. Visagie
Abstract:
We propose a new class of goodness-of-fit tests for the inverse Gaussian distribution. The proposed tests are weighted $L^2$-type tests depending on a tuning parameter. We develop the asymptotic theory under the null hypothesis and under a broad class of alternative distributions. These results are used to show that the parametric bootstrap procedure, which we employ to implement the test, is asym…
▽ More
We propose a new class of goodness-of-fit tests for the inverse Gaussian distribution. The proposed tests are weighted $L^2$-type tests depending on a tuning parameter. We develop the asymptotic theory under the null hypothesis and under a broad class of alternative distributions. These results are used to show that the parametric bootstrap procedure, which we employ to implement the test, is asymptotically valid and that the whole test procedure is consistent. A comparative simulation study for finite sample sizes shows that the new procedure is competitive to classical and recent tests, outperforming these other methods almost uniformly over a large set of alternative distributions. The use of the newly proposed test is illustrated with two observed data sets.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Wind Estimation Using Quadcopter Motion: A Machine Learning Approach
Authors:
Sam Allison,
He Bai,
Balaji Jayaraman
Abstract:
In this article, we study the well known problem of wind estimation in atmospheric turbulence using small unmanned aerial systems (sUAS). We present a machine learning approach to wind velocity estimation based on quadcopter state measurements without a wind sensor. We accomplish this by training a long short-term memory (LSTM) neural network (NN) on roll and pitch angles and quadcopter position i…
▽ More
In this article, we study the well known problem of wind estimation in atmospheric turbulence using small unmanned aerial systems (sUAS). We present a machine learning approach to wind velocity estimation based on quadcopter state measurements without a wind sensor. We accomplish this by training a long short-term memory (LSTM) neural network (NN) on roll and pitch angles and quadcopter position inputs with forcing wind velocities as the targets. The datasets are generated using a simulated quadcopter in turbulent wind fields. The trained neural network is deployed to estimate the turbulent winds as generated by the Dryden gust model as well as a realistic large eddy simulation (LES) of a near-neutral atmospheric boundary layer (ABL) over flat terrain. The resulting NN predictions are compared to a wind triangle approach that uses tilt angle as an approximation of airspeed. Results from this study indicate that the LSTM-NN based approach predicts lower errors in both the mean and variance of the local wind field as compared to the wind triangle approach. The work reported in this article demonstrates the potential of machine learning for sensor-less wind estimation and has strong implications to large-scale low-altitude atmospheric sensing using sUAS for environmental and autonomous navigation applications.
△ Less
Submitted 11 July, 2019;
originally announced July 2019.
-
The Effects of Visual and Control Latency on Piloting a Quadcopter using a Head-Mounted Display
Authors:
**gbo Zhao,
Robert S. Allison,
Margarita Vinnikov,
Sion Jennings
Abstract:
Recent research has proposed teleoperation of robotic and aerial vehicles using head motion tracked by a head-mounted display (HMD). First-person views of the vehicles are usually captured by onboard cameras and presented to users through the display panels of HMDs. This provides users with a direct, immersive and intuitive interface for viewing and control. However, a typically overlooked factor…
▽ More
Recent research has proposed teleoperation of robotic and aerial vehicles using head motion tracked by a head-mounted display (HMD). First-person views of the vehicles are usually captured by onboard cameras and presented to users through the display panels of HMDs. This provides users with a direct, immersive and intuitive interface for viewing and control. However, a typically overlooked factor in such designs is the latency introduced by the vehicle dynamics. As head motion is coupled with visual updates in such applications, visual and control latency always exists between the issue of control commands by head movements and the visual feedback received at the completion of the attitude adjustment. This causes a discrepancy between the intended motion, the vestibular cue and the visual cue and may potentially result in simulator sickness. No research has been conducted on how various levels of visual and control latency introduced by dynamics in robots or aerial vehicles affect users' performance and the degree of simulator sickness elicited. Thus, it is uncertain how much performance is degraded by latency and whether such designs are comfortable from the perspective of users. To address these issues, we studied a prototyped scenario of a head motion controlled quadcopter using an HMD. We present a virtual reality (VR) paradigm to systematically assess the effects of visual and control latency in simulated drone control scenarios.
△ Less
Submitted 30 January, 2020; v1 submitted 29 July, 2018;
originally announced July 2018.
-
On the Trajectory Dependence of Atmospheric Boundary Layer Turbulence Sensing using Small Unmanned Vehicles
Authors:
Balaji Jayaraman,
Sam Allison,
He Bai
Abstract:
Atmospheric turbulence, especially in the near-surface boundary layer is known to be under-sampled due to the need to capture a wide separation in length and time-scales and limitation in the number of sensors. Over the past decade, the use if Unmanned Aircraft Systems (UAS) technology is approaching ubiquitous proportions for a wide variety of applications, especially with the recent FAA relaxati…
▽ More
Atmospheric turbulence, especially in the near-surface boundary layer is known to be under-sampled due to the need to capture a wide separation in length and time-scales and limitation in the number of sensors. Over the past decade, the use if Unmanned Aircraft Systems (UAS) technology is approaching ubiquitous proportions for a wide variety of applications, especially with the recent FAA relaxation of flying restrictions. From a geophysical sciences perspective, such technology would allow for sensing of large-scale atmospheric flows, particularly, atmospheric boundary layer (ABL) turbulence, air quality monitoring in urban settings where multitude of small, minimally-invasive and mobile sensors can drastically alter our ability to study such complex phenomena. Currently available observational data of atmospheric boundary layer physics is so sparse and infrequent which significantly limits analysis. With the quantity and resolution of the data that can be measured using a swarm of UAS, three-dimensional reconstruction and deduction of coherent structures in ABL turbulence may be feasible. However, key challenges remain in the form of identifying optimal trajectories to fly the UAS to obtain the relevant quantifications of the turbulence, interpretation of the sensor data from mobile sensors and understanding how representative are the sparse measurements of the overall turbulent boundary layer. This leads to many fundamentally interesting questions if which a few are explored in this article.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
Real-Time Head Gesture Recognition on Head-Mounted Displays using Cascaded Hidden Markov Models
Authors:
**gbo Zhao,
Robert S. Allison
Abstract:
Head gesture is a natural means of face-to-face communication between people but the recognition of head gestures in the context of virtual reality and use of head gesture as an interface for interacting with virtual avatars and virtual environments have been rarely investigated. In the current study, we present an approach for real-time head gesture recognition on head-mounted displays using Casc…
▽ More
Head gesture is a natural means of face-to-face communication between people but the recognition of head gestures in the context of virtual reality and use of head gesture as an interface for interacting with virtual avatars and virtual environments have been rarely investigated. In the current study, we present an approach for real-time head gesture recognition on head-mounted displays using Cascaded Hidden Markov Models. We conducted two experiments to evaluate our proposed approach. In experiment 1, we trained the Cascaded Hidden Markov Models and assessed the offline classification performance using collected head motion data. In experiment 2, we characterized the real-time performance of the approach by estimating the latency to recognize a head gesture with recorded real-time classification data. Our results show that the proposed approach is effective in recognizing head gestures. The method can be integrated into a virtual reality system as a head gesture interface for interacting with virtual worlds.
△ Less
Submitted 2 February, 2018; v1 submitted 20 July, 2017;
originally announced July 2017.
-
Cosmic-Ray Proton and Helium Spectra from the First CREAM Flight
Authors:
Y. S. Yoon,
H. S. Ahn,
P. S. Allison,
M. G. Bagliesi,
J. J. Beatty,
G. Bigongiari,
P. J. Boyle,
J. T. Childers,
N. B. Conklin,
S. Coutu,
M. A. DuVernois,
O. Ganel,
J. H. Han,
J. A. Jeon,
K. C. Kim,
M. H. Lee,
L. Lutz,
P. Maestro,
A. Malinine,
P. S. Marrocchesi,
S. A. Minnick,
S. I. Mognet,
S. Nam,
S. Nutter,
I. H. Park
, et al. (9 additional authors not shown)
Abstract:
Cosmic-ray proton and helium spectra have been measured with the balloon-borne Cosmic Ray Energetics And Mass experiment flown for 42 days in Antarctica in the 2004-2005 austral summer season. High-energy cosmic-ray data were collected at an average altitude of ~38.5 km with an average atmospheric overburden of ~3.9 g cm$^{-2}$. Individual elements are clearly separated with a charge resolution of…
▽ More
Cosmic-ray proton and helium spectra have been measured with the balloon-borne Cosmic Ray Energetics And Mass experiment flown for 42 days in Antarctica in the 2004-2005 austral summer season. High-energy cosmic-ray data were collected at an average altitude of ~38.5 km with an average atmospheric overburden of ~3.9 g cm$^{-2}$. Individual elements are clearly separated with a charge resolution of ~0.15 e (in charge units) and ~0.2 e for protons and helium nuclei, respectively. The measured spectra at the top of the atmosphere are represented by power laws with a spectral index of -2.66 $\pm$ 0.02 for protons from 2.5 TeV to 250 TeV and -2.58 $\pm$ 0.02 for helium nuclei from 630 GeV/nucleon to 63 TeV/nucleon. They are harder than previous measurements at a few tens of GeV/nucleon. The helium flux is higher than that expected from the extrapolation of the power law fitted to the lower-energy data. The relative abundance of protons to helium nuclei is 9.1 $\pm$ 0.5 for the range from 2.5 TeV/nucleon to 63 TeV/nucleon. This ratio is considerably smaller than the previous measurements at a few tens of GeV/nucleon.
△ Less
Submitted 13 February, 2011;
originally announced February 2011.
-
Energy cross-calibration from the first CREAM flight: transition radiation detector versus calorimeter
Authors:
P. Maestro,
H. S. Ahn,
P. S. Allison,
M. G. Bagliesi,
J. J. Beatty,
G. Bigongiari,
P. J. Boyle,
T. J. Brandt,
J. T. Childers,
N. B. Conklin,
S. Coutu,
M. A. Duvernois,
O. Ganel,
J. H. Han,
H. J. Hyun,
J. A. Jeon,
K. C. Kim,
J. K. Lee,
M. H. Lee,
L. Lutz,
P. S. Marrocchesi,
A. Malinine,
S. Minnick,
S. I. Mognet,
S. Nam
, et al. (13 additional authors not shown)
Abstract:
The Cosmic Ray Energetics And Mass (CREAM) balloon experiment had two successful flights in 2004/05 and 2005/06. It was designed to perform energy measurements from a few GeV up to 1000 TeV, taking advantage of different detection techniques. The first instrument, CREAM-1, combined a transition radiation detector with a calorimeter to provide independent energy measurements of cosmicraynuclei. Eac…
▽ More
The Cosmic Ray Energetics And Mass (CREAM) balloon experiment had two successful flights in 2004/05 and 2005/06. It was designed to perform energy measurements from a few GeV up to 1000 TeV, taking advantage of different detection techniques. The first instrument, CREAM-1, combined a transition radiation detector with a calorimeter to provide independent energy measurements of cosmicraynuclei. Each detector was calibrated with particle beams in a limited range of energies. In order to assess the absolute energy scale of the instrument and to investigate the systematic effects of each technique, a cross-calibration was performed by comparing the two independent energy estimates on selected samples of oxygen and carbon nuclei.
△ Less
Submitted 30 March, 2010;
originally announced March 2010.
-
Measurements of cosmic-ray secondary nuclei at high energies with the first flight of the CREAM balloon-borne experiment
Authors:
H. S. Ahn,
P. S. Allison,
M. G. Bagliesi,
J. J. Beatty,
G. Bigongiari,
P. J. Boyle,
T. J. Brandt,
J. T. Childers,
N. B. Conklin,
S. Coutu,
M. A. Duvernois,
O. Ganel,
J. H. Han,
H. J. Hyun,
J. A. Jeon,
K. C. Kim,
J. K. Lee,
M. H. Lee,
L. Lutz,
P. Maestro,
A. Malinin,
P. S. Marrocchesi,
S. A. Minnick,
S. I. Mognet,
S. Nam
, et al. (12 additional authors not shown)
Abstract:
We present new measurements of heavy cosmic-ray nuclei at high energies per- formed during the first flight of the balloon-borne cosmic-ray experiment CREAM (Cosmic-Ray Energetics And Mass). This instrument uses multiple charge detectors and a transition radiation detector to provide the first high accuracy measurements of the relative abundances of elements from boron to oxygen up to energies a…
▽ More
We present new measurements of heavy cosmic-ray nuclei at high energies per- formed during the first flight of the balloon-borne cosmic-ray experiment CREAM (Cosmic-Ray Energetics And Mass). This instrument uses multiple charge detectors and a transition radiation detector to provide the first high accuracy measurements of the relative abundances of elements from boron to oxygen up to energies around 1 TeV/n. The data agree with previous measurements at lower energies and show a relatively steep decline (~E$^-0.6$ to E$^-0.5$) at high energies. They further show the source abundance of nitrogen relative to oxygen is ~10% in the TeV/n region.
△ Less
Submitted 12 August, 2008;
originally announced August 2008.
-
Clustering and Micro-immiscibility in Alcohol-Water Mixtures: Evidence from Molecular Dynamics Simulations
Authors:
Susan K. Allison,
Joseph P. Fox,
Rowan Hargreaves,
Simon P. Bates
Abstract:
We have investigated the hydrogen-bonded structures in liquid methanol and a 7:3 mole fraction aqueous solution using classical Molecular Dynamics simulations at 298K and ambient pressure. We find that, in contrast to recent predictions from X-ray emission studies, the hydrogen-bonded structure in liquid methanol is dominated by chain and small ring structures. In the methanol-rich solution, we…
▽ More
We have investigated the hydrogen-bonded structures in liquid methanol and a 7:3 mole fraction aqueous solution using classical Molecular Dynamics simulations at 298K and ambient pressure. We find that, in contrast to recent predictions from X-ray emission studies, the hydrogen-bonded structure in liquid methanol is dominated by chain and small ring structures. In the methanol-rich solution, we find evidence of micro-immiscibility, supporting recent conclusions derived from neutron diffraction data.
△ Less
Submitted 16 April, 2004;
originally announced April 2004.
-
Experience with the Pep-II RF System at High Beam Currents
Authors:
P. Corredoura,
S. Allison,
W. Ross,
R. Sass,
R. Tighe
Abstract:
The PEP-II B Factory Low-Level RF System (LLRF) is a fully programmable VXI based design running under an EPICS control environment. Several RF feedback loops are used to control longitudinal coupled-bunch modes driven by the accelerating mode of the RF cavities. This paper updates the performance of the LLRF system as beam currents reach design levels. Modifications which enhance the stability,…
▽ More
The PEP-II B Factory Low-Level RF System (LLRF) is a fully programmable VXI based design running under an EPICS control environment. Several RF feedback loops are used to control longitudinal coupled-bunch modes driven by the accelerating mode of the RF cavities. This paper updates the performance of the LLRF system as beam currents reach design levels. Modifications which enhance the stability, diagnostics, and overall operational performance are described. Recent data from high current operation is included.
△ Less
Submitted 10 July, 2000;
originally announced July 2000.
