Researcher profile

Alexander L. Gaunt

Alexander L. Gaunt contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
11works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2016arXiv

Emergence of a Turbulent Cascade in a Quantum Gas

In the modern understanding of turbulence, a central concept is the existence of cascades of excitations from large to small lengthscales, or vice-versa. This concept was introduced in 1941 by Kolmogorov and Obukhov, and the phenomenon has since been observed in a variety of systems, including interplanetary plasmas, supernovae, ocean waves, and financial markets. Despite a lot of progress, quantitative understanding of turbulence remains a challenge due to the interplay of many lengthscales that usually thwarts theoretical simulations of realistic experimental conditions. Here we observe the emergence of a turbulent cascade in a weakly interacting homogeneous Bose gas, a quantum fluid that is amenable to a theoretical description on all relevant lengthscales. We prepare a Bose-Einstein condensate (BEC) in an optical box, drive it out of equilibrium with an oscillating force that pumps energy into the system at the largest lengthscale, study the BEC's nonlinear response to the periodic drive, and observe a gradual development of a cascade characterised by an isotropic power-law distribution in momentum space. We numerically model our experiments using the Gross-Pitaevskii equation (GPE) and find excellent agreement with the measurements. Our experiments establish the uniform Bose gas as a promising new platform for investigating many aspects of turbulence, including the interplay of vortex and wave turbulence and the relative importance of quantum and classical effects.

preprint2016arXiv

Observation of Weak Collapse in a Bose-Einstein Condensate

We study the collapse of an attractive atomic Bose-Einstein condensate prepared in the uniform potential of an optical-box trap. We characterise the critical point for collapse and the collapse dynamics, observing universal behaviour in agreement with theoretical expectations. Most importantly, we observe a clear experimental signature of the counterintuitive weak collapse, namely that making the system more unstable can result in a smaller particle loss. We experimentally determine the scaling laws that govern the weak-collapse atom loss, providing a benchmark for the general theories of nonlinear wave phenomena.

preprint2016arXiv

Summary - TerpreT: A Probabilistic Programming Language for Program Induction

We study machine learning formulations of inductive program synthesis; that is, given input-output examples, synthesize source code that maps inputs to corresponding outputs. Our key contribution is TerpreT, a domain-specific language for expressing program synthesis problems. A TerpreT model is composed of a specification of a program representation and an interpreter that describes how programs map inputs to outputs. The inference task is to observe a set of input-output examples and infer the underlying program. From a TerpreT model we automatically perform inference using four different back-ends: gradient descent (thus each TerpreT model can be seen as defining a differentiable interpreter), linear program (LP) relaxations for graphical models, discrete satisfiability solving, and the Sketch program synthesis system. TerpreT has two main benefits. First, it enables rapid exploration of a range of domains, program representations, and interpreter models. Second, it separates the model specification from the inference algorithm, allowing proper comparisons between different approaches to inference. We illustrate the value of TerpreT by developing several interpreter models and performing an extensive empirical comparison between alternative inference algorithms on a variety of program models. To our knowledge, this is the first work to compare gradient-based search over program space to traditional search-based alternatives. Our key empirical finding is that constraint solvers dominate the gradient descent and LP-based formulations. This is a workshop summary of a longer report at arXiv:1608.04428

preprint2016arXiv

TerpreT: A Probabilistic Programming Language for Program Induction

We study machine learning formulations of inductive program synthesis; given input-output examples, we try to synthesize source code that maps inputs to corresponding outputs. Our aims are to develop new machine learning approaches based on neural networks and graphical models, and to understand the capabilities of machine learning techniques relative to traditional alternatives, such as those based on constraint solving from the programming languages community. Our key contribution is the proposal of TerpreT, a domain-specific language for expressing program synthesis problems. TerpreT is similar to a probabilistic programming language: a model is composed of a specification of a program representation (declarations of random variables) and an interpreter describing how programs map inputs to outputs (a model connecting unknowns to observations). The inference task is to observe a set of input-output examples and infer the underlying program. TerpreT has two main benefits. First, it enables rapid exploration of a range of domains, program representations, and interpreter models. Second, it separates the model specification from the inference algorithm, allowing like-to-like comparisons between different approaches to inference. From a single TerpreT specification we automatically perform inference using four different back-ends. These are based on gradient descent, linear program (LP) relaxations for graphical models, discrete satisfiability solving, and the Sketch program synthesis system. We illustrate the value of TerpreT by developing several interpreter models and performing an empirical comparison between alternative inference algorithms. Our key empirical finding is that constraint solvers dominate the gradient descent and LP-based formulations. We conclude with suggestions for the machine learning community to make progress on program synthesis.

preprint2014arXiv

Critical Dynamics of Spontaneous Symmetry Breaking in a Homogeneous Bose gas

We explore the dynamics of spontaneous symmetry breaking in a homogeneous system by thermally quenching an atomic gas with short-range interactions through the Bose-Einstein phase transition. Using homodyne matter-wave interferometry to measure first-order correlation functions, we verify the central quantitative prediction of the Kibble-Zurek theory, namely the homogeneous-system power-law scaling of the coherence length with the quench rate. Moreover, we directly confirm its underlying hypothesis, the freezing of the correlation length near the transition due to critical slowing down. Our measurements agree with beyond mean-field theory, and support the previously unverified expectation that the dynamical critical exponent for this universality class, which includes the $λ$-transition of liquid $^4$He, is $z=3/2$.

preprint2014arXiv

Observing Properties of an Interacting Homogeneous Bose--Einstein Condensate: Heisenberg-Limited Momentum Spread, Interaction Energy and Free-Expansion Dynamics

We study the properties of an atomic Bose--Einstein condensate produced in an optical-box potential, using high-resolution Bragg spectroscopy. For a range of box sizes, up to $70~μ$m, we directly observe Heisenberg-limited momentum uncertainty of the condensed atoms. We measure the condensate interaction energy with a precision of $k_B \times 100$ pK and study, both experimentally and numerically, the dynamics of its free expansion upon release from the box potential. All our measurements are in good agreement with theoretical expectations for a perfectly homogeneous condensate of spatial extent equal to the size of the box, which also establishes the uniformity of our optical-box system on a sub-nK energy scale.

preprint2014arXiv

Quantum Joule-Thomson Effect in a Saturated Homogeneous Bose Gas

We study the thermodynamics of Bose-Einstein condensation in a weakly interacting quasi-homogeneous atomic gas, prepared in an optical-box trap. We characterise the critical point for condensation and observe saturation of the thermal component in a partially condensed cloud, in agreement with Einstein's textbook picture of a purely statistical phase transition. Finally, we observe the quantum Joule-Thomson effect, namely isoenthalpic cooling of an (essentially) ideal gas. In our experiments this cooling occurs spontaneously, due to energy-independent collisions with the background gas in the vacuum chamber. We extract a Joule-Thomson coefficient $μ_{\rm JT} > 10^9$ K/bar, about ten orders of magnitude larger than observed in classical gases.

preprint2013arXiv

Stability of a unitary Bose gas

We study the stability of a thermal $^{39}$K Bose gas across a broad Feshbach resonance, focusing on the unitary regime, where the scattering length $a$ exceeds the thermal wavelength $λ$. We measure the general scaling laws relating the particle-loss and heating rates to the temperature, scattering length, and atom number. Both at unitarity and for positive $a \ll λ$ we find agreement with three-body theory. However, for $a<0$ and away from unitarity, we observe significant four-body decay. At unitarity, the three-body loss coefficient, $L_3 \propto λ^4$, is three times lower than the universal theoretical upper bound. This reduction is a consequence of species-specific Efimov physics and makes $^{39}$K particularly promising for studies of many-body physics in a unitary Bose gas.

preprint2012arXiv

A compact single-chamber apparatus for Bose-Einstein condensation of $^87$Rb

We describe a simple and compact single-chamber apparatus for robust production of $^87$Rb Bose-Einstein condensates. The apparatus is built from off-the-shelf components and allows production of quasi-pure condensates of > $3\times 10^5$ atoms in < 30 s. This is achieved using a hybrid trap created by a quadrupole magnetic field and a single red-detuned laser beam [Y.-J. Lin et al., Phys. Rev. A 79, 063631 (2009)]. In the same apparatus we also achieve condensation in an optically plugged quadrupole trap [K. B. Davis et al., Phys. Rev. Lett. 75, 3969 (1995)] and show that as little as 70 mW of plug-laser power is sufficient for condensation, making it viable to pursue this approach using inexpensive diode lasers. While very compact, our apparatus features sufficient optical access for complex experiments, and we have recently used it to demonstrate condensation in a uniform optical-box potential [A. Gaunt et al., arXiv:1212.4453 (2012)].

preprint2012arXiv

A superheated Bose-condensed gas

Our understanding of various states of matter usually relies on the assumption of thermodynamic equilibrium. However, the transitions between different phases of matter can be strongly affected by non-equilibrium phenomena. Here we demonstrate and explain an example of non-equilibrium stalling of a continuous, second-order phase transition. We create a superheated atomic Bose gas, in which a Bose-Einstein condensate (BEC) persists above the equilibrium critical temperature, $T_c$, if its coupling to the surrounding thermal bath is reduced by tuning interatomic interactions. For vanishing interactions the BEC persists in the superheated regime for a minute. However, if strong interactions are suddenly turned on, it rapidly &#34;boils&#34; away. Our observations can be understood within a two-fluid picture, treating the condensed and thermal components of the gas as separate equilibrium systems with a tuneable inter-component coupling. We experimentally reconstruct a non-equilibrium phase diagram of our gas, and theoretically reproduce its main features.

preprint2012arXiv

Bose-Einstein condensation of atoms in a uniform potential

We have observed Bose-Einstein condensation of an atomic gas in the (quasi-)uniform three-dimensional potential of an optical box trap. Condensation is seen in the bimodal momentum distribution and the anisotropic time-of-flight expansion of the condensate. The critical temperature agrees with the theoretical prediction for a uniform Bose gas. The momentum distribution of our non-condensed quantum-degenerate gas is also clearly distinct from the conventional case of a harmonically trapped sample and close to the expected distribution in a uniform system. We confirm the coherence of our condensate in a matter-wave interference experiment. Our experiments open many new possibilities for fundamental studies of many-body physics.