aiqbench analysis
This research demonstrates that adaptivity significantly reduces sample complexity for quantum state equivalence and independence testing when using fidelity as a distance metric, whereas certification tasks do not benefit from adaptive strategies. By leveraging partial learning and reductions to $\ell_2$-distance, the study establishes new theoretical bounds that improve upon non-adaptive limits in specific high-dimensional regimes. These findings advance the foundational understanding of quantum state verification protocols essential for scalable quantum computing.
On the Power of Adaptivity in Testing Quantum States in Fidelity
arXiv:2609.08733v1 Announce Type: new Abstract: We study the problems of quantum state certification, equivalence testing and independence testing. In certification, given samples of an unknown quantum state $\rho$ and the description of a state $\sigma$, the goal is to test whether $\rho=\sigma$, or whether $\rho$ and $\sigma$ are far in a given distance measure. In equivalence testing, $\sigma$ is also unknown and only accessible via samples. Independence testing decides whether $\rho_{AC}=\rho_A\otimes\rho_C$, or is far from being a product. The sample complexities of these problems are now well-understood for a decision gap $\varepsilon$ in trace distance: in the single-copy measurement setting with $d$-dimensional states, all three tasks can be solved using the same non-adaptive approach, which uses $\Theta(d^{3/2}/\varepsilon^2)$ samples and is optimal in general, even without adaptivity. In this work, we consider decision gaps expressed in fidelity and study possible separations between these problems and how adaptivity can help. We prove that certification with respect to fidelity for a state $\sigma$ of rank $r$ does not benefit from adaptivity and requires $\widetilde{\Theta}(r^{3/2}/\varepsilon)$ samples. For equivalence testing and independence testing, we provide adaptive algorithms using $\widetilde{O}(\min\{d^{3/2}/\varepsilon^2,d^{9/4}/\varepsilon\})$ and $\widetilde{O}(\min\{(d_Ad_C)^{3/2}/\varepsilon^2,d_A^{9/4}d_C^{3/4}/\varepsilon\})$ samples, for $d_A\geq d_C$, respectively. Our main technique is a framework that uses partial learning and a reduction to testing in $\ell_2$-distance, adapted from the distribution testing literature. We show that adaptivity matters for equivalence testing in fidelity by proving that $\widetilde{\Omega}(1/\varepsilon^2)$ samples are necessary in the non-adaptive case even for qubits, showing a separation from certification.
Abstract:We study the problems of quantum state certification, equivalence testing and independence testing. In certification, given samples of an unknown quantum state $\rho$ and the description of a state $\sigma$, the goal is to test whether $\rho=\sigma$, or whether $\rho$ and $\sigma$ are far in a given distance measure. In equivalence testing, $\sigma$ is also unknown and only accessible via samples. Independence testing decides whether $\rho_{AC}=\rho_A\otimes\rho_C$, or is far from being a product. The sample complexities of these problems are now well-understood for a decision gap $\varepsilon$ in trace distance: in the single-copy measurement setting with $d$-dimensional states, all three tasks can be solved using the same non-adaptive approach, which uses $\Theta(d^{3/2}/\varepsilon^2)$ samples and is optimal in general, even without adaptivity. In this work, we consider decision gaps expressed in fidelity and study possible separations between these problems and how adaptivity can help. We prove that certification with respect to fidelity for a state $\sigma$ of rank $r$ does not benefit from adaptivity and requires $\widetilde{\Theta}(r^{3/2}/\varepsilon)$ samples. For equivalence testing and independence testing, we provide adaptive algorithms using $\widetilde{O}(\min\{d^{3/2}/\varepsilon^2,d^{9/4}/\varepsilon\})$ and $\widetilde{O}(\min\{(d_Ad_C)^{3/2}/\varepsilon^2,d_A^{9/4}d_C^{3/4}/\varepsilon\})$ samples, for $d_A\geq d_C$, respectively. Our main technique is a framework that uses partial learning and a reduction to testing in $\ell_2$-distance, adapted from the distribution testing literature. We show that adaptivity matters for equivalence testing in fidelity by proving that $\widetilde{\Omega}(1/\varepsilon^2)$ samples are necessary in the non-adaptive case even for qubits, showing a separation from certification.
arXiv:2609.08733 [quant-ph]
(or arXiv:2609.08733v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2609.08733 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 329 words
