Запись запутанности в скобочной нотации

У меня относительно сложная (во всяком случае для меня) ситуация, которую я хотел бы описать в скобках, а не словами. Однако мне не удалось найти источник, который помог бы мне лучше понять, как это сделать, и я надеялся, что один из вас может мне помочь. Сначала я опишу именно то, что хочу выразить, чтобы было немного понятнее, что я имею в виду. Обратите внимание, что это не вопрос домашнего задания или что-то в этом роде, это связано с экспериментом, который я придумал, поэтому есть вероятность, что на самом деле написать его так, как я хочу, может быть несколько невозможно.

У меня есть система, живущая на сфере Блоха , как эта, но с | вместо | 0 и | вместо | 1

Блох Сфера

Теперь изначально я могу полностью инициализировать что-то, скажем, вращение, в 1 состояние, будучи | 0 . Затем я поворачиваю состояние на pi/2 вокруг оси x и жду время t. За это время t происходят более сложные вещи. В зависимости от состояния второго вращения, что-то будет происходить. Этот второй спин может находиться в любом из трех состояний: | 1 , | 0 и | 1 .

Сейчас, в это время т , состояние первого спина будет прецессировать вокруг сферы Блоха в зависимости от состояния второго спина. Если второй спин находится в состоянии | 1 первое состояние будет вращаться вокруг оси Z по часовой стрелке, если второе вращение находится в состоянии | 0 первый спин не изменится, а если второй спин находится в состоянии | 1 первый спин будет вращаться вокруг г -ось против часовой стрелки.

Итак, после этого времени т , я снова поверну первый спин, но на этот раз π / 2 вокруг у -ось. Это означает, что если я выберу t так, чтобы оно составляло ровно четверть периода, за который спин совершает полный оборот, два спиновых состояния будут запутаны. Я могу использовать это, чтобы установить, что такое второе состояние вращения, считывая первое состояние вращения:

Если | 1 , тогда я буду читать | с п "=" 0 , если | 0 , тогда я буду читать | с п "=" 0,5 , и если | 1 , тогда я буду читать | с п "=" 1 .

Я понимаю, что это, вероятно, может быть немного запутанным, что, конечно же, также является основной причиной, по которой я просто хотел бы написать это в красивой, чистой нотации скобок. Если есть что-то конкретное, что не ясно, пожалуйста, дайте мне знать. И если кто-то может помочь мне начать работу (возможно, указав мне на аналогичный пример), я был бы очень благодарен.

Редактировать: Хорошо, я немного почитал о том, что смог найти, и вот как далеко я продвинулся сейчас.

Изначально: | ψ "=" | ψ 1 | ψ 2 "=" | 1 3 ( | 1 + | 0 + | 1 )

Повернуть первое вращение на π / 2 вокруг оси x

| ψ "=" р Икс ( π 2 ) | ψ 1 | ψ 2 "=" 1 2 ( | я | ) 1 3 ( | 1 + | 0 + | 1 )

Но здесь я снова застреваю, так как именно здесь должно произойти вращение, обусловленное вторым вращением, и я не знаю, как это сделать.

Конечно, было бы лучше, если бы я мог сделать это для общего угла поворота phi и общего времени t (общая ось сделает это довольно сложным, для моих целей подойдет либо x, либо y)

Ответы (2)

Хорошо, я не совсем понимаю, что вы делаете, но, поскольку это линейная алгебра, я бы посоветовал вам использовать линейную алгебру. Затем вы можете легко переключаться между нотацией скобок и матрицами.

Во-первых, давайте исправим то, о чем мы говорим: У вас есть одна система А содержащий один спин, поэтому система представляет собой пространство С 2 с базисными состояниями | 0 , | 1 (вниз и вверх - можно конечно называть их вниз и вверх, но это ничего не меняет). Кроме того, у вас есть вторая система Б с состоянием, которое может быть в любом | 1 , | 0 , | 1 , т.е. С 3 .

Это означает, что ваши государства живут в С 2 С 3 и ваши временные эволюции будут просто некими унитарами этого пространства. Чтобы их было легче записывать, выберем порядок основания | 0 | 1 , | 0 | 0 , | 0 | 1 , | 1 | 1 , | 1 | 0 , | 1 | 1 , Который означает, что | 0 | 1 соответствует вектору ( 1 , 0 , 0 , 0 , 0 , 0 ) т р е С 2 С 3 .

Выбор такого базиса облегчает запись соответствующих унитаров. Позвольте мне привести два примера:

Вы вращаете первый спин pi/2 вокруг оси x. Вращение спина вокруг оси x есть не что иное, как унитарная эволюция оси Паули-x. Вы можете показать, что вращение блоховской сферы вокруг оси н под углом θ дан кем-то

р н ( θ ) "=" е я θ о н / 2
где о — вектор матриц Паули.

Таким образом, простой поворот первой части системы на π / 2 вокруг оси x задается унитарным

е я π Икс / 4 1 3 е Б ( С 2 С 3 )
с тождеством, действующим на вторую систему.

Теперь предположим, что вы хотите реализовать условное унитарное выражение. Ну, нет ничего проще, ты просто придумываешь. Вы знаете, где должны заканчиваться ваши базисные состояния (вы просто записываете, как будет выглядеть состояние после применения условного унитарного для любого из базисных состояний | 0 | 1 , | 0 | 0 , | 0 | 1 , | 1 | 1 , | 1 | 0 , | 1 | 1 . Это даст вам все записи 6 × 6 унитарный, соответствующий оператору. Поскольку у вас есть параметр т , ваш унитар будет т -зависимый.

Это позволяет создавать унитарные элементы для каждого шага пути. Теперь, чтобы получить общее унитарное значение всего процесса, вам просто нужно перемножить их все справа налево (более поздние процессы умножаются слева) — как общая квантовая схема.

В принципе, теперь, чтобы получить ваше конечное состояние, вы просто перемножаете матрицу и вектор вашего начального состояния. Здесь может быть оговорка - я не совсем уверен, можно ли вообще инициализировать всю систему (т.е. обе части системы находятся в каком-то определенном состоянии - может суперпозиция, а может и нет). Если вы можете, то это будет соответствовать некоторому вектору, если вы не можете, вам нужно будет использовать матрицы плотности.

Спасибо за отличный ответ. Я постараюсь решить это таким образом, посмотрим, смогу ли я это осуществить. Похоже, это действительно правильный путь.
Я понимаю большую часть того, что вы написали, но меня немного смущает та часть, где вы описываете, как составить условное предложение. Я только что понял, что то, что я хотел написать здесь, слишком длинное, поэтому я отредактировал его в нижней части моего «ответа» после вашего.

Следуя тому, что мне объяснили выше, я думаю, что смогу решить свою проблему, написав ее как таковую:

Изначально:

| ψ "=" | ψ 1 | ψ 2 "=" | 1 3 ( | 1 + | 0 + | 1 )
Вращение первого вращения на π / 2 вокруг оси x
| ψ "=" ( е я π 4 Икс я ) ( | 1 3 ( | 1 + | 0 + | 1 ) ) "=" 1 6 ( | я | ) ( | 1 + | 0 + | 1 )
Условное вращение:
| ψ "=" р с о н 1 6 ( | я | ) ( | 1 + | 0 + | 1 ) "=" 1 6 [ ( | + | ) | 1 + ( | я | ) | 0 + ( | | ) | 1 ]
Вращение первого вращения на π / 2 вокруг оси Y
| ψ "=" ( е я π 4 Икс я ) 1 6 [ ( | + | ) | 1 + ( | я | ) | 0 + ( | | ) | 1 ] "=" 1 3 | | 1 + 1 3 | | 1 + 1 6 ( | + | ) | 0

Здесь мне еще предстоит выяснить, какова реальная форма условного поворота, так что это еще осталось. Может ли кто-нибудь увидеть, имеет ли смысл то, что я записал?

Для условного я знаю, что я хочу сделать так, чтобы R (t) работал, как показано ниже:

р с о н ( 1 / 4 ) ( | я | ) | 1 "=" ( | + | ) | 1
р с о н ( 1 / 4 ) ( | я | ) | 0 "=" ( | я | ) | 0
р с о н ( 1 / 4 ) ( | я | ) | 1 "=" ( | | ) | 1

Должен ли я буквально просто выписать всю матрицу 6x6, которой является Rcon, и решить все ее элементы?
на самом деле это один из способов сделать это, хотя вы можете более или менее прочитать записи. Другой способ сделать это - отметить, что р с о н   1 ( т ) | 1 1 | + р с о н   0 ( т ) | 0 0 | + р с о н   1 ( т ) | 1 1 | с условными унитарами 2x2 р с о н делает свое дело (это унитарно, так как ваш базис ортогонален). Остается выяснить, какие унитарии действуют в зависимости от чего.
Большое спасибо за вашу помощь, Мартин, это было очень ценно.