Compiling and rewriting quantum circuits
myQLM provides a set of tools to compile, or to rewrite quantum circuits. These tools can be used to adapt an existing circuit to make it run on a specific hardware (by changing the gate set or by considering the topology), or to optimize an existing circuit (e.g. merge consecutive one qubit gates, removing consecutive Hadamard gates)
These tools are grouped in 2 categories:
Compiler plugins: These automated tools are designed to update any quantum jobs before submitting it to the QPU. These tools relies on the function grouped in the two categories below
Circuit rewriting: These tools are designed to edit a quantum circuit, based on rewriting rules. These rules include KAK compression, pattern matching, etc.
Please note that myQLM provides tools to synthesize quantum circuits, this feature is discussed in another section
References
Matthew Amy, Parsiad Azimzadeh, and Michele Mosca. On the controlled-not complexity of controlled-not–phase circuits. Quantum Science and Technology, 4(1):015002, Sep 2018. doi:10.1088/2058-9565/aad8ca.
Alexander Cowtan, Will Simmons, and Ross Duncan. A generic compilation strategy for the unitary coupled cluster ansatz. 2020. arXiv:2007.10515.
Niel de Beaudrap. A linearized stabilizer formalism for systems of finite dimension. 2012. arXiv:1102.3354.
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, and Cyril Allouche. Gaussian elimination versus greedy methods for the synthesis of linear reversible circuits. 2020.
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, and Cyril Allouche. Quantum cnot circuits synthesis for nisq architectures using the syndrome decoding problem. In Reversible Computation. 2020. doi:10.1007/978-3-030-52482-1_11.
Arianne Meijer-van de Griend and Ross Duncan. Architecture-aware synthesis of phase polynomials for nisq devices. 2020. arXiv:2004.06052.
Aleks Kissinger and Arianne Meijer-van de Griend. Cnot circuit extraction for topologically-constrained quantum memories. 2019. arXiv:1904.00633.
Simon Martiel and Timothée Goubault de Brugière. Architecture aware compilation of quantum circuits via lazy synthesis. 2020. arXiv:2012.09663.
K. N. Patel, I. L. Markov, and J. P. Hayes. Efficient synthesis of linear reversible circuits. 2003. arXiv:quant-ph/0302002.