Quantum Uncomputation of Clean and Dirty Ancilla Qubits

arXiv:2608.09578 · cs.PL, quant-ph · Submitted 2026-08-10 · Read on arXiv

cs.PL, quant-ph

Submitted: 2026-08-10

Updated: 2026-10-11

Terminology

• Ancilla Qubits — 2× in this paper · explained in 2 episodes
• Benchmark — 1× in this paper · explained in 2 episodes
• Quantum Circuits — 1× in this paper · explained in 2 episodes

Related papers

• Griotte: Verified Compartmentalisation via Capabilities
• GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
• Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs
• Quasar: A Programming Language Specialized for LLM Code Actions