Channel Avatar

ZX-calculus @UCn31-2HxFWpcKnbdFi-wkdg@youtube.com

574 subscribers - no pronouns :c

Presentations recorded at the weekly ZX-meetings


01:17:59
Genons, Double Covers and Fault-tolerant Clifford Gates - Simon Burton
39:07
Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
13:13
ZX and Measurement-Based Quantum Computing
14:23
ZX and Machine Learning
14:10
ZX and Education
15:41
ZX and Quantum Error Correction
43:00
Measurement-Based Quantum Approximate Optimization - Tobias Stollenwerk
56:13
Constructing NP^{#P}-Complete Problems and #P-Hardness of Circuit Extraction in Phase-Free ZH
57:21
Nonunitary Gates Using Measurements Only - Daniel Azses
58:20
Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources&Detectors
51:14
Multi-Controlled Phase Gate Synthesis with ZX-Calculus Applied to Neutral Atom Hardware
01:06:45
All Graph State Verification Protocols are Composably Secure - Léo Colisson
01:10:04
Speeding Up Classical Simulation of Quantum Circuits with the ZX calculus - Matthew Sutcliffe
01:11:23
Zero-Temperature Entanglement Membranes in Quantum Circuits - Grace M. Sommers
01:16:25
Complete Equational Theories for Classical and Quantum Gaussian Relations - Robert Booth
01:00:32
Optimising T-Count is NP-Hard, but Optimising Parametrised Circuits is Easy - John van de Wetering
52:24
Minimal Equational Theories for Quantum Circuits - Alexandre Clément
48:58
Teaching Small Transformers to Rewrite ZX Diagrams - Richie Yeung
01:03:43
Fault-Tolerant Complexes - Yehua Liu
39:13
Completeness of Qufinite ZXW Calculus, a Graphical Language for Mixed-Dimensional Quantum Computing
50:35
Enriching Diagrams with Algebraic Operations - Alejandro David Villoria Gonzalez
52:13
VyZX: Formal Verification of a Graphical Quantum Language - Ben Caldwell
01:09:41
Graphical Symplectic Algebra - Robert Booth
46:30
Flow-Preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation - Tommy McElvanney
36:03
Multi-Agent Blind Quantum Computation without Universal Cluster States - Shuxiang Cao
39:18
Reinforcement Learning Based Quantum Circuit Optimization via ZX-Calculus - Jan Nogué Gómez
49:40
Optimizing ZX-Diagrams with Deep Reinforcement Learning - Maximilian Nägele
48:31
The Zeta Calculus - Nicklas Botö
48:22
Graphical CSS Code Transformation Using ZX Calculus - Jiaxin Huang
01:08:22
Graphical Algebra and the Connection to Graphical Languages for Quantum Circuits - Cole Comfort
01:15:33
A ZX-Calculus Approach to Concatenated Graph Codes - Zipeng Wu
01:06:02
ZXLive - An Interactive GUI for the ZX Calculus - Razin A. Shaikh
01:07:08
Causal Flow Preserving Optimisation of Quantum Circuits in the ZX-Calculus - Calum Holker
58:09
Light-Matter Interaction in the ZXW Calculus - Boldizsár Poór
01:00:27
On the Architecture-Aware Synthesis of Pauli Polynomials - David Winderl
51:34
Speedy Contraction of ZX Diagrams with Triangles via Stabiliser Decompositions - Mark Koch
01:06:46
Alex Townsend-Teague - Every Clifford ZX-Diagram is a Quantum Error Correcting Code
01:23:10
Niel de Beaudrap - Simple ZX and ZH calculi for arbitrary finite dimensions, via discrete integrals
45:03
Christian Ufrecht - Cutting multi-control quantum gates with ZX calculus
01:01:06
Improved Synthesis of Toffoli-Hadamard Circuits - Sarah Li
01:02:35
Graphical Stabiliser Decompositions for Classical Simulation of Quantum Circuits - Julien Codsi
53:05
Completeness for arbitrary finite dimensions of ZXW calculus - Boldizsár Poór
01:10:16
CSS code surgery as a universal construction - Alex Cowtan
01:03:36
A Complete Equational Theory for Quantum Circuits - Simon Perdrix
49:48
Introduction to the ZXW Calculus - Harny Wang
39:39
Quantum Linear optics via string diagrams - Giovanni de Felice
01:00:58
Complete ZX-calculi for the stabiliser fragment in odd prime dimensions - Robert Booth
30:18
Diagrammatic Analysis for Parameterized Quantum Circuits - Tobias Stollenwerk
51:31
!-Boxes Vs. Scalable Notations - Titouan Carette
40:18
Geometry of Interaction for ZX-Diagrams - Kostia Chardonnet
40:42
Qudit lattice surgery - Alex Cowtan
50:49
A symplectic setting for mixed stabilizer circuits - Cole Comfort
01:10:45
Phase-free ZX diagrams are CSS codes (aka how to graphically grok lattice surgery) - Aleks Kissinger
48:14
A non-anyonic qudit ZW-calculus - Quanlong Wang
33:45
Circuit Extraction for ZX-diagrams can be #P-hard - John van de Wetering
30:46
Differentiating and Integrating ZX Diagrams - Richie Yeung
52:07
Spin-networks in the ZX-calculus - Richard East
01:06:21
Fault-tolerant implementations of qutrit logic gates - Lia Yeh
01:17:01
Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions -John van de Wetering
54:44
Quantum multiple-valued decision diagrams in graphical calculus - Renaud Vilmart