194 citations · 1.2k across the 78 of their papers we have counts for
85 papers
Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
Dichuan Gao, Razin A. Shaikh, Aleks Kissinger
We introduce Graphical Algebraic Geometry (GAG), a family of diagrammatic languages extending the Graphical Linear Algebra programme. We construct several languages within this fam…
Equivariant Reinforcement Learning for Clifford Quantum Circuit Synthesis
Richie Yeung, Aleks Kissinger, Rob Cornish
We consider the problem of synthesizing Clifford quantum circuits for devices with all-to-all qubit connectivity. We approach this task as a reinforcement learning problem in which…
Preserving MWPM-Decodability in Fault-Equivalent Rewrites
Maximilian Schweikart, Linnea Grans-Samuelsson, Aleks Kissinger +1
Decoding a quantum error correction code is generally NP-hard, but corrections must be applied at a high frequency to suppress noise successfully. Matchable codes, like the surface…
ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams
Aleks Kissinger, John van de Wetering
Flow criteria are used to efficiently extract computations, either in the form of measurement patterns or quantum circuits, from ZX-diagrams. Existing criteria such as causal flow,…
Efficient Classical Simulation of Low-Rank-Width Quantum Circuits Using ZX-Calculus
Fedor Kuyanov, Aleks Kissinger
In this paper, we introduce a technique for contracting (i.e. numerically evaluating) ZX-diagrams whose complexity scales with their rank-width, a graph parameter that behaves nice…
Automated quantum circuit optimization with randomized replacements
Marcin Szyniszewski, Aleks Kissinger, Noah Linden +1
Quantum circuit optimization - the process of transforming a quantum circuit into an equivalent one with reduced time and space requirements - is crucial for maximizing the utility…