Opening a gap in the dispersion of the collective excitations of a driven-dissipative condensate subject to an external coherent drive

This paper presents a minimal theoretical model demonstrating how an external coherent drive can fix the phase of a driven-dissipative condensate to open a gap in its collective excitation spectrum, while also mapping out steady-state regimes and identifying regions of dynamical instability that lead to supersolid-like modulations.

The Gist

Imagine a crowded dance floor where thousands of people (particles) are moving together in perfect sync. In physics, this synchronized crowd is called a condensate. Usually, if you nudge one dancer, a ripple travels through the crowd. In a calm, balanced system, these ripples move smoothly, like sound waves, and can have any tiny energy. This is called a "gapless" state because there is no minimum energy required to start a ripple; you can start with a whisper.

However, this paper explores what happens when we take this dance floor and turn it into a driven-dissipative system. Think of this as a dance floor where:

1. People are constantly leaving (dissipation/loss).
2. New people are constantly being pumped in (driving/pumping).
3. A DJ is playing a specific beat (coherent drive) trying to force everyone to dance to that specific rhythm.

The authors, E. Stazzu, G. A. P. Sacchetto, and I. Carusotto, built a mathematical model to see what happens to the "ripples" (collective excitations) when the DJ tries to lock the dancers' phase to his beat.

Here is the breakdown of their findings using everyday analogies:

1. The "Gap" in the Energy

In a normal, balanced crowd, you can start a ripple with almost zero effort. But when the DJ forces the dancers to lock onto his beat, something interesting happens: a "gap" opens up.

Imagine trying to start a ripple in a crowd that is tightly holding hands and marching to a strict drumbeat. You can't just wiggle a little bit; you have to push hard enough to overcome the strict rhythm.

• The Gap: This is the minimum "push" (energy) required to create a ripple.
• The Twist: In this specific type of "light condensate" (like lasers or polaritons), this gap can appear in two different ways:
  • Imaginary Gap: The ripple doesn't just cost energy; it might die out instantly or grow uncontrollably, like a wobbly tower that collapses before it can fall.
  • Real Gap: The ripple actually costs real energy to start, like pushing a heavy boulder up a small hill.

2. The Phase Diagram: The "Locking" Map

The authors drew a map (a phase diagram) based on two things: how loud the DJ is (amplitude) and how off-beat the DJ is from the dancers' natural rhythm (detuning).

• The "Sweet Spot" (Phase-Locked): If the DJ is loud enough and close to the right beat, the dancers lock in. The ripples now have that "gap." They are stable, but they need a push to start.
• The "Free-For-All" (Limit Cycle): If the DJ is too quiet or too far off-beat, the dancers ignore him. They start dancing to their own internal rhythm. In this state, the "gap" disappears! The ripples return to being "gapless" (like the Goldstone mode mentioned in the paper). The system is no longer locked to the outside world; it has found its own spontaneous rhythm.

3. The "Supersolid" Surprise

The most exciting part of the paper is a region where things get weird.
Usually, a solid is rigid (like a crystal), and a fluid flows (like water). A supersolid is a paradoxical state that is both rigid and fluid at the same time.

The authors found that under certain conditions (specifically when the system is unstable at certain distances), the condensate doesn't just stay uniform. Instead, it spontaneously organizes into a striped pattern (like a zebra).

• The Analogy: Imagine the dancers suddenly forming perfect lines and gaps between them, yet they are still flowing and dancing in sync.
• This happens because the "ripples" become unstable at specific distances, forcing the whole crowd to rearrange itself into a spatial pattern. This is a candidate for a "supersolid state of light."

4. Why Does This Matter?

While the math is complex, the real-world application is huge.

• Lasers and Optical Devices: This theory explains how lasers behave when you try to "inject" a signal into them to lock their frequency.
• Exciton-Polaritons: These are particles made of light and matter that act like a fluid. Recent experiments with these particles showed exactly what this paper predicts: sometimes the ripples have a gap, sometimes they don't, and sometimes the system becomes unstable and forms patterns.

Summary

Think of the paper as a guidebook for a chaotic dance floor:

1. If the DJ is strong enough: The dancers lock in, and it takes a lot of effort to mess up their rhythm (a gap opens).
2. If the DJ is weak: The dancers ignore him and find their own rhythm (the gap closes).
3. If the DJ is just right (but slightly off): The dancers might spontaneously form a striped pattern (a supersolid), creating a beautiful, ordered structure out of the chaos.

The authors successfully mapped out exactly when each of these scenarios happens, providing a blueprint for engineers and physicists to design better lasers and optical devices that can control light in these unique, "supersolid" ways.

Technical Summary

1. Problem Statement

The paper addresses the physics of collective excitations in driven-dissipative condensates (such as exciton-polariton condensates, photon condensates, or optical parametric oscillators).

• Context: In equilibrium Bose-Einstein condensates (BECs), spontaneous breaking of $U(1)$ symmetry leads to a gapless Goldstone mode (Bogoliubov dispersion). In driven-dissipative systems, this mode typically exhibits a diffusive nature ($\omega \sim -i k^2$) due to the non-conservation of particle number.
• The Gap: Recent experiments have shown that applying an additional coherent phase-locking drive can explicitly break the $U(1)$ symmetry, potentially opening an energy gap in the excitation spectrum.
• The Question: While the existence of a gap is known, the specific nature of this gap (whether it opens in the real part, the imaginary part, or both) and the conditions under which the system transitions between phase-locked states, limit cycles, and instabilities were not fully mapped out theoretically. The authors aim to construct a minimal model to characterize these regimes and predict the dispersion relations.

2. Methodology

The authors develop a theoretical framework based on a generalized Gross-Pitaevskii equation (GPE) for the intracavity field $E(\mathbf{r}, t)$.

• The Model:

  • The system is described by a complex field equation including:
    • Cavity resonance ($\omega_0$) and effective mass ($m^*$).
    • Nonlinear interactions ($\chi^{(3)}$ or exciton-exciton) via a term $g|E|^2E$.
    • Incoherent pumping ($P$) with gain saturation ($n_{sat}$) and linear losses ($\gamma$).
    • A monochromatic coherent drive ($E_{coh}, \omega_{coh}$) acting as a phase-locking mechanism.
  • The equation is transformed into a rotating frame at the drive frequency $\omega_{coh}$ to remove explicit time dependence for stationary analysis.

• Analytical Tools:

  • Stationary State Analysis: Solving algebraic equations for the steady-state amplitude $E_{ss}$.
  • Linear Stability Analysis (Bogoliubov): Perturbing the steady state ($E = E_{ss} + \delta E$) and linearizing the equations to derive the dispersion relation $\omega(k)$. The eigenvalues of the resulting matrix determine the gap structure.
  • Floquet-Bogoliubov Analysis: For regimes where the steady state is a limit cycle (periodic in time), the authors employ Floquet theory. They calculate the linearized propagator $U(T)$ over one period $T$ and derive the dispersion from the eigenvalues of this propagator.
  • Phase Diagram Construction: Mapping the system's behavior as a function of the coherent drive amplitude ($E_{coh}$) and detuning ($\Delta = \omega_{coh} - \omega_0$).

3. Key Contributions

1. Unified Phase Diagram: The paper provides a comprehensive phase diagram in the $(E_{coh}, \Delta)$ plane, identifying distinct regimes:
   • Phase-Locked Stationary States: Where the condensate phase is fixed by the drive.
   • Limit Cycles: Where the drive fails to lock the phase, leading to spontaneous oscillations.
   • Finite-$k$ Instabilities: Regions where the uniform state becomes unstable, leading to spatial modulations.
2. Characterization of the Gap: The authors demonstrate that the "gap" opened by the coherent drive is not uniform. Depending on the parameters, the gap can be:
   • Purely Imaginary: Affecting the decay rate but not the frequency.
   • Complex (Real + Imaginary): Affecting both the frequency shift and the decay rate.
3. Supersolid-Like Instability: Identification of a regime where the system exhibits finite-wavevector dynamical instability while the phase is locked (or partially locked), suggesting a candidate for an optical supersolid state (simultaneous breaking of translational and $U(1)$ symmetries).
4. Extension to Interacting Systems: The model is extended to include particle interactions ($g \neq 0$), showing how nonlinearity shifts the phase boundaries and alters the stability conditions (e.g., inducing bistability).

4. Key Results

A. Non-Interacting Case ($g=0$)

• Resonant Drive ($\Delta = 0$):
  • For strong incoherent pumping ($P > \gamma$), multiple stationary solutions exist. Only the high-intensity solution is stable and phase-locked.
  • The excitation spectrum has a purely imaginary gap at $k=0$. The real part of the dispersion remains zero at low $k$.
• Detuned Drive ($\Delta \neq 0$):
  • Real Gap Opening: As detuning increases, the gap at $k=0$ acquires a finite real part. This corresponds to the system oscillating at its natural frequency rather than the drive frequency.
  • Finite-$k$ Instability: For $\Delta > 0$, a region of instability appears at finite wavevectors ($k \neq 0$) before the system transitions to a limit cycle. This is driven by the competition between kinetic energy and detuning.
• Limit Cycle Regime:
  • When the drive is too weak to lock the phase, the system enters a limit cycle.
  • The dispersion recovers a gapless Goldstone mode (diffusive, $\omega \sim -ik^2$) due to the spontaneous breaking of the $U(1)$ symmetry associated with the choice of the initial phase on the limit cycle.
  • The spectrum exhibits Floquet band folding due to the periodic nature of the limit cycle.

B. Interacting Case ($g \neq 0$)

• Bistability: For $P < \gamma$ (weak incoherent pump), the coherent drive dominates, leading to optical bistability (two stable stationary states).
• Gap Structure: In the bistable regime, the real gap vanishes near the boundaries of the stable regions, recovering sonic-like behavior.
• Shifted Instabilities: Interactions shift the phase boundaries. Large interaction strengths can suppress finite-$k$ instabilities in stationary states by shifting the dispersion curve, but they remain possible in limit-cycle regimes.

C. Bifurcation Analysis

The transitions between regimes are characterized by specific bifurcations:

• Hopf Bifurcation: Transition from a stable stationary state to a limit cycle (zero amplitude limit cycle).
• Saddle-Node Bifurcation: Collision and annihilation of stable/unstable stationary states.
• Bogdanov-Takens Point: A codimension-2 bifurcation point where saddle-node and Hopf bifurcations meet, organizing the global phase diagram.

5. Significance

• Experimental Interpretation: The theory directly explains recent experimental observations in exciton-polariton condensates (specifically Ref. [10] in the paper) regarding the opening of gaps and the diffusive nature of Goldstone modes.
• Supersolidity of Light: The identification of a regime where spatial modulation (supersolidity) coexists with phase locking offers a new pathway to realize supersolid states of light without requiring multiple photonic branches, distinguishing it from previous atomic gas proposals.
• General Applicability: While focused on polaritons, the framework applies broadly to optical parametric oscillators (OPOs) and laser devices, providing a universal tool for understanding synchronization and collective mode stability in non-equilibrium optical systems.
• Theoretical Framework: The extension of Bogoliubov theory to limit-cycle solutions (Floquet-Bogoliubov) provides a robust method for analyzing collective excitations in periodically driven non-equilibrium systems.

In summary, the paper establishes a complete theoretical map of how external coherent drives manipulate the collective excitation spectrum of driven-dissipative condensates, revealing rich phenomenology including complex gap structures, limit-cycle dynamics, and potential supersolid phases.