{"id":"arxiv/2607.11665","url":"https://arxiv.org/abs/2607.11665","tags":["cs.PL","quant-ph"],"score":0,"title":"The Time-Space Complexity of Checking Multiple Assertions in Quantum Programs","domain":"cs.PL","source":"arxiv","authors":["Shengyuan Yang","Charles Yuan"],"reviews":0,"subject":"cs.PL","summary":"Runtime assertions are a promising mechanism for testing and debugging quantum programs. But unlike the classical world, checking a quantum program that contains multiple assertions often requires using additional space or running the program additional times. For example, on current quantum hardware where mid-circuit measurement is restricted or costly, an assertion's pass/fail outcome cannot be revealed immediately. Instead, it is routed into an ancilla qubit during execution and read out by a terminal measurement. For a program with $n$ assertions, a naive strategy uses $n$ ancillas to…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}