Cover Image

Type-Based Verification of Connectivity Constraints in Lattice Surgery

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wakizaka, Ryo, Suzuki, Yasunari, Igarashi, Atsushi
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
by: Matsushita, Yusuke, et al.
Published: (2025)

Online Job Scheduler for Fault-tolerant Quantum Multiprogramming
by: Nishio, Shin, et al.
Published: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
by: Huang, Qifan, et al.
Published: (2025)

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

VyZX: Formal Verification of a Graphical Quantum Language
by: Lehmann, Adrian, et al.
Published: (2023)

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

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

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

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

Contextual Metaprogramming for Session Types
by: Ângelo, Pedro, et al.
Published: (2026)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
by: Mikuriya, Taku, et al.
Published: (2025)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)

Linear Contextual Metaprogramming and Session Types
by: Ângelo, Pedro, et al.
Published: (2024)

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

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

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

High-Performance and Scalable Fault-Tolerant Quantum Computation with Lattice Surgery on a 2.5D Architecture
by: Ueno, Yosuke, et al.
Published: (2024)

Scheduling of syndrome measurements with a few ancillary qubits
by: Sato, Shintaro, et al.
Published: (2025)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
by: Colledan, Andrea, et al.
Published: (2024)

Signature Restriction for Polymorphic Algebraic Effects
by: Sekiyama, Taro, et al.
Published: (2020)

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

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
by: Rosa, Evandro C. R., et al.
Published: (2024)

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

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

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

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

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

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

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

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

A quantum compiler design method by using linear combinations of permutations
by: Daskin, Ammar
Published: (2024)

DisQ: A Model of Distributed Quantum Processors (Extended Version)
by: Chang, Le, et al.
Published: (2024)

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

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

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

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

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

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

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

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