сфера Блоха
В квантовой механике и вычислениях сфера Блоха — геометрическое представление состояний чистого пространства двухуровневой квантово-механической системы ( кубита ), названной в честь физика Феликса Блоха . [1]
Математически каждая квантовомеханическая система связана с сепарабельным комплексным гильбертовым пространством. . Чистое состояние квантовой системы представляется ненулевым вектором в . Поскольку векторы и (с ) представляют одно и то же состояние, уровень квантовой системы соответствует размерности гильбертова пространства, а чистые состояния могут быть представлены как классы эквивалентности или лучи в проективном гильбертовом пространстве. . [2] Для двумерного гильбертова пространства пространство всех таких состояний представляет собой комплексную проективную прямую. Это сфера Блоха, которую можно отобразить в сферу Римана .
Сфера Блоха представляет собой единичную 2-сферу с противоположными точками , соответствующими паре взаимно ортогональных векторов состояния. Северный и южный полюсы сферы Блоха обычно выбираются так, чтобы они соответствовали стандартным базисным векторам. и , соответственно, что, в свою очередь, может соответствовать, например, со спином вверх и вниз состояниям электрона . Однако этот выбор произволен. Точки на поверхности сферы соответствуют чистым состояниям системы, тогда как внутренние точки соответствуют смешанным состояниям . [3] [4] Сферу Блоха можно обобщить до n -уровневой квантовой системы, но тогда визуализация будет менее полезной.
Естественная метрика на сфере Блоха — это метрика Фубини–Студи . Отображение единичной 3-сферы в двумерном пространстве состояний к сфере Блоха является Хопфа , в котором каждый луч спиноров расслоением отображается в одну точку сферы Блоха.
Определение
[ редактировать ]Учитывая ортонормированный базис, любое чистое состояние двухуровневой квантовой системы можно записать как суперпозицию базисных векторов и , где коэффициент (или вклад) каждого из двух базисных векторов представляет собой комплексное число . Это означает, что состояние описывается четырьмя действительными числами. Однако только относительная фаза между коэффициентами двух базисных векторов имеет какой-либо физический смысл (фаза квантовой системы не поддается непосредственному измерению ), так что в этом описании есть избыточность. Мы можем взять коэффициент быть действительным и неотрицательным. Это позволяет описывать состояние только тремя действительными числами, что приводит к трем измерениям сферы Блоха.
Мы также знаем из квантовой механики, что общая вероятность системы должна быть равна единице:
- или эквивалентно .
Учитывая это ограничение, мы можем написать используя следующее представление:
- , где и .
Представление всегда уникально, потому что, хотя значение не является уникальным, когда является одним из состояний (см. обозначение Бракета ) или , точка, представленная и является уникальным.
Параметры и , переинтерпретированные в сферических координатах как соответственно широта по отношению к оси z и долгота по отношению к оси x , укажите точку
на единичной сфере в .
Для смешанных состояний рассматривается оператор плотности . Любой двумерный оператор плотности ρ можно разложить с помощью тождества I и эрмитовых бесследовых . матриц Паули ,
- ,
где называется вектором Блоха .
Именно этот вектор указывает точку внутри сферы, соответствующую данному смешанному состоянию. В частности, как основная особенность вектора Паули , собственные значения ρ равны . Операторы плотности должны быть положительно-полуопределенными, поэтому отсюда следует, что .
Тогда для чистых состояний имеем
в соответствии с вышеизложенным. [5]
Как следствие, поверхность сферы Блоха представляет все чистые состояния двумерной квантовой системы, тогда как внутренняя часть соответствует всем смешанным состояниям.
u , v , w представление
[ редактировать ]Вектор Блоха можно представить в следующем базисе со ссылкой на оператор плотности : [6]
где
Эта основа часто используется в теории лазеров , где известно как инверсия населенности . [7] В этой основе числа ожидания трех матриц Паули , что позволяет идентифицировать три координаты по осям xy и z.
Чистые состояния
[ редактировать ]Рассмотрим n -уровневую квантовомеханическую систему. Эта система описывается n -мерным пространством Hn гильбертовым . Чистое пространство состояний по определению представляет собой множество лучей H n .
Теорема . Пусть U( n ) будет группой Ли унитарных матриц размера n . Тогда чистое пространство состояний H n можно отождествить с компактным смежным пространством
Чтобы доказать этот факт, заметим, что существует естественное групповое действие U( n ) на множестве Hn состояний . Это действие непрерывно и переходно в чистых состояниях. Для любого государства , изотропии группа , (определяется как набор элементов U( n ) такой, что ) изоморфна группе произведений
В терминах линейной алгебры это можно обосновать следующим образом. Любой U( n ), который оставляет инвариант должен иметь как собственный вектор . Поскольку соответствующее собственное значение должно быть комплексным числом с модулем 1, это дает коэффициент U (1) группы изотропии. Другая часть группы изотропии параметризуется унитарными матрицами на ортогональном дополнении , изоморфный U( n − 1). Отсюда утверждение теоремы следует из основных фактов о транзитивных действиях компактных групп.
Выше следует отметить важный факт: унитарная группа действует транзитивно на чистых состояниях.
Теперь (действительная) размерность U( n ) равна n 2 . Это легко увидеть, поскольку экспоненциальное отображение
является локальным гомеоморфизмом пространства самосопряженных комплексных матриц в U( n ). Пространство самосопряженных комплексных матриц имеет действительную размерность n 2 .
Следствие . Реальная размерность чистого пространства состояний H n равна 2 n − 2.
Фактически,
Давайте применим это, чтобы рассмотреть реальный размер квантового регистра m- кубитов. Соответствующее гильбертово пространство имеет размерность 2 м .
Следствие . Реальная размерность чистого пространства состояний m - кубитного квантового регистра равна 2. м +1 − 2.
Построение чистых двухспинорных состояний с помощью стереографической проекции
[ редактировать ]Математически сфера Блоха для двухспинорного состояния может быть отображена в сферу Римана. , т. е. проективное гильбертово пространство с двумерным комплексным гильбертовым пространством пространство представления SO (3) . [8] Учитывая чистое состояние
где и комплексные числа, нормированные так, что
и такое, что и ,то есть такой, что и образуют базис и имеют диаметрально противоположные представления на сфере Блоха, то пусть
быть их соотношением.
Если рассматривать сферу Блоха как вложенную в с центром в начале координат и радиусом один, то плоскость z = 0 (которая пересекает сферу Блоха по большому кругу; как бы экватор сферы) можно рассматривать как диаграмму Аргана . Постройте точку u на этой плоскости так, чтобы в у него есть координаты .
Проведите прямую линию через точку u и точку на сфере, которая представляет собой . (Пусть (0,0,1) представляет и (0,0,−1) представляют собой .) Эта линия пересекает сферу еще в одной точке, кроме . (Единственное исключение — когда , то есть, когда и .) Назовите эту точку P . Точка u на плоскости z = 0 является стереографической проекцией точки P на сферу Блоха. Вектор с хвостом в начале координат и вершиной в точке P — это направление в трехмерном пространстве, соответствующее спинору. . Координаты P :
Операторы плотности
[ редактировать ]Формулировки квантовой механики в терминах чистых состояний адекватны изолированным системам; в целом квантово-механические системы необходимо описывать в терминах операторов плотности . Сфера Блоха параметризует не только чистые состояния, но и смешанные состояния двухуровневых систем. Оператор плотности, описывающий смешанное состояние двухуровневой квантовой системы (кубита), соответствует точке внутри сферы Блоха со следующими координатами:
где – вероятность отдельных состояний внутри ансамбля и – координаты отдельных состояний (на поверхности сферы Блоха). Совокупность всех точек на сфере Блоха и внутри нее известна как шар Блоха.
Для состояний более высоких измерений трудно распространить это на смешанные состояния. Топологическое описание осложняется тем, что унитарная группа не действует транзитивно на операторы плотности. Более того, орбиты чрезвычайно разнообразны, как следует из следующего наблюдения:
Теорема . Предположим, что A — оператор плотности квантово-механической системы уровня n , различными собственными значениями которого являются µ , ..., µ k с кратностями n 1 , ..., nk 1 . Тогда группа унитарных операторов V таких, что VAV * = A , изоморфна (как группа Ли)
В частности, орбита A изоморфна
Можно обобщить конструкцию шара Блоха на размеры больше 2, но геометрия такого «тела Блоха» сложнее, чем у шара. [9]
Ротации
[ редактировать ]Полезным преимуществом представления сферы Блоха является то, что эволюцию состояния кубита можно описать вращениями сферы Блоха. Наиболее краткое объяснение того, почему это так, состоит в том, что алгебра Ли для группы унитарных и эрмитовых матриц изоморфна алгебре Ли группы трехмерных вращений . [10]
Операторы вращения относительно блоховского базиса
[ редактировать ]Вращение сферы Блоха вокруг декартовых осей в базисе Блоха определяется выражением [11]
Вращения вокруг общей оси
[ редактировать ]Если - действительный единичный вектор в трех измерениях, вращение сферы Блоха вокруг этой оси определяется выражением:
Интересно отметить, что это выражение идентично расширенной формуле Эйлера для кватернионов .
Вывод генератора вращения Блоха
[ редактировать ]Баллентин [12] представляет собой интуитивный вывод бесконечно малого унитарного преобразования. Это важно для понимания того, почему вращения сфер Блоха являются экспонентами линейных комбинаций матриц Паули. Поэтому здесь дается краткое описание этого вопроса. Более полное описание в контексте квантовой механики можно найти здесь .
Рассмотрим семейство унитарных операторов представляющий вращение вокруг некоторой оси. Поскольку вращение имеет одну степень свободы, оператор действует на поле скаляров такой, что:
где
Мы определяем бесконечно малую унитарную систему как расширение Тейлора, усеченное до второго порядка.
По унитарному условию:
Следовательно
Чтобы это равенство выполнялось (при условии, что пренебрежимо мало) нам потребуется
- .
В результате получается решение вида:
где является любым эрмитовым преобразованием и называется генератором унитарного семейства.Следовательно
Поскольку матрицы Паули являются унитарными эрмитовыми матрицами и имеют собственные векторы, соответствующие базису Блоха, , мы естественно можем видеть, как вращение сферы Блоха вокруг произвольной оси описывается
с генератором вращения, заданным формулой
Внешние ссылки
[ редактировать ]См. также
[ редактировать ]- Атомный электронный переход
- Гировекторное пространство
- поставлять
- Конкретные реализации сферы Блоха перечислены в статье о кубитах .
Примечания
[ редактировать ]- ^ Блох 1946 .
- ^ Бойерле и де Керф 1990 , стр. 330, 341.
- ^ Нильсен и Чуанг 2000 .
- ^ «Сфера Блоха | Квантики» .
- ^ Идемпотентная матрица плотности
- ^ Фейнман, Вернон и Хеллварт, 1957 .
- ^ Милонни и Эберли 1988 , с. 340.
- ^ Пенроуз 2007 , с. 554.
- ^ Эпплби, 2007 .
- ^ DB Westra 2008, «SU(2) и SO(3)», https://www.mat.univie.ac.at/~westra/so3su2.pdf
- ^ Нильсен и Чуанг, 2010, «Квантовые вычисления и информация», стр. 174.
- ^ Ballentine 2014, «Квантовая механика - современное развитие», глава 3
Ссылки
[ редактировать ]- Эпплби, DM (2007). «Симметричные информационно полные измерения произвольного ранга». Оптика и спектроскопия . 103 (3): 416–428. arXiv : Quant-ph/0611260 . Бибкод : 2007OptSp.103..416A . дои : 10.1134/S0030400X07090111 . S2CID 17469680 .
- Бойерле, Жерар Г.А.; де Керф, Эдди А. (1990). Алгебры Ли, Часть 1: Конечно- и бесконечномерные алгебры Ли и их приложения в физике . Исследования по математической физике. Амстердам: Северная Голландия. ISBN 0-444-88776-8 .
- Блох, Ф. (1946). «Ядерная индукция» . Физический обзор . 70 (7–8): 460–474. Бибкод : 1946PhRv...70..460B . дои : 10.1103/PhysRev.70.460 . ISSN 0031-899X .
- Фейнман, Ричард П.; Вернон, Фрэнк Л.; Хеллварт, Роберт В. (1957). «Геометрическое представление уравнения Шредингера для решения мазерных задач». Журнал прикладной физики . 28 (1): 49–52. Бибкод : 1957JAP....28...49F . дои : 10.1063/1.1722572 . ISSN 0021-8979 . S2CID 36493808 .
- Нильсен, Майкл А.; Чуанг, Исаак Л. (2000). Квантовые вычисления и квантовая информация . Кембридж: Издательство Кембриджского университета. ISBN 978-0-521-63503-5 .
- Милонни, Питер В.; Эберли, Джозеф Х. (1988). Лазеры . Нью-Йорк: Wiley-Interscience. ISBN 978-0-471-62731-9 .
- Пенроуз, Роджер (2007). Дорога к реальности . Нью-Йорк: National Geographic Books. ISBN 978-0-679-77631-4 .