The Grothendieck Game and Self-Testing Continuous Groups

기술 요약: 그로텐디크 게임과 자기 테스트 가능한 연속 군 (The Grothendieck Game and Self-Testing Continuous Groups)

문제 정의

자기 테스트(Self-testing)는 장치의 내부 작동 방식을 알 필요 없이 관찰된 상관관계만을 바탕으로 양자 상태와 측정을 인증하는 양자 정보 이론의 프로토콜이다. 유한한 관측량 집합(예: CHSH 게임에서의 파울리 행렬, CHSH($n$) 게임에서의 마요라나 연산자)에 대해서는 견고한 자기 테스트가 확립되어 왔으나, 근본적인 미해결 과제가 남아 있다: 단 하나의 비국소 게임을 사용하여 연속적인 측정 패밀리에 대한 견고한 자기 테스트가 가능한가?

기존의 자기 테스트는 일반적으로 유한한 질문 집합을 포함하며, 이를 통해 지정된 모든 측정이 양의 확률로 발생하도록 한다. 이와 대조적으로, 연속적인 질문 분포는 단일 질문이 발생할 확률이 0임을 의미한다. 결과적으로, 최적의 전략은 유한한 질문 집합에 대해 임의로 변경될 수 있으며, 이는 전통적인 의미에서 고정된 유한 생성 세트를 인증하는 것을 불가능하게 만든다. 과제는 확률적 보장을 확립하는 것이다: 즉, 근사 최적 전략이 단 하나의 국소 등거리 사상(local isometries) 쌍 하에서, 질문의 선택에 대해 평균적으로(또는 높은 확률로) 연속적인 관측량 패밀리의 이상적인 구현을 근사한다는 것을 보여야 한다.

방법론

저자들은 "리틀 그로텐디크 부등식(little Grothendieck inequality)"에서 유도된 2인 비국소 게임인 **그로텐디크 게임($G_n$)**을 분석함으로써 이 문제를 다룬다.

1. 그로텐디크 게임 ($G_n$):

   • 설정: 심판은 단위 구 $S^{n-1}$에서 벡터 쌍 $(x, y)$를 확률 밀도 $|\langle x, y \rangle|$에 비례하여 샘플링한다.
   • 승리 조건: 앨리스와 밥은 $ab = \text{sgn}(\langle x, y \rangle)$를 만족하는 이진 답변 $a, b \in \{\pm 1\}$를 반환한다.
   • 최적 전략: 최적의 양자 전략은 최대 얽힘 상태 $|\psi^+_{2m}\rangle$ (여기서 $n=2m$)를 공유하고, $\gamma(x) = \sum_{i=1}^n x_i \gamma_i$로 정의된 마요라나 관측량을 측정하는 것을 포함한다 (여기서 $\gamma_i$는 클리포드 대수 관계 $\{\gamma_i, \gamma_j\} = 2\delta_{ij}I$를 만족하는 표준 마요라나 연산자이다).

2. 기술적 접근법:

   • 고전 및 벡터 강성 (Classical and Vector Rigidity): 저자들은 먼저 고전 및 벡터 전략에 대한 강성을 확립한다. 이들은 모든 근사 최적 고전 전략이 고정된 벡터 $c$에 의해 정의된 전략(즉, $a(x) = \text{sgn}\langle c, x \rangle$)에 가깝다는 것을 증명하며, 모든 근사 최적 벡터 전략은 (등거리 사상에 의해) 항등 사상에 가깝다는 것을 증명한다.
   • 생성자에서 연속 패밀리로: 핵심적인 어려움은 근사 최적성이 특정 질문 쌍에 대해서만 근사적 관계를 의미한다는 점이다. 전체 연속 패밀리로 이를 확장하기 위해, 저자들은 하르-무작위 직교 기저(Haar-random orthonormal basis) $Q = (q_1, \dots, q_n)$를 사용한다. 저자들은 기저 벡터들에 대한 관측량 $A(q_i)$와 $B(q_i)$가 이상적인 마요라나 연산자에 가깝다면, 선형 확장 $\tilde{A}_Q(x) = \sum \langle q_i, x \rangle A(q_i)$가 모든 $x$에 대해 평균적으로 $A(x)$를 근사한다는 것을 보여준다.
   • 근사 표현 (Approximate Representations): 저자들은 무작위 기저로부터 얻은 관측량들을 사용하여 유한 클리포드 군(Clifford group) $C_n$의 근사 표현을 구축한다. 이들은 (상태 의존적 세미노름에 적응된) Gowers–Hatami 정리를 활용하여, 이러한 근사 표현들을 정확한 표현으로 "라운딩(rounding)"함으로써, 물리적 관측량을 이상적인 마요라나 연산자로 매핑하는 국소 등거리 사상을 추출한다.
   • Pin 군으로의 확장: 생성자(마요라나 연산자)로부터 연속 군 구조인 **Pin 군의 스핀 표현(spin representation)**에 대한 자기 테스트를 인증하기 위해, 저자들은 생성자의 곱을 통한 그룹 원소의 분해를 사용하여 자기 테스트를 확장한다. 생성자의 곱 분해에 사용되는 방식은 유일하지 않으므로, 저자들은 **대칭화 기법(symmetrization trick)**을 도입한다: 즉, 생성자의 분해에 적용되는 하르-무작위 회전 $R \in SO(n)$에 대해 평균을 취한다. 이를 통해 곱 분해에 등장하는 단위 벡터들이 구 위에서 균등하게 분포되도록 하여, 각 생성자 곱에 대해 마요라나 자기 테스트를 적용할 수 있게 한다.

주요 기여 및 결과

1. 마요라나 관측량에 대한 견고한 자기 테스트

이 논문은 전체 연속 관측량 패밀리에 대한 최초의 견고한 자기 테스트를 확립한다.

• 정리 1.1 (마요라나 자기 테스트): $G_n$에서의 $\epsilon$-최적 전략에 대하여, 공유 상태가 최대 얽힘 상태에 가깝고, 관측량 $A(x), B(y)$가 $x, y \in S^{n-1}$에 대해 평균적으로 이상적인 마요라나 관측량 $\gamma(x), \gamma(y)$에 가까운 국소 등거리 사상 $\Phi_A, \Phi_B$가 존재한다.
• 따라오는 정리 5.10: 하르-무작위 직교 기저에 대하여, 기저 벡터들에 대응하는 모든 $2n$개의 관측량은 높은 확률로 동시에 인증된다.

2. 스핀 표현에 대한 견고한 자기 테스트

저자들은 인증 범위를 마요라나 연산자에 의해 생성되는 연속 군인 스핀 표현으로 확장한다.

• 정리 1.2 (스핀 표현 자기 테스트): 그로텐디크 게임은 Pin 군의 스핀 표현에 대한 자기 테스트이다. 구체적으로, 플레이어들이 관측량으로부터 구성한 유니터리는 (생성자의 곱을 통해) 무작위 그룹 원소 및 무작위 회전에 대해 평균적으로 이상적인 스핀 표현 $\Gamma(g)$를 근사한다.

3. 고전 및 벡터 강성

• 정리 3.1: 모든 $\epsilon$-최적 결정론적 전략이 단일 벡터 $c$에 의해 정의된 전략에 가깝다는 것을 보여줌으로써 견고한 고전적 강성을 증명한다.
• 정리 4.8: 모든 $\epsilon$-최적 벡터 전략이 (공통의 등거리 사상에 의해) 항등 전략 $a(x)=x, b(y)=y$에 가깝다는 것을 보여줌으로써 견고한 벡터 강성을 증명한다.

4. 효과적인 Gowers–Hatami 정리

• 섹션 6: 저자들은 유한 군 및 컴팩트 연속 군 모두에 적용 가능한 단순화되고 효과적인 Gowers–Hatami 안정성 정리의 증명을 제공한다. 이 버전은 결과적인 등거리 사상이 효율적으로 구현될 수 있는 조건(그룹에 대한 균등 초평면 준비와 제어된 근사 표현이 필요한 경우)을 명확히 한다.

의의 및 주장

본 논문은 마요라나 연산자에 의해 생성되는 전체 연속 관측량 패밀리에 대한 최초의 견고한 자기 테스트를 제공한다고 주장한다. 기존 연구들은 유한한 마요라나 연산자 집합(예: CHSH($n$) 게임)에 대한 자기 테스트를 확립했으나, 전체 연속 파라미터화를 동시에 인증하는 것은 달성되지 않았었다.

그 의의는 다음과 같다:

1. 유한과 연속의 가교: 연속적인 질문 분포의 확률적 특성을 극복하여, 연속적인 관측량 패밀리에 대한 견고한 자기 테스트가 가능하다는 것을 입증한다.
2. 군 표현 인증: 자기 테스트를 개별 관측량에서 (파울리 군이나 Weyl-Heisenberg 군과 같은 유한 군에 대한 이전 결과의 비자명한 일반화인) Pin 군의 스핀 표현이라는 연속 군 구조로 확장한다.
3. 방법론적 발전: 하르-무작위 기저와 회전에 대한 대칭화의 사용은 생성자에서 연속 패밀리 및 군으로 자기 테스트를 끌어올리는 일반적인 기법을 제공하며, 이는 다른 연속 군에도 적용될 수 있다.
4. 효율성: 저자들은 플레이어가 관측량에 대한 유니터리 접근 권한을 가지고 그룹에 대한 균등 초평면을 준비할 수 있다면, 자기 테스트에 필요한 등거리 사상이 효율적으로 구현될 수 있음을 명시한다.

저자들은 차원 $n$에 따른 오차 범위의 의존성(예: 상태에 대한 $O(n^2 \epsilon)$, 관측량에 대한 $O(n \epsilon)$)이 균등 경계(uniform bounds)를 위해 최적임을 언급한다. 이 연구는 특정 실험적 구현이나 미래의 암호 프로토콜을 제안하는 것이 아니라, 연속적인 양자 장치를 인증하기 위한 이론적 토대를 구축하는 데 목적이 있다.