Бозонная выборка — это ограниченная модель неуниверсальных квантовых вычислений, введенная Скоттом Ааронсоном и Алексом Архиповым [1] после оригинальной работы Лидрора Троянского и Нафтали Тишби , в которой исследовалось возможное использование рассеяния бозонов для оценки ожидаемых значений перманентов матриц . [2] Модель состоит из выборки из распределения вероятностей идентичных бозонов, рассеянных линейным интерферометром . Хотя проблема хорошо определена для любых бозонных частиц, ее фотонная версия в настоящее время считается наиболее перспективной платформой для масштабируемой реализации устройства для выборки бозонов, что делает ее неуниверсальным подходом к линейным оптическим квантовым вычислениям . Более того, хотя схема выборки бозонов и не является универсальной, она, как полагают, реализует вычислительные задачи, которые трудно реализовать с помощью классических компьютеров, используя гораздо меньше физических ресурсов, чем полная линейно-оптическая квантовая вычислительная установка. Это преимущество делает ее идеальным кандидатом для демонстрации мощности квантовых вычислений в ближайшей перспективе.
Рассмотрим многомодовую линейно-оптическую схему из N мод, в которую вводятся M неразличимых одиночных фотонов ( N>M ). Затем фотонная реализация задачи выборки бозонов состоит в генерации выборки из распределения вероятностей измерений одиночных фотонов на выходе схемы. В частности, для этого требуются надежные источники одиночных фотонов (в настоящее время наиболее широко используются параметрические кристаллы с понижением частоты ), а также линейный интерферометр. Последний может быть изготовлен, например, с помощью волоконных светоделителей [3] через кремний-на-кремнии [4] или лазерно-записанные [5] [6] [7] интегрированные интерферометры или электрически и оптически сопряженные оптические чипы. [8] Наконец, схема также требует высокоэффективных детекторов подсчета одиночных фотонов, таких как те, которые основаны на сверхпроводящих нанопроводах с током смещения , которые выполняют измерения на выходе схемы. Таким образом, на основе этих трех ингредиентов, установка выборки бозонов не требует никаких вспомогательных устройств , адаптивных измерений или операций запутывания, как, например, универсальная оптическая схема Книлла, Лафламма и Милберна ( схема KLM ). Это делает ее неуниверсальной моделью квантовых вычислений и уменьшает количество физических ресурсов, необходимых для ее практической реализации.
В частности, предположим, что линейный интерферометр описывается унитарной матрицей N×N , которая выполняет линейное преобразование операторов создания ( уничтожения ) входных мод схемы:
Здесь i ( j ) обозначает входные (выходные) моды и обозначает операторы создания (уничтожения) выходных мод ( i,j =1 ,..., N ). Интерферометр, характеризующийся некоторой унитарностью, естественным образом индуцирует унитарную эволюцию на -фотонных состояниях. Более того, отображение является гомоморфизмом между -мерными унитарными матрицами и унитариями, действующими на экспоненциально большом гильбертовом пространстве системы: простые подсчетные аргументы показывают, что размер гильбертова пространства, соответствующего системе из M неразличимых фотонов, распределенных по N модам, задается биномиальным коэффициентом (обратите внимание, что поскольку этот гомоморфизм существует, не все значения возможны).
Предположим, что интерферометр получает входное состояние из одиночных фотонов , где — число фотонов, введенных в k -ю моду. Тогда состояние при
выход схемы можно записать как Простой способ понять гомоморфизм между и заключается в следующем:
Определим изоморфизм для базисных состояний: x , и получим следующий результат: x x
Следовательно, вероятность обнаружения фотонов в k -й выходной моде определяется как [9]
В приведенном выше выражении обозначается постоянная матрицы , которая получается из унитарной путем повторения ее i- го столбца и j - й строки. Обычно в контексте задачи выборки бозонов входное состояние берется в стандартной форме, обозначаемой как , для которой каждая из первых M мод интерферометра инжектируется одним фотоном. В этом случае приведенное выше выражение имеет вид:
где матрица получается из сохранения ее первых M столбцов и повторения ее j -й строки. Впоследствии задача выборки бозонов состоит в том, чтобы сделать выборку либо точно, либо приблизительно из вышеуказанного выходного распределения, учитывая унитарное описание линейно-оптической схемы в качестве входных данных. Как подробно описано ниже, появление перманента в соответствующей статистике однофотонных измерений вносит вклад в сложность проблемы выборки бозонов.
Основная причина растущего интереса к модели бозонной выборки заключается в том, что, несмотря на ее неуниверсальность, она, как полагают, выполняет вычислительную задачу, неразрешимую для классического компьютера. Одной из главных причин этого является то, что распределение вероятностей, из которого устройство бозонной выборки должно производить выборку, связано с перманентом комплексных матриц. Вычисление перманента в общем случае является чрезвычайно сложной задачей: она попадает в класс сложности #P-hard . Более того, ее аппроксимация с точностью до мультипликативной ошибки также является #P-hard задачей.
Все текущие доказательства сложности моделирования выборки бозонов на классическом компьютере опираются на сильные вычислительные последствия, которые имела бы его эффективная симуляция классическим алгоритмом. А именно, эти доказательства показывают, что эффективная классическая симуляция подразумевала бы коллапс полиномиальной иерархии до ее третьего уровня, возможность, которая считается очень маловероятной [ требуется цитата ] сообществом компьютерных наук из-за ее сильных вычислительных последствий (в соответствии с сильными последствиями проблемы P=NP ).
Доказательство сложности точной задачи выборки бозонов может быть достигнуто двумя различными путями. В частности, первый из них использует инструменты теории вычислительной сложности и объединяет следующие два факта:
В сочетании с теоремой Тоды эти два факта приводят к краху полиномиальной иерархии, что, как упоминалось выше, крайне маловероятно. Это приводит к выводу, что не существует классического алгоритма полиномиального времени для точной задачи выборки бозонов.
С другой стороны, альтернативное доказательство вдохновлено аналогичным результатом для другой ограниченной модели квантовых вычислений – модели мгновенных квантовых вычислений. [11] А именно, доказательство использует схему KLM, которая гласит, что линейная оптика с адаптивными измерениями универсальна для класса BQP . Оно также опирается на следующие факты:
Опять же, комбинация этих трех результатов, как и в предыдущем случае, приводит к краху полиномиальной иерархии. Это делает существование классического алгоритма полиномиального времени для точной задачи выборки бозонов крайне маловероятным.
Лучший предложенный классический алгоритм для точной выборки бозонов работает со временем для системы с n фотонами и m выходными модами. [13] Этот алгоритм приводит к оценке 50 фотонов, необходимых для демонстрации квантового превосходства с выборкой бозонов. Существует также реализация с открытым исходным кодом в R.
Вышеуказанные доказательства прочности неприменимы к реалистичной реализации устройства для отбора бозонов из-за несовершенства любой экспериментальной установки (включая наличие шума, декогеренции, потери фотонов и т. д.). Поэтому для практических нужд необходимо доказательство прочности для соответствующей приближенной задачи. Последнее состоит из отбора из распределения вероятностей, близкого к заданному , с точки зрения полного расстояния вариации . Понимание сложности этой проблемы затем опирается на несколько дополнительных предположений, а также на две пока недоказанные гипотезы.
В частности, доказательства точной проблемы выборки бозонов не могут быть применены здесь напрямую, поскольку они основаны на #P-трудности оценки экспоненциально малой вероятности конкретного результата измерения. Таким образом, если сэмплер « знал », что мы хотим оценить, то он может соперничающим образом решить исказить его (при условии, что задача является приблизительной). Вот почему идея состоит в том, чтобы « спрятать » указанную выше вероятность в случайной унитарной матрице размером N×N . Это можно сделать, зная, что любая подматрица размером M×M унитарной , случайно выбранной в соответствии с мерой Хаара , близка по расстоянию вариации к матрице iid комплексных случайных гауссовских переменных , при условии, что M ≤ N 1/6 (случайные матрицы Хаара могут быть напрямую реализованы в оптических схемах путем сопоставления независимых функций плотности вероятности для их параметров с компонентами оптической схемы, т. е. светоделителями и фазовращателями [14] ). Следовательно, если линейная оптическая схема реализует случайную унитарную матрицу Хаара, состязательный сэмплер не сможет определить, какая из экспоненциально многих вероятностей нас интересует, и, таким образом, не сможет избежать ее оценки. В этом случае пропорционален квадрату абсолютного значения перманента матрицы M×M iid гауссианов, пронесенных внутрь Эти аргументы подводят нас к первой гипотезе доказательства сложности задачи приближенной выборки бозонов — гипотезе перманента гауссианов:
Более того, указанную выше гипотезу можно связать с оценкой, которой пропорциональна заданная вероятность конкретного результата измерения. Однако для установления этой связи необходимо опираться на другую гипотезу – гипотезу постоянной антиконцентрации:
Используя две вышеупомянутые гипотезы (которые имеют несколько доказательств своей истинности), окончательное доказательство в конечном итоге утверждает, что существование классического алгоритма полиномиального времени для приближенной задачи выборки бозонов подразумевает крах полиномиальной иерархии. Стоит также упомянуть еще один факт, важный для доказательства этого утверждения, а именно так называемый парадокс бозонного дня рождения (по аналогии с хорошо известным парадоксом дня рождения ). Последний утверждает, что если M идентичных бозонов рассеяны среди N ≫ M 2 мод линейного интерферометра, и нет двух бозонов в одной и той же моде, то с высокой вероятностью два бозона не будут обнаружены и в одной и той же выходной моде. [15] Это свойство было экспериментально обнаружено [16] с двумя и тремя фотонами в интегрированных интерферометрах до 16 мод. С одной стороны, эта особенность облегчает реализацию ограниченного устройства выборки бозонов. А именно, если вероятность появления более одного фотона на выходе линейной оптической схемы пренебрежимо мала, то больше не требуются детекторы, разрешающие число фотонов: для реализации установки будет достаточно двухпозиционных детекторов.
Хотя вероятность конкретного результата измерения на выходе интерферометра связана с перманентом подматриц унитарной матрицы, бозонная машина выборки не позволяет ее оценить. Основная причина заключается в том, что соответствующая вероятность обнаружения обычно экспоненциально мала. Таким образом, чтобы собрать достаточно статистики для аппроксимации ее значения, необходимо запустить квантовый эксперимент в течение экспоненциально долгого времени. Следовательно, оценка, полученная с помощью бозонной выборки, не более эффективна, чем запуск классического полиномиального алгоритма Гурвица для аппроксимации перманента любой матрицы с точностью до аддитивной ошибки. [17]
Как уже упоминалось выше, для реализации машины выборки бозонов необходим надежный источник многих неразличимых фотонов, и это требование в настоящее время остается одной из главных трудностей при масштабировании сложности устройства. А именно, несмотря на недавние достижения в методах генерации фотонов с использованием атомов, молекул, квантовых точек и центров окраски в алмазах , наиболее широко используемым методом остается механизм параметрического преобразования с понижением частоты ( PDC ). Основными преимуществами источников PDC являются высокая неразличимость фотонов, эффективность сбора и относительно простые экспериментальные установки. Однако одним из недостатков этого подхода является его недетерминированная (объявленная) природа. В частности, предположим, что вероятность генерации одного фотона с помощью кристалла PDC равна ε . Тогда вероятность одновременной генерации M одиночных фотонов равна ε M , которая экспоненциально уменьшается с M. Другими словами, чтобы сгенерировать входное состояние для машины выборки бозонов, нужно было бы ждать экспоненциально долгое время, что уничтожило бы преимущество квантовой установки над классической машиной. Впоследствии эта характеристика ограничила использование источников PDC демонстрациями доказательства принципа работы устройства выборки бозонов.
Однако недавно была предложена новая схема, позволяющая наилучшим образом использовать источники PDC для нужд выборки бозонов, что значительно повышает скорость событий M -фотонов. Этот подход был назван выборкой бозонов scattershot [ 18] [19] , которая состоит из подключения N ( N > M ) объявленных источников одиночных фотонов к различным входным портам линейного интерферометра. Затем, путем накачки всех N кристаллов PDC одновременными лазерными импульсами, вероятность генерации M фотонов будет задана как Следовательно, для N ≫ M это приводит к экспоненциальному улучшению скорости генерации одиночных фотонов по сравнению с обычной выборкой бозонов с фиксированным входом с M источниками. Эту настройку также можно рассматривать как проблему выборки N двухмодовых сжатых вакуумных состояний, генерируемых из N источников PDC.
Выборка бозонов рассеянного излучения все еще неразрешима для классического компьютера: в обычной установке мы фиксировали столбцы, которые определяли нашу подматрицу M × M , и только меняли строки, тогда как теперь мы также меняли столбцы в зависимости от того, какие M из N кристаллов PDC генерировали одиночные фотоны. Поэтому доказательство может быть построено здесь аналогично исходному. Кроме того, выборка бозонов рассеянного излучения была недавно реализована с шестью источниками фотонных пар, связанными с интегрированными фотонными схемами девяти и тринадцати мод, что является важным шагом на пути к убедительной экспериментальной демонстрации превосходства квантовых вычислений. [20] Модель выборки бозонов рассеянного излучения может быть дополнительно обобщена на случай, когда обе ветви источников PDC подвергаются линейным оптическим преобразованиям (в исходном случае рассеянного излучения одна из ветвей используется для оповещения, т. е. она проходит через канал идентичности). Такая двукратная модель выборки бозонов рассеянного излучения также является вычислительно сложной, что доказано путем использования симметрии квантовой механики при обращении времени . [21]
Другая фотонная реализация выборки бозонов касается гауссовых входных состояний, т. е. состояний, чья квазивероятностная функция распределения Вигнера является гауссовой. Сложность соответствующей задачи выборки может быть связана с задачей выборки бозонов scattershot. [22] А именно, последняя может быть встроена в обычную установку выборки бозонов с гауссовыми входными данными. Для этого нужно сгенерировать двухмодовые запутанные гауссовы состояния и применить унитарную функцию Хаара к их «правым половинам», не делая ничего к другим. Затем мы можем измерить «левые половины», чтобы выяснить, какое из входных состояний содержало фотон до того, как мы применили Это в точности эквивалентно выборке бозонов scattershot, за исключением того факта, что наше измерение предвестниковых фотонов было отложено до конца эксперимента, а не происходило в начале. Поэтому можно утверждать, что приближенная гауссовская выборка бозонов является сложной при точно таком же предположении сложности, как и приближенная обычная или выборка бозонов scattershot. [19] Гауссовы ресурсы могут быть использованы и на этапе измерения. А именно, можно определить модель выборки бозонов, где линейная оптическая эволюция входных однофотонных состояний завершается гауссовыми измерениями (точнее, восьмипортовым гомодинным детектированием , которое проецирует каждую выходную моду на сжатое когерентное состояние ). Такая модель имеет дело с непрерывно-переменным результатом измерения, что при определенных условиях является вычислительно сложной задачей. [21] Наконец, также доступна линейная оптическая платформа для реализации эксперимента по выборке бозонов, где входные однофотоны подвергаются активному (нелинейному) гауссовому преобразованию. Эта настройка использует набор двухмодовых сжатых вакуумных состояний в качестве предварительного ресурса, без необходимости в источниках однофотонных частиц или встроенной нелинейной среде усиления. [23] Этот вариант использует гафниан , обобщение перманента. [22]
Приведенные выше результаты показывают, что существование полиномиального по времени классического алгоритма для исходной схемы выборки бозонов с неразличимыми одиночными фотонами (в точном и приближенном случаях), для scattershot, а также для общих задач выборки гауссовых бозонов крайне маловероятно. Тем не менее, существуют некоторые нетривиальные реализации задачи выборки бозонов, которые допускают ее эффективное классическое моделирование. Одним из таких примеров является случай, когда в оптическую схему вводятся различимые одиночные фотоны. В этом случае вместо суммирования амплитуд вероятностей, соответствующих фотонным многочастичным траекториям, необходимо суммировать соответствующие вероятности (т. е. квадраты абсолютных значений амплитуд). Следовательно, вероятность обнаружения будет пропорциональна перманенту подматриц (покомпонентно) квадрата абсолютного значения унитарной матрицы . Последняя теперь является неотрицательной матрицей. Поэтому, хотя точное вычисление соответствующего перманента является #P-полной задачей, ее аппроксимация может быть эффективно выполнена на классическом компьютере благодаря основополагающему алгоритму Джеррума, Синклера и Вигоды. [24] Другими словами, приблизительная выборка бозонов с различимыми фотонами эффективно поддается классическому моделированию.
Другой пример классически моделируемых установок выборки бозонов состоит из выборки из распределения вероятностей когерентных состояний, введенных в линейный интерферометр. Причина в том, что на выходе линейной оптической схемы когерентные состояния остаются таковыми и не создают никакой квантовой запутанности между модами. Точнее, преобразуются только их амплитуды, и преобразование может быть эффективно рассчитано на классическом компьютере (вычисление включает в себя умножение матриц ). Этот факт можно использовать для выполнения соответствующих задач выборки из другого набора состояний: так называемых классических состояний, чья функция Глаубера-Сударшана P является четко определенным распределением вероятностей. Эти состояния можно представить как смесь когерентных состояний из-за теоремы об оптической эквивалентности . Поэтому, выбирая случайные когерентные состояния, распределенные в соответствии с соответствующей функцией P , можно выполнить эффективное классическое моделирование выборки бозонов из этого набора классических состояний. [25] [26]
Вышеуказанные требования к машине для отбора фотонных бозонов позволяют построить ее в небольших масштабах с помощью существующих технологий. Соответственно, вскоре после того, как была представлена теоретическая модель, четыре разные группы [3] [4] [6] [7] одновременно сообщили о ее реализации.
В частности, это включало реализацию бозонной выборки с помощью:
Позднее были проведены более сложные эксперименты по отбору бозонов, увеличившие число пространственных мод случайных интерферометров до 13 [27] и 9 [28] мод, и реализовавшие 6-модовую полностью реконфигурируемую интегральную схему. [8] Эти эксперименты в целом представляют собой демонстрацию принципа работы устройства отбора бозонов и путь к его более масштабным реализациям.
Недавно был реализован первый эксперимент по выборке бозонов scattershot [20] с использованием шести источников фотонных пар, связанных с интегральными фотонными схемами с 13 модами. 6 источников фотонных пар были получены с помощью процессов PDC типа II в 3 различных нелинейных кристаллах (использующих степень свободы поляризации). Это позволило производить выборку одновременно между 8 различными входными состояниями. 13-модовый интерферометр был реализован с помощью техники фемтосекундной лазерной записи на алюмоборосиликатном стекле.
Эта экспериментальная реализация представляет собой шаг к экспериментальной демонстрации превосходства квантовых вычислений. [20]
Существует несколько других предложений по реализации фотонной бозонной выборки. Сюда входит, например, схема произвольно масштабируемой бозонной выборки с использованием двух вложенных волоконных петель. В этом случае архитектура использует кодирование с временным интервалом, при котором падающие фотоны формируют импульсную последовательность, входящую в петли. Между тем, динамически контролируемые коэффициенты связи петель позволяют строить произвольные линейные интерферометры. Более того, архитектура использует только одну точку интерференции и, таким образом, может быть легче стабилизирована, чем другие реализации. [29]
Другой подход основан на реализации унитарных преобразований на временных модах, основанных на дисперсии и формировании импульсов. А именно, прохождение последовательно объявленных фотонов через независимую от времени дисперсию и измерение времени выхода фотонов эквивалентно эксперименту по выборке бозонов. С зависящей от времени дисперсией также возможно реализовать произвольные одночастичные унитарные преобразования. Эта схема требует гораздо меньшего количества источников и детекторов и не требует большой системы светоделителей. [30]
Выход универсального квантового компьютера , работающего, например, с алгоритмом факторизации Шора , может быть эффективно проверен классически, как и в случае всех задач в недетерминированном классе сложности полиномиального времени (NP). Однако неясно, существует ли подобная структура для схемы выборки бозонов. А именно, поскольку последняя связана с проблемой оценки матричных перманентов (попадающих в класс сложности #P-hard ), неясно, как проверить правильность работы для больших версий установки. В частности, наивная проверка выходных данных выборки бозонов путем вычисления соответствующих вероятностей измерений представляет собой проблему, неразрешимую для классического компьютера.
Первый важный вопрос заключается в том, возможно ли различить равномерное и бозонно-выборочное распределение, выполняя полиномиальное число измерений. Первоначальный аргумент, представленный в [31], утверждал, что до тех пор, пока используются симметричные настройки измерений, вышеизложенное невозможно (грубо говоря, симметричная схема измерений не позволяет маркировать выходные моды оптической схемы). Однако в рамках современных технологий предположение о симметричной настройке не оправдано (отслеживание статистики измерений полностью доступно), и поэтому приведенный выше аргумент не применяется. Тогда можно определить строгий и эффективный тест для различения статистики бозонной выборки от несмещенного распределения вероятностей. [32] Соответствующий дискриминатор коррелирует с перманентом подматрицы, связанной с заданным шаблоном измерений, но может быть эффективно рассчитан. Этот тест был применен экспериментально для различения бозонной выборки и равномерного распределения в 3-фотонном режиме с интегральными схемами из 5, 7, 9 [28] и 13 мод. [27]
Тест выше не различает более сложные распределения, такие как квантовое и классическое, или фермионную и бозонную статистику. Физически мотивированный сценарий, который необходимо рассмотреть, — это нежелательное введение различимости между фотонами, которое разрушает квантовую интерференцию (этот режим легко доступен экспериментально, например, путем введения временной задержки между фотонами). Затем появляется возможность настроиться между идеально неразличимыми (квантовыми) и идеально различимыми (классическими) данными и измерить изменение в подходящим образом сконструированной метрике. Этот сценарий можно рассмотреть с помощью статистического теста, который выполняет сравнение правдоподобия один на один выходных вероятностей. Этот тест требует расчета небольшого числа постоянных, но не требует расчета полного ожидаемого распределения вероятностей. Экспериментальная реализация теста была успешно описана в интегральных схемах, записанных лазером, как для стандартной бозонной выборки [27] (3 фотона в 7-, 9- и 13-модовых интерферометрах), так и для версии scattershot [20] (3 фотона в 9- и 13-модовых интерферометрах с различными входными состояниями). Другая возможность основана на свойстве группировки неразличимых фотонов. Можно проанализировать вероятность нахождения результатов измерения k -кратного совпадения (без какой-либо многократно заселенной входной моды), которая значительно выше для различимых частиц, чем для бозонов из-за тенденции к группировке последних. [28] Наконец, оставляя пространство случайных матриц, можно сосредоточиться на конкретных многомодовых установках с определенными характеристиками. В частности, было доказано, что анализ эффекта бозонного помутнения (тенденции бозонов благоприятствовать событиям со всеми частицами в одной и той же половине выходного массива непрерывного во времени многочастичного квантового блуждания) позволяет различать поведение различимых и неразличимых частиц в этой конкретной платформе. [28]
Другой подход к подтверждению того, что машина для отбора бозонов ведет себя так, как предсказывает теория, заключается в использовании полностью реконфигурируемых оптических схем. При крупномасштабной однофотонной и многофотонной интерференции, проверенной с помощью предсказуемых многомодовых корреляций в полностью охарактеризованной схеме, разумным предположением является то, что система поддерживает правильную работу, поскольку схема непрерывно реконфигурируется для реализации случайной унитарной операции. С этой целью можно использовать законы квантового подавления (вероятность определенных комбинаций вход-выход подавляется, когда линейный интерферометр описывается матрицей Фурье или другими матрицами с соответствующими симметриями). [33] Эти законы подавления могут быть классически предсказаны эффективными способами. Этот подход позволяет также исключить другие физические модели, такие как состояния среднего поля, которые имитируют некоторые коллективные многочастичные свойства (включая бозонное помутнение). Сообщалось о реализации схемы матрицы Фурье в полностью реконфигурируемом 6-модовом устройстве [8] , а также были продемонстрированы экспериментальные наблюдения закона подавления для 2 фотонов в 4- и 8-модовых матрицах Фурье. [34]
Помимо фотонной реализации задачи выборки бозонов, было предложено несколько других установок. Это включает, например, кодирование бозонов в локальные поперечные фононные моды захваченных ионов . Схема позволяет детерминированную подготовку и высокоэффективное считывание соответствующих фононных состояний Фока и универсальную манипуляцию фононными модами посредством комбинации внутреннего кулоновского взаимодействия и индивидуальных фазовых сдвигов . [35] Эта схема масштабируема и опирается на последние достижения в методах захвата ионов (несколько десятков ионов могут быть успешно захвачены, например, в линейных ловушках Пауля, используя ангармонические аксиальные потенциалы).
Другая платформа для реализации установки выборки бозонов — это система взаимодействующих спинов: недавние наблюдения показывают, что выборка бозонов с M частицами в N модах эквивалентна кратковременной эволюции с M возбуждениями в модели XY 2 N спинов. [36] Здесь необходимо несколько дополнительных предположений, включая малую вероятность группировки бозонов и эффективную ошибку постселекции. Эта масштабируемая схема, однако, довольно многообещающа, в свете значительного развития в области построения и манипулирования связанными сверхпроводящими кубитами и, в частности, машиной D-Wave .
Задача выборки бозонов имеет особые сходства с задачей определения молекулярных вибронных спектров : возможная модификация схемы выборки бозонов приводит к установке, которую можно использовать для реконструкции профилей Франка-Кондона молекулы (для которых в настоящее время не известно эффективного классического алгоритма). В частности, теперь задача состоит в том, чтобы ввести определенные сжатые когерентные состояния в линейный интерферометр, который определяется свойствами интересующей молекулы. [37] Таким образом, это важное наблюдение заставляет интерес к реализации задачи выборки бозонов распространяться далеко за пределы фундаментальной основы.
Также было предложено использовать сверхпроводящий резонатор сети Бозонного Семплинга в качестве интерферометра. Это применение считается практичным, поскольку небольшие изменения в связях между резонаторами изменят результаты выборки. Таким образом, достигается обнаружение изменений в параметрах, способных изменить связи, при сравнении результатов выборки с неизмененным эталоном. [38]
Варианты модели бозонной выборки использовались для построения классических вычислительных алгоритмов, направленных, например, на оценку определенных матричных перманентов (например, перманентов положительно-полуопределенных матриц, связанных с соответствующей открытой проблемой в информатике [39] ) путем объединения инструментов, свойственных квантовой оптике , и вычислительной сложности . [40]
Крупнозернистая бозонная выборка была предложена в качестве ресурса для решения задач принятия решений и функций, которые являются вычислительно сложными и, таким образом, могут иметь криптографические приложения. [41] [42] [43] Первый связанный с этим эксперимент по доказательству принципа был проведен с помощью фотонной бозонной машины выборки (созданной с помощью метода прямой фемтосекундной лазерной записи) [44] и подтвердил многие теоретические предсказания.
Гауссовская бозонная выборка также была проанализирована как компонент поиска для вычисления склонности к связыванию между молекулами, представляющими фармакологический интерес. [45]