{"status":"public","citation":{"ama":"Gharibian S, Kamminga J. BQP, meet NP: Search-to-decision reductions and approximate counting. In: <i>Proceedings of 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP)</i>. Vol 297. ; 2024:1-19.","bibtex":"@inproceedings{Gharibian_Kamminga_2024, title={BQP, meet NP: Search-to-decision reductions and approximate counting}, volume={297}, number={70}, booktitle={Proceedings of 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP)}, author={Gharibian, Sevag and Kamminga, Jonas}, year={2024}, pages={1–19} }","ieee":"S. Gharibian and J. Kamminga, “BQP, meet NP: Search-to-decision reductions and approximate counting,” in <i>Proceedings of 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP)</i>, 2024, vol. 297, no. 70, pp. 1–19.","short":"S. Gharibian, J. Kamminga, in: Proceedings of 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP), 2024, pp. 1–19.","apa":"Gharibian, S., &#38; Kamminga, J. (2024). BQP, meet NP: Search-to-decision reductions and approximate counting. <i>Proceedings of 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP)</i>, <i>297</i>(70), 1–19.","chicago":"Gharibian, Sevag, and Jonas Kamminga. “BQP, Meet NP: Search-to-Decision Reductions and Approximate Counting.” In <i>Proceedings of 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP)</i>, 297:1–19, 2024.","mla":"Gharibian, Sevag, and Jonas Kamminga. “BQP, Meet NP: Search-to-Decision Reductions and Approximate Counting.” <i>Proceedings of 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP)</i>, vol. 297, no. 70, 2024, pp. 1–19."},"title":"BQP, meet NP: Search-to-decision reductions and approximate counting","author":[{"last_name":"Gharibian","id":"71541","orcid":"0000-0002-9992-3379","full_name":"Gharibian, Sevag","first_name":"Sevag"},{"full_name":"Kamminga, Jonas","last_name":"Kamminga","first_name":"Jonas"}],"volume":297,"publication":"Proceedings of 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP)","abstract":[{"text":"What is the power of polynomial-time quantum computation with access to an NP\r\noracle? In this work, we focus on two fundamental tasks from the study of\r\nBoolean satisfiability (SAT) problems: search-to-decision reductions, and\r\napproximate counting. We first show that, in strong contrast to the classical\r\nsetting where a poly-time Turing machine requires $\\Theta(n)$ queries to an NP\r\noracle to compute a witness to a given SAT formula, quantumly $\\Theta(\\log n)$\r\nqueries suffice. We then show this is tight in the black-box model - any\r\nquantum algorithm with \"NP-like\" query access to a formula requires\r\n$\\Omega(\\log n)$ queries to extract a solution with constant probability.\r\nMoving to approximate counting of SAT solutions, by exploiting a quantum link\r\nbetween search-to-decision reductions and approximate counting, we show that\r\nexisting classical approximate counting algorithms are likely optimal. First,\r\nwe give a lower bound in the \"NP-like\" black-box query setting: Approximate\r\ncounting requires $\\Omega(\\log n)$ queries, even on a quantum computer. We then\r\ngive a \"white-box\" lower bound (i.e. where the input formula is not hidden in\r\nthe oracle) - if there exists a randomized poly-time classical or quantum\r\nalgorithm for approximate counting making $o(log n)$ NP queries, then\r\n$\\text{BPP}^{\\text{NP}[o(n)]}$ contains a $\\text{P}^{\\text{NP}}$-complete\r\nproblem if the algorithm is classical and $\\text{FBQP}^{\\text{NP}[o(n)]}$\r\ncontains an $\\text{FP}^{\\text{NP}}$-complete problem if the algorithm is\r\nquantum.","lang":"eng"}],"publication_status":"published","issue":"70","date_updated":"2024-07-02T13:16:48Z","page":"1-19","external_id":{"arxiv":["2401.03943"]},"type":"conference","year":"2024","intvolume":"       297","language":[{"iso":"eng"}],"date_created":"2024-01-09T13:59:44Z","user_id":"71541","_id":"50406"}