Toward Instance-Optimal State Certification With Incoherent Measurements
- URL: http://arxiv.org/abs/2102.13098v1
- Date: Thu, 25 Feb 2021 18:59:11 GMT
- Title: Toward Instance-Optimal State Certification With Incoherent Measurements
- Authors: Sitan Chen, Jerry Li, Ryan O'Donnell
- Abstract summary: Given copies of unknown mixed state $rhoinmathbbCdtimes d$, decide whether $sigma = rho$ or $|sigma - rho|_mathsftr ge epsilon$.
We show that the copy complexity for state certification using nonadaptive incoherent measurements is essentially given by the copy complexity for mixedness testing times the fidelity between $sigma$ and the maximally mixed state.
- Score: 17.107198714549515
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We revisit the basic problem of quantum state certification: given copies of
unknown mixed state $\rho\in\mathbb{C}^{d\times d}$ and the description of a
mixed state $\sigma$, decide whether $\sigma = \rho$ or $\|\sigma -
\rho\|_{\mathsf{tr}} \ge \epsilon$. When $\sigma$ is maximally mixed, this is
mixedness testing, and it is known that $\Omega(d^{\Theta(1)}/\epsilon^2)$
copies are necessary, where the exact exponent depends on the type of
measurements the learner can make [OW15, BCL20], and in many of these settings
there is a matching upper bound [OW15, BOW19, BCL20].
Can one avoid this $d^{\Theta(1)}$ dependence for certain kinds of mixed
states $\sigma$, e.g. ones which are approximately low rank? More ambitiously,
does there exist a simple functional $f:\mathbb{C}^{d\times
d}\to\mathbb{R}_{\ge 0}$ for which one can show that
$\Theta(f(\sigma)/\epsilon^2)$ copies are necessary and sufficient for state
certification with respect to any $\sigma$? Such instance-optimal bounds are
known in the context of classical distribution testing, e.g. [VV17].
Here we give the first bounds of this nature for the quantum setting, showing
(up to log factors) that the copy complexity for state certification using
nonadaptive incoherent measurements is essentially given by the copy complexity
for mixedness testing times the fidelity between $\sigma$ and the maximally
mixed state. Surprisingly, our bound differs substantially from instance
optimal bounds for the classical problem, demonstrating a qualitative
difference between the two settings.
Related papers
- Dimension-free Private Mean Estimation for Anisotropic Distributions [55.86374912608193]
Previous private estimators on distributions over $mathRd suffer from a curse of dimensionality.
We present an algorithm whose sample complexity has improved dependence on dimension.
arXiv Detail & Related papers (2024-11-01T17:59:53Z) - Measuring quantum relative entropy with finite-size effect [53.64687146666141]
We study the estimation of relative entropy $D(rho|sigma)$ when $sigma$ is known.
Our estimator attains the Cram'er-Rao type bound when the dimension $d$ is fixed.
arXiv Detail & Related papers (2024-06-25T06:07:20Z) - Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
We construct a dimension-independent k-partite disentangler (like) channel from bipartite unentangled input.
We show that to capture NEXP, it suffices to have unentangled proofs of the form $| psi rangle = sqrta | sqrt1-a | psi_+ rangle where $| psi_+ rangle has non-negative amplitudes.
arXiv Detail & Related papers (2024-02-23T12:22:03Z) - Identification of Mixtures of Discrete Product Distributions in
Near-Optimal Sample and Time Complexity [6.812247730094931]
We show, for any $ngeq 2k-1$, how to achieve sample complexity and run-time complexity $(1/zeta)O(k)$.
We also extend the known lower bound of $eOmega(k)$ to match our upper bound across a broad range of $zeta$.
arXiv Detail & Related papers (2023-09-25T09:50:15Z) - SQ Lower Bounds for Learning Bounded Covariance GMMs [46.289382906761304]
We focus on learning mixtures of separated Gaussians on $mathbbRd$ of the form $P= sum_i=1k w_i mathcalN(boldsymbol mu_i,mathbf Sigma_i)$.
We prove that any Statistical Query (SQ) algorithm for this problem requires complexity at least $dOmega (1/epsilon)$.
arXiv Detail & Related papers (2023-06-22T17:23:36Z) - Tight Bounds for Quantum State Certification with Incoherent
Measurements [18.566266990940374]
When $sigma$ is the maximally mixed state $frac1d I_d$, this is known as mixedness testing.
We focus on algorithms which use incoherent measurements, i.e. which only measure one copy of $rho$ at a time.
arXiv Detail & Related papers (2022-04-14T17:59:31Z) - Nonasymptotic one-and two-sample tests in high dimension with unknown
covariance structure [0.0]
We consider the problem of testing if $mu is $eta-close to zero, i.e. $|mu| leq eta against $|mu| geq (eta + delta)$.
The aim of this paper is to obtain nonasymptotic upper and lower bounds on the minimal separation distancedelta$ such that we can control both the Type I and Type II errors at a given level.
arXiv Detail & Related papers (2021-09-01T06:22:53Z) - The Sample Complexity of Robust Covariance Testing [56.98280399449707]
We are given i.i.d. samples from a distribution of the form $Z = (1-epsilon) X + epsilon B$, where $X$ is a zero-mean and unknown covariance Gaussian $mathcalN(0, Sigma)$.
In the absence of contamination, prior work gave a simple tester for this hypothesis testing task that uses $O(d)$ samples.
We prove a sample complexity lower bound of $Omega(d2)$ for $epsilon$ an arbitrarily small constant and $gamma
arXiv Detail & Related papers (2020-12-31T18:24:41Z) - Near-Optimal Model Discrimination with Non-Disclosure [19.88145627448243]
We first consider the case of a well-specified linear model with squared loss.
We derive sample complexity of a similar form, even under misspecification.
arXiv Detail & Related papers (2020-12-04T23:52:54Z) - Quantum Coupon Collector [62.58209964224025]
We study how efficiently a $k$-element set $Ssubseteq[n]$ can be learned from a uniform superposition $|Srangle of its elements.
We give tight bounds on the number of quantum samples needed for every $k$ and $n$, and we give efficient quantum learning algorithms.
arXiv Detail & Related papers (2020-02-18T16:14:55Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.