REVIEW 2 major objections 4 minor 19 references
This paper claims that informational completeness of a continuous-variable measurement is necessary but not sufficient for stable estimation: stability is governed by the lower frame bound in a σ-regularized geometry, and quasiprobability s
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 12:52 UTC pith:AAL7SNVR
load-bearing objection A genuine and mostly solid framework for CV estimation—the headline necessity claim is only true relative to the chosen σ-regularized geometry, which needs clarifying. the 2 major comments →
A general estimation framework for continuous-variable systems
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper's central discovery is the trichotomy governed by the synthesis operator T*_σ: observables in its range admit exact square-integrable coefficients and hence finite-second-moment unbiased estimators; observables in the closure of the range but not in it can be approximated arbitrarily well in the σ-norm, but every approximating sequence has divergent L² norm, meaning estimators with vanishing bias must have diverging variance; observables outside the closure cannot be estimated even weakly. A direct corollary is that informational completeness—injectivity of the analysis map—is necessary but not sufficient for stable reconstruction; the sufficient condition is a strictly positive lo
What carries the argument
The central tool is the measurement-frame construction in a σ-regularized Hilbert space L²_h(σ), whose inner product is ⟨X,Y⟩_σ = Re tr[σXY]. For any POVM with density µ(α), the rescaled effects g_σ(α)=µ(α)/√p_σ(α) define an analysis operator T_σ and a synthesis operator T*_σ; the range of T*_σ is the set of σ-reconstructible observables, and the lower frame bound A_σ controls whether reconstruction is stable. The framework automatically yields a unit upper frame bound, so the only obstruction to stability is a vanishing lower frame bound. The named identity carrying the argument is the heterodyne estimator formula ˆo_O(α) = π P_O(α), which identifies the canonical reconstruction coefficient
Load-bearing premise
The classification that informational completeness is not sufficient is defined relative to a chosen reference state σ and to square-integrability under the reference distribution; if that admissibility criterion is not the right one—or, for the heterodyne and homodyne applications, if the prior is not Gaussian—the regimes and the diverging-variance conclusion can change.
What would settle it
For the diagonal POVM of the paper with geometric prior σ_9, take the normalized alternating vectors x_n^(M)=M^(-1/2)(-1)^n for 1≤n≤M and compute the frame quadratic form ||U_9 x^(M)||². The paper predicts this tends to 0 as M→∞, giving a vanishing lower frame bound at b=9; if it does not, the complete-but-unstable regime is wrong. Similarly, for heterodyne detection with a faithful thermal prior, the paper predicts the second moment of the P-function estimator for a Fock projector diverges; finding a faithful Gaussian σ for which that second moment is finite would disprove the weak-reconstruc
If this is right
- For any fixed measurement and reference state σ, observables are partitioned into three regimes, so one can decide in advance whether a given target admits a finite-variance estimator.
- Heterodyne estimation of an observable is equivalent to sampling its P function; a singular P function means the observable is only weakly reconstructible, not that the state is nonclassical.
- Homodyne detection is not only unstable but non-unique: null estimators exist, so the same expectation value admits many estimators and the minimum-variance one depends on the prior.
- Fock truncation, thermal smoothing, and prior rescaling are all instances of replacing a weakly reconstructible observable by a nearby admissible one, trading bias for variance with a tunable regularization scale.
- In finite dimensions the trichotomy collapses because informational completeness, frame bounds, and finite-variance estimators coincide, which explains why this distinction has been invisible in standard tomography.
Where Pith is reading between the lines
- Beyond the paper: the same range-of-synthesis-operator test should apply to other quasiprobability representations; any POVM-linked distribution that is not square-integrable with respect to the reference outcome law is a candidate weak-reconstructibility witness.
- Beyond the paper: the vanishing-lower-frame-bound results for heterodyne and homodyne are proven under Gaussian assumptions; a natural test is whether energy-constrained or compactly supported priors admit a positive lower frame bound, which would restore finite-variance guarantees for those state classes.
- Beyond the paper: the paper's threshold examples hint at critical exponents for how fast the lower frame bound vanishes; deriving those rates would quantify how many samples are needed as the regularization scale shrinks.
- Beyond the paper: since the paper explicitly defers sample-complexity bounds, connecting the lower frame bound to finite-sample concentration inequalities is the missing step that would turn this structural classification into practical protocol design.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops an estimation framework for continuous-variable systems based on measurement frames in a σ-regularized Hilbert space L²_h(σ). For a POVM μ, a faithful reference state σ, and rescaled effects g_σ(α)=μ(α)/√p_σ(α), it defines analysis and synthesis operators and proves a trichotomy: observables can be inaccessible, weakly reconstructible (approximable only with diverging coefficient norm), or stably reconstructible. The central Theorem 1 identifies these regimes with the range of the synthesis operator and the lower frame bound. Applications include diagonal photodetection models (explicit σ-dependent sharp bounds), covariant Gaussian POVMs, heterodyne detection (whose formal canonical estimator is the Glauber–Sudarshan P function), and homodyne detection (pattern functions and null estimators). The authors interpret singular quasiprobabilities as signatures of a vanishing lower frame bound and discuss regularization by truncation and thermal smoothing.
Significance. The mathematical core is largely sound. I independently checked Proposition C.1's automatic upper frame bound, the sharp D.3 bounds A_σ_b=(√b−3)²/[4(b+3)] and B=1, and the F.3.1 moment integral; all are correct. If the σ-regularized qualifier is made explicit throughout, the paper is a valuable unified view of CV tomography, quasiprobability representations, and shadow estimation, and gives a clear operational meaning to divergences in formal reconstruction formulas. The explicit dependence of the trichotomy on the prior σ (Table 2) is an honest and useful feature. No code is provided, but the closed-form derivations are reproducible and several load-bearing computations were verified.
major comments (2)
- [Abstract / §2.2 / Theorem 1 (C.3)] The abstract's necessity claim conflates two distinct notions of completeness. Theorem 1's 'complete but unstable' regime is defined by R̄σ = L²_h(σ), i.e. σ-regularized completeness, whereas §2.2 defines informational completeness as injectivity of ρ ↦ (tr μ_b ρ). A positive lower frame bound implies Rσ = L²_h(σ) and unbiasedness only on states in S_σ = {ρ : ρ ≤ cσ}; it does not imply that two states outside S_σ with identical outcome probabilities coincide, because the relevant analysis operator involves tr(σDμ), not tr(Dμ), and the trace-pairing with D may not be continuous on L²_h(σ). The necessity half 'informational completeness is necessary for stable reconstruction' is therefore unproven and, as stated, not a theorem of this paper. It should be replaced by 'σ-regularized completeness is necessary'. This is not purely verbal: the operational reading of singularities as ill-defined
- [Prop. E.10, Prop. G.1, §2.6, §4] The headline applications—vanishing lower frame bound for heterodyne and homodyne detection—are proved only for faithful Gaussian priors σ and Gaussian seeds ν. Since the paper itself demonstrates that regime membership can change with σ (Table 2, §D.3), statements such as 'the absence of a lower frame bound is precisely the mechanism' (§4) should carry the qualifier 'for the Gaussian-prior analysis performed here'. Non-Gaussian priors are not analyzed, and without that analysis the general claim that singular P functions reflect a lack of lower frame bound rather than nonclassicality is only established in a restricted, albeit natural, prior family. This limitation should appear in the main text and abstract, not only in the technical assumptions of the propositions.
minor comments (4)
- [Abstract] Typo: 'loewr frame bound' should be 'lower frame bound'.
- [§2.2] Typo: 'this does not guaranty' should be 'this does not guarantee'. Also, the phrase 'informational completeness' is used both for injectivity of ρ↦p_ρ and for injectivity/dense range of T_σ; the two should be terminologically distinguished throughout the main text.
- [§2.3] The notation in equation (12) writes 'O ∈ Rσ \ Rσ, Rσ ≡ Ran(T*_σ)', which is confusing because the closure bar is not defined until Section C.3.1. A sentence defining Rσ and Rσ before equation (12) would help the reader.
- [§4 / §2.3] The phrase 'stable reconstruction from finite measurement data' in the abstract overstates what is proven: the paper gives finite-variance guarantees for single-shot estimators under the reference distribution, but explicitly defers concentration bounds, confidence regions, and sample-complexity estimates to future work. Recommending wording such as 'finite-variance unbiased estimation' in the abstract would make the scope precise.
Circularity Check
No significant circularity: the trichotomy, frame-bound computations, and heterodyne/homodyne instability results are proven in-paper from stated assumptions; only minor, non-load-bearing self-citations.
full rationale
The central claims are derived, not fitted or re-imported. Theorem 1 (Sec. C.3) establishes the trichotomy from the closed-range/weak-compactness structure of T*σ — e.g., 'If this were not the case, a bounded subsequence {h_mk}... would converge weakly in L²(X,ν) to some h, and continuity of T*σ would yield T*σh = O, contradicting O ∉ Rσ' — a standard functional-analytic argument, not a fit of any parameter. The vanishing lower frame bounds for heterodyne/homodyne are proven in-paper with explicit integral estimates (Lemma E.5: ⟨Xn,Fσ,ν(Xn)⟩σ ≤ (1/(1+s))(4s/(1+s)²)ⁿ → 0; Prop. G.1 gives the analogous bound for homodyne), under stated faithful-Gaussian-σ/Gaussian-ν assumptions — parameter-free theorems, not imported uniqueness claims. The D.3 diagonal POVM supplies closed-form bounds Aσb = (√b−3)²/[4(b+3)], Bσb = 1, and Table 2 openly shows the regime changes with b; the prior-relativity of the framework is thus an acknowledged modeling choice ('the reference state σ encodes prior information about relevant features of the measured states'), not a hidden assumption. The estimator–P-function identity (eq. 33, o_O(α) = πP_O(α)) is definitional in the sense that both sides are the coherent-state expansion coefficient of O, but the paper explicitly credits the underlying formulas to DPS03/DPS04b/Bec+24 and claims only a new interpretation; the arrow from singularity to instability has independent support because Aσ = 0 is proven separately, not inferred from the P-function's singularity. Self-citations to [Inn+23] concern finite-dimensional canonical-dual constructions that are also standard frame theory (Sco06; DP07), and the infinite-dimensional extension, C.1, E.11, and G.1 are proven in the paper. Acknowledged limitations — unbiasedness guaranteed only for ρ ≤ cσ ('This condition is only sufficient'), completeness/stability proven only for faithful Gaussian priors and Gaussian seeds, and finite-sample guarantees explicitly deferred ('will be addressed in detail in future work') — restrict scope but are not circular. The abstract's compressed claim that informational completeness is 'necessary, but not sufficient' matches Theorem 1, where 'complete' means R̄σ = L²h(σ); physical informational completeness is logically independent of frame bounds, so the headline is a scope statement, not a reduction of the conclusion into the premise. No step exhibits a fitted input renamed as a prediction, no uniqueness theorem is imported from the authors' prior work, and n
Axiom & Free-Parameter Ledger
free parameters (2)
- reference state σ (including geometric family σ_b ∝ Σ b^{-n} P_n)
- example parameters: geometric prior b, thermal prior n̄, detector efficiency η, thermal-smoothing n̄, Gaussian seed ν, r
axioms (7)
- standard math Standard Hilbert-space frame theory: frame bounds, analysis/synthesis operators, dual frames, continuous frames (Sec. A)
- standard math Radon–Nikodym theorem and measure-theoretic POVM formulation with absolute continuity µ ≪ ν and p_σ(E)=0 ⇒ µ(E)=0 (Sec. C.2.4)
- standard math Weyl transform, Plancherel theorem, and Fourier conventions for the Weyl transform (Secs. H, E)
- domain assumption The σ-regularized inner product ⟨X,Y⟩_σ = Re tr[σXY] defines the physically relevant observable-space topology, hence the notion of 'stable' estimation (Sec. C.2)
- domain assumption Estimator admissibility ⇔ finite second moment under the reference distribution p_σ, i.e. coefficient h ∈ L²(X,ν) (Sec. C.3, Eq. 8)
- domain assumption Input-state compatibility: unbiasedness and finite variance are guaranteed (sufficiently) on the state class S_σ = {ρ : ρ ≤ cσ} (Sec. C.3.2)
- domain assumption Gaussian restriction: vanishing lower frame bound and injectivity for covariant measurements are proven for faithful Gaussian σ and Gaussian seed ν (Props. E.10, E.11); randomized case requires compactly supported λ (Prop. E.13); homodyne case Prop. G.1
read the original abstract
We show that informational completeness, while sufficient to have a bijection between ideal measurement probabilities and quantum states, does not guarantee statistically stable reconstruction from finite measurement data. To address this problem, we develop a general estimation theory for continuous-variable systems in which stable reconstructibility is characterized by the POVM effects forming a measurement frame. Informational completeness is therefore necessary, but not sufficient, for stable reconstruction. Our framework is based on measurement frames in a $\sigma$-regularized operator geometry, where the reference state $\sigma$ encodes prior information about relevant features of the measured states. For any fixed measurement scheme, observables may be inaccessible, weakly reconstructible only through estimators with divergent variance, or stably reconstructible by finite-variance unbiased estimators. The relevant regime is determined by the range of the POVM synthesis operator. Our framework provides practical methods for constructing estimators and gives an operational interpretation of singular quasiprobability distributions, including the Glauber-Sudarshan $P$ representation: quasiprobabilities act as unbiased estimators for associated observables, and their singularities reflect a pathological feature of the corresponding measurement: its lack of loewr frame bound. We furthermore show how this formalism naturally provides operational regularization procedures tied to prior information. Overall, our framework provides a unified view of continuous-variable tomography, quasiprobability representations, and classical-shadow estimation.
Figures
Reference graph
Works this paper leans on
-
[1]
Shadow Tomography of Quantum States
[Aar18] Scott Aaronson. “Shadow Tomography of Quantum States”. In:Proceedings of the 50th An- nual ACM SIGACT Symposium on Theory of Com- puting. Los Angeles CA USA: ACM, June 2018, pp. 325–338.DOI: 10.1145/3188745.3188802 . arXiv:1711.01053 [quant-ph]. [ASS21] Atithi Acharya, Siddhartha Saha, and Anirvan M. Sengupta. “Shadow Tomography Based on Informati...
arXiv 2018
-
[2]
New Class of Quan- tum Error-Correcting Codes for a Bosonic Mode
arXiv: 2405.01431 [quant-ph]. [Mic+16] Marios H. Michael et al. “New Class of Quan- tum Error-Correcting Codes for a Bosonic Mode”. In:Physical Review X6.3 (July 2016), p. 031006.DOI: 10.1103/PhysRevX.6.031006 . arXiv:1602.00008 [quant-ph]. [Mor+22] Joshua Morris et al. “Quantum Verification and Estimation with Few Copies”. In:Ad- vanced Quantum Technolog...
arXiv 2016
-
[3]
[Ama16] Shun-ichi Amari.Information Geometry and Its Applications
Springer, 2000.DOI: 10.1007/978-1-4612-1258-4. [Ama16] Shun-ichi Amari.Information Geometry and Its Applications. Vol
-
[5]
Trace forms for the generalized Wigner functions
[DS97] Giacomo Mauro D’Ariano and M. F. Sac- chi. “Trace forms for the generalized Wigner functions”. In:Nuovo Cim. B112 (1997) 881- 888(1997).DOI: 10 . 48550 / arXiv . quant - ph / 9705020 . arXiv: quant - ph / 9705020 [quant-ph]. [DS10] Giacomo Muaro D’Ariano and Massimilano Federico Sacchi. “Renormalized quantum to- mography”. In:Physics Letters A374.5...
Pith/arXiv arXiv 1997
-
[6]
A Survey on the Complexity of Learning Quan- tum States
1007/978-4-431-55978-8. [AA23] Anurag Anshu and Srinivasan Arunachalam. “A Survey on the Complexity of Learning Quan- tum States”. In:Nature Reviews Physics6.1 (Dec. 2023), pp. 59–69.DOI: 10.1038/s42254- 023- 00662-4. arXiv:2305.20069 [quant-ph]. [BAG10] Peter Balazs, Jean-Pierre Antoine, and Anna Grybos. “Weighted and Controlled Frames”. In:International...
Pith/arXiv arXiv 2023
-
[7]
Coherent-State Representa- tions for the Photon Density Operator
[Cah65] Kevin E. Cahill. “Coherent-State Representa- tions for the Photon Density Operator”. In: Physical Review138.6B (June 1965), B1566– B1576.DOI:10.1103/PhysRev.138.B1566. [CG69a] Kevin E. Cahill and Roy J Glauber. “Density Operators and Quasiprobability Distributions”. In:Phys. Rev.177 (5 Jan. 1969), pp. 1882–1902. DOI:10.1103/PhysRev.177.1882. [CG69...
-
[8]
Introduction to finite frame theory
1103/PhysRev.177.1857. 56 [CKP13] Peter G Casazza, Gitta Kutyniok, and Friedrich Philipp. “Introduction to finite frame theory”. In:Finite frames: theory and applications(2013), pp. 1–53.DOI: 10 . 1007 / 978 - 0 - 8176 - 8373 - 3_1. [CL16] Peter G. Casazza and Richard G. Lynch. “A Brief Introduction to Hilbert Space Frame The- ory and Its Applications”. I...
Pith/arXiv arXiv 2013
-
[10]
1006/aphy.1993.1016. [AAG+00] Syed Twareque Ali, Jean-Pierre Antoine, Jean- Pierre Gazeau, et al.Coherent states, wavelets and their generalizations. Vol
arXiv 1993
-
[12]
Classical pure states are coher- ent states
1109/TIT.2017.2719044. arXiv:1508.01797. [Hay17] Masahito Hayashi.Quantum Information The- ory: Mathematical Foundation. Graduate Texts in Physics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017.DOI: 10.1007/978- 3- 662- 49725-8. [Hil85] Mark Hillery. “Classical pure states are coher- ent states”. In:Physics Letters A111.8-9 (1985), pp. 409–411.DOI:...
arXiv 2017
-
[15]
Quantum State Measure- ment by Realistic Heterodyne Detection
Springer Science & Business Media, 2004.DOI:10.1007/b98673. [Par96] Matteo G. A. Paris. “Quantum State Measure- ment by Realistic Heterodyne Detection”. In: Physical Review A53.4 (Apr. 1996), pp. 2658– 2663.DOI:10.1103/PhysRevA.53.2658. [Ren04] Joseph M Renes. “Frames, Designs, and Spheri- cal Codes in Quantum Information Theory”. PhD thesis. The Universi...
-
[17]
Non- classical Light and Metrological Power: An In- troductory Review
1103/PhysRevLett.10.277. [TJ19] Kok Chuan Tan and Hyunseok Jeong. “Non- classical Light and Metrological Power: An In- troductory Review”. In:AVS Quantum Science 1.1 (Nov. 2019), p. 014701.DOI: 10 . 1116 / 1 . 5126696. arXiv:1909.00942 [quant-ph]. [Teo15] Yong Siah Teo.Introduction to Quantum-State Es- timation. WORLD SCIENTIFIC, Oct. 2015.DOI: 10.1142/96...
Pith/arXiv arXiv 2019
-
[96]
Nonclassical States of Light with a Smooth P Function
Springer, 2019.DOI: 10.1007/978- 1- 4757-4383-8. [Dam+18] François Damanet et al. “Nonclassical States of Light with a Smooth P Function”. In:Phys- ical Review A97.2 (Feb. 2018), p. 023832.DOI: 10 . 1103 / PhysRevA . 97 . 023832. arXiv: 1712 . 01003 [quant-ph]. [DLP95] G. M. D’Ariano, U. Leonhardt, and H. Paul. “Homodyne Detection of the Density Matrix of...
arXiv 2019
-
[194]
Tokyo: Springer Japan, 2016.DOI:
Applied Mathematical Sciences. Tokyo: Springer Japan, 2016.DOI:
2016
-
[299]
Learning Quantum States of Continuous-Variable Systems
arXiv:quant-ph/0511044. 58 [Mel+25] Francesco A. Mele et al. “Learning Quantum States of Continuous-Variable Systems”. In:Na- ture Physics21.12 (Dec. 2025), pp. 2002–2008. DOI: 10 . 1038 / s41567 - 025 - 03086 -
Pith/arXiv arXiv 2025
-
[485]
Quantum Homodyne Tomography as an Informationally Complete Positive Operator Valued Measure
[AVT09] P . Albini, E. De Vito, and A. Toigo. “Quantum Homodyne Tomography as an Informationally Complete Positive Operator Valued Measure”. In:Journal of Physics A: Mathematical and Theoret- ical42.29 (July 2009), p. 295302.DOI: 10.1088/ 1751- 8113/42/29/295302 . arXiv: 0807.3437 [math-ph]. [AAG93] S. T. Ali, J. P . Antoine, and J. P . Gazeau. “Con- tinu...
Pith/arXiv arXiv 2009
-
[649]
Optimal Data Processing for Quantum Mea- surements
Berlin, Heidelberg: Springer Berlin Heidelberg, Aug. 2004, pp. 7–58.DOI: 10.1007/978-3-540-44481-7_2. [DP07] Giacomo Mauro D’Ariano and P . Perinotti. “Optimal Data Processing for Quantum Mea- surements”. In:Physical Review Letters98.2 (Jan. 2007), p. 020403.DOI: 10.1103/PhysRevLett. 98.020403. arXiv:quant-ph/0610058. [DPS04b] Giacomo Mauro D’Ariano, Paol...
Pith/arXiv arXiv 2004
-
[2004]
Symmetric Information- ally Complete Quantum Measurements
[Ren+04] Joseph M. Renes et al. “Symmetric Information- ally Complete Quantum Measurements”. In: Journal of Mathematical Physics45.6 (June 2004), pp. 2171–2180.DOI: 10.1063/1.1737053. arXiv: quant-ph/0310075. [Sai+25] Rakesh Saini et al.Characterizing Fisher Informa- tion of Quantum Measurement. Dec. 2025.DOI: 10 . 48550 / arXiv . 2512 . 15428. arXiv: 251...
Pith/arXiv arXiv 2004
-
[2025]
Quantum State Estimation with Informationally Overcomplete Measure- ments
DOI: 10 . 48550 / arXiv . 2512 . 13146. arXiv: 2512.13146 [quant-ph]. [Zhu14] Huangjun Zhu. “Quantum State Estimation with Informationally Overcomplete Measure- ments”. In:Physical Review A90.1 (July 2014), p. 012115.DOI: 10.1103/PhysRevA.90.012115. arXiv:1404.3453 [quant-ph]. [Zhu16] Huangjun Zhu. “Quasiprobability Repre- sentations of Quantum Mechanics ...
-
[2932]
Homodyne Detection and Quantum State Reconstruction
59 [Wee+12] Christian Weedbrook et al. “Gaussian Quan- tum Information”. In:Reviews of Modern Physics 84.2 (May 2012), pp. 621–669.DOI: 10.1103/ RevModPhys.84.621. [WVO09] Dirk-Gunnar Welsch, Werner Vogel, and Tomas Opatrny.Homodyne Detection and Quantum State Reconstruction. July 2009.DOI: 10.48550/arXiv. 0907.1353. arXiv:0907.1353 [quant-ph]. [Wil14] Wi...
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.0907.1353 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.