-
Threshold bounce -- occupancy-dependent modulation of the discriminating threshold in silicon detectors
Authors:
M. J. Basso,
E. Buchanan,
B. J. Gallop,
J. J. John,
J. Kaplon,
P. T. Keener,
P. W. Phillips,
L. Poley,
C. A. Sawyer,
D. Sperlich,
M. Warren
Abstract:
The front-end electronics of silicon detectors are typically designed to ensure optimal noise performance for the expected input charge. A combination of preamplifiers and shaper circuits result in a nontrivial response of the front-end to injected charge, and the magnitude of the response may be sizeable in readout windows subsequent to that in which the charge was initially injected. The modulat…
▽ More
The front-end electronics of silicon detectors are typically designed to ensure optimal noise performance for the expected input charge. A combination of preamplifiers and shaper circuits result in a nontrivial response of the front-end to injected charge, and the magnitude of the response may be sizeable in readout windows subsequent to that in which the charge was initially injected. The modulation of the discriminator threshold due to the superposition of the front-end response across multiple readout windows is coined "threshold bounce".
In this paper, we report a measurement of threshold bounce using silicon modules built for the Phase-II Upgrade of the ATLAS detector at the Large Hadron Collider. These modules utilize ATLAS Binary Chips for their hit readout. The measurement was performed using a micro-focused 15 keV photon beam at the Diamond Light Source synchrotron. The effect of the choice of photon flux and discriminator threshold on the magnitude of the threshold bounce is studied. A Monte Carlo simulation which accounts for the front-end behaviour of the silicon modules is developed, and its predicted hit efficiency is found to be in good agreement with the measured hit efficiency.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
A Geometric flow towards hamiltonian stationary submanifolds
Authors:
**gyi Chen,
Micah Warren
Abstract:
In this paper, we introduce a geometric flow for Lagrangian submanifolds in a Kähler manifold that stays in its initial Hamiltonian isotopy class and is a gradient flow for volume. The stationary solutions are the Hamiltonian stationary Lagrangian submanifolds. The flow is not strictly parabolic but it corresponds to a fourth order strictly parabolic scalar equation in the cotangent bundle of the…
▽ More
In this paper, we introduce a geometric flow for Lagrangian submanifolds in a Kähler manifold that stays in its initial Hamiltonian isotopy class and is a gradient flow for volume. The stationary solutions are the Hamiltonian stationary Lagrangian submanifolds. The flow is not strictly parabolic but it corresponds to a fourth order strictly parabolic scalar equation in the cotangent bundle of the submanifold via Weinstein's Lagrangian neighborhood theorem. For any compact initial Lagrangian immersion, we establish short-time existence, uniqueness, and higher order estimates when the second fundamental forms are uniformly bounded up to time $T$.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Fast & Fair: Efficient Second-Order Robust Optimization for Fairness in Machine Learning
Authors:
Allen Minch,
Hung Anh Vu,
Anne Marie Warren
Abstract:
This project explores adversarial training techniques to develop fairer Deep Neural Networks (DNNs) to mitigate the inherent bias they are known to exhibit. DNNs are susceptible to inheriting bias with respect to sensitive attributes such as race and gender, which can lead to life-altering outcomes (e.g., demographic bias in facial recognition software used to arrest a suspect). We propose a robus…
▽ More
This project explores adversarial training techniques to develop fairer Deep Neural Networks (DNNs) to mitigate the inherent bias they are known to exhibit. DNNs are susceptible to inheriting bias with respect to sensitive attributes such as race and gender, which can lead to life-altering outcomes (e.g., demographic bias in facial recognition software used to arrest a suspect). We propose a robust optimization problem, which we demonstrate can improve fairness in several datasets, both synthetic and real-world, using an affine linear model. Leveraging second order information, we are able to find a solution to our optimization problem more efficiently than a purely first order method.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
Technical Design Report for the LUXE Experiment
Authors:
H. Abramowicz,
M. Almanza Soto,
M. Altarelli,
R. Aßmann,
A. Athanassiadis,
G. Avoni,
T. Behnke,
M. Benettoni,
Y. Benhammou,
J. Bhatt,
T. Blackburn,
C. Blanch,
S. Bonaldo,
S. Boogert,
O. Borysov,
M. Borysova,
V. Boudry,
D. Breton,
R. Brinkmann,
M. Bruschi,
F. Burkart,
K. Büßer,
N. Cavanagh,
F. Dal Corso,
W. Decking
, et al. (109 additional authors not shown)
Abstract:
This Technical Design Report presents a detailed description of all aspects of the LUXE (Laser Und XFEL Experiment), an experiment that will combine the high-quality and high-energy electron beam of the European XFEL with a high-intensity laser, to explore the uncharted terrain of strong-field quantum electrodynamics characterised by both high energy and high intensity, reaching the Schwinger fiel…
▽ More
This Technical Design Report presents a detailed description of all aspects of the LUXE (Laser Und XFEL Experiment), an experiment that will combine the high-quality and high-energy electron beam of the European XFEL with a high-intensity laser, to explore the uncharted terrain of strong-field quantum electrodynamics characterised by both high energy and high intensity, reaching the Schwinger field and beyond. The further implications for the search of physics beyond the Standard Model are also discussed.
△ Less
Submitted 2 August, 2023; v1 submitted 1 August, 2023;
originally announced August 2023.
-
Challenges with the Application of Cyber Security for Airworthiness (CSA) in Real-World Contexts
Authors:
Beckett LeClair,
James McLeod,
Lee Ramsay,
Mick Warren
Abstract:
The ever increasing push towards reliance upon computerised technology in commercial, general, and military aerospace brings with it an increasing amount of potential cyber hazards and attacks. Consequently, the variety of attack vectors is greater than ever. Recognized Good Practice standards such as DO 326A and ED 202A attempt to address this by providing guidelines for cyber security on in-serv…
▽ More
The ever increasing push towards reliance upon computerised technology in commercial, general, and military aerospace brings with it an increasing amount of potential cyber hazards and attacks. Consequently, the variety of attack vectors is greater than ever. Recognized Good Practice standards such as DO 326A and ED 202A attempt to address this by providing guidelines for cyber security on in-service aircraft, though implementation work for such initiatives is still in early stages. From previous work on in service aircraft, the authors have determined that one of the key challenges is that of the retrospective application of new regulations to existing designs. This can present significant requirements for time, money, and Suitably Qualified and Experienced Personnel resource, things which are often in already limited supply in military environments. The authors have previously explored efficient ways of approaching compliance, with promising results. There is still the need to consider this retroactivity challenge in tandem with other key factors affecting the application of CSA, in order to determine any more potential mitigating actions that could lower the barrier to effective and efficient implementation of secure approaches in the air domain. This work explores the interrelated challenges surrounding real-world applications of CSA and the beginnings of how these may be overcome.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
DataPerf: Benchmarks for Data-Centric AI Development
Authors:
Mark Mazumder,
Colby Banbury,
Xiaozhe Yao,
Bojan Karlaš,
William Gaviria Rojas,
Sudnya Diamos,
Greg Diamos,
Lynn He,
Alicia Parrish,
Hannah Rose Kirk,
Jessica Quaye,
Charvi Rastogi,
Douwe Kiela,
David Jurado,
David Kanter,
Rafael Mosquera,
Juan Ciro,
Lora Aroyo,
Bilge Acun,
Lingjiao Chen,
Mehul Smriti Raje,
Max Bartolo,
Sabri Eyuboglu,
Amirata Ghorbani,
Emmett Goodman
, et al. (20 additional authors not shown)
Abstract:
Machine learning research has long focused on models rather than datasets, and prominent datasets are used for common ML tasks without regard to the breadth, difficulty, and faithfulness of the underlying problems. Neglecting the fundamental importance of data has given rise to inaccuracy, bias, and fragility in real-world applications, and research is hindered by saturation across existing datase…
▽ More
Machine learning research has long focused on models rather than datasets, and prominent datasets are used for common ML tasks without regard to the breadth, difficulty, and faithfulness of the underlying problems. Neglecting the fundamental importance of data has given rise to inaccuracy, bias, and fragility in real-world applications, and research is hindered by saturation across existing dataset benchmarks. In response, we present DataPerf, a community-led benchmark suite for evaluating ML datasets and data-centric algorithms. We aim to foster innovation in data-centric AI through competition, comparability, and reproducibility. We enable the ML community to iterate on datasets, instead of just architectures, and we provide an open, online platform with multiple rounds of challenges to support this iterative development. The first iteration of DataPerf contains five benchmarks covering a wide spectrum of data-centric techniques, tasks, and modalities in vision, speech, acquisition, debugging, and diffusion prompting, and we support hosting new contributed benchmarks from the community. The benchmarks, online evaluation platform, and baseline implementations are open source, and the MLCommons Association will maintain DataPerf to ensure long-term benefits to academia and industry.
△ Less
Submitted 13 October, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
A Starry Byte -- proton beam measurements of single event upsets and other radiation effects in ABCStar ASIC Versions 0 and 1 for the ITk strip tracker
Authors:
M. J. Basso,
J. Fernandez-Tejero,
B. J. Gallop,
G. Greig,
J. J. John,
P. T. Keener,
K. Krizka,
P. V. Leitao,
B. Norman,
P. W. Phillips,
L. Poley,
C. Sawyer,
T. L. Stack,
S. Stucci,
D. A. Trischuk,
M. Warren
Abstract:
Single Event Effects (SEEs) - predominately bit-flips in electronics caused by particle interactions - are a major concern for ASICs operated in high radiation environments such as ABCStar ASICs, which are designed to be used in the future ATLAS ITk strip tracker. The chip design is therefore optimised to protect it from SEEs by implementing triplication techniques such as Triple Modular Redundanc…
▽ More
Single Event Effects (SEEs) - predominately bit-flips in electronics caused by particle interactions - are a major concern for ASICs operated in high radiation environments such as ABCStar ASICs, which are designed to be used in the future ATLAS ITk strip tracker. The chip design is therefore optimised to protect it from SEEs by implementing triplication techniques such as Triple Modular Redundancy (TMR). In order to verify the radiation protection mechanisms of the chip design, the cross-section for Single Event Upsets (SEUs), a particular class of SEEs, is measured by exposing the chip to high-intensity particle beams while monitoring it for observed SEUs. This study presents the setup, the performed measurements, and the results from SEU tests performed using the latest version of the ABCStar ASIC (ABCStar V1) using a 480 MeV proton beam.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Comparative structural evolution under pressure of powder and single crystals of the layered antiferromagnet FePS$_3$
Authors:
David M. Jarvis,
Matthew J. Coak,
Hayrullo Hamidov,
Charles R. S. Haines,
Giulio I. Lampronti,
Cheng Liu,
Shiyu Deng,
Dominik Daisenberger,
David R. Allan,
Mark R. Warren,
Andrew R. Wildes,
Siddharth S. Saxena
Abstract:
The layered antiferromagnet FePS$_3$ has been shown to undergo a structural transition under pressure linked to an insulator-metal transition, with two incompatible models previously proposed for the highest-pressure structure. We present a study of the high-pressure crystal structures of FePS$_3$ using both single-crystal and powder x-ray diffraction. We show that the highest pressure transition…
▽ More
The layered antiferromagnet FePS$_3$ has been shown to undergo a structural transition under pressure linked to an insulator-metal transition, with two incompatible models previously proposed for the highest-pressure structure. We present a study of the high-pressure crystal structures of FePS$_3$ using both single-crystal and powder x-ray diffraction. We show that the highest pressure transition involves a collapse of the inter-planar spacing of this material, along with an increase in symmetry from a monoclinic to a trigonal structure, to the exclusion of other models. The extent of this volume collapse is shown to be sensitive to the presence of a helium pressure medium in the sample environment, indicating that consideration of such experimental factors is important for understanding high-pressure behaviours in this material.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Comparison of Electron Capture Rates in the N=50 Region using 1D Simulations of Core-collapse Supernovae
Authors:
Zac Johnston,
Sheldon Wasik,
Rachel Titus,
MacKenzie L. Warren,
Evan P. O'Connor,
Remco Zegers,
Sean M. Couch
Abstract:
Recent studies have highlighted the sensitivity of core-collapse supernovae (CCSNe) models to electron-capture (EC) rates on neutron-rich nuclei near the N=50 closed-shell region. In this work, we perform a large suite of one-dimensional CCSN simulations for 200 stellar progenitors using recently updated EC rates in this region. For comparison, we repeat the simulations using two previous implemen…
▽ More
Recent studies have highlighted the sensitivity of core-collapse supernovae (CCSNe) models to electron-capture (EC) rates on neutron-rich nuclei near the N=50 closed-shell region. In this work, we perform a large suite of one-dimensional CCSN simulations for 200 stellar progenitors using recently updated EC rates in this region. For comparison, we repeat the simulations using two previous implementations of EC rates: a microphysical library with parameterized N=50 rates (LMP), and an older independent-particle approximation (IPA). We follow the simulations through shock revival up to several seconds post-bounce, and show that the EC rates produce a consistent imprint on CCSN properties, often surpassing the role of the progenitor itself. Notable impacts include the timescale of core collapse, the electron fraction and mass of the inner core at bounce, the accretion rate through the shock, the success or failure of revival, and the properties of the central compact remnant. We also compare the observable neutrino signal of the neutronization burst in a DUNE-like detector, and find consistent impacts on the counts and mean energies. Overall, the updated rates result in properties that are intermediate between LMP and IPA, and yet slightly more favorable to explosion than both.
△ Less
Submitted 11 November, 2022; v1 submitted 18 February, 2022;
originally announced February 2022.
-
Neutrino flavor mixing with moments
Authors:
McKenzie Myers,
Theo Cooper,
MacKenzie Warren,
Jim Kneller,
Gail McLaughlin,
Sherwood Richers,
Evan Grohs,
Carla Frohlich
Abstract:
The successful transition from core-collapse supernova simulations using classical neutrino transport to simulations using quantum neutrino transport will require the development of methods for calculating neutrino flavor transformations that mitigate the computational expense. One potential approach is the use of angular moments of the neutrino field, which has the added appeal that there already…
▽ More
The successful transition from core-collapse supernova simulations using classical neutrino transport to simulations using quantum neutrino transport will require the development of methods for calculating neutrino flavor transformations that mitigate the computational expense. One potential approach is the use of angular moments of the neutrino field, which has the added appeal that there already exist simulation codes which make use of moments for classical neutrino transport. Evolution equations for quantum moments based on the quantum kinetic equations can be straightforwardly generalized from the evolution of classical moments based on the Boltzmann equation. We present an efficient implementation of neutrino transformation using quantum angular moments in the free streaming, spherically symmetric bulb model. We compare the results against analytic solutions and the results from more exact multi-angle neutrino flavor evolution calculations. We find that our moment-based methods employing scalar closures predict, with good accuracy, the onset of collective flavor transformations seen in the multi-angle results. However in some situations they overestimate the coherence of neutrinos traveling along different trajectories. More sophisticated quantum closures may improve the agreement between the inexpensive moment-based methods and the multi-angle approach.
△ Less
Submitted 16 June, 2022; v1 submitted 26 November, 2021;
originally announced November 2021.
-
Cybersecurity Issues and Practices in a Cloud Context: A Comparison Amongst Micro, Small and Medium Enterprises
Authors:
Ruwan Nagahawatta,
Sachithra Lokuge,
Matthew Warren,
Scott Salzman
Abstract:
The advancement and the proliferation of information systems among enterprises have given rise to understanding cybersecurity. Cybersecurity practices provide a set of techniques and procedures to protect the systems, networks, programs and data from attack, damage, or unauthorised access. Such cybersecurity practices vary and are applied differently to different types of enterprises. The purpose…
▽ More
The advancement and the proliferation of information systems among enterprises have given rise to understanding cybersecurity. Cybersecurity practices provide a set of techniques and procedures to protect the systems, networks, programs and data from attack, damage, or unauthorised access. Such cybersecurity practices vary and are applied differently to different types of enterprises. The purpose of this research is to compare the critical cybersecurity threats and practices in the cloud context among micro, small, and medium enterprises. By conducting a survey among 289 micro, small and medium-sized enterprises in Australia, this study highlights the significant differences in their cloud security practices. It also concludes that future studies that focus on cybersecurity issues and practices in the context of cloud computing should pay attention to these differences.
△ Less
Submitted 10 November, 2021;
originally announced November 2021.
-
An Investigative Model of Adult Cyberbullying: A Court Case Analysis
Authors:
Chintha Kaluarachchi,
Darshana Sedera,
Matthew Warren
Abstract:
Cyberbullying is a major social issue that is on the rise with a substantial potential to impact a large number of Internet users globally. The growth and rapid proliferation of the Internet and other ubiquitous technologies like social media and smart mobile devices have increased the propensity of cyberbullying, providing it with a wider audience and rapid access. This research developed an inve…
▽ More
Cyberbullying is a major social issue that is on the rise with a substantial potential to impact a large number of Internet users globally. The growth and rapid proliferation of the Internet and other ubiquitous technologies like social media and smart mobile devices have increased the propensity of cyberbullying, providing it with a wider audience and rapid access. This research developed an investigative model for cyberbullying, specifically developed for adults. Therein, the model considers the cyberbullying journey from conception of the bullying idea, identification of the target to the bullying as an action. The a-priori model is motivated by the General Theory of Crime and the Routine Activity Theory. The a-priori model is then validated using 20 cyberbullying court cases from Australia, Canada, the United States and Scotland.
△ Less
Submitted 26 October, 2021;
originally announced November 2021.
-
The Straw Tracking Detector for the Fermilab Muon $g-2$ Experiment
Authors:
B. T. King,
T. Albahri,
S. Al-Kilani,
D. Allspach,
D. Beckner,
A. Behnke,
T. J. V. Bowcock,
D. Boyden,
R. M. Carey,
J. Carroll,
B. C. K. Casey,
S. Charity,
R. Chislett,
M. Eads,
A. Epps,
S. B. Foster,
D. Gastler,
S. Grant,
T. Halewood-Leagas,
K. Hardin,
E. Hazen,
G. Hesketh,
D. J. Hollywood,
T. Jones,
C. Kenziora
, et al. (32 additional authors not shown)
Abstract:
The Muon $g-2$ Experiment at Fermilab uses a gaseous straw tracking detector to make detailed measurements of the stored muon beam profile, which are essential for the experiment to achieve its uncertainty goals. Positrons from muon decays spiral inward and pass through the tracking detector before striking an electromagnetic calorimeter. The tracking detector is therefore located inside the vacuu…
▽ More
The Muon $g-2$ Experiment at Fermilab uses a gaseous straw tracking detector to make detailed measurements of the stored muon beam profile, which are essential for the experiment to achieve its uncertainty goals. Positrons from muon decays spiral inward and pass through the tracking detector before striking an electromagnetic calorimeter. The tracking detector is therefore located inside the vacuum chamber in a region where the magnetic field is large and non-uniform. As such, the tracking detector must have a low leak rate to maintain a high-quality vacuum, must be non-magnetic so as not to perturb the magnetic field and, to minimize energy loss, must have a low radiation length. The performance of the tracking detector has met or surpassed the design requirements, with adequate electronic noise levels, an average straw hit resolution of $(110 \pm 20) \,μ$m, a detection efficiency of 97% or higher, and no performance degradation or signs of aging. The tracking detector's measurements result in an otherwise unachievable understanding of the muon's beam motion, particularly at early times in the experiment's measurement period when there are a significantly greater number of muons decaying. This is vital to the statistical power of the experiment, as well as facilitating the precise extraction of several systematic corrections and uncertainties. This paper describes the design, construction, testing, commissioning, and performance of the tracking detector.
△ Less
Submitted 24 February, 2022; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Switching $(m, n)$-mixed graphs with respect to Abelian groups
Authors:
E. Leclerc,
G. MacGillivray,
J. M. Warren
Abstract:
We extend results of Brewster and Graves for switching $m$-edge coloured graphs with respect to a cyclic group to switching $(m, n)$-mixed graphs with respect to an Abelian group. In particular, we establish the existence of a $(m, n)$-mixed graph $P_Γ(H)$ with the property that a $(m, n)$-mixed graph $G$ is switch equivalent to $H$ if and only if it is a special subgraph of $P_Γ(H)$, and the prop…
▽ More
We extend results of Brewster and Graves for switching $m$-edge coloured graphs with respect to a cyclic group to switching $(m, n)$-mixed graphs with respect to an Abelian group. In particular, we establish the existence of a $(m, n)$-mixed graph $P_Γ(H)$ with the property that a $(m, n)$-mixed graph $G$ is switch equivalent to $H$ if and only if it is a special subgraph of $P_Γ(H)$, and the property that that $G$ can be switched to have a homomorphism to $H$ if and only if it has a homomorphism (without switching) to $P_Γ(H)$. We consider the question of deciding whether a $(m, n)$-mixed graph can be switched so that it has a homomorphism to a proper subgraph, i.e. whether it can be switched so that it isn't a core. We show that this question is NP-hard for arbitrary groups and NP-complete for Abelian groups. Finally, we consider the complexity of the switchable $k$-colouring problem for $(m, n)$-mixed graphs and prove a dichotomy theorem in the cases where $m \geq 1$.
△ Less
Submitted 4 October, 2021;
originally announced October 2021.
-
Regularity of Hamiltonian Stationary Equations in Symplectic manifolds
Authors:
Arunima Bhattacharya,
**gyi Chen,
Micah Warren
Abstract:
In this paper, we prove that any $C^{1}$-regular Hamiltonian stationary Lagrangian submanifold in a symplectic manifold is smooth. More broadly, we develop a regularity theory for a class of fourth order nonlinear elliptic equations with two distributional derivatives. Our fourth order regularity theory originates in the geometrically motivated variational problem for the volume functional, but sh…
▽ More
In this paper, we prove that any $C^{1}$-regular Hamiltonian stationary Lagrangian submanifold in a symplectic manifold is smooth. More broadly, we develop a regularity theory for a class of fourth order nonlinear elliptic equations with two distributional derivatives. Our fourth order regularity theory originates in the geometrically motivated variational problem for the volume functional, but should have applications beyond.
△ Less
Submitted 31 July, 2021;
originally announced August 2021.
-
Formal verification of octorotor flight envelope using barrier functions and SMT solving
Authors:
Byron Heersink,
Pape Sylla,
Michael A. Warren
Abstract:
This paper introduces an approach for formally verifying the safety of the flight controller of an octorotor platform. Our method involves finding regions of the octorotor's state space that are considered safe, and which can be proven to be invariant with respect to the dynamics. Specifically, exponential barrier functions are used to construct candidate invariant regions near desired commanded s…
▽ More
This paper introduces an approach for formally verifying the safety of the flight controller of an octorotor platform. Our method involves finding regions of the octorotor's state space that are considered safe, and which can be proven to be invariant with respect to the dynamics. Specifically, exponential barrier functions are used to construct candidate invariant regions near desired commanded states. The proof that these regions are invariant is discovered automatically using the dReal SMT solver, which ensures the accurate command tracking of the octorotor to within a certain margin of error. Rotor failures in which rotor thrusts become stuck at fixed values are considered and accounted for via a pseudo-inverse control allocator. The safety of the control allocator is verified in dReal by checking that the thrusts demanded by the allocator never exceed the capability of the rotors. We apply our approach on a specific octorotor example and verify the desired command tracking properties of the controller under normal conditions and various combinations of rotor failures.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Measurement of the Positive Muon Anomalous Magnetic Moment to 0.46 ppm
Authors:
B. Abi,
T. Albahri,
S. Al-Kilani,
D. Allspach,
L. P. Alonzi,
A. Anastasi,
A. Anisenkov,
F. Azfar,
K. Badgley,
S. Baeßler,
I. Bailey,
V. A. Baranov,
E. Barlas-Yucel,
T. Barrett,
E. Barzi,
A. Basti,
F. Bedeschi,
A. Behnke,
M. Berz,
M. Bhattacharya,
H. P. Binney,
R. Bjorkquist,
P. Bloom,
J. Bono,
E. Bottalico
, et al. (212 additional authors not shown)
Abstract:
We present the first results of the Fermilab Muon g-2 Experiment for the positive muon magnetic anomaly $a_μ\equiv (g_μ-2)/2$. The anomaly is determined from the precision measurements of two angular frequencies. Intensity variation of high-energy positrons from muon decays directly encodes the difference frequency $ω_a$ between the spin-precession and cyclotron frequencies for polarized muons in…
▽ More
We present the first results of the Fermilab Muon g-2 Experiment for the positive muon magnetic anomaly $a_μ\equiv (g_μ-2)/2$. The anomaly is determined from the precision measurements of two angular frequencies. Intensity variation of high-energy positrons from muon decays directly encodes the difference frequency $ω_a$ between the spin-precession and cyclotron frequencies for polarized muons in a magnetic storage ring. The storage ring magnetic field is measured using nuclear magnetic resonance probes calibrated in terms of the equivalent proton spin precession frequency ${\tildeω'^{}_p}$ in a spherical water sample at 34.7$^{\circ}$C. The ratio $ω_a / {\tildeω'^{}_p}$, together with known fundamental constants, determines $a_μ({\rm FNAL}) = 116\,592\,040(54)\times 10^{-11}$ (0.46\,ppm). The result is 3.3 standard deviations greater than the standard model prediction and is in excellent agreement with the previous Brookhaven National Laboratory (BNL) E821 measurement. After combination with previous measurements of both $μ^+$ and $μ^-$, the new experimental average of $a_μ({\rm Exp}) = 116\,592\,061(41)\times 10^{-11}$ (0.35\,ppm) increases the tension between experiment and theory to 4.2 standard deviations
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
Connecting the Light Curves of Type IIP Supernovae to the Properties of their Progenitors
Authors:
Brandon L. Barker,
Chelsea E. Harris,
MacKenzie L. Warren,
Evan P. O'Connor,
Sean M. Couch
Abstract:
Observations of core-collapse supernovae (CCSNe) reveal a wealth of information about the dynamics of the supernova ejecta and its composition but very little direct information about the progenitor. Constraining properties of the progenitor and the explosion requires coupling the observations with a theoretical model of the explosion. Here, we begin with the CCSN simulations of Couch et al 2020 A…
▽ More
Observations of core-collapse supernovae (CCSNe) reveal a wealth of information about the dynamics of the supernova ejecta and its composition but very little direct information about the progenitor. Constraining properties of the progenitor and the explosion requires coupling the observations with a theoretical model of the explosion. Here, we begin with the CCSN simulations of Couch et al 2020 ApJ 890 127, which use a non-parametric treatment of the neutrino transport while also accounting for turbulence and convection. In this work we use the SuperNova Explosion Code to evolve the CCSN hydrodynamics to later times and compute bolometric light curves. Focusing on SNe IIP, we then (1) directly compare the theoretical STIR explosions to observations and (2) assess how properties of the progenitor's core can be estimated from optical photometry in the plateau phase alone. First, the distribution of plateau luminosities (L$_{50}$) and ejecta velocities achieved by our simulations is similar to the observed distributions. Second, we fit our models to the light curves and velocity evolution of some well-observed SNe. Third, we recover well-known correlations, as well as the difficulty of connecting any one SN property to zero-age main sequence mass. Finally, we show that there is a usable, linear correlation between iron core mass and L$_{50}$ such that optical photometry alone of SNe IIP can give us insights into the cores of massive stars. Illustrating this by application to a few SNe, we find iron core masses of 1.3-1.5 solar masses with typical errors of ~0.05 solar masses. Data are publicly available online (\url{https://doi.org/10.5281/zenodo.6631964}).
△ Less
Submitted 10 June, 2022; v1 submitted 1 February, 2021;
originally announced February 2021.
-
Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems
Authors:
Chris R. Serrano,
Pape M. Sylla,
Michael A. Warren
Abstract:
Testing remains the primary method to evaluate the accuracy of neural network perception systems. Prior work on the formal verification of neural network perception models has been limited to notions of local adversarial robustness for classification with respect to individual image inputs. In this work, we propose a notion of global correctness for neural network perception models performing regr…
▽ More
Testing remains the primary method to evaluate the accuracy of neural network perception systems. Prior work on the formal verification of neural network perception models has been limited to notions of local adversarial robustness for classification with respect to individual image inputs. In this work, we propose a notion of global correctness for neural network perception models performing regression with respect to a generative neural network with a semantically meaningful latent space. That is, against an infinite set of images produced by a generative model over an interval of its latent space, we employ neural network verification to prove that the model will always produce estimates within some error bound of the ground truth. Where the perception model fails, we obtain semantically meaningful counter-examples which carry information on concrete states of the system of interest that can be used programmatically without human inspection of corresponding generated images. Our approach, Generate and Verify, provides a new technique to gather insight into the failure cases of neural network perception systems and provide meaningful guarantees of correct behavior in safety critical applications.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
Determining the Structure of Rotating Massive Stellar Cores with Gravitational Waves
Authors:
Michael A. Pajkos,
MacKenzie L. Warren,
Sean M. Couch,
Evan P. O'Connor,
Kuo-Chuan Pan
Abstract:
The gravitational wave (GW) signal resulting from stellar core collapse encodes a wealth of information about the physical parameters of the progenitor star and the resulting core-collapse supernova (CCSN). We present a novel approach to constrain CCSN progenitor properties at collapse using two of the most detectable parts of the GW signal: the core-bounce signal and evolution of the dominant fre…
▽ More
The gravitational wave (GW) signal resulting from stellar core collapse encodes a wealth of information about the physical parameters of the progenitor star and the resulting core-collapse supernova (CCSN). We present a novel approach to constrain CCSN progenitor properties at collapse using two of the most detectable parts of the GW signal: the core-bounce signal and evolution of the dominant frequency mode from the protoneutron star. We focus on the period after core bounce but before explosion and investigate the predictive power of GWs from rotating CCSNe to constrain properties of the progenitor star. We analyze 34 2D and four 3D neutrinoradiation-hydrodynamic simulations of stellar core collapse in progenitors of varied initial mass and rotation rate. Extending previous work, we verify the compactness of the progenitor at collapse to correlate with the early ramp-up slope, and in rotating cases, also with the core angular momentum. Combining this information with the bounce signal, we present a new analysis method to constrain the pre-collapse core compactness of the progenitor. Because these GW features occur less than a second after core bounce, this analysis could allow astronomers to predict electromagnetic properties of a resulting CCSN even before shock breakout.
△ Less
Submitted 22 June, 2021; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Distribution of orbits of geometrically finite groups acting on null vectors
Authors:
Nattalie Tamam,
Jacqueline M. Warren
Abstract:
We study the distribution of non-discrete orbits of geometrically finite groups in $\operatorname{SO}(n,1)$ acting on $\mathbb{R}^{n+1}$, and more generally on the quotient of $\operatorname{SO}(n,1)$ by a horospherical subgroup. Using equidistribution of horospherical flows, we obtain both asymptotics for the distribution of orbits for the action of general geometrically finite groups, and we obt…
▽ More
We study the distribution of non-discrete orbits of geometrically finite groups in $\operatorname{SO}(n,1)$ acting on $\mathbb{R}^{n+1}$, and more generally on the quotient of $\operatorname{SO}(n,1)$ by a horospherical subgroup. Using equidistribution of horospherical flows, we obtain both asymptotics for the distribution of orbits for the action of general geometrically finite groups, and we obtain quantitative statements with additional assumptions.
△ Less
Submitted 13 December, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
The ABC130 barrel module prototy** programme for the ATLAS strip tracker
Authors:
Luise Poley,
Craig Sawyer,
Sagar Addepalli,
Anthony Affolder,
Bruno Allongue,
Phil Allport,
Eric Anderssen,
Francis Anghinolfi,
Jean-François Arguin,
Jan-Hendrik Arling,
Olivier Arnaez,
Nedaa Alexandra Asbah,
Joe Ashby,
Eleni Myrto Asimakopoulou,
Naim Bora Atlay,
Ludwig Bartsch,
Matthew J. Basso,
James Beacham,
Scott L. Beaupré,
Graham Beck,
Carl Beichert,
Laura Bergsten,
Jose Bernabeu,
Prajita Bhattarai,
Ingo Bloch
, et al. (224 additional authors not shown)
Abstract:
For the Phase-II Upgrade of the ATLAS Detector, its Inner Detector, consisting of silicon pixel, silicon strip and transition radiation sub-detectors, will be replaced with an all new 100 % silicon tracker, composed of a pixel tracker at inner radii and a strip tracker at outer radii. The future ATLAS strip tracker will include 11,000 silicon sensor modules in the central region (barrel) and 7,000…
▽ More
For the Phase-II Upgrade of the ATLAS Detector, its Inner Detector, consisting of silicon pixel, silicon strip and transition radiation sub-detectors, will be replaced with an all new 100 % silicon tracker, composed of a pixel tracker at inner radii and a strip tracker at outer radii. The future ATLAS strip tracker will include 11,000 silicon sensor modules in the central region (barrel) and 7,000 modules in the forward region (end-caps), which are foreseen to be constructed over a period of 3.5 years. The construction of each module consists of a series of assembly and quality control steps, which were engineered to be identical for all production sites. In order to develop the tooling and procedures for assembly and testing of these modules, two series of major prototy** programs were conducted: an early program using readout chips designed using a 250 nm fabrication process (ABCN-25) and a subsequent program using a follow-up chip set made using 130 nm processing (ABC130 and HCC130 chips). This second generation of readout chips was used for an extensive prototy** program that produced around 100 barrel-type modules and contributed significantly to the development of the final module layout. This paper gives an overview of the components used in ABC130 barrel modules, their assembly procedure and findings resulting from their tests.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
Effective equidistribution of horospherical flows in infinite volume rank one homogeneous spaces
Authors:
Nattalie Tamam,
Jacqueline M. Warren
Abstract:
We prove effective equidistribution of horospherical flows in $\operatorname{SO}(n,1)^\circ / Γ$ when $Γ$ is geometrically finite and the frame flow is exponentially mixing for the Bowen-Margulis-Sullivan measure. We also discuss settings in which such an exponential mixing result is known to hold. As part of the proof, we show that the Patterson-Sullivan measure satisfies some friendly-like prope…
▽ More
We prove effective equidistribution of horospherical flows in $\operatorname{SO}(n,1)^\circ / Γ$ when $Γ$ is geometrically finite and the frame flow is exponentially mixing for the Bowen-Margulis-Sullivan measure. We also discuss settings in which such an exponential mixing result is known to hold. As part of the proof, we show that the Patterson-Sullivan measure satisfies some friendly-like properties when $Γ$ is geometrically finite.
△ Less
Submitted 13 July, 2021; v1 submitted 6 July, 2020;
originally announced July 2020.
-
Reaction Rate Sensitivity of the Production of $γ$-ray Emitting Isotopes in Core-Collapse Supernova
Authors:
Kirby Hermansen,
Sean M. Couch,
Luke F. Roberts,
Hendrik Schatz,
MacKenzie L. Warren
Abstract:
Radioactive isotopes produced in core-collapse supernovae (CCSNe) provide useful insights into the underlying processes driving the collapse mechanism and the origins of elemental abundances. Their study generates a confluence of major physics research, including experimental measurements of nuclear reaction rates, astrophysical modeling, and $γ$-ray observations. Here we identify the key nuclear…
▽ More
Radioactive isotopes produced in core-collapse supernovae (CCSNe) provide useful insights into the underlying processes driving the collapse mechanism and the origins of elemental abundances. Their study generates a confluence of major physics research, including experimental measurements of nuclear reaction rates, astrophysical modeling, and $γ$-ray observations. Here we identify the key nuclear reaction rates to the nucleosynthesis of observable radioactive isotopes in explosive silicon-burning during CCSNe. Using the nuclear reaction network calculator SkyNet and current REACLIB reaction rates, we evolve temperature-density-time profiles of the innermost $0.45~M_\odot$ ejecta from the core collapse and explosion of a $12~M_\odot$ star. Individually varying 3403 reaction rates by factors of 100, we identify 141 reactions which cause significant differences in the isotopes of interest, namely, $^{43}$K, $^{47}$Ca, $^{44,47}$Sc, $^{44}$Ti, $^{48,51}$Cr, $^{48,49}$V, $^{52,53}$Mn, $^{55,59}$Fe, $^{56,57}$Co, and $^{56,57,59}$Ni. For each of these reactions, we present a novel method to extract the temperature range pertinent to the nucleosynthesis of the relevant isotope; the resulting temperatures lie within the range $T = 0.47$ to $6.15~$GK. Limiting the variations to within $1σ$ of STARLIB reaction rate uncertainties further reduces the identified reactions to 48 key rates, which can be used to guide future experimental research. Complete results are presented in tabular form.
△ Less
Submitted 13 August, 2020; v1 submitted 29 June, 2020;
originally announced June 2020.
-
OPTIMAM Mammography Image Database: a large scale resource of mammography images and clinical data
Authors:
Mark D Halling-Brown,
Lucy M Warren,
Dominic Ward,
Emma Lewis,
Alistair Mackenzie,
Matthew G Wallis,
Louise Wilkinson,
Rosalind M Given-Wilson,
Rita McAvinchey,
Kenneth C Young
Abstract:
A major barrier to medical imaging research and in particular the development of artificial intelligence (AI) is a lack of large databases of medical images which share images with other researchers. Without such databases it is not possible to train generalisable AI algorithms, and large amounts of time and funding is spent collecting smaller datasets at individual research centres. The OPTIMAM i…
▽ More
A major barrier to medical imaging research and in particular the development of artificial intelligence (AI) is a lack of large databases of medical images which share images with other researchers. Without such databases it is not possible to train generalisable AI algorithms, and large amounts of time and funding is spent collecting smaller datasets at individual research centres. The OPTIMAM image database (OMI-DB) has been developed to overcome these barriers. OMI-DB consists of several relational databases and cloud storage systems, containing mammography images and associated clinical and pathological information. The database contains over 2.5 million images from 173,319 women collected from three UK breast screening centres. This includes 154,832 women with normal breasts, 6909 women with benign findings, 9690 women with screen-detected cancers and 1888 women with interval cancers. Collection is on-going and all women are followed-up and their clinical status updated according to subsequent screening episodes. The availability of prior screening mammograms and interval cancers is a vital resource for AI development. Data from OMI-DB has been shared with over 30 research groups and companies, since 2014. This progressive approach has been possible through sharing agreements between the funder and approved academic and commercial research groups. A research dataset such as the OMI-DB provides a powerful resource for research.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
Attacking with bitcoin: Using Bitcoin to Build Resilient Botnet Armies
Authors:
Dimitri Kamenski,
Arash Shaghaghi,
Matthew Warren,
Salil S. Kanhere
Abstract:
We focus on the problem of botnet orchestration and discuss how attackers can leverage decentralised technologies to dynamically control botnets with the goal of having botnets that are resilient against hostile takeovers. We cover critical elements of the Bitcoin blockchain and its usage for `floating command and control servers'. We further discuss how blockchain-based botnets can be built and i…
▽ More
We focus on the problem of botnet orchestration and discuss how attackers can leverage decentralised technologies to dynamically control botnets with the goal of having botnets that are resilient against hostile takeovers. We cover critical elements of the Bitcoin blockchain and its usage for `floating command and control servers'. We further discuss how blockchain-based botnets can be built and include a detailed discussion of our implementation. We also showcase how specific Bitcoin APIs can be used in order to write extraneous data to the blockchain. Finally, while in this paper, we use Bitcoin to build our resilient botnet proof of concept, the threat is not limited to Bitcoin blockchain and can be generalized.
△ Less
Submitted 2 May, 2020; v1 submitted 4 April, 2020;
originally announced April 2020.
-
Mobility Changes in Response to COVID-19
Authors:
Michael S. Warren,
Samuel W. Skillman
Abstract:
In response to the COVID-19 pandemic, both voluntary changes in behavior and administrative restrictions on human interactions have occurred. These actions are intended to reduce the transmission rate of the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). We use anonymized and/or de-identified mobile device locations to measure mobility, a statistic representing the distance a typica…
▽ More
In response to the COVID-19 pandemic, both voluntary changes in behavior and administrative restrictions on human interactions have occurred. These actions are intended to reduce the transmission rate of the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). We use anonymized and/or de-identified mobile device locations to measure mobility, a statistic representing the distance a typical member of a given population moves in a day. Results indicate that a large reduction in mobility has taken place, both in the US and globally. In the United States, large mobility reductions have been detected associated with the onset of the COVID-19 threat and specific government directives. Mobility data at the US admin1 (state) and admin2 (county) level have been made freely available under a Creative Commons Attribution (CC BY 4.0) license via the GitHub repository https://github.com/descarteslabs/DL-COVID-19/
△ Less
Submitted 31 March, 2020;
originally announced March 2020.
-
Visual search over billions of aerial and satellite images
Authors:
Ryan Keisler,
Samuel W. Skillman,
Sunny Gonnabathula,
Justin Poehnelt,
Xander Rudelis,
Michael S. Warren
Abstract:
We present a system for performing visual search over billions of aerial and satellite images. The purpose of visual search is to find images that are visually similar to a query image. We define visual similarity using 512 abstract visual features generated by a convolutional neural network that has been trained on aerial and satellite imagery. The features are converted to binary values to reduc…
▽ More
We present a system for performing visual search over billions of aerial and satellite images. The purpose of visual search is to find images that are visually similar to a query image. We define visual similarity using 512 abstract visual features generated by a convolutional neural network that has been trained on aerial and satellite imagery. The features are converted to binary values to reduce data and compute requirements. We employ a hash-based search using Bigtable, a scalable database service from Google Cloud. Searching the continental United States at 1-meter pixel resolution, corresponding to approximately 2 billion images, takes approximately 0.1 seconds. This system enables real-time visual search over the surface of the earth, and an interactive demo is available at https://search.descarteslabs.com.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
BUDD: Multi-modal Bayesian Updating Deforestation Detections
Authors:
Alice M. S Durieux,
Christopher X. Ren,
Matthew T. Calef,
Rick Chartrand,
Michael S. Warren
Abstract:
The global phenomenon of forest degradation is a pressing issue with severe implications for climate stability and biodiversity protection. In this work we generate Bayesian updating deforestation detection (BUDD) algorithms by incorporating Sentinel-1 backscatter and interferometric coherence with Sentinel-2 normalized vegetation index data. We show that the algorithm provides good performance in…
▽ More
The global phenomenon of forest degradation is a pressing issue with severe implications for climate stability and biodiversity protection. In this work we generate Bayesian updating deforestation detection (BUDD) algorithms by incorporating Sentinel-1 backscatter and interferometric coherence with Sentinel-2 normalized vegetation index data. We show that the algorithm provides good performance in validation AOIs. We compare the effectiveness of different combinations of the three data modalities as inputs into the BUDD algorithm and compare against existing benchmarks based on optical imagery.
△ Less
Submitted 28 January, 2020;
originally announced January 2020.
-
Constraining properties of the next nearby core-collapse supernova with multi-messenger signals
Authors:
MacKenzie L. Warren,
Sean M. Couch,
Evan P. O'Connor,
Viktoriya Morozova
Abstract:
With the advent of modern neutrino and gravitational wave detectors, the promise of multi-messenger detections of the next galactic core-collapse supernova has become very real. Such detections will give insight into the core-collapse supernova mechanism, the structure of the progenitor star, and may resolve longstanding questions in fundamental physics. In order to properly interpret these detect…
▽ More
With the advent of modern neutrino and gravitational wave detectors, the promise of multi-messenger detections of the next galactic core-collapse supernova has become very real. Such detections will give insight into the core-collapse supernova mechanism, the structure of the progenitor star, and may resolve longstanding questions in fundamental physics. In order to properly interpret these detections, a thorough understanding of the landscape of possible core-collapse supernova events, and their multi-messenger signals, is needed. We present detailed predictions of neutrino and gravitational wave signals from 1D simulations of stellar core collapse, spanning the landscape of core-collapse progenitors from $9-120\,\mathrm{M}_{\odot}$. In order to achieve explosions in 1D, we use the STIR model, which includes the effects of turbulence and convection in 1D supernova simulations to mimic the 3D explosion mechanism. We study the gravitational wave emission from the 1D simulations using an astroseismology analysis of the proto-neutron star. We find that the neutrino and gravitational wave signals are strongly correlated with the structure of the progenitor star and remnant compact object. Using these correlations, future detections of the first few seconds of neutrino and gravitational wave emission from a galactic core-collapse supernova may be able to provide constraints on stellar evolution independent of pre-explosion imaging and the mass of the compact object remnant prior to fallback accretion.
△ Less
Submitted 12 May, 2020; v1 submitted 6 December, 2019;
originally announced December 2019.
-
Dislocation interactions during low-temperature plasticity of olivine strengthen the lithospheric mantle
Authors:
David Wallis,
Lars. N. Hansen,
Kathryn M. Kumamoto,
Christopher A. Thom,
Oliver Plümper,
Markus Ohl,
William B. Durham,
David L. Goldsby,
David E. J. Armstrong,
Cameron D. Meyers,
Rellie Goddard,
Jessica M. Warren,
Thomas Breithaupt,
Martyn R. Drury,
Angus J. Wilkinson
Abstract:
The strength of the lithosphere is typically modelled based on constitutive equations for steady-state flow. However, models of lithospheric flexure reveal differences in lithospheric strength that are difficult to reconcile based on such flow laws. Recent rheological data from low-temperature deformation experiments on olivine suggest that this discrepancy may be largely explained by strain harde…
▽ More
The strength of the lithosphere is typically modelled based on constitutive equations for steady-state flow. However, models of lithospheric flexure reveal differences in lithospheric strength that are difficult to reconcile based on such flow laws. Recent rheological data from low-temperature deformation experiments on olivine suggest that this discrepancy may be largely explained by strain hardening. Details of the mechanical data, specifically the effects of temperature-independent back stresses stored in the samples, indicate that strain hardening in olivine occurs primarily due to long-range elastic interactions between dislocations. These interpretations provided the basis for a new flow law that incorporates hardening by development of back stress. Here, we test this hypothesis by examining the microstructures of olivine samples deformed plastically at room temperature either in a deformation-DIA apparatus at differential stresses of < 4.3 GPa or in a nanoindenter at applied contact stresses of > 10.2 GPa. High-angular resolution electron backscatter diffraction maps reveal the presence of geometrically necessary dislocations with densities commonly above 10$^{14}$ m$^{-2}$ and intragranular heterogeneities in residual stress on the order of 1 GPa in both sets of samples. Scanning transmission electron micrographs reveal straight dislocations aligned along slip bands and interacting with dislocations of other types that act as obstacles. The stress heterogeneities and accumulations of dislocations along their slip planes are consistent with strain hardening resulting from long-range back-stresses acting between dislocations. These results corroborate the mechanical data in supporting the form of the new flow law for low-temperature plasticity and provide new microstructural criteria for identifying the operation of this deformation mechanism in natural samples.
△ Less
Submitted 18 September, 2019;
originally announced September 2019.
-
$C^{2,α}$ estimates for solutions to almost linear elliptic equations
Authors:
Arunima Bhattacharya,
Micah Warren
Abstract:
In this paper, we show $C^{2,α}$ interior estimates for viscosity solutions of fully non-linear, uniformly elliptic equations, which are close to linear equations and we also compute an explicit bound for the closeness.
In this paper, we show $C^{2,α}$ interior estimates for viscosity solutions of fully non-linear, uniformly elliptic equations, which are close to linear equations and we also compute an explicit bound for the closeness.
△ Less
Submitted 9 August, 2019;
originally announced August 2019.
-
On factor rigidity and joining classification for infinite volume rank one homogeneous spaces
Authors:
Jacqueline M. Warren
Abstract:
We classify locally finite joinings with respect to the Burger-Roblin measure for the action of a horospherical subgroup $U$ on $Γ\backslash G$, where $G = \operatorname{SO}(n,1)^\circ$ and $Γ$ is a convex cocompact and Zariski dense subgroup of $G$, or geometrically finite with restrictions on critical exponent and rank of cusps.
We also prove in the more general case of $Γ$ geometrically finit…
▽ More
We classify locally finite joinings with respect to the Burger-Roblin measure for the action of a horospherical subgroup $U$ on $Γ\backslash G$, where $G = \operatorname{SO}(n,1)^\circ$ and $Γ$ is a convex cocompact and Zariski dense subgroup of $G$, or geometrically finite with restrictions on critical exponent and rank of cusps.
We also prove in the more general case of $Γ$ geometrically finite and Zariski dense that certain $U$-equivariant set-valued maps are rigid.
△ Less
Submitted 23 August, 2019; v1 submitted 1 March, 2019;
originally announced March 2019.
-
Introspection Learning
Authors:
Chris R. Serrano,
Michael A. Warren
Abstract:
Traditional reinforcement learning agents learn from experience, past or present, gained through interaction with their environment. Our approach synthesizes experience, without requiring an agent to interact with their environment, by asking the policy directly "Are there situations X, Y, and Z, such that in these situations you would select actions A, B, and C?" In this paper we present Introspe…
▽ More
Traditional reinforcement learning agents learn from experience, past or present, gained through interaction with their environment. Our approach synthesizes experience, without requiring an agent to interact with their environment, by asking the policy directly "Are there situations X, Y, and Z, such that in these situations you would select actions A, B, and C?" In this paper we present Introspection Learning, an algorithm that allows for the asking of these types of questions of neural network policies. Introspection Learning is reinforcement learning algorithm agnostic and the states returned may be used as an indicator of the health of the policy or to shape the policy in a myriad of ways. We demonstrate the usefulness of this algorithm both in the context of speeding up training and improving robustness with respect to safety constraints.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Catching Element Formation In The Act
Authors:
Chris L. Fryer,
Frank Timmes,
Aimee L. Hungerford,
Aaron Couture,
Fred Adams,
Wako Aoki,
Almudena Arcones,
David Arnett,
Katie Auchettl,
Melina Avila,
Carles Badenes,
Eddie Baron,
Andreas Bauswein,
John Beacom,
Jeff Blackmon,
Stephane Blondin,
Peter Bloser,
Steve Boggs,
Alan Boss,
Terri Brandt,
Eduardo Bravo,
Ed Brown,
Peter Brown,
Steve Bruenn. Carl Budtz-Jorgensen,
Eric Burns
, et al. (194 additional authors not shown)
Abstract:
Gamma-ray astronomy explores the most energetic photons in nature to address some of the most pressing puzzles in contemporary astrophysics. It encompasses a wide range of objects and phenomena: stars, supernovae, novae, neutron stars, stellar-mass black holes, nucleosynthesis, the interstellar medium, cosmic rays and relativistic-particle acceleration, and the evolution of galaxies. MeV gamma-ray…
▽ More
Gamma-ray astronomy explores the most energetic photons in nature to address some of the most pressing puzzles in contemporary astrophysics. It encompasses a wide range of objects and phenomena: stars, supernovae, novae, neutron stars, stellar-mass black holes, nucleosynthesis, the interstellar medium, cosmic rays and relativistic-particle acceleration, and the evolution of galaxies. MeV gamma-rays provide a unique probe of nuclear processes in astronomy, directly measuring radioactive decay, nuclear de-excitation, and positron annihilation. The substantial information carried by gamma-ray photons allows us to see deeper into these objects, the bulk of the power is often emitted at gamma-ray energies, and radioactivity provides a natural physical clock that adds unique information. New science will be driven by time-domain population studies at gamma-ray energies. This science is enabled by next-generation gamma-ray instruments with one to two orders of magnitude better sensitivity, larger sky coverage, and faster cadence than all previous gamma-ray instruments. This transformative capability permits: (a) the accurate identification of the gamma-ray emitting objects and correlations with observations taken at other wavelengths and with other messengers; (b) construction of new gamma-ray maps of the Milky Way and other nearby galaxies where extended regions are distinguished from point sources; and (c) considerable serendipitous science of scarce events -- nearby neutron star mergers, for example. Advances in technology push the performance of new gamma-ray instruments to address a wide set of astrophysical questions.
△ Less
Submitted 7 February, 2019;
originally announced February 2019.
-
Simulating Turbulence-aided Neutrino-driven Core-collapse Supernova Explosions in One Dimension
Authors:
Sean M. Couch,
MacKenzie L. Warren,
Evan P. O'Connor
Abstract:
The core-collapse supernova (CCSN) mechanism is fundamentally three-dimensional with instabilities, convection, and turbulence playing crucial roles in aiding neutrino-driven explosions. Simulations of CCNSe including accurate treatments of neutrino transport and sufficient resolution to capture key instabilities remain amongst the most expensive numerical simulations in astrophysics, prohibiting…
▽ More
The core-collapse supernova (CCSN) mechanism is fundamentally three-dimensional with instabilities, convection, and turbulence playing crucial roles in aiding neutrino-driven explosions. Simulations of CCNSe including accurate treatments of neutrino transport and sufficient resolution to capture key instabilities remain amongst the most expensive numerical simulations in astrophysics, prohibiting large parameter studies in 2D and 3D. Studies spanning a large swath of the incredibly varied initial conditions of CCSNe are possible in 1D, though such simulations must be artificially driven to explode. We present a new method for including the most important effects of convection and turbulence in 1D simulations of neutrino-driven CCSNe, called Supernova Turbulence In Reduced-dimensionality, or STIR. Our new approach includes crucial terms resulting from the turbulent and convective motions of the flow. We estimate the strength of convection and turbulence using a modified mixing length theory (MLT) approach introducing a few free parameters to the model which are fit to the results of 3D simulations. For sufficiently large values of the mixing length parameter, turbulence-aided neutrino-driven explosions are obtained. We compare the results of STIR to high-fidelity 3D simulations and perform a parameter study of CCSN explosion using 200 solar-metallicity progenitor models from 9 to 120 $M_\odot$. We find that STIR is a better predictor of which models will explode in multidimensional simulations than other methods of driving explosions in 1D. We also present a preliminary investigation of predicted observable characteristics of the CCSN population from STIR, such as the distributions of explosion energies and remnant masses.
△ Less
Submitted 25 November, 2019; v1 submitted 4 February, 2019;
originally announced February 2019.
-
Compactification of the space of Hamiltonian stationary Lagrangian submanifolds with bounded total extrinsic curvature and volume
Authors:
**gyi Chen,
Micah Warren
Abstract:
For a sequence of immersed connected closed Hamiltonian stationary Lagrangian submaniolds in $\mathbb{C}^{n}$ with uniform bounds on their volumes and the total extrinsic curvatures, we prove that a subsequence converges either to a point or to a Hamiltonian stationary Lagrangian $n$-varifold locally uniformly in $C^{k}$ for any nonnegative integer $k$ away from a finite set of points, and the lim…
▽ More
For a sequence of immersed connected closed Hamiltonian stationary Lagrangian submaniolds in $\mathbb{C}^{n}$ with uniform bounds on their volumes and the total extrinsic curvatures, we prove that a subsequence converges either to a point or to a Hamiltonian stationary Lagrangian $n$-varifold locally uniformly in $C^{k}$ for any nonnegative integer $k$ away from a finite set of points, and the limit is Hamiltonian stationary in ${\mathbb{C}}^{n}$. We also obtain a theorem on extending Hamiltonian stationary Lagrangian submanifolds $L$ across a compact set $N$ of Hausdorff codimension at least 2 that is locally noncollapsing in volumes matching its Hausdorff dimension, provided the mean curvature of $L$ is in $L^{n}$ and a condition on local volume of $L$ near $N$ is satisfied.
△ Less
Submitted 10 January, 2019;
originally announced January 2019.
-
Size and Periodicity Effects on Terahertz Properties of Gammadion Metamaterials
Authors:
Daniel M. Heligman,
A. M. Potts,
N. Crescimanno,
M. T. Warren,
E. V. Jasper,
T. T. Mai,
R. Valdés Aguilar
Abstract:
We studied the effects on the terahertz transmission of gammadion metamatials by adjusting the size and periodicity of the metamaterial, while kee** the periodicity and size fixed, respectively. The terahertz transmission responses of these metamaterials were analyzed using terahertz time domain spectroscopy as well as finite difference time domain electromagnetic simulations. We have found that…
▽ More
We studied the effects on the terahertz transmission of gammadion metamatials by adjusting the size and periodicity of the metamaterial, while kee** the periodicity and size fixed, respectively. The terahertz transmission responses of these metamaterials were analyzed using terahertz time domain spectroscopy as well as finite difference time domain electromagnetic simulations. We have found that increasing size or periodicity results in a red shift of the resonant frequency, and that increasing size or decreasing periodicity results in the formation of a second resonant frequency. We associate these effects with the changing lengths of the microstrip lines that make up the metamaterial, as well as the changing strength of nearest-neighbor coupling between gammadions.
△ Less
Submitted 14 November, 2018;
originally announced November 2018.
-
Broadband Circular Polarization Time-Domain Terahertz Spectroscopy
Authors:
Evan V. Jasper,
T. T. Mai,
M. T. Warren,
R. K. Smith,
D. M. Heligman,
E. McCormick,
Y. S. Ou,
M. Sheffield,
R. Valdés Aguilar
Abstract:
Light-matter interactions are key in providing fundamental information about materials. Even in the linear-response regime, the spectroscopic response of a material encodes in it many properties of the ground state as well as of its excitations. This knowledge has been critical in our understanding of novel quantum materials, and the further improvement and extensions of linear spectroscopy will c…
▽ More
Light-matter interactions are key in providing fundamental information about materials. Even in the linear-response regime, the spectroscopic response of a material encodes in it many properties of the ground state as well as of its excitations. This knowledge has been critical in our understanding of novel quantum materials, and the further improvement and extensions of linear spectroscopy will continue to be key in the exploration of novel states of matter. We report the development of broadband circular polarization spectroscopy in the terahertz range of the electromagnetic spectrum. We take advantage of a recent design of a broadband quarter wave plate, based on the Fresnel rhomb concept, and use it in conjunction with a polarization modulation technique to provide direct information of the response of a material to circularly polarized THz radiation; a new capability shown here for the first time. As an example of this technique we study the cyclotron resonance of a 2D electron gas from a AlGaAs-GaAs quantum well. We demonstrate the unique advantages that this technique will bring in the study of novel quantum materials.
△ Less
Submitted 12 September, 2019; v1 submitted 14 November, 2018;
originally announced November 2018.
-
There's No Place Like Home: Visual Teach and Repeat for Emergency Return of Multirotor UAVs During GPS Failure
Authors:
Michael Warren,
Melissa Greeff,
Bhavit Patel,
Jack Collier,
Angela P. Schoellig,
Timothy D. Barfoot
Abstract:
Redundant navigation systems are critical for safe operation of UAVs in high-risk environments. Since most commercial UAVs almost wholly rely on GPS, jamming, interference and multi-pathing are real concerns that usually limit their operations to low-risk environments and Visual Line-Of-Sight. This paper presents a vision-based route-following system for the autonomous, safe return of UAVs under p…
▽ More
Redundant navigation systems are critical for safe operation of UAVs in high-risk environments. Since most commercial UAVs almost wholly rely on GPS, jamming, interference and multi-pathing are real concerns that usually limit their operations to low-risk environments and Visual Line-Of-Sight. This paper presents a vision-based route-following system for the autonomous, safe return of UAVs under primary navigation failure such as GPS jamming. Using a Visual Teach & Repeat framework to build a visual map of the environment during an outbound flight, we show the autonomous return of the UAV by visually localising the live view to this map when a simulated GPS failure occurs, controlling the vehicle to follow the safe outbound path back to the launch point. Using gimbal-stabilised stereo vision alone, without reliance on external infrastructure or inertial sensing, visual odometry and localisation are achieved at altitudes of 5-25 m and flight speeds up to 55 km/h. We examine the performance of the visual localisation algorithm under a variety of conditions and also demonstrate closed-loop autonomy along a complicated 450 m path.
△ Less
Submitted 15 September, 2018;
originally announced September 2018.
-
Interior Schauder estimates for the fourth order Hamiltonian stationary equation in two dimensions
Authors:
Arunima Bhattacharya,
Micah Warren
Abstract:
We consider the Hamiltonian stationary equation for all phases in dimension two. We show that solutions that are $C^{1,1}$ will be smooth and we also derive a $C^{2,α}$ estimate for it.
We consider the Hamiltonian stationary equation for all phases in dimension two. We show that solutions that are $C^{1,1}$ will be smooth and we also derive a $C^{2,α}$ estimate for it.
△ Less
Submitted 24 May, 2018;
originally announced May 2018.
-
Real Polynomials with a Complex Twist
Authors:
Michael Warren,
John Gresham,
Bryant Wyatt
Abstract:
Student appreciation of a function is enhanced by understanding the graphical representation of that function. From the real graph of a polynomial, students can identify real-valued solutions to polynomial equations that correspond to the symbolic form. However, the real graph does not show the non-real solutions to polynomial equations. Instead of enhancing students idea of a function, the tradit…
▽ More
Student appreciation of a function is enhanced by understanding the graphical representation of that function. From the real graph of a polynomial, students can identify real-valued solutions to polynomial equations that correspond to the symbolic form. However, the real graph does not show the non-real solutions to polynomial equations. Instead of enhancing students idea of a function, the traditional graph implies a clear disconnect from the symbolic form. In order to fully appreciate the Fundamental Theorem of Algebra, and the non-real solutions of a polynomial equation, traditional graphs are inadequate. Since the early 20th century, mathematicians have tried to find a way to augment the traditional Cartesian graph of a polynomial to show its complex counterpart. Advancements in computer graphics allow us to easily illustrate a more complete graph of polynomial functions that is still accessible to students of many different levels. The authors will demonstrate a method using modern 3D graphical tools such as GeoGebra to create dynamic visualizations of these more complete polynomial functions.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Transcendental Functions with a Complex Twist
Authors:
Michael Warren,
John Gresham,
Bryant Wyatt
Abstract:
In our previous paper, Real Polynomials with a Complex Twist [see http://archives.math.utk.edu/ICTCM/VOL28/A040/paper.pdf], we used advancements in computer graphics that allow us to easily illustrate more complete graphs of polynomial functions that are still accessible to students of many different levels. In this paper we examine the 3D graphical representations of selected transcendental funct…
▽ More
In our previous paper, Real Polynomials with a Complex Twist [see http://archives.math.utk.edu/ICTCM/VOL28/A040/paper.pdf], we used advancements in computer graphics that allow us to easily illustrate more complete graphs of polynomial functions that are still accessible to students of many different levels. In this paper we examine the 3D graphical representations of selected transcendental functions over subsets of the complex plane for which the functions are real-valued. We visualize and find connections between circular trigonometric functions and hyperbolic functions.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Consequences of Giant Impacts on Early Uranus for Rotation, Internal Structure, Debris, and Atmospheric Erosion
Authors:
J. A. Kegerreis,
L. F. A. Teodoro,
V. R. Eke,
R. J. Massey,
D. C. Catling,
C. L. Fryer,
D. G. Korycansky,
M. S. Warren,
K. J. Zahnle
Abstract:
We perform a suite of smoothed particle hydrodynamics simulations to investigate in detail the results of a giant impact on the young Uranus. We study the internal structure, rotation rate, and atmospheric retention of the post-impact planet, as well as the composition of material ejected into orbit. Most of the material from the impactor's rocky core falls in to the core of the target. However, f…
▽ More
We perform a suite of smoothed particle hydrodynamics simulations to investigate in detail the results of a giant impact on the young Uranus. We study the internal structure, rotation rate, and atmospheric retention of the post-impact planet, as well as the composition of material ejected into orbit. Most of the material from the impactor's rocky core falls in to the core of the target. However, for higher angular momentum impacts, significant amounts become embedded anisotropically as lumps in the ice layer. Furthermore, most of the impactor's ice and energy is deposited in a hot, high-entropy shell at a radius of ~3 Earth radii. This could explain Uranus' observed lack of heat flow from the interior and be relevant for understanding its asymmetric magnetic field. We verify the results from the single previous study of lower resolution simulations that an impactor with a mass of at least 2 Earth masses can produce sufficiently rapid rotation in the post-impact Uranus for a range of angular momenta. At least 90% of the atmosphere remains bound to the final planet after the collision, but over half can be ejected beyond the Roche radius by a 2 or 3 Earth mass impactor. This atmospheric erosion peaks for intermediate impactor angular momenta (~3*10^36 kg m^2 s^-1). Rock is more efficiently placed into orbit and made available for satellite formation by 2 Earth mass impactors than 3 Earth mass ones, because it requires tidal disruption that is suppressed by the more massive impactors.
△ Less
Submitted 3 July, 2018; v1 submitted 19 March, 2018;
originally announced March 2018.
-
Phase transitions on C*-algebras arising from number fields and the generalized Furstenberg conjecture
Authors:
Marcelo Laca,
Jacqueline M. Warren
Abstract:
In recent work, Cuntz, Deninger and Laca have studied the Toeplitz type C*-algebra associated to the affine monoid of algebraic integers in a number field, under a time evolution determined by the absolute norm. The KMS equilibrium states of their system are parametrized by traces on the C*-algebras of the semidirect products $J \rtimes O^*$ resulting from the multiplicative action of the units…
▽ More
In recent work, Cuntz, Deninger and Laca have studied the Toeplitz type C*-algebra associated to the affine monoid of algebraic integers in a number field, under a time evolution determined by the absolute norm. The KMS equilibrium states of their system are parametrized by traces on the C*-algebras of the semidirect products $J \rtimes O^*$ resulting from the multiplicative action of the units $O^*$ on integral ideals $J$ representing each ideal class. At each fixed inverse temperature $β> 2$, the extremal equilibrium states correspond to extremal traces of $C^*(J\rtimes O^*)$. Here we undertake the study of these traces using the transposed action of $O^*$ on the duals $\hat J$ of the ideals and the recent characterization of traces on transformation group C*-algebras due to Neshveyev. We show that the extremal traces of $C^*(J\rtimes O^*)$ are parametrized by pairs consisting of an ergodic invariant measure for the action of $O^*$ on $\hat{J}$ together with a character of the isotropy subgroup associated to the support of this measure. For every ideal the dual group $\hat {J}$ is a d-torus on which $O^*$ acts by linear toral automorphisms. Hence, the problem of classifying all extremal traces is a generalized version of Furstenberg's celebrated $\times 2$ $\times 3$ conjecture. We classify the results for various number fields in terms of ideal class group, degree, and unit rank, and we point along the way the trivial, the intractable, and the conjecturally classifiable cases. At the topological level, it is possible to characterize the number fields for which infinite $O^*$-invariant sets are dense in $\hat{J} $, thanks to a theorem of Berend; as an application we give a description of the primitive ideal space of $C^*(J\rtimes O^*)$ for those number fields.
△ Less
Submitted 23 January, 2018;
originally announced January 2018.
-
Continuum Nash Bargaining Solutions
Authors:
Micah Warren
Abstract:
Nash`s classical bargaining solution suggests that n players in a non-cooperative bargaining situation should find a solution that maximizes the product of each player's utility functions. We consider a special case: Suppose that the players are chosen from a continuum distribution $μ$ and suppose they are to divide up a resource $ν$ that is also on a continuum. The utility to each player is deter…
▽ More
Nash`s classical bargaining solution suggests that n players in a non-cooperative bargaining situation should find a solution that maximizes the product of each player's utility functions. We consider a special case: Suppose that the players are chosen from a continuum distribution $μ$ and suppose they are to divide up a resource $ν$ that is also on a continuum. The utility to each player is determined by the exponential of a distance type function. The maximization problem becomes an optimal transport type problem, where the target density is the minimizer to the functional \[ F(β)=H_ν(β)+W^{2}(μ,β) \] where $H_ν(β)$ is the entropy and $W^{2}$ is the 2-Wasserstein distance. This minimization problem is also solved in the Jordan-Kinderlehrer-Otto scheme. Thanks to optimal transport theory, the solution may be described by a potential that solves a fourth order nonlinear elliptic PDE, similar to Abreu's equation. Using the PDE, we prove solutions are smooth when the measures have smooth positive densities.
△ Less
Submitted 19 December, 2017;
originally announced December 2017.
-
Corrective Re-gridding Techniques for Non-Uniform Sampling in Time Domain Terahertz Spectroscopy
Authors:
A. M. Potts,
T. T. Mai,
M. T. Warren,
R. Valdés Aguilar
Abstract:
Time domain terahertz spectroscopy typically uses mechanical delay stages that inherently suffer from non-uniform sampling positions. We review, simulate, and experimentally test the ability of corrective cubic spline and Shannon re-gridding algorithms to mitigate the inherent sampling position noise. We present simulations and experimental results that show re-gridding algorithms can increase the…
▽ More
Time domain terahertz spectroscopy typically uses mechanical delay stages that inherently suffer from non-uniform sampling positions. We review, simulate, and experimentally test the ability of corrective cubic spline and Shannon re-gridding algorithms to mitigate the inherent sampling position noise. We present simulations and experimental results that show re-gridding algorithms can increase the signal to noise ratio within the frequency range of 100 GHz to 2 THz. We also predict that re-gridding corrections will become increasingly important to both spectroscopy and imaging as THz technology continues to improve and higher frequencies become experimentally accessible.
△ Less
Submitted 18 December, 2017;
originally announced December 2017.
-
Photocathode Quantum Efficiency of Ultra-Thin Cs2Te Layers On Nb Substrates
Authors:
Zikri Yusof,
Adam Denchfield,
Mark Warren,
Javier Cardenas,
Noah Samuelson,
Linda Spentzouris,
John Zasadzinski
Abstract:
The quantum efficiencies (QE) of photocathodes consisting of bulk Nb substrates coated with thin films of Cs2Te are reported. Using the standard recipe for Cs2Te deposition developed for Mo substrates (220 Å Te thickness), a QE ~11% - 13% at light wavelength of 248 nm is achieved for the Nb substrates, consistent with that found on Mo. Systematic reduction of the Te thickness for both Mo and Nb su…
▽ More
The quantum efficiencies (QE) of photocathodes consisting of bulk Nb substrates coated with thin films of Cs2Te are reported. Using the standard recipe for Cs2Te deposition developed for Mo substrates (220 Å Te thickness), a QE ~11% - 13% at light wavelength of 248 nm is achieved for the Nb substrates, consistent with that found on Mo. Systematic reduction of the Te thickness for both Mo and Nb substrates reveals a surprisingly high residual QE ~ 6% for a Te layer as thin as 15 Å. A phenomenological model based on the Spicer 3-Step model along with a solution of the Fresnel equations for reflectance, R, leads to a reasonable fit of the thickness dependence of QE and suggests that layers thinner than 15 Å may still have a relatively high QE. Preliminary investigation suggests an increased operational lifetime as well. Such an ultra-thin, semiconducting Cs2Te layer may be expected to produce minimal ohmic losses for RF frequencies ~ 1 GHz. The result thus opens the door to the potential development of a Nb (or Nb3Sn) superconducting photocathode with relatively high QE and minimal RF impedance to be used in a superconducting radiofrequency (SRF) photoinjector.
△ Less
Submitted 12 September, 2017;
originally announced September 2017.
-
Dynamic mode decomposition for interconnected control systems
Authors:
Byron Heersink,
Michael A. Warren,
Heiko Hoffmann
Abstract:
Dynamic mode decomposition (DMD) is a data-driven technique used for capturing the dynamics of complex systems. DMD has been connected to spectral analysis of the Koopman operator, and essentially extracts spatial-temporal modes of the dynamics from an estimate of the Koopman operator obtained from data. Recent work of Proctor, Brunton, and Kutz has extended DMD and Koopman theory to accommodate s…
▽ More
Dynamic mode decomposition (DMD) is a data-driven technique used for capturing the dynamics of complex systems. DMD has been connected to spectral analysis of the Koopman operator, and essentially extracts spatial-temporal modes of the dynamics from an estimate of the Koopman operator obtained from data. Recent work of Proctor, Brunton, and Kutz has extended DMD and Koopman theory to accommodate systems with control inputs: dynamic mode decomposition with control (DMDc) and Koopman with inputs and control (KIC). In this paper, we introduce a technique, called Network dynamic mode decomposition with control, or Network DMDc, which extends the DMDc to interconnected, or networked, control systems. Additionally, we provide an adaptation of Koopman theory for networks as a context in which to perform this algorithm. The Network DMDc method carefully analyzes the dynamical relationships only between components in systems which are connected in the network structure. By focusing on these direct dynamical connections and cutting out computation for relationships between unconnected components, this process allows for improvements in computational intensity and accuracy.
△ Less
Submitted 8 September, 2017;
originally announced September 2017.
-
Regularity Bootstrap** For Fourth Order Non Linear Elliptic Equations
Authors:
Arunima Bhattacharya,
Micah Warren
Abstract:
We consider nonlinear fourth order elliptic equations of double divergence type. We show that for a certain class of equations where the nonlinearity is in the Hessian, solutions that are C^{2,alpha} enjoy interior estimates on all derivatives.
We consider nonlinear fourth order elliptic equations of double divergence type. We show that for a certain class of equations where the nonlinearity is in the Hessian, solutions that are C^{2,alpha} enjoy interior estimates on all derivatives.
△ Less
Submitted 17 June, 2017;
originally announced June 2017.