Stabilizer Rényi Entropy Without a Phase Reference

=== 요약 ===

기술적 요약: 위상 참조가 없는 안정기 레니 엔트로피 (Stabilizer Rényi Entropy)

문제 제기
양자 "매직"(비안정성, non-stabilizerness)에 대한 표준 척도인 안정기 레니 엔트로피(SRE)는 각 큐비트가 완전하고 동기화된 파울리 프레임을 보유하고 있다는 가정에 의존한다. 그러나 질량이 없는 입자의 헬리시티 상태, 비동기화된 큐비트 레지스터, 에너지 고유 기저, 그리고 선택 규칙(superselection rules)에 의해 지배되는 시스템을 포함한 다양한 물리적 맥락에서, 계산 기저(예: $\sigma_z$ 고유 벡터)는 고정되어 있는 반면 횡방향 파울리 축은 국소적 위상 인자(local phase factors)에 의해 결정되지 않은 상태로 남을 수 있다.

이러한 시나리오에서 계산 기저는 각 큐비트에 대해 위상까지 결정된 상태로 정의된다 ($|+\rangle_i \to e^{i\theta_i}|+\rangle_i$). 표준 SRE 척도는 이러한 상대적 재위상화(rephasings)에 대해 일반적으로 불변하지 않는다. 저자들은 벨 상태(Bell state) 예시를 통해, 두 번째 SRE($M_2$)가 임의의 상대적 위상 선택에 따라 0에서 $\ln(4/3)$까지 연속적으로 변할 수 있음을 보여주었으며, 이는 위상 프레임이 해결되지 않았을 때 해당 척도가 정의하기 어려워짐을 의미한다.

방법론
이를 해결하기 위해, 저자들은 위상 평균 안정기 레니 엔트로피($\tilde{M}_q$)를 정의한다. 특정 위상 관례에 대해 SRE를 계산한 후 평균을 내는 대신, 로그 내부에서 해결되지 않은 상대적 위상들에 대해 파울리 모멘트(Pauli moments)를 적분한다.

$k$개 큐비트로 구성된 순수 상태 $|\psi\rangle$에 대해, 새로운 불변량은 다음과 같이 정의된다:
$$\tilde{M}_q(|\psi\rangle) = \frac{1}{1-q} \ln \left[ \prod_{i=1}^k \int_0^{2\pi} \frac{d\theta_i}{2\pi} \sum_P \frac{\langle \psi\{\theta_i\} | P | \psi\{\theta_i\} \rangle^{2q}}{2^k} \right]$$
여기서 $|\psi\{\theta_i\}\rangle$는 재위상화된 기저 벡터를 나타내는 상태이다. 저자들은 주로 두 번째 레니 지수($q=2$)에 집중한다.

주요 기여 및 특성
본 논문은 이 새로운 불변량의 네 가지 주요 특성을 확립한다:

1. 정확한 불변성: $\tilde{M}_2$는 모든 독립적인 국소적 $U(1)^k$ 재위상화에 대해 정확하게 불변이다.
2. 소멸 기준: 이 불변량은 모든 가능한 위상 관례에서 상태가 안정기 상태(stabilizer state)일 때만 소멸한다. 이는 전체 국소 유니터리 군(local unitary group)에 대해 최적화하는 국소 최소화 매직 척도와 구별되는 점이다.
3. 폐쇄형 환원 (Closed-Form Reduction): 계산 기저 성분들이 쌍으로 구별되는 플립 패턴(즉, 임의의 두 비제로 계수 $c_i, c_j$에 대해 기저 인덱스의 비트 단위 XOR인 $s_i \oplus s_j$가 유일함)을 갖는 광범위한 상태 클래스에 대해, 위상 적분은 오직 기저 상태 확률 $|c_i|^2$에만 의존하는 폐쇄형 표현식으로 환원된다:
   $$\tilde{M}_2 = -\ln \left[ 6 \left( \sum_{i=1}^n |c_i|^4 \right)^2 - 5 \sum_{i=1}^n |c_i|^8 \right]$$
   이는 위상을 알 필요 없이 단일 기저에서의 인구 통계(populations)에만 의존하게 한다.
4. 채널 상한 (Channel Ceilings): 저자들은 $n$개의 비제로 확률 성분(채널)을 가진 시스템에 대한 $\tilde{M}_2$의 최대 가능값(천장)을 도출한다.
   • $n=2$인 경우, 전역 최대값은 불균등한 확률 $|c_i|^2 = \frac{1}{2}(1 \pm \sqrt{3/7})$에서 발생하며, 그 값은 $\ln(7/5)$이다.
   • $n \ge 3$인 경우, 전역 최대값은 동일한 확률($|c_i|^2 = 1/n$)에서 발생하며, 그 값은 $\ln[n^3/(6n-5)]$이다.

결과: 글루온 산란에의 적용
저자들은 헬리시티 기저의 위상이 자연스럽게 지정되지 않는 트리 레벨 글루온 산란 진폭에 이 불변량을 적용한다. 이들은 4점 및 5점 산란 과정을 분석한다:

• 4점 산란 ($2 \to 2$):

  • 불변량은 특정 산란각($\theta=0, \pi$)에서만 소멸한다.
  • "벨 지점"(Bell point, $\theta=\pi/2$, 특정 기저에서 상태가 벨 쌍이 되는 지점)에서, 불변량은 $\ln(8/7)$까지 상승하며, 고정된 관례에서의 표준 SRE는 여기서 소멸한다.
  • 특정 각도($\theta \approx 1.38$)에서, 이 과정은 2채널 천장인 $\ln(7/5)$를 만족한다.

• 5점 산란:

  • $3 \to 2$ 산란: 연구된 구성에서 불변량은 결코 소멸하지 않는다. 세 출력 확률이 일치할 때, 이는 3채널 천장인 $\ln(27/13) \approx 0.731$을 만족한다.
  • $2 \to 3$ 산란 (동일 헬리시티): 불변량은 "소프트 바닥(soft floor)"과 "콜리니어 천장(collinear ceiling)" 사이에서 제한된다.
    • 소프트 한계 (Soft Limit): 한 글루온이 소프트해질 때 ($E_3 \to 0$), 불변량은 $\ln(8/7)$의 바닥값에 접근한다. 소프트 복사가 매직을 운반하지 않는다는 예상과 달리, 잔여 불변량은 전적으로 소프트 글루온에 의해 운반된다.
    • 콜리니어 한계 (Collinear Limit): 불변량은 특정 콜리니어 한계에서 $\ln(184/125)$의 천장에 접근한다.
    • 대칭점($x_3=x_4=x_5=2/3$)은 국소 최솟값($\approx 0.140$)을 갖는다.

• 색상 독립성 (Color Independence): 연구된 모든 구성에서, 불변량에 필요한 절댓값을 취하는 과정에서 색상 의존성이 정확히 상쇄된다는 중요한 발견이 있었다. 결과적으로, 글루온 최종 상태의 매직은 표준 SRE가 색상 의존적 위상을 유지하는 것과 달리, 순수하게 운동학(kinematics)에 의해 결정된다.

의의
본 논문은 참조 프레임을 명시하지 않는다면 양자 매직에 대한 설명은 불완전하다고 주장한다. 제안된 위상 불변 SRE는 계산 기저는 고정되어 있으나 횡방향 축이 정의되지 않은 시스템에 대한 강력한 진단 도구를 제공한다. 이는 희소한 지지(sparse support)를 갖는 광범위한 클래스에 대해, 매직이 오직 인구 통계 통계만으로 정량화될 수 있음을 보여준다.

고에너지 물리학의 맥락에서, 이 연구는 양자 상태의 경계와 물리적 상호작용 제약 사이를 연결한다. 이는 일부 산란 과정(예: $3 \to 2$)이 이론적 채널 천장에 도달할 수 있는 반면, 다른 과정(예: 동일 헬리시티 $2 \to 3$)은 운동학적으로 천장에 도달하는 것이 제한되어 있음을 밝혀낸다. 또한, 색상 인자의 정확한 상쇄는 글루온 산란의 "매직"이 특정 색상 구성과는 독립적인 운동학적 특성임을 시사한다. 저자들은 이 프레임워크가 향 a 위상 정보가 제한적인 상황에서 시간 평균된 파울리 모멘트를 사용하여 양자 레지스터의 매직을 측정하는 프로토콜로 발전할 수 있다고 제안한다.