Учебник - Как понимать квантовую механику - Иванов М.Г. (1238820), страница 79
Текст из файла (страница 79)
. .22Каждое подпространство соответствует определённому значению j. Наязыке теории представлений каждое подпространство соответствует опре-434ГЛАВА 15делённому неприводимому представлению группы квантовых вращенийSU(2). Тем самым мы получили каждое неприводимое представление группы квантовых вращений SU(2) по одному разу.15.3.
Спин12Волновая функция частицы со спином 12 может быть представлена какфункция ψ(r, σ) от координат r ∈ R3 и спиновой переменной (проекцияспина на ось z) σ ∈ {− 12 , + 12 }. При этом удобно считать, что σ нумерует строки столбца из двух элементов. Можно также считать, что аргументу волновой функции по прежнему один — r, зато значением функции в точке считается не комплексное число, а комплексный столбец из двух строк:⎛⎞ψ(r, + 1 )2 ⎠ = ψ(r).ψ(r, ·) = ⎝ψ(r, − 1 )2Мы можем считать, что спиновая переменная — это такая координата, описывающая дополнительную дискретную спиновую степень свободы.Более того, часто удобно считать, что спин и движение частицы как целого — отдельные невзаимодействующие (или слабо взаимодействующие)подсистемы. Отсутствие взаимодействия координат и спина — это отсутствие в гамильтониане слагаемых, которые действуют одновременно наспин и координаты.В пределе отсутствия взаимодействия, как и для любых других невзаимодействующих подсистем, если волновая функция факторизуется (разлагается на множители, зависящие от отдельных координат) в начальный момент времени, то она остаётся факторизованной и во все последующиемоменты времени, причём множители эволюционируют независимо.То есть если гамильтониан представим в видеĤ = Ĥr ⊗ 1̂s + 1̂r ⊗ Ĥs ,где операторы с индексом r действуют только на координаты частицы,а с индексом s — только на спин, то волновая функция может разлагаться на слагаемые видаψ(r, σ) = φ(r) · χ(σ),ih̄∂φ= Ĥr φ,∂tih̄∂χ= Ĥs χ,∂tφ(r) называют координатной волновой функцией, а χ(σ) — спиновой волновой функцией.15.3.
С ПИН12435В соответствии с процедурой, описанной выше (15.2.4 «Собственныевекторы операторов ĵz , ĵ 2 »), мы можем выписать операторы компонент дляспина 12 :0100ŝ+ =, ŝ− = ŝ+ † =,0010ŝ+ + ŝ− 1 0 1ŝ+ + ŝ−0 −i+1 0, ŝy =, ŝz = 1.ŝx === 10 −122 102 i 022iБазисные состояния с определённым значением σ (проекции на ось z)принято обозначать по-разному:# 1 11 ,+ 2 2 = 0 = | ↑ = |1,# 1 10 ,− 2 2 = 1 = | ↓ = |0.Последний вариант |0 и |1 обычно применяется в квантовой теории информации, когда спин используется в качестве квантового бита (кубита).15.3.1.
Матрицы ПаулиПространство эрмитовых матриц 2 × 2 четырёхмерно: два диагональных элемента вещественны, два комплексных элемента вне главной диагонали комплексно сопряжены друг другу. В качестве базиса в пространствеэрмитовых матриц 2 × 2 можно выбрать, например, три матрицы ŝα , дляспина 12 и единичную матрицу E.Однако матрицы ŝα имеют собственные числа ± 12 , что не слишкомудобно: удобнее чтобы собственные числа равнялись по модуле единице.Поэтому вместо спиновых матриц ŝα вводятся σ-матрицы Паули, отличающиеся от спиновых матриц умножением на 2. Иногда в качестве σ-матрицыномер 0 рассматривают единичную матрицу E:σ = (σx , σy , σz ),σα = 2ŝα , α ∈ {1, 2, 3},σ0 = E,10010 −i+1 0, σx =, σy =, σz =.σ0 =0110i 00 −1Матрицы Паули могут применяться не только для спинов 12 , но и длялюбых двухуровневых (с двумерным пространством состояний) систем,т.
е. для любых кубитов. Любая эрмитова матрица 2 × 2 разлагается по436ГЛАВА 15единичной матрице и матрицам Паули с вещественными коэффициентамиразложения, а произвольная матрица 2 × 2 разлагается по тому же базисус комплексными коэффициентами разложения. Если ограничиться матрицами с нулевым следом, то из базиса выкидывается единичная матрица.При вычислениях с матрицами 2×2, разложенными по σ-матрицам, мыможем не перемножать матриц явно, если воспользуемся таблицей умножения матриц Паули:2-й множитель → σx σyσz1-й множитель : σx E iσz −iσyσy −iσz E iσxσz iσy −iσx EЭту же таблицу можно записать в виде одной формулы:σα σβ = E δαβ + i eαβγ σγ ,α, β, γ ∈ {1, 2, 3}.(15.14)С помощью матриц Паули удобно представлять трёхмерные векторыв виде эрмитовых бесследовых матриц 2 × 2 (предполагается, что компоненты вектора — числа или операторы, не действующие на спиновые переменные, т.
е. коммутирующие с операторами спина): Az A−Ax − iAyAz(A, σ ) = Aα σα ==.Ax + iAy −AzA+ −AzПроизведение таких матриц (его легко вычислить по правилу (15.14)) содержит как скалярное, так и векторное произведение:(A, σ )(B, σ ) = (A, B) + i([A × B], σ ).(15.15)Для единичного вектора n получаем, что (n, σ )2 = (n, n)E = E == (n, σ )2k , k = 0, 1, 2 . . . , т. е. все чётные степени дают единичнуюматрицу. Соответственно все нечётные степени дают исходную матрицу (n, σ )2k+1 = (n, σ ) = σn .Используя это, легко записать спиновый оператор поворота вокругпроизвольной оси:iRn (α) = eiαŝn = e=E∞ασ2 n2k=∞(iα/2)kk=0∞k!σnk =(iα/2)(iα/2)2k+1+σn,(2k)!(2k + 1)!k=0k=0cosα2i sinα215.3.
С ПИНRn (α) = E cos α + iσn sin α =2212437cos α + nz i sin αn− i sin αn+ i sin αcos α − nz i sin α22222.2Как мы и ожидали, для полуцелого спина 12 поворот на полный угол 2πсоответствует оператору −E.Получившаяся спиновая матрица поворота Rn (α) является матрицей 2 × 2, унитарна (как экспонента от эрмитовой матрицы, умноженнойна i) и имеет единичный определитель, таким образомRn (α) ∈ SU(2).15.3.2. Кватернионы**Читатель, знакомый с понятием кватернионов, должен был почувствовать в предыдущем разделе что-то смутно знакомое, особенно в формуле (15.15), в которой перемешались скалярное и векторное произведение.Это сходство можно сделать изоморфизмом, если ввести соответствиемежду матрицами 2 × 2 и кватернионными единицами:E−iσx−iσy−iσz→ 1,→ i,→ j,→ k.Теперь таблица умножения σ-матриц превращается в стандартную таблицу умножения базисных кватернионов:2-й множитель →1-й множитель : 1ijk1 i j k1 i j ki −1 k −jj −k −1 ik j −i −1Кватернион общего вида получается как линейная комбинация базисных с вещественными коэффициентами:A = A0 + Ax i + Ay j + Ax k = A0 + A.При этом A0 называют скалярной частью кватерниона, а A = Ax i + Ay j ++ Ax k — векторной частью.438ГЛАВА 15Кватернионы являются обобщением комплексных чисел, при которомвместо одной мнимой оси вводится трёхмерное пространство.
Это пространство изотропно, в том смысле, что собственные вращения в нём неменяют алгебраических соотношений между кватернионами. Более того,любая двумерная плоскость в пространстве кватернионов, содержащая вещественную ось, устроена так же, как обычная комплексная плоскость.Для кватернионов определено сложение, вычитание, умножение и взятие обратного элемента (от ненулевых элементов). Причём, посколькуумножение кватернионов некоммутативно, определено два разных деления:левое (умножение на обратный элемент слева) и правое (умножение на обратный элемент справа).Для кватернионов определяют сопряжённый кватернион, абсолютнуювеличину, обратный элемент:Ā = A0 − A = − 1 (A + iAi + jAj + kAk),2222|A| = A0 + A = AĀ,A−1 = Ā 2 .|A|Обратите внимание, в отличие от комплексного сопряжения, кватернионное сопряжение выражается через сложение и умножение, из-за этого надкватернионами не удаётся создать интересной теории аналитических функций (т.
к. аналитические и антианалитические функции совпадают). Такимобразом, хотя кватернионы и были придуманы как «обобщённые комплексные числа» в надежде на то, что с их помощью можно будет столь жеудобно решать трёхмерное уравнение Лапласа, как в двумерии с помощьюаналитических функций, это ожидание не оправдалось3 .Если построить кватернион с произвольными комплексными компонентами (комплексный кватернион), то мы потерям деление — обратныйэлемент не будет определён не только для нуля, но и для других элементов.Этого и следовало ожидать, т. к. кватернионному умножению мы сопоставили матричное умножение, а кватернионам с произвольными комплексными коэффициентами соответствуют произвольные матрицы 2 × 2, в томчисле и необратимые.Векторная часть кватерниона представляется как антиэрмитова матрица 2 × 2, таким образом спиновый оператор вращения, с учётом соответ3 Кватернионы были придуманы У.
Р. Гамильтоном 16 октября 1843 года во время прогулкис женой по берегу Королевского канала в Дублине. Уравнения i2 = j2 = k2 = ijk = −1были написаны им на камне Брукхемского моста.15.3. С ПИН12439ствия iσn → −n, естественным образом переписывается как единичный(по модулю) кватернион:−Rn (α) = eαn2= cos α2 − n sin α2 ,|Rn (α)| = 1.15.3.3. Геометрия чистых состояний кубита**Состояния квантовой системы определены с точностью до произвольного ненулевого множителя, так что, хотя пространство спиновых состояний (или состояний любой другой двухуровневой системы) — это двумерное комплексное пространство C2 , для нумерации физически различимыхсостояний нам не надо задавать два комплексных числа, а достаточно их отношения.