Энтропийное неравенство

Предположим, что у вас есть две двудольные системы р 1 А Б , р 2 А Б то я хотел бы доказать следующее:

С ( 1 2 ( р 1 А Б + я А р 2 Б ) ) + С ( 1 2 ( р 2 А Б + я А р 1 Б ) ) С ( 1 2 ( р 1 А Б + я А р 1 Б ) ) + С ( 1 2 ( р 2 А Б + я А р 2 Б ) )

где С – энтропия фон Неймана, р 1 Б "=" т р А ( р 1 А Б ) , р 2 Б "=" т р А ( р 2 А Б ) и я А максимально смешанное состояние на А . Вроде должно пройти с некоторым свойством монотонности, любые подсказки или контрпримеры приветствуются.

Вы уверены, что имеете в виду р 1 А "=" т р ( р 1 А Б ) , и т. д.? Потому что это всего лишь число... Один. Вы, вероятно, хотели взять частичную трассировку Б ?

Ответы (1)

(очень) частичный ответ:

В очень частном случае это правда.

Давай р 1 А Б "=" я А р 1 Б и р 2 А Б "=" я А р 2 Б

Левая сторона есть л "=" 2 С ( 1 2 ( р 1 А Б + р 2 А Б ) )

Правая сторона есть р "=" С ( р 1 А Б ) + С ( р 2 А Б )

В силу вогнутости энтропии фон Неймана имеем л р

Что ж, это проливает свет на то, какие аргументы можно использовать. Я думаю, как это можно было бы обобщить...
В каком-то смысле этот частный случай очень "тривиален". Например, следующим шагом сложности может быть что-то вроде р 1 А Б "=" р А р 1 Б , р 2 А Б "=" р А р 2 Б , но у меня нет абсолютно никакой идеи, чтобы доказать это ...