Quantum correlations in the steady state of light-emitter ensembles from perturbation theory

1. Problem Statement

Open quantum systems interacting with an environment typically suffer from decoherence, which destroys quantum correlations and entanglement, reducing the system to a statistical mixture. While strategies exist to engineer robust entanglement (e.g., via collective dissipation or competition between dissipation and Hamiltonian dynamics), predicting the steady-state properties of such driven-dissipative systems remains a formidable challenge.

• The Core Difficulty: The steady state of a generic open quantum system is generally a mixed state. Reconstructing it requires solving the Lindblad master equation, which scales exponentially with the system size ($N$), making numerical solutions prohibitive even for modest $N$ (e.g., $N \sim 10$).
• The Gap: There is a lack of analytical frameworks to predict which forms of quantum correlations (specifically entanglement) emerge in the steady state when a system is driven away from a trivial, uncorrelated limit.

2. Methodology: Pure-State Perturbation Theory

The authors propose a framework based on pure-state perturbation theory applied to the steady state of the Lindblad equation.

• Physical Setup: The system consists of an ensemble of $N$ light emitters (qubits) coupled to a Markovian environment (vacuum field).
• Unperturbed Limit ($\lambda = 0$): The system possesses a $U(1)$ symmetry (conservation of excitation number). The unique steady state is the fully polarized ground state $|\phi_0\rangle = |g, g, \dots, g\rangle$ (all emitters in the ground state), which is a pure coherent spin state (CSS) with zero entropy.
• Perturbation: A Hamiltonian perturbation $\lambda H_1$ is introduced that breaks the $U(1)$ symmetry. This perturbation can be:
  • Two-emitter drive: Terms like $S_i^+ S_j^+ + h.c.$ (pair excitation/de-excitation).
  • Single-emitter drive: Terms like $S_i^+ + S_i^-$ (Rabi drive).
• Theoretical Approach:
  • The authors assume that for weak driving, the steady state remains close to pure, allowing the ansatz $\rho_{ss} \approx |\phi'_0\rangle\langle\phi'_0|$.
  • They expand the steady state vector $|\phi'_0\rangle$ in powers of $\lambda$: $|\phi'_0\rangle = |\phi_0\rangle + \lambda|\psi_1\rangle + \lambda^2|\psi_2\rangle + \dots$.
  • By substituting this into the Lindblad equation $\mathcal{L}[\rho_{ss}] = 0$ and projecting onto the eigenbasis of the unperturbed Hamiltonian $H_0$, they derive coupled equations for the correction coefficients.
  • Key Simplification: When the jump operators (dissipation) commute with $H_0$ (or satisfy specific conditions like $[ \sum \gamma_j L_j^\dagger L_j, H_0 ] = 0$), the problem maps to standard non-degenerate perturbation theory but with a non-Hermitian Hamiltonian $H_0^{(NH)} = H_0 - i \sum \frac{\gamma_j}{2} L_j^\dagger L_j$.

3. Key Contributions

1. Analytical Framework: Development of a pure-state perturbation theory specifically tailored for the steady state of Lindblad dynamics, avoiding the need for full density matrix reconstruction.
2. Squeezing Theorem (Two-Emitters): Derivation of a general theorem stating that any $U(1)$-symmetry-breaking two-emitter drive on a system with individual emission induces spin squeezing in the steady state at first order in perturbation theory.
3. Second-Order Squeezing (Single-Emitters): Demonstration that single-emitter (Rabi) drives induce spin squeezing at second order in perturbation theory, provided the system exhibits collective emission (e.g., the Driven Dicke model).
4. Minimal Uncertainty: Proof that the resulting perturbed steady states are minimal uncertainty states, meaning the product of variances of orthogonal spin components saturates the Heisenberg uncertainty relation.
5. Metrological Optimality: Establishment that for these states, spin squeezing is the optimal resource for entanglement-assisted metrology, as the inverse squeezing parameter equals the Quantum Fisher Information (QFI).

4. Key Results

The authors applied their theory to several collective-spin models and validated the results against exact numerical solutions (using permutational invariant solvers).

• Dissipative XYZ Model (Individual Emission + Two-Emitters Drive):

  • The perturbation breaks $U(1)$ symmetry, coupling the ground state to Dicke states with $M = -N/2 + 2$.
  • Result: The steady state exhibits spin squeezing. The direction of squeezing (the angle $\theta$) depends on the ratio of Hamiltonian anisotropy ($\delta J$) to dissipation strength ($\gamma$).
  • Phase Diagram Insight: The theory correctly predicts the onset of squeezing in the paramagnetic phase and identifies the transition to ferromagnetic correlations (anti-squeezing) in specific quadrants of the parameter space, even though the full phase transition is non-perturbative.

• Dissipative Transverse-Field Ising (TFI) Model:

  • Similar to the XYZ model, the two-emitter drive induces squeezing.
  • Result: The perturbative prediction for the squeezing parameter $\xi_R^2$ matches exact results linearly near the unperturbed limit and captures the correct angular dependence of the squeezed component.

• Driven Dicke Model (Collective Emission + Single-Emitters Drive):

  • Here, the first-order perturbation only rotates the collective spin without creating correlations.
  • Result: Squeezing appears at second order. The collective emission is crucial as it keeps the system within the symmetric Dicke manifold, allowing for entanglement generation.
  • The theory predicts a quadratic onset of squeezing with the drive strength $\Omega$, matching exact results up to the super-radiant transition.

5. Significance and Implications

• Overcoming Numerical Barriers: The method provides an analytical tool to predict quantum correlations in open systems where exact diagonalization is impossible for large $N$.
• Robustness of Correlations: It demonstrates that specific forms of entanglement (spin squeezing) are robust against decoherence and can be stabilized by the environment itself when driven appropriately.
• Experimental Relevance:
  • The results apply to current experiments with Rydberg atoms, atomic ensembles, and superconducting qubits.
  • It guides the design of protocols for quantum metrology, showing that weak driving in the presence of dissipation can generate optimal sensing resources (squeezed states) without complex state engineering.
• Theoretical Insight: The work reveals that the steady state of a driven-dissipative system near a $U(1)$ limit is effectively a perturbed eigenstate of a non-Hermitian Hamiltonian. This insight helps explain the emergence of specific correlation patterns (e.g., ferromagnetic correlations in the XYZ model despite antiferromagnetic couplings) that are not captured by mean-field theory.

In summary, the paper establishes that spin squeezing is the generic, optimal, and analytically predictable form of quantum correlation that emerges in the steady state of light-emitter ensembles when a $U(1)$-symmetric Hamiltonian is weakly perturbed, offering a powerful tool for understanding and engineering open quantum many-body systems.