Upper bounding the quantum space complexity for computing class group and principal ideal problem
- URL: http://arxiv.org/abs/2405.12508v1
- Date: Tue, 21 May 2024 05:37:04 GMT
- Title: Upper bounding the quantum space complexity for computing class group and principal ideal problem
- Abstract summary: We calculate the upper bound on quantum space complexity of the quantum algorithms proposed by Biasse and Song.
We follow the approach of Barbulescu and Poulalion and the framework given by de Boer, Ducas, and Fehr.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In this paper, we calculate the upper bound on quantum space complexity of the quantum algorithms proposed by Biasse and Song (SODA'16) for solving class group computation and the principal ideal problem using the reductions to $S$-unit group computation. We follow the approach of Barbulescu and Poulalion (AFRICACRYPT'23) and the framework given by de Boer, Ducas, and Fehr (EUROCRYPT'20) and Eisentr\"{a}ger, Hallgren, Kitaev, and Song (STOC'14).
Related papers
- An efficient quantum algorithm for computing $S$-units and its applications [0.3867363075280543]
We provide details on the proofs of the quantum time algorithm of Biasse and Song (SODA 16) for computing the $S$-unit group of a number group.
arXiv Detail & Related papers (2025-10-02T17:54:24Z) - Quantum Algorithms for Representation-Theoretic Multiplicities [0.0]
We give quantum algorithms for computing Kostka, Littlewood-Richardson, Plethysm and Kronecker coefficients.
We show that there is an efficient classical algorithm for the Kostka numbers under this restriction and conjecture the existence of an analogous algorithm for the Littlewood-Richardson coefficients.
We argue why such classical algorithm does not straightforwardly work for the Plethysm and Kronecker coefficients and conjecture that our quantum algorithms lead to superpolynomial speedups for these problems.
arXiv Detail & Related papers (2024-07-24T21:34:05Z) - Krylov Complexity for Jacobi Coherent States [0.0]
We show how the Lanczos algorithm that iteratively generates the Krylov basis can be augmented to treat coherent states associated with the Jacobi group.
We exploit this to benchmark a scheme to numerically compute the Lanczos coefficients which, in principle, generalizes to the more general Jacobi group $H_nrtimes Sp(2n,mathbbR)$.
arXiv Detail & Related papers (2022-12-28T09:21:58Z) - 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) - QAOA-in-QAOA: solving large-scale MaxCut problems on small quantum
machines [81.4597482536073]
Quantum approximate optimization algorithms (QAOAs) utilize the power of quantum machines and inherit the spirit of adiabatic evolution.
We propose QAOA-in-QAOA ($textQAOA2$) to solve arbitrary large-scale MaxCut problems using quantum machines.
Our method can be seamlessly embedded into other advanced strategies to enhance the capability of QAOAs in large-scale optimization problems.
arXiv Detail & Related papers (2022-05-24T03:49:10Z) - BILP-Q: Quantum Coalition Structure Generation [0.0]
We propose BILP-Q, the first-ever general quantum approach for solving the Coalition Structure Generation problem (CSGP)
We run BILP-Q on medium-size problems using a real quantum annealer (D-Wave)
arXiv Detail & Related papers (2022-04-28T22:19:50Z) - An efficient quantum algorithm for lattice problems achieving
subexponential approximation factor [2.3351527694849574]
We give a quantum algorithm for solving the Bounded Distance Decoding (BDD) problem with a subexponential approximation factor on a class of integer lattices.
The running time of the quantum algorithm is for one range of approximation factors and subexponential time for a second range of approximation factors.
This view makes for a clean quantum algorithm in terms of finite abelian groups, uses relatively little from lattice theory, and suggests exploring approximation algorithms for lattice problems in parameters other than dimension alone.
arXiv Detail & Related papers (2022-01-31T18:58:33Z) - Lattice-Based Methods Surpass Sum-of-Squares in Clustering [98.46302040220395]
Clustering is a fundamental primitive in unsupervised learning.
Recent work has established lower bounds against the class of low-degree methods.
We show that, perhaps surprisingly, this particular clustering model textitdoes not exhibit a statistical-to-computational gap.
arXiv Detail & Related papers (2021-12-07T18:50:17Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
We introduce a high-fidelity gate set inspired by a proposal for near-term quantum advantage in optimization problems.
By orchestrating coherent, multi-level control over three transmon qutrits, we synthesize a family of deterministic, continuous-angle quantum phase gates acting in the natural three-qubit computational basis.
arXiv Detail & Related papers (2021-08-03T17:49:09Z) - Solving correlation clustering with QAOA and a Rydberg qudit system: a
full-stack approach [94.37521840642141]
We study the correlation clustering problem using the quantum approximate optimization algorithm (QAOA) and qudits.
Specifically, we consider a neutral atom quantum computer and propose a full stack approach for correlation clustering.
We show the qudit implementation is superior to the qubit encoding as quantified by the gate count.
arXiv Detail & Related papers (2021-06-22T11:07:38Z) - Quantum Logarithmic Space and Post-selection [0.4588028371034406]
Post-selection is an influential concept introduced to the field of quantum complexity theory by Aaronson (Proceedings of the Royal Society A, 2005)
Our main result shows the identity $sf PostBQL=$, i.e., the class of problems that can be solved by a bounded-error (polynomial-time) logarithmic-space quantum algorithm with post-selection ($sf PostBQL$)
We also show that $sf$ coincides with the class of problems that can be solved by bounded-error logarithmic-space quantum algorithms that have no time bound.
arXiv Detail & Related papers (2021-05-06T14:02:01Z) - Large-scale Quantum Approximate Optimization via Divide-and-Conquer [8.733794945008562]
We propose a Divide-and-Conquer QAOA (DC-QAOA) to address the challenges for graph maximum cut (MaxCut) problem.
DC-QAOA achieves 97.14% approximation ratio (20.32% higher than classical counterpart)
It also reduces the time complexity of conventional QAOA from exponential to quadratic.
arXiv Detail & Related papers (2021-02-26T03:10:30Z)
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.