Stable production of a strongly-interacting Bose-Einstein condensate via mode-matching
E. J. Halperin, M. W. C. Sze, J. P. Corson, J. L. Bohn

TL;DR
The paper presents a diabatic protocol for reliably producing a strongly-interacting Bose-Einstein condensate by matching density profiles through trap and scattering length modifications, enabling new studies of quantum many-body effects.
Contribution
It introduces a novel diabatic method for creating strongly-interacting BECs that avoids issues with adiabatic or direct quenches, using mode-matching techniques.
Findings
Achieves nearly unit population transfer to the strongly-interacting ground state.
Enables investigation of beyond mean-field effects in Bose gases.
Provides a practical protocol for experimental realization.
Abstract
We describe a diabatic protocol to prepare a strongly-interacting Bose-Einstein condensate in a regime where neither an adiabatic ramp nor a direct diabatic quench are desirable. This protocol is expected to achieve a nearly unit population transfer to the strongly-interacting ground state for realistic experimental parameters for Rb. The protocol matches the initial and final density profiles by modifying the trap along with the scattering length during the quench. The protocol should reveal several properties of the strongly-interacting Bose gas, and enable further investigation of beyond mean-field corrections to the Gross-Pitaevskii equation.
| Number of atoms | |||
| Initial scattering length | |||
| Final scattering length | |||
| Final trap frequency | Hz | ||
| Loss coefficient | cm6/s | ||
| Perturbative parameter |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Stable production of a strongly-interacting Bose-Einstein condensate via mode-matching
E. J. Halperin
JILA, NIST, and Department of Physics, University of Colorado, Boulder, Colorado 80309-0440, USA
M. W. C. Sze
JILA, NIST, and Department of Physics, University of Colorado, Boulder, Colorado 80309-0440, USA
J. P. Corson
JILA, NIST, and Department of Physics, University of Colorado, Boulder, Colorado 80309-0440, USA
J. L. Bohn
JILA, NIST, and Department of Physics, University of Colorado, Boulder, Colorado 80309-0440, USA
Abstract
We describe a diabatic protocol to prepare a strongly-interacting Bose-Einstein condensate in a regime where neither an adiabatic ramp nor a direct diabatic quench are desirable. This protocol is expected to achieve a nearly unit population transfer to the strongly-interacting ground state for realistic experimental parameters for 85Rb. The protocol matches the initial and final density profiles by modifying the trap along with the scattering length during the quench. The protocol should reveal several properties of the strongly-interacting Bose gas, and enable further investigation of beyond mean-field corrections to the Gross-Pitaevskii equation.
I Introduction
An outstanding goal in the physics of dilute, atomic Bose-Einstein condensates (BECs) is to track their properties from the weakly-interacting regime to the strongly-interacting regime. For a dilute gas, whose mean interatomic spacing is far greater than the range of the two-body interaction, the strength of interaction is conveniently parametrized by the two-body scattering length , which can be tuned by means of magnetic field Fano-Feshbach resonances. If the scattering length and the number density satisfy , then is a perturbative parameter, and the usual methods of quantum field theory describe the physics quite accurately. However, can also be set to large, even infinite values, which calls for a re-appraisal of how these Bose gases behave.
A presumptive experimental procedure for producing a ground state BEC at large scattering length would start with a stable ground state BEC at some small initial scattering length . The scattering length would then be ramped adiabatically to the desired final value , slowly enough that the gas remains in the ground state of the trap throughout the ramp. This effort is limited, however, by the depletion and heating of the condensate caused by three-body recombination, which scales as the fourth power of the scattering length. These circumstances constrain the speed of the adiabatic ramp, for it must be fast enough to not lose too many atoms but slow enough to track the ground state along the way.
For sufficiently small scattering lengths, an adiabatic ramp of is perfectly reasonable, as in the experiment of Ref. Navon et al. (2011). This experiment measured the beyond mean-field correction predicted by Lee, Huang, and Yang (LHY) Huang and Yang (1957); Lee et al. (1957); Dalfovo et al. (1999) to the equation of state up to moderate scattering length of , where the perturbative parameter . However, the larger the final scattering length, the more impractical an adiabatic ramp becomes. One partial solution to this difficulty is to study the large- thermal Bose gas, where the destructive effects of three-body recombination are minimized Fletcher et al. (2013); Rem et al. (2013). Another is to make the transition rapidly and to study the dynamics before the gas is destroyed. This is in fact the technique used to explore the unitary BEC, where the scattering length is infinite Smith et al. (2012); Fletcher et al. (2013); Makotyn et al. (2014).
This kind of diabatic quench of is not without its problems. Chief among them is that the initial and final ground states are not well matched, as illustrated in Fig. 1(a). This sketch includes a representation of a harmonic trap with frequency (blue curves), in which the strongly-interacting BEC is prepared. The density profile of the BEC is also sketched (black lines) for the initial scattering length in the lower panel, and the final in the upper panel. The density profile of is somewhat wider if . It is evident that, under a diabatic quench that projects the wave function onto the wave function, the condensate’s immediate response is to expand rapidly. It is not in its stationary ground state, and is moreover at a higher density than the ground state, exacerbating the three-body loss.
As an alternative, we here propose a mode-matching protocol to offset the effect of jumping to the strongly-interacting regime by also modifying the trap shape during the quench. This protocol is sketched in Fig. 1(b). We aim to produce a BEC with scattering length in a trap with frequency , i.e., the upper panel of Fig. 1(b) presents the same goal as the upper panel of Fig. 1(a). In the stable initial state with low scattering length , we instead begin in a larger trap where the initial wave function is the same width as the final target BEC (lower panel of Fig. 1(b)). We then simultaneously quench both the trap to its final frequency and the scattering length to its final value. By means of this double quench, one can prepare a strongly-interacting gas whose density profile closely resembles that of the BEC in its ground state.
In a harmonic trap the initial frequency required to achieve this protocol is easily estimated in the Thomas-Fermi (TF) approximation. In this case the radius of the BEC in a spherically symmetric trap is given by Dalfovo et al. (1999)
[TABLE]
where is the oscillator length, is the total number of atoms, and is the scattering length. Since both traps are harmonic, two states with equal TF radii will have exactly equal density profiles in this approximation, even when the trap frequencies are different. For a given final trap frequency , final scattering length , and initial scattering length , the optimal initial trap frequency is therefore
[TABLE]
In this approximation, the ground state wave function for the initial trap, , has perfect overlap with the ground state wave function for the strongly-interacting gas, in the final trap , and would therefore produce the ground state of the strongly-interacting BEC exactly. This is in contrast to the direct quench of scattering length where the trap frequency is the same before and after the quench. Upon the direct quench the overlap would instead be
[TABLE]
This is valid when , since we approximated the final density as constant where the initial density is nonzero. This gives about overlap for the case considered in detail in the next section.
Even if the densities before and after the quench are perfectly matched, there may still be correlations created during the quench, leading to quasiparticle excitations in the final state Natu and Mueller (2013). In order to reach the ground state of the strongly interacting gas exactly, the quench, which is diabatic on the time scale of trap dynamics, must be adiabatic on the time scale of quasiparticle excitations and molecular dynamics. The characteristic time scale on which quasiparticle excitations develop is . Thus, for a spherically symmetric trap in the TF approximation
[TABLE]
where is the time scale of the trap. For parameters given in the next section, in the final trap. Likewise, molecular dynamics Corson and Bohn (2016, 2015); Hung et al. (2013) occur on a time scale , where for our parameters . Since these time scales are both much faster than the trap dynamics, we approximate the quench as adiabatic for any two-body and molecular dynamics, but diabatic for the density dynamics. Consequently, we ignore two-body dynamics in what follows.
The true BEC is described by physics not included in the Thomas-Fermi approximation, of course. In this paper, we evaluate the protocol for more realistic BECs that are described by physics including a correction beyond the mean-field approximation, and that incorporate realistic losses due to three-body recombination. In general, in projecting from a harmonic trap to another harmonic trap, the overlap of initial and final wave functions will not be exactly perfect, and the resulting BEC will contain some residual radial oscillations. Therefore, an operational goal of the mode-matching procedure is to produce a gas with the minimum residual breathing excitation – a goal that is generally achievable for an arbitrary final state. In cases where the final state is expected to have a known profile, we can improve the method and suggest a modified initial potential, not necessarily harmonic, that guarantees unit overlap.
II State Preparation by the Mode-Matching Protocol
We model a BEC containing atoms in a spherically symmetric harmonic oscillator trap with frequency and scattering length . Throughout, we model the dynamics of the condensate using a modified Gross-Pitaevkii equation Huang and Yang (1957); Lee et al. (1957); Dalfovo et al. (1999)
[TABLE]
where is the many-body order parameter of the Bose gas, realted to the single particle wave function by . Here is the external potential, and is the coupling constant, with the two-body scattering length. The LHY term is given by the coefficient , and losses are incorporated via the three-body loss coefficient which is a function of the scattering length and the atomic species and is defined by the loss it incurs,
[TABLE]
has two components, for a deep quench and a shallow quench , depending on the molecular state produced in the recombination. The total loss rate is , where Braaten and Hammer (2006)
[TABLE]
with . For 85Rb, and Wild et al. (2012). Thus, cm6/s for scattering length used in the calculations below. Our perturbative parameter , although the LHY correction to the chemical potential is . We are in a regime where the LHY correction is appreciable but the next order term can be mostly neglected.
II.1 Harmonic Trap
We first contrast the mode-matching protocol to the direct scattering length quench in Fig. 2. The first row depicts the direct quench of the scattering length from to , in a fixed trap of frequency Hz. This trap was chosen to emulate the trap used in the unitary gas experiments at JILA Makotyn et al. (2014). The density profile is shown at three time intervals after the quench. Upon suffering the direct quench, the gas rapidly expands and loses atom number due to its high initial density. Moreover, the density profile is no longer smooth.
The second row in Fig. 2 shows the density profile at the same times, for a protocol that also includes a quench from Hz to Hz along with the scattering length quench. This initial frequency is chosen to minimize the breathing excitations after the quench, in a way to be specified below. This double quench preserves the general shape of the density profile. Still, the gas is naturally densest near the center of the trap where . Thus, there is more loss near the center, which distorts the density profile over time. The gas shrinks when the central density decreases, approximately tracking whatever shape the ground state density profile with fewer atoms would take. This process, however, is not adiabatic and causes a slight wobble, as seen in the bottom right panel.
The mode-matching double quench also has the advantage of starting at a lower density than the direct quench, and thus preserving more atoms in the BEC. At , the gas retains only around of the original atoms in the direct quench, whereas the gentler double quench retains around of the original atoms.
It is worth noting that the state produced in the double quench is not the same as the true final ground state (red dashed curve). Although this slight mismatch is unavoidable for a harmonic initial trap, the initial frequency is chosen to minimize oscillatory dynamics, not maximize overlap with the ground state. The optimal initial frequency is Hz, instead of Hz, the frequency which maximizes overlap onto the ground state. The overlaps in the two cases are and , respectively.
The dynamical response of the BEC created in the double quench is a sensitive function of the initial trap frequency . This is illustrated in Fig. 3, which shows the time evolution of the mean density , defined as
[TABLE]
This figure shows for four different initial conditions before the quench. The dotted purple curve corresponds to the direct quench with , and shows the expected, rapid decrease of the density. Next, the dashed-dot yellow line gives the response if we had selected the initial frequency according to the TF criterion in Eq. (2). This value of leads to a significantly different density profile from the gas prepared with . Here the overlap squared is . The gas is denser in the center than the true ground state , and so it expands and then contracts, showing a breathing mode around some overall decaying density. These oscillations are amplified by the nonlinearity of Eq. (5) but damped by the loss. Generally, oscillations lead to an overall decrease in atom number over one oscillatory period as compared to pure exponential decay, as the loss is proportional to Braaten and Hammer (2006). Thus, the initial state that minimizes oscillatory dynamics also maximizes the number of atoms still remaining after one oscillatory period.
The solid blue line in Fig. 3 gives the mean density for the optimal double quench, chosen to minimize the oscillations in around an overall decay. The optimal frequency gives very similar density dynamics to the BEC that starts in the true ground state of the final trap (red dashed line), which is unsurprising due to their high overlap. While the double quench does not produce the exact ground state of the strongly-interacting gas, it nevertheless produces something very similar.
The behavior of the mean density over time suggests an operational procedure for optimizing the initial frequency. Dynamics that do not distort the shape of the density can be approximated by exponential decay of . Dynamics beyond this exponential decay are due to the mode mismatch or loss, both of which contribute to radial breathing modes. We can effectively use the amplitude of the oscillations around the exponential profile as a measure of our mode-matching. We first find the best fit to the mean density for a decaying exponential,
[TABLE]
We define the mode mismatch , measuring the magnitude of the oscillatory motion, as the mean squared error of the actual density profile from the best fit curve, given by
[TABLE]
where is the time for which we observe the dynamics, in this case one oscillatory period. This is a measure of how well the mode produced in the double quench matches the sought ground state. Unlike overlap, this is a model independent and experimentally observable quantity.
Figure 4 plots over a range of initial frequencies for two different values of the loss parameter (red and blue curves). The minimum of was used to determine Hz, the initial trap frequency for Fig. 2 and Fig. 3. As a reference, we also show the overlap error (yellow dotted curve), defined as . The location of the minimum is shifted for as compared to the minimum of overlap error. This leads to a slightly larger initial gas, offsetting the wobble caused by increased loss near the center of the trap. Since overlap, unlike , is not a dynamical quantity, it is independent of loss and thus only plotted once. For comparison, the red dashed curve shows the same for a hypothetical case where the loss coefficient is five times smaller. Reducing the amount of loss leads to a sharpening of the peak.
II.2 Exact Preparation of the Ground State
The mode-matching scheme is quite general. A double quench like that described above should produce a final-state BEC close to the desired ground state, even when that ground state is not known ahead of time. However, in a moderately-interacting regime where the final ground state is expected to be known, a modification of the scheme should allow one to reproduce it exactly.
Doing so could extend the experimentally feasible regime beyond the limit in Ref. Navon et al. (2011), where the adiabatic ramp is limited by three-body loss. Just beyond this regime, loss is still slow enough that any dynamics would be initially dominated by the mismatch onto the final ground state. Scanning the initial trap frequency and minimizing improves the overlap over the direct quench, but still only gives an overlap squared of for our system parameters. Here we show how to eliminate the remaining discrepancy in projecting onto the known strongly-interacting state.
Given a target wave function that is the ground state of the final trap, we seek a weakly-interacting state with perfect overlap onto . This increases the complexity of the initial trap, which will no longer be harmonic, but will require the tools of trap shaping Zupancic et al. (2016). We design a potential such that the Gross-Pitaevskii equation with small scattering length has as its ground state. In this way could be adiabatically prepared in prior to some quench into large scattering length. At low scattering length, beyond LHY corrections and loss are negligible, so the Gross-Pitaevskii equation for the initial single-particle ground state wave function reads
[TABLE]
where the chemical potential and the coupling are both for the initial, low scattering length state. We set the potential based on the target state to
[TABLE]
where and are still for the initial state. Inserting into Eq. (11) and rearranging terms, we have
[TABLE]
Now solves Eq. (13), since both terms are zero by setting . This is an equation for the gas at low scattering length, although is the product of the high scattering length gas. Since the target state is the ground state of the final potential, it is real and nodeless Pitaevskii and Stringari (2003). Thus, is well behaved. The chemical potential sets an overall but irrelevant shift to in Eq. (12), so for convenience we set .
For ground state of the harmonic trap at , we show the potential that produces this same state with in Fig. 5. The shaped trap and optimal harmonic trap are both very wide on the scale of the final trap, as the scattering length is much smaller during the preparation than after the quench. However, the shaped trap that produces exactly is strikingly different from the optimal harmonic trap, especially given that we achieved overlap squared of (instead of unity) with the harmonic trap. The shaped trap rises much more quickly than the harmonic trap after , reducing the exponential tail of the density profile to better match the short tail of the strongly-interacting gas. Additionally, it stays below the harmonic trap, and is essentially flat until . For , both and , so their quotient is indeterminable. We therefore cut off the shaped trap at large , well after the density has gone to zero. We numerically verify, using the full model including the LHY term, that this shaped potential gives the correct ground state wave function with overlap error less than .
III Ancillary Measurements of Gas Properties
The mode-matching protocol, in addition to preparing an approximate or exact strongly-interacting ground state, offers a way to extract useful information about the gas and the equation of state that governs it. We demonstrate a method for observing the LHY correction and beyond LHY correction to the Gross-Pitaevskii equation, and how to approximately gauge the ground state density and energy.
By considering the map of versus as a kind of spectrum, one can extract the “resonant” frequency at the minimal value of . Figure 6 shows scans of for three different final scattering lengths . We give these frequencies in units of Hz here instead of , as we did in Fig. 4, since depends on . We vary the loss as a function of scattering length according to Eq. (II). The red dashed line reproduces the solid blue curve from Fig. 4. We additionally show the spectrum for a smaller final scattering length (blue dotted curve). Compared to the spectrum, the minimum here shifts to larger as the final gas is narrower. The peak here is much sharper at small scattering length. Due to the lack of appreciable loss, the majority of dynamics are due solely to mode-mismatching.
The yellow dashed-dot curve shows a much larger scattering length when . Here, the loss is so significant that the condensate is almost overdamped. Thus, there is near exponential decay regardless of the initial frequency. The spectroscopic feature becomes more shallow and broader, but is nevertheless still resolvable. At this large , our LHY model is likely not fully describing the gas, as now . It is interesting to consider exactly how the location of the minimum shifts as is varied.
Figure 7 shows the initial frequencies that give the minimum value of as a function of final scattering length , for two different models. The dashed blue curve gives the initial frequency predicted by a Gross-Pitaevskii (GP) model neglecting the LHY correction, which is contrasted with the red curve that shows the initial frequency predicted by the full model (GP + LHY). Deviation from the value predicted by the GP curve would constitute a measurement of the LHY correction. This difference is fairly subtle for small scattering length, but becomes more pronounced around . Furthermore, we show these curves up to where the beyond LHY correction is sizable, as . Then, the difference between the optimal and the value predicted by the full (GP + LHY) model could give a measurement of the next, beyond LHY correction to the equation of motion.
In addition, based on the way in which it is selected, the initial density profile approximately measures the density profile of the strongly-interacting ground state. When the density profile is thought to be known exactly, shaping the trap, as discussed in Sec. II.2, could confirm if this is the actual ground state density.
One could also measure the ground state energy by a slightly modified quench experiment, especially in the intermediate regime where an adiabatic ramp is not possible but the gas is fully described by some (possibly modified) GP equation and loss is low. First, the density profile of the strongly-interacting Bose gas in some final trap needs to be established either theoretically or by finding the minimum of . Then, one could adiabatically prepare the weakly interacting gas in a state with density that matches the density of the final state, either in a harmonic or shaped initial trap. Measurement of the energy of this final state could be done by quenching from , while simultaneously turning off the trap. The final trap never actually needs to be produced. At small times, once the scattering length has been quenched, there is a strongly-interacting ground state for the final trap, even in the absence of that trap. The gas then expands, and as long as three-body loss is negligible during the expansion, the energy can be extracted from the final kinetic energy.
This energy measurement presumes, as we have presumed throughout, that the quench to the final state is adiabatic with respect to quasiparticles and molecular dynamics. That there is a quench rate that satisfies this criteria was argued in Sec. I. However, it is also interesting to contemplate quenches that are chosen to be diabatic with respect to two-body physics, to emphasize the creation and dynamics of quasiparticles. If this quench occurs within the mode-matching procedure, the resulting dynamics will be dominated by quasiparticles, disentangled from collective oscillations in the density profile of the gas.
IV Outlook
The mode-matching protocol represents a compromise between the need to get quickly to the final state, versus the need to place the gas gently into this state. As such, it represents a potential tool for probing BEC further beyond the mean-field regime than has previously been done. For modestly beyond mean-field gases that are still expected to be described by LHY theory, the results of a mode-matching experiment can be predicted accurately. The same experiment could be performed even well beyond this region, revealing something new. It is worth noting that, because of the ability to prepare initial BECs of arbitrary density profile as described in Sec. II.2, a similar protocol could be carried out in box-shaped traps Gaunt et al. (2013).
It would be tempting to apply the same type of measurement to the unitary gas whose scattering length is infinite. Thus far, however, the unitary Bose gases that have been produced decay on time scales short compared to trap periods. In such a case, the density variation versus time in Fig. 3 would be overdamped, and the figure of merit poorly determined. This is not to say that the dynamics will not vary for quenches from various initial traps ; however, it would be difficult to predict or interpret the results of these experiments at present. To do so would require a hardy dynamical theory of the unitary Bose gas. Such models would, however, make concrete predictions for the density profile of the gas. This profile can be prepared in the initial state, whereby the results of projection would presumably reveal details of the gas beyond its shape.
Acknowledgements
This material is based upon work supported by the National Science Foundation under Grant Number PHY 1125844 and Grant Number PHY 1806971.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Navon et al. (2011) N. Navon, S. Piatecki, K. Günter, B. Rem, T. C. Nguyen, F. Chevy, W. Krauth, and C. Salomon, Phys. Rev. Lett. 107 , 135301 (2011).
- 2Huang and Yang (1957) K. Huang and C. N. Yang, Phys. Rev. 105 , 767 (1957).
- 3Lee et al. (1957) T. D. Lee, K. Huang, and C. N. Yang, Phys. Rev. 106 , 1135 (1957).
- 4Dalfovo et al. (1999) F. Dalfovo, S. Giorgini, L. P. Pitaevskii, and S. Stringari, Rev. Mod. Phys. 71 , 463 (1999).
- 5Fletcher et al. (2013) R. J. Fletcher, A. L. Gaunt, N. Navon, R. P. Smith, and Z. Hadzibabic, Phys. Rev. Lett. 111 , 125303 (2013).
- 6Rem et al. (2013) B. Rem, A. Grier, I. Ferrier-Barbut, U. Eismann, T. Langen, N. Navon, L. Khaykovich, F. Werner, D. Petrov, F. Chevy, et al. , Phys. Rev. Lett. 110 , 163202 (2013).
- 7Smith et al. (2012) R. P. Smith, S. Beattie, S. Moulder, R. L. D. Campbell, and Z. Hadzibabic, Phys. Rev. Lett. 109 , 105301 (2012).
- 8Makotyn et al. (2014) P. Makotyn, C. E. Klauss, D. L. Goldberger, E. A. Cornell, and D. S. Jin, Nat. Phys. 10 , 116 (2014).
