# Succinct quantum proofs for properties of finite groups

@article{Watrous2000SuccinctQP, title={Succinct quantum proofs for properties of finite groups}, author={John Watrous}, journal={Proceedings 41st Annual Symposium on Foundations of Computer Science}, year={2000}, pages={537-546} }

The article considers a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certificate in an NP-type proof. Specifically, we consider quantum proofs for properties of black-box groups, which are finite groups whose elements are encoded as strings of a given length and whose group operations are performed by a group oracle. We prove that for an arbitrary group oracle, there exist succinct (polynomial…

## Figures from this paper

## 161 Citations

Quantum Proofs

- Computer ScienceFound. Trends Theor. Comput. Sci.
- 2016

An overview of many of the known results concerning quantum proofs, computational models based on this concept, and properties of the complexity classes they define is provided.

Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups

- Computer Science, MathematicsMFCS
- 2018

The result shows that computing the order of a solvable group, which is one of the most general problems for which quantum computing exhibits an exponential speed-up with respect to classical computing, can be realized in this model.

An Efficient Quantum Algorithm for Some Instances of the Group Isomorphism Problem

- MathematicsSTACS
- 2010

This paper presents a quantum algorithm solving instances of the nonabelian group isomorphism problem exponentially faster than the best known classical algorithms.

Quantum versus Classical Proofs and Advice

- Mathematics, Computer ScienceTwenty-Second Annual IEEE Conference on Computational Complexity (CCC'07)
- 2007

This paper shows that any quantum algorithm needs Omega (radic2n-m+1) queries to find an n-qubit "marked state"Psi rang, and gives an explicit QCMA protocol that nearly achieves this lower bound.

On quantum computing and pseudorandomness

- Computer Science
- 2010

Evidence is given that BQP \not\subset \PH, relating the classes of languages decidable with a quantum computer to a generalization of \NP, and an instantiation of the Nisan-Wigderson pseudorandom generator that can be broken with quantum computers, but not with the relevant mode of classical computation.

Quantum algorithms for solvable groups

- Mathematics, Computer ScienceSTOC '01
- 2001

An important byproduct of this polynomial-time quantum algorithm is able to produce a pure quantum state that is uniform over the elements in any chosen subgroup of a solvable group, which yields a natural way to apply existing quantum algorithms to factor groups of solvable groups.

Towards Perfect Completeness in QMA

- Computer Science
- 2012

It is proved that classical-witness quantum Merlin-Arthur proof systems can achieve perfect completeness, and any problem in QMA has a two-message quantum interactive proof system ofperfect completeness with constant soundness error.

Experimental verification of group non-membership in optical circuits

- Computer SciencePhotonics Research
- 2021

This work provides an efficient way to verify GNM problems, in which each quantum circuit only contains O(1) group of oracle calls, and the number of qubits in each circuit is reduced by half.

Robust verification of quantum computation

- Computer Science
- 2018

This work considers a single-prover verification protocol developed by Fitzsimons and Kashefi and shows that this protocol is indeed robust with respect to deviations on the quantum state prepared by the verifier, and proves a rigidity result for a type of quantum correlations known as steering correlations.

The Acrobatics of BQP

- Computer ScienceElectron. Colloquium Comput. Complex.
- 2021

It is shown that, in the black-box setting, the behavior of quantum polynomial-time ( BQP ) can be remarkably decoupled from that of classical complexity classes like NP .

## References

SHOWING 1-10 OF 36 REFERENCES

Bounded Round Interactive Proofs in Finite Groups

- MathematicsSIAM J. Discret. Math.
- 1992

This paper considers “black box groups,” i.e., finite groups whose elements are uniquely encoded by strings of uniform length, with group operations being performed by a group oracleB. Let G, H be…

Quantum Computability

- Computer ScienceSIAM J. Comput.
- 1997

It is shown that when quantum Turing machines are restricted to have transition amplitudes which are algebraic numbers, BQP, EQP, and nondeterministic quantum polynomial time (NQP) are all contained in PP, hence in P and PSPACE.

Quantum complexity theory

- Computer ScienceSTOC '93
- 1993

This paper gives the first formal evidence that quantum Turing machines violate the modern (complexity theoretic) formulation of the Church--Turing thesis, and proves that bits of precision suffice to support a step computation.

Parallelization, amplification, and exponential time simulation of quantum interactive proof systems

- Computer ScienceSTOC '00
- 2000

It is proved that any polynomial-round quan tum interactiveProof system with two-sided bounded error can be parallelized to a quantum interactive proof system with exponentially small one-sided error, in which the prover and verifier exchange only 3 messages.

PSPACE has constant-round quantum interactive proof systems

- Computer Science, Mathematics40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039)
- 1999

It is proved that every language in PSPACE has a quantum interactive proof system that requires a total of only three messages to be sent between the prover and verifier and has exponentially small (one-sided) probability of error.

Determining acceptance possibility for a quantum computation is hard for the polynomial hierarchy

- PhysicsProceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences
- 1999

It is shown that the complexity class NQP (a quantum analogue of NP) of Adleman, Demarrais and Huang, is equal to the counting class coC=P.

Quantum circuits with mixed states

- Computer ScienceSTOC '98
- 1998

A solution for the subroutine problem: the general function that a quantum circuit outputs is a probabilistic function, but using pure state language, such a function can not be used as a black box in other computations.

On the Complexity of Matrix Group Problems I

- MathematicsFOCS
- 1984

A theory of black box groups is built, and it is proved that for such subgroups, membership and divisor of the order are in NPB, and under a plausible mathematical hypothesis on short presentations of finite simple groups, nom membership and exaact order will also be inNPB.

Local expansion of vertex-transitive graphs and random generation in finite groups

- Mathematics, Computer ScienceSTOC '91
- 1991

A Monte Carlo algorithm is presented which constructs an efficient nearly uniform random generator for finite groups G in a very general setting and presumes a priori knowledge of an upper bound n on log |G|.

On universal and fault-tolerant quantum computing: a novel basis and a new constructive proof of universality for Shor's basis

- Physics40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039)
- 1999

A novel universal and fault-tolerant basis (set of gates) for quantum computation is described, which achieves universality by including only one additional elementary gate and is potentially the simplest universal basis that one can construct.