Классические пропускные способности квантового канала с ограничением на входе

В этой статье мы восполняем пробел в предыдущих работах и даем доказательство формулы для пропускной способности с использованием сцепленного состояния (entanglement-assisted capacity) для квантового канала с ограничением на входе (такого как бозонный гауссовский канал). Доказательство основано на теореме кодирования для классического-квантового канала с ограничением на входе и на конечномерной аппроксимации входных операторов плотности. Даются также достаточные условия достижимости супремумов в формулах для пропускных способностей.