Cover Image

Optimization and Synthesis of Quantum Circuits with Global Gates

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Villoria, Alejandro, Basold, Henning, Laarman, Alfons
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimization and Synthesis of Quantum Circuits with Global Gates
by: Villoria Gonzalez, Alejandro, et al.
Published: (2025)

Enriching Diagrams with Algebraic Operations
by: Villoria, Alejandro, et al.
Published: (2023)

Quantum Physics using Weighted Model Counting
by: Ende, Dirck van den, et al.
Published: (2025)

Reducing Quantum Circuit Synthesis to #SAT
by: Zak, Dekel, et al.
Published: (2025)

GPU-Accelerated Quantum Simulation of Stabilizer Circuits
by: Osama, Muhammad, et al.
Published: (2026)

Simulating Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)

Equivalence Checking of Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
by: Brand, Sebastiaan, et al.
Published: (2025)

Quantum Graph-State Synthesis with SAT
by: Brand, Sebastiaan, et al.
Published: (2023)

Quantum Algorithms for Magic Square Diophantine Equations
by: Thanos, Dimitrios, et al.
Published: (2026)

Advancing Quantum Computing with Formal Methods
by: Quist, Arend-Jan, et al.
Published: (2024)

Trade-offs between classical and quantum space using spooky pebbling
by: Quist, Arend-Jan, et al.
Published: (2024)

Quokka#: Quantum Computing with #SAT
by: Mei, Jingyi, et al.
Published: (2026)

Exact quantum decision diagrams with scaling guarantees for Clifford+$T$ circuits and beyond
by: Quist, Arend-Jan, et al.
Published: (2026)

A Knowledge Compilation Map for Quantum Information
by: Vinkhuijzen, Lieuwe, et al.
Published: (2024)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
by: González-Castillo, Samuel, et al.
Published: (2026)

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
by: de Colnet, Alexis, et al.
Published: (2026)

From Tensor Networks to Tractable Circuits, and back
by: Quist, Arend-Jan, et al.
Published: (2026)

Global Optimization for Parametrized Quantum Circuits
by: Sakos, Iosif, et al.
Published: (2026)

Automatic Depth-Optimized Quantum Circuit Synthesis for Diagonal Unitary Matrices with Asymptotically Optimal Gate Count
by: Zhang, Shihao, et al.
Published: (2022)

A Lazy Resynthesis Approach for Simultaneous T Gate and Two-Qubit Gate Optimization of Quantum Circuits
by: Lau, Mu-Te, et al.
Published: (2025)

Gate Sequence Optimization for Parameterized Quantum Circuits using Reinforcement Learning
by: Rieckmann, Tom R., et al.
Published: (2025)

Gate Optimization of NEQR Quantum Circuits via PPRM Transformation
by: Iranmanesh, Shahab, et al.
Published: (2024)

Gate Freezing Method for Gradient-Free Variational Quantum Algorithms in Circuit Optimization
by: Pankkonen, Joona, et al.
Published: (2025)

GHZ-Preserving Gates and Optimized Distillation Circuits
by: Wang, Mingyuan, et al.
Published: (2025)

Simulating Time Evolution with Fully Optimized Single-Qubit Gates on Parameterized Quantum Circuits
by: Wada, Kaito, et al.
Published: (2021)

Dynamically Optimized Super-Robust Nonadiabatic Holonomic Quantum Gates Based on Superconducting Circuits
by: Xu, Hai, et al.
Published: (2024)

Error-Tolerant Quantum State Discrimination: Optimization and Quantum Circuit Synthesis
by: Ma, Chien-Kai, et al.
Published: (2026)

Multi-Mode Global Driving of Trapped Ions for Quantum Circuit Synthesis
by: Richerme, Philip
Published: (2025)

On Classical Simulation of Quantum Circuits Composed of Clifford Gates
by: Biswas, George
Published: (2024)

Variational Quantum Circuits for Multi-Qubit Gate Automata
by: Majumder, Arunava, et al.
Published: (2022)

Gate Teleportation vs Circuit Cutting in Distributed Quantum Computing
by: Gupta, Shobhit, et al.
Published: (2025)

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

Two-Gate Extensions of Free Axis and Free Quaternion Selection for Sequential Optimization of Parameterized Quantum Circuits
by: Pankkonen, Joona V.
Published: (2026)

Analysis of Parameterized Quantum Circuits: on The Connection Between Expressibility and Types of Quantum Gates
by: Liu, Yu, et al.
Published: (2024)

Numerical Errors in Quantitative System Analysis With Decision Diagrams
by: Brand, Sebastiaan, et al.
Published: (2025)

End-to-End Fidelity Analysis of Quantum Circuit Optimization: From Gate-Level Transformations to Pulse-Level Control
by: Malarchick, Rylan
Published: (2026)

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
by: Peham, Tom, et al.
Published: (2026)

Unitary Gate Synthesis via Polynomial Optimization
by: Gaggioli, Llorenç Balada, et al.
Published: (2025)

Error Crafting in Mixed Quantum Gate Synthesis
by: Yoshioka, Nobuyuki, et al.
Published: (2024)