3

Analytic Qubit Separation between POVMs and Projective Measurements
Generalized measurements can be implemented projectively after enlarging the Hilbert space, but this dilation changes the available …
PDF Cite Code DOI
Analytic Qubit Separation between POVMs and Projective Measurements
Algebraic Speedups for Exact Inversion of Hamiltonian Evolutions
Deterministic exact inversion of an arbitrary d-dimensional unitary requires $\Theta(d^2)$ coherent forward calls in the worst case. We …
PDF Cite DOI
Algebraic Speedups for Exact Inversion of Hamiltonian Evolutions
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct …
PDF Cite DOI
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
Large language models are increasingly assisting with demanding formal theorem-proving tasks, particularly when grounded in …
PDF Cite Code DOI
Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
An Agentic Formalization for Certified Quantum Neural Network Design
A central model in quantum machine learning is the quantum neural network (QNN), whose design requires balancing expressivity and …
PDF Cite Code DOI
An Agentic Formalization for Certified Quantum Neural Network Design
Logical Entangling with Phantom Codes in Hypergraph Products
Logical entangling gates are a major source of physical spacetime overhead in fault-tolerant quantum computation. Phantom codes reduce …
PDF Cite DOI
Logical Entangling with Phantom Codes in Hypergraph Products
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning …
PDF Cite Code DOI
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
A Nonstabilizerness Resource Law for Universal Quantum State Purification
Quantum state purification aims to recover higher-fidelity quantum states from multiple noisy copies and is a fundamental primitive for …
PDF Cite DOI
A Nonstabilizerness Resource Law for Universal Quantum State Purification
Invariant Measures and Weak-Magic-Injection Asymptotics in Random Monitored Quantum Circuits
Monitored quantum circuits provide a natural setting in which scrambling, measurements, and measurement-conditioned updates compete …
PDF Cite DOI
Invariant Measures and Weak-Magic-Injection Asymptotics in Random Monitored Quantum Circuits
Universal quantum state purification with energy-preserving operations
Quantum state purification, which operates not by identifying and correcting specific errors but by repeatedly projecting multiple …
PDF Cite DOI
Universal quantum state purification with energy-preserving operations