Non-stabilizerness and entanglement in $(2+1)$-dimensional SU(2) lattice gauge theory using tensor networks

기술적 요약: (2 + 1)차원 SU(2) 격자 게이지 이론에서의 비-스테빌라이저성(Non-stabilizerness) 및 얽힘

문제 정의
양자 컴퓨터에서 양자장론, 특히 비가환 격자 게이지 이론을 시뮬레이션하기 위해서는 물리적 상태를 표현하고 진화시키는 데 필요한 양자 자원을 정확히 이해해야 한다. 얽힘 엔트로피는 고전적 시뮬레이션 가능성을 진단하는 주요 지표로 오랫동안 사용되어 왔으나, 고도로 얽힌 스테빌라이저 상태(stabilizer states)는 여전히 고전적으로 효율적인 시뮬레이션이 가능하다는 점에서 그 자체로는 불충분하다. 비-스테빌라이저성, 즉 "매직(magic)"은 상태가 스테빌라이저 다면체(stabilizer polytope)로부터 벗어난 정도를 정량화하는 보완적 자원으로 부상했다. 그러나 비가환 게이지 이론에서 매직에 대한 수치적 연구는 (1 + 1)차원에 국한되어 왔다. 본 연구는 이러한 공백을 메우기 위해, 진정한 자기적(플라켓) 역학과 게이지-물질 비국소화 크로스오버(gauge–matter delocalization crossover)가 발생하는 영역인 (2 + 1)차원 SU(2) 격자 게이지 이론의 바닥 상태를 조사한다. 이 연구의 목적은 이러한 상태들의 비-스테빌라이저성을 특징짓고, 시스템이 연속체 극한(continuum limit)에 접근함에 따라 이러한 자원들이 어떻게 스케일링되는지 결정하는 것이다.

방법론
저자들은 하드코어 글루온 절단(hardcore-gluon truncation, $j=0$ 및 $j=1/2$ 기약 표현만을 유지) 내에서 드레스-사이트 기저(dressed-site basis)를 사용하여 SU(2) 해밀토니안 격자 게이지 이론을 정식화한다. 이 프레임워크 내에서 게이지 자유도는 가우스 법칙을 명시적으로 풀어 사이트로 흡수되며, 이를 통해 링크 제약 조건을 로컬 사이트 제약 조건 및 링크 매칭 조건으로 변환한다. 시스템은 정사각형 격자(개방 경계 조건) 상에서 바리온 수가 0인 섹터($b=0$)로 제한되며, 최대 $6 \times 6$ 크기까지 다룬다.

바닥 상태는 2차원 격자의 1차원 정렬(열 우선 순위, column-major)을 가진 **행렬 곱 상태(Matrix Product States, MPS)**를 사용하여 근사된다. 연구에서는 세 가지 특정 매직 및 얽힘 측면을 계산한다:

1. 2차 스테빌라이저 레니 엔트로피(Stabilizer Rényi Entropy, SRE), $M_2$: 전체 비-스테빌라이저성의 척도.
2. 비-로컬 매직(Non-local Magic), $M^{NL}_2$: 로컬 유니터리($U_A \otimes U_B$)에 대한 최소화를 통해 분리된, 이분할(bipartition)을 가로지르는 상관관계와 관련된 매직의 성분.
3. 안티-플랫니스(Anti-flatness, $F$) 및 하한선: 얽힘 스펙트럼의 평탄한 분포로부터의 편차를 측정하며, 이를 통해 비-로컬 매직의 하한을 도출하는 데 사용된다.

이를 계산하기 위해 저자들은 작은 격자에 대해서는 전체 SRE를 위한 파울리 샘플링(Pauli sampling)을 채택하고, 비-로컬 양들에 대해서는 중앙 컷(central cut)의 슈미트 참조 상태(Schmidt reference state)를 활용한다. 또한 전기 에너지 밀도, 정규화된 자기 플라켓, 게이지 불변 얽힘 엔트로피를 포함한 게이지 불변 관측량들을 계산한다.

주요 기여

• 이론적 부등식: 저자들은 비-로컬 매직에 대한 더 강력한 형태의 "샌드위치 관계(sandwich relation)"를 증명한다. 임의의 슈미트 기저와 랭크(rank)에 대해 $-\log_2(1 - 4F) \leq M^{NL}_2 \leq M_2$라는 부등식이 성립함을 확립한다. 이는 특정 스펙트럼 유형이나 랭크에 국한되었던 이전의 결과들을 개선하여, 비-로컬 매직의 최대 하한에 관한 미해결 문제를 해결한다.
• 인코딩 불변성(Encoding Invariance): 논문은 전체 SRE와 비-로컬 양 사이의 결정적인 구조적 차이를 보여준다. 전체 SRE($M_2$)는 게이지 불변 로컬 힐베르트 공간의 특정 큐비트 인코딩에 의존하며, 이는 유일하지 않다. 반면, 비-로컬 매직($M^{NL}_2$)과 안티-플랫니스($F$)는 사이트-로컬 재인코딩(site-local re-encodings)에 대해 불변이다. 이는 비-로컬 양들이 물리적 상태와 이분할에 내재된 특성임을 의미하며, 이들이 선호되는 물리적 진단 도구임을 나타낸다.
• 수치적 구현: 본 연구는 결합 차원(bond dimension)이 최대 $\chi = 128$인 MPS를 활용하여 매직의 텐서 네트워크 시뮬레이션을 (2 + 1)차원으로 확장한다.

결과

• 게이지-물질 비국소화 크로스오버: 비-로컬 매직은 국소화된 상태(강한 결합, 큰 $g^2$)에서 플럭스 질서/비국소화 상태(약한 결합, $g^2 \to 0$)로의 크로스오버를 포착하는 날카로운 프로브 역할을 한다. 비-로컬 매직의 피크는 $g^2 \approx 1$에서 발생하며, 이는 이전의 미절단(untruncated) 연구에서 확인된 크로스오버와 일치한다.
• 수렴성 및 민감도: 비-로컬 매직은 바닥 상태 에너지나 전체 SRE를 수렴시키는 데 필요한 것보다 훨씬 낮은 결합 차원($\chi$)에서도 명확한 신호를 유지한다. 예를 들어, $6 \times 6$ 격자에서 비-로컬 매직의 피크는 $\chi=64$일 때 $g^2 \approx 0.8$에서 $\chi=128$일 때 $g^2 \approx 1$로 이동하며, 이는 기대되는 크로스오버 지점과 일치한다. 이와 대조적으로, 전체 SRE와 얽힘 엔트로피는 수렴을 위해 더 높은 $\chi$를 요구한다.
• 경계 검증: 수치적 결과는 전 구간에서 새로 증명된 하한 $-\log_2(1 - 4F) \leq M^{NL}_2$를 만족한다. 시스템이 강한 결합 극한($g^2 \to \infty$)으로 접근함에 따라 비-ло컬 매직은 하한에 근접하며, 이는 상태가 점점 더 스테빌라이저와 유사해진다는 점과 일치한다.
• 얽힘 구조: 게이지 불변 얽힘 엔트로피는 고전적, 양자적, 그리고 에지(edge) 기여분으로 분해된다. 에지 기여분은 끊어진 결합의 수로 인해 격자 크기가 커짐에 따라 증가하는 반면, 양자 성분은 결합 차원에 강한 의존성을 보이지만 다른 기여분에 비해 작게 유지된다.

의의
본 논문은 비-로컬 매직이 전체 SRE나 표준 얽힘 엔트로피보다 게이지-물질 비국소화 크로스오버를 파악하는 데 있어 더 효율적이고 물리적으로 견고한 진단 도구임을 주장한다. 특히 전체 바닥 상태의 수렴이 계산적으로 매우 비용이 많이 드는 영역에서 그러하다. 하한을 증명하고 비-로컬 양의 인코딩 불변성을 확립함으로써, 본 연구는 고차원 게이지 이론에서 양자 자원을 정량화하기 위한 엄밀한 프레임워크를 제공한다.

저자들은 하드코어 절단($j_{max}=1/2$)이 크로스오버의 질적인 물리는 포착하지만, 연속체 극한을 설명하기에는 불충분하다고 언급한다. 이들은 향ul후 더 높은 기약 표현으로 이 방법들을 확장하여, Type III 폰 노이만 대수(von Neumann algebra)에 기반한 이론적 논의가 예측하는 것처럼 연속체 극한의 바닥 상태가 발산하는 양의 매직을 보유하고 있는지 테스트하는 것이 필요할 것이라고 제언한다. 본 연구는 양자 정보와 양자장론의 교차점을 강화하며, 물리적 상태의 복잡성을 특징짓는 데 있어 비-스테빌라이저성의 역할을 강조한다.