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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Formalized claims in Lean
-
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
/-- @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 -/ def central_claim : Prop :=
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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)
- [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.
- [§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.
- [References] The reference [JAM00] is missing the author names; only the title is listed.
- [§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
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
assumptions (7)
- standard math Cayley-Hamilton theorem and minimal polynomial degree bounds
- standard math Invariance of domain theorem
- standard math Sard's theorem and the constant rank theorem
- standard math Generic-measurement theorem from [Rob10, HMW13]
- domain assumption Known homogeneous quantum channel T (or generator L)
- domain assumption Non-trivial observable H0 not proportional to identity
- standard math Real-analytic zero sets have measure zero
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
Reference graph
Works this paper leans on
-
[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]
Generic observability of differentiable systems
Dirk Aeyels. Generic observability of differentiable systems. SIAM Journal on Control and Optimization , 19(5):595--603, 1981
work page 1981
-
[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
work page 2023
-
[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
work page 2016
-
[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
work page 2021
-
[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
arXiv 2023
-
[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
work page 2023
-
[8]
David E. Evans. Conditionally completely positive maps on operator algebras . The Quarterly Journal of Mathematics , 28(3):271--283, Sep 1977
work page 1977
Show all 37 references
-
[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
2012
-
[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
2020
-
[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
2005
-
[12]
Algebraic topology
Allen Hatcher. Algebraic topology . Cambridge University Press, Cambridge, 2015
2015
-
[13]
Hedemann
Samuel R. Hedemann. Explicit Inverse Confluent Vandermonde Matrices with Applications to Exponential Quantum Operators , 2017, arXiv:1709.05257
2017 arXiv
-
[14]
Horn and Charles R
Roger A. Horn and Charles R. Johnson. Matrix Analysis . Cambridge University Press, Cambridge; New York, 2nd edition, 2013
2013
-
[15]
Teiko Heinosaari, Luca Mazzarella, and Michael M. Wolf. Quantum tomography under prior information. Communications in Mathematical Physics , 318(2):355--374, Mar 2013
2013
-
[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
2000
-
[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
1960
-
[18]
Dynamical quantum tomography
Michael Kech. Dynamical quantum tomography. Journal of Mathematical Physics , 57(12):122201, Dec 2016
2016
-
[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
2021
-
[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
2023
-
[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
2004
-
[22]
Topology from the Differentiable Viewpoint
John Milnor. Topology from the Differentiable Viewpoint . University Press of Virginia, 1965
1965
-
[23]
B. S. Mityagin. The zero set of a real analytic function. Mathematical Notes , 107(3):529--530, Mar 2020
2020
-
[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
2010
-
[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
2016
-
[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
2025
-
[27]
Totally Positive Matrices
Allan Pinkus. Totally Positive Matrices . Cambridge Tracts in Mathematics. Cambridge University Press, 2009
2009
-
[28]
Robinson
James C. Robinson. Dimensions, Embeddings, and Attractors . Cambridge Tracts in Mathematics. Cambridge University Press, 2010
2010
-
[29]
R.E. Skelton. Dynamic Systems Control: Linear Systems Analysis and Synthesis . J. Wiley & Sons, 1988
1988
-
[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
1978
-
[31]
Yorke, and Martin Casdagli
Tim Sauer, James A. Yorke, and Martin Casdagli. Embedology. Journal of Statistical Physics , 65(3):579--616, Nov 1991
1991
-
[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
1980
-
[33]
L.W. Tu. An Introduction to Manifolds . Universitext. Springer New York, 2010
2010
-
[34]
Almost all quantum channels are diagonalizable
Frederik vom Ende. Almost all quantum channels are diagonalizable. Open Systems & Information Dynamics , 31(03):2450012, 2024
2024
-
[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
2009
-
[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
2001
-
[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
2020
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.