Parity vs. AC0 with Simple Quantum Preprocessing

Author Joseph Slote



PDF
Thumbnail PDF

File

LIPIcs.ITCS.2024.92.pdf
  • Filesize: 0.9 MB
  • 21 pages

Document Identifiers

Author Details

Joseph Slote
  • Department of Computing and Mathematical Sciences, California Institute of Technology, Pasadena, CA, USA

Acknowledgements

We are grateful to Chris Umans and Thomas Vidick for numerous valuable discussions and for the opportunity to share this work with Henry Yuen and the quantum group at Columbia University in the fall of 2022. We are also grateful to Atul Singh Arora, discussions with whom inspired this project. Finally we thank the anonymous ITCS 2024 reviewers for their generous and meticulous feedback on an earlier draft.

Cite AsGet BibTex

Joseph Slote. Parity vs. AC0 with Simple Quantum Preprocessing. In 15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 287, pp. 92:1-92:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ITCS.2024.92

Abstract

A recent line of work [Bravyi et al., 2018; Watts et al., 2019; Grier and Schaeffer, 2020; Bravyi et al., 2020; Watts and Parham, 2023] has shown the unconditional advantage of constant-depth quantum computation, or QNC⁰, over NC⁰, AC⁰, and related models of classical computation. Problems exhibiting this advantage include search and sampling tasks related to the parity function, and it is natural to ask whether QNC⁰ can be used to help compute parity itself. Namely, we study AC⁰∘QNC⁰ - a hybrid circuit model where AC⁰ operates on measurement outcomes of a QNC⁰ circuit - and we ask whether Par ∈ AC⁰∘QNC⁰. We believe the answer is negative. In fact, we conjecture AC⁰∘QNC⁰ cannot even achieve Ω(1) correlation with parity. As evidence for this conjecture, we prove: - When the QNC⁰ circuit is ancilla-free, this model can achieve only negligible correlation with parity, even when AC⁰ is replaced with any function having LMN-like decay in its Fourier spectrum. - For the general (non-ancilla-free) case, we show via a connection to nonlocal games that the conjecture holds for any class of postprocessing functions that has approximate degree o(n) and is closed under restrictions. Moreover, this is true even when the QNC⁰ circuit is given arbitrary quantum advice. By known results [Bun et al., 2019], this confirms the conjecture for linear-size AC⁰ circuits. - Another approach to proving the conjecture is to show a switching lemma for AC⁰∘QNC⁰. Towards this goal, we study the effect of quantum preprocessing on the decision tree complexity of Boolean functions. We find that from the point of view of decision tree complexity, nonlocal channels are no better than randomness: a Boolean function f precomposed with an n-party nonlocal channel is together equal to a randomized decision tree with worst-case depth at most DT_depth[f]. Taken together, our results suggest that while QNC⁰ is surprisingly powerful for search and sampling tasks, that power is "locked away" in the global correlations of its output, inaccessible to simple classical computation for solving decision problems.

Subject Classification

ACM Subject Classification
  • Theory of computation → Quantum computation theory
  • Theory of computation → Circuit complexity
Keywords
  • QNC0
  • AC0
  • Nonlocal games
  • k-wise indistinguishability
  • approximate degree
  • switching lemma
  • Fourier concentration

Metrics

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

References

  1. Scott Aaronson, DeVon Ingram, and William Kretschmer. The acrobatics of BQP. In Proceedings of the 37th Computational Complexity Conference, CCC '22, pages 1-17, Dagstuhl, DEU, September 2022. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. URL: https://doi.org/10.4230/LIPIcs.CCC.2022.20.
  2. Anurag Anshu, Nikolas P. Breuckmann, and Chinmay Nirkhe. NLTS Hamiltonians from good quantum codes. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, pages 1090-1096, June 2023. arXiv:2206.13228 [cond-mat, physics:quant-ph]. URL: https://doi.org/10.1145/3564246.3585114.
  3. Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca, and Ronald de Wolf. Quantum lower bounds by polynomials. Journal of the ACM, 48(4):778-797, July 2001. URL: https://doi.org/10.1145/502090.502097.
  4. Andrej Bogdanov, Yuval Ishai, Emanuele Viola, and Christopher Williamson. Bounded Indistinguishability and the Complexity of Recovering Secrets. In Proceedings, Part III, of the 36th Annual International Cryptology Conference on Advances in Cryptology - CRYPTO 2016 - Volume 9816, pages 593-618, Berlin, Heidelberg, August 2016. Springer-Verlag. URL: https://doi.org/10.1007/978-3-662-53015-3_21.
  5. Sergey Bravyi, David Gosset, and Robert König. Quantum advantage with shallow circuits. Science, 362(6412):308-311, October 2018. Publisher: American Association for the Advancement of Science. URL: https://doi.org/10.1126/science.aar3106.
  6. Sergey Bravyi, David Gosset, Robert König, and Marco Tomamichel. Quantum advantage with noisy shallow circuits. Nature Physics, 16(10):1040-1045, October 2020. Number: 10 Publisher: Nature Publishing Group. URL: https://doi.org/10.1038/s41567-020-0948-z.
  7. Harry Buhrman and Ronald de Wolf. Complexity measures and decision tree complexity: a survey. Theoretical Computer Science, 288(1):21-43, October 2002. URL: https://doi.org/10.1016/S0304-3975(01)00144-X.
  8. Mark Bun, Robin Kothari, and Justin Thaler. Quantum algorithms and approximating polynomials for composed functions with shared inputs. In Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '19, pages 662-678, USA, January 2019. Society for Industrial and Applied Mathematics. Google Scholar
  9. Mark Bun and Justin Thaler. Approximate Degree in Classical and Quantum Computing. Foundations and Trendsregistered in Theoretical Computer Science, 15(3-4):229-423, December 2022. Publisher: Now Publishers, Inc. URL: https://doi.org/10.1561/0400000107.
  10. François Le Gall. Average-case quantum advantage with shallow circuits. In Proceedings of the 34th Computational Complexity Conference, CCC '19, pages 1-20, Dagstuhl, DEU, September 2020. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. URL: https://doi.org/10.4230/LIPIcs.CCC.2019.21.
  11. Alexandru Gheorghiu, Theodoros Kapourniotis, and Elham Kashefi. Verification of quantum computation: An overview of existing approaches. Theory of Computing Systems, 63(4):715-808, July 2018. URL: https://doi.org/10.1007/s00224-018-9872-3.
  12. Daniel Grier and Luke Schaeffer. Interactive shallow Clifford circuits: Quantum advantage against NC1 and beyond. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, pages 875-888, New York, NY, USA, June 2020. Association for Computing Machinery. URL: https://doi.org/10.1145/3357713.3384332.
  13. J Håstad. Almost optimal lower bounds for small depth circuits. In Proceedings of the eighteenth annual ACM symposium on Theory of computing, STOC '86, pages 6-20, New York, NY, USA, November 1986. Association for Computing Machinery. URL: https://doi.org/10.1145/12130.12132.
  14. Peter Høyer and Robert Špalek. Quantum Circuits with Unbounded Fan-out. In Helmut Alt and Michel Habib, editors, STACS 2003, Lecture Notes in Computer Science, pages 234-246, Berlin, Heidelberg, 2003. Springer. URL: https://doi.org/10.1007/3-540-36494-3_22.
  15. Nathan Linial, Yishay Mansour, and Noam Nisan. Constant depth circuits, Fourier transform, and learnability. Journal of the ACM, 40(3):607-620, July 1993. URL: https://doi.org/10.1145/174130.174138.
  16. Shachar Lovett and Emanuele Viola. Bounded-Depth Circuits Cannot Sample Good Codes. In 2011 IEEE 26th Annual Conference on Computational Complexity, pages 243-251, June 2011. ISSN: 1093-0159. URL: https://doi.org/10.1109/CCC.2011.11.
  17. Urmila Mahadev. Classical verification of quantum computations. In 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), pages 259-267, 2018. URL: https://doi.org/10.1109/FOCS.2018.00033.
  18. Cristopher Moore. Quantum Circuits: Fanout, Parity, and Counting. Technical Report TR99-032, Electronic Colloquium on Computational Complexity (ECCC), September 1999. ISSN: 1433-8092. URL: https://eccc.weizmann.ac.il//eccc-reports/1999/TR99-032/.
  19. Shivam Nadimpalli, Natalie Parham, Francisca Vasconcelos, and Henry Yuen. On the pauli spectrum of qac0, 2023. URL: https://doi.org/10.48550/ARXIV.2311.09631.
  20. Ryan O'Donnell. Analysis of Boolean functions. Cambridge University Press, Cambridge, England, June 2014. Google Scholar
  21. Daniel Padé, Stephen Fenner, Daniel Grier, and Thomas Thierauf. Depth-2 QAC circuits cannot simulate quantum parity, May 2020. arXiv:2005.12169 [quant-ph]. URL: https://doi.org/10.48550/arXiv.2005.12169.
  22. A. A. Razborov. Lower bounds on the size of bounded depth circuits over a complete basis with logical addition. Mathematical notes of the Academy of Sciences of the USSR, 41(4):333-338, April 1987. URL: https://doi.org/10.1007/BF01137685.
  23. Gregory Rosenthal. Bounds on the QACasciicircum0 Complexity of Approximating Parity. In James R. Lee, editor, 12th Innovations in Theoretical Computer Science Conference (ITCS 2021), volume 185 of Leibniz International Proceedings in Informatics (LIPIcs), pages 32:1-32:20, Dagstuhl, Germany, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. ISSN: 1868-8969. URL: https://doi.org/10.4230/LIPIcs.ITCS.2021.32.
  24. Alexander A. Sherstov. The approximate degree of DNF and CNF formulas. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022, pages 1194-1207, New York, NY, USA, June 2022. Association for Computing Machinery. URL: https://doi.org/10.1145/3519935.3520000.
  25. R. Smolensky. Algebraic methods in the theory of lower bounds for Boolean circuit complexity. In Proceedings of the nineteenth annual ACM symposium on Theory of computing, STOC '87, pages 77-82, New York, NY, USA, January 1987. Association for Computing Machinery. URL: https://doi.org/10.1145/28395.28404.
  26. Avishay Tal. Tight bounds on the Fourier spectrum of AC0. In Proceedings of the 32nd Computational Complexity Conference, CCC '17, pages 1-31, Dagstuhl, DEU, July 2017. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. Google Scholar
  27. Adam Bene Watts, Robin Kothari, Luke Schaeffer, and Avishay Tal. Exponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, pages 515-526, New York, NY, USA, June 2019. Association for Computing Machinery. URL: https://doi.org/10.1145/3313276.3316404.
  28. Adam Bene Watts and Natalie Parham. Unconditional Quantum Advantage for Sampling with Shallow Circuits, January 2023. arXiv:2301.00995 [quant-ph]. URL: https://doi.org/10.48550/arXiv.2301.00995.