-
A new observable for holographic cosmology
Authors:
Joydeep Chakravarty,
Alexander Maloney,
Keivan Namjou,
Simon F. Ross
Abstract:
The double-cone geometry is a saddle of the gravitational path integral, which explains the chaotic statistics of the spectrum of black hole microstates. This geometry is the usual AdS-Schwarzschild black hole, but with a periodic identification of the time coordinate; the resulting singularity at the black hole horizon is regulated by making the geometry slightly complex. Here, we consider genera…
▽ More
The double-cone geometry is a saddle of the gravitational path integral, which explains the chaotic statistics of the spectrum of black hole microstates. This geometry is the usual AdS-Schwarzschild black hole, but with a periodic identification of the time coordinate; the resulting singularity at the black hole horizon is regulated by making the geometry slightly complex. Here, we consider generalizations of the double-cone geometry which include the Lorentzian cosmology that sits between the event horizon and the black hole singularity. We analyze this in two and three dimensions, where the cosmology has compact spatial sections and big bang/crunch singularities. These singularities are regulated in the same way by slightly complexifying the metric. We show that this is possible while satisfying the Kontsevich-Segal criterion, implying that these geometries can be interpreted as perturbatively stable saddle points in general relativity. This procedure leads to a novel description of the cosmology in terms of standard observables in the dual boundary CFT. In three dimensions, the cosmological solution gives a new contribution to the two-point function of the density of states in the boundary CFT. Unlike the usual double cone, it describes correlations between black hole microstates with different masses, and in a limit describes correlations between the statistics of heavy states and states near the BTZ threshold.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Optimal Activation of Halting Multi-Armed Bandit Models
Authors:
Wesley Cowan,
Michael N. Katehakis,
Sheldon M. Ross
Abstract:
We study new types of dynamic allocation problems the {\sl Halting Bandit} models. As an application, we obtain new proofs for the classic Gittins index decomposition result and recent results of the authors in `Multi-armed bandits under general depreciation and commitment.'
We study new types of dynamic allocation problems the {\sl Halting Bandit} models. As an application, we obtain new proofs for the classic Gittins index decomposition result and recent results of the authors in `Multi-armed bandits under general depreciation and commitment.'
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Virtual Fidgets: Opportunities and Design Principles for Bringing Fidgeting to Online Learning
Authors:
Sam Ross,
Nicole Sullivan,
**a Yoon
Abstract:
We present design guidelines for incorporating fidgeting into the virtual world as a tool for students in online lectures. Fidgeting is associated with increased attention and self-regulation, and has the potential to help students focus. Currently there are no fidgets, physical or virtual, designed for preserving attention specifically in online learning environments, and no heuristics for design…
▽ More
We present design guidelines for incorporating fidgeting into the virtual world as a tool for students in online lectures. Fidgeting is associated with increased attention and self-regulation, and has the potential to help students focus. Currently there are no fidgets, physical or virtual, designed for preserving attention specifically in online learning environments, and no heuristics for designing fidgets within this domain. We identify three virtual fidget proxies to serve as design probes for studying student experiences with virtual fidgeting. Through a study of eight students using our virtual fidget proxies in online lectures, we identify eight emergent themes that encompass student experience with virtual fidgeting in lectures. Based on these themes, we present four principles for designing domain-specific virtual fidgets for online lectures. We identify that virtual fidgets for lectures should be context-aware, visually appealing, easy to adopt, and physically interactive.
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
The Programmer's Assistant: Conversational Interaction with a Large Language Model for Software Development
Authors:
Steven I. Ross,
Fernando Martinez,
Stephanie Houde,
Michael Muller,
Justin D. Weisz
Abstract:
Large language models (LLMs) have recently been applied in software engineering to perform tasks such as translating code between programming languages, generating code from natural language, and autocompleting code as it is being written. When used within development tools, these systems typically treat each model invocation independently from all previous invocations, and only a specific limited…
▽ More
Large language models (LLMs) have recently been applied in software engineering to perform tasks such as translating code between programming languages, generating code from natural language, and autocompleting code as it is being written. When used within development tools, these systems typically treat each model invocation independently from all previous invocations, and only a specific limited functionality is exposed within the user interface. This approach to user interaction misses an opportunity for users to more deeply engage with the model by having the context of their previous interactions, as well as the context of their code, inform the model's responses. We developed a prototype system -- the Programmer's Assistant -- in order to explore the utility of conversational interactions grounded in code, as well as software engineers' receptiveness to the idea of conversing with, rather than invoking, a code-fluent LLM. Through an evaluation with 42 participants with varied levels of programming experience, we found that our system was capable of conducting extended, multi-turn discussions, and that it enabled additional knowledge and capabilities beyond code generation to emerge from the LLM. Despite skeptical initial expectations for conversational programming assistance, participants were impressed by the breadth of the assistant's capabilities, the quality of its responses, and its potential for improving their productivity. Our work demonstrates the unique potential of conversational interactions with LLMs for co-creative processes like software development.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
A Case Study in Engineering a Conversational Programming Assistant's Persona
Authors:
Steven I. Ross,
Michael Muller,
Fernando Martinez,
Stephanie Houde,
Justin D. Weisz
Abstract:
The Programmer's Assistant is an experimental prototype software development environment that integrates a chatbot with a code editor. Conversational capability was achieved by using an existing code-fluent Large Language Model and providing it with a prompt that establishes a conversational interaction pattern, a set of conventions, and a style of interaction appropriate for the application. A di…
▽ More
The Programmer's Assistant is an experimental prototype software development environment that integrates a chatbot with a code editor. Conversational capability was achieved by using an existing code-fluent Large Language Model and providing it with a prompt that establishes a conversational interaction pattern, a set of conventions, and a style of interaction appropriate for the application. A discussion of the evolution of the prompt provides a case study in how to coax an existing foundation model to behave in a desirable manner for a particular application.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
Supersymmetric solitons in gauged $\mathcal{N}=8$ supergravity
Authors:
Andrés Anabalón,
Antonio Gallerati,
Simon Ross,
Mario Trigiante
Abstract:
We consider soliton solutions in AdS$_{4}$ with a flat slicing and Wilson loops around one cycle. We study the phase structure and find the ground state and identify supersymmetric solutions as a function of the Wilson loops. We work in the context of a scalar field truncation of gauged $\mathcal{N}=8$ supergravity, where all the dilatons are equal and all the axions vanish in the STU model. In th…
▽ More
We consider soliton solutions in AdS$_{4}$ with a flat slicing and Wilson loops around one cycle. We study the phase structure and find the ground state and identify supersymmetric solutions as a function of the Wilson loops. We work in the context of a scalar field truncation of gauged $\mathcal{N}=8$ supergravity, where all the dilatons are equal and all the axions vanish in the STU model. In this theory, we construct new soliton solutions parameterized by two Wilson lines. We find that there is a degeneracy of supersymmetric solutions. We also show that, for alternate boundary conditions, there exists a non-supersymmetric soliton solution with energy lower than the supersymmetric one.
△ Less
Submitted 7 February, 2023; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Cosmologies inside hyperbolic black holes
Authors:
Simon F. Ross
Abstract:
Models with closed FRW cosmologies on the worldvolume of a constant-tension brane inside a black hole provide an interesting setup for studying cosmology holographically. However, in more than two worldvolume dimensions, there are limitations on such models with flat spatial slices. I show that these limitations can be avoided by considering instead hyperbolic slices. This also naturally makes con…
▽ More
Models with closed FRW cosmologies on the worldvolume of a constant-tension brane inside a black hole provide an interesting setup for studying cosmology holographically. However, in more than two worldvolume dimensions, there are limitations on such models with flat spatial slices. I show that these limitations can be avoided by considering instead hyperbolic slices. This also naturally makes contact with previous work on Euclidean wormholes.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Finding neural signatures for obesity through feature selection on source-localized EEG
Authors:
Yuan Yue,
Dirk De Ridder,
Patrick Manning,
Samantha Ross,
Jeremiah D. Deng
Abstract:
Obesity is a serious issue in the modern society and is often associated to significantly reduced quality of life. Current research conducted to explore obesity-related neurological evidences using electroencephalography (EEG) data are limited to traditional approaches. In this study, we developed a novel machine learning model to identify brain networks of obese females using alpha band functiona…
▽ More
Obesity is a serious issue in the modern society and is often associated to significantly reduced quality of life. Current research conducted to explore obesity-related neurological evidences using electroencephalography (EEG) data are limited to traditional approaches. In this study, we developed a novel machine learning model to identify brain networks of obese females using alpha band functional connectivity features derived from EEG data. An overall classification accuracy of 0.937 is achieved. Our finding suggests that the obese brain is characterized by a dysfunctional network in which the areas that responsible for processing self-referential information and environmental context information are impaired.
△ Less
Submitted 21 June, 2023; v1 submitted 30 August, 2022;
originally announced August 2022.
-
A three-dimensional model of skeletal muscle tissues
Authors:
Javier A. Almonacid,
Sebastián A. Domínguez-Rivera,
Ryan N. Konno,
Nilima Nigam,
Stephanie A. Ross,
Cassidy Tam,
James M. Wakeling
Abstract:
Skeletal muscles are living tissues that can undergo large deformations in short periods of time and that can be activated to produce force. In this paper we use the principles of continuum mechanics to propose a dynamic, fully non-linear, and three-dimensional model to describe the deformation of these tissues. We model muscles as a fibre-reinforced composite and transversely isotropic material.…
▽ More
Skeletal muscles are living tissues that can undergo large deformations in short periods of time and that can be activated to produce force. In this paper we use the principles of continuum mechanics to propose a dynamic, fully non-linear, and three-dimensional model to describe the deformation of these tissues. We model muscles as a fibre-reinforced composite and transversely isotropic material. We introduce a flexible computational framework to approximate the deformations of skeletal muscle to provide new insights into the underlying mechanics of these tissues. The model parameters and mechanical properties are obtained through experimental data and can be specified locally. A semi-implicit in time, conforming finite element in space scheme is used to approximate the solutions to the governing nonlinear dynamic model. We provide a series of numerical experiments demonstrating the application of this framework to relevant problems in biomechanics, and also discuss questions around model validation.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
Kepler K2 Campaign 9: II. First space-based discovery of an exoplanet using microlensing
Authors:
D. Specht,
R. Poleski,
M. T. Penny,
E. Kerins,
I. McDonald,
Chung-Uk Lee,
A. Udalski,
I. A. Bond,
Y. Shvartzvald,
Weicheng Zang,
R. A. Street,
D. W. Hogg,
B. S. Gaudi,
T. Barclay,
G. Barentsen,
S. B. Howell,
F. Mullally,
C. B. Henderson,
S. T. Bryson,
D. A. Caldwell,
M. R. Haas,
J. E. Van Cleve,
K. Larson,
K. McCalmont,
C. Peterson
, et al. (61 additional authors not shown)
Abstract:
We present K2-2016-BLG-0005Lb, a densely sampled, planetary binary caustic-crossing microlensing event found from a blind search of data gathered from Campaign 9 of the Kepler K2 mission (K2C9). K2-2016-BLG-0005Lb is the first bound microlensing exoplanet discovered from space-based data. The event has caustic entry and exit points that are resolved in the K2C9 data, enabling the lens--source rela…
▽ More
We present K2-2016-BLG-0005Lb, a densely sampled, planetary binary caustic-crossing microlensing event found from a blind search of data gathered from Campaign 9 of the Kepler K2 mission (K2C9). K2-2016-BLG-0005Lb is the first bound microlensing exoplanet discovered from space-based data. The event has caustic entry and exit points that are resolved in the K2C9 data, enabling the lens--source relative proper motion to be measured. We have fitted a binary microlens model to the Kepler data, and to simultaneous observations from multiple ground-based surveys. Whilst the ground-based data only sparsely sample the binary caustic, they provide a clear detection of parallax that allows us to break completely the microlensing mass--position--velocity degeneracy and measure the planet's mass directly. We find a host mass of $0.58\pm0.04 ~{\rm M}_\odot$ and a planetary mass of $1.1\pm0.1 ~{\rm M_J}$. The system lies at a distance of $5.2\pm0.2~$kpc from Earth towards the Galactic bulge, more than twice the distance of the previous most distant planet found by Kepler. The sky-projected separation of the planet from its host is found to be $4.2\pm0.3~$au which, for circular orbits, deprojects to a host separation $a = 4.4^{+1.9}_{-0.4}~$au and orbital period $P = 13^{+9}_{-2}~$yr. This makes K2-2016-BLG-0005Lb a close Jupiter analogue orbiting a low-mass host star. According to current planet formation models, this system is very close to the host mass threshold below which Jupiters are not expected to form. Upcoming space-based exoplanet microlensing surveys by NASA's Nancy Grace Roman Space Telescope and, possibly, ESA's Euclid mission, will provide demanding tests of current planet formation models.
△ Less
Submitted 2 February, 2023; v1 submitted 31 March, 2022;
originally announced March 2022.
-
Geometry of transit orbits in the periodically-perturbed restricted three-body problem
Authors:
Joshua Fitzgerald,
Shane Ross
Abstract:
In the circular restricted three-body problem, low energy transit orbits are revealed by linearizing the governing differential equations about the collinear Lagrange points. This procedure fails when time-periodic perturbations are considered, such as perturbation due to the sun (i.e., the bicircular problem) or orbital eccentricity of the primaries. For the case of a time-periodic perturbation,…
▽ More
In the circular restricted three-body problem, low energy transit orbits are revealed by linearizing the governing differential equations about the collinear Lagrange points. This procedure fails when time-periodic perturbations are considered, such as perturbation due to the sun (i.e., the bicircular problem) or orbital eccentricity of the primaries. For the case of a time-periodic perturbation, the Lagrange point is replaced by a periodic orbit, equivalently viewed as a hyperbolic-elliptic fixed point of a symplectic map (the stroboscopic Poincaré map). Transit and non-transit orbits can be identified in the discrete map about the fixed point, in analogy with the geometric construction of Conley and McGehee about the index-1 saddle equilibrium point in the continuous dynamical system. Furthermore, though the continuous time system does not conserve the Hamiltonian energy (which is time-varying), the linearized map locally conserves a time-independent effective Hamiltonian function. We demonstrate that the phase space geometry of transit and non-transit orbits is preserved in going from the unperturbed to a periodically-perturbed situation, which carries over to the full nonlinear equations.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
Constraints on cosmologies inside black holes
Authors:
Seamus Fallows,
Simon F. Ross
Abstract:
We study the construction of holographic models with closed FRW cosmologies on the worldvolume of a constant-tension brane inside a Schwarzschild-AdS black hole. In dimensions d>2, having a smooth Euclidean solution where the brane does not self-intersect limits the brane tension to T<T_*, preventing us from realising a separation of scales between the brane and bulk curvature scales. We show that…
▽ More
We study the construction of holographic models with closed FRW cosmologies on the worldvolume of a constant-tension brane inside a Schwarzschild-AdS black hole. In dimensions d>2, having a smooth Euclidean solution where the brane does not self-intersect limits the brane tension to T<T_*, preventing us from realising a separation of scales between the brane and bulk curvature scales. We show that adding interface branes to this model does not relax the condition on the brane tension.
△ Less
Submitted 15 March, 2022; v1 submitted 4 March, 2022;
originally announced March 2022.
-
High-precision real-space simulation of electrostatically-confined few-electron states
Authors:
Christopher R. Anderson,
Mark F. Gyure,
Sam Quinn,
Andrew Pan,
Richard S. Ross,
Andrey A. Kiselev
Abstract:
In this paper we present a computational procedure that utilizes real-space grids to obtain high precision approximations of electrostatically confined few-electron states such as those that arise in gated semiconductor quantum dots. We use the Full Configuration Interaction (FCI) method with a continuously adapted orthonormal orbital basis to approximate the ground and excited states of such syst…
▽ More
In this paper we present a computational procedure that utilizes real-space grids to obtain high precision approximations of electrostatically confined few-electron states such as those that arise in gated semiconductor quantum dots. We use the Full Configuration Interaction (FCI) method with a continuously adapted orthonormal orbital basis to approximate the ground and excited states of such systems. We also introduce a benchmark problem based on a realistic analytical electrostatic potential for quantum dot devices. We show that our approach leads to highly precise computed energies and energy differences over a wide range of model parameters. The analytic definition of the benchmark allows for a collection of tests that are easily replicated, thus facilitating comparisons with other computational approaches.
△ Less
Submitted 28 February, 2022;
originally announced March 2022.
-
Going beyond ER=EPR in the SYK model
Authors:
Micha Berkooz,
Nadav Brukner,
Simon F. Ross,
Masataka Watanabe
Abstract:
We discuss generalizations of the TFD to a density matrix on the doubled Hilbert space. We suggest that a semiclassical wormhole corresponds to a certain class of such density matrices, and specify how they are constructed. Different semi-classical profiles correspond to different non-overlap** density matrices. We show that this language allows for a finer criteria for when the wormhole is semi…
▽ More
We discuss generalizations of the TFD to a density matrix on the doubled Hilbert space. We suggest that a semiclassical wormhole corresponds to a certain class of such density matrices, and specify how they are constructed. Different semi-classical profiles correspond to different non-overlap** density matrices. We show that this language allows for a finer criteria for when the wormhole is semiclassical, which goes beyond entanglement. Our main tool is the SYK model. We focus on the simplest class of such density matrices, in a scaling limit where the ER bridge is captured by chords going from one space to another, encoding correlations in the microscopic Hamiltonian. The length of the wormhole simply encodes the extent these correlations are eroded when flowing from one side to the other.
△ Less
Submitted 23 February, 2022;
originally announced February 2022.
-
Better Together? An Evaluation of AI-Supported Code Translation
Authors:
Justin D. Weisz,
Michael Muller,
Steven I. Ross,
Fernando Martinez,
Stephanie Houde,
Mayank Agarwal,
Kartik Talamadupula,
John T. Richards
Abstract:
Generative machine learning models have recently been applied to source code, for use cases including translating code between programming languages, creating documentation from code, and auto-completing methods. Yet, state-of-the-art models often produce code that is erroneous or incomplete. In a controlled study with 32 software engineers, we examined whether such imperfect outputs are helpful i…
▽ More
Generative machine learning models have recently been applied to source code, for use cases including translating code between programming languages, creating documentation from code, and auto-completing methods. Yet, state-of-the-art models often produce code that is erroneous or incomplete. In a controlled study with 32 software engineers, we examined whether such imperfect outputs are helpful in the context of Java-to-Python code translation. When aided by the outputs of a code translation model, participants produced code with fewer errors than when working alone. We also examined how the quality and quantity of AI translations affected the work process and quality of outcomes, and observed that providing multiple translations had a larger impact on the translation process than varying the quality of provided translations. Our results tell a complex, nuanced story about the benefits of generative code models and the challenges software engineers face when working with their outputs. Our work motivates the need for intelligent user interfaces that help software engineers effectively work with generative code models in order to understand and evaluate their outputs and achieve superior outcomes to working alone.
△ Less
Submitted 15 February, 2022;
originally announced February 2022.
-
Insensitivity of a turbulent laser-plasma dynamo to initial conditions
Authors:
A. F. A. Bott,
L. Chen,
P. Tzeferacos,
C. A. J. Palmer,
A. R. Bell,
R. Bingham,
A. Birkel,
D. H. Froula,
J. Katz,
M. W. Kunz,
C. -K. Li,
H-S. Park,
R. Petrasso,
J. S. Ross,
B. Reville,
D. Ryu,
F. H. Séguin,
T. G. White,
A. A. Schekochihin,
D. Q. Lamb,
G. Gregori
Abstract:
It has recently been demonstrated experimentally that a turbulent plasma created by the collision of two inhomogeneous, asymmetric, weakly magnetised laser-produced plasma jets can generate strong stochastic magnetic fields via the small-scale turbulent dynamo mechanism, provided the magnetic Reynolds number of the plasma is sufficiently large. In this paper, we compare such a plasma with one aris…
▽ More
It has recently been demonstrated experimentally that a turbulent plasma created by the collision of two inhomogeneous, asymmetric, weakly magnetised laser-produced plasma jets can generate strong stochastic magnetic fields via the small-scale turbulent dynamo mechanism, provided the magnetic Reynolds number of the plasma is sufficiently large. In this paper, we compare such a plasma with one arising from two pre-magnetised plasma jets whose creation is identical save for the addition of a strong external magnetic field imposed by a pulsed magnetic field generator (`MIFEDS'). We investigate the differences between the two turbulent systems using a Thomson-scattering diagnostic, X-ray self-emission imaging and proton radiography. The Thomson-scattering spectra and X-ray images suggest that the presence of the external magnetic field has a limited effect on the plasma dynamics in the experiment. While the presence of the external magnetic field induces collimation of the flows in the colliding plasma jets and the initial strengths of the magnetic fields arising from the interaction between the colliding jets are significantly larger as a result of the external field, the energy and morphology of the stochastic magnetic fields post-amplification are indistinguishable. We conclude that, for turbulent laser-plasmas with super-critical magnetic Reynolds numbers, the dynamo-amplified magnetic fields are determined by the turbulent dynamics rather than the seed fields and modest changes in the initial flow dynamics of the plasma, a finding consistent with theoretical expectations and simulations of turbulent dynamos.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Experiments conducted in the burning plasma regime with inertial fusion implosions
Authors:
J. S. Ross,
J. E. Ralph,
A. B. Zylstra,
A. L. Kritcher,
H. F. Robey,
C. V. Young,
O. A. Hurricane,
D. A. Callahan,
K. L. Baker,
D. T. Casey,
T. Doeppner,
L. Divol,
M. Hohenberger,
S. Le Pape,
A. Pak,
P. K. Patel,
R. Tommasini,
S. J. Ali,
P. A. Amendt,
L. J. Atherton,
B. Bachmann,
D. Bailey,
L. R. Benedetti,
L. Berzak Hopkins,
R. Betti
, et al. (127 additional authors not shown)
Abstract:
An experimental program is currently underway at the National Ignition Facility (NIF) to compress deuterium and tritium (DT) fuel to densities and temperatures sufficient to achieve fusion and energy gain. The primary approach being investigated is indirect drive inertial confinement fusion (ICF), where a high-Z radiation cavity (a hohlraum) is heated by lasers, converting the incident energy into…
▽ More
An experimental program is currently underway at the National Ignition Facility (NIF) to compress deuterium and tritium (DT) fuel to densities and temperatures sufficient to achieve fusion and energy gain. The primary approach being investigated is indirect drive inertial confinement fusion (ICF), where a high-Z radiation cavity (a hohlraum) is heated by lasers, converting the incident energy into x-ray radiation which in turn drives the DT fuel filled capsule causing it to implode. Previous experiments reported DT fuel gain exceeding unity [O.A. Hurricane et al., Nature 506, 343 (2014)] and then exceeding the kinetic energy of the imploding fuel [S. Le Pape et al., Phys. Rev. Lett. 120, 245003 (2018)]. We report on recent experiments that have achieved record fusion neutron yields on NIF, greater than 100 kJ with momentary fusion powers exceeding 1PW, and have for the first time entered the burning plasma regime where fusion alpha-heating of the fuel exceeds the energy delivered to the fuel via compression. This was accomplished by increasing the size of the high-density carbon (HDC) capsule, increasing energy coupling, while controlling symmetry and implosion design parameters. Two tactics were successful in controlling the radiation flux symmetry and therefore the implosion symmetry: transferring energy between laser cones via plasma waves, and changing the shape of the hohlraum. In conducting these experiments, we controlled for known sources of degradation. Herein we show how these experiments were performed to produce record performance, and demonstrate the data fidelity leading us to conclude that these shots have entered the burning plasma regime.
△ Less
Submitted 8 November, 2021;
originally announced November 2021.
-
Using Document Similarity Methods to create Parallel Datasets for Code Translation
Authors:
Mayank Agarwal,
Kartik Talamadupula,
Fernando Martinez,
Stephanie Houde,
Michael Muller,
John Richards,
Steven I Ross,
Justin D. Weisz
Abstract:
Translating source code from one programming language to another is a critical, time-consuming task in modernizing legacy applications and codebases. Recent work in this space has drawn inspiration from the software naturalness hypothesis by applying natural language processing techniques towards automating the code translation task. However, due to the paucity of parallel data in this domain, sup…
▽ More
Translating source code from one programming language to another is a critical, time-consuming task in modernizing legacy applications and codebases. Recent work in this space has drawn inspiration from the software naturalness hypothesis by applying natural language processing techniques towards automating the code translation task. However, due to the paucity of parallel data in this domain, supervised techniques have only been applied to a limited set of popular programming languages. To bypass this limitation, unsupervised neural machine translation techniques have been proposed to learn code translation using only monolingual corpora. In this work, we propose to use document similarity methods to create noisy parallel datasets of code, thus enabling supervised techniques to be applied for automated code translation without having to rely on the availability or expensive curation of parallel code datasets. We explore the noise tolerance of models trained on such automatically-created datasets and show that these models perform comparably to models trained on ground truth for reasonable levels of noise. Finally, we exhibit the practical utility of the proposed method by creating parallel datasets for languages beyond the ones explored in prior work, thus expanding the set of programming languages for automated code translation.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Is the Finite-Time Lyapunov Exponent Field a Koopman Eigenfunction?
Authors:
Erik M. Bollt,
Shane D. Ross
Abstract:
This work serves as a bridge between two approaches to analysis of dynamical systems: the local, geometric analysis and the global, operator theoretic, Koopman analysis. We explicitly construct vector fields where the instantaneous Lyapunov exponent field is a Koopman eigenfunction. Restricting ourselves to polynomial vector fields to make this construction easier, we find that such vector fields…
▽ More
This work serves as a bridge between two approaches to analysis of dynamical systems: the local, geometric analysis and the global, operator theoretic, Koopman analysis. We explicitly construct vector fields where the instantaneous Lyapunov exponent field is a Koopman eigenfunction. Restricting ourselves to polynomial vector fields to make this construction easier, we find that such vector fields do exist, and we explore whether such vector fields have a special structure, thus making a link between the geometric theory and the transfer operator theory.
△ Less
Submitted 24 September, 2021;
originally announced September 2021.
-
Learning Predictive and Interpretable Timeseries Summaries from ICU Data
Authors:
Nari Johnson,
Sonali Parbhoo,
Andrew Slavin Ross,
Finale Doshi-Velez
Abstract:
Machine learning models that utilize patient data across time (rather than just the most recent measurements) have increased performance for many risk stratification tasks in the intensive care unit. However, many of these models and their learned representations are complex and therefore difficult for clinicians to interpret, creating challenges for validation. Our work proposes a new procedure t…
▽ More
Machine learning models that utilize patient data across time (rather than just the most recent measurements) have increased performance for many risk stratification tasks in the intensive care unit. However, many of these models and their learned representations are complex and therefore difficult for clinicians to interpret, creating challenges for validation. Our work proposes a new procedure to learn summaries of clinical time-series that are both predictive and easily understood by humans. Specifically, our summaries consist of simple and intuitive functions of clinical data (e.g. falling mean arterial pressure). Our learned summaries outperform traditional interpretable model classes and achieve performance comparable to state-of-the-art deep learning models on an in-hospital mortality classification task.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
Linear Bounds for Cycle-free Saturation Games
Authors:
Sean English,
Tomáš Masařík,
Grace McCourt,
Erin Meger,
Michael S. Ross,
Sam Spiro
Abstract:
Given a family of graphs $\mathcal{F}$, we define the $\mathcal{F}$-saturation game as follows. Two players alternate adding edges to an initially empty graph on $n$ vertices, with the only constraint being that neither player can add an edge that creates a subgraph in $\mathcal{F}$. The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as…
▽ More
Given a family of graphs $\mathcal{F}$, we define the $\mathcal{F}$-saturation game as follows. Two players alternate adding edges to an initially empty graph on $n$ vertices, with the only constraint being that neither player can add an edge that creates a subgraph in $\mathcal{F}$. The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as possible, while the other wishes to prolong the game. We let $\textrm{sat}_g(n,\mathcal{F})$ denote the number of edges that are in the final graph when both players play optimally. In general there are very few non-trivial bounds on the order of magnitude of $\textrm{sat}_g(n,\mathcal{F})$. In this work, we find collections of infinite families of cycles $\mathcal{C}$ such that $\textrm{sat}_g(n,\mathcal{C})$ has linear growth rate.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Guaranteed Fixed-Confidence Best Arm Identification in Multi-Armed Bandits: Simple Sequential Elimination Algorithms
Authors:
MohammadJavad Azizi,
Sheldon M Ross,
Zhengyu Zhang
Abstract:
We consider the problem of finding, through adaptive sampling, which of $n$ options (arms) has the largest mean. Our objective is to determine a rule which identifies the best arm with a fixed minimum confidence using as few observations as possible, i.e. this is a fixed-confidence (FC) best arm identification (BAI) in multi-armed bandits. We study such problems under the Bayesian setting with bot…
▽ More
We consider the problem of finding, through adaptive sampling, which of $n$ options (arms) has the largest mean. Our objective is to determine a rule which identifies the best arm with a fixed minimum confidence using as few observations as possible, i.e. this is a fixed-confidence (FC) best arm identification (BAI) in multi-armed bandits. We study such problems under the Bayesian setting with both Bernoulli and Gaussian arms. We propose to use the classical "vector at a time" (VT) rule, which samples each remaining arm once in each round. We show how VT can be implemented and analyzed in our Bayesian setting and be improved by early elimination. Our analysis show that these algorithms guarantee an optimal strategy under the prior. We also propose and analyze a variant of the classical "play the winner" (PW) algorithm. Numerical results show that these rules compare favorably with state-of-art algorithms.
△ Less
Submitted 15 March, 2022; v1 submitted 12 June, 2021;
originally announced June 2021.
-
Transition criteria and phase space structures in a three degree of freedom system with dissipation
Authors:
Jun Zhong,
Shane D. Ross
Abstract:
Escape from a potential well through an index-1 saddle can be widely found in some important physical systems. Knowing the criteria and phase space geometry that govern escape events plays an important role in making use of such phenomenon, particularly when realistic frictional or dissipative forces are present. We aim to extend the study the escape dynamics around the saddle from two degrees of…
▽ More
Escape from a potential well through an index-1 saddle can be widely found in some important physical systems. Knowing the criteria and phase space geometry that govern escape events plays an important role in making use of such phenomenon, particularly when realistic frictional or dissipative forces are present. We aim to extend the study the escape dynamics around the saddle from two degrees of freedom to three degrees of freedom, presenting both a methodology and phase space structures. Both the ideal conservative system and a perturbed, dissipative system are considered. We define the five-dimensional transition region, $\mathcal{T}_h$, as the set of initial conditions of a given initial energy $h$ for which the trajectories will escape from one side of the saddle to another. Invariant manifold arguments demonstrate that in the six-dimensional phase space, the boundary of the transition region, $\partial \mathcal{T}_h$, is topologically a four-dimensional hyper-cylinder in the conservative system, and a four-dimensional hyper-sphere in the dissipative system. The transition region $\mathcal{T}_h$ can be constructed by a solid three-dimensional ellipsoid (solid three-dimensional cylinder) in the three-dimensional configuration space, where at each point, there is a cone of velocity -- the velocity directions leading to transition are given by cones, with velocity magnitude given by the initial energy and the direction by two spherical angles with given limits. To illustrate our analysis, we consider an example system which has two potential minima connected by an index 1 saddle.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Beach-level 24-hour forecasts of Florida red tide-induced respiratory irritation
Authors:
Shane D. Ross,
Jeremie Fish,
Klaus Moeltner,
Erik M. Bollt,
Landon Bilyeu,
Tracy Fanara
Abstract:
An accurate forecast of the red tide respiratory irritation level would improve the lives of many people living in areas affected by algal blooms. Using a decades-long database of daily beach conditions, two conceptually different models to forecast the respiratory irritation risk level one day ahead of time are trained. One model is wind-based, using the current days' respiratory level and the pr…
▽ More
An accurate forecast of the red tide respiratory irritation level would improve the lives of many people living in areas affected by algal blooms. Using a decades-long database of daily beach conditions, two conceptually different models to forecast the respiratory irritation risk level one day ahead of time are trained. One model is wind-based, using the current days' respiratory level and the predicted wind direction of the following day. The other model is a probabilistic self-exciting Hawkes process model. Both models are trained on beaches in Florida during 2011-2017 and applied to the red tide bloom during 2018-2019. For beaches where there is enough historical data to develop a model, the model which performs best depends on the beach. The wind-based model is the most accurate at half the beaches, correctly predicting the respiratory risk level on average about 84% of the time. The Hawkes model is the most accurate (81% accuracy) at nearly all of the remaining beaches.
△ Less
Submitted 11 October, 2021; v1 submitted 24 May, 2021;
originally announced May 2021.
-
Univariate Long-Term Municipal Water Demand Forecasting
Authors:
Blake VanBerlo,
Matthew A. S. Ross,
Daniel Hsia
Abstract:
This study describes an investigation into the modelling of citywide water consumption in London, Canada. Multiple modelling techniques were evaluated for the task of univariate time series forecasting with water consumption, including linear regression, Facebook's Prophet method, recurrent neural networks, and convolutional neural networks. Prophet was identified as the model of choice, having ac…
▽ More
This study describes an investigation into the modelling of citywide water consumption in London, Canada. Multiple modelling techniques were evaluated for the task of univariate time series forecasting with water consumption, including linear regression, Facebook's Prophet method, recurrent neural networks, and convolutional neural networks. Prophet was identified as the model of choice, having achieved a mean absolute percentage error of 2.51%, averaged across a 5-fold cross validation. Prophet was also found to have other advantages deemed valuable to water demand management stakeholders, including inherent interpretability and graceful handling of missing data. The implementation for the methods described in this paper has been open sourced, as they may be adaptable by other municipalities.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Strong suppression of heat conduction in a laboratory replica of galaxy-cluster turbulent plasmas
Authors:
J. Meinecke,
P. Tzeferacos,
J. S. Ross,
A. F. A. Bott,
S. Feister,
H. -S. Park,
A. R. Bell,
R. Blandford,
R. L. Berger,
R. Bingham,
A. Casner,
L. E. Chen,
J. Foster,
D. H. Froula,
C. Goyon,
D. Kalantar,
M. Koenig,
B. Lahmann,
C. -K. Li,
Y. Lu,
C. A. J. Palmer,
R. Petrasso,
H. Poole,
B. Remington,
B. Reville
, et al. (10 additional authors not shown)
Abstract:
Galaxy clusters are filled with hot, diffuse X-ray emitting plasma, with a stochastically tangled magnetic field whose energy is close to equipartition with the energy of the turbulent motions \cite{zweibel1997, Vacca}. In the cluster cores, the temperatures remain anomalously high compared to what might be expected considering that the radiative cooling time is short relative to the Hubble time \…
▽ More
Galaxy clusters are filled with hot, diffuse X-ray emitting plasma, with a stochastically tangled magnetic field whose energy is close to equipartition with the energy of the turbulent motions \cite{zweibel1997, Vacca}. In the cluster cores, the temperatures remain anomalously high compared to what might be expected considering that the radiative cooling time is short relative to the Hubble time \cite{cowie1977,fabian1994}. While feedback from the central active galactic nuclei (AGN) \cite{fabian2012,birzan2012,churazov2000} is believed to provide most of the heating, there has been a long debate as to whether conduction of heat from the bulk to the core can help the core to reach the observed temperatures \cite{narayan2001,ruszkowski2002,kunz2011}, given the presence of tangled magnetic fields. Interestingly, evidence of very sharp temperature gradients in structures like cold fronts implies a high degree of suppression of thermal conduction \cite{markevitch2007}. To address the problem of thermal conduction in a magnetized and turbulent plasma, we have created a replica of such a system in a laser laboratory experiment. Our data show a reduction of local heat transport by two orders of magnitude or more, leading to strong temperature variations on small spatial scales, as is seen in cluster plasmas \cite{markevitch2003}.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Supersymmetric solitons and a degeneracy of solutions in AdS/CFT
Authors:
Andres Anabalon,
Simon F. Ross
Abstract:
We study Lorentzian supersymmetric configurations in $D=4$ and $D=5$ gauged $\mathcal{N}=2$ supergravity. We show that there are smooth $1/2$ BPS solutions which are asymptotically AdS$_{4}$ and AdS$_{5}$ with a planar boundary, a compact spacelike direction and with a Wilson line on that circle. There are solitons where the $S^{1}$ shrinks smoothly to zero in the interior, with a magnetic flux th…
▽ More
We study Lorentzian supersymmetric configurations in $D=4$ and $D=5$ gauged $\mathcal{N}=2$ supergravity. We show that there are smooth $1/2$ BPS solutions which are asymptotically AdS$_{4}$ and AdS$_{5}$ with a planar boundary, a compact spacelike direction and with a Wilson line on that circle. There are solitons where the $S^{1}$ shrinks smoothly to zero in the interior, with a magnetic flux through the circle determined by the Wilson line, which are AdS analogues of the Melvin fluxtube. There is also a solution with a constant gauge field, which is pure AdS. Both solutions preserve half of the supersymmetries at a special value of the Wilson line. There is a phase transition between these two saddle-points as a function of the Wilson line precisely at the supersymmetric point. Thus, the supersymmetric solutions are degenerate, at least at the supergravity level. We extend this discussion to one of the Romans solutions in four dimensions when the Euclidean boundary is $S^{1}\timesΣ_{g}$ where $Σ_{g}$ is a Riemann surface with genus $g > 0$. We speculate that the supersymmetric state of the CFT on the boundary is dual to a superposition of the two degenerate geometries.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
Perfection Not Required? Human-AI Partnerships in Code Translation
Authors:
Justin D. Weisz,
Michael Muller,
Stephanie Houde,
John Richards,
Steven I. Ross,
Fernando Martinez,
Mayank Agarwal,
Kartik Talamadupula
Abstract:
Generative models have become adept at producing artifacts such as images, videos, and prose at human-like levels of proficiency. New generative techniques, such as unsupervised neural machine translation (NMT), have recently been applied to the task of generating source code, translating it from one programming language to another. The artifacts produced in this way may contain imperfections, suc…
▽ More
Generative models have become adept at producing artifacts such as images, videos, and prose at human-like levels of proficiency. New generative techniques, such as unsupervised neural machine translation (NMT), have recently been applied to the task of generating source code, translating it from one programming language to another. The artifacts produced in this way may contain imperfections, such as compilation or logical errors. We examine the extent to which software engineers would tolerate such imperfections and explore ways to aid the detection and correction of those errors. Using a design scenario approach, we interviewed 11 software engineers to understand their reactions to the use of an NMT model in the context of application modernization, focusing on the task of translating source code from one language to another. Our three-stage scenario sparked discussions about the utility and desirability of working with an imperfect AI system, how acceptance of that system's outputs would be established, and future opportunities for generative AI in application modernization. Our study highlights how UI features such as confidence highlighting and alternate translations help software engineers work with and better understand generative NMT models.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Islands and mixed states in closed universes
Authors:
Seamus Fallows,
Simon F. Ross
Abstract:
We investigate the appearance of islands when a closed universe with gravity is entangled with a non-gravitating quantum system. We use braneworlds in three-dimensional multiboundary wormhole geometries as a model to explore what happens when the non-gravitating system has several components. The braneworld can be either completely contained in the entanglement wedge of one of the non-gravitating…
▽ More
We investigate the appearance of islands when a closed universe with gravity is entangled with a non-gravitating quantum system. We use braneworlds in three-dimensional multiboundary wormhole geometries as a model to explore what happens when the non-gravitating system has several components. The braneworld can be either completely contained in the entanglement wedge of one of the non-gravitating systems or split between them. In the former case, entanglement with the other system leads to a mixed state in the closed universe, unlike in simpler setups with a single quantum system, where the closed universe was necessarily in a pure state. We show that the entropy of this mixed state is bounded by half of the coarse-grained entropy of the effective theory on the braneworld.
△ Less
Submitted 1 June, 2021; v1 submitted 26 March, 2021;
originally announced March 2021.
-
Towards traversable wormholes from force-free plasmas
Authors:
Nabil Iqbal,
Simon F. Ross
Abstract:
The near-horizon region of magnetically charged black holes can have very strong magnetic fields. A useful low-energy effective theory for fluctuations of the fields, coupled to electrically charged particles, is force-free electrodynamics. The low energy collective excitations include a large number of Alfven wave modes, which have a massless dispersion relation along the field worldlines. We att…
▽ More
The near-horizon region of magnetically charged black holes can have very strong magnetic fields. A useful low-energy effective theory for fluctuations of the fields, coupled to electrically charged particles, is force-free electrodynamics. The low energy collective excitations include a large number of Alfven wave modes, which have a massless dispersion relation along the field worldlines. We attempt to construct traversable wormhole solutions using the negative Casimir energy of the Alfven wave modes, analogously to the recent construction using charged massless fermions. The behaviour of massless scalars in the near-horizon region implies that the size of the wormholes is strongly restricted and cannot be made large, even though the force free description is valid in a larger regime.
△ Less
Submitted 5 October, 2021; v1 submitted 2 March, 2021;
originally announced March 2021.
-
Benchmarks, Algorithms, and Metrics for Hierarchical Disentanglement
Authors:
Andrew Slavin Ross,
Finale Doshi-Velez
Abstract:
In representation learning, there has been recent interest in develo** algorithms to disentangle the ground-truth generative factors behind a dataset, and metrics to quantify how fully this occurs. However, these algorithms and metrics often assume that both representations and ground-truth factors are flat, continuous, and factorized, whereas many real-world generative processes involve rich hi…
▽ More
In representation learning, there has been recent interest in develo** algorithms to disentangle the ground-truth generative factors behind a dataset, and metrics to quantify how fully this occurs. However, these algorithms and metrics often assume that both representations and ground-truth factors are flat, continuous, and factorized, whereas many real-world generative processes involve rich hierarchical structure, mixtures of discrete and continuous variables with dependence between them, and even varying intrinsic dimensionality. In this work, we develop benchmarks, algorithms, and metrics for learning such hierarchical representations.
△ Less
Submitted 8 April, 2022; v1 submitted 9 February, 2021;
originally announced February 2021.
-
Evaluating the Interpretability of Generative Models by Interactive Reconstruction
Authors:
Andrew Slavin Ross,
Nina Chen,
Elisa Zhao Hang,
Elena L. Glassman,
Finale Doshi-Velez
Abstract:
For machine learning models to be most useful in numerous sociotechnical systems, many have argued that they must be human-interpretable. However, despite increasing interest in interpretability, there remains no firm consensus on how to measure it. This is especially true in representation learning, where interpretability research has focused on "disentanglement" measures only applicable to synth…
▽ More
For machine learning models to be most useful in numerous sociotechnical systems, many have argued that they must be human-interpretable. However, despite increasing interest in interpretability, there remains no firm consensus on how to measure it. This is especially true in representation learning, where interpretability research has focused on "disentanglement" measures only applicable to synthetic datasets and not grounded in human factors. We introduce a task to quantify the human-interpretability of generative model representations, where users interactively modify representations to reconstruct target instances. On synthetic datasets, we find performance on this task much more reliably differentiates entangled and disentangled models than baseline approaches. On a real dataset, we find it differentiates between representation learning methods widely believed but never shown to produce more or less interpretable models. In both cases, we ran small-scale think-aloud studies and large-scale experiments on Amazon Mechanical Turk to confirm that our qualitative and quantitative results agreed.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
The effect of pressure fluctuations on the shapes of thinning liquid curtains
Authors:
Bridget M. Torsey,
Steven J. Weinstein,
David S. Ross,
Nathaniel S. Barlow
Abstract:
We consider the time-dependent response of a gravitationally-thinning inviscid liquid sheet (a coating curtain) leaving a vertical slot to sinusoidal ambient pressure disturbances. The theoretical investigation employs the hyperbolic partial differential equation developed by \cite{weinp1}. The response of the curtain is characterized by the slot Weber number, $W_{e_0} = ρq V/2σ$, where $V$ is the…
▽ More
We consider the time-dependent response of a gravitationally-thinning inviscid liquid sheet (a coating curtain) leaving a vertical slot to sinusoidal ambient pressure disturbances. The theoretical investigation employs the hyperbolic partial differential equation developed by \cite{weinp1}. The response of the curtain is characterized by the slot Weber number, $W_{e_0} = ρq V/2σ$, where $V$ is the speed of the curtain at the slot, $q$ is the volumetric flow rate per unit width, $σ$ is the surface tension, and $ρ$ is the fluid density. Flow disturbances travel along characteristics with speeds relative to the curtain of $\pm \sqrt{uV/W_{e_0}}$, where $u = \sqrt{V^2 + 2gx}$ is the curtain speed at a distance $x$ downstream from the slot. When the flow is subcritical ($W_{e_0} < 1$), upstream traveling disturbances near the slot affect the curtain centerline, and the slope of the curtain centerline at the slot oscillates with an amplitude that is a function of $W_{e_0}$. In contrast, all disturbances travel downstream in supercritical curtains ($W_{e_0} > 1$) and the slope of the curtain at the slot is vertical. Here, we specifically examine the curtain response under supercritical and subcritical flow conditions near $W_{e_0} = 1$ to deduce whether there is a substantial change in the overall shape and magnitude of the curtain responses. Despite the local differences in the curtain solution near the slot, we find that subcritical and supercritical curtains have similar responses for all imposed sinusoidal frequencies.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Multirotor-assisted measurements of wind-induced drift of irregularly shaped objects in aquatic environments
Authors:
Javier Gonzalez-Rocha,
Alejandro J. Sosa,
Regina Hanlon,
Arthur A. Allen,
Irina Rypina,
David G. Schmale III,
Shane D. Ross
Abstract:
Ocean hazardous spills and search and rescue incidents are more prevalent as maritime activities increase across all sectors of society. However, emergency response time remains a factor due to a lack of information to accurately forecast the location of small objects. Existing drifting characterization techniques are limited to objects whose drifting properties are not affected by on-board wind a…
▽ More
Ocean hazardous spills and search and rescue incidents are more prevalent as maritime activities increase across all sectors of society. However, emergency response time remains a factor due to a lack of information to accurately forecast the location of small objects. Existing drifting characterization techniques are limited to objects whose drifting properties are not affected by on-board wind and surface current sensors. To address this challenge, we study the application of multirotor unmanned aerial systems (UAS), and embedded navigation technology, for on-demand wind velocity and surface flow measurements to characterize drifting properties of small objects. An off-the-shelf quadrotor was used to measure wind velocity at 10 m above surface level near a drifting object. We also leveraged UAS-grade attitude and heading reference systems and GPS antennas to build water-proof tracking modules that record the position and orientation, as well of translational and rotational velocities, of objects drifting in water. The quadrotor and water-proof tracking modules were deployed during field experiments conducted in lake and ocean environments to characterize the leeway parameters of manikins simulating a person in water. Leeway parameters were found to be an order of magnitude within previous estimates derived using conventional wind and surface current observations. We also determined that multirotor UAS and water-proof tracking modules can provide accurate and high-resolution ambient information that is critical to understand how changes in orientation affect the downwind displacement and jibing characteristics of small objects floating in water. These findings support further development and application of multirotor UAS technology for leeway characterization and understanding the effect of an object's downwind-relative orientation on its drifting characteristics.
△ Less
Submitted 29 December, 2020; v1 submitted 25 December, 2020;
originally announced December 2020.
-
Quality Estimation & Interpretability for Code Translation
Authors:
Mayank Agarwal,
Kartik Talamadupula,
Stephanie Houde,
Fernando Martinez,
Michael Muller,
John Richards,
Steven Ross,
Justin D. Weisz
Abstract:
Recently, the automated translation of source code from one programming language to another by using automatic approaches inspired by Neural Machine Translation (NMT) methods for natural languages has come under study. However, such approaches suffer from the same problem as previous NMT approaches on natural languages, viz. the lack of an ability to estimate and evaluate the quality of the transl…
▽ More
Recently, the automated translation of source code from one programming language to another by using automatic approaches inspired by Neural Machine Translation (NMT) methods for natural languages has come under study. However, such approaches suffer from the same problem as previous NMT approaches on natural languages, viz. the lack of an ability to estimate and evaluate the quality of the translations; and consequently ascribe some measure of interpretability to the model's choices. In this paper, we attempt to estimate the quality of source code translations built on top of the TransCoder model. We consider the code translation task as an analog of machine translation (MT) for natural languages, with some added caveats. We present our main motivation from a user study built around code translation; and present a technique that correlates the confidences generated by that model to lint errors in the translated code. We conclude with some observations on these correlations, and some ideas for future work.
△ Less
Submitted 26 April, 2021; v1 submitted 4 December, 2020;
originally announced December 2020.
-
Strategies for Network-Safe Load Control with a Third-Party Aggregator and a Distribution Operator
Authors:
Stephanie C. Ross,
Johanna L. Mathieu
Abstract:
When providing bulk power system services, a third-party aggregator could inadvertently cause operational issues at the distribution level. We propose a coordination architecture in which an aggregator and distribution operator coordinate to avoid distribution network constraint violations, while preserving private information. The aggregator controls thermostatic loads to provide frequency regula…
▽ More
When providing bulk power system services, a third-party aggregator could inadvertently cause operational issues at the distribution level. We propose a coordination architecture in which an aggregator and distribution operator coordinate to avoid distribution network constraint violations, while preserving private information. The aggregator controls thermostatic loads to provide frequency regulation, while the distribution operator overrides the aggregator's control actions when necessary to ensure safe network operation. Using this architecture, we propose two control strategies, which differ in terms of measurement and communication requirements, as well as model complexity and scalability. The first uses an aggregate model and blocking controller, while the second uses individual load models and a mode-count controller. Both outperform a benchmark strategy in terms of tracking accuracy. Furthermore, the second strategy performs better than the first, with only 0.10% average RMS error (compared to 0.70%). The second is also able to maintain safe operation of the distribution network while overriding less than 1% of the aggregator's control actions (compared to approximately 15% by the first strategy). However, the second strategy has significantly more measurement, communication, and computational requirements, and therefore would be more complex and expensive to implement than the first strategy.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Achieving a quantum smart workforce
Authors:
Clarice D. Aiello,
D. D. Awschalom,
Hannes Bernien,
Tina Brower-Thomas,
Kenneth R. Brown,
Todd A. Brun,
Justin R. Caram,
Eric Chitambar,
Rosa Di Felice,
Michael F. J. Fox,
Stephan Haas,
Alexander W. Holleitner,
Eric R. Hudson,
Jeffrey H. Hunt,
Robert Joynt,
Scott Koziol,
H. J. Lewandowski,
Douglas T. McClure,
Jens Palsberg,
Gina Passante,
Kristen L. Pudenz,
Christopher J. K. Richardson,
Jessica L. Rosenberg,
R. S. Ross,
Mark Saffman
, et al. (7 additional authors not shown)
Abstract:
Interest in building dedicated Quantum Information Science and Engineering (QISE) education programs has greatly expanded in recent years. These programs are inherently convergent, complex, often resource intensive and likely require collaboration with a broad variety of stakeholders. In order to address this combination of challenges, we have captured ideas from many members in the community. Thi…
▽ More
Interest in building dedicated Quantum Information Science and Engineering (QISE) education programs has greatly expanded in recent years. These programs are inherently convergent, complex, often resource intensive and likely require collaboration with a broad variety of stakeholders. In order to address this combination of challenges, we have captured ideas from many members in the community. This manuscript not only addresses policy makers and funding agencies (both public and private and from the regional to the international level) but also contains needs identified by industry leaders and discusses the difficulties inherent in creating an inclusive QISE curriculum. We report on the status of eighteen post-secondary education programs in QISE and provide guidance for building new programs. Lastly, we encourage the development of a comprehensive strategic plan for quantum education and workforce development as a means to make the most of the ongoing substantial investments being made in QISE.
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
Wind dispersal of natural and biomimetic maple samaras
Authors:
Gary K. Nave, Jr.,
Nathaniel Hall,
Katrina Somers,
Brock Davis,
Hope Gruszewski,
Craig Powers,
Michael Collver,
David G. Schmale III,
Shane D. Ross
Abstract:
Maple trees (genus $\textit{Acer}$) accomplish the task of distributing objects to a wide area by producing seeds which are carried by the wind as they slowly descend to the ground, known as samaras. With the goal of supporting engineering applications, such as gathering environmental data over a broad area, we developed 3D-printed artificial samaras. Here, we compare the behavior of both natural…
▽ More
Maple trees (genus $\textit{Acer}$) accomplish the task of distributing objects to a wide area by producing seeds which are carried by the wind as they slowly descend to the ground, known as samaras. With the goal of supporting engineering applications, such as gathering environmental data over a broad area, we developed 3D-printed artificial samaras. Here, we compare the behavior of both natural and artificial samaras in both still-air laboratory experiments and wind dispersal experiments in the field. We show that the artificial samaras are able to replicate (within 1 standard deviation) the behavior of natural samaras in a lab setting. We further introduce the notion of windage to compare dispersal behavior, and show that the natural samara has the highest mean windage, corresponding to the longest flights during both high wind and low wind experimental trials. This research provides a bioinspired design for the dispersed deployment of sensors and provides a better understanding of wind-dispersal of both natural and artificial samaras.
△ Less
Submitted 23 October, 2020;
originally announced October 2020.
-
Global invariant manifolds delineating transition and escape dynamics in dissipative systems
Authors:
Jun Zhong,
Shane D. Ross
Abstract:
Invariant manifolds play an important role in organizing global dynamical behaviors. For example, it is found that in multi-well conservative systems where the potential energy wells are connected by index-1 saddles, the motion between potential wells is governed by the invariant manifolds of a periodic orbit around the saddle. In two degree of freedom systems, such invariant manifolds appear as c…
▽ More
Invariant manifolds play an important role in organizing global dynamical behaviors. For example, it is found that in multi-well conservative systems where the potential energy wells are connected by index-1 saddles, the motion between potential wells is governed by the invariant manifolds of a periodic orbit around the saddle. In two degree of freedom systems, such invariant manifolds appear as cylindrical conduits which are referred to as transition tubes. In this study, we apply the concept of invariant manifolds to study the transition between potential wells in not only conservative systems, but more realistic dissipative systems, by solving respective proper boundary-value problems. The example system considered is a two mode model of the snap-through buckling of a shallow arch. We define the transition region, $\mathcal{T}_h$, as a set of initial conditions of a given initial Hamiltonian energy $h$ with which the trajectories can escape from one potential well to another, which in the example system corresponds to snap-through buckling of a structure. The numerical results reveal that in the conservative system the boundary of the transition region, $\partial \mathcal{T}_h$, is a cylinder, while in the dissipative system, $\partial \mathcal{T}_h$ is an ellipsoid. The algorithms developed in the current research from the perspective of invariant manifold provides a robust theoretical-computational framework to study escape and transition dynamics.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
Detuning Axis Pulsed Spectroscopy of Valley-Orbital States in Si/SiGe Quantum Dots
Authors:
Edward H. Chen,
Kate Raach,
Andrew Pan,
Andrey A. Kiselev,
Edwin Acuna,
Jacob Z. Blumoff,
Teresa Brecht,
Maxwell Choi,
Wonill Ha,
Daniel Hulbert,
Michael P. Jura,
Tyler Keating,
Ramsey Noah,
Bo Sun,
Bryan J. Thomas,
Matthew Borselli,
C. A. C. Jackson,
Matthew T. Rakher,
Richard S. Ross
Abstract:
Silicon quantum dot qubits must contend with low-lying valley excited states which are sensitive functions of the quantum well heterostructure and disorder; quantifying and maximizing the energies of these states are critical to improving device performance. We describe a spectroscopic method for probing excited states in isolated Si/SiGe double quantum dots using standard baseband pulsing techniq…
▽ More
Silicon quantum dot qubits must contend with low-lying valley excited states which are sensitive functions of the quantum well heterostructure and disorder; quantifying and maximizing the energies of these states are critical to improving device performance. We describe a spectroscopic method for probing excited states in isolated Si/SiGe double quantum dots using standard baseband pulsing techniques, easing the extraction of energy spectra in multiple-dot devices. We use this method to measure dozens of valley excited state energies spanning multiple wafers, quantum dots, and orbital states, crucial for evaluating the dependence of valley splitting on quantum well width and other epitaxial conditions. Our results suggest that narrower wells can be beneficial for improving valley splittings, but this effect can be confounded by variations in growth and fabrication conditions. These results underscore the importance of valley splitting measurements for guiding the development of Si qubits.
△ Less
Submitted 26 February, 2021; v1 submitted 9 October, 2020;
originally announced October 2020.
-
Focused Clinical Query Understanding and Retrieval of Medical Snippets powered through a Healthcare Knowledge Graph
Authors:
Maulik R. Kamdar,
Michael Carroll,
Will Dowling,
Linda Wogulis,
Cailey Fitzgerald,
Matt Corkum,
Danielle Walsh,
David Conrad,
Craig E. Stanley, Jr.,
Steve Ross,
Dru Henke,
Mevan Samarasinghe
Abstract:
Clinicians face several significant barriers to search and synthesize accurate, succinct, updated, and trustworthy medical information from several literature sources during the practice of medicine and patient care. In this talk, we will be presenting our research behind the development of a Focused Clinical Search Service, powered by a Healthcare Knowledge Graph, to interpret the query intent be…
▽ More
Clinicians face several significant barriers to search and synthesize accurate, succinct, updated, and trustworthy medical information from several literature sources during the practice of medicine and patient care. In this talk, we will be presenting our research behind the development of a Focused Clinical Search Service, powered by a Healthcare Knowledge Graph, to interpret the query intent behind clinical search queries and retrieve relevant medical snippets from a diverse corpus of medical literature.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Interpretable Machine Learning Approaches to Prediction of Chronic Homelessness
Authors:
Blake VanBerlo,
Matthew A. S. Ross,
Jonathan Rivard,
Ryan Booker
Abstract:
We introduce a machine learning approach to predict chronic homelessness from de-identified client shelter records drawn from a commonly used Canadian homelessness management information system. Using a 30-day time step, a dataset for 6521 individuals was generated. Our model, HIFIS-RNN-MLP, incorporates both static and dynamic features of a client's history to forecast chronic homelessness 6 mont…
▽ More
We introduce a machine learning approach to predict chronic homelessness from de-identified client shelter records drawn from a commonly used Canadian homelessness management information system. Using a 30-day time step, a dataset for 6521 individuals was generated. Our model, HIFIS-RNN-MLP, incorporates both static and dynamic features of a client's history to forecast chronic homelessness 6 months into the client's future. The training method was fine-tuned to achieve a high F1-score, giving a desired balance between high recall and precision. Mean recall and precision across 10-fold cross validation were 0.921 and 0.651 respectively. An interpretability method was applied to explain individual predictions and gain insight into the overall factors contributing to chronic homelessness among the population studied. The model achieves state-of-the-art performance and improved stakeholder trust of what is usually a "black box" neural network model through interpretable AI.
△ Less
Submitted 12 September, 2020;
originally announced September 2020.
-
Magnetic Gradient Fluctuations from Quadrupolar $^{73}$Ge in Si/SiGe Exchange-Only Qubits
Authors:
J. Kerckhoff,
B. Sun,
B. H. Fong,
C. Jones,
A. A. Kiselev,
D. W. Barnes,
R. S. Noah,
E. Acuna,
M. Akmal,
S. D. Ha,
J. A. Wright,
B. J. Thomas,
C. A. C. Jackson,
L. F. Edge,
K. Eng,
R. S. Ross,
T. D. Ladd
Abstract:
We study the time-fluctuating magnetic gradient noise mechanisms in pairs of Si/SiGe quantum dots using exchange echo noise spectroscopy. We find through a combination of spectral inversion and correspondence to theoretical modeling that quadrupolar precession of the $^{73}$Ge nuclei play a key role in the spin-echo decay time $T_2$, with a characteristic dependence on magnetic field and the width…
▽ More
We study the time-fluctuating magnetic gradient noise mechanisms in pairs of Si/SiGe quantum dots using exchange echo noise spectroscopy. We find through a combination of spectral inversion and correspondence to theoretical modeling that quadrupolar precession of the $^{73}$Ge nuclei play a key role in the spin-echo decay time $T_2$, with a characteristic dependence on magnetic field and the width of the Si quantum well. The $^{73}$Ge noise peaks appear at the fundamental and first harmonic of the $^{73}$Ge Larmor resonance, superimposed over $1/f$ noise due to $^{29}$Si dipole-dipole dynamics, and are dependent on material epitaxy and applied magnetic field. These results may inform the needs of dynamical decoupling when using Si/SiGe quantum dots as qubits in quantum information processing devices.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Minkowski summands of cubes
Authors:
Federico Castillo,
Joseph Doolittle,
Bennet Goeckner,
Michael S. Ross,
Li Ying
Abstract:
In pioneering works of Meyer and of McMullen in the early 1970s, the set of Minkowski summands of a polytope was shown to be a polyhedral cone called the type cone. Explicit computations of type cones are in general intractable. Nevertheless, we show that the type cone of the product of simplices is the cone over a simplex. This remarkably simple result derives from insights about rainbow point co…
▽ More
In pioneering works of Meyer and of McMullen in the early 1970s, the set of Minkowski summands of a polytope was shown to be a polyhedral cone called the type cone. Explicit computations of type cones are in general intractable. Nevertheless, we show that the type cone of the product of simplices is the cone over a simplex. This remarkably simple result derives from insights about rainbow point configurations and the work of McMullen.
△ Less
Submitted 22 April, 2022; v1 submitted 15 September, 2020;
originally announced September 2020.
-
Making near-extremal wormholes traversable
Authors:
Seamus Fallows,
Simon F. Ross
Abstract:
We construct a traversable wormhole from a charged AdS black hole by adding a coupling between the two boundary theories. We investigate how the effect of this deformation behaves in the extremal limit of the black hole. The black holes have finite entropy but an infinitely long throat in the extremal limit. We argue that it is still possible to make the throat traversable even in the extremal lim…
▽ More
We construct a traversable wormhole from a charged AdS black hole by adding a coupling between the two boundary theories. We investigate how the effect of this deformation behaves in the extremal limit of the black hole. The black holes have finite entropy but an infinitely long throat in the extremal limit. We argue that it is still possible to make the throat traversable even in the extremal limit, but this requires either tuning the field for which we add a boundary coupling close to an instability threshold or scaling the strength of the coupling inversely with the temperature. In the latter case we show that the amount of information that can be sent through the wormhole scales with the entropy.
△ Less
Submitted 16 October, 2020; v1 submitted 18 August, 2020;
originally announced August 2020.
-
Time-resolved fast turbulent dynamo in a laser plasma
Authors:
A. F. A. Bott,
P. Tzeferacos,
L. Chen,
C. A. J. Palmer,
A. Rigby,
A. Bell,
R. Bingham,
A. Birkel,
C. Graziani,
D. H. Froula,
J. Katz,
M. Koenig,
M. W. Kunz,
C. K. Li,
J. Meinecke,
F. Miniati,
R. Petrasso,
H. -S. Park,
B. A. Remington,
B. Reville,
J. S. Ross,
D. Ryu,
D. Ryutov,
F. Séguin,
T. G. White
, et al. (3 additional authors not shown)
Abstract:
Understanding magnetic-field generation and amplification in turbulent plasma is essential to account for observations of magnetic fields in the universe. A theoretical framework attributing the origin and sustainment of these fields to the so-called fluctuation dynamo was recently validated by experiments on laser facilities in low-magnetic-Prandtl-number plasmas ($\mathrm{Pm} < 1$). However, the…
▽ More
Understanding magnetic-field generation and amplification in turbulent plasma is essential to account for observations of magnetic fields in the universe. A theoretical framework attributing the origin and sustainment of these fields to the so-called fluctuation dynamo was recently validated by experiments on laser facilities in low-magnetic-Prandtl-number plasmas ($\mathrm{Pm} < 1$). However, the same framework proposes that the fluctuation dynamo should operate differently when $\mathrm{Pm} \gtrsim 1$, the regime relevant to many astrophysical environments such as the intracluster medium of galaxy clusters. This paper reports a new experiment that creates a laboratory $\mathrm{Pm} \gtrsim 1$ plasma dynamo for the first time. We provide a time-resolved characterization of the plasma's evolution, measuring temperatures, densities, flow velocities and magnetic fields, which allows us to explore various stages of the fluctuation dynamo's operation. The magnetic energy in structures with characteristic scales close to the driving scale of the stochastic motions is found to increase by almost three orders of magnitude from its initial value and saturate dynamically. It is shown that the growth of these fields occurs exponentially at a rate that is much greater than the turnover rate of the driving-scale stochastic motions. Our results point to the possibility that plasma turbulence produced by strong shear can generate fields more efficiently at the driving scale than anticipated by idealized MHD simulations of the nonhelical fluctuation dynamo; this finding could help explain the large-scale fields inferred from observations of astrophysical systems.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
Spin structures and baby universes
Authors:
Vijay Balasubramanian,
Arjun Kar,
Simon F. Ross,
Tomonori Uga**
Abstract:
We extend a 2d topological model of the gravitational path integral to include sums over spin structure, corresponding to Neveu-Schwarz (NS) or Ramond (R) boundary conditions for fermions. The Euclidean path integral vanishes when the number of R boundaries is odd. This path integral corresponds to a correlator of boundary creation operators on a non-trivial baby universe Hilbert space. The non-fa…
▽ More
We extend a 2d topological model of the gravitational path integral to include sums over spin structure, corresponding to Neveu-Schwarz (NS) or Ramond (R) boundary conditions for fermions. The Euclidean path integral vanishes when the number of R boundaries is odd. This path integral corresponds to a correlator of boundary creation operators on a non-trivial baby universe Hilbert space. The non-factorization necessitates a dual interpretation of the bulk path integral in terms of a product of partition functions (associated to NS boundaries) and Witten indices (associated to R boundaries), averaged over an ensemble of theories with varying Hilbert space dimension and different numbers of bosonic and fermionic states. We also consider a model with End-of-the-World (EOW) branes: the dual ensemble then includes a sum over randomly chosen fermionic and bosonic states. We propose two modifications of the bulk path integral which restore an interpretation in a single dual theory: (i) a geometric prescription where we add extra boundaries with a sum over their spin structures, and (ii) an algebraic prescription involving "spacetime D-branes". We extend our ideas to Jackiw-Teitelboim gravity, and propose a dual description of a single unitary theory with spin structure in a system with eigenbranes.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
The energy of muscle contraction. II. Transverse compression and work
Authors:
D. S. Ryan,
S. Domínguez,
S. A. Ross,
N. Nigam,
J. M. Wakeling
Abstract:
In this study we reproduced this compression-induced reduction in muscle force through the use of a three-dimensional finite element model of contracting muscle. The model used the principle of minimum total energy and allowed for the redistribution of energy through different strain energy-densities; this allowed us to determine the importance of the strain energy-densities to the transverse forc…
▽ More
In this study we reproduced this compression-induced reduction in muscle force through the use of a three-dimensional finite element model of contracting muscle. The model used the principle of minimum total energy and allowed for the redistribution of energy through different strain energy-densities; this allowed us to determine the importance of the strain energy-densities to the transverse forces developed by the muscle. Furthermore, we were able to study how external work done on the muscle by transverse compression affects the internal work and strain-energy distribution of the muscle.
△ Less
Submitted 28 April, 2020;
originally announced April 2020.
-
Split-Gate Cavity Coupler for Silicon Circuit Quantum Electrodynamics
Authors:
F. Borjans,
X. Croot,
S. Putz,
X. Mi,
S. M. Quinn,
A. Pan,
J. Kerckhoff,
E. J. Pritchett,
C. A. Jackson,
L. F. Edge,
R. S. Ross,
T. D. Ladd,
M. G. Borselli,
M. F. Gyure,
J. R. Petta
Abstract:
Coherent charge-photon and spin-photon coupling has recently been achieved in silicon double quantum dots (DQD). Here we demonstrate a versatile split-gate cavity-coupler that allows more than one DQD to be coupled to the same microwave cavity. Measurements of the cavity transmission as a function of level detuning yield a charge cavity coupling rate $g_c/2π$ = 58 MHz, charge decoherence rate…
▽ More
Coherent charge-photon and spin-photon coupling has recently been achieved in silicon double quantum dots (DQD). Here we demonstrate a versatile split-gate cavity-coupler that allows more than one DQD to be coupled to the same microwave cavity. Measurements of the cavity transmission as a function of level detuning yield a charge cavity coupling rate $g_c/2π$ = 58 MHz, charge decoherence rate $γ_c/2π$ = 36 MHz, and cavity decay rate $κ/2π$ = 1.2 MHz. The charge cavity coupling rate is in good agreement with device simulations. Our coupling technique can be extended to enable simultaneous coupling of multiple DQDs to the same cavity mode, opening the door to long-range coupling of semiconductor qubits using microwave frequency photons.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
Resonant Exchange Operation in Triple-Quantum-Dot Qubits for Spin-Photon Transduction
Authors:
Andrew Pan,
Tyler E. Keating,
Mark F. Gyure,
Emily J. Pritchett,
Samuel Quinn,
Richard S. Ross,
Thaddeus D. Ladd,
Joseph Kerckhoff
Abstract:
Triple quantum dots (TQDs) are promising semiconductor spin qubits because of their all-electrical control via fast, tunable exchange interactions and immunity to global magnetic fluctuations. These qubits can experience strong transverse interaction with photons in the resonant exchange (RX) regime, when exchange is simultaneously active on both qubit axes. However, most theoretical work has been…
▽ More
Triple quantum dots (TQDs) are promising semiconductor spin qubits because of their all-electrical control via fast, tunable exchange interactions and immunity to global magnetic fluctuations. These qubits can experience strong transverse interaction with photons in the resonant exchange (RX) regime, when exchange is simultaneously active on both qubit axes. However, most theoretical work has been based on phenomenological Fermi-Hubbard models, which may not fully capture the complexity of the qubit spin-charge states in this regime. Here we investigate exchange in Si/SiGe and GaAs TQDs using full configuration interaction (FCI) calculations which better describe practical device operation. We show that high exchange operation in general, and the RX regime in particular, can differ significantly from simple models, presenting new challenges and opportunities for spin-photon coupling. We highlight the impact of device electrostatics and effective mass on exchange and identify a new operating point (XRX) where strong spin-photon coupling is most likely to occur in Si/SiGe TQDs. Based on our numerical results, we analyze the feasibility of a remote entanglement cavity iSWAP protocol and discuss design pathways for improving fidelity. Our analysis provides insight into the requirements for TQD spin-photon transduction and demonstrates more generally the necessity of accurate modeling of exchange in spin qubits.
△ Less
Submitted 8 May, 2020; v1 submitted 24 January, 2020;
originally announced January 2020.