{"id":"b5bec2c5-1066-4aa8-83a5-357c7091fa06","arxiv_id":"1909.01004","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For a coherently driven cavity mode coupled to a cascade three-level atom, the paper's steady-state variances imply both quadratures are squeezed, but only relative to a model-defined reference and using a modified uncertainty bound.","lead":"This paper studies a cavity light field driven by a laser and coupled to a three-level atom, and computes the noise in the field's two quadratures at steady state. It claims both quadratures can be quieter than the un-driven reference level, by 52.08% and 33.32%, while the uncertainty relation remains satisfied.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (26) is treated as an exact operator identity to derive the non-canonical commutator Eq. (50); with physical [b,b†]=1, the reported below-vacuum variances violate the true Heisenberg bound.","rationale":"The reader's verdict of REJECT is supported. The paper's algebraic derivation is internally consistent, but the physical interpretation collapses on the commutator issue: the same operator b is treated as a canonical annihilation operator when deriving the Hamiltonian and mean-photon formulas, yet Eq. (50) is derived from the steady-state relation Eq. (26) as though b were a scaled atomic operator. Since [b,b†]=1 must hold for the physical cavity mode, the uncertainty bound in Eq. (53) is not the true Heisenberg bound. Consequently the reported variances below the ε=0 'vacuum' level do not demonstrate squeezing relative to the actual vacuum state, and the claim that the uncertainty relation holds 'perfectly' is an artifact of using a non-canonical commutator to define the bound. The reader's weakest_assumption identifies the same load-bearing premise, namely the illegitimate use of Eq. (26) as an exact operator identity in computing the commutator (Eq. 50). The proposed concrete test, comparing the product of variances at a reported optimum with the canonical lower bound, would settle the issue definitively; the comparison already fails at ε=0, where Eq. (67) gives a vacuum variance different from 1. Therefore no change to the reader's verdict is needed.","tokens_in":10986,"tokens_out":5815,"duration_ms":54758,"concrete_test":"Recompute the uncertainty product for the cavity mode using the canonical commutator: from Eqs. (48)–(49), [b−,b+] = −2i[b,b†] = 2i, so the physical Heisenberg bound is Δb+Δb− ≥ 1. Using Eqs. (65)–(66) with the paper's parameters γc=0.5, κ=0.8, γ=0.3 and the reported plus-maximum point ε=0.6, evaluate (Δb+)²(Δb−)² and compare it with 1; it is approximately 0.148, which violates the bound. As an even simpler check, set ε=0 in Eq. (67): the claimed vacuum variance is γc/κ = 0.625, whereas the canonical vacuum variance of b+ must be 1; this single inconsistency shows that the comparison baseline is not the physical vacuum state.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim fails at the step where Eq. (26), b = 2η/κ − (2g/κ)σc, is promoted from a steady-state first-moment relation to an exact operator identity. The operators b± defined in Eqs. (48)–(49) are constructed from the physical cavity annihilation operator b, whose canonical commutator is [b,b†]=1, as assumed in the original Hamiltonian and in the usual interpretation of b. But Eq. (50) follows from Eq. (26) and gives [b−, b+] = 2i(γc/κ)(ηa − ηc), so [b,b†] would be (γc/κ)(ηc − ηa), an atomic operator with expectation no larger than γc/κ. In the reported plots γc/κ = 0.625, so this directly contradicts [b,b†]=1. Consequently the uncertainty bound in Eq. (53) is not the physical Heisenberg bound: with canonical [b−,b+] = 2i, the bound is Δb+Δb− ≥ 1. At the plus-quadrature maximum quoted in the paper, Eqs. (65)–(66) give physical variances (Δb+)² ≈ 0.299 and (Δb−)² ≈ 0.494, so the product is about 0.148, far below 1. The 'vacuum' used in Eqs. (67) and (70)–(71) is not the cavity vacuum; it is the ε=0 limit of the dressed atomic relation, whose variance is γc/κ rather than 1. Thus the reported squeezing in both quadratures and the claimed 'perfect' uncertainty relation are artifacts of the non-canonical commutator, not properties of the physical cavity mode.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper considers a cavity mode driven by coherent light and interacting with a three-level atom in an open cavity coupled to a vacuum reservoir. The authors write quantum Langevin equations with the reservoir noise operators put in normal order and then dropped, obtain approximate steady-state operator relations, and use these to compute the mean photon number and the variances of the plus and minus quadratures of the cavity mode. They claim that both quadratures are squeezed below the vacuum level (52.08% for the plus quadrature and 33.32% for the minus quadrature) while the uncertainty relation still holds perfectly. The analysis is extended to a pair of superposed cavity modes, where equal squeezing in both quadratures is reported, equal to half the sum of the individual quadrature squeezings. The manuscript is algebraic and self-contained, with explicit formulas and plots.","tokens_in":11283,"tokens_out":6762,"duration_ms":69154,"significance":"If the central claim were correct, it would be a highly surprising result: simultaneous squeezing of both quadratures of a physical cavity mode below the vacuum level while preserving the Heisenberg uncertainty relation is not possible for standard bosonic quadratures. The paper is clearly organized and the formal algebra is internally consistent under the authors' replacement rules; it also treats spontaneous emission and superposed modes, which are useful extensions. However, as detailed in the major comments, the main physical claim rests on a noncanonical commutation relation and an unphysical definition of the vacuum level, so the reported effect is an artifact of the approximation rather than a property of the physical cavity mode.","major_comments":[{"comment":"The commutator [b−, b+] = 2i(γc/κ)(ηa − ηc) is obtained by treating the steady-state relation (26), b = 2η/κ − (2g/κ)σc, as an exact operator identity. But b is the physical cavity-mode annihilation operator, whose canonical commutator [b, b†] = 1 is implicit in the Hamiltonian (7) and the Langevin equation (10). Equation (26) implies [b, b†] = (γc/κ)(ηc − ηa), an atomic operator whose expectation is bounded in magnitude by γc/κ; for the parameters used in Figures 3–6, γc/κ = 0.625, which directly contradicts [b, b†] = 1. Consequently Eq. (50) is not the commutator of the physical quadratures. The physical commutator is [b−, b+] = −2i, and the Heisenberg bound is Δb+ Δb− ≥ 1. At the maximum quoted for the plus quadrature (ε = 0.6, γc = 0.5, γ = 0.3, κ = 0.8), Eqs. (65)–(66) give (Δb+)² ≈ 0.299 and (Δb−)² ≈ 0.494, so the product is approximately 0.148, far below 1. The claim that the uncertainty relation holds perfectly therefore does not apply to the physical cavity mode.","section":"Section 3.2, Eq. (50)"},{"comment":"The 'vacuum state level' used to define squeezing is not the vacuum of the cavity mode. Setting ε = 0 in Eqs. (65)–(66) gives (Δb±)² = γc/κ, whereas for the standard quadrature operators b+ = b† + b and b− = i(b† − b) evaluated in the true vacuum state of b, the variance is 1. When ε = 0, Eq. (26) reduces to b = −(2g/κ)σc, i.e., the 'mode' is proportional to an atomic lowering operator, not a harmonic-oscillator mode. The percentages 52.08% and 33.32% are therefore reductions relative to an unphysical reference; relative to the true vacuum, the product of the reported variances violates the canonical bound. The same issue affects the superposed-mode vacuum level in Eq. (114).","section":"Section 3.2, Eqs. (67), (70)–(71)"},{"comment":"The verification that the uncertainty relation 'holds perfectly' is circular. The lower bound in Eqs. (53)–(55) is computed from the modified commutator (50), and the product in Eqs. (68)–(69) is compared with that same modified bound. Since both the variances and the bound are derived from the same approximate steady-state relation (26), the inequality fb(ε) ≥ fa(ε) does not constitute a test of the physical Heisenberg uncertainty relation. A physical test requires using [b−, b+] = −2i and the actual vacuum variance; with those, the product of the reported variances violates the bound. The same circularity appears in the superposed-mode analysis, Eqs. (100)–(103) and (115)–(116).","section":"Section 3.2, Eqs. (53)–(55), (68)–(69)"}],"minor_comments":[{"comment":"The captions contain the phrase 'and or γ = 0', which appears to be a typo for 'and for γ = 0'.","section":"Captions of Figures 5 and 6"},{"comment":"There is a typo in 'the quantum properties of the cavity mod e'; it should read 'cavity mode'.","section":"Introduction, first paragraph"},{"comment":"The quadrature operators are defined without a factor of 1/2; the paper should state explicitly that this unconventional normalization is intended, since the standard vacuum variance is then 1 rather than 1/4.","section":"Eqs. (48)–(49)"}],"recommendation":"reject","confidential_remarks":"The central result is invalid because the authors promote an approximate steady-state relation to an exact operator identity, changing the commutation relation of the physical cavity mode. This is not a local fix: the claimed simultaneous squeezing and the 'perfect' uncertainty relation both depend on this noncanonical commutator and on the nonstandard vacuum definition. A resubmission would need to either restrict the claims to an effective dressed mode with an explicitly stated noncanonical algebra or recompute the variances using the canonical commutator, which would eliminate the main results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: the paper is a transparent but ultimately misguided calculation. The new thing is a steady-state variance calculation for a driven cavity mode coupled to a cascade three-level atom, using the normal-ordering adiabatic-elimination method the authors have used before. The algebra is carried out cleanly and the plots are reproducible from the formulas. The trouble is that the central claim—squeezing in both quadratures with the uncertainty relation perfectly holding—rests on treating the large-time steady-state relation (Eq. 26) as an exact operator identity, which changes the commutation relation for the physical field mode.\n\nFor the operators defined in Eqs. (48)–(49), the canonical commutator [b−, b+] = -2i is not up for grabs; it follows from [b, b†] = 1. The paper instead derives [b−, b+] = 2i(γc/κ)(ηa − ηc) from the steady-state relation and uses that to define the uncertainty bound. With the parameters in their plots, [b, b†] would be (γc/κ)(ηc − ηa), an atomic operator whose expectation is never 1; it is at most γc/κ = 0.625. That is a direct contradiction with the commutation relation assumed in the Hamiltonian. The 'vacuum' they squeeze below is also not the actual vacuum: Eq. (67) sets the variance to γc/κ instead of 1. The reported 52.08% and 33.32% are reductions relative to that dressed baseline, not relative to the quantum vacuum. The uncertainty product they check is computed against a bound built from the same modified commutator, so the 'perfectly holding' is circular.\n\nWhat deserves credit: the algebra is consistent, the formulas for mean photon number and variances are derived step-by-step, and the paper is honest about the superposed-mode result being parallel to Ref. [23]. But the load-bearing step is wrong, and the conclusion is an artifact. The self-citations are heavy but not improper; the issue is the commutator, not the citation count.\n\nThis is a paper that a serious referee should see and reject. The flaw is instructive, but the central claim is not a property of the cavity mode. If the authors rework it as a calculation for the dressed operators, with a properly defined vacuum, it might be salvageable. As it stands, I would not cite it, and I would not bring it to my reading group.","headline":"The algebra is tidy but the central claim collapses on one load-bearing step: the steady-state relation is treated as an exact operator identity, which changes the commutation relation and makes the 'vacuum' reference nonphysical.","tokens_in":11886,"tokens_out":3852,"would_cite":false,"duration_ms":36284,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A coherently driven cavity interacting with a three-level atom can be squeezed in both quadratures simultaneously, with maximum reductions 52.08% and 33.32% below vacuum, while the uncertainty product holds.","keywords":["quadrature squeezing","three-level atom","cavity mode","vacuum reservoir","uncertainty relation","normal ordering","superposed cavity modes","spontaneous emission"],"falsifier":"Use the canonical commutator $[\\hat b,\\hat b^\\dagger]=1$ to compute quadrature variances from the paper's formulas; if the product falls below the standard limit, the state cannot be realized by a single cavity mode. A direct balanced-homodyne measurement of both quadratures of the driven cavity would show whether either variance trace actually dips below the vacuum shot-noise level.","tokens_in":1697,"feed_emoji":"","tokens_out":3929,"duration_ms":112303,"temperature":0.7,"pith_summary":"This paper tries to establish that a cavity mode driven by coherent light and interacting with a three-level atom can be squeezed in both quadratures at once. If true, the maximum quadrature squeezing would be 52.08% in the plus quadrature and 33.32% in the minus quadrature, with the product of uncertainties staying above the bound set by the effective commutator. The paper also extends the result to a superposed pair of cavity modes, where both quadratures are squeezed equally. A sympathetic reader would see the contribution as a closed-form derivation of simultaneous quadrature squeezing in a specific cavity-QED model.","feed_headline":"Both light quadratures squeezed, uncertainty intact","feed_subtitle":"A coherently driven cavity with a three-level atom squeezes both quadratures below vacuum noise, up to 52% and 33%.","key_machinery":"The central mechanism is the steady-state operator reduction $\\hat b = 2\\eta/\\kappa - (2g/\\kappa)\\hat\\sigma_c$, obtained by placing reservoir noise in normal order and invoking the large-time approximation. This relation converts the field quadrature commutator into a state-dependent atomic commutator, which sets the uncertainty bound that the paper verifies. The same steady-state reduction is applied to the superposed operator $\\hat c = \\hat a + i\\hat b$, giving equal squeezing in both quadratures.","core_discovery":"For a single cavity mode $\\hat b$ driven by coherent light and coupled to a cascade three-level atom in an open cavity, the paper finds that the variances of both quadrature operators $\\hat b_+ = \\hat b^\\dagger + \\hat b$ and $\\hat b_- = i(\\hat b^\\dagger - \\hat b)$ fall below the vacuum-state level. The maximum squeezing is 52.08% for the plus quadrature and 33.32% for the minus quadrature, and the product $\\Delta b_+ \\Delta b_-$ stays above the bound computed from the effective commutator $[\\hat b_-,\\hat b_+] = 2i(\\gamma_c/\\kappa)(\\hat\\eta_a - \\hat\\eta_c)$. For a superposed pair of modes $\\hat c = \\hat a + i\\hat b$, both quadratures show the same squeezing, equal to half the sum of the single-mode squeezing values. The paper also finds that spontaneous emission lowers the mean photon number of the cavity mode but does not change the maximum quadrature squeezing.","pith_inferences":["If one imposes the canonical commutator $[\\hat b,\\hat b^\\dagger] = 1$ instead of the dressed commutator used in the paper, the same variances would have to violate the standard uncertainty bound; the reported effect likely depends on treating the steady-state atomic relation as an exact operator identity.","A full master-equation treatment that keeps the vacuum noise terms instead of dropping normally ordered noise operators would provide a direct check of whether both quadratures can really fall below vacuum noise.","A natural experimental test would use a cavity-QED setup with parameters near $\\gamma_c = 0.5$ and $\\kappa = 0.8$, where the predicted maximum near $\\varepsilon \\approx 0.6$ should appear as simultaneous sub-shot-noise in both quadratures."],"forward_implications":["A cavity mode in the described setting would exhibit simultaneous plus- and minus-quadrature squeezing, with maximum reductions of 52.08% and 33.32% below the vacuum level.","The product of the two quadrature uncertainties remains above the bound set by the effective commutator, so the paper's state is consistent with its uncertainty relation.","For a superposed pair of such modes, both quadratures are squeezed by the same amount, equal to half the sum of the single-mode squeezing values.","Spontaneous emission lowers the mean photon number but leaves the maximum quadrature squeezing unchanged."],"supporting_citations":[{"why":"Supplies the normal-ordering of reservoir noise and the large-time approximation used to drop noise operators and obtain steady-state operator relations.","marker":"[20]"},{"why":"Provides the operator steady-state method and the definition of the superposed cavity mode operator c = a + i b.","marker":"[21]"},{"why":"States the uncertainty relation for observables satisfying [A,B] = iC, the bound the paper checks.","marker":"[22]"},{"why":"Earlier three-level laser model with 50% maximum squeezing that this work extends to both quadratures.","marker":"[9]"},{"why":"A comparison result for simultaneous quadrature squeezing cited in the superposed-mode analysis.","marker":"[23]"}],"fun_headline_variants":["Double squeeze: plus and minus quadratures below vacuum","Uncertainty intact as both quadratures squeezed up to 52%","Coherent drive squeezes both quadratures, uncertainty holds","Both quadratures squeezed below vacuum, up to 52%","Three-level atom squeezes both light quadratures at once"],"cache_read_input_tokens":13824,"weakest_assumption_plain":"The calculation treats the steady-state relation between the cavity field and the atomic operator as an exact identity when computing quantum noise; if that relation is only approximate, the simultaneous squeezing goes away.","fun_headline_variants_meta":{"raw":{"variants":["Double squeeze: plus and minus quadratures below vacuum","Uncertainty intact as both quadratures squeezed up to 52%","Coherent drive squeezes both quadratures, uncertainty holds","Both quadratures squeezed below vacuum, up to 52%","Three-level atom squeezes both light quadratures at once"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000358,"raw_usage":{"total_tokens":1947,"prompt_tokens":959,"completion_tokens":988,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":904}},"tokens_in":575,"tokens_out":988,"duration_ms":9633,"temperature":1.0,"reasoning_tokens":904,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:31:35.929356+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Use the canonical commutator $[\\hat b,\\hat b^\\dagger]=1$ to compute quadrature variances from the paper's formulas; if the product falls below the standard limit, the state cannot be realized by a single cavity mode. A direct balanced-homodyne measurement of both quadratures of the driven cavity would show whether either variance trace actually dips below the vacuum shot-noise level.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the normal-ordering of reservoir noise and the large-time approximation used to drop noise operators and obtain steady-state operator relations."},{"cited_title":"The Commutation Relation for Cavity Mode Operators","cited_arxiv_id":"1611.01003","evidence_quote":"Provides the operator steady-state method and the definition of the superposed cavity mode operator c = a + i b."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"States the uncertainty relation for observables satisfying [A,B] = iC, the bound the paper checks."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier three-level laser model with 50% maximum squeezing that this work extends to both quadratures."},{"cited_title":"Quadrature Squeezing in the Cavity Mode Driven by Coherent Light and Interacting with Two-Level Atom","cited_arxiv_id":"1812.04879","evidence_quote":"A comparison result for simultaneous quadrature squeezing cited in the superposed-mode analysis."}],"review_version":1}