Image de couverture de livre

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Huang, Qifan, Gao, Minbo, Zhou, Li, Ying, Mingsheng
Format:	Preprint
Publié:	2026
Sujets:	Quantum Physics Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Efficient Formal Verification of Quantum Error Correcting Programs
par: Huang, Qifan, et autres
Publié: (2025)

A Verified Compiler for Quantum Simulation
par: Li, Liyi, et autres
Publié: (2025)

Borrowing Dirty Qubits in Quantum Programs
par: Su, Bonan, et autres
Publié: (2025)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

A Practical Quantum Hoare Logic with Classical Variables, I
par: Ying, Mingsheng
Publié: (2024)

Genesis: A Compiler Framework for Hamiltonian Simulation on Hybrid CV-DV Quantum Computers
par: Chen, Zihan, et autres
Publié: (2025)

Symbolic Specification and Reasoning for Quantum Data and Operations
par: Ying, Mingsheng
Publié: (2025)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
par: Zhang, Zhicheng, et autres
Publié: (2024)

Verification of Recursively Defined Quantum Circuits
par: Ying, Mingsheng, et autres
Publié: (2024)

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
par: Kırmemiş, Oğuzcan, et autres
Publié: (2024)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
par: Seidel, Raphael, et autres
Publié: (2024)

Dependency-Aware Compilation for Surface Code Quantum Architectures
par: Molavi, Abtin, et autres
Publié: (2023)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
par: Mints, Mikhail, et autres
Publié: (2025)

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
par: Yuan, Charles
Publié: (2025)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
par: Adams, Austin J., et autres
Publié: (2025)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
par: Barthe, Gilles, et autres
Publié: (2025)

Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offs
par: Rosa, Evandro C. R., et autres
Publié: (2025)

Modular Compilation for Quantum Chiplet Architectures
par: Jeng, Mingyoung Jessica, et autres
Publié: (2025)

A Comparison of Quantum Compilers using a DAG-based or phase polynomial-based Intermediate Representation
par: van de Griend, Arianne Meijer -
Publié: (2023)

Quantum Speedup for Hypergraph Sparsification
par: Liu, Chenghua, et autres
Publié: (2025)

Quantum Simulation Programming via Typing
par: Li, Liyi, et autres
Publié: (2025)

Efficient decomposition of unitary matrices in quantum circuit compilers
par: Krol, A. M., et autres
Publié: (2021)

Generating Compilers for Qubit Mapping and Routing
par: Molavi, Abtin, et autres
Publié: (2025)

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments
par: She, Junpeng, et autres
Publié: (2026)

Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling
par: Huang, Qunsheng, et autres
Publié: (2024)

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
par: Voichick, Finn, et autres
Publié: (2023)

PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits
par: Chen, Zihan, et autres
Publié: (2025)

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
par: Edwards, Marcus
Publié: (2025)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
par: Mikuriya, Taku, et autres
Publié: (2025)

Laws of Quantum Programming
par: Ying, Mingsheng, et autres
Publié: (2024)

Qafny: A Quantum-Program Verifier
par: Li, Liyi, et autres
Publié: (2022)

The Quantum Effect: A Recipe for QuantumPi
par: Carette, Jacques, et autres
Publié: (2023)

The Quantum Abstract Machine
par: Li, Liyi, et autres
Publié: (2024)

DisQ: A Model of Distributed Quantum Processors (Extended Version)
par: Chang, Le, et autres
Publié: (2024)

Quantum Büchi Automata
par: Wang, Qisheng, et autres
Publié: (2018)

Quantum Programming Without the Quantum Physics
par: Inoue, Jun
Publié: (2024)

Validating Quantum State Preparation Programs (Extended Version)
par: Li, Liyi, et autres
Publié: (2025)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
par: Fu, Jianling, et autres
Publié: (2024)

HUGR: A Quantum-Classical Intermediate Representation
par: Koch, Mark, et autres
Publié: (2025)

Local Optimization of Quantum Circuits (Extended Version)
par: Arora, Jatin, et autres
Publié: (2025)