-
From the Lagrange Triangle to the Figure Eight Choreography: Proof of Marchal's Conjecture
Authors:
Renato Calleja,
Carlos García-Azpeitia,
Olivier Hénot,
Jean-Philippe Lessard,
Jason D. Mireles James
Abstract:
For the three body problem with equal masses, we prove that the most symmetric continuation class of Lagrange's equilateral triangle solution, also referred to as the $P_{12}$ family of Marchal, contains the remarkable figure eight choreography discovered by Moore in 1993, and proven to exist by Chenciner and Montgomery in 2000. This settles a conjecture of Marchal which dates back to the 1999 con…
▽ More
For the three body problem with equal masses, we prove that the most symmetric continuation class of Lagrange's equilateral triangle solution, also referred to as the $P_{12}$ family of Marchal, contains the remarkable figure eight choreography discovered by Moore in 1993, and proven to exist by Chenciner and Montgomery in 2000. This settles a conjecture of Marchal which dates back to the 1999 conference on Celestial Mechanics in Evanston Illinois, celebrating Donald Saari's 60th birthday.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Computer assisted proofs for transverse heteroclinics by the parameterization method
Authors:
Maxime Murray,
J. D. Mireles James
Abstract:
This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a Fourier-Taylor approximation of the local stable/unstable manifold of the periodic orbit, combined with a numerical method for solving two point boundary value problems vi…
▽ More
This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a Fourier-Taylor approximation of the local stable/unstable manifold of the periodic orbit, combined with a numerical method for solving two point boundary value problems via Chebyshev series approximations. The a-posteriori analysis developed provides mathematically rigorous bounds on all approximation errors, providing both abstract existence results and quantitative information about the true heteroclinic solution. Example calculations are given for both the dissipative Lorenz system and the Hamiltonian Hill Restricted Four Body Problem.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Breaking the Molecular Dynamics Timescale Barrier Using a Wafer-Scale System
Authors:
Kylee Santos,
Stan Moore,
Tomas Oppelstrup,
Amirali Sharifian,
Ilya Sharapov,
Aidan Thompson,
Delyan Z Kalchev,
Danny Perez,
Robert Schreiber,
Scott Pakin,
Edgar A Leon,
James H Laros III,
Michael James,
Sivasankaran Rajamanickam
Abstract:
Molecular dynamics (MD) simulations have transformed our understanding of the nanoscale, driving breakthroughs in materials science, computational chemistry, and several other fields, including biophysics and drug design. Even on exascale supercomputers, however, runtimes are excessive for systems and timescales of scientific interest. Here, we demonstrate strong scaling of MD simulations on the C…
▽ More
Molecular dynamics (MD) simulations have transformed our understanding of the nanoscale, driving breakthroughs in materials science, computational chemistry, and several other fields, including biophysics and drug design. Even on exascale supercomputers, however, runtimes are excessive for systems and timescales of scientific interest. Here, we demonstrate strong scaling of MD simulations on the Cerebras Wafer-Scale Engine. By dedicating a processor core for each simulated atom, we demonstrate a 179-fold improvement in timesteps per second versus the Frontier GPU-based Exascale platform, along with a large improvement in timesteps per unit energy. Reducing every year of runtime to two days unlocks currently inaccessible timescales of slow microstructure transformation processes that are critical for understanding material behavior and function. Our dataflow algorithm runs Embedded Atom Method (EAM) simulations at rates over 270,000 timesteps per second for problems with up to 800k atoms. This demonstrated performance is unprecedented for general-purpose processing cores.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Q-Learning to navigate turbulence without a map
Authors:
Marco Rando,
Martin James,
Alessandro Verri,
Lorenzo Rosasco,
Agnese Seminara
Abstract:
We consider the problem of olfactory searches in a turbulent environment. We focus on agents that respond solely to odor stimuli, with no access to spatial perception nor prior information about the odor location. We ask whether navigation strategies to a target can be learned robustly within a sequential decision making framework. We develop a reinforcement learning algorithm using a small set of…
▽ More
We consider the problem of olfactory searches in a turbulent environment. We focus on agents that respond solely to odor stimuli, with no access to spatial perception nor prior information about the odor location. We ask whether navigation strategies to a target can be learned robustly within a sequential decision making framework. We develop a reinforcement learning algorithm using a small set of interpretable olfactory states and train it with realistic turbulent odor cues. By introducing a temporal memory, we demonstrate that two salient features of odor traces, discretized in few olfactory states, are sufficient to learn navigation in a realistic odor plume. Performance is dictated by the sparse nature of turbulent plumes. An optimal memory exists which ignores blanks within the plume and activates a recovery strategy outside the plume. We obtain the best performance by letting agents learn their recovery strategy and show that it is mostly casting cross wind, similar to behavior observed in flying insects. The optimal strategy is robust to substantial changes in the odor plumes, suggesting minor parameter tuning may be sufficient to adapt to different environments.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Lincoln's Annotated Spatio-Temporal Strawberry Dataset (LAST-Straw)
Authors:
Katherine Margaret Frances James,
Karoline Heiwolt,
Daniel James Sargent,
Grzegorz Cielniak
Abstract:
Automated phenoty** of plants for breeding and plant studies promises to provide quantitative metrics on plant traits at a previously unattainable observation frequency. Developers of tools for performing high-throughput phenoty** are, however, constrained by the availability of relevant datasets on which to perform validation. To this end, we present a spatio-temporal dataset of 3D point clou…
▽ More
Automated phenoty** of plants for breeding and plant studies promises to provide quantitative metrics on plant traits at a previously unattainable observation frequency. Developers of tools for performing high-throughput phenoty** are, however, constrained by the availability of relevant datasets on which to perform validation. To this end, we present a spatio-temporal dataset of 3D point clouds of strawberry plants for two varieties, totalling 84 individual point clouds. We focus on the end use of such tools - the extraction of biologically relevant phenotypes - and demonstrate a phenoty** pipeline on the dataset. This comprises of the steps, including; segmentation, skeletonisation and tracking, and we detail how each stage facilitates the extraction of different phenotypes or provision of data insights. We particularly note that assessment is focused on the validation of phenotypes, extracted from the representations acquired at each step of the pipeline, rather than singularly focusing on assessing the representation itself. Therefore, where possible, we provide \textit{in silico} ground truth baselines for the phenotypes extracted at each step and introduce methodology for the quantitative assessment of skeletonisation and the length trait extracted thereof. This dataset contributes to the corpus of freely available agricultural/horticultural spatio-temporal data for the development of next-generation phenoty** tools, increasing the number of plant varieties available for research in this field and providing a basis for genuine comparison of new phenoty** methodology.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Branches and bifurcations of ejection-collision orbits in the planar circular restricted three body problem
Authors:
Gianni Arioli,
James D. Mireles James
Abstract:
The goal of this paper it to prove existence theorems for one parameter families (branches) of ejection-collision orbits in the planar circular restricted three body problem (CRTBP), and to study some of their bifurcations. The orbits considered are ejected from one primary body and collide with the other (as opposed to more local ejections-collision orbits which involve only a single body). We co…
▽ More
The goal of this paper it to prove existence theorems for one parameter families (branches) of ejection-collision orbits in the planar circular restricted three body problem (CRTBP), and to study some of their bifurcations. The orbits considered are ejected from one primary body and collide with the other (as opposed to more local ejections-collision orbits which involve only a single body). We consider branches which are (i) parameterized by the Jacobi integral (energy like quantity conserved by the CRTBP) and (ii) parameterized by the two body mass ratio when energy is fixed. The method of proof is constructive and computer assisted, hence can be applied in non perturbative settings and (potentially) to other conservative systems of differential equations. The main requirement is that the system should admit a change of coordinates which regularizes the singularities (collisions). In the planar CRTBP the necessary regularization is provided by the classical Levi-Civita transformation.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Measurements of the $ν_μ$ and $\barν_μ$-induced Coherent Charged Pion Production Cross Sections on $^{12}C$ by the T2K experiment
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
S. Alonso Monsalve,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet,
A. Blondel,
S. Bolognesi,
T. Bonus
, et al. (359 additional authors not shown)
Abstract:
We report an updated measurement of the $ν_μ$-induced, and the first measurement of the $\barν_μ$-induced coherent charged pion production cross section on $^{12}C$ nuclei in the T2K experiment. This is measured in a restricted region of the final-state phase space for which $p_{μ,π} > 0.2$ GeV, $\cos(θ_μ) > 0.8$ and $\cos(θ_π) > 0.6$, and at a mean (anti)neutrino energy of 0.85 GeV using the T2K…
▽ More
We report an updated measurement of the $ν_μ$-induced, and the first measurement of the $\barν_μ$-induced coherent charged pion production cross section on $^{12}C$ nuclei in the T2K experiment. This is measured in a restricted region of the final-state phase space for which $p_{μ,π} > 0.2$ GeV, $\cos(θ_μ) > 0.8$ and $\cos(θ_π) > 0.6$, and at a mean (anti)neutrino energy of 0.85 GeV using the T2K near detector. The measured $ν_μ$ CC coherent pion production flux-averaged cross section on $^{12}C$ is $(2.98 \pm 0.37 (stat.) \pm 0.31 (syst.) \substack{ +0.49 \\ -0.00 } \mathrm{ (Q^2\,model)}) \times 10^{-40}~\mathrm{cm}^{2}$. The new measurement of the $\barν_μ$-induced cross section on $^{12}{C}$ is $(3.05 \pm 0.71 (stat.) \pm 0.39 (syst.) \substack{ +0.74 \\ -0.00 } \mathrm{(Q^2\,model)}) \times 10^{-40}~\mathrm{cm}^{2}$. The results are compatible with both the NEUT 5.4.0 Berger-Sehgal (2009) and GENIE 2.8.0 Rein-Sehgal (2007) model predictions.
△ Less
Submitted 14 October, 2023; v1 submitted 31 August, 2023;
originally announced August 2023.
-
Design of Coherent Passive Quantum Equalizers Using Robust Control Theory
Authors:
V. Ugrinovskii,
M. R. James
Abstract:
The paper develops a methodology for the design of coherent equalizing filters for quantum communication channels. Given a linear quantum system model of a quantum communication channel, the aim is to obtain another quantum system which, when coupled with the original system, mitigates degrading effects of the environment. The main result of the paper is a systematic equalizer synthesis algorithm…
▽ More
The paper develops a methodology for the design of coherent equalizing filters for quantum communication channels. Given a linear quantum system model of a quantum communication channel, the aim is to obtain another quantum system which, when coupled with the original system, mitigates degrading effects of the environment. The main result of the paper is a systematic equalizer synthesis algorithm which relies on methods of state-space robust control design via semidefinite programming.
△ Less
Submitted 19 March, 2024; v1 submitted 30 August, 2023;
originally announced August 2023.
-
Weighted Birkhoff Averages and the Parameterization Method
Authors:
David Blessing,
J. D. Mireles James
Abstract:
This work provides a systematic recipe for computing accurate high order Fourier expansions of quasiperiodic invariant circles in area preserving maps. The recipe requires only a finite data set sampled from the quasiperiodic circle. Our approach, being based on the parameterization method, uses a Newton scheme to iteratively solve a conjugacy equation describing the invariant circle. A critical s…
▽ More
This work provides a systematic recipe for computing accurate high order Fourier expansions of quasiperiodic invariant circles in area preserving maps. The recipe requires only a finite data set sampled from the quasiperiodic circle. Our approach, being based on the parameterization method, uses a Newton scheme to iteratively solve a conjugacy equation describing the invariant circle. A critical step in properly formulating the conjugacy equation is to determine the rotation number of the quasiperiodic subsystem. For this we exploit a the weighted Birkhoff averaging method. This approach facilities accurate computation of the rotation number given nothing but the already mentioned orbit data.
The weighted Birkhoff averages also facilitate the computation of other integral observables like Fourier coefficients of the parameterization of the invariant circle. Since the parameterization method is based on a Newton scheme, we only need to approximate a small number of Fourier coefficients with low accuracy to find a good enough initial approximation so that Newton converges. Moreover, the Fourier coefficients may be computed independently, so we can sample the higher modes to guess the decay rate of the Fourier coefficients. This allows us to choose, a-priori, an appropriate number of modes in the truncation. We illustrate the utility of the approach for explicit example systems including the area preserving Henon map and the standard map. We present example computations for invariant circles with period as low as 1 and up to more than 100. We also employ a numerical continuation scheme to compute large numbers of quasiperiodic circles in these systems. During the continuation we monitor the Sobolev norm of the Parameterization to automatically detect the breakdown of the family.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Validating AI-Generated Code with Live Programming
Authors:
Kasra Ferdowsi,
Ruanqianqian Huang,
Michael B. James,
Nadia Polikarpova,
Sorin Lerner
Abstract:
AI-powered programming assistants are increasingly gaining popularity, with GitHub Copilot alone used by over a million developers worldwide. These tools are far from perfect, however, producing code suggestions that may be incorrect in subtle ways. As a result, developers face a new challenge: validating AI's suggestions. This paper explores whether Live Programming (LP), a continuous display of…
▽ More
AI-powered programming assistants are increasingly gaining popularity, with GitHub Copilot alone used by over a million developers worldwide. These tools are far from perfect, however, producing code suggestions that may be incorrect in subtle ways. As a result, developers face a new challenge: validating AI's suggestions. This paper explores whether Live Programming (LP), a continuous display of a program's runtime values, can help address this challenge. To answer this question, we built a Python editor that combines an AI-powered programming assistant with an existing LP environment. Using this environment in a between-subjects study (N=17), we found that by lowering the cost of validation by execution, LP can mitigate over- and under-reliance on AI-generated programs and reduce the cognitive load of validation for certain types of tasks.
△ Less
Submitted 23 February, 2024; v1 submitted 15 June, 2023;
originally announced June 2023.
-
Updated T2K measurements of muon neutrino and antineutrino disappearance using 3.6 $\times$ 10$^{21}$ protons on target
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
H. Alarakia-Charles,
A. Ali,
Y. I. Alj Hakim,
S. Alonso Monsalve,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet
, et al. (385 additional authors not shown)
Abstract:
Muon neutrino and antineutrino disappearance probabilities are identical in the standard three-flavor neutrino oscillation framework, but CPT violation and non-standard interactions can violate this symmetry. In this work we report the measurements of $\sin^{2} θ_{23}$ and $Δm_{32}^2$ independently for neutrinos and antineutrinos. The aforementioned symmetry violation would manifest as an inconsis…
▽ More
Muon neutrino and antineutrino disappearance probabilities are identical in the standard three-flavor neutrino oscillation framework, but CPT violation and non-standard interactions can violate this symmetry. In this work we report the measurements of $\sin^{2} θ_{23}$ and $Δm_{32}^2$ independently for neutrinos and antineutrinos. The aforementioned symmetry violation would manifest as an inconsistency in the neutrino and antineutrino oscillation parameters. The analysis discussed here uses a total of 1.97$\times$10$^{21}$ and 1.63$\times$10$^{21}$ protons on target taken with a neutrino and antineutrino beam respectively, and benefits from improved flux and cross-section models, new near detector samples and more than double the data reducing the overall uncertainty of the result. No significant deviation is observed, consistent with the standard neutrino oscillation picture.
△ Less
Submitted 16 October, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
Towards discovery of gravitationally lensed explosive transients: the brightest galaxies in massive galaxy clusters from Planck-SZ2
Authors:
Joshua C. Smith,
Dan Ryczanowski,
Matteo Bianconi,
Denisa Cristescu,
Sivani Harisankar,
Saskia Hawkins,
Megan L. James,
Evan J. Ridley,
Simon Wooding,
Graham P. Smith
Abstract:
We combine the Planck-SZ2 galaxy cluster catalogue with near-infrared photometry of galaxies from the VISTA Hemisphere Survey to identify candidate brightest cluster galaxies (BCGs) in 306 massive clusters in the Southern skies at redshifts of $z>0.1$. We find that 91% of these clusters have at least one candidate BCG within the 95% confidence interval on the cluster centers quoted by the Planck c…
▽ More
We combine the Planck-SZ2 galaxy cluster catalogue with near-infrared photometry of galaxies from the VISTA Hemisphere Survey to identify candidate brightest cluster galaxies (BCGs) in 306 massive clusters in the Southern skies at redshifts of $z>0.1$. We find that 91% of these clusters have at least one candidate BCG within the 95% confidence interval on the cluster centers quoted by the Planck collaboration, providing reassurance that our analyses are statistically compatible, and find 92% to be reasonable candidates following a manual inspection. We make our catalog publicly available to assist colleagues interested in multi-wavelength studies of cluster cores, and the search for gravitationally lensed explosive transients in upcoming surveys including the Legacy Survey of Space and Time by the Vera C. Rubin Observatory.
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
Numerical computation of transverse homoclinic orbits for periodic solutions of delay differential equations
Authors:
Olivier Hénot,
Jean-Philippe Lessard,
Jason D. Mireles James
Abstract:
We present a computational method for studying transverse homoclinic orbits for periodic solutions of delay differential equations, a phenomenon that we refer to as the \emph{Poincaré scenario}. The strategy is geometric in nature, and consists of viewing the connection as the zero of a nonlinear map, such that the invertibility of its Fréchet derivative implies the transversality of the intersect…
▽ More
We present a computational method for studying transverse homoclinic orbits for periodic solutions of delay differential equations, a phenomenon that we refer to as the \emph{Poincaré scenario}. The strategy is geometric in nature, and consists of viewing the connection as the zero of a nonlinear map, such that the invertibility of its Fréchet derivative implies the transversality of the intersection. The map is defined by a projected boundary value problem (BVP), with boundary conditions in the (finite dimensional) unstable and (infinite dimensional) stable manifolds of the periodic orbit. The parameterization method is used to compute the unstable manifold and the BVP is solved using a discrete time dynamical system approach (defined via the \emph{method of steps}) and Chebyshev series expansions. We illustrate this technique by computing transverse homoclinic orbits in the cubic Ikeda and Mackey-Glass systems.
△ Less
Submitted 16 October, 2023; v1 submitted 1 April, 2023;
originally announced April 2023.
-
First measurement of muon neutrino charged-current interactions on hydrocarbon without pions in the final state using multiple detectors with correlated energy spectra at T2K
Authors:
K. Abe,
N. Akhlaq,
R. Akutsu,
H. Alarakia-Charles,
A. Ali,
Y. I. Alj Hakim,
S. Alonso Monsalve,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet
, et al. (380 additional authors not shown)
Abstract:
This paper reports the first measurement of muon neutrino charged-current interactions without pions in the final state using multiple detectors with correlated energy spectra at T2K. The data was collected on hydrocarbon targets using the off-axis T2K near detector (ND280) and the on-axis T2K near detector (INGRID) with neutrino energy spectra peaked at 0.6 GeV and 1.1 GeV respectively. The corre…
▽ More
This paper reports the first measurement of muon neutrino charged-current interactions without pions in the final state using multiple detectors with correlated energy spectra at T2K. The data was collected on hydrocarbon targets using the off-axis T2K near detector (ND280) and the on-axis T2K near detector (INGRID) with neutrino energy spectra peaked at 0.6 GeV and 1.1 GeV respectively. The correlated neutrino flux presents an opportunity to reduce the impact of the flux uncertainty and to study the energy dependence of neutrino interactions. The extracted double-differential cross sections are compared to several Monte Carlo neutrino-nucleus interaction event generators showing the agreement between both detectors individually and with the correlated result.
△ Less
Submitted 18 October, 2023; v1 submitted 24 March, 2023;
originally announced March 2023.
-
Quantum gas-enabled direct map** of active current density in percolating networks of nanowires
Authors:
J. Fekete,
P. Joshi,
T. J. Barrett,
T. M. James,
R. Shah,
A. Gadge,
S. Bhumbra,
F. Oručević,
P. Krüger
Abstract:
Electrically percolating nanowire networks are amongst the most promising candidates for next-generation transparent electrodes. Scientific interest in these materials stems from their intrinsic current distribution heterogeneity, leading to phenomena like percolating pathway re-routing and localized self-heating, which can cause irreversible damage. Without an experimental technique to resolve th…
▽ More
Electrically percolating nanowire networks are amongst the most promising candidates for next-generation transparent electrodes. Scientific interest in these materials stems from their intrinsic current distribution heterogeneity, leading to phenomena like percolating pathway re-routing and localized self-heating, which can cause irreversible damage. Without an experimental technique to resolve the current distribution, and an underpinning nonlinear percolation model, one relies on empirical rules and safety factors to engineer these materials. We introduce Bose-Einstein microscopy to address the long-standing problem of imaging active current flow in 2D materials. We report on improvement of the performance of this technique, whereby observation of dynamic redistribution of current pathways becomes feasible. We show how this, combined with existing thermal imaging methods, eliminates the need for assumptions between electrical and thermal properties. This will enable testing and modelling individual junction behaviour and hotspot formation. Investigating both reversible and irreversible mechanisms will contribute to the advancement of devices with improved performance and reliability.
△ Less
Submitted 9 November, 2023; v1 submitted 21 March, 2023;
originally announced March 2023.
-
Measurements of neutrino oscillation parameters from the T2K experiment using $3.6\times10^{21}$ protons on target
Authors:
The T2K Collaboration,
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
S. Alonso Monsalve,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet,
A. Blondel
, et al. (376 additional authors not shown)
Abstract:
The T2K experiment presents new measurements of neutrino oscillation parameters using $19.7(16.3)\times10^{20}$ protons on target (POT) in (anti-)neutrino mode at the far detector (FD). Compared to the previous analysis, an additional $4.7\times10^{20}$ POT neutrino data was collected at the FD. Significant improvements were made to the analysis methodology, with the near-detector analysis introdu…
▽ More
The T2K experiment presents new measurements of neutrino oscillation parameters using $19.7(16.3)\times10^{20}$ protons on target (POT) in (anti-)neutrino mode at the far detector (FD). Compared to the previous analysis, an additional $4.7\times10^{20}$ POT neutrino data was collected at the FD. Significant improvements were made to the analysis methodology, with the near-detector analysis introducing new selections and using more than double the data. Additionally, this is the first T2K oscillation analysis to use NA61/SHINE data on a replica of the T2K target to tune the neutrino flux model, and the neutrino interaction model was improved to include new nuclear effects and calculations. Frequentist and Bayesian analyses are presented, including results on $\sin^2θ_{13}$ and the impact of priors on the $δ_\mathrm{CP}$ measurement. Both analyses prefer the normal mass ordering and upper octant of $\sin^2θ_{23}$ with a nearly maximally CP-violating phase. Assuming the normal ordering and using the constraint on $\sin^2θ_{13}$ from reactors, $\sin^2θ_{23}=0.561^{+0.021}_{-0.032}$ using Feldman--Cousins corrected intervals, and $Δm^2_{32}=2.494_{-0.058}^{+0.041}\times10^{-3}~\mathrm{eV^2}$ using constant $Δχ^{2}$ intervals. The CP-violating phase is constrained to $δ_\mathrm{CP}=-1.97_{-0.70}^{+0.97}$ using Feldman--Cousins corrected intervals, and $δ_\mathrm{CP}=0,π$ is excluded at more than 90% confidence level. A Jarlskog invariant of zero is excluded at more than $2σ$ credible level using a flat prior in $δ_\mathrm{CP}$, and just below $2σ$ using a flat prior in $\sinδ_\mathrm{CP}$. When the external constraint on $\sin^2θ_{13}$ is removed, $\sin^2θ_{13}=28.0^{+2.8}_{-6.5}\times10^{-3}$, in agreement with measurements from reactor experiments. These results are consistent with previous T2K analyses.
△ Less
Submitted 10 September, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four body problem
Authors:
J. D. Mireles James,
Maxime Murray
Abstract:
We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular restricted four body problem. The idea is to formulate the desired connecting orbits as solutions of certain two point boundary value problems for orbit segments which…
▽ More
We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter and energy values in the spatial equilateral circular restricted four body problem. The idea is to formulate the desired connecting orbits as solutions of certain two point boundary value problems for orbit segments which originate and terminate on the local stable/unstable manifolds attached to a periodic orbit. These boundary value problems are studied via a Newton-Kantorovich argument in an appropriate Cartesian product of Banach algebras of rapidly decaying sequences of Chebyshev coefficients. Perhaps the most delicate part of the problem is controlling the boundary conditions, which must lie on the local stable/unstable manifolds of the periodic orbit. For this portion of the problem we use a parameterization method to develop Fourier-Taylor approximations equipped with a-posteriori error bounds. This requires validated computation of a finite number of Fourier-Taylor coefficients via Newton-Kantorovich arguments in appropriate Cartesian product of rapidly decaying sequences of Fourier coefficients, followed by a fixed point argument to bound the tail terms of the Taylor expansion. Transversality follows as a consequence of the Newton-Kantorovich argument.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
State dependent delay maps: numerical algorithms and dynamics of projections
Authors:
J. D. Mireles James,
Francis Motta,
Vincent Naudot
Abstract:
This work concerns the dynamics of a certain class of delay differential equations (DDEs) which we refer to as state dependent delay maps. These maps are generated by delay differential equations where the derivative of the current state depends only on delayed variables, and not on the un-delayed state. However, we allow that the delay is itself a function of the state variable. A delay map with…
▽ More
This work concerns the dynamics of a certain class of delay differential equations (DDEs) which we refer to as state dependent delay maps. These maps are generated by delay differential equations where the derivative of the current state depends only on delayed variables, and not on the un-delayed state. However, we allow that the delay is itself a function of the state variable. A delay map with constant delays can be rewritten explicitly as a discrete time dynamical system on an appropriate function space, and a delay map with small state dependent terms can be viewed as a ``non-autonomous'' perturbation. We develop a fixed point formulation for the Cauchy problem of such perturbations, and under appropriate assumptions obtain the existence of forward iterates of the map.
The proof is constructive and leads to numerical procedures which we implement for illustrative examples, including the cubic Ikeda and Mackey-Glass systems with constant and state-dependent delays. After proving a local convergence result for the method, we study more qualitative/global convergence issues using data analytic tools for time series analysis (dimension and topological measures derived from persistent homology). Using these tools we quantify the convergence of the dynamics in the finite dimensional projections to the dynamics of the infinite dimensional system.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Coherent Equalization of Linear Quantum Systems
Authors:
V. Ugrinovskii,
M. R. James
Abstract:
This paper introduces a $H_\infty$-like methodology of coherent filtering for equalization of passive linear quantum systems to help mitigate degrading effects of quantum communication channels. For such systems, which include a wide range of linear quantum optical devices and signals, we seek to find a near optimal equalizing filter which is itself a passive quantum system. The problem amounts to…
▽ More
This paper introduces a $H_\infty$-like methodology of coherent filtering for equalization of passive linear quantum systems to help mitigate degrading effects of quantum communication channels. For such systems, which include a wide range of linear quantum optical devices and signals, we seek to find a near optimal equalizing filter which is itself a passive quantum system. The problem amounts to solving an optimization problem subject to constraints dictated by the requirement for the equalizer to be physically realizable. By formulating these constraints in the frequency domain, we show that the problem admits a convex $H_\infty$-like formulation. This allows us to derive a set of suboptimal coherent equalizers using $J$-spectral factorization. An additional semidefinite relaxation combined with the Nevanlinna-Pick interpolation is shown to lead to a tractable algorithm for the design of a near optimal coherent equalizer.
△ Less
Submitted 21 March, 2024; v1 submitted 11 November, 2022;
originally announced November 2022.
-
Disruptive Changes in Field Equation Modeling: A Simple Interface for Wafer Scale Engines
Authors:
Mino Woo,
Terry Jordan,
Robert Schreiber,
Ilya Sharapov,
Shaheer Muhammad,
Abhishek Koneru,
Michael James,
Dirk Van Essendelft
Abstract:
We present a high-level and accessible Application Programming Interface (API) for the solution of field equations on the Cerebras Systems Wafer-Scale Engine (WSE) with over two orders of magnitude performance gain relative to traditional distributed computing approaches. The domain-specific API is called the WSE Field-equation API (WFA). The WFA outperforms OpenFOAM on NETL's Joule 2.0 supercompu…
▽ More
We present a high-level and accessible Application Programming Interface (API) for the solution of field equations on the Cerebras Systems Wafer-Scale Engine (WSE) with over two orders of magnitude performance gain relative to traditional distributed computing approaches. The domain-specific API is called the WSE Field-equation API (WFA). The WFA outperforms OpenFOAM on NETL's Joule 2.0 supercomputer by over two orders of magnitude in time to solution. While this performance is consistent with hand-optimized assembly codes, the WFA provides an easy-to-use, high-level Python interface that allows users to form and solve field equations effortlessly. We report here the WFA programming methodology and achieved performance on the latest generation of WSE, the CS-2.
△ Less
Submitted 28 September, 2022; v1 submitted 27 September, 2022;
originally announced September 2022.
-
Scintillator ageing of the T2K near detectors from 2010 to 2021
Authors:
The T2K Collaboration,
K. Abe,
N. Akhlaq,
R. Akutsu,
A. Ali,
C. Alt,
C. Andreopoulos,
M. Antonova,
S. Aoki,
T. Arihara,
Y. Asada,
Y. Ashida,
E. T. Atkin,
S. Ban,
M. Barbi,
G. J. Barker,
G. Barr,
D. Barrow,
M. Batkiewicz-Kwasniak,
F. Bench,
V. Berardi,
L. Berns,
S. Bhadra,
A. Blanchet,
A. Blondel
, et al. (333 additional authors not shown)
Abstract:
The T2K experiment widely uses plastic scintillator as a target for neutrino interactions and an active medium for the measurement of charged particles produced in neutrino interactions at its near detector complex. Over 10 years of operation the measured light yield recorded by the scintillator based subsystems has been observed to degrade by 0.9--2.2\% per year. Extrapolation of the degradation…
▽ More
The T2K experiment widely uses plastic scintillator as a target for neutrino interactions and an active medium for the measurement of charged particles produced in neutrino interactions at its near detector complex. Over 10 years of operation the measured light yield recorded by the scintillator based subsystems has been observed to degrade by 0.9--2.2\% per year. Extrapolation of the degradation rate through to 2040 indicates the recorded light yield should remain above the lower threshold used by the current reconstruction algorithms for all subsystems. This will allow the near detectors to continue contributing to important physics measurements during the T2K-II and Hyper-Kamiokande eras. Additionally, work to disentangle the degradation of the plastic scintillator and wavelength shifting fibres shows that the reduction in light yield can be attributed to the ageing of the plastic scintillator.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
Intermittency, fluctuations and maximal chaos in an emergent universal state of active turbulence
Authors:
Siddhartha Mukherjee,
Rahul K. Singh,
Martin James,
Samriddhi Sankar Ray
Abstract:
A hydrodynamic model of active, low Reynolds number suspensions, shows the emergence of an asymptotic state with a universal spectral scaling and non-Gaussian (intermittent) fluctuations in the velocity field. Such states arise when these systems are pushed beyond a critical level of activity and show features akin to high Reynolds number, inertial turbulence. We provide compelling numerical and a…
▽ More
A hydrodynamic model of active, low Reynolds number suspensions, shows the emergence of an asymptotic state with a universal spectral scaling and non-Gaussian (intermittent) fluctuations in the velocity field. Such states arise when these systems are pushed beyond a critical level of activity and show features akin to high Reynolds number, inertial turbulence. We provide compelling numerical and analytical evidence for the existence of such a transition at a critical value of activity and further show that the maximally chaotic states are tied to this transition.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Grounded Copilot: How Programmers Interact with Code-Generating Models
Authors:
Shraddha Barke,
Michael B. James,
Nadia Polikarpova
Abstract:
Powered by recent advances in code-generating models, AI assistants like Github Copilot promise to change the face of programming forever. But what is this new face of programming? We present the first grounded theory analysis of how programmers interact with Copilot, based on observing 20 participants--with a range of prior experience using the assistant--as they solve diverse programming tasks a…
▽ More
Powered by recent advances in code-generating models, AI assistants like Github Copilot promise to change the face of programming forever. But what is this new face of programming? We present the first grounded theory analysis of how programmers interact with Copilot, based on observing 20 participants--with a range of prior experience using the assistant--as they solve diverse programming tasks across four languages. Our main finding is that interactions with programming assistants are bimodal: in acceleration mode, the programmer knows what to do next and uses Copilot to get there faster; in exploration mode, the programmer is unsure how to proceed and uses Copilot to explore their options. Based on our theory, we provide recommendations for improving the usability of future AI programming assistants.
△ Less
Submitted 31 October, 2022; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
Authors:
Maciej J. Capinski,
Shane Kepley,
Jason D. Mireles James
Abstract:
This paper considers two point boundary value problems for conservative systems defined in multiple coordinate systems, and develops a flexible a-posteriori framework for computer assisted existence proofs. Our framework is applied to the study collision and near collision orbits in the circular restricted three body problem. In this case the coordinate systems are the standard rotating coordinate…
▽ More
This paper considers two point boundary value problems for conservative systems defined in multiple coordinate systems, and develops a flexible a-posteriori framework for computer assisted existence proofs. Our framework is applied to the study collision and near collision orbits in the circular restricted three body problem. In this case the coordinate systems are the standard rotating coordinates, and the two Levi-Civita coordinate systems regularizing collisions with each of the massive primaries. The proposed framework is used to prove the existence of a number of orbits which have long been studied numerically in the celestial mechanics literature, but for which there are no existing analytical proofs at the mass and energy values considered here. These include transverse ejection/collisions from one primary body to the other, Strömgren's assymptotic periodic orbits (transverse homoclinics for $L_{4,5}$), families of periodic orbits passing through collision, and orbits connecting $L_4$ to ejection or collision.
△ Less
Submitted 21 March, 2023; v1 submitted 8 May, 2022;
originally announced May 2022.
-
Efficiency Studies of Fast Neutron Tracking using MCNP
Authors:
**han Chu,
Michael R. James,
Zhehui Wang
Abstract:
Fast neutron identification and spectroscopy is of great interest to nuclear physics experiments. Using the neutron elastic scattering, the fast neutron momentum can be measured. (Wang and Morris, 2013) introduced the theoretical concept that the initial fast neutron momentum can be derived from up to three consecutive elastic collisions between the neutron and the target, including the informatio…
▽ More
Fast neutron identification and spectroscopy is of great interest to nuclear physics experiments. Using the neutron elastic scattering, the fast neutron momentum can be measured. (Wang and Morris, 2013) introduced the theoretical concept that the initial fast neutron momentum can be derived from up to three consecutive elastic collisions between the neutron and the target, including the information of two consecutive recoil ion tracks and the vertex position of the third collision or two consecutive elastic collisions with the timing information. Here we also include the additional possibility of measuring the deposited energies from the recoil ions. In this paper, we simulate the neutron elastic scattering using the Monte Carlo N-Particle Transport Code (MCNP) and study the corresponding neutron detection and tracking efficiency. The corresponding efficiency and the scattering distances are simulated with different target materials, especially natural silicon (92.23$\%$ $^{28}$Si, 4.67$\%$ $^{29}$Si, and 3.1$\%$ $^{30}$Si) and helium-4 ($^4$He). The timing of collision and the recoil ion energy are also investigated, which are important characters for the detector design. We also calculate the ion travelling range for different energies using the software, "The Stop** and Range of Ions in Matter (SRIM)", showing that the ion track can be most conveniently observed in $^4$He unless sub-micron spatial resolution can be obtained in silicon.
△ Less
Submitted 4 May, 2022; v1 submitted 14 March, 2022;
originally announced March 2022.
-
Investigating Mercury's Environment with the Two-Spacecraft BepiColombo Mission
Authors:
A. Milillo,
M. Fujimoto,
G. Murakami,
J. Benkhoff,
J. Zender,
S. Aizawa,
M. Dósa,
L. Griton,
D. Heyner,
G. Ho,
S. M. Imber,
X. Jia,
T. Karlsson,
R. M. Killen,
M. Laurenza,
S. T. Lindsay,
S. McKenna-Lawlor,
A. Mura,
J. M. Raines,
D. A. Rothery,
N. André,
W. Baumjohann,
A. Berezhnoy,
P. -A. Bourdin,
E. J. Bunce
, et al. (54 additional authors not shown)
Abstract:
The ESA-JAXA BepiColombo mission will provide simultaneous measurements from two spacecraft, offering an unprecedented opportunity to investigate magnetospheric and exospheric dynamics at Mercury as well as their interactions with the solar wind, radiation, and interplanetary dust. Many scientific instruments onboard the two spacecraft will be completely, or partially devoted to study the near-spa…
▽ More
The ESA-JAXA BepiColombo mission will provide simultaneous measurements from two spacecraft, offering an unprecedented opportunity to investigate magnetospheric and exospheric dynamics at Mercury as well as their interactions with the solar wind, radiation, and interplanetary dust. Many scientific instruments onboard the two spacecraft will be completely, or partially devoted to study the near-space environment of Mercury as well as the complex processes that govern it. Many issues remain unsolved even after the MESSENGER mission that ended in 2015. The specific orbits of the two spacecraft, MPO and Mio, and the comprehensive scientific payload allow a wider range of scientific questions to be addressed than those that could be achieved by the individual instruments acting alone, or by previous missions. These joint observations are of key importance because many phenomena in Mercury's environment are highly temporally and spatially variable. Examples of possible coordinated observations are described in this article, analysing the required geometrical conditions, pointing, resolutions and operation timing of different BepiColombo instruments sensors.
△ Less
Submitted 26 February, 2022;
originally announced February 2022.
-
Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
Authors:
Joan Gimeno,
Jean-Philippe Lessard,
J. D. Mireles James,
Jiaqi Yang
Abstract:
A computer-assisted argument is given, which provides existence proofs for periodic orbits in state-dependent delayed perturbations of ordinary differential equations (ODEs). Assuming that the unperturbed ODE has an isolated periodic orbit, we introduce a set of polynomial inequalities whose successful verification leads to the existence of periodic orbits in the perturbed delay equation. We prese…
▽ More
A computer-assisted argument is given, which provides existence proofs for periodic orbits in state-dependent delayed perturbations of ordinary differential equations (ODEs). Assuming that the unperturbed ODE has an isolated periodic orbit, we introduce a set of polynomial inequalities whose successful verification leads to the existence of periodic orbits in the perturbed delay equation. We present a general algorithm, which describes a way of computing the coefficients of the polynomials and optimizing their variables so that the polynomial inequalities are satisfied. The algorithm uses the tools of validated numerics together with Chebyshev series expansion to obtain the periodic orbit of the ODE as well as the solution of the variational equations, which are both used to compute rigorously the coefficients of the polynomials. We apply our algorithm to prove the existence of periodic orbits in a state-dependent delayed perturbation of the van der Pol equation.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
A Burden Shared is a Burden Halved: A Fairness-Adjusted Approach to Classification
Authors:
Bradley Rava,
Wenguang Sun,
Gareth M. James,
Xin Tong
Abstract:
We investigate the fairness issue in classification, where automated decisions are made for individuals from different protected groups. In high-consequence scenarios, decision errors can disproportionately affect certain protected groups, leading to unfair outcomes. To address this issue, we propose a fairness-adjusted selective inference (FASI) framework and develop data-driven algorithms that a…
▽ More
We investigate the fairness issue in classification, where automated decisions are made for individuals from different protected groups. In high-consequence scenarios, decision errors can disproportionately affect certain protected groups, leading to unfair outcomes. To address this issue, we propose a fairness-adjusted selective inference (FASI) framework and develop data-driven algorithms that achieve statistical parity by controlling the false selection rate (FSR) among protected groups. Our FASI algorithm operates by converting the outputs of black-box classifiers into R-values, which are both intuitive and computationally efficient. These R-values serve as the basis for selection rules that are provably valid for FSR control in finite samples for protected groups, effectively mitigating the unfairness in group-wise error rates. We demonstrate the numerical performance of our approach using both simulated and real data.
△ Less
Submitted 15 June, 2024; v1 submitted 11 October, 2021;
originally announced October 2021.
-
Predicting Drought and Subsidence Risks in France
Authors:
Arthur Charpentier,
Molly James,
Hani Ali
Abstract:
The economic consequences of drought episodes are increasingly important, although they are often difficult to apprehend in part because of the complexity of the underlying mechanisms. In this article, we will study one of the consequences of drought, namely the risk of subsidence (or more specifically clay shrinkage induced subsidence), for which insurance has been mandatory in France for several…
▽ More
The economic consequences of drought episodes are increasingly important, although they are often difficult to apprehend in part because of the complexity of the underlying mechanisms. In this article, we will study one of the consequences of drought, namely the risk of subsidence (or more specifically clay shrinkage induced subsidence), for which insurance has been mandatory in France for several decades. Using data obtained from several insurers, representing about a quarter of the household insurance market, over the past twenty years, we propose some statistical models to predict the frequency but also the intensity of these droughts, for insurers, showing that climate change will have probably major economic consequences on this risk. But even if we use more advanced models than standard regression-type models (here random forests to capture non linearity and cross effects), it is still difficult to predict the economic cost of subsidence claims, even if all geophysical and climatic information is available.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
Measurements of 10 Scarcely Observed Pairs
Authors:
Matthew B. James,
Graeme L. White,
Roderick R. Letchford,
Stephen G. Bosi
Abstract:
Separation ($ρ$) and Position Angle (PA) measurements are reported of 10 pairs which measures where last reported in the WDS +20 years from epoch of observation 2021.066. Measurements were obtained by direct imaging and are presented with associated measurement uncertainties, as well as, comparisons to measurements determined from Gaia DR2 & EDR3 and historic data extrapolation at epoch of J2000.0…
▽ More
Separation ($ρ$) and Position Angle (PA) measurements are reported of 10 pairs which measures where last reported in the WDS +20 years from epoch of observation 2021.066. Measurements were obtained by direct imaging and are presented with associated measurement uncertainties, as well as, comparisons to measurements determined from Gaia DR2 & EDR3 and historic data extrapolation at epoch of J2000.0.
△ Less
Submitted 12 June, 2021;
originally announced June 2021.
-
A modular optically pumped magnetometer system
Authors:
Thomas Coussens,
Aikaterini Gialopsou,
Christopher Abel,
Mark G. Bason,
Tim M. James,
William Evans,
Michael T. M. Woodley,
Denilson Nicolau,
Leigh Page,
Fedja Orucevic,
Peter Kruger
Abstract:
To address the demands in healthcare and industrial settings for spatially resolved magnetic imaging, we present a modular optically pumped magnetometer (OPM) system comprising a multi-sensor array of highly sensitive quantum magnetometers. This system is designed and built to facilitate fast prototy** and testing of new measurement schemes by enabling quick reconfiguration of the self-contained…
▽ More
To address the demands in healthcare and industrial settings for spatially resolved magnetic imaging, we present a modular optically pumped magnetometer (OPM) system comprising a multi-sensor array of highly sensitive quantum magnetometers. This system is designed and built to facilitate fast prototy** and testing of new measurement schemes by enabling quick reconfiguration of the self-contained laser and sensor modules as well as allowing for the construction of various array layouts with a shared light source. The modularity of this system facilitates the development of methods for managing high-density arrays for magnetic imaging. The magnetometer sensitivity and bandwidth are first characterised in both individual channel and differential gradiometer configurations before testing in a real-world magnetoencephalography environment by measuring alpha rhythms from the brain of a human participant. We demonstrate the OPM system in a first-order axial gradiometer configuration with a magnetic field gradient sensitivity of 10 $\mathrm{fT/cm/\sqrt{Hz}}$. Bandwidths exceeding 200 Hz were achieved for two independent modules. The system's increased temporal resolution allows for the measurement of spinal cord signals, which we demonstrate by using phantom signal trials and comparing with an existing commercial sensor.
△ Less
Submitted 6 February, 2024; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Anomalous diffusion and Lévy walks distinguish active from inertial turbulence
Authors:
Siddhartha Mukherjee,
Rahul K. Singh,
Martin James,
Samriddhi Sankar Ray
Abstract:
Bacterial swarms display intriguing dynamical states like active turbulence. Using a hydrodynamic model we now show that such dense active suspensions manifest super-diffusion, via Lévy walks, which masquerades as a crossover from ballistic to diffusive scaling in measurements of mean-squared-displacements, and is tied to the emergence of hitherto undetected oscillatory streaks in the flow. Thus,…
▽ More
Bacterial swarms display intriguing dynamical states like active turbulence. Using a hydrodynamic model we now show that such dense active suspensions manifest super-diffusion, via Lévy walks, which masquerades as a crossover from ballistic to diffusive scaling in measurements of mean-squared-displacements, and is tied to the emergence of hitherto undetected oscillatory streaks in the flow. Thus, while laying the theoretical framework of an emergent advantageous strategy in the collective behaviour of microorganisms, our study underlines the essential differences between active and inertial turbulence.
△ Less
Submitted 13 September, 2021; v1 submitted 17 May, 2021;
originally announced May 2021.
-
PENELLOPE: the ESO data legacy program to complement the Hubble UV Legacy Library of Young Stars (ULLYSES) I. Survey presentation and accretion properties of Orion OB1 and $σ$-Orionis
Authors:
C. F. Manara,
A. Frasca,
L. Venuti,
M. Siwak,
G. J. Herczeg,
N. Calvet,
J. Hernandez,
Ł. Tychoniec,
M. Gangi,
J. M. Alcalá,
H. M. J. Boffin,
B. Nisini,
M. Robberto,
C. Briceno,
J. Campbell-White,
A. Sicilia-Aguilar,
P. McGinnis,
D. Fedele,
Á. Kóspál,
P. Ábrahám,
J. Alonso-Santiago,
S. Antoniucci,
N. Arulanantham,
F. Bacciotti,
A. Banzatti
, et al. (47 additional authors not shown)
Abstract:
The evolution of young stars and disks is driven by the interplay of several processes, notably accretion and ejection of material. Critical to correctly describe the conditions of planet formation, these processes are best probed spectroscopically. About five-hundred orbits of the Hubble Space Telescope (HST) are being devoted in 2020-2022 to the ULLYSES public survey of about 70 low-mass (M<2Msu…
▽ More
The evolution of young stars and disks is driven by the interplay of several processes, notably accretion and ejection of material. Critical to correctly describe the conditions of planet formation, these processes are best probed spectroscopically. About five-hundred orbits of the Hubble Space Telescope (HST) are being devoted in 2020-2022 to the ULLYSES public survey of about 70 low-mass (M<2Msun) young (age<10 Myr) stars at UV wavelengths. Here we present the PENELLOPE Large Program that is being carried out at the ESO Very Large Telescope (VLT) to acquire, contemporaneous to HST, optical ESPRESSO/UVES high-resolution spectra to investigate the kinematics of the emitting gas, and UV-to-NIR X-Shooter medium-resolution flux-calibrated spectra to provide the fundamental parameters that HST data alone cannot provide, such as extinction and stellar properties. The data obtained by PENELLOPE have no proprietary time, and the fully reduced spectra are made available to the whole community. Here, we describe the data and the first scientific analysis of the accretion properties for the sample of thirteen targets located in the Orion OB1 association and in the sigma-Orionis cluster, observed in Nov-Dec 2020. We find that the accretion rates are in line with those observed previously in similarly young star-forming regions, with a variability on a timescale of days of <3. The comparison of the fits to the continuum excess emission obtained with a slab model on the X-Shooter spectra and the HST/STIS spectra shows a shortcoming in the X-Shooter estimates of <10%, well within the assumed uncertainty. Its origin can be either a wrong UV extinction curve or due to the simplicity of this modelling, and will be investigated in the course of the PENELLOPE program. The combined ULLYSES and PENELLOPE data will be key for a better understanding of the accretion/ejection mechanisms in young stars.
△ Less
Submitted 6 April, 2021; v1 submitted 23 March, 2021;
originally announced March 2021.
-
Quadratic-exponential functionals of Gaussian quantum processes
Authors:
Igor G. Vladimirov,
Ian R. Petersen,
Matthew R. James
Abstract:
This paper is concerned with exponential moments of integral-of-quadratic functions of quantum processes with canonical commutation relations of position-momentum type. Such quadratic-exponential functionals (QEFs) arise as robust performance criteria in control problems for open quantum harmonic oscillators (OQHOs) driven by bosonic fields. We develop a randomised representation for the QEF using…
▽ More
This paper is concerned with exponential moments of integral-of-quadratic functions of quantum processes with canonical commutation relations of position-momentum type. Such quadratic-exponential functionals (QEFs) arise as robust performance criteria in control problems for open quantum harmonic oscillators (OQHOs) driven by bosonic fields. We develop a randomised representation for the QEF using a Karhunen-Loeve expansion of the quantum process on a bounded time interval over the eigenbasis of its two-point commutator kernel, with noncommuting position-momentum pairs as coefficients. This representation holds regardless of a particular quantum state and employs averaging over an auxiliary classical Gaussian random process whose covariance operator is specified by the commutator kernel. This allows the QEF to be related to the moment-generating functional of the quantum process and computed for multipoint Gaussian states. For stationary Gaussian quantum processes, we establish a frequency-domain formula for the QEF rate in terms of the Fourier transform of the quantum covariance kernel in composition with trigonometric functions. A differential equation is obtained for the QEF rate with respect to the risk sensitivity parameter for its approximation and numerical computation. The QEF is also applied to large deviations and worst-case mean square cost bounds for OQHOs in the presence of statistical uncertainty with a quantum relative entropy description.
△ Less
Submitted 16 March, 2021;
originally announced March 2021.
-
Computer Assisted Proof of Drift Orbits Along Normally Hyperbolic Manifolds
Authors:
Maciej J. Capinski,
Jorge Gonzalez,
Jean-Pierre Marco,
J. D. Mireles James
Abstract:
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this approach. We devise a method, which allows us to validate the needed conditions in a finite number of steps, which can be performed by a computer by means of r…
▽ More
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this approach. We devise a method, which allows us to validate the needed conditions in a finite number of steps, which can be performed by a computer by means of rigorous-interval-arithmetic computations. We apply our method to the generalized standard map, obtaining diffusion over an explicit range of actions.
△ Less
Submitted 10 June, 2021; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Supernova Model Discrimination with Hyper-Kamiokande
Authors:
Hyper-Kamiokande Collaboration,
:,
K. Abe,
P. Adrich,
H. Aihara,
R. Akutsu,
I. Alekseev,
A. Ali,
F. Ameli,
I. Anghel,
L. H. V. Anthony,
M. Antonova,
A. Araya,
Y. Asaoka,
Y. Ashida,
V. Aushev,
F. Ballester,
I. Bandac,
M. Barbi,
G. J. Barker,
G. Barr,
M. Batkiewicz-Kwasniak,
M. Bellato,
V. Berardi,
M. Bergevin
, et al. (478 additional authors not shown)
Abstract:
Core-collapse supernovae are among the most magnificent events in the observable universe. They produce many of the chemical elements necessary for life to exist and their remnants -- neutron stars and black holes -- are interesting astrophysical objects in their own right. However, despite millennia of observations and almost a century of astrophysical study, the explosion mechanism of core-colla…
▽ More
Core-collapse supernovae are among the most magnificent events in the observable universe. They produce many of the chemical elements necessary for life to exist and their remnants -- neutron stars and black holes -- are interesting astrophysical objects in their own right. However, despite millennia of observations and almost a century of astrophysical study, the explosion mechanism of core-collapse supernovae is not yet well understood. Hyper-Kamiokande is a next-generation neutrino detector that will be able to observe the neutrino flux from the next galactic core-collapse supernova in unprecedented detail. We focus on the first 500 ms of the neutrino burst, corresponding to the accretion phase, and use a newly-developed, high-precision supernova event generator to simulate Hyper-Kamiokande's response to five different supernova models. We show that Hyper-Kamiokande will be able to distinguish between these models with high accuracy for a supernova at a distance of up to 100 kpc. Once the next galactic supernova happens, this ability will be a powerful tool for guiding simulations towards a precise reproduction of the explosion mechanism observed in nature.
△ Less
Submitted 20 July, 2021; v1 submitted 13 January, 2021;
originally announced January 2021.
-
From the Lagrange polygon to the figure eight I: Numerical evidence extending a conjecture of Marchal
Authors:
Renato Calleja,
Carlos García-Azpeitia,
Jean-Philippe Lessard,
J. D. Mireles James
Abstract:
The present work studies the continuation class of the regular $n$-gon solution of the $n$-body problem. For odd numbers of bodies between $n = 3$ and $n = 15$ we apply one parameter numerical continuation algorithms to the energy/frequency variable, and find that the figure eight choreography can be reached starting from the regular $n$-gon. The continuation leaves the plane of the $n$-gon, and p…
▽ More
The present work studies the continuation class of the regular $n$-gon solution of the $n$-body problem. For odd numbers of bodies between $n = 3$ and $n = 15$ we apply one parameter numerical continuation algorithms to the energy/frequency variable, and find that the figure eight choreography can be reached starting from the regular $n$-gon. The continuation leaves the plane of the $n$-gon, and passes through families of spatial choreographies with the topology of torus knots. Numerical continuation out of the $n$-gon solution is complicated by the fact that the kernel of the linearization there is high dimensional. Our work exploits a symmetrized version of the problem which admits dense sets of choreography solutions, and which can be written as a delay differential equation in terms of one of the bodies. This symmetrized setup simplifies the problem in several ways. On one hand, the direction of the kernel is determined automatically by the symmetry. On the other hand, the set of possible bifurcations is reduced and the $n$-gon continues to the eight after a single symmetry breaking bifurcation. Based on the calculations presented here we conjecture that the $n$-gon and the eight are in the same continuation class for all odd numbers of bodies.
△ Less
Submitted 19 December, 2020;
originally announced December 2020.
-
A mathematical model of national-level food system sustainability
Authors:
Conor Goold,
Simone Pfuderer,
William H. M. James,
Nik Lomax,
Fiona Smith,
Lisa M. Collins
Abstract:
The global food system faces various endogeneous and exogeneous, biotic and abiotic risk factors, including a rising human population, higher population densities, price volatility and climate change. Quantitative models play an important role in understanding food systems' expected responses to shocks and stresses. Here, we present a stylised mathematical model of a national-level food system tha…
▽ More
The global food system faces various endogeneous and exogeneous, biotic and abiotic risk factors, including a rising human population, higher population densities, price volatility and climate change. Quantitative models play an important role in understanding food systems' expected responses to shocks and stresses. Here, we present a stylised mathematical model of a national-level food system that incorporates domestic supply of a food commodity, international trade, consumer demand, and food commodity price. We derive a critical compound parameter signalling when domestic supply will become unsustainable and the food system entirely dependent on imports, which results in higher commodity prices, lower consumer demand and lower inventory levels. Using Bayesian estimation, we apply the dynamic food systems model to infer the sustainability of the UK pork industry. We find that the UK pork industry is currently sustainable but because the industry is dependent on imports to meet demand, a decrease in self-sufficiency below 50% (current levels are 60-65%) would lead it close to the critical boundary signalling its collapse. Our model provides a theoretical foundation for future work to determine more complex causal drivers of food system vulnerability.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
High Precision Calibration Pairs for Northern Lucky Imaging
Authors:
Matthew B. James,
Graeme L. White,
Roderick R. Letchford,
Stephen G. Bosi
Abstract:
Presented here is list of 50 pairs quasi-evenly spaced over the northern sky, and that have Separations and Position Angles accurate at the milli-arcsec, and milli-degree level. These pairs are suggested as calibration pairs for lucky imaging observations. This paper is a follow-up to our previous paper regarding southern sky calibration pairs.
Presented here is list of 50 pairs quasi-evenly spaced over the northern sky, and that have Separations and Position Angles accurate at the milli-arcsec, and milli-degree level. These pairs are suggested as calibration pairs for lucky imaging observations. This paper is a follow-up to our previous paper regarding southern sky calibration pairs.
△ Less
Submitted 12 November, 2020;
originally announced November 2020.
-
Fast Stencil-Code Computation on a Wafer-Scale Processor
Authors:
Kamil Rocki,
Dirk Van Essendelft,
Ilya Sharapov,
Robert Schreiber,
Michael Morrison,
Vladimir Kibardin,
Andrey Portnoy,
Jean Francois Dietiker,
Madhava Syamlal,
Michael James
Abstract:
The performance of CPU-based and GPU-based systems is often low for PDE codes, where large, sparse, and often structured systems of linear equations must be solved. Iterative solvers are limited by data movement, both between caches and memory and between nodes. Here we describe the solution of such systems of equations on the Cerebras Systems CS-1, a wafer-scale processor that has the memory band…
▽ More
The performance of CPU-based and GPU-based systems is often low for PDE codes, where large, sparse, and often structured systems of linear equations must be solved. Iterative solvers are limited by data movement, both between caches and memory and between nodes. Here we describe the solution of such systems of equations on the Cerebras Systems CS-1, a wafer-scale processor that has the memory bandwidth and communication latency to perform well. We achieve 0.86 PFLOPS on a single wafer-scale system for the solution by BiCGStab of a linear system arising from a 7-point finite difference stencil on a 600 X 595 X 1536 mesh, achieving about one third of the machine's peak performance. We explain the system, its architecture and programming, and its performance on this problem and related problems. We discuss issues of memory capacity and floating point precision. We outline plans to extend this work towards full applications.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
Monte Carlo Modeling and Design of Photon Energy Attenuation Layers (PALs) for 10-30x Quantum Yield Enhancement in Si-based Hard X-ray Detectors
Authors:
Eldred Lee,
Michael R. James,
Kaitlin M. Anagnost,
Zhehui Wang,
Eric R. Fossum,
Jifeng Liu
Abstract:
High-energy (>20keV) X-ray photon detection at high quantum yield, high spatial resolution and short response time has long been an important area of study in physics. Scintillation is a prevalent method but limited in various ways. Directly detecting high-energy X-ray photons has been a challenge to this day, mainly due to low photon-to-photoelectron conversion efficiencies. Commercially availabl…
▽ More
High-energy (>20keV) X-ray photon detection at high quantum yield, high spatial resolution and short response time has long been an important area of study in physics. Scintillation is a prevalent method but limited in various ways. Directly detecting high-energy X-ray photons has been a challenge to this day, mainly due to low photon-to-photoelectron conversion efficiencies. Commercially available state-of-the-art Si direct detection products such as the Si charge-coupled device (CCD) are inefficient for >10keV photons. Here, we present Monte Carlo simulation results and analyses to introduce a highly effective yet simple high-energy X-ray detection concept with significantly enhanced photon-to-electron conversion efficiencies composed of two layers: a top high-Z photon energy attenuator layer (PAL) and a bottom Si detector. We use the principle of photon energy down conversion, where high-energy X-ray photon energies are attenuated down to and below 10keV via inelastic scattering suitable for efficient photoelectric absorption by Si. Our Monte Carlo simulation results demonstrate that 10-30x increase in quantum yield can be achieved using PbTe PAL on Si, potentially advancing high-resolution, high-efficiency X-ray detection using PAL-enhanced Si CMOS image sensors.
△ Less
Submitted 1 September, 2020;
originally announced September 2020.
-
Critical homoclinics in a restricted four body problem: numerical continuation and center manifold computations
Authors:
Wouter Hetebrij,
J. D. Mireles James
Abstract:
The present work studies the robustness of certain basic homoclinic motions in an equilateral restricted four body problem. The problem can be viewed as a two parameter family of conservative autonomous vector fields. The main tools are numerical continuation techniques for homoclinic and periodic orbits, as well as formal series methods for computing normal forms and center stable/unstable manifo…
▽ More
The present work studies the robustness of certain basic homoclinic motions in an equilateral restricted four body problem. The problem can be viewed as a two parameter family of conservative autonomous vector fields. The main tools are numerical continuation techniques for homoclinic and periodic orbits, as well as formal series methods for computing normal forms and center stable/unstable manifold parameterizations. After careful numerical study of a number of special cases we formulate several conjectures about the global bifurcations of the homoclinic families.
△ Less
Submitted 19 December, 2020; v1 submitted 24 July, 2020;
originally announced July 2020.
-
High Precision Calibration Pairs for Southern Lucky Imaging
Authors:
Matthew B. James,
Graeme L. White,
Roderick R. Letchford,
Stephen Bosi
Abstract:
Accurate measures of double stars require accurate calibration of the instrument. Here we present a list of 50 pairs, that are quasi-evenly spaced over the southern sky, and that have Separations and Position Angles accurate at the milli-arcsec, and milli-degree level. These wide angle pairs are suggested as calibration pairs for lucky imaging observations.
Accurate measures of double stars require accurate calibration of the instrument. Here we present a list of 50 pairs, that are quasi-evenly spaced over the southern sky, and that have Separations and Position Angles accurate at the milli-arcsec, and milli-degree level. These wide angle pairs are suggested as calibration pairs for lucky imaging observations.
△ Less
Submitted 9 November, 2020; v1 submitted 4 July, 2020;
originally announced July 2020.
-
Comparison of Image Scale Calibration Techniques: Known Pairs, Drift Scans and Aperture Grating
Authors:
Matthew B. James,
Graeme L. White,
Stephen G. Bosi,
Rod R. Letchford
Abstract:
We compared several techniques for calibrating angular separation between wide (>1 arcsec) pairs. These techniques are (i) reference pair calibration using α Cen AB orbital parameters, (ii) the video drift method, and (iii) the utilisation of an aperture diffraction grating with red filters of different passbands. Separations of 62 pairs were determined using these 3 calibration techniques and com…
▽ More
We compared several techniques for calibrating angular separation between wide (>1 arcsec) pairs. These techniques are (i) reference pair calibration using α Cen AB orbital parameters, (ii) the video drift method, and (iii) the utilisation of an aperture diffraction grating with red filters of different passbands. Separations of 62 pairs were determined using these 3 calibration techniques and compared. It was found that α Cen AB and video drift methods are in good agreement.
The use of the grating and filter (by measuring fringe spacing) proved unsatisfactory for the broad-band filters, and the use of a narrow band Hα filter with the grating, resulted in image scales that differed from those obtained using α Cen AB reference pair calibration and the video drift method by 0.024 and 0.031 pixel/arcsec (px/arcsec) respectively. A more complete modelling of Fraunhofer diffraction of the Hα filter and grating produced a difference in image scale of 0.009 px/arcsec.
A bias in the diffraction grating method of ~0.1% in the separation of pairs also revealed itself and could not be accounted for. We conclude that calibration against a known pair for which the separation and PA is known with high precision is probably the simplest and best way to undertake image scale calibration.
△ Less
Submitted 9 November, 2020; v1 submitted 29 May, 2020;
originally announced May 2020.
-
Emergence and melting of active vortex crystals
Authors:
Martin James,
Dominik Anton Suchla,
Jörn Dunkel,
Michael Wilczek
Abstract:
Melting of two-dimensional (2D) equilibrium crystals, from superconducting vortex lattices to colloidal structures, is a complex phenomenon characterized by the sequential loss of positional and orientational order. Whereas melting processes in passive systems are typically triggered by external heat injection, active matter crystals can self-assemble and melt into an active fluid by virtue of the…
▽ More
Melting of two-dimensional (2D) equilibrium crystals, from superconducting vortex lattices to colloidal structures, is a complex phenomenon characterized by the sequential loss of positional and orientational order. Whereas melting processes in passive systems are typically triggered by external heat injection, active matter crystals can self-assemble and melt into an active fluid by virtue of their intrinsic motility and inherent non-equilibrium stresses. Emergent crystal-like order has been observed in recent experiments on suspensions of swimming sperm cells, fast-moving bacteria, Janus colloids, and in embryonic tissues. Yet, despite recent progress in the theoretical description of such systems, the non-equilibrium physics of active crystallization and melting processes is not well understood. Here, we establish the emergence and investigate the melting of self-organized vortex crystals in 2D active fluids using an experimentally validated generalized Toner-Tu theory. Performing hydrodynamic simulations at an unprecedented scale, we identify two distinctly different melting scenarios: a hysteretic discontinuous phase transition and melting through an intermediary hexatic phase, both of which can be controlled by self-propulsion and active stresses. Our analysis further reveals intriguing transient features of active vortex crystals including meta-stable superstructures of opposite spin polarity. Generally, these results highlight the differences and similarities between crystalline phases in active fluids and their equilibrium counterparts.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
Validated Numerical Approximation of Stable Manifolds for Parabolic Partial Differential Equations
Authors:
Jan Bouwe van den Berg,
Jonathan Jaquette,
J. D. Mireles James
Abstract:
This paper develops validated computational methods for studying infinite dimensional stable manifolds at equilibrium solutions of parabolic PDEs, synthesizing disparate errors resulting from numerical approximation. To construct our approximation, we decompose the stable manifold into three components: a finite dimensional slow component, a fast-but-finite dimensional component, and a strongly co…
▽ More
This paper develops validated computational methods for studying infinite dimensional stable manifolds at equilibrium solutions of parabolic PDEs, synthesizing disparate errors resulting from numerical approximation. To construct our approximation, we decompose the stable manifold into three components: a finite dimensional slow component, a fast-but-finite dimensional component, and a strongly contracting infinite dimensional "tail". We employ the parameterization method in a finite dimensional projection to approximate the slow-stable manifold, as well as the attached finite dimensional invariant vector bundles. This approximation provides a change of coordinates which largely removes the nonlinear terms in the slow stable directions. In this adapted coordinate system we apply the Lyapunov-Perron method, resulting in mathematically rigorous bounds on the approximation errors. As a result, we obtain significantly sharper bounds than would be obtained using only the linear approximation given by the eigendirections. As a concrete example we illustrate the technique for a 1D Swift-Hohenberg equation.
△ Less
Submitted 6 July, 2021; v1 submitted 30 April, 2020;
originally announced April 2020.
-
Measures of 62 Southern Pairs
Authors:
Matthew James,
Rod Letchford,
Graeme L White,
Meg Emery,
Stephen Bosi
Abstract:
We report lucky imaging observations of 62 pairs at mid-southern declinations sourced from the WDS with separations larger than 4 arc seconds and magnitude less than 10. The measures comprise separations and PA calibrated against Alpha Centauri AB and drift scans, presented as weighted means of these two calibration methods, with formal internal uncertainties δρ= 80 mas and δPA = 0.056(deg). We al…
▽ More
We report lucky imaging observations of 62 pairs at mid-southern declinations sourced from the WDS with separations larger than 4 arc seconds and magnitude less than 10. The measures comprise separations and PA calibrated against Alpha Centauri AB and drift scans, presented as weighted means of these two calibration methods, with formal internal uncertainties δρ= 80 mas and δPA = 0.056(deg). We also compare our measures against 1) extrapolated historic measures, 2) GAIA DR2 data and 3) measures determined from HIPPARCOS and GAIA observations. Our best estimate of our bias against these 3 databases are ρ\approx 10 \pm 30 mas and PA \approx 0.04 \pm 0.08(deg). These formal uncertainties are consistent with the internal uncertainties of δρ= 80 mas and δPA = 0.056(deg). We also report Rectilinear Elements for 61 pairs, Grade 5 Orbital Elements for 5 pairs and suggest 5 pairs as optical doubles (4 of which are new).
△ Less
Submitted 13 March, 2020;
originally announced March 2020.
-
Nonparametric Empirical Bayes Estimation on Heterogeneous Data
Authors:
Trambak Banerjee,
Luella J. Fu,
Gareth M. James,
Gourab Mukherjee,
Wenguang Sun
Abstract:
The simultaneous estimation of many parameters based on data collected from corresponding studies is a key research problem that has received renewed attention in the high-dimensional setting. Many practical situations involve heterogeneous data where heterogeneity is captured by a nuisance parameter. Effectively pooling information across samples while correctly accounting for heterogeneity prese…
▽ More
The simultaneous estimation of many parameters based on data collected from corresponding studies is a key research problem that has received renewed attention in the high-dimensional setting. Many practical situations involve heterogeneous data where heterogeneity is captured by a nuisance parameter. Effectively pooling information across samples while correctly accounting for heterogeneity presents a significant challenge in large-scale estimation problems. We address this issue by introducing the ``Nonparametric Empirical Bayes Structural Tweedie" (NEST) estimator, which efficiently estimates the unknown effect sizes and properly adjusts for heterogeneity via a generalized version of Tweedie's formula. For the normal means problem, NEST simultaneously handles the two main selection biases introduced by heterogeneity: one, the selection bias in the mean, which cannot be effectively corrected without also correcting for, two, selection bias in the variance. We develop theory to show that NEST is asymptotically as good as the optimal Bayes rule that uniquely minimizes a weighted squared error loss. In our simulation studies NEST outperforms competing methods, with much efficiency gains in many settings. The proposed method is demonstrated on estimating the batting averages of baseball players and Sharpe ratios of mutual fund returns. Extensions to other members of the two-parameter exponential family are discussed.
△ Less
Submitted 14 August, 2023; v1 submitted 28 February, 2020;
originally announced February 2020.
-
Measurement-based feedback control of linear quantum stochastic systems with quadratic-exponential criteria
Authors:
Igor G. Vladimirov,
Matthew R. James,
Ian R. Petersen
Abstract:
This paper is concerned with a risk-sensitive optimal control problem for a feedback connection of a quantum plant with a measurement-based classical controller. The plant is a multimode open quantum harmonic oscillator driven by a multichannel quantum Wiener process, and the controller is a linear time invariant system governed by a stochastic differential equation. The control objective is to st…
▽ More
This paper is concerned with a risk-sensitive optimal control problem for a feedback connection of a quantum plant with a measurement-based classical controller. The plant is a multimode open quantum harmonic oscillator driven by a multichannel quantum Wiener process, and the controller is a linear time invariant system governed by a stochastic differential equation. The control objective is to stabilize the closed-loop system and minimize the infinite-horizon asymptotic growth rate of a quadratic-exponential functional (QEF) which penalizes the plant variables and the controller output. We combine a frequency-domain representation of the QEF growth rate, obtained recently, with variational techniques and establish first-order necessary conditions of optimality for the state-space matrices of the controller.
△ Less
Submitted 25 December, 2019;
originally announced December 2019.
-
Program Synthesis by Type-Guided Abstraction Refinement
Authors:
Zheng Guo,
Michael James,
David Justo,
Jiaxiao Zhou,
Ziteng Wang,
Ranjit Jhala,
Nadia Polikarpova
Abstract:
We consider the problem of type-directed component based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the query. Classical approaches based on proof search in intuitionistic logics do not scale up to the standard libraries of modern languages, which span hundreds or thousands of components. Recent graph reachability based metho…
▽ More
We consider the problem of type-directed component based synthesis where, given a set of (typed) components and a query type, the goal is to synthesize a term that inhabits the query. Classical approaches based on proof search in intuitionistic logics do not scale up to the standard libraries of modern languages, which span hundreds or thousands of components. Recent graph reachability based methods proposed for languages like Java do scale, but only apply to components over monomorphic data and functions: polymorphic data and functions infinitely explode the size of the graph that must be searched, rendering synthesis intractable. We introduce type-guided abstraction refinement (TYGAR), a new approach for scalable type-directed synthesis over polymorphic datatypes and components. Our key insight is that we can overcome the explosion by building a graph over abstract types which represent a potentially unbounded set of concrete types. We show how to use graph reachability to search for candidate terms over abstract types, and introduce a new algorithm that uses proofs of untypeability of ill-typed candidates to iteratively refine the abstraction until a well-typed result is found.
We have implemented TYGAR in H+, a tool that takes as input a set of Haskell libraries and a query type, and returns a Haskell term that uses functions from the provided libraries to implement the query type. We have evaluated H+ on a set of 44 queries using a set of popular Haskell libraries with a total of 291 components. Our results demonstrate that H+ returns an interesting solution within the first five results for 33 out of 44 queries. Moreover, TYGAR allows H+ to rapidly return well-typed terms, with the median time to first solution of just 1.4 seconds.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.