Hamiltonian Engineering of collective XYZ spin models in an optical cavity

Chengyi Luo    Haoqing Zhang    Anjun Chu    Chitose Maruko    Ana Maria Rey    James K. Thompson [email protected] JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA.
( July 2, 2024)
Abstract

Quantum simulation using synthetic quantum systems offers unique opportunities to explore open questions in many-body physics and a path for the generation of useful entangled states. Nevertheless, so far many quantum simulators have been fundamentally limited in the models they can mimic. Here, we are able to realize an all-to-all interaction with arbitrary quadratic Hamiltonian or effectively an infinite range tunable Heisenberg XYZ model. This is accomplished by engineering cavity-mediated four-photon interactions between 700 rubidium atoms in which we harness a pair of momentum states as the effective pseudo spin or qubit degree of freedom. Using this capability we realize for the first time the so-called two-axis counter-twisting model at the mean-field level. The versatility of our platform to include more than two relevant momentum states, combined with the flexibility of the simulated Hamiltonians by adding cavity tones opens rich opportunities for quantum simulation and quantum sensing in matter-wave interferometers and other quantum sensors such as optical clocks and magnetometers.

thanks: These authors contributed equally.thanks: These authors contributed equally.

I Introduction

The ability to create and control different many-body interactions is key for entanglement generation, optimization, quantum sensing, and quantum simulation. Long-range interacting systems have recently shown much promise for the engineering of Hamiltonians that generate interesting correlations that propagate across the system. Several experimental platforms are making rapid progress, including Rydberg atoms [1, 2, 3], polar molecules [4, 5], trapped ions [6, 7], cavity QED systems [8] and defect centers in solids [9, 10]. Short range contact interactions in ultra-cold atomic systems are another promising approach [11, 12, 13], however, it remains an open challenge to reach the sufficiently low-temperatures.

So far, most efforts to engineer Hamiltonians have been limited to XXZ spin models or models that feature both exchange and Ising interactions. Common to these models is the fact that the total magnetization of the spin ensemble is preserved. However, limited progress has been achieved in engineering more general spin models, such as XYZ models, which can break both SU(2), and U(1) symmetries and lead to more general ground-state and out-of-equilibrium many-body behaviors. A few exceptions include experiments in Rydberg atoms using two-color dressing [14] with dynamics limited to pairs of atoms, or Floquet engineering in disordered arrays [2].

Here we experimentally show that photon-mediated interactions between atoms inside an optical cavity can realize a tunable all-to-all Heisenberg XYZ Hamiltonian, a model that offers rich avenues for the exploration of many-body physics and quantum metrology. We demonstrate the tunability of the XYZ Hamiltonian by explicitly map** out the evolution of Bloch vectors on the Bloch sphere at the mean-field level for several control parameters that realize different canonical spin Hamiltonians.

Collective XYZ Hamiltonians can in fact provide important gains in the context of quantum sensing and simulation applications. For instance, the so called two-axis counter-twisting (TACT) model features non-trivial and exponentially fast phase-space dynamics as compared to SU(2) and U(1) preserving models such as spin exchange or Ising interactions [15, 16, 17, 18]. The TACT model was originally proposed more than 30 years ago for generating squeezed states [19], as well as a simpler version, the so-called one-axis twisting (OAT) or collective Ising interaction [20, 19]. Only the TACT model is predicted to produce squeezed states approaching the Heisenberg limit. However, there has been no demonstration of genuine TACT in any platforms due to the challenge of how to realize this more complex non-linear Hamiltonian. Up to date only the OAT model has been realized in experiments including trapped ions [21, 22], Bose-Einstein Condensates [23, 24], atomic cavity-QED [15, 25, 17, 18], superconducting qubits [26] and optical interferometers [27]. Experiments have so far only approximated TACT dynamics locally on the Bloch sphere by combining OAT with a transverse drive (the so-called Lipkin-Meshkov-Glick (LMG) model) [28, 29, 30] or equivalent approximations in spin-nematic dynamics in higher spin systems [31, 32]. Here, as a particular case of the Heisenberg XYZ model, we are able to experimentally realize the TACT model using only two dressing lasers. This is a greatly simplified approach as compared to prior theory proposals in atom-cavity systems using four laser tones [33, 34].

The pseudo-spin system here is novel, consisting of two momentum states of atoms freely-falling inside the cavity [35, 36], making our results of great interest for Bragg matter-wave interferometers [37] that are important for both inertial navigation and fundamental science such as searches for dark matter and dark energy, detection of gravitational waves, and determination of the fine structure constant [38, 39]. This approach can also be straightforwardly applied to systems with additional internal levels, making it ideal for develo** next-generation quantum-enhanced sensors for technology and exploring a broad range of science from atomic clocks [40, 41] and magnetometers [42, 43, 44] to geodesy [45].

Refer to caption
Figure 1: Experimental overview. (A) Illustration of the microscopic momentum pair raising process described by the Hamiltonian J^+J^+subscript^𝐽subscript^𝐽\hat{J}_{+}\hat{J}_{+}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT, using two momentum states p0±kplus-or-minussubscript𝑝0Planck-constant-over-2-pi𝑘p_{0}\pm\hbar kitalic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ± roman_ℏ italic_k as a pseudo-spin 1/2 degree of freedom.Initially, two atoms i𝑖iitalic_i and j𝑗jitalic_j are in the same momentum state along the cavity axis. Dressing lasers are applied to the cavity (red and blue arrows) that allow atom i𝑖iitalic_i to absorb a dressing laser photon and emit a photon (squiggly line) into the cavity such that the net photon recoil flips its momentum state by 2k2Planck-constant-over-2-pi𝑘2\hbar k2 roman_ℏ italic_k. The emitted photon is absorbed by atom j𝑗jitalic_j, also flip** its momentum state by 2k2Planck-constant-over-2-pi𝑘2\hbar k2 roman_ℏ italic_k. There also exists the separate momentum exchange process J^+J^subscript^𝐽subscript^𝐽\hat{J}_{+}\hat{J}_{-}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT, where atoms initially in opposite momentum states flip their momentum states by emitting and absorbing photons explored in [46]. (B) Frequency diagram of the applied dressing lasers with frequencies ω1,2subscript𝜔12\omega_{1,2}italic_ω start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT and coherent state amplitudes α1,2subscript𝛼12\alpha_{1,2}italic_α start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT. The emitted photons (squiggly line) are Doppler shifted by ωzsubscript𝜔𝑧\omega_{z}italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT from the dressing laser frequencies and detuned by ΔcsubscriptΔ𝑐\Delta_{c}roman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT from the cavity resonance frequency ωcsubscript𝜔𝑐\omega_{c}italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT. The cavity is far detuned from the atomic transition frequency ωasubscript𝜔𝑎\omega_{a}italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT. (C) Representation of the emission/absorption processes described in (A) but depicted in terms of the atomic energy versus momentum for atoms i𝑖iitalic_i and j𝑗jitalic_j. The reverse process is also allowed, giving rise to a collective lowering operator described by J^J^subscript^𝐽subscript^𝐽\hat{J}_{-}\hat{J}_{-}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT. (D) Dynamics induced by two-axis counter twisting in the form of a Hamiltonian J^x2J^z2superscriptsubscript^𝐽𝑥2superscriptsubscript^𝐽𝑧2\hat{J}_{x}^{2}-\hat{J}_{z}^{2}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is represented on a Bloch sphere with north and south poles defined by |p0±kketplus-or-minussubscript𝑝0Planck-constant-over-2-pi𝑘\ket{p_{0}\pm\hbar k}| start_ARG italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ± roman_ℏ italic_k end_ARG ⟩. Top right shows the local circular flows around the stable point at x^^𝑥-\hat{x}- over^ start_ARG italic_x end_ARG. The local flows for unstable saddle points at y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG with exponential squeezing and anti-squeezing along x^±z^plus-or-minus^𝑥^𝑧\hat{x}\pm\hat{z}over^ start_ARG italic_x end_ARG ± over^ start_ARG italic_z end_ARG are shown in bottom right. (E) Observation of the four-photon resonance that generates pair raising and lowering processes. We scan the dressing laser frequency difference to vary the detuning δ𝛿\deltaitalic_δ. With equal dressing laser amplitudes corresponding to realizing the J^x2superscriptsubscript^𝐽𝑥2\hat{J}_{x}^{2}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT Hamiltonian when δ=0𝛿0\delta=0italic_δ = 0, we see clear resonances in the observed change of the Bloch vector’s azimuthal angle ϕitalic-ϕ\phiitalic_ϕ for a Bloch vector prepared near the south pole (θ=π/4𝜃𝜋4\theta=\pi/4italic_θ = italic_π / 4, red data points) and near the north pole (θ=3π/4𝜃3𝜋4\theta=3\pi/4italic_θ = 3 italic_π / 4, blue data points). All error bars reported are 1σ1𝜎1\sigma1 italic_σ uncertainties. Simulation results are shown in solid lines with shaded area allowing for 5% uncertainty in interaction strength. See supplement for details. For all the Hamiltonians engineered later, we will focus on the resonant case with δ=0𝛿0\delta=0italic_δ = 0 as highlighted by the red solid line

.

II Experimental setup

In the experiment, 87Rb atoms are laser-cooled inside a vertically-oriented two-mirror standing wave cavity, see Fig. 1(A) and [46, 35]. A repulsive intra-cavity doughnut dipole trap confines the atoms radially, but allows the atoms to fall along the cavity axis. To prepare atoms in a well-defined momentum state, a pair of laser beams are injected into the cavity to drive velocity-dependent two-photon Raman transitions between ground hyperfine states |F=1,mF=0ketformulae-sequence𝐹1subscript𝑚𝐹0\ket{F=1,m_{F}=0}| start_ARG italic_F = 1 , italic_m start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = 0 end_ARG ⟩ and |F=2,mF=0ketformulae-sequence𝐹2subscript𝑚𝐹0\ket{F=2,m_{F}=0}| start_ARG italic_F = 2 , italic_m start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = 0 end_ARG ⟩. After removing the unselected atoms with a resonant laser push beam, successive microwave pulses are applied to prepare the internal states of the selected atoms in the ground hyperfine state |F=2,mF=2ketformulae-sequence𝐹2subscript𝑚𝐹2\ket{F=2,m_{F}=2}| start_ARG italic_F = 2 , italic_m start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = 2 end_ARG ⟩ (see supplement and [46]).

With about 700 atoms centered at momentum p0ksubscript𝑝0Planck-constant-over-2-pi𝑘p_{0}-\hbar kitalic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - roman_ℏ italic_k, another pair of laser beams is injected along the cavity axis to drive two-photon Bragg transitions connecting the two momentum states |p0±kketplus-or-minussubscript𝑝0Planck-constant-over-2-pi𝑘\ket{p_{0}\pm\hbar k}| start_ARG italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ± roman_ℏ italic_k end_ARG ⟩ which defines a two-level spin-1/2 system [35, 46]. Here the average momentum is p0subscript𝑝0p_{0}italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, Planck-constant-over-2-pi\hbarroman_ℏ is the reduced Plank constant, and k=2π/λ𝑘2𝜋𝜆k=2\pi/\lambdaitalic_k = 2 italic_π / italic_λ where λ𝜆\lambdaitalic_λ is the wavelength of the Bragg laser beams. Due to finite momentum spread, one can consider momentum wave packets centered at these two momentum states as considered in detail previously [46]. Ignoring the finite momentum spread of the selected momentum states, we define ψ^,superscriptsubscript^𝜓\hat{\psi}_{\uparrow,\downarrow}^{\dagger}over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↑ , ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT and ψ^,subscript^𝜓\hat{\psi}_{\uparrow,\downarrow}over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↑ , ↓ end_POSTSUBSCRIPT as the operators for creating and annihilating an atom in momentum states ||p0+kketketsubscript𝑝0Planck-constant-over-2-pi𝑘\ket{\uparrow}\equiv\ket{p_{0}+\hbar k}| start_ARG ↑ end_ARG ⟩ ≡ | start_ARG italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + roman_ℏ italic_k end_ARG ⟩ and ||p0kketketsubscript𝑝0Planck-constant-over-2-pi𝑘\ket{\downarrow}\equiv\ket{p_{0}-\hbar k}| start_ARG ↓ end_ARG ⟩ ≡ | start_ARG italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - roman_ℏ italic_k end_ARG ⟩. For map** to a pseudo-spin model, we define ladder operators J^+=ψ^ψ^subscript^𝐽superscriptsubscript^𝜓subscript^𝜓\hat{J}_{+}=\hat{\psi}_{\uparrow}^{\dagger}\hat{\psi}_{\downarrow}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT, J^=ψ^ψ^subscript^𝐽superscriptsubscript^𝜓subscript^𝜓\hat{J}_{-}=\hat{\psi}_{\downarrow}^{\dagger}\hat{\psi}_{\uparrow}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT and spin projection operators J^x=12(J^++J^)subscript^𝐽𝑥12subscript^𝐽subscript^𝐽\hat{J}_{x}=\frac{1}{2}\left(\hat{J}_{+}+\hat{J}_{-}\right)over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT + over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ), J^y=12i(J^+J^)subscript^𝐽𝑦12𝑖subscript^𝐽subscript^𝐽\hat{J}_{y}=\frac{1}{2i}\left(\hat{J}_{+}-\hat{J}_{-}\right)over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 italic_i end_ARG ( over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ) and J^z=12(ψ^ψ^ψ^ψ^)subscript^𝐽𝑧12superscriptsubscript^𝜓subscript^𝜓superscriptsubscript^𝜓subscript^𝜓\hat{J}_{z}=\frac{1}{2}\left(\hat{\psi}_{\uparrow}^{\dagger}\hat{\psi}_{% \uparrow}-\hat{\psi}_{\downarrow}^{\dagger}\hat{\psi}_{\downarrow}\right)over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT - over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ).

As shown in Fig. 1(B), the cavity frequency ωcsubscript𝜔𝑐\omega_{c}italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is detuned from the atomic transition |F=2,mF=2|F=3,mF=3ketformulae-sequence𝐹2subscript𝑚𝐹2ketformulae-sequencesuperscript𝐹3subscript𝑚superscript𝐹3\ket{F=2,m_{F}=2}\rightarrow\ket{F^{\prime}=3,m_{F^{\prime}}=3}| start_ARG italic_F = 2 , italic_m start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = 2 end_ARG ⟩ → | start_ARG italic_F start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 3 , italic_m start_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = 3 end_ARG ⟩ by Δa=ωcωa=2π×500subscriptΔ𝑎subscript𝜔𝑐subscript𝜔𝑎2𝜋500\Delta_{a}=\omega_{c}-\omega_{a}=2\pi\times 500roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = 2 italic_π × 500 MHz, which is much larger than the excited state decay rate Γ=2π×6Γ2𝜋6\Gamma=2\pi\times 6~{}roman_Γ = 2 italic_π × 6MHz and the cavity power decay rate κ=2π×56(3)𝜅2𝜋563\kappa=2\pi\times 56(3)~{}italic_κ = 2 italic_π × 56 ( 3 )kHz. A series of Bragg pulses can be applied to realize a Mach-Zehnder matter-wave interferometer (i.e. π/2ππ/2𝜋2𝜋𝜋2\pi/2-\pi-\pi/2italic_π / 2 - italic_π - italic_π / 2), in which the wave packets first separate in position and then re-overlap. When the two wave packets are overlapped, the interference between them forms an atomic density grating with period λ/2𝜆2\lambda/2italic_λ / 2, which matches the standing wave of a cavity mode.

As the atoms move along the cavity axis, the density grating is periodically aligned to the standing-wave of the cavity mode, leading to modulation of the cavity resonance frequency at the two-photon Doppler frequency ωz=2kp0/m2π×500subscript𝜔𝑧2𝑘subscript𝑝0𝑚2𝜋500\omega_{z}=2kp_{0}/m\approx 2\pi\times 500~{}italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 2 italic_k italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_m ≈ 2 italic_π × 500kHz, where m𝑚mitalic_m is the mass of 87Rb. To have this modulation to mediate an effective atom-atom interaction, we typically apply two σ+superscript𝜎\sigma^{+}italic_σ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT polarized dressing laser tones (see Fig. 1(A)) at frequencies ω1,2subscript𝜔12\omega_{1,2}italic_ω start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT (see Fig. 1(B)), with complex amplitudes α1,2subscript𝛼12\alpha_{1,2}italic_α start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT corresponding to the field that would be established inside the cavity were no atoms in the cavity and implicit units photonsphotons\sqrt{\mathrm{photons}}square-root start_ARG roman_photons end_ARG. The atom-induced cavity frequency modulation leads to the generation of modulation sideband tones at frequencies ω1,2±ωz.plus-or-minussubscript𝜔12subscript𝜔𝑧\omega_{1,2}\pm\omega_{z}.italic_ω start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ± italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT . In the following simplifications, we will assume ω2>ω1subscript𝜔2subscript𝜔1\omega_{2}>\omega_{1}italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT > italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT.

The key insight is that different combinations of the dressing lasers and their atom-induced sideband tones will induce different virtual four-photon processes which will manifest as all-to-all exchange interactions J^+J^subscript^𝐽subscript^𝐽\hat{J}_{+}\hat{J}_{-}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT [46] and pair-raising J^+J^+subscript^𝐽subscript^𝐽\hat{J}_{+}\hat{J}_{+}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT (lowering J^J^subscript^𝐽subscript^𝐽\hat{J}_{-}\hat{J}_{-}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT) processes as shown in Fig. 1(A,C). After adiabatically eliminating the cavity fields using second order perturbation theory (see [46] and supplement), we obtain an effective time-dependent atom-only Hamiltonian in an appropriate frame rotating at ωzsubscript𝜔𝑧\omega_{z}italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT

H^=χeJ^+J^+(χpeiδtJ^+J^++χpeiδtJ^J^),^𝐻subscript𝜒𝑒subscript^𝐽subscript^𝐽subscript𝜒𝑝superscript𝑒𝑖𝛿𝑡subscript^𝐽subscript^𝐽superscriptsubscript𝜒𝑝superscript𝑒𝑖𝛿𝑡subscript^𝐽subscript^𝐽\hat{H}=\chi_{e}\hat{J}_{+}\hat{J}_{-}+\left(\chi_{p}e^{i\delta t}\hat{J}_{+}% \hat{J}_{+}+\chi_{p}^{*}e^{-i\delta t}\hat{J}_{-}\hat{J}_{-}\right),over^ start_ARG italic_H end_ARG = italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT + ( italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_δ italic_t end_POSTSUPERSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_δ italic_t end_POSTSUPERSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ) , (1)

with the exchange and pair-raising/lowering couplings given by

χe=(g024Δa)2(|α1|2Δc¯+δ/2+|α2|2Δc¯δ/2),χp=(g024Δa)2|α1α2|eiϕint2(1Δc¯+δ/2+1Δc¯δ/2).formulae-sequencesubscript𝜒𝑒superscriptsuperscriptsubscript𝑔024subscriptΔ𝑎2superscriptsubscript𝛼12subscriptΔ¯𝑐𝛿2superscriptsubscript𝛼22subscriptΔ¯𝑐𝛿2subscript𝜒𝑝superscriptsuperscriptsubscript𝑔024subscriptΔ𝑎2subscript𝛼1subscript𝛼2superscript𝑒𝑖subscriptitalic-ϕint21subscriptΔ¯𝑐𝛿21subscriptΔ¯𝑐𝛿2\begin{split}\chi_{e}&=\left(\frac{g_{0}^{2}}{4\Delta_{a}}\right)^{2}\left(% \frac{|\alpha_{1}|^{2}}{\Delta_{\bar{c}}+\delta/2}+\frac{|\alpha_{2}|^{2}}{% \Delta_{\bar{c}}-\delta/2}\right),\\ \chi_{p}&=\left(\frac{g_{0}^{2}}{4\Delta_{a}}\right)^{2}\frac{|\alpha_{1}% \alpha_{2}|e^{i\phi_{\mathrm{int}}}}{2}\left(\frac{1}{\Delta_{\bar{c}}+\delta/% 2}+\frac{1}{\Delta_{\bar{c}}-\delta/2}\right).\end{split}start_ROW start_CELL italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_CELL start_CELL = ( divide start_ARG italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG | italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT + italic_δ / 2 end_ARG + divide start_ARG | italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT - italic_δ / 2 end_ARG ) , end_CELL end_ROW start_ROW start_CELL italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_CELL start_CELL = ( divide start_ARG italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG | italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | italic_e start_POSTSUPERSCRIPT italic_i italic_ϕ start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( divide start_ARG 1 end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT + italic_δ / 2 end_ARG + divide start_ARG 1 end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT - italic_δ / 2 end_ARG ) . end_CELL end_ROW (2)

Here, Δc¯=(ω2+ω1)/2ωcsubscriptΔ¯𝑐subscript𝜔2subscript𝜔12subscript𝜔𝑐\Delta_{\bar{c}}=\left(\omega_{2}+\omega_{1}\right)/2-\omega_{c}roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT = ( italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) / 2 - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is the average detuning of the two dressing lasers from cavity resonance, typically set to be less than 1 MHz. δ=(ω2ω1)2ωz𝛿subscript𝜔2subscript𝜔12subscript𝜔𝑧\delta=\left(\omega_{2}-\omega_{1}\right)-2\omega_{z}italic_δ = ( italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) - 2 italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT is the detuning from four-photon resonance, g0=2π×0.48subscript𝑔02𝜋0.48g_{0}=2\pi\times 0.48italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 2 italic_π × 0.48 MHz is the maximal atom-cavity Rabi coupling at an anti-node of the cavity mode, and ϕint=arg(α2α1)ϕBsubscriptitalic-ϕintsubscript𝛼2superscriptsubscript𝛼1subscriptitalic-ϕB\phi_{\mathrm{int}}=\arg\left(\alpha_{2}\alpha_{1}^{*}\right)-\phi_{\mathrm{B}}italic_ϕ start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT = roman_arg ( italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) - italic_ϕ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT is the differential phase between the two dressing laser tones relative to the phase of Bragg coupling ϕBsubscriptitalic-ϕB\phi_{\mathrm{B}}italic_ϕ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT which forms initial density grating (see supplement). Collective cavity dissipation is dealt with separately (see supplement).

We will focus on the resonant case δ=0𝛿0\delta=0italic_δ = 0 and ϕint=0subscriptitalic-ϕint0\phi_{\mathrm{int}}=0italic_ϕ start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT = 0, though we show example data in Fig. 1(E) (see Method) that clearly exhibits a resonance in the interaction-induced dynamics at δ=0𝛿0\delta=0italic_δ = 0 as the pair raising/lowering processes are tuned into and out of resonance by tuning the dressing laser frequency difference. In the resonant case, the Hamiltonian of Eq. (1) reduces to:

H^^𝐻\displaystyle\hat{H}over^ start_ARG italic_H end_ARG =(χe+χp)J^x2+(χeχp)J^y2absentsubscript𝜒𝑒subscript𝜒𝑝subscriptsuperscript^𝐽2𝑥subscript𝜒𝑒subscript𝜒𝑝subscriptsuperscript^𝐽2𝑦\displaystyle=\left(\chi_{e}+\chi_{p}\right)\hat{J}^{2}_{x}+\left(\chi_{e}-% \chi_{p}\right)\hat{J}^{2}_{y}= ( italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + ( italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT (3)
=χe𝐉^𝐉^+χp(J^x2J^y2)χeJ^z2,absentsubscript𝜒𝑒^𝐉^𝐉subscript𝜒𝑝superscriptsubscript^𝐽𝑥2superscriptsubscript^𝐽𝑦2subscript𝜒𝑒superscriptsubscript^𝐽𝑧2\displaystyle=\chi_{e}\hat{\bf J}\cdot\hat{\bf J}+\chi_{p}\left(\hat{J}_{x}^{2% }-\hat{J}_{y}^{2}\right)-\chi_{e}\hat{J}_{z}^{2},= italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG + italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,

where we defined the collective angular momentum operator, 𝐉^={J^x,J^y,J^z}^𝐉subscript^𝐽𝑥subscript^𝐽𝑦subscript^𝐽𝑧\hat{\bf J}=\{\hat{J}_{x},\hat{J}_{y},\hat{J}_{z}\}over^ start_ARG bold_J end_ARG = { over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT , over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT } and introduced the collective Heisenberg interaction 𝐉^𝐉^^𝐉^𝐉\hat{\bf J}\cdot\hat{\bf J}over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG. The latter acts as a constant for any eigenstate of the collective angular momentum operator 𝐉^𝐉^^𝐉^𝐉\hat{\bf J}\cdot\hat{\bf J}over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG, such as the collective states with eigenvalue N/2(N/2+1)𝑁2𝑁21N/2(N/2+1)italic_N / 2 ( italic_N / 2 + 1 ). In the presence of single particle inhomogeneities, this term opens a many-body gap that help promote spin locking which we explored before for the protection of coherences against dephasing [17, 46, 18]. Here we instead focus on the fully collective dynamics and therefore without loss of generality we can add a generic χz𝐉^𝐉^subscript𝜒𝑧^𝐉^𝐉\chi_{z}\hat{\bf J}\cdot\hat{\bf J}italic_χ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG term without affecting the dynamics. As such, in our system we are able to engineer dynamics governed by an XYZ Hamiltonian H^=χxJ^x2+χyJ^y2+χzJ^z2^𝐻subscript𝜒𝑥subscriptsuperscript^𝐽2𝑥subscript𝜒𝑦subscriptsuperscript^𝐽2𝑦subscript𝜒𝑧subscriptsuperscript^𝐽2𝑧\hat{H}=\chi_{x}\hat{J}^{2}_{x}+\chi_{y}\hat{J}^{2}_{y}+\chi_{z}\hat{J}^{2}_{z}over^ start_ARG italic_H end_ARG = italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT with interaction strengths χx=(χe+χp+χz)subscript𝜒𝑥subscript𝜒𝑒subscript𝜒𝑝subscript𝜒𝑧\chi_{x}=\left(\chi_{e}+\chi_{p}+\chi_{z}\right)italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = ( italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) and χy=(χeχp+χz)subscript𝜒𝑦subscript𝜒𝑒subscript𝜒𝑝subscript𝜒𝑧\chi_{y}=\left(\chi_{e}-\chi_{p}+\chi_{z}\right)italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = ( italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ). The XYZ Hamiltonian is highly tunable by simply adjusting the relative power in the two applied dressing lasers since χesubscript𝜒𝑒\chi_{e}italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT scales as |α2|2superscriptsubscript𝛼22\left|\alpha_{2}\right|^{2}| italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, |α1|2superscriptsubscript𝛼12\left|\alpha_{1}\right|^{2}| italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and χpsubscript𝜒𝑝\chi_{p}italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT scales as |α2α1|subscript𝛼2subscript𝛼1\left|\alpha_{2}\alpha_{1}\right|| italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT |.

To realize the XYZ Hamiltonians of Fig. 2 and 3, we apply the two dressing laser tones separated by Δp=ω2ω1=2ωz2π×1subscriptΔ𝑝subscript𝜔2subscript𝜔12subscript𝜔𝑧2𝜋1\Delta_{p}=\omega_{2}-\omega_{1}=2\omega_{z}\approx 2\pi\times 1roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 2 italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ≈ 2 italic_π × 1 MHz, and with average dressing laser detuning from the cavity set to Δc¯=2π×200subscriptΔ¯𝑐2𝜋200\Delta_{\bar{c}}=2\pi\times 200roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT = 2 italic_π × 200 kHz as shown in Fig. 1. Because the atoms are accelerating due to gravity, ωzsubscript𝜔𝑧\omega_{z}italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT changes linearly in time at a rate dωz/dt=2π×25.11𝑑subscript𝜔𝑧𝑑𝑡2𝜋25.11d\omega_{z}/dt=2\pi\times 25.11~{}italic_d italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT / italic_d italic_t = 2 italic_π × 25.11kHz/ms. To compensate for this, we linearly ramp the dressing laser separation at a rate dΔp/dt=2dωz/dt𝑑subscriptΔ𝑝𝑑𝑡2𝑑subscript𝜔𝑧𝑑𝑡d\Delta_{p}/dt=2\,d\omega_{z}/dtitalic_d roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT / italic_d italic_t = 2 italic_d italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT / italic_d italic_t. Similarly, the difference frequency of the applied Bragg coupling tones is ramped at dωz/dt𝑑subscript𝜔𝑧𝑑𝑡d\omega_{z}/dtitalic_d italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT / italic_d italic_t. For the TACT Hamiltonian dynamics presented in Fig. 2 and 3, the total power of the incident dressing lasers was approximately 200 pW or 900 photons/μ𝜇\muitalic_μs to realize an interaction strength of χp=2π×1.25subscript𝜒𝑝2𝜋1.25\chi_{p}=2\pi\times 1.25italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 2 italic_π × 1.25 Hz.

Refer to caption
Figure 2: Evolution under different Hamiltonians (A) Setting different amplitude ratios between the two dressing tones |α2/α1|subscript𝛼2subscript𝛼1|\alpha_{2}/\alpha_{1}|| italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | gives rise to different XYZ Hamiltonians, with specific examples shown here including one-axis twisting 𝐉^𝐉^J^z2^𝐉^𝐉superscriptsubscript^𝐽𝑧2\hat{\bf J}\cdot\hat{\bf J}-\hat{J}_{z}^{2}over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, two-axis counter twisting 𝐉^𝐉^+J^x2J^z2^𝐉^𝐉superscriptsubscript^𝐽𝑥2superscriptsubscript^𝐽𝑧2\hat{\bf J}\cdot\hat{\bf J}+\hat{J}_{x}^{2}-\hat{J}_{z}^{2}over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG + over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and one-axis twisting J^x2superscriptsubscript^𝐽𝑥2\hat{J}_{x}^{2}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The experimentally observed dynamics are shown in corresponding rows in (B, C, D), where the tail of each vector indicates the initial position of the Bloch vector 𝐉isubscript𝐉𝑖\mathbf{J}_{i}bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT on the Bloch sphere, and the arrow indicates the displacement 𝐓𝐓\mathbf{T}bold_T after a brief period of evolution under the corresponding Hamiltonians. The left (right) panels are for initial Bloch vectors on the south (north) hemisphere. The polar angle θ𝜃\thetaitalic_θ of the initial Bloch vector linearly increase from π/2𝜋2\pi/2italic_π / 2 at the rim to π𝜋\piitalic_π in the middle for the left plot, whereas θ𝜃\thetaitalic_θ decrease from π/2𝜋2\pi/2italic_π / 2 at the rim to 00 in the middle for the right plot. The middle panels are equirectangular projections. In each case, the qualitatively observed stable fixed points are marked with numbered red circles, and the unstable fixed points are marked with numbered red squares. The blue lines are shown to indicate directions of observed flow. The red lines indicate lines where the dynamics are zero and separate regions of opposite flows on the Bloch sphere.

III Mean-field dynamics

At the mean-field level, we can define the Bloch vector 𝐉(Jx,Jy,Jz)=(J^x,J^y,J^z)𝐉subscript𝐽𝑥subscript𝐽𝑦subscript𝐽𝑧delimited-⟨⟩subscript^𝐽𝑥delimited-⟨⟩subscript^𝐽𝑦delimited-⟨⟩subscript^𝐽𝑧\mathbf{J}\equiv(J_{x},J_{y},J_{z})=(\langle\hat{J}_{x}\rangle,\langle\hat{J}_% {y}\rangle,\langle\hat{J}_{z}\rangle)bold_J ≡ ( italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT , italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) = ( ⟨ over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ⟩ , ⟨ over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ⟩ , ⟨ over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ⟩ ) and approximate the Hamiltonian as H^=𝐁(𝐉)𝐉^^𝐻𝐁𝐉^𝐉\hat{H}=\mathbf{B}(\mathbf{J})\cdot\hat{\mathbf{J}}over^ start_ARG italic_H end_ARG = bold_B ( bold_J ) ⋅ over^ start_ARG bold_J end_ARG. In this way, the collective dynamics are driven by a self-generated effective magnetic field 𝐁(𝐉)=(2χxJx,2χyJy,2χzJz)𝐁𝐉2subscript𝜒𝑥subscript𝐽𝑥2subscript𝜒𝑦subscript𝐽𝑦2subscript𝜒𝑧subscript𝐽𝑧\mathbf{B}(\mathbf{J})=(2\chi_{x}{J}_{x},2\chi_{y}{J}_{y},2\chi_{z}{J}_{z})bold_B ( bold_J ) = ( 2 italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , 2 italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT , 2 italic_χ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) which depends on the instantaneous collective spin projections.

We can derive the equations of motion of the collective Bloch vector, from Eq. (LABEL:eq:heff) (see Method), which simplify to a nonlinear torque equation d𝐉/dt=𝐁(𝐉)×𝐉𝐓(𝐉)𝑑𝐉𝑑𝑡𝐁𝐉𝐉𝐓𝐉d\mathbf{J}/dt=\mathbf{B}(\mathbf{J})\times\mathbf{J}\equiv\mathbf{T}(\mathbf{% J})italic_d bold_J / italic_d italic_t = bold_B ( bold_J ) × bold_J ≡ bold_T ( bold_J ). One can identify the fixed points 𝐉fixsubscript𝐉fix\mathbf{J}_{\rm fix}bold_J start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT as the points where 𝐓(𝐉fix)=0𝐓subscript𝐉fix0\mathbf{T}(\mathbf{J}_{\rm fix})=0bold_T ( bold_J start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT ) = 0.

To understand the dynamics near the fixed points, it is useful to follow a standard stability analysis by diagonalizing the Jacobian matrix M(𝐉)=𝐓/𝐉|𝐉=𝐉fix𝑀𝐉evaluated-at𝐓𝐉𝐉subscript𝐉fixM(\mathbf{J})=\partial\mathbf{T}/\partial\mathbf{J}|_{\mathbf{J}=\mathbf{J}_{% \rm fix}}italic_M ( bold_J ) = ∂ bold_T / ∂ bold_J | start_POSTSUBSCRIPT bold_J = bold_J start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT end_POSTSUBSCRIPT. The local motion near these fixed points is illustrated in Fig. 1(D) (right). We use red circles for stable points with purely imaginary eigenvalues. The Bloch vector evolves on stable closed orbits indicated by the blue circular traces. The red squares are used to denote unstable saddle points with real eigenvalues with opposite signs. The unstable saddle points are labelled by the red squares. The eigenvalues of the Jacobian matrix at the saddle points are real but with opposite signs. In Fig. 1(D) (bottom right), the dynamics show exponential divergence from the origin (indicated by outward blue arrows) along x^+z^^𝑥^𝑧\hat{x}+\hat{z}over^ start_ARG italic_x end_ARG + over^ start_ARG italic_z end_ARG, corresponding to the positive eigenvalue [47]. The negative eigenvalues are indicated by the convergence towards the origin (inward blue arrows) along x^z^^𝑥^𝑧\hat{x}-\hat{z}over^ start_ARG italic_x end_ARG - over^ start_ARG italic_z end_ARG.

IV Dynamics on the Bloch sphere

In the experiment, we probe the local dynamics induced by the above Hamiltonian with various values of χesubscript𝜒𝑒\chi_{e}italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT and χpsubscript𝜒𝑝\chi_{p}italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT. To do this, we vary the phase and duration of the Bragg pulse to prepare an initial pseudo-spin coherent state 𝐉isubscript𝐉𝑖\mathbf{J}_{i}bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. Before the atomic wave packets separate, we then apply the interaction for a short time Δt=50μΔ𝑡50𝜇\Delta t=50\muroman_Δ italic_t = 50 italic_μs satisfying χNΔt1much-less-than𝜒𝑁Δ𝑡1\chi N\Delta t\ll 1italic_χ italic_N roman_Δ italic_t ≪ 1 and measure the change in azimuthal angle dϕ𝑑italic-ϕd\phiitalic_d italic_ϕ and polar angle dθ𝑑𝜃d\thetaitalic_d italic_θ to obtain the final Bloch vector 𝐉fsubscript𝐉𝑓\mathbf{J}_{f}bold_J start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT after the interaction. This is achieved by repeating the experiment and applying additional appropriate rotations before measuring populations in the two momentum states (see supplement). The local flow vector is then determined by the torque 𝐓(𝐉i)Δ𝐉/Δt=(𝐉f𝐉i)/Δt𝐓subscript𝐉𝑖Δ𝐉Δ𝑡subscript𝐉𝑓subscript𝐉𝑖Δ𝑡\mathbf{T}(\mathbf{J}_{i})\approx\Delta\mathbf{J}/\Delta t=\left(\mathbf{J}_{f% }-\mathbf{J}_{i}\right)/\Delta tbold_T ( bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ≈ roman_Δ bold_J / roman_Δ italic_t = ( bold_J start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT - bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) / roman_Δ italic_t.

In Fig. 2(A), we show the predicted flow vectors 𝐓(𝐉i)𝐓subscript𝐉𝑖\mathbf{T}(\mathbf{J}_{i})bold_T ( bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) on the Bloch sphere for three example Hamiltonians of interest. Different Hamiltonians are obtained by changing the ratio of the dressing laser amplitudes |α2/α1|=0,0.17subscript𝛼2subscript𝛼100.17\left|\alpha_{2}/\alpha_{1}\right|=0,0.17| italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | = 0 , 0.17, and 1.01.01.01.0.

We show the measured flow vector 𝐓(𝐉i)𝐓subscript𝐉𝑖\mathbf{T}(\mathbf{J}_{i})bold_T ( bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) in Fig. 2(B) with each row aligned to the corresponding example presented in Fig. 2(A). In each case, the flow vector start at 𝐉isubscript𝐉𝑖\mathbf{J}_{i}bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and end at 𝐉fsubscript𝐉𝑓\mathbf{J}_{f}bold_J start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT. The left and right panels are polar plots (radial coordinate linear in polar angle) of the dynamics on the south/north hemisphere looking from the north poles of the Bloch sphere. The middle panels are equirectangular projections to show dynamics near the equator. From these vector maps, we can make qualitative comparisons based on the geometry of the flow. For both theoretical and experimental results, the stable fixed points and unstable saddle points labeled as numbered red circles and squares respectively [47, 48].

IV.1 OAT: J^z2superscriptsubscript^𝐽𝑧2{\hat{J}_{z}^{2}}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT interaction

In the first or top row of Fig. 2 , we consider the simplest case with χp=0subscript𝜒𝑝0\chi_{p}=0italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0. This is achieved by turning off one of the dressing lasers (|α2/α1|=0subscript𝛼2subscript𝛼10\left|\alpha_{2}/\alpha_{1}\right|=0| italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | = 0), leading to the Hamiltonian H^=χe(𝐉^𝐉^J^z2)^𝐻subscript𝜒𝑒^𝐉^𝐉superscriptsubscript^𝐽𝑧2\hat{H}=\chi_{e}\left(\hat{\bf J}\cdot\hat{\bf J}-\hat{J}_{z}^{2}\right)over^ start_ARG italic_H end_ARG = italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ( over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). This Hamiltonian, referred to as the OAT Hamiltonian [19], maintains U(1) symmetry, thereby conserving Jzsubscript𝐽𝑧{J}_{z}italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. At the mean-field level, it features a constant effective magnetic field along the z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG direction, which results in the rotation of the collective Bloch vector about the z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG-axis at a uniform constant angular frequency,2χeJz2subscript𝜒𝑒subscript𝐽𝑧-2\chi_{e}{J}_{z}- 2 italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. As expected, we observe in Fig. 2(B) two stable fixed points (red 1 and 2 circles), and a reversal of the circulation across the equator (i.e. Jz=0subscript𝐽𝑧0J_{z}=0italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 0) where there are no dynamics (red line). This Jzsubscript𝐽𝑧J_{z}italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT dependent circulation leads to shearing of the quantum noise in the orientation of a Bloch vector on the Bloch sphere, a semiclassical explanation for how OAT dynamics generate spin-squeezed states [19, 35]. We note that while the term 𝐉^𝐉^^𝐉^𝐉\hat{\bf J}\cdot\hat{\bf J}over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG is trivial for our current observations at short times, at longer times, when inhomogeneities in our system manifest, it can lead to important dynamical effects as shown in Ref. [46].

IV.2 OAT: J^x2superscriptsubscript^𝐽𝑥2{\hat{J}_{x}^{2}}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT interaction

Next, we consider the bottom row in Fig. 2 with χp=χesubscript𝜒𝑝subscript𝜒𝑒\chi_{p}=\chi_{e}italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT. This is achieved by using equal dressing laser amplitudes |α2/α1|=1subscript𝛼2subscript𝛼11\left|\alpha_{2}/\alpha_{1}\right|=1| italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | = 1. Here, the Hamiltonian is H^=2χeJ^x2^𝐻2subscript𝜒𝑒superscriptsubscript^𝐽𝑥2\hat{H}=2\chi_{e}\hat{J}_{x}^{2}over^ start_ARG italic_H end_ARG = 2 italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, leading to OAT dynamics along the x^^𝑥\hat{x}over^ start_ARG italic_x end_ARG direction. The corresponding dynamics are induced at the mean-field level by a magnetic field along x^^𝑥\hat{x}over^ start_ARG italic_x end_ARG that preserves Jxsubscript𝐽𝑥{J}_{x}italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT and induces a rotation about x^^𝑥\hat{x}over^ start_ARG italic_x end_ARG with constant angular frequency 4χeJx4subscript𝜒𝑒subscript𝐽𝑥4\chi_{e}{J}_{x}4 italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT. It is noteworthy that the interaction strength here is twice that of the J^z2subscriptsuperscript^𝐽2𝑧\hat{J}^{2}_{z}over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT case, attributed to the use of two dressing laser tones. The data in Fig. 2(D) qualitatively shows two stable fixed points along x^^𝑥\hat{x}over^ start_ARG italic_x end_ARG labeled by red circles 1 and 2, and a reversal of the sign of circulation across Jxsubscript𝐽𝑥{J}_{x}italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT highlighted by the red lines.

IV.3 TACT: J^x2J^z2superscriptsubscript^𝐽𝑥2superscriptsubscript^𝐽𝑧2\hat{J}_{x}^{2}-\hat{J}_{z}^{2}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT interaction

Finally, we come to the case that achieves TACT, as shown in the middle row of Fig. 2. In this case, the ratio of dressing lasers amplitudes is set to be |α2/α1|=(21)/(2+1)0.17subscript𝛼2subscript𝛼121210.17|\alpha_{2}/\alpha_{1}|=\left(\sqrt{2}-1\right)/\left(\sqrt{2}+1\right)\approx 0% .17| italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | = ( square-root start_ARG 2 end_ARG - 1 ) / ( square-root start_ARG 2 end_ARG + 1 ) ≈ 0.17, which produces χe=3χpsubscript𝜒𝑒3subscript𝜒𝑝\chi_{e}=3\chi_{p}italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = 3 italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT. The Hamiltonian then become H^=2χp(2J^x2+J^y2)=2χp(𝐉^𝐉^+J^x2J^z2)^𝐻2subscript𝜒𝑝2superscriptsubscript^𝐽𝑥2superscriptsubscript^𝐽𝑦22subscript𝜒𝑝^𝐉^𝐉superscriptsubscript^𝐽𝑥2superscriptsubscript^𝐽𝑧2\hat{H}=2\chi_{p}\left(2\hat{J}_{x}^{2}+\hat{J}_{y}^{2}\right)=2\chi_{p}\left(% \hat{\bf J}\cdot\hat{\bf J}+\hat{J}_{x}^{2}-\hat{J}_{z}^{2}\right)over^ start_ARG italic_H end_ARG = 2 italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( 2 over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = 2 italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG + over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ).

The corresponding mean-field magnetic field is now 𝐁(𝐉)=4χp(Jx,0,Jz)𝐁𝐉4subscript𝜒𝑝subscript𝐽𝑥0subscript𝐽𝑧\mathbf{B}(\mathbf{J})=4\chi_{p}\left({J}_{x},0,-{J}_{z}\right)bold_B ( bold_J ) = 4 italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , 0 , - italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ), where we have again ignored the Heisenberg term since we will only consider dynamics at constant Bloch vector length. The theoretical flow line for the dynamics is depicted in Fig. 2(A) (middle), showing four stable fixed points along ±x^plus-or-minus^𝑥\pm\hat{x}± over^ start_ARG italic_x end_ARG and ±z^plus-or-minus^𝑧\pm\hat{z}± over^ start_ARG italic_z end_ARG, as well as two unstable fixed points along ±y^plus-or-minus^𝑦\pm\hat{y}± over^ start_ARG italic_y end_ARG connected by great circles inclined at ±π/4plus-or-minus𝜋4\pm\pi/4± italic_π / 4 to the equatorial plane (red circles). In comparison to OAT, there exist two twisting fields thus only the two points intersected by two blue circles with Jx=Jz=0subscript𝐽𝑥subscript𝐽𝑧0{J}_{x}={J}_{z}=0italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 0, exhibit the maximum shearing dynamics, which serve as the unstable saddle points.

In the left and right panels of Fig. 2(C), the observed stable fixed points are labeled with red circles numbered 1 to 4. The circulations of the flow lines are opposite for stable fixed points on opposite sides of the Bloch sphere. In the middle panel, we observe two unstable points labeled with red squared 1 and 2 in Fig. 2(C). The two unstable fixed points have flow lines that either diverge from them (blue arrows outward) or converge towards them (blue arrows inward), with the two flows orthogonal to each other (see the discussion below). These findings constitute the first direct observation of genuine TACT dynamics. We note that for a particular set of parameters of the LMG Hamiltonian, for example when H^=χJ^z2+δJ^y^𝐻𝜒superscriptsubscript^𝐽𝑧2𝛿subscript^𝐽𝑦\hat{H}=\chi\hat{J}_{z}^{2}+\delta\hat{J}_{y}over^ start_ARG italic_H end_ARG = italic_χ over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_δ over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT with δχNsimilar-to𝛿𝜒𝑁\delta\sim\chi Nitalic_δ ∼ italic_χ italic_N, and when the Bloch vector initially points along the y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG direction [47, 48], the flow lines can resemble the ones close to a saddle point of the TACT model (see supplement). However, the instability is restricted to this single point, in contrast to the full TACT which features two independent unstable points.

The observed dynamics reflect the different symmetries of the TACT and OAT Hamiltonians. Both of the observed OAT dynamics are symmetric under π𝜋\piitalic_π rotation around y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG and have continuous rotational symmetry about the twisting axis. In contrast, the flow lines for the TACT dynamics, shown in the middle row, does not have such symmetries. The TACT dynamics nevertheless, is symmetric under a π/2𝜋2\pi/2italic_π / 2 rotation along y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG plus a time-reversal operation.

Refer to caption
Figure 3: Dynamics near saddle points. (A) Measured local flow vector map around the saddle point of the TACT dynamics. (B) Blue and red points are parallel projections of the local flow vector onto the n^±subscript^𝑛plus-or-minus\hat{n}_{\pm}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT axis Δ𝐉n^±/(N/2)Δ𝐉subscript^𝑛plus-or-minus𝑁2\Delta\mathbf{J}\cdot\hat{n}_{\pm}/\left(N/2\right)roman_Δ bold_J ⋅ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT / ( italic_N / 2 ) as a function of initial displacement d𝐉in^±/(N/2)𝑑subscript𝐉𝑖subscript^𝑛plus-or-minus𝑁2d\mathbf{J}_{i}\cdot\hat{n}_{\pm}/\left(N/2\right)italic_d bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT / ( italic_N / 2 ) from the saddle point along the blue and red lines in (A). Blue and red solid lines are simulation results. The linear dependence confirms the predicted exponentially growing / shrinking dynamics along the squeezing / anti-squeezing axes. (C) Green and orange points are the perpendicular projection of the local flow vector as a function of initial angular displacement from the saddle point along the green and orange lines in (A) (n^=x^^𝑛^𝑥\hat{n}=\hat{x}over^ start_ARG italic_n end_ARG = over^ start_ARG italic_x end_ARG and z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG) onto n^×y^=z^^𝑛^𝑦^𝑧\hat{n}\times\hat{y}=\hat{z}over^ start_ARG italic_n end_ARG × over^ start_ARG italic_y end_ARG = over^ start_ARG italic_z end_ARG and x^^𝑥-\hat{x}- over^ start_ARG italic_x end_ARG axis (Δ𝐉zΔsubscript𝐉𝑧\Delta\mathbf{J}_{z}roman_Δ bold_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT and Δ𝐉xΔsubscript𝐉𝑥-\Delta\mathbf{J}_{x}- roman_Δ bold_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT). Orange and green solid lines are simulation results.

For a quantitative comparison, we examine the dynamics near the saddle point 𝐉sadsubscript𝐉sad\mathbf{J}_{\rm sad}bold_J start_POSTSUBSCRIPT roman_sad end_POSTSUBSCRIPT along the y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG axis on the Bloch sphere. In Fig. 3(A), we map the displacement 𝐓(𝐉i)𝐓subscript𝐉𝑖\mathbf{T}\left(\mathbf{J}_{i}\right)bold_T ( bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) as a function of the initial Bloch vector orientation 𝐉i=𝐉sad+d𝐉isubscript𝐉𝑖subscript𝐉sad𝑑subscript𝐉𝑖\mathbf{J}_{i}=\mathbf{J}_{\rm sad}+d\mathbf{J}_{i}bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = bold_J start_POSTSUBSCRIPT roman_sad end_POSTSUBSCRIPT + italic_d bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. We scan the initial Bloch vector angles θisubscript𝜃𝑖\theta_{i}italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and ϕisubscriptitalic-ϕ𝑖\phi_{i}italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT over a range ±π/12plus-or-minus𝜋12\pm\pi/12± italic_π / 12 centered about π/2𝜋2\pi/2italic_π / 2 (i.e. about y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG) with discrete points sampled using a detailed 11×11111111\times 1111 × 11 grid. In Fig. 3, we remove a global displacement along z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG that is common to all data points and which arises from collective or superradiant decay (see supplement.)

The mean-field equations of motion for the two orthogonal directions n^±=(x^±z^)/2subscript^𝑛plus-or-minusplus-or-minus^𝑥^𝑧2\hat{n}_{\pm}=\left(\hat{x}\pm\hat{z}\right)/\sqrt{2}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT = ( over^ start_ARG italic_x end_ARG ± over^ start_ARG italic_z end_ARG ) / square-root start_ARG 2 end_ARG are:

ddt(Jx+Jz)𝑑𝑑𝑡subscript𝐽𝑥subscript𝐽𝑧\displaystyle\frac{d}{dt}({J}_{x}+{J}_{z})divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG ( italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) =4χpJy(Jx+Jz)absent4subscript𝜒𝑝subscript𝐽𝑦subscript𝐽𝑥subscript𝐽𝑧\displaystyle=4\chi_{p}{J}_{y}({J}_{x}+{J}_{z})= 4 italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ( italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) (4)
ddt(JxJz)𝑑𝑑𝑡subscript𝐽𝑥subscript𝐽𝑧\displaystyle\frac{d}{dt}({J}_{x}-{J}_{z})divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG ( italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) =4χpJy(JxJz).absent4subscript𝜒𝑝subscript𝐽𝑦subscript𝐽𝑥subscript𝐽𝑧\displaystyle=-4\chi_{p}{J}_{y}({J}_{x}-{J}_{z}).= - 4 italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ( italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) .

For the small range of angles around the y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG axis sampled in these measurements, one can assume JyN/2subscript𝐽𝑦𝑁2{J}_{y}\approx N/2italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ≈ italic_N / 2, and therefore find out that the displacement’s time derivative increases linearly with the displacement itself, confirming the predicted dynamics that change exponentially over time.

We first focus on the data points along the two directions n^±subscript^𝑛plus-or-minus\hat{n}_{\pm}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT (depicted by blue and red lines in Fig. 3(A)) and compute the parallel projection of the flow Δ𝐉n^±/(N/2)Δ𝐉subscript^𝑛plus-or-minus𝑁2\Delta\mathbf{J}\cdot\hat{n}_{\pm}/\left(N/2\right)roman_Δ bold_J ⋅ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT / ( italic_N / 2 ) as a function of initial displacement from the saddle point d𝐉in^±/(N/2)𝑑subscript𝐉𝑖subscript^𝑛plus-or-minus𝑁2d\mathbf{J}_{i}\cdot\hat{n}_{\pm}/\left(N/2\right)italic_d bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT / ( italic_N / 2 ), as shown in Fig. 3(B). The observed linear relationship between the projection of the flow and initial displacement matches well with the prediction from the simulation results (solid lines) which go beyond the linear approximation by solving the non-linear equations (Eq. (4)). The small differences observed between the Δ𝐉n^±/(N/2)Δ𝐉subscript^𝑛plus-or-minus𝑁2\Delta\mathbf{J}\cdot\hat{n}_{\pm}/\left(N/2\right)roman_Δ bold_J ⋅ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ± end_POSTSUBSCRIPT / ( italic_N / 2 ) slopes stem from the finite duration of the interaction, which extends the dynamics beyond the linear response regime.

The unstable dynamics explain why an initial circular distribution centered around the saddle point shears as a function of time by squeezing (anti-squeezing) along the n^subscript^𝑛\hat{n}_{-}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT (n^+subscript^𝑛\hat{n}_{+}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT) direction at a rate exponentially faster than the linear growth seen in OAT. This combined with the global (over the full Bloch sphere) dynamical behavior allows the TACT to directly approach the fundamental Heisenberg limit on phase estimation [19, 47].

In Fig. 3(C), we analyze the orthogonal projection of interaction-induced flows, especially focus on the data points that initially displaced from the saddle point along n^=x^^𝑛^𝑥\hat{n}=\hat{x}over^ start_ARG italic_n end_ARG = over^ start_ARG italic_x end_ARG and z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG axes (depicted by green and orange lines in Fig. 3(A)), and calculate their projections along the n^×y^=z^^𝑛^𝑦^𝑧\hat{n}\times\hat{y}=\hat{z}over^ start_ARG italic_n end_ARG × over^ start_ARG italic_y end_ARG = over^ start_ARG italic_z end_ARG and x^^𝑥-\hat{x}- over^ start_ARG italic_x end_ARG axes (Δ𝐉zΔsubscript𝐉𝑧\Delta\mathbf{J}_{z}roman_Δ bold_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT and Δ𝐉xΔsubscript𝐉𝑥-\Delta\mathbf{J}_{x}- roman_Δ bold_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT), respectively. The dynamics can be explained by noticing that when the Bloch vector is initially prepared in the y𝑦yitalic_y-z𝑧zitalic_z plane, the effective mean-field magnetic field is along the z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG axis with a magnitude of 4χpJz4subscript𝜒𝑝subscript𝐽𝑧-4\chi_{p}{J}_{z}- 4 italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. Conversely, when prepared in the y𝑦yitalic_y-x𝑥xitalic_x plane, the field is along the x^^𝑥\hat{x}over^ start_ARG italic_x end_ARG axis, with an amplitude of 4χpJx4subscript𝜒𝑝subscript𝐽𝑥4\chi_{p}{J}_{x}4 italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT. Thus one expects these two perpendicular displacements to grow linearly in magnitude with initial Bloch vector displacement, as we observed in Fig. 3(C).

V Two-axis counter-twisting with unstable points at north and south poles

The original TACT Hamiltonian, as proposed by Kitagawa and Ueda [19], is defined as

H^=χ(J^+2+J^2)=2χ(J^x2J^y2),superscript^𝐻𝜒superscriptsubscript^𝐽2superscriptsubscript^𝐽22𝜒superscriptsubscript^𝐽𝑥2superscriptsubscript^𝐽𝑦2\hat{H}^{\prime}=\chi\left(\hat{J}_{+}^{2}+\hat{J}_{-}^{2}\right)=2\chi\left(% \hat{J}_{x}^{2}-\hat{J}_{y}^{2}\right),over^ start_ARG italic_H end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_χ ( over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = 2 italic_χ ( over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (5)
Refer to caption
Figure 4: Two-axis counter-twisting with unstable points at north/south poles. (A) Flow lines on the Bloch sphere. Three characteristic closed trajectories are displayed (green: θi=0.1πsubscript𝜃𝑖0.1𝜋\theta_{i}=0.1\piitalic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0.1 italic_π, purple: θi=0.9πsubscript𝜃𝑖0.9𝜋\theta_{i}=0.9\piitalic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0.9 italic_π, and black: θi=0.5πsubscript𝜃𝑖0.5𝜋\theta_{i}=0.5\piitalic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0.5 italic_π ) (B) (top) Frequency diagram for the case in which both dressing lasers are positioned on the same side of the cavity resonance. (bottom) Equirectangular projection of the resulting dynamics (see text) (C), (D) and (E) Spin projections obtained after time evolution of an initial distribution of Bloch vectors with different polar angles (green circle: θi=0.1πsubscript𝜃𝑖0.1𝜋\theta_{i}=0.1\piitalic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0.1 italic_π, purple circle: θi=0.9πsubscript𝜃𝑖0.9𝜋\theta_{i}=0.9\piitalic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0.9 italic_π and black circle: 0.5π0.5𝜋0.5\pi0.5 italic_π ). The deviation from the initial state distribution (gray dashed circles) is indicated by the colored arrows.

with the theoretical flow lines shown in Fig. 4(A). This Hamiltonian bears resemblance to the previously discussed TACT, with an additional π/2𝜋2\pi/2italic_π / 2 rotation around the y𝑦yitalic_y-axis. It is characterized by unstable points at the north and south poles of the Bloch sphere, along with four stable points located on the equator at ±x^plus-or-minus^𝑥\pm\hat{x}± over^ start_ARG italic_x end_ARG and ±y^plus-or-minus^𝑦\pm\hat{y}± over^ start_ARG italic_y end_ARG. We realize this Hamiltonian by placing the two detuned dressing lasers tones on the same side of the cavity resonance with Δc¯=2π×700kHz>ωzsubscriptΔ¯𝑐2𝜋700kHzsubscript𝜔𝑧\Delta_{\bar{c}}=2\pi\times 700~{}\mathrm{kHz}>\omega_{z}roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT = 2 italic_π × 700 roman_kHz > italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT, such that one needs to account for another modulation sideband with opposite detuning from the cavity resoannce as shown in Fig. 4(B) (top). In this configuration, the previously ignored lower modulation sideband of the red dressing laser becomes significant. This sideband introduces an exchange interaction with the opposite sign of the other generated exchange interactions. By carefully selecting the detuning and the amplitude ratio of the two dressing laser tones, we can achieve a configuration where χe=0subscript𝜒𝑒0\chi_{e}=0italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = 0, effectively only leaving the χpsubscript𝜒𝑝\chi_{p}italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT term (see supplement.) H^superscript^𝐻\hat{H}^{\prime}over^ start_ARG italic_H end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT offers the advantage of possibly being less sensitive to the presence of superradiance or collective decay for future squeezing generation in our system.

In Fig. 4(B) (bottom), we show the measured flow lines for H^superscript^𝐻\hat{H}^{\prime}over^ start_ARG italic_H end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT in the equirectangular projection. One can clearly identify four stable fixed points on the equator as expected. To have a better intuition of the dynamics, instead of focusing on the dynamics on the whole Bloch sphere, we take a few cuts with initial Bloch vectors 𝐉isubscript𝐉𝑖\mathbf{J}_{i}bold_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT prepared with θi=0.1π,0.5πsubscript𝜃𝑖0.1𝜋0.5𝜋\theta_{i}=0.1\pi,0.5\piitalic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0.1 italic_π , 0.5 italic_π and 0.9π0.9𝜋0.9\pi0.9 italic_π and study the dynamics separately. For the initial Bloch vectors prepared on the two circles with θi=0.1πsubscript𝜃𝑖0.1𝜋\theta_{i}=0.1\piitalic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 0.1 italic_π and 0.9π0.9𝜋0.9\pi0.9 italic_π (green and purple in Fig. 4(A) and (C)/(D) near the north/south poles, the distribution of the states after the interaction 𝐉fsubscript𝐉𝑓\mathbf{J}_{f}bold_J start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT is plotted in Fig. 4(C) and (D) (solid lines with fitted curves). The elliptical distributions with major axis orthogonal to each other explicitly show the squeezing and anti-squeezing axis near the north and south poles in this small displacement limit. In Fig. 4(E), the initial Bloch vector is prepared on the equator with different azimuthal angles (grey dashed line) and we plot 𝐉fsubscript𝐉𝑓\mathbf{J}_{f}bold_J start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT (black dot). The four zero crossings correspond to the four stable points on the equator. Between the stable points, the observed final states are deflected alternately above or below the equator as expected.

VI Conclusion

Here we have demonstrated the flexibility of our optical cavity simulator to engineer tunable XYZ Hamiltonians using two selected momentum states, without the need for Floquet engineering which in some cases might be challenging to allow access beyond mean-field dynamics in large many-body systems due to amplitude and phase noise on the Floquet control fields [49]. The pair-raising/lowering processes are verified to be present for the first time by the resonant spectroscopic signal when the detuning δ𝛿\deltaitalic_δ is scanned as well as the direct cancellation of the exchange interactions that yielded dynamics of the Hamiltonian H^=χ(J^+2+J^2)superscript^𝐻𝜒superscriptsubscript^𝐽2superscriptsubscript^𝐽2\hat{H}^{\prime}=\chi\left(\hat{J}_{+}^{2}+\hat{J}_{-}^{2}\right)over^ start_ARG italic_H end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_χ ( over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). By combining the correct relative balance of exchange and pair-raising/lowering contributions, we observed TACT dynamics for the first time.

In this work, we focus on the characterization of the Hamiltonian by probing the short-time dynamics at the mean-field level. In the future, it should be possible to go beyond mean field and create entangled states of interest for quantum simulation and metrology. Going beyond mean field will require reduced laser frequency noise on the dressing lasers that induce the interaction.

Furthermore, by combining momentum states with internal states of the atoms or by adding more selected momentum states and dressing tones one should be able to engineer a toolbox for quantum state engineering, similar to what has been done with momentum states [50, 51, 52, 53, 54] . In our case however, in addition to the internal and external level control that tunes the synthetic dimensions, we can further enjoy the rich opportunities offered by the tunable cavity-mediated interactions to engineer phenomena ranging from superfluidity and supersolidity [55, 56, 57, 58] to dynamical gauge fields and non-trivial topological behaviors [59, 60, 61, 8, 62].

Acknowledgements.
This material is based upon work supported by the U.S. Department of Energy, Office of Science, National Quantum Information Science Research Centers, Quantum Systems Accelerator. We acknowledge additional funding support from the VVFF, the NSF JILA-PFC PHY-2317149 and OMA-2016244 (QLCI), NIST, and DARPA/ARO W911NF-19-1-0210 and W911NF-16-1-0576, AFOSR grants FA9550-18-1-0319 and FA9550-19-1-0275. We acknowledge helpful discussions with Klaus Mølmer, Vladan Vuletić, and useful feedback from Matteo Marinelli and Calder Miller.

Appendix A Derivation of Hamiltonian with two-color couplings

We begin by considering the dispersive atom-cavity coupling Hamiltonian, with the exited state adiabatically eliminated as detailed in [46]. By applying two dressing lasers, each with frequencies ω1,2subscript𝜔12\omega_{1,2}italic_ω start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT, amplitudes ϵ1,2subscriptitalic-ϵ12\epsilon_{1,2}italic_ϵ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT, in the rotating frame of the dressed cavity defined by H^c=ωca^a^subscript^𝐻𝑐subscript𝜔𝑐superscript^𝑎^𝑎\hat{H}_{c}=\omega_{c}\hat{a}^{\dagger}\hat{a}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_a end_ARG, the atom-cavity Hamiltonian can be written as:

H^0=ωzJ^z+g024Δaa^a^(J^++J^)+ϵ1ei(ω1ωc)ta^+ϵ2ei(ω2ωc)ta^+h.c.,formulae-sequencesubscript^𝐻0subscript𝜔𝑧subscript^𝐽𝑧superscriptsubscript𝑔024subscriptΔ𝑎superscript^𝑎^𝑎subscript^𝐽subscript^𝐽subscriptitalic-ϵ1superscript𝑒𝑖subscript𝜔1subscript𝜔𝑐𝑡superscript^𝑎subscriptitalic-ϵ2superscript𝑒𝑖subscript𝜔2subscript𝜔𝑐𝑡superscript^𝑎hc\begin{split}\hat{H}_{0}=&\omega_{z}\hat{J}_{z}+\frac{g_{0}^{2}}{4\Delta_{a}}% \hat{a}^{\dagger}\hat{a}\left(\hat{J}_{+}+\hat{J}_{-}\right)\\ &+\epsilon_{1}e^{-i(\omega_{1}-\omega_{c})t}\hat{a}^{\dagger}+\epsilon_{2}e^{-% i(\omega_{2}-\omega_{c})t}\hat{a}^{\dagger}+\rm h.c.,\end{split}start_ROW start_CELL over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = end_CELL start_CELL italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + divide start_ARG italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_a end_ARG ( over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT + over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i ( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) italic_t end_POSTSUPERSCRIPT over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT + italic_ϵ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i ( italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) italic_t end_POSTSUPERSCRIPT over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT + roman_h . roman_c . , end_CELL end_ROW (6)

with the atom-cavity detuning Δa=ωaωcsubscriptΔ𝑎subscript𝜔𝑎subscript𝜔𝑐\Delta_{a}=\omega_{a}-\omega_{c}roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT. In addition, the cavity dissipation can be modeled by a Lindblad operator L^=κa^^𝐿𝜅^𝑎\hat{L}=\sqrt{\kappa}\hat{a}over^ start_ARG italic_L end_ARG = square-root start_ARG italic_κ end_ARG over^ start_ARG italic_a end_ARG with κ𝜅\kappaitalic_κ denoting the cavity decay rate.

We can decompose the cavity field operator into a^=α(t)+b^^𝑎𝛼𝑡^𝑏\hat{a}=\alpha(t)+\hat{b}over^ start_ARG italic_a end_ARG = italic_α ( italic_t ) + over^ start_ARG italic_b end_ARG, where α(t)𝛼𝑡\alpha(t)italic_α ( italic_t ) represents an oscillating classical field. This field is described by the

α(t)=α1ei(ω1ωc)t+α2ei(ω2ωc)tα1=ϵ1iκ/2+(ω1ωc)α2=ϵ2iκ/2+(ω2ωc),formulae-sequence𝛼𝑡subscript𝛼1superscript𝑒𝑖subscript𝜔1subscript𝜔𝑐𝑡subscript𝛼2superscript𝑒𝑖subscript𝜔2subscript𝜔𝑐𝑡subscript𝛼1subscriptitalic-ϵ1𝑖𝜅2subscript𝜔1subscript𝜔𝑐subscript𝛼2subscriptitalic-ϵ2𝑖𝜅2subscript𝜔2subscript𝜔𝑐\begin{split}\alpha(t)&=\alpha_{1}e^{-i(\omega_{1}-\omega_{c})t}+\alpha_{2}e^{% -i(\omega_{2}-\omega_{c})t}\\ \alpha_{1}&=\frac{\epsilon_{1}}{i\kappa/2+(\omega_{1}-\omega_{c})}\quad\alpha_% {2}=\frac{\epsilon_{2}}{i\kappa/2+(\omega_{2}-\omega_{c})},\end{split}start_ROW start_CELL italic_α ( italic_t ) end_CELL start_CELL = italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i ( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) italic_t end_POSTSUPERSCRIPT + italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i ( italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) italic_t end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL start_CELL = divide start_ARG italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_i italic_κ / 2 + ( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) end_ARG italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = divide start_ARG italic_ϵ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_i italic_κ / 2 + ( italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) end_ARG , end_CELL end_ROW (7)

where α1subscript𝛼1\alpha_{1}italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and α2subscript𝛼2\alpha_{2}italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are the coherence field amplitude inside the cavity established by the two dressing lasers. We define the detuning for the two dressing lasers as Δc1=(ω1ωc)+ωzsubscriptΔ𝑐1subscript𝜔1subscript𝜔𝑐subscript𝜔𝑧\Delta_{c1}=(\omega_{1}-\omega_{c})+\omega_{z}roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT = ( italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) + italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT and Δc2=(ω2ωc)ωzsubscriptΔ𝑐2subscript𝜔2subscript𝜔𝑐subscript𝜔𝑧\Delta_{c2}=(\omega_{2}-\omega_{c})-\omega_{z}roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT = ( italic_ω start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) - italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. Additionally, the average detuning and the differential detuning introduced in the main text can now be expressed as Δc¯=(Δc1+Δc2)/2subscriptΔ¯𝑐subscriptΔ𝑐1subscriptΔ𝑐22\Delta_{\bar{c}}=\left(\Delta_{c1}+\Delta_{c2}\right)/2roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT = ( roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT + roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT ) / 2 and δ=Δc2Δc1𝛿subscriptΔ𝑐2subscriptΔ𝑐1\delta=\Delta_{c2}-\Delta_{c1}italic_δ = roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT - roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT. The resonance frequency diagram, depicted in Fig. 1(C), illustrates the case when Δc1=Δc2=Δc¯<0subscriptΔ𝑐1subscriptΔ𝑐2subscriptΔ¯𝑐0\Delta_{c1}=\Delta_{c2}=\Delta_{\bar{c}}<0roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT = roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT = roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT < 0.

To derive the atom-only dynamics, we perform the standard second-order perturbation theory to eliminate quantum fluctuation b^^𝑏\hat{b}over^ start_ARG italic_b end_ARG, assuming the negligible excitation b^b^1much-less-thandelimited-⟨⟩superscript^𝑏^𝑏1\left\langle\hat{b}^{\dagger}\hat{b}\right\rangle\ll 1⟨ over^ start_ARG italic_b end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_b end_ARG ⟩ ≪ 1. The effective Hamiltonian takes the form of

H^eff/=(g024Δa)2[Δc1|α1|2Δc12+(κ/2)2+Δc2|α2|2Δc22+(κ/2)2]J^+J^subscript^𝐻effPlanck-constant-over-2-pisuperscriptsuperscriptsubscript𝑔024subscriptΔ𝑎2delimited-[]subscriptΔ𝑐1superscriptsubscript𝛼12superscriptsubscriptΔ𝑐12superscript𝜅22subscriptΔ𝑐2superscriptsubscript𝛼22superscriptsubscriptΔ𝑐22superscript𝜅22subscript^𝐽subscript^𝐽\displaystyle\hat{H}_{\rm eff}/\hbar=\left(\frac{g_{0}^{2}}{4\Delta_{a}}\right% )^{2}\left[\frac{\Delta_{c1}|\alpha_{1}|^{2}}{\Delta_{c1}^{2}+(\kappa/2)^{2}}+% \frac{\Delta_{c2}|\alpha_{2}|^{2}}{\Delta_{c2}^{2}+(\kappa/2)^{2}}\right]\hat{% J}_{+}\hat{J}_{-}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT / roman_ℏ = ( divide start_ARG italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT | italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_κ / 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT | italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_κ / 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ] over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT (8)
+\displaystyle++ (g024Δa)2α2α12(1Δc1+iκ/2+1Δc2iκ/2)eiδtJ^+J^+superscriptsuperscriptsubscript𝑔024subscriptΔ𝑎2subscriptsuperscript𝛼2subscript𝛼121subscriptΔ𝑐1𝑖𝜅21subscriptΔ𝑐2𝑖𝜅2superscript𝑒𝑖𝛿𝑡subscript^𝐽subscript^𝐽\displaystyle\left(\frac{g_{0}^{2}}{4\Delta_{a}}\right)^{2}\frac{\alpha^{*}_{2% }\alpha_{1}}{2}(\frac{1}{\Delta_{c1}+i\kappa/2}+\frac{1}{\Delta_{c2}-i\kappa/2% })e^{i\delta t}\hat{J}_{+}\hat{J}_{+}( divide start_ARG italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_α start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ( divide start_ARG 1 end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT + italic_i italic_κ / 2 end_ARG + divide start_ARG 1 end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT - italic_i italic_κ / 2 end_ARG ) italic_e start_POSTSUPERSCRIPT italic_i italic_δ italic_t end_POSTSUPERSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT
+\displaystyle++ (g024Δa)2α1α22(1Δc1iκ/2+1Δc2+iκ/2)eiδtJ^J^superscriptsuperscriptsubscript𝑔024subscriptΔ𝑎2subscriptsuperscript𝛼1subscript𝛼221subscriptΔ𝑐1𝑖𝜅21subscriptΔ𝑐2𝑖𝜅2superscript𝑒𝑖𝛿𝑡subscript^𝐽subscript^𝐽\displaystyle\left(\frac{g_{0}^{2}}{4\Delta_{a}}\right)^{2}\frac{\alpha^{*}_{1% }\alpha_{2}}{2}(\frac{1}{\Delta_{c1}-i\kappa/2}+\frac{1}{\Delta_{c2}+i\kappa/2% })e^{-i\delta t}\hat{J}_{-}\hat{J}_{-}( divide start_ARG italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_α start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ( divide start_ARG 1 end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT - italic_i italic_κ / 2 end_ARG + divide start_ARG 1 end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT + italic_i italic_κ / 2 end_ARG ) italic_e start_POSTSUPERSCRIPT - italic_i italic_δ italic_t end_POSTSUPERSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT

Simultaneously, the dissipation is described by the effective Lindbard operator:

L^eff=g024Δaκ[α1eiΔc1tΔc1+iκ/2J^++α2eiΔc2tΔc2+iκ/2J^].subscript^𝐿effsuperscriptsubscript𝑔024subscriptΔ𝑎𝜅delimited-[]subscript𝛼1superscript𝑒𝑖subscriptΔ𝑐1𝑡subscriptΔ𝑐1𝑖𝜅2subscript^𝐽subscript𝛼2superscript𝑒𝑖subscriptΔ𝑐2𝑡subscriptΔ𝑐2𝑖𝜅2subscript^𝐽\hat{L}_{\rm eff}=\frac{g_{0}^{2}}{4\Delta_{a}}\sqrt{\kappa}[\frac{\alpha_{1}e% ^{-i\Delta_{c1}t}}{\Delta_{c1}+i\kappa/2}\hat{J}_{+}+\frac{\alpha_{2}e^{-i% \Delta_{c2}t}}{\Delta_{c2}+i\kappa/2}\hat{J}_{-}].over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = divide start_ARG italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG square-root start_ARG italic_κ end_ARG [ divide start_ARG italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT + italic_i italic_κ / 2 end_ARG over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT + end_POSTSUBSCRIPT + divide start_ARG italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT + italic_i italic_κ / 2 end_ARG over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT - end_POSTSUBSCRIPT ] . (9)

Here we have ignored two additional modulation sidebands that are detuned from the dressed cavity frequency by Δc12ωzsubscriptΔ𝑐12subscript𝜔𝑧\Delta_{{c}1}-2\omega_{z}roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT - 2 italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT and Δc2+2ωzsubscriptΔ𝑐22subscript𝜔𝑧\Delta_{{c}2}+2\omega_{z}roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT + 2 italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT[46], as their contribution to the dynamics is negligible. For the dressing laser configuration in Fig. 4(B), one of the modulation sideband with detuning Δc12ωzΔc¯less-than-or-similar-tosubscriptΔ𝑐12subscript𝜔𝑧subscriptΔ¯𝑐\Delta_{{c}1}-2\omega_{z}\lesssim\Delta_{\bar{c}}roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT - 2 italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ≲ roman_Δ start_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_POSTSUBSCRIPT from the dressed cavity resonance becomes significant. This sideband introduces an additional exchange process into the effective Hamiltonian with an opposite sign to that of χesubscript𝜒𝑒\chi_{e}italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT. In order to use that term to obtain the TACT Hamiltonian H^superscript^𝐻\hat{H}^{\prime}over^ start_ARG italic_H end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT by cancelling the exchange interaction term, we require:

Δc1|α1|2Δc12+(κ/2)2+Δc2|α2|2Δc22+(κ/2)2=(Δc12ωz)|α1|2(Δc12ωz)2+(κ/2)2,subscriptΔ𝑐1superscriptsubscript𝛼12superscriptsubscriptΔ𝑐12superscript𝜅22subscriptΔ𝑐2superscriptsubscript𝛼22superscriptsubscriptΔ𝑐22superscript𝜅22subscriptΔ𝑐12subscript𝜔𝑧superscriptsubscript𝛼12superscriptsubscriptΔ𝑐12subscript𝜔𝑧2superscript𝜅22\frac{\Delta_{c1}|\alpha_{1}|^{2}}{\Delta_{c1}^{2}+(\kappa/2)^{2}}+\frac{% \Delta_{c2}|\alpha_{2}|^{2}}{\Delta_{c2}^{2}+(\kappa/2)^{2}}=\frac{\left(% \Delta_{c1}-2\omega_{z}\right)|\alpha_{1}|^{2}}{\left(\Delta_{c1}-2\omega_{z}% \right)^{2}+(\kappa/2)^{2}},divide start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT | italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_κ / 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + divide start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT | italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_κ / 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = divide start_ARG ( roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT - 2 italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) | italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT - 2 italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_κ / 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (10)

which used for the measurements reported in Fig. 4.

For the short time dynamics explored in Fig. 2 and Fig. 4, we can ignore the superradiant dynamics given by Eq. 9 and only consider Hamiltonian evolution. In Fig. 3, to study the slow dynamics near the unstable saddle point, both experimental data and theoretical simulation account for and subtract the effects due to superradiance with the same analysis as discussed below.

Appendix B Mean-field equation of motion and Stability analysis

In this section we study the fixed points and stability for the general XYZ model in Eq. (LABEL:eq:heff) and LMG model. We start with the mean-field equations of motion for the XYZ model in the Heisenberg picture,

dJxdt𝑑subscript𝐽𝑥𝑑𝑡\displaystyle\frac{dJ_{x}}{dt}divide start_ARG italic_d italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =2χyJyJzabsent2subscript𝜒𝑦subscript𝐽𝑦subscript𝐽𝑧\displaystyle=2\chi_{y}J_{y}J_{z}= 2 italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT (11)
dJydt𝑑subscript𝐽𝑦𝑑𝑡\displaystyle\frac{dJ_{y}}{dt}divide start_ARG italic_d italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =2χxJxJzabsent2subscript𝜒𝑥subscript𝐽𝑥subscript𝐽𝑧\displaystyle=-2\chi_{x}J_{x}J_{z}= - 2 italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT
dJzdt𝑑subscript𝐽𝑧𝑑𝑡\displaystyle\frac{dJ_{z}}{dt}divide start_ARG italic_d italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =2(χxχy)JxJy,absent2subscript𝜒𝑥subscript𝜒𝑦subscript𝐽𝑥subscript𝐽𝑦\displaystyle=2\left(\chi_{x}-\chi_{y}\right)J_{x}J_{y},= 2 ( italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ,

with χx=χe+χpsubscript𝜒𝑥subscript𝜒𝑒subscript𝜒𝑝\chi_{x}=\chi_{e}+\chi_{p}italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT and χy=χeχpsubscript𝜒𝑦subscript𝜒𝑒subscript𝜒𝑝\chi_{y}=\chi_{e}-\chi_{p}italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT for our realization. The fixed points 𝐉fixsubscript𝐉fix\bf J_{\rm fix}bold_J start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT for the aforementioned non-linear equations correspond to the spin aligned along the ±x^plus-or-minus^𝑥\pm\hat{x}± over^ start_ARG italic_x end_ARG, ±y^plus-or-minus^𝑦\pm\hat{y}± over^ start_ARG italic_y end_ARG and ±z^plus-or-minus^𝑧\pm\hat{z}± over^ start_ARG italic_z end_ARG directions. The torque is given by 𝐓(𝐉)=(2χyJyJz,2χxJxJz,2(χxχy)JxJy).𝐓𝐉2subscript𝜒𝑦subscript𝐽𝑦subscript𝐽𝑧2subscript𝜒𝑥subscript𝐽𝑥subscript𝐽𝑧2subscript𝜒𝑥subscript𝜒𝑦subscript𝐽𝑥subscript𝐽𝑦\mathbf{T}(\mathbf{J})=\left(2\chi_{y}J_{y}J_{z},-2\chi_{x}J_{x}J_{z},2\left(% \chi_{x}-\chi_{y}\right)J_{x}J_{y}\right).bold_T ( bold_J ) = ( 2 italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT , - 2 italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT , 2 ( italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) . The stability at the fixed point can be deduced from the Jacobian matrix,

M(𝐉)=(02χyJz2χyJy2χxJz02χxJx2(χxχy)Jy2(χxχy)Jx0).𝑀𝐉02subscript𝜒𝑦subscript𝐽𝑧2subscript𝜒𝑦subscript𝐽𝑦2subscript𝜒𝑥subscript𝐽𝑧02subscript𝜒𝑥subscript𝐽𝑥2subscript𝜒𝑥subscript𝜒𝑦subscript𝐽𝑦2subscript𝜒𝑥subscript𝜒𝑦subscript𝐽𝑥0M(\mathbf{J})=\left(\begin{array}[]{ccc}0&2\chi_{y}J_{z}&2\chi_{y}J_{y}\\ -2\chi_{x}J_{z}&0&-2\chi_{x}J_{x}\\ 2\left(\chi_{x}-\chi_{y}\right)J_{y}&2\left(\chi_{x}-\chi_{y}\right)J_{x}&0% \end{array}\right).italic_M ( bold_J ) = ( start_ARRAY start_ROW start_CELL 0 end_CELL start_CELL 2 italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_CELL start_CELL 2 italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - 2 italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL start_CELL - 2 italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL 2 ( italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_CELL start_CELL 2 ( italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_CELL start_CELL 0 end_CELL end_ROW end_ARRAY ) . (12)

In the dressing laser configuration depicted in Fig. 1(C), we consider the condition where χxχy0subscript𝜒𝑥subscript𝜒𝑦0\chi_{x}\leq\chi_{y}\leq 0italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ≤ italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ≤ 0. Under this configuration, ±x^plus-or-minus^𝑥\pm\hat{x}± over^ start_ARG italic_x end_ARG and ±z^plus-or-minus^𝑧\pm\hat{z}± over^ start_ARG italic_z end_ARG represent the system’s stable points, having eigenvalues of ±i2χx(χxχy)plus-or-minus𝑖2subscript𝜒𝑥subscript𝜒𝑥subscript𝜒𝑦\pm i2\sqrt{\chi_{x}\left(\chi_{x}-\chi_{y}\right)}± italic_i 2 square-root start_ARG italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ( italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) end_ARG and ±i2χxχyplus-or-minus𝑖2subscript𝜒𝑥subscript𝜒𝑦\pm i2\sqrt{\chi_{x}\chi_{y}}± italic_i 2 square-root start_ARG italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_ARG respectively. Conversely, ±y^plus-or-minus^𝑦\pm\hat{y}± over^ start_ARG italic_y end_ARG are identified as the saddle points of the system, characterized by the real eigenvalues ±2χy(χxχy)plus-or-minus2subscript𝜒𝑦subscript𝜒𝑥subscript𝜒𝑦\pm 2\sqrt{\chi_{y}\left(\chi_{x}-\chi_{y}\right)}± 2 square-root start_ARG italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ( italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) end_ARG. By fixing χxsubscript𝜒𝑥\chi_{x}italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT, the system achieves its largest eigenvalue when χy=χx/2subscript𝜒𝑦subscript𝜒𝑥2\chi_{y}=\chi_{x}/2italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT / 2 thus χe=3χpsubscript𝜒𝑒3subscript𝜒𝑝\chi_{e}=3\chi_{p}italic_χ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = 3 italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT, corresponds to the TACT Hamiltonian H^=χp(2J^x2+J^y2)^𝐻subscript𝜒𝑝2subscriptsuperscript^𝐽2𝑥subscriptsuperscript^𝐽2𝑦\hat{H}=\chi_{p}\left(2\hat{J}^{2}_{x}+\hat{J}^{2}_{y}\right)over^ start_ARG italic_H end_ARG = italic_χ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( 2 over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ).

Now we apply the same analysis to the LMG model H^=χJ^z2+δJ^y^𝐻𝜒subscriptsuperscript^𝐽2𝑧𝛿subscript^𝐽𝑦\hat{H}=\chi\hat{J}^{2}_{z}+\delta\hat{J}_{y}over^ start_ARG italic_H end_ARG = italic_χ over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_δ over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT with equations of motion given by,

dJxdt𝑑subscript𝐽𝑥𝑑𝑡\displaystyle\frac{dJ_{x}}{dt}divide start_ARG italic_d italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =2χJyJz+δJzabsent2𝜒subscript𝐽𝑦subscript𝐽𝑧𝛿subscript𝐽𝑧\displaystyle=-2\chi J_{y}J_{z}+\delta J_{z}= - 2 italic_χ italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_δ italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT (13)
dJydt𝑑subscript𝐽𝑦𝑑𝑡\displaystyle\frac{dJ_{y}}{dt}divide start_ARG italic_d italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =2χJxJzabsent2𝜒subscript𝐽𝑥subscript𝐽𝑧\displaystyle=2\chi J_{x}J_{z}= 2 italic_χ italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT
dJzdt𝑑subscript𝐽𝑧𝑑𝑡\displaystyle\frac{dJ_{z}}{dt}divide start_ARG italic_d italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =δJx.absent𝛿subscript𝐽𝑥\displaystyle=-\delta J_{x}.= - italic_δ italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT .

Following the previously outlined procedure, we identify two stable points at 𝐉fix=N2(0,δχN,±1(δχN)2)subscript𝐉fix𝑁20𝛿𝜒𝑁plus-or-minus1superscript𝛿𝜒𝑁2\mathbf{J}_{\rm fix}=\frac{N}{2}\left(0,\frac{\delta}{\chi N},\pm\sqrt{1-\left% (\frac{\delta}{\chi N}\right)^{2}}\right)bold_J start_POSTSUBSCRIPT roman_fix end_POSTSUBSCRIPT = divide start_ARG italic_N end_ARG start_ARG 2 end_ARG ( 0 , divide start_ARG italic_δ end_ARG start_ARG italic_χ italic_N end_ARG , ± square-root start_ARG 1 - ( divide start_ARG italic_δ end_ARG start_ARG italic_χ italic_N end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ), one stable point along y^^𝑦-\hat{y}- over^ start_ARG italic_y end_ARG direction and one saddle point along y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG direction, given 0<δ<χN0𝛿𝜒𝑁0<\delta<\chi N0 < italic_δ < italic_χ italic_N. In the case when δ>χN𝛿𝜒𝑁\delta>\chi Nitalic_δ > italic_χ italic_N, the system exhibits two stable points along the ±y^plus-or-minus^𝑦\pm\hat{y}± over^ start_ARG italic_y end_ARG directions, and no saddle points. The eigenvalues of the Jacobian matrix at the saddle point are ±χNδχN(1δχN)plus-or-minus𝜒𝑁𝛿𝜒𝑁1𝛿𝜒𝑁\pm\chi N\sqrt{\frac{\delta}{\chi N}\left(1-\frac{\delta}{\chi N}\right)}± italic_χ italic_N square-root start_ARG divide start_ARG italic_δ end_ARG start_ARG italic_χ italic_N end_ARG ( 1 - divide start_ARG italic_δ end_ARG start_ARG italic_χ italic_N end_ARG ) end_ARG, and for fixed χN𝜒𝑁\chi Nitalic_χ italic_N, the maximum rate is achieved when δχN=1/2𝛿𝜒𝑁12\frac{\delta}{\chi N}=1/2divide start_ARG italic_δ end_ARG start_ARG italic_χ italic_N end_ARG = 1 / 2.

After examining the global flow lines, which reveal notable differences between the TACT and LMG models as previously discussed, our focus now shifts to the local flow lines near the saddle point along the y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG direction. We analyze this using the Holstein-Primakoff approximation, where the spin operators are represented as J^xNp^,J^yJc^c^,J^zNx^formulae-sequencesubscript^𝐽𝑥𝑁^𝑝formulae-sequencesubscript^𝐽𝑦𝐽superscript^𝑐^𝑐subscript^𝐽𝑧𝑁^𝑥\hat{J}_{x}\approx\sqrt{N}\hat{p},\hat{J}_{y}\approx J-\hat{c}^{\dagger}\hat{c% },\hat{J}_{z}\approx\sqrt{N}\hat{x}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ≈ square-root start_ARG italic_N end_ARG over^ start_ARG italic_p end_ARG , over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ≈ italic_J - over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG , over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ≈ square-root start_ARG italic_N end_ARG over^ start_ARG italic_x end_ARG. Here, c^superscript^𝑐\hat{c}^{\dagger}over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT denotes a bosonic mode creation operator, and x^^𝑥\hat{x}over^ start_ARG italic_x end_ARG and p^^𝑝\hat{p}over^ start_ARG italic_p end_ARG the corresponding position and momentum quadratures respectively. Consequently, the TACT Hamiltonian can be approximated by H^=χ(J^x2J^z2)χN[(c^)2+c^2]^𝐻𝜒subscriptsuperscript^𝐽2𝑥subscriptsuperscript^𝐽2𝑧𝜒𝑁delimited-[]superscriptsuperscript^𝑐2superscript^𝑐2\hat{H}=\chi\left(\hat{J}^{2}_{x}-\hat{J}^{2}_{z}\right)\approx-\chi N\left[(% \hat{c}^{\dagger})^{2}+\hat{c}^{2}\right]over^ start_ARG italic_H end_ARG = italic_χ ( over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) ≈ - italic_χ italic_N [ ( over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ]. Similarly, for the LMG model (at δχN=1/2𝛿𝜒𝑁12\frac{\delta}{\chi N}=1/2divide start_ARG italic_δ end_ARG start_ARG italic_χ italic_N end_ARG = 1 / 2) near the saddle point, H=χJ^z2+χN2J^yχNx^2χN2c^c^χN[(c^)2+c^2]𝐻𝜒subscriptsuperscript^𝐽2𝑧𝜒𝑁2subscript^𝐽𝑦𝜒𝑁superscript^𝑥2𝜒𝑁2superscript^𝑐^𝑐𝜒𝑁delimited-[]superscriptsuperscript^𝑐2superscript^𝑐2H=\chi\hat{J}^{2}_{z}+\frac{\chi N}{2}\hat{J}_{y}\approx\chi N\hat{x}^{2}-% \frac{\chi N}{2}\hat{c}^{\dagger}\hat{c}\approx\chi N\left[(\hat{c}^{\dagger})% ^{2}+\hat{c}^{2}\right]italic_H = italic_χ over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + divide start_ARG italic_χ italic_N end_ARG start_ARG 2 end_ARG over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ≈ italic_χ italic_N over^ start_ARG italic_x end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG italic_χ italic_N end_ARG start_ARG 2 end_ARG over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG ≈ italic_χ italic_N [ ( over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ], thereby locally resembling the TACT Hamiltonian.

Appendix C Four-photon spectroscopy

In Fig. 1E, we have shown a spectroscopic result of the four-photon resonance. For this experiment, we prepare two different initial Bloch vectors to be π/4𝜋4\pi/4italic_π / 4 above or below the equator with projections nominally along y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG, as shown in Fig. 5.

Refer to caption
Figure 5: Initial states for four-photon spectroscopy.

When on resonance with δ=0𝛿0\delta=0italic_δ = 0, the ratio of the two dressing laser amplitudes is balanced to achieve an effective Hamiltonian in the form of H^=χJ^x2^𝐻𝜒superscriptsubscript^𝐽𝑥2\hat{H}=\chi\hat{J}_{x}^{2}over^ start_ARG italic_H end_ARG = italic_χ over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, which preserve the azimuthal angle.

The four-photon detuning δ𝛿\deltaitalic_δ can be intuitively understood as inducing a time-dependent one-axis twisting interaction H^=χJ^ϕ(t)2^𝐻𝜒superscriptsubscript^𝐽italic-ϕ𝑡2\hat{H}=\chi\hat{J}_{\phi\left(t\right)}^{2}over^ start_ARG italic_H end_ARG = italic_χ over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_ϕ ( italic_t ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT where the twisting axis rotates as J^ϕ(t)=cos(δt/2)J^x+sin(δt/2)J^ysubscript^𝐽italic-ϕ𝑡𝛿𝑡2subscript^𝐽𝑥𝛿𝑡2subscript^𝐽𝑦\hat{J}_{\phi\left(t\right)}=\cos\left(\delta t/2\right)\hat{J}_{x}+\sin\left(% \delta t/2\right)\hat{J}_{y}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_ϕ ( italic_t ) end_POSTSUBSCRIPT = roman_cos ( italic_δ italic_t / 2 ) over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + roman_sin ( italic_δ italic_t / 2 ) over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT. With the four-photon detuning δχNmuch-greater-than𝛿𝜒𝑁\delta\gg\chi Nitalic_δ ≫ italic_χ italic_N, the effective Hamiltonian recovers to the exchange interaction H^=χ(𝐉^𝐉^J^z2)^𝐻𝜒^𝐉^𝐉subscriptsuperscript^𝐽2𝑧\hat{H}=\chi\left(\hat{\mathbf{J}}\cdot\hat{\mathbf{J}}-\hat{J}^{2}_{z}\right)over^ start_ARG italic_H end_ARG = italic_χ ( over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG - over^ start_ARG italic_J end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) which induces finite changes in the azimuthal angle of the initial Bloch vectors with the signs depending on the initial projection along z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG.

With a different set of initial states, the four-photon resonance can also be witnessed by the change in polar angle or equivalently spin projection Jzsubscript𝐽𝑧J_{z}italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. In this experiment, we prepare initial Bloch vectors on the equator but with different azimuthal angle ϕ=π/4,0italic-ϕ𝜋40\phi=-\pi/4,0italic_ϕ = - italic_π / 4 , 0 and +π/4𝜋4+\pi/4+ italic_π / 4 as shown in Fig. 6.

Refer to caption
Figure 6: Four-photon spectroscopy with initial states on the equator. (A) The initial Bloch vectors. (B) Interaction induced change in Jzsubscript𝐽𝑧J_{z}italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT as a function of the four-photon detuning.

When on resonance with δ=0𝛿0\delta=0italic_δ = 0, the effective Hamiltonian H^=χJ^x2^𝐻𝜒superscriptsubscript^𝐽𝑥2\hat{H}=\chi\hat{J}_{x}^{2}over^ start_ARG italic_H end_ARG = italic_χ over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT causes a positive/negative change in Jzsubscript𝐽𝑧J_{z}italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT for initial states with ϕ=±π/4italic-ϕplus-or-minus𝜋4\phi=\pm\pi/4italic_ϕ = ± italic_π / 4. While for ϕ=0italic-ϕ0\phi=0italic_ϕ = 0, the initial Bloch vector is along J^xsubscript^𝐽𝑥\hat{J}_{x}over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT which commutes with the Hamiltonian and thus experience no change in Jzsubscript𝐽𝑧J_{z}italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. With δχNmuch-greater-than𝛿𝜒𝑁\delta\gg\chi Nitalic_δ ≫ italic_χ italic_N, Jzsubscript𝐽𝑧J_{z}italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT in conserved under the effective exchange interaction H^=χ(𝐉^𝐉^J^z)^𝐻𝜒^𝐉^𝐉subscript^𝐽𝑧\hat{H}=\chi\left(\hat{\mathbf{J}}\cdot\hat{\mathbf{J}}-\hat{J}_{z}\right)over^ start_ARG italic_H end_ARG = italic_χ ( over^ start_ARG bold_J end_ARG ⋅ over^ start_ARG bold_J end_ARG - over^ start_ARG italic_J end_ARG start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) for all three initials states.

Appendix D Sequences for flow vector measurement

The local flow vectors are measured by the changes in polar angles dθ𝑑𝜃d\thetaitalic_d italic_θ and azimuthal angles dϕ𝑑italic-ϕd\phiitalic_d italic_ϕ. Starting with all atoms in |ket\ket{\uparrow}| start_ARG ↑ end_ARG ⟩, the initial states are prepared by applying Bragg pulses with durations and phases determined by the initial state parameterized by θisubscript𝜃𝑖\theta_{i}italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and ϕisubscriptitalic-ϕ𝑖\phi_{i}italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. For all the Bragg pulses applied, the Rabi frequency is 8.3 kHz, leading to a π𝜋\piitalic_π-pulse duration of 60. μ𝜇\muitalic_μs. Right after preparing the initial state, the interaction is applied before the wave packets separate.

To measure the changes in polar angles, we apply a π𝜋\piitalic_π-pulse along ϕisubscriptitalic-ϕ𝑖\phi_{i}italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, adjust the delay time to refocus the wave packets, apply a final (π/2+θi)𝜋2subscript𝜃𝑖\left(\pi/2+\theta_{i}\right)( italic_π / 2 + italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT )-pulse along the axis ϕi+180degsubscriptitalic-ϕ𝑖180degree\phi_{i}+180\degitalic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + 180 roman_deg to bring the Bloch vector nominally around to the equator, and measure the projection of the Bloch vector Jz|dθevaluated-atsubscript𝐽𝑧𝑑𝜃J_{z}|_{d\theta}italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT | start_POSTSUBSCRIPT italic_d italic_θ end_POSTSUBSCRIPT along z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG.

For measuring the changes in azimuthal angles, after the interaction, we apply a π𝜋\piitalic_π-pulse around ϕisubscriptitalic-ϕ𝑖\phi_{i}italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, again adjust the delay time to refocus the wave packets, apply a final π/2𝜋2\pi/2italic_π / 2-pulse around ϕi+90degsubscriptitalic-ϕ𝑖90degree\phi_{i}+90\degitalic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + 90 roman_deg, and measure the projection of the Bloch vector Jz|dϕevaluated-atsubscript𝐽𝑧𝑑italic-ϕJ_{z}|_{d\phi}italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT | start_POSTSUBSCRIPT italic_d italic_ϕ end_POSTSUBSCRIPT along z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG.

With the two sequences described above, the changes in polar and azimuthal angle are mapped to the changes in the projection along z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG, which can then be estimated by dθ=Jz|dθ/J𝑑𝜃evaluated-atsubscript𝐽𝑧𝑑𝜃𝐽d\theta=J_{z}|_{d\theta}/Jitalic_d italic_θ = italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT | start_POSTSUBSCRIPT italic_d italic_θ end_POSTSUBSCRIPT / italic_J and dϕ=Jz|dϕ/J𝑑italic-ϕevaluated-atsubscript𝐽𝑧𝑑italic-ϕ𝐽d\phi=J_{z}|_{d\phi}/Jitalic_d italic_ϕ = italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT | start_POSTSUBSCRIPT italic_d italic_ϕ end_POSTSUBSCRIPT / italic_J.

Appendix E Dynamics around the unstable saddle point

In Fig. 3, we measure the local flow vector as a function of the initial displacements from the unstable saddle point. For a more explicit comparison, the measured data (left) and the corresponding numerical simulation (right) results are shown below in Fig. 7. The original data and the corresponding simulation are presented in the top row, and the result after subtracting superradiance are shown at the bottom. In both cases, we find a clear agreement between theory and experiment.

Refer to caption
Figure 7: Experimentally measured local flow (upper) and numerical simulation result (lower). We present the data before (right) and after (left) subtracting the superradiant, which both match with the theory. Here, θ𝜃\thetaitalic_θ and ϕitalic-ϕ\phiitalic_ϕ are the polar and azimuthal angles of the initial Bloch vector.

For the measured data, we estimated the effect of superradiance by averaging the displacement along z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG for all data points. This common background displacement is then subtracted from all points.

For the numerical simulation, we consider the classical phase space structure for general XYZ models as discussed in Sec. B but with superradiance included. Now, the equations of motion become

dJxdt𝑑subscript𝐽𝑥𝑑𝑡\displaystyle\frac{dJ_{x}}{dt}divide start_ARG italic_d italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =2χyJyJzΓJxJzabsent2subscript𝜒𝑦subscript𝐽𝑦subscript𝐽𝑧Γsubscript𝐽𝑥subscript𝐽𝑧\displaystyle=2\chi_{y}J_{y}J_{z}-\Gamma J_{x}J_{z}= 2 italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT - roman_Γ italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT (14)
dJydt𝑑subscript𝐽𝑦𝑑𝑡\displaystyle\frac{dJ_{y}}{dt}divide start_ARG italic_d italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =2χxJxJzΓJyJzabsent2subscript𝜒𝑥subscript𝐽𝑥subscript𝐽𝑧Γsubscript𝐽𝑦subscript𝐽𝑧\displaystyle=-2\chi_{x}J_{x}J_{z}-\Gamma J_{y}J_{z}= - 2 italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT - roman_Γ italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT
dJzdt𝑑subscript𝐽𝑧𝑑𝑡\displaystyle\frac{dJ_{z}}{dt}divide start_ARG italic_d italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_t end_ARG =2(χxχy)JxJy+Γ(Jx2+Jy2).absent2subscript𝜒𝑥subscript𝜒𝑦subscript𝐽𝑥subscript𝐽𝑦Γsuperscriptsubscript𝐽𝑥2superscriptsubscript𝐽𝑦2\displaystyle=2\left(\chi_{x}-\chi_{y}\right)J_{x}J_{y}+\Gamma\left(J_{x}^{2}+% J_{y}^{2}\right).= 2 ( italic_χ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT + roman_Γ ( italic_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) .

Here, Γ=κ(g024Δa)2(|α1|2Δc12+κ2/4|α2|2Δc22+κ2/4)Γ𝜅superscriptsuperscriptsubscript𝑔024subscriptΔ𝑎2superscriptsubscript𝛼12superscriptsubscriptΔ𝑐12superscript𝜅24superscriptsubscript𝛼22superscriptsubscriptΔ𝑐22superscript𝜅24\Gamma=\kappa\left(\frac{g_{0}^{2}}{4\Delta_{a}}\right)^{2}\left(\frac{\left|% \alpha_{1}\right|^{2}}{\Delta_{c1}^{2}+\kappa^{2}/4}-\frac{\left|\alpha_{2}% \right|^{2}}{\Delta_{c2}^{2}+\kappa^{2}/4}\right)roman_Γ = italic_κ ( divide start_ARG italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 roman_Δ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG | italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 end_ARG - divide start_ARG | italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 end_ARG ) is the mean-field strength of the superradiance, which can be canceled by balancing the intra-cavity powers of the two dressing laser tones. The numerical simulation result of Eq. (14) is presented in the top right of Fig. 7. The simulation result with superradiance subtracted is shown in the bottom right. The subtraction was performed following the same procedure of superradiance subtraction used in analyzing the experimental data.

Appendix F Initial state preparation

Starting with about 108superscript10810^{8}10 start_POSTSUPERSCRIPT 8 end_POSTSUPERSCRIPT atoms in a MOT near the cavity center, we first apply polarization gradient cooling to load about 2×1052superscript1052\times 10^{5}2 × 10 start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT atoms into the 813 nm red detuned optical lattice. After ram** down the lattice depth, ΛΛ\Lambdaroman_Λ-enhanced grey molasses cooling is applied to reduce the ensemble temperature down to 6μK6𝜇K6~{}\mathrm{\mu K}6 italic_μ roman_K. We then perform degenerate Raman sideband cooling for lowering the radial temperature down to less than 1μK1𝜇K1~{}\mathrm{\mu K}1 italic_μ roman_K. An additional optical pum** is applied to transfer the atom into |F=2,mF=0ketformulae-sequence𝐹2subscript𝑚𝐹0\ket{F=2,m_{F}=0}| start_ARG italic_F = 2 , italic_m start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = 0 end_ARG ⟩ state, which results in a radial temperature of 1.4(5)μK1.45𝜇K1.4(5)~{}\mathrm{\mu K}1.4 ( 5 ) italic_μ roman_K [35].

About 1000 atoms are selected with RMS momentum spread Δp<0.1kΔ𝑝0.1Planck-constant-over-2-pi𝑘\Delta p<0.1\hbar kroman_Δ italic_p < 0.1 roman_ℏ italic_k using velocity-selective two-photon Raman transitions, giving a characteristic dephasing time of 150μ150𝜇150~{}\mu150 italic_μs for two momentum state separated by 2k2Planck-constant-over-2-pi𝑘2\hbar k2 roman_ℏ italic_k. The remaining atoms are then removed with transverse radiation pressure [35]. To enhance the interaction with the more favorable Clebsch-Gordan coefficients, the atoms are then transferred from |F=2,mF=0ketformulae-sequence𝐹2subscript𝑚𝐹0\ket{F=2,m_{F}=0}| start_ARG italic_F = 2 , italic_m start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = 0 end_ARG ⟩ into |F=2,mF=2ketformulae-sequence𝐹2subscript𝑚𝐹2\ket{F=2,m_{F}=2}| start_ARG italic_F = 2 , italic_m start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = 2 end_ARG ⟩ using series of microwave pulses [46].

Appendix G Generating frequency tones for Bragg rotations and interactions

Quantum non-demolition measurement and Bragg rotations of momentum states are realized by a single laser coupled into the cavity [46]. Here, we refer to this laser as the atomic probe, which is stabilized to the blue of the atomic transition ωasubscript𝜔𝑎\omega_{a}italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT with detuning about 500500500500 MHz.

Driving Bragg rotations between |p0kketsubscript𝑝0Planck-constant-over-2-pi𝑘\ket{p_{0}-\hbar k}| start_ARG italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - roman_ℏ italic_k end_ARG ⟩ and |p0+kketsubscript𝑝0Planck-constant-over-2-pi𝑘\ket{p_{0}+\hbar k}| start_ARG italic_p start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + roman_ℏ italic_k end_ARG ⟩ requires two different laser tones separated by ωzsubscript𝜔𝑧\omega_{z}italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. These two tones are generated by first red shift the atomic probe frequency by 75 MHz with one acousto-optic modulator (AOM) and then blue shift it back with another AOM driven with two radio frequency (RF) tones at ωRF1=75subscript𝜔RF175\omega_{\mathrm{RF1}}=75italic_ω start_POSTSUBSCRIPT RF1 end_POSTSUBSCRIPT = 75 MHz and ωRF2=(75ωz/2π)subscript𝜔RF275subscript𝜔𝑧2𝜋\omega_{\mathrm{RF2}}=(75-\omega_{z}/2\pi)italic_ω start_POSTSUBSCRIPT RF2 end_POSTSUBSCRIPT = ( 75 - italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT / 2 italic_π ) MHz. The phase of the Bragg rotation ϕB=ϕRF2ϕRF1subscriptitalic-ϕBsubscriptitalic-ϕRF2subscriptitalic-ϕRF1\phi_{\mathrm{B}}=\phi_{\mathrm{RF2}}-\phi_{\mathrm{RF1}}italic_ϕ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT = italic_ϕ start_POSTSUBSCRIPT RF2 end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT RF1 end_POSTSUBSCRIPT is defined by the relative RF phases of ωRF2subscript𝜔RF2\omega_{\mathrm{RF2}}italic_ω start_POSTSUBSCRIPT RF2 end_POSTSUBSCRIPT and ωRF1subscript𝜔RF1\omega_{\mathrm{RF1}}italic_ω start_POSTSUBSCRIPT RF1 end_POSTSUBSCRIPT. To compensate the changing Doppler shift due to the free-falling, the frequency separation between the two tones are chirped by 25.1125.1125.1125.11 kHz/ms.

For driving the interactions, we need two tones offset by 2ωz2subscript𝜔𝑧2\omega_{z}2 italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT with the separation chirped by 50.2250.2250.2250.22 kHz/ms. This is again realized by first red shift the atomic probe by 75 MHz with one AOM and then blue shift it back with another AOM. In this case, the second AOM is driven by two RF tones at ωRF1subscript𝜔RF1\omega_{\mathrm{RF1}}italic_ω start_POSTSUBSCRIPT RF1 end_POSTSUBSCRIPT and ωRF3=(752ωz/2π)subscript𝜔RF3752subscript𝜔𝑧2𝜋\omega_{\mathrm{RF3}}=(75-2\omega_{z}/2\pi)italic_ω start_POSTSUBSCRIPT RF3 end_POSTSUBSCRIPT = ( 75 - 2 italic_ω start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT / 2 italic_π ) MHz. Here, ωRF3=2ωRF2ωRF1subscript𝜔RF32subscript𝜔RF2subscript𝜔RF1\omega_{\mathrm{RF3}}=2\omega_{\mathrm{RF2}}-\omega_{\mathrm{RF1}}italic_ω start_POSTSUBSCRIPT RF3 end_POSTSUBSCRIPT = 2 italic_ω start_POSTSUBSCRIPT RF2 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT RF1 end_POSTSUBSCRIPT is generated by first frequency doubling ωRF2subscript𝜔RF2\omega_{\mathrm{RF2}}italic_ω start_POSTSUBSCRIPT RF2 end_POSTSUBSCRIPT then mixing with ωRF1subscript𝜔RF1\omega_{\mathrm{RF1}}italic_ω start_POSTSUBSCRIPT RF1 end_POSTSUBSCRIPT to shift the frequency back down after proper frequency filtering. By doing so, we maintain the differential phase ϕint=ϕRF3ϕRF12ϕBsubscriptitalic-ϕintsubscriptitalic-ϕRF3subscriptitalic-ϕRF12subscriptitalic-ϕB\phi_{\mathrm{int}}=\frac{\phi_{\mathrm{RF3}}-\phi_{\mathrm{RF1}}}{2}-\phi_{% \mathrm{B}}italic_ϕ start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT = divide start_ARG italic_ϕ start_POSTSUBSCRIPT RF3 end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT RF1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG - italic_ϕ start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT between the Bragg rotations and the interactions stabilized. This differential phase can also be rapidly controlled by the RF phase of ωRF2subscript𝜔RF2\omega_{\mathrm{RF2}}italic_ω start_POSTSUBSCRIPT RF2 end_POSTSUBSCRIPT.

References