Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Determinis...
summary
Introduces lqCCS (an asynchronous linear quantum CCS) and shows that unconstrained contexts can perform impossible non-deterministic choices on quantum data, leaking information; fixes semantics by annotating non-deterministic moves with indexed nondeterminism (location-based L/R labels) so contexts must make the same choice across a distribution. Main claims: new coarser bisimilarity indistinguishability lifted to distributions while preserving classical non-determinism, and strict containment w.r.t. saturated bisimilarity. Models include teleportation and coin-flip, which reveal flaws in earlier proposals; conjecture: congruence still fails for parallel composition.
AI-written summary · about