Quantinuum показала експоненційний квантово-класичний розрив у спеціальному тесті

Експеримент Quantinuum — це точна, але вузькоспеціалізована демонстрація квантової переваги. Її суть не в тому, що квантовий процесор нібито став у сотні мільярдів разів швидшим за звичайний комп’ютер у будь-яких задачах. Натомість у ретельно сконструйованій грі квантовий пристрій показав статистику результатів, недосяжну для класичної стратегії в заданій моделі. Для сімейства випадків, пов’язаного з алгоритмом Бернштейна—Вазірaні, ідеальне відношення квантового до класичного «порушення» масштабується як 2^(n−1). 4

Як працює гра complement sampling

Арбітр обирає приховану множину S, що містить половину всіх можливих n-бітних рядків, і готує квантовий стан — рівномірну суперпозицію рядків із цієї множини. Завдання гравця — повернути рядок із доповнення S̄, тобто такий, якого в S немає. 34

Для класичного гравця вхід фактично дає звичайний зразок із S. Він може зрозуміти, що саме цей рядок не слід обирати, але не отримує корисного опису того, які з величезної кількості інших рядків належать S, а які — S̄. Через це класична стратегія обмежена математично виведеною межею. 47

Квантовий гравець отримує не вже виміряний зразок, а когерентну суперпозицію. Для структурованих випадків, використаних в експерименті, квантове перетворення переводить стан, пов’язаний із S, у стан із підтримкою на доповненні S̄. В ідеальному випадку без шуму вимірювання після такого перетворення завжди дає правильний рядок із доповнення. 34

Саме когерентність — здатність обробляти інформацію, закодовану в суперпозиції багатьох можливих рядків, не колапсуючи її завчасно до одного класичного результату, — є ресурсом, який перевіряє цей тест. Це не тест Белла і не експеримент на просторову нелокальність.

Чому розрив зростає експоненційно

Порівнюють не просто абсолютну ймовірність успіху, а спеціальну міру порушення класичної межі. Для випадків на основі задачі Бернштейна—Вазірaні в ідеалі відношення квантового та класичного показників дорівнює 2^(n−1). 4

Для n = 37 маємо:

2^36 = 68 719 476 736

Водночас у матеріалах про експеримент порівняння за використаною там конвенцією описують як таке, що перевищує 137 млрд до одного. Важливе тут не формулювання конкретного коефіцієнта, а масштабування: ідеальна квантова стратегія зберігає досконалий результат, тоді як допустима класична перевага експоненційно зменшується зі зростанням довжини рядка. 4

Це не означає, що H2 розв’язав прикладну задачу у 137 млрд разів швидше за класичний комп’ютер. Число стосується розділення стратегій за правилами та метрикою саме цієї гри.

Що показало обладнання H2

Дослідники запустили тисячі квантових схем на іонних процесорах Quantinuum H2, використавши до 55 фізичних кубітів і рядки завдовжки до 37 бітів. 48

Реальне обладнання не позбавлене шуму, тому спостережуваний квантовий результат був нижчим від ідеального режиму зі стовідсотковим успіхом; більші схеми відчутніше потерпали від помилок. Проте виміряні показники залишилися статистично вищими за застосовну класичну межу. Це підтримує висновок, що пристрої досить точно реалізували квантову стратегію для порушення класичного обмеження. 4

Важливе уточнення: класичний комп’ютер, звісно, здатен надрукувати ті самі скінченні бітові рядки. Експеримент показує інше — що в конкретній моделі вхідних даних розподіл отриманих відповідей перевищив можливості дозволеної класичної стратегії. 4

Чим цей тест відрізняється від попередніх демонстрацій

Чимало попередніх експериментів із квантовою вибіркою спиралися на теоретико-складнісні припущення: класичну симуляцію вважали важкою на підставі гіпотез, які не доведені математично. Complement sampling задумано інакше: класичне обмеження виведене безпосередньо для самої гри, а не випливає з припущення про складність. 34

Перевірка тут також відносно проста. Арбітр знає, як побудовано приховану множину, і може перевірити, чи належить відповідь її доповненню. У вибірці з випадкових квантових схем перевірка на великому масштабі може вимагати дорогої класичної симуляції або дуже великої кількості зразків. 34

Саме тому цей тест корисний як фундаментальний бенчмарк для сучасних пристроїв: він створений так, щоб показати чітке квантово-класичне розділення, яке водночас можна ефективно перевірити класичним обчисленням.

Межі гучного результату

Це спеціалізована задача вибірки

Експеримент не доводить практичне прискорення для хімії, оптимізації, криптографії, штучного інтелекту чи універсальних обчислень. Гру спеціально побудували, аби виявити квантову перевагу в обробці інформації на основі зразків. 4

«Безумовне» обмеження не означає незалежність від пристрою

Класична межа є безумовною в межах математичної гри. Але лабораторний протокол усе одно передбачає довіру до того, що арбітр коректно підготував початковий стан. Це відрізняється від повністю device-independent тесту, де ключовим компонентам апаратури довіряти не потрібно. 4

Арбітр і гравець працювали не на окремих квантових комп’ютерах

Оскільки справжнього квантового каналу між квантовими комп’ютерами не було, регістри арбітра та гравця розмістили в одному процесорі, а квантовий канал змоделювали за допомогою телепортації. 4

Сильніша майбутня демонстрація вимагала б незалежно керованих систем, поєднаних реальним квантовим зв’язком, а в ідеалі — відмовостійких квантових комп’ютерів. Це непросто: передавання квантових станів і збереження когерентності можуть стати вузькими місцями розподілених квантових обчислень. 14

Експоненційний розрив може бути не остаточною межею

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

Що насправді встановив експеримент

Найточніше цей результат варто описувати як важливий експериментальний рубіж: сучасне іонне квантове обладнання перетнуло сувору класичну межу в грі complement sampling, результат якої можна ефективно перевірити, а ідеальний розрив зростає експоненційно з розміром задачі. 34

Це змістовніша заява, ніж розмите «квантове домінування», бо тут чітко визначені задача, метрика, спосіб перевірки та припущення щодо довіри. Але ці самі деталі окреслюють межі висновку: робота переконливо показує експоненційну перевагу квантової суперпозиції в спеціально підібраному сценарії — а не те, що квантові комп’ютери вже перевершили класичні системи в широкому колі практичних завдань.