{"id":"49dcef8d-ca8c-40e3-b12f-a1a7a91ab3c7","arxiv_id":"2504.13148","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives a closed-form expression for the relative entropy of single-mode squeezed states in wedge regions, proportional to the smeared Pauli-Jordan distribution.","lead":"The authors propose a closed-form formula for the Araki-Uhlmann relative entropy between a single-mode squeezed state and the vacuum in a free massive scalar quantum field theory on Minkowski wedges. They claim this entropy is proportional to the smeared Pauli-Jordan distribution, as it is for coherent states, and therefore positive, region-monotone, and mass-decreasing.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (28) assumes S_f ∈ M, but only an outer automorphism is shown; without S_f ∈ M the central formula (41) is unsupported.","rationale":"The reader correctly identifies the innerness of the squeezing automorphism as the weakest load-bearing assumption. Equation (28) is not a technical convenience; it is the only route from the modular theory setup to the two-point function (40), and every subsequent step depends on it. If S_f is outer, the relative modular flow is generally the vacuum flow twisted by a nontrivial Connes cocycle, and the simple replacement in Eq. (40) is unjustified. My reading of Appendix B confirms that the paper establishes only an automorphism-type relation, and the displayed transformation law (19)–(20) is actually inconsistent with Weyl commutation relations when η is complex, so the automorphism claim itself is doubtful. The series-convergence problem in (35)–(36) is a second, independent reason the final formula cannot be correct as stated, but it is not the root cause. I agree with the reader that the central claim is unsupported and that rejection is warranted. The paper is clearly written and the extension from coherent to squeezed states is a natural program, but the missing inner-automorphism argument is essential, not cosmetic.","tokens_in":10349,"tokens_out":32191,"duration_ms":325739,"concrete_test":"Choose a test function g supported in the left wedge W_L with H(f,g) ≠ 0. Use the Bogoliubov action already derived in Appendix B, Eq. (B10), to compute S_f φ(g) S_f† = S_f (a_g + a_g†) S_f†. If the result contains nonzero a_f or a_f† terms, then S_f does not commute with φ(g); since the left-wedge Weyl operators generate M′, this shows S_f ∉ M and hence invalidates Eq. (28). No new computation is needed: Eq. (B10) explicitly yields such a_f, a_f† terms for spacelike separated g because H(f,g) ≠ 0 when Δ(f,g) = 0. Running this check settles whether the inner-automorphism assumption fails.","verdict_should_be":"REJECT","load_bearing_attack":"The proof of the central identity Δ_{Ψ|Ω}^{is} = Δ_Ω^{is} at Eq. (28) is the pivot: Eq. (40) uses it to replace ⟨Ψ|Δ_{Ψ|Ω}^{is}|Ψ⟩ with ⟨Ω|S_f† S_{f_s}|Ω⟩, and Eq. (41) is then obtained by differentiating that two-point function. The derivation of (28) in Eq. (30) writes s_{Ψ|Ω} a|Ω⟩ = s_{Ψ|Ω}(a S_f†)S_f|Ω⟩ and then invokes the definition of s_{Ψ|Ω} on (a S_f†)|Ψ⟩. This step is legitimate only if aS_f† ∈ M, i.e. if S_f† ∈ M. The paper never proves S_f ∈ M; Appendix B proves at most that conjugation by S_f maps M into itself, which describes an automorphism, not an inner one. Moreover the claimed automorphism formula (19)–(20), W_g ↦ W_{g+ηf} with complex η, does not preserve the Weyl relation: σ(g+ηf, g′+η′f) ≠ σ(g,g′) unless the extra terms vanish, so the map is not a *-automorphism of the Weyl algebra underlying M. Thus S_f likely does not even normalize M, let alone belong to it. If S_f ∉ M, Eq. (31) is invalid and Eq. (41) does not follow from the presented argument. A secondary internal inconsistency strengthens this: the series (35) converges only for |γ_f α_g ⟨f|g⟩²| < 1/4, while for g = f the argument is roughly (||f||²/4) tanh²(2||f||²), which exceeds 1/4 for ||f||² ≳ 2; the closed-form (36) and the denominator in (41) then become imaginary, impossible for a relative entropy.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript claims a closed-form analytic expression for the Araki-Uhlmann relative entropy between a single-mode squeezed vacuum state Ψ = S_f|Ω> and the vacuum |Ω> in a free massive scalar QFT on the right Rindler wedge. The derivation invokes Tomita-Takesaki modular theory and Bisognano-Wichmann covariance, asserts the identity Δ_{Ψ|Ω}^{is} = Δ_Ω^{is}, reduces the entropy to a two-point function ⟨Ω|S_f† S_{f_s}|Ω⟩, evaluates this two-point function in closed form, and obtains Eq. (41), an expression proportional to the smeared Pauli-Jordan distribution. The paper then claims that the entropy is positive, increases with the size of the region, and decreases with mass.","tokens_in":10709,"tokens_out":34011,"duration_ms":322746,"significance":"If correct, the result would be a valuable explicit example of an analytically computable Araki-Uhlmann relative entropy for a non-coherent class of states, extending known coherent-state formulas with no free parameters and connecting squeezing, modular theory, and the Pauli-Jordan distribution. The paper is clearly organized and the general strategy is attractive. However, there are two load-bearing problems: the modular-theoretic identity is not justified, and the two-point function used in the derivation is demonstrably incorrect. The advertised central result is therefore not established.","major_comments":[{"comment":"The proof of Δ_{Ψ|Ω}^{is} = Δ_Ω^{is} is invalid as written. In Eq. (30), applying the definition of s_{Ψ|Ω} to the vector (a S_f†)|Ψ> requires a S_f† ∈ M for all a ∈ M, i.e., S_f† ∈ M. This is never shown. Appendix B proves at most that conjugation by S_f maps Weyl generators to operators W_{g+ηf} with complex η, which need not even belong to the Weyl algebra M over real test functions; and even a genuine automorphism of M would not imply that the implementing unitary lies in M. Since Eqs. (37)-(41) replace Δ_{Ψ|Ω} by Δ_Ω at every step, the central formula is unsupported.","section":"III, Eqs. (28)-(31)"},{"comment":"The two-point function evaluation is algebraically wrong. For g = f with f real, unitarity plus the standard SU(1,1) disentangling gives ⟨Ω|S_f²|Ω⟩ = (cosh(4||f||²))^{-1/2} = 1 - 4||f||² + O(||f||⁴), whereas Eq. (36) yields approximately 1 + O(||f||⁴). For example, with ||f||² = 0.1, the exact value is about 0.962, while Eq. (36) gives about 1.000, exceeding the unitarity bound |⟨Ω|S_f²|Ω⟩| ≤ 1. This error occurs at order ||f||² in the expansion and propagates directly into the derivation of Eqs. (40)-(41).","section":"IV, Eqs. (32)-(36)"},{"comment":"Independently of the algebraic error above, the power series (35) converges only for |γ_f α_g ⟨f|g⟩²| < 1/4. For g = f and for f_s with s sufficiently close to 0, this condition is satisfied only for ||f||² below roughly 1/2. The paper uses the closed form (36) and its derivatives without any restriction on ||f||² and without an analytic-continuation argument, so the transition from (40) to (41) is not justified for generic f.","section":"IV, Eqs. (35)-(36)"}],"minor_comments":[{"comment":"The text never states whether the test functions f and g are real. The Weyl algebra (1) is defined over real smearing functions, while Eqs. (19)-(21) produce complex shifts g + ηf. The allowed test-function space should be stated precisely.","section":"II, Eqs. (1)-(8)"},{"comment":"The coefficient called η in Eq. (21) and the coefficient called γ in Eq. (B16) are written with apparently different signs and ordering of the Hadamard and Pauli-Jordan terms, making it difficult to verify that the two expressions agree.","section":"II, Eq. (21) and Appendix B, Eq. (B16)"},{"comment":"Eq. (17) writes states as |n_f n_f⟩ but then sums over a single index n; the notation should be clarified or a normalized two-particle basis should be introduced explicitly.","section":"II, Eq. (17)"},{"comment":"The asserted monotonicity properties (increase with region size, decrease with mass) are not derived in the present paper but are imported from references [43,45]. Since Eq. (41) involves the smeared Pauli-Jordan function evaluated on f and f'_s, an explicit monotonicity argument would be needed.","section":"IV, Eq. (44)"},{"comment":"The symbol η is used both for the complex shift in Eq. (20) and for the c-number phase in Eq. (B17); this double use is confusing and should be avoided.","section":"Appendix B, Eqs. (B17)-(B18)"}],"recommendation":"reject","confidential_remarks":"The central modular step appears to require an unproved and likely false affiliation of the squeezing operator with the wedge algebra, and the two-point function used to reach the main formula fails a simple unitarity check. These are load-bearing errors rather than presentation issues, and I do not see a repair within the manuscript's current scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a clean, readable paper that does exactly what it says: it carries the coherent-state calculation in Casini-Grillo-Pontello over to single-mode squeezed states and lands on a closed form proportional to the smeared Pauli-Jordan distribution. The algebra in the main text is careful, and the final expression is the kind of thing people will want to have on record if it is right. But the pivotal move in Eq. (28), where Δ_{Ψ|Ω} is set equal to Δ_Ω, is not justified. The argument in Eq. (30) silently requires S_f to lie in the wedge algebra M; Appendix B shows at most that conjugation by S_f maps Weyl operators to Weyl operators, and even that is doubtful because the map g → g+ηf with complex η does not preserve the Weyl phase. For a free field, S_f is a Bogoliubov transformation of the type that is generally not in the local algebra; the modular group itself is a counterexample to the idea that such exponentials are inner. So the central identity is unsupported, and formula (41) does not follow from the derivation.\n\nThe second issue is the series in Eq. (35): they sum a power series with a finite radius of convergence and present the closed form (36) without comment. That might be fixable via analytic continuation, and I want to note that the worry about the denominator in (41) going imaginary is not right—plug in α_f and you get sech^3(2||f||²), which is fine for all ||f||². So the series issue is a presentation gap, not a fatal one.\n\nWhat the paper does well: the organization is solid, the notation is consistent, and the reduction to the coherent-state result in Eq. (44) is a nice sanity check. If the modular identity can be proven by other means—for instance by showing S_f is in the natural cone, or by a direct computation—the final result is plausibly correct. But as written, the load-bearing assumption is a domain issue that is never addressed.\n\nMy call: it is worth sending to a referee who knows modular theory, because the subtlety is real and the result is interesting. But it should not be accepted as is; it needs either a proof of S_f ∈ M or a different derivation of Eq. (41).","headline":"Clean extension of the coherent-state relative-entropy computation, but the central modular identity rests on an unproved and likely false assumption that S_f lies in the wedge algebra.","tokens_in":11273,"tokens_out":12681,"would_cite":false,"duration_ms":128017,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T05","46L60","81P45"],"pacs":["03.70.+k"],"model":"deepseek-v4-flash","headline":"A closed-form Araki-Uhlmann relative entropy for squeezed states in a free massive scalar QFT is derived and shown to be proportional to the smeared Pauli-Jordan distribution.","keywords":["Araki-Uhlmann relative entropy","single-mode squeezed state","Tomita-Takesaki modular theory","Bisognano-Wichmann theorem","Pauli-Jordan distribution","wedge region","free scalar quantum field theory","modular flow"],"falsifier":"Compare the two sides of Eq. (40) directly: evaluate $\\langle\\Omega|S_f^\\dagger\\Delta_\\Omega^{is}S_f|\\Omega\\rangle$ using the vacuum modular Hamiltonian on the wedge and evaluate $\\langle\\Omega|S_f^\\dagger S_{f_s}|\\Omega\\rangle$ using the Bisognano-Wichmann boost, for a profile $f$ supported strictly inside the wedge. Any nonzero difference at small $s$ would show $\\Delta_{\\Psi|\\Omega}^{is}\\neq\\Delta_\\Omega^{is}$ and invalidate the central formula; a lattice discretization of the free massive scalar provides a practical setting for this comparison.","tokens_in":10098,"feed_emoji":"⚛️","tokens_out":11908,"duration_ms":110790,"temperature":0.7,"pith_summary":"The paper derives an exact, closed-form expression for the Araki-Uhlmann relative entropy between a single-mode squeezed vacuum state and the ordinary vacuum in a free massive real scalar quantum field theory, restricted to a wedge region of 1+1 Minkowski spacetime. The result is that this entropy is proportional to the smeared Pauli-Jordan distribution, the same causal, antisymmetric two-point object that controls the coherent-state relative entropy. If the derivation is correct, the entropy inherits all the physically expected properties without approximation: it is positive, it grows with the size of the region, and it falls as the field mass increases. That matters because relative entropy is the rigorous information-theoretic measure of distinguishability in algebraic QFT, and this gives an analytic, non-numerical handle on it for a genuinely nonlinear family of states.","feed_headline":"Squeezed-state entropy equals a Pauli-Jordan smearing","feed_subtitle":"For a free massive field on a wedge, this relative entropy is positive, grows with region size, and falls with mass.","key_machinery":"The load-bearing mechanism is the Tomita-Takesaki modular theory for the wedge algebra. The relative modular operator $\\Delta_{\\Psi|\\Omega}$ is identified with the vacuum modular operator $\\Delta_\\Omega$ through $\\Delta_{\\Psi|\\Omega}^{is}=\\Delta_\\Omega^{is}$, a consequence of unitarity of $S_f$ and the algebra automorphism it generates. The Bisognano-Wichmann theorem then identifies the vacuum modular flow with a Lorentz boost, so $\\Delta_\\Omega^{is} S_f \\Delta_\\Omega^{-is}=S_{f_s}$ with $f_s(x)=f(\\Lambda_{-s}x)$. The remaining computation is the two-point function $\\langle\\Omega|S_f^\\dagger S_{f_s}|\\Omega\\rangle$, evaluated in closed form as $C_f C_{f_s}(1+4\\alpha_{f_s}\\gamma_f\\langle f|f_s\\rangle^2)^{-1/2}$; differentiating at $s=0$ produces the Pauli-Jordan term.","core_discovery":"On the paper's own terms, the central discovery is the identity $$S(\\Psi|\\$\\Omega$)=-\\frac{\\$alpha_f^{2}$ $C_f^{2}$}{(1-4\\$alpha_f^{2}$\\|f\\|^4)^{3/2}\\|f\\|^2}\\,\\Delta_{PJ}\\!\\left(f,f'_s\\big|_{s=0}\\right),$$ where $\\Psi=S_f|\\Omega\\rangle$ is the single-mode squeezed state with $S_f=e^{i(a_f^2+(a_f^\\dagger)^2)}$, $\\|f\\|^2$ is the Lorentz-invariant norm of the smearing function, and $\\Delta_{PJ}$ is the smeared Pauli-Jordan commutator function. The argument shows that the relative modular operator of $(\\Psi,\\Omega)$ coincides with the vacuum modular operator $\\Delta_\\Omega$, so the Bisognano-Wichmann boost can be applied and the entropy reduces to a derivative of the two-point function $\\langle\\Omega|S_f^\\dagger S_{f_s}|\\Omega\\rangle$. The closed form then follows from the squeezed-state algebra and the disentangling formula for $S_f$.","pith_inferences":["Rearranging Eq. (41) shows the prefactor equals $\\sinh^2(2\\|f\\|^2)/(4\\|f\\|^6)$, so, up to the Pauli-Jordan smearing, the entropy is governed by this positive function of the squeezing strength; monotonic growth with squeezing follows directly, although the paper does not state it.","The same modular-flow strategy should extend to two-mode squeezing with a kernel $f(p,q)$; the two-point function would become a determinant over the kernel's modes, and the relative entropy should again reduce to a Pauli-Jordan smearing with a mode-dependent prefactor.","Because the derivation is algebraic and exact, a lattice discretization of a free scalar field on a chain with a squeezed mode could check Eq. (41) in the continuum limit; this would also test the inner-automorphism step that the paper leaves open.","The proportionality to the coherent-state entropy suggests that, for all single-mode Gaussian states, the relative entropy to the vacuum is not an independent quantity but a one-parameter rescaling of the coherent-state result, so any measurement sensitive to the vacuum commutator would see the same functional form."],"forward_implications":["For any test function $f$ supported in the right wedge, the formula gives the exact Araki-Uhlmann relative entropy of the squeezed state, with no approximation or cutoff.","The entropy is strictly positive, inheriting the sign of the smeared Pauli-Jordan term.","The entropy increases when the wedge region is enlarged, since the smeared commutator term grows with the support of $f$.","The entropy decreases as the mass $m$ grows, following the mass dependence of the Bessel functions in $\\Delta_{PJ}$.","Because $S(\\Psi|\\Omega)$ is a fixed multiple of the coherent-state relative entropy, it inherits the representation of that entropy as an integral of the smeared energy-momentum tensor."],"supporting_citations":[{"why":"Defines the wedge-localized von Neumann algebra and supplies the Reeh-Schlieder theorem that makes the vacuum cyclic and separating for it.","marker":"[23]"},{"why":"Supplies the single-mode squeezing algebra and the disentangling formula that the paper uses to evaluate the two-point function.","marker":"[25]"},{"why":"Provides the Tomita-Takesaki modular theory, including the modular operator and modular flow used to define the Araki-Uhlmann relative entropy.","marker":"[38]"},{"why":"Identifies the vacuum modular flow on a wedge with a Lorentz boost, producing the shifted test function $f_s=f(\\Lambda_{-s}x)$.","marker":"[39]"},{"why":"Gives the spectral formula expressing the relative entropy as the derivative of the modular-flow expectation value.","marker":"[42]"},{"why":"Supplies the equality $\\Delta_{\\Psi|\\Omega}^{is}=\\Delta_\\Omega^{is}$ for unitarily related states and the integral representation of the coherent-state relative entropy.","marker":"[43]"},{"why":"States the modular conjugation identity $\\Delta_\\Omega^{is}S_f\\Delta_\\Omega^{-is}=S_{f_s}$ for squeezed states.","marker":"[44]"},{"why":"Supplies the coherent-state relative entropy to which the squeezed-state result is shown to be proportional.","marker":"[45]"}],"fun_headline_variants":["Squeezed-state entropy: a Pauli-Jordan formula","Exact squeezed-state relative entropy via modular theory","Squeezed states: entropy from the Pauli-Jordan smearing","Closed-form entropy for single-mode squeezed states","Squeezed-state entropy: positive, monotone, mass-decreasing"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole derivation hinges on the squeezing operation being generated inside the wedge algebra, so that the relative modular flow coincides with the vacuum's, whereas the paper proves only that it maps the algebra to itself and never shows $S_f$ lies in the algebra.","fun_headline_variants_meta":{"raw":{"variants":["Squeezed-state entropy: a Pauli-Jordan formula","Exact squeezed-state relative entropy via modular theory","Squeezed states: entropy from the Pauli-Jordan smearing","Closed-form entropy for single-mode squeezed states","Squeezed-state entropy: positive, monotone, mass-decreasing"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000251,"raw_usage":{"total_tokens":1521,"prompt_tokens":873,"completion_tokens":648,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":489,"completion_tokens_details":{"reasoning_tokens":565}},"tokens_in":489,"tokens_out":648,"duration_ms":6568,"temperature":1.0,"reasoning_tokens":565,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T12:16:12.251608+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compare the two sides of Eq. (40) directly: evaluate $\\langle\\Omega|S_f^\\dagger\\Delta_\\Omega^{is}S_f|\\Omega\\rangle$ using the vacuum modular Hamiltonian on the wedge and evaluate $\\langle\\Omega|S_f^\\dagger S_{f_s}|\\Omega\\rangle$ using the Bisognano-Wichmann boost, for a profile $f$ supported strictly inside the wedge. Any nonzero difference at small $s$ would show $\\Delta_{\\Psi|\\Omega}^{is}\\neq\\Delta_\\Omega^{is}$ and invalidate the central formula; a lattice discretization of the free massive scalar provides a practical setting for this comparison.","supporting_citations":[{"cited_title":"Blaschke, H","cited_arxiv_id":null,"evidence_quote":"Identifies the vacuum modular flow on a wedge with a Lorentz boost, producing the shifted test function $f_s=f(\\Lambda_{-s}x)$."}],"review_version":1}