Non-stabilizerness and violations of CHSH inequalities

기술 요약: 비안정성(Non-stabilizerness) 및 CHSH 부등식의 위반

문제 정의
클라우저-호른-시모니-홀트(CHSH) 부등식의 위반은 전통적으로 얽힘(entanglement)에 기인하는 양자 비국소성(non-locality)의 특징이다. 그러나 최근의 이론적 발전은 얽힘만으로는 불충분하며, 양자 이점을 달ert하기 위해서는 비안정성 자원(흔히 "매직(magic)"이라 불리는) 또한 필요하다는 것을 보여준다. 이러한 자원의 필요성은 확립되었으나, CHSH 위반을 가능하게 하기 위해 얽힘과 비안정성 자원이 어떻게 상호작용해야 하는지에 대한 구체적인 구조적 요구사항은 정량적으로 규명되지 않았다. 특히, 비안정성 자원이 국소적(local)이어야 하는지 아니면 비국소적(non-local)이어야 하는지, 대칭적(symmetric)이어야 하는지 아니면 비대칭적(asymmetric)이어야 하는지, 그리고 이러한 특성들이 불완전한 제어 하에서 위반 확률에 어떻게 영향을 미치는지 여부는 여전히 불분명하다.

방법론
저자들은 초기 상태 준비와 측정이 "자원-프리(resource-free)"로 정의되는 자원 이론적 프레임워크를 채택한다. 저자들은 표준 자원-프리 준비 상태 $\omega_0 = |00\rangle\langle 00|$와 파울리 측정으로 구성된 자원-프리 CHSH 연산자 $B_0$를 고려한다. 위반에 필요한 모든 자원은 유니터리 진화 $U$에 인코딩되며, 최종 상태는 $\omega_U = U\omega_0 U^\dagger$가 된다.

비안정성 자원을 정량화하기 위해, 본 논문은 안정성 엔트로피(Stabilizer Entropy, SE), 구체적으로는 파울리 스트링(Pauli strings)의 확률 분포에 대한 이동된 2-레니 엔트로피(shifted 2-Rényi entropy)인 2-SE($M_2$)를 사용한다. 저자들은 다음을 구분한다:

1. 전체 비안정성($M_2$): 상태의 매직(magic).
2. 비국소적 비안정성($M_{NL}$): 국소 유니터리에 의해 제거될 수 없는 매직의 양으로, 가능한 최소 $M_2$ 값으로 정의된다.
3. 국소적 비안정성($M_{LOC}$): $M_2 - M_{NL}$의 차이.

본 연구는 세 가지 주요 분석 도구를 활용한다:

• 이론적 증명: 클리포드 군(Clifford group)과 안정 상태(stabilizer states)의 성질을 사용하여 CHSH 위반에 대한 필요충분조건을 도출한다.
• 하르 평균화(Haar Averaging): 무작위 유니터리에 대한 위반 확률과 고정된 자원 값(얽힘 엔트로피, $M_{NL}$, $M_{LOC}$)에 따른 조건부 확률을 계산한다.
• 등스펙트럼 트월링(Isospectral Twirling): 고정된 스펙트럼을 가진 유니터리 앙상블을 구성하면서도 고유벡터는 무작위화하는(subgroup $G$, 예를 들어 클리포드 군 또는 전체 유니터리 군에 대해 평균화) 표현론의 기법이다. 이는 상태 준비에 대한 제어가 제한된 시나리오를 모델링한다.

주요 기여 및 결과

1. 비안정성 자원의 필요성:
   본 논문은 순수 또는 혼합 안정 상태(여기서 $M_2=0$)는 측정 설정에 관계없이 CHSH 부등식을 위반할 수 없음을 증명한다(정리 1). 만약 준비 유니터리가 클리포드 연산자라면, 결과적인 상태는 안정 상태로 남게 되며 위반은 발생하지 않는다.

2. 위반을 위한 구조적 요구사항:

• 비대칭성(Asymmetry): 유니터리 준비 $U$가 큐비트 스왑(swap)에 대해 대칭적(스왑 연산자와 교환 가능)이면 CHSH 위반이 불가능함을 정리가 2에서 보여준다. 즉, 자원은 앨리스와 밥 사이에서 비대칭적이어야 한다.
• 매직의 국소성(Locality of Magic): 역설적이게도, 본 논문은 비국소적 비안정성이 CHSH 위반에 해롭다는 것을 증명한다. 정리 3은 비국소적 매직 $M_{NL}$의 함수로서 최대 CHSH 기대값 $C(\theta)$에 대한 상한을 설정한다:
  $$C(\theta) \leq 2\sqrt{2} - \frac{\ln(2)}{\sqrt{2}} M_{NL}(\theta)$$
  결과적으로, $M_{NL}$이 0보다 크면 상태는 체를론슨 경계(Tsirelson bound, $2\sqrt{2}$)에 도달하는 것이 엄격히 방해받는다. 위반을 극대화하려면 유니터리는 국소적 비안정성($M_{LOC}$)을 주입해야 한다. 정리 4는 $M_{LOC} = 0$인 경우 위반이 불가능함을 확인한다.

3. 하르 측도를 통한 확률적 분석:
   $5 \times 10^7$개의 하르-무작위(Haar-random) 2-큐비트 상태에 대한 수치 시뮬레이션 결과는 다음과 같다:

• 무작위 유니터리가 CHSH를 위반할 확률은 약 **2.51%**이다.
• 높은 $M_{NL}$을 가진 상태가 낮은 $M_{NL}$을 가진 상태보다 부등식을 위반할 가능성이 높지만, $M_{NL}$의 존재는 위반의 크기를 억제한다.
• 위반 확률은 국소적 매직($M_{LOC}$)에 대해 비단조적(non-monotonic)이다. 무작위 상태에서 매우 높은 $M_{LOC}$는 종종 높은 $M_{NL}$과 상관관계를 가지며, 이는 위반을 저해한다.

4. 등스펙트럼 트월링 및 앙상블 구성:
   저자들은 제한된 제어 하에서 위반 확률을 극대화하는 유니터리 앙상블을 체계적으로 구성하기 위해 등스펙트럼 트월링을 활용한다.

• 비대칭 트월링: 한 쪽 큐비트에 대해서만(비대칭적으로) 클리포드 군 또는 전체 유니터리 군에 대해 평균화하는 것이 두 큐비트에 대해 대칭적으로 트월링하는 것보다 훨씬 높은 위반 확률을 얻을 수 있다.
• 클리포드 군의 효율성: 코어 유니터리가 필요한 비안정성 자원을 보유하고 있다면, 단일 큐비트에 대해 클리포드 군 상에서 등스펙트럼 트월링을 수행하는 것이 전체 유니터리 군 상에서 평균화하는 것과 유사한 위반 확률을 얻을 수 있음을 발견했다. 이는 놀라운 결과이다.
• 강건성(Robustness): 위반 확률은 코어 유니터리가 비-클리포드(non-Clifford)인 경우, 비안정성의 정확한 양보다는 트월링의 비대칭성에 더 크게 의존하는 것으로 나타났다.

의의
본 논문은 비국소성을 위해 필요한 "매직"에 대한 정량적 특성을 제공한다. 이는 CHSH 위반에 대한 이해를 순수하게 얽힘 중심적인 관점에서, 비안정성 자원의 구조가 가장 중요하다는 자원 이론적 관점으로 전환시킨다. 비안정성 자원은 CHSH 위반을 촉진하기 위해 국소적이고 비대칭적이어야 한다는 핵심 발견은, 비국소적 매직이 비국소성의 주요 동력이라는 직관적인 통찰에 도전한다.

등스펙트럼 트월링을 사용함으로써, 본 연구는 노이즈와 제한된 제어 하에서도 높은 확률의 비국소적 상관관계를 관찰하도록 설계된 양자 제어 프로토콜(유니터리 앙상블)을 설계하는 체계적인 방법을 제시한다. 이는 위성 기반 양자 실험이나 불완전한 게이트 충실도를 가진 시스템과 같이 완벽한 유니터리 진화 제어가 불가능한 실험적 환경에 시사점을 준다. 결과는 비대칭성과 국소적 자원을 적절히 관리한다면, (클리포드 군과 같은) 제한된 제어를 사용하더라도 높은 확률의 위반을 구현할 수 있음을 시사한다.