Compiling and rewriting quantum circuits

Qaptiva Appliance 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 Qaptiva provides tools to synthesize quantum circuits, this feature is discussed in another section

Compiling quantum jobs using plugins
Rewriting quantum circuits

References

AAM18

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.

CSD20

Alexander Cowtan, Will Simmons, and Ross Duncan. A generic compilation strategy for the unitary coupled cluster ansatz. 2020. arXiv:2007.10515.

dB12

Niel de Beaudrap. A linearized stabilizer formalism for systems of finite dimension. 2012. arXiv:1102.3354.

dBrugiereBV+20a

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.

dBrugiereBV+20b

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.

dGD20

Arianne Meijer-van de Griend and Ross Duncan. Architecture-aware synthesis of phase polynomials for nisq devices. 2020. arXiv:2004.06052.

KdG19

Aleks Kissinger and Arianne Meijer-van de Griend. Cnot circuit extraction for topologically-constrained quantum memories. 2019. arXiv:1904.00633.

MdB20

Simon Martiel and Timothée Goubault de Brugière. Architecture aware compilation of quantum circuits via lazy synthesis. 2020. arXiv:2012.09663.

PMH03

K. N. Patel, I. L. Markov, and J. P. Hayes. Efficient synthesis of linear reversible circuits. 2003. arXiv:quant-ph/0302002.