The Quantum Abstract Machine
summary
Defines a Quantum Abstract Machine that gives direct semantics to circuit primitives (teleportation, entanglement swap) using a Chemical Abstract Machine style: devices are membranes as device memory, entanglement is created by paired channel creation/encode/decode/send/receive actions, and cross-device measurement uses an airlock to lock membranes so decoding updates remote state. Claims readable, classical-style models usable with existing tools, implements semantics, models teleportation and swap, and extends to probabilistic analysis of qcast routing.
AI-written summary · about
chapters (9)
- 0:00Quantum networks motivation
- 2:20Designing Quantum Abstract Machine
- 4:44Quantum protocol operators
- 6:31Teleportation with QAM syntax
- 9:27Evaluating teleportation protocol
- 11:41Entanglement swap modeling
- 13:27Extending QAM for routing
- 14:11Conclusion and future work
- 15:02Q&A
related talks
18mFormalization of a Programming Language for Quantum Circuits with Measurement and Classical Control
24mAddressable quantum gates
22mQuantum Controlled Measurements via Program Transformation
17mQVM: Quantum Gate Virtualization Machine
01h 10mThe Rise & Collapse of a Quantum State
19mQuantum Virtual Machines
20mQuantum Register Machine: Efficient Implementation of Quantum Recursive Programs
14mDependency-Aware Compilation for Surface Code Quantum Architectures