{"id":"68b22f7b-739c-4713-a00a-6b0760161a81","arxiv_id":"2501.02047","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves the conjecture that the quadrature coherence scale cannot certify nonclassicality after 50% loss, and adds new inequalities for similarity measures, ladder operators, and quasiprobability distributions.","lead":"This paper proves that the quadrature coherence scale, a witness of nonclassical light, cannot certify nonclassicality once a state has lost half or more of its photons. It also derives new inequalities for lossy quantum states that constrain quasiprobability distributions and operator moments.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 12 depends entirely on unproven Lemma 3 from companion paper; without it the 50% QCS bound for mixed states is not established.","rationale":"I reviewed the proof chain for the strongest claim. Theorem 12 follows from Corollary 6 and Lemma 10; Corollary 6 follows from Lemma 3. The manuscript explicitly labels Lemma 3 as a result of the companion paper [1] and provides no proof, so the central result is not self-contained. This is precisely the reader's weakest assumption. I found no additional defect: the algebra in Lemma 10 is consistent (checked against a Fock state), the internal example in Section VI supports Corollary 14, and the paper honestly marks Conjecture 7 as open. Because the missing lemma is plausibly true (the two-copy expression suggests nonnegative coefficients), the correct disposition is CONDITIONAL, unchanged from the reader's verdict. The paper should either include a proof of Lemma 3 or cite a peer-reviewed version.","tokens_in":23142,"tokens_out":13426,"duration_ms":109003,"concrete_test":"Independently establish Lemma 3: use the two-copy linear-optics identity Tr[ρ_T σ_T] = Tr[(ρ⊗σ) λ^{N_-}] with λ=1−2T, expand λ^{N_-}=Σ_m (1−2T)^m Π_m where Π_m projects the balanced-beam-splitter dark port onto m photons, and check that Tr[(ρ⊗σ)Π_m] ≥ 0 for all m and all positive ρ, σ. Numerically, sample random dimension-4 density matrices, compute Tr[ρ_T σ_T] at 21 values of T, fit to a polynomial in (1−2T), and verify all coefficients are nonnegative; any negative coefficient falsifies Corollary 6 and Theorem 12.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 12, QCS ≤ 1 for all states subject to ≥50% loss) is proved in three lines as 'a direct consequence of Lemmas 10 and Corollary 6'. Corollary 6 asserts ∂/∂T Tr[ρ_T σ_T] ≤ 0 for T ≤ 1/2, and its proof invokes Lemma 3 from the companion paper [1]: the overlap of any two positive operators under loss is a polynomial in λ=1−2T with nonnegative coefficients. This lemma is neither proven nor derived in the present manuscript; the paper only states it and refers the reader to an unpublished preprint. If Lemma 3 were false or inapplicable, the sign of ∂O_T/∂T would not follow, and Theorem 12 would collapse. A secondary rigor gap is Lemma 10, whose proof uses the Glauber–Sudarshan P-function representation (Eq. 36) as an ordinary integral even when the P-function is singular, though this identity is standard and can be justified by regularization. The correctness of the central claim therefore hinges on an external, unverifiable-in-this-manuscript lemma.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives a series of equalities and inequalities for quantum states undergoing photon loss, using beam splitters and their entanglement properties as the underlying tool. The main results are: (i) monotonicity and convexity properties of the Hilbert-Schmidt overlap between two lossy states for transmission T ≤ 1/2 (Corollary 6); (ii) inequalities for creation and annihilation operators beyond Cauchy-Schwarz (Section IV); (iii) a proof, in Theorem 11 and Theorem 12, that the quadrature coherence scale (QCS) cannot certify nonclassicality once a state has lost 50% or more of its photons; (iv) constraints on s-ordered quasiprobability distributions and characteristic functions (Sections VI and VII); and (v) several supporting lemmas, including an expression for the QCS as a rate of purity change and a Laplace-transform representation of purity. Much of the paper is organized as corollaries of results stated from the companion preprint [1], and the central QCS result for mixed states depends on Lemma 3 of that companion paper, which is not proved here.","tokens_in":23318,"tokens_out":5848,"duration_ms":59863,"significance":"If the results are valid, the paper provides a useful toolbox for quantum optics: it establishes a conjecture on the 50% loss limit for QCS-based nonclassicality certification, gives new inequalities for quasiprobability distributions of all physical states, and connects entanglement generation at beam splitters to loss-induced dynamics of purity and overlap. The derivation of Eq. (35), expressing the QCS as a rate of purity change, is elegant and enables the subsequent theorems; the Laplace-transform representation in Section VII and its connection to Bernstein's theorem are also a strong contribution. The paper is clearly written, with lemmas and corollaries carefully separated from conjectures, and the explicit statements of Conjectures 7 and 19 are useful. However, the central claim for mixed states (Theorem 12) is not self-contained: it rests entirely on Lemma 3 of the unpublished companion paper [1], and the proof of Lemma 10 uses the Glauber-Sudarshan P-function as an ordinary integral without addressing its distributional character. These are the main correctness risks.","major_comments":[{"comment":"Theorem 12, the main claim that QCS ≤ 1 for all states subject to 50% or more loss, is proved in three lines as a direct consequence of Corollary 6, and Corollary 6 is in turn a direct consequence of Lemma 3. Lemma 3 is stated in Section II as 'Lemma 6 in Ref. [1]' and is not proved or even sketched in this manuscript. Since Ref. [1] is an unpublished preprint, the correctness of the central claim is not verifiable from the present paper alone. If Lemma 3 were false or inapplicable to the positive operators considered here, the sign of ∂O_T/∂T would not follow and Theorem 12 would collapse. I request that the authors either include a self-contained proof of Lemma 3 in an appendix, or explicitly justify why the result can be taken as established and provide a detailed proof sketch in the text. The two-copy expression in Eq. (24) is suggestive but is not by itself a proof of the nonnegativity of the polynomial coefficients.","section":"Section II, Lemma 3 and Section V, Theorem 12"},{"comment":"The proof of Lemma 10 uses Eq. (36), writing ρ_T as an integral over the Glauber-Sudarshan P-function P(α) as though P were an ordinary integrable function. As the paper itself notes, P-functions can be singular distributions (see Refs. [32, 93]), so this step requires justification. The resulting identity C^2(ρ_T) = T/P(ρ_T) ∂P(ρ_T)/∂T + 1 is a known and standard result (the paper cites Ref. [20] where it is derived in a more general context), but the proof as written is not rigorous for general states. Since Theorem 11 and Theorem 12 both rely on Lemma 10, the proof should either be regularized explicitly or the result should be cited with a precise statement and a valid derivation.","section":"Section V, Lemma 10"}],"minor_comments":[{"comment":"In the sentence 'Let aj = ( xj + ipj)/√2 for j + 1, 2', the notation 'j + 1, 2' should read 'j = 1, 2'.","section":"Section V, Lemma 10 proof"},{"comment":"The definition of the QCS writes P(ρT) in the denominator, but the state in the numerator is ρ; the notation would be cleaner if the state variable were consistently named, since ρT in Eq. (20) is not related to loss in that definition.","section":"Section I D, Eq. (20)"},{"comment":"The statement of Corollary 14 presents an integral inequality ≤ 0, but the proof shows that this integral is equal to ∂Tr[ρT σT]/∂T multiplied by the positive factor 1/(Tτ); the statement should identify this factor or the inequality should be stated directly for the derivative.","section":"Section VI, Corollary 14"},{"comment":"The paper relies extensively on the companion paper [1] for Lemma 1, Theorem 2, Theorem 4, and Lemma 3. Since Ref. [1] is an unpublished preprint at arXiv:2411.03423, the citation should be updated if it becomes published, and the dependence of the main theorem on it should be stated more prominently in the abstract or introduction.","section":"General"},{"comment":"The variable τ in Eq. (61) is used both as an integration variable and later in Section VI as a Gaussian width parameter; this is not an error but could confuse readers, so a different symbol for one of the two roles is preferable.","section":"Section VII, Eq. (61)"}],"recommendation":"major_revision","confidential_remarks":"The central claim of the paper (Theorem 12) depends on a lemma from an unpublished companion paper, and the proof of Lemma 10 has a distributional-regularity gap. Both are fixable within the manuscript's scope, but as submitted the main theorem is not fully self-contained. I would ask the authors to provide a proof of Lemma 3 in an appendix or at least a detailed derivation, and to repair the proof of Lemma 10 by citing a rigorous derivation or adding a regularization argument. The paper's other results are promising and the organization is good, but these two points are load-bearing."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Plain take: this paper proves a conjecture that has been floating around the CV quantum optics community for a couple of years, and it does so with a genuinely elegant proof idea. The catch is that the decisive ingredient, Lemma 3 (nonnegative polynomial expansion of overlaps under loss), is taken from the authors' companion paper arXiv:2411.03423, which is still unpublished and not reproduced here. The rest of the paper hangs off that lemma and off the purity convexity theorem from the same companion. So the headline result, Theorem 12, is only as strong as the companion paper.\n\nWhat is new and good: Theorem 12 settles the QCS 50% loss conjecture, and the proof route through Lemma 10 (QCS as purity derivative) is clean. Corollary 6 gives a nice monotonicity result for Hilbert-Schmidt inner products under loss. The ladder-operator inequalities (Corollaries 8 and 9) go beyond Cauchy-Schwarz and look correct on my algebra check. The quasiprobability inequalities (Corollaries 13-15) are new and tie the purity results back to phase-space constraints in a way I have not seen before. Corollary 18 on hypergeometric functions is a pleasant bonus. I also checked Lemma 10, Corollary 14, and Lemma 17; the algebra is consistent. The authors are honest about what is proven versus what remains open: log-convexity of purity is clearly marked as Conjecture 7, and Appendix B contains real evidence plus counterexamples for over-generalizations, which is more than most papers do.\n\nSoft spots, in proportion: the reliance on unproven Lemma 3 is the main issue. It is not an internal contradiction, but a reader who wants to verify Theorem 12 in full must go to the companion preprint. That is a publishable concern, not a fatal one. A much smaller issue is in Lemma 10's proof, which uses the Glauber-Sudarshan P-function as an ordinary integral even when the P-function is singular; this is standard in the field and can be justified by regularization, so I would treat it as a footnote. There are a few typos and the abstract oversells a bit, but nothing that undercuts the math.\n\nWho this is for: anyone working on nonclassicality witnesses, optical loss, or entanglement potential in continuous variables. If the companion paper holds up, this will become a standard reference for the QCS bound. It deserves a serious referee, and the referee should require the authors to include the companion proofs or point to a published version of the companion before the central claim can be fully evaluated.\n\nRecommendation: send to peer review. The dependence on the companion paper is a condition, not a rejection.","headline":"Solid, useful paper that proves the 50%-loss QCS conjecture, but the central theorem leans on an unpublished companion paper; worth refereeing if that dependency gets addressed.","tokens_in":23875,"tokens_out":2355,"would_cite":true,"duration_ms":23947,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that no quantum state suffering 50% or more photon loss can be certified nonclassical by the quadrature coherence scale, settling a conjecture.","keywords":["quadrature coherence scale","nonclassicality witness","photon loss","beam splitter","purity convexity","quasiprobability distributions","ladder operator inequalities","mutual information"],"falsifier":"A direct check would be to numerically maximize $C^2(\\rho_T)$ over finite-dimensional mixed states at a fixed transmission $T < 1/2$, say $T = 0.4$; any state found with $C^2 > 1$ would refute Theorem 12. The more foundational check is to test Lemma 3 by computing the overlap of two lossy positive operators, for example $\\mathrm{Tr}[|0\\rangle\\langle 0|_T \\, |1\\rangle\\langle 1|_T]$, and verifying that all coefficients in the polynomial in $\\lambda = 1-2T$ are nonnegative; a single negative coefficient would break the chain leading to the ceiling.","tokens_in":22927,"feed_emoji":"⚛️","tokens_out":13459,"duration_ms":114729,"temperature":0.7,"pith_summary":"This paper proves a sharp loss threshold for one widely used nonclassicality witness in quantum optics. The quadrature coherence scale (QCS) flags a state as nonclassical when it exceeds 1; the paper shows that after 50% or more photon loss, every quantum state has $C^2(\\rho_T) \\le 1$, so the witness can never certify nonclassicality there. For pure states the behavior is exact: $C^2(\\rho_T) = 1$ at 50% loss, above 1 for less loss, below 1 for more. The proof reduces the QCS to the logarithmic slope of purity under loss and uses convexity properties of purity established in a companion paper. A sympathetic reader should care because the result settles a conjecture and marks a practical boundary for when this witness can be trusted.","feed_headline":"50% loss caps every state's quadrature-coherence witness at 1","feed_subtitle":"A proved conjecture: beyond half loss, the quadrature coherence scale cannot flag any state as nonclassical.","key_machinery":"The central mechanism is the identity $C^2(\\rho_T) = 1 + \\frac{T}{P(\\rho_T)} \\frac{\\partial P(\\rho_T)}{\\partial T}$, which turns the QCS nonclassicality criterion $C^2 > 1$ into a statement about the logarithmic derivative of purity with respect to transmission. That derivative is controlled by three imported or proved properties: purity of a pure lossy state is symmetric about $T = 1/2$ and convex in $T$ (Lemma 1 and Theorem 2 of the companion paper), and for mixed states the overlap $\\mathrm{Tr}[\\sigma_T \\rho_T]$ is, by Lemma 3, a polynomial in $\\lambda = 1-2T$ with nonnegative coefficients, making it increasing and convex for $T \\le 1/2$. The QCS itself is a named measure: it is the average squared separation of quadrature components weighted by the state's coherence, and it certifies nonclassicality when it exceeds one.","core_discovery":"The core claim is Theorem 12: no state subjected to 50% or more photon loss can be certified as nonclassical by the quadrature coherence scale, since $C^2(\\rho_T) \\le 1$ for all such states. Theorem 11 sharpens this for pure states, with $C^2(\\rho_T) = 1$ exactly at $T = 1/2$, $C^2(\\rho_T) \\ge 1$ for $T \\ge 1/2$, and $C^2(\\rho_T) \\le 1$ for $T \\le 1/2$ (where $T$ is the transmission probability, so loss is $1-T$). The argument centers on Lemma 10, which writes $C^2(\\rho_T) = 1 + T \\, \\partial \\log P(\\rho_T)/\\partial T$, so the sign of the deviation from 1 is governed entirely by how purity changes with loss. Pure-state results use the symmetry and convexity of purity from the companion paper; mixed-state results use Corollary 6, which says the Hilbert-Schmidt overlap of two states under loss increases and is convex when loss exceeds 50%. Together these establish the 50% ceiling that was previously conjectured.","pith_inferences":["If the paper's Conjecture 7 (log-convex purity in T) holds, the QCS of any initially pure state would fall monotonically as loss grows toward 50%; measuring QCS under controlled loss on a squeezed or photon-subtracted state would test this.","Conjecture 19 converts the same inequality into a practical probe of whether two modes carry the same state: photon-number-resolving counts on the dark port of a balanced beam splitter could search for violations.","The Laplace-transform identity for purity suggests that loss acts like a Gaussian convolution in phase space, so classical results on completely monotone functions may yield additional inequalities for all physical states beyond those derived here.","Because the 50% ceiling follows from purity's convexity rather than from any QCS-specific detail, similar thresholds may hold for other witnesses that depend on purity or its derivatives, and the same proof strategy may transfer."],"forward_implications":["At 50% loss or more, the QCS witness cannot certify nonclassicality for any state, so experiments using this witness face a hard loss ceiling.","For pure states, the crossover is exact: QCS equals 1 at 50% loss, is above 1 for less loss, and below 1 for more, providing a sharp universal value to test.","The purity convexity results yield inequalities for creation and annihilation operators, including fourth-order ones not derivable from Cauchy-Schwarz.","All physical states obey new inequalities for integrals of s-ordered quasiprobability distributions, constraining the singularities even when P-functions are not regular functions.","The quantum mutual information between the two outputs of a beam splitter with vacuum input is concave in the transmission probability."],"supporting_citations":[{"why":"Companion paper proving Lemma 1, Theorem 2, and Lemma 3 — the purity symmetry, convexity, and nonnegative-polynomial overlap properties the 50% QCS bound depends on.","marker":"[1]"},{"why":"The conjecture, from earlier work by the same group, that all states lose QCS-certified nonclassicality at 50% loss; this paper proves it.","marker":"[27]"},{"why":"Introduced the QCS and derived its relation to the decoherence rate, the identity that becomes Lemma 10 here.","marker":"[20]"},{"why":"Gives the two-copy operator expression for the QCS used in the proof of Lemma 10.","marker":"[118]"},{"why":"Earlier numerical and analytic evidence that resource states have QCS = 1 at 50% loss, motivating the conjecture proved here.","marker":"[26]"},{"why":"The balanced-beam-splitter entanglement conjecture whose resolution in [1] produced the purity lemmas that power this paper.","marker":"[2]"},{"why":"Cites the two-copy SWAP measurement of purity used in Lemma 10 and in the purity circuits.","marker":"[117]"}],"fun_headline_variants":["50% loss caps quadrature-coherence witness at 1","Proved: half loss silences nonclassicality flag","Beam splitter loss: no nonclassicality past 50%","Quadrature coherence scale dies at half loss"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The bound rests on an imported lemma—overlaps of any two positive operators under loss are polynomials in $\\lambda = 1-2T$ with nonnegative coefficients—and on treating the Glauber-Sudarshan $P$-function as a bona fide integral representation; if either assumption fails, the sign of the purity slope below 50% loss and the QCS ceiling fall with them.","fun_headline_variants_meta":{"raw":{"variants":["50% loss caps quadrature-coherence witness at 1","Proved: half loss silences nonclassicality flag","Beam splitter loss: no nonclassicality past 50%","Quadrature coherence scale dies at half loss"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000139,"raw_usage":{"total_tokens":1194,"prompt_tokens":1016,"completion_tokens":178,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":632,"completion_tokens_details":{"reasoning_tokens":107}},"tokens_in":632,"tokens_out":178,"duration_ms":2404,"temperature":1.0,"reasoning_tokens":107,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:15:52.705299+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct check would be to numerically maximize $C^2(\\rho_T)$ over finite-dimensional mixed states at a fixed transmission $T < 1/2$, say $T = 0.4$; any state found with $C^2 > 1$ would refute Theorem 12. The more foundational check is to test Lemma 3 by computing the overlap of two lossy positive operators, for example $\\mathrm{Tr}[|0\\rangle\\langle 0|_T \\, |1\\rangle\\langle 1|_T]$, and verifying that all coefficients in the polynomial in $\\lambda = 1-2T$ are nonnegative; a single negative coefficient would break the chain leading to the ceiling.","supporting_citations":[{"cited_title":"Islam, R","cited_arxiv_id":null,"evidence_quote":"Gives the two-copy operator expression for the QCS used in the proof of Lemma 10."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Cites the two-copy SWAP measurement of purity used in Lemma 10 and in the purity circuits."}],"review_version":1}