Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2604.21323

Sufficient support size of measurements for quantum estimation

Koichi Yamagata

quant-phSubmitted Apr 23, 2026• Announced Apr 24, 2026• 0 citations• Revised Aug 12, 2026 (v2)
v1 · Apr 23, 2026v2 · Aug 12, 2026
arXivHTMLPDF

Abstract

In quantum estimation for a $d$-parameter family of density operators on a finite-dimensional Hilbert space $\mathcal{H}$, an estimator is specified by a pair $\left(M,\hatθ\right)$, where $M$ is a POVM with a finite outcome set $Ω$ and $\hatθ:Ω\to\mathbb{R}^{d}$ is a classical estimator map. Since the number of outcomes $\left|Ω\right|$ is a priori unbounded, the space of admissible POVMs is vast, which makes the search for optimal estimators difficult. In this paper, for the minimization of the weighted trace of the mean squared error among locally unbiased estimators, we prove that it suffices to consider POVMs with at most $\left(\dim\mathcal{H}\right)^{2}+d(d+1)/2-1$ outcomes, and that the optimization can be restricted to rank-one measurements. For Bayesian estimation with a general loss function, we show that rank-one POVMs with at most $(\dim\mathcal{H})^{2}$ outcomes are sufficient for the infimum value of the Bayes risk. Furthermore, when the model admits a real sufficient subalgebra, we show that the $\left(\dim\mathcal{H}\right)^{2}$ term in the above support-size bounds can be reduced in both the locally unbiased and Bayesian settings. These bounds substantially reduce the search space for optimal measurements and justify restricting numerical optimization to rank-one POVMs with finitely many outcomes.

Comments
Revised version: generalized Bayesian results, clarified the use of infima and their attainment, added appendices on local regularity and nonattainment, and updated the discussion of related work

Related papers

Quantum Tomography by Regularized Linear Regression

Biqiang Mu, Hongsheng Qi, Ian R. Petersen +1 more

In this paper, we study extended linear regression approaches for quantum state tomography based on regularization techniques. For unknown quantum states represented by density matrices, performing measurements under certain basis yields random outcomes, from which a classical linear regression model can be established. First of all, for complete or over-complete measurement bases, we show that the empirical data can be utilized for the construction of a weighted least squares estimate (LSE) for quantum tomography. Taking into consideration the trace-one condition, a constrained weighted LSE can be explicitly computed, being the optimal unbiased estimation among all linear estimators. Next, for general measurement bases, we show that $\ell_2$-regularization with proper regularization gain provides even lower mean-square error under a cost in bias. The regularization parameter is tuned by two estimators in terms of a risk characterization. Finally, a concise and unified formula is established for the regularization parameter with complete measurement basis under an equivalent regression model, which proves that the proposed tuning estimators are asymptotically optimal as the number of samples grows to infinity under the risk metric. Additionally, numerical examples are provided to validate the established results.

arXiv:1904.11839•Apr 26, 2019•0 citations

Pure-State Quantum Tomography with Minimal Rank-One POVMs

Dan Edidin, Ivan Gonzalez, Itzhak Tamo

Quantum state tomography seeks to reconstruct an unknown state from measurement statistics. A finite measurement (POVM) is \emph{pure-state informationally complete} (PSI-Complete) if the outcome probabilities determine any pure state up to a global phase. We study \emph{rank-one} POVMs that are minimally sufficient for this task. We call such a POVM \emph{vital} if it is PSI-Complete but every proper subcollection is not PSI-Complete. We prove sharp upper bounds on the size of vital rank-one POVMs in dimension \(n\): the size is at most \(\binom{n+1}{2}\) over \(\mathbb{R}\) and at most \(n^{2}\) over \(\mathbb{C}\), and we give constructions that attain these bounds. In the real case, we further exhibit a connection to block designs: whenever \(w \mid n(n-1)\), an \((n,w,w-1)\) design produces a vital rank-one POVM with \(n + n(n-1)/w\) outcomes. We provide explicit constructions for \(w=2,n-1\), and \(n\).

quant-pharXiv:2511.09505•Nov 13, 2025•0 citations

Quantum Multi-Parameter Adaptive Bayesian Estimation and Application to Super-Resolution Imaging

Kwan Kit Lee, Christos N. Gagatsos, Saikat Guha +1 more

In Bayesian estimation theory, the estimator ${\hat θ} = E[θ|l]$ attains the minimum mean squared error (MMSE) for estimating a scalar parameter of interest $θ$ from the observation of $l$ through a noisy channel $P_{l|θ}$, given a prior $P_θ$ on $θ$. In quantum sensing tasks, the user gets $ρ_θ$, the quantum state that encodes $θ$. They choose a measurement, a positive-operator valued measure (POVM) $Π_l$, which induces the channel $P_{l|θ} = {\rm Tr}(ρ_θΠ_l)$ to the measurement outcome $l$, on which the aforesaid classical MMSE estimator is employed. Personick found the optimum POVM $Π_l$ that minimizes the MMSE over all possible measurements, and that MMSE. This result from 1971 is less-widely known than the quantum Fisher information (QFI), which lower bounds the variance of an unbiased estimator over all measurements, when $P_θ$ is unavailable. For multi-parameter estimation, i.e., when $θ$ is a vector, in Fisher quantum estimation theory, the inverse of the QFI matrix provides an operator lower bound to the covariance of an unbiased estimator. However, there has been little work on quantifying quantum limits and measurement designs, for multi-parameter quantum estimation in the {\em Bayesian} setting. In this paper, we build upon Personick's result to construct a Bayesian adaptive measurement scheme for multi-parameter estimation when $N$ copies of $ρ_θ$ are available. We illustrate an application to localizing a cluster of point emitters in a highly sub-Rayleigh angular field-of-view, an important problem in fluorescence microscopy and astronomy. Our algorithm translates to a multi-spatial-mode transformation prior to a photon-detection array, with electro-optic feedback to adapt the mode sorter. We show that this receiver performs far superior to quantum-noise-limited focal-plane direct imaging.

arXiv:2202.09980•Feb 21, 2022•1 citation

Global Bounds beyond Local Quantum Metrology

Hai-Long Shi, Augusto Smerzi

Quantum Cramér--Rao theory is intrinsically local: it bounds precision near a specified parameter value, and its saturating measurement generally depends on that value. Barankin-type bounds use finite parameter displacements, but remain anchored to a chosen reference value. This leaves open a basic global-estimation problem: when the parameter is known only within a broad domain, what precision can be guaranteed by a single estimator and a single measurement strategy fixed before the true value is localized? We answer this question by introducing global score functions tied to a weighted variance over the whole parameter domain. Their correlations generate a hierarchy of precision bounds: global Cramér--Rao and Barankin-type bounds arise as restricted levels, whereas unrestricted score correlations yield a fully global bound for the prescribed weighted variance. The hierarchy recovers local Cramér--Rao theory in the many-repetition limit and reveals genuinely global precision limits for finite data over broad domains. In the quantum setting, the construction identifies when this fully global bound can be realized by a single parameter-independent measurement. The same framework extends to Bayesian estimation, recovering the Van Trees bound in the local limit while yielding stronger finite-width lower bounds on the Bayesian mean-square error beyond this limit.

quant-pharXiv:2605.28374•May 28, 2026•0 citations

Quantum tomography under prior information

Teiko Heinosaari, Luca Mazzarella, Michael +1 more

Abstract. We provide a detailed analysis of the question: how many measurement settings or outcomes are needed in order to identify a quantum system which is constrained by prior information? We show that if the prior information restricts the system to a set of lower dimensionality, then topological obstructions can increase the required number of outcomes by a factor of two over the number of real parameters needed to characterize the system. Conversely, we show that almost every measurement becomes informationally complete with respect to the constrained set if the number of outcomes exceeds twice the Minkowski dimension of the set. We apply the obtained results to determine the minimal number of outcomes of measurements which are informationally complete with respect to states with rank constraints. In particular, we show that 4d − 4 measurement outcomes (POVM elements) is enough in order to identify all pure states in a d-dimensional Hilbert space, and that the minimal number is at most 2 log2(d) smaller than this upper bound. 1.

•Aug 17, 2016•160 citations

Sample-Efficient Quantum State Tomography for Structured Quantum States in One Dimension

Zhen Qin, Casey Jameson, Alireza Goldar +3 more

While quantum state tomography (QST) remains the gold standard for benchmarking and verifying quantum devices, it requires an exponentially large number of measurements and classical computational resources for generic quantum many-body systems, making it impractical even for intermediate-size quantum devices. Fortunately, many physical quantum states often exhibit certain low-dimensional structures that enable the development of efficient QST. A notable example is the class of states represented by matrix product operators (MPOs) with a finite matrix/bond dimension, which include most physical states in one dimension and where the number of independent parameters describing the states only grows linearly with the number of qubits. Whether a sample efficient quantum state tomography protocol, where the number of required state copies scales only linearly as the number of parameters describing the state, exists for a generic MPO state still remains an important open question. In this paper, we answer this fundamental question affirmatively by using a class of informationally complete positive operator-valued measures (IC-POVMs) -- including symmetric IC-POVMs (SIC-POVMs) and spherical $t$-designs -- focusing on sample complexity while not accounting for the implementation complexity of the measurement settings. For SIC-POVMs and (approximate) spherical 2-designs, we show that the number of state copies to guarantee bounded recovery error of an MPO state with a constrained least-squares estimator depends on the probability distribution of the MPO under the POVM but scales only linearly with $n$ when the distribution is approximately uniform. For spherical $t$-designs with $t\geq 3$, we prove that only a number of state copies proportional to the number of independent parameters in the MPO is sufficient for a guaranteed recovery of any state represented by an MPO.

arXiv:2410.02583•Oct 3, 2024•0 citations
In quantum estimation for a ddd-parameter family of density operators on a finite-dimensional Hilbert space H\mathcal{H}H, an estimator is specified by a pair (M,θ^)\left(M,\hatθ\right)(M,θ^), where MMM is a POVM with a finite outcome set ΩΩΩ and θ^:Ω→Rd\hatθ:Ω\to\mathbb{R}^{d}θ^:Ω→Rd is a classical estimator map. Since the number of outcomes ∣Ω∣\left|Ω\right|∣Ω∣ is a priori unbounded, the space of admissible POVMs is vast, which makes the search for optimal estimators difficult. In this paper, for the minimization of the weighted trace of the mean squared error among locally unbiased estimators, we prove that it suffices to consider POVMs with at most (dim⁡H)2+d(d+1)/2−1\left(\dim\mathcal{H}\right)^{2}+d(d+1)/2-1(dimH)2+d(d+1)/2−1 outcomes, and that the optimization can be restricted to rank-one measurements. For Bayesian estimation with a general loss function, we show that rank-one POVMs with at most (dim⁡H)2(\dim\mathcal{H})^{2}(dimH)2 outcomes are sufficient for the infimum value of the Bayes risk. Furthermore, when the model admits a real sufficient subalgebra, we show that the (dim⁡H)2\left(\dim\mathcal{H}\right)^{2}(dimH)2 term in the above support-size bounds can be reduced in both the locally unbiased and Bayesian settings. These bounds substantially reduce the search space for optimal measurements and justify restricting numerical optimization to rank-one POVMs with finitely many outcomes.
In this paper, we study extended linear regression approaches for quantum state tomography based on regularization techniques. For unknown quantum states represented by density matrices, performing measurements under certain basis yields random outcomes, from which a classical linear regression model can be established. First of all, for complete or over-complete measurement bases, we show that the empirical data can be utilized for the construction of a weighted least squares estimate (LSE) for quantum tomography. Taking into consideration the trace-one condition, a constrained weighted LSE can be explicitly computed, being the optimal unbiased estimation among all linear estimators. Next, for general measurement bases, we show that ℓ2\ell_2ℓ2​-regularization with proper regularization gain provides even lower mean-square error under a cost in bias. The regularization parameter is tuned by two estimators in terms of a risk characterization. Finally, a concise and unified formula is established for the regularization parameter with complete measurement basis under an equivalent regression model, which proves that the proposed tuning estimators are asymptotically optimal as the number of samples grows to infinity under the risk metric. Additionally, numerical examples are provided to validate the established results.
Quantum state tomography seeks to reconstruct an unknown state from measurement statistics. A finite measurement (POVM) is \emph{pure-state informationally complete} (PSI-Complete) if the outcome probabilities determine any pure state up to a global phase. We study \emph{rank-one} POVMs that are minimally sufficient for this task. We call such a POVM \emph{vital} if it is PSI-Complete but every proper subcollection is not PSI-Complete. We prove sharp upper bounds on the size of vital rank-one POVMs in dimension nnn: the size is at most (n+12)\binom{n+1}{2}(2n+1​) over R\mathbb{R}R and at most n2n^{2}n2 over C\mathbb{C}C, and we give constructions that attain these bounds. In the real case, we further exhibit a connection to block designs: whenever w∣n(n−1)w \mid n(n-1)w∣n(n−1), an (n,w,w−1)(n,w,w-1)(n,w,w−1) design produces a vital rank-one POVM with n+n(n−1)/wn + n(n-1)/wn+n(n−1)/w outcomes. We provide explicit constructions for w=2,n−1w=2,n-1w=2,n−1, and nnn.
In Bayesian estimation theory, the estimator θ^=E[θ∣l]{\hat θ} = E[θ|l]θ^=E[θ∣l] attains the minimum mean squared error (MMSE) for estimating a scalar parameter of interest θθθ from the observation of lll through a noisy channel Pl∣θP_{l|θ}Pl∣θ​, given a prior PθP_θPθ​ on θθθ. In quantum sensing tasks, the user gets ρθρ_θρθ​, the quantum state that encodes θθθ. They choose a measurement, a positive-operator valued measure (POVM) ΠlΠ_lΠl​, which induces the channel Pl∣θ=Tr(ρθΠl)P_{l|θ} = {\rm Tr}(ρ_θΠ_l)Pl∣θ​=Tr(ρθ​Πl​) to the measurement outcome lll, on which the aforesaid classical MMSE estimator is employed. Personick found the optimum POVM ΠlΠ_lΠl​ that minimizes the MMSE over all possible measurements, and that MMSE. This result from 1971 is less-widely known than the quantum Fisher information (QFI), which lower bounds the variance of an unbiased estimator over all measurements, when PθP_θPθ​ is unavailable. For multi-parameter estimation, i.e., when θθθ is a vector, in Fisher quantum estimation theory, the inverse of the QFI matrix provides an operator lower bound to the covariance of an unbiased estimator. However, there has been little work on quantifying quantum limits and measurement designs, for multi-parameter quantum estimation in the {\em Bayesian} setting. In this paper, we build upon Personick's result to construct a Bayesian adaptive measurement scheme for multi-parameter estimation when NNN copies of ρθρ_θρθ​ are available. We illustrate an application to localizing a cluster of point emitters in a highly sub-Rayleigh angular field-of-view, an important problem in fluorescence microscopy and astronomy. Our algorithm translates to a multi-spatial-mode transformation prior to a photon-detection array, with electro-optic feedback to adapt the mode sorter. We show that this receiver performs far superior to quantum-noise-limited focal-plane direct imaging.
Quantum Cramér--Rao theory is intrinsically local: it bounds precision near a specified parameter value, and its saturating measurement generally depends on that value. Barankin-type bounds use finite parameter displacements, but remain anchored to a chosen reference value. This leaves open a basic global-estimation problem: when the parameter is known only within a broad domain, what precision can be guaranteed by a single estimator and a single measurement strategy fixed before the true value is localized? We answer this question by introducing global score functions tied to a weighted variance over the whole parameter domain. Their correlations generate a hierarchy of precision bounds: global Cramér--Rao and Barankin-type bounds arise as restricted levels, whereas unrestricted score correlations yield a fully global bound for the prescribed weighted variance. The hierarchy recovers local Cramér--Rao theory in the many-repetition limit and reveals genuinely global precision limits for finite data over broad domains. In the quantum setting, the construction identifies when this fully global bound can be realized by a single parameter-independent measurement. The same framework extends to Bayesian estimation, recovering the Van Trees bound in the local limit while yielding stronger finite-width lower bounds on the Bayesian mean-square error beyond this limit.
Abstract. We provide a detailed analysis of the question: how many measurement settings or outcomes are needed in order to identify a quantum system which is constrained by prior information? We show that if the prior information restricts the system to a set of lower dimensionality, then topological obstructions can increase the required number of outcomes by a factor of two over the number of real parameters needed to characterize the system. Conversely, we show that almost every measurement becomes informationally complete with respect to the constrained set if the number of outcomes exceeds twice the Minkowski dimension of the set. We apply the obtained results to determine the minimal number of outcomes of measurements which are informationally complete with respect to states with rank constraints. In particular, we show that 4d − 4 measurement outcomes (POVM elements) is enough in order to identify all pure states in a d-dimensional Hilbert space, and that the minimal number is at most 2 log2(d) smaller than this upper bound. 1.
While quantum state tomography (QST) remains the gold standard for benchmarking and verifying quantum devices, it requires an exponentially large number of measurements and classical computational resources for generic quantum many-body systems, making it impractical even for intermediate-size quantum devices. Fortunately, many physical quantum states often exhibit certain low-dimensional structures that enable the development of efficient QST. A notable example is the class of states represented by matrix product operators (MPOs) with a finite matrix/bond dimension, which include most physical states in one dimension and where the number of independent parameters describing the states only grows linearly with the number of qubits. Whether a sample efficient quantum state tomography protocol, where the number of required state copies scales only linearly as the number of parameters describing the state, exists for a generic MPO state still remains an important open question. In this paper, we answer this fundamental question affirmatively by using a class of informationally complete positive operator-valued measures (IC-POVMs) -- including symmetric IC-POVMs (SIC-POVMs) and spherical ttt-designs -- focusing on sample complexity while not accounting for the implementation complexity of the measurement settings. For SIC-POVMs and (approximate) spherical 2-designs, we show that the number of state copies to guarantee bounded recovery error of an MPO state with a constrained least-squares estimator depends on the probability distribution of the MPO under the POVM but scales only linearly with nnn when the distribution is approximately uniform. For spherical ttt-designs with t≥3t\geq 3t≥3, we prove that only a number of state copies proportional to the number of independent parameters in the MPO is sufficient for a guaranteed recovery of any state represented by an MPO.