量子互模拟在物理可容许调度器下是一个同余关系
Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
AI总结：
本文通过引入物理可容许调度器丰富了CCS的线性量子扩展，解决了量子并发系统中不受约束的非确定性问题，推导出满足并行复合同余和量子有限区分能力的良态互模拟关系。
摘要：
量子算法与协议的开发需要充分的建模与验证技术，这要求对量子并发系统的基本特征进行抽象与聚焦，就像CCS和CSP为其经典对应物所做的那样。迄今为止，仍然缺乏一种等价关系，它既是并行复合的同余关系，又符合量子理论所隐含的有限区分能力。事实上，为具备量子能力的并发系统定义充分的互模拟被证明是一项困难的任务，因为不受约束的非确定性允许虚假地区分不可区分的量子系统。我们通过用简单的物理可容许调度器丰富CCS的线性量子扩展来研究这个问题。我们表明，我们的方法足以推导出满足上述期望的良态互模拟。
英文摘要：
The development of quantum algorithms and protocols calls for adequate modelling and verification techniques, which requires abstracting and focusing on the basic features of quantum concurrent systems, like CCS and CSP have done for their classical counterparts. So far, an equivalence relation is still missing that is a congruence for parallel composition and adheres to the limited discriminating power implied by quantum theory. In fact, defining an adequate bisimilarity for quantum-capable, concurrent systems proved a difficult task, because unconstrained non-determinism allows to spuriously discriminate indistinguishable quantum systems. We investigate this problem by enriching a linear quantum extension of CCS with simple physically admissible schedulers. We show that our approach suffices for deriving a well-behaved bisimilarity that satisfies the aforementioned desiderata.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
