Optimal Algorithms for Learning Quantum Phase States

Authors Srinivasan Arunachalam, Sergey Bravyi, Arkopal Dutt , Theodore J. Yoder



PDF
Thumbnail PDF

File

LIPIcs.TQC.2023.3.pdf
  • Filesize: 0.86 MB
  • 24 pages

Document Identifiers

Author Details

Srinivasan Arunachalam
  • IBM Quantum, Thomas J Watson Research Center, Yorktown Heights, NY, USA
Sergey Bravyi
  • IBM Quantum, Thomas J Watson Research Center, Yorktown Heights, NY, USA
Arkopal Dutt
  • IBM Quantum, Thomas J Watson Research Center, Yorktown Heights, NY, USA
  • MIT-IBM Watson AI Lab, Cambridge, MA, USA
  • Department of Physics, Co-Design Center for Quantum Advantage, Massachusetts Institute of Technology, Cambridge, MA, USA
Theodore J. Yoder
  • IBM Quantum, Thomas J Watson Research Center, Yorktown Heights, NY, USA

Acknowledgements

AD thanks Isaac L Chuang for suggesting applications of the learning algorithms presented here and for useful comments on the manuscript. SA thanks Giacomo Nannicini and Chinmay Nirkhe for useful discussions.

Cite AsGet BibTex

Srinivasan Arunachalam, Sergey Bravyi, Arkopal Dutt, and Theodore J. Yoder. Optimal Algorithms for Learning Quantum Phase States. In 18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 266, pp. 3:1-3:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.TQC.2023.3

Abstract

We analyze the complexity of learning n-qubit quantum phase states. A degree-d phase state is defined as a superposition of all 2ⁿ basis vectors x with amplitudes proportional to (-1)^{f(x)}, where f is a degree-d Boolean polynomial over n variables. We show that the sample complexity of learning an unknown degree-d phase state is Θ(n^d) if we allow separable measurements and Θ(n^{d-1}) if we allow entangled measurements. Our learning algorithm based on separable measurements has runtime poly(n) (for constant d) and is well-suited for near-term demonstrations as it requires only single-qubit measurements in the Pauli X and Z bases. We show similar bounds on the sample complexity for learning generalized phase states with complex-valued amplitudes. We further consider learning phase states when f has sparsity-s, degree-d in its 𝔽₂ representation (with sample complexity O(2^d sn)), f has Fourier-degree-t (with sample complexity O(2^{2t})), and learning quadratic phase states with ε-global depolarizing noise (with sample complexity O(n^{1+ε})). These learning algorithms give us a procedure to learn the diagonal unitaries of the Clifford hierarchy and IQP circuits.

Subject Classification

ACM Subject Classification
  • Theory of computation → Quantum complexity theory
Keywords
  • Tomography
  • binary phase states
  • generalized phase states
  • IQP circuits

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Emmanuel Abbe, Amir Shpilka, and Avi Wigderson. Reed-Muller Codes for Random Erasures and Errors. In Proceedings of the Forty-Seventh Annual ACM Symposium on Theory of Computing, STOC '15, pages 297-306, New York, NY, USA, 2015. Association for Computing Machinery. URL: https://doi.org/10.1145/2746539.2746575.
  2. Emmanuel Abbe, Amir Shpilka, and Min Ye. Reed-Muller Codes: Theory and Algorithms. IEEE Transactions on Information Theory, 67(6):3251-3277, 2020. URL: https://doi.org/10.1109/TIT.2020.3004749.
  3. Prabhanjan Ananth, Luowen Qian, and Henry Yuen. Cryptography from pseudorandom quantum states. arXiv preprint arXiv:2112.10020, 2021. Google Scholar
  4. Anurag Anshu, Srinivasan Arunachalam, Tomotaka Kuwahara, and Mehdi Soleimanifar. Sample-efficient learning of interacting quantum systems. Nature Physics, 17(8):931-935, 2021. Google Scholar
  5. Apeldoorn van Joran, Arjan Cornelissen, Andras Gilyén, and Giacomo Nannicini. Quantum tomography using state-preparation unitaries, 2022. arXiv:2207.08800. Google Scholar
  6. Srinivasan Arunachalam, Sergey Bravyi, Arkopal Dutt, and Theodore J Yoder. Optimal algorithms for learning quantum phase states. arXiv preprint arXiv:2208.07851, 2022. Google Scholar
  7. Dave Bacon, Andrew M Childs, and Wim van Dam. Optimal measurements for the dihedral hidden subgroup problem. arXiv preprint quant-ph/0501044, 2005. Google Scholar
  8. Howard Barnum and Emanuel Knill. Reversing quantum dynamics with near-optimal quantum and classical fidelity. Journal of Mathematical Physics, 43(5):2097-2106, 2002. Google Scholar
  9. A. Bernasconi and B. Codenotti. Spectral analysis of Boolean functions as a graph eigenvalue problem. IEEE Transactions on Computers, 48(3):345-351, 1999. URL: https://doi.org/10.1109/12.755000.
  10. Ethan Bernstein and Umesh Vazirani. Quantum complexity theory. SIAM Journal on Computing, 26(5):1411-1473, 1997. Google Scholar
  11. Zvika Brakerski and Omri Shmueli. (Pseudo) Random Quantum States with Binary Phase. In Theory of Cryptography Conference, pages 229-250. Springer, 2019. Google Scholar
  12. Sergey Bravyi and David Gosset. Improved classical simulation of quantum circuits dominated by Clifford gates. Physical Review Letters, 116(25):250501, 2016. Google Scholar
  13. Michael J Bremner, Richard Jozsa, and Dan J Shepherd. Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 467(2126):459-472, 2011. Google Scholar
  14. Michael J Bremner, Ashley Montanaro, and Dan J Shepherd. Average-case complexity versus approximate simulation of commuting quantum computations. Physical Review Letters, 117(8):080501, 2016. Google Scholar
  15. Michael J Bremner, Ashley Montanaro, and Dan J Shepherd. Achieving quantum supremacy with sparse and noisy commuting quantum computations. Quantum, 1:8, 2017. Google Scholar
  16. Isaac L Chuang and Michael A Nielsen. Prescription for experimental determination of the dynamics of a quantum black box. Journal of Modern Optics, 44(11-12):2455-2467, 1997. URL: https://doi.org/10.1080/09500349708231894.
  17. Marcus Cramer, Martin B Plenio, Steven T Flammia, Rolando Somma, David Gross, Stephen D Bartlett, Olivier Landon-Cardinal, David Poulin, and Yi-Kai Liu. Efficient quantum state tomography. Nature Communications, 1(1):1-7, 2010. Google Scholar
  18. Shawn X Cui, Daniel Gottesman, and Anirudh Krishna. Diagonal gates in the Clifford hierarchy. Physical Review A, 95(1):012329, 2017. Google Scholar
  19. Jeroen Dehaene and Bart De Moor. Clifford group, stabilizer states, and linear and quadratic operations over GF(2). Physical Review A, 68(4):042318, 2003. Google Scholar
  20. Stark C. Draper and Sheida Malekpour. Compressed sensing over finite fields. In 2009 IEEE International Symposium on Information Theory, pages 669-673. IEEE, 2009. URL: https://doi.org/10.1109/ISIT.2009.5205666.
  21. Yonina C Eldar and G David Forney. On quantum detection and the square-root measurement. IEEE Transactions on Information Theory, 47(3):858-872, 2001. Google Scholar
  22. Daniel Gottesman and Isaac L Chuang. Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations. Nature, 402(6760):390-393, 1999. Google Scholar
  23. Jeongwan Haah, Aram W Harrow, Zhengfeng Ji, Xiaodi Wu, and Nengkun Yu. Sample-optimal tomography of quantum states. IEEE Transactions on Information Theory, 63(9):5628-5641, 2017. Google Scholar
  24. Jeongwan Haah, Robin Kothari, and Ewin Tang. Optimal learning of quantum Hamiltonians from high-temperature Gibbs states. arXiv preprint arXiv:2108.04842, 2021. Google Scholar
  25. Aram W Harrow and Andreas Winter. How many copies are needed for state discrimination? IEEE Transactions on Information Theory, 58(1):1-2, 2012. Google Scholar
  26. Marc Hein, Jens Eisert, and Hans J Briegel. Multiparty entanglement in graph states. Physical Review A, 69(6):062311, 2004. Google Scholar
  27. Alexander Semenovich Holevo. Bounds for the quantity of information transmitted by a quantum communication channel. Problemy Peredachi Informatsii, 9(3):3-11, 1973. Google Scholar
  28. Sandy Irani, Anand Natarajan, Chinmay Nirkhe, Sujit Rao, and Henry Yuen. Quantum search-to-decision reductions and the state synthesis problem. arXiv preprint arXiv:2111.02999, 2021. Google Scholar
  29. Zhengfeng Ji, Yi-Kai Liu, and Fang Song. Pseudorandom quantum states. In Annual International Cryptology Conference, pages 126-152. Springer, 2018. Google Scholar
  30. Ching-Yi Lai and Hao-Chung Cheng. Learning quantum circuits of some T gates. IEEE Transactions on Information Theory, 68(6):3951-3964, 2022. Google Scholar
  31. Richard A Low. Learning and testing algorithms for the Clifford group. Physical Review A, 80(5):052314, 2009. Google Scholar
  32. Vadim Lyubashevsky. The parity problem in the presence of noise, decoding random linear codes, and the subset sum problem. In Approximation, randomization and combinatorial optimization. Algorithms and techniques, pages 378-389. Springer, 2005. Google Scholar
  33. Florence Jessie MacWilliams and Neil James Alexander Sloane. The theory of error correcting codes, volume 16. Elsevier, 1977. Google Scholar
  34. Masoud Mohseni, Ali T Rezakhani, and Daniel A Lidar. Quantum-process tomography: Resource analysis of different strategies. Physical Review A, 77(3):032322, March 2008. URL: https://doi.org/10.1103/PhysRevA.77.032322.
  35. Ashley Montanaro. The quantum query complexity of learning multilinear polynomials. Information Processing Letters, 112(11):438-442, 2012. Google Scholar
  36. Ashley Montanaro. Learning stabilizer states by Bell sampling. arXiv preprint arXiv:1707.04012, 2017. Google Scholar
  37. Ashley Montanaro. Quantum circuits and low-degree polynomials over 𝔽₂. Journal of Physics A: Mathematical and Theoretical, 50(8):084002, January 2017. URL: https://doi.org/10.1088/1751-8121/aa565f.
  38. Noam Nisan and Mario Szegedy. On the degree of Boolean functions as real polynomials. Computational Complexity, 4(4):301-313, 1994. Google Scholar
  39. Leonardo Novo, Juani Bermejo-Vega, and Raúl García-Patrón. Quantum advantage from energy measurements of many-body quantum systems. Quantum, 5:465, 2021. Google Scholar
  40. Ryan O'Donnell and John Wright. Efficient quantum tomography. In Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing, pages 899-912, 2016. Google Scholar
  41. Andrea Rocchetto, Scott Aaronson, Simone Severini, Gonzalo Carvacho, Davide Poderini, Iris Agresti, Marco Bentivegna, and Fabio Sciarrino. Experimental learning of quantum states. Science Advances, 5(3):eaau1946, 2019. Google Scholar
  42. Matteo Rossi, Marcus Huber, Dagmar Bruß, and Chiara Macchiavello. Quantum hypergraph states. New Journal of Physics, 15(11):113022, 2013. Google Scholar
  43. Martin Rötteler. Quantum algorithms to solve the hidden shift problem for quadratics and for functions of large Gowers norm. In International Symposium on Mathematical Foundations of Computer Science, pages 663-674. Springer, 2009. Google Scholar
  44. Dirk Schlingemann. Stabilizer codes can be realized as graph codes. Quantum Info. Comput., 2(4):307-323, June 2002. Google Scholar
  45. Yuki Takeuchi, Tomoyuki Morimae, and Masahito Hayashi. Quantum computational universality of hypergraph states with Pauli-X and Z basis measurements. Scientific Reports, 9(1):1-14, 2019. Google Scholar
  46. Henry Yuen. An improved sample complexity lower bound for quantum state tomography. arXiv preprint arXiv:2206.11185, 2022. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail