Квантові комп’ютери часто подають як «магічні чорні скриньки», але їхня логіка починається з дуже конкретних математичних об’єктів — квантових брам. У свіжому пояснювальному ролику IBM Technology на прикладі кількох ключових брам показано, як із простих матриць і векторів народжуються суперпозиція, заплутаність і, зрештою, квантова перевага.
Від бітів до кубітів: спільна мова — брами
У класичних і квантових комп’ютерів є спільний фундамент: обидва працюють із брамами (gates), тобто інструкціями, які змінюють стан інформації.
- У класичній схемі брами змінюють біти — 0 та 1.
- У квантовій — кубіти, які можуть бути не лише в 0 чи 1, а й у їхній суперпозиції.
Класичний приклад — NOT (інверсія): 0 перетворюється на 1, а 1 — на 0. У квантовому світі аналогічні операції описуються не просто логічними правилами, а матрицями, що діють на вектори станів.
У квантовій механіці стани записують у так званій нотації Дірака:
– |0⟩ — стан «нуль»
– |1⟩ — стан «один»
У лінійній алгебрі це вектори-стовпці:
- |0⟩ → [1, 0]ᵀ
- |1⟩ → [0, 1]ᵀ
Якщо стани — вектори, то брами — це матриці, які їх перетворюють.
Hadamard: як одна брама створює суперпозицію
Перша ключова квантова брама — Hadamard (H). Вона безпосередньо пов’язана з явищем суперпозиції: кубіт може одночасно перебувати в комбінації станів |0⟩ і |1⟩, доки його не виміряють.
Математика суперпозиції
Рівноймовірна суперпозиція двох станів записується так:
(1/√2)·|0⟩ + (1/√2)·|1⟩
Коефіцієнти перед |0⟩ та |1⟩ — це амплітуди. Якщо їх піднести до квадрату, отримаємо ймовірності вимірювання:
- (1/√2)² = 1/2 для |0⟩
- (1/√2)² = 1/2 для |1⟩
Разом — 1, як і має бути для повної ймовірності.
Hadamard як матриця
У матричному вигляді брама H виглядає так:
H = (1/√2) · [[1, 1],
[1, −1]]
Якщо застосувати її до |0⟩ (вектор [1, 0]ᵀ), отримаємо:
- добуток матриці H на вектор |0⟩ дає вектор [(1/√2), (1/√2)]ᵀ
- у нотації Дірака це саме (1/√2)|0⟩ + (1/√2)|1⟩
Тобто одна-єдина брама Hadamard перетворює «класичний» нуль у квантову суперпозицію двох станів. Це перший фундаментальний крок, який відрізняє квантову схему від класичної.
CNOT і Bell-стан: як народжується заплутаність
Друге базове квантове явище — заплутаність (entanglement). Воно означає, що два кубіти описуються єдиним спільним станом: вимірявши один, миттєво знаєш стан іншого, незалежно від відстані між ними.
Ключова брама для створення заплутаності — CNOT (controlled-NOT). Вона діє одразу на два кубіти:
- перший — керуючий (control)
- другий — цільовий (target)
Правило: CNOT інвертує цільовий кубіт лише тоді, коли керуючий у стані |1⟩.
Чому CNOT — це 4×4 матриця
Один кубіт має два базові стани: |0⟩ і |1⟩.
Два кубіти — вже чотири: |00⟩, |01⟩, |10⟩, |11⟩.
Тому:
- стани двох кубітів — це 4-вимірні вектори
- брама, що діє на два кубіти, — матриця 4×4
CNOT саме така матриця, яка реалізує описане вище правило для пар станів.
Як із Hadamard і CNOT отримати Bell-стан
Щоб побачити заплутаність у дії, послідовність виглядає так:
- Початковий стан: обидва кубіти в |0⟩, тобто |00⟩.
- Створення суперпозиції на першому кубіті:
- застосовуємо Hadamard до першого кубіта, другий лишається в |0⟩
- технічно це означає «розширити» H до матриці 4×4 так, щоб вона діяла лише на перший кубіт
- Застосування CNOT:
- керуючий — перший кубіт
- цільовий — другий
У результаті виникає стан, відомий як Bell-стан. Це один із найвідоміших станів у фізиці, який демонструє, що два кубіти більше не описуються незалежно — вони утворюють єдину квантову систему.
Цей Bell-стан став ключовим аргументом у роботах Джона Белла, який показав: якщо квантова механіка правильна, Всесвіт не може одночасно задовольняти принцип локального реалізму. Або об’єкти не мають визначених властивостей до вимірювання, або жодна взаємодія не обмежена швидкістю світла — одне з цих тверджень має бути хибним. У сучасній фізиці зазвичай зберігають обмеження швидкістю світла, а відмовляються від ідеї «заздалегідь визначених» станів.
Факт залишається: лише дві брами — Hadamard і CNOT — достатні, щоб створити суперпозицію й заплутаність.
Чому цього мало: обмеження групи Кліффорда і роль T-брами
Попри всю «квантовість» Hadamard і CNOT, самі по собі вони не роблять квантовий комп’ютер принципово сильнішим за класичний. Обидві ці брами належать до так званої групи Кліффорда (Clifford group).
Теорема Ґоттсмана–Ніла: квантове, але ще не «надкласичне»
Існує важливий результат — теорема Ґоттсмана–Ніла. Вона стверджує:
Схеми, які використовують лише брами з групи Кліффорда, можна ефективно симулювати на класичному комп’ютері.
Тобто:
- Hadamard + CNOT (і інші Clifford-брами) дають суперпозицію та заплутаність
- але цього недостатньо, щоб отримати експоненційну перевагу над класичними обчисленнями
Щось у цій картині бракує.
T-брама: маленький фазовий зсув з великими наслідками
Відсутню «цеглинку» додає T-брама. На вигляд вона проста: це одно кубітна брама, яка змінює лише фазу стану |1⟩, не чіпаючи |0⟩.
У матричній формі T-брама:
- залишає амплітуду |0⟩ незмінною
- множить амплітуду |1⟩ на фазовий множник e^{iπ/4}
Ключові моменти:
- T не змінює ймовірності вимірювань напряму (бо фаза не впливає на модуль амплітуди)
- але змінює відносні фази між компонентами суперпозиції
- саме ці фази визначають інтерференцію — як амплітуди підсилюють чи гасять одна одну
Додавання T-брами до набору Clifford-брам різко ускладнює класичну симуляцію:
- стани стають важче стисливими
- з’являється «додатковий вимір» у просторі станів
- вартість симуляції може зростати експоненційно
Універсальність: Clifford + T як повний набір
Комбінація Clifford-брам (зокрема Hadamard і CNOT) з T-брамою утворює універсальний набір для квантових обчислень. Це означає:
Будь-яку квантову еволюцію, яка можлива в природі, можна з довільною точністю апроксимувати схемою з цих брам.
Інакше кажучи, саме невеликий фазовий зсув, який вносить T-брама, стає «щілиною» в класичному світі. Через неї квантові схеми виходять за межі того, що можна ефективно відтворити класичними алгоритмами.
Висновок: Всесвіт складніший за нулі й одиниці
Квантові обчислення починаються не з екзотичних пристроїв, а з чітко визначених математичних операцій:
- Hadamard створює суперпозицію
- CNOT — заплутаність
- T-брама — фазу, яка робить схеми універсальними й важкими для класичної симуляції
Разом вони показують, що на фундаментальному рівні Всесвіт не зводиться до простих 0 і 1. Між ними існує простір фаз, суперпозицій і заплутаних станів — і саме в цьому просторі працюють квантові комп’ютери.
Джерело
The Most Important Gates in Quantum Computing Explained — IBM Technology