{"id":"arxiv/2611.03329","url":"https://arxiv.org/abs/2611.03329","tags":["quant-ph"],"score":0,"title":"Agentic Pipelines for Mapping Topological Codes to Quantum Hardware","domain":"quant-ph","source":"arxiv","authors":["Arpit Arora","Adam Holmes","Krysta M. Svore","Taylor L. Patti"],"reviews":0,"subject":"quant-ph","summary":"Mapping a prescribed many-body Hamiltonian to a particular quantum hardware is generally an approximate process, resulting in both intended and unwanted quantum dynamics. We introduce an AI-agent-assisted workflow that uses Lean to establish whether an effective device Hamiltonian retains the intended low-energy subspace of the target many-body Hamiltonian. We demonstrate this approach with topological quantum error correction (QEC), providing, to our knowledge, the first Lean-verified pipeline connecting a code space to low-energy states of a device model. Starting from qubits and parity…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}