Основи квантових обчислень: кубіти, суперпозиція та заплутаність
Квантові комп'ютери — це не швидші класичні комп'ютери; це принципово інші машини, що використовують дивні правила квантової механіки для експоненційно швидшого розв'язання певних задач. Щоб зрозуміти їх, доведеться відмовитися від класичних інтуїцій про біти й логічні вентилі.
1. Класичні біти проти кубітів
Класичний біт — це перемикач: він або 0, або 1. Без неоднозначності. Кубіт — це квантова дворівнева система, така як спін електрона, поляризація фотона чи надпровідний джозефсонівський перехід. Поки його не виміряли, він існує у квантовому стані, описаному як:
α і β — це комплексні амплітуди. Це не те саме, що сказати «кубіт, ймовірно, 0 або, ймовірно, 1» — суперпозиція є справжнім квантовим станом з ефектами інтерференції. Під час вимірювання стан незворотно колапсує або до |0⟩, або до |1⟩.
Класичний біт
- Визначене значення: 0 АБО 1
- Копіювання тривіальне
- Немає заплутаності
- Зчитування без збурення
- N бітів зберігають одне N-бітне число
Кубіт
- Суперпозиція: і 0, І 1 одночасно (доки не виміряно)
- Не можна клонувати (теорема про неможливість клонування)
- Може бути заплутаний з іншими
- Вимірювання колапсує стан
- N кубітів одночасно кодують 2ᴺ комплексних амплітуд
2. Суперпозиція та сфера Блоха
Будь-який однокубітний стан |ψ⟩ = α|0⟩ + β|1⟩ можна візуалізувати як точку на одиничній сфері (сфері Блоха) за допомогою двох кутів θ і φ:
Квантові вентилі — це обертання сфери Блоха. Вентиль Адамара H переводить |0⟩ у |+⟩ — рівну суперпозицію 0 і 1. Це квантовий «підкид монети», що створює суперпозицію з визначеного стану.
3. Заплутаність
Два кубіти можна перевести в заплутаний стан, який не розкладається на стани окремих кубітів. Чотири стани Белла максимально заплутані:
У |Φ⁺⟩: якщо Аліса вимірює кубіт 1 і отримує 0, кубіт 2 миттєво стає 0. Якщо вона отримує 1, кубіт 2 миттєво стає 1 — незалежно від того, як далеко рознесені кубіти. Ейнштейн називав це «моторошною дією на відстані» й вважав, що це свідчить про неповноту квантової механіки. Теорема Белла (1964) та експерименти Аспе (1982) підтвердили: заплутаність реальна й не може бути пояснена прихованими локальними змінними.
Заплутаність — це обчислювальний ресурс: вона створює кореляції між кубітами, що дозволяють алгоритмам опрацьовувати 2ᴺ станів одночасно завдяки квантовому паралелізму.
4. Квантові вентилі та схеми
Квантові вентилі — це унітарні матриці, що обертають стани кубітів. Вони оборотні (на відміну від класичних вентилів NAND). Поширені однокубітні вентилі:
- Вентиль X (NOT): |0⟩ ↔ |1⟩
- Вентиль Z (зміна фази): |0⟩ → |0⟩, |1⟩ → −|1⟩
- H (Адамара): створює суперпозицію: |0⟩ → |+⟩ = (|0⟩+|1⟩)/√2
- Вентиль T (π/8): додає фазу e^(iπ/4) до |1⟩; ключовий для універсальних обчислень
Найважливіший двокубітний вентиль — CNOT (контрольований NOT): інвертує цільовий кубіт тоді й лише тоді, коли керуючий кубіт дорівнює |1⟩. CNOT + Адамара разом можуть створити заплутаність:
Будь-який квантовий алгоритм — Шора, Гровера, VQE — це зрештою послідовність цих вентилів, упорядкованих у квантову схему. Вимірювання на виході колапсує суперпозицію й дає відповідь (імовірнісно; схеми запускають тисячі разів і результати усереднюють).
5. Інтерференція: чому це обчислює
Сама лише суперпозиція не дає прискорення — суперпозиція всіх входів колапсувала б при вимірюванні до випадкової єдиної відповіді. Ключ — квантова інтерференція: ретельне конструювання алгоритму так, щоб амплітуди неправильних відповідей взаємно знищувалися (деструктивна інтерференція), а амплітуди правильних відповідей підсилювалися (конструктивна інтерференція).
Саме це й робить алгоритм Шора: він створює суперпозицію всіх 2ᴺ можливих періодів, використовує квантове перетворення Фур'є (по суті, квантову інтерференцію в масштабі), щоб підсилити правильний період, а потім класична постобробка видобуває множники. Експоненційне прискорення виникає з одночасного обчислення всіх пар вхід/вихід і подальшого використання інтерференції для видобування відповіді.
6. Ключові квантові алгоритми
- Алгоритм Шора (1994): розкладає N-значне ціле число на множники за поліноміальний час O(N³) проти класичного e^O(N^(1/3)). Зламує RSA-2048. Потребує ~4 000 логічних кубітів з корекцією помилок. Сучасні машини мають ~1 000 фізичних кубітів з високими рівнями помилок — далеко від зламу RSA.
- Алгоритм Гровера (1996): шукає в невідсортованій базі з N елементів за O(√N) проти класичного O(N). Квадратичне, а не експоненційне, прискорення. Актуальний для комбінаторного пошуку та криптоаналізу.
- VQE (варіаційний квантовий розв'язувач власних значень): оцінює енергію основного стану систем квантової хімії. Алгоритм для пристроїв NISQ найближчого майбутнього. Критичний для пошуку ліків і матеріалознавства.
- QAOA (квантова наближена оптимізація): наближено розв'язує комбінаторні задачі (планування, маршрутизацію) на пристроях NISQ. Перші багатообіцяльні результати на малих прикладах.
7. Апаратне забезпечення: як будують кубіти
- Надпровідні кубіти (IBM, Google): схеми на джозефсонівських переходах при 15 мК. Швидкі вентилі (20–100 нс). Когерентність 50–500 мкс. Виготовляються на чипах. IBM Condor: 1 121 кубіт (2023). Виклик масштабованості: розведення з'єднань.
- Захоплені іони (IonQ, Quantinuum): іони ітербію або барію, охолоджені лазером в електромагнітних пастках. Дуже тривала когерентність (хвилини). Висока точність вентилів. Повільніші вентилі (1–10 мкс). Процесор H2: 32 фізичні кубіти, зв'язність «кожен з кожним».
- Фотонні кубіти (PsiQuantum, Xanadu): фотони у хвилеводах. Можлива робота при кімнатній температурі. Імовірнісні вентилі. Масштабовані через виготовлення чипів.
- Топологічні кубіти (Microsoft): ферміони Майорани. Теоретично внутрішньо захищені від помилок. Усе ще здебільшого на рівні концепції попри десятиліття інвестицій.