An important distinction in our understanding of capacities of classical versus quantum channels is marked by the following question: is there an algorithm which can compute (or even efficiently compute) the capacity? While there is overwhelming evidence suggesting that quantum channel capacities may be uncomputable, a formal proof of any such statement is elusive. We initiate the study of the hardness of computing quantum channel capacities. We show that, for a general quantum channel, it is QMA-hard to compute its quantum capacity, and that the maximal-entanglement-assisted zero-error one-shot classical capacity is uncomputable.
翻译:经典信道与量子信道容量理解中的一个重要区别可由以下问题界定:是否存在一种算法能够计算(甚至高效计算)信道容量?尽管有大量证据表明量子信道容量可能是不可计算的,但对此类论断的形式化证明仍难以获得。我们开启了关于计算量子信道容量难度的研究。我们证明,对于一般量子信道,计算其量子容量是QMA难的,并且最大纠缠辅助的零错误单次经典容量是不可计算的。