一句话：检验经典编码质量准则在量子进程演算中的适用性，给出 CQP 风格语言到 qCCS 风格语言的编码并证明其性质与反向不可编码性。
量子系统是较新的研究领域，目前已有多种建模语言（含进程演算）在开发中。编码常被用于比较进程演算，并借助质量准则排除平凡或无意义的编码，但在量子语境下这些经典准则是否适用尚需分析。本文首先检验经典编码质量准则对量子语言之间编码的适用性，并讨论新的准则；随后给出一个从受 CQP 启发的语言到受 qCCS 启发的语言的编码，证明该编码满足复合性、名称不变性（针对信道名与量子比特名）、操作对应、发散反射与成功敏感性，并且保持量子寄存器的大小；最后证明不存在从 qCCS 到 CQP 的编码同时满足复合性、操作对应与成功敏感性。
Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used to compare process calculi. Quality criteria are used then to rule out trivial or meaningless encodings. In this new context of quantum based systems, it is necessary to analyse the applicability of these quality criteria and to potentially extend or adapt them. As a first step, we test the suitability of classical criteria for encodings between quantum based languages and discuss new criteria. Concretely, we present an encoding, from a language inspired by CQP into a language inspired by qCCS. We show that this encoding satisfies compositionality, name invariance (for channel and qubit names), operational correspondence, divergence reflection, success sensitiveness, and that it preserves the size of quantum registers. Then we show that there is no encoding from qCCS into CQP that is compositional, operationally corresponding, and success sensitive.
@article{paperbot2763,
title = {Encodability Criteria for Quantum Based Systems},
author = {Anna Schmitt and Kirstin Peters and Yuxin Deng},
journal = {Logical Methods in Computer Science},
volume = {Volume 20, Issue 2},
year = {2024},
doi = {10.46298/lmcs-20(2:5)2024}
}