Imagen de Portada

Expressing and Analyzing Quantum Algorithms with Qualtran

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Harrigan, Matthew P., Khattar, Tanuj, Yuan, Charles, Peduri, Anurudh, Yosri, Noureldin, Malone, Fionn D., Babbush, Ryan, Rubin, Nicholas C.
Formato:	Preprint
Publicado:	2024
Materias:	Quantum Physics Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

QbC: Quantum Correctness by Construction
por: Peduri, Anurudh, et al.
Publicado: (2023)

Traq: Estimating the Quantum Cost of Classical Programs
por: Peduri, Anurudh, et al.
Publicado: (2025)

Verifiable Quantum Advantage via Optimized DQI Circuits
por: Khattar, Tanuj, et al.
Publicado: (2025)

Quantum computation of stopping power for inertial fusion target design
por: Rubin, Nicholas C., et al.
Publicado: (2023)

The FLuid Allocation of Surface code Qubits (FLASQ) cost model for early fault-tolerant quantum algorithms
por: Huggins, William J., et al.
Publicado: (2025)

Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
por: Yuan, Charles
Publicado: (2025)

The Grand Challenge of Quantum Applications
por: Babbush, Ryan, et al.
Publicado: (2025)

Fault-tolerant quantum simulation of materials using Bloch orbitals
por: Rubin, Nicholas C., et al.
Publicado: (2023)

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

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

Rise of conditionally clean ancillae for efficient quantum circuit constructions
por: Khattar, Tanuj, et al.
Publicado: (2024)

Optimization by Decoded Quantum Interferometry
por: Jordan, Stephen P., et al.
Publicado: (2024)

Productionizing Quantum Mass Production
por: Huggins, William J., et al.
Publicado: (2025)

Asymptotic yet practical optimization of quantum circuits implementing GF($2^m$) multiplication and division operations
por: Yosri, Noureldin, et al.
Publicado: (2025)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
por: Yuan, Charles, et al.
Publicado: (2023)

Securing Elliptic Curve Cryptocurrencies against Quantum Vulnerabilities: Resource Estimates and Mitigations
por: Babbush, Ryan, et al.
Publicado: (2026)

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

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

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

Qwerty: A Basis-Oriented Quantum Programming Language
por: Adams, Austin J., et al.
Publicado: (2024)

Rapid initial state preparation for the quantum simulation of strongly correlated molecules
por: Berry, Dominic W., et al.
Publicado: (2024)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
por: Adams, Austin J., et al.
Publicado: (2025)

Quantum Programming Without the Quantum Physics
por: Inoue, Jun
Publicado: (2024)

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

Quantum simulation with sum-of-squares spectral amplification
por: King, Robbie, et al.
Publicado: (2025)

The Quantum Abstract Machine
por: Li, Liyi, et al.
Publicado: (2024)

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

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

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

Optimizing Quantum Circuits, Fast and Slow
por: Xu, Amanda, et al.
Publicado: (2024)

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

Quantum Simulation Programming via Typing
por: Li, Liyi, et al.
Publicado: (2025)

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

HUGR: A Quantum-Classical Intermediate Representation
por: Koch, Mark, et al.
Publicado: (2025)

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

Symbolic Execution for Quantum Error Correction Programs
por: Fang, Wang, et al.
Publicado: (2023)

Scalable Memory Recycling for Large Quantum Programs
por: Reichental, Israel, et al.
Publicado: (2025)

Qmod: Expressive High-Level Quantum Modeling
por: Vax, Matan, et al.
Publicado: (2025)

Validating Quantum State Preparation Programs (Extended Version)
por: Li, Liyi, et al.
Publicado: (2025)

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