论文信息 - Stochastic Optimization of Quantum Programs

Stochastic Optimization of Quantum Programs

We introduce Markov chain Monte Carlo quantum (MCMCQ), a novel compiler-level optimization of quantum programs that accounts for the emerging quantum programming mode. MCMCQ is the first systematic approach for stochastic quantum-program optimization, targeting program performance, correctness, and noise tolerance. An evaluation of MCMCQ over 500 quantum programs confirms its effectiveness.

[1] M. Curry,et al. Symbolic Quantum Circuit Simplification in SymPy , 2011 .

[2] Margaret Martonosi,et al. Compiler Management of Communication and Parallelism for Quantum Computation , 2015, ASPLOS.

[3] Marco Barbieri,et al. Simplifying quantum logic using higher-dimensional Hilbert spaces , 2009 .

[4] Ryan LaRose,et al. Quantum-assisted quantum compiling , 2018, Quantum.

[5] Gerhard W. Dueck,et al. Quantum circuit simplification using templates , 2005, Design, Automation and Test in Europe.

[6] Dmitri Maslov,et al. Automated optimization of large quantum circuits with continuous parameters , 2017, npj Quantum Information.

[7] Gerhard W. Dueck,et al. Quantum Circuit Simplification and Level Compaction , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8] Alexander G. Gray,et al. Automated Design of Quantum Circuits , 1998, QCQC.

[9] Zhendong Su,et al. Coverage-directed differential testing of JVM implementations , 2016, PLDI.