Уявіть собі калькулятор, який не лише рахує швидше за будь-який суперкомп’ютер, а й сам по дорозі виправляє власні помилки так ефективно, що на виході їх удесятеро менше, ніж «усередині» заліза. Саме таку поведінку продемонструвала квантова система IBM у спільному експерименті з Університетом Чикаго, про який розповідає видання Interesting Engineering.
Команда змогла виконати обчислювально надскладне завдання приблизно за 15 хвилин на квантовому комп’ютері, тоді як найкращі класичні методи стикнулися б із практично непідйомним часом роботи. При цьому ефективна логічна частота помилок виявилася у 10 разів нижчою за фізичну, тобто система виправлення помилок суттєво «приглушила» недоліки апаратної частини.
Що відомо коротко
- Квантовий комп’ютер IBM виконав надскладне обчислення за ~15 хвилин, тоді як класичні методи мали б надто великий час роботи.
- У досліді використали 70 логічних кубітів — це кубіти з вбудованою корекцією помилок, побудовані з фізичних кубітів.
- Система досягла
за фізичну частоту помилок апаратури. - Було виконано 2415 логічних двокубітних операцій і 468 логічних T-вентилів, що створило схему, важку для класичного моделювання.
- Результати дають статистичну впевненість, що обчислення виконано вірно, попри те, що класичний комп’ютер не може його повністю перевірити.
Як квантовий комп’ютер може бути «правильнішим» за власне залізо
Квантові комп’ютери працюють із кубітами — надзвичайно чутливими «квантовими монетами», які легко «зіпсувати» шумом, вібраціями чи навіть теплом. Фізичні кубіти помиляються часто, тому на перший погляд здається парадоксальним, що з них можна зібрати систему, яка помиляється менше.
Щоб обійти цю проблему, дослідники використовують логічні кубіти. Це як створити один «наднадійний» біт із цілої групи ненадійних, додаючи до них спеціальні перевірки та дублювання. Логічний кубіт кодує інформацію в кількох фізичних кубітах і застосовує алгоритми виправлення помилок, які виявляють і компенсують збої під час обчислень.
У результаті виходить ситуація, коли «сирі» фізичні елементи працюють неідеально, але завдяки розумній надбудові зверху вся система дає значно чистіший результат. У цьому експерименті саме така надбудова дозволила знизити ефективну логічну частоту помилок у десять разів порівняно з фізичною.
Що саме зробили IBM та Університет Чикаго
Коли квантові обчислення стають надто складними для класичних комп’ютерів, виникає дивна проблема: як узагалі перевірити, що квантова машина не «збрехала»? Традиційно для демонстрації квантової переваги використовували випадкове вибіркове тестування схем (random circuit sampling). Воно створює дуже заплутані квантові схеми, які важко відтворити класично.
Проте є пастка: якщо класичний комп’ютер не може змоделювати схему, то й перевірити результат квантового обчислення стає майже неможливо. Команда IBM та Університету Чикаго запропонувала інший дизайн схем, який зберігає обчислювальну складність, але дозволяє виявляти помилки прямо під час виконання.
У досліді вони використали 70 логічних кубітів і виконали 2415 логічних двокубітних операцій та 468 логічних T-вентилів. Така схема достатньо складна, щоб кинути виклик класичним методам моделювання, але водночас її структура дає змогу оцінити, наскільки «чистим» був кінцевий квантовий стан.
За словами учасників проєкту, отримані дані показали, що закодована схема досягла ефективної логічної частоти помилок, яка в десять разів нижча за фізичну. Це означає, що система корекції помилок успішно захистила обчислення, попри велику кількість операцій.
Чому це важливо для квантової переваги
Демонструвати, що квантовий комп’ютер швидший за класичний — лише половина завдання. Не менш важливо показати, що його результат можна довіряти, особливо коли класичний комп’ютер уже не здатен виступати «арбітром».
Дослідники наголошують, що верифікація — одна з найбільших проблем на шляху до надійної квантової переваги. Потрібні методи, які дозволяють хоча б статистично оцінити, наскільки вірно квантова машина виконала надскладне завдання, не відтворюючи його повністю на класичному залізі.
У цьому експерименті IBM заявляє, що отримала статистичну впевненість у тому, що обчислення виконано чесно, і водночас воно залишилося за межами практичних можливостей класичних комп’ютерів. Представники компанії говорять, що ми «вже твердо перебуваємо в епоху квантової переваги».
Кращі методи перевірки, за словами докторанта Суміка Гоша (Soumik Ghosh) з групи Білла Феффермана (Bill Fefferman) в Університеті Чикаго, можуть стати ключем до появи практичних застосувань наступного покоління квантових комп’ютерів. Адже бізнесу та науці потрібні не просто швидкі, а й надійні відповіді.
Свої схеми та результати команда оприлюднила через інструмент IBM Quantum Advantage Tracker, щоб інші дослідники могли порівнювати це досягнення з іншими демонстраціями квантової переваги. Наукова робота під назвою «Sampling hard circuits with verifiably high fidelity» опублікована в журналі Physical Review X.
FAQ
Це вже остаточний доказ квантової переваги чи лише крок у цьому напрямку?
Експеримент дає сильні аргументи на користь того, що квантовий комп’ютер виконав завдання поза практичними можливостями класичних машин і зробив це з контрольованим рівнем помилок. Водночас це не «останнє слово», а важливий етап: попереду ще багато робіт, які мають підтвердити та розширити ці результати.
Чому не можна просто перевірити результат на суперкомп’ютері?
Сенс таких експериментів у тому, що завдання навмисно обирають настільки складними, щоб класичний суперкомп’ютер не міг їх ефективно змоделювати. Інакше це не була б квантова перевага. Тому вчені змушені використовувати непрямі, статистичні методи перевірки, а не повне дублювання обчислень.
Чи означає це, що квантові комп’ютери вже готові до масового використання?
Ні, нинішні системи все ще далекі від широкого комерційного застосування. Однак такі експерименти показують, що ключові «цеглинки» — як-от корекція помилок і верифікація складних обчислень — починають працювати на практиці, а не лише в теорії.
Які реальні задачі можуть виграти від таких досягнень?
Дослідники припускають, що в майбутньому подібні підходи до корекції та перевірки помилок можуть бути застосовані до задач оптимізації, моделювання матеріалів, хімічних реакцій чи криптографії. Але для цього потрібно ще масштабувати системи й адаптувати методи до конкретних практичних сценаріїв.
🤯 Квантові комп’ютери поступово перетворюються з «крихких експериментів» на машини, які не лише обганяють класичні, а й самі стежать за власною надійністю — і це змушує по-новому подивитися на те, як ми взагалі уявляємо собі обчислення в майбутньому.