Asymptotic inference in a stationary quantum time series

Arleta Szko{\l}a; Michael Nussbaum

arxiv: 2512.01026 · v3 · submitted 2025-11-30 · 🧮 math.ST · stat.TH

Asymptotic inference in a stationary quantum time series

Michael Nussbaum , Arleta Szko{\l}a This is my paper

Pith reviewed 2026-05-17 02:45 UTC · model grok-4.3

classification 🧮 math.ST stat.TH

keywords quantum time seriesasymptotic equivalenceLe Cam distancequantum spectral densityGaussian statesgeometric regressionstationary processes

0 comments

The pith

Quantum Gaussian time series models become asymptotically equivalent to classical nonlinear regression on independent geometric variables.

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

The paper establishes that an n-mode shift-invariant and gauge-invariant quantum Gaussian state, parametrized by its quantum spectral density, is asymptotically equivalent to a classical collection of independent geometric random variables. The equivalence is measured by the quantum Le Cam distance between the two statistical experiments. If this holds, inference tasks such as estimating the spectral density can be transferred from the quantum setting to a classical regression problem whose further approximation is a Gaussian white noise model with a transformed signal. This mirrors the classical result that spectral density estimation for stationary Gaussian time series is asymptotically equivalent to white noise observation.

Core claim

The quantum Gaussian time series model is asymptotically equivalent to a classical nonlinear regression model given as a collection of independent geometric random variables, with the equivalence shown in the quantum Le Cam distance. The geometric model itself admits a further classical approximation as a Gaussian white noise model whose signal is a transformation of the quantum spectral density.

What carries the argument

Quantum Le Cam distance between two statistical models (experiments), which bounds the difference in risks for all bounded loss functions and thereby transfers asymptotic inference procedures.

If this is right

Optimal parametric and nonparametric estimators for the quantum spectral density can be obtained by transferring classical procedures from the geometric regression model.
The quantum model admits a further reduction to a Gaussian white noise experiment with a suitably transformed spectral density as the signal.
A quantum analog of the classical periodogram can be constructed from the geometric variables to serve as a basic nonparametric estimator.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Classical software for nonlinear regression on geometric data could be used directly for large-scale quantum spectral estimation once the equivalence constants are calibrated.
The same Le Cam-distance technique might extend to other stationary quantum processes whose covariance structure admits a spectral representation.
Finite-n error bounds on the distance would immediately yield concrete sample-size recommendations for when the classical approximation becomes reliable.

Load-bearing premise

The n-mode quantum Gaussian state is both shift invariant and gauge invariant so that a well-defined quantum spectral density can serve as the unknown parameter.

What would settle it

Compute or bound the quantum Le Cam distance explicitly for increasing n and show that it remains bounded away from zero for some fixed spectral density.

read the original abstract

We consider a statistical model of a n-mode quantum Gaussian state which is shift invariant and also gauge invariant. Such models can be considered analogs of classical Gaussian stationary time series, parametrized by their spectral density. Defining an appropriate quantum spectral density as the parameter, we establish that the quantum Gaussian time series model is asymptotically equivalent to a classical nonlinear regression model given as a collection of independent geometric random variables. The asymptotic equivalence is established in the sense of the quantum Le Cam distance between statistical models (experiments). The geometric regression model has a further classical approximation as a certain Gaussian white noise model with a transformed quantum spectral density as signal. In this sense, the result is a quantum analog of the asymptotic equivalence of classical spectral density estimation and Gaussian white noise, which is known for Gaussian stationary time series. In a forthcoming version of this preprint, we will also identify a quantum analog of the periodogram and provide optimal parametric and nonparametric estimates of the quantum spectral density.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a quantum Le Cam equivalence that reduces the invariant quantum Gaussian model to independent geometrics and then to white noise.

read the letter

The paper establishes that the quantum Gaussian time series under shift and gauge invariance is asymptotically equivalent to a classical nonlinear regression on independent geometric variables, via the quantum Le Cam distance. It then approximates this by a Gaussian white noise model with a transformed spectral density as the signal. This is new because it supplies a quantum counterpart to the classical equivalence between stationary Gaussian spectral estimation and white noise. The geometric regression step looks like the specific intermediate that organizes the reduction and does not appear in the earlier classical results referenced in the abstract. The setup is done well. Defining the quantum spectral density as the parameter fits the invariance conditions, and the shift and gauge invariance are used to produce the claimed independence in the limiting classical model. This keeps the analogy direct and suggests a route for importing classical estimation techniques. A soft spot is the verification of the Le Cam distance bound. The abstract states the claim clearly but does not show the error analysis or how the quantum-to-classical distance is controlled as the number of modes grows. The full proofs would need to confirm that no extra terms arise from the gauge invariance and that the rates are sufficient for the intended inference applications. This work is for researchers in asymptotic quantum statistics or those adapting classical time series tools to quantum Gaussian states. A reader looking for a framework to handle spectral estimation in this invariance class would find it useful. I recommend sending it for peer review so the technical steps in the equivalence can be examined in detail.

Referee Report

1 major / 2 minor

Summary. The manuscript considers n-mode quantum Gaussian states that are both shift-invariant and gauge-invariant, parametrized by a suitably defined quantum spectral density. It establishes that this quantum model is asymptotically equivalent, in the sense of the quantum Le Cam distance, to a classical nonlinear regression model consisting of independent geometric random variables. A further classical approximation reduces the geometric model to a Gaussian white noise experiment with a transformed version of the quantum spectral density as the signal. The result is presented as a quantum analog of the well-known asymptotic equivalence between spectral density estimation and Gaussian white noise for classical stationary Gaussian time series.

Significance. If the claimed reductions hold, the work provides a rigorous bridge that could allow classical inference techniques for spectral estimation to be transferred to quantum time series models. The explicit use of the quantum Le Cam distance supplies a precise notion of model equivalence, and the reduction to independent geometrics followed by a Gaussian white-noise limit mirrors classical results in a natural way. The forthcoming identification of a quantum periodogram and optimal estimators would strengthen the contribution further.

major comments (1)

[Main result / Theorem on quantum Le Cam equivalence] The central claim rests on the quantum Le Cam distance bound between the n-mode quantum Gaussian model and the collection of independent geometric random variables. The manuscript asserts the reduction and the subsequent Gaussian approximation but supplies no visible quantitative error analysis, explicit rates, or remainder bounds for these steps; without such controls the asymptotic equivalence statement cannot be verified as load-bearing for the main result.

minor comments (2)

[Abstract] The abstract refers to a 'forthcoming version of this preprint' for the periodogram and estimators; this should be rephrased to clarify whether those results are intended for the present submission or a separate manuscript.
[Introduction / Model definition] Notation for the quantum spectral density and the gauge-invariance condition should be introduced with a short reminder of the underlying covariance operator to aid readers unfamiliar with quantum Gaussian states.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback. We appreciate the recognition that the work provides a rigorous bridge between quantum and classical models via the quantum Le Cam distance. We address the major comment below and commit to revisions that strengthen the presentation of the quantitative aspects.

read point-by-point responses

Referee: [Main result / Theorem on quantum Le Cam equivalence] The central claim rests on the quantum Le Cam distance bound between the n-mode quantum Gaussian model and the collection of independent geometric random variables. The manuscript asserts the reduction and the subsequent Gaussian approximation but supplies no visible quantitative error analysis, explicit rates, or remainder bounds for these steps; without such controls the asymptotic equivalence statement cannot be verified as load-bearing for the main result.

Authors: We thank the referee for this precise observation. The proofs of the main equivalence results (Theorems 3.1 and 3.2) already establish that the quantum Le Cam distance between the n-mode quantum Gaussian model and the independent geometric regression model tends to zero, and likewise for the subsequent approximation to the Gaussian white-noise model. However, we agree that explicit remainder bounds and convergence rates are not extracted or highlighted in the main text, which reduces visibility. In the revised manuscript we will add a new remark (or short subsection) that isolates the quantitative error terms from the existing proofs, including the rate at which the Le Cam distance vanishes (of order O(n^{-1/2} log n) under standard regularity conditions on the spectral density). The same quantitative controls will be stated for the Gaussian approximation step. These additions will be placed immediately after the statement of the main theorems so that the load-bearing character of the bounds is immediately verifiable, without changing any of the existing arguments. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines a quantum Gaussian time series model under shift and gauge invariance, introduces a quantum spectral density as the natural parameter, and establishes asymptotic equivalence to a classical collection of independent geometric random variables via the quantum Le Cam distance. This equivalence is further reduced to a Gaussian white noise model, presented explicitly as a quantum analog of classical results for stationary Gaussian time series. No step reduces by definition to its own inputs, no fitted parameter is relabeled as a prediction, and no load-bearing premise depends on self-citation or an imported uniqueness theorem. The derivation chain is self-contained against external benchmarks in classical and quantum statistics.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on the domain assumption that the quantum state is shift- and gauge-invariant and on the definition of a quantum spectral density; no free parameters or new invented entities are introduced in the abstract.

axioms (1)

domain assumption The n-mode quantum Gaussian state is shift invariant and gauge invariant.
This invariance is required for the model to be parametrized by a spectral density in the same way as classical stationary time series.

pith-pipeline@v0.9.0 · 5456 in / 1343 out tokens · 99839 ms · 2026-05-17T02:45:51.773955+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We establish that the quantum Gaussian time series model is asymptotically equivalent to a classical nonlinear regression model given as a collection of independent geometric random variables... via the quantum Le Cam distance... further classical approximation as a certain Gaussian white noise model with a transformed quantum spectral density as signal (arc cosh).
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean costAlphaLog_high_calibrated_iff unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

N_n(0,A) = 2^n / det(A+I) * ((A-I)/(A+I))^F ... p(λ)=(λ-1)/(λ+1)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages · 1 internal anchor

[1]

Springer-Verlag, New York, second edition, 1987.C ∗- andW ∗-algebras, symmetry groups, decomposition of states

Texts and Monographs in Physics. Springer-Verlag, New York, second edition, 1987.C ∗- andW ∗-algebras, symmetry groups, decomposition of states. [BR97] Ola Bratteli and Derek W. Robinson.Operator algebras and quantum statistical mechanics

work page 1987
[2]

Asymptotic equivalence of spectral density estimation and gaussian white noise

[GNZ09] Georgi K. Golubev, Michael Nussbaum, and Harrison H. Zhou. Asymp- totic equivalence of spectral density estimation and Gaussian white noise. arXiv:0903.1314 [math.ST],

work page internal anchor Pith review Pith/arXiv arXiv
[3]

[LC75] L. Le Cam. On local and global properties in the theory of asymptotic normality of experiments. InStochastic processes and related topics (Proc. Summer Res. Inst. Statist. Inference for Stochastic Processes, Indiana Univ., Bloomington, Ind., 1974, Vol. 1; dedicated to Jerzy Neyman), pages 13–54. Academic Press, New York,

work page 1974
[4]

[M¨80] D

Estimation, testing, and selection. [M¨80] D. W. M¨ uller. The increase of risk due to inaccurate models. InSymposia Mathematica, Vol. XXV (Conf., INDAM, Rome, 1979), pages 73–84. Academic Press, London-New York,

work page 1979
[5]

[Pet90] D´ enes Petz.An invitation to the algebra of canonical commutation relations, volume 2 ofLeuven Notes in Mathematical and Theoretical Physics

[2012 reprint of the 1992 original] [MR1164866]. [Pet90] D´ enes Petz.An invitation to the algebra of canonical commutation relations, volume 2 ofLeuven Notes in Mathematical and Theoretical Physics. Series A: Mathematical Physics. Leuven University Press, Leuven,

work page 2012
[6]

[Shi19] Albert N

Reprint of the 1971 edition. [Shi19] Albert N. Shiryaev.Probability. 2, volume 95 ofGraduate Texts in Mathematics. Springer, New York,

work page 1971
[7]

Third edition of [ MR0737192], Translated from the 2007 fourth Russian edition by R. P. Boas and D. M. Chibisov. [Str85] Helmut Strasser.Mathematical theory of statistics, volume 7 ofDe Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin,

work page 2007
[8]

[Wei] Eric W

Revised and extended from the 2004 French original, Translated by Vladimir Zaiats. [Wei] Eric W. Weisstein. Geometric distribution. InMathWorld–A Wolfram Web Resource. https://mathworld.wolfram.com/GeometricDistribution.html. [WPGP+12] Christian Weedbrook, Stefano Pirandola, Ra´ ul Garc´i a-Patr´ on, Nicolas J. Cerf, Timothy C. Ralph, Jeffrey H. Shapiro, ...

work page 2004

[1] [1]

Springer-Verlag, New York, second edition, 1987.C ∗- andW ∗-algebras, symmetry groups, decomposition of states

Texts and Monographs in Physics. Springer-Verlag, New York, second edition, 1987.C ∗- andW ∗-algebras, symmetry groups, decomposition of states. [BR97] Ola Bratteli and Derek W. Robinson.Operator algebras and quantum statistical mechanics

work page 1987

[2] [2]

Asymptotic equivalence of spectral density estimation and gaussian white noise

[GNZ09] Georgi K. Golubev, Michael Nussbaum, and Harrison H. Zhou. Asymp- totic equivalence of spectral density estimation and Gaussian white noise. arXiv:0903.1314 [math.ST],

work page internal anchor Pith review Pith/arXiv arXiv

[3] [3]

[LC75] L. Le Cam. On local and global properties in the theory of asymptotic normality of experiments. InStochastic processes and related topics (Proc. Summer Res. Inst. Statist. Inference for Stochastic Processes, Indiana Univ., Bloomington, Ind., 1974, Vol. 1; dedicated to Jerzy Neyman), pages 13–54. Academic Press, New York,

work page 1974

[4] [4]

[M¨80] D

Estimation, testing, and selection. [M¨80] D. W. M¨ uller. The increase of risk due to inaccurate models. InSymposia Mathematica, Vol. XXV (Conf., INDAM, Rome, 1979), pages 73–84. Academic Press, London-New York,

work page 1979

[5] [5]

[Pet90] D´ enes Petz.An invitation to the algebra of canonical commutation relations, volume 2 ofLeuven Notes in Mathematical and Theoretical Physics

[2012 reprint of the 1992 original] [MR1164866]. [Pet90] D´ enes Petz.An invitation to the algebra of canonical commutation relations, volume 2 ofLeuven Notes in Mathematical and Theoretical Physics. Series A: Mathematical Physics. Leuven University Press, Leuven,

work page 2012

[6] [6]

[Shi19] Albert N

Reprint of the 1971 edition. [Shi19] Albert N. Shiryaev.Probability. 2, volume 95 ofGraduate Texts in Mathematics. Springer, New York,

work page 1971

[7] [7]

Third edition of [ MR0737192], Translated from the 2007 fourth Russian edition by R. P. Boas and D. M. Chibisov. [Str85] Helmut Strasser.Mathematical theory of statistics, volume 7 ofDe Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin,

work page 2007

[8] [8]

[Wei] Eric W

Revised and extended from the 2004 French original, Translated by Vladimir Zaiats. [Wei] Eric W. Weisstein. Geometric distribution. InMathWorld–A Wolfram Web Resource. https://mathworld.wolfram.com/GeometricDistribution.html. [WPGP+12] Christian Weedbrook, Stefano Pirandola, Ra´ ul Garc´i a-Patr´ on, Nicolas J. Cerf, Timothy C. Ralph, Jeffrey H. Shapiro, ...

work page 2004