Witnessing Short- and Long-Range Nonstabilizerness via the Information Lattice

기술 요약: 정보 격자(Information Lattice)를 통한 단거리 및 장거리 비스테빌라이저성(Nonstabilizerness)의 관측

문제 정의
양자 정보 이론은 브이엔만 엔트로피(von Neumann entropy)와 같은 전통적인 상관관계 척도를 넘어 양자 상태를 분류하고자 한다. 면적 법칙(area-law) 및 부피 법칙(volume-law) 분류가 상관관계의 스케일링을 설명한다면, 이는 "비스테빌라이저성"(또는 매직, magic)을 완전히 포착하지는 못한다. 비스테빌라이저성은 상태가 스테빌라이저 상태(stabilizer states)로부터 얼마나 떨어져 있는지를 정량화하는 자원이다. 스테빌라이저 상태는 효율적인 고전적 표현을 허용하며 클리포드 연산(Clifford operations)에 대해 닫혀 있는 기준점 역할을 한다. 반면, 일반적인 응집 물질 상태는 비클리포드 유니터리(예: T-게이트)를 필요로 한다. 이 분야의 핵심 과제는 단거리 비스테빌저성(얕은 국소 유니터리 회로에 의해 제거 가능한 것)과 장거리 비스테빌라이저성(시스템 크기에 비례하는 회로를 필요로 하는 것)을 구분하는 것이다. 기존의 모노톤(monotones)들은 대개 전체 비스테빌라이저성의 양을 측정하지만, 복잡한 모든 가능한 국소 회로에 대한 최소화 절차 없이 규모나 국소성에 따라 이를 분해하는 데는 실패한다.

방법론
저자들은 양자 상태의 전체 정보를 특정 공간 위치 $n$과 스케일 $\ell$에서의 국소 정보 $i^\ell_n$으로 분해하는 계층적 구조인 **정보 격자(information lattice)**를 활용한다.

1. 국소 정보 정의: $\ell+1$개의 연속된 사이트들로 구성된 하위 시스템 $C^\ell_n$에 대해, 국소 정보 $i^\ell_n$은 두 개의 가장 큰 하위-하위 시스템 간의 상호 정보량을 그들의 중첩(overlap)에 대해 조건화하여 정의된다. 형식적으로 $i^\ell_n = I(\rho^\ell_n) - I(\rho^{\ell-1}_{n-1/2}) - I(\rho^{\ell-1}_{n+1/2}) + I(\rho^{\ell-2}_n)$이다.
2. 스테빌라이저 특성: 저자들은 임의의 스테빌라이저 상태에 대해 국소 정보 $i^\ell_n$이 엄격하게 정수임을 입증한다. 이는 스테빌라이저 상태가 독립적인 파울리 생성자(Pauli generators)에 정보가 인코딩되어 이진 측정 결과를 산출하는 특정한 얽힘 구조를 갖기 때문에 발생한다.
3. 비스테빌라이저성 관측: 논문은 $i^\ell_n$의 비정수 값이 비스테빌라이저성의 충분 조건이라고 상정한다.
4. 범위 구분: "국소화된(localized)" 상태(작은 스케일에서 방대한 정보를 가지고 중간 스케일에서 '정보 갭'을 갖는 상태)의 경우, 저자들은 큰 스케일에서의 총 정보 $\Gamma = \sum_{\ell=\lfloor L/2 \rfloor}^{L-1} I_\ell$를 정의한다.
   • 국소 유니터리 회로는 방대한 정보 갭을 가로질러 정보를 재분배할 수 없으므로, $\Gamma$는 얕은 회로에 대해 불변이다.
   • 스테빌라이저 상태는 항상 정수인 $\Gamma$를 갖는다. 따라서 국소화된 상태에서 나타나는 비정수 $\Gamma$는 장거리 비스테빌라이저성의 증거가 된다.
5. 폴딩(Folding) 절차: 장거리 비스테빌라이저성이 전역적 상관관계(global correlations)에서 기인하는지, 혹은 엣지 간 상관관계(edge-to-edge correlations)에서 기인하는지를 구분하기 위해 저자들은 "폴딩" 절차를 제안한다. 이는 사이트 $n$과 $L-n-1$을 결합하여 체인의 길이를 절반으로 줄이는 동시에 국소 힐베르트 공간의 차원을 두 배로 늘린다. 이 절차는 엣지 간 상관관계를 국소적인 것으로 만들며, 이를 통해 남은 큰 스케일의 정보($\Gamma_{\text{folded}}$)가 전역적 상관관계($\gamma_{\text{global}}$)의 기여도를 추정할 수 있게 한다.

주요 결과

• 정수 vs. 비정수 정보: 저자들은 비정수 국소 정보가 비스테빌라이저성의 직접적인 지표임을 보여준다. 스테빌라이저 상태(예: 벨 쌍, GHZ 상태, 무작위 클리포드 회로)는 엄격하게 정수인 국소 정보를 보이는 반면, 비스테빌라이저 상태(예: T-도핑된 클리포드 회로)는 비정수 값을 보임을 입증한다.
• 장거리 증거: 국소화된 상태에서 비정수 $\Gamma$는 장거리 비스테빌라이저성의 존재를 증명한다. 논문은 $\Gamma = 0$인 국소화된 상태는 최대 단거리 비스테빌라이저성만을 가짐을 보여준다.
• 포츠 모델(Potts Model)에의 적용: 이 방법은 스핀-1/2 3상태 포츠 모델에 적용되었다:
  • 강자성 상 ($h \ll 1/3$): 대칭적인 바닥 상태는 정보 갭을 가지며 비정수 $\Gamma \approx \log_2(3)$를 나타낸다. 폴딩 절차는 $\Gamma_{\text{folded}} \approx \Gamma$임을 확인해주며, 이는 비스테빌라이저성이 바닥 상태의 3중 퇴화와 관련된 전역적 상관관계에서 기인함을 나타낸다.
  • 상자성 상 ($h \gg 1/3$): 바닥 상태는 $\Gamma \approx 0$을 가지며, 이는 최대 단거리 비스테빌라이저성을 가짐을 의미한다.
  • 임계점: 상전이 근처($h \approx 1/3$)에서는 정보 갭이 닫히고 $\Gamma$가 시스템 크기에 따라 스케일링되므로, 상태가 더 이상 국소화되지 않아 해당 증거를 적용할 수 없다.

의의 및 주장
본 논문은 국소 유니터리 회로에 대한 최소화 절차(계산 비용이 매우 높음) 없이 비스테빌라이저성을 관측할 수 있는 직접적이고 계산 효율적인 방법을 제공한다고 주장한다.

• 상태의 속성: 이 접근 방식은 오로지 양자 상태의 속성(정보 격자를 통해)에만 의존하며, 부모 해밀토니안이나 상태 생성 프로토콜과는 독립적이다.
• 효율성: 국소화된 상태의 경우, $\Gamma$를 계산하는 것은 중간 스케일의 밀도 행렬을 모두 대각화할 필요가 없으므로 브루트 포스(brute-force) 방식으로 비스테빌라이저 성질의 모노톤을 최소화하는 것보다 계산 비용이 적게 든다.
• 실험적 접근성: 저자들은 정보 격자가 밀도 행렬에 의존하므로, 이러한 양들이 양자 상태 토모그래피(quantum state tomography)를 통해 잠재적으로 접근 가능하다는 점을 언급한다.
• 범위: 본 연구는 1차원 시스템에 집중하고 있으나, 준-1차원 거친 격자화(quasi-1D coarse-graining) 또는 고차원 국소 분해를 통해 고차원으로 확장 가능하며, 혼합 상태(mixed-state) 상으로도 확장될 수 있음을 시사한다.

저자들은 비정수 국소 정보가 비스테빌라이저성의 충분 조건이지만 필수 조건은 아니라는 점(정수 국소 정보를 갖는 미세 조정된 비스테빌라이저 상태의 예시를 인용)을 들어 신중한 태도를 유지한다. 주요 기여는 불변인 $\Gamma$를 통해 국소화된 상에서 비스테빌라이저성의 범위를 구별할 수 있는 능력이다.