Проективное гильбертово пространство
В математике и основах квантовой механики проективное гильбертово пространство или лучевое пространство. комплексного гильбертова пространства — множество классов эквивалентности ненулевых векторов , для отношения эквивалентности на данный
- тогда и только тогда, когда для некоторого ненулевого комплексного числа .
Это обычная конструкция проективизации , примененная к комплексному гильбертовому пространству. [1] В квантовой механике классы эквивалентности их еще называют лучами или проективными лучами .
Обзор
[ редактировать ]Физический смысл проективного гильбертова пространства состоит в том, что в квантовой теории волновые функции и представляют одно и то же физическое состояние для любого . Правило Борна требует, чтобы, если система является физической и измеримой, ее волновая функция имеет единичную норму , , и в этом случае она называется нормированной волновой функцией . Ограничение единичной нормы не полностью определяет внутри луча, поскольку можно умножить на любое с абсолютным значением 1 ( группа кругов действие) и сохраняют свою нормализацию. Такой можно записать как с называется глобальной фазой .
Лучи, отличающиеся таким соответствуют одному и тому же состоянию (ср. квантовое состояние (алгебраическое определение) , учитывая C*-алгебру наблюдаемых и представление на ). Никакое измерение не может восстановить фазу луча; это не заметно. Один говорит, что является калибровочной группой первого рода.
Если является неприводимым представлением алгебры наблюдаемых, то лучи индуцируют чистые состояния . Выпуклые линейные комбинации лучей естественным образом порождают матрицы плотности, которые (все еще в случае неприводимого представления) соответствуют смешанным состояниям.
В случае конечномерен, т. е. гильбертово пространство сводится к конечномерному пространству внутреннего произведения , а набор проективных лучей можно рассматривать как комплексное проективное пространство ; это однородное пространство для унитарной группы . То есть,
- ,
который несет в себе метрику Кэлера , называемую метрикой Фубини–Студи , полученную из нормы гильбертова пространства. [2] [3]
Таким образом, проективизация, например, двумерного комплексного гильбертова пространства (пространства, описывающего один кубит ) представляет собой комплексную проективную линию . Это известно как сфера Блоха или, что то же самое, сфера Римана . см. в разделе «Расслоение Хопфа» Подробности о конструкции проективизации в этом случае .
Продукт
[ редактировать ]Декартово произведение проективных гильбертовых пространств не является проективным пространством. — Отображение Сегре это вложение декартова произведения двух проективных пространств в проективное пространство, связанное с тензорным произведением двух гильбертовых пространств, заданное формулой . В квантовой теории оно описывает, как создавать состояния сложной системы из состояний ее составляющих. Это всего лишь вложение , а не сюръекция; большая часть пространства тензорного произведения не лежит в его диапазоне и представляет собой запутанные состояния .
См. также
[ редактировать ]- Комплексное проективное пространство
- Проективное представление
- Проективное пространство , для понятия в целом
Примечания
[ редактировать ]- ^ Миранда 1995 , с. 94.
- ^ Конг и Лю, 2021 , с. 9.
- ^ Чирелли, Ланзавеккья и Мания 1983 .
Ссылки
[ редактировать ]- Аштекар, Абхай; Шиллинг, Трой А. (1999). «Геометрическая формулировка квантовой механики». На пути Эйнштейна . Нью-Йорк, штат Нью-Йорк: Springer New York. arXiv : gr-qc/9706069 . дои : 10.1007/978-1-4612-1422-9_3 . ISBN 978-1-4612-7137-6 .
- Чирелли, Р; Ланзавеккья, П; Мания, А (1983). «Нормальные чистые состояния алгебры фон Неймана ограниченных операторов как многообразия Кэлера». Журнал физики A: Математический и общий . 16 (16). Издательство ИОП: 3829–3835. Бибкод : 1983JPhA...16.3829C . дои : 10.1088/0305-4470/16/16/020 . ISSN 0305-4470 .
- Конг, Отто CW; Лю, Вэй-Инь (2021). «Некоммутативная координатная картина квантового фазового пространства». Китайский физический журнал . 71 . Эльзевир Б.В.: 418. arXiv : 1903.11962 . Бибкод : 2021ChJPh..71..418K . дои : 10.1016/j.cjph.2021.03.014 . S2CID 85543324 .
- Миранда, Рик (1995). Алгебраические кривые и римановы поверхности . Провиденс (Род-Айленд): Американское математическое соц. ISBN 0-8218-0268-2 .