Является ли Вселенная квантовым компьютером? Является ли барьер скорости света вычислительным ограничением

В настоящее время в ведущем математическом блоге Gödel's Lost Letter ведутся дебаты между Гилом Калаем и Арамом Харроу, причем первый утверждает, что создание квантового компьютера может оказаться невозможным из-за распространения шума, а второй утверждает обратное.

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

Итак, вопрос:

(A) Существуют ли какие-либо известные примеры физических взаимодействий, в которых можно было бы определить, что переходы между состояниями макроуровня соответствуют только лежащим в их основе квантовым вычислениям? Т.е. подобно тому, как алгоритм Шора экспоненциально быстрее, чем любой известный классический алгоритм факторинга, существуют ли какие-либо примеры известных физических процессов, например, стабилизация возмущения в очень большом скоплении частиц, которые можно было бы показать, предполагая P<>NP, только эффективными? решается квантовым вычислением.

Некоторые, я признаю, весьма спекулятивные, дополнительные вопросы будут такими:

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

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

Запрос ссылок на исследования в этом направлении или любые аргументы в поддержку или опровержение этих предположений.

Эта книга кажется актуальной: Programming the Universe: A Quantum Computer Scientist Takes on the Cosmos. Сет Ллойд. Предполагаю, что мои домыслы включены туда, но еще не читал.
В книге Ллойда много интересного материала, особенно связанного с энтропией Шеннона с вычислительной точки зрения. Однако, похоже, он не покрывает мои предположения.
Я не знаю, что означает ваш вопрос (А). Похоже, вы предполагаете, что квантовые компьютеры могут делать то, чего не могут классические компьютеры. Классические вычисления могут делать все то же, что и квантовые вычисления, хотя это может занять экспоненциально больше времени.
Что ж, я, конечно, знаю, что квантовые компьютеры не являются контрпримером гипотезы Чёрч-Тьюринга, и думаю, что мне достаточно известно о текущем понимании положения BQP в иерархии классов сложности. Мне просто интересно, что подобно тому, как ваш алгоритм факторинга экспоненциально быстрее, чем любой известный классический алгоритм, существуют какие-либо примеры физических реакций, например, стабилизация возмущения в очень большом скоплении частиц, которые можно было бы эффективно решить только с помощью квантовые вычисления.
И для дальнейшего уточнения, если ответ на вопрос (А) «нет», т. е. Вселенная ни в коем случае не функционирует как квантовый компьютер, несмотря на наличие всех доступных строительных блоков, то я склонен полагать, что наши попытки построить квантовый компьютер, вероятно, был бы бесполезен. Чтобы быть ясным, я считаю, что ответ да. –
Вы можете прочитать блог Скотта Ааронсона и его докторскую диссертацию.
Я слежу за его блогом. Посмотрю его кандидатскую диссертацию. Спасибо.
Тезис Скотта Аарансона выглядит чрезвычайно интересным и, судя по введению, очень важен для моих вопросов. Придется потратить некоторое время на чтение... Диссертация: Пределы эффективных вычислений в физическом мире, 2004, Скотт Джоэл Ааронсон, scottaaronson.com/thesis.pdf
Теперь, когда вы объяснили это, я вижу, что это резонный вопрос.
Спасибо, теперь немного понятнее. И все же я думаю, что связь (А) с (В) и (С) слишком слаба. Многим может показаться, что вы задаете три разных вопроса. Мы стараемся, чтобы в каждом посте на этом сайте было по одному вопросу, так почему бы вам их не убрать?
Кроме того, я не уверен, что существует связь между скоростью света и сложностью в том смысле, в каком вы спрашиваете. Теория сложности написана с точки зрения количества фундаментальных операций, необходимых для выполнения той или иной операции. Все основные операции имеют небольшую (удельную) стоимость. Похоже, что в вашем аргументе скорость света может быть связана с самими фундаментальными операциями, но не с тем, сколько раз вы можете их использовать.

Ответы (4)

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

Во-первых, для A каждая квантовая система с большим количеством частиц и сильными взаимодействиями реализует нетривиальные квантовые вычисления, но мы не можем проверить, правильно ли они это делают. Например, если вы возбудите ядро ​​урана до очень сильно возбужденного состояния, чтобы оно могло излучать рентгеновские лучи, нейтроны и протоны, и посмотрите на излучаемый спектр вещества, амплитуды излучения будут очень сложным произведением 250 система частиц с запутанностью, которую невозможно вычислить. Эти вычисления просто не могут быть выполнены ни одним классическим компьютером, поэтому мы просто не узнаем, ошибается ли квантовая механика. Но да, ядро ​​урана в возбужденном состоянии с энергией 700 МэВ выполняет невероятно сложные квантовые вычисления, которые мы не можем выполнить даже с помощью компьютера размером со вселенную.

Для Б--- ваш вопрос бессмысленен, но скорость света ограничивает скорость передачи информации в компьютере. Это не сильное ограничение принципа, потому что оно просто говорит о том, что этап вычисления, который перемещает данные из точки А в точку В, займет время, пропорциональное расстоянию между А и В. Это не имеет отношения к вычислительной сложности, потому что вы можете сделать движение за полиномиальное время по размеру вашей памяти, даже если оно неэффективно выложено по прямой линии. Это отвлекающий маневр. Слова «это максимальная скорость, с которой безмассовая частица может вычислить разрешенный путь при движении через пустое квантовое поле» бессмысленны.

Для C: ответа здесь нет --- вы можете просто использовать классическую механику, которая не требует бесконечных сумм для решения ответа. Идея о том, что квантовая механика необходима для воспроизведения классических однозначных ответов, кажется странной, потому что на самом деле загадочно, как это происходит. Чтобы получить определенные результаты из путаницы квантовой суперпозиции, вам нужно предположить, что мы расщепляем объекты в многомировой картине, или же вручную ввести определенные законы создания, которые эффективно делают то же самое. Если природа принципиально классическая, это не будет иметь значения.

Комментарии к связанному обсуждению

Аргумент Гила Калаи интересен, но сформулирован плохо. Кристофер Мур убедительно указал на это в первом из комментариев здесь: http://rjlipton.wordpress.com/2012/01/30/perpetual-motion-of-the-21st-centre/ , и я не хочу повторяться . слишком много. Когда вы предполагаете, что квантовые вычисления потерпят неудачу, вы предполагаете, что квантовая механика неверна, и ошибка возникает для сильно запутанных больших физических систем.

Аргумент против квантовой механики, основанный на неправдоподобности физической системы, выполняющей экспоненциальные вычисления, полностью отличается от других аргументов против квантовой механики. Философский принцип состоит в том, что природа не может быть намного более богатой вычислительными ресурсами, чем мы, потому что это вносит мистический элемент принципиальной невычислимости в большие квантовые системы в природе. Этот принцип является новым для литературы, но он не принадлежит Гил Калаи. Впервые я услышал это от студента CS Абрама Коннели десять лет назад, это была его личная критика квантовой механики. Я нашел это убедительным и интересным моментом, и я попытался изложить его в своем ответе здесь: Последствия новой теоремы в КМ?. Точная формулировка, которую дает Калаи, интересна, но сформулирована неоптимальным образом.

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

Неправильно утверждать, что простой шум реализации делает квантовые вычисления невозможными, не делая предположения, что существует закон природы, запрещающий запутанность квантовых вычислений. Причина в том, что вы можете просто устранить шум, охладив систему и сделав детали более точными. В принципе нет предела размеру квантовых вычислений, даже без коррекции ошибок. Квантовая коррекция ошибок занимает центральное место в реализации на практике, но, в принципе, вы можете просто представить себе идеальный компьютер и подходить все ближе и ближе во все более и более холодной системе, без каких-либо ограничений, кроме суммы, которую вы готовы потратить.

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

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

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

Спасибо, Рон. +1. Согласитесь, что B бессмысленно, как сказано. Вскоре перепишу, чтобы более точно передать мой предполагаемый смысл. Я думаю, что это не изменит ваш ответ. Что касается A, я понимаю, что ваш ответ означает: да, вселенная реализует квантовые вычисления только на квантовом уровне, но на макроуровне мы не можем это проверить (т.е. это фактически неразрешимо в нашем мире), а также это ( Б) не оказывает реального влияния на эволюцию физического мира на макроуровне.
@GrigoriStrassmann: Да --- и именно поэтому я лично опасаюсь квантовых вычислений --- по определению мы не можем проверить, когда физическая система выполняет больше вычислений, чем может поместиться в классический компьютер размером с вселенная. Алгоритм Шора — блестящее исключение, потому что мы можем тривиально проверить, является ли ответ множителем большого числа. Таким образом, нам нужно запустить алгоритм Шора на 10 000-значном числе хотя бы один раз, прежде чем мы сможем быть уверены, что QM является окончательной теорией. Я на 60% уверен, что это сработает, но, возможно, т'Хоофт, Коннели и Калаи правы.
Отредактировано (B), чтобы более точно отразить первоначальный смысл вопроса.
Я согласен с тем, что алгоритм Шора великолепен, но поскольку считается, что факторинг принадлежит к NP-промежуточному классу задач, его поведение является ожидаемым для всех NP-задач. Решения трудно вычислить, но легко проверить. Итак, если предположить доказательство P<>NP, не будет ли работающий квантовый компьютер, разлагающий на множители очень большие числа за полиномиальное время, окончательным ответом «да» на вопрос A?
@GrigoriStrassmann: Да, вроде, вплоть до плохой формулировки. Чтобы сделать его строгим, технически вы должны доказать, что факторинг не разрешим полиномиально (он не является NP-полным, поэтому недостаточно доказать, что P<NP). Для целей физики очевидно, что, даже если существует сложный алгоритм Р-факторизации, единственный способ, которым природа может факторизовать с использованием алгоритма Шора (который является не чем иным, как поиском в том, что касается факторизации), состоит в том, чтобы попытаться вывести экспоненциально много умножений сразу, так что вам не потребуется доказательство чего-либо --- просто будет показано, что QM является экспоненциальным.
Ваша новая Б ясна, но я думаю, что ясная форма вопроса делает ясным и ответ.
На самом деле, что значит сказать, что QM точен? Вы имеете в виду по сравнению с точным непрерывным решением? Что ж, если в физическом мире нет непрерывных структур, то результаты физического расчета КМ будут настолько точными, насколько это позволяют базовые конечные состояния. Интересный вопрос, существуют ли какие-либо экспериментальные установки, например, с повторяющимися динамическими квантовыми системами, которые могли бы продемонстрировать такие отклонения от идеальной точности.
«Но да, ядро ​​урана в возбужденном состоянии с энергией 700 МэВ выполняет невероятно сложные квантовые вычисления, которые мы не можем выполнить даже с помощью компьютера размером со вселенную». — насколько нам известно, Вселенная может быть бесконечной. Этого должно быть более чем достаточно для расчета атома урана, не так ли? (Однако расчет может занять много времени).
@celtschk: здесь вселенная == наблюдаемая вселенная. Число битов принимается числом планковских площадей на космологическом горизонте. Атом U с электронами состоит из 350 частиц, что даже с грубым квантовым описанием превышает размер, который вы можете смоделировать с помощью классического компьютера такого размера. Но, конечно, для основных состояний или низковозбужденных состояний есть лучшие методы, такие как DFT.

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

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

Я предлагаю добавить что- то подобное к вашему ответу для всех, кто не знает, что сделал Джон Буш.

Я просто хотел прокомментировать, но это было слишком долго. Я хотел сказать кое-что о (А).

Спин-флипы, очевидно, находятся в естественном соответствии с квантовыми вычислениями и происходят постоянно. Тем не менее, я бы не осмелился утверждать, что они «соответствуют только квантовым вычислениям», поскольку вы можете заставить их «соответствовать» абсолютно чему угодно. Фактически, вы также можете сказать, что они соответствуют классическим подбрасываниям монеты. Более квантовый (возможно, не очень осмысленный) пример: вы « могли бы » всегда говорить, что Вселенная — это аналоговый квантовый компьютер, который симулирует себя.

Может быть, более уместно, почему любой аргумент такого рода может быть намеком на то, что квантовые компьютеры могут быть построены? Предположим, что аргумент, который вы предлагаете, верен в сильном смысле и, кроме того, что квантовые компьютеры построить невозможно. Так как классические компьютеры могут быть построены. Тогда вы вполне могли бы утверждать, что мы «должны» рассматривать вселенную как классический компьютер, используя ϵ -далекая линия рассуждений. Даже если вы не верите в квантовые вычисления, это не выглядит полезной картиной реальности для современного физика. Куда вы поместите все экспериментально продемонстрированные квантовые эффекты?

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



Если мы рассматриваем пространство или пространство-время как статистическую конструкцию из конечной информации, полученной с течением времени, и существует нижний дискретный предел времени, такой как планковское время, то фактически должен существовать такой предел скорости (возможно, с или некоторое число, кратное с), которое возникает естественным образом, поскольку наблюдатель не может воспринимать объекты, движущиеся со скоростью, превышающей конечную скорость, с которой он/она может вычислить метрические отношения между точками пространства-времени. Путешествие быстрее этого предела было бы похоже на попытку съесть свой пирог и съесть его ... вы не сможете наблюдать объект быстрее скорости света, потому что у вас не будет времени воспринимать космический фон из полученной информации. Теперь в этой идее могут быть очень интересные лазейки, которые могут позволить FTL при определенных обстоятельствах, особенно если пространство может создаваться со скоростью, превышающей скорость света, как это, возможно, происходило в ранней Вселенной. Можно также возразить, что в этом сценарии сверхсветовая сверхсветовая скорость возможна, но не наблюдается напрямую. Если с - это фактическое ограничение скорости, можно ожидать, что один из экспериментальных эффектов будет смешением координат x, y и z на скоростях, близких к c, так что также должно быть сокращение ay/z, а также сокращение x Лоренца.


Возможно, более интересным, чем установка простого ограничения скорости, является то, что типы таких статистически определенных фоновых пространств, которые могут быть реально измерены и определены наблюдателем, могут иметь более глубокие связи с гравитацией в больших открытых масштабах и O(N) групп в малых закрытых масштабах. . Евклидово пространство, которое мы обычно наблюдаем на промежуточных масштабах между этими двумя крайностями, обладает очень простыми и уникальными симметричными свойствами (вращение, трансляция, инвариантность инверсии), которые можно было бы ожидать естественным образом возникать из любой статистической конструкции всех возможных пространств подобно тому, как многие пути Фейнмана сливаются в одну сторону. принцип наименьшего действия. В очень больших масштабах однако существуют наиболее определенно размерные (и, вероятно, топологические) ограничения для восприятия такого статистического пространства, которые потребовали бы введения асимметрии (и, следовательно, кривизны). Например, мы можем аппроксимировать наблюдателя, который может собирать только конечное количество информации о своем пространстве во времени, как случайного блуждающего человека, который может наблюдать одну пространственную точку на пространственной решетке в единицу времени. Хорошо известно, что на бесконечной решетке выше двух измерений наблюдатель будет возвращаться/наблюдать любую точку или переходить только конечное число раз, несмотря на бесконечное время наблюдения, и, таким образом, не сможет статистически определить метрику. такого пространства! Однако для обычно конечных (и, следовательно, замкнутых и малых) пространств это не проблема,


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

Пожалуйста, постарайтесь не делать так много мелких правок. Каждый раз, когда вы редактируете, вопрос поднимается вверх первой страницы и отвлекает внимание от других достойных вопросов. Сохраните редактирование, когда вам нужно исправить что-то большее.