Abstracting Entanglement
summary
Introduces a novel abstract domain that models both separability and a stronger direct inseparability relation using partitions of qubits plus an index per block, proves a concretization/Galois connection to sets of concrete state vectors, and gives abstract semantics for a minimal gate set (Hadamard CNOT T S). Shows how CNOT can nullify entanglement when a direct link exists and how the domain over-approximates entanglement while under-approximating direct links to stay sound, and extends into a static analyzer using these abstractions.
AI-written summary · about
chapters (6)
- 0:00Quantum entanglement abstraction
- 7:07Separability in multi-qubit systems
- 14:02Direct inseparability importance
- 19:30ABS domain structure
- 21:18Entanglement nullification effects
- 22:48Q&A
related talks
25mA Static Analysis of Entanglement
20mA Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantu
01h 07mPseudorandomness and Pseudoentanglement in Holography
28mA type-theoretic account of quantum computation (Extended Abstract)
03h 08mA quick introduction to quantum information and quantum circuits
24mAddressable quantum gates
01h 03mConstant depth pseudoentanglement - Shallow circuits, deep backstory
01h 00mPseudoentanglement