Предположим, что у вас есть две двудольные системы то я хотел бы доказать следующее:
где – энтропия фон Неймана, и максимально смешанное состояние на . Вроде должно пройти с некоторым свойством монотонности, любые подсказки или контрпримеры приветствуются.
(очень) частичный ответ:
В очень частном случае это правда.
Давай и
Левая сторона есть
Правая сторона есть
В силу вогнутости энтропии фон Неймана имеем
Пузырь