Pith. sign in

REVIEW 1 major objections 4 minor 37 references

Quantum tomography from the evolution of a single expectation

T0 review · 1 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read Almost every noisy quantum evolution makes a single measured expectation value enough to reconstruct any quantum state, while unitary-only evolution falls short.

desk verdict A genuinely new genericity result: almost every noisy quantum channel turns a single expectation-value time series into full tomography, with unitary no-go theorems that are clean; one small overclaim in Remark 3 should be fixed. read the letter →

arxiv 2501.10118 v2 pith:XSO7N6GT submitted 2025-01-17 math-ph math.MPquant-ph

classification math-phmath.MPquant-ph
keywords quantumstatetomographysingleexpectationvalueobservabilitychannelsLindbladsemigroupsTakensembeddingtheoremMinkowskidimensionfinitestatistics
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 asks how much of a quantum state can be learned from watching a single expectation value evolve. Its central answer is that, in any finite dimension, almost every noisy quantum evolution makes one such time series tomographically complete: once $d^2-1$ consecutive values are recorded, the state is uniquely determined, and the same is true for an unknown observable when the state is known. The clear exception is unitary evolution, which even with added simply depolarizing noise cannot achieve this beyond the qubit case, so non-trivial noise is a resource rather than an obstacle. The paper also proves a Takens-style embedding theorem for quantum channels, showing that prior information about the state reduces the number of required time points, and it supplies finite-statistics bounds for a least-squares estimator.

What carries the argument

The central object is the time-series map $\alpha(\rho)=(\operatorname{tr}[\rho T^i(H_0)])_{i=t_0}^{t_1}$, restricted to density matrices, and its traceless reduction $\alpha_0(\sigma)_i=\operatorname{tr}[\sigma T_Q^i(H_Q)]$, where $T_Q=QTQ$ acts on the $(d^2-1)$-dimensional subspace of traceless Hermitians. The argument rides on the factorization $\alpha_0=\Lambda M$: $\Lambda$ is a Vandermonde matrix—powers of the channel's eigenvalues—invertible whenever $T$ has $d^2$ distinct eigenvalues (a generic condition), and $M$ is diagonal with entries $\operatorname{tr}[X_j^* Q(H_0)]$, the overlaps of the observable with the channel's left eigenmodes. Whenever one of these overlaps vanishes, injectivity fails; otherwise the state is uniquely recoverable. For the Takens-style theorem, the machinery is the map $\tau(T)=(T(H_0),\dots,T^m(H_0))$ from channels to $m$-tuples of observables, which has non-zero-measure image and pulls null sets back to null sets, so a generic embedding theorem can be imported.

What would settle it

Fix $d=3$, choose $H_0=\operatorname{diag}(1,0,-1)$, and pick distinct times $t_1,\dots,t_9$. For an open ball of Lindblad generators $L$ parameterized as in Eq. (2), form the $9\times 8$ matrix with entries $\operatorname{tr}[X_j^* e^{t_k L}H_0]$, where $X_j$ runs over a traceless Hermitian basis. Corollary 4 says this matrix has rank 8 for all $L$ outside a null set; if its rank drops below 8 on an open set of generators, the paper's continuous-time claim is false.

Watch

Extended reading notes

Core claim

On the paper's own terms, almost every quantum channel—and almost every element of a Lindblad semigroup—turns a single non-trivial expectation value into a complete tomographic record: with $d^2-1$ consecutive time steps (or $d^2$ samples in continuous time) the map from density matrices to time series is injective, and the same is true for observables when the state is known. The exceptions are the ones that look noise-free: unitary evolutions, even with simply depolarizing noise, cannot do this beyond qubits, which the paper reads as evidence that non-trivial noise is necessary. The proofs identify a precise algebraic condition for injectivity: after removing the identity component, the time-series map factors as a Vandermonde matrix in the eigenvalues of $T$ times a diagonal matrix of overlaps between the observable and the channel's eigenmodes, so injectivity is lost only on a null set of channels or observables. A Takens-style theorem extends the construction to prior information, and a finite-statistics bound quantifies how many shots are needed.

Load-bearing premise

The load-bearing premise is that the time-evolution map and the single observable are known exactly and held fixed while the time series is gathered—so that the theorems cover recovery of the state (or observable) alone, not joint recovery of unknown state, observable, or channel, which Corollary 3 shows is generally impossible.

Editorial extensions

If this is right

  • For almost every quantum channel (and almost every Lindblad semigroup element), $d^2-1$ consecutive values of a single expectation value determine the density matrix uniquely, so no family of different measurements is required once the evolution is generic.
  • With the state known, $d^2$ time points determine an unknown observable for almost every channel; in continuous time, $d^2$ samples at arbitrary distinct times suffice.
  • Unitary evolutions—even with simply depolarizing noise—are insufficient beyond qubits, so non-trivial noise is a genuine resource for evolution-based tomography.
  • Prior information about the state reduces the data requirement: if states are confined to a set $S$, then $m>D(S-S)$ time points suffice generically, and the reconstruction is Hölder-stable.
  • Under finite statistics, a least-squares estimator built from the time series obeys $\mathbb{E}\|\hat{\rho}-\rho\|_2^2 \le \|\alpha^{-1}\|^2\Delta^2(d^2-1)/(4n)$, so the smallest singular value of the time-series map controls the sample complexity.

Reading between the lines

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

  • Beyond the paper: the factorization in the proof gives a pre-certification test—compute the overlaps $\operatorname{tr}[X_j^* Q(H_0)]$ from the channel's eigen-decomposition and check that none vanish—so an experimentalist can verify a channel's tomographic power before collecting data.
  • Beyond the paper: Corollary 3 suggests that evolution-based tomography is best used one-sided: fix and calibrate either the observable or the state independently, then use a single time series to reconstruct the other; attempting to reconstruct both from the same record is generically hopeless.
  • Beyond the paper: the results suggest replacing random measurement design with random evolution design—a single generic fixed channel produces an informationally complete record, so the randomness enters through the channel rather than through many measurement settings.
Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

  1. Claim #1: On the paper's own terms, almost every quantum channel—and almost every element of a Lindblad semigroup—turns a single non-trivial expectation value into a complete tomographic record: with $d^2-1$ consecutive time steps (or $d^2$ samples in continuous time) the map from density matrices to time series is injective, and the same is true for observables when the state is known. The exceptions are t

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 4 minor

Summary. The paper studies whether the homogeneous time evolution of a single expectation value can provide enough information for full quantum state or observable tomography in finite dimensions. The main positive results (Thm. 4 and Cor. 4) assert that for every nontrivial observable, almost every quantum channel, and almost every Lindblad semigroup element, the time series of length d^2-1 (for states) or d^2 (for observables) is injective on the relevant parameter set, and that a Takens-like dimension-dependent version holds (Thm. 5). The paper also proves series-extension theorems (Thms. 1-3) that lead to no-go results for unitary and simply depolarizing evolutions beyond qubits (Sec. 4), gives finite-statistics estimation bounds (Sec. 6), and provides a detailed qubit analysis (Sec. 7).

Significance. If correct, the results are significant: they rigorously identify non-trivial noise as a resource for tomography, provide a linear analogue of Takens' embedding theorem adapted to quantum channels, and give quantitative finite-statistics bounds. The proofs are detailed and combine null-set arguments, Sard's theorem, Vandermonde determinantal identities, and known generic-embedding results in a parameter-free way. The paper also gives explicit no-go counterparts, showing that unitary evolution and simply depolarizing noise are insufficient beyond the qubit case, and that jointly recovering an unknown state and an unknown observable is generically impossible. The main claims are clearly scoped: the evolution map is known and fixed, and the time series is generated from an identically prepared ensemble.

major comments (1)
  1. [§5, Remark 3 after Theorem 4] The claim that adding one more data point makes alpha injective on all of H_d is false when H0 is traceless. For a generic T with distinct eigenvalues, each T^i(H0) has zero trace, because the left eigenvector 1 is orthogonal to all other eigenspaces and H0 has no component along 1. Hence rho and rho + c1 produce identical time series for every c, so alpha cannot be injective on all of H_d. The statement should be restricted to trace-one states, or one should require H0 to have nonzero trace. This error does not affect the main density-matrix tomography results in Theorem 4 and Corollary 4, but the remark should be corrected.
minor comments (4)
  1. [Abstract] The phrase 'evolved by any quantum channel, except for a null set' could be misread as 'for any fixed channel, all but a null set of measurements'; the precise quantifier order in Theorem 4 is that for each fixed H0 the set of failing channels is null and vice versa. A short clarification would avoid ambiguity.
  2. [§6, estimator in Eq. (25)] The least-squares estimator rho_hat = rho0 + alpha^{-1}(f - alpha(rho0)) is not constrained to be positive semidefinite and may not be a physical density matrix. The authors should note explicitly that this is a linear (possibly unphysical) estimator and that the bound in Thm. 6 is on the Hilbert-Schmidt distance to the true state, not on an estimator constrained to density-matrix space.
  3. [References] The reference [JAM00] is missing the author names; only the title is listed.
  4. [§4, Corollary 2 proof] In the proof of Corollary 2 the symbol delta is used both for the Kronecker delta delta_{lambda,0} and for the degree of the minimal polynomial delta(T_lambda); while the context is clear, a different symbol for one of the two would improve readability.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central injectivity theorems are derived from Vandermonde determinants, null-set algebraic geometry, and independent generic-measurement results, not from fitted inputs or self-referential definitions.

full rationale

The paper's main claims (Thm. 4 and Cor. 4) are self-contained. The proof reduces injectivity of the time-series map to an invertible Vandermonde matrix times a diagonal matrix whose diagonal entries are tr[X_j^* H_Q]; non-injectivity is then a polynomial null-set condition. The only non-null-set exclusion is done by explicit construction of an example channel, not by assuming the conclusion. The continuous-time variant follows from a separate Vandermonde extension theorem (Thm. 3) plus Thm. 4, again without circularity. The Takens analog (Thm. 5) invokes a generic-measurement theorem from [Rob10] and [HMW13]; [HMW13] is co-authored by Wolf, but it is an external published result about independent measurements, not about the homogeneous time series under study, and the paper supplies the non-trivial reduction (tau(L_d) has non-zero measure and null-set preimages) that makes the imported theorem applicable. No fitted parameter is renamed as a prediction, and no self-definitional reduction occurs. One non-circular defect should be noted: Remark 3 after Thm. 4 claims alpha becomes injective on all of H_d when one extra point is added; for traceless H0 the series has no component along the identity direction, so rho and rho+c1 are indistinguishable. This is a correctness issue, not circularity, and it leaves the density-matrix statements intact.

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

The paper contributes proofs, not fitted parameters or new physical entities. It relies on standard linear algebra and measure theory plus two external generic-measurement theorems. The only domain assumptions are the physical framework: known homogeneous evolution, non-trivial binary measurement, and finite-dimensional Hilbert space.

assumptions (7)
  • standard math Cayley-Hamilton theorem and minimal polynomial degree bounds
    Used in Thm.1 and Thm.2 to extend finite time series via linear recurrences satisfied by T^i.
  • standard math Invariance of domain theorem
    Used in Cor.1 and Cor.3 to convert injectivity of continuous maps into dimension inequalities.
  • standard math Sard's theorem and the constant rank theorem
    Used in Thm.5 Step 2 to show that the map tau sends null sets to null sets through its preimage.
  • standard math Generic-measurement theorem from [Rob10, HMW13]
    Used as a black box in Thm.5 Step 3 for m > D(S-S), giving generic injectivity with Holder continuous inverse.
  • domain assumption Known homogeneous quantum channel T (or generator L)
    The framework assumes the channel is known exactly; Cor.3 shows that state and observable cannot both be recovered from the time series alone.
  • domain assumption Non-trivial observable H0 not proportional to identity
    If H0 is proportional to the identity, the time series is constant and no tomography is possible.
  • standard math Real-analytic zero sets have measure zero
    Used in Lem.2, Thm.3 and Thm.4 to exclude degenerate spectra and other bad channels as null sets.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantum tomography from the evolution of a single expectation." pith.science (2026). https://pith.science/paper/XSO7N6GT

@misc{pith2026250110118,
  author       = {Pith},
  title        = {Pith review of: Quantum tomography from the evolution of a single expectation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XSO7N6GT}},
  note         = {Machine review of arXiv:2501.10118}
}
read the original abstract

We investigate the possibility of performing full quantum tomography based on the homogeneous time evolution of a single expectation value. Remarkably, every non-trivial binary measurement evolved by any quantum channel, except for a null set, in principle enables full quantum state tomography. We show that this remains true when restricted to Lindblad semigroups, although unitary evolution -- even with added simply depolarizing noise -- is insufficient beyond the qubit case, highlighting the necessity of non-trivial noise. We establish an analog of Takens' embedding theorem for quantum channels, which incorporates prior information into the framework. We also provide estimation bounds for finite statistics and analyze the feasibility of recovering an infinite time series of expectation values from a finite one using only spectral properties of the evolution.

Figures

Figures reproduced from arXiv: 2501.10118 by the authors.

Figure 1
Figure 1. Time-series extension. Suppose a sufficient number of consecutive data points of a homogeneous discrete-time evolu￾tion of a d-dimensional quantum system w.r.t. a known quantum channel is given. Then the series can be extended to its infinite counterpart by a linear map that does neither depend on the state, nor on the observable (Thm.1). Similar applies to con￾tinuous time evolution: generically, d 2 arbitrarily sp… view at source ↗
Figure 2
Figure 2. Simplified graphical depiction of why noise added to unitary evolution can be beneficial for full quantum tomogra￾phy from time evolution. Left: Unitary/coherent evolution of an expectation value leads to a periodic signal (1a) whose informa￾tion is carried in the frequency components (1b). Right: If noise is added, here by a superimposed decay leading to the signal (2a), additional information is carried by the dec… view at source ↗
Figure 3
Figure 3. The least singular value of the map β from Eq.(31) for the qubit-channel of Eq.(30) quantifies how stably the map can be inverted, and (according to Sec.6) how much statistics is required. Here, p quantifies the amount of depolarizing noise, and θ the degree of unitary rotation. While a unitary evolution (p = 0) prohibits invertibility, additional noise (p > 0) enables invertibility and thus full tomography of qubit… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 32 canonical work pages

  1. [1]

    write newline

    " write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

  2. [2]

    Generic observability of differentiable systems

    Dirk Aeyels. Generic observability of differentiable systems. SIAM Journal on Control and Optimization , 19(5):595--603, 1981

  3. [3]

    Quantum tomography enabled by homogeneous markovian evolutions

    Alvaro Yanguez Bachiller. Quantum tomography enabled by homogeneous markovian evolutions. Master's thesis, Department of Physics, Technical University of Munich, Jul 2023

  4. [4]

    Stable pure state quantum tomography from five orthonormal bases

    Claudio Carmeli, Teiko Heinosaari, Michael Kech, Jussi Schultz, and Alessandro Toigo. Stable pure state quantum tomography from five orthonormal bases. Europhysics Letters , 115(3):30001, Sep 2016

  5. [5]

    Quantum state tomography with informationally complete povms generated in the time domain

    Artur Czerwinski. Quantum state tomography with informationally complete povms generated in the time domain. Quantum Information Processing , 20(3):105, Mar 2021

  6. [6]

    de Almeida, Matthias Kleinmann, and Gael Sentís

    Jessica O. de Almeida, Matthias Kleinmann, and Gael Sentís. Comparison of confidence regions for quantum state tomography, 2023, arXiv:2303.07136

  7. [7]

    Flammia, Hsin-Yuan Huang, Richard Kueng, John Preskill, Beno \^i t Vermersch, and Peter Zoller

    Andreas Elben, Steven T. Flammia, Hsin-Yuan Huang, Richard Kueng, John Preskill, Beno \^i t Vermersch, and Peter Zoller. The randomized measurement toolbox. Nature Reviews Physics , 5(1):9--24, Jan 2023

  8. [8]

    David E. Evans. Conditionally completely positive maps on operator algebras . The Quarterly Journal of Mathematics , 28(3):271--283, Sep 1977

Show all 37 references
  1. [9]

    Quantum tomography via compressed sensing: error bounds, sample complexity and efficient estimators

    Steven T Flammia, David Gross, Yi-Kai Liu, and Jens Eisert. Quantum tomography via compressed sensing: error bounds, sample complexity and efficient estimators. New Journal of Physics , 14(9):095022, Sep 2012

  2. [10]

    Fast state tomography with optimal error bounds

    M Guţă, J Kahn, R Kueng, and J A Tropp. Fast state tomography with optimal error bounds. Journal of Physics A: Mathematical and Theoretical , 53(20):204001, Apr 2020

  3. [11]

    Geometry of quantum systems: density states and entanglement

    Janusz Grabowski, Marek Kuś, and Giuseppe Marmo. Geometry of quantum systems: density states and entanglement. Journal of Physics A: Mathematical and General , 38(47):10217, Nov 2005

  4. [12]

    Algebraic topology

    Allen Hatcher. Algebraic topology . Cambridge University Press, Cambridge, 2015

  5. [13]

    Hedemann

    Samuel R. Hedemann. Explicit Inverse Confluent Vandermonde Matrices with Applications to Exponential Quantum Operators , 2017, arXiv:1709.05257

  6. [14]

    Horn and Charles R

    Roger A. Horn and Charles R. Johnson. Matrix Analysis . Cambridge University Press, Cambridge; New York, 2nd edition, 2013

  7. [15]

    Teiko Heinosaari, Luca Mazzarella, and Michael M. Wolf. Quantum tomography under prior information. Communications in Mathematical Physics , 318(2):355--374, Mar 2013

  8. [16]

    Reports on Mathematical Physics , 46(3):469--482, 2000

    On complete and incomplete sets of observables, the principle of maximum entropy—revisited. Reports on Mathematical Physics , 46(3):469--482, 2000

  9. [17]

    R.E. Kalman. On the general theory of control systems. IFAC Proceedings Volumes , 1(1):491--502, 1960. 1st International IFAC Congress on Automatic and Remote Control, Moscow, USSR, 1960

  10. [18]

    Dynamical quantum tomography

    Michael Kech. Dynamical quantum tomography. Journal of Mathematical Physics , 57(12):122201, Dec 2016

  11. [19]

    Generating random quantum channels

    Ryszard Kukulski, Ion Nechita, Lukasz Pawela, Zbigniew Puchala, and Karol Zyczkowski. Generating random quantum channels. Journal of Mathematical Physics , 62(6):062201, 2021

  12. [20]

    Irene L \'o pez Guti \'e rrez, Felix Dietrich, and Christian B. Mendl. Quantum process tomography of unitary maps from time-delayed measurements. Quantum Information Processing , 22(6):251, Jun 2023

  13. [21]

    Matrix exponentials and inversion of confluent Vandermonde matrices

    Uwe Luther and Karla Rost. Matrix exponentials and inversion of confluent Vandermonde matrices . Electron. Trans. Numer. Anal. , 18:91--100, 2004

  14. [22]

    Topology from the Differentiable Viewpoint

    John Milnor. Topology from the Differentiable Viewpoint . University Press of Virginia, 1965

  15. [23]

    B. S. Mityagin. The zero set of a real analytic function. Mathematical Notes , 107(3):529--530, Mar 2020

  16. [24]

    Merkel, Carlos A

    Seth T. Merkel, Carlos A. Riofr\' o, Steven T. Flammia, and Ivan H. Deutsch. Random unitary maps for quantum state reconstruction. Phys. Rev. A , 81:032126, Mar 2010

  17. [25]

    Efficient quantum tomography

    Ryan O'Donnell and John Wright. Efficient quantum tomography. In Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing , STOC '16, page 899–912, New York, NY, USA, 2016. Association for Computing Machinery

  18. [26]

    Reconstructing quantum states from local observation: A dynamical viewpoint, 2025, arXiv:2501.13668

    Marco Peruzzo, Tommaso Grigoletto, and Francesco Ticozzi. Reconstructing quantum states from local observation: A dynamical viewpoint, 2025, arXiv:2501.13668

  19. [27]

    Totally Positive Matrices

    Allan Pinkus. Totally Positive Matrices . Cambridge Tracts in Mathematics. Cambridge University Press, 2009

  20. [28]

    Robinson

    James C. Robinson. Dimensions, Embeddings, and Attractors . Cambridge Tracts in Mathematics. Cambridge University Press, 2010

  21. [29]

    R.E. Skelton. Dynamic Systems Control: Linear Systems Analysis and Synthesis . J. Wiley & Sons, 1988

  22. [30]

    Sussmann

    Hector J. Sussmann. Generic single-input observability of continuous-time polynomial systems. In 1978 IEEE Conference on Decision and Control including the 17th Symposium on Adaptive Processes , pages 566--571, 1978

  23. [31]

    Yorke, and Martin Casdagli

    Tim Sauer, James A. Yorke, and Martin Casdagli. Embedology. Journal of Statistical Physics , 65(3):579--616, Nov 1991

  24. [32]

    Detecting strange attractors in turbulence

    Floris Takens. Detecting strange attractors in turbulence. In David Rand and Lai-Sang Young, editors, Dynamical Systems and Turbulence, Warwick 1980 , pages 366--381, Berlin, Heidelberg, 1981. Springer Berlin Heidelberg

  25. [33]

    L.W. Tu. An Introduction to Manifolds . Universitext. Springer New York, 2010

  26. [34]

    Almost all quantum channels are diagonalizable

    Frederik vom Ende. Almost all quantum channels are diagonalizable. Open Systems & Information Dynamics , 31(03):2450012, 2024

  27. [35]

    Wolf and David Perez-Garcia

    Michael M. Wolf and David Perez-Garcia. Assessing quantum dimensionality from observable dynamics. Phys. Rev. Lett. , 102:190504, May 2009

  28. [36]

    Generalization of Vandermonde determinants

    Shang-Jun Yang, Hua-Zhang Wu, and Quan-Bing Zhang. Generalization of Vandermonde determinants . Linear Algebra and its Applications , 336(1):201--204, 2001

  29. [37]

    Complete quantum-state tomography with a local random field

    Pengcheng Yang, Min Yu, Ralf Betzholz, Christian Arenz, and Jianming Cai. Complete quantum-state tomography with a local random field. Phys. Rev. Lett. , 124:010405, Jan 2020

Pith tools

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