복제 불가 정리

편집 역사 토론
양자역학 물리 마지막 수정: 2026-08-31 04:47:09

1. 개요[편집]

복제 불가 정리
No-Cloning Theorem
주장임의의 미지 양자상태를 복제하는 유니터리는 없다
증명 도구선형성 (또는 유니터리성) — 그게 전부다
출처우터스·주렉, 디크스 (1982)
예외서로 직교하는 상태들은 복제 가능
최적 근사 복제보편 1→2 복제기 충실도 5/6
친척 정리no-broadcasting · no-deleting
따라 나오는 것QKD 보안 · 반복부호 봉쇄 · 초광속 통신 불가

양자역학이 정보 이론에 부과한 가장 짧고 가장 비싼 제약. 증명은 두 줄인데, 그 두 줄이 양자 컴퓨팅 실무의 절반을 규정한다.

복제 불가 정리는 임의의 미지 양자상태 ∣ψ⟩|\psi\rangle 를 받아 그 사본 두 벌 ∣ψ⟩∣ψ⟩|\psi\rangle|\psi\rangle 을 만들어 내는 유니터리 연산은 존재하지 않는다는 정리다. Ctrl+C·Ctrl+V 가 물리 법칙에 의해 금지되어 있다는 뜻이고, 고전 정보와 양자 정보를 가르는 가장 근본적인 경계선이다.

주의할 점은 이 정리가 금지하는 것이 “미지의” 임의 상태를 “정확히” 복제하는 것이라는 점이다. 상태가 무엇인지 이미 알고 있으면 그냥 그 상태를 다시 준비하면 되고(복제가 아니라 재제작이다), 서로 직교하는 상태들만 다루기로 약속했으면 복제하는 유니터리가 실제로 존재한다. 고전 비트가 복사되는 이유가 정확히 이것이다 — 0과 1은 직교한다.

정리는 1982년 우터스와 주렉, 그리고 독립적으로 디크스가 발표했다. 계기가 재미있는데, 얽힘을 이용해 초광속 통신을 하겠다는 제안이 나돌던 것을 반박하는 과정에서 나왔다.1 다만 같은 내용이 그보다 10여 년 앞선 논문에 이미 있었다는 점은 뒤늦게 확인됐다.2

2. 두 줄 증명[편집]

증명에 쓰이는 것은 양자역학의 선형성 하나뿐이다. 물리적 가정도, 측정 이론도, 상보성도 필요 없다.

복제 유니터리 UU 가 존재한다고 하자. 즉 어떤 고정된 빈 상태(blank) ∣s⟩|s\rangle 에 대해 모든 ∣ψ⟩|\psi\rangle 에서

U(∣ψ⟩⊗∣s⟩)=∣ψ⟩⊗∣ψ⟩U\bigl(|\psi\rangle \otimes |s\rangle\bigr) = |\psi\rangle \otimes |\psi\rangle

가 성립한다고 가정한다. 그러면 계산기저의 두 상태에 대해서도 성립하므로

U(∣0⟩∣s⟩)=∣0⟩∣0⟩,U(∣1⟩∣s⟩)=∣1⟩∣1⟩U\bigl(|0\rangle|s\rangle\bigr) = |0\rangle|0\rangle, \qquad U\bigl(|1\rangle|s\rangle\bigr) = |1\rangle|1\rangle

이다. 이제 중첩 상태 ∣ψ⟩=12(∣0⟩+∣1⟩)|\psi\rangle = \tfrac{1}{\sqrt2}\bigl(|0\rangle + |1\rangle\bigr) 를 넣어 보자. UU 는 선형이므로 결과는 두 항의 합으로 결정된다.

U(∣ψ⟩∣s⟩)=12(U∣0⟩∣s⟩+U∣1⟩∣s⟩)=12(∣0⟩∣0⟩+∣1⟩∣1⟩)U\bigl(|\psi\rangle|s\rangle\bigr) = \tfrac{1}{\sqrt2}\Bigl( U|0\rangle|s\rangle + U|1\rangle|s\rangle \Bigr) = \tfrac{1}{\sqrt2}\bigl(|0\rangle|0\rangle + |1\rangle|1\rangle\bigr)

그런데 복제가 요구하는 답은

∣ψ⟩∣ψ⟩=12(∣0⟩+∣1⟩)(∣0⟩+∣1⟩)=12(∣00⟩+∣01⟩+∣10⟩+∣11⟩)|\psi\rangle|\psi\rangle = \tfrac12\bigl(|0\rangle+|1\rangle\bigr)\bigl(|0\rangle+|1\rangle\bigr) = \tfrac12\bigl(|00\rangle + |01\rangle + |10\rangle + |11\rangle\bigr)

이다. 앞의 것은 최대로 얽힌 벨 상태이고 뒤의 것은 곱 상태다. 두 벡터는 같지 않다. 모순. 끝.

같은 결론을 유니터리성으로도 얻을 수 있고, 이쪽이 왜 직교 상태만 예외인지를 더 선명하게 보여 준다. 두 상태 ∣ψ⟩,∣ϕ⟩|\psi\rangle, |\phi\rangle 을 복제한다고 하면 내적이 보존되어야 하므로

⟨ψ∣ϕ⟩=(⟨ψ∣⟨s∣)U†U(∣ϕ⟩∣s⟩)=⟨ψ∣ϕ⟩2\langle\psi|\phi\rangle = \bigl(\langle\psi|\langle s|\bigr) U^\dagger U \bigl(|\phi\rangle|s\rangle\bigr) = \langle\psi|\phi\rangle^2

x=x2x = x^2 의 해는 x=0x=0 또는 x=1x=1 뿐이다. 즉 복제 가능한 상태쌍은 서로 직교하거나(부호를 무시하면) 아예 같은 상태여야 한다. 임의의 미지 상태 집합은 일반적으로 비직교 쌍을 포함하므로 복제기가 존재할 수 없다.

두 증명 모두 ”UU 가 유니터리”라는 것 외에는 아무것도 쓰지 않았다는 점이 이 정리의 힘이다. 더 일반적인 물리적 연산(측정과 보조계를 포함하는 CPTP 사상)으로 넓혀도 결론은 살아남으며, 그 확장이 아래의 no-broadcasting 정리다.

3. 무엇을 금지하지 않는가[편집]

이 정리는 자주 과잉 해석된다. 다음은 전부 허용된다.

  • 직교 집합의 복제. {∣i⟩}\{|i\rangle\} 가 정규직교라면 ∣i⟩∣0⟩↦∣i⟩∣i⟩|i\rangle|0\rangle \mapsto |i\rangle|i\rangle 을 실현하는 유니터리가 존재한다. 양자 게이트 중 CNOT 이 바로 이 일을 한다 — 계산기저만 복사한다. ∣+⟩|+\rangle 을 넣으면 사본이 아니라 벨 상태가 나오고, 이것이 위 증명의 물리적 실체다.
  • 알려진 상태의 재준비. 고전 정보로 기술된 상태는 몇 벌이든 만들 수 있다. QKD 에서 앨리스가 같은 상태를 여러 번 보내는 것이 복제 위반이 아닌 이유다.
  • 충실도 1 미만의 근사 복제. 아래 참조.
  • 양자 텔레포테이션. 상태를 옮기지만 원본이 파괴된다. 사본이 둘이 되는 순간이 없으므로 정리와 충돌하지 않는다. 오히려 텔레포테이션 프로토콜에서 원본이 반드시 망가지도록 되어 있는 이유가 복제 불가 정리다.

4. 근사 복제와 확률적 복제[편집]

“정확히 복제할 수 없다”가 “전혀 복제할 수 없다”는 아니다. 두 방향의 완화가 있다.

보편 근사 복제기. 입력 상태에 무관하게 같은 품질의 근사 사본 두 벌을 만드는 기계를 생각할 수 있다. 큐비트 하나를 둘로 복제하는 최적 보편 대칭 복제기의 충실도는 정확히 5/6≈0.8335/6 \approx 0.833 이다. 일반적으로 NN 벌에서 MM 벌을 만드는 최적 충실도는

F(N→M)=NM+M+NM(N+2)F(N \to M) = \frac{NM + M + N}{M(N+2)}

로 알려져 있다. N=1,M=2N=1, M=2 를 넣으면 5/65/6 이 나오고, M→∞M \to \infty 극한에서 F→(N+1)/(N+2)F \to (N+1)/(N+2) 로 수렴한다. 이 극한값은 의미가 깊은데, NN 벌의 사본으로부터 상태를 추정해 다시 준비하는 최적 측정 전략의 충실도와 같다. 즉 “무한히 많이 복제하는 것”과 “재 보고 다시 만드는 것”이 정보이론적으로 동등하다. 복제기가 측정보다 나은 지름길을 제공하지 못한다는 뜻이다.

확률적 정확 복제. 충실도를 낮추는 대신 성공 확률을 낮출 수도 있다. 선형독립인 유한 개의 상태 집합에 대해서는, 어떤 확률로 성공하고 실패하면 실패했다고 알려 주는(heralded) 정확 복제기가 존재한다. 실패를 감춘 채 성공한 척할 수는 없다는 것이 요점이며, 그래서 도청자가 이걸로 QKD 를 깰 수는 없다 — 실패한 펄스에서 상태가 이미 망가져 흔적이 남는다.

5. 친척 정리들[편집]

  • No-broadcasting. 순수상태의 복제 불가를 밀도행렬로 확장한 것이다. 두 상태를 “퍼뜨린다”(각 부분계의 축소밀도행렬이 원래 상태와 같게 만든다)는 더 약한 요구조차도, 두 밀도행렬이 서로 교환할 때에만 가능하다. 교환한다는 것은 공통 고유기저에서 동시에 대각화된다는 뜻, 즉 사실상 고전 확률분포라는 뜻이다. 복제 불가의 진짜 경계선이 “양자성” 자체임을 가장 깔끔하게 보여 주는 진술이다.
  • No-deleting. 반대 방향의 금지다. 같은 미지 상태의 사본 두 벌이 주어졌을 때, 그중 하나를 지워 표준 상태로 되돌리는 유니터리는 존재하지 않는다. 복제 불가와 지움 불가가 짝을 이루어 양자 정보는 만들 수도 없고 없앨 수도 없다는 그림이 완성된다.
  • 정보-교란 상충. 미지 상태에서 정보를 얻으면 반드시 상태를 교란한다는 정량적 진술로, 양자 키 분배의 보안 증명이 실제로 기대는 것은 복제 불가보다 이쪽이다.

6. 결과 1 — 양자 암호[편집]

양자 키 분배의 존재 근거가 이 정리다. 도청자가 광섬유를 지나가는 큐비트를 복사해서 하나는 흘려보내고 하나는 나중에 기저가 공개된 뒤 측정할 수 있다면 BB84 는 즉사한다. 복제가 금지되어 있으므로 도청자는 지금 당장 측정하는 수밖에 없고, 기저를 모르는 상태에서의 측정은 반드시 교란을 남긴다. QKD 의 보안이 계산 난이도가 아니라 물리 법칙에 근거한다는 말의 실체가 이것이다.

같은 이유로 양자 신호는 증폭할 수 없다. 고전 광통신의 중계기는 신호를 복사해 증폭하는 물건인데, 그게 정확히 복제다. 그래서 QKD 의 도달 거리가 손실에 지수적으로 묶이고, 이를 우회하려면 얽힘 교환·증류에 기반한 양자 중계기라는 훨씬 어려운 물건이 필요하다.

7. 결과 2 — 양자 오류 정정이 반복부호를 못 쓰는 이유[편집]

고전 오류 정정의 가장 단순한 방법은 반복부호다. 0 → 000, 1 → 111 로 세 벌 복사해 보내고 다수결한다. 양자에서 이걸 그대로 하려면 ∣ψ⟩→∣ψ⟩∣ψ⟩∣ψ⟩|\psi\rangle \to |\psi\rangle|\psi\rangle|\psi\rangle 이 필요한데, 바로 그것이 금지된 연산이다.

양자 오류 정정이 실제로 하는 일은 복사가 아니라 얽힘으로의 펼침이다. α∣0⟩+β∣1⟩\alpha|0\rangle + \beta|1\rangle 을 α∣000⟩+β∣111⟩\alpha|000\rangle + \beta|111\rangle 로 부호화하는데, 이것은 (α∣0⟩+β∣1⟩)⊗3(\alpha|0\rangle+\beta|1\rangle)^{\otimes3} 과 전혀 다른 상태다. 세 큐비트 각각을 따로 보면 아무 정보도 들어 있지 않고(축소밀도행렬이 완전혼합에 가깝다), 정보는 세 큐비트 사이의 상관에만 저장된다.

여기서 두 번째 제약이 따라온다. 오류를 찾겠다고 상태를 측정하면 중첩이 붕괴한다. 그래서 증후군 측정은 “논리 상태가 무엇인가”를 묻지 않고 “이웃한 두 큐비트가 같은가 다른가”만 묻도록 설계된다. 답이 진폭 α,β\alpha, \beta 에 의존하지 않으므로 상태를 건드리지 않고 오류만 뽑아낼 수 있다. 복제 불가와 측정 붕괴라는 두 금지가 양자 부호의 구조를 거의 강제한다고 말해도 과언이 아니다.

8. 결과 3 — 초광속 통신 불가[편집]

1980년대 초의 발단이 이것이었다. 벨 쌍 12(∣00⟩+∣11⟩)\tfrac{1}{\sqrt2}(|00\rangle+|11\rangle) 을 앨리스와 밥이 나눠 가졌다고 하자. 앨리스가 ZZ 기저로 재면 밥의 큐비트는 ∣0⟩|0\rangle 또는 ∣1⟩|1\rangle 이 되고, XX 기저로 재면 ∣±⟩|\pm\rangle 이 된다. 밥이 자기 큐비트를 복제할 수 있다면 사본을 잔뜩 만들어 통계를 내서 어느 앙상블인지 구별할 수 있고, 그러면 앨리스의 기저 선택이 즉시 전달된다 — 거리에 무관하게, 광속을 무시하고.

복제가 불가능하므로 밥은 큐비트 하나를 한 번 잴 수 있을 뿐이고, 그 결과의 통계는 앨리스가 무엇을 했든 완전히 동일하다(밥의 축소밀도행렬이 I/2I/2 로 고정되어 있다). 얽힘은 상관을 만들지만 신호를 나르지 않는다. 벨 부등식 위반과 숨은 변수 이론 논쟁이 상대성이론과 충돌하지 않고 공존할 수 있는 이유가 여기에 있다.

논리적 관계를 정확히 하자면, 무신호 조건에서 복제 불가가 따라 나오는 것이지 그 역이 자동은 아니다. 하지만 실용적으로는 **“복제할 수 있으면 초광속 통신이 된다, 고로 복제할 수 없다”**는 논증이 이 정리의 가장 유명한 홍보 문구가 됐다.

9. 결과 4 — 양자 시뮬레이션 실무의 재실행 지옥[편집]

이론적 우아함과 별개로, 이 정리는 양자 계산을 실제로 돌리는 사람의 일상을 지배한다.3

  • 체크포인트가 없다. 고전 시뮬레이션이라면 중간 상태를 덤프해 두고 나중에 거기서 이어 붙인다. 양자 레지스터는 복사가 안 되므로 매번 회로를 처음부터 다시 돌려야 한다. 깊은 회로의 중간 지점을 조사하고 싶으면 그 지점까지의 회로를 통째로 재실행한다.
  • 디버깅에 print 문이 없다. 중간 상태를 들여다보면 그 순간 붕괴한다. 관측 가능한 것은 최종 측정 통계뿐이고, 그래서 “이 게이트 다음에 무슨 일이 벌어졌는가”를 알려면 그 지점에서 끊고 양자 상태 단층촬영을 하는데, 단층촬영 자체가 동일하게 준비된 사본을 지수적으로 많이 요구한다. 여기서 말하는 사본은 복제한 것이 아니라 회로를 그만큼 다시 돌려 새로 준비한 것이다.
  • 기댓값 하나가 샷 수천 번. 비가환 관측량은 동시에 못 잰다. 서로 다른 측정 기저마다 회로를 처음부터 다시 실행해야 하고, 통계 오차가 1/Nshot1/\sqrt{N_{\text{shot}}} 로만 줄어드니 소수점 한 자리를 더 얻으려면 샷 수를 100배로 늘려야 한다. 변분 알고리즘의 실행 시간 대부분이 여기서 나간다.
  • 회로에 팬아웃 배선이 없다. 고전 회로도에서는 신호선 하나를 갈라 여러 게이트에 먹이는 것이 공짜지만, 양자 회로에서 선 하나는 큐비트 하나이고 갈라지지 않는다. 회로도가 늘 나란한 가로선의 다발로 그려지는 것은 미학이 아니라 물리적 제약의 그림이다.

고전 시뮬레이터로 양자 회로를 돌릴 때는 이 제약이 전부 사라진다는 점도 짚어 둘 만하다. 상태벡터를 배열로 들고 있으므로 복사도, 저장도, 중간 조사도 자유롭다. “시뮬레이터에서는 되던 것이 실기에서는 안 되는” 항목의 상당수가 복제 불가 정리에서 나온다. 결어긋남이 물리적 한계라면 이쪽은 논리적 한계다.

10. 관련 문서[편집]

11. Footnotes[편집]

  1. 닉 허버트가 1981년에 제출한 FLASH 라는 제안이 그것으로, 얽힌 쌍의 한쪽을 레이저 유도방출로 증폭해 편광 통계를 읽으면 초광속 신호가 된다는 내용이었다. 심사자들이 “틀린 건 알겠는데 어디가 틀렸는지 말을 못 하겠다”는 상태에 빠졌고, 그 어디를 정확히 짚는 과정에서 우터스-주렉과 디크스의 논문이 나왔다. 틀린 논문이 물리학에 기여한 드문 사례로 종종 인용된다. 참고로 유도방출은 실제로 자발방출 광자를 함께 뱉어서 사본의 충실도를 떨어뜨리는데, 그 값이 위의 최적 복제 한계와 무관하지 않다는 점이 재미있다. ↩

  2. 정리의 내용 자체는 1970년 J. L. 파크의 논문에 이미 들어 있었다는 것이 뒤늦게 확인됐다. 아무도 인용하지 않는 저널에 실린 결과가 12년 뒤 재발견되어 분야를 하나 여는 이야기는 이 바닥의 고전 레퍼토리다. ↩

  3. 그래서 양자 컴퓨팅 입문자가 가장 먼저 겪는 문화 충격이 “결과를 찍어 볼 수 없다”는 것이다. 고전 프로그래머의 디버깅 습관 — 변수 찍고, 중간 상태 저장하고, 이상하면 그 지점부터 다시 — 이 세 가지가 전부 봉쇄된다. 남는 것은 통계와 기도뿐이다. ↩