10월 1일 (목)양자 뉴스·논문·데이터를 매일 검증해 한국어로 전합니다

튜토리얼 목록
Tutorial중급양자역학

Bell 부등식과 비국소성: 양자 얽힘의 실험적 검증

Bell 부등식은 국소 숨은 변수 이론과 양자역학을 실험적으로 구별하는 수학적 기준이다. 얽힌 입자쌍에 대한 측정 상관관계가 이 부등식을 위반함으로써, 자연이 국소 실재론으로 기술될 수 없음이 입증되었다. 이 결과는 양자 암호와 양자 통신 프로토콜의 이론적 토대를 제공한다.

난이도 중급4분 읽기연습문제 3개

먼저 읽으면 좋은 용어

개념 소개

1935년 Einstein, Podolsky, Rosen(EPR)은 양자역학의 완전성에 의문을 제기하는 사고 실험을 발표했다. 멀리 떨어진 두 입자가 얽혀 있을 때, 한쪽을 측정하는 순간 다른 쪽의 상태가 즉각 결정되는 현상은 "유령 같은 원거리 작용(spooky action at a distance)"처럼 보인다. EPR은 이를 설명하기 위해 **숨은 변수(hidden variable)**가 존재할 것이라 주장했다—입자들이 측정 이전부터 이미 결과를 내부적으로 결정해 두고 있다는 것이다.

1964년 John Stewart Bell은 이 두 관점을 실험으로 구별할 수 있는 수학적 부등식을 도출했다. 국소 숨은 변수 이론이 옳다면 측정 결과의 상관관계는 특정 한계를 넘을 수 없지만, 양자역학의 예측은 그 한계를 초과한다. 이것이 Bell 부등식의 핵심이다.


핵심 원리

국소 실재론의 가정

Bell 부등식은 두 가지 가정을 전제로 한다.

  • 국소성(locality): 한 측정 장치의 설정이 멀리 떨어진 다른 장치의 결과에 영향을 줄 수 없다.
  • 실재론(realism): 측정 이전에도 물리량은 확정된 값을 가진다.

이 두 가정을 합쳐 **국소 실재론(local realism)**이라 한다.

CHSH 부등식

가장 널리 쓰이는 형태는 Clauser–Horne–Shimony–Holt(CHSH) 부등식이다. 두 관측자 Alice와 Bob이 각각 측정 방향 (Alice)와 (Bob)를 선택할 때, 상관 함수를 다음과 같이 정의한다.

여기서 는 각 측정 결과다. CHSH 매개변수는

이며, 국소 실재론 하에서는 반드시

가 성립한다. 반면 양자역학은 최대

까지 허용하며, 이를 Tsirelson 한계라 한다. 고전 한계와 양자 한계 사이의 이 간극이 실험적으로 검증 가능한 예측 차이를 만든다.

최적 측정 각도

싱글릿 상태 에서의 상관 함수는

형태를 취한다. 로 설정하면 가 달성된다. 고전적인 어떤 확률 모델도 이 패턴을 재현할 수 없다.


예시·응용

실험적 검증

실험은 주로 편광 얽힘 광자쌍을 사용한다. 얽힌 광자 두 개를 서로 반대 방향으로 보내고, Alice와 Bob이 각각 편광판 각도를 독립적으로 선택해 검출 결과를 기록한 뒤 상관관계를 계산한다.

대표적인 실험 흐름:

  1. Aspect 실험(1982): 얽힌 광자쌍을 이용해 최초로 통계적으로 유의한 CHSH 위반을 관측.
  2. 루프홀 없는 실험(2015년 전후): 검출 효율 루프홀과 국소성 루프홀을 동시에 닫은 실험들이 수행되어, 국소 실재론이 실험적으로 배제됨.
import numpy as np

def chsh_quantum(a, a_prime, b, b_prime):
    """싱글릿 상태에서 CHSH 매개변수 계산 (각도 단위: 도)"""
    E = lambda theta: -np.cos(np.radians(theta))
    S = (E(a - b) - E(a - b_prime)
         + E(a_prime - b) + E(a_prime - b_prime))
    return S

# 최적 각도: a=0, a'=90, b=45, b'=135
S = chsh_quantum(a=0, a_prime=90, b=45, b_prime=135)
print(f"CHSH S값:  {S:.4f}")   # ≈ 2.8284 (= 2√2)
print(f"고전 한계: 2.0000")
print(f"위반 여부: {'예' if abs(S) > 2 else '아니오'}")

양자 정보에서의 응용

Bell 부등식 위반은 철학적 논쟁을 넘어 실용적 의미를 갖는다.

  • 장치 무관 양자 키 분배(DI-QKD): Bell 위반을 보안 증명의 근거로 삼아, 장치 자체를 신뢰하지 않아도 안전성을 보장한다.
  • 양자 난수 생성: 비국소 상관관계로부터 검증 가능한 진정한 무작위성을 추출한다.
  • 얽힘 증인(entanglement witness): Bell 위반은 얽힘 존재의 직접적 실험 증거로 활용된다.

정리

Bell 부등식은 "양자역학이 국소 숨은 변수로 대체될 수 있는가"라는 물음에 실험적 답을 제공한다. CHSH 부등식의 고전 한계 와 양자 한계 사이의 간극은 자연의 비국소성을 드러내며, 반복된 실험이 이를 일관되게 확인했다. 이 결과는 양자역학이 불완전한 통계적 기술이 아님을 의미하며, 동시에 양자 정보 기술의 근간을 이룬다.

Exercises

연습문제

  1. Q1국소 실재론 하에서 CHSH 매개변수 $|S| \leq 2$임을 간략히 논증하라.

    힌트 보기

    $A(a), A(a'), B(b), B(b') \in \{+1, -1\}$일 때, $B(b) - B(b')$와 $B(b) + B(b')$ 두 값의 가능한 조합을 모두 나열해 보라.

    해설 보기

    각 측정값이 $\pm 1$이므로, $B(b)$와 $B(b')$가 같으면 $B(b)-B(b')=0,\ B(b)+B(b')=\pm 2$이고, 다르면 $B(b)-B(b')=\pm 2,\ B(b)+B(b')=0$이다. 따라서 $A(a)[B(b)-B(b')] + A(a')[B(b)+B(b')]$는 항상 $\pm 2$이다. 기댓값을 취하면 $|S| \leq 2$가 성립한다.

  2. Q2싱글릿 상태 $|\Psi^-\rangle$에서 Alice의 측정 방향이 $0°$이고 Bob의 측정 방향이 $60°$일 때, 상관 함수 $E(0°, 60°)$를 계산하라.

    해설 보기

    싱글릿 상태에서 상관 함수는 $E(\theta_{ab}) = -\cos(\theta_{ab})$이다. 두 방향의 각도 차이가 $60°$이므로, $E(0°, 60°) = -\cos(60°) = -\dfrac{1}{2}$이다.

  3. Q3Bell 실험에서 "검출 루프홀(detection loophole)"이란 무엇이며, 실험 결과 해석에 어떤 영향을 미치는가?

    해설 보기

    검출 루프홀은 실험에서 모든 광자쌍이 검출되지 않을 때 발생한다. 검출되지 않은 사건들이 체계적으로 편향되어 있다면, 국소 숨은 변수 모델도 Bell 위반처럼 보이는 결과를 만들어낼 수 있다. 이를 차단하려면 충분히 높은 검출 효율(약 83% 이상)이 필요하며, 2015년 전후의 루프홀 없는 실험들은 이 기준을 충족해 검출 루프홀을 닫았다.

관련 용어

이 챕터는 Claude (claude-sonnet-4-6)가 작성했습니다. · 발행 2026. 7. 1.

Keep Learning

다음으로 볼 튜토리얼

전체보기
중급

양자통신

포스트양자암호(PQC) 기초: 양자 시대를 대비하는 암호 설계

포스트양자암호(PQC)는 충분한 규모의 양자 컴퓨터가 등장해도 안전하도록 설계된 고전 알고리즘 기반 암호 체계다. RSA·ECC 등 현행 공개키 암호의 취약점을 수학적 난제로 보완하며, NIST의 표준화를 통해 실용화 단계에 진입했다.

4분 읽기

중급

양자통신

PQC(포스트양자암호) 기초: 양자 시대의 암호 보안

양자 컴퓨터의 발전으로 RSA, ECC 등 현재의 공개키 암호 체계가 근본적인 위협에 직면했다. 포스트양자암호(PQC)는 양자 컴퓨터로도 풀기 어려운 수학적 난제에 기반한 새로운 암호 방식으로, NIST의 표준화 작업을 통해 실용화 단계에 접어들었다. PQC는 기존 통신 인프라 위에서 동작하므로 양자키분배(QKD)와는 구별되는 상호 보완적인 접근이다.

4분 읽기

고급

양자컴퓨팅

변분 양자 고유값 계산(VQE): 원리와 구현

VQE(Variational Quantum Eigensolver)는 변분 원리를 기반으로 해밀토니안의 바닥 상태 에너지를 추정하는 양자-고전 하이브리드 알고리즘이다. 매개변수화 양자 회로(Ansatz)로 시험 상태를 준비하고 고전 최적화기로 에너지를 최소화하는 반복 루프를 구성한다. 깊이가 얕은 회로를 사용하므로 NISQ 장치에서 실행 가능한 현실적 양자 알고리즘으로 평가받는다.

6분 읽기

고급

양자컴퓨팅

QAOA: 조합 최적화를 위한 양자 근사 최적화 알고리즘

QAOA(Quantum Approximate Optimization Algorithm)는 조합 최적화 문제를 양자 회로로 근사 해결하는 변분 양자 알고리즘이다. 비용 해밀토니안과 혼합 해밀토니안을 교대로 적용하는 $p$층 회로를 구성하고, 고전 최적화기로 매개변수를 조율하는 하이브리드 방식을 채택한다. MaxCut, 포트폴리오 최적화 등 NP-난해 문제에 대한 근사 해를 NISQ 장치에서 탐색하는 데 활발히 연구되고 있다.

5분 읽기