{"id":"arxiv/2603.13554","url":"https://arxiv.org/abs/2603.13554","tags":["quant-ph","cs.ET","cs.LO"],"score":0,"title":"Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement","domain":"quant-ph","source":"arxiv","authors":["Arun Govindankutty"],"reviews":0,"subject":"quant-ph","summary":"As the number of qubits increases, quantum circuits become more complex and their state space grows rapidly. This makes functional verification challenging for conventional techniques. Ensuring correctness is especially critical for quantum error correction and entanglement generation. This paper presents a novel application of bit-vector based abstraction methodology for formal verification of quantum circuits where superposition and functional behaviour can be decoupled. The approach is applied to error detection circuits for 2-qubit, 3-qubit, and Shor 9-qubit quantum codes, as well as…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-03-13","reactions":{}}