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}

[identity profile] mnvyy.livejournal.com 2010-08-15 07:16 am (UTC)(link)
Я не могу дать уверенный ответ, но думаю, что он условно положительный. Поскольку есть экспериментальные подтверждения нарушений неравенств Белла и экспериментальные демонстрации разных эффектов, использующих ЭПР-пары (квантовая телепортация и т.п.), то как-то и на какое-то время такие пары создавать умеют. А любой такой эксепримент, в сущности, и есть версия описанной тобой игры.

вроде

[identity profile] a-shen.livejournal.com 2010-08-15 07:28 am (UTC)(link)
в принципе все согласны, что это возможно - но можно ли сделать две такие коробочки? Когда-то Сережа Маркелов говорил, что фирма RSA изготавливает парные коробочки, которые всегда показывают одинаковое число, но оно меняется со временем. Тут было бы ещё забавнее - число-то одиниаковое, но случайное и заранее его предсказать нельзя, как ни изучай коробочку

[identity profile] shuffle81.livejournal.com 2010-08-15 08:09 am (UTC)(link)
забавный сюжет

Re: вроде

[identity profile] polytheme.livejournal.com 2010-08-15 08:35 am (UTC)(link)
на то, чтобы разнести коробочки,
будет около миллисекунды :)

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

[identity profile] chaource.livejournal.com 2010-08-15 09:19 am (UTC)(link)
Я когда-то пытался разобраться съ неравенствами Белла, но не закончилъ разбираться. Вродѣ какъ эти неравенства не относятся къ обсуждаемой здѣсь задачѣ. Они говорятъ лишь о томъ, что нельзя замѣнить квантовые вѣроятности (разсчитываемые черезъ волновую функцію) на какія-либо классическія вѣроятности, разсчитываемыя черезъ какія-либо скрытые параметры.

Что касается реальной осуществимости игры съ коробочками отъ RSA, то въ теоріи здѣсь всё очень красиво, удивительно и замѣчательно. Но на практикѣ возникаетъ проблема, которую я бы сформулировалъ наглядно какъ слѣдующее противорѣчіе: съ одной стороны, частица должна быть въ коробочкѣ хорошо изолирована, чтобы не разрушалось квантовое состояніе. А съ другой стороны, мы должны быть въ состояніи эту частицу перенести куда-то вмѣстѣ съ коробочкой, а значитъ, частица не можетъ быть тамъ вполнѣ изолирована, а должна быть привязана къ коробочкѣ. Можно ли это осуществить, чтобы состояніе не разрушалось за доли секунды - не знаю.

Мнѣ кажется, что такая же проблема - вообще съ квантовыми компьютерами. Съ одной стороны, нуженъ милліонъ кубитовъ, которые всѣ находятся въ сложномъ, сплетенномъ квантовомъ состояніи, которое не разрушается, значитъ надо, чтобы система кубитовъ была хорошо изолирована. Съ другой стороны, необходимо имѣть возможность производить макроскопическія операціи сразу со всѣми кубитами ("вычисленіе"), значитъ, надо имѣть физическое взаимодѣйствіе всѣхъ кубитовъ съ нѣкимъ внѣшнимъ макроскопическимъ объектомъ. Это противорѣчитъ требованію изолированности. На мой взглядъ (не спеціалиста), это противорѣчіе становится тѣмъ непреодолимѣе, чѣмъ больше кубитовъ мы хотимъ вложить въ одну систему. Поэтому я думаю, что квантовыхъ компьютеровъ никогда не будетъ, потому что созданіе квантоваго компьютера на N кубитовъ есть инженерная задача, становящаяся экспоненціально болѣе трудной съ растущимъ N, въ отличіе отъ классическихъ компьютеровъ, гдѣ ростъ трудности - линейный.

вроде

[identity profile] a-shen.livejournal.com 2010-08-15 09:40 am (UTC)(link)
как раз "то, что нельзя заменить квантовые вероятности на классические", и показывает этот пример (причём применительно к понятиям нижних чинов, которые не могут разобраться в неравенствах Белла!)

вообще-то само это открытие - возможность превзойти классически оптимальную стратегию - замечательно независимо от всяких квантовых компьютеров

[identity profile] french-man.livejournal.com 2010-08-15 10:18 am (UTC)(link)
Я не очень хорошо понимаю, что такое «кубит», но, по-моему, это слегка жульничество. Так как кубиты зависят друг от друга, то они вполне себе общаются. Почему эта стратегия честнее, чем просто перезвониться по спрятанной мобиле?

[identity profile] chaource.livejournal.com 2010-08-15 10:19 am (UTC)(link)
Что, если въ данной задачѣ разрѣшить пользоваться неквантовыми скрытыми параметрами? (Классическими коробочками, которыя показываютъ какія-либо скоррелированные величины?) Всё равно не будетъ стратегіи, которая даётъ болѣе, чѣмъ 75% шансы?

ну как сказать -

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

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

ну вроде

[identity profile] a-shen.livejournal.com 2010-08-15 10:36 am (UTC)(link)
я пытался написать, как я это понимаю. Классически можно допустить любую корреляцию - использование любых случайных битов - и это не поможет, если эти биты независимы с битами арбитров (ну а если зависимы - то это очевидно возможно). Причина совсем тривиальна - вероятность отгадки будет интегралом по вероятностному пространству игроков вероятности отгадки при данных битах (повторный интеграл), а внутренняя вероятность не больше 75 процентов по доказанному

[identity profile] chaource.livejournal.com 2010-08-15 10:38 am (UTC)(link)
Да, кубиты зависятъ другъ отъ друга, но они не общаются. Это какъ два листа бумаги, на которыхъ написанъ похожій текстъ, "зависятъ" другъ отъ друга (т.е. тексты на нихъ не независимы и при прочтеніи дадутъ похожіе результаты), но два листа бумаги не общаются другъ съ другомъ.

Re: ну вроде

[identity profile] chaource.livejournal.com 2010-08-15 10:41 am (UTC)(link)
Да, это правда. Въ такомъ случаѣ дѣйствительно получается, что данная игра - варіанъ неравенства Белла.

Хотѣлъ добавить, что экспоненціальную сложность построенія квантоваго комьютера съ N кубитами я вывожу (эвристически) изъ того, что такой компьютеръ долженъ умѣть различать и не смѣшивать \propto \exp(2^N) разныхъ состояній (всѣ линейныя комбинаціи изъ 2^N возможныхъ классическихъ состояній кубитовъ), въ то время какъ классическій компьютеръ имѣетъ лишь 2^N состояній. Должно быть экспоненціально болѣе сложно построить приборъ, одновременно защищающій отъ помѣхъ и позволяющій наблюдать столько состояній.

Re: ну как сказать -

[identity profile] chaource.livejournal.com 2010-08-15 10:45 am (UTC)(link)
Телепатія - это была бы передача информаціи между игроками. Въ этой игрѣ не передаютъ информацію другъ другу. Съ помощью квантовых состояній нельзя передавать какую-либо классическую или квантовую информацію, насколько я понимаю. Можно только измѣнять вѣроятности локальныхъ экспериментовъ. Поэтому въ строгомъ смыслѣ телепатіи здѣсь нѣтъ и не можетъ быть.

ну да,

[identity profile] a-shen.livejournal.com 2010-08-15 10:47 am (UTC)(link)
вроде как эта игра и появилась как популяризация этих неравенств.

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

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

я примерно

[identity profile] a-shen.livejournal.com 2010-08-15 10:48 am (UTC)(link)
это же и хотел сказать, хотя этот пример учит, что слова "передача информации" надо очень аккуратно определять - скажем, если ничего заранее не знать про квантовую механику, то повышение вероятности в игре можно явно было бы посчитать доказательством наличия передачии информации

(Anonymous) 2010-08-15 11:21 am (UTC)(link)
Наивный вопрос не про квантовую часть. Если q_1, q_2 - не случайные биты, а adversarial (не знаю, как это по-русски: их выдает противник, знающий стратегию игроков), есть ли у игроков рандомизированная стратегия, позволяющая выиграть с вероятностью 75%?

[identity profile] vnovik91.livejournal.com 2010-08-15 02:34 pm (UTC)(link)
Достичь вероятности \frac{1}{2}+\frac{1}{\sqrt2} ?

[identity profile] yyi.livejournal.com 2010-08-15 02:58 pm (UTC)(link)
вроде есть новые технологии для "симуляции" кубитов (чего-то с сверхпроводимостью и т.д., нужно покопать). все равно это очень ненадолого, но...
а можно плз ссылки на этих computer scientists?

[identity profile] yyi.livejournal.com 2010-08-15 03:04 pm (UTC)(link)
не совсем так. EPR как раз предназначен был доказать что они общаются (EPR хотели этим опровергнуть Копенгагенскую интерпретацию Кв.М., т.к. общение превосходило скорость света, но вроде как получилось скорее наоборот) - теорема Белла показывает что вероятности получаемые с помощью "записаных листов" (hidden parameters) ниже чем получаемые с помощью Кв.М. (конечно, общение все-таки неполноценное - с его помощью нельзя передать "классические биты")

(Anonymous) 2010-08-15 03:18 pm (UTC)(link)
Может, Image ?

да, конечно,

[identity profile] a-shen.livejournal.com 2010-08-15 05:43 pm (UTC)(link)
это опечатка, прошу прощения - должно быть 1/2+1/2sqrt(2)

я сам видел только пересказ,

[identity profile] a-shen.livejournal.com 2010-08-15 05:56 pm (UTC)(link)
видимо, какие-то оригинальные работы можно найти, посмотрев в гугле CHSH two prover game

подозреваю, что нет,

[identity profile] a-shen.livejournal.com 2010-08-15 05:56 pm (UTC)(link)
но надо проверить...

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

[identity profile] yurymakarychev.livejournal.com 2010-08-15 06:35 pm (UTC)(link)
Саша, интересно, что “квантовая телепатия”, о которой ты пишешь, тесно связана с комбинаторной оптимизацией.

Эксперимент по квантовой телепатии. Организаторы эксперимента пишут на доске систему линейных уравнений над конечным полем, в которой в каждое уравнение входят всего две переменные. В комнату приглашают двух участников, показывают им систему уравнений и дают договориться об общей стратегии. Затем участников разводят по разным комнатам. Организаторы тайно выбирают одно из уравнений в системе случайным образом, и просят одного из участников назвать значение одной переменной, входящей в уравнение, другого — другой. Эксперимент признаётся успешным если названные значения удовлетворяют уравнению.

Какова вероятность успеха p? Во-первых, если система совместна, то участники могут просто выбрать одно из решений, затем назвать значения переменных в этом решении. Вероятность успеха равна единице, p=1. Аналогично, если существует решение такое, что 99% всех уравнений выполнены, то p ≥ 99%. Таким образом:

Факт 1. Рассмотрим решение, которое удовлетворяет максимальному числу уравнений в системе. Обозначим через v долю удовлетворённых уравнений. Тогда p ≥ v.

Более того, несложно проверить, что, в “классическом” мире p = v. Однако в квантовом мире p может быть гораздо больше чем v:

Факт 2. Для любого ε>0 существует система с p > 1 - ε и v < ε (размер конечного поля зависит от ε).

Комбинаторная оптимизация. Теперь давайте посмотрим на задачу с точки зрения комбинаторной оптимизации. Нам дана система и мы хотим найти оптимальное решение (в котором выполняется наибольшее число уравнений), т.е. найти v. Эта задача NP-сложная: мы не можем найти точное решение за полиномиальное время (если P≠NP). Можем ли мы хотя бы как-то оценить v? Да, мы знаем, что v ≤ p (Факт 1). Эта оценка на v конструктивна — оказывается, что значение p можно приближенно вычислить с помощью “semi-definite programming” за полиномиальное время.

Правда, как мы знаем (Факт 2), в некоторых случаях p очень плохо приближает v. Самое удивительное, что тем не менее, если так называемая Unique Games Conjecture верна, эта оценка для v через вероятность успеха квантового эксперимента оптимальна! (Грубо говоря, не существует эффективно вычислимой более сильной оценки сверху.)

Re: я сам видел только пересказ,

[identity profile] yyi.livejournal.com 2010-08-15 08:31 pm (UTC)(link)
ссылка на хороший пересказ иногда не хуже оригинала ;)

Page 1 of 3