Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers

Explore a 19-minute video presentation from the POPL 2024 conference that delves into quantum bisimilarity through the lens of barbs and contexts. Learn about the development of Linear Quantum CCS (lqCCS), a new calculus designed to investigate behavioral equivalences in quantum concurrent systems. Discover how the combination of linearity and asynchronous communication aligns with quantum system properties, ensuring precise qubit interactions. Examine the challenges of observational power in general contexts and how they conflict with quantum theory. Understand the refined operational semantics proposed to prevent unfeasible non-deterministic choices, resulting in a coarser bisimilarity that better fits the quantum setting. Gain insights into how this approach lifts the indistinguishability of quantum states to process distributions while preserving the expressiveness of classical information-based non-deterministic choices.

[POPL'24] Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Determinis...