Запутывание монотонное

---

В квантовой информации и квантовых вычислениях монотонность запутанности — это функция, которая количественно определяет степень запутанности , присутствующей в квантовом состоянии. Любая монотонная запутанность представляет собой неотрицательную функцию, значение которой не увеличивается при локальных операциях и классической связи . ^{[1] [2]}

Пусть – пространство всех состояний , т. е. эрмитовых положительных полуопределенных операторов со следом один, над двудольным гильбертовым пространством . Мера запутанности — это такая функция, что:${\displaystyle {\mathcal {S}}({\mathcal {H}}_{A} \otimes {\mathcal {H}}_{B})}$ ${\displaystyle {\mathcal {H}}_{A}\otimes {\mathcal {H}}_{B}}$${\displaystyle \mu :{\displaystyle {\mathcal {S}}({\mathcal {H}}_{A} \otimes {\mathcal {H}}_{B})}\to \mathbb {R} _{\geq 0}}$

Некоторые авторы также добавляют условие, что над максимально запутанным состоянием . Если неотрицательная функция удовлетворяет только условию 2 из вышеизложенного, то она называется монотонной запутанностью.${\displaystyle \mu (\varrho)=1}$${\displaystyle \варро }$

---