Cover Image

Optimizing Quantum Circuits, Fast and Slow

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Amanda, Molavi, Abtin, Tannu, Swamit, Albarghouthi, Aws
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dependency-Aware Compilation for Surface Code Quantum Architectures
by: Molavi, Abtin, et al.
Published: (2023)

Generating Compilers for Qubit Mapping and Routing
by: Molavi, Abtin, et al.
Published: (2025)

Managing Classical Processing Requirements for Quantum Error Correction
by: Maurya, Satvik, et al.
Published: (2024)

Analyzing Decoders for Quantum Error Correction
by: Molavi, Abtin, et al.
Published: (2026)

Linear-Time T-Gate Optimization via Random Abstraction
by: Albarghouthi, Aws
Published: (2026)

Synchronization for Fault-Tolerant Quantum Computers
by: Maurya, Satvik, et al.
Published: (2025)

PropHunt: Automated Optimization of Quantum Syndrome Measurement Circuits
by: Viszlai, Joshua, et al.
Published: (2026)

Accelerating Simulation of Quantum Circuits under Noise via Computational Reuse
by: Wang, Meng, et al.
Published: (2022)

Reducing T Gates with Unitary Synthesis
by: Hao, Tianyi, et al.
Published: (2025)

Accurate Leakage Speculation for Quantum Error Correction
by: Mude, Chaithanya Naik, et al.
Published: (2025)

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

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

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

Pareto Optimal Code Generation
by: Orlanski, Gabriel, et al.
Published: (2025)

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

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

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

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

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

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

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

Linear and non-linear relational analyses for Quantum Program Optimization
by: Amy, Matthew, et al.
Published: (2024)

Variational Quantum Algorithm Landscape Reconstruction by Low-Rank Tensor Completion
by: Hao, Tianyi, et al.
Published: (2024)

Enabling Fast and Accurate Neutral Atom Readout through Image Denoising
by: Mude, Chaithanya Naik, et al.
Published: (2025)

Exploiting many-body localization for scalable variational quantum simulation
by: Cao, Chenfeng, et al.
Published: (2024)

Efficient and Scalable Architectures for Multi-Level Superconducting Qubit Readout
by: Mude, Chaithanya Naik, et al.
Published: (2024)

Understanding Side-Channel Vulnerabilities in Superconducting Qubit Readout Architectures
by: Maurya, Satvik, et al.
Published: (2024)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
by: Fu, Jianling, et al.
Published: (2024)

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

Quantum Programming Without the Quantum Physics
by: Inoue, Jun
Published: (2024)

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

The Quantum Abstract Machine
by: Li, Liyi, et al.
Published: (2024)

Qudit Quantum Programming with Projective Cliffords
by: Paykin, Jennifer, et al.
Published: (2024)

Expressing and Analyzing Quantum Algorithms with Qualtran
by: Harrigan, Matthew P., et al.
Published: (2024)

Reversible Lifetime Semantics for Quantum Programs
by: Faro, Simone, et al.
Published: (2026)

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

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

Hadamard-Pi: Equational Quantum Programming
by: Fang, Wang, et al.
Published: (2025)

Quantum Simulation Programming via Typing
by: Li, Liyi, et al.
Published: (2025)

Qafny: A Quantum-Program Verifier
by: Li, Liyi, et al.
Published: (2022)