We extend quantum state tomography with minimal cumulative disturbance, first investigated in [arXiv:2406.18370], to arbitrary finite-dimensional pure states. A learner sequentially receives fresh copies of an unknown pure state, chooses a rank-one projector for each copy using the previous outcomes, and performs the corresponding two-outcome projective measurement. The goal is to learn the state while keeping the chosen projectors close to the unknown state in order to minimize disturbance. The qubit solution relies on the special geometry of the Bloch sphere and does not extend directly to qudits, where pure states form a curved manifold. We show that this obstruction can be overcome by working locally on the pure-state manifold. The algorithm proceeds in epochs. In each epoch, it fixes a current estimate, measures pairs of nearby rank-one projectors obtained by moving in opposite tangent directions, and takes differences of the corresponding outcomes. This gives an exact linear observation of the tangent component of the error. The resulting local linear models are combined with a robust variance-adaptive estimator and a hot-start regularization that transfers precision across epochs. For every unknown pure state in dimension \(d\), after \(T\) measured copies, our protocol achieves cumulative regret \(\mathcal{O}(d^3\log^2 T)\), and at each intermediate time \(t\leq T\) its current estimate has online infidelity \(\mathcal{O}(d^3\log(T)/t)\). Hence, pure-state tomography with essentially no cumulative disturbance is not a peculiarity of qubits but a geometric phenomenon that persists for qudits.
We extend quantum state tomography with minimal cumulative disturbance, first investigated in [arXiv:2406.18370], to arbitrary finite-dimensional pure states. A learner sequentially receives fresh copies of an unknown pure state, chooses a rank-one projector for each copy using the previous outcomes, and performs the corresponding two-outcome projective measurement. The goal is to learn the state while keeping the chosen projectors close to the unknown state in order to minimize disturbance. The qubit solution relies on the special geometry of the Bloch sphere and does not extend directly to qudits, where pure states form a curved manifold. We show that this obstruction can be overcome by working locally on the pure-state manifold. The algorithm proceeds in epochs. In each epoch, it fixes a current estimate, measures pairs of nearby rank-one projectors obtained by moving in opposite tangent directions, and takes differences of the corresponding outcomes. This gives an exact linear observation of the tangent component of the error. The resulting local linear models are combined with a robust variance-adaptive estimator and a hot-start regularization that transfers precision across epochs. For every unknown pure state in dimension (d), after (T) measured copies, our protocol achieves cumulative regret (\mathcal{O}(d^3\log^2 T)), and at each intermediate time (t\leq T) its current estimate has online infidelity (\mathcal{O}(d^3\log(T)/t)). Hence, pure-state tomography with essentially no cumulative disturbance is not a peculiarity of qubits but a geometric phenomenon that persists for qudits.
We initiate the study of sample-optimal quantum state tomography with minimal disturbance to the samples. Can we efficiently learn a precise description of a quantum state through sequential measurements of samples while at the same time ensuring that the post-measurement states are only minimally perturbed? We quantify the accumulated cost of the protocol over T samples by an additive regret objective, which controls the cumulative expected post-measurement infidelity of the consumed copies. The challenge is to balance informative measurements with measurements that keep this accumulated cost small. Here, we answer this question for all pure states by exhibiting an adaptive protocol whose expected regret is O(d3log2T) , while the infidelity of the online estimate after t samples scales as O(1/t) . We also prove a logarithmic lower bound, showing that for fixed dimension, the dependence on the number of samples is optimal up to one logarithmic factor.
Quantum state tomography is fundamental to quantum information processing but becomes infeasible at scale due to the exponential growth of the state space. Shadow tomography alleviates this challenge by focusing on predicting measurement outcomes rather than reconstructing the full state. Its online variant models adaptive and potentially adversarial measurement scenarios, where a learner sequentially predicts outcomes while competing with the best fixed quantum state in hindsight.
We show that exploiting additional structure in the measurements leads to significantly stronger regret guarantees. In particular, under the assumption that the adversarial measurements have bounded Frobenius norm, we analyze online mirror descent and derive optimal regret bounds that depend on intrinsic structural properties, such as rank or sparsity in the standard basis, rather than the dimension of the measurement operators. As a complementary result, we also show that, even in the setting where adversarial measurements are known to be sparse in the Pauli basis commonly used in variational quantum eigensolvers and near-term quantum error mitigation, the underlying regret bound for learning quantum states is the same as that obtained in the generic setting, where the adversarial measurements are not known to possess any particular structure.
Abstract Suppose we have many copies of an unknown n -qubit state . We measure some copies of using a known two-outcome measurement E 1 , then other copies using a measurement E 2 , and so on. At each stage t , we generate a current hypothesis about the state , using the outcomes of the previous measurements. We show that it is possible to do this in a way that guarantees that , the error in our prediction for the next measurement, is at least at most times. Even in the ‘non-realizable’ setting—where there could be arbitrary noise in the measurement outcomes—we show how to output hypothesis states that incur at most excess loss over the best possible state on the first T measurements. These results generalize a 2007 theorem by Aaronson on the PAC-learnability of quantum states, to the online and regret-minimization settings. We give three different ways to prove our results—using convex optimization, quantum postselection, and sequential fat-shattering dimension—which have different advantages in terms of parameters and portability.
This thesis studies the exploration and exploitation trade-off in online learning of properties of quantum states using multi-armed bandits. Given streaming access to an unknown quantum state, in each round we select an observable from a set of actions to maximize its expectation value. Using past information, we refine actions to minimize regret; the cumulative gap between current reward and the maximum possible. We derive information-theoretic lower bounds and optimal strategies with matching upper bounds, showing regret typically scales as the square root of rounds. As an application, we reframe quantum state tomography to both learn the state efficiently and minimize measurement disturbance. For pure states and continuous actions, we achieve polylogarithmic regret using a sample-optimal algorithm based on a weighted online least squares estimator. The algorithm relies on the optimistic principle and controls the eigenvalues of the design matrix. We also apply our framework to quantum recommender systems and thermodynamic work extraction from unknown states. In this last setting, our results demonstrate an exponential advantage in work dissipation over tomography-based protocols.
A longstanding belief in quantum tomography is that estimating a mixed state is far harder than estimating a pure state. This is borne out in the mathematics, where mixed state algorithms have always required more sophisticated techniques to design and analyze than pure state algorithms. We present a new approach to tomography demonstrating that, contrary to this belief, state-of-the-art mixed state tomography follows easily and naturally from pure state algorithms.
We analyze the following strategy: given n copies of an unknown state ρ, convert them into copies of a purification ∣ρ⟩; run a pure state tomography algorithm to produce an estimate of ∣ρ⟩; and output the resulting estimate of ρ. The purification subroutine was recently discovered via the "acorn trick" of Tang, Wright, and Zhandry. With this strategy, we obtain the first tomography algorithm which is sample-optimal in all parameters. For a rank-rd-dimensional state, it uses n=O((rd+log(1/δ))/ε) samples to output an estimate which is ε-close in fidelity with probability at least 1−δ. This algorithm also uses poly(n) gates, making it the first gate-efficient tomography algorithm which is sample-optimal even in terms of the dimension d alone. Moreover, with this method we recover essentially all results on mixed state tomography, including its applications to tomography with limited entanglement, classical shadows, and quantum metrology. Our proofs are simple, closing the gap in conceptual difficulty between mixed and pure tomography. Our results also clarify the role of entangled measurement in mixed state tomography: the only step of the algorithm which requires entanglement across copies is the purification step, suggesting that, for tomography, the reason entanglement is useful is for consistent purification.
For any finite-dimensional Hilbert space, we construct explicitly five orthonormal bases such that the corresponding measurements allow for efficient tomography of an arbitrary pure quantum state. This means that such measurements can be used to distinguish an arbitrary pure state from any other state, pure or mixed, and the pure state can be reconstructed from the outcome distribution in a feasible way. The set of measurements we construct is independent of the unknown state, and therefore our results provide a fixed scheme for pure state tomography, as opposed to the adaptive (state-dependent) scheme proposed by Goyeneche et al. ( Phys. Rev. Lett. , 115 (2015) 090401). We show that our scheme is robust with respect to noise, in the sense that any measurement scheme which approximates these measurements well enough is equally suitable for pure state tomography. Finally, we present two convex programs which can be used to reconstruct the unknown pure state from the measurement outcome distributions.