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

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

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

Bell 부등식은 국소 숨은 변수 이론이 반드시 만족해야 할 통계적 한계를 수식으로 정식화한 것으로, 양자역학은 이 한계를 초과할 수 있다고 예측한다. 실험적으로 위반이 거듭 확인됨으로써 자연이 국소 실재론으로는 설명되지 않음이 증명되었다. 이 결과는 장치 독립 양자 암호 등 현대 양자 정보 기술의 이론적 토대를 이룬다.

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

먼저 읽으면 좋은 용어

개념 소개

1935년 아인슈타인, 포돌스키, 로젠(EPR)은 양자역학의 완전성에 의문을 제기했다. 서로 멀리 떨어진 두 입자가 얽힘 상태에 있을 때, 한쪽을 측정하는 순간 반대쪽 상태가 즉각 결정된다는 점이 인과율과 충돌한다는 것이다. EPR은 이를 해결하기 위해 아직 발견되지 않은 **숨은 변수(hidden variable)**가 존재하여 결과를 미리 결정짓는다고 주장했다.

1964년 존 스튜어트 벨(John S. Bell)은 국소 숨은 변수 이론이 참이라면 측정 상관 계수가 특정 한계를 넘을 수 없음을 수학적으로 보였다. 이 한계가 바로 Bell 부등식이다.


핵심 원리

국소 실재론은 두 가지 가정에 기반한다.

  • 국소성(Locality): 한 곳의 측정이 공간적으로 분리된 다른 곳에 즉각적인 물리적 영향을 줄 수 없다.
  • 실재론(Realism): 측정 이전에도 물리량은 확정된 값을 가진다.

CHSH 부등식은 Bell 부등식의 실험 가능한 형태다. Alice와 Bob이 각각 두 측정 기저 , 를 독립적으로 선택할 때, 상관 계수 는 두 결과의 곱의 기댓값으로 정의된다. 국소 숨은 변수 이론에서는 반드시

이 성립한다. 반면 양자역학에서 싱글릿 상태 의 상관 계수는

로 주어지며, 최적 각도 를 대입하면

이 되어 고전 한계 2를 명확히 초과한다. 이 양자역학적 상한을 **치렐손 한계(Tsirelson bound)**라 한다.


예시·응용

실험적 검증

1982년 알랭 아스페(Alain Aspect) 팀은 칼슘 원자에서 방출된 광자 쌍으로 CHSH 부등식 위반을 통계적으로 확인했다. 이후 탐지 효율 허점(detection loophole)과 국소성 허점(locality loophole)을 동시에 닫은 실험들이 진행되었고, 2015년 TU Delft 팀의 허점 없는(loophole-free) 실험이 국소 실재론의 불가능성을 강력히 입증했다. 이 공로로 클라우저·아스페·차일링거는 2022년 노벨 물리학상을 수상했다.

응용: 장치 독립 양자 키 분배(DI-QKD)

비국소 상관은 도청 여부를 물리 법칙 수준에서 검출할 수 있게 한다. 실험에서 가 확인되는 한, 제3자가 통신에 개입하지 않았음이 보장된다. 정보가 빛보다 빠르게 전달되는 것은 아니므로 상대성 이론과 모순되지 않는다.

import numpy as np

def correlation(a, b):
    """싱글릿 상태에서의 양자 상관 계수"""
    return -np.cos(2 * (a - b))

# 최적 각도 (라디안)
a,  ap = 0,          np.pi / 2
b,  bp = np.pi / 4,  3 * np.pi / 4

S = abs(correlation(a, b) - correlation(a, bp)
      + correlation(ap, b) + correlation(ap, bp))

print(f"CHSH S       = {S:.4f}")          # 2.8284
print(f"고전 한계     = 2.0000")
print(f"치렐손 한계   = {2*np.sqrt(2):.4f}")  # 2.8284

정리

Bell 부등식은 자연이 국소 숨은 변수 이론으로 설명 가능한지를 실험으로 판별하는 기준을 제공한다. 수십 년간의 실험들은 위반을 일관되게 보여 주며, 이는 양자 얽힘이 고전적 상관과 근본적으로 다른 비국소 상관임을 뜻한다. 이 비국소성은 정보의 초광속 전달을 허용하지 않지만, 장치 독립 암호와 양자 네트워크에서 핵심 자원으로 활용된다.

Exercises

연습문제

  1. Q1측정 각도 $a=0°,\; a'=45°,\; b=22.5°,\; b'=67.5°$를 사용할 때 싱글릿 상태에서 CHSH 파라미터 $S$를 계산하라. 고전 한계와 비교하시오.

    힌트 보기

    $E(a,b) = -\cos(2(a-b))$를 각 쌍에 적용한 뒤 $|E(a,b)-E(a,b')+E(a',b)+E(a',b')|$를 구한다.

    해설 보기

    각 상관 계수를 계산하면 $E(0°,22.5°)=E(45°,22.5°)=E(45°,67.5°)=-\cos(45°)=-\frac{\sqrt{2}}{2}$, $E(0°,67.5°)=-\cos(135°)=\frac{\sqrt{2}}{2}$. 따라서 $S = |-\frac{\sqrt{2}}{2}-\frac{\sqrt{2}}{2}-\frac{\sqrt{2}}{2}-\frac{\sqrt{2}}{2}| = 2\sqrt{2} \approx 2.828$. 고전 한계 2를 초과하므로 Bell 부등식이 위반된다.

  2. Q2Bell 부등식 위반이 정보의 초광속 전달을 의미하지 않는 이유를 논하라.

    해설 보기

    Alice가 자신의 측정 결과로 얻는 값은 무작위이며, Bob 역시 마찬가지다. 두 결과를 모아 상관을 계산해야만 비국소성이 드러나는데, 이 비교 과정은 고전 통신(빛보다 느린 채널)을 반드시 필요로 한다. 따라서 측정 결과 자체에는 Alice가 선택한 기저 정보가 담기지 않으며, Bob이 단독으로 관측한 데이터만으로는 Alice의 행동을 알 수 없다. 비국소 상관은 존재하지만 그 상관을 통해 정보를 보낼 수 없으므로 특수 상대성 이론과 모순되지 않는다.

관련 용어

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

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분 읽기