Map of the ZX community
This map is automatically generated. These are the people that have at least 2 ZX publications in the last 5 years. A connection denote they are coauthors in these last five years. You can drag nodes with the mouse. For a full list of publications click here.
Latest publications
Quantum Picturalism: Learning Quantum Theory in High School
Light-Matter Interaction in the ZXW Calculus
Basic ZX-calculus for students and professionals
Coauthors: Giovanni de Felice, Quanlong Wang, Lia Yeh, Konstantinos Meichanetzidis, Alexis Toumi, Aleks Kissinger, Stefano Gogioso, Boldizsár Poór, Razin Shaikh, Dominic Horsman, Richie Yeung
Latest publications
Fusion and flow: formal protocols to reliably build photonic graph states
Differentiation of Linear Optical Circuits
Light-Matter Interaction in the ZXW Calculus
Coauthors: Bob Coecke, Alexis Toumi, Konstantinos Meichanetzidis, Lia Yeh, Miriam Backens, Hector Miller-Bakewell, John van de Wetering, Richie Yeung, Stefano Gogioso, Razin Shaikh, Boldizsár Poór, Quanlong Wang, Boldizsar Poor
Latest publications
Teaching small transformers to rewrite ZX diagrams
Picturing Counting Reductions with the ZH-Calculus
Equivariant quantum graph circuits: constructions for universal approximation over graphs
Coauthors: Bob Coecke, Giovanni de Felice, Alexis Toumi, Tuomas Laakkonen, John van de Wetering, Niel de Beaudrap, Aleks Kissinger, Alex Townsend-Teague, Stefano Gogioso, Richie Yeung
Latest publications
Category Theory for Quantum Natural Language Processing
Diagrammatic Differentiation for Quantum Machine Learning
Foundations for Near-Term Quantum Natural Language Processing
Coauthors: Giovanni de Felice, Bob Coecke, Konstantinos Meichanetzidis, Richie Yeung, Stefano Gogioso
Latest publications
The decohered ZX-calculus
Complete equational theories for classical and quantum Gaussian relations
Graphical Symplectic Algebra
Coauthors: Robert Booth, Simon Perdrix, Renaud Vilmart, Cole Comfort, Emmanuel Jeandel, Marc de Visme, Louis Lemonnier, Thomas Perez, Boldizsár Poór, John van de Wetering, Lia Yeh
Latest publications
Minimal Equational Theories for Quantum Circuits
Quantum Circuit Completeness: Extensions and Simplifications
A Complete Equational Theory for Quantum Circuits
Coauthors: Titouan Carette, Alexandre Clement, Noe Delorme, Marc de Visme, Agustin Borgna, Beno\^it Valiron, Emmanuel Jeandel, Margarita Veshchezerova, Renaud Vilmart, Nicolas Heurtel
Latest publications
String Diagrams for Defect-Based Surface Code Computing
Simple Qudit ZX and ZH Calculi, via Integrals
Circuit Extraction for ZX-Diagrams Can Be #P-Hard
Coauthors: Aleks Kissinger, Xiaoning Bian, Quanlong Wang, Konstantinos Meichanetzidis, John van de Wetering, Richard East, Mateusz Kupper, Dominic Horsman
Latest publications
Fault Tolerance by Construction
Floquetifying stabiliser codes with distance-preserving rewrites
Hybrid Quantum-Classical Machine Learning with String Diagrams
Coauthors: John van de Wetering, Niel de Beaudrap, Bob Coecke, Matthew Sutcliffe, Benjamin Rodatz, Boldizsar Poor, Konstantinos Meichanetzidis, Louis Lemonnier, Dominic Horsman, Quanlong Wang, Miriam Backens, Hector Miller-Bakewell, Cole Comfort, Renaud Vilmart, Lia Yeh, Stefano Gogioso, Richie Yeung, Tuomas Laakkonen, Neil Ross
Latest publications
Optimizing State Preparation for Variational Quantum Regression on NISQ Hardware
Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices
Coauthors: Ross Duncan, Qunsheng Huang, David Winderl, Richie Yeung
Latest publications
Algorithm Development on Honeywell’s Quantum Computer
A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices
Coauthors: Arianne Meijer-van de Griend, Alexander Cowtan, Will Simmons
Latest publications
Simple Qudit ZX and ZH Calculi, via Integrals
Formal diagrammatic spin physics
Spin-networks in the ZX-calculus
Coauthors: John van de Wetering, Niel de Beaudrap
Latest publications
Catalysing Completeness and Universality
Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates)
Optimal compilation of parametrised quantum circuits
Coauthors: Aleks Kissinger, Lia Yeh, Tuomas Laakkonen, Richard East, Miriam Backens, Hector Miller-Bakewell, Konstantinos Meichanetzidis, Neil Ross, Giovanni de Felice, Louis Lemonnier, Renaud Vilmart, Niel de Beaudrap, Julien Codsi, Boldizsár Poór, Robert Booth, Titouan Carette, Patrick Roy, Richie Yeung
Latest publications
Addition and Differentiation of ZX-diagrams
A Recipe for Quantum Graphical Languages
Coauthors: Titouan Carette, Simon Perdrix, Margarita Veshchezerova
Latest publications
Reinforcement Learning Based Quantum Circuit Optimization via ZX-Calculus
Effective Compression of Quantum Braided Circuits Aided by ZX-Calculus
Coauthors:
Latest publications
ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces
Completeness of qufinite ZXW calculus, a graphical language for mixed-dimensional quantum computing
Contraction of ZX diagrams with triangles via stabiliser decompositions
Coauthors: Bob Coecke, Richie Yeung, Razin Shaikh, Niel de Beaudrap, Xiaoning Bian, Mark Koch, Boldizsár Poór, Lia Yeh, Boldizsar Poor, Dominic Horsman, Aleks Kissinger, Giovanni de Felice
Latest publications
Inserting Planar-Measured Qubits into MBQC Patterns while Preserving Flow
The how and why of translating between the circuit model and the one-way model of quantum computing
Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation
Coauthors: Hector Miller-Bakewell, John van de Wetering, Tommy McElvanney, Giovanni de Felice, Aleks Kissinger, Thomas Perez
Latest publications
Completeness of the ZH-calculus
Graphical calculi and their conjecture synthesis
Entanglement and Quaternions: The graphical calculus ZQ
Coauthors: Miriam Backens, John van de Wetering, Giovanni de Felice, Aleks Kissinger
Latest publications
Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities
Techniques to Reduce $\pi/4$-Parity-Phase Circuits, Motivated by the ZX Calculus
Coauthors: Niel de Beaudrap, Quanlong Wang
Latest publications
Large-scale quantum diagrammatic reasoning tools, !-boxes vs. scalable notations
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus
Coauthors: John van de Wetering, Aleks Kissinger, Titouan Carette
Latest publications
The decohered ZX-calculus
Minimality in Finite-Dimensional ZW-Calculi
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of
Quantum Computing
Coauthors: Titouan Carette, Kostia Chardonnet, Marc de Visme, Beno\^it Valiron, Aleks Kissinger, John van de Wetering, Thomas Perez, Alexandre Clement, Noe Delorme, Simon Perdrix
Latest publications
Complete equational theories for classical and quantum Gaussian relations
Graphical Symplectic Algebra
The Algebra for Stabilizer Codes
Coauthors: Robert Booth, Titouan Carette, Aleks Kissinger
Latest publications
CSS code surgery as a universal construction
Qudit lattice surgery
Quantum double aspects of surface code models
Coauthors: Will Simmons, Ross Duncan, Shahn Majid, Simon Burton
Latest publications
Relating Measurement Patterns to Circuits via Pauli Flow
A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
Coauthors: Alexander Cowtan, Ross Duncan
Latest publications
ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory
Coauthors: Manojna Namuduri, Xerxes Arsiwalla
Latest publications
ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory
Coauthors: Jonathan Gorard, Xerxes Arsiwalla
Latest publications
ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory
Coauthors: Jonathan Gorard, Manojna Namuduri
Latest publications
2D Quon Language: Unifying Framework for Cliffords, Matchgates, and Beyond
Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus
Coauthors:
Latest publications
Minimality in Finite-Dimensional ZW-Calculi
The Many-Worlds Calculus: Representing Quantum Control
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
Coauthors: Renaud Vilmart, Titouan Carette, Simon Perdrix, Kostia Chardonnet
Latest publications
From Fermions to Qubits: A ZX-Calculus Perspective
Fusion and flow: formal protocols to reliably build photonic graph states
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
Coauthors: John van de Wetering, Razin Shaikh, Boldizsár Poór, Bob Coecke, Quanlong Wang, Giovanni de Felice, Stefano Gogioso, Richie Yeung, Neil Ross, Robert Booth, Titouan Carette, Patrick Roy, Aleks Kissinger, Boldizsar Poor
Latest publications
String Diagrams for Defect-Based Surface Code Computing
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
Coauthors: Bob Coecke, Aleks Kissinger, Quanlong Wang, Mateusz Kupper, Niel de Beaudrap
Latest publications
String Diagrams for Defect-Based Surface Code Computing
Analysis of quantum hypergraph states in the ZH-calculus
Coauthors: Dominic Horsman, Niel de Beaudrap
Latest publications
Dynamical codes for hardware with noisy readouts
The XYZ ruby code: Making a case for a three-colored graphical calculus for quantum error correction in spacetime
Floquetifying the Colour Code
Coauthors: Julio Magdalena de la Fuente, Markus Kesselring, Jens Eisert, Konstantinos Meichanetzidis
Latest publications
Towards Faster Quantum Circuit Simulation Using Graph Decompositions, GNNs and Reinforcement Learning
Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
Optimal compilation of parametrised quantum circuits
Coauthors: Quanlong Wang, Mark Koch, Razin Shaikh, Alexis Toumi, Giovanni de Felice, Stefano Gogioso, Boldizsár Poór, Lia Yeh, Bob Coecke, John van de Wetering, Tuomas Laakkonen, Aleks Kissinger, Konstantinos Meichanetzidis, Qunsheng Huang, David Winderl, Arianne Meijer-van de Griend, Matthew Sutcliffe
Latest publications
Quantum double aspects of surface code models
Quantum and braided ZX calculus
Coauthors: Alexander Cowtan
Latest publications
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
Quantum Picturalism: Learning Quantum Theory in High School
Annealing Optimisation of Mixed ZX Phase Circuits
Coauthors: Bob Coecke, Lia Yeh, Konstantinos Meichanetzidis, Giovanni de Felice, Alexis Toumi, Richie Yeung, Aleks Kissinger, Razin Shaikh
Latest publications
A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing
A Pair Measurement Surface Code on Pentagons
A Rosetta Stone for the ZX Calculus and the Surface Code
Coauthors:
Latest publications
Towards a Curry-Howard Correspondence for Quantum Computation
The Many-Worlds Calculus: Representing Quantum Control
Geometry of Interaction for ZX-Diagrams
Coauthors: Renaud Vilmart, Beno\^it Valiron, Marc de Visme
Latest publications
Hybrid quantum-classical circuit simplification with the ZX-calculus
Geometry of Interaction for ZX-Diagrams
Coauthors: Kostia Chardonnet, Renaud Vilmart, Agustin Borgna, Simon Perdrix
Latest publications
Parallel Quantum Circuit Extraction from MBQC-Patterns
Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
A compiler for universal photonic quantum computers
Coauthors: Tobias Guggemos, Karl Fürlinger, Robert Wille
Latest publications
Contraction of ZX diagrams with triangles via stabiliser decompositions
Quantum Machine Learning using the ZXW-Calculus
Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning
Coauthors: Quanlong Wang, Richie Yeung
Latest publications
Towards a compiler toolchain for quantum programs
Hybrid quantum-classical circuit simplification with the ZX-calculus
Coauthors: Simon Perdrix, Beno\^it Valiron
Latest publications
Quantum algorithms for energy management optimization problems
Addition and Differentiation of ZX-diagrams
Coauthors: Emmanuel Jeandel, Simon Perdrix
Latest publications
Engineering CSS surgery: compiling any CNOT in any code
Complete equational theories for classical and quantum Gaussian relations
Graphical Symplectic Algebra
Coauthors: Titouan Carette, Cole Comfort, Boldizsár Poór, John van de Wetering, Lia Yeh
Latest publications
Bridging wire and gate cutting with ZX-calculus
Diagrammatic Quantum Circuit Compression for Hamiltonian Simulation
Measurement-Based Quantum Approximate Optimization
Coauthors: Stuart Hadfield
Latest publications
Measurement-Based Quantum Approximate Optimization
Diagrammatic Analysis for Parameterized Quantum Circuits
Coauthors: Tobias Stollenwerk
Latest publications
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
Equivalence Checking of Quantum Circuits with the ZX-Calculus
Equivalence Checking Paradigms in Quantum Circuit Design: A Case Study
Coauthors: Lukas Burgholzer, Robert Wille
Latest publications
Design Automation Tools and Software for Quantum Computing
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
Equivalence Checking of Quantum Circuits with the ZX-Calculus
Coauthors: Tom Peham, Robert Wille
Latest publications
Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms
Equivalence Checking of Quantum Circuits with the ZX-Calculus
Coauthors: Tom Peham, Lukas Burgholzer, Korbinian Staudacher
Latest publications
Preservation of determinism in MBQC under ZX-calculus rewrites
Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation
Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements
Coauthors: Miriam Backens
Latest publications
Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
A Recursively Partitioned Approach to Architecture-Aware ZX Polynomial Synthesis and Optimization
ZX Polynomial Synthesis
Coauthors: Qunsheng Huang, Arianne Meijer-van de Griend, Richie Yeung
Latest publications
VyZX: Formal Verification of a Graphical Quantum Language
VyZX : A Vision for Verifying the ZX Calculus
Coauthors: Ben Caldwell, Robert Rand
Latest publications
VyZX: Formal Verification of a Graphical Quantum Language
VyZX : A Vision for Verifying the ZX Calculus
Coauthors: Adrian Lehmann, Robert Rand
Latest publications
VyZX: Formal Verification of a Graphical Quantum Language
VyZX : A Vision for Verifying the ZX Calculus
Coauthors: Adrian Lehmann, Ben Caldwell
Latest publications
Optimal compilation of parametrised quantum circuits
Picturing Counting Reductions with the ZH-Calculus
A Graphical \#SAT Algorithm for Formulae with Small Clause Density
Coauthors: John van de Wetering, Konstantinos Meichanetzidis, Richie Yeung, Aleks Kissinger
Latest publications
Classically simulating intermediate-scale instantaneous quantum polynomial circuits through a random graph approach
Cutting-Edge Graphical Stabiliser Decompositions for Classical Simulation of Quantum Circuits
Coauthors: John van de Wetering
Latest publications
From Fermions to Qubits: A ZX-Calculus Perspective
The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces
Coauthors: Quanlong Wang, Lia Yeh, Richie Yeung, Boldizsár Poór, Bob Coecke, Giovanni de Felice, Boldizsar Poor, Stefano Gogioso
Latest publications
Blocklet concatenation: Low-overhead fault-tolerant protocols for fusion-based quantum computation
Unifying flavors of fault tolerance with the ZX calculus
Active volume: An architecture for efficient fault-tolerant quantum computers with limited non-local connections
Coauthors: Naomi Nickerson, Hector Bombin, Fernando Pastawski, Sam Roberts
Latest publications
Fault-tolerant complexes
Unifying flavors of fault tolerance with the ZX calculus
Modular decoding: parallelizable real-time decoding for quantum computers
Coauthors: Hector Bombin, Fernando Pastawski, Sam Roberts, Daniel Litinski, Chris Dawson
Latest publications
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
Qudit ZH-calculus
Coauthors: John van de Wetering, Lia Yeh
Latest publications
Quantum Computing from Graphs
Universal graph representation of stabilizer codes
Equivalence Classes of Quantum Error-Correcting Codes
Coauthors: Jonathan Lu, Peter Shor
Latest publications
Universal graph representation of stabilizer codes
Graphical quantum Clifford-encoder compilers from the ZX calculus
Coauthors: Andrey Boris Khesin, Peter Shor
Latest publications
Universal graph representation of stabilizer codes
Graphical quantum Clifford-encoder compilers from the ZX calculus
Coauthors: Andrey Boris Khesin, Jonathan Lu
Latest publications
A compiler for universal photonic quantum computers
Reducing 2-qubit gate count for ZX-calculus based quantum circuit optimization
Coauthors: Korbinian Staudacher, Karl Fürlinger
Latest publications
Optimizing Quantum Circuits via ZX Diagrams using Reinforcement Learning and Graph Neural Networks
Cutting multi-control quantum gates with ZX calculus
Coauthors: Maniraman Periyasamy, Daniel Scherer, Axel Plinge, Christopher Mutschler
Latest publications
Optimizing Quantum Circuits via ZX Diagrams using Reinforcement Learning and Graph Neural Networks
Cutting multi-control quantum gates with ZX calculus
Coauthors: Christian Ufrecht, Daniel Scherer, Axel Plinge, Christopher Mutschler
Latest publications
Optimizing Quantum Circuits via ZX Diagrams using Reinforcement Learning and Graph Neural Networks
Cutting multi-control quantum gates with ZX calculus
Coauthors: Christian Ufrecht, Maniraman Periyasamy, Axel Plinge, Christopher Mutschler
Latest publications
Optimizing Quantum Circuits via ZX Diagrams using Reinforcement Learning and Graph Neural Networks
Cutting multi-control quantum gates with ZX calculus
Coauthors: Christian Ufrecht, Maniraman Periyasamy, Daniel Scherer, Christopher Mutschler
Latest publications
Optimizing Quantum Circuits via ZX Diagrams using Reinforcement Learning and Graph Neural Networks
Cutting multi-control quantum gates with ZX calculus
Coauthors: Christian Ufrecht, Maniraman Periyasamy, Daniel Scherer, Axel Plinge
Latest publications
Genons, Double Covers and Fault-tolerant Clifford Gates
CSS code surgery as a universal construction
Coauthors: Alexander Cowtan
Latest publications
Inserting Planar-Measured Qubits into MBQC Patterns while Preserving Flow
Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus
Coauthors: Titouan Carette, Renaud Vilmart, Miriam Backens
Latest publications
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
Light-Matter Interaction in the ZXW Calculus
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
Coauthors: Lia Yeh, Quanlong Wang, Razin Shaikh, Bob Coecke, Richie Yeung, Giovanni de Felice, Robert Booth, Titouan Carette, John van de Wetering
Latest publications
Catalysing Completeness and Universality
Qutrit Metaplectic Gates Are a Subset of Clifford+T
Coauthors: John van de Wetering, Lia Yeh, Aleks Kissinger
Latest publications
All graph state verification protocols are composably secure
Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States
Coauthors:
Latest publications
Minimal Equational Theories for Quantum Circuits
Quantum Circuit Completeness: Extensions and Simplifications
Coauthors: Noe Delorme, Simon Perdrix, Renaud Vilmart
Latest publications
Minimal Equational Theories for Quantum Circuits
Quantum Circuit Completeness: Extensions and Simplifications
Coauthors: Alexandre Clement, Simon Perdrix, Renaud Vilmart
Latest publications
A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors
A Complete Equational Theory for Quantum Circuits
Coauthors: Simon Perdrix
Latest publications
Fault-tolerant complexes
Unifying flavors of fault tolerance with the ZX calculus
Modular decoding: parallelizable real-time decoding for quantum computers
Coauthors: Naomi Nickerson, Fernando Pastawski, Sam Roberts, Chris Dawson, Daniel Litinski
Latest publications
Fault-tolerant complexes
Modular decoding: parallelizable real-time decoding for quantum computers
Coauthors: Hector Bombin, Naomi Nickerson, Fernando Pastawski, Sam Roberts
Latest publications
Fault-tolerant complexes
Unifying flavors of fault tolerance with the ZX calculus
Modular decoding: parallelizable real-time decoding for quantum computers
Coauthors: Hector Bombin, Naomi Nickerson, Sam Roberts, Chris Dawson, Daniel Litinski
Latest publications
Fault-tolerant complexes
Unifying flavors of fault tolerance with the ZX calculus
Modular decoding: parallelizable real-time decoding for quantum computers
Coauthors: Hector Bombin, Naomi Nickerson, Fernando Pastawski, Chris Dawson, Daniel Litinski
Latest publications
Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
A Recursively Partitioned Approach to Architecture-Aware ZX Polynomial Synthesis and Optimization
Coauthors: David Winderl, Arianne Meijer-van de Griend, Richie Yeung
Latest publications
Fault Tolerance by Construction
Floquetifying stabiliser codes with distance-preserving rewrites
Fusion and flow: formal protocols to reliably build photonic graph states
Coauthors: Quanlong Wang, Benjamin Rodatz, Aleks Kissinger, Razin Shaikh, Giovanni de Felice, Lia Yeh
Latest publications
Parallel Quantum Circuit Extraction from MBQC-Patterns
A compiler for universal photonic quantum computers
Coauthors: Korbinian Staudacher, Tobias Guggemos
Latest publications
Planar fault-tolerant circuits for non-Clifford gates on the 2D color code
Dynamical weight reduction of Pauli measurements
The XYZ ruby code: Making a case for a three-colored graphical calculus for quantum error correction in spacetime
Coauthors: Alex Townsend-Teague, Markus Kesselring, Jens Eisert, Andreas Bauer
Latest publications
Dynamical codes for hardware with noisy readouts
Floquetifying the Colour Code
Coauthors: Alex Townsend-Teague, Julio Magdalena de la Fuente, Jens Eisert
Latest publications
How to simulate magic state cultivation with around $8$ Clifford terms on average
Cutting stabiliser decompositions of magic state cultivation with ZX-calculus
Pauli web of the $|Y\rangle$ state surface code injection
Coauthors: Zhenghao Zhong
Latest publications
Optimization and Synthesis of Quantum Circuits with Global Gates
Automated reasoning in quantum circuit compilation
Enriching Diagrams with Algebraic Operations
Coauthors: Alfons Laarman, Henning Basold
Latest publications
Optimization and Synthesis of Quantum Circuits with Global Gates
Enriching Diagrams with Algebraic Operations
Coauthors: Alejandro Villoria, Alfons Laarman
Latest publications
Optimization and Synthesis of Quantum Circuits with Global Gates
Automated reasoning in quantum circuit compilation
Enriching Diagrams with Algebraic Operations
Coauthors: Alejandro Villoria, Henning Basold
Latest publications
Unveiling a Hidden Percolation Transition in Monitored Clifford Circuits: Inroads from ZX Calculus
Nonunitary gates using measurements only
Coauthors:
Latest publications
Novel Methods for Classical Simulation of Quantum Circuits via ZX-Calculus
Dynamic T-decomposition for classical simulation of quantum circuits
Towards Faster Quantum Circuit Simulation Using Graph Decompositions, GNNs and Reinforcement Learning
Coauthors: Aleks Kissinger, Richie Yeung, Wira Azmoon Ahmad
Latest publications
Roughening Transition in Quantum Circuits
Zero-temperature entanglement membranes in quantum circuits
Coauthors: David Huse
Latest publications
Roughening Transition in Quantum Circuits
Zero-temperature entanglement membranes in quantum circuits
Coauthors: Grace Sommers
Latest publications
Magic Resources of the Heisenberg Picture
Exact solution of long-range stabilizer Rényi entropy in the dual-unitary XXZ model
Coauthors:
Latest publications
Dynamical codes for hardware with noisy readouts
The XYZ ruby code: Making a case for a three-colored graphical calculus for quantum error correction in spacetime
Coauthors: Alex Townsend-Teague, Julio Magdalena de la Fuente, Markus Kesselring
Latest publications
Fault Tolerance by Construction
Floquetifying stabiliser codes with distance-preserving rewrites
Coauthors: Boldizsar Poor, Aleks Kissinger
Latest publications
Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits?
Towards Efficient Verification of Dynamic Quantum Circuits using ZX-Calculus
Coauthors:
Latest publications
Efficient Heuristics for Classical Simulation of Quantum Circuits Using ZX-Calculus
Dynamic T-decomposition for classical simulation of quantum circuits
Coauthors: Matthew Sutcliffe
Latest publications
How to simulate magic state cultivation with around $8$ Clifford terms on average
Cutting stabiliser decompositions of magic state cultivation with ZX-calculus
Pauli web of the $|Y\rangle$ state surface code injection
Coauthors: Kwok Ho Wan
Latest publications
A Review on Quantum Circuit Optimization using ZX-Calculus
Exhaustive Search for Quantum Circuit Optimization using ZX Calculus
Coauthors: Pierre Talbot