StabQ: Quantum Program Analysis via Weighted Stabilizer Representations

Shangzhou Xia, Junjie Luo, Jianjun Zhao

Quantum program analysis remains challenging due to the exponentially large state space of quantum programs and the difficulty of precisely characterizing their execution behavior.…