A Static Analysis of Entanglement
Managing quantum variables in quantum programs presents specific challenges due to the possibility of emph{entanglement}, a quantum mechanical phenomenon for which two variables can be in a state where their individual states cannot be separated so that they form, indeed, a single system rather than the composition of two. This can lead to critical issues due to unintended measurements, which may alter the outcome of computations involving entangled variables. To address this problem, we propose a static analysis based on the abstract interpretation framework to soundly and automatically detect entanglement occurring in quantum programs. By constructing an abstract domain for the entanglement property, our analysis identifies cases where side effects from quantum operations may produce unwanted entanglement, thus mitigating unintended computational side effects.
Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change
11:00 - 12:30 | |||
11:00 30mTalk | Affine Disjunctive Invariant Generation with Farkas’ Lemma VMCAI 2025 Jingyu Ke Shanghai Jiao Tong University, Hongfei Fu Shanghai Jiao Tong University, Hongming Liu Shanghai Jiao Tong University, Zhouyue Sun Shanghai Jiao Tong University, Liqian Chen National University of Defense Technology, Guoqiang Li Shanghai Jiao Tong University | ||
11:30 30mTalk | Automatic Inference of Relational Object Invariants VMCAI 2025 Yusen Su University of Waterloo, Jorge A. Navas Certora, Arie Gurfinkel University of Waterloo, Isabel Garcia-Contreras University of Waterloo | ||
12:00 30mTalk | A Static Analysis of Entanglement VMCAI 2025 Nicola Assolini University of Verona, Alessandra Di Pierro University of Verona, Isabella Mastroeni University of Verona |