PSPACE has constant-round quantum interactive proof systems
From MaRDI portal
Recommendations
Cites work
- A proof of the security of quantum key distribution (extended abstract)
- A universal two-bit gate for quantum computation
- Algebraic methods for interactive proof systems
- Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
- Exponential separation of quantum and classical communication complexity
- Finite state verifiers I
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- scientific article; zbMATH DE number 1072528 (Why is no real title available?)
- scientific article; zbMATH DE number 1775384 (Why is no real title available?)
- Interactive proof systems with polynomially bounded strategies
- IP = PSPACE
- IP = SPACE
- New Algorithms for Finding Irreducible Polynomials Over Finite Fields
- Non-deterministic exponential time has two-prover interactive protocols
- On the power of multi-prover interactive protocols
- Parallelization, amplification, and exponential time simulation of quantum interactive proof systems
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Probabilistic checking of proofs
- PSPACE is provable by two provers in one round
- Quantum Computability
- Quantum computational networks
- Quantum cryptography: public key distribution and coin tossing
- The Knowledge Complexity of Interactive Proof Systems
Cited in
(28)- An application of quantum finite automata to interactive proof systems
- PSPACE is provable by two provers in one round
- Quantum multi-prover interactive proof systems with limited prior entanglement.
- Quantum entanglement as a new information processing resource
- Constant-space quantum interactive proofs against multiple provers
- Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata
- Rank-one quantum games
- Interactive proofs with quantum finite automata
- Quantum commitments from complexity assumptions
- Bidirectional controlled teleportation by using nine-qubit entangled state in noisy environments
- Quantum interactive proofs with weak error bounds
- Stronger methods of making quantum interactive proofs perfectly complete
- Stronger methods of making quantum interactive proofs perfectly complete
- Quantum commitments from complexity assumptions
- Parallelization, amplification, and exponential time simulation of quantum interactive proof systems
- New limits to classical and quantum instance compression
- How to Verify a Quantum Computation
- Generalized quantum Arthur-Merlin games
- Bidirectional controlled quantum teleportation and secure direct communication using five-qubit entangled state
- On quantum interactive proofs with short messages
- General Properties of Quantum Zero-Knowledge Proofs
- STACS 2005
- Zero-knowledge proof systems for QMA
- The role of piracy in quantum proofs
- Quantum delegation with an off-the-shelf device
- Quantum communication complexity of classical auctions
- Space-bounded quantum interactive proof systems
- Quantum information and the PCP theorem
This page was built for publication: PSPACE has constant-round quantum interactive proof systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1870552)
