Quantum interactive proofs using quantum energy teleportation.
Kazuki IkedaAdam LowePublished in: CoRR (2023)
Keyphrases
- quantum computation
- quantum computing
- quantum inspired
- user interaction
- channel capacity
- logic circuits
- energy consumption
- theorem prover
- theorem proving
- quantum evolutionary algorithm
- data sets
- quantum mechanics
- graphical interface
- information systems
- computer graphics
- video sequences
- case study
- knowledge base
- equational theories
- probability ranking principle
- neural network