a_shen ([personal profile] a_shen) wrote2010-08-15 08:42 am

квантовая механика и телепатия

Рассмотрим такую странную игру для команды из двух человек. Их разводят по разным комнатам и сообщают каждому случайный бит q_1, q_2 (все четыре комбинации равновероятны). Они, не сговариваясь, должны в ответ сказать по биту (a_1,a_2). Если оказалось, что a_1 + a_2 по модулю 2 равно q_1 AND q_2, то они выиграли.

Как им заранее договориться, чтобы увеличить вероятность выигрыша? Видя 0, каждый знает, что ответ нуль, и хочет сделать так, чтобы назвать то же число, что и партнёр - но не знает, какой бит тот видит. Простая стратегия - называть обоим всегда нуль, тогда в трёх случаях из четырёх они выиграют (кроме q_1=q_2=1).

Оказывается, что это оптимальная стратегия.


Почему? в самом деле, поскольку всего 4 варианта, каждый из которых имеет вероятность $1/4$, то лучше может быть только стратегия, всегда гарантирующая выигрыш. А такой не существует - можно перебрать или заметить, что любая функция a_1(q_1) и a_2(q_2) одной переменной линейна, поэтому и сумма a_1(q_1)+a_2(q_2) будет линейной функцией над полем из двух элементов, и потому не может совпадать с (нелинейной) функцией AND



В принципе, игроки могут использовать вероятностные стратегии (то есть до игры сначала бросить монеты, и действовать в зависимости от них). Но это не позволит увеличить вероятность (если биты q_1 и q_2 организаторы игры выбирают независимо от случайных битов игроков). В самом деле, такая вероятностная стратегия есть комбинация некоторых детерминированных (каждая выбирается с какой-то частотой), и если каждая из детерминированных даёт не более 75% попаданий, то и комбинация даст не больше.

Представьте себе, что к вам приходят два человека и говорят, что могут выиграть не в трёх случаях из четырёх, а в 4 из 5 - и действительно демонстрируют это в большой серии игр. Доказывает ли это существование телепатии?



Оговорка: игры происходят последовательно - если игроки паралелльно получают много битов из разных игр (независимых) и после этого посылают ответные биты, то рассуждение про 75% уже не проходит. (Не знаю, что конкретно для этой игры, но в общем случае бывают ситуации, когда параллельные игры проще - см. parallel repetition conjecture/theorem)



Оказывается, что квантовая механика говорит, что можно выигрывать более чем в 75% случаев. Для этого игроки заранее приготавливают два кубита в смешанном состоянии. Каждый приносит свой кубит в свою комнату. Получив вопрос, он проводит над этим кубитом некоторое измерение (зависящее от вопроса) и посылает ответ, зависящий от результата измерения. При таких действиях рассуждение о 75% теряет силу и действительно можно придумать способ, дающий большую вероятность.

Говорят, можно достичь вероятности 1/2+1/2\sqrt(2), что примерно 85%, но я не знаю как. Но небольшое увеличение вероятности (до 80%) можно получить так: готовится пара кубитов в состоянии (1/sqrt(2)) (0x0 + 1x1). Видя нуль, игрок выполняет измерение в обычном базисе 0,1 (и сообщает один бит - исход). Видя единицу, игрок выполняет изменение в повёрнутом на угол \alpha базисе : (cos(alpha) 0 + sin(alpha)1, -sin(alpha)0+cos(alpha)1) и тоже сообщает один бит - исход. Другой игрок делает то же самое, но базис повёрнут в другую сторону. Если я ничего не путаю (квантовая механика - наука непростая), то при двух нулевых вопросах ответы будут гарантированно одинаковые. Если один вопрос 0, а другой 1, то ответы одинаковые с вероятностью cos^2(alpha) и разные с вероятностью sin^2(alpha). А если оба вопроса 1, то относительный угол 2alpha и ответы одинаковые с вероятностью cos^2(2alpha) и разные с вероятностью sin^2(2alpha). Видно, что по крайней мере при малых alpha выигрыш больше (sin^2 (2\alpha) примерно в четыре раза больше sin^2(alpha), а достаточно в два).





Вроде это всё давно и хорошо известно специалистам. Изначально это называлось "парадокс Эйнштейна-Подольского-Розена" (можно создать два объекта в смешанном состоянии на большом удалении, и тогда измерение одного объекта вроде как нелокально действует на второй), потом были какие-то "неравенства Белла", показывающие (для специалистов - я не знаю подробностей), что "квантовая механика не сводится к классической" и "нет объяснений со скрытыми параметрами", потом был предложен "CHSH-эксперимент", а недавно специалисты по computer science заинтересовались этим, то есть квантовыми обобщениями multi-prover interactive games, и интерпретировали CHSH-эксперимент в терминах описанной игры. Заодно доходчиво объяснили, в каком смысле и почему квантовая механика принципиально не сводится к классической - я прочёл это (пересказанное выше) у Julia Kempe.



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


UPD: исправлена опечатка, должно быть 1/2 + 1/2sqrt{2}

Re: да, конечно,

[identity profile] ktotam.livejournal.com 2010-08-15 09:22 pm (UTC)(link)
1/2+1/2sqrt(2) получается как я понимаю например если оба поворачивают на -pi/16, когда на входе 0, и на 3pi/16, когда 1. можно перебрать случаи, а можно посчитать выгодность (вероятность выиграть минус вероятность проиграть) -- 1/sqrt(2).

ещё есть такая штука (PR-box), которая позволяет выиграть с вероятностью 1 (без нарушения причинности). её было бы собрать интереснее, тогда, например, если у нас есть два бита, и мы можем передать один из них, то получатель может восстановить любой один бит из исходных, по своему выбору. ну или скажем скачать одну песню из альбома, а потом уже выбрать, какую же собственно песню скачал ;)

Re: квантовые “уникальные игры”

[identity profile] yyi.livejournal.com 2010-08-15 11:42 pm (UTC)(link)
как раз гугля по Сашиной наводке наткнулся - по крайней мере некоторые версии этой Conjecture не верны: e.g., http://arxiv.org/abs/0710.0655

Re: квантовые “уникальные игры”

[identity profile] yurymakarychev.livejournal.com 2010-08-16 12:55 am (UTC)(link)
эта статья как раз показывает связь между вероятностью p и значением SDP для уникальных игр. Она не опровергает никаких версий Unique Games Conjecture :-). Верна ли стандартная версия Unique Games Conjecture действительно непонятно, особенно после недавней работы [Arora, Barak, Steurer (2010)], некоторые нестандартные (более сильные) версии были опровергнуты [Charikar, Makarychev, Makarychev (2006)].

Re: квантовые “уникальные игры”

[identity profile] yyi.livejournal.com 2010-08-16 01:39 am (UTC)(link)
авторы той статьи говорят: "our result implies that the variant of the unique games conjecture where we allow the provers to share entanglement is false." - ну и кому после этого верить? ;)
поскольку (пока?) не разобрался с этим, я опирался только на эту фраз и ничего более (но я кажется понимаю о чем Вы).
но в любом случае похоже что "пациент больше мертв чем жив"? или это только так на глаз игнорамуса?

Re: квантовые “уникальные игры”

[identity profile] yurymakarychev.livejournal.com 2010-08-16 01:49 am (UTC)(link)
Они сами придумали этот вариант гипотезы и опровергли его. Результат очень интересный (по другим причинам), но он не подвергает сомнению стандартную Unique Games Conjecture.

>> "пациент больше мертв чем жив"
Я бы так не сказал... Я думаю, что большинство специалистов скорее считает, что Unique Games Conjecture верна.

Re: квантовые “уникальные игры”

[identity profile] yyi.livejournal.com 2010-08-16 02:43 am (UTC)(link)
ok. thanks a lot!
this is interesting - even despite your results and those of Barak et al?

Re: квантовые “уникальные игры”

[identity profile] yurymakarychev.livejournal.com 2010-08-16 02:59 am (UTC)(link)
Трудно сказать определённо. Например, сейчас большинство новых результатов в теории сложности аппроксимационных алгоритмов (“inapproximability results”) опираются на гипотезу об уникальных играх. Мне кажется, что многие не воспринимают это как недостаток. Правда далеко не все.

Re: квантовые “уникальные игры”

[identity profile] yyi.livejournal.com 2010-08-16 03:32 am (UTC)(link)
еще раз спасибо.

то есть на

[identity profile] a-shen.livejournal.com 2010-08-16 08:44 am (UTC)(link)
0 и  \pi/4? видимо, тогда надо поворачивать в разные стороны? но вроде всё равно не получается - 1/4, если оба вопроса 0, 1/4, если оба вопроса 1, и 1/8  в каждом из случаев 0 - 1 (ведь если системы координат повёрнуты на \pi/4, то биты независимы) - или я что-то неправильно вычислил?

специалисты

[identity profile] a-shen.livejournal.com 2010-08-16 08:45 am (UTC)(link)
уже подтянулись ниже :-)

Re: то есть на

[identity profile] ktotam.livejournal.com 2010-08-16 11:45 pm (UTC)(link)
нет, зачем 0 и pi/4.
возьмем исходное состояние 1/sqrt(2) (0x0-1x1).
пусть один игрок повернул на theta1, а другой на theta2. получаем состояние 1/sqrt(2) (cos(theta1+theta2) (0x0-1x1)+sin(theta1+theta2)(0x1+1x0)) (суперпозиция с амплитудами вероятности cos(theta1+theta2) и sin соответственно). вероятность того, что a1+a2=0 mod2 (т.е. кубиты возвращаются в исходное положение) равна cos^2(theta1+theta2).
ну и для каждого из четырех возможных вариантов получаем a1+a2=a1*a2 с вероятностью cos^2(pi/8):
00: cos^2(-pi/8)
01: cos^2(pi/8)
10: cos^2(pi/8)
11: sin^2(3pi/8)

спасибо -

[identity profile] a-shen.livejournal.com 2010-08-17 11:20 am (UTC)(link)
я почему-то считал, что в нулевом варианте они должны совпадать, на что, конечно, нет никаких причин...

А Вы понимаете, как доказать, что это оптимально, кстати (при любом смешанном состоянии вначале)? (я нет)

Re: спасибо -

[identity profile] ktotam.livejournal.com 2010-08-17 04:19 pm (UTC)(link)
это, кажется, неравенство цирельсона.
тут тоже можно посчитать выгодность.
в общем случае у игроков есть по два эрмитовых оператора со спектрами +-1: A0 (для 0 на входе) и A1 (для 1) у первого, B0 и B1 у второго. они выбирают оператор, проводят проективное измерение и в зависимости от результата (собственное пространство +1 или -1) говорят ответ (0 или 1).
мат.ожидание игры сверху ограничено максимальным собственным значением для
(A0*B0+A0*B1+A1*B0-A1*B1)/4
если это дело возвести в квадрат, раскрыть скобки, и заменить каждое слагаемое на максимально возможное, то получим 1/2, т.е. исходное ожидание не больше 1/sqrt(2).
как-то так

[identity profile] rmfedorov.livejournal.com 2010-08-17 08:30 pm (UTC)(link)
Ничего не понимаю. Что такое кубиты? Если про результаты измерения думать, как про случайные величины, то они не независимы?

[identity profile] dima-i.livejournal.com 2010-08-18 11:24 am (UTC)(link)
Здорово! Я никогда раньше не думал про неравенства Белла в такой формулировке.

[identity profile] rmfedorov.livejournal.com 2010-08-18 04:42 pm (UTC)(link)
Ок, вроде понял

фокус в том,

[identity profile] a-shen.livejournal.com 2010-08-18 04:50 pm (UTC)(link)
что измерения зависят от вопросов, и потому ответы тоже (и, естественно, они зависят друг от друга) - так что тут дело сложное...

[identity profile] slavenok.livejournal.com 2010-08-19 08:33 am (UTC)(link)
Пишете адски!

(Anonymous) 2010-08-19 05:40 pm (UTC)(link)
Научные вопросы надо обсуждать на латыни, а не на диких варварских языках.

[identity profile] anhinga-anhinga.livejournal.com 2010-08-20 07:37 pm (UTC)(link)
> насколько современная технология квантовых компьютеров позволяет такие кубиты создать в каких-то (наверно, криогенных) коробочках и сохранить на время. достаточное, чтобы разнести их по комнатам и принять участие в игре

Если игроки и игра быстрые, то из имплементаций квантовой криптографии, вроде, следует, что это возможно:

http://en.wikipedia.org/wiki/Quantum_cryptography#Implementations

Что касается времени распада, то, вроде, люди говорят, что достигли времён порядка одной секунды:

http://www.nsf.gov/news/news_summ.jsp?cntn_id=112538&govDel=USNSF_51

(via http://en.wikipedia.org/wiki/Timeline_of_quantum_computing )

off topic

[identity profile] anhinga-anhinga.livejournal.com 2010-08-20 07:54 pm (UTC)(link)
Меня тут время от времени мучает вопрос, как показать, что в контексте разных результатов независимости не возникает некоторый тип парадокса, вроде вот какого...

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

В построении такого алгоритма и доказательстве того, что он даёт именно такие полиномы, вроде бы, и состоит теорема Матиасевича.

Если бы это рассуждение, включая всё, что нужно для доказательства теоремы Матиасевича, можно было бы провести в рамках некоторой конкретной арифметики P, то, вроде бы, это даёт ещё и доказательство в рамках этой же самой арифметики, что "полином Матиасевича" не имеет корней, тем самым приводя к парадоксу (поскольку как раз это и должно быть недоказуемо в рамках арифметики P).

Поскольку мы не верим, что есть парадокс, значит что-то в этой цепочке не формализуется в рамках арифметики. Но что именно?

(Что-то похожее люди спрашивают и про теорему Гёделя, но про диофантовы полиномы проще думать.)

ну так

[identity profile] a-shen.livejournal.com 2010-08-20 08:04 pm (UTC)(link)
отсутствие корней равносильно непротиворечивости теории, и эта равносильность доказуема - а отсутствие корней, как и непротиворечивость, недоказуема

[identity profile] anhinga-anhinga.livejournal.com 2010-08-20 08:26 pm (UTC)(link)
А, то есть парадокса нет, потому что все эти результаты о независимости явно опираются на непротиворечивость?

И способ, которым они опираются, это более сильная штука, чем обычные доказательства "от противного", которые формализуются в арифметике?

резульаты

[identity profile] a-shen.livejournal.com 2010-08-20 08:51 pm (UTC)(link)
о независимости говорят, что арифметика непротиворечива тогда и только тогда, когда полином не имеет корней (и эта эквивалентность непротиворечивости не предполагает). А также - что утверждение о непротиворечивости (а также - об отсутствии корней) недоказуемо, если арифметика непротиворечива. И этот результат тоже не предполагает непротиворечивость известной.

Page 2 of 3