Запутанные векторы в гильбертовом пространстве

Рассмотрим систему двух частиц со спином 1 2 , каждое из которых описывается двумерным одночастичным гильбертовым пространством ЧАС . Позволять | ± е ЧАС обозначим собственные векторы оператора спина С ^ 3 .

Я хочу показать, что векторы

ф ± "=" 1 2 ( | + | + ± | | ) ψ ± "=" 1 2 ( | + | ± | | + )
образуют ортонормированный базис максимально запутанных векторов (базис Белла) в ЧАС ЧАС .

Что ж, очень легко показать, что векторы ортонормированы и образуют базис в гильбертовом пространстве. У меня есть проблемы с доказательством того, что векторы максимально запутаны.

Я знаю, что чистое состояние называется максимально запутанным, если собственные значения редуцированной матрицы плотности равны. Итак, я должен вычислить матрицу плотности ϱ "=" | ф ± ф ± | . Могу ли я действительно предположить, что векторы являются чистыми состояниями?

Что такое чистое состояние, если не отдельный вектор? Кроме того, два вектора Белла не являются базой полного гильбертова пространства.
@ACuriousMind Возможно, вы пропустили тот факт, что векторов четыре! Они являются ортонормированным базисом С 2 С 2 поскольку их четыре, они попарно ортогональны и нормализованы.
@ValterMoretti: О, ты прав, конечно. Я бы все же спросил, каково определение чистого состояния в ОП.
Если он выражает состояние в виде векторов, то это чистые состояния.

Ответы (1)

Как отметил @ACuriousMind в своем комментарии, определение чистого состояния — это состояние, которое является вектором ЧАС , в этом случае С 2 С 2 . Если взять например р "=" | ф + ф + | , приведенная матрица плотности в первом пространстве равна

р 1 "=" Тр 2 р "=" ( я + | ) р ( я | + ) + ( я | ) р ( я | ) "=" ( я + | ) | ф + ф + | ( я | + ) + ( я | ) | ф + ф + | ( я | ) "=" 1 2 | + + | + 1 2 | | "=" я 2
Так, р 1 имеет равные собственные значения 1 / 2 . Если вы проделаете аналогичные вычисления для других векторов или второго объекта, вы получите тот же результат, который показывает, что они максимально запутаны.