aiqbench analysis
This paper establishes optimal query complexity bounds for testing quantum channels against depolarizing noise, a critical assumption in fault-tolerant quantum computing. By proving matching lower bounds even for adaptive protocols with ancilla assistance, the work provides a rigorous theoretical foundation for verifying quantum hardware performance under realistic noise models.
Unitary Channel Testing Under a Depolarizing Noise Assumption
arXiv:2606.10730v1 Announce Type: new Abstract: We present fast algorithms $\unicode{x2013}$ under the depolarizing noise assumption, often made in fault-tolerant quantum computations $\unicode{x2013}$ to test its strength. Our optimal algorithms answer the following question: is the quantum channel implemented by a given black box identical to a target unitary or $\varepsilon$-far from it in the diamond distance, assuming that the deviation is a depolarizing channel with unknown parameter? Our algorithm has a query complexity of $\Theta(1/\varepsilon).$ The query complexity of the relaxed problem of testing whether the black-box channel is $\varepsilon_1$-close to a target unitary or $\varepsilon_2$-far in the diamond distance is $\Theta\bigl(\varepsilon_2/(\varepsilon_2 - \varepsilon_1)^2\bigr).$ In both cases, we provide matching lower bounds that hold even for adaptive, ancilla-assisted protocols with multi-outcome incoherent measurements.
Abstract:We present fast algorithms $\unicode{x2013}$ under the depolarizing noise assumption, often made in fault-tolerant quantum computations $\unicode{x2013}$ to test its strength. Our optimal algorithms answer the following question: is the quantum channel implemented by a given black box identical to a target unitary or $\varepsilon$-far from it in the diamond distance, assuming that the deviation is a depolarizing channel with unknown parameter? Our algorithm has a query complexity of $\Theta(1/\varepsilon).$ The query complexity of the relaxed problem of testing whether the black-box channel is $\varepsilon_1$-close to a target unitary or $\varepsilon_2$-far in the diamond distance is $\Theta\bigl(\varepsilon_2/(\varepsilon_2 - \varepsilon_1)^2\bigr).$ In both cases, we provide matching lower bounds that hold even for adaptive, ancilla-assisted protocols with multi-outcome incoherent measurements.
arXiv:2606.10730 [quant-ph]
(or arXiv:2606.10730v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2606.10730 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 · 209 words
Related coverage
Spectral moments and entropy rigidity of quantum channels: a three-mode photonic witness
arXiv · Sep 30, 2026
Hybrid Quantum Error Correction and Mitigation by Purification
arXiv · Jul 31, 2026

Noisy quantum cooling
Quantum Zeitgeist · Oct 13, 2026

Guest Post: What a High School Student Found When He Stress-Tested a Quantum Benchmark
The Quantum Insider · Jul 22, 2026