양자컴퓨터 (Quantum Computer)

비유하자면 양자컴퓨터는 "아주 특수한 형태의 연립방정식만 푸는 초고속 전용 풀이기"다. 일반 노트북을 대체하는 기계가 아니라, 슈퍼컴퓨터 옆에 붙는 가속기(co-processor)로 동작할 가능성이 가장 크다.

2.1 비트(bit)와 큐비트(qubit) — 정보의 단위 자체가 다르다

고전 비트는 켜짐(1) / 꺼짐(0) 두 상태 중 하나만 가진다. 트랜지스터의 전압이 임계치 위면 1, 아래면 0이다.

큐비트(qubit)는 측정하기 전까지는 \( |0\rangle \)과 \( |1\rangle \)의 중첩(superposition) 상태에 있다:

\( |\psi\rangle = \alpha\,|0\rangle + \beta\,|1\rangle,\quad |\alpha|^2 + |\beta|^2 = 1 \)

여기서 \( \alpha, \beta \)는 복소수 확률진폭(amplitude)이고, 측정 시 \(|0\rangle\)이 관측될 확률이 \(|\alpha|^2\), \(|1\rangle\)이 관측될 확률이 \(|\beta|^2\)다.

2.2 얽힘(entanglement) — 큐비트는 합쳐지면 차원이 폭발한다

n개의 고전 비트는 한 순간에 \(n\)개 값만 표현한다. 반면 n개의 큐비트는 \(2^n\)개의 기저 상태 각각에 대한 진폭을 동시에 들고 있다.

• 10 큐비트 → 1,024개 진폭 동시 표현
• 50 큐비트 → \(2^{50} \approx 10^{15}\) — 고성능 슈퍼컴이 메모리에 겨우 담는 수준
• 100 큐비트 → \(2^{100} \approx 10^{30}\) — 지구상 어떤 슈퍼컴도 메모리에 표현 불가

여기에 얽힘이 더해진다. 두 큐비트가 얽히면 한 쪽을 측정하는 순간 다른 쪽 결과가 결정된다. 즉, 큐비트는 개별이 아니라 하나의 결합 상태로 다뤄야 한다.

2.3 다중 큐비트 상태함수 — 구체적 예시

큐비트가 n개가 되면 상태함수는 \(2^n\)개의 기저(basis)에 대한 진폭들의 합으로 표현된다. 1·2·3 큐비트 케이스를 직접 보자.

① 1 큐비트 — 기저 2개

\( |\psi\rangle = \alpha\,|0\rangle + \beta\,|1\rangle \)

예: \( |\psi\rangle = \tfrac{1}{\sqrt{2}}|0\rangle + \tfrac{1}{\sqrt{2}}|1\rangle \) — 측정 시 0과 1이 각각 50% 확률.

② 2 큐비트 — 기저 4개

일반형:

\( |\psi\rangle = c_{00}|00\rangle + c_{01}|01\rangle + c_{10}|10\rangle + c_{11}|11\rangle \)

여기서 \( |c_{00}|^2 + |c_{01}|^2 + |c_{10}|^2 + |c_{11}|^2 = 1 \) (정규화 조건).

③ 3 큐비트 — 기저 8개

\( |\psi\rangle = c_{000}|000\rangle + c_{001}|001\rangle + c_{010}|010\rangle + c_{011}|011\rangle + c_{100}|100\rangle + c_{101}|101\rangle + c_{110}|110\rangle + c_{111}|111\rangle \)

유명한 GHZ 상태:

\( |\text{GHZ}\rangle = \tfrac{1}{\sqrt{2}}\big(|000\rangle + |111\rangle\big) \)

세 큐비트가 한 운명으로 묶여, 한 개를 측정하는 즉시 나머지 두 개의 결과가 모두 결정된다.

④ 일반화 — n 큐비트

\( |\psi\rangle = \displaystyle\sum_{x \in \{0,1\}^n} c_x\,|x\rangle,\quad \sum_x |c_x|^2 = 1 \)

n=3이면 합 안에 8항, n=10이면 1,024항, n=50이면 \(2^{50} \approx 10^{15}\)항이 동시에 들어 있는 셈. 양자 알고리즘은 이 \(2^n\)개의 진폭 \( c_x \) 를 유니터리 변환으로 한꺼번에 회전시켜, 정답에 해당하는 \( c_x \) 만 크게 만든다.

2.4 비교표

양자컴퓨터의 "빠르다"는 클럭이 빠르다는 의미가 아니다. 오히려 양자 게이트는 GHz급 CPU보다 훨씬 느리다(수십 ns ~ μs). 진짜 차이는 같은 문제를 푸는 데 필요한 연산 횟수가 폭발적으로 줄어든다는 것이다.

3.1 양자가 이기는 4대 영역

3.2 왜 빨라지는가 — 간섭의 직관

가장 좋은 비유는 "파동을 동원한 병렬 탐색"이다. \(2^n\)개의 가능한 답에 대응되는 진폭들이 회로 안에서 동시에 진행하면서, 정답 경로끼리는 보강 간섭, 오답 경로끼리는 상쇄 간섭이 일어나도록 설계한다. 측정 직전에 정답의 진폭만 크게 남는다.

"큐비트를 무엇으로 만들까"는 양자컴퓨터의 거의 모든 특성(속도·정확도·확장성·온도·가격)을 결정짓는다. 현재 상용·연구되는 주요 방식은 6가지.

4.1 방식별 핵심 특성

4.2 같은 초전도 안에서도 — Google vs IBM의 노선 차이

초전도 큐비트는 IBM·Google이 함께 주도하지만, 두 회사는 물리적 큐비트 종류, 칩 격자, 게이트 구현, 우선순위가 모두 다르다.

4.3 초전도 큐비트는 어떻게 "양자 상태"를 가지는가

이온트랩이나 중성원자처럼 진짜 단일 원자/이온의 양자 상태를 쓰는 방식은 직관적이다. 그런데 초전도 큐비트는 실리콘 칩 위에 마이크로미터 단위로 그려진 금속 회로다. 안에는 수십억 개의 원자와 자유전자가 들어 있다. 이런 거시적 물체가 어떻게 \(|0\rangle\), \(|1\rangle\)의 중첩 같은 양자 상태를 가질 수 있을까?

답은 "개별 전자 하나"가 아니라, 모든 자유전자가 한 덩어리로 묶여서 만드는 *집단적인 양자 상태*"다.

① 첫 번째 비결 — 초전도와 쿠퍼쌍

금속을 임계온도 \(T_c\) 아래로 냉각하면(알루미늄: 1.2 K, 니오븀: 9.3 K), 자유전자들이 격자 진동(포논)을 매개로 2개씩 짝을 이룬다. 이 짝을 쿠퍼쌍(Cooper pair)이라 부른다.

• 전자 하나는 페르미온(서로 같은 양자상태 불가) → 양자 상태로 묶이지 않는다.
• 쿠퍼쌍 한 쌍은 보손처럼 행동 → 수십억 쌍이 모두 같은 양자 상태에 모일 수 있다 (보스-아인슈타인 응축 유사).
• 이 응축체는 하나의 거대한 파동함수 \(\Psi(\vec{r}) = \sqrt{\rho}\,e^{i\phi}\) 로 기술된다. 즉, 칩 위의 초전도 금속 전체가 하나의 양자 객체가 된다.

② 두 번째 비결 — 조셉슨 접합이라는 비선형 소자

초전도 박막 두 개 사이에 1~2 나노미터 두께의 절연체(보통 산화알루미늄)를 끼우면 조셉슨 접합(Josephson junction)이 된다. 쿠퍼쌍이 절연체를 양자역학적 터널링으로 넘나든다.

• 고전적으로는 절연체라 전류가 흐를 수 없지만, 쿠퍼쌍의 거대 파동함수는 절연체를 위상 차 \(\Delta\phi\) 에 따라 비선형적으로 관통한다.
• 이 비선형성 덕분에 에너지준위 간격이 일정하지 않게 된다 — 즉, 가장 낮은 두 준위 \(|0\rangle, |1\rangle\) 만 마이크로파로 콕 집어 골라 쓸 수 있다.
• 일반 LC 회로(코일+축전기)는 에너지준위가 등간격이라 0,1을 따로 골라낼 수 없다. 조셉슨 접합이 비선형성을 공급하는 것이 초전도 큐비트의 핵심.

③ 그래서 큐비트의 "0과 1"은 뭔가

트랜스몬(transmon, 가장 널리 쓰이는 초전도 큐비트)의 \(|0\rangle\)과 \(|1\rangle\)은 이 거대 파동함수가 가지는 가장 낮은 두 에너지 준위다. 마이크로파 펄스를 정확히 그 두 준위 사이 에너지 차 \(\hbar\omega_{01}\) (약 4~7 GHz) 에 해당하는 주파수로 쏘면, 큐비트가 \(|0\rangle\)에서 \(|1\rangle\)로 회전한다. 펄스 길이를 조절해 180° 회전(X 게이트), 90° 회전(중첩 생성) 등을 구현한다.

4.4 그래서 Google 칩도 극저온이다 — 희석냉동기 이야기

Google Willow를 포함한 모든 초전도 양자컴퓨터는 상온에서 동작하지 않는다. 정확히 말하면 칩이 들어 있는 공간이 약 10~20 mK (밀리켈빈, 0.01~0.02 K) 다. 25°C는커녕 영하 273.13°C로, 절대영도(0 K, -273.15°C)에 0.01 K밖에 떨어지지 않은 온도다.

왜 그렇게 차가워야 하는가

1. 초전도 자체 유지: 알루미늄의 임계온도 \(T_c \approx 1.2\) K. 이 아래여야 쿠퍼쌍이 생긴다.
2. 열 잡음 < 양자 에너지: 큐비트 에너지 간격 \(\hbar\omega_{01}\)이 약 \(2\times 10^{-24}\) J. 이걸 열에너지 \(k_B T\) 로 환산하면 \(T \approx 250\) mK. 즉 열요동만으로 \(|0\rangle\)이 \(|1\rangle\)로 들떠 올라가는 걸 막으려면 그보다 한참 낮아야한다. 10~20 mK가 그 기준.
3. 흑체복사 차단: 상온 물체는 마이크로파 영역에도 흑체복사를 낸다. 그 광자가 큐비트를 들뜨게 한다. 극저온 차폐가 필수.

희석냉동기(Dilution Refrigerator)

이 온도는 보통의 냉장고로 만들 수 없다. 희석냉동기라는 특수 장비가 필요하다:

• 헬륨-3과 헬륨-4 두 동위원소의 혼합물을 사용. 두 액체가 분리되는 경계에서 \(^3\)He 원자가 \(^4\)He 풍부 영역으로 "용해"될 때 엔탈피 흡열이 일어남 — 이게 냉각의 원천.
• 여러 단계의 열교환기로 단계적 냉각: 300 K → 50 K → 4 K → 1 K → 100 mK → 10 mK
• 전형적인 양자컴퓨터 사진에서 보이는 샹들리에처럼 생긴 황금색 구조물이 바로 희석냉동기 내부 — 큐비트 칩은 그 맨 아래 가장 추운 단에 매달려 있다.
• 대당 가격: 약 5~10억 원, 무게 수백 kg, 냉각에 24~48시간 소요.

업체별 노선은 곧 "어떤 큐비트 방식에 베팅했는가"다. 같은 초전도라도 IBM과 Google은 아키텍처가 다르고, 이온트랩 안에서도 IonQ와 Quantinuum이 다르다.

5.1 게이트형 양자컴퓨터 (Gate-based)

5.2 양자 어닐러 — 다른 카테고리

5.3 국내

고전 컴퓨터에 명령을 주는 단위가 "기계어 명령(instruction)"이라면, 양자컴퓨터는 "양자 회로(quantum circuit)" 단위로 명령한다. 즉, "이 큐비트들에 어떤 게이트를 어떤 순서로 걸어라"를 한 묶음으로 전달한다.

6.1 추상적 흐름 — 4단계

6.2 명령의 단위 = 양자 게이트

고전 컴퓨터의 NAND처럼, 양자에도 몇 개의 기본 게이트만으로 임의 연산을 구성할 수 있는 보편 게이트셋이 있다. 대표적으로 { H, T, CNOT }.

6.3 실제 코드 — Qiskit으로 본 벨 상태(얽힘 한 쌍)

from qiskit import QuantumCircuit, transpile
from qiskit_aer import AerSimulator

qc = QuantumCircuit(2, 2)
qc.h(0)              # 큐비트 0에 하다마드 → 중첩
qc.cx(0, 1)          # CNOT(0→1) → 두 큐비트 얽힘
qc.measure([0, 1], [0, 1])

backend = AerSimulator()
result = backend.run(transpile(qc, backend), shots=1000).result()
print(result.get_counts())
# {'00': ~500, '11': ~500}  ← 01, 10 은 거의 나오지 않음 (얽힘 증거)

위 코드는 두 큐비트를 얽혀서 "같이 0, 또는 같이 1"만 관측되도록 만든다. 측정 결과가 항상 같다는 점이 얽힘의 직접 증거다. 한 번 실행으로 한 비트열만 나오므로, 분포를 보려면 shots(반복 횟수)를 1,000회 이상 돌린다.

6.4 회로 다이어그램 표기

6.5 같은 회로의 텍스트 IR — OpenQASM 3

OPENQASM 3;
include "stdgates.inc";

qubit[2] q;
bit[2]  c;

h q[0];
cx q[0], q[1];
c = measure q;

OpenQASM은 사실상의 "양자 어셈블리"다. Python SDK(Qiskit, Cirq)는 결국 이런 IR로 컴파일된 뒤, 업체 하드웨어 게이트셋(IBM은 {ECR, sx, rz}, Google은 {√iSWAP, …} 등)으로 한 번 더 변환된다.

6.6 하드웨어로 가는 마지막 변환 — 펄스

최종적으로 큐비트가 받는 것은 게이트 기호가 아니라 물리적 신호다:

• 초전도: 정밀한 마이크로파 펄스 (수 GHz, 수십 ns)를 큐비트의 공명 주파수로 인가
• 이온트랩: 특정 파장의 레이저 펄스로 이온의 내부 상태를 라만 전이
• 중성원자: 광 핀셋 + 리드베리 들뜸용 레이저
• 광자: 도파로·빔스플리터·위상천이기 같은 광학 소자 + 단일광자 검출

6.7 변분 알고리즘 — 양자와 고전이 함께 도는 루프

오늘날 NISQ(noisy intermediate-scale quantum) 시대의 대표 사용 패턴은 변분 알고리즘(VQE, QAOA)이다. 양자 회로가 파라미터를 가진 회로이고, 고전 옵티마이저가 그 파라미터를 갱신한다 — 양자가 단발성 정답기가 아니라 "양자 서브루틴"으로 호출되는 구조.

6.8 어닐러는 명령 방식이 다르다

고전 컴퓨터에서 "에러"는 매우 드물다 — 메모리에서 비트 하나가 우주선(cosmic ray)에 맞아 뒤집히는 정도. 반면 양자컴퓨터에서 에러는 "가끔 일어나는 사고"가 아니라 매 게이트마다 따라붙는 상수다. 양자 에러의 정체를 정리해 보자.

7.1 양자 에러의 두 얼굴 — 디코히런스와 게이트 오류

큐비트가 "이상적인" 동작에서 벗어나는 두 가지 큰 원인:

7.2 양자 에러의 종류 — 비트 플립과 위상 플립

고전 비트 에러는 비트 플립 한 종류뿐이다(0↔1). 양자엔 한 종류가 더 있다:

7.3 왜 고전 ECC가 안 통하나 — 복제 불가 정리

고전에서는 비트를 3번 복제(0 → 000, 1 → 111)해두고 다수결로 복원한다. 양자에는 이게 안 된다:

"복사도 안 되고, 읽지도 못한다"는 두 제약 위에서 어떻게 에러를 잡을까?

7.4 양자오류정정(QEC) — 직접 안 읽고 증후군만 읽는다

해법은 여러 물리 큐비트에 정보를 분산 저장하고, 데이터 큐비트는 건드리지 않은 채 보조(ancilla) 큐비트로 "에러가 있었나?"라는 질문만 던지는 것. 이 질문의 결과를 증후군(syndrome)이라 한다.

7.5 임계 정리 (Threshold Theorem) — 오류율이 임계점만 넘기면

7.6 비용 — 논리 1개에 물리 1,000개

• 현재 표면코드에서 논리 큐비트 1개 ≈ 물리 큐비트 1,000~10,000개
• RSA-2048 해독에 필요한 논리 큐비트 ~4,000개 → 물리 큐비트 ~2,000만 개 필요 (Gidney–Ekerå 2019)
• 이게 양자 시대가 "10년 더" 걸리는 핵심 이유

대안 부호(qLDPC, color code, bosonic code 등)는 오버헤드를 1/10~1/100로 줄일 수 있어 IBM·AWS가 활발히 연구 중.

7.7 왜 에러 관리가 그렇게 "큰 도전"인가

양자 에러 관리는 양자컴퓨터 상용화의 가장 큰 단일 장애물이다. 어려운 이유를 한 번에 모아본다:

7.8 그래서 — 초전도가 정말 에러에 유리한가?

방식별 비교 — 같은 표를 에러 관점에서 다시 본다

초전도의 진짜 장점은 "충실도"가 아니라 "사이클 속도와 격자 적합성"

1. 빠른 게이트 = 빠른 QEC 사이클: 표면코드는 결맞음 시간 동안 증후군을 수십~수백 번 측정해야 한다. 초전도는 게이트가 25 ns로 빨라서 100 μs 결맞음 안에 수천 사이클 가능. 이온트랩은 게이트가 μs 단위라 같은 시간에 사이클 수가 부족하다.
2. 2D 격자에 잘 맞는 구조: 표면코드는 큐비트가 2D 정사각 격자로 배치되고 이웃끼리만 게이트하면 된다. 초전도는 칩 위에 그리면 끝. 이온트랩은 이온이 사슬로 정렬되거나 셔틀링으로 이동해야 해서 2D 격자가 어렵다.
3. 반도체 공정 활용: 초전도 큐비트는 기본적으로 알루미늄 박막 패터닝이라 기존 반도체 팹으로 만들 수 있다. 이온트랩은 트랩 칩+레이저+진공장비를 사이즈업해야 함.

그래서 어떻게 정리해야 하나

8.1 NISQ — 시끄러운 중간 규모

현재(2026) 우리는 NISQ 시대에 있다. 큐비트 수는 100~1,000개 수준이고, 물리 큐비트 1개의 게이트 오류율이 0.1~1%다. 깊은 회로(수천 게이트)는 노이즈에 묻혀 신호가 사라진다.

8.2 최근 QEC 마일스톤

• 2024 Google Willow: 거리 5 → 거리 7 코드로 갈수록 논리 오류 ~2배씩 감소 (임계점 돌파)
• 2024 Quantinuum: 12 논리 큐비트 시연
• 2025 Microsoft Majorana 1 칩 발표 — 위상학적 큐비트 후보
• RSA-2048을 깨기 위해서는 ~2,000만 물리 큐비트가 필요하다는 추정 (Gidney–Ekerå 2019)

8.3 "양자 우위"와 "양자 이점"

8.4 결론 — 사용자 관점에서