Pith. sign in

REVIEW 3 major objections 5 minor 52 references

Relative entropy of single-mode squeezed states in Quantum Field Theory

T0 review · 3 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2504.13148 v2 pith:AWQQWMIY submitted 2025-04-17 hep-th math-phmath.MP

classification hep-thmath-phmath.MP MSC 81T0546L6081P45 PACS 03.70.+k
keywords Araki-Uhlmannrelativeentropysingle-modesqueezedstateTomita-TakesakimodulartheoryBisognano-WichmanntheoremPauli-Jordandistributionwedgeregionfreescalarquantumfieldflow
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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$.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

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.

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 (3)
  1. [III, Eqs. (28)-(31)] 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.
  2. [IV, Eqs. (32)-(36)] 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).
  3. [IV, Eqs. (35)-(36)] 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.
minor comments (5)
  1. [II, Eqs. (1)-(8)] 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.
  2. [II, Eq. (21) and Appendix B, Eq. (B16)] 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.
  3. [II, Eq. (17)] 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.
  4. [IV, Eq. (44)] 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.
  5. [Appendix B, Eqs. (B17)-(B18)] 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.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation: Eq. (41) follows from an analytic computation benchmarked against external modular-theory results; same-author citations are illustrative, not load-bearing.

full rationale

The derivation of Eq. (41) is not circular: no parameter is fitted to the target quantity, and the target relative entropy is not inserted as an input. The pivotal modular-flow identity Eq. (28) is asserted as a 'remarkable relation' citing Refs. [43,44] (Casini-Grillo-Pontello and Fröb-Sangaletti), which are not by the present authors, and the subsequent use of the Bisognano-Wichmann boost action in Eq. (37) rests on an external theorem. Whether the derivation of Eq. (28) via Eq. (30) is rigorously justified depends on whether the squeezing unitary S_f lies in the wedge algebra or implements an inner automorphism; the paper only establishes an automorphism in Appendix B. That is a mathematical correctness gap, not circularity, because the conclusion is neither assumed in the premises nor obtained by renaming an input. The two-point function in Eqs. (35)-(36) is evaluated self-containedly by a series identity, and Eq. (44) merely rewrites the already-derived result in terms of the coherent-state relative entropy from the same authors' prior work [45]; that self-citation is post hoc and not load-bearing. The positivity and monotonicity statements are consequences of the explicit formula and standard properties of the Pauli-Jordan distribution. Overall, no step reduces by construction to its own inputs; the only mild concern is a non-load-bearing self-citation in Eq. (44).

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The derivation uses standard algebraic QFT theorems plus one paper-specific assumption: that S_f acts as an inner automorphism. No free parameters are fit to data and no new entities are introduced.

assumptions (5)
  • standard math Canonical commutation relations and Fock representation of the free massive scalar field (Appendix A, Eq. A2).
    Background quantization of the field; not under dispute.
  • domain assumption Reeh-Schlieder theorem: vacuum is cyclic and separating for the wedge algebra M.
    Needed so Tomita-Takesaki operators are well-defined (Section II, after Eq. 5).
  • domain assumption Bisognano-Wichmann theorem: modular flow of the vacuum on a wedge is a Lorentz boost (Eqs. 38-39).
    Used to convert modular flow into a geometric boost in Eq. (40).
  • standard math Tomita-Takesaki modular theory and the spectral formula for relative entropy (Section III).
    Framework for Araki-Uhlmann entropy.
  • ad hoc to paper The squeezing operator S_f implements an automorphism of M (Appendix B), and this automorphism is inner so Eq. (28) holds.
    Load-bearing; the paper proves only the automorphism part, not innerness.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Relative entropy of single-mode squeezed states in Quantum Field Theory." pith.science (2026). https://pith.science/paper/AWQQWMIY

@misc{pith2026250413148,
  author       = {Pith},
  title        = {Pith review of: Relative entropy of single-mode squeezed states in Quantum Field Theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AWQQWMIY}},
  note         = {Machine review of arXiv:2504.13148}
}
read the original abstract

Utilizing the Tomita-Takesaki modular theory, we derive a closed-form analytic expression for the Araki-Uhlmann relative entropy between a single-mode squeezed state and the vacuum state in a free relativistic massive scalar Quantum Field Theory within wedge regions of Minkowski spacetime. Similarly to the case of coherent states, this relative entropy is proportional to the smeared Pauli-Jordan distribution. Consequently, the Araki-Uhlmann entropy between a single-mode squeezed state and the vacuum satisfies all expected properties: it remains positive, increases with the size of the Minkowski region under consideration, and decreases as the mass parameter grows.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

52 extracted references · 17 canonical work pages

  1. [1]

    Field expansion and commutation relations 8

  2. [2]

    Inner product and two-point functions 9

  3. [3]

    Physical interpretation and causality 10 B. Some details about the single-mode squeezed states in QFT 10 References 12 ∗ msguimaraes@uerj.br † roditi@cbpf.br ‡ silvio.sorella@fis.uerj.br § arthurfvieira@if.ufrj.br arXiv:2504.13148v2 [hep-th] 30 Jun 2025 2 I. INTRODUCTION Quantum information theory has emerged as a powerful framework for analyzing fundamen...

  4. [4]

    The field operators satisfy the canonical commutation relations: [ak,a † q]= 2π 2ωkδ(k−q), (A2) [ak,aq]= [a† k,a † q]= 0

    Field expansion and commutation relations The massive scalar field φ(t,x) can be expressed in terms of plane waves as: φ(t,x)= ∫ dk 2π 1 2ωk (e−ikµxµ ak+eikµxµ a† k), (A1) 9 where ωk = k0 = √ k2+m2 is the relativistic energy dispersion relation. The field operators satisfy the canonical commutation relations: [ak,a † q]= 2π 2ωkδ(k−q), (A2) [ak,aq]= [a† k,...

  5. [5]

    These are defined as: ∆PJ (f,g )= ∫ d2xd2yf(x)∆PJ (x−y)g(y), H(f,g )= ∫ d2xd2yf(x)H(x−y)g(y)

    Inner product and two-point functions With the smeared fields, the Lorentz-invariant inner product between two test functions f(x) and g(x) in the vacuum state is introduced by means of the two-point smeared Wightman function ⟨f∣g⟩= ⟨0∣φ(f)φ(g)∣0⟩= i 2∆PJ (f,g )+H(f,g ), (A6) where ∆PJ (f,g ) andH(f,g ) are the smeared versions of the Pauli-Jordan and Had...

  6. [6]

    Physical interpretation and causality Both the Hadamard and Pauli–Jordan distributions are Lorentz-invariant, but they fulfill distinct roles in the structure of quantum field theory. The Pauli–Jordan distribution, ∆ PJ (x), is particularly significant in encoding relativistic causality, as it vanishes for spacelike-separated arguments, thereby ensuring t...

  7. [7]

    M. A. Nielsen and I. L. Chuang, Quantum computation and quantum information (Cambridge university press, 2010)

  8. [8]

    Faulkner, T

    T. Faulkner, T. Hartman, M. Headrick, M. Rangamani, and B. Swingle, in Snowmass 2021 (2022) arXiv:2203.07117 [hep-th]

Show all 52 references
  1. [9]

    Witten, Rev

    E. Witten, Rev. Mod. Phys. 90, 045003 (2018), arXiv:1803.04993 [hep-th]

  2. [10]

    Anastopoulos, B.-L

    C. Anastopoulos, B.-L. Hu, and K. Savvidou, Annals Phys. 450, 169239 (2023), arXiv:2208.03696 [quant-ph]

  3. [11]

    Floerchinger and T

    S. Floerchinger and T. Haas, Phys. Rev. E 102, 052117 (2020), arXiv:2004.13533 [cond-mat.stat-mech]

  4. [12]

    Schr¨ ofl and S

    M. Schr¨ ofl and S. Floerchinger, inAnnales Henri Poincar´ e(Springer, 2024) pp. 1–87

  5. [13]

    Nishioka, Rev

    T. Nishioka, Rev. Mod. Phys. 90, 035007 (2018), arXiv:1801.10352 [hep-th]

  6. [14]

    Holzhey, F

    C. Holzhey, F. Larsen, and F. Wilczek, Nucl. Phys. B 424, 443 (1994), arXiv:hep-th/9403108

  7. [15]

    Calabrese and J

    P. Calabrese and J. L. Cardy, J. Stat. Mech. 0406, P06002 (2004), arXiv:hep-th/0405152

  8. [16]

    Calabrese and J

    P. Calabrese and J. Cardy, J. Phys. A 42, 504005 (2009), arXiv:0905.4013 [cond-mat.stat-mech]

  9. [17]

    Casini and M

    H. Casini and M. Huerta, PoS TASI2021, 002 (2023), arXiv:2201.13310 [hep-th]

  10. [18]

    Berges, S

    J. Berges, S. Floerchinger, and R. Venugopalan, JHEP 04, 145, arXiv:1712.09362 [hep-th]

  11. [19]

    Schr¨ ofl and S

    M. Schr¨ ofl and S. Floerchinger 10.1007/s00023-024-01522-2 (2023), arXiv:2307.15548 [cond-mat.stat-mech]

  12. [20]

    Katsinis, G

    D. Katsinis, G. Pastras, and N. Tetradis, JHEP 10, 039, arXiv:2304.04241 [hep-th]

  13. [21]

    Hollands, Lett

    S. Hollands, Lett. Math. Phys. 110, 713 (2020), arXiv:1903.07508 [hep-th]

  14. [22]

    D’Angelo, Class

    E. D’Angelo, Class. Quant. Grav. 38, 175001 (2021), arXiv:2105.04303 [gr-qc]

  15. [23]

    Ciolli, R

    F. Ciolli, R. Longo, A. Ranallo, and G. Ruzzi, J. Geom. Phys. 172, 104416 (2022), arXiv:2107.06787 [math-ph]

  16. [24]

    Galanda, A

    S. Galanda, A. Much, and R. Verch, Math. Phys. Anal. Geom. 26, 21 (2023), arXiv:2305.02788 [math-ph]

  17. [25]

    Garbarz and G

    A. Garbarz and G. Palau, Phys. Rev. D 107, 125016 (2023), arXiv:2209.00035 [hep-th]

  18. [26]

    Araki, Les rencontres physiciens-math´ ematiciens de Strasbourg-RCP2522, 1 (1975)

    H. Araki, Les rencontres physiciens-math´ ematiciens de Strasbourg-RCP2522, 1 (1975)

  19. [27]

    Araki, Publ

    H. Araki, Publ. Res. Inst. Math. Sci. Kyoto 1976, 809 (1976)

  20. [28]

    Uhlmann, Commun

    A. Uhlmann, Commun. Math. Phys. 54, 21 (1977)

  21. [29]

    Haag, Local quantum physics: Fields, particles, algebras (1992)

    R. Haag, Local quantum physics: Fields, particles, algebras (1992)

  22. [30]

    S. J. Summers, (2003), arXiv:math-ph/0511034

  23. [31]

    Agarwal, Cambridge University Press (2013)

    G. Agarwal, Cambridge University Press (2013)

  24. [32]

    Dalfovo, S

    F. Dalfovo, S. Giorgini, L. P. Pitaevskii, and S. Stringari, Rev. Mod. Phys. 71, 463 (1999), arXiv:cond-mat/9806038

  25. [33]

    Parker, Physical Review 183, 1057 (1969)

    L. Parker, Physical Review 183, 1057 (1969)

  26. [34]

    N. D. Birrell and P. C. W. Davies, (1984)

  27. [35]

    Ahn and M

    D. Ahn and M. S. Kim, Phys. Lett. A 366, 202 (2007), arXiv:quant-ph/0604007

  28. [36]

    Pan and B

    Y. Pan and B. Zhang, Phys. Rev. D 107, 085001 (2023), arXiv:2303.09955 [hep-th]

  29. [37]

    M. O. Scully, A. Svidzinsky, and W. Unruh, Phys. Rev. Res. 4, 033010 (2022)

  30. [38]

    M. R. Mohammadi Mozaffar, JHEP 09, 068, arXiv:2407.16028 [hep-th]

  31. [39]

    Blaschke, H

    D. Blaschke, H. P. Pavel, V. N. Pervushin, G. Ropke, and M. K. Volkov, Phys. Lett. B 397, 129 (1997), arXiv:nucl- th/9609059

  32. [40]

    S. J. Summers and R. Werner, J. Math. Phys. 28, 2440 (1987)

  33. [41]

    S. J. Summers and R. Werner, J. Math. Phys. 28, 2448 (1987)

  34. [42]

    M. S. Guimaraes, I. Roditi, S. P. Sorella, and A. F. Vieira, (2025), arXiv:2501.03186 [quant-ph]

  35. [43]

    De Fabritiis, F

    P. De Fabritiis, F. M. Guedes, M. S. Guimaraes, I. Roditi, and S. P. Sorella, Phys. Rev. D 109, 045020 (2024), arXiv:2312.06918 [hep-th]

  36. [44]

    Takesaki, Tomita’s Theory of Modular Hilbert Algebras and its Applications , Lecture Notes in Mathematics (Springer- Verlag, 1970)

    M. Takesaki, Tomita’s Theory of Modular Hilbert Algebras and its Applications , Lecture Notes in Mathematics (Springer- Verlag, 1970)

  37. [45]

    J. J. Bisognano and E. H. Wichmann, J. Math. Phys. 16, 985 (1975)

  38. [46]

    J. J. Bisognano and E. H. Wichmann, Journal of mathematical physics 17, 303 (1976). 13

  39. [47]

    Katsinis, G

    D. Katsinis, G. Pastras, and N. Tetradis, JHEP 10, 173, arXiv:2403.03136 [hep-th]

  40. [48]

    Ciolli, R

    F. Ciolli, R. Longo, and G. Ruzzi, Commun. Math. Phys. 379, 979 (2019), arXiv:1906.01707 [math-ph]

  41. [49]

    Casini, S

    H. Casini, S. Grillo, and D. Pontello, Phys. Rev. D 99, 125020 (2019), arXiv:1903.00109 [hep-th]

  42. [50]

    M. B. Fr¨ ob and L. Sangaletti, (2024), arXiv:2411.09696 [math-ph]

  43. [51]

    M. S. Guimaraes, I. Roditi, S. P. Sorella, and A. F. Vieira, (2025), arXiv:2502.09796 [hep-th]

  44. [52]

    De Fabritiis, F

    P. De Fabritiis, F. M. Guedes, M. S. Guimaraes, G. Peruzzo, I. Roditi, and S. P. Sorella, Phys. Rev. D 108, 085026 (2023), arXiv:2309.02941 [hep-th]

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.