On the quantum time complexity of divide and conquer
- URL: http://arxiv.org/abs/2311.16401v1
- Date: Tue, 28 Nov 2023 01:06:03 GMT
- Title: On the quantum time complexity of divide and conquer
- Authors: Jonathan Allcock, Jinge Bao, Aleksandrs Belovs, Troy Lee, Miklos
Santha
- Abstract summary: We study the time complexity of quantum divide and conquer algorithms for classical problems.
We apply these theorems to an array of problems involving strings, integers, and geometric objects.
- Score: 42.7410400783548
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We initiate a systematic study of the time complexity of quantum divide and
conquer algorithms for classical problems. We establish generic conditions
under which search and minimization problems with classical divide and conquer
algorithms are amenable to quantum speedup and apply these theorems to an array
of problems involving strings, integers, and geometric objects. They include
LONGEST DISTINCT SUBSTRING, KLEE'S COVERAGE, several optimization problems on
stock transactions, and k-INCREASING SUBSEQUENCE. For most of these results,
our quantum time upper bound matches the quantum query lower bound for the
problem, up to polylogarithmic factors.
Related papers
- Sum-of-Squares inspired Quantum Metaheuristic for Polynomial Optimization with the Hadamard Test and Approximate Amplitude Constraints [76.53316706600717]
Recently proposed quantum algorithm arXiv:2206.14999 is based on semidefinite programming (SDP)
We generalize the SDP-inspired quantum algorithm to sum-of-squares.
Our results show that our algorithm is suitable for large problems and approximate the best known classicals.
arXiv Detail & Related papers (2024-08-14T19:04:13Z) - On quantum learning algorithms for noisy linear problems [0.6430989240829326]
Quantum algorithms have shown successful results in solving noisy linear problems with quantum samples.
New quantum and classical algorithms are presented under the same assumptions as in the earlier works.
arXiv Detail & Related papers (2024-04-05T07:35:06Z) - A Faster Algorithm for the Free Energy in One-Dimensional Quantum
Systems [0.0]
We consider the problem of approximating the free energy density of a translation-invariant, one-dimensional quantum spin system with finite range.
While the complexity of this problem is nontrivial due to its close connection to problems with known hardness results, a classical subpolynomial-time algorithm has recently been proposed.
We propose an algorithm outperforming this resultally and give rigorous bounds on its runtime.
arXiv Detail & Related papers (2024-02-29T10:42:18Z) - Lower bounds for quantum-inspired classical algorithms via communication complexity [0.5461938536945723]
We focus on lower bounds for solving linear regressions, supervised clustering, principal component analysis, recommendation systems, and Hamiltonian simulations.
We prove a quadratic lower bound in terms of the Frobenius norm of the underlying matrix.
As quantum algorithms are linear in the Frobenius norm for those problems, our results mean that the quantum-classical separation is at least quadratic.
arXiv Detail & Related papers (2024-02-24T02:15:00Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
The anticipated applications of quantum computers span across science and industry.
We present a survey of several potential application areas of quantum algorithms.
We outline the challenges and opportunities in each area in an "end-to-end" fashion.
arXiv Detail & Related papers (2023-10-04T17:53:55Z) - QSETH strikes again: finer quantum lower bounds for lattice problem,
strong simulation, hitting set problem, and more [5.69353915790503]
There are problems for which there is no trivial' computational advantage possible with the current quantum hardware.
We would like to have evidence that it is difficult to solve those problems on quantum computers; but what is their exact complexity?
By the use of the QSETH framework [Buhrman-Patro-Speelman 2021], we are able to understand the quantum complexity of a few natural variants of CNFSAT.
arXiv Detail & Related papers (2023-09-28T13:30:20Z) - Quantum Clustering with k-Means: a Hybrid Approach [117.4705494502186]
We design, implement, and evaluate three hybrid quantum k-Means algorithms.
We exploit quantum phenomena to speed up the computation of distances.
We show that our hybrid quantum k-Means algorithms can be more efficient than the classical version.
arXiv Detail & Related papers (2022-12-13T16:04:16Z) - Quantum Worst-Case to Average-Case Reductions for All Linear Problems [66.65497337069792]
We study the problem of designing worst-case to average-case reductions for quantum algorithms.
We provide an explicit and efficient transformation of quantum algorithms that are only correct on a small fraction of their inputs into ones that are correct on all inputs.
arXiv Detail & Related papers (2022-12-06T22:01:49Z) - Complexity-Theoretic Limitations on Quantum Algorithms for Topological
Data Analysis [59.545114016224254]
Quantum algorithms for topological data analysis seem to provide an exponential advantage over the best classical approach.
We show that the central task of TDA -- estimating Betti numbers -- is intractable even for quantum computers.
We argue that an exponential quantum advantage can be recovered if the input data is given as a specification of simplices.
arXiv Detail & Related papers (2022-09-28T17:53:25Z) - Quantifying Grover speed-ups beyond asymptotic analysis [0.0]
We consider an approach that combines classical emulation with detailed complexity bounds that include all constants.
We apply our method to some simple quantum speedups of classical algorithms for solving the well-studied MAX-$k$-SAT optimization problem.
This requires rigorous bounds (including all constants) on the expected- and worst-case complexities of two important quantum sub-routines.
arXiv Detail & Related papers (2022-03-09T19:00:00Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.