Bell Nonlocality Test on Two-Mode Squeezed Output Generated in Double-Cavity Optomechanical
Pith reviewed 2026-05-10 15:27 UTC · model grok-4.3
The pith
In double-cavity optomechanics, two-mode squeezed states violate Bell inequalities even at lower squeezing levels when state mixedness is higher.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that maximal squeezing does not necessarily imply nonlocality in the two-mode squeezed output generated by reservoir engineering in the double-cavity optomechanical system. Nonlocal correlations, witnessed by CHSH inequality violation, can emerge in states with lower squeezing. Across different cavity finesse values, the parameter region supporting nonlocality broadens even as the squeezing region shrinks, with the mixedness of the state playing the crucial role in determining the relationship between squeezing and nonlocality.
What carries the argument
The steady-state covariance matrix of the Gaussian two-mode squeezed output, derived from the linearized optomechanical Hamiltonian under reservoir engineering, which is used to evaluate the CHSH Bell correlator.
Load-bearing premise
The reservoir-engineering scheme produces a valid steady-state covariance matrix that accurately describes the quantum state without significant effects from unmodeled nonlinearities or thermal noise outside the included baths.
What would settle it
An experiment that measures the CHSH correlator on the output light fields for several values of mechanical damping and cavity finesse, checking whether violation persists or increases at squeezing levels below the maximum.
Figures
read the original abstract
We explore here how to generate a two-mode squeezed output using reservoir engineering in a double-cavity optomechanical system coupled to a common mechanical resonator. Such hybrid platforms are experimentally accessible in electro-optomechanical interfaces and are relevant for high-fidelity state transfer, quantum communication, and metrological applications. By examining violations of the CHSH Bell inequality, we demonstrate that maximal squeezing does not necessarily imply nonlocality; instead, nonlocal correlations can emerge in states with lower squeezing. Furthermore, by analyzing the CHSH inequality across different cavity finesse values, we find that the parameter region supporting nonlocality can broaden even as the squeezing region shrinks. Across all regimes considered, our results emphasize the crucial influence of the mixedness of the state in determining the relationship between squeezing and nonlocality.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript explores the generation of a two-mode squeezed output in a double-cavity optomechanical system coupled to a common mechanical resonator via reservoir engineering. It derives the steady-state covariance matrix from linearized Langevin equations and uses it to evaluate CHSH Bell inequality violations, demonstrating that maximal squeezing does not necessarily imply nonlocality, that nonlocal correlations can appear at lower squeezing levels, and that the nonlocality-supporting parameter region can broaden (while the squeezing region shrinks) as cavity finesse is varied, with state mixedness as the key determining factor.
Significance. If the central results hold, the work is significant for clarifying the conditions under which nonlocality emerges in experimentally accessible optomechanical platforms relevant to quantum communication and metrology. The numerical exploration across finesse values and the emphasis on mixedness rather than squeezing alone provide a useful distinction that could inform experimental parameter choices. The approach relies on standard quantum-optics methods for the covariance matrix, enabling reproducible numerical demonstrations of the squeezing-nonlocality trade-off.
major comments (1)
- [Covariance matrix derivation and numerical CHSH analysis] The CHSH correlators and squeezing variances are computed from the steady-state covariance matrix obtained via the linearized Langevin equations (reservoir-engineering scheme). No explicit validation of the linear approximation is reported for the specific operating points plotted (cavity finesse values, coupling strengths, detunings), e.g., via comparison to nonlinear spectra or purity bounds. This assumption is load-bearing for the central claim that the nonlocality region broadens while the squeezing region shrinks.
minor comments (1)
- [Abstract] The abstract states that 'the parameter region supporting nonlocality can broaden even as the squeezing region shrinks' but does not indicate the quantitative range of squeezing values or finesse parameters considered, which would aid assessment of the result's scope.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting the importance of validating the linear approximation underlying our covariance matrix and CHSH analysis. We address the major comment below.
read point-by-point responses
-
Referee: The CHSH correlators and squeezing variances are computed from the steady-state covariance matrix obtained via the linearized Langevin equations (reservoir-engineering scheme). No explicit validation of the linear approximation is reported for the specific operating points plotted (cavity finesse values, coupling strengths, detunings), e.g., via comparison to nonlinear spectra or purity bounds. This assumption is load-bearing for the central claim that the nonlocality region broadens while the squeezing region shrinks.
Authors: We agree that the manuscript does not provide an explicit check of the linearization validity for the plotted parameters. The linearized Langevin equations are the standard framework for reservoir-engineered optomechanical squeezing in the weak-coupling regime, where mechanical fluctuations remain small relative to the mean displacements. To strengthen the presentation, the revised manuscript will include a new paragraph (or supplementary note) that quantifies this for the reported finesse values and detunings: we will compute the ratio of fluctuation variances to steady-state amplitudes and confirm that the states remain within the linear regime. We will also reference the resulting state purity to corroborate consistency with the linearized model. This addition directly supports the central claims without altering the numerical results. revision: yes
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper derives the two-mode squeezed output via reservoir engineering in a double-cavity optomechanical system, linearizes the Langevin equations, obtains the steady-state covariance matrix by solving the Lyapunov equation, and evaluates CHSH correlators from that matrix. No equation or claim reduces to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation. The observation that maximal squeezing need not imply nonlocality follows directly from the computed Gaussian correlations under the model; the parameter-region broadening is likewise a numerical consequence of varying finesse and detunings within the same covariance. The approach uses standard quantum-optics methods without circular reduction.
Axiom & Free-Parameter Ledger
free parameters (2)
- cavity finesse values
- coupling strengths and detunings
axioms (2)
- standard math The system reaches a steady-state Gaussian state whose covariance matrix fully determines the CHSH value.
- domain assumption Reservoir engineering produces the desired two-mode squeezing without additional decoherence channels.
Reference graph
Works this paper leans on
-
[1]
Equation of Motion The Heisenberg-Langevin equation of motion of the system is given by ˙u=Au+u in (A1) where 6 FIG. 6. Stability of the system forκ + = 2κat left,κ + =κat center andκ + =κ/2at right. Green is the stable region, and the blue region is unstable. All other parameters remain the same with Fig. 2 A= −γm 0 0G + 0−G − 0−γ m G+ 0G − 0 0G...
-
[2]
Stability of the System The stability of the system can be determined by follow- ing Routh-Hurwitz stability criteria, yielding a nontrivial con- straint which says the real parts of all the eigenvalues of the matrixA, given in Eq. Eq. (A2) must be negative. In Fig. 6, we distinguish the regions where the system can reach a stable state from the region wh...
-
[3]
Filtered Output To determine the output correlation, we need to determine the filtered output quadratures. In the case of TMS output, the filtered quadratures can be determined as X f,out k (r, t) Y f,out k (−r, t) = Z t −∞ dt′ Tk(t−t ′) X out k (r, t) Y out k (−r, t) (A4) whereX out k = (a out k +a out k †)/ √ 2, Y out k =−i(a out k − aout k †)/ √ 2,X f,...
-
[4]
Maximally Optimized Two-Mode Squeezed Quadrature The weighted quadrature is X(ϕ+ϕ−) (µ+µ−) = 1q µ2 + +µ 2 − µ+e−iϕ+ f out + +µ +eiϕ+ f out + † +µ −e−iϕ− f out − +µ −eiϕ− f out − † (B1) 7 whereµ +, µ− ≥0are the weight parameters intro- duced as the scaling of two systems, andϕ +, ϕ− are the arbitrary phase angles of the filtered composite quadrature. The h...
-
[5]
In this pro- cess, one has to transform the correlation matrixV f,out given in Eq
nonlocality-Maximized Bell’s function The generalized condition for CHSH nonlocality for a CV bipartite Gaussian system is done using the Banaszek- Wodkiewicz phase-space Wigner representation. In this pro- cess, one has to transform the correlation matrixV f,out given in Eq. (A8) to a standard form using a local linear unitary Bogoliubov operator, and af...
-
[6]
S. L. Braunstein and H. J. Kimble, Phys. Rev. Lett.80, 869 (1998)
work page 1998
- [7]
-
[8]
S. Barzanjeh, M. Abdi, G. J. Milburn, P. Tombesi, and D. Vitali, Phys. Rev. Lett.109, 130503 (2012)
work page 2012
- [9]
-
[10]
F. Y . Khalili and E. S. Polzik, Phys. Rev. Lett.121, 031101 (2018)
work page 2018
- [11]
-
[12]
S. Agasti, Entanglement, squeezing and non-locality in filtered two-mode squeezed mixed states (2024), arXiv:2406.09134 [quant-ph]
- [13]
-
[14]
J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Phys. 8 Rev. Lett.23, 880 (1969)
work page 1969
-
[15]
J. F. Clauser and M. A. Horne, Phys. Rev. D10, 526 (1974)
work page 1974
- [16]
- [17]
-
[18]
S. Agasti, All non-locally realized continuous variable bipartite gaussian states are entangled (2025), arXiv:2507.21264 [quant- ph]
-
[19]
H. Vahlbruch, M. Mehmet, S. Chelkowski, B. Hage, A. Franzen, N. Lastzka, S. Goßler, K. Danzmann, and R. Schn- abel, Phys. Rev. Lett.100, 033602 (2008)
work page 2008
-
[20]
W. Wasilewski, T. Fernholz, K. Jensen, L. S. Madsen, H. Krauter, C. Muschik, and E. S. Polzik, Opt. Express17, 14444 (2009)
work page 2009
-
[21]
T. N. Arge, S. Jo, H. Q. Nguyen, F. Lenzini, E. Lomonte, J. A. H. Nielsen, R. R. Domeneguetti, J. S. Neergaard-Nielsen, W. Pernice, T. Gehring, and U. L. Andersen, Optica Quantum 3, 467 (2025)
work page 2025
- [22]
- [23]
- [24]
- [25]
-
[26]
J. D. Teufel, D. Li, M. S. Allman, K. Cicak, A. J. Sirois, J. D. Whittaker, and R. W. Simmonds, Nature471, 204 (2011)
work page 2011
-
[27]
J. D. Thompson, B. M. Zwickl, A. M. Jayich, F. Marquardt, S. M. Girvin, and J. G. E. Harris, Nature452, 72 (2008)
work page 2008
- [28]
- [29]
-
[30]
S. G. Hofer, K. W. Lehnert, and K. Hammerer, Phys. Rev. Lett. 116, 070406 (2016)
work page 2016
-
[31]
V . C. Vivoli, T. Barnea, C. Galland, and N. Sangouard, Phys. Rev. Lett.116, 070405 (2016)
work page 2016
-
[32]
L.-M. Duan, G. Giedke, J. I. Cirac, and P. Zoller, Phys. Rev. Lett.84, 2722 (2000)
work page 2000
-
[33]
S. Zippilli, G. D. Giuseppe, and D. Vitali, New Journal of Physics17, 043025 (2015)
work page 2015
- [34]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.