Copertina

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yu, Nengkun, Trinh, Xuan Du, Reps, Thomas
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Quantum Physics Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
di: Ricciardi, Jérome, et al.
Pubblicazione: (2025)

Adaptivity is not helpful for Pauli channel learning
di: Trinh, Xuan Du, et al.
Pubblicazione: (2024)

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

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

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

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

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

Efficient Formal Verification of Quantum Error Correcting Programs
di: Huang, Qifan, et al.
Pubblicazione: (2025)

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

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

Scalable Memory Recycling for Large Quantum Programs
di: Reichental, Israel, et al.
Pubblicazione: (2025)

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

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

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

Software Model Checking via Summary-Guided Search (Extended Version)
di: Fang, Ruijie, et al.
Pubblicazione: (2025)

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

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

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

Towards Efficient Verification of Computation in Quantum Devices
di: Li, Keren, et al.
Pubblicazione: (2025)

Type-Based Verification of Connectivity Constraints in Lattice Surgery
di: Wakizaka, Ryo, et al.
Pubblicazione: (2024)

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

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
di: Yin, Jiaqi, et al.
Pubblicazione: (2025)

Quantum Max-Flow Min-Cut theorem
di: Yu, Nengkun
Pubblicazione: (2021)

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

Qwerty: A Basis-Oriented Quantum Programming Language
di: Adams, Austin J., et al.
Pubblicazione: (2024)

Model Checking Quantum Continuous-Time Markov Chains
di: Xu, Ming, et al.
Pubblicazione: (2021)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
di: Sistla, Meghana, et al.
Pubblicazione: (2023)

Quantum Programming Without the Quantum Physics
di: Inoue, Jun
Pubblicazione: (2024)

Newtonian Program Analysis of Probabilistic Programs
di: Wang, Di, et al.
Pubblicazione: (2023)

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

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
di: Adams, Austin J., et al.
Pubblicazione: (2025)

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

The Quantum Abstract Machine
di: Li, Liyi, et al.
Pubblicazione: (2024)

Entanglement Certification by Measuring Nonlocality
di: Trinh, Xuan Du, et al.
Pubblicazione: (2025)

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments
di: She, Junpeng, et al.
Pubblicazione: (2026)

Unleashing Optimizations in Dynamic Circuits through Branch Expansion
di: Chen, Yanbin
Pubblicazione: (2025)

A Verified Compiler for Quantum Simulation
di: Li, Liyi, et al.
Pubblicazione: (2025)

Borrowing Dirty Qubits in Quantum Programs
di: Su, Bonan, et al.
Pubblicazione: (2025)