Buchumschlag

Linear-Time T-Gate Optimization via Random Abstraction

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Albarghouthi, Aws
Format:	Preprint
Veröffentlicht:	2026
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

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

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

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

Generating Compilers for Qubit Mapping and Routing
von: Molavi, Abtin, et al.
Veröffentlicht: (2025)

Pareto Optimal Code Generation
von: Orlanski, Gabriel, et al.
Veröffentlicht: (2025)

Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offs
von: Rosa, Evandro C. R., et al.
Veröffentlicht: (2025)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
von: Younis, Ed
Veröffentlicht: (2025)

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

Managing Classical Processing Requirements for Quantum Error Correction
von: Maurya, Satvik, et al.
Veröffentlicht: (2024)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
von: Seidel, Raphael, et al.
Veröffentlicht: (2024)

Dead Gate Elimination
von: Chen, Yanbin, et al.
Veröffentlicht: (2025)

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

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
von: Yuan, Charles
Veröffentlicht: (2025)

Local Optimization of Quantum Circuits (Extended Version)
von: Arora, Jatin, et al.
Veröffentlicht: (2025)

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

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

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
von: Edwards, Marcus
Veröffentlicht: (2025)

A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness
von: Zhang, Yuhao, et al.
Veröffentlicht: (2024)

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

Optimization Framework for Reducing Mid-circuit Measurements and Resets
von: Chen, Yanbin, et al.
Veröffentlicht: (2025)

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
von: Matsushita, Yusuke, et al.
Veröffentlicht: (2025)

PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices
von: Yang, Zhaohui, et al.
Veröffentlicht: (2025)

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

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

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

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

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
von: Yuan, Charles, et al.
Veröffentlicht: (2023)

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
von: Kırmemiş, Oğuzcan, et al.
Veröffentlicht: (2024)

HUGR: A Quantum-Classical Intermediate Representation
von: Koch, Mark, et al.
Veröffentlicht: (2025)

VyZX: Formal Verification of a Graphical Quantum Language
von: Lehmann, Adrian, et al.
Veröffentlicht: (2023)

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
von: Rosa, Evandro C. R., et al.
Veröffentlicht: (2024)

Type-Based Verification of Connectivity Constraints in Lattice Surgery
von: Wakizaka, Ryo, et al.
Veröffentlicht: (2024)

Symbolic Execution for Quantum Error Correction Programs
von: Fang, Wang, et al.
Veröffentlicht: (2023)

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

Compositional Quantum Control Flow with Efficient Compilation in Qunity
von: Mints, Mikhail, et al.
Veröffentlicht: (2025)

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

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

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)

Efficient decomposition of unitary matrices in quantum circuit compilers
von: Krol, A. M., et al.
Veröffentlicht: (2021)