Quantum Physics
[Submitted on 5 Mar 2024]
Title:Efficiency of k-Local Quantum Search and its Adiabatic Variant on Random k-SAT
View PDF HTML (experimental)Abstract:The computational complexity of random $k$-SAT problem is contingent on the clause number $m$. In classical computing, a satisfiability threshold is identified at $m=r_k n$, marking the transition of random $k$-SAT from solubility to insolubility. However, beyond this established threshold, comprehending the complexity remains challenging. On quantum computers, direct application of Grover's unstructured quantum search still yields exponential time requirements due to oversight of structural information. This paper introduces a family of structured quantum search algorithms, termed $k$-local quantum search, designed to address the $k$-SAT problem. Because search algorithm necessitates the presence of a target, our focus is specifically on the satisfiable side of $k$-SAT, i.e., max-$k$-SAT on satisfiable instances, denoted as max-$k$-SSAT, with a small $k \ge 3$. For random instances with $m=\Omega(n^{2+\epsilon})$, general exponential acceleration is proven for any small $\epsilon>0$ and sufficiently large $n$. Furthermore, adiabatic $k$-local quantum search improves the bound of general efficiency to $m=\Omega(n^{1+\epsilon})$, within an evolution time of $\mathcal{O}(n^2)$. Specifically, for $m=\Theta(n^{1+\delta+\epsilon})$, the efficiency is guaranteed in a probability of $1-\mathcal{O}(\mathrm{erfc}(n^{\delta/2}))$. By modifying this algorithm capable of solving all instances, we prove that the max-$k$-SSAT is polynomial on average if $m=\Omega(n^{2+\epsilon})$ based on the average-case complexity theory.
Current browse context:
quant-ph
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.