Simulations of evaporation to deep Fermi degeneracy in microwave-shielded molecules

Reuben R. W. Wang JILA, NIST, and Department of Physics, University of Colorado, Boulder, Colorado 80309, USA    Shrestha Biswas    Sebastian Eppelt Max-Planck-Institut für Quantenoptik, 85748 Garching, Germany Munich Center for Quantum Science and Technology, 80799 München, Germany    Fulin Deng School of Physics and Technology, Wuhan University, Wuhan, Hubei 430072, China CAS Key Laboratory of Theoretical Physics, Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing 100190, China    Xin-Yu Luo Max-Planck-Institut für Quantenoptik, 85748 Garching, Germany Munich Center for Quantum Science and Technology, 80799 München, Germany    John L. Bohn JILA, NIST, and Department of Physics, University of Colorado, Boulder, Colorado 80309, USA
(July 19, 2024)
Abstract

In the quest toward realizing novel quantum matter in ultracold molecular gases, we perform a numerical study of evaporative cooling in ultracold gases of microwave-shielded polar fermionic molecules. Our Monte Carlo simulations incorporate accurate two-body elastic and inelastic scattering cross sections, realistic modeling of the optical dipole trap, and the influence of Pauli blocking at low temperatures. The simulations are benchmarked against data from evaporation studies performed with ultracold NaK molecules, showing excellent agreement. We further explore the prospects for optimizing the evaporation efficiency by varying the ramp rate and duration of the evaporation trajectory. Our simulation shows that it is possible to reach <10%absentpercent10<10\%< 10 % of the Fermi temperature under optimal conditions even in the presence of two-body molecular losses.

preprint: APS/123-QED

I Introduction

Ultracold polar molecules have emerged as a clean and highly controllable platform for studying quantum chemistry Bohn et al. (2017); Liu and Ni (2022); Karman et al. (2024) and dipolar quantum many-body physics Yan et al. (2013); Hazzard et al. (2014); Li et al. (2023); Carroll et al. (2024). Recent developments in collisional shielding Quéméner and Bohn (2016); González-Martínez et al. (2017); Matsuda et al. (2020); Li et al. (2021); Lassablière and Quéméner (2022); Avdeenkov (2012); Karman and Hutson (2018); Karman (2020); Anderegg et al. (2021); Lin et al. (2023); Bigagli et al. (2023) have enabled efficient evaporative cooling of polar molecules, leading to the creation of both degenerate Fermi gases and a Bose-Einstein condensate of polar molecules Valtolina et al. (2020); Schindewolf et al. (2022); Bigagli et al. (2024). This paves the way to explore novel quantum phases, including p𝑝pitalic_p-wave superfluids and the extended Fermi-Hubbard model in fermionic molecules Cooper and Shlyapnikov (2009); Gadsbølle and Bruun (2012), as well as quantum droplets, exotic supersolids, and Wigner crystals in bosonic molecules Schmidt et al. (2022).

The lowest reported temperature achieved for a Fermi gas of polar molecules is so far 0.36 times the Fermi temperature Schindewolf et al. (2022), substantially above the critical temperature required for realizing p𝑝pitalic_p-wave superfluidity in polar molecules and a Bose-Einstein condensate of tetratomic molecules Deng et al. (2023). Evaporative cooling of fermions to deep quantum degeneracy is hindered by Pauli blocking, which suppresses thermalizing elastic collisions Wang and Bohn (2021) and introduces hole heating that becomes more severe under deeper quantum degeneracy McKay and DeMarco (2011). Additionally, two-body collisional losses and rapid dipolar elastic collisions further limit the evaporative cooling efficiency in molecular Fermi gases compared to their atomic counterparts Schindewolf et al. (2022).

Refer to caption
Figure 1: Plot of the ratio of the gas to Fermi temperatures T/TF𝑇subscript𝑇𝐹T/T_{F}italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, after evaporating down to N𝑁Nitalic_N molecules in experiments (black circles with error bars) with different final trap depths, compared to those obtained from our numerical simulations (red crosses). See the main text for further details.

In this work, we develop a comprehensive theoretical model to simulate, understand, and enhance the evaporative cooling of fermionic molecular gases. Our simulations are capable of recreating the observed evaporation trajectories with microwave-shielded 23Na40K molecules down to quantum degeneracy, recently achieved in Ref. Schindewolf et al. (2022). In that study, the final trap depth was varied over several experimental instances with forced evaporation occurring over 150150150150 ms, resulting in various molecule numbers and gas temperatures attained at the end of each evaporation trajectory. Fig. 1 showcases the favorable agreement of our numerically simulated data points (red crosses) with the experimental measurements (black circles with error bars), except for disagreement at low molecule numbers attributed to experimental trap jitter at low laser powers. The purpose of this paper is, therefore, to provide details of our simulation methods, survey parameters relevant to current evaporation experiments, and open avenues for broader evaporation studies for collisionally-shielded polar molecules.

The rest of this paper is organized as follows. Sec. II presents the theoretical model we utilize for our simulations, with details of its numerical solutions given in Sec. III. The procedure for forced evaporation is discussed in Sec. IV, along with the observables we extract from our solver that mimic those of experiments. Recommendations for efficient cooling from simulation results are presented in Sec. V, following which pathways to going below 10%percent1010\%10 % of the Fermi temperature are explored in Sec. VI. Final remarks and conclusions are drawn in Sec. VII.

II Kinetic Fermi Gases

At nonzero temperatures, the dynamics of ultracold Fermi gases are well described by the quantum Boltzmann equation, which provides a statistical description of rarefied gases in phase space Bonasera et al. (1994). These many-body systems are collectively described by a single-particle phase space distribution function f(𝒓,𝒑,t)𝑓𝒓𝒑𝑡f(\bm{r},\bm{p},t)italic_f ( bold_italic_r , bold_italic_p , italic_t ), defined such that

d3rd3pf(𝒓,𝒑,t)=N,superscript𝑑3𝑟superscript𝑑3𝑝𝑓𝒓𝒑𝑡𝑁\displaystyle\int d^{3}rd^{3}pf(\bm{r},\bm{p},t)=N,∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p italic_f ( bold_italic_r , bold_italic_p , italic_t ) = italic_N , (1)

with phase space position and momentum coordinates {𝒓,𝒑}𝒓𝒑\{\bm{r},\bm{p}\}{ bold_italic_r , bold_italic_p }. The Boltzmann equation is then written as Reif (2009)

(t\displaystyle\bigg{(}\frac{\partial}{\partial t}( divide start_ARG ∂ end_ARG start_ARG ∂ italic_t end_ARG +𝒑mrrV(𝒓)p)f(𝒓,𝒑,t)=[f],\displaystyle+\frac{\bm{p}}{m}\cdot\gradient_{r}-\gradient_{r}V(\bm{r})\cdot% \gradient_{p}\bigg{)}f(\bm{r},\bm{p},t)=\mathcal{I}[f],+ divide start_ARG bold_italic_p end_ARG start_ARG italic_m end_ARG ⋅ start_OPERATOR ∇ end_OPERATOR start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT - start_OPERATOR ∇ end_OPERATOR start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_V ( bold_italic_r ) ⋅ start_OPERATOR ∇ end_OPERATOR start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) italic_f ( bold_italic_r , bold_italic_p , italic_t ) = caligraphic_I [ italic_f ] , (2)

where m𝑚mitalic_m is the molecular mass, V(𝒓)𝑉𝒓V(\bm{r})italic_V ( bold_italic_r ) is the trap potential and N𝑁Nitalic_N is the number of molecules.

Molecular collisions are accounted for via the collision integral [f]delimited-[]𝑓{\cal I}[f]caligraphic_I [ italic_f ]. With the goal of cooling to deep quantum degeneracy, Pauli blocking must be included in the kinetic model for temperatures lower than the Fermi temperature TFsubscript𝑇𝐹T_{F}italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT Nordhiem (1928); Uehling and Uhlenbeck (1933):

[f]delimited-[]𝑓\displaystyle\mathcal{I}[f]caligraphic_I [ italic_f ] =d3p1m|𝒑𝒑1|𝑑ΩdσdΩabsentsuperscript𝑑3subscript𝑝1𝑚𝒑subscript𝒑1differential-dsuperscriptΩ𝑑𝜎𝑑superscriptΩ\displaystyle=\int\frac{d^{3}p_{1}}{m}\absolutevalue{\bm{p}-\bm{p}_{1}}\int d% \Omega^{\prime}\frac{d\sigma}{d\Omega^{\prime}}= ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_m end_ARG | start_ARG bold_italic_p - bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG | ∫ italic_d roman_Ω start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT divide start_ARG italic_d italic_σ end_ARG start_ARG italic_d roman_Ω start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG
×[ff1(1h3f)(1h3f1)\displaystyle\quad\quad\times\big{[}f^{\prime}f^{\prime}_{1}\left(1-h^{3}f% \right)\left(1-h^{3}f_{1}\right)× [ italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f ) ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT )
ff1(1h3f)(1h3f1)],\displaystyle\quad\quad\quad-ff_{1}\left(1-h^{3}f^{\prime}\right)\left(1-h^{3}% f^{\prime}_{1}\right)\big{]},- italic_f italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ] , (3)

where dσ/dΩ𝑑𝜎𝑑Ω{d\sigma/d\Omega}italic_d italic_σ / italic_d roman_Ω is the differential cross section, and we use the shorthand notation f1=f(𝒓,𝒑1,t)subscript𝑓1𝑓𝒓subscript𝒑1𝑡f_{1}=f(\bm{r},\bm{p}_{1},t)italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_f ( bold_italic_r , bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t ) and f=f(𝒓,𝒑,t)superscript𝑓𝑓𝒓superscript𝒑𝑡f^{\prime}=f(\bm{r},\bm{p}^{\prime},t)italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_f ( bold_italic_r , bold_italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_t ). The Pauli blocking factors h3fsuperscript3𝑓-h^{3}f- italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f become significant at phase space densities (PSD) of order ρPSD0.1greater-than-or-equivalent-tosubscript𝜌PSD0.1\rho_{\rm PSD}\gtrsim 0.1italic_ρ start_POSTSUBSCRIPT roman_PSD end_POSTSUBSCRIPT ≳ 0.1, where PSD is defined as

ρPSDsubscript𝜌PSD\displaystyle\rho_{\rm PSD}italic_ρ start_POSTSUBSCRIPT roman_PSD end_POSTSUBSCRIPT =nλth3,absentdelimited-⟨⟩𝑛superscriptsubscript𝜆th3\displaystyle=\langle n\rangle\lambda_{\rm th}^{3},= ⟨ italic_n ⟩ italic_λ start_POSTSUBSCRIPT roman_th end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , (4)

which compares the ensemble averaged number density ndelimited-⟨⟩𝑛\langle n\rangle⟨ italic_n ⟩ against the cubed thermal de Broglie wavelength λth=h/2πmkBTsubscript𝜆th2𝜋𝑚subscript𝑘𝐵𝑇\lambda_{\rm th}=h/\sqrt{2\pi mk_{B}T}italic_λ start_POSTSUBSCRIPT roman_th end_POSTSUBSCRIPT = italic_h / square-root start_ARG 2 italic_π italic_m italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_T end_ARG. Above, hhitalic_h is Planck’s constant, kBsubscript𝑘𝐵k_{B}italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is Boltzmann’s constant, and T𝑇Titalic_T is the gas temperature.

Our study considers a single species gas of N𝑁Nitalic_N dipoles, aligned along the dipole polarization axis 𝐄𝐄\bm{{\rm E}}bold_E. The gas is confined in a crossed optical dipole trap (xODT) with 2 perpendicular intersecting Gaussian beams, modeled by the potential

V(𝒓)𝑉𝒓\displaystyle V(\bm{r})italic_V ( bold_italic_r ) =VODT(𝒓)+Vg(𝒓),absentsubscript𝑉ODT𝒓subscript𝑉g𝒓\displaystyle=V_{\rm ODT}(\bm{r})+V_{\rm g}(\bm{r}),= italic_V start_POSTSUBSCRIPT roman_ODT end_POSTSUBSCRIPT ( bold_italic_r ) + italic_V start_POSTSUBSCRIPT roman_g end_POSTSUBSCRIPT ( bold_italic_r ) , (5)

with terms above defined as Grimm et al. (2000)

VODT(𝒓)subscript𝑉ODT𝒓\displaystyle V_{\rm ODT}(\bm{r})italic_V start_POSTSUBSCRIPT roman_ODT end_POSTSUBSCRIPT ( bold_italic_r ) =2α1P1exp(2y2w1,y2(x)2z2w1,z2(x))πw1,y(x)w1,z(x)absent2subscript𝛼1subscript𝑃12superscript𝑦2superscriptsubscript𝑤1𝑦2𝑥2superscript𝑧2superscriptsubscript𝑤1𝑧2𝑥𝜋subscript𝑤1𝑦𝑥subscript𝑤1𝑧𝑥\displaystyle=-\frac{2\alpha_{1}P_{1}\exp\left(-\frac{2y^{2}}{w_{1,y}^{2}(x)}-% \frac{2z^{2}}{w_{1,z}^{2}(x)}\right)}{\pi w_{1,y}(x)w_{1,z}(x)}= - divide start_ARG 2 italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_exp ( - divide start_ARG 2 italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_w start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x ) end_ARG - divide start_ARG 2 italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_w start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x ) end_ARG ) end_ARG start_ARG italic_π italic_w start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT ( italic_x ) italic_w start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT ( italic_x ) end_ARG
2α2P2exp(2x2w2,x2(y)2z2w2,z2(y))πw2,x(y)w2,z(y),2subscript𝛼2subscript𝑃22superscript𝑥2superscriptsubscript𝑤2𝑥2𝑦2superscript𝑧2superscriptsubscript𝑤2𝑧2𝑦𝜋subscript𝑤2𝑥𝑦subscript𝑤2𝑧𝑦\displaystyle\quad-\frac{2\alpha_{2}P_{2}\exp\left(-\frac{2x^{2}}{w_{2,x}^{2}(% y)}-\frac{2z^{2}}{w_{2,z}^{2}(y)}\right)}{\pi w_{2,x}(y)w_{2,z}(y)},- divide start_ARG 2 italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_exp ( - divide start_ARG 2 italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_w start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_y ) end_ARG - divide start_ARG 2 italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_w start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_y ) end_ARG ) end_ARG start_ARG italic_π italic_w start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT ( italic_y ) italic_w start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT ( italic_y ) end_ARG , (6a)
Vg(𝒓)subscript𝑉g𝒓\displaystyle V_{\rm g}(\bm{r})italic_V start_POSTSUBSCRIPT roman_g end_POSTSUBSCRIPT ( bold_italic_r ) =mgz.absent𝑚𝑔𝑧\displaystyle=mgz.= italic_m italic_g italic_z . (6b)

Above, Pisubscript𝑃𝑖P_{i}italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is each beam’s laser power, αisubscript𝛼𝑖\alpha_{i}italic_α start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT the molecular polarizability given the wavelength of beam i𝑖iitalic_i,

wμ,i(r)=Wμ,i1+r2Rμ,i2,subscript𝑤𝜇𝑖𝑟subscript𝑊𝜇𝑖1superscript𝑟2superscriptsubscript𝑅𝜇𝑖2\displaystyle w_{\mu,i}(r)=W_{\mu,i}\sqrt{1+\frac{r^{2}}{R_{\mu,i}^{2}}},italic_w start_POSTSUBSCRIPT italic_μ , italic_i end_POSTSUBSCRIPT ( italic_r ) = italic_W start_POSTSUBSCRIPT italic_μ , italic_i end_POSTSUBSCRIPT square-root start_ARG 1 + divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_R start_POSTSUBSCRIPT italic_μ , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , (7)

with Rμ,i=πWμ,i2/λsubscript𝑅𝜇𝑖𝜋superscriptsubscript𝑊𝜇𝑖2𝜆R_{\mu,i}=\pi W_{\mu,i}^{2}/\lambdaitalic_R start_POSTSUBSCRIPT italic_μ , italic_i end_POSTSUBSCRIPT = italic_π italic_W start_POSTSUBSCRIPT italic_μ , italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_λ denoting the Rayleigh length and Wμ,isubscript𝑊𝜇𝑖W_{\mu,i}italic_W start_POSTSUBSCRIPT italic_μ , italic_i end_POSTSUBSCRIPT is the beam width of wavelength λ𝜆\lambdaitalic_λ. Altering the power of the xODT lasers can alter the trap depths, allowing molecules to spill out due to gravity and produce evaporative cooling. At high laser powers, VODTsubscript𝑉ODTV_{\rm ODT}italic_V start_POSTSUBSCRIPT roman_ODT end_POSTSUBSCRIPT is well approximated as harmonic around the trap minima:

Vharm(𝒓)subscript𝑉harm𝒓\displaystyle V_{\rm harm}(\bm{r})italic_V start_POSTSUBSCRIPT roman_harm end_POSTSUBSCRIPT ( bold_italic_r ) =12mνων2rν2,absent12𝑚subscript𝜈superscriptsubscript𝜔𝜈2superscriptsubscript𝑟𝜈2\displaystyle=\frac{1}{2}m\sum_{\nu}\omega_{\nu}^{2}r_{\nu}^{2},= divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_m ∑ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (8)

where the gas mostly resides. Above, ωνsubscript𝜔𝜈\omega_{\nu}italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT are the harmonic trap frequencies along coordinate axis ν𝜈\nuitalic_ν defined in terms of the laser parameters as detailed in App. A.

III Monte Carlo Solutions

The existing literature on numerical solutions to the Boltzmann equation provides a strong foundation for this work Bird (1970); Goulko et al. (2012); Pantel et al. (2015); Sykes and Bohn (2015); Wang et al. (2020). For completeness, we briefly present our implementation of these methods in this section.

Numerical solutions to Eq. (2) are performed by stepping forward in time with discrete time steps. In our case, there are two main features of the dynamics: 1) free-stream evolution influenced by the trapping potential V(𝒓)𝑉𝒓V(\bm{r})italic_V ( bold_italic_r ) [left-hand side of Eq. (2)] and 2) two-body collisional interactions [right-hand side of Eq. (2)], motivating the definition of two distinct time scales:

τVsubscript𝜏𝑉\displaystyle\quad\tau_{V}italic_τ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT =2πminν{ων},absent2𝜋subscript𝜈subscript𝜔𝜈\displaystyle=\frac{2\pi}{\min_{\nu}\{\omega_{\nu}\}},= divide start_ARG 2 italic_π end_ARG start_ARG roman_min start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT { italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT } end_ARG , (9a)
τcollsubscript𝜏coll\displaystyle\tau_{\mathrm{coll}}italic_τ start_POSTSUBSCRIPT roman_coll end_POSTSUBSCRIPT =nσvr1,absentsuperscriptdelimited-⟨⟩𝑛𝜎subscript𝑣𝑟1\displaystyle=\langle n\sigma v_{r}\rangle^{-1},= ⟨ italic_n italic_σ italic_v start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT , (9b)

where σ𝜎\sigmaitalic_σ is the total cross section, vrsubscript𝑣𝑟v_{r}italic_v start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT is the relative velocity and delimited-⟨⟩\langle\ldots\rangle⟨ … ⟩ denotes a molecular ensemble average. We take advantage of this distinction by time evolving each physical process with its own time step, free-stream kinetics with ΔtτVmuch-less-thanΔ𝑡subscript𝜏𝑉\Delta t\ll\tau_{V}roman_Δ italic_t ≪ italic_τ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT, and collisions with δtτcollmuch-less-than𝛿𝑡subscript𝜏coll\delta t\ll\tau_{\rm coll}italic_δ italic_t ≪ italic_τ start_POSTSUBSCRIPT roman_coll end_POSTSUBSCRIPT. Furthermore, δt𝛿𝑡\delta titalic_δ italic_t is taken to be adaptive Frenkel and Smit (2001), updated based on the mean collision rate at any given time in the simulation.

III.1 Free-stream kinetics

Direct solutions of the 6-dimensional phase space distribution are, in general, extremely expensive to solve numerically. Instead, we adopt the approximation employed by Ref. Bird (1970), where f(𝒓,𝒑)𝑓𝒓𝒑f(\bm{r},\bm{p})italic_f ( bold_italic_r , bold_italic_p ) is discretized into phase space points we refer to as “simulation particles”:

f(𝒓,𝒑)ξk=1Nsimδ3(𝒓𝒓k)δ3(𝒑𝒑k),𝑓𝒓𝒑𝜉superscriptsubscript𝑘1subscript𝑁simsuperscript𝛿3𝒓subscript𝒓𝑘superscript𝛿3𝒑subscript𝒑𝑘\displaystyle f(\bm{r},\bm{p})\approx\xi\sum_{k=1}^{N_{\rm sim}}\delta^{3}(\bm% {r}-\bm{r}_{k})\delta^{3}(\bm{p}-\bm{p}_{k}),italic_f ( bold_italic_r , bold_italic_p ) ≈ italic_ξ ∑ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( bold_italic_r - bold_italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( bold_italic_p - bold_italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) , (10)

where ξ=N/Nsim𝜉𝑁subscript𝑁sim\xi=N/N_{\rm sim}italic_ξ = italic_N / italic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT is the ratio of the actual number of particles N𝑁Nitalic_N, to simulation particles Nsimsubscript𝑁simN_{\rm sim}italic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT. For most considerations here, we set Nsim=Nsubscript𝑁sim𝑁N_{\rm sim}=Nitalic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT = italic_N so that each evaporated particle depicts the expected cooling effect from such molecular loss. Each test particle then evolves under Newton’s equations, which is numerically performed with the Verlet symplectic algorithm Verlet (1967):

𝒒ksubscript𝒒𝑘\displaystyle\bm{q}_{k}bold_italic_q start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT =𝒓k(t)+Δt2m𝒑k(t),absentsubscript𝒓𝑘𝑡Δ𝑡2𝑚subscript𝒑𝑘𝑡\displaystyle=\bm{r}_{k}(t)+\frac{\Delta t}{2m}\bm{p}_{k}(t),= bold_italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) + divide start_ARG roman_Δ italic_t end_ARG start_ARG 2 italic_m end_ARG bold_italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) , (11a)
𝒑k(t+Δt)subscript𝒑𝑘𝑡Δ𝑡\displaystyle\bm{p}_{k}(t+\Delta t)bold_italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t + roman_Δ italic_t ) =𝒑k(t)+𝑭kΔt,absentsubscript𝒑𝑘𝑡subscript𝑭𝑘Δ𝑡\displaystyle=\bm{p}_{k}(t)+\bm{F}_{k}\Delta t,= bold_italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) + bold_italic_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT roman_Δ italic_t , (11b)
𝒓k(t+Δt)subscript𝒓𝑘𝑡Δ𝑡\displaystyle\bm{r}_{k}(t+\Delta t)bold_italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t + roman_Δ italic_t ) =𝒒k+Δt2m𝒑k(t+Δt),absentsubscript𝒒𝑘Δ𝑡2𝑚subscript𝒑𝑘𝑡Δ𝑡\displaystyle=\bm{q}_{k}+\frac{\Delta t}{2m}\bm{p}_{k}(t+\Delta t),= bold_italic_q start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT + divide start_ARG roman_Δ italic_t end_ARG start_ARG 2 italic_m end_ARG bold_italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t + roman_Δ italic_t ) , (11c)

where subscripts k𝑘kitalic_k denote the k𝑘kitalic_k-th test particle, t𝑡titalic_t is the current time and 𝑭k=VODT(𝒓)subscript𝑭𝑘subscript𝑉ODT𝒓\bm{F}_{k}=-\gradient V_{\rm ODT}(\bm{r})bold_italic_F start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = - start_OPERATOR ∇ end_OPERATOR italic_V start_POSTSUBSCRIPT roman_ODT end_POSTSUBSCRIPT ( bold_italic_r ).

III.2 Quantum collision integral

The collision integral is computed via a direct simulation Monte Carlo (DSMC) method Bird (1970) at time intervals δt𝛿𝑡\delta titalic_δ italic_t. The DSMC method utilizes a discrete spatial grid for efficiency, where we adopt a locally adaptive discretization scheme to construct it based on local density variations.

The spatial grid is built at every δt𝛿𝑡\delta titalic_δ italic_t time step in two phases. Phase one is the construction of a master grid, consisting of uniform volume cells that span the simulation volume surrounding the test particle ensemble. From this, the resolution of the spatial grid is then refined in phase two with an octree algorithm Franklin and Akman (1985). The algorithm recursively subdivides each master grid cell into eight octants, terminating only when each cell has at most Ncellmaxsuperscriptsubscript𝑁cellN_{\rm cell}^{\max}italic_N start_POSTSUBSCRIPT roman_cell end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT test particles. The parameter Ncellmaxsuperscriptsubscript𝑁cellN_{\rm cell}^{\max}italic_N start_POSTSUBSCRIPT roman_cell end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT, is initialized at the start of the simulation and can be optimized for stochastic convergence. The octree refinement of an initial master grid is illustrated in Fig. 2. In practice, we typically use Ncellmax=5superscriptsubscript𝑁cell5N_{\rm cell}^{\max}=5italic_N start_POSTSUBSCRIPT roman_cell end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT = 5 to 10101010.

Refer to caption
Figure 2: Visualization of the octree algorithm refinement (b) applied to the master grid (a), projected in 2-dimensions. In this figure, there are initially 8 master grid cells with N=200𝑁200N=200italic_N = 200, and Ncellmax=3superscriptsubscript𝑁cell3N_{\text{cell}}^{\max}=3italic_N start_POSTSUBSCRIPT cell end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT = 3, with Gaussian distributed points in arbitrary units.

A dilute gas allows us to consider collisions as occurring only within grid cells, resulting in their exiting from a phase space volume element d3rd3psuperscript𝑑3𝑟superscript𝑑3𝑝d^{3}rd^{3}pitalic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p, at a rate given by d3rd3pout[f]superscript𝑑3𝑟superscript𝑑3𝑝superscriptoutdelimited-[]𝑓d^{3}rd^{3}p{\cal I}^{\rm out}[f]italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p caligraphic_I start_POSTSUPERSCRIPT roman_out end_POSTSUPERSCRIPT [ italic_f ], where

out[f]superscriptoutdelimited-[]𝑓\displaystyle{\cal I}^{\rm out}[f]caligraphic_I start_POSTSUPERSCRIPT roman_out end_POSTSUPERSCRIPT [ italic_f ] =d3p1m|𝒑𝒑1|𝑑ΩdσdΩabsentsuperscript𝑑3subscript𝑝1𝑚𝒑subscript𝒑1differential-dsuperscriptΩ𝑑𝜎𝑑superscriptΩ\displaystyle=-\int\frac{d^{3}p_{1}}{m}\absolutevalue{\bm{p}-\bm{p}_{1}}\int d% \Omega^{\prime}\frac{d\sigma}{d\Omega^{\prime}}= - ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_m end_ARG | start_ARG bold_italic_p - bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG | ∫ italic_d roman_Ω start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT divide start_ARG italic_d italic_σ end_ARG start_ARG italic_d roman_Ω start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG
×ff1(1h3f)(1h3f1).absent𝑓subscript𝑓11superscript3superscript𝑓1superscript3subscriptsuperscript𝑓1\displaystyle\quad\quad\quad\quad\quad\times ff_{1}\left(1-h^{3}f^{\prime}% \right)\left(1-h^{3}f^{\prime}_{1}\right).× italic_f italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) . (12)

In the simulation, we replace the product of distributions in a differential phase space volume d3qd3pff1superscript𝑑3𝑞superscript𝑑3𝑝𝑓subscript𝑓1d^{3}qd^{3}pff_{1}italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_q italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p italic_f italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, by all pairs of test particles in a grid cell along with their associated momenta 𝒑𝒑\bm{p}bold_italic_p and 𝒑1subscript𝒑1\bm{p}_{1}bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. This facilitates Monte Carlo integration of the integral over d3p1superscript𝑑3subscript𝑝1d^{3}p_{1}italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, with integrand

1m|𝒑𝒑1|ff1𝑑ΩdσdΩ(1h3f)(1h3f1),1𝑚𝒑subscript𝒑1𝑓subscript𝑓1differential-dsuperscriptΩ𝑑𝜎𝑑superscriptΩ1superscript3superscript𝑓1superscript3subscriptsuperscript𝑓1\displaystyle\frac{1}{m}\absolutevalue{\bm{p}-\bm{p}_{1}}ff_{1}\int d\Omega^{% \prime}\frac{d\sigma}{d\Omega^{\prime}}\left(1-h^{3}f^{\prime}\right)\left(1-h% ^{3}f^{\prime}_{1}\right),divide start_ARG 1 end_ARG start_ARG italic_m end_ARG | start_ARG bold_italic_p - bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG | italic_f italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∫ italic_d roman_Ω start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT divide start_ARG italic_d italic_σ end_ARG start_ARG italic_d roman_Ω start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , (13)

to get a collision rate. Obtaining values of the integrand above requires further computation of the effective total cross section

σeff=𝑑ΩdσdΩ(1h3f)(1h3f1),subscript𝜎effdifferential-dsuperscriptΩ𝑑𝜎𝑑superscriptΩ1superscript3superscript𝑓1superscript3subscriptsuperscript𝑓1\displaystyle\sigma_{\mathrm{eff}}=\int d\Omega^{\prime}\frac{d\sigma}{d\Omega% ^{\prime}}\left(1-h^{3}f^{\prime}\right)\left(1-h^{3}f^{\prime}_{1}\right),italic_σ start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = ∫ italic_d roman_Ω start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT divide start_ARG italic_d italic_σ end_ARG start_ARG italic_d roman_Ω start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , (14)

which we also evaluate through Monte Carlo integration over dΩ𝑑superscriptΩd\Omega^{\prime}italic_d roman_Ω start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. The two sequential integration steps above correspond to a sampling of: 1) collision occurrences, and 2) post-collision momenta.

In step (1), a collision proceeds between test particles i𝑖iitalic_i and j𝑗jitalic_j, with probability Jackson and Zaremba (2002); Sykes and Bohn (2015)

Pijsubscript𝑃𝑖𝑗\displaystyle P_{ij}italic_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ξδtmΔVcell|𝒑ij|σ(𝒑ij),absent𝜉𝛿𝑡𝑚Δsubscript𝑉cellsubscript𝒑𝑖𝑗𝜎subscript𝒑𝑖𝑗\displaystyle\approx\xi\frac{\delta t}{m\Delta V_{\mathrm{cell}}}% \absolutevalue{\bm{p}_{ij}}\sigma(\bm{p}_{ij}),≈ italic_ξ divide start_ARG italic_δ italic_t end_ARG start_ARG italic_m roman_Δ italic_V start_POSTSUBSCRIPT roman_cell end_POSTSUBSCRIPT end_ARG | start_ARG bold_italic_p start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG | italic_σ ( bold_italic_p start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) , (15)

where 𝒑ij=𝒑i𝒑jsubscript𝒑𝑖𝑗subscript𝒑𝑖subscript𝒑𝑗\bm{p}_{ij}=\bm{p}_{i}-\bm{p}_{j}bold_italic_p start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = bold_italic_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - bold_italic_p start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, and the total cross section is the sum σ=σinel+σel𝜎subscript𝜎inelsubscript𝜎el\sigma=\sigma_{\rm inel}+\sigma_{\rm el}italic_σ = italic_σ start_POSTSUBSCRIPT roman_inel end_POSTSUBSCRIPT + italic_σ start_POSTSUBSCRIPT roman_el end_POSTSUBSCRIPT, of the inelastic and elastic cross sections respectively. Details on the inelastic cross sections with universal short-range loss are provided below. Inelastic collisions are then sampled to occur with probability σinel/σsubscript𝜎inel𝜎\sigma_{\rm inel}/\sigmaitalic_σ start_POSTSUBSCRIPT roman_inel end_POSTSUBSCRIPT / italic_σ, following which that pair of molecules is discarded from the simulation. Otherwise, the algorithm proceeds to step (2).

In step (2), post-collision momenta are sampled Bird (1970); Sykes and Bohn (2015) from the anisotropic differential cross section, following the occurrence of an elastic collision. For this work, we adopt the differential cross section derived in Ref. Bohn and Jin (2014) at threshold, although strictly speaking, the large dipole moment of NaK has evaporation starting generally slightly outside of the scattering threshold regime Chen et al. (2023). Moreover, the elastic cross sections are those appropriate to microwave-shielded molecules, rather than point dipoles, but the differential cross sections are identical in the threshold limit. The simulation results here are therefore a little more optimistic than reality Wang and Bohn (2024), but compare favorably enough to experiments that we will leave inclusion of these non-threshold cross sections to a future work.

Quantum statistics then requires an additional accept-reject step Goulko et al. (2012), where the sampled post-collision momenta are only accepted with probability

Pij=(1h3fi)(1h3fj),subscriptsuperscript𝑃𝑖𝑗1superscript3subscriptsuperscript𝑓𝑖1superscript3subscriptsuperscript𝑓𝑗\displaystyle P^{\prime}_{ij}=\left(1-h^{3}f^{\prime}_{i}\right)\left(1-h^{3}f% ^{\prime}_{j}\right),italic_P start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ( 1 - italic_h start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) , (16)

otherwise, no collision is said to have occurred. Application of these steps to all test particles results in an approximation of the collision integral over δt𝛿𝑡\delta titalic_δ italic_t.

III.3 Smoothing the particle distribution

Sampling fsuperscript𝑓f^{\prime}italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT in Eq. (16) is problematic, since the particle distributions fisubscriptsuperscript𝑓𝑖f^{\prime}_{i}italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and fjsubscriptsuperscript𝑓𝑗f^{\prime}_{j}italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT are discretized in the simulation. We resolve this issue by “smearing” the δ𝛿\deltaitalic_δ-functions with a Gaussian convolution kernel Pantel et al. (2015); Goulko et al. (2012). These kernels are taken to have spatial width ςνsubscript𝜍𝜈\varsigma_{\nu}italic_ς start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT along axis ν𝜈\nuitalic_ν and momentum width ςpsubscript𝜍𝑝\varsigma_{p}italic_ς start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT, such that discretization noise is smoothed out while the distribution function remains physically consistent. These criteria are encapsulated by the conditions Lepers et al. (2010)

ςpς¯qsubscript𝜍𝑝subscript¯𝜍𝑞\displaystyle\varsigma_{p}\overline{\varsigma}_{q}italic_ς start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT over¯ start_ARG italic_ς end_ARG start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT hξ1/3much-greater-thanabsentsuperscript𝜉13\displaystyle\gg h\xi^{1/3}≫ italic_h italic_ξ start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT (17a)
ςνsubscript𝜍𝜈\displaystyle\varsigma_{\nu}italic_ς start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT RνTTF,much-less-thanabsentsubscript𝑅𝜈𝑇subscript𝑇𝐹\displaystyle\ll R_{\nu}\frac{T}{T_{F}},≪ italic_R start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT divide start_ARG italic_T end_ARG start_ARG italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG , (17b)
ςpsubscript𝜍𝑝\displaystyle\varsigma_{p}italic_ς start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT pFTTF,much-less-thanabsentsubscript𝑝𝐹𝑇subscript𝑇𝐹\displaystyle\ll p_{F}\frac{T}{T_{F}},≪ italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT divide start_ARG italic_T end_ARG start_ARG italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG , (17c)

where pF=2mEFsubscript𝑝𝐹2𝑚subscript𝐸𝐹p_{F}=\sqrt{2mE_{F}}italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = square-root start_ARG 2 italic_m italic_E start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG is the Fermi momentum, Rν=2EF/(mων2)subscript𝑅𝜈2subscript𝐸𝐹𝑚superscriptsubscript𝜔𝜈2R_{\nu}=\sqrt{2E_{F}/(m\omega_{\nu}^{2})}italic_R start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = square-root start_ARG 2 italic_E start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT / ( italic_m italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG are the Thomas-Fermi radii Giorgini et al. (2008) and EF=kBTF=ω¯(6N)1/3subscript𝐸𝐹subscript𝑘𝐵subscript𝑇𝐹Planck-constant-over-2-pi¯𝜔superscript6𝑁13E_{F}=k_{B}T_{F}=\hbar\overline{\omega}(6N)^{1/3}italic_E start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = roman_ℏ over¯ start_ARG italic_ω end_ARG ( 6 italic_N ) start_POSTSUPERSCRIPT 1 / 3 end_POSTSUPERSCRIPT is the Fermi energy Butts and Rokhsar (1997). Bars above quantities denote geometric means. We use widths defined by the geometric means of these upper and lower bounds, multiplied by a free parameter β𝛽\betaitalic_β, which is adjusted for stochastic convergence:

ςνsubscript𝜍𝜈\displaystyle\varsigma_{\nu}italic_ς start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT =(mων)1/2(RνTTF),absentsuperscriptPlanck-constant-over-2-pi𝑚subscript𝜔𝜈12subscript𝑅𝜈𝑇subscript𝑇𝐹\displaystyle=\sqrt{\left(\frac{\hbar}{m\omega_{\nu}}\right)^{1/2}\left(R_{\nu% }\frac{T}{T_{F}}\right)},= square-root start_ARG ( divide start_ARG roman_ℏ end_ARG start_ARG italic_m italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT ( italic_R start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT divide start_ARG italic_T end_ARG start_ARG italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG ) end_ARG , (18a)
ςpsubscript𝜍𝑝\displaystyle\varsigma_{p}italic_ς start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT =(mω¯)1/2(pFTTF).absentsuperscript𝑚Planck-constant-over-2-pi¯𝜔12subscript𝑝𝐹𝑇subscript𝑇𝐹\displaystyle=\sqrt{\left(m\hbar\overline{\omega}\right)^{1/2}\left(p_{F}\frac% {T}{T_{F}}\right)}.= square-root start_ARG ( italic_m roman_ℏ over¯ start_ARG italic_ω end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT ( italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT divide start_ARG italic_T end_ARG start_ARG italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG ) end_ARG . (18b)

The convolution kernels are then

δ3(𝒓𝒓k)superscript𝛿3𝒓subscript𝒓𝑘\displaystyle\delta^{3}(\bm{r}-\bm{r}_{k})italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( bold_italic_r - bold_italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) gr(𝒓𝒓k)ν=13e(rrk)2/ςν2πςν2,absentsubscript𝑔𝑟𝒓subscript𝒓𝑘superscriptsubscriptproduct𝜈13superscript𝑒superscript𝑟subscript𝑟𝑘2superscriptsubscript𝜍𝜈2𝜋superscriptsubscript𝜍𝜈2\displaystyle\to g_{r}(\bm{r}-\bm{r}_{k})\equiv\prod_{\nu=1}^{3}\frac{e^{-(r-r% _{k})^{2}/\varsigma_{\nu}^{2}}}{\sqrt{\pi\varsigma_{\nu}^{2}}},→ italic_g start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( bold_italic_r - bold_italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ≡ ∏ start_POSTSUBSCRIPT italic_ν = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT divide start_ARG italic_e start_POSTSUPERSCRIPT - ( italic_r - italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_ς start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_π italic_ς start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , (19a)
δ3(𝒑𝒑k)superscript𝛿3𝒑subscript𝒑𝑘\displaystyle\delta^{3}(\bm{p}-\bm{p}_{k})italic_δ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( bold_italic_p - bold_italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) gp(𝒑𝒑k)ν=13e(ppk)2/ςpν2πςpν2,absentsubscript𝑔𝑝𝒑subscript𝒑𝑘superscriptsubscriptproduct𝜈13superscript𝑒superscript𝑝subscript𝑝𝑘2superscriptsubscript𝜍subscript𝑝𝜈2𝜋superscriptsubscript𝜍subscript𝑝𝜈2\displaystyle\to g_{p}(\bm{p}-\bm{p}_{k})\equiv\prod_{\nu=1}^{3}\frac{e^{-(p-p% _{k})^{2}/\varsigma_{p_{\nu}}^{2}}}{\sqrt{\pi\varsigma_{p_{\nu}}^{2}}},→ italic_g start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( bold_italic_p - bold_italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ≡ ∏ start_POSTSUBSCRIPT italic_ν = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT divide start_ARG italic_e start_POSTSUPERSCRIPT - ( italic_p - italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_ς start_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_π italic_ς start_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , (19b)

which when used in Eq. (10), constitute a continuous distribution for evaluating Eq. (16).

Including the Pauli blocking factors in Eq. (II), enforces the equilibrium molecular distribution to obey Fermi-Dirac statistics, illustrated in Fig. 3. To obtain this plot, we ran an instance of the Monte Carlo simulation with N=10,000𝑁10000N=10,000italic_N = 10 , 000 molecules in a perfectly harmonic trap of (ωx,ωy,ωz)=2π(45,67,157)subscript𝜔𝑥subscript𝜔𝑦subscript𝜔𝑧2𝜋4567157(\omega_{x},\omega_{y},\omega_{z})=2\pi(45,67,157)( italic_ω start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_ω start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT , italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) = 2 italic_π ( 45 , 67 , 157 ) Hz, for a duration of t=0.5𝑡0.5t=0.5italic_t = 0.5 s. The molecules are initially sampled from a Maxwell-Boltzmann distribution (dashed red curve) at T=50𝑇50T=50italic_T = 50 nK (T/TF0.34𝑇subscript𝑇𝐹0.34T/T_{F}\approx 0.34italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ≈ 0.34), then allowed to thermalize from elastic collisions to the gray histogram energy distribution. A Fermi-Dirac function Butts and Rokhsar (1997) is then fitted to the histogram to obtain the solid black curve, with an extracted temperature of T42𝑇42T\approx 42italic_T ≈ 42 nK and chemical potential μ/kB87𝜇subscript𝑘𝐵87\mu/k_{B}\approx 87italic_μ / italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ≈ 87 nK. Fermi-Dirac statistic will affect how we perform thermometry during simulated evaporation, a topic we now turn to.

Refer to caption
Figure 3: Simulation ensemble energy distribution with N=10,000𝑁10000N=10,000italic_N = 10 , 000 molecules (gray histogram), after collisional thermalization for t=0.5𝑡0.5t=0.5italic_t = 0.5 s from an intial Maxwell-Boltzmann distribution at 50505050 nK (dotted red curve). The simulation achieves a Fermi-Dirac distribution (solid black curve) at T42𝑇42T\approx 42italic_T ≈ 42 nK with a chemical potential of μ/kB87𝜇subscript𝑘𝐵87\mu/k_{B}\approx 87italic_μ / italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ≈ 87 nK.

IV Simulations of dipolar evaporation

During forced evaporation, the trap power is gradually reduced, lowering the trap depth which promotes the loss of energetic molecules. During this process, the trap powers follow the time-dependence

Pi(t)=Pi(0)ΔPi(1et/τ1etd/τ),subscript𝑃𝑖𝑡subscript𝑃𝑖0Δsubscript𝑃𝑖1superscript𝑒𝑡𝜏1superscript𝑒subscript𝑡𝑑𝜏\displaystyle P_{i}(t)=P_{i}(0)-\Delta P_{i}\left(\frac{1-e^{-t/\tau}}{1-e^{-t% _{d}/\tau}}\right),italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) = italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( 0 ) - roman_Δ italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( divide start_ARG 1 - italic_e start_POSTSUPERSCRIPT - italic_t / italic_τ end_POSTSUPERSCRIPT end_ARG start_ARG 1 - italic_e start_POSTSUPERSCRIPT - italic_t start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT / italic_τ end_POSTSUPERSCRIPT end_ARG ) , (20)

where ΔPiΔsubscript𝑃𝑖\Delta P_{i}roman_Δ italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the change in laser power of beam i𝑖iitalic_i, tdsubscript𝑡𝑑t_{d}italic_t start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT is the characteristic decay time and τ𝜏\tauitalic_τ is the forced evaporation time. The log PSD versus log molecule number describes the forced evaporation trajectory, from which we can extract an evaporation efficiency through a linear fit of its decrease Ketterle and Druten (1996):

evapsubscriptevap\displaystyle{\cal E}_{\rm evap}caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT =log10ρPSDlog10N.absentsubscript10subscript𝜌PSDsubscript10𝑁\displaystyle=-\frac{\partial\log_{10}\rho_{\rm PSD}}{\partial\log_{10}N}.= - divide start_ARG ∂ roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT roman_PSD end_POSTSUBSCRIPT end_ARG start_ARG ∂ roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT italic_N end_ARG . (21)

The PSD is obtained from temperature measurements of the simulation ensemble via the local density approximated relation

Li3(ρPSDρPSD1)subscriptLi3subscript𝜌PSDsubscript𝜌PSD1\displaystyle{\rm Li}_{3}\left(\frac{\rho_{\rm PSD}}{\rho_{\rm PSD}-1}\right)roman_Li start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( divide start_ARG italic_ρ start_POSTSUBSCRIPT roman_PSD end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT roman_PSD end_POSTSUBSCRIPT - 1 end_ARG ) =16(TTF)3,absent16superscript𝑇subscript𝑇𝐹3\displaystyle=-\frac{1}{6}\left(\frac{T}{T_{F}}\right)^{-3},= - divide start_ARG 1 end_ARG start_ARG 6 end_ARG ( divide start_ARG italic_T end_ARG start_ARG italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT , (22)

where Li3(z)subscriptLi3𝑧{\rm Li}_{3}(z)roman_Li start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) is the trilogarithmic function.

To effectively simulate the evaporation trajectory following a lowering of the trap depth, we opt to use a position space cutoff scheme. That is, a molecule is taken as evaporated from the trap if it falls past the outer turning point along z𝑧zitalic_z, or goes past a position that is 6 times the thermal width of the initial cloud from the trap minimum:

|rνrν,min|subscript𝑟𝜈subscript𝑟𝜈\displaystyle\absolutevalue{r_{\nu}-r_{\nu,\min}}| start_ARG italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT - italic_r start_POSTSUBSCRIPT italic_ν , roman_min end_POSTSUBSCRIPT end_ARG | >6kBT0mων2(0),absent6subscript𝑘𝐵subscript𝑇0𝑚superscriptsubscript𝜔𝜈20\displaystyle>6\sqrt{\frac{k_{B}T_{0}}{m\omega_{\nu}^{2}(0)}},> 6 square-root start_ARG divide start_ARG italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG italic_m italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 0 ) end_ARG end_ARG , (23a)
orz<1.2zmax,or𝑧1.2subscript𝑧\displaystyle\text{or}\quad z<1.2z_{\max},or italic_z < 1.2 italic_z start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT , (23b)

where T0subscript𝑇0T_{0}italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the initial equilibrium temperature, rν,minsubscript𝑟𝜈r_{\nu,\min}italic_r start_POSTSUBSCRIPT italic_ν , roman_min end_POSTSUBSCRIPT is the position of the trap minimum along axis ν𝜈\nuitalic_ν and zmax<0subscript𝑧0z_{\max}<0italic_z start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT < 0 is the trap local maxima along z𝑧zitalic_z. The criteria above allow us to account for the anisotropic molecular loss in space, as results from the gravitational trap sag seen in Fig. 4. Furthermore, the Gaussian trap profiles in the transverse directions imply that if molecules are too far away from the trap minima, they will no longer experience a large enough restorative potential, nor collisions, to return toward the trap center and are thus effectively evaporated away.

We point out that while evapsubscriptevap{\cal E}_{\rm evap}caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT provides a useful guide for experiments, it does not guarantee to achieve the highest phase space density amongst other schemes with possibly lower predicted efficiencies. For instance, a rapid decrease in the trap depth would still allow favorable evacuation of hot molecules and a seemingly efficient decrease in total energy. Unfortunately, the subsequent sample would have had no time to thermalize during the fast quench, disallowing the thermal tails of the distribution from being re-populated for further evaporative cooling beyond the initial evacuation. It is therefore useful to also track the final T/TF𝑇subscript𝑇𝐹T/T_{F}italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT and ρPSDsubscript𝜌PSD\rho_{\rm PSD}italic_ρ start_POSTSUBSCRIPT roman_PSD end_POSTSUBSCRIPT achieved, toward the goal of deeply degenerate Fermi gases.

IV.1 In-simulation thermometry

To mimic the experimentally extracted values of T𝑇Titalic_T, we utilize a Fermi-Dirac fit to the y𝑦yitalic_y-integrated simulation ensemble, likened to the optical density (OD) from absorption imaging of the molecular cloud Demarco (2001); Regal et al. (2005); Schindewolf et al. (2022):

OD(x,z)OD𝑥𝑧\displaystyle{\rm OD}(x,z)roman_OD ( italic_x , italic_z ) =ODmaxLi2(ζ)Li2(ζex22σx2z22σz2),absentsubscriptODsubscriptLi2𝜁subscriptLi2𝜁superscript𝑒superscript𝑥22superscriptsubscript𝜎𝑥2superscript𝑧22superscriptsubscript𝜎𝑧2\displaystyle=\frac{{\rm OD}_{\max}}{{\rm Li}_{2}\left(-\zeta\right)}{\rm Li}_% {2}\left(-\zeta e^{-\frac{x^{2}}{2\sigma_{x}^{2}}-\frac{z^{2}}{2\sigma_{z}^{2}% }}\right),= divide start_ARG roman_OD start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT end_ARG start_ARG roman_Li start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( - italic_ζ ) end_ARG roman_Li start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( - italic_ζ italic_e start_POSTSUPERSCRIPT - divide start_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_σ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_POSTSUPERSCRIPT ) , (24)

where ODmaxsubscriptOD{\rm OD}_{\max}roman_OD start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT is the peak optical depth, σisubscript𝜎𝑖\sigma_{i}italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the distribution widths, ζ𝜁\zetaitalic_ζ is the fugacity and Li2(z)subscriptLi2𝑧{\rm Li}_{2}(z)roman_Li start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z ) is the dilogarithmic function. In time-of-flight imaging, the distribution widths will evolve in time for every time-of-flight instance as

σν=1+ων2tTOF2ωνkBTνm,subscript𝜎𝜈1superscriptsubscript𝜔𝜈2superscriptsubscript𝑡TOF2subscript𝜔𝜈subscript𝑘𝐵subscript𝑇𝜈𝑚\displaystyle\sigma_{\nu}=\frac{\sqrt{1+\omega_{\nu}^{2}t_{\rm TOF}^{2}}}{% \omega_{\nu}}\sqrt{\frac{k_{B}T_{\nu}}{m}},italic_σ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = divide start_ARG square-root start_ARG 1 + italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT roman_TOF end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_ARG square-root start_ARG divide start_ARG italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_ARG start_ARG italic_m end_ARG end_ARG , (25)

over the time interval tTOFsubscript𝑡TOFt_{\rm TOF}italic_t start_POSTSUBSCRIPT roman_TOF end_POSTSUBSCRIPT. In the long time limit, this time-dependence changes the density images from position to momentum space distributions, since rνvνtTOFsubscript𝑟𝜈subscript𝑣𝜈subscript𝑡TOFr_{\nu}\rightarrow v_{\nu}t_{\rm TOF}italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT → italic_v start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT roman_TOF end_POSTSUBSCRIPT and σνtTOFkBT/msubscript𝜎𝜈subscript𝑡TOFsubscript𝑘𝐵𝑇𝑚\sigma_{\nu}\rightarrow t_{\rm TOF}\sqrt{k_{B}T/m}italic_σ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT → italic_t start_POSTSUBSCRIPT roman_TOF end_POSTSUBSCRIPT square-root start_ARG italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_T / italic_m end_ARG, rendering

OD(x,z)|tTOFevaluated-atOD𝑥𝑧subscript𝑡TOF\displaystyle\left.{\rm OD}(x,z)\right|_{t_{\rm TOF}\rightarrow\infty}roman_OD ( italic_x , italic_z ) | start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT roman_TOF end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT =OD(vx,vz)absentODsubscript𝑣𝑥subscript𝑣𝑧\displaystyle={\rm OD}(v_{x},v_{z})= roman_OD ( italic_v start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_v start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) (26)
=ODmaxLi2(ζ)Li2(ζem(vx2+vz2)2kBT),absentsubscriptODsubscriptLi2𝜁subscriptLi2𝜁superscript𝑒𝑚superscriptsubscript𝑣𝑥2superscriptsubscript𝑣𝑧22subscript𝑘𝐵𝑇\displaystyle=\frac{{\rm OD}_{\max}}{{\rm Li}_{2}\left(-\zeta\right)}{\rm Li}_% {2}\left(-\zeta e^{-\frac{m(v_{x}^{2}+v_{z}^{2})}{2k_{B}T}}\right),= divide start_ARG roman_OD start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT end_ARG start_ARG roman_Li start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( - italic_ζ ) end_ARG roman_Li start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( - italic_ζ italic_e start_POSTSUPERSCRIPT - divide start_ARG italic_m ( italic_v start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_v start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG 2 italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_T end_ARG end_POSTSUPERSCRIPT ) ,

where vνsubscript𝑣𝜈v_{\nu}italic_v start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT is the velocity along axis ν𝜈\nuitalic_ν.

Leaving T𝑇Titalic_T and ζ𝜁\zetaitalic_ζ as float parameters, OD(vx,vz)ODsubscript𝑣𝑥subscript𝑣𝑧{\rm OD}(v_{x},v_{z})roman_OD ( italic_v start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_v start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) is then fitted to the simulation distribution, obtained by constructing an appropriately normalized 2D histogram from the simulated particle ensemble, projected into the x,z𝑥𝑧x,zitalic_x , italic_z plane. In practice, obtaining the fugacity by fitting to the shape of the distribution results in large errors with noisy data. So we opt to utilize the relation in Eq. (22) and ζ=ρPSD(1ρPSD)1𝜁subscript𝜌PSDsuperscript1subscript𝜌PSD1\zeta=\rho_{\rm PSD}(1-\rho_{\rm PSD})^{-1}italic_ζ = italic_ρ start_POSTSUBSCRIPT roman_PSD end_POSTSUBSCRIPT ( 1 - italic_ρ start_POSTSUBSCRIPT roman_PSD end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT to infer the fugacity, floating only T𝑇Titalic_T. If T>TF𝑇subscript𝑇𝐹T>T_{F}italic_T > italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, we simply revert to assuming a Boltzmann distributed gas, with temperature related to the mean-squared momenta T=𝒑2/(3mkB)𝑇delimited-⟨⟩superscript𝒑23𝑚subscript𝑘𝐵T=\langle\bm{p}^{2}\rangle/(3mk_{B})italic_T = ⟨ bold_italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ / ( 3 italic_m italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ).

V Numerical Results

The simulation and measurement methods thus far described, are what we utilize to produce the data plotted in Fig. 1, providing us a positive benchmark against actual experimental data. Along with the parameters provided in Ref. Schindewolf et al. (2022) and td=2.5τsubscript𝑡𝑑2.5𝜏t_{d}=2.5\tauitalic_t start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT = 2.5 italic_τ, the close agreement was achieved by utilizing a 2-body loss rate constant of βL=1012subscript𝛽𝐿superscript1012\beta_{L}=10^{-12}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 12 end_POSTSUPERSCRIPT cm3/s, and an added background heating rate of κ=100𝜅100\kappa=100italic_κ = 100 nK/s as reported by the experiment 111 We suspected that background heating was caused by a sloshing mode excited in the gas upon sample preparation. . The added background heating was simulated with momentum kicks during each simulation time step, taking the momentum of particle k𝑘kitalic_k, and increasing by 𝒑k𝒑k(1+2pk2mkBκΔt)subscript𝒑𝑘subscript𝒑𝑘12superscriptsubscript𝑝𝑘2𝑚subscript𝑘𝐵𝜅Δ𝑡\bm{p}_{k}\rightarrow\bm{p}_{k}\left(1+2p_{k}^{-2}mk_{B}\kappa\Delta t\right)bold_italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT → bold_italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( 1 + 2 italic_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_m italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_κ roman_Δ italic_t ), after the second Verlet integration step of Eq. (11).

Table 1: Table of parameter values for the potential confining a gas of fermionic 23Na40K molecules. hhitalic_h denotes Planck’s constant.
Parameter Symbol Value Unit
Beam 1 vertical width W1,zsubscript𝑊1𝑧W_{1,z}italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT 57.5 μ𝜇\muitalic_μm
Beam 1 horizontal width W1,subscript𝑊1perpendicular-toW_{1,\perp}italic_W start_POSTSUBSCRIPT 1 , ⟂ end_POSTSUBSCRIPT 113 μ𝜇\muitalic_μm
Beam 1 wavelength λ1subscript𝜆1\lambda_{1}italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 1064 nm
Beam 1 power P1subscript𝑃1P_{1}italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 0.242 W
Polarizability in beam 1 α1subscript𝛼1\alpha_{1}italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 2.79×103h2.79superscript1032.79\times 10^{-3}h2.79 × 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT italic_h m2Hz/W
Beam 2 vertical width W2,zsubscript𝑊2𝑧W_{2,z}italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT 45 μ𝜇\muitalic_μm
Beam 2 horizontal width W2,subscript𝑊2perpendicular-toW_{2,\perp}italic_W start_POSTSUBSCRIPT 2 , ⟂ end_POSTSUBSCRIPT 156 μ𝜇\muitalic_μm
Beam 2 wavelength λ2subscript𝜆2\lambda_{2}italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT 1064 nm
Beam 2 power P2subscript𝑃2P_{2}italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT 0.253 W
Polarizability in beam 2 α2subscript𝛼2\alpha_{2}italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT 2.79×103h2.79superscript1032.79\times 10^{-3}h2.79 × 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT italic_h m2J/W

Assurance of physically accurate simulations now motivates us to investigate tunable parameters for identifying efficient evaporation schemes. In this study, evaporation simulations commence with the default laser parameters listed in Tab. 1, which results in the initial trap potential energy surface provided in Fig. 4. The plot is a slice along the y=0𝑦0y=0italic_y = 0 plane, showing a trap depth of 2.5absent2.5\approx 2.5≈ 2.5 μ𝜇\muitalic_μK. Lowering of the trapping beam power proceeds with td=2τsubscript𝑡𝑑2𝜏t_{d}=2\tauitalic_t start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT = 2 italic_τ.

Refer to caption
Figure 4: The xODT potential energy surface V(𝒓)𝑉𝒓V(\bm{r})italic_V ( bold_italic_r ), plotted as a function of coordinates x𝑥xitalic_x and z𝑧zitalic_z along y=0𝑦0y=0italic_y = 0, utilizing the trap parameters of Tab. 1.

V.1 Dependence on 2-body loss

A major factor that limits the efficiency of evaporating molecular samples to quantum degeneracy is 2-body collisional losses. Even with microwave shielding applied, inelastic collisions can still occur as a result of couplings between the dressed adiabatic channels. Occurring primarily in the region of higher density, such losses inevitably cause a flattening of the momentum distribution peak which results in antievaporative heating Ketterle and Druten (1996). For a systematic study, we first explore the dependence on evapsubscriptevap{\cal E}_{\rm evap}caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT as a function of temperature-independent 2-body loss rate values: βL=1,2,4,8,16,32subscript𝛽𝐿12481632\beta_{L}=1,2,4,8,16,32italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 1 , 2 , 4 , 8 , 16 , 32 (1012superscript101210^{-12}10 start_POSTSUPERSCRIPT - 12 end_POSTSUPERSCRIPTcm3/s). Forced evaporation commences at T=1.1TF𝑇1.1subscript𝑇𝐹T=1.1T_{F}italic_T = 1.1 italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT and occurs over 500500500500 ms, followed by a hold time of 100100100100 ms to allow the sample to thermalize. A low of T0.6TF𝑇0.6subscript𝑇𝐹T\approx 0.6T_{F}italic_T ≈ 0.6 italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT is reached in these simulations, placing the gas only weakly in the quantum degenerate regime Aikawa et al. (2014). As expected, we observe a trend of decreasing efficiency with increasing 2-body loss from our simulations as shown in Fig. 5.

Refer to caption
Figure 5: Simulated evaporation efficiency evapsubscriptevap{\cal E}_{\rm evap}caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT as a function of a constant 2-body loss rate βLsubscript𝛽𝐿\beta_{L}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT (red data in main plot). Error bars are the linear fit uncertainties. The inset gives the PSD trajectories as a function of time (gray scale curves) for each simulated value of βLsubscript𝛽𝐿\beta_{L}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT. All simulation data points (circles) are interpolated with solid lines to guide the eye.

In actuality, the 2-body loss rate has a temperature dependence inherited from the energy dependence of the integral inelastic cross section σinelsubscript𝜎inel\sigma_{\rm inel}italic_σ start_POSTSUBSCRIPT roman_inel end_POSTSUBSCRIPT. For the typical temperatures of 200similar-toabsent200\sim 200∼ 200 nK at which evaporation is expected to commence, the inelastic collision rate generally decreases with decreasing temperature. The trend of Fig. 5 therefore serves as a theoretical worst case one might expect with 2-body loss, which we will use to explore evaporation in deeply degenerate samples later in the paper.

Now extending our simulation to more faithful depictions of physical realizations, we incorporate inelastic scattering with σinelsubscript𝜎inel\sigma_{\rm inel}italic_σ start_POSTSUBSCRIPT roman_inel end_POSTSUBSCRIPT obtained from full scattering calculations. For completeness, we briefly outline these calculations here, which closely follow the approaches detailed in Refs. Karman and Hutson (2018); Karman (2020); Karman et al. (2022); Deng et al. (2023). We treat the NaK molecules as rigid rotors, considering only the lowest two rotational levels (a total of four rotational states) in our calculation. In the presence of a circularly polarized microwave field, all molecules are prepared in their highest dressed state. Consequently, we only need to consider the scattering of symmetrized two-molecule states, where it turns out that only seven of these are mutually coupled. To account for the short-range loss, we include an attractive van der Waals term C6/r6subscript𝐶6superscript𝑟6-C_{6}/r^{6}- italic_C start_POSTSUBSCRIPT 6 end_POSTSUBSCRIPT / italic_r start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT, with C6=5×105a.u.formulae-sequencesubscript𝐶65superscript105auC_{6}=5\times 10^{5}~{}\mathrm{a.u.}italic_C start_POSTSUBSCRIPT 6 end_POSTSUBSCRIPT = 5 × 10 start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT roman_a . roman_u . Yan et al. (2020), and a capture boundary condition Light and Altenberger‐Siczek (1976); Clary and Henshaw (1987); Rackham et al. (2001) imposed at r=50a0𝑟50subscript𝑎0r=50\,a_{0}italic_r = 50 italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. Using the log-derivative method Johnson (1973), the scattering wavefunctions are numerically propagated to a large distance rMsubscript𝑟𝑀r_{M}italic_r start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT (>105a0absentsuperscript105subscript𝑎0>10^{5}\,a_{0}> 10 start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT) and then matched with asymptotic solutions to obtain the scattering K𝐾Kitalic_K-matrix. The elastic and inelastic cross sections are then computed from the K𝐾Kitalic_K-matrix.

We utilize up to =1111\ell=11roman_ℓ = 11 partial waves to ensure convergence of our scattering calculations. These calculations were performed at several well-chosen logarithmically spaced collision energies, from which we interpolate these values to construct a smooth function of σinelsubscript𝜎inel\sigma_{\rm inel}italic_σ start_POSTSUBSCRIPT roman_inel end_POSTSUBSCRIPT vs E𝐸Eitalic_E for Monte Carlo sampling. The incident angular dependence of inelastic scattering is not treated in this work.

Refer to caption
Figure 6: Plot of the elastic (dashed red) and inelastic (solid black) cross sections as a function of collision energy on a log-log scale. The microwave Rabi frequency and detuning are both set at 50505050 MHz.

Within the range of microwave parameters studied, the 2-body loss rate is shown to be exceptionally low with circularly polarized microwaves at Ω=2π×50Ω2𝜋50\Omega=2\pi\times 50roman_Ω = 2 italic_π × 50 MHz and comparably large detuning. By setting Δ=2π×50Δ2𝜋50\Delta=2\pi\times 50roman_Δ = 2 italic_π × 50 MHz, we find that σinelsubscript𝜎inel\sigma_{\rm inel}italic_σ start_POSTSUBSCRIPT roman_inel end_POSTSUBSCRIPT remains up to 4444 orders of magnitude smaller than σelsubscript𝜎el\sigma_{\rm el}italic_σ start_POSTSUBSCRIPT roman_el end_POSTSUBSCRIPT as seen given in Fig. 6 (refer to Tab. 2 for the microwave relevant parameters). For collision energies 200less-than-or-similar-toabsent200\lesssim 200≲ 200 nK, the inelastic cross section is seen to scale as E𝐸\sqrt{E}square-root start_ARG italic_E end_ARG, resulting in a 2-body loss rate that scales as T𝑇Titalic_T, consistent with p𝑝pitalic_p-wave dominated loss in identical fermions Ni et al. (2010). Furthermore, σelsubscript𝜎el\sigma_{\rm el}italic_σ start_POSTSUBSCRIPT roman_el end_POSTSUBSCRIPT only has a weak dependence on E𝐸Eitalic_E, and so is well approximated by its energy-independent value at threshold. Favorably, we can infer from Fig. 6 that if evaporation commences at T=200𝑇200T=200italic_T = 200 nK, the initial 2-body loss rate constant is around βL2×1013subscript𝛽𝐿2superscript1013\beta_{L}\approx 2\times 10^{-13}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ≈ 2 × 10 start_POSTSUPERSCRIPT - 13 end_POSTSUPERSCRIPT, expected to allow for efficient evaporation with evap>2.5subscriptevap2.5{\cal E}_{\rm evap}>2.5caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT > 2.5 (see Fig. 5).

Table 2: Table of microwave parameters and resultant dipole scales. a0subscript𝑎0a_{0}italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the Bohr radius, D𝐷Ditalic_D is a Debye and kBsubscript𝑘𝐵k_{B}italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT is Boltzmann’s constant.
Parameter Symbol Value Unit
Microwave frequency ΩΩ\Omegaroman_Ω 2π×502𝜋502\pi\times 502 italic_π × 50 MHz
Microwave detuning ΔΔ\Deltaroman_Δ 2π×502𝜋502\pi\times 502 italic_π × 50 MHz
Effective dipole moment d𝑑ditalic_d 0.56 D
Effective dipole length adsubscript𝑎𝑑a_{d}italic_a start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT 2740 a0subscript𝑎0a_{0}italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT
Effective dipole energy Edd/kBsubscript𝐸ddsubscript𝑘𝐵E_{\rm dd}/k_{B}italic_E start_POSTSUBSCRIPT roman_dd end_POSTSUBSCRIPT / italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT 732 nK

V.2 Trap sequences for efficient evaporation

Having fixed the microwave parameters, we look to study experimentally tunable trap parameters and their effect on evapsubscriptevap{\cal E}_{\rm evap}caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT. By varying the laser power, experiments can achieve various final potential depths at different rates. In practice, we take that the laser power of both xODT beams is lowered simultaneously, so that the ratio of final to initial trap power

rP=Pi(τ)Pi(0),subscript𝑟𝑃subscript𝑃𝑖𝜏subscript𝑃𝑖0\displaystyle r_{P}=\frac{P_{i}(\tau)}{P_{i}(0)},italic_r start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT = divide start_ARG italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_τ ) end_ARG start_ARG italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( 0 ) end_ARG , (27)

changes equally for both beams 1111 and 2222, over a time interval τ𝜏\tauitalic_τ with the time dependence in Eq. (20). To obtain the functional dependence of evapsubscriptevap{\cal E}_{\rm evap}caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT on these parameters, we run simulations for τ=0.1,0.5,1,1.5,2,2.5,3𝜏0.10.511.522.53\tau=0.1,0.5,1,1.5,2,2.5,3italic_τ = 0.1 , 0.5 , 1 , 1.5 , 2 , 2.5 , 3 s, and p=0.6𝑝0.6p=0.6italic_p = 0.6 to 0.90.90.90.9 in steps of 0.050.050.050.05. In addition to forced evaporation, we also include a 100100100100 ms hold time after τ𝜏\tauitalic_τ at the same trap depth. Although still resulting in some amount of plain evaporation, the added hold time allows the evaporated sample to further thermalize for more accurate thermometry. A single-body molecular lifetime of 9 s is also included.

Starting all numerical experiments with an initial temperature of T=200𝑇200T=200italic_T = 200 nK and N=20,000𝑁20000N=20,000italic_N = 20 , 000 molecules (TF(0)175subscript𝑇𝐹0175T_{F}(0)\approx 175italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ( 0 ) ≈ 175 nK), the resulting variation of evap(rP,τ)subscriptevapsubscript𝑟𝑃𝜏{\cal E}_{\rm evap}(r_{P},\tau)caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT , italic_τ ) is visualized in Fig. 7. From this plot alone, a cursory glance indicates that rapid evaporation with τ=0.1𝜏0.1\tau=0.1italic_τ = 0.1 to a final relative power of rP=0.8subscript𝑟𝑃0.8r_{P}=0.8italic_r start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT = 0.8 is optimal with regards to evapsubscriptevap{\cal E}_{\rm evap}caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT. But as alluded to at the start of this section (IV), this apparent gain in efficiency is not very useful in practice, only achieving a meager increment of ρPSDsubscript𝜌PSD\rho_{\rm PSD}italic_ρ start_POSTSUBSCRIPT roman_PSD end_POSTSUBSCRIPT from 0.1similar-toabsent0.1\sim 0.1∼ 0.1 (T/TF1.1𝑇subscript𝑇𝐹1.1T/T_{F}\approx 1.1italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ≈ 1.1) to 0.20.20.20.2 (T/TF0.85𝑇subscript𝑇𝐹0.85T/T_{F}\approx 0.85italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ≈ 0.85) [see subplot (a) of Fig. 8, plotting T/TF𝑇subscript𝑇𝐹T/T_{F}italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT as a function of rPsubscript𝑟𝑃r_{P}italic_r start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT and τ𝜏\tauitalic_τ].

Refer to caption
Figure 7: The evaporation efficiency evapsubscriptevap{\cal E}_{\rm evap}caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT, as a function of the final relative power rPsubscript𝑟𝑃r_{P}italic_r start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT and evaporation time τ𝜏\tauitalic_τ.

In the hopes of achieving deeply degenerate gases, perhaps more appropriate is to first choose target parameters for the molecular sample. For instance, one might aim to achieve molecule numbers of N>8000𝑁8000N>8000italic_N > 8000 and a final temperature of T/TF<0.4𝑇subscript𝑇𝐹0.4T/T_{F}<0.4italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT < 0.4. These targets are indicated with light blue crosses in Fig. 8. Between the 2 common squares in subplots (a) and (b), Fig. 7 tells us that this final molecular sample is most efficiently achieved by setting τ=1𝜏1\tau=1italic_τ = 1 s and rP=0.6subscript𝑟𝑃0.6r_{P}=0.6italic_r start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT = 0.6, with a predicted efficiency of evap2.2subscriptevap2.2{\cal E}_{\rm evap}\approx 2.2caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT ≈ 2.2. For comparison, Bose-Einstein condensation of dipolar molecules was recently achieved with evap2.0subscriptevap2.0{\cal E}_{\rm evap}\approx 2.0caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT ≈ 2.0 Bigagli et al. (2024), while atomic samples can reach much higher efficiencies of evap3.5subscriptevap3.5{\cal E}_{\rm evap}\approx 3.5caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT ≈ 3.5 with their low 2-body losses Aikawa et al. (2012).

For a more experiment-agnostic guide, we can express the identified optimal evaporation time τoptsubscript𝜏opt\tau_{\rm opt}italic_τ start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT in terms of the inverse standard collision rate at the start of evaporation. For elastic scattering, this is found to be τcoll(0)1.8subscript𝜏coll01.8\tau_{\rm coll}(0)\approx 1.8italic_τ start_POSTSUBSCRIPT roman_coll end_POSTSUBSCRIPT ( 0 ) ≈ 1.8 ms, which gives the comparison τopt555.6τcoll(0)subscript𝜏opt555.6subscript𝜏coll0\tau_{\rm opt}\approx 555.6\tau_{\rm coll}(0)italic_τ start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT ≈ 555.6 italic_τ start_POSTSUBSCRIPT roman_coll end_POSTSUBSCRIPT ( 0 ). As for the initial inelastic collision time, we find τinel(0)=nσinelvr111.6subscript𝜏inel0superscriptdelimited-⟨⟩𝑛subscript𝜎inelsubscript𝑣𝑟111.6\tau_{\rm inel}(0)=\langle n\sigma_{\rm inel}v_{r}\rangle^{-1}\approx 11.6italic_τ start_POSTSUBSCRIPT roman_inel end_POSTSUBSCRIPT ( 0 ) = ⟨ italic_n italic_σ start_POSTSUBSCRIPT roman_inel end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟩ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ≈ 11.6 s, granting us τopt0.1τinel(0)subscript𝜏opt0.1subscript𝜏inel0\tau_{\rm opt}\approx 0.1\tau_{\rm inel}(0)italic_τ start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT ≈ 0.1 italic_τ start_POSTSUBSCRIPT roman_inel end_POSTSUBSCRIPT ( 0 ). So generally speaking, if evaporation can occur more than 10 times faster than inelastic collisions do, but around 550 times slower than elastic ones, evaporative cooling from T/TF1𝑇subscript𝑇𝐹1T/T_{F}\approx 1italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ≈ 1 is slated to achieve deep Fermi degeneracy.

Refer to caption

]

Figure 8: The (a) measured temperature ratio T/TF𝑇subscript𝑇𝐹T/T_{F}italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT and (b) molecule number N𝑁Nitalic_N at the end of each evaporation trajectory, as a function of the in final relative power rPsubscript𝑟𝑃r_{P}italic_r start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT and evaporation time τ𝜏\tauitalic_τ.

VI Prospects for evaporation to p-wave superfluidity

Although a triumph for molecular experiments, temperatures of T<0.4TF𝑇0.4subscript𝑇𝐹T<0.4T_{F}italic_T < 0.4 italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT have already been experimentally achieved in Ref. Schindewolf et al. (2022), albeit with lower molecular numbers than those predicted as achievable here. Hence, a natural next step is to push the molecular gas into deeper quantum degenerate regimes. With p𝑝pitalic_p-wave superfluidity stipulated to occur at T0.1TFless-than-or-similar-to𝑇0.1subscript𝑇𝐹T\lesssim 0.1T_{F}italic_T ≲ 0.1 italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT Deng et al. (2023), we attempt a preliminary analysis with our evaporation simulator for achieving such temperatures with a microwave-shielded NaK gas. Even with perfect microwaves and arbitrarily stable lasers, the curse of inelastic collisions continues to plague the quest for colder molecular samples. For small T/TF𝑇subscript𝑇𝐹T/T_{F}italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT in particular, Pauli blocking suppresses elastic thermalizing collisions Wang and Bohn (2021) but not inelastic ones, since ultracold inelastic collisions lead to exothermic loss of molecules from the trap, outside which is void of a Fermi sea of molecules. The result is a marked decrease in the evaporation efficiency. To this end, we explore the possibilities for further evaporative cooling in low-temperature samples after the evaporation sequence in Sec. V.2. In particular, we aim to find bounds on allowable 2-body loss rates where cooling through forced evaporation still overcomes antievaporative heating from inelastic loss.

Refer to caption
Figure 9: The slope of T/TF𝑇subscript𝑇𝐹T/T_{F}italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT vs N/104𝑁superscript104N/10^{4}italic_N / 10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT for various values of βLsubscript𝛽𝐿\beta_{L}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT (red data in main plot). Error bars are the linear fit uncertainties. The lower left inset shows the simulated T/TF𝑇subscript𝑇𝐹T/T_{F}italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT vs N/104𝑁superscript104N/10^{4}italic_N / 10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT trajectories during forced evaporation for 800800800800 ms, labeled by the upper right legend. All simulation data points (circles) are interpolated with solid lines to guide the eye.

Following an initial forced evaporation ramp that leaves the gas at T=0.35TF𝑇0.35subscript𝑇𝐹T=0.35T_{F}italic_T = 0.35 italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT with N=9000𝑁9000N=9000italic_N = 9000 molecules (refer to Fig. 8), we apply a secondary evaporation ramp from a trap depth of 150 nK to 80 nK in 800 ms. To systematically tune inelastic collisions, we once more adopt a temperature-independent two-body loss rate (see Sec. V.1) and vary it from βL=1014subscript𝛽𝐿superscript1014\beta_{L}=10^{-14}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 14 end_POSTSUPERSCRIPT to βL=1011subscript𝛽𝐿superscript1011\beta_{L}=10^{-11}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 11 end_POSTSUPERSCRIPT cm3/s. The resulting slopes of T/TF𝑇subscript𝑇𝐹T/T_{F}italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT vs N𝑁Nitalic_N for logarithmically-spaced βLsubscript𝛽𝐿\beta_{L}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT values are plotted in Fig. 9, from which we find that βL2×1012subscript𝛽𝐿2superscript1012\beta_{L}\approx 2\times 10^{-12}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ≈ 2 × 10 start_POSTSUPERSCRIPT - 12 end_POSTSUPERSCRIPT sets a break-even point below which further cooling can be achieved in spite of antievaporative heating. The actual T/TF𝑇subscript𝑇𝐹T/T_{F}italic_T / italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT vs N𝑁Nitalic_N time traces are given in the bottom left inset of Fig. 9 (with a corresponding legend in the top right), showing that T<0.1TF𝑇0.1subscript𝑇𝐹T<0.1T_{F}italic_T < 0.1 italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT is in fact achievable when βL1013similar-tosubscript𝛽𝐿superscript1013\beta_{L}\sim 10^{-13}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 13 end_POSTSUPERSCRIPT cm3/s. With the current trap and molecular parameters, the secondary evaporation ramp would commence at T30𝑇30T\approx 30italic_T ≈ 30 nK, corresponding to a 2-body loss rate constant of around βL3×1014subscript𝛽𝐿3superscript1014\beta_{L}\approx 3\times 10^{-14}italic_β start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ≈ 3 × 10 start_POSTSUPERSCRIPT - 14 end_POSTSUPERSCRIPT cm3/s (see Fig. 6). As such, we conjecture that the p𝑝pitalic_p-wave superfluid phase is realizable in a 3D gas of microwave-shielded molecules by evaporative cooling.

A more decisive study must include the Hartree-Fock dipolar interaction terms that are expected to be significant at these deeply degenerate temperatures, which our current simulations do not. These effects are known to deform the Fermi gas in phase space Miyakawa et al. (2008); Zhang and Yi (2009), possibly leading to dynamical effects that could alter the evaporative cooling trajectories Sogo et al. (2009); Baillie and Blakie (2010). A pseudospectral scheme might be utilized to efficiently incorporate these effects Ronen et al. (2006), but we cater such inclusions to a future publication. Furthermore, at the low temperatures attained in the second ramp sequence, we found it difficult to satisfy the conditions of Eq. (17), so a bootstrap sampling of the in-simulation distribution to increase Nsimsubscript𝑁simN_{\rm sim}italic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT is done to maintain them (see App. C for details). Nevertheless, this work presents a pathway to understanding and achieving a strongly interacting molecular Fermi gas at unprecedented depths of quantum degeneracy.

VII Outlook and Conclusions

We have numerically studied evaporative cooling in a 3-dimensional gas of 23Na40K molecules, made strongly dipolar and collisionally stable by applying circularly polarized microwaves. We employ a direct simulation Monte Carlo solver, which permits efficient sampling of both elastic and inelastic collisions amongst molecules, incorporating Pauli blocking effects due to fermionic quantum many-body statistics. Along with an accurate model of the trap potential, evaporation process and experimentally utilized thermometry, our simulation has shown favorable agreement with experimental data.

We then utilized our simulator to study optimal schemes for evaporation, primarily through varying the duration of forced evaporation and the final trap depth. In doing so, we find that the evaporation efficiency on its own may not be a comprehensive metric for informing experiments attempting deeply degenerate samples. Instead, we propose that the target thermodynamic state of the gas should also be considered as a constraint, over which the evaporation efficiency can be optimized to achieve it. Finally, we explored the possibilities of evaporative cooling in the deeply degenerate regime down to temperatures of T0.1TF𝑇0.1subscript𝑇𝐹T\leq 0.1T_{F}italic_T ≤ 0.1 italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT. Our preliminary analysis shows promise for a molecular Fermi gas to reach this regime if two-body losses are sufficiently suppressed, although nonequilibrium Hartree-Fock dipolar effects have yet to be incorporated.

We note that throughout this study, the initial molecule numbers and dipole moments tend to have evaporation occur close to or weakly in the hydrodynamic regime. Although a deeply hydrodynamic sample is expected to lower evaporation efficiency Ma et al. (2003) due to hydrodynamic excitations Wang and Bohn (2023a, b), we have found that evaporation can still reach efficiencies of up to evap2greater-than-or-equivalent-tosubscriptevap2{\cal E}_{\rm evap}\gtrsim 2caligraphic_E start_POSTSUBSCRIPT roman_evap end_POSTSUBSCRIPT ≳ 2 in our current regime, proven sufficient to achieve Bose-Einstein condensation of bosonic NaCs molecules Bigagli et al. (2024). Future works could explore the effect of performing evaporation from the dilute to hydrodynamic regimes and the dependence on microwave-induced dipolar interactions.

Acknowledgements.
The authors acknowledge stimulating discussions with the NaK molecules team at the Max-Planck-Institut für Quantenoptik. R.R.W.W thanks O. Goulko for helpful discussions on Pauli blocking. This material is based upon work supported by the National Science Foundation under Grant Number PHY 2317149. S. B., S. E., and X.-Y. L. acknowledge support from the Max Planck Society, the European Union (PASQuanS Grant No. 817482) and the Deutsche Forschungsgemeinschaft under German Excellence Strategy – EXC-2111 – 390814868 and under Grant No. FOR 2247.

Appendix A The harmonic trap approximation

Around the trap minima, VODTsubscript𝑉ODTV_{\rm ODT}italic_V start_POSTSUBSCRIPT roman_ODT end_POSTSUBSCRIPT can be expanded up to second order in spatial coordinates as

Vharm(𝒓)subscript𝑉harm𝒓\displaystyle V_{\rm harm}(\bm{r})italic_V start_POSTSUBSCRIPT roman_harm end_POSTSUBSCRIPT ( bold_italic_r ) =νAνrν2,absentsubscript𝜈subscript𝐴𝜈superscriptsubscript𝑟𝜈2\displaystyle=\sum_{\nu}A_{\nu}r_{\nu}^{2},= ∑ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (28)

dropping all constant and linear terms, which leaves the harmonic coefficients as

Axsubscript𝐴𝑥\displaystyle A_{x}italic_A start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT =α1P1λ12(W1,y4+W1,z4)π3W1,y5W1,z5+4α2P2πW2,x3W2,z,absentsubscript𝛼1subscript𝑃1superscriptsubscript𝜆12superscriptsubscript𝑊1𝑦4superscriptsubscript𝑊1𝑧4superscript𝜋3superscriptsubscript𝑊1𝑦5superscriptsubscript𝑊1𝑧54subscript𝛼2subscript𝑃2𝜋superscriptsubscript𝑊2𝑥3subscript𝑊2𝑧\displaystyle=\frac{\alpha_{1}P_{1}\lambda_{1}^{2}\left(W_{1,y}^{4}+W_{1,z}^{4% }\right)}{\pi^{3}W_{1,y}^{5}W_{1,z}^{5}}+\frac{4\alpha_{2}P_{2}}{\pi W_{2,x}^{% 3}W_{2,z}},= divide start_ARG italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_ARG + divide start_ARG 4 italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_π italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT end_ARG , (29a)
Aysubscript𝐴𝑦\displaystyle A_{y}italic_A start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT =4α1P1πW1,y3W1,z+α2P2λ22(W2,x4+W2,z4)π3W2,x5W2,z5,absent4subscript𝛼1subscript𝑃1𝜋superscriptsubscript𝑊1𝑦3subscript𝑊1𝑧subscript𝛼2subscript𝑃2superscriptsubscript𝜆22superscriptsubscript𝑊2𝑥4superscriptsubscript𝑊2𝑧4superscript𝜋3superscriptsubscript𝑊2𝑥5superscriptsubscript𝑊2𝑧5\displaystyle=\frac{4\alpha_{1}P_{1}}{\pi W_{1,y}^{3}W_{1,z}}+\frac{\alpha_{2}% P_{2}\lambda_{2}^{2}\left(W_{2,x}^{4}+W_{2,z}^{4}\right)}{\pi^{3}W_{2,x}^{5}W_% {2,z}^{5}},= divide start_ARG 4 italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_π italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_ARG , (29b)
Aysubscript𝐴𝑦\displaystyle A_{y}italic_A start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT =4α1P1πW1,y3W1,z+4α2P2πW2,x3W2,z.absent4subscript𝛼1subscript𝑃1𝜋superscriptsubscript𝑊1𝑦3subscript𝑊1𝑧4subscript𝛼2subscript𝑃2𝜋superscriptsubscript𝑊2𝑥3subscript𝑊2𝑧\displaystyle=\frac{4\alpha_{1}P_{1}}{\pi W_{1,y}^{3}W_{1,z}}+\frac{4\alpha_{2% }P_{2}}{\pi W_{2,x}^{3}W_{2,z}}.= divide start_ARG 4 italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_π italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT end_ARG + divide start_ARG 4 italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_π italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT end_ARG . (29c)

This permits us to define harmonic trap frequencies as

ων2=2Aνm.superscriptsubscript𝜔𝜈22subscript𝐴𝜈𝑚\displaystyle\omega_{\nu}^{2}=\frac{2A_{\nu}}{m}.italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 2 italic_A start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_ARG start_ARG italic_m end_ARG . (30)

Appendix B Trapping force

Given the trapping potential in Eq. (5), the effective force felt by each molecule is given as 𝑭=V(𝒓)𝑭𝑉𝒓\bm{F}=-\gradient V(\bm{r})bold_italic_F = - start_OPERATOR ∇ end_OPERATOR italic_V ( bold_italic_r ), which we compute in this section explicitly. For convenience, we further decompose VODT(𝒓)subscript𝑉ODT𝒓V_{\rm ODT}(\bm{r})italic_V start_POSTSUBSCRIPT roman_ODT end_POSTSUBSCRIPT ( bold_italic_r ) by defining each cross propagating beam individually:

VODT,1(𝒓)subscript𝑉ODT1𝒓\displaystyle V_{\rm ODT,1}(\bm{r})italic_V start_POSTSUBSCRIPT roman_ODT , 1 end_POSTSUBSCRIPT ( bold_italic_r ) =2α1P1exp(2y2w1,y2(x)2z2w1,z2(x))πw1,y(x)w1,z(x),absent2subscript𝛼1subscript𝑃12superscript𝑦2superscriptsubscript𝑤1𝑦2𝑥2superscript𝑧2superscriptsubscript𝑤1𝑧2𝑥𝜋subscript𝑤1𝑦𝑥subscript𝑤1𝑧𝑥\displaystyle=-\frac{2\alpha_{1}P_{1}\exp\left(-\frac{2y^{2}}{w_{1,y}^{2}(x)}-% \frac{2z^{2}}{w_{1,z}^{2}(x)}\right)}{\pi w_{1,y}(x)w_{1,z}(x)},= - divide start_ARG 2 italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_exp ( - divide start_ARG 2 italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_w start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x ) end_ARG - divide start_ARG 2 italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_w start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_x ) end_ARG ) end_ARG start_ARG italic_π italic_w start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT ( italic_x ) italic_w start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT ( italic_x ) end_ARG , (31a)
VODT,2(𝒓)subscript𝑉ODT2𝒓\displaystyle V_{\rm ODT,2}(\bm{r})italic_V start_POSTSUBSCRIPT roman_ODT , 2 end_POSTSUBSCRIPT ( bold_italic_r ) =2α2P2exp(2x2w2,x2(y)2z2w2,z2(y))πw2,x(y)w2,z(y).absent2subscript𝛼2subscript𝑃22superscript𝑥2superscriptsubscript𝑤2𝑥2𝑦2superscript𝑧2superscriptsubscript𝑤2𝑧2𝑦𝜋subscript𝑤2𝑥𝑦subscript𝑤2𝑧𝑦\displaystyle=-\frac{2\alpha_{2}P_{2}\exp\left(-\frac{2x^{2}}{w_{2,x}^{2}(y)}-% \frac{2z^{2}}{w_{2,z}^{2}(y)}\right)}{\pi w_{2,x}(y)w_{2,z}(y)}.= - divide start_ARG 2 italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_exp ( - divide start_ARG 2 italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_w start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_y ) end_ARG - divide start_ARG 2 italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_w start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_y ) end_ARG ) end_ARG start_ARG italic_π italic_w start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT ( italic_y ) italic_w start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT ( italic_y ) end_ARG . (31b)

Then taking the gradients of each term, we obtain

VODT,1(𝒓)VODT,1(𝒓)subscript𝑉ODT1𝒓subscript𝑉ODT1𝒓\displaystyle-\frac{\gradient V_{\rm ODT,1}(\bm{r})}{V_{\rm ODT,1}(\bm{r})}- divide start_ARG start_OPERATOR ∇ end_OPERATOR italic_V start_POSTSUBSCRIPT roman_ODT , 1 end_POSTSUBSCRIPT ( bold_italic_r ) end_ARG start_ARG italic_V start_POSTSUBSCRIPT roman_ODT , 1 end_POSTSUBSCRIPT ( bold_italic_r ) end_ARG =(2x+4π4x(W1,y6y2(π2W1,y4+λ12x2)2+W1,z6z2(π2W1,z4+λ12x2)2)π2x(W1,y4+4W1,y2y2π2W1,y4+λ12x2+W1,z4+4W1,z2z2π2W1,z4+λ12x2)4π2W1,y2yπ2W1,y4+λ12x24π2W1,z2zπ2W1,z4+λ12x2),absentmatrix2𝑥4superscript𝜋4𝑥superscriptsubscript𝑊1𝑦6superscript𝑦2superscriptsuperscript𝜋2superscriptsubscript𝑊1𝑦4superscriptsubscript𝜆12superscript𝑥22superscriptsubscript𝑊1𝑧6superscript𝑧2superscriptsuperscript𝜋2superscriptsubscript𝑊1𝑧4superscriptsubscript𝜆12superscript𝑥22superscript𝜋2𝑥superscriptsubscript𝑊1𝑦44superscriptsubscript𝑊1𝑦2superscript𝑦2superscript𝜋2superscriptsubscript𝑊1𝑦4superscriptsubscript𝜆12superscript𝑥2superscriptsubscript𝑊1𝑧44superscriptsubscript𝑊1𝑧2superscript𝑧2superscript𝜋2superscriptsubscript𝑊1𝑧4superscriptsubscript𝜆12superscript𝑥24superscript𝜋2superscriptsubscript𝑊1𝑦2𝑦superscript𝜋2superscriptsubscript𝑊1𝑦4superscriptsubscript𝜆12superscript𝑥24superscript𝜋2superscriptsubscript𝑊1𝑧2𝑧superscript𝜋2superscriptsubscript𝑊1𝑧4superscriptsubscript𝜆12superscript𝑥2\displaystyle=\begin{pmatrix}\frac{2}{x}+\frac{4\pi^{4}}{x}\left(\frac{W_{1,y}% ^{6}y^{2}}{(\pi^{2}W_{1,y}^{4}+\lambda_{1}^{2}x^{2})^{2}}+\frac{W_{1,z}^{6}z^{% 2}}{(\pi^{2}W_{1,z}^{4}+\lambda_{1}^{2}x^{2})^{2}}\right)-\frac{\pi^{2}}{x}% \left(\frac{W_{1,y}^{4}+4W_{1,y}^{2}y^{2}}{\pi^{2}W_{1,y}^{4}+\lambda_{1}^{2}x% ^{2}}+\frac{W_{1,z}^{4}+4W_{1,z}^{2}z^{2}}{\pi^{2}W_{1,z}^{4}+\lambda_{1}^{2}x% ^{2}}\right)\\ \frac{4\pi^{2}W_{1,y}^{2}y}{\pi^{2}W_{1,y}^{4}+\lambda_{1}^{2}x^{2}}\\ \frac{4\pi^{2}W_{1,z}^{2}z}{\pi^{2}W_{1,z}^{4}+\lambda_{1}^{2}x^{2}}\end{% pmatrix},= ( start_ARG start_ROW start_CELL divide start_ARG 2 end_ARG start_ARG italic_x end_ARG + divide start_ARG 4 italic_π start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_x end_ARG ( divide start_ARG italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) - divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_x end_ARG ( divide start_ARG italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 4 italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 4 italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_CELL end_ROW start_ROW start_CELL divide start_ARG 4 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_CELL end_ROW start_ROW start_CELL divide start_ARG 4 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_z end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_CELL end_ROW end_ARG ) , (32a)
VODT,2(𝒓)VODT,2(𝒓)subscript𝑉ODT2𝒓subscript𝑉ODT2𝒓\displaystyle-\frac{\gradient V_{\rm ODT,2}(\bm{r})}{V_{\rm ODT,2}(\bm{r})}- divide start_ARG start_OPERATOR ∇ end_OPERATOR italic_V start_POSTSUBSCRIPT roman_ODT , 2 end_POSTSUBSCRIPT ( bold_italic_r ) end_ARG start_ARG italic_V start_POSTSUBSCRIPT roman_ODT , 2 end_POSTSUBSCRIPT ( bold_italic_r ) end_ARG =(4π2W2,x2xπ2W2,x4+λ22y22y+4π4y(W2,x6x2(π2W2,x4+λ22y2)2+W2,z6z2(π2W2,z4+λ22y2)2)π2y(W2,x4+4W2,x2x2π2W2,x4+λ22y2+W2,z4+4W2,z2z2π2W2,z4+λ22y2)4π2W2,z2zπ2W2,z4+λ22y2),absentmatrix4superscript𝜋2superscriptsubscript𝑊2𝑥2𝑥superscript𝜋2superscriptsubscript𝑊2𝑥4superscriptsubscript𝜆22superscript𝑦22𝑦4superscript𝜋4𝑦superscriptsubscript𝑊2𝑥6superscript𝑥2superscriptsuperscript𝜋2superscriptsubscript𝑊2𝑥4superscriptsubscript𝜆22superscript𝑦22superscriptsubscript𝑊2𝑧6superscript𝑧2superscriptsuperscript𝜋2superscriptsubscript𝑊2𝑧4superscriptsubscript𝜆22superscript𝑦22superscript𝜋2𝑦superscriptsubscript𝑊2𝑥44superscriptsubscript𝑊2𝑥2superscript𝑥2superscript𝜋2superscriptsubscript𝑊2𝑥4superscriptsubscript𝜆22superscript𝑦2superscriptsubscript𝑊2𝑧44superscriptsubscript𝑊2𝑧2superscript𝑧2superscript𝜋2superscriptsubscript𝑊2𝑧4superscriptsubscript𝜆22superscript𝑦24superscript𝜋2superscriptsubscript𝑊2𝑧2𝑧superscript𝜋2superscriptsubscript𝑊2𝑧4superscriptsubscript𝜆22superscript𝑦2\displaystyle=\begin{pmatrix}\frac{4\pi^{2}W_{2,x}^{2}x}{\pi^{2}W_{2,x}^{4}+% \lambda_{2}^{2}y^{2}}\\ \frac{2}{y}+\frac{4\pi^{4}}{y}\left(\frac{W_{2,x}^{6}x^{2}}{(\pi^{2}W_{2,x}^{4% }+\lambda_{2}^{2}y^{2})^{2}}+\frac{W_{2,z}^{6}z^{2}}{(\pi^{2}W_{2,z}^{4}+% \lambda_{2}^{2}y^{2})^{2}}\right)-\frac{\pi^{2}}{y}\left(\frac{W_{2,x}^{4}+4W_% {2,x}^{2}x^{2}}{\pi^{2}W_{2,x}^{4}+\lambda_{2}^{2}y^{2}}+\frac{W_{2,z}^{4}+4W_% {2,z}^{2}z^{2}}{\pi^{2}W_{2,z}^{4}+\lambda_{2}^{2}y^{2}}\right)\\ \frac{4\pi^{2}W_{2,z}^{2}z}{\pi^{2}W_{2,z}^{4}+\lambda_{2}^{2}y^{2}}\end{% pmatrix},= ( start_ARG start_ROW start_CELL divide start_ARG 4 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_CELL end_ROW start_ROW start_CELL divide start_ARG 2 end_ARG start_ARG italic_y end_ARG + divide start_ARG 4 italic_π start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG italic_y end_ARG ( divide start_ARG italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) - divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_y end_ARG ( divide start_ARG italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 4 italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 4 italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_CELL end_ROW start_ROW start_CELL divide start_ARG 4 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_z end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_CELL end_ROW end_ARG ) , (32b)
Vg(𝒓)subscript𝑉g𝒓\displaystyle-\gradient V_{\rm g}(\bm{r})- start_OPERATOR ∇ end_OPERATOR italic_V start_POSTSUBSCRIPT roman_g end_POSTSUBSCRIPT ( bold_italic_r ) =mg.absent𝑚𝑔\displaystyle=-mg.= - italic_m italic_g . (32c)

Although the expressions above are algebraically non-divergent, a linear coordinate in the denominator for the first 3 gradients above might result in numerical instabilities. As such, we also present the first-order Taylor expansion with respect to the unstable coordinate in the relevant vector components:

[VODT,1(𝒓)]xsubscriptdelimited-[]subscript𝑉ODT1𝒓𝑥\displaystyle\left[\gradient V_{\rm ODT,1}(\bm{r})\right]_{x}[ start_OPERATOR ∇ end_OPERATOR italic_V start_POSTSUBSCRIPT roman_ODT , 1 end_POSTSUBSCRIPT ( bold_italic_r ) ] start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT 2α1P1πW1,yW1,z(1W1,y44y2W1,y6+(W1,z24z2)W1,z6)λ12π2exp(2y2W1,y22z2W1,z2)x+𝒪(x2),absent2subscript𝛼1subscript𝑃1𝜋subscript𝑊1𝑦subscript𝑊1𝑧1superscriptsubscript𝑊1𝑦44superscript𝑦2superscriptsubscript𝑊1𝑦6superscriptsubscript𝑊1𝑧24superscript𝑧2superscriptsubscript𝑊1𝑧6superscriptsubscript𝜆12superscript𝜋22superscript𝑦2superscriptsubscript𝑊1𝑦22superscript𝑧2superscriptsubscript𝑊1𝑧2𝑥𝒪superscript𝑥2\displaystyle\approx\frac{2\alpha_{1}P_{1}}{\pi W_{1,y}W_{1,z}}\left(\frac{1}{% W_{1,y}^{4}}-\frac{4y^{2}}{W_{1,y}^{6}}+\frac{(W_{1,z}^{2}-4z^{2})}{W_{1,z}^{6% }}\right)\frac{\lambda_{1}^{2}}{\pi^{2}}\exp(-\frac{2y^{2}}{W_{1,y}^{2}}-\frac% {2z^{2}}{W_{1,z}^{2}})x+{\cal O}(x^{2}),≈ divide start_ARG 2 italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_π italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT end_ARG ( divide start_ARG 1 end_ARG start_ARG italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 4 italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT end_ARG + divide start_ARG ( italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT end_ARG ) divide start_ARG italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_exp ( start_ARG - divide start_ARG 2 italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_W start_POSTSUBSCRIPT 1 , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_W start_POSTSUBSCRIPT 1 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG ) italic_x + caligraphic_O ( italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (33a)
[VODT,2(𝒓)]ysubscriptdelimited-[]subscript𝑉ODT2𝒓𝑦\displaystyle\left[\gradient V_{\rm ODT,2}(\bm{r})\right]_{y}[ start_OPERATOR ∇ end_OPERATOR italic_V start_POSTSUBSCRIPT roman_ODT , 2 end_POSTSUBSCRIPT ( bold_italic_r ) ] start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT 2α2P2πW2,xW2,z(1W2,x44x2W2,x6+(W2,z24z2)W2,z6)λ22π2exp(2x2W2,x22z2W2,z2)y+𝒪(y2).absent2subscript𝛼2subscript𝑃2𝜋subscript𝑊2𝑥subscript𝑊2𝑧1superscriptsubscript𝑊2𝑥44superscript𝑥2superscriptsubscript𝑊2𝑥6superscriptsubscript𝑊2𝑧24superscript𝑧2superscriptsubscript𝑊2𝑧6superscriptsubscript𝜆22superscript𝜋22superscript𝑥2superscriptsubscript𝑊2𝑥22superscript𝑧2superscriptsubscript𝑊2𝑧2𝑦𝒪superscript𝑦2\displaystyle\approx\frac{2\alpha_{2}P_{2}}{\pi W_{2,x}W_{2,z}}\left(\frac{1}{% W_{2,x}^{4}}-\frac{4x^{2}}{W_{2,x}^{6}}+\frac{(W_{2,z}^{2}-4z^{2})}{W_{2,z}^{6% }}\right)\frac{\lambda_{2}^{2}}{\pi^{2}}\exp(-\frac{2x^{2}}{W_{2,x}^{2}}-\frac% {2z^{2}}{W_{2,z}^{2}})y+{\cal O}(y^{2}).≈ divide start_ARG 2 italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_π italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT end_ARG ( divide start_ARG 1 end_ARG start_ARG italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 4 italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT end_ARG + divide start_ARG ( italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT end_ARG ) divide start_ARG italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_exp ( start_ARG - divide start_ARG 2 italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_W start_POSTSUBSCRIPT 2 , italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_W start_POSTSUBSCRIPT 2 , italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG ) italic_y + caligraphic_O ( italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) . (33b)

We utilize these linearized gradients instead of those in Eq. (32), for close-to-zero values of the respective coordinates in Monte Carlo simulations.

Appendix C Bootstrap sampling from the in-simulation ensemble

The conditions in Eq. (17) are difficult to satisfy when the simulation reaches temperatures of T0.3TFless-than-or-similar-to𝑇0.3subscript𝑇𝐹T\lesssim 0.3T_{F}italic_T ≲ 0.3 italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, but can be adequately accommodated by increasing Nsimsubscript𝑁simN_{\rm sim}italic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT [see (17a)]. However, increasing Nsimsubscript𝑁simN_{\rm sim}italic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT from the start of evaporation can be computationally expensive and thus impractical. We work around this issue by increasing Nsimsubscript𝑁simN_{\rm sim}italic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT only when the (17) conditions are no longer met, occurring after N𝑁Nitalic_N has already been greatly reduced from evaporation.

We increase Nsimsubscript𝑁simN_{\rm sim}italic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT to satisfy (17) by sampling from the energy distribution fE(E)subscript𝑓𝐸𝐸f_{E}(E)italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( italic_E ), inferred from the in-simulation ensemble, where E(𝒓,𝒑)=𝒑2/(2m)+V(𝒓)𝐸𝒓𝒑superscript𝒑22𝑚𝑉𝒓E(\bm{r},\bm{p})=\bm{p}^{2}/(2m)+V(\bm{r})italic_E ( bold_italic_r , bold_italic_p ) = bold_italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ( 2 italic_m ) + italic_V ( bold_italic_r ) is the single-particle energy. By constructing a histogram with the simulated particle energies over an appropriately chosen energy grid, we interpolate this discrete distribution with a Gaussian process (GP) model Rasmussen and Williams (2005) to obtain an approximate but continuous representation of fE(E)subscript𝑓𝐸𝐸f_{E}(E)italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( italic_E ). We utilize a GP model trained with a Matérn-5252\frac{5}{2}divide start_ARG 5 end_ARG start_ARG 2 end_ARG kernel to prevent overfitting the histogram’s statistical fluctuations from Monte Carlo sampling noise. New simulation particles are then sampled from the GP model of fE(E)subscript𝑓𝐸𝐸f_{E}(E)italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( italic_E ) until (17) are satisfied once more, following which numerical time-evolution is resumed. Utilizing the energy distribution for bootstrap sampling of new simulation particles implicitly invokes the assumption of ergodicity Holland et al. (1996), which should be well satisfied with the large collisional cross sections between microwave-shielded NaK molecules. Importantly, the parameter ξ𝜉\xiitalic_ξ must be updated after the bootstrap sampling to preserve physically accurate collision rates.

One might be concerned that having Nsimsubscript𝑁simN_{\rm sim}italic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT exceed N𝑁Nitalic_N causes simulation particle loss to no longer be faithful to actual molecular loss. However, we remind the reader that simulation particles represent discretized segments of the molecular distribution in phase space, and are merely a means for approximating the continuous profile of f(𝒓,𝒑)𝑓𝒓𝒑f(\bm{r},\bm{p})italic_f ( bold_italic_r , bold_italic_p ). Evaporation with NsimNsubscript𝑁sim𝑁N_{\rm sim}\neq Nitalic_N start_POSTSUBSCRIPT roman_sim end_POSTSUBSCRIPT ≠ italic_N is, therefore, still a consistent approximation of Boltzmann equation dynamics.

References