{"id":"4de9151c-da8d-4e67-ad82-b365dd8b121d","arxiv_id":"2508.00334","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new sufficient entanglement condition based on Cauchy-Schwarz violations of the partial transpose is introduced and used to link thermal entanglement in the Jaynes-Cummings and quantum Rabi models to their symmetries.","lead":"This paper introduces the Cauchy-Schwarz Violation condition, a simple local test for entanglement in mixed quantum states that checks pairs of populations and coherences instead of diagonalizing the whole density matrix. The authors use it to explain why the Jaynes-Cummings and quantum Rabi models have very different thermal entanglement, and to predict a counterintuitive temperature-driven entanglement increase in a symmetry-respecting open Rabi system.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The core sufficient-condition theorem is correct, but the load-bearing step in the applications is the unproven assertion that the local 2x2 Cauchy-Schwarz violations S track the global negativity N; at the strong-coupling QRM point the discrepancy is already a factor of about 5.","rationale":"The paper's central mathematical claim is sound: a Hermitian positive semidefinite matrix must satisfy A_ii A_jj >= |A_ij|^2 for every pair, so a violated 2x2 principal minor implies rho^PT is indefinite and N>0. I am not disputing this, and the JCM analytic identity N=sqrt(S) in the non-degenerate low-temperature sector is real independent support. The load-bearing weakness is the step from S to N in the QRM and open-system sections, exactly as the reader identifies. The authors themselves write in the CSV Condition section that they do not make the S-N correspondence mathematically precise, and in the Conclusion that nonzero S is 'only a sufficient condition' for nonzero negativity; nevertheless the conclusions use S as a proxy for N, including the prediction that unsupported partial-transposed coherences lead to high-temperature-enhanced negativity. The strongest concrete evidence that this proxy is not quantitatively controlled is the paper's own reported strong-coupling thermal QRM point (lambda=2.3, Delta=2, beta=90): S=0.00334 gives sqrt(S)=0.0578 while N=0.0122, a factor-of-five discrepancy. This does not invalidate the theorem, but it means the symmetry arguments, which are phrased entirely in terms of whether populations support partial-transposed coherences, control S and not necessarily N. Since higher-order principal minors of rho^PT can contribute negative eigenvalue mass even when all 2x2 minors are nonnegative, the burden is on showing that in the studied regimes the local terms dominate. The proposed check directly measures whether the S-N proxy survives a denser scan and an altered truncation. The missing code/data and the unvalidated Redfield treatment are secondary: they affect reproducibility and the open-system section, but not the core sufficient condition. I therefore keep the reader's CONDITIONAL verdict unchanged.","tokens_in":11776,"tokens_out":10731,"duration_ms":117150,"concrete_test":"Reproduce the numerical steady-state calculations of Fig. 2 (Delta=2, beta_e=90, beta_o=1, gamma_e=gamma_o=10^-5, Ohmic spectral density with cutoff Delta) with boson truncations 45 and 90, and on a dense grid lambda/Delta in [0.1,4] compute both S and the exact negativity N of rho^PT. Compare the ratio N/sqrt(S) and the signs of dN/dlambda and dsqrt(S)/dlambda across the grid. If the ratio varies by more than a factor of two, or if there is any interval where dN/dlambda and dsqrt(S)/dlambda have opposite signs, then the local 2x2 violation S is not a reliable proxy for the global negativity in the strong-coupling regime, and the symmetry-based predictions for N would need independent verification. Apply the same check to the epsilon=0.1Delta symmetry-broken curve.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The sufficient condition itself (nonzero S implies rho^PT is not positive semidefinite, hence N>0) is mathematically sound: a Hermitian positive semidefinite matrix must satisfy the 2x2 Cauchy-Schwarz inequality on every principal submatrix. The problem is the inverse/quantitative step used throughout the applications. In the JCM section, the exact identity N = sqrt(S) for the non-degenerate low-temperature thermal state is genuine independent support. But for the QRM (Fig. 1) and for the symmetry-respecting-bath steady states (Fig. 2), no such identity is derived; the authors state in the CSV Condition section that they do 'not make this latter correspondence mathematically precise' and then rely on numerical correlation and a symmetry heuristic about partial-transposed coherences being unsupported by opposite-parity populations. The weak spot is exactly the regime where the heuristic is most needed: at lambda=2.3, Delta=2, beta=90 the paper reports S=0.00334 and N=0.0122, so sqrt(S)=0.0578 is larger than N by roughly a factor of five; the claimed 'quantitatively similar' behavior is not uniform. Moreover, rho^PT can have negative eigenvalue mass supported on principal minors of size larger than 2 even when all 2x2 minors are nonnegative, so S=0, or a decrease in S, does not imply N=0, or a decrease in N. The predictions of strong-coupling negativity suppression in the closed QRM and temperature-induced negativity enhancement in the open QRM are therefore conditional on an unproven dominance of 2x2 local sources of negativity.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the Cauchy-Schwarz Violation (CSV) quantifier S(ρ)=Σ_{i>j} max{|ρ^PT_{ij}|^2−ρ^PT_{ii}ρ^PT_{jj},0} and proves that S>0 implies that ρ^PT is not positive semidefinite and hence that the negativity N(ρ)>0. The authors apply this sufficient condition to thermal states of the Jaynes-Cummings model (JCM) and the Quantum Rabi model (QRM), and to steady states of an open QRM with parity-respecting baths. For the JCM they derive exact low-temperature formulas, including N=√S in the non-degenerate case; for the QRM they use symmetry arguments and numerical calculations (Figs. 1 and 2) to argue that S tracks N closely, predicting non-monotonic coupling dependence of entanglement in the QRM and symmetry- and temperature-enhanced negativity in the open-system setting.","tokens_in":12083,"tokens_out":5107,"duration_ms":55086,"significance":"The sufficient-condition theorem is rigorous, elementary, and parameter-free, and the exact JCM relation N=√S for non-degenerate low-temperature states is a genuine analytical validation. The symmetry-based narrative—that unsupported partial-transposed coherences produce negativity—is intuitive and generative, and it leads to concrete, falsifiable predictions. However, the paper's application-level conclusions depend on an unproven quantitative correspondence between S and N, and the numerical support for the QRM and open-system claims is not reproducible as presented. If the quantitative claims are either proven with bounds or appropriately downgraded to statements about S, the work would be a useful contribution to the study of mixed-state entanglement in physically motivated models.","major_comments":[{"comment":"The central quantitative claim is that S \"has a close correspondence with\" N (Conclusion) and that N and √S are \"quantitatively similar\" for the QRM (main text, QRM paragraph). This is not supported by the paper's own numbers: for λ=2.3, Δ=2, β=90, the supplement reports S=0.00334 and N=0.0122, so √S≈0.0578 is about 4.7 times larger than N. The CSV Condition section explicitly disclaims that the S–N correspondence is \"not make this latter correspondence mathematically precise.\" Since negativity can be supported by principal minors larger than 2×2 (as the Sylvester-criterion discussion concedes), a decrease or vanishing of S does not imply a decrease or vanishing of N. Consequently, the predictions that strong coupling suppresses negativity in the QRM and that symmetry-respecting baths enhance negativity are conditional on an unproven quantitative relationship; they should either be backed by a bound for the states considered or be presented strictly as predictions about S, not about N.","section":"CSV Condition and Fig. 1 (supplemental QRM numbers)"},{"comment":"The QRM and open-system results in Figs. 1 and 2 rest on numerical computations, but the manuscript provides no code, no data release, and no convergence analysis. The statement that truncation at 45 excitations \"was found to be sufficient for convergence\" is not quantified (no comparison with higher truncations is shown). The Redfield steady state is obtained by solving for the kernel of L without reporting checks of positivity, trace preservation, or dependence on the parameters γe=γo=10^{-5} and the spectral cutoff. Without these details, the numerical curves cannot be independently verified, and the open-system conclusions in particular are not reproducible as presented.","section":"Computational Details and Redfield Theory"},{"comment":"At the JCM degeneracy points λ=λ_n, the paper asserts that \"S scales as a sum of squares ... should therefore be approximately halved\" and uses this to infer that N also decreases. But S decreasing by roughly a factor of two does not by itself imply N decreases, since S is a sum of squares while N is a sum of absolute negative eigenvalues; the supplement's exact Eq. (3) allows a direct check, but the qualitative argument is not a proof. This is a separate instance of the general problem that statements about S are used as statements about N without a quantitative bridge. Please either prove the relevant monotonicity or explicitly frame the dips as dips in S only.","section":"Application: Low-Temperature JCM and QRM (degenerate case)"}],"minor_comments":[{"comment":"The notation λ^2n is ambiguous: in the JCM formulas it should read λ² n (coupling squared times excitation number n) rather than λ_n^2; as written it resembles the critical-coupling notation and the distinction matters near the degeneracies.","section":"Main text and Supplement Eq. (2)"},{"comment":"The symbol N is used both for entanglement negativity and for the excitation-number operator N=(σ_z+1)+a†a; this overloading is confusing and should be changed (for example, using 𝒩 for negativity).","section":"Main text, JCM section"},{"comment":"The Redfield equation is written as ρ̇_mn = −iω_mn + Σ R_mn,op σ_op; presumably it should be ρ̇_mn = −iω_mn ρ_mn + Σ R_mn,op ρ_op. Please correct this typo and define σ_op.","section":"Supplement, Eq. (4)"},{"comment":"The captions for the density-operator plots do not specify which matrix elements are displayed in panels (b)–(d); the text refers to \"certain matrix entries\" without defining the axes. Please make the plotted quantities explicit.","section":"Figures 3–5"},{"comment":"There are several typographical issues, including \"Schr¨ odinger\" and \"the partial transposed coherences\"; a careful proofread would improve readability.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The sufficient-condition result and the exact JCM analysis are solid, but the application-level conclusions currently exceed what the manuscript proves. The factor-of-about-5 discrepancy between √S and N at the strong-coupling QRM point is a concrete example that the quantitative correspondence is not uniform. I would be willing to reconsider after the authors either provide a mathematical bound relating S and N for the states considered, or substantially soften the claims about predicting N from S. The absence of code/data and convergence tests for the numerical sections is also a barrier to verification."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The core theorem is correct and airtight: for a Hermitian matrix, positive semidefiniteness forces every 2x2 principal minor to be nonnegative, so nonzero S means rho^PT is not PSD. Calling S a Cauchy-Schwarz violation is fair, and the summed local formulation is a genuinely useful diagnostic for large systems where full negativity is expensive. The JCM section is the strongest part: the authors derive S and N analytically and prove N = sqrt(S) in the non-degenerate low-temperature case. That is real, reproducible work, and the symmetry explanation for the JCM-versus-QRM difference (excitation-number conservation vs Z2 parity, and how partial transpose moves coherences between symmetry sectors) is a nice physical insight and the most original contribution.\n\nThe soft spots are where the paper extends beyond the JCM. The quantitative S-N correspondence in the QRM and open-system parts is asserted but not proven. The stress-test number lands: at lambda = 2.3, Delta = 2, beta = 90, the paper reports S = 0.00334 and N = 0.0122, so sqrt(S) is about five times larger than N. That is not 'quantitatively similar.' Because rho^PT can have negative eigenvalue support on principal minors larger than 2x2, small S does not imply small N. So the strong-coupling suppression in the closed QRM and the temperature-enhanced negativity in the symmetry-respecting-bath setup are plausible but conditional on the dominance of local 2x2 sources. The authors explicitly acknowledge the correspondence is not made mathematically precise, which I respect, but those sections read as hypothesis-generating rather than established result.\n\nNumerically, there is no code or data, and the 45-excitation truncation is stated without convergence checks. The Redfield steady-state calculation is standard, but the Markovian and weak-coupling assumptions are not tested against the parameter regime (gamma = 1e-5, but lambda up to 2.3 and Delta = 2). These are fixable in review.\n\nRecommendation: yes, send it to a serious referee. The method itself is clean and worth citing, even if the application-level claims need more evidence. The referee should ask for the data/code, a quantitative discussion of when S fails to track N, and a more cautious phrasing of the 'quantitatively similar' claim.","headline":"The sufficiency theorem and the JCM analytics are solid; the QRM and open-system applications lean on an unproven S-versus-N correspondence that the paper's own numbers already contradict by a factor of five.","tokens_in":12617,"tokens_out":3157,"would_cite":true,"duration_ms":33552,"reading_group":"yes","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 introduces a sufficient entanglement condition based on violations of the Cauchy-Schwarz inequality by 2×2 principal minors of the partial transpose, and shows that it tracks negativity closely in the Jaynes-Cummings and…","keywords":["mixed-state entanglement","Cauchy-Schwarz violation","entanglement negativity","partial transpose","Jaynes-Cummings model","quantum Rabi model","Z2 symmetry","open quantum systems"],"falsifier":"Compute both $S$ and the exact negativity $N$ on a fine grid of $\\lambda/\\Delta$ and $\\beta$ for thermal Quantum Rabi states; any region in the strong-coupling regime where $\\sqrt{S}$ and $N$ move in opposite directions beyond numerical error would break the paper's claim that $S$ tracks $N$.","tokens_in":11569,"feed_emoji":"🔗","tokens_out":11821,"duration_ms":105840,"temperature":0.7,"pith_summary":"This paper proposes a new, easy-to-compute probe of mixed-state entanglement: the Cauchy-Schwarz Violation (CSV), defined by summing, over pairs of indices, how far the partially transposed density matrix violates 2×2 Cauchy-Schwarz inequalities. Any nonzero value of this sum guarantees the partial transpose is not positive semidefinite, so the state is entangled by the positive partial transpose criterion. Because the sum only inspects 2×2 principal minors, the CSV condition is sufficient but not necessary for entanglement. The authors argue that the CSV quantity tracks the entanglement negativity closely enough to act as a surrogate, and use it to explain qualitative entanglement features of the Jaynes-Cummings and Quantum Rabi models in terms of symmetry. This matters because negativity is a global quantity that requires diagonalizing the whole density operator, whereas the CSV condition is built from individual populations and coherences, making the physical source of entanglement visible.","feed_headline":"Cauchy-Schwarz violations catch mixed-state entanglement","feed_subtitle":"A local population-coherence sum tracks negativity and ties it to symmetry in light-matter models.","key_machinery":"The central object is the Cauchy-Schwarz Violation $S(\\rho)$, a sum over index pairs $i>j$ of the amount by which the partial transpose fails the inequality $\\rho^{PT}_{ii}\\rho^{PT}_{jj}\\ge|\\rho^{PT}_{ij}|^2$. By Sylvester's criterion, these $2\\times2$ principal minors are the most local possible sources of non-positive-semidefiniteness, since the $1\\times1$ minors are just the nonnegative diagonal populations of $\\rho$. The machinery works by converting the global spectral problem of negativity into a sum of pairwise population-coherence comparisons, which can be read directly from the partially transposed density operator and reasoned about from symmetry alone. In the Jaynes-Cummings model this yields the analytic identity $N=\\sqrt{S}$ away from degeneracies; in the Quantum Rabi model the same machinery supports the symmetry arguments that predict which parity populations can or cannot support partial-transposed coherences.","core_discovery":"The central claim is that for any density matrix $\\rho$, the quantity $$S(\\rho)=\\sum_{i>j}\\max\\{|\\$rho^{{PT}}$_{ij}|^2-\\$rho^{{PT}}$_{ii}\\$rho^{{PT}}$_{jj},0\\}$$ is a sufficient entanglement condition: if $S>0$, then some $2\\times2$ principal minor of the partial transpose is negative, so $\\rho^{PT}$ is not positive semidefinite and the negativity $N(\\rho)$ is nonzero. This is sufficient but not necessary, since larger principal minors could also contribute to negativity. The paper further claims that $S$ is not merely a yes/no test but a quantitative proxy: in the low-temperature non-degenerate Jaynes-Cummings model the exact relation $N=\\sqrt{S}$ holds, and in the Quantum Rabi model and the open-system settings used here, $N$ and $\\sqrt{S}$ remain close across the parameter regimes studied. The interpretive claim is that this proximity is powered by symmetry: conserved excitation number in the Jaynes-Cummings model and $\\mathbb{Z}_2$ parity in the Rabi model determine whether partial-transposed coherences have populations to support them, which in turn predicts thresholds, dips at degeneracies, non-monotonic coupling dependence, strong-coupling suppression of negativity, and even temperature-induced enhancement when symmetry-respecting baths unevenly populate the parity sectors. Breaking the symmetry is shown to undo these predictions.","pith_inferences":["Editorial inference: the 'unsupported coherence' mechanism should generalize to any conserved quantity that the partial transpose shuffles between sectors, making the CSV condition a symmetry-based design rule for engineering entanglement in larger open systems.","Editorial inference: because $S$ is built from pairwise populations and coherences, it may be estimable from low-order tomography or local correlation measurements without full state reconstruction, a practical option the paper does not discuss.","Editorial inference: if the temperature-enhancement effect survives in more realistic ultrastrong-coupling settings with the same parity symmetry, it would challenge the default assumption that hotter baths always suppress entanglement; a finite-temperature circuit-QED experiment would be a direct test.","Editorial inference: one natural extension is to include larger principal-minor corrections to $S$, using the gap between $S$ and $N^2$ to quantify how much 'delocalized' entanglement is missed by the local condition."],"forward_implications":["The CSV condition provides an inexpensive sufficient test: whenever one pair of diagonal populations of the partial transpose is smaller in product than the corresponding squared coherence, the state is entangled.","In thermal Jaynes-Cummings states, entanglement appears only above a coupling threshold $\\lambda_0$ and dips at the degeneracy points $\\lambda_n$; the CSV reasoning traces this to the conserved excitation number.","In the Quantum Rabi model, entanglement is nonzero for arbitrarily weak coupling and falls again at strong coupling, which the paper attributes to the $\\mathbb{Z}_2$ parity symmetry; the counterrotating terms therefore affect entanglement even where they are energetically small.","With symmetry-respecting baths, unevenly populating the even and odd parity sectors, or holding them at different temperatures, can produce large strong-coupling negativity, and a hotter odd bath can increase rather than destroy entanglement.","Adding a symmetry-breaking term $\\varepsilon\\sigma_x$ suppresses all of these symmetry-driven entanglement enhancements in the computed steady states."],"supporting_citations":[{"why":"defines the partial-transpose condition whose failure signals entanglement, grounding the definition of negativity.","marker":"[13]"},{"why":"extends the partial-transpose criterion, providing the necessary-and-sufficient separability backdrop for treating nonzero S as entanglement.","marker":"[14]"},{"why":"supplies the Redfield master equation used for the symmetry-broken open-system steady states.","marker":"[18]"},{"why":"provides Sylvester's criterion, identifying 2×2 principal minors as the local negativity sources that define S.","marker":"[21]"},{"why":"gives the Jaynes-Cummings eigenstates and thermal-state structure used to derive the exact S and N formulas.","marker":"[26]"},{"why":"gives the Redfield tensor solution used to compute non-equilibrium steady states with parity-respecting baths.","marker":"[42]"}],"fun_headline_variants":["Cauchy-Schwarz violation: sufficient test for mixed-state entanglement","Simple inequality catches mixed-state entanglement","Entanglement from Cauchy-Schwarz: populations and coherences","Symmetry-linked Cauchy-Schwarz test for entanglement"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the local $2\\times2$ principal-minor violations summed by $S$ faithfully represent the full negativity $N$ in the regimes studied, since the exact relation $N=\\sqrt{S}$ is proven only for the non-degenerate low-temperature Jaynes-Cummings model and otherwise the correspondence rests on numerics and symmetry arguments.","fun_headline_variants_meta":{"raw":{"variants":["Cauchy-Schwarz violation: sufficient test for mixed-state entanglement","Simple inequality catches mixed-state entanglement","Entanglement from Cauchy-Schwarz: populations and coherences","Symmetry-linked Cauchy-Schwarz test for entanglement"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000323,"raw_usage":{"total_tokens":1811,"prompt_tokens":939,"completion_tokens":872,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":555,"completion_tokens_details":{"reasoning_tokens":810}},"tokens_in":555,"tokens_out":872,"duration_ms":9002,"temperature":1.0,"reasoning_tokens":810,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T10:13:22.073283+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both $S$ and the exact negativity $N$ on a fine grid of $\\lambda/\\Delta$ and $\\beta$ for thermal Quantum Rabi states; any region in the strong-coupling regime where $\\sqrt{S}$ and $N$ move in opposite directions beyond numerical error would break the paper's claim that $S$ tracks $N$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"defines the partial-transpose condition whose failure signals entanglement, grounding the definition of negativity."},{"cited_title":"Horodecki, P","cited_arxiv_id":null,"evidence_quote":"extends the partial-transpose criterion, providing the necessary-and-sufficient separability backdrop for treating nonzero S as entanglement."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the Redfield master equation used for the symmetry-broken open-system steady states."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides Sylvester's criterion, identifying 2×2 principal minors as the local negativity sources that define S."},{"cited_title":"Fan, Y.-H","cited_arxiv_id":null,"evidence_quote":"gives the Jaynes-Cummings eigenstates and thermal-state structure used to derive the exact S and N formulas."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the Redfield tensor solution used to compute non-equilibrium steady states with parity-respecting baths."}],"review_version":1}