Buchumschlag

Local Optimization of Quantum Circuits (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Arora, Jatin, Xu, Mingkuan, Westrick, Sam, Liu, Pengyu, Li, Dantong, Ding, Yongshan, Acar, Umut A.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Quantum Physics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

POPQC: Parallel Optimization for Quantum Circuits (Extended Version)
von: Liu, Pengyu, et al.
Veröffentlicht: (2025)

Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs (Extended Version)
von: Xu, Mingkuan, et al.
Veröffentlicht: (2024)

Validating Quantum State Preparation Programs (Extended Version)
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Asymptotically Optimal Depth Fermionic Permutation on 2D Grid Quantum Architecture without Ancillas
von: Li, Dantong, et al.
Veröffentlicht: (2026)

Optimizing Quantum Circuits, Fast and Slow
von: Xu, Amanda, et al.
Veröffentlicht: (2024)

DisQ: A Model of Distributed Quantum Processors (Extended Version)
von: Chang, Le, et al.
Veröffentlicht: (2024)

ConiQ: Enabling Concatenated Quantum Error Correction on Neutral Atom Arrays
von: Liu, Pengyu, et al.
Veröffentlicht: (2025)

PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits
von: Chen, Zihan, et al.
Veröffentlicht: (2025)

Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
von: Voichick, Finn, et al.
Veröffentlicht: (2022)

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

Qudit Quantum Programming with Projective Cliffords
von: Paykin, Jennifer, et al.
Veröffentlicht: (2024)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
von: Voichick, Finn, et al.
Veröffentlicht: (2023)

Symmetry-Based Quantum Circuit Mapping
von: Yu, Di, et al.
Veröffentlicht: (2023)

Formal Verification of Variational Quantum Circuits
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

Efficient Quantum Gradient and Higher-order Derivative Estimation via Generalized Hadamard Test
von: Li, Dantong, et al.
Veröffentlicht: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

Unleashing Optimizations in Dynamic Circuits through Branch Expansion
von: Chen, Yanbin
Veröffentlicht: (2025)

TypeDis: A Type System for Disentanglement
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

Verification of Recursively Defined Quantum Circuits
von: Ying, Mingsheng, et al.
Veröffentlicht: (2024)

Quantum Circuits Are Just a Phase
von: Heunen, Chris, et al.
Veröffentlicht: (2025)

Linear and non-linear relational analyses for Quantum Program Optimization
von: Amy, Matthew, et al.
Veröffentlicht: (2024)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
von: Fu, Jianling, et al.
Veröffentlicht: (2024)

Dependency-Aware Compilation for Surface Code Quantum Architectures
von: Molavi, Abtin, et al.
Veröffentlicht: (2023)

Error Mitigation of Fault-Tolerant Quantum Circuits with Soft Information
von: Zhou, Zeyuan, et al.
Veröffentlicht: (2025)

The Quantum Abstract Machine
von: Li, Liyi, et al.
Veröffentlicht: (2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes
von: Chen, Kean, et al.
Veröffentlicht: (2025)

Borrowing Dirty Qubits in Quantum Programs
von: Su, Bonan, et al.
Veröffentlicht: (2025)

A Verified Compiler for Quantum Simulation
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Quantum Simulation Programming via Typing
von: Li, Liyi, et al.
Veröffentlicht: (2025)

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

Quantum Programming Without the Quantum Physics
von: Inoue, Jun
Veröffentlicht: (2024)

Qafny: A Quantum-Program Verifier
von: Li, Liyi, et al.
Veröffentlicht: (2022)

The Quantum Effect: A Recipe for QuantumPi
von: Carette, Jacques, et al.
Veröffentlicht: (2023)

Efficient Formal Verification of Quantum Error Correcting Programs
von: Huang, Qifan, et al.
Veröffentlicht: (2025)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
von: Huang, Qifan, et al.
Veröffentlicht: (2026)

Analyzing Decoders for Quantum Error Correction
von: Molavi, Abtin, et al.
Veröffentlicht: (2026)

Reversible Lifetime Semantics for Quantum Programs
von: Faro, Simone, et al.
Veröffentlicht: (2026)

Hadamard-Pi: Equational Quantum Programming
von: Fang, Wang, et al.
Veröffentlicht: (2025)

Expressing and Analyzing Quantum Algorithms with Qualtran
von: Harrigan, Matthew P., et al.
Veröffentlicht: (2024)