Buchumschlag

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Yuan, Charles
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

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

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

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

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

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

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

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

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

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
von: Adams, Austin J., et al.
Veröffentlicht: (2025)

Modular Compilation for Quantum Chiplet Architectures
von: Jeng, Mingyoung Jessica, 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)

A Comparison of Quantum Compilers using a DAG-based or phase polynomial-based Intermediate Representation
von: van de Griend, Arianne Meijer -
Veröffentlicht: (2023)

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

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
von: Yuan, Charles, et al.
Veröffentlicht: (2023)

Block-encodings as programming abstractions: The Eclipse Qrisp BlockEncoding Interface
von: Petrič, Matic, et al.
Veröffentlicht: (2026)

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

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

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

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

Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
von: Huang, Qunsheng, et al.
Veröffentlicht: (2024)

Borrowing Dirty Qubits in Quantum Programs
von: Su, Bonan, 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)

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

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

Linear-Time T-Gate Optimization via Random Abstraction
von: Albarghouthi, Aws
Veröffentlicht: (2026)

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

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

CobbleDB: Modelling Levelled Storage by Composition
von: Ma, Emilie, et al.
Veröffentlicht: (2026)

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

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

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

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)

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

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

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

Unitaria: Quantum Linear Algebra via Block Encodings
von: Deiml, Matthias, et al.
Veröffentlicht: (2026)

Preconditioned Block Encodings for Quantum Linear Systems
von: Lapworth, Leigh, et al.
Veröffentlicht: (2025)

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

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