pith. sign in

arxiv: 2607.01158 · v1 · pith:TGHNBYCTnew · submitted 2026-07-01 · 🪐 quant-ph · math-ph· math.MP

Continuous Observation of Quantum Systems

Hans Maassen This is my paper

Pith reviewed 2026-07-02 11:37 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP
keywords continuous quantum measurementquantum trajectoriesHolevo classificationLevy continuity theoremweak convergencequantum optics
0
0 comments X

The pith

Continuous quantum measurement processes are classified by the pointwise limits of their characteristic functions.

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

The paper establishes an alternative proof of the classification theorem for continuous quantum measurement processes, known as stationary quantum trajectories in continuous time. It replaces the original functional-analytic methods with an argument based on weak convergence of measures and Levy's Continuity Theorem. The proof also sharpens the boundedness conditions required for the result and supplies a concrete example drawn from quantum optics. A sympathetic reader would care because the probabilistic route makes the classification more transparent and directly connects the quantum processes to familiar limit theorems in probability.

Core claim

Holevo's classification theorem for stationary quantum trajectories in continuous time admits a proof that begins from the weak convergence of the measures generated by the measurement processes and invokes Levy's Continuity Theorem on their characteristic functions. The argument clarifies the precise boundedness conditions under which the classification holds and is illustrated by a simple example from quantum optics.

What carries the argument

Levy's Continuity Theorem applied to the pointwise-converging characteristic functions of the measures produced by the continuous quantum measurement processes.

If this is right

  • The classification of stationary quantum trajectories holds precisely when the stated boundedness conditions are met.
  • Every such process corresponds to a limit measure whose characteristic function determines the statistics of the observed trajectories.
  • The quantum-optics example shows that the theorem applies directly to a standard physical model of continuous monitoring.

Where Pith is reading between the lines

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

  • The same convergence argument could be tested on non-stationary processes to see whether a similar classification emerges.
  • The emphasis on characteristic functions may allow direct comparison with classical Levy processes in stochastic calculus.

Load-bearing premise

The families of measures arising from the quantum measurement processes have characteristic functions that converge pointwise in a manner satisfying the hypotheses of Levy's Continuity Theorem.

What would settle it

A continuous quantum measurement process whose associated measures have characteristic functions converging pointwise yet whose trajectory statistics fall outside the classified family would falsify the claim.

read the original abstract

In a series of papers in the 1980's Alexander Holevo proved a classification theorem for continuous quantum measurement processes, or, as they would today be called, stationary quantum trajectories in continuous time. His main tools were functional analytic in character: starting from a Bochner-type inequality he employed dilation techniques for positive definite kernels. Here we give an alternative, more probabilistic proof: we use weak convergence of measures and employ Levy's Continuity Theorem. We clarify the boundedness conditions in Holevo's theorem, and supply a simple example from quantum optics.

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.

Referee Report

0 major / 1 minor

Summary. The manuscript presents an alternative probabilistic proof of Holevo's classification theorem for continuous quantum measurement processes (stationary quantum trajectories in continuous time). It replaces the original functional-analytic tools (Bochner-type inequality and dilation techniques for positive definite kernels) with an argument based on weak convergence of measures and Levy's Continuity Theorem. The paper also clarifies the boundedness conditions appearing in Holevo's theorem and supplies a simple example drawn from quantum optics.

Significance. If the derivation is correct, the work supplies a more accessible route to the classification result that may appeal to probabilists and measurement theorists. The explicit clarification of boundedness conditions addresses a point left implicit in the original functional-analytic treatment, and the quantum-optics example illustrates applicability. No machine-checked proofs or reproducible code are provided, but the argument is presented as independent of the original route.

minor comments (1)
  1. [Introduction] The abstract states that the proof relies on the hypotheses of Levy's Continuity Theorem being satisfied by the characteristic functions of the generated measures; a brief remark in the introduction confirming that the quantum measurement setting meets these hypotheses would aid readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. There are no major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents an alternative probabilistic derivation of Holevo's classification theorem for continuous quantum measurement processes, relying on weak convergence of measures and Levy's Continuity Theorem rather than the original functional-analytic approach. The derivation is self-contained against external benchmarks: Levy's theorem is a standard result in probability theory, the boundedness clarifications are supplied directly, and the quantum optics example is independent. No step reduces by construction to a fitted input, self-citation chain, or renamed ansatz; the central claim is an independent re-proof whose hypotheses are stated explicitly and do not presuppose the target classification.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard results from probability theory (Levy's Continuity Theorem) and the setup inherited from Holevo; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Levy's Continuity Theorem applies to the characteristic functions arising from the quantum measurement processes
    Invoked to convert weak convergence into the classification statement.

pith-pipeline@v0.9.1-grok · 5600 in / 1111 out tokens · 30271 ms · 2026-07-02T11:37:38.561628+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

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

  1. [1]

    Holevo: Безгранично делимые измерения в квантовой теории вероястностей,Теория вероятн

    A.S. Holevo: Безгранично делимые измерения в квантовой теории вероястностей,Теория вероятн. и её примен.31, 3(1986), pp. 560–564. Translated as: Infinitely divisible measurements in quantum probability theory,Theor. Probab. Appl.31,3(1986) pp. 493–497

    1986

  2. [2]

    Holevo: Представление типа Леви-Хинчина в квантовой теории вероястностей,Теория вероятн

    A.S. Holevo: Представление типа Леви-Хинчина в квантовой теории вероястностей,Теория вероятн. и её примен.(1986), translated as: A representationofL´ evy-Khichinetypeinquantumprobabilitytheory, Theor. Probab.Appl32, 1(1988). 33

    1986

  3. [3]

    Holevo: Conditionally positive definite functions in quantum prob- ability, inProceedings of the International Congress of Mathematicians, Berkeley, California, USA(1986)

    A.S. Holevo: Conditionally positive definite functions in quantum prob- ability, inProceedings of the International Congress of Mathematicians, Berkeley, California, USA(1986)

    1986

  4. [4]

    Holevo: Statistical definition of observable and the structure of statis- tical models,Rep

    A.S. Holevo: Statistical definition of observable and the structure of statis- tical models,Rep. Math. Phys.22(1985)

    1985

  5. [5]

    Davies, J.T

    E.B. Davies, J.T. Lewis: An operational approach to quantum probability, Commun. Math. Phys.17(1970), pp. 239–260

    1970

  6. [6]

    Kraus: General state changes in quantum theory,Ann

    K. Kraus: General state changes in quantum theory,Ann. Phys.64(1971), pp. 311–335

    1971

  7. [7]

    Davies:Quantum Theory of Open Systems(Academic Press, London 1976)

    E.B. Davies:Quantum Theory of Open Systems(Academic Press, London 1976)

    1976

  8. [8]

    Misra, E.C.G

    B. Misra, E.C.G. Sudarshan: The Zeno’s paradox in quantum theory,Jour- nal of Mathematical Physics8, 4(1977), pp. 756–763

    1977

  9. [9]

    Ludwig:Die Grundlagen der Quantummechanik(Springer 1954)

    G. Ludwig:Die Grundlagen der Quantummechanik(Springer 1954)

    1954

  10. [10]

    Holevo:Probabilistic and statistical aspects of quantum theory(Edi- tioni della Normale, Pisa 2011)

    A.S. Holevo:Probabilistic and statistical aspects of quantum theory(Edi- tioni della Normale, Pisa 2011)

    2011

  11. [11]

    Gisin: Quantum measurements and stochastic processes,Phys

    N. Gisin: Quantum measurements and stochastic processes,Phys. Rev. Lett.52(1984), pp. 1657–1660

    1984

  12. [12]

    Mølmer, Y

    K. Mølmer, Y. Castin, J. Dalibard: Monte Carlo wave function method in quantum optics,J. Opt. Soc. Am.B 10(1993), pp. 524–538

    1993

  13. [13]

    Carmichael:An Open System Approach to Quantum Optics(Springer 1993)

    H. Carmichael:An Open System Approach to Quantum Optics(Springer 1993)

    1993

  14. [14]

    Cresser: Ergodicity of quantum trajectory detection records in:Direc- tions in Quantum Optics, Eds

    J.D. Cresser: Ergodicity of quantum trajectory detection records in:Direc- tions in Quantum Optics, Eds. H.J. Carmichael, R.J. Glauber, (Springer, Berlin, 2000)

    2000

  15. [15]

    K¨ ummerer, H

    B. K¨ ummerer, H. Maassen: A pathwise ergodic theorem for quantum tra- jectories,J. Phys. A: Math. Gen.37(2004), pp. 11889–11896

    2004

  16. [16]

    Benoist, M

    T. Benoist, M. Fraas, Y. Pautrat, C. Pellegrini: Invariant measure for quantum trajectories,Prob. Theor. Rel. Fields174, 1(2019), pp. 307–334

    2019

  17. [17]

    Barchielli

    A. Barchielli. L. Lanz, G.M. Prosperi: Statistics of continuous trajectories in quantum mechanics: operation-valued stochastic processes,Foundations of Physics13(1983), pp. 779–812

    1983

  18. [18]

    Srinivas, E.B

    M.D. Srinivas, E.B. Davies: Photon counting probabilities in quantum op- tics,Optica Acta28(1981), pp. 981–996

    1981

  19. [19]

    Kimble, M

    H.J. Kimble, M. Dagenais, L. Mandel: Photon Antibunching in Resonance Fluorescence,Phys. Rev. Lett.39, 691 (1977)

    1977

  20. [20]

    Barchielli, M

    A. Barchielli, M. Gregoratti:Quantum Trajectories and Measurements in Continuous Time: The Diffusive Case, Lect. Notes Phys. 782 (Springer, Berlin Heidelberg 2009). 34

    2009

  21. [21]

    K¨ ummerer, H

    B. K¨ ummerer, H. Maassen:Quantum Markov Processes, an introduction to quantum probability using operator algebras(Springer, to appear)

  22. [22]

    A.S.Holevo: ProbabilisticStructureofQuantumTheory, (SpringerLecture Notes 2001)

    2001

  23. [23]

    Holevo: L´ evy processes and continuous quantum measurements, in: L´ evy Processes, Theory and Applications, eds

    A.S. Holevo: L´ evy processes and continuous quantum measurements, in: L´ evy Processes, Theory and Applications, eds. Ole E. Barndorff-Nielsen, Sidney I. Resnick, Thomas Mikosch (Springer 2001)

    2001

  24. [24]

    Barchielli, A,S

    A. Barchielli, A,S. Holevo, G. Lupieri: An analogue of Hunt’s representa- tion theorem in quantum probability,Journal of Theoretical Probability6 (1993), pp. 231–265

    1993

  25. [25]

    A survey of graphical languages for monoidal categories

    P. Selinger: A survey of graphical languages for monoidal categories, math.CT/0908.3347v1 (2009)

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  26. [26]

    Choi: Completely positive linear maps on complex matrices,Linear Algebra and its Applications10(1975), pp

    M.-D. Choi: Completely positive linear maps on complex matrices,Linear Algebra and its Applications10(1975), pp. 285–290

    1975

  27. [27]

    A. N. Shiryaev:Probability(Springer, 2nd edition, 1996), p. 325

    1996

  28. [28]

    Carmichael:Statistical Methods in Quantum Optics 1(Springer 1999), p

    H. Carmichael:Statistical Methods in Quantum Optics 1(Springer 1999), p. 68

    1999

  29. [29]

    Davies:One-Parameter Semigroups(Academic Press, 1980)

    E.B. Davies:One-Parameter Semigroups(Academic Press, 1980)

    1980

  30. [30]

    D.Applebaum:L´ evy Processes and Stochastic Calculus,CambridgeStudies in Advanced Mathematics116(Cambridge University Press, 2009)

    2009

  31. [31]

    Lukacs:Characteristic Functions(Griffin, London 1970)

    E. Lukacs:Characteristic Functions(Griffin, London 1970). 35

    1970