Search Results for author:
Found 5 papers, 2 papers with code
Dual-Parameterized Quantum Circuit GAN Model in High Energy Physics
Generative models, and Generative Adversarial Networks (GAN) in particular, are being studied as possible alternatives to Monte Carlo simulations.
A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
We describe a compilation strategy for Variational Quantum Eigensolver (VQE) algorithms which use the Unitary Coupled Cluster (UCC) ansatz, designed to reduce circuit depth and gate count.
Quantum Physics Emerging Technologies
Optimising Clifford Circuits with Quantomatic
We present a system of equations between Clifford circuits, all derivable in the ZX-calculus, and formalised as rewrite rules in the Quantomatic proof assistant.
Pivoting makes the ZX-calculus complete for real stabilizers
We show that pivoting property of graph states cannot be derived from the axioms of the ZX-calculus, and that pivoting does not imply local complementation of graph states.
Quantum Physics Logic in Computer Science
Verifying the Steane code with Quantomatic
In this paper we give a partially mechanized proof of the correctness of Steane's 7-qubit error correcting code, using the tool Quantomatic.
