Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: datetime

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: arXiv.org perpetual non-exclusive license
arXiv:2306.00066v2 [quant-ph] 23 Feb 2024
\newdate

date20022024

thanks: These authors contributed equally to this work.thanks: These authors contributed equally to this work.\usdate

Observing Dynamical Phases of BCS Superconductors in a Cavity QED Simulator

Dylan J. Young JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA    Anjun Chu JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA Center for Theory of Quantum Matter, University of Colorado, Boulder, CO, USA    Eric Yilun Song JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA    Diego Barberena JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA Center for Theory of Quantum Matter, University of Colorado, Boulder, CO, USA    David Wellnitz JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA Center for Theory of Quantum Matter, University of Colorado, Boulder, CO, USA    Zhijing Niu JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA    Vera M. Schäfer JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA Max-Planck-Institut für Kernphysik, Saupfercheckweg 1, 69117 Heidelberg, Germany    Robert J. Lewis-Swan Homer L. Dodge Department of Physics and Astronomy, University of Oklahoma, Norman, OK, USA Center for Quantum Research and Technology, University of Oklahoma, Norman, OK, USA    Ana Maria Rey JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA Center for Theory of Quantum Matter, University of Colorado, Boulder, CO, USA    James K. Thompson JILA, NIST, and Department of Physics, University of Colorado, Boulder, CO, USA
(\displaydatedate)
Abstract

In conventional Bardeen-Cooper-Schrieffer (BCS) superconductors [1], electrons with opposite momenta bind into Cooper pairs due to an attractive interaction mediated by phonons in the material. While superconductivity naturally emerges at thermal equilibrium, it can also emerge out of equilibrium when the system’s parameters are abruptly changed [2, 3, 4, 5, 6, 7, 8]. The resulting out-of-equilibrium phases are predicted to occur in real materials and ultracold fermionic atoms but have not yet all been directly observed. Here we realise an alternate way to generate the proposed dynamical phases using cavity quantum electrodynamics (cavity QED). Our system encodes the presence or absence of a Cooper pair in a long-lived electronic transition in 8888{}^{88}start_FLOATSUPERSCRIPT 88 end_FLOATSUPERSCRIPTSr atoms coupled to an optical cavity and represents interactions between electrons as photon-mediated interactions through the cavity [9, 10]. To fully explore the phase diagram, we manipulate the ratio between the single-particle dispersion and the interactions after a quench and perform real-time tracking of subsequent dynamics of the superconducting order parameter using non-destructive measurements. We observe regimes where the order parameter decays to zero (phase I) [3, 4], assumes a non-equilibrium steady-state value (phase II) [3, 2], or exhibits persistent oscillations (phase III) [3, 2]. This opens up exciting prospects for quantum simulation, including the potential to engineer unconventional superconductors and to probe beyond mean-field effects like the spectral form factor [11, 12], and for increasing coherence time for quantum sensing.


Introduction

Quantum simulation offers a path to understand a broad range of phenomena, from high-temperature superconductivity and correlated quantum magnetism in condensed matter physics [13] to quarks and gluons in nuclei and matter under extreme conditions [14], as well as the black hole information paradox in gravitational physics [15]. A fascinating and promising case is the prethermal dynamical phases [16] predicted to emerge from quenches of superconductors and superfluids [2, 3, 4, 5, 6, 7, 8, 17, 18, 19, 20, 21, 22], systems that feature Cooper pairing of electrons or neutral fermions. While there has been great progress in pump-probe experiments of superconductors to induce such fast quenches using THz technology, and signs of phases I and II have been observed, the intense pulses couple nonlinearly to the Cooper pairs in the superconductor and complicate a clean observation of the dynamical phases [23, 24, 25]. For these reasons, the realisation of fermionic superfluids in ultracold atomic gases [26] has generated great excitement [2, 3, 4, 5, 6, 7, 8]; however, to date observations have been limited to spectroscopic signatures rather than the full time dynamics [27]. In neither system has a systematic scan of the dynamical phase diagram been performed, and in fact phase III has not been observed.

Refer to caption
Fig. 1: Engineering BCS dynamical phases. a, The Anderson pseudospin mapping encodes the presence and absence of a Cooper pair as the up and down states of a spin-1/2 system, respectively. Under this mapping, the attractive interaction χc^𝐤c^𝐤c^𝐤c^𝐤𝜒superscriptsubscript^𝑐𝐤superscriptsubscript^𝑐𝐤subscript^𝑐superscript𝐤subscript^𝑐superscript𝐤\chi\hat{c}_{\mathbf{k}}^{\dagger}\hat{c}_{\mathbf{-k}}^{\dagger}\hat{c}_{% \mathbf{-k^{\prime}}}\hat{c}_{\mathbf{k^{\prime}}}italic_χ over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT between electrons is equivalent to an all-to-all exchange interaction χS^𝐤+S^𝐤𝜒superscriptsubscript^𝑆𝐤superscriptsubscript^𝑆superscript𝐤\chi\hat{S}_{\mathbf{k}}^{+}\hat{S}_{\mathbf{k^{\prime}}}^{-}italic_χ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT between pseudospins. b, Model parameters. The top plot shows the effective dispersion relation near the Fermi surface engineered in our system as a function of parameters δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT and EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT, controlled using AC Stark shifts. The bottom plot visualises the ground state of a BCS superconductor using Anderson pseudospins. Near the Fermi momentum, the pseudospins develop a phase-coherent superposition at a scale set by a nonzero BCS pairing gap ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT. This gap is self-consistently defined from the spin coherence as shown on the Bloch sphere. c, Dynamical phase diagram. The three dynamical phases can be realised by varying parameters χN𝜒𝑁\chi Nitalic_χ italic_N, δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT, and EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT. Representative dynamics of the BCS order parameter |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | for each phase are shown as insets. We explore cut H1 (dashed line) in Fig. 2 using a single ensemble of atoms and cuts V and H2 (solid lines) in Figs. 3 and 4 using two separately controlled sub-ensembles. d, Cavity QED implementation of the BCS interaction. Coupling many strontium atoms to a detuned optical cavity generates infinite-range spin-exchange interactions mediated by a virtual exchange of cavity photons. This interaction also causes a field proportional to ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT to leak out of the cavity, providing a real-time probe of the dynamics.

Here, we take a step forward towards this challenge by using internal electronic states to encode effective Cooper pairs. At the heart of this implementation is the Anderson pseudospin mapping [28] by which the presence or absence of Cooper pairs in a momentum mode is encoded in a pseudo spin-1/2121/21 / 2 system. We simulate Anderson pseudospins using a long-lived electronic transition in 8888{}^{88}start_FLOATSUPERSCRIPT 88 end_FLOATSUPERSCRIPTSr with interactions between the spins mediated by a high finesse optical cavity. As proposed in Refs. [9, 10], the scattering between Cooper pairs in condensed matter systems can be engineered in our system via the exchange of photons through the cavity (see Fig. 1d). In this way, the dynamics of a collection of interacting spin-1/2121/21 / 2 systems maps onto the low-energy physics of a superconductor or superfluid.

We probe all three dynamical phases (phases I, II, and III) predicted to exist in BCS superconductors by utilising the high degree of control and flexibility in state initialisation, interaction control, and non-destructive measurements available when coupling long-lived atoms to an optical cavity. Behaviours intrinsic to phase I (normal phase) and phase II (finite steady-state superconductivity) have previously been observed in spin systems realized in optical cavities [29, 30] and in two-level atoms interacting via collisions [31, 32, 33, 34]. We build on this work by clarifying the connection between these dynamical phases from the BCS model and the physics of many-body gap protection in spin systems. Our results also provide the first demonstration of phase III (a self-generated Floquet phase featuring persistent oscillations of the order parameter), which is predicted to dynamically emerge in superconductors via quenches from weak to strong interactions [3, 8]. In our system, we instead engineer this phase using flexible control of the single-particle dispersion [9, 22], dynamically resembling the low-energy condition of a BCS superconductor. For all experiments, we perform real-time tracking of the superconducting order parameter, enabling fast readout of the dynamics.

Experimental setup and model system

To realise dynamical phases of the BCS model, we laser cool an ensemble of N=105106𝑁superscript105superscript106N=10^{5}-10^{6}italic_N = 10 start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT Sr88superscriptSr88{}^{88}\mathrm{Sr}start_FLOATSUPERSCRIPT 88 end_FLOATSUPERSCRIPT roman_Sr atoms and trap them inside a λL=813subscript𝜆L813\lambda_{\mathrm{L}}=813italic_λ start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT = 813 nm 1D optical lattice supported by a high-finesse optical cavity. A spin-1/2 system is encoded in the electronic ground state |=|S01,mJ=0ketketsuperscriptsubscriptS01subscript𝑚𝐽0\ket{\downarrow}=\ket{{}^{1}\mathrm{S}_{0},m_{J}=0}| start_ARG ↓ end_ARG ⟩ = | start_ARG start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT = 0 end_ARG ⟩ and a long-lived optical excited state |=|P13,mJ=0ketketsuperscriptsubscriptP13subscript𝑚𝐽0\ket{\uparrow}=\ket{{}^{3}\mathrm{P}_{1},m_{J}=0}| start_ARG ↑ end_ARG ⟩ = | start_ARG start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT = 0 end_ARG ⟩. Along this transition, we define spin operators S^k=||ksuperscriptsubscript^𝑆𝑘subscript𝑘\hat{S}_{k}^{-}=\outerproduct{\downarrow}{\uparrow}_{k}over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT = | start_ARG ↓ end_ARG ⟩ ⟨ start_ARG ↑ end_ARG | start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT and S^kz=(||k||k)/2superscriptsubscript^𝑆𝑘𝑧subscript𝑘subscript𝑘2\hat{S}_{k}^{z}=(\outerproduct{\uparrow}{\uparrow}_{k}-\outerproduct{% \downarrow}{\downarrow}_{k})/2over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = ( | start_ARG ↑ end_ARG ⟩ ⟨ start_ARG ↑ end_ARG | start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT - | start_ARG ↓ end_ARG ⟩ ⟨ start_ARG ↓ end_ARG | start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) / 2 for single atoms with labels k{1,,N}𝑘1𝑁k\in\{1,...,N\}italic_k ∈ { 1 , … , italic_N }, as well as the collective lowering operator S^=kS^ksuperscript^𝑆subscript𝑘superscriptsubscript^𝑆𝑘\hat{S}^{-}=\sum_{k}\hat{S}_{k}^{-}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT and raising operator S^+=(S^)superscript^𝑆superscriptsuperscript^𝑆\hat{S}^{+}=(\hat{S}^{-})^{\dagger}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT = ( over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT.

Assuming homogeneous atom-light coupling in the cavity and unitary dynamics, our system can be described by the Hamiltonian

H^=χS^+S^+kεkS^kz.^𝐻Planck-constant-over-2-pi𝜒superscript^𝑆superscript^𝑆subscript𝑘subscript𝜀𝑘superscriptsubscript^𝑆𝑘𝑧\hat{H}=\hbar\chi\hat{S}^{+}\hat{S}^{-}+\sum_{k}\varepsilon_{k}\hat{S}_{k}^{z}.over^ start_ARG italic_H end_ARG = roman_ℏ italic_χ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT . (1)

The first term represents an infinite-range spin-exchange interaction described by a frequency scale χ𝜒\chiitalic_χ [30], realised using the collective coupling between the atomic ensemble and a detuned optical cavity mode. Inhomogeneous atom-light coupling and dissipative processes (including, foremost, single-particle spontaneous decay) are present in the current implementation but do not largely change the qualitative behaviour of the targeted dynamical phases under our experimental conditions (see Methods). Previously, we have characterised this interaction [30] and studied collective dynamics by applying an external drive [35]. In this work, we go beyond the fully collective manifold by engineering a spread in single-particle energies εk=ωksubscript𝜀𝑘Planck-constant-over-2-pisubscript𝜔𝑘\varepsilon_{k}=\hbar\omega_{k}italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = roman_ℏ italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT using applied AC Stark shifts ωksubscript𝜔𝑘\omega_{k}italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT [36, 37]. These shifts form the second term in the Hamiltonian and compete with the spin-exchange interaction.

Equation (1) is the so-called Richardson-Gaudin spin model [38, 39], which describes the low-energy physics of Bardeen-Cooper-Schrieffer (BCS) superfluids and superconductors using the Anderson pseudospin mapping [28]. This mapping relates the presence (or absence) of a Cooper pair formed by a pair of electrons with momenta ±𝐤plus-or-minus𝐤\pm\mathbf{k}± bold_k to a spin-up (or down) at momentum 𝐤𝐤\mathbf{k}bold_k, as shown in Fig. 1a. Correspondingly, annihilating a Cooper pair maps to a spin lowering operator by the relation S^𝐤c^𝐤c^𝐤subscriptsuperscript^𝑆𝐤subscript^𝑐𝐤subscript^𝑐𝐤\hat{S}^{-}_{\mathbf{k}}\coloneqq\hat{c}_{\mathbf{k}}\hat{c}_{\mathbf{-k}}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT ≔ over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT, where c^±𝐤subscript^𝑐plus-or-minus𝐤\hat{c}_{\pm\mathbf{k}}over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT ± bold_k end_POSTSUBSCRIPT are fermionic annihilation operators. Similarly, the spin operator 2S^𝐤z+1c^𝐤c^𝐤+c^𝐤c^𝐤2superscriptsubscript^𝑆𝐤𝑧1superscriptsubscript^𝑐𝐤subscript^𝑐𝐤superscriptsubscript^𝑐𝐤subscript^𝑐𝐤2\hat{S}_{\mathbf{k}}^{z}+1\coloneqq\hat{c}_{\mathbf{k}}^{\dagger}\hat{c}_{% \mathbf{k}}+\hat{c}_{\mathbf{-k}}^{\dagger}\hat{c}_{\mathbf{-k}}2 over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT + 1 ≔ over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT + over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT counts the number of electrons with momentum 𝐤𝐤\mathbf{k}bold_k or 𝐤𝐤-\mathbf{k}- bold_k. Our cavity system therefore manifestly implements a BCS superconductor if one identifies the label k𝑘kitalic_k of an atom in the cavity with the momentum 𝐤𝐤\mathbf{k}bold_k of the electrons in a Cooper pair. In this way, the first term in Eq. (1) is equivalent to the attractive interaction between electrons in the superconductor, and the second term can be associated with the kinetic energy or dispersion relation of the electrons. Note that the BCS model, described by Eq. (1), only accounts for the zero momentum collective excitations present in conventional superfluids and superconductors [28].

The BCS order parameter in the Anderson mapping is defined by ΔBCS=χ𝐤c^𝐤c^𝐤=χS^subscriptΔBCS𝜒delimited-⟨⟩subscript𝐤subscript^𝑐𝐤subscript^𝑐𝐤𝜒delimited-⟨⟩superscript^𝑆\Delta_{\mathrm{BCS}}=\chi\langle\sum_{\mathbf{k}}\hat{c}_{\mathbf{k}}\hat{c}_% {\mathbf{-k}}\rangle=\chi\langle\hat{S}^{-}\rangleroman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT = italic_χ ⟨ ∑ start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT ⟩ = italic_χ ⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟩, as depicted in Fig. 1b. In equilibrium, it plays the role of the BCS pairing gap, which energetically favours many-body states where the electrons arrange in a coherent superposition between Cooper pairs and holes for states close to the Fermi energy. Away from equilibrium, ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT is also predicted to characterise the three dynamical phases (I, II, and III) that arise after quenches in superconductors and superfluids [16]. Such dynamical phases represent distinct regimes of dynamical behaviour that arise after a sudden perturbation of a control parameter in a closed many-body system. They are described using a time-averaged or steady-state order parameter that demonstrates non-analytic behaviour at the boundary between phases. In particular, the BCS model is predicted to exhibit second-order dynamical phase transitions.

Refer to caption
Fig. 2: Phase I to phase II transition. a, Tuning the single-particle dispersion. We shine an off-resonant 461 nm beam onto the atoms from outside the cavity. This generates a distribution of AC Stark shifts representing a roughly uniform density of states ρ(ω)𝜌𝜔\rho(\omega)italic_ρ ( italic_ω ) (bottom plot). b, Probing phase I and phase II. We perform a rapid π/2𝜋2\pi/2italic_π / 2 pulse to prepare a highly coherent initial state, wait for 2μ2𝜇2~{}\mu2 italic_μs, quench to a variable χN/EW𝜒𝑁subscript𝐸W\chi N/E_{\mathrm{W}}italic_χ italic_N / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT with δs=0subscript𝛿s0\delta_{\mathrm{s}}=0italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = 0, and then let the system evolve. The inset shows the explored parameter cut and identifies post-quench χN/EW𝜒𝑁subscript𝐸W\chi N/E_{\mathrm{W}}italic_χ italic_N / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT values with coloured dots. The main plot shows experimental time traces of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | (coloured curves) accompanied by numerical simulations (darker lines). Two curves are extended to demonstrate long-time coherence protection, with the χN/2π=0.19𝜒𝑁2𝜋0.19\chi N/2\pi=0.19italic_χ italic_N / 2 italic_π = 0.19 MHz trace smoothed for clarity. For χN/2π=1.2𝜒𝑁2𝜋1.2\chi N/2\pi=1.2italic_χ italic_N / 2 italic_π = 1.2 MHz, we show an ideal simulation neglecting dissipation and motional effects (dashed line), which exhibits transient Higgs oscillations. Hints of these oscillations are present in experimental data with additional damping. c, Characterising the phase transition. Blue triangles show the fitted coherence time of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | from t=1μ𝑡1𝜇t=1~{}\muitalic_t = 1 italic_μs to 30μ30𝜇30~{}\mu30 italic_μs. Green circles show the time-averaged |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | between t=3μ𝑡3𝜇t=3~{}\muitalic_t = 3 italic_μs and 8μ8𝜇8~{}\mu8 italic_μs, with the dark green line representing numerical simulations. In all cases, we identify a phase transition at χN/2π=0.2𝜒𝑁2𝜋0.2\chi N/2\pi=0.2italic_χ italic_N / 2 italic_π = 0.2 MHz. Error bars in all plots represent the s.e.m. of boostrap resamplings on experimental shots. d, Varying initial conditions. Before t=0𝑡0t=0italic_t = 0, we shine a high-intensity 461461461461 nm beam within 300300300300 ns, engineering an initial phase spread φ(ωk)[0,φ0]𝜑subscript𝜔𝑘0subscript𝜑0\varphi(\omega_{k})\in[0,\varphi_{0}]italic_φ ( italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ∈ [ 0 , italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] depicted on the Bloch sphere. The phase φ(ωk)𝜑subscript𝜔𝑘\varphi(\omega_{k})italic_φ ( italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) applied to atom k𝑘kitalic_k is proportional to the post-quench frequency shift ωksubscript𝜔𝑘\omega_{k}italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. Traces represent different φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and show enhanced oscillations with increasing φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT.

Phase I is characterised by a steady state with a vanishing order parameter |ΔBCS(t)|0subscriptΔBCS𝑡0|\Delta_{\mathrm{BCS}}(t)|\rightarrow 0| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) | → 0 at long times. Phase II exhibits a steady state with a constant nonzero order parameter Δlimt|ΔBCS(t)|>0subscriptΔsubscript𝑡subscriptΔBCS𝑡0\Delta_{\infty}\coloneqq\lim_{t\rightarrow\infty}|\Delta_{\mathrm{BCS}}(t)|>0roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT ≔ roman_lim start_POSTSUBSCRIPT italic_t → ∞ end_POSTSUBSCRIPT | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) | > 0. Finally, phase III features oscillations in |ΔBCS(t)|subscriptΔBCS𝑡|\Delta_{\mathrm{BCS}}(t)|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) | that persist to long times, realising a Floquet superfluid despite not being periodically driven [21, 7, 8, 6]. The long-time behaviour of these dynamical phases admits a simpler description in terms of the Lax-reduced Hamiltonian, which is an effective Hamiltonian taking the same form of Eq. (1) but with rescaled parameters and a reduced number of spins [8, 16]. Under this formulation, phases I, II, and III emerge when the Lax-reduced Hamiltonian describes effective zero-spin, one-spin, and two-spin systems respectively.

Inspired by the Lax-reduced Hamiltonian, and in order to explore all three dynamical phases, we engineer two sub-ensembles of atoms with separate control over energy shifts within each sub-ensemble. For practical convenience, we introduce experimental control in the form of an overall frequency splitting δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT between two sub-ensembles and an effective frequency width EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT of each sub-ensemble to engineer a tunable dispersion relation εksubscript𝜀𝑘\varepsilon_{k}italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT as in Fig. 1b. Phase I and phase II can also be observed using a single ensemble of atoms as shown in Fig. 2. Both experimental setups can nonetheless be described by a common phase diagram as shown in Fig. 1c.

We initialise all the atoms in the |ket\ket{\downarrow}| start_ARG ↓ end_ARG ⟩ state and then apply a coherent π/2𝜋2\pi/2italic_π / 2 pulse through the cavity in 100100100100 ns such that ΩχNmuch-greater-thanΩ𝜒𝑁\Omega\gg\chi Nroman_Ω ≫ italic_χ italic_N, where ΩΩ\Omegaroman_Ω is the pulse Rabi frequency and χN𝜒𝑁\chi Nitalic_χ italic_N is the characteristic interaction strength for an ensemble of N𝑁Nitalic_N atoms. This establishes a large BCS order parameter ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT on a timescale faster than any other relevant dynamics, mimicking the ground state of a Hamiltonian with an infinite interaction strength χ𝜒\chiitalic_χ. We then quench the system by rapidly turning on εksubscript𝜀𝑘\varepsilon_{k}italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, which sets a finite ratio χN/EW𝜒𝑁subscript𝐸W\chi N/E_{\mathrm{W}}italic_χ italic_N / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT and a variable δs/EWsubscript𝛿ssubscript𝐸W\delta_{\mathrm{s}}/E_{\mathrm{W}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT, allowing us to explore the dynamical phase diagram shown in Fig. 1c.

We measure both the pre- and post-quench dynamics of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | by monitoring light emitted by the atoms into the cavity as a function of time (see Fig. 1d). This light arises from a superradiance process which is suppressed when the cavity resonance is detuned from the atomic transition frequency by much more than κ𝜅\kappaitalic_κ, the cavity power decay linewidth [40, 41, 42]. In this limit, the established cavity field adiabatically follows S^delimited-⟨⟩superscript^𝑆\langle\hat{S}^{-}\rangle⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟩, which is proportional to ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT. By measuring the leakage of light from the cavity in heterodyne with a local oscillator, we therefore obtain a real-time probe of ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT. Importantly, at the chosen detuning this probe is quasi-nondestructive, since only a small fraction of the atoms emit light over relevant timescales. In plots of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | over time, we normalise traces to the initial gap size ΔinitsubscriptΔinit\Delta_{\mathrm{init}}roman_Δ start_POSTSUBSCRIPT roman_init end_POSTSUBSCRIPT measured right after the π/2𝜋2\pi/2italic_π / 2 pulse.

Phase I to phase II

We probe the phase I to phase II transition by varying the ratio χN/EW𝜒𝑁subscript𝐸W\chi N/E_{\mathrm{W}}italic_χ italic_N / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT between the interaction strength and the width of the single-particle energy distribution. As shown in Fig. 2a, we shine an off-resonant 461461461461 nm beam onto a single atomic ensemble from the side of the cavity that generates a distribution of AC Stark shifts with a spread EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT. Careful shaping of the 461461461461 nm beam allows us to realise a roughly flat density of states (see Methods), resulting in a setup consistent with the δs=0subscript𝛿s0\delta_{\mathrm{s}}=0italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = 0 line in Fig. 1c (see Supplemental Online Material). After the initial π/2𝜋2\pi/2italic_π / 2 pulse, we wait for 2μ2𝜇2~{}\mu2 italic_μs to let transient dynamics settle and then turn on the 461461461461 nm beam to quench on EW/2π=0.83subscript𝐸W2𝜋0.83E_{\mathrm{W}}/2\pi=0.83italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 italic_π = 0.83 MHz from an initial value EW(0)/2π0.1much-less-thansuperscriptsubscript𝐸W02𝜋0.1E_{\mathrm{W}}^{(0)}/2\pi\ll 0.1italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT / 2 italic_π ≪ 0.1 MHz. The beam exhibits a rise time of roughly 50505050 ns, much faster than the relevant dynamics. To scan across the phase diagram in the inset of Fig. 2b, we vary the interaction strength χN𝜒𝑁\chi Nitalic_χ italic_N between shots by changing the atom number N𝑁Nitalic_N.

Refer to caption
Fig. 3: Phase II to phase III transition. a, Engineering a bimodal energy distribution. We prepare two atomic clouds with centres separated by 3333 mm and shine an off-resonant 461461461461 nm beam centred on one cloud. This generates a density of states ρ(ω)𝜌𝜔\rho(\omega)italic_ρ ( italic_ω ) (middle plot), equivalent to a dispersion relation εk=ωksubscript𝜀𝑘Planck-constant-over-2-pisubscript𝜔𝑘\varepsilon_{k}=\hbar\omega_{k}italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = roman_ℏ italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT (bottom plot). b, Probing phase II and phase III. We prepare the same initial state as in Fig. 2b with a π/2𝜋2\pi/2italic_π / 2 pulse, quench to a finite δs/EWsubscript𝛿ssubscript𝐸W\delta_{\mathrm{s}}/E_{\mathrm{W}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT, and then let the system evolve. The inset shows the explored parameter cut and identifies post-quench δs/EWsubscript𝛿ssubscript𝐸W\delta_{\mathrm{s}}/E_{\mathrm{W}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT values with coloured dots. As before, coloured traces represent experimental time traces of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, and darker lines represent numerical simulations. c, Ideal simulations of mean-field trajectories for the two sub-ensembles (solid and dashed curves) in phase II (magenta) and phase III (blue). The trajectories are projected onto the surface of the Bloch sphere for visual clarity. d, Fourier response of |ΔBCS|2superscriptsubscriptΔBCS2|\Delta_{\mathrm{BCS}}|^{2}| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for different δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT, plotted as power spectra of the dynamics from t=0.5μ𝑡0.5𝜇t=0.5~{}\muitalic_t = 0.5 italic_μs to 4μ4𝜇4~{}\mu4 italic_μs after subtracting slow-moving behaviour. e, Average oscillation amplitude between t=3μ𝑡3𝜇t=3~{}\muitalic_t = 3 italic_μs and 8μ8𝜇8~{}\mu8 italic_μs. For the remaining plots, dashed lines represent ideal simulations (ignoring dissipation or motional effects), and solid dark lines correspond to full simulations. The additional dotted line represents numerical simulations rescaled by ×0.2absent0.2\times 0.2× 0.2, plotted to show similar trend behaviour between experimental data and simulations. We identify a phase transition around δs/2π=0.85subscript𝛿s2𝜋0.85\delta_{\mathrm{s}}/2\pi=0.85italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 italic_π = 0.85 MHz. f, Oscillation frequency of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, measured using power spectra calculated in (d). We correct for systematics inferred from our data analysis and assume this correction has an uncertainty of 100%, shown by the green band. The phase transition point observed in data in panels (e) and (f) agrees well with simulations.

As shown in Fig. 2b and c, we observe two distinct dynamical behaviours corresponding to phases I and II, signalled by the decay rate of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |. For experiments with sufficiently small χN𝜒𝑁\chi Nitalic_χ italic_N, such as χN/2π=0.19𝜒𝑁2𝜋0.19\chi N/2\pi=0.19italic_χ italic_N / 2 italic_π = 0.19 MHz, |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | decays with a 1/e1𝑒1/e1 / italic_e coherence time of 0.9±0.1μplus-or-minus0.90.1𝜇0.9\pm 0.1~{}\mu0.9 ± 0.1 italic_μs. This coherence time is consistent with single-particle dephasing of S^delimited-⟨⟩superscript^𝑆\langle\hat{S}^{-}\rangle⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟩ set by the energy spread EWPlanck-constant-over-2-pisubscript𝐸W\hbar E_{\mathrm{W}}roman_ℏ italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT and is nearly constant throughout this regime. We identify the fast decay of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | as an experimental signature of phase I. For larger interaction strengths, we observe a rapid increase in coherence time up to a maximum of 29μ29𝜇29~{}\mu29 italic_μs when χN/2π=1.2𝜒𝑁2𝜋1.2\chi N/2\pi=1.2italic_χ italic_N / 2 italic_π = 1.2 MHz; this constitutes an improvement of more than a factor of 30. We identify this extended coherence time regime as phase II. The residual decay of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | in this regime can be attributed to intrinsic dissipative processes including spontaneous emission, off-resonant superradiant emission, and scattering of 461 nm light [42, 30], which set a maximum predicted coherence time of 29μ29𝜇29~{}\mu29 italic_μs (see Methods). All experimental observations (coloured traces) are in good agreement with numerical simulations based on experimental conditions (dark lines—see Methods).

Due to the separation of timescales in the decay of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, we are able to determine the boundary between phase I and phase II in our experiment by calculating the average |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | in a time window from 3μ3𝜇3~{}\mu3 italic_μs to 8μ8𝜇8~{}\mu8 italic_μs as a function of χN𝜒𝑁\chi Nitalic_χ italic_N (see Fig. 2c). In this analysis, phase I features a vanishing average |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, while phase II sees a nonzero |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | that increases with χN𝜒𝑁\chi Nitalic_χ italic_N. The sharp rise of average |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | around χN/2π=0.2𝜒𝑁2𝜋0.2\chi N/2\pi=0.2italic_χ italic_N / 2 italic_π = 0.2 MHz indicates a dynamical phase transition, which agrees with the point predicted by numerical simulations. In a spin-model picture, the BCS pairing gap corresponds to the energy gap between collective angular momentum states, which exists due to the spin-exchange interaction χS^+S^𝜒superscript^𝑆superscript^𝑆\chi\hat{S}^{+}\hat{S}^{-}italic_χ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT [43]. Phase II corresponds to the parameter region where such interactions are sufficiently strong to protect against single-particle dephasing. As a result, the observed transition directly relates to previous experiments exploring coherence protection in other systems [29, 30, 34, 33, 32, 31].

In BCS superconductors, the excitation of a Higgs mode is predicted to occur in phase II. This mode can be characterised by a collective damped oscillation of the order parameter |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | with a characteristic frequency of 2Δ2subscriptΔ2\Delta_{\infty}2 roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT [8]. We observe hints of Higgs oscillations by comparing the experimental trace of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | at χN/2π=1.2𝜒𝑁2𝜋1.2\chi N/2\pi=1.2italic_χ italic_N / 2 italic_π = 1.2 MHz (red curve in Fig. 2b) with the dissipation-free simulation (dashed line in Fig. 2b) and noticing that the first dip in the experimental trace coincides with the first cycle of Higgs oscillations (see Methods). The size of this feature can be increased experimentally by engineering an initial phase spread φ(ωk)[0,φ0]𝜑subscript𝜔𝑘0subscript𝜑0\varphi(\omega_{k})\in[0,\varphi_{0}]italic_φ ( italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ∈ [ 0 , italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] between atoms which is correlated with the post-quench frequency shifts ωksubscript𝜔𝑘\omega_{k}italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT of the atoms, as shown in Fig. 2d. The initial state with a nonzero opening angle φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT shares qualitative features with the BCS ground state at finite χ𝜒\chiitalic_χ up to a π/2𝜋2\pi/2italic_π / 2 rotation on the Bloch sphere [9], in contrast to the initial state mimicking the BCS ground state with infinite χ𝜒\chiitalic_χ in Fig. 2b.

Phase II to phase III

We probe the phase II to phase III transition using a vertical cut through the dynamical phase diagram. To realise this, we introduce an energy splitting δsPlanck-constant-over-2-pisubscript𝛿s\hbar\delta_{\mathrm{s}}roman_ℏ italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT between two individually addressable clouds of atoms along the cavity axis using AC Stark shifts from our 461461461461 nm beam, as shown in Fig. 3a. In combination with a background energy spread EWPlanck-constant-over-2-pisubscript𝐸W\hbar E_{\mathrm{W}}roman_ℏ italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT associated with lattice shifts (see Methods), this produces a bimodal density of states and a dispersion relation similar to the one proposed in Fig. 1b. As before, we begin the experiment with a highly coherent state and with δs=0subscript𝛿s0\delta_{\mathrm{s}}=0italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = 0. Then, we quench on a nonzero δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT and let the system evolve. Between shots, we scan δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT while fixing χN/2π=0.9𝜒𝑁2𝜋0.9\chi N/2\pi=0.9italic_χ italic_N / 2 italic_π = 0.9 MHz and EW/2π0.34subscript𝐸W2𝜋0.34E_{\mathrm{W}}/2\pi\approx 0.34italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 italic_π ≈ 0.34 MHz to explore the vertical cut.

The resulting dynamics show a marked change in the dynamical evolution of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | over the scan as shown in Fig. 3b, which we attribute to a transition between phase II and phase III dynamics. For small δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT, we either see Higgs-like oscillations which are damped after 3μ3𝜇3~{}\mu3 italic_μs (the trace where δs/2π=0.6subscript𝛿s2𝜋0.6\delta_{\mathrm{s}}/2\pi=0.6italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 italic_π = 0.6 MHz) or, for very small splittings, no oscillations resolvable above the noise floor (δs/2π=0.3subscript𝛿s2𝜋0.3\delta_{\mathrm{s}}/2\pi=0.3italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 italic_π = 0.3 MHz). We associate this regime with phase II since it overlaps with the previously observed phase II dynamics in parameter space. For larger δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT, curves instead show large-amplitude oscillations that persist for more than 5μ5𝜇5~{}\mu5 italic_μs (δs/2π=1.4subscript𝛿s2𝜋1.4\delta_{\mathrm{s}}/2\pi=1.4italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 italic_π = 1.4 MHz). We identify the long-lived oscillations in this parameter regime as an experimental signature of phase III.

Intuitively, we can understand the difference between the two phases by identifying the two sub-ensembles of atoms with two Bloch vectors (see Fig. 3c). In phase II, a finite δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT causes the Bloch vectors to precess in different directions, but the dominant scale χN𝜒𝑁\chi Nitalic_χ italic_N locks them together to form the solid and dashed magenta orbits. In the presence of a finite EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT, the orbits decay, but the Bloch vectors maintain phase coherence. On the other hand, in phase III δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT is large enough that the two Bloch vectors accrue an unbounded relative phase, as in the blue orbits. The presence of interactions locks each sub-ensemble separately against a finite EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT, leading to persistent oscillations. This effective beating of two large spins in a macroscopic array of spin-1/2 particles is truly an interaction-driven effect since the interactions are strong enough to lock the spins within each sub-ensemble but not strong enough to lock both sub-ensembles together. In our implementation of phase III, the bimodal distribution allows us to dynamically separate the Bloch vectors of the two sub-ensembles, instead of starting with an already split distribution like in weakly interacting BCS ground states featuring a sharp Fermi edge. Despite their qualitative differences, these two situations can be dynamically connected (see Methods).

We can experimentally define a boundary between phase II and phase III using the separation of timescales observed for oscillations in |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |. Fig. 3e shows the average oscillation amplitude in a time window from t=3μ𝑡3𝜇t=3~{}\muitalic_t = 3 italic_μs to 8μ8𝜇8~{}\mu8 italic_μs. In this analysis, we observe a sharp rise in oscillation amplitude at δs/2π=0.85subscript𝛿s2𝜋0.85\delta_{\mathrm{s}}/2\pi=0.85italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 italic_π = 0.85 MHz χN/2πabsent𝜒𝑁2𝜋\approx\chi N/2\pi≈ italic_χ italic_N / 2 italic_π as we increase δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT, which we identify as a dynamical phase transition. Numerical simulations plotted in Fig. 3e agree fairly well with data in capturing trend behaviour and estimating the phase transition point. However, we see a discrepancy in the absolute size of the observed and predicted oscillation amplitudes. We attribute this to an extra dephasing mechanism (likely residual motional effects) in our system or other imperfections in the experimental sequence not captured by the theory model.

Refer to caption

Fig. 4: Scan across three dynamical phases. a, Probing phase I, II and III dynamics using time traces of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |. Quenches are performed in the same manner as in Fig. 3b, except between shots we hold post-quench values of δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT fixed and vary χN𝜒𝑁\chi Nitalic_χ italic_N instead. The inset shows the explored cut through the phase diagram and identifies final χN/EW𝜒𝑁subscript𝐸W\chi N/E_{\mathrm{W}}italic_χ italic_N / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT values with green (phase I), blue (phase III), and red (phase II) dots. The χN/2π=0.2𝜒𝑁2𝜋0.2\chi N/2\pi=0.2italic_χ italic_N / 2 italic_π = 0.2 MHz trace is smoothed for clarity. b, Time average of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | in a bin from t=3μ𝑡3𝜇t=3~{}\muitalic_t = 3 italic_μs to 8μ8𝜇8~{}\mu8 italic_μs vs. interaction strength. The experimental data shows signatures of a phase I to phase III transition at χN/2π=0.25𝜒𝑁2𝜋0.25\chi N/2\pi=0.25italic_χ italic_N / 2 italic_π = 0.25 MHz. c, Oscillation frequency of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | vs. interaction strength in a bin from t=0.5μ𝑡0.5𝜇t=0.5~{}\muitalic_t = 0.5 italic_μs to 4μ4𝜇4~{}\mu4 italic_μs. Again, we correct for systematics inferred from our data analysis and assume this correction has an uncertainty of 100%, shown by the green band. This data identifies a phase III to phase II transition at χN/2π=1.0𝜒𝑁2𝜋1.0\chi N/2\pi=1.0italic_χ italic_N / 2 italic_π = 1.0 MHz. Experimental data and transitions in both plots are consistent with numerical simulations.

We verify the location of the phase II to phase III transition using the short-time oscillation frequency (from t=0.5μ𝑡0.5𝜇t=0.5~{}\muitalic_t = 0.5 italic_μs to 4μ4𝜇4~{}\mu4 italic_μs) as an additional experimental signature. As can be seen in the Fourier responses in Fig. 3d and quantified in Fig. 3f, the oscillation frequency exhibits a dip vs. δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT at the previously-identified phase boundary. This dip is present in roughly the same location for experiment and theory and is expected to coincide with the phase II to phase III transition (see Supplemental Online Material).

Scan across three dynamical phases

Finally, we observe all three dynamical phases in a single cut through parameter space, as shown in Fig. 4a. We run the same experimental sequence described in Fig. 3, but instead scan χN𝜒𝑁\chi Nitalic_χ italic_N between shots with δs/2π=1.1subscript𝛿s2𝜋1.1\delta_{\mathrm{s}}/2\pi=1.1italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 italic_π = 1.1 MHz and EW/2π=0.46subscript𝐸W2𝜋0.46E_{\mathrm{W}}/2\pi=0.46italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 italic_π = 0.46 MHz fixed. This allows us to probe phase I, phase III and then phase II by increasing atom number N𝑁Nitalic_N. Using order parameters established in Figs. 2 and 3, we determine boundaries between the three phases. As shown in Fig. 4b, the long-time average of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | rises suddenly around χN/2π=0.25𝜒𝑁2𝜋0.25\chi N/2\pi=0.25italic_χ italic_N / 2 italic_π = 0.25 MHz in both data and simulations. This transition marks the boundary between phase I and phase III. Additionally, at χN/2π=1.0𝜒𝑁2𝜋1.0\chi N/2\pi=1.0italic_χ italic_N / 2 italic_π = 1.0 MHz we observe a dip in the short-time oscillation frequency of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | (Fig. 4c), marking a transition between phase III and phase II. For this scan, we do not use the long-time oscillation amplitude as an order parameter due to poor signal-to-noise for smaller values of χN𝜒𝑁\chi Nitalic_χ italic_N.

Conclusion

The demonstrated capability to emulate dynamical phases of superconductors in optical cavities opens exciting prospects for quantum simulation. For example, it will be interesting to see if our cavity simulator can engineer and probe topological superfluid phases [7, 44, 45, 46, 47, 48, 49] and understand competing superconducting orders [50, 51] in a single system, or else enable simulation of superfluidity in phenomena relevant to high energy physics [52, 53].

References

Methods

.1 Experimental setup: phase I to phase II transition

To explore the phase diagram cut in Fig. 2, we first load 105106superscript105superscript10610^{5}-10^{6}10 start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT - 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT Sr88superscriptSr88{}^{88}\mathrm{Sr}start_FLOATSUPERSCRIPT 88 end_FLOATSUPERSCRIPT roman_Sr atoms from a magneto-optical trap into an 813 nm optical lattice supported by a high-finesse optical cavity, similar to previous experiments [42, 54, 30, 35]. The resulting atomic cloud has a temperature of roughly 15μ15𝜇15~{}\mu15 italic_μK, resulting in a Gaussian distribution transverse to the cavity axis with standard deviation σy=σz=16μsubscript𝜎𝑦subscript𝜎𝑧16𝜇\sigma_{y}=\sigma_{z}=16~{}\muitalic_σ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 16 italic_μm (coordinates defined in Extended Data Fig. 1a). Further, the cloud is extended over thousands of lattice sites, forming a distribution along the cavity axis with a standard deviation σx=430μsubscript𝜎𝑥430𝜇\sigma_{x}=430~{}\muitalic_σ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = 430 italic_μm. We measure an axial trapping frequency of ωx/2π=165subscript𝜔𝑥2𝜋165\omega_{x}/2\pi=165~{}italic_ω start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT / 2 italic_π = 165kHz, giving a Lamb-Dicke parameter of η=0.17𝜂0.17\eta=0.17italic_η = 0.17 for excitation with 689689689~{}689nm light. At the measured temperature, η2(2n¯+1)=0.111superscript𝜂22¯𝑛10.11much-less-than1\eta^{2}(2\bar{n}+1)=0.11\ll 1italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 2 over¯ start_ARG italic_n end_ARG + 1 ) = 0.11 ≪ 1, placing the atoms in the Lamb-Dicke regime. We set a quantisation axis along y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG with a 2.42.42.42.4 G magnetic field and tune the lattice polarisation to a “magic angle” relative to this axis, such that the differential lattice shift between ground (|S01ketsuperscriptsubscript𝑆01\ket{{}^{1}\!S_{0}}| start_ARG start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ⟩) and excited (|P13,mJ=0ketsuperscriptsubscript𝑃13subscript𝑚𝐽0\ket{{}^{3}\!P_{1},m_{J}=0}| start_ARG start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT = 0 end_ARG ⟩) states vanishes [35]. Using piezoelectric actuators, we stabilise the cavity length to set the closest TEM00subscriptTEM00\textrm{TEM}_{00}TEM start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT resonance to be 51515151 MHz red-detuned from the atomic transition.

After loading into the lattice, we initialise the atoms with a y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG-polarised drive through the cavity which is nominally resonant with the atomic transition. Because the drive is far off-resonance from the cavity (which has linewidth κ/2π=153𝜅2𝜋153\kappa/2\pi=153italic_κ / 2 italic_π = 153 kHz at 689689689689 nm), the induced Rabi frequency is somewhat suppressed. Nonetheless, we find that roughly 5555 mW of power before the cavity is sufficient to drive the atoms with a π/2𝜋2\pi/2italic_π / 2 pulse in 100100100100 ns. We allow the atoms to settle for 2μ2𝜇2~{}\mu2 italic_μs in order to distinguish the desired physics from transient dynamics observed after state initialisation, which we attribute to undesired excitation of sideband transitions. We then shine a 461461461461 nm beam from the side of the cavity along the y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG direction, detuned from the |S01|P11ketsuperscriptsubscript𝑆01ketsuperscriptsubscript𝑃11\ket{{}^{1}\!S_{0}}-\ket{{}^{1}\!P_{1}}| start_ARG start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ⟩ - | start_ARG start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ⟩ transition by more than 10101010 GHz, in order to induce AC Stark shifts on the ground state. The beam has waists (wx,wz)=(1030μm,75μm)subscript𝑤𝑥subscript𝑤𝑧1030𝜇m75𝜇m(w_{x},w_{z})=(1030~{}\mathrm{\mu m},75~{}\mathrm{\mu m})( italic_w start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_w start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) = ( 1030 italic_μ roman_m , 75 italic_μ roman_m ) along the x^^𝑥\hat{x}over^ start_ARG italic_x end_ARG and z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG directions at the plane of the atoms, and its centre is displaced from the centre of the atomic cloud by x0=580μmsubscript𝑥0580𝜇mx_{0}=580~{}\mathrm{\mu m}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 580 italic_μ roman_m along the cavity axis. From these dimensions, we calculate an atomic density of states ρ(ω)𝜌𝜔\rho(\omega)italic_ρ ( italic_ω ) as a function of frequency shift which is roughly uniform between 00 and a maximum shift EWPlanck-constant-over-2-pisubscript𝐸W\hbar E_{\mathrm{W}}roman_ℏ italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT. We estimate that for the power and detuning used in this cut, the 461461461461 nm beam scatters off the atoms with an average rate of Rsc/2π=1.3subscript𝑅sc2𝜋1.3R_{\mathrm{sc}}/2\pi=1.3~{}italic_R start_POSTSUBSCRIPT roman_sc end_POSTSUBSCRIPT / 2 italic_π = 1.3kHz, roughly a factor of six smaller than γ/2π=7.5𝛾2𝜋7.5\gamma/2\pi=7.5~{}italic_γ / 2 italic_π = 7.5kHz, the spontaneous emission rate. Combined with collective emission from the atoms as described in the Readout section of the Methods, these dissipation processes set a maximum predicted coherence time in the system of 29μ29𝜇29~{}\mu29 italic_μs.

Refer to caption
Extended Data Fig. 1: Experimental configuration. a, Detailed diagram of the cavity and all relevant beams. A magnetic field along y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG sets the quantisation axis. The 813 nm optical lattice supported by the cavity has a tunable linear polarisation. We drive a π/2𝜋2\pi/2italic_π / 2 pulse with a beam polarised along y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG through the cavity, and during the experiment we probe the cavity resonance frequency using a second y^^𝑦\hat{y}over^ start_ARG italic_y end_ARG-polarised beam to measure atom number. A 461 nm beam far-detuned from the |S01|P11ketsuperscriptsubscript𝑆01ketsuperscriptsubscript𝑃11\ket{{}^{1}\!S_{0}}-\ket{{}^{1}\!P_{1}}| start_ARG start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ⟩ - | start_ARG start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ⟩ transition shines on the atoms from the side of the cavity, inducing AC Stark shifts. We probe signals transmitted through the cavity using a balanced heterodyne detector. b, Fluorescence image of the two atomic clouds used when scanning through phase III in Figs. 3 and 4. c, Frequency landscape of 689689689689 nm beams. The atomic drive frequency ωdrivesubscript𝜔drive\omega_{\mathrm{drive}}italic_ω start_POSTSUBSCRIPT roman_drive end_POSTSUBSCRIPT is resonant with the atomic transition. The cavity probe frequency ωcpsubscript𝜔cp\omega_{\mathrm{cp}}italic_ω start_POSTSUBSCRIPT roman_cp end_POSTSUBSCRIPT is nominally centred with the cavity resonance frequency, 51515151 MHz red-detuned from the atomic transition. The local oscillator used in heterodyne detection has frequency ωLOsubscript𝜔LO\omega_{\mathrm{LO}}italic_ω start_POSTSUBSCRIPT roman_LO end_POSTSUBSCRIPT and is 80 MHz blue-detuned from the atomic transition.

.2 Experimental setup: cuts through phase III

For the two cuts through phase III described in Figs. 3 and 4, we load the atoms in two clouds separated by 3 mm, as shown in Extended Data Fig. 1b. The left cloud has an extent described by standard deviations (σx,σz)=(200μm,16μm)subscript𝜎𝑥subscript𝜎𝑧200𝜇m16𝜇m(\sigma_{x},\sigma_{z})=(200~{}\mathrm{\mu m},16~{}\mathrm{\mu m})( italic_σ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) = ( 200 italic_μ roman_m , 16 italic_μ roman_m ). The right cloud has a similar extent along σzsubscript𝜎𝑧\sigma_{z}italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT but is broader along the cavity axis. We tune the lattice polarisation to point along z^^𝑧\hat{z}over^ start_ARG italic_z end_ARG, which breaks the magic angle condition and introduces a differential trap depth between ground and excited states of 0.470.470.470.47 MHz for atoms experiencing peak lattice intensity. Due to their finite temperature, the atoms experience a spread in lattice intensities which leads to an inhomogeneous trap depth. We estimate the induced distribution of energy shifts by assuming the atoms occupy a 2D Gaussian distribution radially with standard deviation σy=σz=16μmsubscript𝜎𝑦subscript𝜎𝑧16𝜇m\sigma_{y}=\sigma_{z}=16~{}\mathrm{\mu m}italic_σ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 16 italic_μ roman_m, compared to the lattice waist wy=wz=80μmsubscript𝑤𝑦subscript𝑤𝑧80𝜇mw_{y}=w_{z}=80~{}\mathrm{\mu m}italic_w start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = italic_w start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 80 italic_μ roman_m. This produces a peaked distribution equivalent to the narrow peak in Fig. 3a.

In these experiments, we perform a π/2𝜋2\pi/2italic_π / 2 pulse as before and then immediately shine a 461461461461 nm beam centred on the left (“bright”) atomic cloud. Unlike in the previous cut, we do not wait for transient dynamics to settle after state initialisation, for the sake of simplicity. We do not see major differences between observed and expected behaviour when omitting the wait period. The beam has waists (wx,wz)=(1700μm,80μm)subscript𝑤𝑥subscript𝑤𝑧1700𝜇m80𝜇m(w_{x},w_{z})=(1700~{}\mathrm{\mu m},80~{}\mathrm{\mu m})( italic_w start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_w start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) = ( 1700 italic_μ roman_m , 80 italic_μ roman_m ). We install a beam block just before the chamber that clips the beam tail that would otherwise hit the right (“dark”) atomic cloud. The 3 mm separation between clouds is sufficiently large to ensure the beam does not significantly diffract around the beam block. The beam shifts the mean energy of the bright cloud away from that of the dark cloud, introducing a tunable δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT. While nominally, we hold EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT fixed while scanning δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT to explore the phase II to phase III transition, in reality the finite size of the blue beam introduces an additional contribution to EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT on the bright cloud. As δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT increases, therefore, both the size and shape of the single-particle energy distribution changes. We calculate EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT in a consistent manner by estimating the standard deviation of the bright cloud distribution and matching the result to a uniform distribution with the same standard deviation (see Supplemental Online Material). In the main text, we report the value of EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT obtained at the phase transition point for the phase II to phase III transition. As we increase the 461461461461 nm beam power, the atoms also scatter more blue photons. At the largest applied AC Stark shift, we estimate that the bright cloud experiences a scattering rate of Rsc/2π=3.4subscript𝑅sc2𝜋3.4R_{\mathrm{sc}}/2\pi=3.4~{}italic_R start_POSTSUBSCRIPT roman_sc end_POSTSUBSCRIPT / 2 italic_π = 3.4kHz, resulting in lower coherence times for traces with large δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT. However, this excess decoherence does not bias our measurements of oscillation amplitude and frequency at times t8μ𝑡8𝜇t\leq 8~{}\muitalic_t ≤ 8 italic_μs.

.3 Readout

After initialisation in all experiments, the atomic ensemble establishes a small electric field inside the cavity which adiabatically follows S^delimited-⟨⟩superscript^𝑆\langle\hat{S}^{-}\rangle⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟩ [30]. Assuming homogeneous atom-light coupling (see next section for modifications due to inhomogeneous coupling), the complex amplitude of the electric field leaking out of the cavity is given by

αout(t)=gδcκmS^(t),subscript𝛼out𝑡𝑔subscript𝛿𝑐subscript𝜅𝑚delimited-⟨⟩superscript^𝑆𝑡\alpha_{\mathrm{out}}(t)=-\frac{g}{\delta_{c}}\sqrt{\kappa_{m}}\langle\hat{S}^% {-}(t)\rangle,italic_α start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT ( italic_t ) = - divide start_ARG italic_g end_ARG start_ARG italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG square-root start_ARG italic_κ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG ⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_t ) ⟩ , (2)

where αoutsubscript𝛼out\alpha_{\mathrm{out}}italic_α start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT has units of photons/sphotonss\sqrt{\mathrm{photons}/\mathrm{s}}square-root start_ARG roman_photons / roman_s end_ARG. Here, 2g/2π=10.62𝑔2𝜋10.62g/2\pi=10.62 italic_g / 2 italic_π = 10.6 kHz is the single-photon Rabi frequency for an atom maximally coupled to the cavity, δc/2π=(ωcωa)/2π=51subscript𝛿𝑐2𝜋subscript𝜔𝑐subscript𝜔𝑎2𝜋51\delta_{c}/2\pi=(\omega_{c}-\omega_{a})/2\pi=-51italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT / 2 italic_π = ( italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT ) / 2 italic_π = - 51 MHz is the detuning between the cavity resonance frequency ωcsubscript𝜔𝑐\omega_{c}italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and the atomic transition frequency ωasubscript𝜔𝑎\omega_{a}italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT, and κm/2π=41subscript𝜅𝑚2𝜋41\kappa_{m}/2\pi=41~{}italic_κ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT / 2 italic_π = 41kHz is the rate at which photons incident on the cavity mirror are transmitted. αoutsubscript𝛼out\alpha_{\mathrm{out}}italic_α start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT is a form of dissipation in the system equivalent to superradiance in a detuned cavity limit. Over the region of parameter space explored in this work, we estimate that the dissipation rate never exceeds γSR/2π=2.3subscript𝛾SR2𝜋2.3\gamma_{\mathrm{SR}}/2\pi=2.3italic_γ start_POSTSUBSCRIPT roman_SR end_POSTSUBSCRIPT / 2 italic_π = 2.3 kHz. We measure the detuned superradiant light as it leaks out of the cavity using balanced heterodyne detection, providing us with a real-time probe of S^ΔBCSproportional-todelimited-⟨⟩superscript^𝑆subscriptΔBCS\langle\hat{S}^{-}\rangle\propto\Delta_{\mathrm{BCS}}⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟩ ∝ roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT. In plots of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | in the main text, we calculate the square magnitude of this quantity and average over 400400400400-1600160016001600 shots of the experiment, taken within 2222-10101010 minutes. We then perform background subtraction to remove vacuum noise power from the heterodyne signal. Finally, we take a signed square root of the result to return an estimate of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | which averages to zero in the absence of a real signal. This explains why some traces dip below zero despite representing a nonnegative quantity.

Additionally, the cavity experiences a (dispersive) shift in its resonance frequency proportional to the number of atoms. We use this fact to measure atom number by sending a pulsed probe tone through the cavity and measuring the frequency shift using the transmitted light. Since this light is spectrally resolved from the light emitted by the atoms, we are able to measure both signals independently on our heterodyne detector. The different optical frequencies involved in the heterodyne beat are compared in Extended Data Fig. 1c.

Refer to caption
Extended Data Fig. 2: Numerical simulation of the dynamical phase diagram based on Eq. (3). We identify the dynamical phases based on the long-time average (a) and the long-time standard deviation (b) of |ΔBCS(t)|subscriptΔBCS𝑡|\Delta_{\mathrm{BCS}}(t)|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) |, normalised by its initial value Δinit|ΔBCS(0)|subscriptΔinitsubscriptΔBCS0\Delta_{\mathrm{init}}\equiv|\Delta_{\mathrm{BCS}}(0)|roman_Δ start_POSTSUBSCRIPT roman_init end_POSTSUBSCRIPT ≡ | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( 0 ) |. The white solid lines mark the corresponding dynamical phase boundaries, analytically derived from Eq. (1), which agree with the numerical results based on Eq. (3). The white dashed lines mark an extra dynamical phase transition that only exists for Eq. (1).

.4 Dynamical phase diagram

The unitary dynamics of our system is modelled by an effective atom-only Hamiltonian, given by

H^=χjkζjζkS^j+S^k+kεkS^kz,^𝐻Planck-constant-over-2-pi𝜒subscript𝑗𝑘subscript𝜁𝑗subscript𝜁𝑘subscriptsuperscript^𝑆𝑗subscriptsuperscript^𝑆𝑘subscript𝑘subscript𝜀𝑘subscriptsuperscript^𝑆𝑧𝑘\hat{H}=\hbar\chi\sum_{jk}\zeta_{j}\zeta_{k}\hat{S}^{+}_{j}\hat{S}^{-}_{k}+% \sum_{k}\varepsilon_{k}\hat{S}^{z}_{k},over^ start_ARG italic_H end_ARG = roman_ℏ italic_χ ∑ start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , (3)

where S^k+,,S^kx,y,zsuperscriptsubscript^𝑆𝑘superscriptsubscript^𝑆𝑘𝑥𝑦𝑧\hat{S}_{k}^{+,-},\hat{S}_{k}^{x,y,z}over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + , - end_POSTSUPERSCRIPT , over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x , italic_y , italic_z end_POSTSUPERSCRIPT are the standard spin-1/2 operators on atom k𝑘kitalic_k. We define χ=g2δc/(δc2+κ2/4)𝜒superscript𝑔2subscript𝛿𝑐superscriptsubscript𝛿𝑐2superscript𝜅24\chi=-g^{2}\delta_{c}/(\delta_{c}^{2}+\kappa^{2}/4)italic_χ = - italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT / ( italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 ), where g𝑔gitalic_g and δcsubscript𝛿𝑐\delta_{c}italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT are as defined in the previous section, and κ𝜅\kappaitalic_κ is the cavity linewidth. The spatial dependence of the interaction term is characterised by ζj=cos(jϕ)subscript𝜁𝑗𝑗italic-ϕ\zeta_{j}=\cos(j\phi)italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = roman_cos ( start_ARG italic_j italic_ϕ end_ARG ) with ϕ=πλL/λcitalic-ϕ𝜋subscript𝜆𝐿subscript𝜆𝑐\phi=\pi\lambda_{L}/\lambda_{c}italic_ϕ = italic_π italic_λ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, which arises because the lattice wavelength λL=813subscript𝜆𝐿813\lambda_{L}=813italic_λ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 813 nm is incommensurate with the cavity wavelength λc=689subscript𝜆𝑐689\lambda_{c}=689italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 689 nm. In contrast to Eq. (1), Eq. (3) becomes non-integrable due to the inhomogeneity in the interaction term. Nevertheless, as shown in Extended Data Fig. 2, Eq. (3) leads to a similar dynamical phase diagram as Eq. (1) if we

  1. i)

    Use a generalised superconducting order parameter ΔBCS=χkζkS^ksubscriptΔBCS𝜒subscript𝑘subscript𝜁𝑘delimited-⟨⟩subscriptsuperscript^𝑆𝑘\Delta_{\mathrm{BCS}}=\chi\sum_{k}\zeta_{k}\langle\hat{S}^{-}_{k}\rangleroman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT = italic_χ ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟩;

  2. ii)

    Interpret the π/2𝜋2\pi/2italic_π / 2-pulse as a pulse along the cavity axis under the Hamiltonian H^drive=ΩkζkSkysubscript^𝐻drivePlanck-constant-over-2-piΩsubscript𝑘subscript𝜁𝑘superscriptsubscript𝑆𝑘𝑦\hat{H}_{\mathrm{drive}}=\hbar\Omega\sum_{k}\zeta_{k}S_{k}^{y}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_drive end_POSTSUBSCRIPT = roman_ℏ roman_Ω ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT that generates the maximum possible |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, which occurs when Ωt=0.586πΩ𝑡0.586𝜋\Omega t=0.586\piroman_Ω italic_t = 0.586 italic_π;

  3. iii)

    Replace the atomic number N𝑁Nitalic_N by an effective atom number Neff=N/2subscript𝑁eff𝑁2N_{\mathrm{eff}}=N/2italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = italic_N / 2, such that χNeff𝜒subscript𝑁eff\chi N_{\mathrm{eff}}italic_χ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT represents the averaged interaction strength of Eq. (3).

We can still measure the generalised order parameter ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT using the field leaking out of the cavity as in the previous section, since with inhomogeneous coupling the transmitted field takes the form αout(t)=gδcκmkζkS^k(t)ΔBCSsubscript𝛼out𝑡𝑔subscript𝛿𝑐subscript𝜅𝑚subscript𝑘subscript𝜁𝑘delimited-⟨⟩superscriptsubscript^𝑆𝑘𝑡proportional-tosubscriptΔBCS\alpha_{\mathrm{out}}(t)=-\tfrac{g}{\delta_{c}}\sqrt{\kappa_{m}}\sum_{k}\zeta_% {k}\langle\hat{S}_{k}^{-}(t)\rangle\propto\Delta_{\mathrm{BCS}}italic_α start_POSTSUBSCRIPT roman_out end_POSTSUBSCRIPT ( italic_t ) = - divide start_ARG italic_g end_ARG start_ARG italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG square-root start_ARG italic_κ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟨ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_t ) ⟩ ∝ roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT. The dynamical phase diagram in Extended Data Fig. 2 is numerically calculated based on unitary evolution under Eq. (3), with a single-particle dispersion εk/subscript𝜀𝑘Planck-constant-over-2-pi\varepsilon_{k}/\hbaritalic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT / roman_ℏ sampled from a uniform distribution in the frequency range [δs/2EW/2,δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[-\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,-\delta_{\mathrm{s}}/2+E_{\mathrm{W}}% /2][ - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ] and [δs/2EW/2,δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,\delta_{\mathrm{s}}/2+E_{\mathrm{W}}/2][ italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ]. There χN𝜒𝑁\chi Nitalic_χ italic_N corresponds to the averaged interaction strength of Eq. (3). We identify the dynamical phases based on the long-time average of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, given by

Avg(|ΔBCS|)=limT1T0T|ΔBCS(t)|𝑑t,AvgsubscriptΔBCSsubscript𝑇1𝑇superscriptsubscript0𝑇subscriptΔBCS𝑡differential-d𝑡\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)=\lim_{T\to\infty}\frac{1}{T}\int_{0}^{T}% |\Delta_{\mathrm{BCS}}(t)|dt,roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) = roman_lim start_POSTSUBSCRIPT italic_T → ∞ end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) | italic_d italic_t , (4)

as well as the long-time oscillation amplitude of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |. Since the oscillations in |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | might deviate from a sinusoidal form, for theoretical simulations it is easier to use the standard deviation as a measure of the oscillation amplitude:

Std(|ΔBCS|)StdsubscriptΔBCS\displaystyle\mathrm{Std}(|\Delta_{\mathrm{BCS}}|)roman_Std ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) (5)
=[limT1T0T(|ΔBCS(t)|Avg(|ΔBCS|))2𝑑t]1/2.absentsuperscriptdelimited-[]subscript𝑇1𝑇superscriptsubscript0𝑇superscriptsubscriptΔBCS𝑡AvgsubscriptΔBCS2differential-d𝑡12\displaystyle=\bigg{[}\lim_{T\to\infty}\frac{1}{T}\int_{0}^{T}\Big{(}|\Delta_{% \mathrm{BCS}}(t)|-\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)\Big{)}^{2}dt\bigg{]}^{% 1/2}.= [ roman_lim start_POSTSUBSCRIPT italic_T → ∞ end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) | - roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_t ] start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT .

When comparing to experimental data, we measure oscillation amplitude using the Fourier spectrum because technical noise in the experiment contributes to the standard deviation of the time traces (see Fig. 3d). The dynamical phases can be characterised in theoretical simulations by

  • Phase I: Avg(|ΔBCS|)=0AvgsubscriptΔBCS0\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)=0roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) = 0, Std(|ΔBCS|)=0StdsubscriptΔBCS0\mathrm{Std}(|\Delta_{\mathrm{BCS}}|)=0roman_Std ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) = 0.

  • Phase II: Avg(|ΔBCS|)>0AvgsubscriptΔBCS0\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)>0roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) > 0, Std(|ΔBCS|)=0StdsubscriptΔBCS0\mathrm{Std}(|\Delta_{\mathrm{BCS}}|)=0roman_Std ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) = 0.

  • Phase III: Avg(|ΔBCS|)>0AvgsubscriptΔBCS0\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)>0roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) > 0, Std(|ΔBCS|)>0StdsubscriptΔBCS0\mathrm{Std}(|\Delta_{\mathrm{BCS}}|)>0roman_Std ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) > 0.

Refer to caption
Extended Data Fig. 3: Alternative approach for phase III. a, Simulation of an alternative experimental sequence. As described by the timing sequence at the top, we simulate an experiment that prepares the initial state using a π/2𝜋2\pi/2italic_π / 2 pulse, lets the system evolve under a bimodal distribution of single-particle energy (see the inset) until |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | reaches its minimum value, and then quenches the system back to a continuous distribution of single-particle energies (see the inset). The theoretically predicted time trace of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | with χN/EW=1.0𝜒𝑁subscript𝐸W1.0\chi N/E_{\mathrm{W}}=1.0italic_χ italic_N / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = 1.0 and δs,init/EW=1.6subscript𝛿sinitsubscript𝐸W1.6\delta_{\mathrm{s,init}}/E_{\mathrm{W}}=1.6italic_δ start_POSTSUBSCRIPT roman_s , roman_init end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = 1.6 is shown at the bottom. The blue (grey dashed) line shows phase III dynamics under a continuous (bimodal) distribution. b, Long-time standard deviation of |ΔBCS(t)|subscriptΔBCS𝑡|\Delta_{\mathrm{BCS}}(t)|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) | after quenching to the continuous distribution shown in a. The white lines are dynamical phase boundaries for bimodal distributions (see Extended Data Fig. 2). Nearly all the choices of parameter for phase III using bimodal distributions can lead to phase III behaviours after quenching to the continuous distribution.

The dynamical phase boundaries (white solid lines) in Extended Data Fig. 2 are analytically calculated using a Lax analysis applied to Eq. (1), similar to the one discussed in [9, 16], and take the following form (see Supplemental Online Material for a detailed derivation):

  • Phase I to phase II:

    χNEW=1πwithδsEW[0,1],δsEW=1withχNEW[1π,2π].formulae-sequence𝜒𝑁subscript𝐸W1𝜋withformulae-sequencesubscript𝛿ssubscript𝐸W01formulae-sequencesubscript𝛿ssubscript𝐸W1with𝜒𝑁subscript𝐸W1𝜋2𝜋\begin{gathered}\frac{\chi N}{E_{\mathrm{W}}}=\frac{1}{\pi}\quad\mathrm{with}% \quad\frac{\delta_{\mathrm{s}}}{E_{\mathrm{W}}}\in[0,1],\\ \frac{\delta_{\mathrm{s}}}{E_{\mathrm{W}}}=1\quad\mathrm{with}\quad\frac{\chi N% }{E_{\mathrm{W}}}\in\bigg{[}\frac{1}{\pi},\frac{2}{\pi}\bigg{]}.\end{gathered}start_ROW start_CELL divide start_ARG italic_χ italic_N end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG italic_π end_ARG roman_with divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG ∈ [ 0 , 1 ] , end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG = 1 roman_with divide start_ARG italic_χ italic_N end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG ∈ [ divide start_ARG 1 end_ARG start_ARG italic_π end_ARG , divide start_ARG 2 end_ARG start_ARG italic_π end_ARG ] . end_CELL end_ROW (6)
  • Phase I to phase III:

    χNEW=2πwithδsEW>1.formulae-sequence𝜒𝑁subscript𝐸W2𝜋withsubscript𝛿ssubscript𝐸W1\frac{\chi N}{E_{\mathrm{W}}}=\frac{2}{\pi}\quad\mathrm{with}\quad\frac{\delta% _{\mathrm{s}}}{E_{\mathrm{W}}}>1.divide start_ARG italic_χ italic_N end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG = divide start_ARG 2 end_ARG start_ARG italic_π end_ARG roman_with divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG > 1 . (7)
  • Phase II to phase III:

    δsEW=csc(EWχNmissing)withχNEW>2π.formulae-sequencesubscript𝛿𝑠subscript𝐸Wsubscript𝐸W𝜒𝑁missingwith𝜒𝑁subscript𝐸W2𝜋\frac{\delta_{s}}{E_{\mathrm{W}}}=\csc\bigg(\frac{E_{\mathrm{W}}}{\chi N}\bigg% {missing})\quad\mathrm{with}\quad\frac{\chi N}{E_{\mathrm{W}}}>\frac{2}{\pi}.divide start_ARG italic_δ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG = roman_csc ( start_ARG divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG roman_missing end_ARG ) roman_with divide start_ARG italic_χ italic_N end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG > divide start_ARG 2 end_ARG start_ARG italic_π end_ARG . (8)

The analytical results agree with the numerical simulations for Eq. (3). The only difference is that Eq. (1) predicts an extra dynamical phase transition marked by the white dashed line. The dynamical phase boundaries shown in Fig. 1c are constructed by the analytical formulas above.

.5 Phase III dynamics: the case of a continuous single-particle dispersion

In this manuscript, we generate phase III using a bimodal single-particle dispersion, represented with idealized assumptions by Fig. 1b and with actual experimental conditions by Fig. 3a. Here we show that this experimentally convenient approach generates similar phase III dynamics to the one obtained in the case of a continuous dispersion but with different initial conditions.

This is done by the protocol shown in Extended Data Fig. 3a, which uses a bimodal distribution (δs,init>EWsubscript𝛿sinitsubscript𝐸W\delta_{\mathrm{s,init}}>E_{\mathrm{W}}italic_δ start_POSTSUBSCRIPT roman_s , roman_init end_POSTSUBSCRIPT > italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT) just to generate a state with minimum |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |. At this point the system’s dispersion is restored to be continuous by setting δs,final=EWsubscript𝛿sfinalsubscript𝐸W\delta_{\mathrm{s,final}}=E_{\mathrm{W}}italic_δ start_POSTSUBSCRIPT roman_s , roman_final end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT. This approach more closely resembles the phase III quench discussed in actual BCS superconductors, where phase III is observed by quenching from a state with weak BCS paring gap |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | to one with a strong pairing gap [8]. Numerical simulations based on Eq. (3) show that nearly all choices of parameters that lead to phase III using a bimodal distribution also lead to phase III dynamics when quenching to a continuous distribution. The only exception is a small parameter regime close to the boundary between phase III and phase II (see Extended Data Fig. 3b). Note that here we use definitions for ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT, the π/2𝜋2\pi/2italic_π / 2 pulse, and χN𝜒𝑁\chi Nitalic_χ italic_N which correspond to Eq. (3), as explained in the previous section.

.6 Numerical simulations

The black dashed lines in Figs. 2, 3, and 4 are computed from unitary evolution under Eq. (3) using a single-particle dispersion εksubscript𝜀𝑘\varepsilon_{k}italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, sampled from the experimentally engineered distribution.

The black solid lines in the same figures are obtained by adding dissipative processes and axial motion to Eq. (3). The system dynamics is described by the following master equation for the density matrix ρ^^𝜌\hat{\rho}over^ start_ARG italic_ρ end_ARG:

dρ^dt=i[H^,ρ^]+(L^c)[ρ^]+k(L^s,k)[ρ^]+k(L^el,k)[ρ^].𝑑^𝜌𝑑𝑡𝑖Planck-constant-over-2-pi^𝐻^𝜌subscript^𝐿𝑐delimited-[]^𝜌subscript𝑘subscript^𝐿𝑠𝑘delimited-[]^𝜌subscript𝑘subscript^𝐿el𝑘delimited-[]^𝜌\frac{d\hat{\rho}}{dt}=-\frac{i}{\hbar}[\hat{H},\hat{\rho}]+\mathcal{L}(\hat{L% }_{c})[\hat{\rho}]+\sum_{k}\mathcal{L}(\hat{L}_{s,k})[\hat{\rho}]+\sum_{k}% \mathcal{L}(\hat{L}_{\mathrm{el},k})[\hat{\rho}].divide start_ARG italic_d over^ start_ARG italic_ρ end_ARG end_ARG start_ARG italic_d italic_t end_ARG = - divide start_ARG italic_i end_ARG start_ARG roman_ℏ end_ARG [ over^ start_ARG italic_H end_ARG , over^ start_ARG italic_ρ end_ARG ] + caligraphic_L ( over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) [ over^ start_ARG italic_ρ end_ARG ] + ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT caligraphic_L ( over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_s , italic_k end_POSTSUBSCRIPT ) [ over^ start_ARG italic_ρ end_ARG ] + ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT caligraphic_L ( over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_el , italic_k end_POSTSUBSCRIPT ) [ over^ start_ARG italic_ρ end_ARG ] . (9)

The Lindblad superoperator takes the form (L^)[ρ^]=L^ρ^L^12(L^L^ρ^+ρ^L^L^)^𝐿delimited-[]^𝜌^𝐿^𝜌superscript^𝐿12superscript^𝐿^𝐿^𝜌^𝜌superscript^𝐿^𝐿\mathcal{L}(\hat{L})[\hat{\rho}]=\hat{L}\hat{\rho}\hat{L}^{{\dagger}}-\frac{1}% {2}(\hat{L}^{{\dagger}}\hat{L}\hat{\rho}+\hat{\rho}\hat{L}^{{\dagger}}\hat{L})caligraphic_L ( over^ start_ARG italic_L end_ARG ) [ over^ start_ARG italic_ρ end_ARG ] = over^ start_ARG italic_L end_ARG over^ start_ARG italic_ρ end_ARG over^ start_ARG italic_L end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( over^ start_ARG italic_L end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_L end_ARG over^ start_ARG italic_ρ end_ARG + over^ start_ARG italic_ρ end_ARG over^ start_ARG italic_L end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_L end_ARG ). Superradiance through the cavity is described by the jump operator

L^c=ΓkζkS^k,subscript^𝐿𝑐Γsubscript𝑘subscript𝜁𝑘subscriptsuperscript^𝑆𝑘\hat{L}_{c}=\sqrt{\Gamma}\sum_{k}\zeta_{k}\hat{S}^{-}_{k},over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = square-root start_ARG roman_Γ end_ARG ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , (10)

where Γ=χκ/δcΓ𝜒𝜅subscript𝛿𝑐\Gamma=\chi\kappa/\delta_{c}roman_Γ = italic_χ italic_κ / italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT. Spontaneous emission from the atomic excited state is described by the jump operator

L^s,k=γS^k,subscript^𝐿𝑠𝑘𝛾subscriptsuperscript^𝑆𝑘\hat{L}_{s,k}=\sqrt{\gamma}\hat{S}^{-}_{k},over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_s , italic_k end_POSTSUBSCRIPT = square-root start_ARG italic_γ end_ARG over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , (11)

where γ/2π=7.5𝛾2𝜋7.5\gamma/2\pi=7.5~{}italic_γ / 2 italic_π = 7.5kHz is the spontaneous emission rate out of P13superscriptsubscript𝑃13{}^{3}\!P_{1}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. Single-particle decoherence is described by the jump operator

L^el,k=2γelS^kz,subscript^𝐿el𝑘2subscript𝛾elsubscriptsuperscript^𝑆𝑧𝑘\hat{L}_{\mathrm{el},k}=\sqrt{2\gamma_{\mathrm{el}}}\hat{S}^{z}_{k},over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_el , italic_k end_POSTSUBSCRIPT = square-root start_ARG 2 italic_γ start_POSTSUBSCRIPT roman_el end_POSTSUBSCRIPT end_ARG over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , (12)

where γelsubscript𝛾el\gamma_{\mathrm{el}}italic_γ start_POSTSUBSCRIPT roman_el end_POSTSUBSCRIPT is a fitting parameter taking into account free space scattering from the AC Stark shift beam, as well as other decoherence processes in the experiment (see Supplemental Online Material). These are the dominant dissipative processes in our system.

The axial trapping frequency of the lattice is 165165165165 kHz and is therefore smaller than the spin-exchange interaction rate χN𝜒𝑁\chi Nitalic_χ italic_N for most of the experiments. As a consequence, in contrast to the idealised model where atoms are assumed to be frozen, motional processes need to be accounted for, even though they are suppressed in the Lamb-Dicke regime. As shown in the Supplemental Online Material, axial motion can lead to a faster damping rate of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | oscillations. The predicted dynamical phase boundaries are nevertheless unaffected by the axial motion.

All the numerical simulations are computed using the mean-field approximation, which replaces the operators S^kx,y,zsubscriptsuperscript^𝑆𝑥𝑦𝑧𝑘\hat{S}^{x,y,z}_{k}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_x , italic_y , italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT by their expectation values S^kx,y,zdelimited-⟨⟩subscriptsuperscript^𝑆𝑥𝑦𝑧𝑘\langle\hat{S}^{x,y,z}_{k}\rangle⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_x , italic_y , italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟩ in the Heisenberg equation of motion. The mean-field treatment of the BCS model is predicted to be exact in the thermodynamic limit due to the infinite-range nature of the interactions [8]. The atom number for numerical simulation is set to 5000500050005000 for the ideal conditions and 2000200020002000 for actual experimental conditions. We rescale χ𝜒\chiitalic_χ to match χN𝜒𝑁\chi Nitalic_χ italic_N with experimental values.

Refer to caption
Extended Data Fig. 4: Collective scaling in damped phase II oscillations. a, Time dynamics of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | measured after engineering an initial phase spread over [0,φ0]0subscript𝜑0[0,\varphi_{0}][ 0 , italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] where φ0=0.8πsubscript𝜑00.8𝜋\varphi_{0}=0.8\piitalic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.8 italic_π as in Fig. 2d, plotted in absolute frequency units (pink trace). The solid black curve represents a numerical simulation of the full system, whereas the dashed curve represents an ideal simulation neglecting dissipation and motional effects. We obtain a crude estimate of oscillation frequency in the experimental data by fitting a trough and peak to smoothed data (after subtracting slow-moving behaviour) within the first couple μ𝜇\muitalic_μs (magenta points), using these points to infer a half period of oscillation, and with uncertainties determined using a 90% amplitude threshold (pink bands). b, Comparing oscillation frequency estimates of experimental data (pink squares) with those of ideal simulations (black dots) for different φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. Theory oscillation frequencies are calculated using a Fourier transform from t=0μ𝑡0𝜇t=0~{}\muitalic_t = 0 italic_μs to t=5μ𝑡5𝜇t=5~{}\muitalic_t = 5 italic_μs. Error bars for experimental data are set by the minimum and maximum frequencies implied by uncertainties in the half period shown in a. The two frequency estimates agree within error bars. c, Collective scaling of oscillation frequency. For each φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT measured in the experiment, we plot the oscillation frequency against the long-time BCS gap ΔsubscriptΔ\Delta_{\infty}roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT, calculated at t=18μ𝑡18𝜇t=18~{}\muitalic_t = 18 italic_μs for ideal simulations and at t=3μ𝑡3𝜇t=3~{}\muitalic_t = 3 italic_μs for experimental data. The solid black line is defined by ωosc=2Δsubscript𝜔osc2subscriptΔ\omega_{\mathrm{osc}}=2\Delta_{\infty}italic_ω start_POSTSUBSCRIPT roman_osc end_POSTSUBSCRIPT = 2 roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT, demonstrating the expected scaling for Higgs oscillations. The dashed pink line represents a linear fit to the experimental data. The pink band shows the uncertainty in the slope assuming correlated error in ωoscsubscript𝜔osc\omega_{\mathrm{osc}}italic_ω start_POSTSUBSCRIPT roman_osc end_POSTSUBSCRIPT, such that its bounds are defined by linear fits to the data assuming maximum and minimum values for ωoscsubscript𝜔osc\omega_{\mathrm{osc}}italic_ω start_POSTSUBSCRIPT roman_osc end_POSTSUBSCRIPT as defined by the error bars.

.7 Higgs-like behaviour in short-time phase II dynamics

When quenching into phase II, we observe highly damped oscillations in |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, reminiscent of the Higgs oscillations predicted to arise in this regime of the BCS model. Here, we analyse traces from Fig. 2d, in which we engineer a variable phase spread φ(ωk)[0,φ0]𝜑subscript𝜔𝑘0subscript𝜑0\varphi(\omega_{k})\in[0,\varphi_{0}]italic_φ ( italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ∈ [ 0 , italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] before quenching into phase II, to study this potential connection.

In the BCS model, Higgs oscillations can be characterised by their frequency, which should scale with the long-time BCS order parameter ΔsubscriptΔ\Delta_{\infty}roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT as ωosc=2Δsubscript𝜔osc2subscriptΔ\omega_{\mathrm{osc}}=2\Delta_{\infty}italic_ω start_POSTSUBSCRIPT roman_osc end_POSTSUBSCRIPT = 2 roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT [8]. We confirm this scaling in theory by measuring the oscillation frequency from t=0μ𝑡0𝜇t=0~{}\muitalic_t = 0 italic_μs to t=5μ𝑡5𝜇t=5~{}\muitalic_t = 5 italic_μs in idealised numerical simulations ignoring dissipation and motional effects (black dashed line in Extended Data Fig. 4a). For different values of the phase spread extent φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, the system reaches its steady state at a different long-time BCS gap ΔsubscriptΔ\Delta_{\infty}roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT. By parametrically plotting the oscillation frequency vs. 2Δ2subscriptΔ2\Delta_{\infty}2 roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT as a function of φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT in panel c, we observe the expected scaling.

As discussed in the main text, oscillations in |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | are consistently smaller and decay more quickly in experiment than in theory. Nonetheless, we obtain a crude estimate of the experimental oscillation frequency by measuring a half period from the first trough and peak of |ΔBCS(t)|subscriptΔBCS𝑡|\Delta_{\mathrm{BCS}}(t)|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) |, as shown in panel a. In panel b, we compare the frequency in experimental data to that of ideal simulations for different φ0subscript𝜑0\varphi_{0}italic_φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and show that the frequencies agree within error bars. This suggests that the transient dynamics observed in |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | are related to the Higgs oscillations present in theory.

Although the experimental oscillation frequency agrees with simulations, the steady-state order parameter ΔsubscriptΔ\Delta_{\infty}roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT is much smaller, as can be seen in Extended Data Fig. 4a. As a result, the measured frequencies scale linearly with ΔsubscriptΔ\Delta_{\infty}roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT but with a different prefactor. In panel c, we fit a linear relation of ωosc=(1.70.4+0.7)×2Δsubscript𝜔oscsubscriptsuperscript1.70.70.42subscriptΔ\omega_{\mathrm{osc}}=(1.7^{+0.7}_{-0.4})\times 2\Delta_{\infty}italic_ω start_POSTSUBSCRIPT roman_osc end_POSTSUBSCRIPT = ( 1.7 start_POSTSUPERSCRIPT + 0.7 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - 0.4 end_POSTSUBSCRIPT ) × 2 roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT to the data, where the slope uncertainty bounds are calculated assuming errors in ωoscsubscript𝜔osc\omega_{\mathrm{osc}}italic_ω start_POSTSUBSCRIPT roman_osc end_POSTSUBSCRIPT are perfectly correlated. Most of the reduction in ΔsubscriptΔ\Delta_{\infty}roman_Δ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT can be captured in theory by considering dissipation and motional effects (solid black trace). We see an additional small difference in |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | between full numerical simulations and experimental data, which we attribute to drifts in experimental alignments and calibration factors over time. This difference is not apparent in Fig. 2d because we plot |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | in normalised units.

.8 Data availability

The datasets generated for this study are available in a Dryad repository with the identifier doi:10.5061/dryad.7h44j100j. [55]

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 National Science Foundation under Grant Numbers 1734006 (Physics Frontier Center) and OMA-2016244 (QLCI), NIST, DARPA/ARO W911NF-19-1-0210 and W911NF-16-1-0576, and AFOSR grants FA9550-18-1-0319 and FA9550-19-1-0275. We acknowledge helpful discussions with Emil Yuzbashyan, Victor Gurarie, and Adam Kaufman.

Author contributions

D. J. Y., E. Y. S., Z. N., V. M. S., and J. K. T. collected and analysed the experimental data. A. C., D. B., D. W., R. J. L.-S., and A. M. R. developed the theoretical model. All authors discussed the results and contributed to the preparation of the manuscript.

Competing interests

The authors declare no competing interests.

Additional information

Supplementary Information is available for this paper. Correspondence and requests for materials should be addressed to James K. Thompson (jkt@jila.colorado.edu) or to Ana Maria Rey (arey@jila.colorado.edu). Reprints and permissions information are available at www.nature.com/reprints.

Supplementary Information

S1 Dynamical phase diagram

In this section, we perform detailed analysis of the dynamical phase diagram shown in Fig. 1c in the main text. We start from analytic calculation in the case of homogeneous couplings, and then generalize to the case of inhomogeneous couplings. Finally we discuss the application of our findings to experimental conditions.

S1.1 Homogeneous model

First we discuss the dynamical phases for the BCS Hamiltonian with homogeneous couplings,

H^=χS^+S^+kεkS^kz.^𝐻Planck-constant-over-2-pi𝜒superscript^𝑆superscript^𝑆subscript𝑘subscript𝜀𝑘superscriptsubscript^𝑆𝑘𝑧\hat{H}=\hbar\chi\hat{S}^{+}\hat{S}^{-}+\sum_{k}\varepsilon_{k}\hat{S}_{k}^{z}.over^ start_ARG italic_H end_ARG = roman_ℏ italic_χ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT . (S1)

We will set =1Planck-constant-over-2-pi1\hbar=1roman_ℏ = 1. As shown in Ref. [8, 9], the dynamical phases can be determined using a mean-field Lax vector analysis. The Lax vector is defined as L(u)=Lx(u)x^+Ly(u)y^+Lz(u)z^𝐿𝑢superscript𝐿𝑥𝑢^𝑥superscript𝐿𝑦𝑢^𝑦superscript𝐿𝑧𝑢^𝑧\vec{L}(u)=L^{x}(u)\hat{x}+L^{y}(u)\hat{y}+L^{z}(u)\hat{z}over→ start_ARG italic_L end_ARG ( italic_u ) = italic_L start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ( italic_u ) over^ start_ARG italic_x end_ARG + italic_L start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ( italic_u ) over^ start_ARG italic_y end_ARG + italic_L start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_u ) over^ start_ARG italic_z end_ARG with components,

Lx(u)=kSkx(0)uεk/2,Ly(u)=kSky(0)uεk/2,Lz(u)=1χiSkz(0)uεk/2,formulae-sequencesuperscript𝐿𝑥𝑢subscript𝑘superscriptsubscript𝑆𝑘𝑥0𝑢subscript𝜀𝑘2formulae-sequencesuperscript𝐿𝑦𝑢subscript𝑘superscriptsubscript𝑆𝑘𝑦0𝑢subscript𝜀𝑘2superscript𝐿𝑧𝑢1𝜒subscript𝑖superscriptsubscript𝑆𝑘𝑧0𝑢subscript𝜀𝑘2L^{x}(u)=\sum_{k}\frac{S_{k}^{x}(0)}{u-\varepsilon_{k}/2},\quad L^{y}(u)=\sum_% {k}\frac{S_{k}^{y}(0)}{u-\varepsilon_{k}/2},\quad L^{z}(u)=-\frac{1}{\chi}-% \sum_{i}\frac{S_{k}^{z}(0)}{u-\varepsilon_{k}/2},italic_L start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ( italic_u ) = ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT divide start_ARG italic_S start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ( 0 ) end_ARG start_ARG italic_u - italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT / 2 end_ARG , italic_L start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ( italic_u ) = ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT divide start_ARG italic_S start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ( 0 ) end_ARG start_ARG italic_u - italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT / 2 end_ARG , italic_L start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_u ) = - divide start_ARG 1 end_ARG start_ARG italic_χ end_ARG - ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT divide start_ARG italic_S start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( 0 ) end_ARG start_ARG italic_u - italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT / 2 end_ARG , (S2)

where Skx,y,z(0)subscriptsuperscript𝑆𝑥𝑦𝑧𝑘0S^{x,y,z}_{k}(0)italic_S start_POSTSUPERSCRIPT italic_x , italic_y , italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( 0 ) are the expectation value of operators S^kx,y,zsubscriptsuperscript^𝑆𝑥𝑦𝑧𝑘\hat{S}^{x,y,z}_{k}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_x , italic_y , italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT in the initial state.

Here we consider the initial state as Skx(0)=1/2subscriptsuperscript𝑆𝑥𝑘012S^{x}_{k}(0)=1/2italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( 0 ) = 1 / 2, Sky(0)=Skz(0)=0subscriptsuperscript𝑆𝑦𝑘0subscriptsuperscript𝑆𝑧𝑘00S^{y}_{k}(0)=S^{z}_{k}(0)=0italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( 0 ) = italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( 0 ) = 0, and εksubscript𝜀𝑘\varepsilon_{k}italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is chosen from a uniform distribution in the frequency range [δs/2EW/2,δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[-\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,-\delta_{\mathrm{s}}/2+E_{\mathrm{W}}% /2][ - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ] and [δs/2EW/2,δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,\delta_{\mathrm{s}}/2+E_{\mathrm{W}}/2][ italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ]. In this case, the mean-field Lax vector takes the following form:

χLx(u)χN2[12EWδs/2EW/2δs/2+EW/2dxux/2+12EWδs/2EW/2δs/2+EW/2dxux/2]=χN2EW[ln(u+δs4+EW4missing)ln(u+δs4EW4missing)+ln(uδs4+EW4missing)ln(uδs4EW4missing)],χLy(u)=0,χLz(u)=1.formulae-sequence𝜒superscript𝐿𝑥𝑢absent𝜒𝑁2delimited-[]12subscript𝐸Wsuperscriptsubscriptsubscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2𝑑𝑥𝑢𝑥212subscript𝐸Wsuperscriptsubscriptsubscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2𝑑𝑥𝑢𝑥2missing-subexpressionabsent𝜒𝑁2subscript𝐸Wdelimited-[]𝑢subscript𝛿s4subscript𝐸W4missing𝑢subscript𝛿s4subscript𝐸W4missing𝑢subscript𝛿s4subscript𝐸W4missing𝑢subscript𝛿s4subscript𝐸W4missing𝜒superscript𝐿𝑦𝑢0𝜒superscript𝐿𝑧𝑢1\begin{gathered}\begin{aligned} \chi L^{x}(u)&\approx\frac{\chi N}{2}\bigg{[}% \frac{1}{2E_{\mathrm{W}}}\int_{-\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2}^{-% \delta_{\mathrm{s}}/2+E_{\mathrm{W}}/2}\frac{dx}{u-x/2}+\frac{1}{2E_{\mathrm{W% }}}\int_{\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2}^{\delta_{\mathrm{s}}/2+E_{% \mathrm{W}}/2}\frac{dx}{u-x/2}\bigg{]}\\ &=\frac{\chi N}{2E_{\mathrm{W}}}\bigg{[}\ln\bigg(u+\frac{\delta_{\mathrm{s}}}{% 4}+\frac{E_{\mathrm{W}}}{4}\bigg{missing})-\ln\bigg(u+\frac{\delta_{\mathrm{s}% }}{4}-\frac{E_{\mathrm{W}}}{4}\bigg{missing})+\ln\bigg(u-\frac{\delta_{\mathrm% {s}}}{4}+\frac{E_{\mathrm{W}}}{4}\bigg{missing})-\ln\bigg(u-\frac{\delta_{% \mathrm{s}}}{4}-\frac{E_{\mathrm{W}}}{4}\bigg{missing})\bigg{]},\end{aligned}% \\ \chi L^{y}(u)=0,\\ \chi L^{z}(u)=-1.\end{gathered}start_ROW start_CELL start_ROW start_CELL italic_χ italic_L start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ( italic_u ) end_CELL start_CELL ≈ divide start_ARG italic_χ italic_N end_ARG start_ARG 2 end_ARG [ divide start_ARG 1 end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 end_POSTSUPERSCRIPT divide start_ARG italic_d italic_x end_ARG start_ARG italic_u - italic_x / 2 end_ARG + divide start_ARG 1 end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 end_POSTSUPERSCRIPT divide start_ARG italic_d italic_x end_ARG start_ARG italic_u - italic_x / 2 end_ARG ] end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = divide start_ARG italic_χ italic_N end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG [ roman_ln ( start_ARG italic_u + divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG + divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG roman_missing end_ARG ) - roman_ln ( start_ARG italic_u + divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG - divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG roman_missing end_ARG ) + roman_ln ( start_ARG italic_u - divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG + divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG roman_missing end_ARG ) - roman_ln ( start_ARG italic_u - divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG - divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG roman_missing end_ARG ) ] , end_CELL end_ROW end_CELL end_ROW start_ROW start_CELL italic_χ italic_L start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ( italic_u ) = 0 , end_CELL end_ROW start_ROW start_CELL italic_χ italic_L start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT ( italic_u ) = - 1 . end_CELL end_ROW (S3)

Note that lnz𝑧\ln zroman_ln italic_z in the complex plane is a multivalued function. Here we take the principal value lnz=ln|z|+iArg(z)𝑧𝑧𝑖Arg𝑧\ln z=\ln|z|+i\mathrm{Arg}(z)roman_ln italic_z = roman_ln | italic_z | + italic_i roman_Arg ( italic_z ), where Arg(z)Arg𝑧\mathrm{Arg}(z)roman_Arg ( italic_z ) is the argument of z𝑧zitalic_z restricted in the interval (π,π]𝜋𝜋(-\pi,\pi]( - italic_π , italic_π ]. Directly combining the logarithm functions might lead to moving out of the principal branch.

One can define the dynamical phases based on the number of complex roots of equation L(u)L(u)=0𝐿𝑢𝐿𝑢0\vec{L}(u)\cdot\vec{L}(u)=0over→ start_ARG italic_L end_ARG ( italic_u ) ⋅ over→ start_ARG italic_L end_ARG ( italic_u ) = 0: Phase I has zero complex roots, phase II has a pair of complex roots, phase III has two pairs of complex roots. Whether the complex roots have non-zero or vanishing real parts could be used for further separation of the phases. In our case, the equation L(u)L(u)=0𝐿𝑢𝐿𝑢0\vec{L}(u)\cdot\vec{L}(u)=0over→ start_ARG italic_L end_ARG ( italic_u ) ⋅ over→ start_ARG italic_L end_ARG ( italic_u ) = 0 takes the following form,

χN2EW[ln(u+δs4+EW4missing)ln(u+δs4EW4missing)+ln(uδs4+EW4missing)ln(uδs4EW4missing)]=±i.𝜒𝑁2subscript𝐸Wdelimited-[]𝑢subscript𝛿s4subscript𝐸W4missing𝑢subscript𝛿s4subscript𝐸W4missing𝑢subscript𝛿s4subscript𝐸W4missing𝑢subscript𝛿s4subscript𝐸W4missingplus-or-minus𝑖\frac{\chi N}{2E_{\mathrm{W}}}\bigg{[}\ln\bigg(u+\frac{\delta_{\mathrm{s}}}{4}% +\frac{E_{\mathrm{W}}}{4}\bigg{missing})-\ln\bigg(u+\frac{\delta_{\mathrm{s}}}% {4}-\frac{E_{\mathrm{W}}}{4}\bigg{missing})+\ln\bigg(u-\frac{\delta_{\mathrm{s% }}}{4}+\frac{E_{\mathrm{W}}}{4}\bigg{missing})-\ln\bigg(u-\frac{\delta_{% \mathrm{s}}}{4}-\frac{E_{\mathrm{W}}}{4}\bigg{missing})\bigg{]}=\pm i.divide start_ARG italic_χ italic_N end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG [ roman_ln ( start_ARG italic_u + divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG + divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG roman_missing end_ARG ) - roman_ln ( start_ARG italic_u + divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG - divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG roman_missing end_ARG ) + roman_ln ( start_ARG italic_u - divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG + divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG roman_missing end_ARG ) - roman_ln ( start_ARG italic_u - divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG - divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG roman_missing end_ARG ) ] = ± italic_i . (S4)

We find four dynamical phases based on analyzing the roots of Eq. (S4):

  • Phase I: No complex roots, which exist in the regime

    δsEW<1,χNEW<1πorδsEW>1,χNEW<2π.formulae-sequencesubscript𝛿ssubscript𝐸W1formulae-sequence𝜒𝑁subscript𝐸W1𝜋orformulae-sequencesubscript𝛿ssubscript𝐸W1𝜒𝑁subscript𝐸W2𝜋\frac{\delta_{\mathrm{s}}}{E_{\mathrm{W}}}<1,\quad\frac{\chi N}{E_{\mathrm{W}}% }<\frac{1}{\pi}\quad\quad\mathrm{or}\quad\quad\frac{\delta_{\mathrm{s}}}{E_{% \mathrm{W}}}>1,\quad\frac{\chi N}{E_{\mathrm{W}}}<\frac{2}{\pi}.divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG < 1 , divide start_ARG italic_χ italic_N end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG < divide start_ARG 1 end_ARG start_ARG italic_π end_ARG roman_or divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG > 1 , divide start_ARG italic_χ italic_N end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG < divide start_ARG 2 end_ARG start_ARG italic_π end_ARG . (S5)
  • Phase II: A pair of complex roots,

    uEW=±i4[cot(EWχNmissing)+csc2(EWχN)δs2EW2],𝑢subscript𝐸Wplus-or-minus𝑖4delimited-[]subscript𝐸W𝜒𝑁missingsuperscript2subscript𝐸W𝜒𝑁subscriptsuperscript𝛿2𝑠superscriptsubscript𝐸W2\frac{u}{E_{\mathrm{W}}}=\pm\frac{i}{4}\bigg{[}\cot\bigg(\frac{E_{\mathrm{W}}}% {\chi N}\bigg{missing})+\sqrt{\csc^{2}\bigg{(}\frac{E_{\mathrm{W}}}{\chi N}% \bigg{)}-\frac{\delta^{2}_{s}}{E_{\mathrm{W}}^{2}}}\bigg{]},divide start_ARG italic_u end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG = ± divide start_ARG italic_i end_ARG start_ARG 4 end_ARG [ roman_cot ( start_ARG divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG roman_missing end_ARG ) + square-root start_ARG roman_csc start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG ) - divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG ] , (S6)

    which exist in the regime

    δsEW<1,χNEW>1π.formulae-sequencesubscript𝛿ssubscript𝐸W1𝜒𝑁subscript𝐸W1𝜋\frac{\delta_{\mathrm{s}}}{E_{\mathrm{W}}}<1,\quad\frac{\chi N}{E_{\mathrm{W}}% }>\frac{1}{\pi}.divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG < 1 , divide start_ARG italic_χ italic_N end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG > divide start_ARG 1 end_ARG start_ARG italic_π end_ARG . (S7)
  • Phase IIIa: Two pairs of complex roots with vanishing real parts,

    u1EW=±i4[cot(EWχNmissing)+csc2(EWχN)δs2EW2],u2EW=±i4[cot(EWχNmissing)csc2(EWχN)δs2EW2],formulae-sequencesubscript𝑢1subscript𝐸Wplus-or-minus𝑖4delimited-[]subscript𝐸W𝜒𝑁missingsuperscript2subscript𝐸W𝜒𝑁subscriptsuperscript𝛿2𝑠superscriptsubscript𝐸W2subscript𝑢2subscript𝐸Wplus-or-minus𝑖4delimited-[]subscript𝐸W𝜒𝑁missingsuperscript2subscript𝐸W𝜒𝑁subscriptsuperscript𝛿2𝑠superscriptsubscript𝐸W2\frac{u_{1}}{E_{\mathrm{W}}}=\pm\frac{i}{4}\bigg{[}\cot\bigg(\frac{E_{\mathrm{% W}}}{\chi N}\bigg{missing})+\sqrt{\csc^{2}\bigg{(}\frac{E_{\mathrm{W}}}{\chi N% }\bigg{)}-\frac{\delta^{2}_{s}}{E_{\mathrm{W}}^{2}}}\bigg{]},\quad\frac{u_{2}}% {E_{\mathrm{W}}}=\pm\frac{i}{4}\bigg{[}\cot\bigg(\frac{E_{\mathrm{W}}}{\chi N}% \bigg{missing})-\sqrt{\csc^{2}\bigg{(}\frac{E_{\mathrm{W}}}{\chi N}\bigg{)}-% \frac{\delta^{2}_{s}}{E_{\mathrm{W}}^{2}}}\bigg{]},divide start_ARG italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG = ± divide start_ARG italic_i end_ARG start_ARG 4 end_ARG [ roman_cot ( start_ARG divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG roman_missing end_ARG ) + square-root start_ARG roman_csc start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG ) - divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG ] , divide start_ARG italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG = ± divide start_ARG italic_i end_ARG start_ARG 4 end_ARG [ roman_cot ( start_ARG divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG roman_missing end_ARG ) - square-root start_ARG roman_csc start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG ) - divide start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG ] , (S8)

    which exist in the regime

    δsEW>1,χNEW>2π,δsEW<csc(EWχNmissing).formulae-sequencesubscript𝛿ssubscript𝐸W1formulae-sequence𝜒𝑁subscript𝐸W2𝜋subscript𝛿ssubscript𝐸Wsubscript𝐸W𝜒𝑁missing\frac{\delta_{\mathrm{s}}}{E_{\mathrm{W}}}>1,\quad\frac{\chi N}{E_{\mathrm{W}}% }>\frac{2}{\pi},\quad\frac{\delta_{\mathrm{s}}}{E_{\mathrm{W}}}<\csc\bigg(% \frac{E_{\mathrm{W}}}{\chi N}\bigg{missing}).divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG > 1 , divide start_ARG italic_χ italic_N end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG > divide start_ARG 2 end_ARG start_ARG italic_π end_ARG , divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG < roman_csc ( start_ARG divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG roman_missing end_ARG ) . (S9)

    In phase IIIa, the order parameter, ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT oscillates around a non-zero value (non-ZOPA) as pointed out in Ref. [22, 9].

  • Phase IIIb: Two pairs of complex roots with non-zero real parts,

    u1EW=14[δs2csc2(1χN)±icot(1χNmissing)],u2EW=14[δs2csc2(1χN)±icot(1χNmissing)],formulae-sequencesubscript𝑢1subscript𝐸W14delimited-[]plus-or-minussubscriptsuperscript𝛿2𝑠superscript21superscript𝜒𝑁𝑖1superscript𝜒𝑁missingsubscript𝑢2subscript𝐸W14delimited-[]plus-or-minussubscriptsuperscript𝛿2𝑠superscript21superscript𝜒𝑁𝑖1superscript𝜒𝑁missing\frac{u_{1}}{E_{\mathrm{W}}}=\frac{1}{4}\bigg{[}\sqrt{\delta^{\prime 2}_{s}-% \csc^{2}\bigg{(}\frac{1}{\chi^{\prime}N}\bigg{)}}\pm i\cot\bigg(\frac{1}{\chi^% {\prime}N}\bigg{missing})\bigg{]},\quad\frac{u_{2}}{E_{\mathrm{W}}}=\frac{1}{4% }\bigg{[}-\sqrt{\delta^{\prime 2}_{s}-\csc^{2}\bigg{(}\frac{1}{\chi^{\prime}N}% \bigg{)}}\pm i\cot\bigg(\frac{1}{\chi^{\prime}N}\bigg{missing})\bigg{]},divide start_ARG italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG 4 end_ARG [ square-root start_ARG italic_δ start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - roman_csc start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG 1 end_ARG start_ARG italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_N end_ARG ) end_ARG ± italic_i roman_cot ( start_ARG divide start_ARG 1 end_ARG start_ARG italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_N end_ARG roman_missing end_ARG ) ] , divide start_ARG italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG 4 end_ARG [ - square-root start_ARG italic_δ start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - roman_csc start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG 1 end_ARG start_ARG italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_N end_ARG ) end_ARG ± italic_i roman_cot ( start_ARG divide start_ARG 1 end_ARG start_ARG italic_χ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_N end_ARG roman_missing end_ARG ) ] , (S10)

    which exist in the regime

    δsEW>1,χNEW>2π,δsEW>csc(EWχNmissing).formulae-sequencesubscript𝛿ssubscript𝐸W1formulae-sequence𝜒𝑁subscript𝐸W2𝜋subscript𝛿ssubscript𝐸Wsubscript𝐸W𝜒𝑁missing\frac{\delta_{\mathrm{s}}}{E_{\mathrm{W}}}>1,\quad\frac{\chi N}{E_{\mathrm{W}}% }>\frac{2}{\pi},\quad\frac{\delta_{\mathrm{s}}}{E_{\mathrm{W}}}>\csc\bigg(% \frac{E_{\mathrm{W}}}{\chi N}\bigg{missing}).divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG > 1 , divide start_ARG italic_χ italic_N end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG > divide start_ARG 2 end_ARG start_ARG italic_π end_ARG , divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG > roman_csc ( start_ARG divide start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG roman_missing end_ARG ) . (S11)

    In phase IIIb, ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT oscillates with zero order parameter average (ZOPA) as explained in Ref. [22, 9].

The dynamical phases derived from the Lax analysis above are supported by numerical evidences, as shown in Fig. S1a and Fig. S1b. We numerically solve the dynamics of ΔBCS=χS^subscriptΔBCS𝜒delimited-⟨⟩superscript^𝑆\Delta_{\mathrm{BCS}}=\chi\langle\hat{S}^{-}\rangleroman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT = italic_χ ⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟩ under Eq. (S1) based on mean field approximation, and then identify dynamical phases based on long-time average of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |,

Avg(|ΔBCS|)=limT1T0T|ΔBCS(t)|𝑑t,AvgsubscriptΔBCSsubscript𝑇1𝑇superscriptsubscript0𝑇subscriptΔBCS𝑡differential-d𝑡\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)=\lim_{T\to\infty}\frac{1}{T}\int_{0}^{T}% |\Delta_{\mathrm{BCS}}(t)|dt,roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) = roman_lim start_POSTSUBSCRIPT italic_T → ∞ end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) | italic_d italic_t , (S12)

and long-time oscillation amplitude of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |. Since the oscillations in |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | might deviates from a sinusoidal form, it is easier to use the standard deviation as a measure of the oscillation amplitude,

Std(|ΔBCS|)=[limT1T0T(|ΔBCS(t)|Avg(|ΔBCS|))2𝑑t]1/2,StdsubscriptΔBCSsuperscriptdelimited-[]subscript𝑇1𝑇superscriptsubscript0𝑇superscriptsubscriptΔBCS𝑡AvgsubscriptΔBCS2differential-d𝑡12\mathrm{Std}(|\Delta_{\mathrm{BCS}}|)=\bigg{[}\lim_{T\to\infty}\frac{1}{T}\int% _{0}^{T}\Big{(}|\Delta_{\mathrm{BCS}}(t)|-\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|% )\Big{)}^{2}dt\bigg{]}^{1/2},roman_Std ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) = [ roman_lim start_POSTSUBSCRIPT italic_T → ∞ end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT ( italic_t ) | - roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_t ] start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT , (S13)

although experimentally it’s better to use the peak of Fourier spectrum to suppress the noise (see Fig. 3d in the main text). The dynamical phases can be characterized by

  • Phase I: Avg(|ΔBCS|)=0AvgsubscriptΔBCS0\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)=0roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) = 0, Std(|ΔBCS|)=0.StdsubscriptΔBCS0\mathrm{Std}(|\Delta_{\mathrm{BCS}}|)=0.roman_Std ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) = 0 .

  • Phase II: Avg(|ΔBCS|)>0AvgsubscriptΔBCS0\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)>0roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) > 0, Std(|ΔBCS|)=0.StdsubscriptΔBCS0\mathrm{Std}(|\Delta_{\mathrm{BCS}}|)=0.roman_Std ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) = 0 .

  • Phase III: Avg(|ΔBCS|)>0AvgsubscriptΔBCS0\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)>0roman_Avg ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) > 0, Std(|ΔBCS|)>0.StdsubscriptΔBCS0\mathrm{Std}(|\Delta_{\mathrm{BCS}}|)>0.roman_Std ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) > 0 .

Since εksubscript𝜀𝑘\varepsilon_{k}italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is chosen from a distribution with particle-hole symmetry (symmetric about 00), ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT becomes a real number in this case. One can further separate phase IIIa and phase IIIb by the behavior of ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT shown in Fig. S1e and Fig. S1f.

Refer to caption
Fig. S1: Dynamical phase diagrams. a and b, Dynamical phase diagram of the homogeneous model normalized by Δinit/χN=1/2subscriptΔinit𝜒𝑁12\Delta_{\mathrm{init}}/\chi N=1/2roman_Δ start_POSTSUBSCRIPT roman_init end_POSTSUBSCRIPT / italic_χ italic_N = 1 / 2, where ΔinitsubscriptΔinit\Delta_{\mathrm{init}}roman_Δ start_POSTSUBSCRIPT roman_init end_POSTSUBSCRIPT is the initial value of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |. The white lines are the dynamical critical points derived from the Lax analysis. c and d, Dynamical phase diagram of the inhomogeneous model normalized by Δinit/χNeff=𝒥1(Ωτ)subscriptΔinit𝜒subscript𝑁effsubscript𝒥1Ω𝜏\Delta_{\mathrm{init}}/\chi N_{\mathrm{eff}}=\mathcal{J}_{1}(\Omega\tau)roman_Δ start_POSTSUBSCRIPT roman_init end_POSTSUBSCRIPT / italic_χ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = caligraphic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( roman_Ω italic_τ ). The white lines are the same as the homogeneous model. e, Time evolution of ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT at δs/EW=1.1subscript𝛿ssubscript𝐸W1.1\delta_{\mathrm{s}}/E_{\mathrm{W}}=1.1italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = 1.1, χN/EW=1.0𝜒𝑁subscript𝐸W1.0\chi N/E_{\mathrm{W}}=1.0italic_χ italic_N / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = 1.0 under the homogeneous model (phase IIIa). f, Time evolution of ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT at δs/EW=1.6subscript𝛿ssubscript𝐸W1.6\delta_{\mathrm{s}}/E_{\mathrm{W}}=1.6italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = 1.6, χN/EW=1.0𝜒𝑁subscript𝐸W1.0\chi N/E_{\mathrm{W}}=1.0italic_χ italic_N / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = 1.0 under the homogeneous model (phase IIIb). g, Time evolution of ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT at δs/EW=1.6subscript𝛿ssubscript𝐸W1.6\delta_{\mathrm{s}}/E_{\mathrm{W}}=1.6italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = 1.6, χN/EW=1.0𝜒𝑁subscript𝐸W1.0\chi N/E_{\mathrm{W}}=1.0italic_χ italic_N / italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = 1.0 under the inhomogeneous model (phase III).

S1.2 Inhomogeneous model

Here we discuss the dynamical phases for the BCS Hamiltonian with inhomogeneous coupling,

H^=χjkζjζkS^j+S^k+kεkS^kz,^𝐻Planck-constant-over-2-pi𝜒subscript𝑗𝑘subscript𝜁𝑗subscript𝜁𝑘superscriptsubscript^𝑆𝑗superscriptsubscript^𝑆𝑘subscript𝑘subscript𝜀𝑘superscriptsubscript^𝑆𝑘𝑧\hat{H}=\hbar\chi\sum_{jk}\zeta_{j}\zeta_{k}\hat{S}_{j}^{+}\hat{S}_{k}^{-}+% \sum_{k}\varepsilon_{k}\hat{S}_{k}^{z},over^ start_ARG italic_H end_ARG = roman_ℏ italic_χ ∑ start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT , (S14)

where ζksubscript𝜁𝑘\zeta_{k}italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is generated by random sampling of cos(x)𝑥\cos(x)roman_cos ( start_ARG italic_x end_ARG ), with x𝑥xitalic_x chosen from a uniform distribution in the interval [0,2π)02𝜋[0,2\pi)[ 0 , 2 italic_π ). Similar to the homogeneous model, εk/subscript𝜀𝑘Planck-constant-over-2-pi\varepsilon_{k}/\hbaritalic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT / roman_ℏ is still chosen from a uniform distribution in the frequency range [δs/2EW/2,δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[-\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,-\delta_{\mathrm{s}}/2+E_{\mathrm{W}}% /2][ - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ] and [δs/2EW/2,δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,\delta_{\mathrm{s}}/2+E_{\mathrm{W}}/2][ italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ]. In this case, we explore the dynamical phases numerically since the Lax analysis is not applicable. As shown in Fig. S3c and Fig. S3d, one can obtain similar dynamical phases as the homogeneous model: Phase I remains the same, Phase IIIa merges into Phase II, and Phase IIIb becomes the new Phase III. The phase boundary can be roughly captured by the analytical solution of the homogeneous model. Note that χNeff𝜒subscript𝑁eff\chi N_{\mathrm{eff}}italic_χ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT is the averaged interaction strength in the inhomogeneous case, where Neff=N/2subscript𝑁eff𝑁2N_{\mathrm{eff}}=N/2italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = italic_N / 2. The superconducting order parameter is defined as ΔBCS=χkζkS^ksubscriptΔBCS𝜒subscript𝑘subscript𝜁𝑘delimited-⟨⟩superscriptsubscript^𝑆𝑘\Delta_{\mathrm{BCS}}=\chi\sum_{k}\zeta_{k}\langle\hat{S}_{k}^{-}\rangleroman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT = italic_χ ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ⟨ over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ⟩. The initial condition is chosen as the maximum |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | one can achieved by an external drive along the cavity axis, H^drive=ΩkζkS^kysubscript^𝐻driveΩsubscript𝑘subscript𝜁𝑘superscriptsubscript^𝑆𝑘𝑦\hat{H}_{\mathrm{drive}}=\Omega\sum_{k}\zeta_{k}\hat{S}_{k}^{y}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_drive end_POSTSUBSCRIPT = roman_Ω ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT. Assuming the initial state can be prepared by applying H^drivesubscript^𝐻drive\hat{H}_{\mathrm{drive}}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_drive end_POSTSUBSCRIPT for a time τ𝜏\tauitalic_τ, we have

ΔinitχNeff12π02π𝑑xcos(x)sin(Ωτcos(x))=𝒥1(Ωτ),subscriptΔinit𝜒subscript𝑁eff12𝜋superscriptsubscript02𝜋differential-d𝑥𝑥Ω𝜏𝑥subscript𝒥1Ω𝜏\frac{\Delta_{\mathrm{init}}}{\chi N_{\mathrm{eff}}}\approx\frac{1}{2\pi}\int_% {0}^{2\pi}dx\cos(x)\sin(\Omega\tau\cos(x))=\mathcal{J}_{1}(\Omega\tau),divide start_ARG roman_Δ start_POSTSUBSCRIPT roman_init end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT end_ARG ≈ divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT italic_d italic_x roman_cos ( start_ARG italic_x end_ARG ) roman_sin ( start_ARG roman_Ω italic_τ roman_cos ( start_ARG italic_x end_ARG ) end_ARG ) = caligraphic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( roman_Ω italic_τ ) , (S15)

where 𝒥nsubscript𝒥𝑛\mathcal{J}_{n}caligraphic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is the Bessel function of the first-kind, and the maximum of 𝒥1(Ωτ)subscript𝒥1Ω𝜏\mathcal{J}_{1}(\Omega\tau)caligraphic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( roman_Ω italic_τ ) can be achieved at Ωτ=0.586πΩ𝜏0.586𝜋\Omega\tau=0.586\piroman_Ω italic_τ = 0.586 italic_π. It is worth to mention that ΔBCSsubscriptΔBCS\Delta_{\mathrm{BCS}}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT is a real number initially, but it becomes a complex number during the time evolution, as shown in Fig. S3g.

Refer to caption
Fig. S2: Experimental control of dynamical phases. a and b, Dynamical phase diagram for the experiment with two atomic ensembles, in terms of averaged spin-exchange interaction strength χNeff𝜒subscript𝑁eff\chi N_{\mathrm{eff}}italic_χ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT and peak AC Stark shift fACsubscript𝑓ACf_{\mathrm{AC}}italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT. The white lines show the predicted dynamical phase boundaries to guide the eye. The white dashed line marks a small region of phase II’ due to the imbalance of EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT for the two atomic ensembles. c, EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT as a function of peak AC Stark shift fACsubscript𝑓ACf_{\mathrm{AC}}italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT, with AC Stark shift applying to atomic cloud 1. d, δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT as a function of peak AC Stark shift fACsubscript𝑓ACf_{\mathrm{AC}}italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT (red line). The dashed line marks the place where δs=fACsubscript𝛿ssubscript𝑓AC\delta_{\mathrm{s}}=f_{\mathrm{AC}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT.

S1.3 Experimental control of dynamical phases

Here we elaborate on the experimental implementation of the Hamiltonian Eq. (S14). As discussed in the previous section, we would like to approximately engineer single-particle energies εk/subscript𝜀𝑘Planck-constant-over-2-pi\varepsilon_{k}/\hbaritalic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT / roman_ℏ sampled from a uniform distribution in the frequency range [δs/2EW/2,δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[-\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,-\delta_{\mathrm{s}}/2+E_{\mathrm{W}}% /2][ - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ] and [δs/2EW/2,δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,\delta_{\mathrm{s}}/2+E_{\mathrm{W}}/2][ italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ]. The two different experimental schemes used in the main text to explore the energy distribution are summarized in the following table:

Description

Approx. εk/subscript𝜀𝑘Planck-constant-over-2-pi\varepsilon_{k}/\hbaritalic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT / roman_ℏ

Scheme I (Fig. 2, main text)

1) Single atomic cloud 2) AC Stark shift

[E~W/2,E~W/2]subscript~𝐸W2subscript~𝐸W2[-\tilde{E}_{\mathrm{W}}/2,\tilde{E}_{\mathrm{W}}/2][ - over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ]

Scheme II (Fig. 3,  4, main text)

1) Two atomic clouds 2) AC Stark shift to cloud 1

Cloud 1: [δs/2EW/2,δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[-\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,-\delta_{\mathrm{s}}/2+E_{\mathrm{W}}% /2][ - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ] Cloud 2: [+δs/2EW/2,+δs/2+EW/2]subscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2[+\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2,+\delta_{\mathrm{s}}/2+E_{\mathrm{W}}% /2][ + italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , + italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ]

The first scheme is used to probe the phase I to phase II transition. We use a single atomic ensemble and apply an AC Stark shift beam with a gradient to approximately engineer εk/subscript𝜀𝑘Planck-constant-over-2-pi\varepsilon_{k}/\hbaritalic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT / roman_ℏ from a uniform distribution [E~W/2,E~W/2]subscript~𝐸W2subscript~𝐸W2[-\tilde{E}_{\mathrm{W}}/2,\tilde{E}_{\mathrm{W}}/2][ - over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ], as discussed in the Methods. As shown in Fig. 2a in the main text, the distribution of atomic frequencies is not exactly uniform, so we calculate the variance of the frequency distribution experimentally. Theoretically we assign a spread E~Wsubscript~𝐸W\tilde{E}_{\mathrm{W}}over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT such that the uniform distibution over [E~W/2,E~W/2]subscript~𝐸W2subscript~𝐸W2[-\tilde{E}_{\mathrm{W}}/2,\tilde{E}_{\mathrm{W}}/2][ - over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ] matches the measured experimental variance. We use this scheme to probe the dynamical phase diagram at δs=0subscript𝛿s0\delta_{\mathrm{s}}=0italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = 0 (see Fig. 1c in the main text).

It is worth mentioning that the uniform distribution [E~W/2,E~W/2]subscript~𝐸W2subscript~𝐸W2[-\tilde{E}_{\mathrm{W}}/2,\tilde{E}_{\mathrm{W}}/2][ - over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 , over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 ] can be interpreted in two different ways: 1) δs=0subscript𝛿s0\delta_{\mathrm{s}}=0italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = 0 and EW=E~Wsubscript𝐸Wsubscript~𝐸WE_{\mathrm{W}}=\tilde{E}_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT; 2) δs=EW=E~W/2subscript𝛿ssubscript𝐸Wsubscript~𝐸W2\delta_{\mathrm{s}}=E_{\mathrm{W}}=\tilde{E}_{\mathrm{W}}/2italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT = over~ start_ARG italic_E end_ARG start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2. Here we prefer the first interpretation δs=0subscript𝛿s0\delta_{\mathrm{s}}=0italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = 0 because in this scheme we only have a single control parameter (the strength of AC Stark shift beam). Additionally, the line δs=EWsubscript𝛿ssubscript𝐸W\delta_{\mathrm{s}}=E_{\mathrm{W}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT in the dynamical phase diagram has an implication that a small perturbation of δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT can generate a gap in atomic frequency, which is prohibited under this mapping between experimental controls and the model parameters.

In the second scheme that probes transitions into phase III, we use two atomic ensembles and apply an AC Stark shift beam (peak AC Stark shift fACsubscript𝑓ACf_{\mathrm{AC}}italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT) to the first ensemble to generate a frequency splitting δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT between the two ensembles. In contrast to the first scheme, as discussed in the Methods, here we instead use the differential lattice light shifts to engineer a frequency spread EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT for each ensemble. As shown in Fig. 3a in the main text, in this case we define δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT as the mean frequency difference between the two ensembles, and EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT as the width of a uniform distribution generating the same variance.

It is worth mentioning that the Gaussian profile of the AC Stark shift beam leads to an increase in EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT for the first atomic ensemble, as well as a reduction of the expected splitting of the two ensembles δs<fACsubscript𝛿ssubscript𝑓AC\delta_{\mathrm{s}}<f_{\mathrm{AC}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT < italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT, as shown in Fig. S2c and d. Using experimental parameters, we get the dynamical phase diagram as depicted in Fig. S2a and b. The imbalance of EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT for the two atomic ensembles can lead to a small region of phase II’ marked by the white dashed line. This occurs because the spin-exchange interaction is able to lock the ensemble with smaller EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT, while the ensemble with larger EWsubscript𝐸WE_{\mathrm{W}}italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT remains unlocked, which leads to |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | approaching a small but nonzero constant value. In the experiment, due to other dissipative processes and reduced signal-to-noise ratio for small χN𝜒𝑁\chi Nitalic_χ italic_N, we do not observe a difference between phase I and phase II’. This is the cause of a small discrepancy between theory and experiment in Fig. 4b in the main text in identifying the position of the phase transition.

S2 Short-time signatures of dynamical phases

In this section, we discuss the properties of the dynamical phases using short-time observables, since dissipative processes and noise in the experiment lead to difficulties in measuring long-time observables. In the following, we show that phase I can be characterized by the fast decay of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, phase II can be characterized by Higgs oscillations. We further show that the phase II to phase III transition can be captured by the dip in the short-time oscillation frequency of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |. Finally, we provide an explanation of the frequency dip using an analytical solution of the two-spin BCS model.

S2.1 Phase I: fast decay

In phase I, the single-particle energy term kεkS^kzsubscript𝑘subscript𝜀𝑘subscriptsuperscript^𝑆𝑧𝑘\sum_{k}\varepsilon_{k}\hat{S}^{z}_{k}∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT dominates over the spin-exchange interaction. To leading order, one can calculate |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | in the homogeneous model by dropping the interaction term, which gives

|ΔBCS|χNsubscriptΔBCS𝜒𝑁\displaystyle\frac{|\Delta_{\mathrm{BCS}}|}{\chi N}divide start_ARG | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | end_ARG start_ARG italic_χ italic_N end_ARG 12N|keiεkt/|=12|12EWδs/2EW/2δs/2+EW/2eixt𝑑x+12EWδs/2EW/2δs/2+EW/2eixt𝑑x|absent12𝑁subscript𝑘superscript𝑒𝑖subscript𝜀𝑘𝑡Planck-constant-over-2-pi1212subscript𝐸Wsuperscriptsubscriptsubscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2superscript𝑒𝑖𝑥𝑡differential-d𝑥12subscript𝐸Wsuperscriptsubscriptsubscript𝛿s2subscript𝐸W2subscript𝛿s2subscript𝐸W2superscript𝑒𝑖𝑥𝑡differential-d𝑥\displaystyle\approx\frac{1}{2N}\Big{|}\sum_{k}e^{-i\varepsilon_{k}t/\hbar}% \Big{|}=\frac{1}{2}\bigg{|}\frac{1}{2E_{\mathrm{W}}}\int_{-\delta_{\mathrm{s}}% /2-E_{\mathrm{W}}/2}^{-\delta_{\mathrm{s}}/2+E_{\mathrm{W}}/2}e^{-ixt}dx+\frac% {1}{2E_{\mathrm{W}}}\int_{\delta_{\mathrm{s}}/2-E_{\mathrm{W}}/2}^{\delta_{% \mathrm{s}}/2+E_{\mathrm{W}}/2}e^{-ixt}dx\bigg{|}≈ divide start_ARG 1 end_ARG start_ARG 2 italic_N end_ARG | ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_ε start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_t / roman_ℏ end_POSTSUPERSCRIPT | = divide start_ARG 1 end_ARG start_ARG 2 end_ARG | divide start_ARG 1 end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_x italic_t end_POSTSUPERSCRIPT italic_d italic_x + divide start_ARG 1 end_ARG start_ARG 2 italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 - italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / 2 + italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT / 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_x italic_t end_POSTSUPERSCRIPT italic_d italic_x | (S16)
=12|cos(δs2missing)||sin(EWt/2)EWt/2|.absent12subscript𝛿s2missingsubscript𝐸W𝑡2subscript𝐸W𝑡2\displaystyle=\frac{1}{2}\bigg{|}\cos\bigg(\frac{\delta_{\mathrm{s}}}{2}\bigg{% missing})\bigg{|}\cdot\bigg{|}\frac{\sin(E_{\mathrm{W}}t/2)}{E_{\mathrm{W}}t/2% }\bigg{|}.= divide start_ARG 1 end_ARG start_ARG 2 end_ARG | roman_cos ( start_ARG divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG roman_missing end_ARG ) | ⋅ | divide start_ARG roman_sin ( start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT italic_t / 2 end_ARG ) end_ARG start_ARG italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT italic_t / 2 end_ARG | .

The decay profile of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | is set by a sinc function with a 1/e1𝑒1/e1 / italic_e coherence time t𝑡titalic_t satisfying EWt/2π0.7subscript𝐸W𝑡2𝜋0.7E_{\mathrm{W}}t/2\pi\approx 0.7italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT italic_t / 2 italic_π ≈ 0.7. For the inhomogeneous model a similar fast decay time scale of the order of EWt/2π1similar-tosubscript𝐸W𝑡2𝜋1E_{\mathrm{W}}t/2\pi\sim 1italic_E start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT italic_t / 2 italic_π ∼ 1 can be derived. As shown in Fig. 2b in the main text, we observe fast decay of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | within 1μ1𝜇1~{}\mu1 italic_μs in phase I. The decay time scale for the other dynamical phases can be more than 10 times longer.

S2.2 Phase II: Higgs oscillation

Refer to caption
Fig. S3: Relation between oscillation frequency and averaged order parameter in Higgs oscillations. a, Homogeneous model where each point is a choice of (χN,δs)𝜒𝑁subscript𝛿s(\chi N,\delta_{\mathrm{s}})( italic_χ italic_N , italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT ) in phase II (red) and phase IIIa (blue). The dashed line represents ω=2Avg(|ΔBCS|)𝜔2AvgsubscriptΔBCS\omega=2\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)italic_ω = 2 roman_A roman_v roman_g ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ). b, Inhomogeneous model where each point is a choice of (χNeff,δs)𝜒subscript𝑁effsubscript𝛿s(\chi N_{\mathrm{eff}},\delta_{\mathrm{s}})( italic_χ italic_N start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT , italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT ) in phase II. The inset shows the points with δs=0subscript𝛿s0\delta_{\mathrm{s}}=0italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = 0.

Higgs oscillation, generated by collective excitation of the Higgs mode in BCS superconductor, is characterized by the oscillation of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | at frequency ω=2Avg(|ΔBCS|)𝜔2AvgsubscriptΔBCS\omega=2\mathrm{Avg}(|\Delta_{\mathrm{BCS}}|)italic_ω = 2 roman_A roman_v roman_g ( | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | ) [8]. For the homogeneous model (see Fig. S3a), we numerically confirmed this relation for all the points in phase II and phase IIIa. For the inhomogeneous model (see Fig. S3b), this relation is approximately satisfied in phase II. In experiment, we observe hints of Higgs oscillation (see Fig. 2 in the main text), which can be ideally described by the inhomogeneous model with δs=0subscript𝛿s0\delta_{\mathrm{s}}=0italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = 0 (see the inset in Fig. S3b).

S2.3 Transition to phase III: frequency dip

In the main text, we discuss a way to understand the phase II to phase III transition by visualising the two atomic ensembles as two large spins. For the inhomogeneous model, phase II exists in the small δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT regime, where the two spins lock to each other and form a single large spin through spin-exchange interactions. In this case the many-body gap protection leads to the damped oscillations observed in phase II. Increasing δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT in phase II leads to the reduction of the many-body gap, and hence to a decrease of the corresponding oscillation frequency. Phase III exists in the large δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT regime, where the spin locking occurs separately in each ensemble, and the two large spin are instead precessing around each other, with a rate set by the splitting δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT and the spin-exchange interaction. Increasing δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT in phase III leads to a speed up of the oscillation frequency. Therefore one expects the existence of a frequency dip separating between phase II and phase III. Indeed as shown in Fig. S4c and d, we find good agreement between the frequency dip and the corresponding dynamical critical point. For small δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT, the oscillation frequency approaches the Higgs oscillation frequency discussed in the previous subsection. For large δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT, the oscillation frequency approaches δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT. The reduction of oscillation frequency compared to δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT indicates many-body effects in phase III. It’s worth to mention that in contrast to the inhomogeneous model, the frequency dip indicates the phase IIIa to phase IIIb transition for the homogeneous model.

Refer to caption
Fig. S4: Frequency dip as a signature of the phase II to phase III transition. a, Mean field trajectories of the two large spin model evolving under Eq. (S17). From left to right, Bloch spheres display trajectories with δs/(χN)=0.5,1,subscript𝛿s𝜒𝑁0.51\delta_{\mathrm{s}}/(\chi N)=0.5,1,italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / ( italic_χ italic_N ) = 0.5 , 1 , and 2 respectively. b, Oscillation frequency of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | in the two-spin BCS model Eq. (S17) as a function of δs/χNsubscript𝛿s𝜒𝑁\delta_{\mathrm{s}}/\chi Nitalic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_χ italic_N. The frequency dip at δs/χN=1subscript𝛿s𝜒𝑁1\delta_{\mathrm{s}}/\chi N=1italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_χ italic_N = 1 marks the dynamical phase transition point. c, Short-time frequency ω𝜔\omegaitalic_ω of the dynamics under inhomogneous atom-light coupling (see Eq. (3) in the Methods). The white line marks the phase II to phase III transition, the same boundary as shown in Extended Data Fig. 2 from the Methods. d, Short-time frequency ω𝜔\omegaitalic_ω of the dynamics using experimental control parameters. The white line marks the phase II to phase III transition and represents the same boundary as in Fig. S2. The frequency dips match the dynamical critical points for both cases.

S2.4 Frequency dip in the two-spin BCS model

Here we use the analytical mean field solution of the BCS Hamiltonian with two large spins (S=N/4𝑆𝑁4S=N/4italic_S = italic_N / 4 for each spin) to understand the frequency dip discussed above. In this case, the Hamiltonian simplifies to

H^/=χS^+S^+δs2S^1zδs2S^2z,^𝐻Planck-constant-over-2-pi𝜒superscript^𝑆superscript^𝑆subscript𝛿s2subscriptsuperscript^𝑆𝑧1subscript𝛿s2subscriptsuperscript^𝑆𝑧2\hat{H}/\hbar=\chi\hat{S}^{+}\hat{S}^{-}+\frac{\delta_{\mathrm{s}}}{2}\hat{S}^% {z}_{1}-\frac{\delta_{\mathrm{s}}}{2}\hat{S}^{z}_{2},over^ start_ARG italic_H end_ARG / roman_ℏ = italic_χ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT + divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , (S17)

where S^±=S^1±+S^2±superscript^𝑆plus-or-minussubscriptsuperscript^𝑆plus-or-minus1subscriptsuperscript^𝑆plus-or-minus2\hat{S}^{\pm}=\hat{S}^{\pm}_{1}+\hat{S}^{\pm}_{2}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT = over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. The mean field equations of motion for the Hamiltonian above can then be written as

ddtS1x=2χSyS1zδs2S1y,ddtS1y=2χSxS1z+δs2S1x,ddtS1z=2χ(S2yS1xS2xS1y),ddtS2x=2χSyS2z+δs2S2y,ddtS2y=2χSxS2zδs2S2x,ddtS2z=2χ(S1yS2xS1xS2y).\begin{gathered}\frac{d}{dt}S^{x}_{1}=2\chi S^{y}S^{z}_{1}-\frac{\delta_{% \mathrm{s}}}{2}S^{y}_{1},\quad\frac{d}{dt}S^{y}_{1}=-2\chi S^{x}S^{z}_{1}+% \frac{\delta_{\mathrm{s}}}{2}S^{x}_{1},\quad\frac{d}{dt}S^{z}_{1}=-2\chi(S^{y}% _{2}S^{x}_{1}-S^{x}_{2}S^{y}_{1}),\\ \frac{d}{dt}S^{x}_{2}=2\chi S^{y}S^{z}_{2}+\frac{\delta_{\mathrm{s}}}{2}S^{y}_% {2},\quad\frac{d}{dt}S^{y}_{2}=-2\chi S^{x}S^{z}_{2}-\frac{\delta_{\mathrm{s}}% }{2}S^{x}_{2},\quad\frac{d}{dt}S^{z}_{2}=-2\chi(S^{y}_{1}S^{x}_{2}-S^{x}_{1}S^% {y}_{2}).\\ \end{gathered}start_ROW start_CELL divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 2 italic_χ italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - 2 italic_χ italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - 2 italic_χ ( italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 2 italic_χ italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - 2 italic_χ italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - 2 italic_χ ( italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) . end_CELL end_ROW (S18)

The spin components without the hat represent the expectation value of the corresponding spin operators.

In the following, we assume an initial state satisfying S1x=S2x=N/4subscriptsuperscript𝑆𝑥1subscriptsuperscript𝑆𝑥2𝑁4S^{x}_{1}=S^{x}_{2}=N/4italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_N / 4, S1y=S2y=S1z=S2z=0subscriptsuperscript𝑆𝑦1subscriptsuperscript𝑆𝑦2subscriptsuperscript𝑆𝑧1subscriptsuperscript𝑆𝑧20S^{y}_{1}=S^{y}_{2}=S^{z}_{1}=S^{z}_{2}=0italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0. The conserved quantities of the two-spin BCS model are the total magnetisation

Sz=S1z+S2z=0,superscript𝑆𝑧subscriptsuperscript𝑆𝑧1subscriptsuperscript𝑆𝑧20S^{z}=S^{z}_{1}+S^{z}_{2}=0,italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT = italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0 , (S19)

the total energy

E/=χS+S+δs2S1zδs2S2z=χ(N2)2,𝐸Planck-constant-over-2-pi𝜒superscript𝑆superscript𝑆subscript𝛿s2subscriptsuperscript𝑆𝑧1subscript𝛿s2subscriptsuperscript𝑆𝑧2𝜒superscript𝑁22E/\hbar=\chi S^{+}S^{-}+\frac{\delta_{\mathrm{s}}}{2}S^{z}_{1}-\frac{\delta_{% \mathrm{s}}}{2}S^{z}_{2}=\chi\bigg{(}\frac{N}{2}\bigg{)}^{2},italic_E / roman_ℏ = italic_χ italic_S start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT + divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_χ ( divide start_ARG italic_N end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (S20)

as well as the spin length of each of the large spins, (S1x)2+(S1y)2+(S1z)2=(N/4)2superscriptsubscriptsuperscript𝑆𝑥12superscriptsubscriptsuperscript𝑆𝑦12superscriptsubscriptsuperscript𝑆𝑧12superscript𝑁42(S^{x}_{1})^{2}+(S^{y}_{1})^{2}+(S^{z}_{1})^{2}=(N/4)^{2}( italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( italic_N / 4 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, (S2x)2+(S2y)2+(S2z)2=(N/4)2superscriptsubscriptsuperscript𝑆𝑥22superscriptsubscriptsuperscript𝑆𝑦22superscriptsubscriptsuperscript𝑆𝑧22superscript𝑁42(S^{x}_{2})^{2}+(S^{y}_{2})^{2}+(S^{z}_{2})^{2}=(N/4)^{2}( italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( italic_N / 4 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Using these conserved quantities, one can derive from the mean field equations in Eq. (S18) an equation of motion for the BCS order parameter, ΔBCS=χSsubscriptΔBCS𝜒superscript𝑆\Delta_{\mathrm{BCS}}=\chi S^{-}roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT = italic_χ italic_S start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT. To simplify the notation, we define Δ|ΔBCS|/χNΔsubscriptΔBCS𝜒𝑁\Delta\equiv|\Delta_{\mathrm{BCS}}|/\chi Nroman_Δ ≡ | roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | / italic_χ italic_N, i.e. Δ2=S+S/N2superscriptΔ2superscript𝑆superscript𝑆superscript𝑁2\Delta^{2}=S^{+}S^{-}/N^{2}roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_S start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT / italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. From Eq. (S19) and Eq. (S20), we obtain

ddtΔ2=δsχN2ddtS1z=2δsN2(S2yS1xS2xS1y),𝑑𝑑𝑡superscriptΔ2subscript𝛿s𝜒superscript𝑁2𝑑𝑑𝑡subscriptsuperscript𝑆𝑧12subscript𝛿ssuperscript𝑁2subscriptsuperscript𝑆𝑦2subscriptsuperscript𝑆𝑥1subscriptsuperscript𝑆𝑥2subscriptsuperscript𝑆𝑦1\frac{d}{dt}\Delta^{2}=-\frac{\delta_{\mathrm{s}}}{\chi N^{2}}\frac{d}{dt}S^{z% }_{1}=\frac{2\delta_{\mathrm{s}}}{N^{2}}(S^{y}_{2}S^{x}_{1}-S^{x}_{2}S^{y}_{1}),divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG 2 italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , (S21)

which leads to

d2dt2Δ2superscript𝑑2𝑑superscript𝑡2superscriptΔ2\displaystyle\frac{d^{2}}{dt^{2}}\Delta^{2}divide start_ARG italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_d italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =2δsN2(S1xddtS2y+S2yddtS1xS1yddtS2xS2xddtS1y)absent2subscript𝛿ssuperscript𝑁2subscriptsuperscript𝑆𝑥1𝑑𝑑𝑡subscriptsuperscript𝑆𝑦2subscriptsuperscript𝑆𝑦2𝑑𝑑𝑡subscriptsuperscript𝑆𝑥1subscriptsuperscript𝑆𝑦1𝑑𝑑𝑡subscriptsuperscript𝑆𝑥2subscriptsuperscript𝑆𝑥2𝑑𝑑𝑡subscriptsuperscript𝑆𝑦1\displaystyle=\frac{2\delta_{\mathrm{s}}}{N^{2}}\bigg{(}S^{x}_{1}\frac{d}{dt}S% ^{y}_{2}+S^{y}_{2}\frac{d}{dt}S^{x}_{1}-S^{y}_{1}\frac{d}{dt}S^{x}_{2}-S^{x}_{% 2}\frac{d}{dt}S^{y}_{1}\bigg{)}= divide start_ARG 2 italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) (S22)
=4δsχΔ2S1z2δs2N2(S1xS2x+S1yS2y).absent4subscript𝛿s𝜒superscriptΔ2subscriptsuperscript𝑆𝑧12superscriptsubscript𝛿s2superscript𝑁2subscriptsuperscript𝑆𝑥1subscriptsuperscript𝑆𝑥2subscriptsuperscript𝑆𝑦1subscriptsuperscript𝑆𝑦2\displaystyle=4\delta_{\mathrm{s}}\chi\Delta^{2}S^{z}_{1}-\frac{2\delta_{% \mathrm{s}}^{2}}{N^{2}}(S^{x}_{1}S^{x}_{2}+S^{y}_{1}S^{y}_{2}).= 4 italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT italic_χ roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - divide start_ARG 2 italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) .

From the above conserved quantities, we can create the equivalent expressions δsS1z=χN2(Δ21/4)subscript𝛿ssubscriptsuperscript𝑆𝑧1𝜒superscript𝑁2superscriptΔ214\delta_{\mathrm{s}}S^{z}_{1}=-\chi N^{2}(\Delta^{2}-1/4)italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - italic_χ italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 / 4 ), 2(S1xS2x+S1yS2y)=N2Δ22×(N/4)2+2(S1z)22subscriptsuperscript𝑆𝑥1subscriptsuperscript𝑆𝑥2subscriptsuperscript𝑆𝑦1subscriptsuperscript𝑆𝑦2superscript𝑁2superscriptΔ22superscript𝑁422superscriptsubscriptsuperscript𝑆𝑧122(S^{x}_{1}S^{x}_{2}+S^{y}_{1}S^{y}_{2})=N^{2}\Delta^{2}-2\times(N/4)^{2}+2(S^% {z}_{1})^{2}2 ( italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 × ( italic_N / 4 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 ( italic_S start_POSTSUPERSCRIPT italic_z end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Plugging these into the equation of motion gives

d2dt2Δ2=6(χN)2(Δ2)2+(2(χN)2δs2)Δ2+δs2(χN)28.superscript𝑑2𝑑superscript𝑡2superscriptΔ26superscript𝜒𝑁2superscriptsuperscriptΔ222superscript𝜒𝑁2superscriptsubscript𝛿s2superscriptΔ2superscriptsubscript𝛿s2superscript𝜒𝑁28\frac{d^{2}}{dt^{2}}\Delta^{2}=-6(\chi N)^{2}(\Delta^{2})^{2}+\Big{(}2(\chi N)% ^{2}-\delta_{\mathrm{s}}^{2}\Big{)}\Delta^{2}+\frac{\delta_{\mathrm{s}}^{2}-(% \chi N)^{2}}{8}.divide start_ARG italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_d italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - 6 ( italic_χ italic_N ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( 2 ( italic_χ italic_N ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_χ italic_N ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 end_ARG . (S23)

The equation above can be further simplified to

12(ddtΔ)2+V(Δ)=0,12superscript𝑑𝑑𝑡Δ2𝑉Δ0\frac{1}{2}\bigg{(}\frac{d}{dt}\Delta\bigg{)}^{2}+V(\Delta)=0,divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG roman_Δ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_V ( roman_Δ ) = 0 , (S24)

where

V(Δ)=12(χN)2(Δ214)(Δ21(δs/χN)24),𝑉Δ12superscript𝜒𝑁2superscriptΔ214superscriptΔ21superscriptsubscript𝛿s𝜒𝑁24V(\Delta)=\frac{1}{2}(\chi N)^{2}\bigg{(}\Delta^{2}-\frac{1}{4}\bigg{)}\bigg{(% }\Delta^{2}-\frac{1-(\delta_{\mathrm{s}}/\chi N)^{2}}{4}\bigg{)},italic_V ( roman_Δ ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_χ italic_N ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 4 end_ARG ) ( roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 - ( italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_χ italic_N ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG ) , (S25)

with an initial condition Δ=1/2Δ12\Delta=1/2roman_Δ = 1 / 2. Eq. (S24) can be understood as a classical particle with position ΔΔ\Deltaroman_Δ oscillating in the potential V(Δ)𝑉ΔV(\Delta)italic_V ( roman_Δ ). For δs<χNsubscript𝛿s𝜒𝑁\delta_{\mathrm{s}}<\chi Nitalic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT < italic_χ italic_N, we find ΔΔ\Deltaroman_Δ oscillating between Δmax=1/2subscriptΔmax12\Delta_{\mathrm{max}}=1/2roman_Δ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 1 / 2 and Δmin=1(δs/χN)2/2subscriptΔmin1superscriptsubscript𝛿s𝜒𝑁22\Delta_{\mathrm{min}}=\sqrt{1-(\delta_{\mathrm{s}}/\chi N)^{2}}/2roman_Δ start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = square-root start_ARG 1 - ( italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_χ italic_N ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG / 2. This is equivalent to phase II in the cases of many spins with inhomogeneous atom-light couplings, because all the oscillations damp in the large χN𝜒𝑁\chi Nitalic_χ italic_N limit. For δs>χNsubscript𝛿s𝜒𝑁\delta_{\mathrm{s}}>\chi Nitalic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT > italic_χ italic_N, we find ΔΔ\Deltaroman_Δ oscillating between Δmax=1/2subscriptΔmax12\Delta_{\mathrm{max}}=1/2roman_Δ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 1 / 2 and Δmin=0subscriptΔmin0\Delta_{\mathrm{min}}=0roman_Δ start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = 0, since the definition of ΔΔ\Deltaroman_Δ requires Δ0Δ0\Delta\geq 0roman_Δ ≥ 0. This is equivalent to phase III in the cases of many spins because the phase connects to single-particle oscillations in the large δssubscript𝛿s\delta_{\mathrm{s}}italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT limit. Therefore, a dynamical phase transition occurs at δs/χN=1subscript𝛿s𝜒𝑁1\delta_{\mathrm{s}}/\chi N=1italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_χ italic_N = 1, which is equivalent to the phase II to phase III transition in the many-spin system.

The analytical solution of Eq. (S24) can be written in terms of Jacobian elliptic funtions dndn\mathrm{dn}roman_dn and cncn\mathrm{cn}roman_cn:

Δ(t)={12dn(12χNt|(δs/χN)2)ifδs<χN12|cn(12δst|(χN/δs)2)|ifδs>χN.\Delta(t)=\begin{cases}\displaystyle\;\frac{1}{2}\mathrm{dn}\bigg{(}\frac{1}{2% }\chi Nt\bigg{|}(\delta_{\mathrm{s}}/\chi N)^{2}\bigg{)}\quad\mathrm{if}\;% \delta_{\mathrm{s}}<\chi N\\ \\ \displaystyle\;\frac{1}{2}\bigg{|}\mathrm{cn}\bigg{(}\frac{1}{2}\delta_{% \mathrm{s}}t\bigg{|}(\chi N/\delta_{\mathrm{s}})^{2}\bigg{)}\bigg{|}\quad% \mathrm{if}\;\delta_{\mathrm{s}}>\chi N\end{cases}.roman_Δ ( italic_t ) = { start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_dn ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_χ italic_N italic_t | ( italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_χ italic_N ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) roman_if italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT < italic_χ italic_N end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG | roman_cn ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT italic_t | ( italic_χ italic_N / italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) | roman_if italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT > italic_χ italic_N end_CELL start_CELL end_CELL end_ROW . (S26)

The frequency of Δ(t)Δ𝑡\Delta(t)roman_Δ ( italic_t ) can be written in terms of the complete elliptic integral of the first kind K(k2)𝐾superscript𝑘2K(k^{2})italic_K ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ):

ωχN={π2K((δs/χN)2)ifδs<χNδsχNπ2K((χN/δs)2)ifδs>χN.𝜔𝜒𝑁cases𝜋2𝐾superscriptsubscript𝛿s𝜒𝑁2ifsubscript𝛿s𝜒𝑁𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒subscript𝛿s𝜒𝑁𝜋2𝐾superscript𝜒𝑁subscript𝛿s2ifsubscript𝛿s𝜒𝑁𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒\frac{\omega}{\chi N}=\begin{cases}\displaystyle\;\frac{\pi}{2K\Big{(}(\delta_% {\mathrm{s}}/\chi N)^{2}\Big{)}}\quad\mathrm{if}\;\delta_{\mathrm{s}}<\chi N\\ \\ \displaystyle\;\frac{\delta_{\mathrm{s}}}{\chi N}\frac{\pi}{2K\Big{(}(\chi N/% \delta_{\mathrm{s}})^{2}\Big{)}}\quad\mathrm{if}\;\delta_{\mathrm{s}}>\chi N\\ \end{cases}.divide start_ARG italic_ω end_ARG start_ARG italic_χ italic_N end_ARG = { start_ROW start_CELL divide start_ARG italic_π end_ARG start_ARG 2 italic_K ( ( italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT / italic_χ italic_N ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG roman_if italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT < italic_χ italic_N end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT end_ARG start_ARG italic_χ italic_N end_ARG divide start_ARG italic_π end_ARG start_ARG 2 italic_K ( ( italic_χ italic_N / italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG roman_if italic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT > italic_χ italic_N end_CELL start_CELL end_CELL end_ROW . (S27)

The mean-field trajectories on the Bloch sphere are shown in Fig. S4a, and the oscillation frequency Eq. (S27) is shown in Fig. S4b. The dynamical phase transition can also be understood from the mean field trajectories. For δs<χNsubscript𝛿s𝜒𝑁\delta_{\mathrm{s}}<\chi Nitalic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT < italic_χ italic_N, the two large spins lock to each other and oscillate near the x𝑥xitalic_x axis of the Bloch sphere. For δs>χNsubscript𝛿s𝜒𝑁\delta_{\mathrm{s}}>\chi Nitalic_δ start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT > italic_χ italic_N, the two large spins are unlocked and precess around the whole Bloch sphere. Near the dynamical critical point, the mean field trajectories are close to the north pole or south pole of the Bloch sphere, which leads to a slow down of the oscillations because they approach stable fixed points of the Hamiltonian.

S3 Axial Motion

In this section, we elaborate on how to take into account axial motion present in the experimental system. Similar discussions can be found in Ref. [35]. We start with the one-dimensional Hamiltonian of our cavity QED system with two internal atomic levels (|ket|\negmedspace\uparrow\rangle| ↑ ⟩ and |ket|\negmedspace\downarrow\rangle| ↓ ⟩), given by

H^^𝐻\displaystyle\hat{H}over^ start_ARG italic_H end_ARG =σ={,}𝑑xψ^σ(x)[p^22M+V0sin2(kLx)]ψ^σ(x)+𝑑xψ^(x)[ω0+Uac(x)]ψ^(x)absentsubscript𝜎differential-d𝑥subscriptsuperscript^𝜓𝜎𝑥delimited-[]superscript^𝑝22𝑀subscript𝑉0superscript2subscript𝑘𝐿𝑥subscript^𝜓𝜎𝑥differential-d𝑥subscriptsuperscript^𝜓𝑥delimited-[]Planck-constant-over-2-pisubscript𝜔0subscript𝑈𝑎𝑐𝑥subscript^𝜓𝑥\displaystyle=\sum_{\sigma=\{\uparrow,\downarrow\}}\int dx\;\hat{\psi}^{{% \dagger}}_{\sigma}(x)\bigg{[}\frac{\hat{p}^{2}}{2M}+V_{0}\sin^{2}(k_{L}x)\bigg% {]}\hat{\psi}_{\sigma}(x)+\int dx\;\hat{\psi}^{{\dagger}}_{\uparrow}(x)\bigg{[% }\hbar\omega_{0}+U_{ac}(x)\bigg{]}\hat{\psi}_{\uparrow}(x)= ∑ start_POSTSUBSCRIPT italic_σ = { ↑ , ↓ } end_POSTSUBSCRIPT ∫ italic_d italic_x over^ start_ARG italic_ψ end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ( italic_x ) [ divide start_ARG over^ start_ARG italic_p end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M end_ARG + italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT italic_x ) ] over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ( italic_x ) + ∫ italic_d italic_x over^ start_ARG italic_ψ end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ( italic_x ) [ roman_ℏ italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_U start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT ( italic_x ) ] over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ( italic_x ) (S28)
+gc𝑑xcos(kcx)[ψ^(x)ψ^(x)a^+a^ψ^(x)ψ^(x)]+ωca^a^,Planck-constant-over-2-pisubscript𝑔𝑐differential-d𝑥subscript𝑘𝑐𝑥delimited-[]subscriptsuperscript^𝜓𝑥subscript^𝜓𝑥^𝑎superscript^𝑎subscriptsuperscript^𝜓𝑥subscript^𝜓𝑥Planck-constant-over-2-pisubscript𝜔𝑐superscript^𝑎^𝑎\displaystyle+\hbar g_{c}\int dx\;\cos(k_{c}x)\bigg{[}\hat{\psi}^{{\dagger}}_{% \uparrow}(x)\hat{\psi}_{\downarrow}(x)\hat{a}+\hat{a}^{{\dagger}}\hat{\psi}^{{% \dagger}}_{\downarrow}(x)\hat{\psi}_{\uparrow}(x)\bigg{]}+\hbar\omega_{c}\hat{% a}^{{\dagger}}\hat{a},+ roman_ℏ italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ∫ italic_d italic_x roman_cos ( start_ARG italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_x end_ARG ) [ over^ start_ARG italic_ψ end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ( italic_x ) over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ( italic_x ) over^ start_ARG italic_a end_ARG + over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_ψ end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ↓ end_POSTSUBSCRIPT ( italic_x ) over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT ↑ end_POSTSUBSCRIPT ( italic_x ) ] + roman_ℏ 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 ,

where kL=2π/λLsubscript𝑘𝐿2𝜋subscript𝜆𝐿k_{L}=2\pi/\lambda_{L}italic_k start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 2 italic_π / italic_λ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT is the wavenumber of the lattice beams (λL=813subscript𝜆𝐿813\lambda_{L}=813italic_λ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 813nm), kcsubscript𝑘𝑐k_{c}italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is the wavenumber of the cavity mode (λc=689subscript𝜆𝑐689\lambda_{c}=689italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 689nm), ω0subscript𝜔0\omega_{0}italic_ω start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the atomic transition frequency between |ket|\negmedspace\uparrow\rangle| ↑ ⟩ and |ket|\negmedspace\downarrow\rangle| ↓ ⟩ states, Uac(x)subscript𝑈𝑎𝑐𝑥U_{ac}(x)italic_U start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT ( italic_x ) is the AC Stark shift applied to the atoms (including the differential light shift from the lattice beams and the transverse AC Stark shift beam), and ωcsubscript𝜔𝑐\omega_{c}italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is the frequency of cavity resonance.

Since the atoms are trapped in an optical lattice with lattice depth on the order of 103ERsuperscript103subscript𝐸𝑅10^{3}E_{R}10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT, we can approximate each lattice site as an harmonic trap with axial trapping frequency ωT=4V0ERPlanck-constant-over-2-pisubscript𝜔𝑇4subscript𝑉0subscript𝐸𝑅\hbar\omega_{T}=\sqrt{4V_{0}E_{R}}roman_ℏ italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = square-root start_ARG 4 italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT end_ARG, where ER=2kL2/2Msubscript𝐸𝑅superscriptPlanck-constant-over-2-pi2superscriptsubscript𝑘𝐿22𝑀E_{R}=\hbar^{2}k_{L}^{2}/2Mitalic_E start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = roman_ℏ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 italic_M is the lattice recoil energy. We also ignore tunnelling processes between lattice sites. In this case, one can expand the atomic field operator in terms of lattice site index j𝑗jitalic_j and harmonic oscillator levels n𝑛nitalic_n:

ψ^σ(x)=jnc^jn,σϕn(xjaL).subscript^𝜓𝜎𝑥subscript𝑗𝑛subscript^𝑐𝑗𝑛𝜎subscriptitalic-ϕ𝑛𝑥𝑗subscript𝑎𝐿\hat{\psi}_{\sigma}(x)=\sum_{jn}\hat{c}_{jn,\sigma}\phi_{n}(x-ja_{L}).over^ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ( italic_x ) = ∑ start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_n , italic_σ end_POSTSUBSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x - italic_j italic_a start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) . (S29)

Here, aL=λL/2subscript𝑎𝐿subscript𝜆𝐿2a_{L}=\lambda_{L}/2italic_a start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = italic_λ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / 2 is the lattice spacing, and ϕnsubscriptitalic-ϕ𝑛\phi_{n}italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is the harmonic oscillator wave function for mode n𝑛nitalic_n, given by

ϕn(x)=12nn!(MωTπ)1/4eMωTx2/2Hn(MωTx)subscriptitalic-ϕ𝑛𝑥1superscript2𝑛𝑛superscript𝑀subscript𝜔𝑇𝜋Planck-constant-over-2-pi14superscripte𝑀subscript𝜔𝑇superscript𝑥22Planck-constant-over-2-pisubscript𝐻𝑛𝑀subscript𝜔𝑇Planck-constant-over-2-pi𝑥\phi_{n}(x)=\frac{1}{\sqrt{2^{n}n!}}\bigg{(}\frac{M\omega_{T}}{\pi\hbar}\bigg{% )}^{1/4}\mathrm{e}^{-M\omega_{T}x^{2}/2\hbar}H_{n}\bigg{(}\sqrt{\frac{M\omega_% {T}}{\hbar}}x\bigg{)}italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x ) = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_n ! end_ARG end_ARG ( divide start_ARG italic_M italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_ARG start_ARG italic_π roman_ℏ end_ARG ) start_POSTSUPERSCRIPT 1 / 4 end_POSTSUPERSCRIPT roman_e start_POSTSUPERSCRIPT - italic_M italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 roman_ℏ end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( square-root start_ARG divide start_ARG italic_M italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_ARG start_ARG roman_ℏ end_ARG end_ARG italic_x ) (S30)

where Hn(x)subscript𝐻𝑛𝑥H_{n}(x)italic_H start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x ) are the Hermite polynomials. Plugging this expansion into the Hamiltonian and transforming to the rotating frame of the atoms, we obtain

H^/=jnσnωTc^jn,σc^jn,σ+jnεjnc^jn,c^jn,+gcjnmζjnm(c^jn,c^jm,a^+a^c^jm,c^jn,)+δca^a^^𝐻Planck-constant-over-2-pisubscript𝑗𝑛𝜎𝑛subscript𝜔𝑇subscriptsuperscript^𝑐𝑗𝑛𝜎subscript^𝑐𝑗𝑛𝜎subscript𝑗𝑛subscript𝜀𝑗𝑛subscriptsuperscript^𝑐𝑗𝑛subscript^𝑐𝑗𝑛subscript𝑔𝑐subscript𝑗𝑛𝑚superscriptsubscript𝜁𝑗𝑛𝑚subscriptsuperscript^𝑐𝑗𝑛subscript^𝑐𝑗𝑚^𝑎superscript^𝑎subscriptsuperscript^𝑐𝑗𝑚subscript^𝑐𝑗𝑛subscript𝛿𝑐superscript^𝑎^𝑎\hat{H}/\hbar=\sum_{jn\sigma}n\omega_{T}\hat{c}^{{\dagger}}_{jn,\sigma}\hat{c}% _{jn,\sigma}+\sum_{jn}\varepsilon_{jn}\hat{c}^{{\dagger}}_{jn,\uparrow}\hat{c}% _{jn,\uparrow}+g_{c}\sum_{jnm}\zeta_{j}^{nm}(\hat{c}^{{\dagger}}_{jn,\uparrow}% \hat{c}_{jm,\downarrow}\hat{a}+\hat{a}^{{\dagger}}\hat{c}^{{\dagger}}_{jm,% \downarrow}\hat{c}_{jn,\uparrow})+\delta_{c}\hat{a}^{{\dagger}}\hat{a}over^ start_ARG italic_H end_ARG / roman_ℏ = ∑ start_POSTSUBSCRIPT italic_j italic_n italic_σ end_POSTSUBSCRIPT italic_n italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_n , italic_σ end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n , ↑ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_n , ↑ end_POSTSUBSCRIPT + italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_j italic_n italic_m end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m end_POSTSUPERSCRIPT ( over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n , ↑ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_m , ↓ end_POSTSUBSCRIPT over^ start_ARG italic_a end_ARG + over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_m , ↓ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_n , ↑ 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 (S31)

where δc=ωcωasubscript𝛿𝑐subscript𝜔𝑐subscript𝜔𝑎\delta_{c}=\omega_{c}-\omega_{a}italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT. For simplicity, we assume Uac(x)subscript𝑈𝑎𝑐𝑥U_{ac}(x)italic_U start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT ( italic_x ) is either small or slowly varying in space and thus does not change the trap geometry. This term gives rise to an inhomogeneous transition frequency εjn=𝑑xUac(x)[ϕn(xjaL)]2/subscript𝜀𝑗𝑛differential-d𝑥subscript𝑈𝑎𝑐𝑥superscriptdelimited-[]subscriptitalic-ϕ𝑛𝑥𝑗subscript𝑎𝐿2Planck-constant-over-2-pi\varepsilon_{jn}=\int dxU_{ac}(x)[\phi_{n}(x-ja_{L})]^{2}/\hbaritalic_ε start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT = ∫ italic_d italic_x italic_U start_POSTSUBSCRIPT italic_a italic_c end_POSTSUBSCRIPT ( italic_x ) [ italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x - italic_j italic_a start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / roman_ℏ. We calculate ζjnmsuperscriptsubscript𝜁𝑗𝑛𝑚\zeta_{j}^{nm}italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m end_POSTSUPERSCRIPT in the following way:

ζjnmsuperscriptsubscript𝜁𝑗𝑛𝑚\displaystyle\zeta_{j}^{nm}italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m end_POSTSUPERSCRIPT =𝑑xcos(kcx)ϕn(xjaL)ϕm(xjaL)=𝑑xcos(kcx+kcjaL)ϕn(x)ϕm(x)absentdifferential-d𝑥subscript𝑘𝑐𝑥subscriptitalic-ϕ𝑛𝑥𝑗subscript𝑎𝐿subscriptitalic-ϕ𝑚𝑥𝑗subscript𝑎𝐿differential-d𝑥subscript𝑘𝑐𝑥subscript𝑘𝑐𝑗subscript𝑎𝐿subscriptitalic-ϕ𝑛𝑥subscriptitalic-ϕ𝑚𝑥\displaystyle=\int dx\;\cos(k_{c}x)\phi_{n}(x-ja_{L})\phi_{m}(x-ja_{L})=\int dx% \;\cos(k_{c}x+k_{c}ja_{L})\phi_{n}(x)\phi_{m}(x)= ∫ italic_d italic_x roman_cos ( start_ARG italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_x end_ARG ) italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x - italic_j italic_a start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) italic_ϕ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_x - italic_j italic_a start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) = ∫ italic_d italic_x roman_cos ( start_ARG italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_x + italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_j italic_a start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_ARG ) italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x ) italic_ϕ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_x ) (S32)
=cos(jφ)𝑑xcos(kcx)ϕn(x)ϕm(x)sin(jφ)𝑑xsin(kcx)ϕn(x)ϕm(x)absent𝑗𝜑differential-d𝑥subscript𝑘𝑐𝑥subscriptitalic-ϕ𝑛𝑥subscriptitalic-ϕ𝑚𝑥𝑗𝜑differential-d𝑥subscript𝑘𝑐𝑥subscriptitalic-ϕ𝑛𝑥subscriptitalic-ϕ𝑚𝑥\displaystyle=\cos(j\varphi)\int dx\;\cos(k_{c}x)\phi_{n}(x)\phi_{m}(x)-\sin(j% \varphi)\int dx\;\sin(k_{c}x)\phi_{n}(x)\phi_{m}(x)= roman_cos ( start_ARG italic_j italic_φ end_ARG ) ∫ italic_d italic_x roman_cos ( start_ARG italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_x end_ARG ) italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x ) italic_ϕ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_x ) - roman_sin ( start_ARG italic_j italic_φ end_ARG ) ∫ italic_d italic_x roman_sin ( start_ARG italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_x end_ARG ) italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x ) italic_ϕ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_x )
=cos(jφ)Re[(iη)seη2/2n<!n>!Ln<s(η2)]sin(jφ)Im[(iη)seη2/2n<!n>!Ln<s(η2)].absent𝑗𝜑Redelimited-[]superscript𝑖𝜂𝑠superscript𝑒superscript𝜂22subscript𝑛subscript𝑛subscriptsuperscript𝐿𝑠subscript𝑛superscript𝜂2𝑗𝜑Imdelimited-[]superscript𝑖𝜂𝑠superscript𝑒superscript𝜂22subscript𝑛subscript𝑛subscriptsuperscript𝐿𝑠subscript𝑛superscript𝜂2\displaystyle=\cos(j\varphi)\,\mathrm{Re}\bigg{[}(i\eta)^{s}e^{-\eta^{2}/2}% \sqrt{\frac{n_{<}!}{n_{>}!}}L^{s}_{n_{<}}(\eta^{2})\bigg{]}-\sin(j\varphi)\,% \mathrm{Im}\bigg{[}(i\eta)^{s}e^{-\eta^{2}/2}\sqrt{\frac{n_{<}!}{n_{>}!}}L^{s}% _{n_{<}}(\eta^{2})\bigg{]}.= roman_cos ( start_ARG italic_j italic_φ end_ARG ) roman_Re [ ( italic_i italic_η ) start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 end_POSTSUPERSCRIPT square-root start_ARG divide start_ARG italic_n start_POSTSUBSCRIPT < end_POSTSUBSCRIPT ! end_ARG start_ARG italic_n start_POSTSUBSCRIPT > end_POSTSUBSCRIPT ! end_ARG end_ARG italic_L start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT < end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] - roman_sin ( start_ARG italic_j italic_φ end_ARG ) roman_Im [ ( italic_i italic_η ) start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 end_POSTSUPERSCRIPT square-root start_ARG divide start_ARG italic_n start_POSTSUBSCRIPT < end_POSTSUBSCRIPT ! end_ARG start_ARG italic_n start_POSTSUBSCRIPT > end_POSTSUBSCRIPT ! end_ARG end_ARG italic_L start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT < end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] .

where φ=πkL/kc𝜑𝜋subscript𝑘𝐿subscript𝑘𝑐\varphi=\pi k_{L}/k_{c}italic_φ = italic_π italic_k start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT / italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, s=|nm|𝑠𝑛𝑚s=|n-m|italic_s = | italic_n - italic_m |, n<=min(n,m)subscript𝑛𝑛𝑚n_{<}=\min(n,m)italic_n start_POSTSUBSCRIPT < end_POSTSUBSCRIPT = roman_min ( italic_n , italic_m ), n>=max(n,m)subscript𝑛𝑛𝑚n_{>}=\max(n,m)italic_n start_POSTSUBSCRIPT > end_POSTSUBSCRIPT = roman_max ( italic_n , italic_m ), Lnα(x)subscriptsuperscript𝐿𝛼𝑛𝑥L^{\alpha}_{n}(x)italic_L start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x ) are the generalised Laguerre polynomials, and η=kc/2MωT𝜂subscript𝑘𝑐Planck-constant-over-2-pi2𝑀subscript𝜔𝑇\eta=k_{c}\sqrt{\hbar/2M\omega_{T}}italic_η = italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT square-root start_ARG roman_ℏ / 2 italic_M italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_ARG is the Lamb-Dicke parameter. In our case ωT/2π=165subscript𝜔𝑇2𝜋165\omega_{T}/2\pi=165italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT / 2 italic_π = 165 kHz, implying that η=0.17𝜂0.17\eta=0.17italic_η = 0.17. This places us in the Lamb-Dicke regime where ζjnmsubscriptsuperscript𝜁𝑛𝑚𝑗\zeta^{nm}_{j}italic_ζ start_POSTSUPERSCRIPT italic_n italic_m end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is negligible for |nm|>1𝑛𝑚1|n-m|>1| italic_n - italic_m | > 1. It can be convenient to rewrite the Hamiltonian in terms of operators S^nσ,mσj=c^jn,σc^jm,σsubscriptsuperscript^𝑆𝑗𝑛𝜎𝑚superscript𝜎subscriptsuperscript^𝑐𝑗𝑛𝜎subscript^𝑐𝑗𝑚superscript𝜎\hat{S}^{j}_{n\sigma,m\sigma^{\prime}}=\hat{c}^{{\dagger}}_{jn,\sigma}\hat{c}_% {jm,\sigma^{\prime}}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_σ , italic_m italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = over^ start_ARG italic_c end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_n , italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_c end_ARG start_POSTSUBSCRIPT italic_j italic_m , italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT, resulting in the following form:

H^/=jnσnωTS^nσ,nσj+jnεjnS^n,nj+gcjnmζjnm(S^n,mja^+a^S^m,nj)+δca^a^.^𝐻Planck-constant-over-2-pisubscript𝑗𝑛𝜎𝑛subscript𝜔𝑇subscriptsuperscript^𝑆𝑗𝑛𝜎𝑛𝜎subscript𝑗𝑛subscript𝜀𝑗𝑛subscriptsuperscript^𝑆𝑗𝑛𝑛absentsubscript𝑔𝑐subscript𝑗𝑛𝑚superscriptsubscript𝜁𝑗𝑛𝑚subscriptsuperscript^𝑆𝑗𝑛𝑚absent^𝑎superscript^𝑎subscriptsuperscript^𝑆𝑗𝑚𝑛absentsubscript𝛿𝑐superscript^𝑎^𝑎\hat{H}/\hbar=\sum_{jn\sigma}n\omega_{T}\hat{S}^{j}_{n\sigma,n\sigma}+\sum_{jn% }\varepsilon_{jn}\hat{S}^{j}_{n\uparrow,n\uparrow}+g_{c}\sum_{jnm}\zeta_{j}^{% nm}(\hat{S}^{j}_{n\uparrow,m\downarrow}\hat{a}+\hat{a}^{{\dagger}}\hat{S}^{j}_% {m\downarrow,n\uparrow})+\delta_{c}\hat{a}^{{\dagger}}\hat{a}.over^ start_ARG italic_H end_ARG / roman_ℏ = ∑ start_POSTSUBSCRIPT italic_j italic_n italic_σ end_POSTSUBSCRIPT italic_n italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_σ , italic_n italic_σ end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n ↑ , italic_n ↑ end_POSTSUBSCRIPT + italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_j italic_n italic_m end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m end_POSTSUPERSCRIPT ( over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n ↑ , italic_m ↓ end_POSTSUBSCRIPT over^ start_ARG italic_a end_ARG + over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m ↓ , italic_n ↑ 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 . (S33)

In addition to the Hamiltonian dynamics, we also consider dissipation processes such as cavity loss with a rate κ/2π=153𝜅2𝜋153\kappa/2\pi=153italic_κ / 2 italic_π = 153 kHz, as well as spontaneous emission with a rate γ/2π=7.5𝛾2𝜋7.5\gamma/2\pi=7.5italic_γ / 2 italic_π = 7.5 kHz. The full dynamics of this open system can be described by the following Lindblad master equation:

ddtρ^=i[H^,ρ^]+[L^cavρ^L^cav12{L^cavL^cav,ρ^}]+jn[L^j,nρ^L^j,n12{L^j,nL^j,n,ρ^}],dd𝑡^𝜌𝑖Planck-constant-over-2-pi^𝐻^𝜌delimited-[]subscript^𝐿cav^𝜌superscriptsubscript^𝐿cav12superscriptsubscript^𝐿cavsubscript^𝐿cav^𝜌subscript𝑗𝑛delimited-[]subscript^𝐿𝑗𝑛^𝜌superscriptsubscript^𝐿𝑗𝑛12superscriptsubscript^𝐿𝑗𝑛subscript^𝐿𝑗𝑛^𝜌\frac{\mathrm{d}}{\mathrm{d}t}\hat{\rho}=-\frac{i}{\hbar}[\hat{H},\hat{\rho}]+% \bigg{[}\hat{L}_{\mathrm{cav}}\hat{\rho}\hat{L}_{\mathrm{cav}}^{{\dagger}}-% \frac{1}{2}\{\hat{L}_{\mathrm{cav}}^{{\dagger}}\hat{L}_{\mathrm{cav}},\hat{% \rho}\}\bigg{]}+\sum_{jn}\bigg{[}\hat{L}_{j,n}\hat{\rho}\hat{L}_{j,n}^{{% \dagger}}-\frac{1}{2}\{\hat{L}_{j,n}^{{\dagger}}\hat{L}_{j,n},\hat{\rho}\}% \bigg{]},divide start_ARG roman_d end_ARG start_ARG roman_d italic_t end_ARG over^ start_ARG italic_ρ end_ARG = - divide start_ARG italic_i end_ARG start_ARG roman_ℏ end_ARG [ over^ start_ARG italic_H end_ARG , over^ start_ARG italic_ρ end_ARG ] + [ over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_cav end_POSTSUBSCRIPT over^ start_ARG italic_ρ end_ARG over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_cav end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG { over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_cav end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_cav end_POSTSUBSCRIPT , over^ start_ARG italic_ρ end_ARG } ] + ∑ start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT [ over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT over^ start_ARG italic_ρ end_ARG over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG { over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT , over^ start_ARG italic_ρ end_ARG } ] , (S34)

where the jump operator for cavity loss is given by L^cav=κa^subscript^𝐿cav𝜅^𝑎\hat{L}_{\mathrm{cav}}=\sqrt{\kappa}\hat{a}over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_cav end_POSTSUBSCRIPT = square-root start_ARG italic_κ end_ARG over^ start_ARG italic_a end_ARG, and the single-particle jump operators for spontaneous emission are given by L^j,n=γS^n,njsubscript^𝐿𝑗𝑛𝛾subscriptsuperscript^𝑆𝑗𝑛𝑛absent\hat{L}_{j,n}=\sqrt{\gamma}\hat{S}^{j}_{n\downarrow,n\uparrow}over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT = square-root start_ARG italic_γ end_ARG over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n ↓ , italic_n ↑ end_POSTSUBSCRIPT. Here, we assume that spontaneous emission is in the Lamb-Dicke regime.

In the experiment, δcsubscript𝛿𝑐\delta_{c}italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is the largest frequency scale (δcgcN,κmuch-greater-thansubscript𝛿𝑐subscript𝑔𝑐𝑁𝜅\delta_{c}\gg g_{c}\sqrt{N},\kappaitalic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ≫ italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT square-root start_ARG italic_N end_ARG , italic_κ), so we can adiabatically eliminate the cavity photons [56] and obtain the following effective atom-only master equation:

ddtρ^=i[H^eff,ρ^]+[L^colρ^L^col12{L^colL^col,ρ^}]+jn[L^j,nρ^L^j,n12{L^j,nL^j,n,ρ^}].dd𝑡^𝜌𝑖Planck-constant-over-2-pisubscript^𝐻eff^𝜌delimited-[]subscript^𝐿col^𝜌superscriptsubscript^𝐿col12superscriptsubscript^𝐿colsubscript^𝐿col^𝜌subscript𝑗𝑛delimited-[]subscript^𝐿𝑗𝑛^𝜌superscriptsubscript^𝐿𝑗𝑛12superscriptsubscript^𝐿𝑗𝑛subscript^𝐿𝑗𝑛^𝜌\frac{\mathrm{d}}{\mathrm{d}t}\hat{\rho}=-\frac{i}{\hbar}[\hat{H}_{\mathrm{eff% }},\hat{\rho}]+\bigg{[}\hat{L}_{\mathrm{col}}\hat{\rho}\hat{L}_{\mathrm{col}}^% {{\dagger}}-\frac{1}{2}\{\hat{L}_{\mathrm{col}}^{{\dagger}}\hat{L}_{\mathrm{% col}},\hat{\rho}\}\bigg{]}+\sum_{jn}\bigg{[}\hat{L}_{j,n}\hat{\rho}\hat{L}_{j,% n}^{{\dagger}}-\frac{1}{2}\{\hat{L}_{j,n}^{{\dagger}}\hat{L}_{j,n},\hat{\rho}% \}\bigg{]}.divide start_ARG roman_d end_ARG start_ARG roman_d italic_t end_ARG over^ start_ARG italic_ρ end_ARG = - divide start_ARG italic_i end_ARG start_ARG roman_ℏ end_ARG [ over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT , over^ start_ARG italic_ρ end_ARG ] + [ over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_col end_POSTSUBSCRIPT over^ start_ARG italic_ρ end_ARG over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_col end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG { over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_col end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_col end_POSTSUBSCRIPT , over^ start_ARG italic_ρ end_ARG } ] + ∑ start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT [ over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT over^ start_ARG italic_ρ end_ARG over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG { over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT , over^ start_ARG italic_ρ end_ARG } ] . (S35)

Here, the effective Hamiltonian is given by

H^eff/=jnσnωTS^nσ,nσj+jnεjnS^n,nj+χjnmkpqζjnmζkpqS^n,mjS^p,qk,subscript^𝐻effPlanck-constant-over-2-pisubscript𝑗𝑛𝜎𝑛subscript𝜔𝑇subscriptsuperscript^𝑆𝑗𝑛𝜎𝑛𝜎subscript𝑗𝑛subscript𝜀𝑗𝑛subscriptsuperscript^𝑆𝑗𝑛𝑛absent𝜒subscript𝑗𝑛𝑚subscript𝑘𝑝𝑞superscriptsubscript𝜁𝑗𝑛𝑚superscriptsubscript𝜁𝑘𝑝𝑞subscriptsuperscript^𝑆𝑗𝑛𝑚absentsubscriptsuperscript^𝑆𝑘𝑝𝑞absent\hat{H}_{\mathrm{eff}}/\hbar=\sum_{jn\sigma}n\omega_{T}\hat{S}^{j}_{n\sigma,n% \sigma}+\sum_{jn}\varepsilon_{jn}\hat{S}^{j}_{n\uparrow,n\uparrow}+\chi\sum_{% jnm}\sum_{kpq}\zeta_{j}^{nm}\zeta_{k}^{pq}\hat{S}^{j}_{n\uparrow,m\downarrow}% \hat{S}^{k}_{p\downarrow,q\uparrow},over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT / roman_ℏ = ∑ start_POSTSUBSCRIPT italic_j italic_n italic_σ end_POSTSUBSCRIPT italic_n italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_σ , italic_n italic_σ end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT italic_j italic_n end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n ↑ , italic_n ↑ end_POSTSUBSCRIPT + italic_χ ∑ start_POSTSUBSCRIPT italic_j italic_n italic_m end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_k italic_p italic_q end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m end_POSTSUPERSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p italic_q end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n ↑ , italic_m ↓ end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p ↓ , italic_q ↑ end_POSTSUBSCRIPT , (S36)

and effective collective jump operator generating superradiant decay takes the form

L^col=ΓjnmζjnmS^m,nj,subscript^𝐿colΓsubscript𝑗𝑛𝑚superscriptsubscript𝜁𝑗𝑛𝑚subscriptsuperscript^𝑆𝑗𝑚𝑛absent\hat{L}_{\mathrm{col}}=\sqrt{\Gamma}\sum_{jnm}\zeta_{j}^{nm}\hat{S}^{j}_{m% \downarrow,n\uparrow},over^ start_ARG italic_L end_ARG start_POSTSUBSCRIPT roman_col end_POSTSUBSCRIPT = square-root start_ARG roman_Γ end_ARG ∑ start_POSTSUBSCRIPT italic_j italic_n italic_m end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m ↓ , italic_n ↑ end_POSTSUBSCRIPT , (S37)

where χ=gc2δc/(δc2+κ2/4)𝜒superscriptsubscript𝑔𝑐2subscript𝛿𝑐superscriptsubscript𝛿𝑐2superscript𝜅24\chi=-g_{c}^{2}\delta_{c}/(\delta_{c}^{2}+\kappa^{2}/4)italic_χ = - italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT / ( italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 ) and Γ=gc2κ/(δc2+κ2/4)Γsuperscriptsubscript𝑔𝑐2𝜅superscriptsubscript𝛿𝑐2superscript𝜅24\Gamma=g_{c}^{2}\kappa/(\delta_{c}^{2}+\kappa^{2}/4)roman_Γ = italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ / ( italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_κ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 ). The equivalent superconducting order parameter takes the following form:

ΔBCS=χkpqζkpqS^p,qk.subscriptΔBCS𝜒subscript𝑘𝑝𝑞superscriptsubscript𝜁𝑘𝑝𝑞delimited-⟨⟩subscriptsuperscript^𝑆𝑘𝑝𝑞absent\Delta_{\mathrm{BCS}}=\chi\sum_{kpq}\zeta_{k}^{pq}\langle\hat{S}^{k}_{p% \downarrow,q\uparrow}\rangle.roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT = italic_χ ∑ start_POSTSUBSCRIPT italic_k italic_p italic_q end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p italic_q end_POSTSUPERSCRIPT ⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p ↓ , italic_q ↑ end_POSTSUBSCRIPT ⟩ . (S38)

One can recover the inhomogeneous model discussed in the previous section by removing the axial harmonic oscillator level labels.

Similarly, the Hamiltonian for initial state preparation takes the form

H^drive/=jnσnωTS^nσ,nσj+12jnmζjnm(ΩS^n,mj+Ω*S^m,nj).subscript^𝐻drivePlanck-constant-over-2-pisubscript𝑗𝑛𝜎𝑛subscript𝜔𝑇subscriptsuperscript^𝑆𝑗𝑛𝜎𝑛𝜎12subscript𝑗𝑛𝑚superscriptsubscript𝜁𝑗𝑛𝑚Ωsubscriptsuperscript^𝑆𝑗𝑛𝑚absentsuperscriptΩsubscriptsuperscript^𝑆𝑗𝑚𝑛absent\hat{H}_{\mathrm{drive}}/\hbar=\sum_{jn\sigma}n\omega_{T}\hat{S}^{j}_{n\sigma,% n\sigma}+\frac{1}{2}\sum_{jnm}\zeta_{j}^{nm}(\Omega\hat{S}^{j}_{n\uparrow,m% \downarrow}+\Omega^{*}\hat{S}^{j}_{m\downarrow,n\uparrow}).over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_drive end_POSTSUBSCRIPT / roman_ℏ = ∑ start_POSTSUBSCRIPT italic_j italic_n italic_σ end_POSTSUBSCRIPT italic_n italic_ω start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_σ , italic_n italic_σ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_j italic_n italic_m end_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n italic_m end_POSTSUPERSCRIPT ( roman_Ω over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n ↑ , italic_m ↓ end_POSTSUBSCRIPT + roman_Ω start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m ↓ , italic_n ↑ end_POSTSUBSCRIPT ) . (S39)
Refer to caption
Fig. S5: Understanding experimental results with axial motion effects. a Example phase II traces with χN/2π=1.29𝜒𝑁2𝜋1.29\chi N/2\pi=1.29italic_χ italic_N / 2 italic_π = 1.29MHz, fAC/2π=1.1subscript𝑓AC2𝜋1.1f_{\mathrm{AC}}/2\pi=1.1italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT / 2 italic_π = 1.1MHz. b Example phase III traces with χN/2π=0.79𝜒𝑁2𝜋0.79\chi N/2\pi=0.79italic_χ italic_N / 2 italic_π = 0.79MHz, fAC/2π=1.1subscript𝑓AC2𝜋1.1f_{\mathrm{AC}}/2\pi=1.1italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT / 2 italic_π = 1.1MHz. c Example phase I traces with χN/2π=0.15𝜒𝑁2𝜋0.15\chi N/2\pi=0.15italic_χ italic_N / 2 italic_π = 0.15MHz, fAC/2π=1.1subscript𝑓AC2𝜋1.1f_{\mathrm{AC}}/2\pi=1.1italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT / 2 italic_π = 1.1MHz. The blue points are experimental data, the orange lines represent numerical simulations under ideal conditions (see Eq. (3) in the Methods), the green lines include dissipative processes on top of the ideal simulations, and the red lines consider both dissipative processes and axial motion effects.

In numerical simulations, we perform a mean-field approximation, which replaces the operators S^pσ,qσjsubscriptsuperscript^𝑆𝑗𝑝𝜎𝑞superscript𝜎\hat{S}^{j}_{p\sigma,q\sigma^{\prime}}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p italic_σ , italic_q italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT by their expectation values S^pσ,qσjdelimited-⟨⟩subscriptsuperscript^𝑆𝑗𝑝𝜎𝑞superscript𝜎\langle\hat{S}^{j}_{p\sigma,q\sigma^{\prime}}\rangle⟨ over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p italic_σ , italic_q italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ⟩ in the Heisenberg equation of motion. We perform a random sampling of the axial harmonic oscillator mode n𝑛nitalic_n for each atom based on a thermal distribution of 15μ15𝜇15~{}\mu15 italic_μK, and we only include the modes n𝑛nitalic_n and n±1plus-or-minus𝑛1n\pm 1italic_n ± 1 into our calculation due to the Lamb-Dicke parameter. The atom number in our simulations is set to 2000200020002000; to match χN𝜒𝑁\chi Nitalic_χ italic_N to experimental values, we rescale χ𝜒\chiitalic_χ accordingly. We also empirically take into account two additional dissipation processes to quantitatively capture the behavior of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | at longer time scales. The first is a single-particle decoherence between electronic states, described by the jump operators L^j,σel=γelnS^nσ,nσjsubscriptsuperscript^𝐿el𝑗𝜎subscript𝛾elsubscript𝑛subscriptsuperscript^𝑆𝑗𝑛𝜎𝑛𝜎\hat{L}^{\mathrm{el}}_{j,\sigma}=\sqrt{\gamma_{\mathrm{el}}}\sum_{n}\hat{S}^{j% }_{n\sigma,n\sigma}over^ start_ARG italic_L end_ARG start_POSTSUPERSCRIPT roman_el end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j , italic_σ end_POSTSUBSCRIPT = square-root start_ARG italic_γ start_POSTSUBSCRIPT roman_el end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_σ , italic_n italic_σ end_POSTSUBSCRIPT with γel/2π<1subscript𝛾el2𝜋1\gamma_{\mathrm{el}}/2\pi<1italic_γ start_POSTSUBSCRIPT roman_el end_POSTSUBSCRIPT / 2 italic_π < 1kHz for Fig. 2 starting from t=0μ𝑡0𝜇t=0\muitalic_t = 0 italic_μs, and by γel/2π=0.0036(fAC/2π)+4subscript𝛾el2𝜋0.0036subscript𝑓AC2𝜋4\gamma_{\mathrm{el}}/2\pi=0.0036(f_{\mathrm{AC}}/2\pi)+4italic_γ start_POSTSUBSCRIPT roman_el end_POSTSUBSCRIPT / 2 italic_π = 0.0036 ( italic_f start_POSTSUBSCRIPT roman_AC end_POSTSUBSCRIPT / 2 italic_π ) + 4kHz for Fig. 3 and Fig. 4 in the main text. The second is a single-particle decoherence between motional states, described by the jump operators L^j,nmo=γmoσS^nσ,nσjsubscriptsuperscript^𝐿mo𝑗𝑛subscript𝛾mosubscript𝜎subscriptsuperscript^𝑆𝑗𝑛𝜎𝑛𝜎\hat{L}^{\mathrm{mo}}_{j,n}=\sqrt{\gamma_{\mathrm{mo}}}\sum_{\sigma}\hat{S}^{j% }_{n\sigma,n\sigma}over^ start_ARG italic_L end_ARG start_POSTSUPERSCRIPT roman_mo end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j , italic_n end_POSTSUBSCRIPT = square-root start_ARG italic_γ start_POSTSUBSCRIPT roman_mo end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_σ , italic_n italic_σ end_POSTSUBSCRIPT with γmo/2π=15subscript𝛾mo2𝜋15\gamma_{\mathrm{mo}}/2\pi=15italic_γ start_POSTSUBSCRIPT roman_mo end_POSTSUBSCRIPT / 2 italic_π = 15kHz.

Some example traces including axial motion effects are depicted in Fig. S5. Generally speaking, accounting for these effects allows us to more accurately predict features present in the experimentally measured evolution of |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, at the same time leaving the predicted dynamical phase boundaries unchanged. As shown in Fig. S5a, including axial motion effects in phase II traces allows us to capture the faster damping rate of the Higgs oscillations, as well as a slow oscillation in |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT | at the axial trapping frequency. Likewise, as shown in Fig. S5b, including axial motion effects in phase III traces allows us to capture the faster damping rate of the oscillations in |ΔBCS|subscriptΔBCS|\Delta_{\mathrm{BCS}}|| roman_Δ start_POSTSUBSCRIPT roman_BCS end_POSTSUBSCRIPT |, although the observed damping rate is still faster than the rate predicted by theory. Finally, as shown in Fig. S5c, all the theory simulations of phase I dynamics are similar to the simulation under ideal conditions, indicating that axial motion does not play an significant role in this regime.