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

용어집
Glossary중급

벨 부등식

Bell inequality

양자 용어 사전난이도 중급1분 읽기

Definition

양자역학이 국소적 숨은 변수 이론으로 설명될 수 없음을 실험적으로 검증하기 위해 존 스튜어트 벨이 1964년에 도출한 통계적 부등식.

직관적 비유

두 사람(앨리스와 밥)이 멀리 떨어진 채로 각자 동전을 받아 결과를 기록한다고 하자. 만약 두 동전이 미리 짜인 규칙(숨은 변수)에 따라 움직인다면, 두 사람의 측정 결과가 일치하는 비율은 수학적으로 일정 한계를 넘을 수 없다. 벨 부등식은 바로 그 한계를 수식으로 표현한 것이다. 양자 얽힘 쌍은 이 한계를 위반하여, '미리 짜인 규칙'만으로는 자연을 설명할 수 없음을 보여준다.

엄밀한 정의

국소 실재론(local realism)을 가정할 때, 두 공간적으로 분리된 계의 측정값 상관함수 $E(a, b)$는 CHSH 형태의 부등식을 만족해야 한다:

$$|E(a,b) - E(a,b') + E(a',b) + E(a',b')| \leq 2$$

반면 양자역학은 최대 $2\sqrt{2} \approx 2.828$까지 허용하며(틸트슨 한계), 실험(아스페 1982, 로우펠트 2015 등)은 양자역학 예측을 지지하며 부등식 위반을 확인하였다.

중요성·응용

  • 기초 물리: 자연이 국소적·실재론적이지 않음을 증명, 양자역학의 비고전적 본질 확립
  • 양자 암호: 장치 독립 양자 키 분배(DI-QKD)의 보안 근거
  • 양자 네트워크: 얽힘 검증 및 양자 채널 인증에 활용

이 정의는 Claude 가 작성한 것으로, 오류가 있을 수 있습니다.

Keep Learning

다음으로 볼 튜토리얼

전체보기
중급

양자통신

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

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

중급

양자통신

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

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

고급

양자컴퓨팅

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

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

고급

양자컴퓨팅

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

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