Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms.
Tom PehamLukas BurgholzerRobert WillePublished in: CoRR (2022)
Keyphrases
- quantum computing
- theoretical analysis
- logic circuits
- computational cost
- numerical algorithms
- computationally efficient
- optimization problems
- data structure
- computational complexity
- benchmark datasets
- variational methods
- bayesian networks
- social networks
- combinatorial optimization
- times faster
- probability ranking principle
- data mining techniques
- orders of magnitude
- particle swarm optimization
- data mining
- low cost
- worst case
- optical flow
- image processing
- learning algorithm