Квантовый компьютер — это компьютер , который использует квантово-механические явления. В малых масштабах физическая материя проявляет свойства как частиц, так и волн , и квантовые вычисления используют это поведение с помощью специализированного оборудования. Классическая физика не может объяснить работу этих квантовых устройств, а масштабируемый квантовый компьютер мог бы выполнять некоторые вычисления экспоненциально быстрее [a], чем любой современный «классический» компьютер. Теоретически крупномасштабный квантовый компьютер мог бы взломать некоторые широко используемые схемы шифрования и помочь физикам в выполнении физических симуляций ; однако, текущее состояние дел в значительной степени экспериментально и непрактично, с несколькими препятствиями для полезных приложений.
Основная единица информации в квантовых вычислениях, кубит (или «квантовый бит»), выполняет ту же функцию, что и бит в классических вычислениях. Однако, в отличие от классического бита, который может находиться в одном из двух состояний (двоичном ) , кубит может существовать в суперпозиции своих двух «базисных» состояний, что в общих чертах означает, что он находится в обоих состояниях одновременно. При измерении кубита результатом является вероятностный выход классического бита. Если квантовый компьютер манипулирует кубитом определенным образом, эффекты интерференции волн могут усилить желаемые результаты измерений. Разработка квантовых алгоритмов включает создание процедур, которые позволяют квантовому компьютеру выполнять вычисления эффективно и быстро.
Квантовые компьютеры пока не пригодны для реальной работы. Физическая разработка высококачественных кубитов оказалась сложной задачей. Если физический кубит недостаточно изолирован от окружающей среды, он страдает от квантовой декогеренции , внося шум в вычисления. Национальные правительства вложили значительные средства в экспериментальные исследования, направленные на разработку масштабируемых кубитов с более длительным временем когерентности и более низким уровнем ошибок. Примерами реализаций являются сверхпроводники (которые изолируют электрический ток , устраняя электрическое сопротивление ) и ионные ловушки (которые удерживают одну атомную частицу с помощью электромагнитных полей ).
В принципе, классический компьютер может решать те же вычислительные задачи, что и квантовый компьютер, если дать ему достаточно времени. Квантовое преимущество проявляется в форме временной сложности, а не вычислимости , и теория квантовой сложности показывает, что некоторые квантовые алгоритмы экспоненциально эффективнее самых известных классических алгоритмов. Крупномасштабный квантовый компьютер теоретически может решать вычислительные задачи, неразрешимые классическим компьютером за любое разумное время. Эта концепция дополнительных возможностей была названа « квантовым превосходством ». Хотя такие заявления привлекли значительное внимание к дисциплине, практические случаи ее использования в краткосрочной перспективе остаются ограниченными.
В течение многих лет области квантовой механики и компьютерной науки формировали отдельные академические сообщества. [1] Современная квантовая теория была разработана в 1920-х годах для объяснения дуализма волна-частица, наблюдаемого в атомных масштабах, [2] а цифровые компьютеры появились в последующие десятилетия, чтобы заменить человеческие компьютеры для утомительных вычислений. [3] Обе дисциплины имели практическое применение во время Второй мировой войны ; компьютеры играли важную роль в военной криптографии , [4] а квантовая физика была необходима для ядерной физики, используемой в Манхэттенском проекте . [5]
Когда физики применили квантово-механические модели к вычислительным задачам и заменили цифровые биты на кубиты , области квантовой механики и компьютерной науки начали сближаться. В 1980 году Пол Бениофф представил квантовую машину Тьюринга , которая использует квантовую теорию для описания упрощенного компьютера. [6] Когда цифровые компьютеры стали быстрее, физики столкнулись с экспоненциальным ростом накладных расходов при моделировании квантовой динамики , [7] что побудило Юрия Манина и Ричарда Фейнмана независимо друг от друга предположить, что аппаратное обеспечение, основанное на квантовых явлениях, может быть более эффективным для компьютерного моделирования. [8] [9] [10] В статье 1984 года Чарльз Беннетт и Жиль Брассар применили квантовую теорию к протоколам криптографии и продемонстрировали, что квантовое распределение ключей может повысить информационную безопасность . [11] [12]
Затем появились квантовые алгоритмы для решения проблем оракула , такие как алгоритм Дойча в 1985 году, [13] алгоритм Бернштейна-Вазирани в 1993 году, [14] и алгоритм Саймона в 1994 году. [15] Эти алгоритмы не решали практических задач, но математически демонстрировали, что можно получить больше информации, запросив черный ящик с квантовым состоянием в суперпозиции , что иногда называют квантовым параллелизмом . [16]
Питер Шор развил эти результаты в своем алгоритме 1994 года для взлома широко используемых протоколов шифрования RSA и Диффи-Хеллмана , [17] который привлек значительное внимание к области квантовых вычислений. [18] В 1996 году алгоритм Гровера установил квантовое ускорение для широко применяемой задачи неструктурированного поиска. [19] [20] В том же году Сет Ллойд доказал, что квантовые компьютеры могут моделировать квантовые системы без экспоненциальных накладных расходов, присутствующих в классических симуляциях, [21] подтвердив гипотезу Фейнмана 1982 года. [22]
На протяжении многих лет экспериментаторы создавали небольшие квантовые компьютеры, используя захваченные ионы и сверхпроводники . [23] В 1998 году двухкубитный квантовый компьютер продемонстрировал осуществимость технологии, [24] [25] а последующие эксперименты увеличили количество кубитов и снизили частоту ошибок. [23]
В 2019 году Google AI и NASA объявили, что достигли квантового превосходства с помощью 54-кубитной машины, выполнив вычисления, которые невозможны для любого классического компьютера. [26] [27] [28] Однако обоснованность этого утверждения все еще активно исследуется. [29] [30]
В декабре 2023 года физики впервые сообщили о запутанности отдельных молекул, которая может иметь важное применение в квантовых вычислениях. [31]
Инженеры-компьютерщики обычно описывают работу современного компьютера в терминах классической электродинамики . В этих «классических» компьютерах некоторые компоненты (например, полупроводники и генераторы случайных чисел ) могут полагаться на квантовое поведение, но эти компоненты не изолированы от своего окружения, поэтому любая квантовая информация быстро декогерирует . В то время как программисты могут полагаться на теорию вероятностей при разработке рандомизированного алгоритма , квантово-механические понятия, такие как суперпозиция и интерференция, в значительной степени не имеют отношения к анализу программ .
Квантовые программы , напротив, полагаются на точное управление когерентными квантовыми системами. Физики описывают эти системы математически, используя линейную алгебру . Комплексные числа моделируют амплитуды вероятности , векторы моделируют квантовые состояния , а матрицы моделируют операции, которые могут быть выполнены над этими состояниями. Программирование квантового компьютера, таким образом, является вопросом составления операций таким образом, чтобы полученная программа вычисляла полезный результат в теории и была реализуема на практике.
Как описывает физик Чарли Беннетт взаимосвязь между квантовыми и классическими компьютерами, [32]
Классический компьютер — это квантовый компьютер... поэтому мы не должны спрашивать: «Откуда берутся квантовые ускорения?» Мы должны сказать: «Ну, все компьютеры квантовые. ... Откуда берутся классические замедления?»
Так же, как бит является основным понятием классической теории информации, кубит является фундаментальной единицей квантовой информации . Один и тот же термин кубит используется для обозначения абстрактной математической модели и любой физической системы, представленной этой моделью. Классический бит, по определению, существует в одном из двух физических состояний, которые можно обозначить как 0 и 1. Кубит также описывается состоянием, и два состояния часто записываются и служат квантовыми аналогами классических состояний 0 и 1. Однако квантовые состояния и принадлежат векторному пространству , что означает, что их можно умножать на константы и складывать вместе, и результатом снова является допустимое квантовое состояние. Такая комбинация известна как суперпозиция и . [ 33] [34]
Двумерный вектор математически представляет состояние кубита. Физики обычно используют обозначение Дирака для квантово-механической линейной алгебры , записывая « ket psi » для вектора, помеченного . Поскольку кубит является системой с двумя состояниями, любое состояние кубита принимает вид , где и являются стандартными базисными состояниями , [b] а и являются амплитудами вероятности , которые в общем случае являются комплексными числами . [34] Если либо или равно нулю, кубит фактически является классическим битом; когда оба не равны нулю, кубит находится в суперпозиции. Такой вектор квантового состояния действует аналогично (классическому) вектору вероятности , с одним ключевым отличием: в отличие от вероятностей, амплитуды вероятности не обязательно являются положительными числами. [36] Отрицательные амплитуды допускают деструктивную интерференцию волн.
Когда кубит измеряется в стандартном базисе , результатом является классический бит. Правило Борна описывает квадратичное соответствие между амплитудами и вероятностями — при измерении кубита состояние коллапсирует до с вероятностью , или до с вероятностью . Любое допустимое состояние кубита имеет коэффициенты и такие, что . Например, измерение кубита даст либо или с равной вероятностью.
Каждый дополнительный кубит удваивает размерность пространства состояний . [35] Например, вектор 1/√2 |00⟩ + 1/√2 |01⟩ представляет двухкубитное состояние, тензорное произведение кубита |0⟩ на кубит 1/√2 |0⟩ + 1/√2 |1⟩ . Этот вектор занимает четырехмерное векторное пространство , охватывающее базисные векторы |00⟩ , |01⟩ , |10⟩ , и |11⟩ . Состояние Белла 1/√2 |00⟩ + 1/√2 |11⟩ невозможно разложить на тензорное произведение двух отдельных кубитов — два кубита запутаны , поскольку их амплитуды вероятности коррелируют . В общем случае векторное пространство для системы из n кубитов имеет размерность 2 n , и это затрудняет моделирование квантовой системы на классическом компьютере: для представления системы из 100 кубитов требуется хранить 2 100 классических значений.
Состояние этой однокубитовой квантовой памяти можно изменять, применяя квантовые логические вентили , аналогично тому, как можно изменять классическую память с помощью классических логических вентилей . Одним из важных вентилей как для классических, так и для квантовых вычислений является вентиль НЕ, который может быть представлен матрицей . Математически применение такого логического вентиля к вектору квантового состояния моделируется с помощью умножения матриц . Таким образом
Математику однокубитных вентилей можно расширить для работы с многокубитной квантовой памятью двумя важными способами. Один способ — просто выбрать кубит и применить этот вентиль к целевому кубиту, оставив остальную часть памяти нетронутой. Другой способ — применить вентиль к его цели только в том случае, если другая часть памяти находится в желаемом состоянии. Эти два варианта можно проиллюстрировать с помощью другого примера. Возможные состояния двухкубитной квантовой памяти: Управляемый вентиль НЕ (CNOT) можно представить с помощью следующей матрицы: Как математическое следствие этого определения, , , , и . Другими словами, CNOT применяет вентиль НЕ ( из предыдущего) ко второму кубиту тогда и только тогда, когда первый кубит находится в состоянии . Если первый кубит находится в состоянии , то ничего не происходит ни с одним из кубитов.
Подводя итог, квантовые вычисления можно описать как сеть квантовых логических вентилей и измерений. Однако любое измерение может быть отложено до конца квантовых вычислений, хотя эта отсрочка может потребовать вычислительных затрат, поэтому большинство квантовых схем представляют собой сеть, состоящую только из квантовых логических вентилей и без измерений.
Квантовый параллелизм — это эвристика, согласно которой квантовые компьютеры можно рассматривать как оценивающие функцию для нескольких входных значений одновременно. Этого можно достичь, подготовив квантовую систему в суперпозиции входных состояний и применив унитарное преобразование, которое кодирует оцениваемую функцию. Результирующее состояние кодирует выходные значения функции для всех входных значений в суперпозиции, что позволяет вычислять несколько выходов одновременно. Это свойство является ключевым для ускорения многих квантовых алгоритмов. Однако «параллелизм» в этом смысле недостаточен для ускорения вычисления, поскольку измерение в конце вычисления дает только одно значение. Чтобы быть полезным, квантовый алгоритм должен также включать в себя какой-то другой концептуальный ингредиент. [37] [38]
Существует ряд моделей квантовых вычислений, различающихся по основным элементам, на которые разлагается вычисление.
Квантовая матрица вентилей разлагает вычисления на последовательность квантовых вентилей с несколькими кубитами . Квантовое вычисление можно описать как сеть квантовых логических вентилей и измерений. Однако любое измерение может быть отложено до конца квантового вычисления, хотя эта отсрочка может потребовать вычислительных затрат, поэтому большинство квантовых схем представляют собой сеть, состоящую только из квантовых логических вентилей и без измерений.
Любое квантовое вычисление (которое в приведенном выше формализме является любой унитарной матрицей размера над кубитами) может быть представлено как сеть квантовых логических вентилей из довольно небольшого семейства вентилей. Выбор семейства вентилей, который позволяет эту конструкцию, известен как универсальный набор вентилей , поскольку компьютер, который может запускать такие схемы, является универсальным квантовым компьютером . Один из таких общих наборов включает все однокубитные вентили, а также вентиль CNOT, указанный выше. Это означает, что любое квантовое вычисление может быть выполнено путем выполнения последовательности однокубитных вентилей вместе с вентилями CNOT. Хотя этот набор вентилей бесконечен, его можно заменить конечным набором вентилей, обратившись к теореме Соловея-Китаева . Реализация булевых функций с использованием малокубитных квантовых вентилей представлена здесь. [39]
Квантовый компьютер, основанный на измерениях, разлагает вычисления на последовательность измерений состояния Белла и однокубитовых квантовых вентилей, применяемых к сильно запутанному начальному состоянию ( состоянию кластера ), используя технику, называемую телепортацией квантовых вентилей .
Адиабатический квантовый компьютер , основанный на квантовом отжиге , разлагает вычисления на медленное непрерывное преобразование начального гамильтониана в конечный гамильтониан, основные состояния которого содержат решение. [40]
Нейроморфные квантовые вычисления (сокращенно «n.quantum computing») — это нетрадиционный тип вычислений, который использует нейроморфные вычисления для выполнения квантовых операций. Было высказано предположение, что квантовые алгоритмы , которые являются алгоритмами, работающими на реалистичной модели квантовых вычислений, могут быть вычислены одинаково эффективно с помощью нейроморфных квантовых вычислений. И традиционные квантовые вычисления, и нейроморфные квантовые вычисления являются нетрадиционными вычислительными подходами к вычислениям, основанными на физике, и не следуют архитектуре фон Неймана . Они оба создают систему (схему), которая представляет рассматриваемую физическую проблему, а затем используют соответствующие физические свойства системы для поиска «минимума». Нейроморфные квантовые вычисления и квантовые вычисления имеют схожие физические свойства во время вычислений.
Топологический квантовый компьютер разлагает вычисления на сплетение анионов в двумерной решетке. [41]
Квантовая машина Тьюринга — это квантовый аналог машины Тьюринга . [6] Все эти модели вычислений — квантовые схемы, [42] односторонние квантовые вычисления , [43] адиабатические квантовые вычисления, [44] и топологические квантовые вычисления [45] — как было показано, эквивалентны квантовой машине Тьюринга; при условии идеальной реализации одного такого квантового компьютера он может моделировать все остальные с не более чем полиномиальными накладными расходами. Эта эквивалентность не обязательно должна соблюдаться для практических квантовых компьютеров, поскольку накладные расходы на моделирование могут быть слишком большими, чтобы быть практичными.
Пороговая теорема показывает , как увеличение числа кубитов может смягчить ошибки, [46] однако полностью отказоустойчивые квантовые вычисления остаются «довольно далекой мечтой». [47] По мнению некоторых исследователей, шумные квантовые машины среднего масштаба ( NISQ ) могут иметь специализированное применение в ближайшем будущем, но шум в квантовых вентилях ограничивает их надежность. [47] Ученые из Гарвардского университета успешно создали «квантовые схемы», которые исправляют ошибки более эффективно, чем альтернативные методы, что потенциально может устранить главное препятствие для практических квантовых компьютеров. [48] [49] Исследовательская группа Гарварда была поддержана MIT , QuEra Computing , Caltech и Принстонским университетом и финансировалась программой DARPA Optimization with Noisy Intermediate-Scale Quantum devices (ONISQ). [50] [51]
Квантовые вычисления имеют значительный потенциал применения в области криптографии и кибербезопасности. Квантовая криптография, которая опирается на принципы квантовой механики, предлагает возможность защищенных каналов связи, устойчивых к подслушиванию. Протоколы квантового распределения ключей (QKD), такие как BB84, обеспечивают безопасный обмен криптографическими ключами между сторонами, гарантируя конфиденциальность и целостность связи. Более того, квантовые генераторы случайных чисел (QRNG) могут производить высококачественные случайные числа, которые необходимы для безопасного шифрования.
Однако квантовые вычисления также создают проблемы для традиционных криптографических систем. Алгоритм Шора , квантовый алгоритм для факторизации целых чисел, потенциально может взломать широко используемые схемы криптографии с открытым ключом, такие как RSA, которые полагаются на сложность факторизации больших чисел. Постквантовая криптография, которая включает разработку криптографических алгоритмов, устойчивых к атакам как классических, так и квантовых компьютеров, является активной областью исследований, направленных на решение этой проблемы.
Текущие исследования в области квантовой криптографии и постквантовой криптографии имеют решающее значение для обеспечения безопасности коммуникации и данных в условиях развивающихся возможностей квантовых вычислений. Достижения в этих областях, такие как разработка новых протоколов QKD, улучшение QRNG и стандартизация постквантовых криптографических алгоритмов, будут играть ключевую роль в поддержании целостности и конфиденциальности информации в квантовую эпоху. [52]
Квантовая криптография открывает новые способы безопасной передачи данных; например, квантовое распределение ключей использует запутанные квантовые состояния для установления безопасных криптографических ключей . [53] Когда отправитель и получатель обмениваются квантовыми состояниями, они могут гарантировать, что злоумышленник не перехватит сообщение, поскольку любой несанкционированный перехватчик нарушит деликатную квантовую систему и внесет обнаруживаемые изменения. [54] С помощью соответствующих криптографических протоколов отправитель и получатель могут таким образом установить общую конфиденциальную информацию, устойчивую к перехвату. [11] [55]
Современные волоконно-оптические кабели могут передавать квантовую информацию на относительно короткие расстояния. Текущие экспериментальные исследования направлены на разработку более надежного оборудования (например, квантовых повторителей), в надежде масштабировать эту технологию до квантовых сетей на большие расстояния с сквозной запутанностью. Теоретически это может позволить новые технологические приложения, такие как распределенные квантовые вычисления и улучшенное квантовое зондирование . [56] [57]
Прогресс в поиске квантовых алгоритмов обычно фокусируется на этой модели квантовой цепи, хотя существуют исключения, такие как квантовый адиабатический алгоритм . Квантовые алгоритмы можно грубо классифицировать по типу ускорения, достигнутого по сравнению с соответствующими классическими алгоритмами. [58]
Квантовые алгоритмы, которые предлагают более чем полиномиальное ускорение по сравнению с самым известным классическим алгоритмом, включают алгоритм Шора для факторизации и связанные с ним квантовые алгоритмы для вычисления дискретных логарифмов , решения уравнения Пелля и, в более общем плане, решения проблемы скрытой подгруппы для абелевых конечных групп. [58] Эти алгоритмы зависят от примитива квантового преобразования Фурье . Не было найдено математического доказательства, показывающего, что столь же быстрый классический алгоритм не может быть обнаружен, но данные свидетельствуют о том, что это маловероятно. [59] Некоторые проблемы оракула, такие как проблема Саймона и проблема Бернштейна–Вазирани , действительно дают доказуемое ускорение, хотя это относится к модели квантовых запросов , которая является ограниченной моделью, где нижние границы гораздо проще доказать и не обязательно переводится в ускорение для практических задач.
Другие проблемы, включая моделирование квантовых физических процессов из химии и физики твердого тела, аппроксимацию определенных полиномов Джонса и квантовый алгоритм для линейных систем уравнений, имеют квантовые алгоритмы, которые, по-видимому, дают суперполиномиальное ускорение и являются BQP -полными. Поскольку эти проблемы являются BQP-полными, столь же быстрый классический алгоритм для них подразумевал бы, что никакой квантовый алгоритм не дает суперполиномиального ускорения, что считается маловероятным. [60]
Некоторые квантовые алгоритмы, такие как алгоритм Гровера и амплитудное усиление , дают полиномиальное ускорение по сравнению с соответствующими классическими алгоритмами. [58] Хотя эти алгоритмы дают сравнительно скромное квадратичное ускорение, они широко применимы и, таким образом, дают ускорение для широкого круга задач. [20]
Поскольку химия и нанотехнологии опираются на понимание квантовых систем, а такие системы невозможно эффективно моделировать классически, квантовое моделирование может быть важным применением квантовых вычислений. [61] Квантовое моделирование также может использоваться для моделирования поведения атомов и частиц в необычных условиях, таких как реакции внутри коллайдера . [62] В июне 2023 года ученые-компьютерщики IBM сообщили, что квантовый компьютер показал лучшие результаты для физической задачи, чем обычный суперкомпьютер. [63] [64]
Около 2% ежегодного мирового производства энергии используется для фиксации азота с целью производства аммиака для процесса Габера в сельскохозяйственной промышленности удобрений (хотя встречающиеся в природе организмы также производят аммиак). Квантовое моделирование может быть использовано для понимания этого процесса и повышения энергоэффективности производства. [65] Ожидается, что ранним применением квантовых вычислений станет моделирование, которое повысит эффективность процесса Габера-Боша [66] к середине 2020-х годов [67], хотя некоторые предсказывают, что это займет больше времени. [68]
Известное применение квантовых вычислений — атаки на криптографические системы, которые в настоящее время используются. Факторизация целых чисел , которая лежит в основе безопасности криптографических систем с открытым ключом , считается вычислительно невыполнимой с помощью обычного компьютера для больших целых чисел, если они являются произведением нескольких простых чисел (например, произведениями двух 300-значных простых чисел). [69] Для сравнения, квантовый компьютер мог бы решить эту задачу экспоненциально быстрее, используя алгоритм Шора для нахождения ее множителей. [70] Эта способность позволила бы квантовому компьютеру взломать многие из криптографических систем, используемых сегодня, в том смысле, что существовал бы алгоритм с полиномиальным временем (по количеству цифр целого числа) для решения этой задачи. В частности, большинство популярных шифров с открытым ключом основаны на трудности факторизации целых чисел или задаче дискретного логарифма , обе из которых могут быть решены алгоритмом Шора. В частности, могут быть взломаны алгоритмы RSA , Диффи-Хеллмана и эллиптической кривой Диффи-Хеллмана . Они используются для защиты защищенных веб-страниц, зашифрованной электронной почты и многих других типов данных. Их взлом будет иметь значительные последствия для электронной конфиденциальности и безопасности.
Выявление криптографических систем, которые могут быть защищены от квантовых алгоритмов, является активно исследуемой темой в области постквантовой криптографии . [71] [72] Некоторые алгоритмы с открытым ключом основаны на проблемах, отличных от задач факторизации целых чисел и дискретного логарифмирования, к которым применяется алгоритм Шора, например, криптосистема Мак-Элиса , основанная на проблеме в теории кодирования . [71] [73] Также неизвестно, взламываются ли криптосистемы на основе решеток квантовыми компьютерами, и нахождение алгоритма полиномиального времени для решения задачи о скрытой подгруппе диэдра , который взломал бы многие криптосистемы на основе решеток, является хорошо изученной открытой проблемой. [74] Было доказано, что применение алгоритма Гровера для взлома симметричного (секретного ключа) алгоритма методом грубой силы требует времени, равного примерно 2 n /2 вызовов базового криптографического алгоритма, по сравнению с примерно 2 n в классическом случае, [75] что означает, что длина симметричного ключа фактически уменьшается вдвое: AES-256 будет иметь такую же защиту от атаки с использованием алгоритма Гровера, как AES-128 имеет от классического поиска методом грубой силы (см. Размер ключа ).
Наиболее известным примером проблемы, допускающей полиномиальное квантовое ускорение, является неструктурированный поиск , который включает в себя поиск отмеченного элемента из списка элементов в базе данных. Это может быть решено алгоритмом Гровера с использованием запросов к базе данных, квадратично меньше, чем запросы, требуемые для классических алгоритмов. В этом случае преимущество не только доказуемо, но и оптимально: было показано, что алгоритм Гровера дает максимально возможную вероятность нахождения нужного элемента для любого количества поисков оракула. Многие примеры доказуемых квантовых ускорений для задач запросов основаны на алгоритме Гровера, включая алгоритм Брассара, Хойера и Таппа для поиска коллизий в функциях два к одному [76] и алгоритм Фархи, Голдстоуна и Гутмана для оценки деревьев NAND. [77]
Задачи, которые можно эффективно решить с помощью алгоритма Гровера, обладают следующими свойствами: [78] [79]
Для задач со всеми этими свойствами время выполнения алгоритма Гровера на квантовом компьютере масштабируется как квадратный корень из числа входов (или элементов в базе данных), в отличие от линейного масштабирования классических алгоритмов. Общий класс задач, к которым может быть применен алгоритм Гровера [80], — это задача выполнимости булевых значений , где база данных , по которой проходит алгоритм, содержит все возможные ответы. Примером и возможным применением этого является взломщик паролей , который пытается угадать пароль. Взлом симметричных шифров с помощью этого алгоритма представляет интерес для государственных учреждений. [81]
Квантовый отжиг опирается на адиабатическую теорему для проведения вычислений. Система помещается в основное состояние для простого гамильтониана, который медленно эволюционирует в более сложный гамильтониан, основное состояние которого представляет собой решение рассматриваемой проблемы. Адиабатическая теорема утверждает, что если эволюция достаточно медленная, система будет оставаться в своем основном состоянии в течение всего процесса.Адиабатическая оптимизация может быть полезна для решения задач вычислительной биологии . [82]
Поскольку квантовые компьютеры могут производить результаты, которые классические компьютеры не могут производить эффективно, и поскольку квантовые вычисления по своей сути являются линейными алгебраическими, некоторые выражают надежду на разработку квантовых алгоритмов, которые могут ускорить задачи машинного обучения . [47] [83]
Например, алгоритм HHL , названный в честь его первооткрывателей Харроу, Хассидима и Ллойда, как полагают, обеспечивает ускорение по сравнению с классическими аналогами. [47] [84] Некоторые исследовательские группы недавно исследовали использование оборудования квантового отжига для обучения машин Больцмана и глубоких нейронных сетей . [85] [86] [87]
Глубокие модели генеративной химии становятся мощными инструментами для ускорения открытия лекарств . Однако огромный размер и сложность структурного пространства всех возможных молекул, подобных лекарствам, создают значительные препятствия, которые в будущем могут быть преодолены квантовыми компьютерами. Квантовые компьютеры, естественно, хороши для решения сложных квантовых многочастичных задач [21] и, таким образом, могут быть полезны в приложениях, связанных с квантовой химией. Поэтому можно ожидать, что квантово-усиленные генеративные модели [88], включая квантовые GAN [89], в конечном итоге могут быть развиты в конечные алгоритмы генеративной химии.
По состоянию на 2023 год [update]классические компьютеры превосходят квантовые компьютеры для всех реальных приложений. Хотя современные квантовые компьютеры могут ускорить решения конкретных математических задач, они не дают никаких вычислительных преимуществ для практических задач. Ученые и инженеры изучают множество технологий для аппаратного обеспечения квантовых вычислений и надеются разработать масштабируемую квантовую архитектуру, но остаются серьезные препятствия. [90] [91]
Существует ряд технических проблем при создании крупномасштабного квантового компьютера. [92] Физик Дэвид ДиВинченцо перечислил следующие требования к практическому квантовому компьютеру: [93]
Поиск деталей для квантовых компьютеров также очень сложен. Сверхпроводящие квантовые компьютеры , подобные тем, что построены Google и IBM , нуждаются в гелии-3 , побочном продукте ядерных исследований, и в специальных сверхпроводящих кабелях, которые производит только японская компания Coax Co. [94]
Управление многокубитными системами требует генерации и координации большого количества электрических сигналов с жестким и детерминированным временным разрешением. Это привело к разработке квантовых контроллеров, которые позволяют взаимодействовать с кубитами. Масштабирование этих систем для поддержки растущего числа кубитов является дополнительной проблемой. [95]
Одной из самых больших проблем, связанных с созданием квантовых компьютеров, является контроль или устранение квантовой декогеренции . Обычно это означает изоляцию системы от ее окружения, поскольку взаимодействие с внешним миром приводит к декогеренции системы. Однако существуют и другие источники декогеренции. Примерами служат квантовые вентили, а также колебания решетки и фоновый термоядерный спин физической системы, используемой для реализации кубитов. Декогеренция необратима, поскольку она фактически неунитарна, и обычно является тем, что следует строго контролировать, если не избегать. Время декогеренции для систем-кандидатов, в частности, время поперечной релаксации T2 ( для технологий ЯМР и МРТ , также называемое временем дефазировки ), обычно находится в диапазоне от наносекунд до секунд при низкой температуре. [96] В настоящее время некоторые квантовые компьютеры требуют охлаждения своих кубитов до 20 милликельвинов (обычно с использованием холодильника растворения [97] ), чтобы предотвратить значительную декогеренцию. [98] Исследование 2020 года утверждает, что ионизирующее излучение, такое как космические лучи , тем не менее может вызвать декогерентность определенных систем в течение миллисекунд. [99]
В результате, трудоемкие задачи могут сделать некоторые квантовые алгоритмы неработоспособными, поскольку попытка поддерживать состояние кубитов в течение достаточно длительного времени в конечном итоге приведет к повреждению суперпозиций. [100]
Эти проблемы сложнее для оптических подходов, поскольку временные шкалы на порядки короче, и часто упоминаемый подход к их преодолению — оптическое формирование импульсов . Частота ошибок обычно пропорциональна отношению времени работы ко времени декогеренции, поэтому любая операция должна быть завершена намного быстрее времени декогеренции.
Как описано в пороговой теореме , если частота ошибок достаточно мала, считается возможным использовать квантовую коррекцию ошибок для подавления ошибок и декогеренции. Это позволяет общему времени вычислений быть больше, чем время декогеренции, если схема коррекции ошибок может исправлять ошибки быстрее, чем декогеренция их вносит. Часто цитируемая цифра для требуемой частоты ошибок в каждом вентиле для отказоустойчивых вычислений составляет 10−3 , предполагая, что шум является деполяризующим.
Выполнение этого условия масштабируемости возможно для широкого спектра систем. Однако использование коррекции ошибок влечет за собой стоимость значительно возросшего числа требуемых кубитов. Число, необходимое для факторизации целых чисел с использованием алгоритма Шора, по-прежнему является полиномиальным и, как полагают, находится между L и L 2 , где L — количество цифр в факторизуемом числе; алгоритмы коррекции ошибок увеличат это число еще на один фактор L . Для 1000-битного числа это подразумевает необходимость около 10 4 бит без коррекции ошибок. [101] С коррекцией ошибок это число возрастет до около 10 7 бит. Время вычисления составляет около L 2 или около 10 7 шагов, а на частоте 1 МГц — около 10 секунд. Однако накладные расходы на кодирование и коррекцию ошибок увеличивают размер настоящего отказоустойчивого квантового компьютера на несколько порядков. Тщательные оценки [102] [103] показывают, что по крайней мере 3 миллиона физических кубитов могли бы факторизовать 2048-битное целое число за 5 месяцев на полностью исправленном погрешностях квантовом компьютере с захваченными ионами. С точки зрения количества физических кубитов, на сегодняшний день это остается самой низкой оценкой [104] для практически полезной задачи факторизации целых чисел размером 1024 бита или больше.
Другой подход к проблеме стабильности-декогерентности заключается в создании топологического квантового компьютера с анионами , квазичастицами, используемыми в качестве нитей, и опирающегося на теорию кос для формирования стабильных логических вентилей. [105] [106]
Физик Джон Прескилл ввел термин «квантовое превосходство» для описания инженерного подвига, демонстрирующего, что программируемое квантовое устройство может решить проблему, выходящую за рамки возможностей современных классических компьютеров. [107] [108] [109] Проблема не обязательно должна быть полезной, поэтому некоторые рассматривают тест на квантовое превосходство только как потенциальный будущий критерий. [110]
В октябре 2019 года Google AI Quantum при поддержке NASA стала первой, кто заявил о достижении квантового превосходства, выполняя вычисления на квантовом компьютере Sycamore более чем в 3 000 000 раз быстрее, чем это можно было бы сделать на Summit , который обычно считается самым быстрым компьютером в мире. [27] [111] [112] Это утверждение впоследствии было оспорено: IBM заявила, что Summit может выполнять выборки гораздо быстрее, чем заявлено, [113] [114] и с тех пор исследователи разработали лучшие алгоритмы для задачи выборки, используемой для заявления о квантовом превосходстве, что существенно сократило разрыв между Sycamore и классическими суперкомпьютерами [115] [116] [117] и даже превзошло его. [118] [119] [120]
В декабре 2020 года группа в USTC реализовала тип бозонной выборки на 76 фотонах с помощью фотонного квантового компьютера Jiuzhang , чтобы продемонстрировать квантовое превосходство. [121] [122] [123] Авторы утверждают, что классическому современному суперкомпьютеру потребовалось бы вычислительное время в 600 миллионов лет для генерации того количества выборок, которое их квантовый процессор может сгенерировать за 20 секунд. [124]
Заявления о квантовом превосходстве породили шумиху вокруг квантовых вычислений, [125] но они основаны на надуманных тестовых задачах, которые напрямую не подразумевают полезных приложений в реальном мире. [90] [126]
В январе 2024 года исследование, опубликованное в Physical Review Letters , предоставило прямую проверку экспериментов по квантовому превосходству путем вычисления точных амплитуд для экспериментально сгенерированных битовых строк с использованием суперкомпьютера Sunway нового поколения, продемонстрировав значительный скачок в возможностях моделирования, основанных на алгоритме сжатия тензорной сети с несколькими амплитудами. Эта разработка подчеркивает развивающийся ландшафт квантовых вычислений, подчеркивая как прогресс, так и сложности, связанные с проверкой заявлений о квантовом превосходстве. [127]
Несмотря на большие надежды на квантовые вычисления, значительный прогресс в области аппаратного обеспечения и оптимизм относительно будущих приложений, статья в Nature Spotlight 2023 года резюмировала текущие квантовые компьютеры как «на данный момент [ни для чего] не пригодные». [90] В статье подробно описывалось, что квантовые компьютеры в любом случае еще не стали более полезными или эффективными, чем обычные компьютеры, хотя также утверждалось, что в долгосрочной перспективе такие компьютеры, вероятно, будут полезны. В статье Communications of the ACM 2023 года [91] было обнаружено, что текущие алгоритмы квантовых вычислений «недостаточны для практического квантового преимущества без значительных улучшений в программном/аппаратном стеке». В ней утверждается, что наиболее перспективными кандидатами для достижения ускорения с помощью квантовых компьютеров являются «задачи с малыми данными», например, в химии и материаловедении. Однако в статье также делается вывод о том, что широкий спектр потенциальных приложений, которые она рассматривает, таких как машинное обучение, «не достигнет квантового преимущества с текущими квантовыми алгоритмами в обозримом будущем», и определяются ограничения ввода-вывода, которые делают маловероятным ускорение для «задач больших данных, неструктурированных линейных систем и поиска в базах данных на основе алгоритма Гровера».
Такое положение дел можно объяснить рядом текущих и долгосрочных соображений.
В частности, создание компьютеров с большим количеством кубитов может быть бесполезным, если эти кубиты недостаточно хорошо связаны и не могут поддерживать достаточно высокую степень запутанности в течение длительного времени. Пытаясь превзойти обычные компьютеры, исследователи квантовых вычислений часто ищут новые задачи, которые можно решить на квантовых компьютерах, но это оставляет возможность того, что в ответ будут разработаны эффективные неквантовые методы, как это было показано для демонстраций квантового превосходства . Поэтому желательно доказать нижние границы сложности наилучших возможных неквантовых алгоритмов (которые могут быть неизвестны) и показать, что некоторые квантовые алгоритмы асимптоматически улучшают эти границы.
Некоторые исследователи скептически относятся к возможности создания масштабируемых квантовых компьютеров, как правило, из-за проблемы поддержания когерентности в больших масштабах, но также и по другим причинам.
Билл Унрух усомнился в практичности квантовых компьютеров в статье, опубликованной в 1994 году. [130] Пол Дэвис утверждал, что 400-кубитный компьютер даже вступит в противоречие с космологической информационной связью, подразумеваемой голографическим принципом . [131] Скептики, такие как Гил Калай, сомневаются, что квантовое превосходство когда-либо будет достигнуто. [132] [133] [134] Физик Михаил Дьяконов выразил скептицизм относительно квантовых вычислений следующим образом:
Практический квантовый компьютер должен использовать физическую систему в качестве программируемого квантового регистра. [138] Исследователи изучают несколько технологий в качестве кандидатов на надежные реализации кубитов. [139] Сверхпроводники и захваченные ионы являются одними из наиболее разработанных предложений, но экспериментаторы рассматривают и другие аппаратные возможности. [140]
Первые квантовые логические вентили были реализованы с захваченными ионами , и были реализованы прототипы машин общего назначения с 20 кубитами. Однако технология, лежащая в основе этих устройств, объединяет сложное вакуумное оборудование, лазеры, микроволновое и радиочастотное оборудование, что затрудняет интеграцию полномасштабных процессоров со стандартным вычислительным оборудованием. Более того, сама система захваченных ионов имеет инженерные проблемы, которые необходимо преодолеть. [141]
Крупнейшие коммерческие системы основаны на сверхпроводниковых устройствах и масштабируются до 2000 кубитов. Однако частота ошибок для более крупных машин составляет порядка 5%. Технологически все эти устройства являются криогенными, а масштабирование до большого количества кубитов требует интеграции в масштабе пластины, что само по себе является серьезной инженерной задачей. [142]
Исследования по созданию более стабильных кубитов для квантовых вычислений включают топологические квантовые компьютерные подходы. Например, Microsoft работает над компьютером, основанным на квантовых свойствах двумерных квазичастиц, называемых анионы . [143] [144] [145]
С точки зрения управления бизнесом потенциальные приложения квантовых вычислений можно разделить на четыре основные категории: кибербезопасность, аналитика данных и искусственный интеллект, оптимизация и моделирование, а также управление данными и поиск. [146]
Инвестиции в исследования квантовых вычислений возросли в государственном и частном секторах. [147] [148] Как резюмировала одна консалтинговая фирма, [149]
... инвестиции текут рекой, и стартапы в области квантовых вычислений процветают. ... Хотя квантовые вычисления обещают помочь компаниям решать проблемы, которые находятся за пределами досягаемости и скорости обычных высокопроизводительных компьютеров , на данном раннем этапе варианты их использования в основном носят экспериментальный и гипотетический характер.
Любая вычислительная задача , решаемая классическим компьютером, также решаема квантовым компьютером. [150] Интуитивно это происходит потому, что считается, что все физические явления, включая работу классических компьютеров, могут быть описаны с помощью квантовой механики , которая лежит в основе работы квантовых компьютеров.
И наоборот, любая задача, решаемая квантовым компьютером, также решаема классическим компьютером. Можно вручную смоделировать как квантовые, так и классические компьютеры, имея только бумагу и ручку, если дать достаточно времени. Более формально, любой квантовый компьютер может быть смоделирован машиной Тьюринга . Другими словами, квантовые компьютеры не обеспечивают никакой дополнительной мощности по сравнению с классическими компьютерами с точки зрения вычислимости . Это означает, что квантовые компьютеры не могут решать неразрешимые задачи, такие как проблема остановки , и существование квантовых компьютеров не опровергает тезис Чёрча-Тьюринга . [151]
Хотя квантовые компьютеры не могут решить никаких проблем, которые классические компьютеры уже не могут решить, есть подозрение, что они могут решать некоторые проблемы быстрее, чем классические компьютеры. Например, известно, что квантовые компьютеры могут эффективно факторизовать целые числа , в то время как считается, что это не относится к классическим компьютерам.
Класс задач , которые могут быть эффективно решены квантовым компьютером с ограниченной ошибкой, называется BQP , что означает «ограниченная ошибка, квантовое, полиномиальное время». Более формально, BQP — это класс задач, которые могут быть решены квантовой машиной Тьюринга с полиномиальным временем с вероятностью ошибки не более 1/3. Как класс вероятностных задач, BQP является квантовым аналогом BPP («ограниченная ошибка, вероятностное, полиномиальное время»), класса задач, которые могут быть решены вероятностными машинами Тьюринга с полиномиальным временем с ограниченной ошибкой. [152] Известно, что и широко предполагается, что , что интуитивно означало бы, что квантовые компьютеры мощнее классических компьютеров с точки зрения временной сложности . [153]
Точная связь BQP с P , NP и PSPACE неизвестна. Однако известно, что ; то есть все проблемы, которые могут быть эффективно решены детерминированным классическим компьютером, могут быть также эффективно решены квантовым компьютером, и все проблемы, которые могут быть эффективно решены квантовым компьютером, могут быть также решены детерминированным классическим компьютером с полиномиальными ресурсами пространства. Далее предполагается, что BQP является строгим надмножеством P, то есть существуют проблемы, которые эффективно решаются квантовыми компьютерами, но не эффективно решаются детерминированными классическими компьютерами. Например, известно, что целочисленная факторизация и задача дискретного логарифма находятся в BQP и, как предполагается, находятся за пределами P. О связи BQP с NP мало что известно, кроме того факта, что некоторые проблемы NP, которые, как считается, не находятся в P, также находятся в BQP (например, целочисленная факторизация и задача дискретного логарифма обе находятся в NP). Предполагается, что ; то есть, считается, что существуют эффективно проверяемые проблемы, которые не могут быть эффективно решены квантовым компьютером. Как прямое следствие этого убеждения, также предполагается, что BQP не пересекается с классом NP-полных проблем (если бы NP-полная проблема была в BQP, то из NP-трудности следовало бы , что все проблемы в NP находятся в BQP). [154]
{{cite AV media}}
: CS1 maint: bot: original URL status unknown (link)