Оптимальная стратегия для квантовой игры

9

Рассмотрим следующую игру:

Я подбрасываю честную монету, и в зависимости от результата (либо голова / хвост), я дам вам одно из следующих состояний:

|0 or cos(x)|0+sin(x)|1.

Вот, xэто известный постоянный угол. Но я не говорю вам, какое состояние я вам даю.

Как я могу описать процедуру измерения (т. Е. Ортонормированный базис кубита), чтобы угадать, какое состояние мне дано, и в то же время максимально увеличить вероятность быть правым? Есть ли оптимальное решение?

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

Я думаю, что хорошей стратегией было бы выполнить ортогональное преобразование с

[cos(x)sin(θ)sin(x)cos(θ)].

Не могу добиться большого прогресса ...

jjbid
источник
Интуитивно понятным ответом является измерение в вычислительной основе, потому что мы можем ограничить до а когда состояния неразличимы, а когда состояния ортогональны, но я просто не уверен, как это доказать. x[0,π2]x=0x=π2
ахельвер

Ответы:

8

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

Во-первых, то, что нам действительно не нужно, точное описание состояния. Полное состояние системы, которое зависит как от суперпозиций, так и от классической монеты, может быть закодировано в матрице плотности где левый столбец и верхняя строка соответствуют базовому состоянию "ноль", а остальные - "один". Полезно переписать матрицу плотности в терминах 4-элементного базиса матриц : Это можно записать в терминах угла :

ρ=12(1000)+12(cos2xsinxcosxsinxcosxsin2x)
2×2
ρ=12+sinxcosx2σx+(cos2xsin2x4+14)σz
2x
ρ=12+sin2x4σx+cos2x+14σz
Теперь, независимо от смешанного состояния, это все еще двухуровневая система и все измерения в двумерном гильбертовом пространстве либо тривиальны (измерения ), либо эквивалентны измерению спина вдоль оси, т.е. измерения который является единичный трехмерный вектор, умноженный на вектор матриц Паули. Хорошо, что произойдет, если мы измерим ? Собственные значения плюс один или минус один. Вероятность каждого может быть получена из ожидаемого значения которое равно c
V=nσ
VVV
V=Tr(Vρ)
Следы продуктов вносят свой вклад только в том случае, если соответствует (но мы предполагаем, что в не было члена ) или соответствует и т. Д., И в этом случае трасса матрицы дает дополнительный множитель 2. Таким образом, мы имеем Получаем собственное значение с вероятностями соответственно. Именно тогда, когда , два начальных состояния "голова и хвост" ортогональны друг другу (в основном и ), и мы можем их полностью различить. Чтобы сделать вероятности11Vσxσx
V=sin2x2nx+cos2x+12nz
±1(1±V)/2cosx=0|0|10,1 , мы должны просто выбрать ; обратите внимание, что общий знак не имеет значения для процедуры.n=(0,0,±1)n

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

Наша вероятность успеха будет ниже 100%, если . Но единственный значимый способ использовать классический бит из измерения - это напрямую перевести его в наше предположение о начальном состоянии. Без ограничения общности наш перевод может быть выбран как и Если бы мы хотели противоположного, перекрестной идентификации голов-хвостов и знаков , мы могли бы просто достичь этого, щелкнув общий знак .cosx0V=±1

(V=+1)|i=|0
(V=1)|i=cosx|0+sinx|1.
Vnn

Давайте назовем первое простое начальное состояние "головы" (ноль), а второе сложнее "хвосты" (косинус-синус суперпозиции). Вероятность успеха, учитывая наш перевод с на головы и на хвосты, Поскольку это справедливая монета, двумя факторами, включенными выше, являются . Наиболее сложный расчет среди четырех вероятностей - это . Но мы уже сделали более сложный расчет выше, это был . Здесь мы просто опускаем постоянный член, пропорциональный и умножаем на два: +11

Psuccess=P(H)P(+1|H)+P(T)P(1|T).
P(H)=P(T)=1/2P(1|T)(1V)/2nz
P(1|T)=12sin2xnx2cos2xnz2
Результат для «головок» просто получается установкой потому что состояние «головок» равно состоянию «хвостов» с заменой . Поэтому и дополнительная вероятность равна Подставим эти результаты в наш «вероятность успеха», чтобы получить или Если мы определим , x=0x=0
P(1|H)=1nz2
1P
P(+1|H)=1+nz2
Psuccess=1+nz+1(sin2x)nx(cos2x)nz4
Psuccess=12nx4sin2x+nz4(1cos2x)
(nx,nz)=(cosα,sinα)
Psuccess=12+sin(2x+α)sinα4=12+sinxcos(x+α)2
Мы хотим максимизировать это через . Ясно, что максимум для где знак совпадает со знаком т. Е. или а значение в этом максимуме равно который находится в интервале 50% и 100%.αcos(x+α)=±1sinxα=xα=πx
Psuccess=1+|sinx|2

Это хорошее измерение, которое действительно квантово-механическое. Мы используем измерение, от , т.е. классическое измерение бита. Вместо этого мы измеряем спин вдоль оси в плоскости которая определяется тем же ненулевым углом, что и угол в начале, с некоторыми правильными знаками и сдвигами, кратными . Обратите внимание, что если вы измерили просто , классический бит, вероятность успеха будет равна просто , также от 50% до 100%, но меньше нашего результата. В частности, для небольшого наш оптимальный результат был бы разложен по Тейлору какσzxzxπ/2σz(3cos2x)/4x=0+ϵ1/2+|x|/2в то время как неоптимальный результат с использованием классического измерения будет увеличиваться выше медленнее, как .1/21/2+x2/2

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

Система отсчета: забавная простая задача в квантовых вычислениях

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

Любош Мотль
источник
Возможно, мне придется прочитать вопрос и ответить более тщательно, но не является ли это частным случаем проблемы, решаемой в arxiv.org/abs/1805.03477 ?
GLS
Возможно, я не знаком с бумагой и не вижу, что это обобщение этой проблемы, по крайней мере, не в течение нескольких минут. Но я не утверждаю, что решил какие-либо передовые проблемы с использованием бумаги. Этот вопрос, вероятно, является упражнением в некоторых учебниках, которое, как ожидается, решат учащиеся.
Luboš Motl
1

Ключ находится в оптимальной стратегии для различения двух неортогональных состояний. Это то, что называется измерением Хельстрома, которое я описал здесь .

DaftWullie
источник