Cover Image

ZX-DB: A Graph Database for Quantum Circuit Simplification and Rewriting via the ZX-Calculus

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Uotila, Valter, Yu, Cong, Zhao, Bo
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Databases
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SQL2Circuits: Estimating Cardinalities, Execution Times, and Costs for SQL Queries with Quantum Natural Language Processing
by: Uotila, Valter
Published: (2023)

Fast Classical Simulation of Quantum Circuits via Parametric Rewriting in the ZX-Calculus
by: Sutcliffe, Matthew, et al.
Published: (2024)

Left-Deep Join Order Selection with Higher-Order Unconstrained Binary Optimization on Quantum Computers
by: Uotila, Valter
Published: (2025)

Quantum Information-Theoretical Size Bounds for Conjunctive Queries with Functional Dependencies
by: Uotila, Valter, et al.
Published: (2025)

Reinforcement Learning Based Quantum Circuit Optimization via ZX-Calculus
by: Riu, Jordi, et al.
Published: (2023)

Opportunities and Challenges for Data Quality in the Era of Quantum Computing
by: Groppe, Sven, et al.
Published: (2025)

A Review on Quantum Circuit Optimization using ZX-Calculus
by: Fischbach, Tobias, et al.
Published: (2025)

Exhaustive Search for Quantum Circuit Optimization using ZX Calculus
by: Fischbach, Tobias, et al.
Published: (2025)

QCE'24 Tutorial: Quantum Annealing -- Emerging Exploration for Database Optimization
by: Nayak, Nitin, et al.
Published: (2024)

A ZX-Calculus Approach for the Construction of Graph Codes
by: Wu, Zipeng, et al.
Published: (2023)

ZX Graphical Calculus for Continuous-Variable Quantum Processes
by: Nagayoshi, Hironari, et al.
Published: (2024)

Finite-Dimensional ZX-Calculus for Loop Quantum Gravity
by: Priestley, Ben
Published: (2025)

Clifford and Non-Clifford Splitting in Quantum Circuits: Applications and ZX-Calculus Detection Procedure
by: Lima, Fernando, et al.
Published: (2025)

Chutes and Ladders: Dynamical Automorphisms via the ZX-Calculus
by: Frei, Alexander, et al.
Published: (2026)

Agent-Q: Fine-Tuning Large Language Models for Quantum Circuit Generation and Optimization
by: Jern, Linus, et al.
Published: (2025)

From Fermions to Qubits: A ZX-Calculus Perspective
by: McDowall-Rose, Haytham, et al.
Published: (2025)

The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation
by: Shaikh, Razin A., et al.
Published: (2024)

Quantum Circuit Optimization Based on Dynamic Grouping and ZX-Calculus for Reducing 2-Qubit Gate Count
by: Chen, Kai, et al.
Published: (2025)

Weighted Projective Line ZX Calculus: Quantized Orbifold Geometry for Quantum Compilation
by: Cho, Gunhee, et al.
Published: (2025)

Efficient Classical Simulation of Low-Rank-Width Quantum Circuits Using ZX-Calculus
by: Kuyanov, Fedor, et al.
Published: (2026)

ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams
by: Kissinger, Aleks, et al.
Published: (2026)

Optimizing Quantum Circuits via ZX Diagrams using Reinforcement Learning and Graph Neural Networks
by: Mattick, Alexander, et al.
Published: (2025)

Alternating ZX Circuit Extraction for Hardware-Adaptive Compilation
by: Schmid, Ludwig, et al.
Published: (2026)

Application of ZX-calculus to Quantum Architecture Search
by: Ewen, Tom, et al.
Published: (2024)

Smarter k-Partitioning of ZX-Diagrams for Improved Quantum Circuit Simulation
by: Sutcliffe, Matthew
Published: (2024)

Addition and Differentiation of ZX-diagrams
by: Jeandel, Emmanuel, et al.
Published: (2022)

The decohered ZX-calculus
by: Carette, Titouan, et al.
Published: (2025)

Unveiling a Hidden Percolation Transition in Monitored Clifford Circuits: Inroads from ZX-Calculus
by: Buznach, Einat, et al.
Published: (2025)

Higher-Order Portfolio Optimization with Quantum Approximate Optimization Algorithm
by: Uotila, Valter, et al.
Published: (2025)

Tensor Decompositions and Adiabatic Quantum Computing for Discovering Practical Matrix Multiplication Algorithms
by: Uotila, Valter
Published: (2024)

Gate Teleportation in Noisy Quantum Networks with the SquidASM Simulator
by: Uotila, Valter
Published: (2024)

Simple qudit ZX and ZH calculi, via integrals
by: de Beaudrap, Niel, et al.
Published: (2023)

Private Quantum Database
by: Gatti, Giancarlo, et al.
Published: (2025)

Completeness for Fault Equivalence of Clifford ZX Diagrams
by: Rüsch, Maximilian, et al.
Published: (2025)

Bridging wire and gate cutting with ZX-calculus
by: Schumann, Marco, et al.
Published: (2025)

Qubit-count optimization using ZX-calculus
by: Vandaele, Vivien
Published: (2024)

Holographic codes seen through ZX-calculus
by: Wan, Kwok Ho, et al.
Published: (2026)

Unifying flavors of fault tolerance with the ZX calculus
by: Bombin, Hector, et al.
Published: (2023)

Speedy Contraction of ZX Diagrams with Triangles via Stabiliser Decompositions
by: Koch, Mark, et al.
Published: (2023)

VyZX: Formal Verification of a Graphical Quantum Language
by: Lehmann, Adrian, et al.
Published: (2023)