---
title: Hidden Squeezing in Quantum Systems
url: https://www.emergentmind.com/topics/hidden-squeezing
type: topic
---

# Hidden Squeezing in Quantum Systems

Searching arXiv for recent and foundational papers on hidden squeezing.
Hidden squeezing denotes forms of squeezing that are physically present in a quantum or stochastic optical, optomechanical, atomic, or interferometric system but are not revealed by the most conventional observables or measurement bases. Across the literature, the term has been used in several technically distinct senses: noise reduction below the vacuum or coherent-state benchmark in hidden optical-polarization variables rather than ordinary Stokes observables [1006.4481]; squeezing encoded in complex, frequency-dependent covariance elements that standard homodyne detection cannot access [1602.02141, 1809.02396, 2207.00360, 2606.26266]; squeezing temporarily concealed in a transformed basis to mitigate decoherence and later recovered by inverse operations [1803.00587]; and, more broadly, squeezing that becomes manifest only after selecting an appropriate generalized observable, transformed mode basis, or resource benchmark [2503.09210]. The unifying feature is basis dependence: the noise reduction exists, but naive quadrature, polarization, or mode-resolved measurements can miss it.

## 1. Conceptual scope and definitions

The most restrictive usage of the term arises in hidden optical-polarization states (HOPS), where the relevant order parameter is not the ordinary polarization relation based on amplitude ratio and phase difference, but a hidden relation based on amplitude ratio and phase sum [1006.4481]. In that setting, hidden squeezing means noise reduction below the vacuum or coherent-state level in the hidden optical-polarization variables, not in the usual Stokes parameters [1006.4481].

A broader usage appears in continuous-variable and multimode settings. There, hidden squeezing refers to variance reduction that is present in the full covariance structure of the field but inaccessible to standard homodyne detection because the relevant amplitude–phase or sideband correlations are complex-valued, frequency dependent, multimode, or encoded in transformed observables [1602.02141, 2207.00360, 2606.26266]. In this sense, squeezing is hidden whenever the optimal measurement basis is not a single real quadrature selected by a monochromatic local oscillator.

A further extension is resource-theoretic. "Generalized squeezing as a witness" treats squeezing as variance suppression below the best value attainable by a prescribed free class of states and free operations [2503.09210]. This suggests that hidden squeezing need not refer to a single physical mechanism; it can denote any resource that becomes visible only after optimization over observables, nonlinear transformations, or free operations.

## 2. Hidden optical-polarization squeezing

In the HOPS framework, a monochromatic bi-modal field with orthogonally polarized collinear modes is characterized not by the ordinary index of polarization
```latex
P(\vec\epsilon,\vec\epsilon_\perp)=\frac{A_\perp}{A_\epsilon},
```
but by the hidden index
```latex
P_h(\vec\epsilon,\vec\epsilon_\perp)=\frac{A_\perp}{A_\epsilon^*}=\tan\frac{\chi_h}{2}\,e^{i\Delta_h}.
```
The defining feature is that the ratio of real amplitudes and the sum of phases are non-random, whereas the ordinary phase-difference criterion fails [1006.4481]. In quantum form, the hidden-polarization criterion is
```latex
\hat a_y(t)\,\rho(0)=p_h\,e^{-2i\omega t}\,\rho(0)\,\hat a_x^\dagger(t),
```
which replaces the usual polarized-light relation $\hat a_y=p\,\hat a_x$ [1006.4481].

The reason these states are termed hidden is that ordinary Stokes analysis can classify them as apparently unpolarized. In the linear basis, the Stokes parameters evaluate to
```latex
S_0=A_0^2,\qquad S_1=S_2=S_3=0,
```
even though the field possesses nontrivial hidden polarization structure [1006.4481]. The appropriate observables are instead the hidden optical-polarization parameters
```latex
h_0=\langle |A_y|^2+|A_x|^2\rangle,\qquad h_1=\langle |A_y|^2-|A_x|^2\rangle,\qquad h_2+i h_3=2\langle A_y A_x\rangle
```
and their operator counterparts
```latex
\hat H_0=\hat a_y^\dagger(t)\hat a_y(t)+\hat a_x^\dagger(t)\hat a_x(t),
```
```latex
\hat H_1=\hat a_y^\dagger(t)\hat a_y(t)-\hat a_x^\dagger(t)\hat a_x(t),
```
```latex
\hat H_2+i\hat H_3=2e^{2i\omega t}\hat a_y(t)\hat a_x(t).
```
These satisfy nontrivial commutators, including
```latex
[\hat H_0,\hat H_2]=2i\hat H_3,\qquad [\hat H_0,\hat H_3]=2i\hat H_2,\qquad [\hat H_2,\hat H_3]=2i(1+\hat H_0),
```
so the hidden variables obey uncertainty relations and admit a squeezing notion [1006.4481].

For a monochromatic bi-modal chaotic optical field incident on a $\chi^{(2)}$ crystal and undergoing degenerate parametric amplification, the Hamiltonian is
```latex
H=\omega\,[\hat a_x^\dagger(t)\hat a_x(t)+\hat a_y^\dagger(t)\hat a_y(t)] +k\,[\hat a_x^\dagger(t)\hat a_y^\dagger(t)e^{-2i\omega t}+\hat a_x(t)\hat a_y(t)e^{2i\omega t}].
```
The exact Heisenberg solutions are
```latex
\hat a_x(t)=e^{-i\omega t}\left(C\hat a_x-iS\hat a_y^\dagger\right), \qquad \hat a_y(t)=e^{-i\omega t}\left(C\hat a_y-iS\hat a_x^\dagger\right),
```
with
```latex
C=\cosh(2kt),\qquad S=\sinh(2kt).
```
Squeezing is then identified through a variance criterion such as
```latex
\langle (\Delta \hat H_2(t))^2\rangle < |\langle \hat H_3\rangle|,
```
which becomes
```latex
1+N_y+N_x+2N_yN_x<|\sinh 4kt|\,(1+N_y+N_x).
```
The associated squeezing function is
```latex
Sq(kt,N_x,N_y)=1+\frac{1+N_x+N_y+2N_xN_y}{\sinh 4kt}.
```
The onset condition is
```latex
kt>\frac14\sinh^{-1}\!\left(1+\frac{2N_xN_y}{1+N_x+N_y}\right).
```
Numerically, no squeezing occurs before $kt \approx 0.22$ s; squeezing begins at the onset time
```latex
kt=0.22\ \text{second},
```
and then grows with interaction time for both equal and unequal mode intensities [1006.4481]. The dependence on interaction time is critical, while the dependence on $N_x,N_y$ is described as meager [1006.4481].

A closely related treatment of HOPS in degenerate parametric amplification uses a monochromatic double-mode coherent input and introduces a squeezing function \(Sq(kt,\Delta_h)\) together with a "degree of Hidden Optical-Polarization" \(H(t)\) as a non-classicality measure [1007.2610]. In that account, squeezing occurs when
```latex
Sq(kt,\Delta_h) > 1,
```
and non-classical hidden polarization is identified by
```latex
H(t)=\frac{\left[h_2^2(t)+h_3^2(t)\right]^{1/2}}{h_0(t)} > 1.
```
This use of the term remains specific to hidden polarization observables rather than general quadrature squeezing [1007.2610].

## 3. Complex covariance and the failure of standard homodyne detection

A major modern meaning of hidden squeezing is tied to continuous fields with frequency-dependent covariance matrices. "Complex Squeezing and Force Measurement Beyond the Standard Quantum Limit" shows that homodyne detectors are blind to squeezing spectra in which the correlation between amplitude and phase fluctuations is complex [1602.02141]. For a continuous field, standard homodyne measures
```latex
S_\theta^\mathrm{hom}(\omega)= \cos^2\theta\,[\mathcal C(\omega)]_{11} +\sin^2\theta\,[\mathcal C(\omega)]_{22} +2\sin\theta\cos\theta\,\mathrm{Re}\!\left([\mathcal C(\omega)]_{12}\right),
```
so only $\mathrm{Re}([\mathcal C(\omega)]_{12})$ contributes [1602.02141]. If the relevant amplitude–phase covariance is purely imaginary, the field can be strongly correlated yet appear unsqueezed in homodyne readout.

The optomechanical example is paradigmatic. With linearized Hamiltonian
```latex
\mathcal H=\Delta \hat a^\dagger\hat a+\omega_m\hat b^\dagger\hat b+\frac{G}{\sqrt2}(\hat a+\hat a^\dagger)(\hat b+\hat b^\dagger)+\mathcal H_{\mathrm{ext}},
```
the optical output quadratures obey
```latex
\tilde X_{\mathrm{AM}}^{\mathrm{out}}(\omega)=\tilde X_{\mathrm{AM}}^{\mathrm{in}}(\omega),
```
```latex
\tilde X_{\mathrm{PM}}^{\mathrm{out}}(\omega)= \tilde X_{\mathrm{PM}}^{\mathrm{in}}(\omega) +\chi_{BA}(\omega)\tilde X_{\mathrm{AM}}^{\mathrm{in}}(\omega) +T_q(\omega)\tilde Q_{\mathrm{in}}(\omega) +T_p(\omega)\tilde P_{\mathrm{in}}(\omega),
```
with
```latex
\chi_{BA}(\omega)=\frac{G^2\kappa\omega_m}{\kappa^2/4+\omega^2}\chi_m(\omega).
```
At $\omega=\omega_m$, the susceptibility $\chi_m(\omega_m)$ is purely imaginary, making the induced amplitude–phase correlations purely imaginary as well. The strongest squeezing is therefore hidden from homodyne at resonance [1602.02141].

This diagnosis was experimentally corroborated in microwave electromechanics. "Revealing hidden quantum correlations in an electromechanical measurement" observes ponderomotive squeezing in a superconducting microwave resonator–drumhead system and shows that standard balanced homodyne cannot access the full complex correlation matrix [1809.02396]. The measured quadrature noise with a single local oscillator is
```latex
S_X^\theta(\omega)=S_X(\omega)\cos^2\theta + S_Y(\omega)\sin^2\theta +2\,\mathrm{Re}[S_{XY}(\omega)]\sin\theta\cos\theta,
```
again discarding $\mathrm{Im}[S_{XY}]$ [1809.02396]. Using ordinary homodyne detection, the experiment observed a maximum squeezing of about **1.1 dB** near $\theta \simeq \pi/2$ [1809.02396], but a bi-chromatic local oscillator recovered a stronger reduction corresponding to the smallest eigenvalue of the full correlation matrix.

The same structural issue appears in semiconductor lasers. "Complex frequency-dependent quadrature squeezing in semiconductor lasers" computes the frequency-resolved squeezing map from a fully quantum Langevin model and identifies hidden or complex squeezing in the output field [2606.26266]. Standard homodyne accesses
```latex
V(\theta,\omega)=\cos^2\theta\,|\delta X(\omega)|^2+\sin^2\theta\,|\delta Y(\omega)|^2 +2\sin\theta\cos\theta\,\mathrm{Re}\!\left[\mathrm{Cov}_{XY}(\omega)\right],
```
whereas the full covariance matrix contains the complex cross term $\mathrm{Cov}_{XY}(\omega)$ [2606.26266]. The paper attributes the emergence of frequency-dependent and hidden squeezing in large part to the Henry linewidth enhancement factor $\alpha_H$, which mixes amplitude and phase noise through carrier dynamics [2606.26266].

## 4. Measurement schemes that reveal hidden squeezing

Because hidden squeezing is often a measurement-basis problem, several works focus on readout architectures that recover the inaccessible covariance components. The foundational proposal is synodyne detection, introduced for optomechanics as a two-tone local-oscillator scheme
```latex
\alpha(t)=\alpha_- e^{i\omega_s t}+\alpha_+ e^{-i\omega_s t}.
```
With this choice, the detected noise at $\omega_s=\omega_m$ becomes
```latex
S_\mathrm{syn}(0)= |\alpha_{\mathrm{AM}}|^2[\mathcal C(\omega_m)]_{11} +|\alpha_{\mathrm{PM}}|^2[\mathcal C(\omega_m)]_{22} +2\,\mathrm{Re}\!\left(\alpha_{\mathrm{AM}}^*\alpha_{\mathrm{PM}}^*[\mathcal C(\omega_m)]_{12}\right),
```
so the complex phase of $[\mathcal C(\omega_m)]_{12}$ can be exploited, and the noise can approach the smallest eigenvalue $\mathcal C_-(\omega_m)$ [1602.02141]. The same work connects this to force sensing beyond the standard quantum limit, since the local oscillator can combine AM back-action information and PM signal information with the phase needed for back-action accounting [1602.02141].

The electromechanical experiment implemented a closely related bi-chromatic local oscillator
```latex
\alpha_0(t)=|\alpha_-|e^{-i\omega_s t-i\theta_-}+|\alpha_+|e^{i\omega_s t-i\theta_+},
```
leading to a zero-frequency rotating-frame spectrum
```latex
S_X^{\theta_\pm}(0)=|\alpha_X|^2 {\cal C}_{11}(\omega_s)+|\alpha_Y|^2 {\cal C}_{22}(\omega_s) +2\,\mathrm{Re}[\alpha_X^*\alpha_Y^*{\cal C}_{12}(\omega_s)].
```
By tuning amplitudes and phases, the experiment selected the eigenvectors of the quadrature correlation matrix and accessed the smallest and largest eigenvalues directly [1809.02396].

In multimode integrated photonics, the measurement problem is more severe because the optimal mode itself changes with analysis frequency. "Hidden and detectable squeezing from micro-resonators" studies silicon and silicon nitride micro-resonators in a pulsed synchronously pumped regime and diagonalizes the transfer matrix via Bloch-Messiah decomposition,
```latex
S(\omega)=U(\omega)D(\omega)V^\dagger(\omega).
```
In the morphing-supermode basis,
```latex
\hat{\bm{R}}'_{\mathrm{out}}(\omega)=U^\dagger(\omega)\hat{\bm{R}}_{\mathrm{out}}(\omega),
```
the independent squeezed modes have singular values $d_i^{-1}(\omega)$ [2207.00360]. Hidden squeezing is the gap between these ideal squeezing levels and what can be observed by standard homodyne with a physically realizable real local oscillator profile. The obstruction is twofold: the optimal supermode column $U_i(\omega)$ is typically frequency dependent and often complex-valued [2207.00360]. The paper suggests pump engineering and dispersion engineering as routes to reduce the hidden fraction and notes that a fully general recovery would require an interferometer with memory effects capable of implementing a complex frequency-dependent local oscillator [2207.00360].

A plausible implication is that hidden squeezing should be regarded not only as a property of a state but also as a joint property of state, observable, and mode-matching constraint. This interpretation is explicit in the generalized witness framework, where one minimizes the variance over free transformations,
```latex
\xi_{\hat{\mathcal{O}}}(\hat{\rho}_T)= \frac{\mathrm{min}_{\hat{U}_F}\, \mathrm{var}_{\hat{\rho}_T}\!\left(\hat{U}_F^\dagger \hat{\mathcal{O}} \hat{U}_F\right)} {\mathrm{var}_{\hat{\rho}_B}(\hat{\mathcal{O}})},
```
and thereby treats squeezing as a resource certified only after basis optimization [2503.09210].

## 5. Multimode, coupled, and distributed manifestations

Hidden squeezing frequently appears in systems where the nonclassical resource is distributed across multiple modes, subsystems, or transformed degrees of freedom rather than concentrated in a single obvious quadrature.

A clear example is the concurrent generation of atomic spin squeezing and optical squeezing in a hot \(^{87}\mathrm{Rb}\) ensemble under a stroboscopically engineered symmetric atom–light interaction [2310.02493]. Using the Holstein–Primakoff mapping,
```latex
\hat{x}_A = - \frac{\hat{J}_y}{\sqrt{|J_x|}},\qquad \hat{p}_A = \frac{\hat{J}_z}{\sqrt{|J_x|}},
```
```latex
\hat{x}_L = \frac{\hat{S}_y}{\sqrt{|S_x|}},\qquad \hat{p}_L = \frac{\hat{S}_z}{\sqrt{|S_x|}},
```
the effective Hamiltonian couples the atomic mode to optical sidebands,
```latex
\hat H_{\rm int} \propto \hat b^\dagger \sum_{k=-\infty}^{\infty} \mathcal{R}_k \left( \hat a_k \cosh r_k - \hat a_k^\dagger \sinh r_k \right) + \mathrm{h.c.}
```
and can be rewritten as a beam-splitter interaction with a squeezed Bogoliubov optical mode
```latex
\hat\Gamma_k = \hat a_k \cosh r_k - \hat a_k^\dagger \sinh r_k.
```
The experiment reported proof-of-principle concurrent squeezing at the same setting \(d=0.08\), \(T=1.0~\mathrm{ms}\): \(0.61 \pm 0.09~\mathrm{dB}\) for spin and \(0.65^{+0.11}_{-0.10}~\mathrm{dB}\) for light [2310.02493]. The optical squeezing resides in multiple odd-frequency sidebands \(m\Omega\), \(m=1,3,5,7,\dots\), of a single spatial mode [2310.02493]. This suggests a multimode notion of hidden squeezing in which the nonclassicality is encoded in sideband structure and atom–light normal modes rather than in a single carrier quadrature.

Another distributed manifestation appears in ultrastrong cavity QED. "Output Field-Quadrature Measurements and Squeezing in Ultrastrong Cavity-QED" shows that squeezing can be present in dressed intracavity variables while remaining absent from the propagating output field if the system is in its ground state [1509.09064]. The correct input-output relation is
```latex
\hat A_{\rm out}^{\pm}(t)=\hat A_{\rm in}^{\pm}(t)-\gamma\,\hat X^{\pm}(t),
```
where $\hat X^\pm$ are positive and negative frequency parts defined in the dressed eigenbasis of the full interacting Hamiltonian [1509.09064]. Since $\hat X^+|G\rangle=0$ for the ground state, no output squeezing appears even if the dressed ground state has bare-photon squeezing-like features [1509.09064]. Observable squeezing arises only after appropriate driving prepares superpositions such as \(|g\rangle(\alpha|0\rangle+\beta|2\rangle)\) or \(\cos\phi\,|s,0\rangle+\sin\phi\,|s,2\rangle\) [1509.09064]. In this usage, the squeezing is hidden in the dressed-state structure and virtual-photon content.

The idea can even be formulated beyond quadrature and polarization. "Coherence squeezing in optical interference" introduces Hermitian slit-coherence operators
```latex
\hat{G}_0,\hat{G}_1,\hat{G}_2,\hat{G}_3
```
with
```latex
\Gamma_{12}= G_2/2+\mathrm{i}G_3/2
```
and uncertainty relation
```latex
\Delta G_2\Delta G_3\geq |G_1|.
```
Coherence squeezing is defined by
```latex
\Delta G_2 <\sqrt{\bar{n}}\quad\mathrm{or}\quad \Delta G_3<\sqrt{\bar{n}},
```
relative to a two-mode coherent-state benchmark [2602.22921]. The squeezing is hidden because it is not directly a field quadrature; it appears in the coherence sector and manifests indirectly through uncertainties of fringe magnitude and fringe position in double-slit interference [2602.22921].

## 6. Hidden squeezing as concealment, protection, or internal processing

Not all uses of the term refer to inaccessible observables. In some work, squeezing is hidden because the state is deliberately transformed into a less vulnerable basis and later restored.

"Reduced decoherence using squeezing, amplification, and anti-squeezing" studies non-Gaussian optical states, especially Schrödinger cat states, sent through a lossy channel [1803.00587]. The strategy is to squeeze the signal before transmission, pass it through loss, then deterministically amplify and anti-squeeze it. The single-mode squeezing operator is
```latex
\hat S(r)=\exp\!\left[\frac{r}{2}\left(\hat a^2-\hat a^{\dagger 2}\right)\right],
```
with inverse \(\hat S^\dagger(r)=\hat S(-r)\) [1803.00587]. By reducing the separation of the cat components along the transmission-sensitive quadrature, the protocol lowers environmental which-path information during both loss and amplification [1803.00587]. The amplifier-induced idler photon number
```latex
\langle \hat n_i\rangle = (g^2-1)\sum_{n=0}^\infty (n+1)|c_n|^2
```
is correspondingly reduced for a suitably squeezed input [1803.00587]. Here hidden squeezing means that part of the signal is temporarily concealed in a squeezed quadrature and recovered later by anti-squeezing. The squeezing is operationally useful even though it is not the final observable output state.

A related but more internalized concept appears in gravitational-wave interferometry. "Bidirectional Internal Squeezing for Gravitational-Wave Detectors" places two optical parametric amplifiers inside the signal-extraction cavity so that counter-propagating intracavity fields are squeezed on the inward pass and amplified on the outward pass [2605.16512]. The scheme does not inject an external squeezed vacuum; instead, the interferometer’s internal optical network reshapes the noise before readout. In the ideal balanced high-gain limit, the signal-referred quantum shot noise reaches the internal-dissipation Callen–Welton bound [2605.16512]. This suggests a form of hidden squeezing embedded in the internal cavity dynamics rather than visible as an externally supplied squeezed state.

Mechanical systems furnish an additional variant. In detuned parametric amplification with weak continuous measurement, the mechanical state can have stronger squeezing than is immediately visible in a fixed measured quadrature because the parametric drive creates nonzero covariance
```latex
C = \frac{1}{2}\langle \hat X\hat Y + \hat Y\hat X\rangle - \langle \hat X\rangle\langle \hat Y\rangle.
```
Weak measurement can then exploit those correlations to infer the squeezed quadrature more precisely, surpassing the traditional steady-state 3 dB limit [1107.1294]. Likewise, in nonlinear atomic force microscopy, a cantilever can exhibit strong squeezing in the covariance matrix of fluctuations while the mean trajectory appears ordinary; the squeezing is hidden in the phase-space distribution rather than in mean motion [2110.07714].

## 7. Unifying themes, misconceptions, and research directions

A common misconception is that hidden squeezing is a single, standardized concept. The literature shows instead that it is a family of related ideas organized around three recurring motifs.

First, hidden squeezing often reflects an observable mismatch. Standard Stokes parameters miss HOPS [1006.4481]; standard homodyne misses imaginary covariance terms in optomechanics and semiconductor lasers [1602.02141, 1809.02396, 2606.26266]; real fixed local oscillators miss complex morphing supermodes in micro-resonators [2207.00360]. In these cases the squeezing is present in the covariance structure but absent from naive readout.

Second, hidden squeezing can reflect a mode or basis transformation. Bogoliubov optical sideband modes in atom–light interfaces [2310.02493], dressed positive-frequency operators in ultrastrong cavity QED [1509.09064], and coherence operators in interference theory [2602.22921] all define non-obvious variables in which squeezing becomes the natural descriptor.

Third, hidden squeezing can be operational rather than merely descriptive. Squeezing can be used as a resource witness after optimization over allowed transformations [2503.09210], as a method for preserving non-Gaussian coherence during transmission [1803.00587], or as an internally generated noise-shaping mechanism in interferometers [2605.16512].

The principal technical challenge across these settings is not always state generation but state access. The recurring requirement is mode-matched, basis-adapted, or transformation-aware measurement. This suggests that future progress will depend at least as much on generalized detection architectures, covariance-based diagnostics, and resource-aware benchmarks as on stronger nonlinearities alone. A plausible implication is that the practical boundary between detectable squeezing and hidden squeezing will increasingly be determined by experimental control of measurement basis, temporal mode, sideband structure, and admissible transformations rather than by the intrinsic nonclassicality of the source itself.

Source: https://www.emergentmind.com/topics/hidden-squeezing