Approximating Entanglement Based on Abstract Interpretation

Aske Nord Raahauge, Martin Bom Marchioro, Rasmus Ross Nylandsted

Entanglement is a fundamental property of quantum systems, essential for non-trivial quantum programs. Identifying when qubits become entangled is critical for circuit optimization…