LIPIcs.FSTTCS.2023.31.pdf
- Filesize: 0.72 MB
- 21 pages
Document
A Generalized Quantum Branching Program
Authors
-
Part of:
Volume:
43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-12-12
Cite AsGet BibTex
Debajyoti Bera and Tharrmashastha SAPV. A Generalized Quantum Branching Program. In 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 284, pp. 31:1-31:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.FSTTCS.2023.31
https://doi.org/10.4230/LIPIcs.FSTTCS.2023.31
Abstract
Classical branching programs are studied to understand the space complexity of computational problems. Prior to this work, Nakanishi and Ablayev had separately defined two different quantum versions of branching programs that we refer to as NQBP and AQBP. However, none of them, to our satisfaction, captures the intuitive idea of being able to query different variables in superposition in one step of a branching program traversal. Here, we propose a quantum branching program model, referred to as GQBP, with that ability. To motivate our definition, we explicitly give examples of GQBP for n-bit Deutsch-Jozsa, n-bit Parity, and 3-bit Majority with optimal lengths. We then show several equivalences, namely, between GQBP and AQBP, GQBP and NQBP, and GQBP and query complexities (using either oracle gates or a QRAM to query input bits). In a way, this unifies the different results that we have for the two earlier branching programs and also connects them to query complexity. We hope that GQBP can be used to prove space and space-time lower bounds for quantum solutions to combinatorial problems.
Subject Classification
ACM Subject Classification
- Theory of computation → Quantum computation theory
- Theory of computation → Quantum query complexity
- Theory of computation → Quantum complexity theory
Keywords
- Quantum computing
- quantum branching programs
- quantum algorithms
- query complexity
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Farid Ablayev, Aida Gainutdinova, and Marek Karpinski. On computational power of quantum branching programs. In Fundamentals of Computation Theory: 13th International Symposium, FCT 2001 Riga, Latvia, August 22-24, 2001 Proceedings 13, pages 59-70. Springer, 2001.
-
Farid Ablayev, Cristopher Moore, and Christopher Pollett. Quantum and stochastic branching programs of bounded width: Track a. In Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8-13, 2002 Proceedings 29, pages 343-354. Springer, 2002.
- David A. Barrington. Bounded-width polynomial-size branching programs recognize exactly those languages in nc1. Journal of Computer and System Sciences, 38(1):150-164, 1989. URL: https://doi.org/10.1016/0022-0000(89)90037-8.
-
William Joseph Masek. A fast algorithm for the string editing problem and decision graph complexity. Master’s thesis, Massachusetts Institute of Technology, 1976.
-
Dmitri Maslov, Jin-Sung Kim, Sergey Bravyi, Theodore J Yoder, and Sarah Sheldon. Quantum advantage for computations with limited space. Nature Physics, 17(8):894-897, 2021.
-
Masaki Nakanishi, Kiyoharu Hamaguchi, and Toshinobu Kashiwabara. Ordered quantum branching programs are more powerful than ordered probabilistic branching programs under a bounded-width restriction. In Computing and Combinatorics: 6th Annual International Conference, COCOON 2000 Sydney, Australia, July 26-28, 2000 Proceedings 6, pages 467-476. Springer, 2000.
-
Alexander A Razborov. Lower bounds for deterministic and nondeterministic branching programs. In International Symposium on Fundamentals of Computation Theory, pages 47-60. Springer, 1991.
-
Martin Sauerhoff and Detlef Sieling. Quantum branching programs and space-bounded nonuniform quantum complexity. Theoretical Computer Science, 334(1-3):177-225, 2005.
-
Robert Wille, Stefan Hillmich, and Lukas Burgholzer. Decision diagrams for quantum computing. In Design Automation of Quantum Computers, pages 1-23. Springer, 2022.