# A lattice problem in quantum NP

@article{Aharonov2003ALP, title={A lattice problem in quantum NP}, author={Dorit Aharonov and Oded Regev}, journal={44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings.}, year={2003}, pages={210-219} }

We consider coGapSVP/sub /spl radic/n/, a gap version of the shortest vector in a lattice problem. This problem is known to be in AM /spl cap/ coNP but is not known to be in NP or in MA. We prove that it lies inside QMA, the quantum analogue of NP. This is the first non-trivial upper bound on the quantum complexity of a lattice problem. The proof relies on two novel ideas. First, we give a new characterization of QMA, called QMA+ formulation allows us to circumvent a problem which arises…

## Figures from this paper

## 46 Citations

The complexity of the consistency and N-representability problems for quantum states - eScholarship

- Physics
- 2007

Quantum mechanics has important consequences for machines that store and manipulate information. In particular, quantum computers might be more powerful than classical computers; examples of this…

Lattice Problems in NP cap coNP

- MathematicsFOCS
- 2004

We show that the problems of approximating the shortest and closest vector in a lattice to within a factor of /spl radic/n lie in NP intersect coNP. The result (almost) subsumes the three…

Adiabatic Quantum State Generation

- Physics, Computer ScienceSIAM J. Comput.
- 2007

The ASG paradigm is defined and demonstrated by using it to turn a variety of (classical) approximate counting algorithms into efficient quantum state generators of nontrivial quantum states, including, for example, the uniform superposition over all perfect matchings in a bipartite graph.

Adiabatic quantum state generation and statistical zero knowledge

- Physics, Computer ScienceSTOC '03
- 2003

The ASG approach to quantum algorithms provides intriguing links between quantum computation and many different areas: the analysis of spectral gaps and groundstates of Hamiltonians in physics, rapidly mixing Markov chains, statistical zero knowledge, and quantum random walks.

Quantum algorithms: A survey of some recent results

- Computer Science, PhysicsInformatik - Forschung und Entwicklung
- 2006

An overview of the known quantum algorithms and briefly describe the underlying ideas are given, which have been proved to be a prolific source of algorithms in which a polynomial speed-up as compared to classical algorithms can be achieved.

Lattice Problems in NP ∩ coNP Dorit Aharonov

- Mathematics
- 2006

We show that the problems of approximating the shortest and closest vector in a lattice to within a factor of √ n lie in NP intersect coNP. The result (almost) subsumes the three…

Lattice problems in NP ∩ coNP

- MathematicsJACM
- 2005

We show that the problems of approximating the shortest and closest vector in a lattice to within a factor of &nradic; lie in NP intersect coNP. The result (almost) subsumes the three…

Zero-Knowledge for QMA from Locally Simulatable Proofs

- Computer Science, MathematicsArXiv
- 2019

The main technique consists in developing locally simulatable proofs for all of QMA, an encoding of a QMA witness such that it can be efficiently verified by probing only five qubits and the reduced density matrix can be computed in polynomial time and is independent of the witness.

Consistency of Local Density Matrices Is QMA-Complete

- MathematicsAPPROX-RANDOM
- 2006

It is shown that deciding the consistency of local density matrices is QMA-complete (where QMA is the quantum analogue of NP), which gives an interesting example of a hard problem in QMA.

Merlin-Arthur Games and Stoquastic Complexity

- MathematicsArXiv
- 2006

It is proved that MA has a natural complete problem which is called the stoquastic k-SAT problem, a matrix-valued analogue of the satisfiability problem in which clauses are k-qubit projectors with non-negative matrix elements, while a satisfying assignment is a vector that belongs to the space spanned by these projectors.

## References

SHOWING 1-10 OF 29 REFERENCES

Quantum NP - A Survey

- Physics
- 2002

We describe Kitaev's result from 1999, in which he defines the complexity class QMA, the quantum analog of the class NP, and shows that a natural extension of 3-SAT, namely local Hamiltonians, is QMA…

Adiabatic quantum state generation and statistical zero knowledge

- Physics, Computer ScienceSTOC '03
- 2003

The ASG approach to quantum algorithms provides intriguing links between quantum computation and many different areas: the analysis of spectral gaps and groundstates of Hamiltonians in physics, rapidly mixing Markov chains, statistical zero knowledge, and quantum random walks.

New lattice-based cryptographic constructions

- Mathematics, Computer ScienceJACM
- 2004

A new public key cryptosystem whose security guarantee is considerably stronger than previous results is provided, and a family of collision resistant hash functions with an improved security guarantee in terms of the unique shortest vector problem is proposed.

Quantum computation and lattice problems

- Computer Science, MathematicsThe 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings.
- 2002

We present the first explicit connection between quantum computation and lattice problems. Namely, we show a solution to the unique shortest vector problem (SVP) under the assumption that there…

On the Limits of Nonapproximability of Lattice Problems

- Computer Science, MathematicsJ. Comput. Syst. Sci.
- 2000

We show simple constant-round interactive proof systems for problems capturing the approximability, to within a factor of n, of optimization problems in integer lattices, specifically, the closest…

Improving Lattice Based Cryptosystems Using the Hermite Normal Form

- Computer Science, MathematicsCaLC
- 2001

The increased efficiency of the new cryptosystems allows the use of bigger values for the security parameter, making the functions secure against the best cryptanalytic attacks, while keeping the size of the key even below the smallest key size for which lattice cryptos system were ever conjectured to be hard to break.

Quantum algorithms for some hidden shift problems

- Computer ScienceSODA '03
- 2003

The hidden coset problem is defined, which generalizes the hidden shift problem and the hidden subgroup problem and provides a unified way of viewing the ability of the Fourier transform to capture subgroup and shift structure.

Korkin-Zolotarev bases and successive minima of a lattice and its reciprocal lattice

- MathematicsComb.
- 1990

It is proved that and, where andγj denotes Hermite's constant, are lower bounds for polynomial time computable quantities λ1(L) andΜ(x,L), where Μ( x,L) is the Euclidean distance fromx to the closest vector inL.

On Quantum Algorithms for Noncommutative Hidden Subgroups

- Mathematics, Computer ScienceSTACS
- 1999

A quantum algorithm is presented for the special case of dihedral groups which determines the hidden subgroup in a linear number of calls to the input function.

Approximating Shortest Lattice Vectors is Not Harder Than Approximating Closest Lattice Vectors

- Mathematics, Computer ScienceElectron. Colloquium Comput. Complex.
- 1999