Simulating Bell inequalities with Qibo

본 논문은 벨 부등식 위반을 시뮬레이션하여 얽힘과 비국소성과 같은 기본 양자 개념을 탐구함과 동시에 통계 분석과 하드웨어 노이즈에 대한 실용적 경험을 쌓을 수 있도록 난이도가 점진적으로 증가하는 세 가지 모듈로 구성된 교육 자료와 Qibo 기반 소프트웨어 도구를 제시합니다.

핵심

당신은 우주의 가장 기괴하고 정신을 뒤흔드는 규칙들인 양자 역학에 대해 학생들에게 가르치려 한다고 상상해 보세요. 특히, 두 개의 작은 입자가 얼마나 깊게 연결되어 있어, 한쪽 입자에 무슨 일이 생기면 다른 쪽 입자에도 즉시 영향을 미치며, 심지어 두 입자가 은하의 반대편에 있더라도 그런 일이 일어난다는 것을 보여주고 싶습니다. 이를 '얽힘 (entanglement)'이라고 부릅니다.

수십 년 동안 과학자들은 이 연결이 실제인지, 아니면 입자들이 분리되기 전부터 무엇을 해야 할지 알려주는 비밀스러운 '지침서 (숨은 변수)'를 가지고 있는 것인지에 대해 논쟁해 왔습니다. 1964 년, 존 벨이라는 물리학자는 이 논쟁을 해결하기 위해 벨 부등식이라는 일련의 규칙으로 구성된 수학적 테스트를 고안해 냈습니다. 만약 입자들이 '지침서' 이론을 따른다면, 이 규칙들을 따라야 합니다. 하지만 만약 입자들이 양자 역학의 기이한 규칙을 따른다면, 이 규칙들을 깨뜨릴 것입니다.

이 논문은 본질적으로 학생들이 Qibo라는 컴퓨터 프로그램을 직접 사용하여 이러한 테스트를 수행할 수 있도록 돕기 위해 설계된 교사의 도구 상자입니다. 단순히 수학에 대해 읽는 대신, 학생들은 가상 실험실을 구축하고 시뮬레이션을 실행하여 화면에서 '마법'이 일어나는 것을 직접 볼 수 있습니다.

다음은 이 논문이 간단한 비유를 사용하여 내용을 어떻게 풀어내는지 설명한 것입니다:

1. 세 모듈로 구성된 수업 계획

저자들은 교육 자료를 세 단계로 구성했는데, 비디오 게임의 레벨처럼 진행할수록 난이도가 높아집니다.

• 레벨 1: 벨-위그너 부등식 ('양말' 비유)
  한 쌍의 양말을 상상해 보세요. 한 상자에 왼쪽 양말을 넣고 다른 상자에 오른쪽 양말을 넣은 후, 이를 서로 다른 도시로 보낸다면, 한 상자를 열었을 때 다른 상자 안에 무엇이 들어있는지 정확히 알 수 있습니다. 이것이 '국소 숨은 변수' 아이디어입니다. 양말은 처음부터 왼쪽이거나 오른쪽이었으며, 당신은 단지 그것을 알지 못했을 뿐입니다.

  논문은 수학이 단순하기 때문에 여기서 시작합니다. 질문은 다음과 같습니다: "만약 입자들이 이러한 미리 결정된 양말과 같다면, 특정 방식으로 일치할 확률은 얼마입니까?" 시뮬레이션은 입자들이 단순히 '양말'이었다면 엄격한 규칙을 따랐을 것이라고 보여줍니다. 하지만 학생들이 양자 입자를 사용하여 시뮬레이션을 실행하면, 입자들은 규칙을 깨뜨립니다. 그들은 마치 미리 작성된 목록을 따르는 것이 아니라 서로 즉시 대화하는 것처럼 행동합니다.

• 레벨 2: 원래의 벨 부등식 ('완벽한 거울')
  이 단계는 조금 더 복잡해집니다. 입자들이 어떻게 상관관계를 가지는지 살펴봅니다. 서로 완벽한 거울인 두 명의 무용수를 상상해 보세요. 한 명이 왼쪽으로 회전하면, 다른 한 명은 오른쪽으로 회전합니다.

  논문은 '일반적인' 세계에서는 서로 다른 각도에서 얼마나 완벽하게 서로를 거울처럼 비출 수 있는지에 한계가 있다고 설명합니다. 하지만 양자 세계에서는 무용수들이 너무 완벽하게 동기화되어 그 한계를 초과합니다. 시뮬레이션을 통해 학생들은 '무대'의 각도를 조정하고 숫자가 그 한계를 뛰어넘는 것을 지켜볼 수 있으며, 이는 '거울'이 단순히 미리 설정된 계획의 반영이 아니라 더 역동적인 무엇임을 증명합니다.

• 레벨 3: CHSH 부등식 ('네 방향' 도전)
  이것이 가장 유명하고 견고한 테스트 버전입니다. 이제 무용수들이 서로 다른 방향에 서 있는 네 명의 다른 심사위원들에게 관찰받고 있다고 상상해 보세요. 심사위원들은 무용수들이 서 있는 위치에 따라 특정 동작을 수행하도록 요청합니다.

  논문은 만약 무용수들이 '대본'(숨은 변수) 을 따른다면, 그들의 합계 점수가 특정 숫자 (2) 를 결코 초과할 수 없다고 보여줍니다. 하지만 학생들이 양자 시뮬레이션을 실행하면 점수는 2.82 ($2\sqrt{2}$) 로 뛰어오릅니다. 이것이 우주가 국소적이지 않다는 것을 증명하는 '결정적인 증거'이며, 입자들은 우리의 일상적인 논리를 거스르는 방식으로 진정으로 연결되어 있음을 보여줍니다.

2. 가상 실험실 (Qibo)

논문은 레이저와 진공 챔버가 있는 실제 물리 실험실이 없어도 이를 볼 수 있다고 강조합니다. 저자들은 양자 컴퓨터를 위한 '비행 시뮬레이터'와 같은 Qibo를 사용했습니다.

• 코드: 학생들이 복사하여 붙여넣을 수 있는 파이썬 코드 (컴퓨터 언어의 일종) 를 제공합니다.
• 과정: 이 코드는 두 개의 '큐비트 (양자 비트, 한 번에 앞면, 뒷면, 또는 둘 다일 수 있는 초전력 동전과 같은 것)'를 생성합니다. 그런 다음 이를 얽히게 하고, 서로 다른 방향으로 회전시켜 (측정을 시뮬레이션) 결과를 계산합니다.
• 결과: 학생들은 양자 결과가 명확하게 '고전적' 한계를 위반하는 그래프를 보게 됩니다.

3. 현실의 messy 함 (노이즈와 통계)

논문은 또한 매우 실용적인 교훈을 가르칩니다: 현실은 messy 합니다.
완벽한 컴퓨터 시뮬레이션에서는 결과가 매끄럽습니다. 하지만 CERN 이나 실험실의 실제 양자 컴퓨터에서 이를 실행하면 결과가 '노이즈'가 생깁니다.

• 비유: 조용한 방에서 속삭임을 듣는 것 (완벽한 시뮬레이션) 과 락 콘서트에서 그것을 듣는 것 (실제 하드웨어) 을 상상해 보세요. 하드웨어의 '노이즈'가 신호를 가릴 수 있습니다.
• 교훈: 저자들은 명확한 답변을 얻기 위해 실험을 몇 번 (샷) 실행해야 하는지 계산하는 방법을 학생들에게 보여줍니다. 너무 적게 실행하면 무작위 '정적'으로 인해 규칙이 깨지지 않은 것처럼 보일 수 있습니다. 하지만 충분히 많이 실행하면 진정한 양자적 본질이 드러납니다.

4. 교육에 이것이 중요한 이유

저자들은 이 도구가 교육에 있어 게임 체인저라고 주장합니다.

• 물리학 학생들에게: 추상적이고 무서운 수학을 만지고 볼 수 있는 것으로 바꿉니다. 그들은 각도를 '조작'하고 위반이 실시간으로 일어나는 것을 볼 수 있습니다.
• 컴퓨터 과학 학생들에게: 이론 물리학 박사 학위가 필요 없이 깊은 물리학 개념을 배울 기회를 제공합니다. 그들은 코드와 논리에 집중할 수 있습니다.

요약

간단히 말해, 이 논문은 학생들이 우주가 우리가 생각하는 것보다 더 기이하다는 것을 증명할 수 있는 디지털 놀이터를 제시합니다. Qibo 소프트웨어를 사용하여 유명한 벨 테스트를 시뮬레이션하고, '고전적 규칙'이 깨지는 것을 지켜보며, 양자 얽힘이 단순한 이론이 아닌 실제 측정 가능한 현상임을 이해할 수 있습니다. 이는 컴퓨터 화면에서 '마법에 대해 읽는 것'과 '마법 트릭을 수행하는 것' 사이의 간극을 메워줍니다.

기술 요약

기술 요약: Qibo 를 이용한 벨 부등식 시뮬레이션

문제 제기
본 논문은 학부 및 대학원생들에게 얽힘, 스핀 상관관계, 숨은 변수, 비국소성 등 복잡한 양자 역학 개념을 소개하는 데 따른 교육적 과제를 다룹니다. 벨 부등식에 관한 이론적 논증은 수학적, 개념적으로 요구 사항이 높지만, 이러한 현상을 시각화하고 통계적 요동과 하드웨어 노이즈의 영향을 이해할 수 있는 실용적인 교육 도구가 필요합니다. 다양한 양자 컴퓨팅 프레임워크 (예: Qiskit, Cirq) 가 존재하지만, 저자들은 벨 - 위그너 부등식과 원래의 벨 부등식을 시뮬레이션하기 위한 교육 도구의 구체적인 공백이 있다고 지적하며, 기존 자료들은 종종 더 복잡한 CHSH 형식의 부등식에만 초점을 맞추고 있음을 언급합니다.

방법론
저자들은 고전적 시뮬레이터와 실제 양자 하드웨어 모두와 인터페이스할 수 있는 오픈 소스 양자 컴퓨팅 프레임워크인 Qibo를 사용하여 세 개의 Python 기반 Jupyter 노트북으로 구성된 모듈식 교육 패키지를 개발했습니다. 자료는 난이도가 점진적으로 증가하는 세 가지 모듈로 구성되어 있습니다:

1. 모듈 1: 벨 - 위그너 부등식: 이 모듈은 지역적 숨은 (LH) 변수 이론과 8 가지 구별되는 입자 개체에 대한 위그너의 논거에 기반한 이론적 프레임워크를 소개합니다. 세 개의 공면 방향 ($\hat{a}, \hat{b}, \hat{c}$) 에 대한 확률 $P(\hat{a}+, \hat{b}+)$, $P(\hat{a}+, \hat{c}+)$, $P(\hat{c}+, \hat{b}+)$을 측정하기 위한 양자 회로를 구성합니다. 이 회로는 Hadamard 및 CNOT 게이트를 사용하여 싱글렛 벨 상태 $|\Psi^-\rangle$를 생성한 후, 측정 축을 정렬하기 위해 회전 게이트 ($R_z, R_y$) 를 활용합니다.
2. 모듈 2: 원래의 벨 부등식: 이 섹션은 확률에서 스핀 상관관계 $C(\hat{a}, \hat{b})$로 초점을 이동합니다. 모듈 1 과 동일한 양자 회로를 구현하지만, 네 가지 가능한 측정 결과 ($00, 01, 10, 11$) 의 빈도를 사용하여 상관 함수$C = \langle \alpha \beta \rangle$를 계산합니다. 이 모듈은 부등식$|C(\hat{a}, \hat{b}) - C(\hat{a}, \hat{c})| \leq 1 + C(\hat{c}, \hat{b})$를 검증합니다.
3. 모듈 3: CHSH 부등식: 마지막 모듈은 원래의 벨 부등식이 요구하는 완벽한 반상관관계에 대한 엄격한 가정을 피하는 Clauser-Horne-Shimony-Holt (CHSH) 부등식을 다룹니다. 이는 4 개의 방향 ($\hat{a}, \hat{b}$: 앨리스, $\hat{c}, \hat{d}$: 밥) 을 따라 측정을 시뮬레이션하여 $S = |C(\hat{a}, \hat{c}) - C(\hat{a}, \hat{d}) + C(\hat{b}, \hat{c}) + C(\hat{b}, \hat{d})|$ 값을 계산합니다.

시뮬레이션은 빈도론적 접근 방식을 사용하여 지정된 횟수 ($N_{shots}$) 만큼 회로를 실행하여 확률 분포를 재구성하고 관련 부등식 양 ($Q_W, Q_B, Q_S$) 을 계산합니다. 코드는 각도 매개변수 ($\theta_{ab}, \theta_{ac}, \phi$) 를 변경하여 다양한 기하학적 구성을 탐색할 수 있도록 합니다.

주요 결과
시뮬레이션은 특정 기하학적 구성에서 부등식 위반을 보여줌으로써 양자 역학의 이론적 예측을 성공적으로 재현했습니다:

• 벨 - 위그너: 측정 방향이 특정 각도 간격 (예: $\theta_{ab} = \pi/2, \theta_{ac} = \pi/4, \phi=0$) 으로 공면일 때, 양 $Q_W$가 양수가 되어 LH 경계 ($\leq 0$) 를 위반합니다.
• 원래의 벨: 양 $Q_B$는 고전적 경계인 1 을 초과하며, $\theta_{ab} = \pi/2$일 때 $\theta_{ac} = \pi/4$에서 최대 위반이 발생합니다.
• CHSH: 양 $Q_S$는 고전적 경계인 2 를 초과하여 최적의 공면 구성에서 양자 역학적 최대값인 $2\sqrt{2}$에 도달합니다.

논문은 또한 통계와 노이즈의 영향을 분석합니다. 이는 샷 수와 통계적 오차 ($\sigma_{stat} \propto 1/\sqrt{N_{shots}}$) 사이의 관계를 유도하고, 샷 수와 무관한 고유 하드웨어 노이즈 ($\sigma_{noise}$) 와 대조합니다. 저자들은 통계적 오차를 장치 노이즈와 비교 가능하게 만들기 위해 필요한 최적의 샷 수를 추정하는 방법을 제공합니다.

의의 및 주장
저자들은 이 작업을 새로운 물리적 발견이 아닌 주로 교육 도구로 위치시킵니다. 그 의의는 다음과 같습니다:

1. 이론과 실무의 연결: 모듈들은 학생들에게 추상적인 이론적 유도에서 구체적인 구현으로 이동하여 고전적 (지역적 숨은 변수) 과 양자 영역 간의 전환을 시각화할 수 있게 합니다.
2. 교육적 공백 해소: 벨 - 위그너 부등식과 원래의 벨 부등식을 포함함으로써, 수학적으로 더 무거운 CHSH 부등식 단독보다 학생들에게 더 접근하기 쉬운 진입점을 제공합니다.
3. 실무적 인식: 통계 분석과 노이즈 모델링을 포함하여 불완전한 상태 준비와 판독 오류가 결과에 영향을 미치는 현재의 양자 하드웨어 (NISQ 시대) 의 현실에 대비시킵니다.
4. 접근성: Qibo 와 표준 Python 노트북의 사용은 이론적 개념에 중점을 둔 물리학 학생과 알고리즘적 구현에 중점을 둔 컴퓨터 과학 학생 모두에게 자료를 유연하게 만듭니다.

저자들은 이 자료가 페라라 대학교의 석사 과정 양자 컴퓨팅 과정에서 테스트되었으며 다양한 배경을 가진 학생들로부터 긍정적인 피드백을 받았다고 언급합니다. 그들은 이 도구가 양자 기초의 개방된 문제를 해결하거나 교육 범위를 넘어 새로운 실험 설정을 제안하는 것이 아니라, 비국소성과 지역적 실재의 한계와 같은 근본적인 문제에 대한 교실 논의를 촉진하도록 설계되었다고 강조합니다.