Cover Image

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ricciardi, Jérome, Bardin, Sébastien, Chareton, Christophe, Valiron, Benoît
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Hybrid Path-Sums for Hybrid Quantum Programs
by: Chareton, Christophe, et al.
Published: (2026)

Finding Photonics Circuits via $δ$-weakening SMT
by: Lewis, Marco, et al.
Published: (2025)

Optimizing Quantum Circuits, Fast and Slow
by: Xu, Amanda, et al.
Published: (2024)

On Quantum Programming Languages
by: Valiron, Benoît
Published: (2024)

Local Optimization of Quantum Circuits (Extended Version)
by: Arora, Jatin, et al.
Published: (2025)

Symmetry-Based Quantum Circuit Mapping
by: Yu, Di, et al.
Published: (2023)

Partial Equivalence Checking of Quantum Circuits
by: Chen, Tian-Fu, et al.
Published: (2022)

Equivalence Checking of Parameterised Quantum Circuits
by: Hong, Xin, et al.
Published: (2024)

Formal Verification of Variational Quantum Circuits
by: Assolini, Nicola, et al.
Published: (2025)

PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits
by: Chen, Zihan, et al.
Published: (2025)

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

Quantum Circuits Are Just a Phase
by: Heunen, Chris, et al.
Published: (2025)

Verification of Recursively Defined Quantum Circuits
by: Ying, Mingsheng, et al.
Published: (2024)

Manjushri: A Tool for Equivalence Checking of Quantum Circuits
by: Trinh, Xuan Du, et al.
Published: (2026)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
by: Younis, Ed
Published: (2025)

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
by: Voichick, Finn, et al.
Published: (2023)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
by: Huang, Mingyu, et al.
Published: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2024)

Unleashing Optimizations in Dynamic Circuits through Branch Expansion
by: Chen, Yanbin
Published: (2025)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
by: Corrales-Garro, Francini, et al.
Published: (2025)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
by: Colledan, Andrea, et al.
Published: (2024)

Approximate Quantum Circuit Synthesis for Diagonal Unitary
by: Zhang, Wenqi, et al.
Published: (2024)

Quantum Circuits for Matrix-Product Unitaries
by: Styliaris, Georgios, et al.
Published: (2025)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
by: Mikuriya, Taku, et al.
Published: (2025)

Spin-Adapted Fermionic Unitaries: From Lie Algebras to Compact Quantum Circuits
by: Magoulas, Ilias, et al.
Published: (2025)

Game Semantics for Higher-Order Unitary Quantum Computation
by: Abramsky, Samson, et al.
Published: (2024)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)

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

Quantum Indistinguishable Obfuscation via Quantum Circuit Equivalence
by: Zhang, Yuanjing, et al.
Published: (2024)

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
by: Kim, Sean, et al.
Published: (2024)

Quantum Circuit for Non-Unitary Linear Transformation of Basis Sets
by: Zhu, Guorui, et al.
Published: (2025)

The Quantum Effect: A Recipe for QuantumPi
by: Carette, Jacques, et al.
Published: (2023)

Special-Unitary Parameterization for Trainable Variational Quantum Circuits
by: Chen, Kuan-Cheng, et al.
Published: (2025)

Quantum Many-Body Scars in Dual-Unitary Circuits
by: Logarić, Leonard, et al.
Published: (2023)

MerLin: A Discovery Engine for Photonic and Hybrid Quantum Machine Learning
by: Notton, Cassandre, et al.
Published: (2026)

CHSH Violations using Dynamic Circuits
by: Waring, Jean-Baptiste, et al.
Published: (2025)

Genesis: A Compiler Framework for Hamiltonian Simulation on Hybrid CV-DV Quantum Computers
by: Chen, Zihan, et al.
Published: (2025)

Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits (Extended)
by: Ross, Neil J., et al.
Published: (2025)