A Semiclassical Proof of Duality Between the Classical BSC and the Quantum PSC.

Narayanan Rengaswamy Henry D. Pfister

Published in: CoRR (2021)

Keyphrases

quantum computation
quantum mechanics
theorem proving
quantum inspired
linear programming
linear logic
quantum computing
quantum probability
knowledge base
optimal solution
lower bound
logic circuits