Coherence in Property Testing: Quantum-Classical Collapses and Separations

• URL: http://arxiv.org/abs/2411.15148v1
• Date: Wed, 06 Nov 2024 19:52:15 GMT
• Title: Coherence in Property Testing: Quantum-Classical Collapses and Separations
• Authors: Fernando Granha Jeronimo, Nir Magrafta, Joseph Slote, Pei Wu,
• Abstract summary: We show that no tester can distinguish subset states of size $2n/8$ from $2n/4$ with probability better than $2-Theta(n)$. We also show connections to disentangler and quantum-to-quantum transformation lower bounds.
• Score: 42.44394412033434
• License:
• Abstract: Understanding the power and limitations of classical and quantum information and how they differ is a fundamental endeavor. In property testing of distributions, a tester is given samples over a typically large domain $\{0,1\}^n$. An important property is the support size both of distributions [Valiant and Valiant, STOC'11], as well, as of quantum states. Classically, even given $2^{n/16}$ samples, no tester can distinguish distributions of support size $2^{n/8}$ from $2^{n/4}$ with probability better than $2^{-\Theta(n)}$, even promised they are flat. Quantum states can be in a coherent superposition of states of $\{0,1\}^n$, so one may ask if coherence can enhance property testing. Flat distributions naturally correspond to subset states, $|\phi_S \rangle=1/\sqrt{|S|}\sum_{i\in S}|i\rangle$. We show that coherence alone is not enough, Coherence limitations: Given $2^{n/16}$ copies, no tester can distinguish subset states of size $2^{n/8}$ from $2^{n/4}$ with probability better than $2^{-\Theta(n)}$. The hardness persists even with multiple public-coin AM provers, Classical hardness with provers: Given $2^{O(n)}$ samples from a distribution and $2^{O(n)}$ communication with AM provers, no tester can estimate the support size up to factors $2^{\Omega(n)}$ with probability better than $2^{-\Theta(n)}$. Our result is tight. In contrast, coherent subset state proofs suffice to improve testability exponentially, Quantum advantage with certificates: With poly-many copies and subset state proofs, a tester can approximate the support size of a subset state of arbitrary size. Some structural assumption on the quantum proofs is required since we show, Collapse of QMA: A general proof cannot improve testability of any quantum property whatsoever. We also show connections to disentangler and quantum-to-quantum transformation lower bounds.

Related papers

• Testing classical properties from quantum data [0.0]
  We show that the speedup lost when restricting classical testers to samples can be recovered by testers that use quantum data. For monotonicity testing, we give a quantum algorithm that uses $tildemathcalO(n2)$ function state copies as compared to the $2Omega(sqrtn)$ samples required classically. We also present $mathcalO(1)$-copy testers for symmetry and triangle-freeness, comparing favorably to classical lower bounds of $Omega(n1/4)$ and $Omega(n
  arXiv  Detail & Related papers  (2024-11-19T18:52:55Z)
• Nearly tight bounds for testing tree tensor network states [0.0]
  Tree tensor network states (TTNS) generalize the notion of having low Schmidt-rank to multipartite quantum states. We study the task of testing whether an unknown pure state is a TTNS on $n$ qudits with bond dimension at most $r$. We also study the performance of tests using measurements performed on a small number of copies at a time.
  arXiv  Detail & Related papers  (2024-10-28T18:13:38Z)
• Experimental lower bounds on entanglement entropy without twin copy [0.0]
  We calculate the Shannon entropy $S_ABX$ associated with the experimental measurements of adiabatically prepared ground states. We show several examples for which, in good approximation, $S_AvNpropto (2S_AX-S_ABX)$ with a constant of proportionality slightly larger than one.
  arXiv  Detail & Related papers  (2024-04-15T17:02:17Z)
• The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
  We study the power of unentangled quantum proofs with non-negative amplitudes, a class which we denote $textQMA+(2)$. In particular, we design global protocols for small set expansion, unique games, and PCP verification. We show that QMA(2) is equal to $textQMA+(2)$ provided the gap of the latter is a sufficiently large constant.
  arXiv  Detail & Related papers  (2024-02-29T01:35:46Z)
• Pseudorandom and Pseudoentangled States from Subset States [49.74460522523316]
  A subset state with respect to $S$, a subset of the computational basis, is [ frac1sqrt|S|sum_iin S |irangle. We show that for any fixed subset size $|S|=s$ such that $s = 2n/omega(mathrmpoly(n))$ and $s=omega(mathrmpoly(n))$, a random subset state is information-theoretically indistinguishable from a Haar random state even provided
  arXiv  Detail & Related papers  (2023-12-23T15:52:46Z)
• Testing matrix product states [5.225550006603552]
  We study the problem of testing whether an unknown state $|psirangle$ is a matrix product state (MPS) in the property testing model. MPS are a class of physically-relevant quantum states which arise in the study of quantum many-body systems.
  arXiv  Detail & Related papers  (2022-01-05T21:10:50Z)
• Distributed quantum inner product estimation [14.222887950206658]
  A benchmarking task known as cross-platform verification has been proposed that aims to estimate the fidelity of states prepared on two quantum computers. No quantum communication can be performed between the two physical platforms due to hardware constraints. We show that the sample complexity must be at least $Omega(max1/varepsilon2,sqrtd/varepsilon)$, even in the strongest setting.
  arXiv  Detail & Related papers  (2021-11-05T05:35:03Z)
• 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)
• Quantum Communication Complexity of Distribution Testing [114.31181206328276]
  Two players each receive $t$ samples from one distribution over $[n]$. The goal is to decide whether their two distributions are equal, or are $epsilon$-far apart. We show that the quantum communication complexity of this problem is $tildeO$(tepsilon2))$ qubits when distributions have low $l$-norm.
  arXiv  Detail & Related papers  (2020-06-26T09:05:58Z)
• 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.