О достаточном условии аддитивности в квантовой теории информации

Приводится достаточное условие аддитивности минимальной выходной энтропии для двух квантовых каналов и доказывается выполнение этого условия для конкретных каналов, для которых нарушается тесно связанное с ним свойство мультипликативности [1, 2]. Отсюда вытекает выполнение гипотезы аддитивности для этих каналов, установленное другим способом в [3]. Наше доказательство существенно опирается на свойства выпуклости выходной энтропии, представляющие независимый интерес.