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:2609.29348

Classical Sufficiency in Quantum Statistical Experiments

Samriddha Lahiry

math.STmath-phquant-phSubmitted Sep 24, 2026• Announced Sep 25, 2026• 0 citations
arXivHTMLPDF

Abstract

A quantum measurement transforms a quantum statistical experiment into a classical one, but different measurements generally yield experiments with different statistical information. We introduce quantum-to-classical sufficiency: relative to a prescribed measurement class, a measurement is sufficient if its induced classical experiment Blackwell-dominates those from every other measurement in the class. This separates two components of quantum inference: reducing the measurement class through symmetry or decision-theoretic arguments, and identifying a canonical measurement in the reduced class by an experiment-level sufficiency condition. We establish a factorization criterion where the parameter enters the group-averaged experiment only through weights of an orthogonal block decomposition. The block-label measurement is then sufficient relative to all invariant measurements. For tensor-product models under unitary conjugation, this identifies weak Schur sampling as the sufficient measurement for spectral inference. Combined with risk-preserving symmetrization, it reduces invariant Bayes and minimax problems over all measurements exactly to classical decision problems based on Young diagrams. We derive sharp first-order asymptotic Bayes and minimax risks for smooth spectral functionals. We establish an analogous reduction for a noncompact group action in a continuous-variable setting. We consider displaced thermal states and functionals of the thermal parameter with an unknown displacement. Within displacement-invariant measurements, total residual photon number measurement emerges as the sufficient measurement. Combined with Hunt-Stein reduction, this yields exact finite-sample reductions of Bayes-minimax and minimax problems over all measurements to classical decision problems based on the total residual photon count, which follows a negative binomial distribution.

Comments
78 pages

Related papers

Minimax estimation of low-rank quantum states and their linear functionals

Samriddha Lahiry, Michael Nussbaum

In classical statistics, a well known paradigm consists in establishing asymptotic equivalence between an experiment of i.i.d. observations and a Gaussian shift experiment, with the aim of obtaining optimal estimators in the former complicated model from the latter simpler model. In particular, a statistical experiment consisting of n i.i.d. observations from d-dimensional multinomial distributions can be well approximated by an experiment consisting of d−1 dimensional Gaussian distributions. In a quantum version of the result, it has been shown that a collection of n qudits (d-dimensional quantum states) of full rank can be well approximated by a quantum system containing a classical part, which is a d−1 dimensional Gaussian distribution, and a quantum part containing an ensemble of d(d−1)∕2 shifted thermal states. In this paper, we obtain a generalization of this result when the qudits are not of full rank. We show that when the rank of the qudits is r, then the limiting experiment consists of an r−1 dimensional Gaussian distribution and an ensemble of both shifted pure and shifted thermal states. For estimation purposes, we establish an asymptotic minimax result in the limiting Gaussian model. Analogous results are then obtained for estimation of a low rank qudit from an ensemble of identically prepared, independent quantum systems, using the local asymptotic equivalence result. We also consider the problem of estimation of a linear functional of the quantum state. We construct an estimator for the functional, analyze the risk and use quantum local asymptotic equivalence to show that our estimator is also optimal in the minimax sense.

arXiv:2111.03279•Bernoulli•Nov 8, 2023•3 citations

Symmetry Discovery in Quantum Learning: Observable-Level and Task-Level Inference from Finite Measurements

Zeyu Chen

Symmetry reduces the capacity of a quantum learning model, but the imposed group must match both the measured information and the label transformation. We establish a finite-measurement theory for inferring this group from candidate transformations. The central structural result identifies observable-invisible transformations with the stabilizer of a projected state whenever the probe span is invariant. It turns recovered generators into a valid subgroup and identifies the continuous invisible space with its Lie algebra. For finite dictionaries, an unbiased shadow statistic distinguishes zero from positive squared expectation discrepancies with an inverse-gap measurement rate, improving the inverse-square-gap rate of uniform discrepancy estimation. A commuting qubit lower bound proves the gap dependence optimal at fixed snapshot scale, and simultaneous intervals support data-dependent tolerances. Task validation then tests either the joint distribution through a characteristic kernel or its encoded mean through a classical--quantum discrepancy. An exact group-average identity relates the latter to joint-state asymmetry and specifies its conversion to binary task breaking mass. Projection bias quantifies the cost of excessive symmetry, while an $\ell_1$ readout bound quantifies the capacity gained by relaxing it. At an invariant pure-state backbone, retained and nontrivial breaking sectors are Fisher-orthogonal. Ising-chain calculations connect finite-shot recovery, label-dependent symmetry, and physical sector drift. These results determine which symmetry the measurements support and provide the statistical and geometric basis for a subsequent release decision.

quant-pharXiv:2610.00157•Sep 14, 2026•0 citations

Statistical inference with quantum measurements: methodologies for nitrogen vacancy centers in diamond

Ian Hincks, Christopher Granade, David G. Cory

The analysis of photon count data from the standard nitrogen vacancy (NV) measurement process is treated as a statistical inference problem. This has applications toward gaining better and more rigorous error bars for tasks such as parameter estimation (e.g. magnetometry), tomography, and randomized benchmarking. We start by providing a summary of the standard phenomenological model of the NV optical process in terms of Lindblad jump operators. This model is used to derive random variables describing emitted photons during measurement, to which finite visibility, dark counts, and imperfect state preparation are added. NV spin-state measurement is then stated as an abstract statistical inference problem consisting of an underlying biased coin obstructed by three Poisson rates. Relevant frequentist and Bayesian estimators are provided, discussed, and quantitatively compared. We show numerically that the risk of the maximum likelihood estimator is well approximated by the Cramér–Rao bound, for which we provide a simple formula. Of the estimators, we in particular promote the Bayes estimator, owing to its slightly better risk performance, and straightforward error propagation into more complex experiments. This is illustrated on experimental data, where quantum Hamiltonian learning is performed and cross-validated in a fully Bayesian setting, and compared to a more traditional weighted least squares fit.

arXiv:1705.10897•New Journal of Physics•Nov 27, 2017•20 citations

Measurement-induced phase transitions in quantum inference problems and quantum hidden Markov models

Sunwoo Kim, Curt W. von Keyserlingk, Austen Lamacraft

Recently, there is interest in coincident “sharpening” and “learnability” transitions in monitored quantum systems. In the latter, an outside observer's ability to infer properties of a quantum system from measurements undergoes a phase transition. Such transitions appear to be related to the decodability transition in quantum error correction, but the precise connection is not clear. Here, we study these problems under one framework we call the general quantum inference problem. In cases as above where the system has a Markov structure, we say that the inference is on a quantum hidden Markov model. We show a formal connection to classical hidden Markov models and that they coincide for certain setups. For example, we prove this for those involving Haar-random unitaries and measurements. We introduce the notion of Bayes nonoptimality, where parameters used for inference differs from true ones. This allows us to expand the phase diagrams of above models. At Bayes optimality, we obtain an explicit relation between “sharpening” and “learnability” order parameters, explicitly showing that the two transitions coincide. Next, we study concrete examples. We review quantum error correction on the toric and repetition code and their mapping to two-dimensional (2D) random-bond Ising model (RBIM) through our framework. We study the Haar-random U ( 1 ) -symmetric monitored quantum circuit and tree, mapping each to inference models that we call the planted simple symmetric exclusion process and planted , respectively, and expanding the phase diagram to Bayes nonoptimality. For the circuit, we deduce the phase boundary numerically and analytically argue that it is of a single universality class. For the tree, we present an exact solution of the entire phase boundary, which displays re-entrance as does the 2D RBIM. We discuss these phase diagrams, with their interpretations for quantum inference problems and rigorous arguments on their shapes.

arXiv:2504.08888•Physical Review Research•Jan 15, 2026•0 citations

Local Asymptotic Normality and Optimal Estimation of low-rank Quantum Systems

Samriddha Lahiry, Michael Nussbaum

In classical statistics, a statistical experiment consisting of $n$ i.i.d observations from d-dimensional multinomial distributions can be well approximated by a $d-1$ dimensional Gaussian distribution. In a quantum version of the result it has been shown that a collection of $n$ qudits of full rank can be well approximated by a quantum system containing a classical part, which is a $d-1$ dimensional Gaussian distribution, and a quantum part containing an ensemble of $d(d-1)/2$ shifted thermal states. In this paper, we obtain a generalization of this result when the qudits are not of full rank. We show that when the rank of the qudits is $r$, then the limiting experiment consists of an $r-1$ dimensional Gaussian distribution and an ensemble of both shifted pure and shifted thermal states. We also outline a two-stage procedure for the estimation of the low-rank qudit, where we obtain an estimator which is sharp minimax optimal. For the estimation of a linear functional of the quantum state, we construct an estimator, analyze the risk and use quantum LAN to show that our estimator is also optimal in the minimax sense.

•Nov 5, 2021•1 citation

Minimal sufficient statistical experiments on von Neumann algebras

Yui Kuramochi

A statistical experiment on a von Neumann algebra is a parametrized family of normal states on the algebra. This paper introduces the concept of minimal sufficiency for statistical experiments in such operator algebraic situations. We define equivalence relations of statistical experiments indexed by a common parameter set by completely positive or Schwarz coarse-graining and show that any statistical experiment is equivalent to a minimal sufficient statistical experiment unique up to normal isomorphism of outcome algebras. We also establish the relationship between the minimal sufficiency condition for a statistical experiment in this paper and those for subalgebra. These concepts and results are applied to the concatenation relation for completely positive channels with general input and outcome von Neumann algebras. In the case of the quantum-classical channel corresponding to the positive-operator valued measure (POVM), we prove the equivalence of the minimal sufficient condition previously proposed by the author and that in this paper. We also give a characterization of the discreteness of a POVM up to postprocessing equivalence in terms of the corresponding quantum-classical channel.

arXiv:1701.03394•Journal of Mathematical Physics•Jun 1, 2017•7 citations
A quantum measurement transforms a quantum statistical experiment into a classical one, but different measurements generally yield experiments with different statistical information. We introduce quantum-to-classical sufficiency: relative to a prescribed measurement class, a measurement is sufficient if its induced classical experiment Blackwell-dominates those from every other measurement in the class. This separates two components of quantum inference: reducing the measurement class through symmetry or decision-theoretic arguments, and identifying a canonical measurement in the reduced class by an experiment-level sufficiency condition.
We establish a factorization criterion where the parameter enters the group-averaged experiment only through weights of an orthogonal block decomposition. The block-label measurement is then sufficient relative to all invariant measurements. For tensor-product models under unitary conjugation, this identifies weak Schur sampling as the sufficient measurement for spectral inference. Combined with risk-preserving symmetrization, it reduces invariant Bayes and minimax problems over all measurements exactly to classical decision problems based on Young diagrams. We derive sharp first-order asymptotic Bayes and minimax risks for smooth spectral functionals.
We establish an analogous reduction for a noncompact group action in a continuous-variable setting. We consider displaced thermal states and functionals of the thermal parameter with an unknown displacement. Within displacement-invariant measurements, total residual photon number measurement emerges as the sufficient measurement. Combined with Hunt-Stein reduction, this yields exact finite-sample reductions of Bayes-minimax and minimax problems over all measurements to classical decision problems based on the total residual photon count, which follows a negative binomial distribution.
In classical statistics, a well known paradigm consists in establishing asymptotic equivalence between an experiment of i.i.d. observations and a Gaussian shift experiment, with the aim of obtaining optimal estimators in the former complicated model from the latter simpler model. In particular, a statistical experiment consisting of n i.i.d. observations from d-dimensional multinomial distributions can be well approximated by an experiment consisting of d−1 dimensional Gaussian distributions. In a quantum version of the result, it has been shown that a collection of n qudits (d-dimensional quantum states) of full rank can be well approximated by a quantum system containing a classical part, which is a d−1 dimensional Gaussian distribution, and a quantum part containing an ensemble of d(d−1)∕2 shifted thermal states. In this paper, we obtain a generalization of this result when the qudits are not of full rank. We show that when the rank of the qudits is r, then the limiting experiment consists of an r−1 dimensional Gaussian distribution and an ensemble of both shifted pure and shifted thermal states. For estimation purposes, we establish an asymptotic minimax result in the limiting Gaussian model. Analogous results are then obtained for estimation of a low rank qudit from an ensemble of identically prepared, independent quantum systems, using the local asymptotic equivalence result. We also consider the problem of estimation of a linear functional of the quantum state. We construct an estimator for the functional, analyze the risk and use quantum local asymptotic equivalence to show that our estimator is also optimal in the minimax sense.
Symmetry reduces the capacity of a quantum learning model, but the imposed group must match both the measured information and the label transformation. We establish a finite-measurement theory for inferring this group from candidate transformations. The central structural result identifies observable-invisible transformations with the stabilizer of a projected state whenever the probe span is invariant. It turns recovered generators into a valid subgroup and identifies the continuous invisible space with its Lie algebra. For finite dictionaries, an unbiased shadow statistic distinguishes zero from positive squared expectation discrepancies with an inverse-gap measurement rate, improving the inverse-square-gap rate of uniform discrepancy estimation. A commuting qubit lower bound proves the gap dependence optimal at fixed snapshot scale, and simultaneous intervals support data-dependent tolerances. Task validation then tests either the joint distribution through a characteristic kernel or its encoded mean through a classical--quantum discrepancy. An exact group-average identity relates the latter to joint-state asymmetry and specifies its conversion to binary task breaking mass. Projection bias quantifies the cost of excessive symmetry, while an ℓ1\ell_1ℓ1​ readout bound quantifies the capacity gained by relaxing it. At an invariant pure-state backbone, retained and nontrivial breaking sectors are Fisher-orthogonal. Ising-chain calculations connect finite-shot recovery, label-dependent symmetry, and physical sector drift. These results determine which symmetry the measurements support and provide the statistical and geometric basis for a subsequent release decision.
The analysis of photon count data from the standard nitrogen vacancy (NV) measurement process is treated as a statistical inference problem. This has applications toward gaining better and more rigorous error bars for tasks such as parameter estimation (e.g. magnetometry), tomography, and randomized benchmarking. We start by providing a summary of the standard phenomenological model of the NV optical process in terms of Lindblad jump operators. This model is used to derive random variables describing emitted photons during measurement, to which finite visibility, dark counts, and imperfect state preparation are added. NV spin-state measurement is then stated as an abstract statistical inference problem consisting of an underlying biased coin obstructed by three Poisson rates. Relevant frequentist and Bayesian estimators are provided, discussed, and quantitatively compared. We show numerically that the risk of the maximum likelihood estimator is well approximated by the Cramér–Rao bound, for which we provide a simple formula. Of the estimators, we in particular promote the Bayes estimator, owing to its slightly better risk performance, and straightforward error propagation into more complex experiments. This is illustrated on experimental data, where quantum Hamiltonian learning is performed and cross-validated in a fully Bayesian setting, and compared to a more traditional weighted least squares fit.
Recently, there is interest in coincident “sharpening” and “learnability” transitions in monitored quantum systems. In the latter, an outside observer's ability to infer properties of a quantum system from measurements undergoes a phase transition. Such transitions appear to be related to the decodability transition in quantum error correction, but the precise connection is not clear. Here, we study these problems under one framework we call the general quantum inference problem. In cases as above where the system has a Markov structure, we say that the inference is on a quantum hidden Markov model. We show a formal connection to classical hidden Markov models and that they coincide for certain setups. For example, we prove this for those involving Haar-random unitaries and measurements. We introduce the notion of Bayes nonoptimality, where parameters used for inference differs from true ones. This allows us to expand the phase diagrams of above models. At Bayes optimality, we obtain an explicit relation between “sharpening” and “learnability” order parameters, explicitly showing that the two transitions coincide. Next, we study concrete examples. We review quantum error correction on the toric and repetition code and their mapping to two-dimensional (2D) random-bond Ising model (RBIM) through our framework. We study the Haar-random U ( 1 ) -symmetric monitored quantum circuit and tree, mapping each to inference models that we call the planted simple symmetric exclusion process and planted , respectively, and expanding the phase diagram to Bayes nonoptimality. For the circuit, we deduce the phase boundary numerically and analytically argue that it is of a single universality class. For the tree, we present an exact solution of the entire phase boundary, which displays re-entrance as does the 2D RBIM. We discuss these phase diagrams, with their interpretations for quantum inference problems and rigorous arguments on their shapes.
In classical statistics, a statistical experiment consisting of nnn i.i.d observations from d-dimensional multinomial distributions can be well approximated by a d−1d-1d−1 dimensional Gaussian distribution. In a quantum version of the result it has been shown that a collection of nnn qudits of full rank can be well approximated by a quantum system containing a classical part, which is a d−1d-1d−1 dimensional Gaussian distribution, and a quantum part containing an ensemble of d(d−1)/2d(d-1)/2d(d−1)/2 shifted thermal states. In this paper, we obtain a generalization of this result when the qudits are not of full rank. We show that when the rank of the qudits is rrr, then the limiting experiment consists of an r−1r-1r−1 dimensional Gaussian distribution and an ensemble of both shifted pure and shifted thermal states. We also outline a two-stage procedure for the estimation of the low-rank qudit, where we obtain an estimator which is sharp minimax optimal. For the estimation of a linear functional of the quantum state, we construct an estimator, analyze the risk and use quantum LAN to show that our estimator is also optimal in the minimax sense.
A statistical experiment on a von Neumann algebra is a parametrized family of normal states on the algebra. This paper introduces the concept of minimal sufficiency for statistical experiments in such operator algebraic situations. We define equivalence relations of statistical experiments indexed by a common parameter set by completely positive or Schwarz coarse-graining and show that any statistical experiment is equivalent to a minimal sufficient statistical experiment unique up to normal isomorphism of outcome algebras. We also establish the relationship between the minimal sufficiency condition for a statistical experiment in this paper and those for subalgebra. These concepts and results are applied to the concatenation relation for completely positive channels with general input and outcome von Neumann algebras. In the case of the quantum-classical channel corresponding to the positive-operator valued measure (POVM), we prove the equivalence of the minimal sufficient condition previously proposed by the author and that in this paper. We also give a characterization of the discreteness of a POVM up to postprocessing equivalence in terms of the corresponding quantum-classical channel.