Pith. sign in

REVIEW 2 major objections 5 minor 92 references

Engineering tunable decoherence-free subspaces with collective atom-cavity interactions

T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read Collective atom-cavity dissipation can be engineered into a tunable, multi-dimensional decoherence-free subspace, with shortcut driving preparing pure states in times far shorter than standard adiabatic or dissipative preparation.

desk verdict Useful analytic DFS construction for the SU(3) atom-cavity model, but the 'no purity loss' claim needs the strong-cooperativity condition stated; worth refereeing with revisions. read the letter →

arxiv 2412.02921 v2 pith:HO5UILV3 submitted 2024-12-04 quant-ph

classification quant-ph PACS 03.65.Yz42.50.Pq03.67.-a
keywords decoherence-freesubspacecollectiveatom-cavityinteractionsnon-Hermitianjumpoperatoradiabaticshortcutsthree-levelatomsdissipativestatepreparationeffectivePaulioperatorsquantummetrology
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper argues that a dissipative atom-cavity system — $N$ three-level atoms collectively coupled to a lossy cavity and driven by tunable lasers — can be reduced, after eliminating the excited states and the cavity, to an effective master equation with a single collective jump operator $\hat{L}=\sqrt{\Gamma_c}(\hat{J}_-+\mu^2\hat{J}_++\chi)$, and that the kernel of this operator is a decoherence-free subspace whose dimension and orientation can be tuned in time. The paper derives the full structure of every such subspace analytically, shows that typical states inside them are highly entangled, and constructs transitionless shortcut Hamiltonians that keep the system in the instantaneous DFS at all times. The shortcuts prepare pure states in $t_f=1/\Gamma_c$, compared with $137/\Gamma_c$ for an adiabatic ramp and $318/\Gamma_c$ for a dissipative quench (for the edge DFS at $N=5$), with purity and fidelity above $0.9995$. If correct, this provides a fast, experimentally grounded route to protected state preparation and to a logical qubit whose gates commute with the dominant dissipation.

What carries the argument

The load-bearing object is the exact diagonalization of the non-Hermitian jump operator $\hat{L}$ through $L=VDV^{-1}$, which defines two non-canonical sets of Schwinger-boson operators $\vec{c}=V^\dagger\vec{b}$ and $\vec{d}=V^{-1}\vec{b}$ and turns $\hat{L}$ into $\sqrt{\Gamma_c}(\vec{c}^\dagger D\vec{d}+\chi)$. Because $\hat{L}$ is not Hermitian unless $\mu=1$, the eigenstates and the complementary space are built from $\hat{c}^\dagger$ and $\hat{d}^\dagger$ respectively; their biorthogonal overlap $\langle\psi^\perp_{\vec{n}}|\psi_{\vec{k}}\rangle\propto \delta_{\vec{n}\vec{k}}$ is what makes the complementary subspace analytically tractable. This diagonalization reduces the search for a DFS to a counting problem on the integer $C=k_3-k_1$ and gives the explicit dimension formula, and it provides the matrix elements $\langle\psi^\perp_{\vec{n}}|\partial_t\psi_{\vec{k}}\rangle$ that the shortcut Hamiltonians must match. The two shortcut mechanisms are the cavity-drive modification $\chi\to\chi+\chi_s$ for the edge DFSs and an additional laser coupling between the $|-1_g\rangle$ and $|1_g\rangle$ states for the central DFS; both are quadratic in single-particle operators and therefore reach only unentangled target states.

What would settle it

Numerically simulate the shortcut protocol for $|\psi_{N,0,0}\rangle$ with $N=5$ in the full model that keeps the excited states, adding a spontaneous-emission jump operator at rate $\gamma$ from each excited state, and scan $\gamma/\Gamma_c$ from 0.01 upward while holding all other parameters at the values used in Table I. If the final purity $P(t_f)$ or the target overlap $F(1,t_f)$ falls below 0.99 at a $\gamma$ small enough that the excited-state elimination should still be valid, the single-jump-operator shortcut is falsified; the same quantity can be checked experimentally by state tomography after a $1/\Gamma_c$ ramp and by looking for population in the DFS's orthogonal complement.

Watch

Extended reading notes

Core claim

At the center of the paper is the observation that the single non-Hermitian jump operator $\hat{L}=\sqrt{\Gamma_c}(\hat{J}_-+\mu^2\hat{J}_++\chi)$ can be diagonalized exactly by a non-unitary transformation in Schwinger-boson space, $\hat{L}=\sqrt{\Gamma_c}[\sqrt{2}\mu(\hat{c}_1^\dagger\hat{d}_1-\hat{c}_3^\dagger\hat{d}_3)+\chi]$. Its eigenstates are $|\psi_{\vec{k}}\rangle\propto(\hat{c}_1^\dagger)^{k_1}(\hat{c}_2^\dagger)^{k_2}(\hat{c}_3^\dagger)^{k_3}|0\rangle$ with eigenvalues $\sqrt{\Gamma_c}[\sqrt{2}\mu(k_1-k_3)+\chi]$, so the DFS is exactly the span of all eigenstates with $k_3-k_1=C=\chi/(\sqrt{2}\mu)$, a subspace of dimension $\lceil(N+1-|C|)/2\rceil$ whose states move as $\mu$ and $\chi$ are ramped. The paper then constructs shortcut Hamiltonians satisfying $\langle\psi^\perp_{\vec{n}}|\hat{H}_s|\psi_{\vec{k}}\rangle=i\hbar\langle\psi^\perp_{\vec{n}}|\partial_t\psi_{\vec{k}}\rangle$ to cancel all leakage into the complementary subspace; this yields the numerically demonstrated preparation of $|\psi_{N,0,0}\rangle$ and $|\psi_{0,N,0}\rangle$ in $t_f=1/\Gamma_c$. At $\mu=1$ the jump operator becomes Hermitian and the DFS hosts effective Pauli operators $\hat{\sigma}_x,\hat{\sigma}_y,\hat{\sigma}_z$ that drive a protected qubit while commuting with $\hat{L}$.

Load-bearing premise

The entire construction rests on the assumption that the fast degrees of freedom (cavity photons and excited atomic states) can be eliminated so that exactly one dissipation channel remains, described by the single jump operator $\hat{L}$; if spontaneous emission from the excited states is not negligible, or if the detuning and timescale hierarchies $\Delta_e\gg g,|\Omega_i|$, $g\gg|\Omega_i|$, $\kappa\gg|\sqrt{N}g\Omega_i/\Delta_e|$, $\kappa\gg \partial_t\eta/\eta,\partial_t\Omega_i/\Omega_i$ are violated, additional jump operators appear and the kernel of $\hat{L}$ is no longer the protected subspace.

Editorial extensions

If this is right

  • A pure target state can be prepared in a time $t_f=1/\Gamma_c$, roughly two orders of magnitude faster than the best adiabatic ramp ($137/\Gamma_c$) or quench ($318/\Gamma_c$) reported for the same $N=5$ system, so the state spends far less time exposed to noise the DFS does not protect against.
  • The DFS dimension can be dialed from 1 to $\lceil(N+1)/2\rceil$ by choosing the integer $C=\chi/(\sqrt{2}\mu)$, so a single setup can store a protected qubit, a qutrit, or a higher-dimensional qudit without changing the apparatus.
  • Because all states in the DFS are simultaneous eigenstates of $\hat{L}$, any operator that commutes with $\hat{L}$ (such as the effective Pauli operators of Sec. VI) can implement gates inside the subspace without causing decoherence; the qubit is therefore naturally robust against single-particle errors.
  • The DFS contains states with quantum Fisher information scaling as $N^2/2+N$ at $\mu=1$, so the protected subspace doubles as a source of Heisenberg-limited metrological sensitivity.
  • The shortcut to the central DFS state $|\psi_{0,N,0}\rangle$ is exact in simulation ($P=F=1$ up to numerical error), while the edge shortcuts carry only a small cutoff-induced error ($P=0.999992$, $F=0.9996$), meaning the main practical limitation is laser power near $\mu=1$, not the shortcut principle itself.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The shortcut Hamiltonians are quadratic in single-particle operators, so they can only reach unentangled product states; combining that with the paper's commuting Pauli operators suggests a two-stage recipe — shortcut to $|\psi_{0,N,0}\rangle$, then drive inside the DFS — for preparing the highly entangled, metrologically useful states, a concatenation the paper leaves implicit.
  • Because the edge-DFS shortcut requires $\chi_s\propto(\mu^4-1)^{-1}$, the 'not limited by any error rate' claim is in practice bounded by available laser power near $\mu=1$; a natural extension would be to optimize the pulse shape $\mu(t)$ or splice the two shortcut types to minimize peak power for a fixed total time.
  • If spontaneous emission is added perturbatively, it introduces jump operators that do not share the kernel of $\hat{L}$; computing the resulting leakage in first-order perturbation theory would give a quantitative bound on when the DFS protection degrades, which the paper does not provide.
  • The effective Pauli operators require four-operator (two-atom) interaction terms, so realizing the protected qubit gates will require a physical mechanism beyond the single-particle drives used for the shortcuts; identifying such a mechanism and testing gate fidelities under the same parameter hierarchy is a direct next step.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies N three-level atoms collectively coupled to a single cavity mode and derives an effective master equation with one jump operator L = √Γc(J_− + μ²J_+ + χ). Through a non-unitary diagonalization of L, the authors classify the decoherence-free subspaces by an integer C = χ/(√2μ), derive the dimension formula D(N,C)=⌈(N+1−|C|)/2⌉, and extract the structure of the dark states. They then compare three preparation protocols for the edge DFS H^{(−N)}_{DFS} and the central DFS H^{(0)}_{DFS}: an instantaneous quench, an adiabatic ramp, and two transitionless shortcuts to adiabaticity implemented by a modified cavity drive or by additional lasers. For N=5, numerical simulations report that the shortcut prepares |ψ_{N,0,0}⟩ with P=0.999992 and F=0.9996 in a time tf=1/Γc, whereas the quench and ramp require hundreds of 1/Γc to reach the 0.99 thresholds. The paper also defines effective Pauli operators that act on two-dimensional DFSs at μ=1.

Significance. If the effective single-jump model is justified, the paper makes a valuable contribution: it gives an explicit analytic diagonalization of a non-Hermitian collective jump operator, a closed-form DFS dimension formula, and shortcut Hamiltonians that are derived from the counterdiabatic condition rather than fitted. These are concrete, reproducible results, and the numerical simulations act as consistency checks on the analytic construction. The paper also identifies entangled dark states with Heisenberg-limit quantum Fisher information, which is a useful observation. The main gap is that the validity domain of the effective model, in particular the neglect of excited-state spontaneous emission, is stated only qualitatively, and the headline claim of purity-preserving preparation is therefore contingent on an unquantified strong-cooperativity condition.

major comments (2)
  1. [Section III and Appendix A] The single-jump effective master equation (6) is the foundation for the DFS and shortcut claims, and its derivation in Appendix A begins with the assumption that spontaneous decay from the excited states is negligible, but no quantitative condition is given. If an excited-state decay rate γ is included, elimination of the excited states produces additional Lindblad operators; the kernel of the single L in Eq. (7) is then no longer the protected subspace, and the shortcut condition (36) cannot guarantee purity. For the detuning regime used in the simulations (Δ′c/κ ≈ 0.1), estimating the effective Raman scattering rate as γ_eff ∼ γ(Ω/Δ_e)^2 and comparing it with Γ_c ∼ κg²Ω²/[Δ_e²(Δ_c′²+κ²)] gives γ_eff/Γ_c ∼ κγ/g², i.e., the single-jump model requires single-atom cooperativity g²/(κγ) ≫ 1. This condition should be derived and checked against the 87Rb parameters referenced in Refs. [44,45]; without it, the abstract's 'without any loss of purity' is contingent on an unstated strong-cooperativity assumption.
  2. [Section V D3, Eq. (43)] The statement that the final state for both the quench and the ramp 'must be' |j=N, k3−k1=C⟩ is not literally correct for the quench protocols, because in Tables I and II the quench ends at μ(tf)=μq<1 and the system damps into H^{(C)}_{DFS}(μq), not into H^{(C)}_{DFS}(1). The state |j=N, k3−k1=C⟩ is the unique state in the μ=1 target sector, and the actual quench final state has overlap F(1,tf)≈0.99 rather than exactly 1. The text should either restrict Eq. (43) to the ramp and to the μ=1 component of the quench state, or explain how the j=N conservation plus the C constraint uniquely fixes the quench final state inside H(μq); as written, the claim is inconsistent with the reported fidelities.
minor comments (5)
  1. [Abstract and Section V C] The abstract's phrase 'without any loss of purity' is stronger than the implemented protocol: the cavity-drive shortcut uses a cutoff |χ+χs|≤5√2N and the reported values are P=0.999992 and F=0.9996, with the deviation dominated by the cutoff rather than by numerical error. Please qualify the claim as applying to the ideal shortcut in the effective model.
  2. [Table I caption] The caption says the shortcut has 'unity purity and overlap up to numerical error,' but the F=0.9996 value is limited by the cutoff scheme described in Appendix E 1 and in Section V C; the caption should attribute this small error to the cutoff, not to numerical precision alone.
  3. [Section V C, after Eq. (37)] The text states that 'it can be proven that we can only shortcut to states that do not possess interparticle entanglement,' but immediately adds that 'the proof does not appear in this work.' Since this restriction is used to select the shortcut targets, please provide a proof, a sketch, or a precise reference; the current statement is an unsupported claim.
  4. [Section IV A and Appendix B] The linear independence of the states |ψ_k⟩ in Eq. (23), and hence the claim that they form a basis of the symmetric manifold of dimension (N+2)(N+1)/2, is asserted but not proved. A short argument using invertibility of V in Eq. (18) would make the dimensionality statement self-contained.
  5. [Section VI, Eq. (47)] The effective Pauli operators are introduced with the sufficient condition that they commute with L, but the verification is only shown on the two DFS basis states. Please state explicitly that [σ_i,L]=0 holds on the full Hilbert space (or on the full symmetric manifold), since invariance of the DFS under arbitrary superpositions is what guarantees decoherence-free driving.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the DFS and shortcut are derived from the effective master equation, and the numerics are consistency checks, not fitted predictions.

full rationale

The paper's central derivation is self-contained. The effective master equation (6) with the single jump operator (7) is obtained in Appendix A from a microscopic Hamiltonian under explicitly stated limits (|Δe|≫g,|Ω1|,|Ω2|; κ large compared with collective couplings and drive derivatives). The DFS is then defined as the kernel of this jump operator, and the Lidar–Chuang–Whaley criteria are applied directly; this is a mathematical construction, not a circular one. The eigenstates of the non-Hermitian jump operator are derived explicitly through the VDV⁻¹ diagonalization and the resulting states, normalizations, and overlaps are computed in the paper itself, rather than imported as black boxes. The shortcut Hamiltonian is obtained by solving the standard counterdiabatic condition of Eq. (36), with the matrix elements ⟨ψ⊥_n|H_s|ψ_k⟩ = iℏ⟨ψ⊥_n|∂_tψ_k⟩ computed in Appendix E. The reported purities and fidelities in Tables I and II are the results of integrating the same effective master equation with the analytically derived shortcut, and the deviation from unity is explicitly attributed to the chosen cutoff |χ+χs|≤5√2N, which the paper states is arbitrary and minimally influential. These are consistency checks of the analytic construction, not predictions obtained by fitting parameters to data. The paper does refer to the authors' earlier Ref. [27] for methodology (e.g., 'We now follow the methodology of Ref. [27]'), but the relevant formulas are re-derived in the appendices, so this citation is not load-bearing. The main caveat—that the no-purity-loss result holds only within the single-jump effective model and requires the assumptions of Appendix A, including negligible spontaneous emission from excited states—is a modeling limitation and a correctness risk, not a circularity. Because no step of the derivation reduces to its own input by definition or by fitted-parameter renaming, the circularity score is 0.

Assumptions & free parameters 3 free parameters · 5 assumptions · 0 invented entities

The core DFS and shortcut derivations are analytic and rely on the standard adiabatic-elimination regime rather than on fitted constants. Three protocol parameters (μ_q, β, cutoff coefficient) are hand-tuned in the numerical comparisons, and the restriction to quadratic shortcuts rests on an unproved statement.

free parameters (3)
  • quench ratio μ_q = 0.96 (C=-N), 0.98 (C=0)
    Chosen by numerical search so that P(tf)≥0.99 and F(1,tf)≥0.99 (Eq. 35); it controls the dissipative gap and overlap with the target DFS.
  • adiabatic ramp rate β = 1/tf, tf=137/Γc (C=-N), 330/Γc (C=0)
    Largest β satisfying the threshold Eq. (35); determines the ramp speed and final fidelity.
  • shortcut cutoff coefficient = 5 in |χ+χ_s| ≤ 5√2N
    Introduced to truncate the diverging χ_s near μ=1; described as arbitrary, and it causes reported errors (F error ~1e-4, P error ~1e-6).
assumptions (5)
  • domain assumption The effective single-jump master equation (Eq. 6) is valid after eliminating excited states and the cavity mode.
    Requires the stated parameter hierarchy in Sec. III: |Δe|≫g,|Ω1|,|Ω2|; g≫|Ω1|,|Ω2|; κ≫|√N gΩ_i/Δe|; κ≫∂tη/η, ∂tΩ_i/Ω_i; and negligible spontaneous emission from excited states (Appendix A).
  • domain assumption The dynamics is confined to the permutationally symmetric SU(3) manifold.
    The initial state |−1g>^⊗N and all operators are symmetric, so Eq. (14) gives the exact Hilbert-space dimension for the accessible sector (Sec. IV).
  • domain assumption The transitionless condition of Ref. [24], Eq. (36), correctly characterizes shortcut Hamiltonians for an instantaneous DFS.
    The paper applies the standard counterdiabatic condition without re-derivation (Sec. V C, Appendix E).
  • ad hoc to paper Quadratic, single-particle shortcut Hamiltonians can only reach unentangled target states.
    Stated in Sec. V C with the note 'the proof does not appear in this work'; no citation is given, so this is an unsupported assumption that limits the shortcut construction.
  • standard math The SU(2) subalgebra J^2 and Clebsch-Gordan decomposition apply to the three-level collective states.
    Used in Appendix D to derive the conserved j=N final state |j=N, mk=C> for quench and ramp protocols.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Engineering tunable decoherence-free subspaces with collective atom-cavity interactions." pith.science (2026). https://pith.science/paper/HO5UILV3

@misc{pith2026241202921,
  author       = {Pith},
  title        = {Pith review of: Engineering tunable decoherence-free subspaces with collective atom-cavity interactions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HO5UILV3}},
  note         = {Machine review of arXiv:2412.02921}
}
read the original abstract

We propose schemes to design and control a time-dependent decoherence-free subspace (DFS) in a dissipative atom-cavity system. These schemes use atoms with three internal energy levels, which allows for the DFS to be multi-dimensional--a condition important for quantum sensing, simulation, and computation. We consider the use of tunable external driving lasers to transfer the system from a coherent spin state to a highly degenerate DFS. We find that the typical state in the DFS is highly entangled. Throughout evolution the state is kept in an instantaneous DFS, thereby allowing for pure states to be prepared. We develop adiabatic shortcuts to carry out this evolution with higher purity and fidelity than standard adiabatic and dissipative methods.

Figures

Figures reproduced from arXiv: 2412.02921 by the authors.

Figure 1
Figure 1. we have highlighted this by sketching that Hˆ eff can￾not couple any decoherence-free states outside of HDFS. The system will typically damp into the DFS over time as the jump operators introduce stable decoherence-free population, whereas population in all other states will decay away. The Hamiltonian cannot affect this behavior as it cannot move states into or out of the DFS. We now manipulate the DFS via dynamica… view at source ↗
Figure 2
Figure 2. FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3. The DFS structure for [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figures from the paper (1 more)
Figure 5
Figure 5. Figure 5: FIG. 5. Time evolution of [PITH_FULL_IMAGE:figures/full_fig_p009_5.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

92 extracted references · 48 canonical work pages

  1. [27]

    S. Jin, H. Bao, J. Duan, X. Lu, M. Wang, K.-F. Zhao, H. Shen, and Y. Xiao, Adiabaticity in state preparation for spin squeezing of large atom ensembles, Photon. Res. 9, 2296 (2021)

  2. [1]

    This Hamiltonian can be created by changing the driving amplitude of the injected cavity drive η to η + ηs so that χ transforms to χ + χs

    Cavity drive modification We start by providing the shortcut Hamiltonian that is used for the preparation of |ψN,0,0⟩ and |ψ0,0,N ⟩, which are both in one-dimensional DFSs. This Hamiltonian can be created by changing the driving amplitude of the injected cavity drive η to η + ηs so that χ transforms to χ + χs. Remarkably, this does not require adding any ...

  3. [2]

    This subspace has the maximal dimension

    Additional lasers We now discuss how to shortcut to the state |ψ0,N,0⟩ in the central DFS where C = χ = 0. This subspace has the maximal dimension. To achieve this, consider a new shortcut Hamiltonian given by ˆHs = iαˆb† −1ˆb1 − iαˆb† 1ˆb−1 (40) which could be implemented experimentally by addi- tional lasers coupling between the |1g⟩ and |-1g⟩ inter- na...

  4. [3]

    the edge DFS H(−N ) DFS (µ)

    Edge decoherence-free subspace First, we consider the extremal value of C = −N , i.e. the edge DFS H(−N ) DFS (µ). This time-evolution is shown in Fig. 4. In Tab. I we show the numerical results for the evolution time tf , the final purity P(tf ), and the final overlap F (1, tf ) with the µ = 1 target subspace. For the quench, we also provide the final ov...

  5. [4]

    The inset shows behavior near t = tf

    (b) Purity of ˆρat(t). The inset shows behavior near t = tf . (c) Overlap of ˆρat(t) with H(−N ) DFS (µ(t)) which measures how well the state matches the current DFS. The inset shows behavior near t = tf . (d) Overlap of ˆρat(t) with H(−N ) DFS (1) which measures how well the state matches the target DFS. Note that tf is different for the different protoc...

  6. [5]

    Central decoherence-free subspace Now, we consider time dynamics where we set C = 0, corresponding to H(0) DFS(µ), as shown in Fig. 5. In Tab. II we provide a similar set of numerical results for the previous state in Tab. I. Here, the quench value for µ is µ(tf ) = µq = 0.98. (a) (b) (c) FIG. 5. Time evolution of H(0) DFS(µ) in units of tf via short- cut...

  7. [6]

    As the final purity P(tf ) is near 1 for all protocols, we can map ˆρat(tf ) to a pure state |ψ(tf )⟩

    Final state As H(0) DFS(µ) is multi-dimensional, determining the fi- nal state of the evolution analytically is nontrivial. As the final purity P(tf ) is near 1 for all protocols, we can map ˆρat(tf ) to a pure state |ψ(tf )⟩. For the shortcut, we have |ψ(tf )⟩ = |ψ0,5,0⟩ because our shortcuts are de- signed intentionally to drive between these states. Fo...

  8. [7]

    + ℏ NX j=1 −∆s (|1g⟩j⟨1g| − |-1g⟩j⟨-1g|) − ∆e|0e⟩j⟨0e| − (∆e − ∆s) |-1e⟩j⟨-1e| −(∆e + ∆s) |1e⟩j⟨1e| + gˆa† (|-1g⟩j⟨-1e| + |0g⟩j⟨0e| + |1g⟩j⟨1e|) + H.c

    Interaction picture In the first step we transform the Hamiltonian into the interaction picture using ˆ ρ → ˆU ˆρ ˆU † with ˆU = exp[i ˆH ′t/ℏ] with ˆH ′ =ℏ ω1 + ω2 2 ˆa†ˆa + NX j=1 −ω1 + ω2 2 ℏ(|1g⟩j⟨1g| − |-1g⟩j⟨-1g|) + ℏ ω1 + ω2 2 |0e⟩j⟨0e| + ℏω1|-1e⟩j⟨-1e| + ℏω2|1e⟩j⟨1e| (A2) so that our Hamiltonian becomes ˆHI = − ℏ∆cˆa†ˆa + ℏ ηˆa†ei∆dt + H.c. + ℏ NX...

Show all 92 references
  1. [8]

    This explicitly assumes the highly-detuned limit, |∆e| ≫ g, |∆s| , |Ω1| , |Ω2|

    Excited-state elimination We now eliminate the cavity degrees of freedom. This explicitly assumes the highly-detuned limit, |∆e| ≫ g, |∆s| , |Ω1| , |Ω2|. This allows us to adiabatically elim- inate the excited states |±1e⟩, |0e⟩ which evolve on a faster timescale than the grou...

  2. [9]

    For this we assume that the cavity photon lifetime is much shorter than collectively-enhanced processes, κ/ √ N ≫ |gΩ1/∆e|, |gΩ2/∆e|

    Cavity-mode elimination We now eliminate the cavity field to derive a time evolution that only involves the ground states. For this we assume that the cavity photon lifetime is much shorter than collectively-enhanced processes, κ/ √ N ≫ |gΩ1/∆e|, |gΩ2/∆e|. This allows us to ad...

  3. [10]

    For this we use the form of Eq

    Eigenvalue In this first part we discuss some technical details on the derivation of the eigenvalues. For this we use the form of Eq. (22) and apply it onto the eigenstate |ψ⃗k⟩ given by Eq. (23). We will commute the ladder operators in ˆL through |ψ⃗k⟩ which means the goal is...

  4. [11]

    orthogonalize

    Eigenstate overlap We now calculate the overlap between ˆL eigenstates to determine the normalization N⃗k. For µ = 1, the ˆ ci operators satisfy canonical com- mutation relations [ˆ ci, ˆc† j] = δi j, so their overlap is ⟨ψ⃗k′|ψ⃗k⟩ = δ⃗k′ ⃗k, and their normalization takes the ...

  5. [12]

    The overlap and normalization calculations for com- plementary states |ψ⊥ ⃗ n⟩ = N ⊥ ⃗ n( ˆd† 1)n1 ( ˆd† 2)n2 ( ˆd† 3)n3 |0⟩

    Complementary states We now discuss properties of the orthogonal comple- ment of the eigenspaces. The overlap and normalization calculations for com- plementary states |ψ⊥ ⃗ n⟩ = N ⊥ ⃗ n( ˆd† 1)n1 ( ˆd† 2)n2 ( ˆd† 3)n3 |0⟩. (B14) are similar to those of ˆL eigenstates, but we ...

  6. [13]

    In the µ = 1 limit, finding the eigenstates of ˆKz also finds the eigenstates of ˆL

    = √Γc √ 2 ˆKz + χ . In the µ = 1 limit, finding the eigenstates of ˆKz also finds the eigenstates of ˆL. Now, we rephrase the time evolution of the system as rotating the states from a simultaneous ˆJ 2, ˆJz eigenstate into a simultaneous ˆJ 2, ˆKz, eigenstate. The degeneracy ...

  7. [14]

    J. G. Bohnet, B. C. Sawyer, J. W. Britton, M. L. Wall, A. M. Rey, M. Foss-Feig, and J. J. Bollinger, Quantum spin dynamics and entanglement generation with hun- dreds of trapped ions, Science 352, 1297 (2016)

  8. [15]

    This shortcut is achieved by modifying the amplitude and phase of the cavity-mode drive η

    Cavity-drive modification We now discuss details for the implementation of the shortcut Hamiltonian for ⃗k ∈ {(0, 0, N), (N, 0, 0)}. This shortcut is achieved by modifying the amplitude and phase of the cavity-mode drive η. Keeping ∆e, g, Ω1 constant, we can write this as shif...

  9. [16]

    Additional lasers In this appendix we provide additional details for the shortcut to the ⃗k = (0, N,0) state. The shortcut Hamil- tonian that we use is ˆHs = iα ˆb† −1ˆb1 − ˆb† 1ˆb−1 (E11) for some real scalar α, which would be implemented by additional lasers coupling between...

  10. [17]

    Preskill, Quantum Computing in the NISQ era and beyond, Quantum 2, 79 (2018)

    J. Preskill, Quantum Computing in the NISQ era and beyond, Quantum 2, 79 (2018)

  11. [18]

    E. Joos, H. D. Zeh, C. Kiefer, D. Giulini, J. Kupsch, and I.-O. Stamatescu, Decoherence and the Appearance of a Classical World in Quantum Theory, 2nd ed. (Springer- Verlag, Berlin, Germany, 2003)

  12. [19]

    C. W. Gardiner and P. Zoller, Quantum Noise: a Handbook of Markovian and non-Markovian Quantum Stochastic Methods with Applications to Quantum Op- tics, 3rd ed. (Springer, Berlin, Germany, 2010)

  13. [20]

    Orszag, Quantum Optics: Including Noise Reduction, Trapped Ions, Quantum Trajectories, and Decoherence, 2nd ed

    M. Orszag, Quantum Optics: Including Noise Reduction, Trapped Ions, Quantum Trajectories, and Decoherence, 2nd ed. (Springer-Verlag, Berlin, Germany, 2010)

  14. [21]

    D. P. DiVincenzo, Quantum computation, Science 270, 255 (1995)

  15. [22]

    W. G. Unruh, Maintaining coherence in quantum com- puters, Phys. Rev. A 51, 992 (1995)

  16. [23]

    Aharonov, W

    D. Aharonov, W. V. Dam, J. Kempe, Z. Landau, S. Lloyd, and O. Regev, Adiabatic quantum computation is equivalent to standard quantum computation, SIAM Journal on Computing 37, 166–194 (2007)

  17. [24]

    We may apply this additional Hamiltonian in concert with the original ˆHat in order to drive directly from the initial state |ψ(0)⟩ into the target state

    for any ⃗ nsuch that n3 − n1 ̸= C = k3 − k1, mean- ing all |ψ⊥ ⃗ n⟩ ∈ H(C) CS (µ). We may apply this additional Hamiltonian in concert with the original ˆHat in order to drive directly from the initial state |ψ(0)⟩ into the target state. Below will will provide an exact calcul...

  18. [25]

    Albash and D

    T. Albash and D. A. Lidar, Adiabatic quantum compu- tation, Rev. Mod. Phys. 90, 015002 (2018)

  19. [26]

    Venegas-Gomez, J

    A. Venegas-Gomez, J. Schachenmayer, A. S. Buyskikh, W. Ketterle, M. L. Chiofalo, and A. J. Daley, Adiabatic preparation of entangled, magnetically ordered states with cold bosons in optical lattices, Quantum Science and Technology 5, 045013 (2020)

  20. [28]

    Herb and C

    K. Herb and C. L. Degen, Quantum speed limit in quan- tum sensing, Phys. Rev. Lett. 133, 210802 (2024)

  21. [29]

    J. T. Reilly, S. B. J¨ ager, J. D. Wilson, J. Cooper, S. Eg- gert, and M. J. Holland, Speeding up squeezing with a pe- riodically driven dicke model, Phys. Rev. Res. 6, 033090 (2024)

  22. [30]

    J. D. Wilson, J. T. Reilly, H. Zhang, C. Luo, A. Chu, J. K. Thompson, A. M. Rey, and M. J. Holland, Entan- gled matter waves for quantum enhanced sensing, Phys. Rev. A 110, L041301 (2024)

  23. [31]

    Pellizzari, S

    T. Pellizzari, S. A. Gardiner, J. I. Cirac, and P. Zoller, Decoherence, continuous observation, and quantum com- puting: A cavity qed model, Phys. Rev. Lett. 75, 3788 (1995)

  24. [32]

    Schulte-Herbr¨ uggen, R

    T. Schulte-Herbr¨ uggen, R. Marx, A. Fahmy, L. Kauff- man, S. Lomonaco, N. Khaneja, and S. J. Glaser, Con- trol aspects of quantum computing using pure and mixed states, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 370, 465...

  25. [33]

    S. Zhou, M. Zhang, J. Preskill, and L. Jiang, Achiev- ing the heisenberg limit in quantum metrology using quantum error correction, Nature Communications 9, 10.1038/s41467-017-02510-3 (2018)

  26. [34]

    P. W. Shor, Scheme for reducing decoherence in quantum computer memory, Phys. Rev. A 52, R2493 (1995)

  27. [35]

    B. W. Reichardt, D. Aasen, R. Chao, A. Chernogu- zov, W. van Dam, J. P. Gaebler, D. Gresh, D. Luc- chetti, M. Mills, S. A. Moses, B. Neyenhuis, A. Paetznick, A. Paz, P. E. Siegfried, M. P. da Silva, K. M. Svore, Z. Wang, and M. Zanner, Demonstration of quantum computation and ...

  28. [36]

    Preskill, Fault-tolerant quantum computation, in In- troduction to Quantum Computation and Information (World Scientific, Singapore, 1998) pp

    J. Preskill, Fault-tolerant quantum computation, in In- troduction to Quantum Computation and Information (World Scientific, Singapore, 1998) pp. 213–269

  29. [37]

    Arute et al

    F. Arute et al. , Quantum supremacy using a pro- grammable superconducting processor, Nature 574, 505 (2019)

  30. [38]

    Wang and J

    Y. Wang and J. Liu, A comprehensive review of quantum machine learning: from nisq to fault tolerance, Reports on Progress in Physics 87, 116402 (2024)

  31. [39]

    I. Cong, H. Levine, A. Keesling, D. Bluvstein, S.- T. Wang, and M. D. Lukin, Hardware-efficient, fault- tolerant quantum computation with rydberg atoms, Phys. Rev. X 12, 021049 (2022)

  32. [40]

    S. L. Wu, X. L. Huang, H. Li, and X. X. Yi, Adiabatic evolution of decoherence-free subspaces and its shortcuts, Phys. Rev. A 96, 042104 (2017). 18

  33. [41]

    R. I. Karasik, K.-P. Marzlin, B. C. Sanders, and K. B. Whaley, Criteria for dynamically stable decoherence-free subspaces and incoherently generated coherences, Phys. Rev. A 77, 052301 (2008)

  34. [42]

    D. A. Lidar, Review of decoherence-free subspaces, noise- less subsystems, and dynamical decoupling, in Quantum Information and Computation for Chemistry(John Wi- ley & Sons, Ltd, Hoboken, NJ, 2014) pp. 295–354

  35. [43]

    J. T. Reilly, S. B. J¨ ager, J. Cooper, and M. J. Holland, Adiabatic control of decoherence-free subspaces in an open collective system, Phys. Rev. A 106, 023703 (2022)

  36. [44]

    Rubies-Bigorda, S

    O. Rubies-Bigorda, S. J. Masson, S. F. Yelin, and A. Asenjo-Garcia, Deterministic generation of photonic entangled states using decoherence-free subspaces, arXiv preprint arXiv:2410.03325 (2024), 2410.03325 [quant- ph]

  37. [45]

    C. M. Diniz, C. J. Villas-Boas, and A. C. Santos, Scalable quantum eraser with superconducting integrated circuits, Quantum Science and Technology 10, 025039 (2025)

  38. [46]

    Ritsch, P

    H. Ritsch, P. Domokos, F. Brennecke, and T. Esslinger, Cold atoms in cavity-generated dynamical optical poten- tials, Rev. Mod. Phys. 85, 553 (2013)

  39. [47]

    Chitra and O

    R. Chitra and O. Zilberberg, Dynamical many-body phases of the parametrically driven, dissipative dicke model, Phys. Rev. A 92, 023815 (2015)

  40. [48]

    F. m. c. Damanet, A. J. Daley, and J. Keeling, Atom-only descriptions of the driven-dissipative dicke model, Phys. Rev. A 99, 033845 (2019)

  41. [49]

    D. A. Lidar, I. L. Chuang, and K. B. Whaley, Decoherence-free subspaces for quantum computation, Phys. Rev. Lett. 81, 2594 (1998)

  42. [50]

    E. M. Fortunato, L. Viola, J. Hodges, G. Teklemariam, and D. G. Cory, Implementation of universal control on a decoherence-free qubit, New Journal of Physics 4, 5 (2002)

  43. [51]

    Hamann, P

    A. Hamann, P. Sekatski, and W. D¨ ur, Approximate deco- herence free subspaces for distributed sensing, Quantum Science and Technology 7, 025003 (2022)

  44. [52]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009)

  45. [53]

    E. G. Dalla Torre, J. Otterbach, E. Demler, V. Vuletic, and M. D. Lukin, Dissipative preparation of spin squeezed atomic ensembles in a steady state, Phys. Rev. Lett. 110, 120402 (2013)

  46. [54]

    S. J. Masson, M. D. Barrett, and S. Parkins, Cavity qed engineering of spin dynamics and squeezing in a spinor gas, Phys. Rev. Lett. 119, 213601 (2017)

  47. [55]

    S. J. Masson and S. Parkins, Extreme spin squeezing in the steady state of a generalized dicke model, Phys. Rev. A 99, 023822 (2019)

  48. [56]

    A. L. Grimsmo and S. Parkins, Cavity-qed simulation of qubit-oscillator dynamics in the ultrastrong-coupling regime, Phys. Rev. A 87, 033814 (2013)

  49. [57]

    L.-B. Chen, P. Shi, C.-H. Zheng, and Y.-J. Gu, Gen- eration of three-dimensional entangled state between a single atom and a bose-einstein condensate via adiabatic passage, Optics Express 20, 14547 (2012)

  50. [58]

    Dimer, B

    F. Dimer, B. Estienne, A. S. Parkins, and H. J. Carmichael, Proposed realization of the dicke-model quantum phase transition in an optical cavity qed sys- tem, Phys. Rev. A 75, 013804 (2007)

  51. [59]

    Zhang, C

    Z. Zhang, C. H. Lee, R. Kumar, K. J. Arnold, S. J. Mas- son, A. L. Grimsmo, A. S. Parkins, and M. D. Barrett, Dicke-model simulation via cavity-assisted raman transi- tions, Phys. Rev. A 97, 043858 (2018)

  52. [60]

    Zhiqiang, C

    Z. Zhiqiang, C. H. Lee, R. Kumar, K. J. Arnold, S. J. Masson, A. S. Parkins, and M. D. Barrett, Nonequilib- rium phase transition in a spin-1 dicke model, Optica 4, 424 (2017)

  53. [61]

    M. P. Baden, K. J. Arnold, A. L. Grimsmo, S. Parkins, and M. D. Barrett, Realization of the dicke model using cavity-assisted raman transitions, Phys. Rev. Lett. 113, 020408 (2014)

  54. [62]

    Gu´ ery-Odelin, A

    D. Gu´ ery-Odelin, A. Ruschhaupt, A. Kiely, E. Tor- rontegui, S. Mart ´ ınez-Garaot, and J. G. Muga, Short- cuts to adiabaticity: Concepts, methods, and applica- tions, Rev. Mod. Phys. 91, 045001 (2019)

  55. [63]

    Carollo, G

    A. Carollo, G. Massimo Palma, A. Lozinski, M. F. m. c. Santos, and V. Vedral, Geometric phase induced by a cyclically evolving squeezed vacuum reservoir, Phys. Rev. Lett. 96, 150403 (2006)

  56. [64]

    A. S. Parkins, P. Marte, P. Zoller, O. Carnal, and H. J. Kimble, Quantum-state mapping between multi- level atoms and cavity light fields, Phys. Rev. A 51, 1578 (1995)

  57. [65]

    A. S. Parkins, P. Marte, P. Zoller, and H. J. Kimble, Syn- thesis of arbitrary quantum states via adiabatic transfer of zeeman coherence, Phys. Rev. Lett. 71, 3095 (1993)

  58. [66]

    Shankar, J

    A. Shankar, J. Cooper, J. G. Bohnet, J. J. Bollinger, and M. Holland, Steady-state spin synchronization through the collective motion of trapped ions, Phys. Rev. A 95, 033423 (2017)

  59. [67]

    C. L. Degen, F. Reinhard, and P. Cappellaro, Quantum sensing, Rev. Mod. Phys. 89, 035002 (2017)

  60. [68]

    Pezz` e, A

    L. Pezz` e, A. Smerzi, M. K. Oberthaler, R. Schmied, and P. Treutlein, Quantum metrology with nonclassical states of atomic ensembles, Rev. Mod. Phys. 90, 035005 (2018)

  61. [69]

    J. T. Reilly, J. D. Wilson, S. B. J¨ ager, C. Wilson, and M. J. Holland, Optimal generators for quantum sensing, Phys. Rev. Lett. 131, 150802 (2023)

  62. [70]

    Ye and P

    J. Ye and P. Zoller, Essay: Quantum sensing with atomic, molecular, and optical platforms for fundamental physics, Phys. Rev. Lett. 132, 190001 (2024)

  63. [71]

    Huang, M

    J. Huang, M. Zhuang, and C. Lee, Entanglement- enhanced quantum metrology: From standard quantum limit to heisenberg limit, Applied Physics Reviews 11, 031302 (2024)

  64. [72]

    D. A. Steck, Quantum and atom optics (2007)

  65. [73]

    R. E. F. Silva and J. Feist, Permutational symmetry for identical multilevel systems: A second-quantized ap- proach, Phys. Rev. A 105, 043704 (2022)

  66. [74]

    Mathur, I

    M. Mathur, I. Raychowdhury, and R. Anishetty, Su (n) irreducible schwinger bosons, Journal of mathematical physics 51, 10.1063/1.3464267 (2010)

  67. [75]

    R. P. Stanley, Enumerative Combinatorics: Volume 1, 2nd ed. (Cambridge University Press, USA, 2011)

  68. [76]

    Schwinger, On Angular Momentum, Tech

    J. Schwinger, On Angular Momentum, Tech. Rep. NYO- 3071 (US Atomic Energy Commission, 1952)

  69. [77]

    J. Liu, H. Yuan, X.-M. Lu, and X. Wang, Quantum fisher information matrix and multiparameter estima- tion, Journal of Physics A: Mathematical and Theoretical 53, 023001 (2019)

  70. [78]

    M. J. Holland and K. Burnett, Interferometric detection of optical phase shifts at the heisenberg limit, Phys. Rev. Lett. 71, 1355 (1993)

  71. [79]

    Jozsa, Fidelity for mixed quantum states, Journal of Modern Optics 41, 2315 (1994)

    R. Jozsa, Fidelity for mixed quantum states, Journal of Modern Optics 41, 2315 (1994)

  72. [80]

    Cheney and D

    W. Cheney and D. Kincaid, Linear Algebra: Theory and Applications, The Jones & Bartlett Learning interna- 19 tional series in mathematics (Jones & Bartlett Learning, Burlington, MA, 2012)

  73. [81]

    A. Alex, M. Kalus, A. Huckleberry, and J. von Delft, A numerical algorithm for the explicit calculation of su(n) and SL( n, C)sl(n,c) clebsch–gordan coefficients, Journal of Mathematical Physics 52, 10.1063/1.3521562 (2011)

  74. [82]

    J. J. Sakurai and J. Napolitano, Modern Quantum Me- chanics, 3rd ed. (Cambridge University Press, Cam- bridge, United Kingdom, 2020)

  75. [83]

    Knill, R

    E. Knill, R. Laflamme, and L. Viola, Theory of quantum error correction for general noise, Phys. Rev. Lett. 84, 2525 (2000)

  76. [84]

    Ostermann, H

    L. Ostermann, H. Ritsch, and C. Genes, Protected state enhanced quantum metrology with interacting two-level ensembles, Phys. Rev. Lett. 111, 123601 (2013)

  77. [85]

    C. F. Roos, M. Chwalla, K. Kim, M. Riebe, and R. Blatt, ‘designer atoms’ for quantum metrology, Nature443, 316 (2006)

  78. [86]

    Kollath, A

    C. Kollath, A. Sheikhan, S. Wolff, and F. Brennecke, Ultracold fermions in a cavity-induced artificial magnetic field, Phys. Rev. Lett. 116, 060401 (2016)

  79. [87]

    Colella, F

    E. Colella, F. Mivehvar, F. Piazza, and H. Ritsch, Hof- stadter butterfly in a cavity-induced dynamic synthetic magnetic field, Phys. Rev. B 100, 224306 (2019)

  80. [88]

    Sheikhan, F

    A. Sheikhan, F. Brennecke, and C. Kollath, Cavity- induced generation of nontrivial topological states in a two-dimensional fermi gas, Phys. Rev. A 94, 061603 (2016)

  81. [89]

    LeDesma, K

    C. LeDesma, K. Mehling, J. Shao, J. D. Wilson, P. Ax- elrad, M. Nicotra, D. Z. Anderson, and M. Holland, Demonstration of a programmable optical lattice atom interferometer, Phys. Rev. Res. 6, 043120 (2024)

  82. [90]

    LeDesma, K

    C. LeDesma, K. Mehling, J. D. Wilson, M. Nicotra, and M. Holland, Universal gate set for optical lattice based atom interferometry, Phys. Rev. Res. 7, 013246 (2025)

  83. [91]

    S. B. J¨ ager, T. Schmit, G. Morigi, M. J. Holland, and R. Betzholz, Lindblad master equations for quantum sys- tems coupled to dissipative bosonic modes, Phys. Rev. Lett. 129, 063601 (2022)

  84. [92]

    Griffiths, Introduction to Quantum Mechanics(Cam- bridge University Press, Cambridge, United Kingdom, 2017)

    D. Griffiths, Introduction to Quantum Mechanics(Cam- bridge University Press, Cambridge, United Kingdom, 2017)

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.