Abstract
The formation of an equilibrium state from an uncorrelated thermal one through the dynamical crossing of a phase transition is a central question of quantum manybody physics. During such crossing, the system breaks its symmetry by establishing numerous uncorrelated regions separated by spontaneously generated defects, whose emergence obeys a universal scaling law with quench duration. The ensuing reequilibrating or “coarsegraining” stage is governed by the evolution and interactions of such defects under systemspecific and external constraints. We perform a detailed numerical characterisation of the entire nonequilibrium process associated with the Bose–Einstein condensation phase transition in a threedimensional gas of ultracold atoms, addressing subtle issues and demonstrating the quenchinduced decoupling of condensate atom number and coherence growth during the reequilibration process. Our findings agree, in a statistical sense, with experimental observations made at the later stages of the quench, and provide valuable information and useful dynamical visualisations in currently experimentally inaccessible regimes.
Introduction
The quenched crossing of a continuous secondorder phase transition has been investigated both theoretically and experimentally in many physical systems. The prevailing scenario to date, known as the Kibble–Zurek mechanism (KZM), describes the crossing under the assumption that, in the critical region, the dynamics of the system order parameter is frozen^{1,2} (see ref. ^{3} for a recent review). A common formulation of KZM relates the number of defects generated between regions of different (approximately constant) phases to the rate of external quenching. In condensed matter, such a mechanism has been experimentally studied in superfluid helium^{4,5}, superconducting Josephson junctions^{6,7}, liquid crystals^{8,9}, multiferroic crystals^{10,11}, ions^{12,13,14} and ultracold atoms^{15,16,17,18,19,20,21,22}. Ultracold atoms facilitate a controlled study of the nonequilibrium processes and the Bose–Einstein condensation (BEC) phase transition, and recent experiments have already provided strong evidence for KZM through measurements of the number of spontaneously generated defects in threedimensional (3D) harmonic traps^{15,17,21} or winding numbers in ring traps^{18,22}, with correlation function measurements in a 3D boxlike potential used to extract critical exponents^{19}, building on an extensive body of literature for condensate growth dynamics^{23,24,25,26,27,28,29,30,31,32,33,34} (see refs. ^{35,36} for recent reviews). Related quenched studies include soliton generation^{37,38,39}, ringtrap geometries^{40}, spinor^{41,42,43}, multicomponent^{44,45} and Josephsoncoupled^{46} gases and optical lattices^{16,47,48}.
An emerging question is the extent to which the defect formation process described by KZM can be decoupled from the dissipative evolution expected to occur when defects coexist within a finite region, which is crucial to the modelling of any experiment. Previous work on purely onedimensional (1D) evaporatively cooled gases has indicated the spontaneous emergence of dark solitons, whose number gradually decreases during thermalisation, with the coherence length of the final postquench thermal state being set by the average distance between defects^{39}. Decoupling these two dynamical features is not a trivial task, as one does not a priori know exactly when to count the defects; moreover, at the time at which one is supposed to count them, the system is so disordered that it is not even clear whether any counting would be possible. Nonetheless, numerous experiments with ultracold atoms have provided evidences of the emergence of the predicted powerlaw scaling of defect number with respect to quench rate, raising the question of why this scaling should survive after such a prolonged dynamical evolution. The Cambridge group^{19} insightfully avoided such issues by looking instead at correlation functions, which enabled them to extract critical exponents, without the need for direct defect counting.
In this work, we offer a unified analysis of quenched growth dynamics in a finite elongated 3D inhomogeneous system, incorporating the dynamical evolution, for different induced quench rates, from an equilibrium thermal state above the BEC transition temperature to a nearequilibrated, lowtemperature phasecoherent Bose–Einstein condensate. By demonstrating the emergence of symmetry breaking in our simulations, we perform a detailed analysis of both the spontaneous emergence and complex nonlinear dynamics of defects, and the related evolution of coherence. The defects are vortex filaments of different lengths and shapes: while their initial positions and orientations are random, and they can be highly “tangled”, they gradually relax, through nonlinear evolution, to the lowestenergy excitations in the given geometry. The insight provided by our numerical visualisations, which extend beyond experimentally accessible time intervals, provides a natural framework for addressing the still unresolved interplay between KZM and coarsegraining dynamics. We address subtle questions in the condensate formation process, and show that coherence and condensate atom number growth dynamics are in general decoupled, due to competing growth mechanisms following a quench, except for cases of adiabatically slow growth which exhibit broadly similar timescales. We further demonstrate that the KZM powerlaw scaling for the defect number is not significantly affected over a prolonged evolution time after the transition. These findings are consistent with previous simulations in homogeneous systems^{49,50,51,52}, which revealed the gradual dissipation of small spatial scales in favour of longer defects, as well as with latetime experimental measurements performed within our group^{17,21,53}.
Results
Quench protocol
Our experiment is conducted in a cigarshaped trap with ω_{ x }/2π = 13 Hz and ω_{⊥}/2π = 131.4 Hz, where ^{23}Na atoms in the \(\left {F,m_F} \right\rangle = \left {1,  1} \right\rangle \) state are evaporatively cooled across the BEC phase transition at different rates^{17,21,53}. The system has a finite size and is inhomogeneous and anisotropic; hence, the phase transition process is position dependent, with the condensate first emerging in the central trap regions, where the phasespace density is maximum. We also perform full 3D numerical simulations of the same system using the stochastic (projected) Gross–Pitaevskii equation^{15,29,45,46,54,55,56,57}. To faithfully mimic both the changing temperature and the atom number observed in the experiments, our simulations are based on linear quenches (Fig. 1a) over a finite quench duration τ_{R}, both in temperature (T = 790 nK → 210 nK) and chemical potential (μ = −22ħω_{⊥} → μ = +22ħω_{⊥}). Consistently, the atom number goes down from N = 22 × 10^{6} to N = 6.6 × 10^{6}. Our parameters have been chosen such that t = 0 corresponds to the time when the system crosses the ideal gas critical temperature (μ = 0). Examples of simulations are given in Fig. 1. For each quench rate, the results are analysed over 3 to 7 individual realisations, which are sufficient for understanding the underlying physics. Our analysis is based on the characterisation of the emerging condensate, defined in our simulations as the mode with the largest eigenvalue of the onebody density matrix, based on the usual Penrose–Onsager definition^{54,58}. We also note that at early evolution times there are a number of approximately equally largely populated modes, before one becomes randomly dynamically favoured by the system. Details of our experimental configuration have been reported elsewhere^{17,21}, while the stochastic numerical method and data analysis scheme used to model such nonequilibrium dynamics are summarised in Methods.
Figure 1b shows that for a very slow quench (top), the system grows to its final equilibrium state remaining close to the corresponding equilibrium phasecoherent BEC during its evolution, except in a narrow time window within the region of critical fluctuations. Such slow evolution corresponds to the evaporatively cooled condensate growth scenario, in which both condensate atom number and correlation function grow gradually, on the ramp, with a small phasecoherent condensate present shortly after the phase transition. As the ramp speed is increased (middle and bottom images), we observe a rather violent falling out of equilibrium when crossing the phase transition, resulting in the spontaneous production of multiple defects in the form of a tangle of vortex filaments.
The underlying physical picture here is that coherence only forms in local patches of constant—but random—phase, and the defects separate such regions of different phases. Faster quenches (bottom) lead to a faster growth of quantumdegenerate states and to a larger number of defects than slower quenches (middle); for such rapid quenches, most of the condensate (and also coherence) growth occurs after the removal of the external ramp. As the system grows, the vortex filaments are stretched out while also undergoing complicated nonlinear dynamics in the inhomogeneous background. As a result, their number decreases gradually, allowing phase coherence to spread to the entire system. For the set of parameters considered here, the final equilibrated state—obtained asymptotically for the case of nearinstantaneous ramps—consists of a fully phasecoherent defectfree finitetemperature BEC with condensate fraction N_{0}/N ≈ 0.75 (characteristic singlerealisation growth sequences are shown in Supplementary Figs. 1 and 2 and Supplementary Movies 1 and 2). In the following, we analyse in detail the distinct stages in the dynamical equilibration.
Dynamical crossing of the phase transition
The dynamics near the transition is naturally incorporated within our numerical approach. As the system is cooled at a finite rate, with its atom number decreasing (as in experiments), it cannot instantaneously acquire coherence across its entire spatial extent, and so a dynamical symmetry breaking occurs over a relatively short temporal range; this allows the system to become infilled by a densely packed random network of vortex filaments, signalling a stark deviation from equilibrium. An example is shown in Fig. 2 for a quench time τ_{R} = 84 ms. Consistent with experiments, our simulations clearly show the gradual emergence of a higherdensity condensate region (green region, t ≥ 31 ms) which gradually grows towards the trap edges. The origin of this is associated with the lowering of the system temperature, the incorporated atom loss and the presence of the harmonic confinement, all of which lead to a centrepeaked positiondependent increase in local phasespace density. However, looking at the finer level during such evolution, we find the defects also interact, coalesce and decay. Such processes, which are not included in KZM, are crucial to the growth of the phasecoherent regions. In the early stages, while numerous defects are present, the system can be classed as a quasicondensate^{23,59} in the sense that different regions of coherent density exhibit no common phase between them, such that the observed coherence length is considerably smaller than the system size, consistent with the large population of a number of modes.
As the phase transition is crossed, the system enters into a rather complex dynamical regime, in which the physics is dominated by a combination of (i) defect stretching due to the growing condensate size; (ii) defect propagation in an inhomogeneous environment; (iii) occasional but rather violent defect interactions, including vortex reconnections, bouncing and “ejection” from the condensate^{60}; and (iv) additional forced relaxation in cases of slow cooling. All of them lead to the gradual equilibration of the system, which evolves from a defectfilled condensate to a state at \(T \ll T_{\mathrm{c}}\) defined by the final quench parameters. Our numerical visualisation reveals the complexity of attempting to extract, whether numerically or in actual experiments, the early physics of defect formation. This is of particular relevance for addressing the interplay between the bare KZM and the “coarsegraining” dynamics governing the defect evolution and decay. Our analysis shows that one cannot decouple the two processes—at least not in the context of inhomogeneous systems.
Condensate growth dynamics
Early condensate growth experiments^{25,33,34} and their numerical modelling^{26,28,30} revealed a number evolution N_{0}(t) well described by an Sshaped curve. However, slower quenches^{31} and elongated geometries^{61} were observed to feature a pronounced region of critical fluctuations, leading to a “time delay” or “onset time” for condensate growth and a slower initial growth rate^{31}; although the presence of such features is well documented and broadly attributed to the initial emergence of the quasicondensate, there has been little quantitative discussion of this issue, which becomes particularly relevant for dynamically driven quenches.
To address this point, we firstly compare our numerical and experimental condensate growth curves for different characteristic temperature quench rates dT/dt, as shown in Fig. 3a, d. Consistent with earlier numerical studies of condensate growth (including KZM^{15,45}), the constant γ appearing in our theoretical model (see Methods) is treated as a free parameter, choosing its value such that it reproduces the experimental growth rate for dT/dt = 5.6 μK s^{−1} (Fig. 3b). Although the maximum N_{0} in the experiments depends on quench rate^{21}, our simulations are conducted for a fixed final N_{0}—defined as the largest eigenvalue of the onebody density matrix—because such a choice minimises numerical uncertainties and allows for an unequivocal numerical demonstration of the decoupling of number and coherence growth (see later). With this in mind, our numerical results are shown to accurately reproduce experimental growth curves near the transition for the entire range of quenches probed.
The precise determination of the phasetransition crossing and associated critical temperature is a rather challenging problem, both numerically and experimentally, particularly in the presence of inhomogeneous confinement. Experiments typically identify the critical region as the time at which a clearly detectable condensate emerges. As in the experiments, in our numerical simulations we identify a condensation “onset time”, t_{bec}, as the time at which the condensate atom number, N_{0}, reaches 5% of the total final atom number for our chosen final equilibrium parameters. Shifting our numerical growth curves by the “onset” time t_{bec} enables a direct comparison to experimental growth curves, with the good agreement shown in Fig. 3a–d (see also Supplementary Fig. 4). All curves are well fitted by an Sshaped curve with a single free parameter, corresponding to the quenched growth timescale, τ_{G} (fits shown in Supplementary Fig. 5). The dependence of τ_{G} and condensate onset time t_{bec} on ramp duration is shown in Fig. 3e, f. For \({\mathrm{\tau }}_{\mathrm{R}}\) ⪅ 300 ms, we find a practically constant growth timescale τ_{G} = 15.8 ± 0.7 ms, which is consistent with the finding of overlapping condensate growth curves once these are plotted against shifted time (t − t_{bec}). Note that the condensate onset time t_{bec} is a linearlike monotonically increasing function of τ_{R}. This behaviour is qualitatively robust to changes in the exact definition of the condensate number/fraction chosen to mark such transition, as demonstrated by the small error bars in Fig. 3f.
Defect number dynamics and visualisation
Next, we discuss the number (Fig. 4) and nature (Fig. 5) of the emerging defects restricting our analysis to times t ≥ t_{bec}, with a qualitative analysis at earlier times prohibited by the densely packed defect configurations present at early postquench evolution times.
Focussing initially on defect generation and evolution, we note that the number of defects present at t_{bec} varies significantly with ramp duration, being higher for faster ramps, as such ramps create more nonequilibrium initial configurations. Despite the difference in absolute numbers, all defectnumber curves exhibit a similar time evolution, as evident in Fig. 4a. During the first ≈30 ms, they exhibit a rather rapid initial decrease associated with defect interactions, followed by a period of slower decrease with just a few defects present in the system. Such defects are vortex filaments which interact only occasionally, and mostly in pairs, because their average distance is relatively large; they can also produce sound waves, or be ejected from the condensate (details of such mechanisms are discussed in ref. ^{60}). Consistent with previous observations^{53}, for which the defect number could only be reliably measured after about a 100 ms of intrap evolution, we find the decay in the number of defects to be significantly slower once only two defects are left in the system in any given individual run; in that case, their dynamics becomes largely decoupled, dominated by free propagation in the inhomogeneous condensate. This latter evolution stage is consistent with exponential decay, on a timescale of one hundred to few hundred ms.
Next, we address the relation of our findings to the KZM. Specifically, we investigate (Fig. 4b) the mean number of defects (vortices) as a function of ramp duration (top axis) or, equivalently, inverse temperature evolution (bottom axis). According to the idealised KZM for defect generation, one expects a powerlaw decay. However, such Kibble–Zurek predictions are specific for a relatively early evolution time within the critical region, whereas experiments typically count defects after a significant intrap evolution time. Our simulations have already shown (Fig. 4a) that the defect number significantly changes during the intrap evolution; nonetheless, the powerlaw scaling of the defect decay (i.e., the slope of the decaying region in Fig. 4b) appears to be roughly insensitive to the postquench timing of the measurement. A detailed analysis of defect number vs. quench rate for two different evolution times (t − t_{bec}) ~50 ms (red diamonds) and 200 ms (blue squares), reveals an evolution broadly consistent with the experimental measurements conducted at 250 ms, with a powerlaw exponent of the same order. Our simulations also recover the experimentally observed plateau region for fast quenches, a behaviour which we find to set in already at early postquench times. This is attributed to a combination of the maximum defect counting resolution of a tangled configuration in a restricted (inhomogeneous) volume, and the quench rate exceeding internal system timescales, implying that the assumption of a welldefined local temperature starts to break down. The occurrence of a plateau for fast quenches has also been discussed in recent work in the context of (2 + 1)dimensional holographic superfluids^{62}.
Finally, we discuss the nature and visualisation of defects. Typical experimental measurements made after an evolution time of about 250 ms and based on integration over different (radial or axial) directions after timeofflight (TOF) expansion are shown in Fig. 5a, b for cases corresponding to different defect numbers. The experimental images after TOF are in qualitative agreement with our numerically generated images of the insitu condensate at the same evolution times (Fig. 5c, d); the simulations also enable direct visualisation of the condensate phase (Fig. 5e), which is crucial for probing the nature of the emerging defects. Numerical analysis of the phase evolution and corresponding density plots indicates a gradual evolution from the random distribution of tangled vortex filaments (already seen in Fig. 2), into few vortices preferentially stretched along the transverse directions. Such evolution is consistent with the accelerated decay of smallscale features in favour of longer, more relaxed, defects^{50,51,52}. In an elongated geometry, the lowestenergy configuration of a quantised vortex corresponds to a vortex line lying in a transverse radial plane with squashed 2π phase winding, also known as a solitonic vortex^{63,64}. In our simulations, we indeed find such structures appearing after a typical time (t − t_{bec}) ~100 ms (Supplementary Fig. 6 and Supplementary Movie 4). This also agrees with the experiments, where the solitonic vortex nature of the defects has been checked with different techniques, including the characterisation of the free expansion of the condensate in TOF, which produces a peculiar twistedstripe feature in transverse imaging^{65,66}. It is also worth noticing that a comparable timescale was found in refs. ^{67,68} for the decay of phaseimprinted dark solitons into solitonic vortices in superfluid Fermi gases in a very similar elongated geometry.
Coherence and equilibration dynamics
Having demonstrated solid agreement with experimental observations in appropriate regimes, and the ability to further interpret those through our simulations, we now use our numerical scheme to provide a deeper insight into the complicated nonlinear dynamical evolution and equilibration of quenched systems, covering also regimes where no experimental measurements are available.
In our quenched evolution of an initially equilibrium thermal gas, we have seen the system falling out of equilibrium around the critical region, and identified a subsequent time, t_{bec}, associated with the onset of condensation. Here we investigate the reequilibration dynamics of such a system to a final state dictated uniquely by our final quench parameters (μ_{final}, T_{final}). We show that this relaxation process depends on τ_{R} in a nontrivial way: in particular, while the condensatenumber growth dynamics depends solely on the growth timescale, τ_{G} (which is itself a function of τ_{R}, see Fig. 3e), the coherence growth is additionally sensitive to details of the defectfilled state of the system following the quench. This points directly to the link between relaxation of quenchinduced defects on the one hand and coherence growth and final system equilibration on the other.
From the condensatenumber growth fits, we have identified two distinct dynamical regimes: for slow enough quenches (τ_{R} ≳ 300 ms), the growth timescale is a monotonically increasing function of the quench duration, whereas faster quenches (τ_{R} ≲ 300 ms) all exhibit a similar number growth timescale (Fig. 3e). Nonetheless, such rapid quenches lead to a notable increase in the number of spontaneously generated defects, whose subsequent (“coarsegraining”) dynamics is crucial for the evolution of coherence.
To study the growth of coherence, we follow the procedure of the Cambridge group^{19} by numerically shifting the wavefunction by a fixed amount and autocorrelating this with the unshifted copy of itself. This method provides an estimate of the coherence length of the system, l_{coh}. Due to geometrical considerations, we focus here on the axial coherence length, obtained by transversal integration (see Methods). In all cases we find that the integrated coherence length only starts increasing noticeably about 30 ms after t_{bec}, consistent with the end of the previously identified rapid defect decay stage (Fig. 4a). The amount of vorticity present in the system sets a maximum limit to the dynamical system coherence length. This is to be expected, and has already been noted, for example, in 1D^{39,69} and 2D^{70}. Importantly, however, we see that for the slowest quenches, the coherence length grows much more rapidly (when normalised to the corresponding quenched growth timescale) than for faster ones, also saturating at higher values. This observation points to the importance of a system expelling practically all of its defects before it can acquire a coherence length comparable to the system size.
Starting from the same initial thermal condition, whose rapidly decaying correlation function is shown in Fig. 6a, the subsequent Fig. 6b, shows how the dynamical correlation functions (solid lines) evolve in cases of fast (left), intermediate (middle) and slow (right) ramps, comparing them to the corresponding equilibrium functions (dashed lines). Our analysis here focuses on the reequilibration dynamics, and so all dynamical data presented here correspond to times t > 0 (with μ(t) > 0) after the system has crossed the idealgas transition temperature, with times scaled to the quenched growth timescale τ_{G} in order to suppress corresponding differences in condensate number growth dynamics. In the context of our adopted definition for the correlation function^{19}, this implies that the correlation function approaches a diagonal straight line as the coherence length approaches/exceeds the system size, which is always the case for the equilibrium systems considered here, due to their large atom numbers: this is decoupled from the fact that the equilibrium coherence length is increasing in absolute terms as the condensate size grows. Looking at times 0 < t < t_{bec} we see that although the corresponding equilibrium correlation functions already exhibit nearperfect coherence across the probed central region, the corresponding dynamical behaviour at (t − t_{bec})/τ_{G} ≈ −1.2 deviates noticeably: in the case of the faster ramp (left column of Fig. 6b), the dynamical correlation function has only mildly increased from its incoherent thermal state initial value, contrary to a much stronger increase for the slower (quasiadiabatic) ramp, which nonetheless also exhibits a phase coherence length significantly smaller than the quantumdegenerate system size (right column of Fig. 6b). Figure 6c shows the dynamical coherence length as a function of the rescaled timescale (t − t_{bec})/τ_{G}. For all ramps, the coherence length increases with time, but it does so in a much slower manner for the faster quench. As a result, significant coherence has already built up for the slower ramp already at our identified condensation onset time, t_{bec}, highlighting that such a system approaches the equilibrium state rapidly in the early stages after crossing the phase transition, even before significant number growth takes place; this is in stark contrast to the faster ramp, which still exhibits hardly any coherence. The images shown in Fig. 6b highlight the emerging difference in the dynamical phase correlation function, \(g_{\mathrm{1}}^{{\mathrm{int}}}\left( {d_x} \right)\) (defined, at a general time, t, in Methods), in a most pronounced way, with the slow ramp becoming phase coherent already for (t − t_{bec})/τ_{G} ≳ 1.5, when the system is still only at the initial part of its number growth curve, as opposed to the faster ramp whose coherence length remains smaller than the system size even at the much later time (t − t_{bec})/τ_{G} = 12.7.
To quantify such reequilibration dynamics further after the system has fallen out of equilibrium upon entering the critical phasetransition region, we introduce here the scaled deviation, δl_{coh}, of the dynamical correlation length, \(l_{{\mathrm{coh}}}^{{\mathrm{dyn}}}(t)\), from the corresponding equilibrium one, \(l\,_{{\mathrm{coh}}}^{{\mathrm{equil}}}(\mu (t),T(t))\), defined by
Despite similar condensate growth rates (Fig. 6d) the corresponding coherence growth dynamics shown in Fig. 6e exhibit starkly distinct features, remaining strongly dependent on the quench rate: in such relative timescales, slower ramps lead to much more rapid equilibration than the faster ramps; the latter are slowed down by the detrimental role of the defects persisting within the system. Contrary to this, slow ramps which perturb the system less lead to the emergence of a nearly defectfree and therefore phasecoherent condensate already around t ≈ t_{bec}. The inset in Fig. 6d highlights the rapid emergence of a single macroscopically occupied mode for the slower ramps (600 and 1440 ms), consistent with the rapid monotonic decrease of δl_{coh}(t), indicating the rapid crossover to a phasecoherent condensate. The vertical error bars arising solely from our numerical averaging are significantly larger in the case of fast quenches, which is a measure of the deviation between different trajectories for the same ramp. This is easy to understand, since the more vortices there are in the system, the more likely their configuration is to be significantly different from shot to shot.
Discussion
Motivated by recent experiments with dilute ultracold atomic gases, we have investigated numerically the dynamics of an equilibrium thermal gas quenched over a finite timescale across the BEC phase transition to deep in the phasecoherent condensate regime. Monitoring the entire evolution, we have presented an insightful graphical representation of the critical region dynamics, during which the dynamical system falls out of equilibrium with the corresponding parameter equilibrium system, through the dynamical symmetrybreaking spontaneous emergence of defects. The emphasis of our analysis has been on the lessstudied reequilibration dynamics, addressing the interplay between defect emergence and dynamical evolution, and growth of coherence.
Depending on the quench duration we have identified different emerging dynamical regimes: for fast quenches, we observed a saturation in the number of detectable defects, associated with detrimental defect interactions and the inherent difficulty in counting randomly oriented defects within a very tight volume. Rescaling the condensate number growth for all quench rates by the characteristic growth timescale for each ramp, we demonstrated the decoupling of coherence and number growth dynamics arising from the detrimental effect of defect emergence and propagation on system coherence. Although the overall growth timescale might be longer for systems undergoing slower external cooling quenches, in such cases the dynamical system quickly reapproaches the corresponding equilibrium configuration, as the slow evolution enables it to mimic local equilibration during its growth, falling out of equilibrium only in a relatively small time window upon entering the region of critical fluctuations. In cases where the quench induces numerous defects, we have observed, as expected, enhanced shottoshot variability.
Our numerical analysis has also shed more light into the dynamical crossover from quasicondensation to true Bose–Einstein condensation, studied here in the context of an elongated geometry; such a geometry is known to lead to an enhanced decoupling of characteristic temperatures for the onset of density and phase fluctuations^{59,71}; this, in turn, effectively translates into different growth rates for the phasecoherent and densitycoherent parts of the system, and so different growth rates for coherence and quasicondensation. Quasicondensation here refers to a defectfilled phasefluctuating state with a coherence length smaller than the quantumdegenerate system size exhibiting suppressed density fluctuations and spanning many largely populated modes; this is directly contrasted to “true” condensation, which refers to a phasecoherent condensate with little, or no, defects and a single emerging macroscopically occupied mode, a definition which holds even if the system is growing in time. Even though the quasicondensate stage in the critical region preempts all phasecoherent condensate growth due to the decoupling of the two corresponding characteristic temperatures, the dynamical quasicondensate regime is enhanced both in parameter space and in the temporal domain by the prolonged survival of the defects, thus being critically dependent on the quench rate responsible for their initial spontaneous generation. For slow quenches and large enough atom numbers considered here, the system may already be largely phase coherent, i.e., a “true” condensate, as soon as it has grown to a size which makes it experimentally detectable. We note however that such findings are sensitive to the details of the system, and specifically here to both the system geometry and the chosen final state of the system, with reduced dimensionality enhancing such a distinction by enhancing the role of phase fluctuations^{59,61,72}.
Our findings are consistent with experimental measurements in the appropriate limits, and for the relevant quantities, where those exist. Moreover, the detailed numerical visualisation of the defectfilled quenched phasetransition dynamics allows access to a broad temporal range of dynamics not accessible in typical experiments. We expect our generic conclusions to persist across different geometries and dimensionalities, with precise details and the nature of the defects depending on system configuration. Our results can be of relevance to a broad range of future investigations with quantumdegenerate systems, and could also have technological implications for dynamical control and stateengineering of a quantum system. Given that our numerical scheme has demonstrated good qualitative description also of the muchhardertomodel approach to the phase transition, we believe that our method could in the future offer further insight into delicate features of nonequilibrium condensate dynamics, including a critical assessment and extension of the inhomogeneous Kibble–Zurek mechanism.
Methods
Experiments
We produce ultracold samples of sodium atoms in the internal state \(\left {F,m_{\mathrm{F}}} \right\rangle = \left {1,  1} \right\rangle \) in a cigarshaped harmonic magnetic trap with trap frequencies ω_{ x }/2π = 13 Hz and ω_{⊥}/2π = 131.4 Hz. The thermal gas is cooled down via forced evaporative cooling and pure BECs of typically 10^{7} atoms are produced. The part of the evaporation ramp in the vicinity of the transition is performed at different rates, from 50 kHz s^{−1} to 2 MHz s^{−1}. The quench ramp is followed by a variable wait time, during which a radio frequency shield is kept on to prevent from heating. After that, the atoms are released from the trap and are observed in two possible ways: either we take simultaneous absorption images of the full atomic distribution along the radial and the axial directions^{21,65} or we extract, uniformly, a small amount of atoms from the trapped sample and image it after a short time of flight^{53,60}. The protocol is such that images are taken, and vortices are counted, after a fixed overall time interval from the BEC transition point, which is clearly identifiable for each quench ramp. As discussed in detail in ref.^{21}, we are also able to precisely identify the frequency ν of the RF field at the critical temperature T_{c}, which lies in the range 600–800 nK, as well as to control the temperature variation in time via the speed of the evaporation ramp (∂ν/∂t), with (∂T/∂t) found to vary, to good approximation, linearly with frequency. The defects that we observe at the time of imaging are quantised vortex lines which are seen as dark stripes when looking at the BEC from a radial direction after timeofflight. The natural size of the defects in the trapped BEC, at the end of the cooling ramp, is of the order of the in situ healing length ξ, which is of the order of 200 nm. After a long TOF, the defect size becomes larger than our imaging resolution of 3 μm. The presence of a levitating magnetic field gradient makes it possible to achieve long TOF preventing the BEC from falling. The measured vortex number is averaged over many experimental realisations in order to get good statistical samples for each experimental condition.
Numerical model
Out study is performed by means of the (simple growth) stochastic projected GrossPitaevskii equation (SPGPE)^{54} (see also related model without projector^{29,55,56,57}), already demonstrated as a useful tool for the quenched crossing of the BEC phase transition^{15,29,38,45,46,51,52}. In brief we simulate the lowlying highly occupied modes of the system, denoted by the classical field (or cfield^{54}) \({\mathrm{\Psi }}_{\cal C}({\bf{r}},t)\) through the dynamical equation
where \({\cal P}_{\cal C}\) is the projection operator truncating the modes above the cfield regime (so above an appropriately identified energy cutoff), γ is a constant determining the condensate growth timescale, μ(t) is the timedependent chemical potential, and \({\cal L}\) = \(  \hbar ^2\nabla ^2{\mathrm{/}}2m + V({\bf{r}})\) + \(g\left {{\mathrm{\Psi }}_{\cal C}({\bf{r}},t)} \right^2\) with V(r) = (m/2) \(\left[ {\omega _x^2x^2 + \omega _ \bot ^2\left( {y^2 + z^2} \right)} \right]\). Fluctuations are included through the complex white noise, dW_{ γ }, defined by \(\left\langle {dW^ \ast ({\bf{r}},t)dW({\bf{r}}\prime ,t)} \right\rangle \) = \((2\gamma k_BT{\mathrm{/}}\hbar )\delta _{\cal C}({\bf{r}}  {\bf{r}}\prime )\) where \(\delta _{\cal C}({\bf{r}}  {\bf{r}}\prime )\) = \(\mathop {\sum}\nolimits_{n \in {\cal C}} {\kern 1pt} \psi _n^ \ast ({\bf{r}})\psi _n({\bf{r}}\prime )\) in the chosen orthogonal basis set, {ψ_{ n }(r)}. The constant γ can be analytically approximated (at least for nearequilibrium cases) as^{54,55,73}
where g = 4πħ^{2}a/m is the interaction strength, corresponding to the swave scattering length a. Although the above formula indicates the leading functional dependence of γ, the factor of “few” conceals within it the fact that this is an effective scaling, and so one should only rely on this for orderofmagnitude estimates. Consistent with earlier related analysis^{15}, here we treat γ as a fitting parameter. Comparing to experimental condensate growth data for dT/dt = 5.6 μK s^{−1} (Fig. 3b), we identify an “optimal” value γ = 0.005, which is about 10 times the analytically predicted value for the initial temperature (the effect of changing γ on condensate growth dynamics can be seen in Supplementary Fig. 4). To mimic the experimental cooling process, the chemical potential μ(t) and temperature T(t) are quenched linearly within a ramp duration τ_{R}. The initial and final values of (μ,T) are set as (−22ħω_{⊥}, 790 nK) and (22ħω_{⊥}, 210 nK), corresponding to a change of total equilibrium atom number (when also including above cutoff atoms under the usual assumption that they are static) from 22 × 10^{6} to 6.6 × 10^{6} with a 75% final condensate fraction. In our simulations, which start from a highly incoherent equilibrium state well above T_{c}, the time t = 0 is chosen as the time when μ(t) = 0, since most interesting dynamics occurs after this time; this implies that, in any given simulation, the initial (equilibrium) configuration is at a time t = −τ_{R}/2.
We solve the SPGPE with 4thorder Runge–Kutta in a planewave basis using a grid size L_{ x } = 54a_{ho,x} along the x and L_{ y } = L_{ z } = 6a_{ho,x} along the transverse directions, where a_{ho,x} = \(\sqrt {\hbar {\mathrm{/}}m\omega _x} \approx 5.8\) μm is the characteristic harmonic oscillator length in the long direction (xaxis); we use a temporal discretisation dt = 10^{−3}/ω_{ x } and an energy cutoff fixed at 2.5 times the value of the final chemical potential (22ħω_{⊥}) in a grid consisting of N_{ x } = 1170 and N_{ y } = N_{ z } = 130 points. Simulations are run on Newcastle University’s HighPerformanceComputing cluster, Topsy, using 20 to 24 nodes. A single dynamical run takes between 120 and 300 CPU hours with an additional ≈40 CPU hours for the Penrose–Onsager diagonalisation of the selected snapshots. We estimate the total amount of presented simulations to have taken over 10,000 CPU hours.
Identification of the condensate
The onebody density matrix is defined as
where N_{sample} is the number of samples for the shorttime average number and δt is set as Δt/N_{sample} with an appropriately short timeinterval Δt (so that the system dynamics is not masked). Such shorttime averaging mimics the ensemble averaging based on the ergodicity hypothesis^{54}. The notation \(\overline {\langle \ldots \rangle } \) used in this and the next subsections denotes shorttime averaging. In our simulations, N_{sample} = 101, and the tests of probing Δt provide a value of around 8 ms for our simulations, which is smaller than the characteristic timescale of the harmonic trap τ_{ho} = 1/ω_{ x } ≈ 12.2 ms. The condensate, or Penrose–Onsager (PO) mode^{58} at a given time t is identified as the eigenmode of the onebody density matrix \(\rho ({\bf{r}},{\bf{r}}\prime ;t)\) with the largest eigenvalue. To assess the degree of fragmentation of the condensate, in the sense of competition between different highly occupied modes, we evaluate the ratio, r_{PO}, of the largest to the second largest eigenvalues of \(\rho ({\bf{r}},{\bf{r}}\prime ;t)\).
Correlation function analysis
We follow the procedure of the Cambridge quencheddynamics experiment^{19}, which measured the correlation function by interfering a displaced copy of the system with itself. Specifically we define the function
where L is a chosen length. In ref.^{19}, the correlation length l_{coh} was extracted by fitting the experimentallymeasured (integrated) correlation function with \(\left( {1  \left {d_x} \right{\mathrm{/}}L} \right){\mathrm{exp}}\left( {  \left {d_x} \right{\mathrm{/}}l_{{\mathrm{coh}}}} \right)\), in which the triangularshape function in the bracket arises from the integration. Here we probe the spatial coherence of our cfield wavefunction \({\mathrm{\Psi }}_{\cal C}\) within a region [−L/2, L/2] with L ~ 54 μm, and numerically evaluate this through the phase–phase correlation function by
where the operation H[f] is defined as
and ϕ(r, t) is the argument of \({\mathrm{\Psi }}_{\cal C}({\bf{r}},t)\). To obtain transversal averaging we use the integrated version,
where the prime integration is performed over the yellow region (i.e., density isosurface at values of 0.1% of the final peak condensate density). To take finitesize effects into account we have also introduced into the above definition a densitydependent weighting function w_{PO}(d_{ x }, y, z;t) which assigns higher weighting to the largedensity regions. This is defined here through w_{PO}(d_{ x }, y, z;t) = \(H\left[ {n_{{\mathrm{PO}}}({\bf{r}}){\mathrm{/}}n_{{\mathrm{PO,peak}}}} \right]{\mathrm{/}}{\cal N}\), where \({\cal N}\) ensures the normalisation condition \({\int\ \!\!\!\!\!\int} ^\prime {\mathrm{d}}y{\kern 1pt} {\mathrm{d}}z{\kern 1pt} w_{{\mathrm{PO}}}\left( {d_x,y,z;t} \right) = 1\) is satisfied at any given d_{ x } (the secondorder correlation function shown in Supplementary Figs. 6 and 7 and Supplementary Movie 4 is defined as the onsite correlation function g_{2}(r) ≡ g_{2}(r, r, r, r) = \(\overline {\left\langle {\left {{\mathrm{\Psi }}_{\cal C}({\bf{r}})} \right^4} \right\rangle } /\left[ {\overline {\left\langle {\left {{\mathrm{\Psi }}_{\cal C}({\bf{r}})} \right^2} \right\rangle } } \right]^2\)).
Dynamical timescales
Consistent with typical experimental measurements, in which T_{c} is identified as the time of emergence of an observable condensate, we define here the “onset” or “delay” time for condensate growth, t_{bec}, as the moment that the number of atoms in the condensate, N_{0}, reaches 5% of the final total particle number (including in our considerations the particle number above the cfield region, which is assumed to be static). We have a posteriori verified this to provide (when used with our value of γ) an excellent description of condensate growth across all experimentally probed regimes, and have also checked that the main findings presented in this paper are insensitive to the details of such definition.
In addition to t_{bec}, we also define the condensate growth timescale, τ_{G}, which is extracted by fitting the condensate growth curve over the entire temporal range t with
where N_{0,i} (N_{0,f}) denote the initial (final) PO condensate atom numbers, \(\tilde t\) is the moment that \(N_0(\tilde t{\kern 1pt} )\) reaches the midvalue (N_{0,i} + N_{0,f})/2, and τ_{G} is the single fitting parameter. We note here two things: firstly, that the midvalue is unique to all numerical growth curves, since we have a unique set of experimentally relevant initial and final parameters in our simulations; moreover, we have checked that the extracted τ_{G} values are largely insensitive to whether the fit is performed over the entire temporal range t, or whether it is constrained to values t ≥ t_{bec}, suggesting the independence of the two timescales t_{bec} and τ_{G}.
Defect identification
In our work we identify the location of vortices by the regions of high velocity, v(r) = (ħ/m) Im\(\left[ {{\mathrm{\Psi }}_{\cal C}^ \ast ({\bf{r}})\nabla {\mathrm{\Psi }}_{\cal C}({\bf{r}})} \right]{\mathrm{/}}\left {{\mathrm{\Psi }}_{\cal C}({\bf{r}})} \right^2\), characterising the region around the vortex core. By scanning the whole local maximum of the velocity field within the yellow region, we identify the positions of the vortex cores.
Statistical analysis and error bars
For each numerically simulated quench rate, we have analysed between \({\cal N}\) = 3 and 7 independent noise realisations. The statistical uncertainty in the vortex number, N_{v}, was estimated as
Determination of the most likely vortex number, N_{v}, in each independent noise realisation was performed manually by four independent (human) observers. Such a method is prone to systematic errors introduced by the use of subjective criteria in the identification of single vortices in situations where a vortex is at the boundary of the condensate or two vortex lines are very close to each other. However, we have checked that the corresponding uncertainty is significantly smaller than the statistical error defined above.
Our procedure for assigning errors to the determination of the characteristic timescales is as follows: firstly, we recall that the condensate onset time, t_{bec} was defined as the time at which the condensate (Penrose–Onsager) atom number reaches 5% of the total final atom number. Error bars in our determination of t_{bec} arise from shifting the (heuristic) value of 5% between 3% and 7%, values which are still consistent with the experimental growth curves reported in Fig. 3. Regarding the quenched growth timescales, τ_{G}, depicted errors arise from the 95% confidence bounds of the fit to our numerical growth curves: the quality of the fits can be seen in Supplementary Fig. 4. Those two errors are treated as independent in the determination of temporal error bars for the scaled time (t − t_{bec})/τ_{G} discussed in Fig. 6.
Data availability
Data supporting this publication is openly available under an “Open Data Commons Open Database License”. Additional metadata are available at: https://doi.org/10.17634/1226267.
References
 1.
Kibble, T. Topology of cosmic domains and strings. J. Phys. A Math. Gen. 9, 1387 (1976).
 2.
Zurek, W. H. Cosmological experiments in superfluid liquid helium? Nature 317, 505–508 (1985).
 3.
del Campo, A., Kibble, T. & Zurek, W. Causality and nonequilibrium secondorder phase transitions in inhomogeneous systems. J. Phys. Condens. Matter 25, 404210 (2013).
 4.
Bäuerle, C., Bunkov, Y. M., Fisher, S. N., Godfrin, H. & Pickett, G. R. Laboratory simulation of cosmic string formation in the early universe using superfluid ^{3}He. Nature 382, 332–334 (1996).
 5.
Ruutu, V. M. H. et al. Vortex formation in neutron irradiated ^{3}He as an analogue of cosmological defect formation. Nature 382, 334–336 (1996).
 6.
Carmi, R., Polturak, E. & Koren, G. Observation of spontaneous flux generation in a multiJosephsonjunction loop. Phys. Rev. Lett. 84, 4966–4969 (2000).
 7.
Monaco, R., Mygind, J., Aaroe, M., Rivers, R. J. & Koshelets, V. P. Zurekkibble mechanism for the spontaneous vortex formation in Nb–Al/Al_{ox}/Nb josephson tunnel junctions: new theory and experiment. Phys. Rev. Lett. 96, 180604 (2006).
 8.
Chuang, I., Durrer, R., Turok, N. & Yurke, B. Cosmology in the laboratory: defect dynamics in liquid crystals. Science 251, 1336–1342 (1991).
 9.
Fowler, N. & Dierking, I. KibbleZurek scaling during defect formation in a nematic liquid crystal. Chemphyschem 18, 812–816 (2017).
 10.
Chae, S. C. et al. Direct observation of the proliferation of ferroelectric loop domains and vortexantivortex pairs. Phys. Rev. Lett. 108, 167603 (2012).
 11.
Lin, S.Z. et al. Topological defects as relics of emergent continuous symmetry and Higgs condensation of disorder in ferroelectrics. Nat. Phys. 10, 970–977 (2014).
 12.
Ulm, S. et al. Observation of the KibbleZurek scaling law for defect formation in ion crystals. Nat. Commun. 4, 2290 (2013).
 13.
Pyka, K. et al. Topological defect formation and spontaneous symmetry breaking in ion coulomb crystals. Nat. Commun. 4, 2291 (2013).
 14.
Ejtemaee, S. & Haljan, P. C. Spontaneous nucleation and dynamics of kink defects in zigzag arrays of trapped ions. Phys. Rev. A 87, 051401 (2013).
 15.
Weiler, C. N. et al. Spontaneous vortices in the formation of BoseEinstein condensates. Nature 455, 948–952 (2008).
 16.
Chen, D., White, M., Borries, C. & DeMarco, B. Quantum quench of an atomic Mott insulator. Phys. Rev. Lett. 106, 235304 (2011).
 17.
Lamporesi, G., Donadello, S., Serafini, S., Dalfovo, F. & Ferrari, G. Spontaneous creation of KibbleZurek solitons in a BoseEinstein condensate. Nat. Phys. 9, 656–660 (2013).
 18.
Corman, L. et al. Quenchinduced supercurrents in an annular Bose gas. Phys. Rev. Lett. 113, 135302 (2014).
 19.
Navon, N., Gaunt, A. L., Smith, R. P. & Hadzibabic, Z. Critical dynamics of spontaneous symmetry breaking in a homogeneous Bose gas. Science 347, 167–170 (2015).
 20.
Chomaz, L. et al. Emergence of coherence via transverse condensation in a uniform quasitwodimensional Bose gas. Nat. Commun. 6, 6162 (2015).
 21.
Donadello, S. et al. Creation and counting of defects in a temperaturequenched BoseEinstein condensate. Phys. Rev. A 94, 023628 (2016).
 22.
Aidelsburger, M. et al. Relaxation dynamics in the merging of n independent condensates. Phys. Rev. Lett. 119, 190403 (2017).
 23.
Kagan, Y. M., Svistunov, B. & Shylapnikov, G. Kinetics of Bose condensation in an interacting Bose gas. Sov. Phys. JETP 74, 279–285 (1992).
 24.
Stoof, H. T. C. Initial stages of BoseEinstein condensation. Phys. Rev. Lett. 78, 768 (1997).
 25.
Miesner, H.J. et al. Bosonic stimulation in the formation of a BoseEinstein condensate. Science 279, 1005 (1998).
 26.
Gardiner, C. W., Lee, M. D., Ballagh, R. J., Davis, M. J. & Zoller, P. Quantum kinetic theory of condensate growth: Comparison of experiment and theory. Phys. Rev. Lett. 81, 5266 (1998).
 27.
StamperKurn, D. M. et al. Reversible formation of a BoseEinstein condensate. Phys. Rev. Lett. 81, 2194 (1998).
 28.
Bijlsma, M. J., Zaremba, E. & Stoof, H. T. C. Condensate growth in trapped Bose gases. Phys. Rev. A 62, 063609 (2000).
 29.
Stoof, H. T. C. & Bijlsma, M. J. Dynamics of fluctuating BoseEinstein condensates. J. Low Temp. Phys. 124, 431–442 (2001).
 30.
Davis, M. J. & Gardiner, C. W. Growth of a BoseEinstein condensate: a detailed comparison of theory and experiment. J. Phys. B At., Mol. Opt. Phys. 35, 733–742 (2002).
 31.
Köhl, M., Davis, M. J., Gardiner, C. W., Hänsch, T. W. & Esslinger, T. Growth of BoseEinstein condensates from thermal vapor. Phys. Rev. Lett. 88, 080402 (2002).
 32.
Shvarchuck, I. et al. BoseEinstein condensation into nonequilibrium states studied by condensate focusing. Phys. Rev. Lett. 89, 270404 (2002).
 33.
Hugbart, M. et al. Population and phase coherence during the growth of an elongated BoseEinstein condensate. Phys. Rev. A 75, 011602 (2007).
 34.
Ritter, S. et al. Observing the formation of longrange order during BoseEinstein condensation. Phys. Rev. Lett. 98, 090402 (2007).
 35.
Davis, M. J., Wright, T. M., Gasenzer, T., Gardiner, S. A. & Proukakis, N. P. in Universal Themes of BoseEinstein Condensation (eds Proukakis, N. P., Snoke, D. W. & Littlewood, P. B.) (Cambridge University Press, Cambridge, 117–150. 2017).
 36.
Beugnon, J. & Navon, N. Exploring the KibbleZurek mechanism with homogeneous Bose gases. J. Phys. B At., Mol. Opt. Phys. 50, 022002 (2017).
 37.
Zurek, W. H. Causality in condensates: gray solitons as relics of BEC formation. Phys. Rev. Lett. 102, 105702 (2009).
 38.
Damski, B. & Zurek, W. H. Soliton creation during a BoseEinstein condensation. Phys. Rev. Lett. 104, 160404 (2010).
 39.
Witkowska, E., Deuar, P., Gajda, M. & Rzażewski, K. Solitons as the early stage of quasicondensate formation during evaporative cooling. Phys. Rev. Lett. 106, 135301 (2011).
 40.
Das, A., Sabbatini, J. & Zurek, W. H. Winding up superfluid in a torus via Bose Einstein condensation. Sci. Rep. 2, 352 (2013).
 41.
Sadler, L. E., Higbie, J. M., Leslie, S. R., Vengalattore, M. & StamperKurn, D. M. Spontaneous symmetry breaking in a quenched ferromagnetic spinor BoseEinstein condensate. Nature 443, 312 (2006).
 42.
Świsłocki, T., Witkowska, E., Dziarmaga, J. & Matuszewski, M. Double universality of a quantum phase transition in spinor condensates: Modification of the KibbleZurek mechanism by a conservation law. Phys. Rev. Lett. 110, 045303 (2013).
 43.
Saito, H., Kawaguchi, Y. & Ueda, M. KibbleZurek mechanism in a trapped ferromagnetic BoseEinstein condensate. J. Phys. Condens. Matter 25, 404212 (2013).
 44.
Sabbatini, J., Zurek, W. H. & Davis, M. J. Phase separation and pattern formation in a binary BoseEinstein condensate. Phys. Rev. Lett. 107, 230402 (2011).
 45.
Liu, I.K. et al. Stochastic growth dynamics and composite defects in quenched immiscible binary condensates. Phys. Rev. A 93, 023628 (2016).
 46.
Su, S.W., Gou, S.C., Bradley, A., Fialko, O. & Brand, J. KibbleZurek scaling and its breakdown for spontaneous generation of Josephson vortices in BoseEinstein condensates. Phys. Rev. Lett. 110, 215302 (2013).
 47.
Dziarmaga, J., Tylutki, M. & Zurek, W. H. Quench from Mott insulator to superfluid. Phys. Rev. B 86, 144521 (2012).
 48.
Braun, S. et al. Emergence of coherence and the dynamics of quantum phase transitions. Proc. Natl. Acad. Sci. USA 112, 3641–6 (2015).
 49.
Mondello, M. & Goldenfeld, N. Scaling and vortexstring dynamics in a threedimensional system with a continuous symmetry. Phys. Rev. A 45, 657–664 (1992).
 50.
Antunes, N. D., Bettencourt, L. M. A. & Zurek, W. H. Vortex string formation in a 3d u(1) temperature quench. Phys. Rev. Lett. 82, 2824–2827 (1999).
 51.
Kobayashi, M. & Cugliandolo, L. F. Thermal quenches in the stochastic grosspitaevskii equation: morphology of the vortex network. EPL 115, 20007 (2016).
 52.
Kobayashi, M. & Cugliandolo, L. F. Quench dynamics of the threedimensional u(1) complex field theory: geometric and scaling characterizations of the vortex tangle. Phys. Rev. E 94, 062146 (2016).
 53.
Serafini, S. et al. Dynamics and interaction of vortex lines in an elongated BoseEinstein condensate. Phys. Rev. Lett. 115, 170402 (2015).
 54.
Blakie, P., Bradley, A., Davis, M., Ballagh, R. & Gardiner, C. Dynamics and statistical mechanics of ultracold Bose gases using cfield techniques. Adv. Phys. 57, 363–455 (2008).
 55.
Proukakis, N. P. & Jackson, B. Finitetemperature models of BoseEinstein condensation. J. Phys. B At. Mol. Opt. Phys. 41, 203002 (2008).
 56.
Proukakis, N. P., Gardiner, S. A., Davis, M. J. & Szymaska, M. H. (eds) Quantum Gases: Finite Temperature and NonEquilibrium Dynamics: 1 (Cold Atoms) (Imperial College Press, London, 2013).
 57.
Cockburn, S. P. et al. Matterwave dark solitons: stochastic versus analytical results. Phys. Rev. Lett. 104, 174101 (2010).
 58.
Penrose, O. & Onsager, L. BoseEinstein condensation and liquid helium. Phys. Rev. 104, 576–584 (1956).
 59.
Petrov, D. S., Shlyapnikov, G. V. & Walraven, J. T. M. Phasefluctuating 3D BoseEinstein condensates in elongated traps. Phys. Rev. Lett. 87, 050404 (2001).
 60.
Serafini, S. et al. Vortex reconnections and rebounds in trapped atomic BoseEinstein condensates. Phys. Rev. X 7, 021031 (2017).
 61.
Dettmer, S. et al. Observation of phase fluctuations in elongated BoseEinstein condensates. Phys. Rev. Lett. 87, 160406 (2001).
 62.
Chesler, P. M., GarciaGarcia, A. M. & Liu, H. Defect Formation beyond KibbleZurek Mechanism and Holography. Phys. Rev. X 5, 021015 (2015).
 63.
Brand, J. & Reinhardt, W. P. Solitonic vortices and the fundamental modes of the “snake instability”: possibility of observation in the gaseous BoseEinstein condensate. Phys. Rev. A. 65, 043612 (2002).
 64.
Komineas, S. & Papanicolaou, N. Solitons, solitonic vortices, and vortex rings in a confined BoseEinstein condensate. Phys. Rev. A 68, 043617 (2003).
 65.
Donadello, S. et al. Observation of solitonic vortices in BoseEinstein condensates. Phys. Rev. Lett. 113, 065302 (2014).
 66.
Tylutki, M. et al. Solitonic vortices in BoseEinstein condensates. Eur. Phys. J. Spec. Top. 224, 577–583 (2015).
 67.
Ku, M. J. H. et al. Motion of a solitonic vortex in the BECBCS crossover. Phys. Rev. Lett. 113, 065301 (2014).
 68.
Ku, M. J. H., Mukherjee, B., Yefsah, T. & Zwierlein, M. W. Cascade of solitonic excitations in a superfluid fermi gas: from planar solitons to vortex rings and lines. Phys. Rev. Lett. 116, 045304 (2016).
 69.
Karpiuk, T. et al. Spontaneous solitons in the thermal equilibrium of a quasi1D Bose gas. Phys. Rev. Lett. 109, 205302 (2012).
 70.
Jelić, A. & Cugliandolo, L. F. Quench dynamics of the 2d XY model. J. Stat. Mech. Theory Exp. 2011, P02032 (2011).
 71.
Proukakis, N. P. Interplay of density and phase fluctuations in ultracold onedimensional Bose gases. Phys. Rev. A 73, 023605 (2006).
 72.
Richard, S. et al. Momentum spectroscopy of 1D phase fluctuations in BoseEinstein condensates. Phys. Rev. Lett. 91, 010405 (2003).
 73.
Penckwitt, A. A., Ballagh, R. J. & Gardiner, C. W. Nucleation, growth, and stabilization of BoseEinstein condensate vortex lattices. Phys. Rev. Lett. 89, 260402 (2002).
Acknowledgements
N.P.P. and I.K.L. acknowledge discussions with Jérôme Beugnon, Paolo Comaron, Leticia Cugliandolo, Jean Dalibard, Zoran Hadzibabic, Fabrizio Larcher, Nir Navon and Rob Smith during the course of the project, computational assistance by Kean Loon Lee and George Stagg and help with diagonalising huge matrices from T.M. Huang and W.W. Lin. This work was supported by the Taiwan MOST 1032112M018002MY3 grant, the UK EPSRC Grant No. EP/K03250X/1, the QUIC grant of the Horizon 2020 FET program, Provincia Autonoma di Trento, the National Center of Theoretical Sciences, Taiwan and the QuantERA ERANET cofund project NAQUAS.
Author information
Affiliations
Contributions
I.K.L. undertook all the numerical simulations and analyses, in direct consultation with N.P.P. who coordinated the research, led the interpretations and produced the first draft. S.D., G.L. and G.F. designed and conducted the experiments, which were analysed jointly with F.D. Theoretical aspects were discussed by I.K.L, S.C.G., F.D. and N.P.P. All authors contributed to discussions, final data analysis and interpretations, and the final form of the manuscript.
Corresponding author
Correspondence to N. P. Proukakis.
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liu, I., Donadello, S., Lamporesi, G. et al. Dynamical equilibration across a quenched phase transition in a trapped quantum gas. Commun Phys 1, 24 (2018) doi:10.1038/s4200501800236
Received
Accepted
Published
DOI
Further reading

Kibble–Zurek universality in a strongly interacting Fermi superfluid
Nature Physics (2019)

KibbleZurek mechanism with a single particle: Dynamics of the localizationdelocalization transition in the AubryAndré model
Physical Review B (2019)

Exploring the thermodynamics of spin1 Bose gases with synthetic magnetization
New Journal of Physics (2019)

Classical fields in the onedimensional Bose gas: Applicability and determination of the optimal cutoff
Physical Review A (2018)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.