{"id":"arxiv/2608.24144","url":"https://arxiv.org/abs/2608.24144","tags":["cs.SC","quant-ph"],"score":0,"title":"StabQ: Quantum Program Analysis via Weighted Stabilizer Representations","domain":"cs.SC","source":"arxiv","authors":["Shangzhou Xia","Junjie Luo","Jianjun Zhao"],"reviews":0,"subject":"cs.SC","summary":"Quantum program analysis remains challenging due to the exponentially large state space of quantum programs and the difficulty of precisely characterizing their execution behavior. In particular, non-Clifford operations introduce additional complexity that limits the applicability of stabilizer-based techniques. Although stabilizer representations provide compact descriptions for Clifford circuits, their limited expressiveness prevents them from directly supporting general quantum program analysis. In this work, we propose StabQ, a symbolic execution framework for quantum program analysis…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-25","reactions":{}}