Pith. sign in

REVIEW 3 major objections 5 minor 25 references

On the analytical approach to infinite-mode Boson-Gaussian states

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

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper claims every infinite-mode boson Gaussian state has a real, bounded, invertible covariance operator, proved through a new calculus for unbounded observables.

desk verdict The Yosida integrability framework in Section 3 is a solid, genuinely new contribution, but the headline claim S − iJ ≥ 0 in Corollary 4.6 is false as stated and needs correction. read the letter →

arxiv 2506.04537 v1 pith:HFD4NS5P submitted 2025-06-05 math-ph math.MPquant-ph

Jorge R. Bolaños-Servín , Roberto Quezada , Josué I. Rios-Cangas This is my paper
classification math-phmath.MPquant-ph MSC 81S0578M0560B15
keywords analyticquantumGaussianstatenon-commutativeFouriertransformWeylmomentsYosidaapproximationsinfinite-modeCCRcovarianceoperatornormalintegrability
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

This paper builds an analytical, characteristic-function theory of quantum Gaussian states with infinitely many bosonic modes, extending the one-mode framework in [2]. It defines integrability of possibly unbounded observables through Yosida approximations and shows that the commutative $*$-algebra generated by a $\rho$-integrable normal operator is again $\rho$-integrable, with $\|A\|_\rho = \mathrm{tr}(\rho |A|)$ a genuine norm. From this it derives rigorous formulae for the mean value vector and the covariance operator of an amenable Gaussian state, and it claims that every such covariance operator $S$ is real, bounded, positive, and invertible, with $S-iJ \ge 0$ where $J$ is multiplication by $-i$. The effort matters because these moment and covariance formulae are used routinely in quantum optics and quantum information, usually without an infinite-dimensional proof.

What carries the argument

The central machine is the Yosida approximation of an unbounded observable $A$, which defines $\rho$-moments as $\langle A^n\rangle_\rho = (-i)^n \lim_{\epsilon\to 0} \mathrm{tr}(\rho ((iA)_\epsilon)^n)$, equivalently as derivatives at $t=0$ of $t\mapsto \mathrm{tr}(\rho e^{itA})$; this makes unbounded field operators into tractable trace functionals. The commutative $*$-algebra $\langle A\rangle$ generated by a normal operator, normed by $\|A\|_\rho = \mathrm{tr}(\rho |A|)$, supplies the linear calculus used in the covariance formulae. The derivation then runs through a polarization identity for $\langle (p(z)+p(u))^2\rangle_\rho$ together with the Schwarz inequality, producing the quadratic-form uncertainty inequality (4.10) that supports the boundedness and invertibility conclusions.

What would settle it

Take the one-mode squeezed vacuum with covariance $S=\mathrm{diag}(e^{-2r},e^{2r})$ in the paper's real basis $\{\delta_1,e_1=-i\delta_1\}$ and evaluate the Corollary 4.6 form at $z=\delta_1$: since $iJ=I$, the claimed $(z,(S-iJ)z)\ge 0$ reads $e^{-2r}-1\ge 0$, which fails for every $r>0$ even though this $S$ is real, bounded, positive, and invertible as Definition 3.2 requires.

Watch

Extended reading notes

Core claim

The paper claims that an infinite-mode boson Gaussian state, defined by the non-commutative Fourier transform $F[\rho](z) = \pi^{-1/2} e^{-i(w,z) - \frac{1}{2}(z,Sz)}$, can be controlled with the same analytical tools as finite-mode states once integrability of unbounded observables is defined through Yosida approximations. For an amenable state, meaning $p(z)p(u)$ is $\rho$-integrable for all $z,u\in\ell_2(\mathbb{N})$, the mean value vector is recovered as $w=\sqrt{2}\sum_j (\langle p_j\rangle_\rho\,\delta_j + \langle q_j\rangle_\rho\,e_j)$ and the covariance satisfies $(z,Su)=\mathrm{Re}\,\mathrm{tr}(\rho p(z)p(u))-\langle p(z)\rangle_\rho\langle p(u)\rangle_\rho$. From these formulae the paper derives the uncertainty inequality (4.7) and concludes that $S$ is real, bounded, positive, and invertible, with $S^{-1}\in B_R(\ell_2(\mathbb{N}))$, $\|S^{-1}\|\le 1 \le \|S\|$, and $S-iJ\ge 0$.

Load-bearing premise

The proof needs $S(iz)=iSz$ for every $z$ (complex-linearity of the covariance operator), but Definition 3.2 only assumes $S$ is real selfadjoint, and squeezed Gaussian states do not satisfy that extra commutation condition.

Editorial extensions

If this is right

  • The trace formula $(z,Su)=\mathrm{Re}\,\mathrm{tr}(\rho p(z)p(u))-\langle p(z)\rangle_\rho\langle p(u)\rangle_\rho$ gives a rigorous infinite-dimensional version of a standard quantum-optics formula.
  • The inequality $V_\rho(p(z))^2 V_\rho(p(u))^2 \ge (z,Su)^2 + |\mathrm{Im}\langle z,u\rangle|^2$ packages Heisenberg's uncertainty relation into a single quadratic-form inequality for field operators.
  • The mean value vector is read off from first moments as $w=\sqrt{2}\sum_j(\langle p_j\rangle_\rho\,\delta_j + \langle q_j\rangle_\rho\,e_j)$, so displacement parameters become directly measurable.
  • If Corollary 4.6 holds as stated, every covariance operator satisfies $\|S^{-1}\|\le 1\le\|S\|$ and $(z,Sz)\ge\|z\|^2$ for all $z$, placing all quadrature variances at or above the vacuum floor.
  • The analytical route bypasses symplectic-diagonalization machinery previously used for infinite-mode Gaussian states, keeping the characteristic-function method uniform across finite and infinite modes.

Reading between the lines

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

  • The proof of Corollary 4.6 uses the identity $(iz,Siz)=(z,Sz)$, which holds only when $S$ commutes with multiplication by $i$; Definition 3.2 assumes only real selfadjointness, and standard squeezed states such as $S=\mathrm{diag}(e^{-2r},e^{2r})$ violate that identity, so the claimed $S-iJ\ge 0$ is not established for all states admitted by the definition.
  • A natural testable extension is to classify amenable Gaussian states by whether $S$ is complex-linear; one can check directly whether $p(z)p(u)$ is $\rho$-integrable for squeezed vacua, isolating the subclass on which the theorem's conclusion is genuinely valid.
  • The $\|\cdot\|_\rho$-normed $*$-algebra result is likely transferable to other unbounded normal observables and to fermionic Gaussian states, where the same integrability questions arise through Yosida approximations.
Share X Bluesky LinkedIn Reddit HN

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 paper develops a rigorous analytical framework for infinite-mode bosonic Gaussian states. It defines Gaussian states through the characteristic function (Definition 3.2), introduces integrability of unbounded observables via Yosida approximations (Definition 3.4), and proves moment recurrence formulas (Corollary 3.6), a reconstruction theorem (Theorem 3.9), and general integrability results for normal operators (Theorem 3.13, Corollary 3.14). For amenable Gaussian states, Proposition 4.3 derives formulas for the mean vector and covariance operator, and Theorem 4.5 establishes the Robertson-Schrödinger uncertainty inequality (4.10). The paper's headline additional result, Corollary 4.6 and the abstract, asserts that the covariance operator S satisfies S−iJ≥0, where J is multiplication by −i, along with the bound ∥S−1∥≤1.

Significance. The analytical machinery based on Yosida approximations is a valuable contribution: it provides a clean way to define moments of unbounded observables with respect to states, and the proof of Theorem 3.13 that the generated *-algebra is integrable and normalized is complete and convincing. The moment formulae (3.6), the covariance formula (4.3), and the uncertainty inequality (4.10) are derived correctly and are useful for infinite-mode continuous-variable quantum information. However, the advertised operator inequality S−iJ≥0 in Corollary 4.6 is false as stated; since J is multiplication by −i, iJ is the identity, so the claim is S≥I. This is contradicted by single-mode squeezed vacuum states, which satisfy the paper's hypotheses but have (δ,Sδ)=e^{−2r}<1. The error is localized to the proof of Corollary 4.6 and the subsequent Remark 4.7, and the correct uncertainty content (4.10) remains valid. The paper's core framework is sound, but the false central claim must be corrected before publication.

major comments (3)
  1. [Corollary 4.6, Eq. (4.11)] The claimed inequality S−iJ≥0 is false as written. Since J is multiplication by −i on ℓ2(N), iJ is the identity operator, so the inequality literally reads S≥I. The proof passes through the identity (iz,Siz)=(z,Sz), which is valid only if S commutes with multiplication by i (i.e., S is complex-linear). Definition 3.2 does not impose this condition. A concrete counterexample is the single-mode squeezed vacuum state with covariance S=diag(e^{−2r}, e^{2r}) in the real basis {δ, e=−iδ}; this state is Gaussian per Definition 3.2 and amenable per Definition 4.1, and it saturates the correct inequality (4.10) for z=δ, u=iδ, yet (δ,Sδ)=e^{−2r}<1 for r>0, violating S≥I. Thus Corollary 4.6's operator inequality, Remark 4.7, and the abstract's final sentence are false and must be corrected.
  2. [Remark 4.7] The bound 0<∥S−1∥≤1 is false. It derives from the same invalid identity (iz,Siz)=(z,Sz). For the squeezed vacuum example above, ∥S−1∥=e^{2r}>1. The correct statement that follows from (4.10) alone is the coercivity bound ∥z∥≤∥S∥∥Sz∥, hence ∥S−1∥≤∥S∥. The paper should replace Remark 4.7's bound with this correct estimate, or omit the quantitative bound entirely.
  3. [Proof of Corollary 4.6] The argument for invertibility is salvageable but incomplete as written. Injectivity of S gives only dense range; the additional coercivity bound ∥z∥≤∥S∥∥Sz∥, obtained from (4.10) with u=iz, is needed to show that the range is closed. However, the proof incorrectly derives ∥z∥^2≤(z,Sz) from the false identity; the weaker bound (z,Sz)≥∥z∥^2/∥S∥ is all that (4.10) supplies. The authors should rewrite the proof to separate the valid coercivity argument from the invalid S≥I step.
minor comments (5)
  1. [Remark 3.5] The phrase 'The above quality suggests' should be 'The above equality suggests'.
  2. [Title page] The MSC classification is dated 2010; the current classification is MSC 2020.
  3. [References] Reference [18] contains a typo ('143?160' instead of '143–160'), and reference [21] lacks volume and page identifiers.
  4. [Proposition 4.3] In the proof, 'one computes (3.18) and (3.6)' should read 'one computes from (3.18) and (3.6)' for clarity.
  5. [Corollary 4.6] The assertion 'ran S = ℓ2(N)' after ker S={0} is not automatic; it requires the closed-range argument mentioned in the major comment.

Circularity Check

1 steps flagged · score 2.0 of 10

No significant circularity; the S−iJ≥0 failure is a missing-commutativity error, not a reduction of the claimed result to the input.

  1. self definitional [Definition 3.2 and Abstract (pp. 1–2)]
    "We call a state ρ∈L1(h) analytic boson Gaussian (or Gaussian for short), if there exist w∈ℓ2(N) and a selfadjoint real operator S∈B_R(ℓ2(N)), for which F[ρ](z)=1/√π e^{−i(w,z)−1/2(z,Sz)}. ... We additionally show that the covariance operator S of any Gaussian state is real, bounded, positive, and invertible, with the property that S−iJ≥0."

    The real, bounded, selfadjoint character of S is assumed verbatim in Definition 3.2 (S∈B_R(ℓ2(N)), selfadjoint) before any derivation has begun, and the Abstract presents these same attributes as proven theorems. Thus the 'real, bounded' part of the abstract is a restatement of the definition, not a derived output. This is a minor definitional overlap: positivity and invertibility are genuinely derived from amenability and (4.9)–(4.10), while the invalid S−iJ≥0 step is a separate mathematical error (it needs S(iz)=iSz, which Definition 3.2 does not supply), not a reduction of the conclusion to the input.

full rationale

The paper's central derivation is self-contained rather than circular. Gaussian states are defined through a characteristic functional with a covariance operator S, and the paper then derives moment recurrence relations, an integrability criterion, the covariance formula (4.3), and the uncertainty-type inequality (4.10). Theorem 3.9 reconstructs Gaussianity from moments, so it is a genuine moment-to-state reconstruction rather than a fitted input renamed as a prediction. There are no empirical fits, no benchmarks, and no prediction that reduces by construction to a parameter. The authors' self-citation [2] is used for technical Yosida-moment facts, but these are also proved or adapted inside the paper (Theorem 3.13, Theorem 3.15), and the central covariance derivation does not rest on an unverified self-citation. The serious problem with Corollary 4.6 is not circularity: the proof's identity (iz,Siz)=(z,Sz) implicitly assumes S commutes with multiplication by i, a property not present in Definition 3.2 and false for squeezed Gaussian states. Consequently the abstract's S−iJ≥0, Remark 4.7, and Corollary 4.6 are mathematically unsupported as stated, but this is an invalid inference from an extra hidden assumption, not the paper deriving its input from itself. The definition-driven overlap that 'real, bounded' are already in Definition 3.2 is a presentation-level tautology and is the only mild circular flavor, giving a low score.

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

Pure mathematics: no free parameters or fitted constants. The framework is definition-driven; the only genuinely hidden input is the assumption that S commutes with the complex structure, which the paper needs for Corollary 4.6 but never states. The amenability assumption is stated in the body but omitted in the abstract. The remaining axioms are standard mathematical infrastructure or the authors' published framework [2].

assumptions (6)
  • domain assumption Gaussian states are exactly those with characteristic function F[ρ](z) = (1/√π) e^{-i(w,z) - ½(z,Sz)} for some w ∈ ℓ2(N) and real selfadjoint bounded S (Definition 3.2).
    Definitional assumption inherited from Parthasarathy's approach; all covariance results are consequences of this form, so the paper's conclusions about S describe the class it defines.
  • domain assumption ρ-integrability of unbounded observables is defined via Yosida approximations, and the equality of Yosida moments with trace moments (Theorem 3.15, Remark 3.16) is imported from the authors' prior paper [2].
    Section 3 (Definition 3.4, Theorem 3.15) relies on [2] for the moment-trace identification; this is self-citation, but the prior paper is published and peer-reviewed.
  • domain assumption Amenability: p(z)p(u) is ρ-integrable for all z, u (Definition 4.1).
    All Section 4 theorems on S, including Corollary 4.6, assume it, but the abstract states the conclusions for 'any Gaussian state' without this qualifier.
  • ad hoc to paper S commutes with multiplication by i, i.e., S(iz) = iSz for all z (implicit in the proof of Corollary 4.6).
    Used in the step (iz,Siz) = (z,Sz); never stated, and false for squeezed Gaussian states, which is why the derived claim S ≥ I fails.
  • standard math Standard spectral calculus; every normal operator splits into four commuting positive parts, as in [13, Chap. 3].
    Used in Definition 3.10, Remark 3.12, and Theorem 3.13 for the integrability criterion in terms of tr(ρ|A|).
  • standard math The Fock-space realization of the stabilized infinite tensor product (Section 2, after Parthasarathy [17]).
    Provides the Hilbert space, Weyl operators W_z, and the field operators p(z) used throughout the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the analytical approach to infinite-mode Boson-Gaussian states." pith.science (2026). https://pith.science/paper/HFD4NS5P

@misc{pith2026250604537,
  author       = {Pith},
  title        = {Pith review of: On the analytical approach to infinite-mode Boson-Gaussian states},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HFD4NS5P}},
  note         = {Machine review of arXiv:2506.04537}
}
abstract

We develop an analytical approach to quantum Gaussian states in infinite-mode representation of the Canonical Commutation Relations (CCR's), using Yosida approximations to define integrability of possibly unbounded observables with respect to a state $\rho$ ($\rho$-integrability). It turns out that all elements of the commutative $*$-algebra generated by a possibly unbounded $\rho$-integrable observable $A$, denoted by $\langle A\rangle$, are normal and $\rho \, $-integrable. Besides, $\langle A\rangle$ can be endowed with the well-defined norm $\|\cdot\|_\rho:= {\rm tr}\,(\rho |\cdot| )$. Our approach allows us to rigorously establish fundamental properties and derive key formulae for the mean value vector and the covariance operator. We additionally show that the covariance operator $S$ of any Gaussian state is real, bounded, positive, and invertible, with the property that $S-iJ\geq 0$, being $J$ the multiplication operator by $-i$ on $\ell_2({\mathbb N})$.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

25 extracted references · 24 canonical work pages

  1. [1]

    Lee, Continuous variable quantum infor- mation: Gaussian states and beyond , Open Syst

    Gerardo Adesso, Sammy Ragy, and Antony R. Lee, Continuous variable quantum infor- mation: Gaussian states and beyond , Open Syst. Inf. Dyn. 21 (2014), no. 1-2, 1440001,

    work page 2014

  2. [2]

    Bola˜ nos Serv´ ın, Roberto Quezada, and Josu´ e I

    Jorge R. Bola˜ nos Serv´ ın, Roberto Quezada, and Josu´ e I. Rios-Cangas,Weyl moments and quantum Gaussian states , Rep. Math. Phys. 90 (2022), no. 3, 357–376. MR 4516426

    work page 2022

  3. [3]

    Caruso, J

    F. Caruso, J. Eisert, V. Giovannetti, and A. S. Holevo, Multi-mode bosonic gaussian channels, New Journal of Physics 10 (2008), no. 8, 083030

    work page 2008

  4. [4]

    Caruso, V

    F. Caruso, V. Giovannetti, and A. S. Holevo, One-mode bosonic gaussian channels: a full weak-degradability classification, New Journal of Physics 8 (2006), no. 12, 310

    work page 2006

  5. [5]

    Eisert and M

    J. Eisert and M. M. Wolf, Gaussian quantum channels , Quantum information with continuous variables of atoms and light, Imp. Coll. Press, London, 2007, pp. 23–42. MR 2513281

    work page 2007

  6. [6]

    Frank and Elliott H

    Rupert L. Frank and Elliott H. Lieb, Norms of quantum Gaussian multi-mode channels , J. Math. Phys. 58 (2017), no. 6, 062204, 7. MR 3666198

    work page 2017

  7. [7]

    Core 4 (2021), 025

    Lucas Hackl and Eugenio Bianchi, Bosonic and fermionic Gaussian states from K¨ ahler structures, SciPost Phys. Core 4 (2021), 025

    work page 2021

  8. [8]

    A. S. Holevo, The Choi-Jamiolkowski forms of quantum Gaussian channels , J. Math. Phys. 52 (2011), no. 4, 042202, 9. MR 2964163

    work page 2011

Show all 25 references
  1. [9]

    , Schatten class operators in a representation space of canonical commutation relations, Tr. Mat. Inst. Steklova 309 (2020), 165–173, English version published in Proc. Steklov Inst. Math. 309 (2020), no. 1, 150–158. MR 4133450

    2020

  2. [10]

    Holevo, Gaussian maximizers for quantum Gaussian observables and ensembles, IEEE Trans

    Alexander S. Holevo, Gaussian maximizers for quantum Gaussian observables and ensembles, IEEE Trans. Inform. Theory 66 (2020), no. 9, 5634–5641. MR 4158636 15

    2020

  3. [11]

    Holevo and Sergey N

    Alexander S. Holevo and Sergey N. Filippov, Quantum Gaussian maximizers and log- Sobolev inequalities, Lett. Math. Phys. 113 (2023), no. 1, Paper No. 10, 23. MR 4537381

    2023

  4. [12]

    Tiju Cherian John and K. R. Parthasarathy, A common parametrization for finite mode Gaussian states, their symmetries, and associated contractions with some applications , J. Math. Phys. 62 (2021), no. 2, Paper No. 022102, 39. MR 4218302

    2021

  5. [13]

    Palle E. T. Jorgensen, Operators and representation theory, North-Holland Mathematics Studies, vol. 147, North-Holland Publishing Co., Amsterdam, 1988, Canonical models for algebras of operators arising in quantum mechanics, Notas de Matem´ atica [Mathematical Notes], 120. MR 919948

    1988

  6. [14]

    A. S. Kholevo, Single-mode quantum Gaussian channels: structure and quantum capacity , Problemy Peredachi Informatsii 43 (2007), no. 1, 3–14. MR 2304059

    2007

  7. [15]

    Kraus and J

    K. Kraus and J. Schr¨ oter, Expectation values of unbounded observables , Internat. J. Theoret. Phys. 7 (1973), 431–442. MR 363279

    1973

  8. [16]

    Kruger, Quantum information theory with gaussian states , Ph.D

    O. Kruger, Quantum information theory with gaussian states , Ph.D. Dissertation, Tech- nical University Carolo-Wilhemina, Braunschweig, 2006

    2006

  9. [17]

    K. R. Parthasarathy, An introduction to quantum stochastic calculus , Modern Birkh¨ auser Classics, Birkh¨ auser/Springer Basel AG, Basel, 1992, [2012 reprint of the 1992 original] [MR1164866]. MR 3012668

    1992

  10. [18]

    , What is a gaussian state? , Commun. Stoch. Anal. 4, NO. 2 (2010), 143?160

    2010

  11. [19]

    , Computation of sandwiched relative α-entropy of two n-mode gaussian states , Infin. Dimens. Anal. Quantum Probab. Relat. Top. 25, no. 2 (2022), Paper No. 2250008, 10 pp

    2022

  12. [20]

    Pazy, Semigroups of linear operators and applications to partial differential equations , Applied Mathematical Sciences, vol

    A. Pazy, Semigroups of linear operators and applications to partial differential equations , Applied Mathematical Sciences, vol. 44, Springer-Verlag, New York, 1983. MR 710486

    1983

  13. [21]

    Rajarama Bhat, B

    Tiju Cherian; Srinivasan R. Rajarama Bhat, B. V.; John, Infinite mode quantum gaussian states, Rev. Math. Phys

  14. [22]

    MR 0385023 (52 #5893)

    Walter Rudin, Principles of mathematical analysis, third ed., McGraw-Hill Book Co., New York-Auckland-D¨ usseldorf, 1976, International Series in Pure and Applied Mathematics. MR 0385023 (52 #5893)

    1976

  15. [23]

    MR 1157815

    , Functional analysis, second ed., International Series in Pure and Applied Math- ematics, McGraw-Hill, Inc., New York, 1991. MR 1157815

    1991

  16. [24]

    Toscano, Fabricio; Nicacio, Thermal equilibrium in gaussian dynamical semigroups , Phys

    F. Toscano, Fabricio; Nicacio, Thermal equilibrium in gaussian dynamical semigroups , Phys. Rev. A 106, no. 6 (2022), Paper No. 062207, 16 pp

    2022

  17. [25]

    Zhang, Quantum measurement and preparation of gaussian states , Ph.D

    J. Zhang, Quantum measurement and preparation of gaussian states , Ph.D. Thesis, Aarhus University, 2018. 16

    2018

Pith tools

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