We study commitment scheme for classical-quantum channels. To accomplish this we define various notions of commitment capacity for these channels and prove matching upper and lower bound on it in terms of the conditional entropy. Our achievability (lower bound) proof is quantum generalisation of the work of one of the authors (arXiv:2103.11548) which studied the problem of secure list decoding and its application to bit-string commitment. The techniques we use in the proof of converse (upper bound) is similar in spirit to the techniques introduced by Winter, Nascimento and Imai (Cryptography and Coding 2003) to prove upper bound on the commitment capacity of classical channels. However, generalisation of this technique to the quantum case is not so straightforward and requires some new constructions, which can be of independent interest.
翻译:我们研究古典-昆虫渠道的承诺计划。为了实现这一点,我们界定了这些渠道的承诺能力的各种概念,并证明这些渠道的上限和下限与有条件的英特罗比相匹配。我们的可实现性(下限)证据是其中一位作者(arXiv:2103.11548)的工作量性概括化(arXiv:2103.11548),该作者研究了安全清单解码问题及其对比特字符串承诺的应用。我们用来证明反向(超限)的技术在精神上类似于Winter、Nascimento和Imai(Crypetlogy and Coding 2003)为证明古典渠道的承诺能力上限而引入的技术。然而,将这一技术概括化到量子案件中并不那么简单,需要一些新的构思,这些构思可能具有独立的兴趣。