Variational learning algorithms for quantum query complexity
Abstract: Quantum query complexity plays an important role in studying quantum algorithms, which captures the most known quantum algorithms, such as search and period finding. A query algorithm applies $U_tO_x\cdots U_1O_xU_0$ to some input state, where $O_x$ is the oracle dependent on some input variable $x$, and $U_i$s are unitary operations that are independent of $x$, followed by some measurements for readout. In this work, we develop variational learning algorithms to study quantum query complexity, by formulating $U_i$s as parameterized quantum circuits and introducing a loss function that is directly given by the error probability of the query algorithm. We apply our method to analyze various cases of quantum query complexity, including a new algorithm solving the Hamming modulo problem with $4$ queries for the case of $5$-bit modulo $5$, answering an open question raised in arXiv:2112.14682, and the result is further confirmed by a Semidefinite Programming (SDP) algorithm. Compared with the SDP algorithm, our method can be readily implemented on the near-term Noisy Intermediate-Scale Quantum (NISQ) devices and is more flexible to be adapted to other cases such as the fractional query models.
- H. Buhrman and R. De Wolf, Complexity measures and decision tree complexity: a survey, Theoretical Computer Science 288, 21 (2002).
- L. K. Grover, A fast quantum mechanical algorithm for database search, in Proceedings of the twenty-eighth annual ACM symposium on Theory of computing (1996) pp. 212–219.
- P. W. Shor, Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer, SIAM review 41, 303 (1999).
- D. R. Simon, On the power of quantum computation, SIAM Journal on Computing 26, 1474 (1997).
- D. Deutsch and R. Jozsa, Rapid solution of problems by quantum computation, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences 439, 553 (1992).
- A. Ambainis, Quantum lower bounds by quantum arguments, Journal of Computer and System Sciences 64, 750 (2002).
- A. Ambainis, Understanding quantum algorithms via query complexity, in Proceedings of the International Congress of Mathematicians: Rio de Janeiro 2018 (World Scientific, 2018) pp. 3265–3285.
- A. Ambainis, J. Gruska, and S. Zheng, Exact quantum algorithms have advantage for almost all boolean functions, Quantum Information and Computation 15, 35 (2015).
- A. Ambainis, Superlinear advantage for exact quantum algorithms, SIAM Journal on Computing 45, 617 (2016).
- S. Aaronson, S. Ben-David, and R. Kothari, Separations in query complexity using cheat sheets, in Proceedings of the forty-eighth annual ACM symposium on Theory of Computing (2016) pp. 863–876.
- S. Aaronson and A. Ambainis, Forrelation: A problem that optimally separates quantum from classical computing, SIAM Journal on Computing 47, 982 (2018).
- A. Tal, Towards optimal separations between quantum and randomized query complexities, in 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) (IEEE, 2020) pp. 228–239.
- S. Arunachalam, J. Briët, and C. Palazuelos, Quantum query algorithms are completely bounded forms, SIAM Journal on Computing 48, 903 (2019).
- W. Chen, Z. Ye, and L. Li, Characterization of exact one-query quantum algorithms, Physical Review A 101, 022325 (2020).
- Z. Ye and L. Li, Characterization of exact one-query quantum algorithms (ii): for partial functions, arXiv preprint arXiv:2008.11998 (2020).
- A. Ambainis, Quantum lower bounds by quantum arguments, in Proceedings of the thirty-second annual ACM symposium on Theory of computing (2000) pp. 636–643.
- A. Montanaro, R. Jozsa, and G. Mitchison, On exact quantum query complexity, Algorithmica 71, 775 (2015).
- D. C. Liu and J. Nocedal, On the limited memory bfgs method for large scale optimization, Mathematical programming 45, 503 (1989).
- https://github.com/wuzp15/VarQQA.
- Z. Ye, On the exact quantum query complexity of MODmnsuperscriptsubscriptMOD𝑚𝑛\text{MOD}_{m}^{n}MOD start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT and EXACTk,lnsuperscriptsubscriptEXACT𝑘𝑙𝑛\text{EXACT}_{k,l}^{n}EXACT start_POSTSUBSCRIPT italic_k , italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT (2023), arXiv:2303.10935 [quant-ph] .
- A. Cayley, Sur quelques propriétés des déterminants gauches., 1846, 119 (1846).
- H. de Guise, O. Di Matteo, and L. L. Sánchez-Soto, Simple factorization of unitary transformations, Physical Review A 97, 022328 (2018).
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.