Quantum complexity and generalized area law in fully connected models

기술 요약: 완전 연결 모델에서의 양자 복잡도 및 일반화된 면적 법칙

문제 정의
얽힘 면적 법칙(entanglement area law)은 갭이 있는 바닥 상태의 얽힘 엔트로피가 하위 시스템의 부피가 아니라 경계 면적에 비례하여 스케일링된다는 가설이다. 이는 1차원(1D) 국소 시스템에서는 엄밀하게 확립되었으나, 고차원 국소 시스템에서 이 법칙의 상태는 여전히 미해결 과제로 남아 있으며, 기하학적으로 비국소적인 시스템에서는 일반적으로 실패하는 것으로 알려져 있다. 완전 연결(all-to-all interacting) 시스템은 공간적 차원이 무의미해지는 극단적인 비국소성의 사례를 나타낸다. 이러한 시스템에서 얽힘 구조는 매우 다양하다: 일부 모델(예: Lipkin-Meshkov-Glick)은 로그 스케일링을 보이는 반면, 다른 모델들(예: Sachdev-Ye-Kitaev 또는 가로 자기장 Sherrington-Kirkpatrick)은 종종 볼륨 법칙(volume-law) 스케일링을 보인다. 핵심 과제는 기하학적 국소성이 부재하고 임의의 분할(bipartition)에서 광범위한 "경계"가 존재함에도 불구하고, 완전 연결 시스템의 갭이 있는 바닥 상태에 대해 어떠한 구조적 조건 하에서 일반화된 면적 법칙이 성립하는지 결정하는 것이다.

방법론
저자들은 특정 구조적 가정을 따르는 완전 연결 해밀토니안의 갭이 있는 바닥 상태에 대한 일반화된 면적 법칙을 확립한다. 이 프레임워크는 $n$개의 큐디트(qudit)를 가진 $k$-local 해밀토니안 $H$를 고려한다. 주요 구조적 가정은 다음과 같다:

1. 스펙트럼 갭(Spectral Gap): 해밀토니안은 시스템 크기 $n$과 독립적인 일정한 스펙트럼 갭 $\Delta$를 갖는다.
2. 유계된 국소 에너지 스케일(Bounded Local Energy Scale): 상호작용 강도는 단일 사이트와 관련된 에너지가 유계되도록 스케일링된다. 구체적으로, 특정 사이트 $i$를 포함하는 상호작용 노름의 합은 상수 $\bar{g}$에 의해 제한되며, 이는 Kac 방식의 정규화(예: 쌍별 상호작용에 대한 $1/n$ 스케일링)를 통해 달성된다. 이는 국소 에너지 스케일이 $n$에 따라 증가하는 특정 무질서 SK 또는 SYK 모델들과 본 연구를 구분 짓는 지점이다.

증명 전략은 기하학적 분리(geometric separation)에 의존하는 전통적인 면적 법칙 기법(예: 근사 바닥 상태 투영 또는 Lieb-Robinson 경계)에서 벗어난다. 대신, 저자들은 스펙트럼 갭과 국소 관측량의 요동 억제 사이의 관계를 연결하는 정량적 트레이드오프 부등식을 사용한다. 핵심 논리 흐름은 다음과 같다:

• 강건성 및 부트스트랩(Robustness and Bootstrap): 바닥 상태가 단일 사이트 축소 밀도 행렬을 보존하는 국소 유니터리 변환에 대해 강건함을 입증한다. "부트스트랩" 논증을 반복 적용함으로써, 저자들은 스펙트럼 갭이 지배적인 국소 성분 외부의 슈미트 계수(Schmidt coefficient)의 가중치를 $O(1/n)$으로 스케일링하도록 강제함을 보여준다.
• 창발적 국소 곱 구조(Emergent Local Product Structure): 이러한 약한 사이트당 얽힘은 바닥 상태가 "평균장(mean-field)" 상태에 국소적으로 집중되어 있음을 의미한다.
• 집중 경계(Concentration Bounds): 저자들은 평균장 구성으로부터 벗어나는 총 사이트 수의 확률 분포를 분석한다. 이들은 스트레치드 지수(stretched-exponential) 집중 경계를 증명하여, 바닥 상태가 많은 수의 국소적 편차를 가진 구성에 대해 무시할 수 있는 가중치를 가짐을 보여준다.
• 차원 축소(Dimension Reduction): 이러한 집중은 유효 힐베르트 공간을 적은 수의 편차를 가진 구성들에 의해 생성되는 저차원 부분 공간으로 제한할 수 있게 하며, 이는 효율적인 근사를 용이하게 한다.

주요 기여 및 결과

1. 로그 얽힘 경계(Logarithmic Entanglement Bound):
   유계된 국소 에너지 가정을 만족하는 일반적인 완전 연결 갭 해밀토니안에 대해, 이분 얽힘 엔트로피 $S_{A,B}(|\Omega\rangle)$는 시스템 크기에 대해 최대 로그 단위로 성장한다:
   $$S_{A,B}(|\Omega\rangle) \leq C \left(\frac{\bar{g}}{\Delta}\right)^3 \log n$$
   이 결과는 기하학적 국소성이 없음에도 불구하고 성립하며, 낮은 얽힘 복잡도가 반드시 기하학적 분리를 필요로 하는 것은 아님을 입증한다.

2. 효율적인 행렬 곱 상태(MPS) 근사:
   바닥 상태가 적은 수의 국소적 편차를 가진 구성들에 집중되어 있기 때문에, 바닥 상태는 효율적인 MPS 근사를 허용한다. 임의의 고정된 정확도 $\epsilon$에 대해, 다음의 결합 차원(bond dimension)을 갖는 MPS $|\Omega_D\rangle$가 존재한다:
   $$D = n^{O(\log^2(1/\epsilon))}$$
   일정한 정밀도에 대해 결합 차원은 $n$에 대해 다항식으로 스케일링되므로, 효율적인 클래식 표현이 가능하다.

3. 치환 불변 시스템(Permutation-Invariant Systems):
   치환 불변 해밀토니안의 경우, 저자들은 더 강력한 결과를 증명한다:

• 상수 얽힘(Constant Entanglement): 얽힘 엔트로피는 시스템 크기와 무관하게 상수 $O(1)$로 제한된다.
• 다항 로그 시간 알고리즘(Polylogarithmic Time Algorithm): 저자들은 바닥 상태 에너지를 계산하고 오차 $\epsilon$ 내에서 근사 바닥 상태 벡터를 구하는 클래식 알고리즘을 구축한다. 이때 시간 복잡도는 $O(\text{polylog}(1/\epsilon) \log(n/\epsilon))$이다. 역다항식 정밀도($\epsilon = 1/\text{poly}(n)$)의 경우, 복잡도는 $n$에 대한 다항 로그(polylogarithmic) 수준이다. 이는 편차 수 $z$에 대한 대칭 부분 공간 내에서 변분적 국소 기저 패밀리를 최적화함으로써 달성된다.

의의 및 주장
본 논문은 저차원 얽힘 복잡도가 기하학적 국소성 없이도 무한 차원(평균장) 시스템의 극한에서 창발할 수 있음을 증명함으로써 면적 법칙의 개념적, 계산적 범위를 넓혔다고 주장한다. 이 결과는 일반화된 면적 법칙에 대한 반례(예: Ref. [40])와 달리, 균등하게 희석된 상호작용 강도(Kac 정규화)의 필요성을 강조함으로써 차별화된다. 본 프레임워크에서 임의의 고정된 두 사이트 간의 총 상호작용 강도는 $n$에 따라 감소하여 국소 에너지 스케일을 유계로 유지한다. 이는 국소 에너지 스케일이 시스템 크기에 따라 증가하여 볼륨 법칙 얽힘을 유발할 수 있는 메커니즘을 배제한다.

또한, 본 연구는 갭이 있는 완전 연결 모델에 대한 **국소 해밀토니안 문제(LHP)**를 다룬다. 이는 상수 정밀도에 대해 해당 문제가 NP에 속함을 시사하는데, 왜냐하면 다항 결합 차원을 갖는 MPS가 다항 시간 내에 검증 가능한 클래식 증거(witness) 역할을 하기 때문이다. 그러나 역다항식 정밀도에 대해서는 결합 차원이 준다항식(quasi-polynomial)이 되므로, 해당 정밀도 영역에서의 정확한 복잡도 클래스는 미해결 과제로 남는다.

저자들은 자신의 로그 경계가 일반적인 경우에는 적용되지만, 상수 경계 및 다항 로그 알고리즘은 치환 불변 시스템에 특화된 것임을 명시한다. 이들은 유한 패턴 가로 자기장 양자 호프필드 모델을 비치환 불변 시스템에서 일반적인 로그 경계가 적용될 수 있는 잠재적 후보로 지목하였으나, 이러한 모델의 더 넓은 범주를 식별하는 것은 여전히 열려 있는 문제이다. 마지막으로, 유한 차원 환경에서 Kac 정규화를 가진 강한 장거리 상호작용 시스템으로 이러한 기법을 확장하는 것이 향후 연구의 유망한 방향임을 제안한다.