Beyond Bell sampling: stabilizer state learning and quantum pseudorandomness lower bounds on qudits (2405.06357v1)
Abstract: Bell sampling is a simple yet powerful measurement primitive that has recently attracted a lot of attention, and has proven to be a valuable tool in studying stabiliser states. Unfortunately, however, it is known that Bell sampling fails when used on qu\emph{d}its of dimension $d>2$. In this paper, we explore and quantify the limitations of Bell sampling on qudits, and propose new quantum algorithms to circumvent the use of Bell sampling in solving two important problems: learning stabiliser states and providing pseudorandomness lower bounds on qudits. More specifically, as our first result, we characterise the output distribution corresponding to Bell sampling on copies of a stabiliser state and show that the output can be uniformly random, and hence reveal no information. As our second result, for $d=p$ prime we devise a quantum algorithm to identify an unknown stabiliser state in $(\mathbb{C}p){\otimes n}$ that uses $O(n)$ copies of the input state and runs in time $O(n4)$. As our third result, we provide a quantum algorithm that efficiently distinguishes a Haar-random state from a state with non-negligible stabiliser fidelity. As a corollary, any Clifford circuit on qudits of dimension $d$ using $O(\log{n}/\log{d})$ auxiliary non-Clifford single-qudit gates cannot prepare computationally pseudorandom quantum states.
- A survey on the complexity of learning quantum states. Nature Reviews Physics, 6(1):59–69, Jan 2024.
- Optimal algorithms for learning quantum phase states. In Omar Fawzi and Michael Walter, editors, 18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), volume 266 of Leibniz International Proceedings in Informatics (LIPIcs), pages 3:1–3:24, Dagstuhl, Germany, 2023. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
- Quantum pseudoentanglement. In Venkatesan Guruswami, editor, 15th Innovations in Theoretical Computer Science Conference (ITCS 2024), volume 287 of Leibniz International Proceedings in Informatics (LIPIcs), pages 2:1–2:21, Dagstuhl, Germany, 2024. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
- Improved simulation of stabilizer circuits. Phys. Rev. A, 70:052328, Nov 2004.
- Identifying stabilizer states. http://pirsa.org/08080052/, 2008.
- Efficient tomography of non-interacting-fermion states. In Omar Fawzi and Michael Walter, editors, 18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), volume 266 of Leibniz International Proceedings in Informatics (LIPIcs), pages 12:1–12:18, Dagstuhl, Germany, 2023. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
- D. M. Appleby. Symmetric informationally complete–positive operator valued measures and the extended Clifford group. Journal of Mathematical Physics, 46(5):052107, 04 2005.
- D. M. Appleby. Properties of the extended Clifford group with applications to SIC-POVMs and MUBs. arXiv preprint arXiv:0909.5233, 2009.
- Cryptography from pseudorandom quantum states. In Yevgeniy Dodis and Thomas Shrimpton, editors, Advances in Cryptology – CRYPTO 2022, pages 208–236, Cham, 2022. Springer Nature Switzerland.
- Universal quantum gates. In Mathematics of quantum computation, pages 117–134. Chapman and Hall/CRC, 2002.
- Simulation of quantum circuits by low-rank stabilizer decompositions. Quantum, 3:181, September 2019.
- Efficient circuits for exact-universal computationwith qudits. Quantum Info. Comput., 6(4):436–454, jul 2006.
- From optimal measurement to efficient quantum algorithms for the hidden subgroup problem over semidirect product groups. In 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS’05), pages 469–478. IEEE, 2005.
- Niel de Beaudrap. A linearized stabilizer formalism for systems of finite dimension. Quant. Inf. Comput., 13:0073–0115, 2013.
- Criteria for exact qudit universality. Phys. Rev. A, 71:052318, May 2005.
- Trading classical and quantum computational resources. Phys. Rev. X, 6:021043, Jun 2016.
- Efficient quantum state tomography. Nature Communications, 1(1):149, Dec 2010.
- Good quantum error-correcting codes exist. Phys. Rev. A, 54:1098–1105, Aug 1996.
- Polynomial time quantum algorithms for certain bivariate hidden polynomial problems. Quant. Inf. Comput., 14:790–806, 2014.
- Efficient learning of quantum states prepared with few non-Clifford gates. arXiv preprint arXiv:2305.13409, 2023.
- Improved stabilizer estimation via Bell difference sampling. arXiv preprint arXiv:2304.13915, 2023.
- Low-stabilizer-complexity quantum states are not pseudorandom. In Yael Tauman Kalai, editor, 14th Innovations in Theoretical Computer Science Conference (ITCS 2023), volume 251 of Leibniz International Proceedings in Informatics (LIPIcs), pages 64:1–64:20, Dagstuhl, Germany, 2023. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
- Agnostic tomography of stabilizer product states. arXiv preprint arXiv:2404.03813, 2024.
- Pseudoentanglement ain’t cheap. arXiv preprint arXiv:2404.00126, 2024.
- Schur–Weyl duality for the Clifford group with applications: Property testing, a robust Hudson theorem, and de Finetti representations. Communications in Mathematical Physics, 385(3):1325–1393, Aug 2021.
- Daniel Gottesman. Class of quantum error-correcting codes saturating the quantum hamming bound. Phys. Rev. A, 54:1862–1868, Sep 1996.
- Daniel Gottesman. Stabilizer codes and quantum error correction. California Institute of Technology, 1997.
- D. Gross. Hudson’s theorem for finite-dimensional quantum systems. Journal of Mathematical Physics, 47(12):122107, 12 2006.
- Stabilizer information inequalities from phase space distributions. Journal of Mathematical Physics, 54(8):082201, 08 2013.
- Stabilizer states and Clifford operations for systems of arbitrary dimensions and modular arithmetic. Phys. Rev. A, 71:042315, Apr 2005.
- Bell sampling from quantum circuits. arXiv preprint arXiv:2306.00083, 2023.
- One T𝑇Titalic_T gate makes distribution learning hard. Phys. Rev. Lett., 130:240602, Jun 2023.
- Predicting many properties of a quantum system from very few measurements. Nature Physics, 16(10):1050–1057, Oct 2020.
- From the hardness of detecting superpositions to cryptography: Quantum public key encryption and commitments. In Carmit Hazay and Martijn Stam, editors, Advances in Cryptology – EUROCRYPT 2023, pages 639–667, Cham, 2023. Springer Nature Switzerland.
- Holographic duality from random tensor networks. Journal of High Energy Physics, 2016(11):9, Nov 2016.
- Alexander Semenovich Holevo. Bounds for the quantity of information transmitted by a quantum communication channel. Problemy Peredachi Informatsii, 9(3):3–11, 1973.
- Multiqubit randomized benchmarking using few samples. Phys. Rev. A, 100:032304, Sep 2019.
- Solving systems of diagonal polynomial equations over finite fields. Theoretical Computer Science, 657:73–85, 2017. Frontiers of Algorithmics.
- An efficient quantum algorithm for the hidden subgroup problem in Nil-2 groups. Algorithmica, 62(1-2):480–498, 2012.
- Pseudorandom quantum states. In Hovav Shacham and Alexandra Boldyreva, editors, Advances in Cryptology – CRYPTO 2018, pages 126–152, Cham, 2018. Springer International Publishing.
- Randomized benchmarking of quantum gates. Phys. Rev. A, 77:012307, Jan 2008.
- Quantum cryptography in algorithmica. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, page 1589–1602, New York, NY, USA, 2023. Association for Computing Machinery.
- An efficient quantum algorithm for the hidden subgroup problem over Weyl-Heisenberg groups, pages 70–88. Springer Berlin Heidelberg, Berlin, Heidelberg, 2008.
- William Kretschmer. Quantum Pseudorandomness and Classical Complexity. In Min-Hsiu Hsieh, editor, 16th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2021), volume 197 of Leibniz International Proceedings in Informatics (LIPIcs), pages 2:1–2:20, Dagstuhl, Germany, 2021. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
- Exponential learning advantages with conjugate states and minimal quantum memory. arXiv preprint arXiv:2403.03469, 2024.
- Low rank matrix recovery from clifford orbits. arXiv preprint arXiv:1610.08070, 2016.
- Efficient direct tomography for matrix product states. arXiv preprint arXiv:1002.4632, 2010.
- Michel Ledoux. The Concentration of Measure Phenomenon. Mathematical surveys and monographs. American Mathematical Society, 2001.
- Learning t𝑡titalic_t-doped stabilizer states. arXiv preprint arXiv:2305.15398, 2023.
- Learning efficient decoders for quasichaotic quantum scramblers. Phys. Rev. A, 109:022429, Feb 2024.
- Scalable and robust randomized benchmarking of quantum processes. Phys. Rev. Lett., 106:180504, May 2011.
- Simulating 2D lattice gauge theories on a qudit quantum computer. arXiv preprint arXiv:2310.12110, 2023.
- Ashley Montanaro. Learning stabilizer states by Bell sampling. arXiv preprint arXiv:1707.04012, 2017.
- Asymptotic theory of finite dimensional normed spaces: Isoperimetric inequalities in Riemannian manifolds, volume 1200. Springer Science & Business Media, 1986.
- Multivalued logic gates for quantum computation. Phys. Rev. A, 62:052309, Oct 2000.
- A Survey of Quantum Property Testing. Number 7 in Graduate Surveys. Theory of Computing Library, 2016.
- Quantum commitments and signatures without one-way functions. In Yevgeniy Dodis and Thomas Shrimpton, editors, Advances in Cryptology – CRYPTO 2022, pages 269–295, Cham, 2022. Springer Nature Switzerland.
- Multipartite entanglement in stabilizer tensor networks. Phys. Rev. Lett., 125:241602, Dec 2020.
- Ryan O’Donnell. Analysis of Boolean functions. Cambridge University Press, 2014.
- Quantum computing via measurements only. arXiv preprint quant-ph/0010033, 2000.
- Martin Rötteler. Quantum algorithms to solve the hidden shift problem for quadratics and for functions of large Gowers norm. In Rastislav Královič and Damian Niwiński, editors, Mathematical Foundations of Computer Science 2009, pages 663–674, Berlin, Heidelberg, 2009. Springer Berlin Heidelberg.
- Walter Rudin. Fourier analysis on groups. Wiley-Interscience, New York, 1990.
- Peter W. Shor. Scheme for reducing decoherence in quantum computer memory. Phys. Rev. A, 52:R2493–R2496, Oct 1995.
- Christiaan van de Woestijne. Deterministic equation solving over finite fields. In Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC ’05, page 348–353, New York, NY, USA, 2005. Association for Computing Machinery.
- Ronald de Wolf. A brief introduction to Fourier analysis on the Boolean cube. Theory of Computing, pages 1–20, 2008.
- William K Wootters. A Wigner-function formulation of finite-state quantum mechanics. Annals of Physics, 176(1):1–21, 1987.
- Fast graph operations in quantum computation. Phys. Rev. A, 93:032314, Mar 2016.