Isospectrality and Operator Complexity

이 논문은 자유 및 상호작용하는 다체계가 등스펙트럼(isospectral)일 수 있으면서도, 국소 연산자를 확장된 다체 끈(many-body strings)으로 매핑하는 비국소 유니터리 변환에 의해 연결되어 근본적으로 구별되는 상 구조와 연산자 복잡도 역학을 보일 수 있음을 입증한다.

핵심

두 가지 서로 다른 악기가 있다고 상상해 보세요. 하나는 단순하고 순수한 플루트(이차 모델, "quadratic" model)이고, 다른 하나는 많은 부품이 상호작용하는 복잡하고 무거운 드럼 세트(상호작용 모델, "interacting" model)입니다.

보통은 플루트로 특정 음을 연주할 때와 드럼 세트로 연고를 연주할 때의 소리가 매우 다릅니다. 하지만 이 논문에서 연구자들은 마법 같은 기술을 발견했습니다. 그들은 드럼 세트를 조율하여 그것이 만들어내는 모든 음이 플루트와 정확히 같은 음높이와 음량을 갖도록 만드는 방법을 찾아냈습니다. 물리학적으로 말하면, 이들은 "등스펙트럼(isospectral)"입니다. 즉, 정확히 동일한 에너지 스펙트럼을 공유합니다.

하지만 이 논문은 놀라운 반전을 보여줍니다. 비록 소리는 같을지라도, 음악을 연주하거나 변화를 주려고 할 때 이들은 완전히 다르게 행동한다는 것입니다.

다음은 간단한 비유를 사용한 연구 결과의 요약입니다:

1. 마법의 번역기 (유니터리 변환, The Unitary Transformation)

연구자들은 복잡한 드럼 세트를 단순한 플루트로 바꾸어 주는 "번역기"(수학적 변환)를 찾아냈습니다.

• 함정: 이 번역기는 "비국소적(nonlocal)"입니다. 예를 들어, 플루트에서 음 하나를 연주하기 위해 방 전체에 퍼져 있는 수십 개의 드럼을 동시에 두드려야 하는 상황과 같습니다.
• 결과: 단순한 플루트 세계에서는 "국소적(local)"인 작용(건반 하나를 누르는 것)이 국소적인 상태로 유지됩니다. 하지만 복잡한 드럼 세트 세계에서 동일한 작용은 시스템 전체로 길게 늘어진 엉킨 상호작용의 줄기로 확장됩니다.

2. 같은 지도, 다른 풍경 (Different Landscapes, Same Map)

두 시스템은 동일한 음(에너지 스펙트럼)을 공유하기 때문에, 당신은 이들이 동일한 "풍경"이나 물질의 상(phase)을 나타낸다고 생각할 수도 있습니다.

• 플루트 (이차 모델): 이는 표준적인 위상 물질처럼 행동합니다. 깨끗하고 단순한 가장자리(마요라나 모드와 같은)를 가지고 있어 설명하기 쉽습니다.
• 드럼 세트 (상호작용 모델): 동일한 음을 가지고 있음에도 불구하고, 이 모델은 완전히 다른 "상(phase)"에 존재합니다. 어떻게 조율하느냐에 따라 "전하 밀도 파동(charge-density wave, 체커보드 패턴과 같은)"이 될 수도 있고, "밀도 편극(density-polarized)" 상태가 될 수도 있습니다.
• 교훈: 두 시스템이 동일한 에너지 레벨이라는 "메뉴"를 가지고 있다고 해서, 반드시 같은 "식사"를 제공하는 것은 아닙니다. 재료의 구조(연산자)는 최종적인 맛만큼이나 중요합니다.

3. 정보의 속도 (OTOCs)

연구자들은 정보가 시스템을 통해 얼마나 빨리 이동하는지(마치 연못에 퍼지는 물결처럼) 관찰했습니다.

• 전선(The Front): 두 시스템 모두 물결이 움직일 수 있는 "속도 제한"을 가지고 있습니다. 이 속도는 음(스펙트럼)에 의해 결정되므로, 플루트와 드럼 세트는 동일한 속도 제한을 가집니다.
• 내부(The Inside): 하지만 물결 내부에서 일어나는 일은 다릅니다.
  • 플루트의 경우, 물결은 매끄럽고 예측 가능합니다.
  • 드럼 세트의 경우, 번역기가 국소적 작용을 거대한 줄기로 확장했기 때문에, 물결은 복잡한 간섭 패턴을 형성합니다. 이는 깨끗한 레이저 빔과 만화경을 통과하는 빛의 빔 사이의 차이와 같습니다. 빛은 같은 속도로 이동하지만, 그 내부의 패턴은 혼돈스럽고 복잡합니다.

4. 성장의 복잡성 (크릴로프 복잡도, Krylov Complexity)

마지막으로, 그들은 시간이 지남에 따라 시스템이 얼마나 "복잡"해지는지 살펴보았습니다. 시스템의 상태를 설명하려고 노력한다고 상상해 보세요.

• 플루트: 상태를 설명하기 위해 몇 가지 단순한 단어만 필요합니다. 복잡성은 낮고 제한적입니다. 마치 짧고 절제된 하이쿠를 쓰는 것과 같습니다.
• 드럼 세트: 상태를 설명하기 위해 더 많은 단어를 계속 추가해야 하며, 시스템의 더 많은 부분을 연결해야 합니다. 복잡성은 꾸준히 성장합니다(시간의 제곱근처럼). 이는 생각을 거듭할수록 점점 더 길어지고 정교해지는 소설을 쓰는 것과 같습니다.

핵심 결론

이 논문은 양자 물리학의 근본적인 점을 증명합니다. 에너지 레벨(스펙트럼)만으로는 시스템을 판단할 수 없다는 것입니다.

두 시스템은 에너지 "음"의 측면에서는 완벽한 쌍둥이일 수 있지만, 구성 요소들이 어떻게 상호작용하고 정보가 어떻게 퍼지는지를 본다면 플루트와 드럼 세트만큼이나 다를 수 있습니다. 시스템의 "영혼"(역학 및 복잡성)은 에너지 스펙트럼이 아니라 연산자의 구조 속에 숨겨져 있습니다.

요약하자면: 같은 음이지만, 다른 노래입니다. 같은 에너지이지만, 다른 복잡성입니다.

기술 요약

기술 요약: 등스펙트럼성(Isospectrality)과 연산자 복잡도

문제 제기
양자 다체 물리(quantum many-body physics)의 핵심적인 질문 중 하나는 다체 에너지 스펙트럼이 양자계의 물리적 성질을 어느 정도까지 인코딩하는가 하는 점이다. 전통적으로 스펙트럼 정보는 열역학, 응답 함수, 상 분류(phase classification)와 같은 평형 현상의 이해를 뒷받는 기초가 되어 왔으나, 최근의 비평형 역학 연구들은 동역학적 성질(예: 양자 카오스, 연산자 스크램블링, 크릴로프 복잡도)이 단순히 스펙트럼 데이터뿐만 아니라 시간 진화에 따른 연산자의 구조에 결정적으로 의존한다는 점을 시사한다. 본 연구는 동일한 다체 스펙트럼을 가진 두 국소 해밀토니안(local Hamiltonians)이 서로 판이하게 다른 상 구조, 연산자 성장, 스크램블링 역학 및 동역학적 복잡도를 보일 수 있는지에 대한 미해결 질문을 다룬다.

방법론
저자들은 비국소적(nonlocal)이고 비선형적인 유니터리 변환에 의해 연결된, 정확히 풀리는(exactly solvable) 두 종류의 페르미온 사슬을 연구한다.

1. 모델:
   • 상호작용 모델 ($H_{\text{int}}$): 이차(quadratic) 키타예프 사슬(Kitaev chain)에 4차 밀도-밀도 상호작용 항인 $H_{\text{nn}} = \sum (2n_j - 1)(2n_{j+1} - 1)$이 추가된 스핀 없는 페르미온의 근접 이웃 사슬이다.
   • 이차 모델 ($H_{\text{ff}}$): 상호작용 강도 $\lambda$에 따라 조절 가능한 호핑(hopping) 및 페어링(pairing) 진폭을 갖는 이차 키타예프 유형의 해밀토니안이다.
2. 변환: 저자들은 상호작용 해밀토니안 $H_{\text{int}}(\lambda)$를 이차 해밀토니안 $H_{\text{ff}}(\lambda)$로 정확하게 매핑하는 특정 비국소적, 비선형 페르미온-대-페르미온 유니터리 변환 $U$(참고 문헌 [12]에서 도입됨)를 활용한다. 이 변환은 전체 다체 스펙트럼을 보존(등스펙트럼성)하지만, 국소 연산자 대수(local operator algebra)를 재구성하여 국소 페르미온 연산자를 확장된 다체 스트링(many-body strings)으로 매핑한다.
3. 분석 도구:
   • 정확한 풀이 가능성: 상호작용 모델을 이차 쌍대(quadratic dual) 모델로 매핑함으로써, 저자들은 쌍대 이차 모델의 프로파게이터(propagator)에 의해 결정되는 관측량들에 대한 정확한 Pfaffian 표현식을 유도한다.
   • 동역학적 진단: 두 모델을 비교하기 위해 바닥 상태 밀도 상관관계, 시간 순서가 뒤바뀐 상관 함수(Out-of-Time-Ordered Correlators, OTOCs), 그리고 크릴로프 복잡도(리우빌리안 란초스 계수 사용)를 활용한다.

주요 기여 및 결과

• 정확한 등스펙트럼성: 수치적 검증 결과, 시스템 크기 $N=12$까지 $H_{\text{int}}$와 $H_{\text{ff}}$의 다체 스펙트럼이 레벨별로 일치하며, 스펙트럼 차이가 수치적 정밀도 내에서 소멸함을 확인하였다.
• 구별되는 상 구조: 동일한 벌크 임계점 $\lambda = \pm 1$을 공유함에도 불구하고, 두 모델은 근본적으로 다른 상을 구현한다:
  • 이차 모델($H_{\text{ff}}$)은 와인딩 수 $\nu = \pm 1$과 단순한 마요라나 에지 모드(Majorana edge modes)를 특징으로 하는 위상적 상을 갖는 BDI 대칭 클래스 키타예프 사슬이다.
  • 상호작용 모델($H_{\text{int}}$)은 $\lambda > 1$일 때 전하 밀도 파동(charge-density-wave, CDW) 질서, $-1 < \lambda < 1$일 때 대칭 보호 위상(Symmetry Protected Topological, SPT) 상, 그리고 $\lambda < -1$일 때 밀도 편극(density-polarized) 영역이라는 세 가지 뚜렷한 상을 나타낸다. 결정적으로, 상호작용 SPT 상의 제로 모드는 단순한 마요라나 연산자와 대조적으로 매우 비국소적인 다체 스트링 형태를 띤다.
• 연산자 확산 및 OTOC:
  • 두 모델 모두 공통된 단일 입자 스펙트럼에 의해 결정되는 속도 $v_{\text{max}} = 4$ ($\lambda=1$에서)를 갖는 탄도적 광추(ballistic light cone)를 보인다.
  • 그러나 광추 내부의 양상은 크게 다르다. 이차 모델은 단순한 전파를 보이는 반면, 상호작용 모델은 풍부한 간섭 패턴과 광추 전반에 걸친 상당한 가중치를 보여준다. 이는 상호작용 모델의 물리적 밀도 연산자가 확장된 마요라나 스트링으로 매핑되어, 자유 페르미온 스펙트럼에도 불구하고 비자명한 연산자 확산을 일으키기 때문이다.
• 크릴로프 복잡도 및 란초스 성장:
  • 이차 모델: 국소 연산자는 닫힌 선형 부공간(마요라나 섹터) 내에서 진화하며, 이로 인해 란초스 계수($b_n$)는 주기-2 형태에 도달하는 유계(bounded) 상태를 유지한다.
  • 상호작용 모델: 반복적인 교환자(commutator) 작용은 점점 더 높은 차수의 다체 연산자를 생성한다. 란초스 계수는 $b_n \propto \sqrt{n}$의 점근적 성장을 보이며, 이는 상호작용하는 시스템의 특징이다. 이는 스펙트럼이 유계된 복잡도를 가진 이차 모델과 동일함에도 불구하고, 상호작용 모델에서는 연산자 복잡도가 무제한으로 성장함을 입증한다.

의의 및 주장
본 논문은 자유 다체 스펙트럼과 상호작용하는 연산자 역학이 근본적으로 양립 가능하다는 것을 보여준다. 저자들은 스펙트럼의 동등성만으로는 다음을 결정하기에 불충분하다고 결론짓는다:

1. 계의 상 구조.
2. 국소 연산자 대수의 성질.
3. 계의 동역학적 복잡도 및 연산자 성장(스크램블링).

이 결과는 스펙트럼이 전파 속도(광추)를 결정하지만, 연산자 대수가 역학의 내부 구조와 연산자 복잡도 성장의 속도를 결정한다는 점을 강조한다. 본 연구는 비국소적 유니터리 변환이 에너지 스펙트럼은 보존하면서도, 국소 관측량의 물리적 해석과 그 시간 진화를 근본적으로 변화시킬 수 있음을 확립한다.