The Power of Unentangled Quantum Proofs with Non-negative Amplitudes.

Fernando Granha Jeronimo Pei Wu

Published in: STOC (2023)

Keyphrases

power consumption
positive and negative
formal proof
theorem proving
noise level
low cost
mathematical proofs
artificial neural networks
control system
database systems
high speed
case study
decision trees
knowledge base
information retrieval
real world
quantum computation
database