⚛️ quantum physics

Free fermion models with an operator entanglement growing as $O(\sqrt{t})$

이 논문은 시공간 의존적 무작위성을 갖는 1차원 수 보존 자유 페르미온 계에서 국소 스핀 연산자와 진화 연산자의 연산자 공간 얽힘 엔트로피가 $\mathcal{O}(\sqrt{t})$ 로 성장함을 입증하며, 이러한 거동은 양자 모델을 대칭 단순 배제 과정으로 사상함으로써 분석적으로 확립되었고, 비무작위 또는 다른 무작위 시나리오에서 관찰되는 로그형 또는 선형 성장과 대조를 이룬다.

원저자: Federico Tonetto, Jérôme Dubail

게시일 2026-10-06

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Federico Tonetto, Jérôme Dubail

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

양자 세계에서 정보가 확산되는 방식의 규칙은 우리가 일상적으로 경험하는 것과는 근본적으로 다릅니다. 물리학자들이 전자나 원자와 같은 미세한 입자들의 사슬을 연구할 때, 그들은 종종 '얽힘 엔트로피(entanglement entropy)'라고 불리는 양을 살펴봅니다. 이는 두 부분이 얼마나 깊게 연결되어 있는지, 즉 한 부분의 상태를 아는 것이 다른 부분에 대한 정보를 즉각적으로 드러내는지 측정하는 척도입니다. 수십 년 동안 명확한 패턴이 나타나는 듯 보였습니다. 즉, '적분 가능(integrable)'한 시스템(단순하고 예측 가능하며, 대부분의 실제 물질이 가진 혼돈스러운 성질이 결여된 시스템)에서는 얽힘이 시간의 로그 함수에 따라 매우 느리게 증가합니다. 이는 시스템이 질서 정연하고 설명하기 쉬운 상태를 유지함을 시사하는 완만하고 느릿한 상승입니다. 반면, 입자들이 격렬하게 상호작용하는 혼돈계(chaotic systems)에서는 이 얽힘이 선형적으로 폭발하며, 시간이 한 번 흐를 때마다 성장률이 두 배씩 증가합니다. 이러한 구별은 오랫동안 단순하고 예측 가능한 양자 운동과 진정한 혼돈의 복잡하고 무질서한 행동을 구분하는 리트머스 시험지로 사용되어 왔습니다.

하지만 페데리코 토네토(Federico Tonetto)와 제로임 뒤바일(Jérôme Dubail)의 새로운 연구는 이 깔끔한 이분법에 도전합니다. 그들은 특정 유형의 양자 시스템, 즉 서로 상호작용하지는 않지만 여전히 얽힐 수 있는 입자인 '자유 페르미온(free fermions)'의 1차원 사슬을 조사했습니다. 이러한 '깨끗한' 시스템에 대한 이전 연구들에서, 입자의 상태를 기술하는 데 사용되는 수학적 도구인 국소 연산자(local operators)의 얽힘은 로그 함수적으로 성장하는 것으로 알려져 있었으며, 이는 느리고 질서 있는 패턴에 부합했습니다. 그러나 연구진은 다른 질문을 던졌습니다: 만약 시스템에 무작위성(randomness)을 도입한다면 어떻게 될까? 그들은 단순히 정적인 무질서, 즉 얼어붙은 불순물을 추가한 것이 아니라, 환경이 공간과 시간 모두에서 무작위로 변동하도록 하여 노이즈가 있고 예측 불가능한 세상을 모사했습니다. 그들은 국소 스핀 연산자(local spin operator, 이는 체인의 나머지 부분과 연결되는 수학적 '끈'을 포함함)의 진화와 시스템 전체의 변화를 설명하는 진화 연산자(evolution operator)의 진화라는 두 가지 특정 요소에 집중했습니다.

결과는 놀라웠으며, 예측되지 않았던 범주에 속했습니다. 연구진이 완전한 무작위성을 가진 시스템을 시뮬레이션했을 때, 얽힘은 로그 함수처럼 느리게 성장하지도 않았고, 혼돈계처럼 선형적으로 폭발하지도 않았습니다. 대신, 얽힘은 시간의 제곱근에 비례하는 속도로 성장했습니다. 이는 중간 지점입니다. 깨끗한 시스템의 느린 로그 성장보다는 빠르지만, 상호작용하는 시스템의 급격한 선형 성장보다는 훨씬 느립니다. 연구진은 두 가지 다른 모델을 통해 이 동작을 확인했습니다. 하나는 노이즈가 있는 해밀토니안처럼 연속적으로 진화하는 모델이고, 다른 하나는 무작위 양자 회로처럼 이산적인 단계로 진화하는 모델입니다. 두 경우 모두 얽힘은 동일한 제곱근 패턴을 따랐으며, 이는 무작위적인 비상호작용 양자 시스템의 견고한 특징임을 시사합니다.

또한 이 연구는 무작위성이 달라질 때 어떤 일이 발생하는지도 탐구했습니다. 무질서가 '쿼치(quenched)', 즉 시간에 따라 변하지 않고 고정된 상태일 때, 그 행동은 모델에 따라 갈라졌습니다. 이산 회로 모델의 경우, 얽힘은 성장을 멈추고 고정된 값에서 포화되었는데, 이는 입자들이 갇혀버리는 국소화(localization)의 징후입니다. 그러나 연속 해밀토니안 모델의 경우, 얽힘은 믿기 힘들 정도로 느리게, 심지어 표준적인 로그 성장보다도 더 느린 이중 로그(double-logarithmic) 패턴을 따르며 성장했습니다. 이러한 차이는 무작위성의 본질이 매우 중요하다는 점을 강조합니다. 하지만 무질서가 공간과 시간 모두에서 활성화되었을 때는, 시스템이 연속적인 사슬이든 이산적인 회로이든 관계없이 제곱근 성장이 일관되게 나타났습니다.

왜 이런 현상이 발생하는지 이해하기 위해, 저자들은 자신들의 복잡한 양자 문제를 '대칭 단순 배제 과정(symmetric simple exclusion process)'이라 불리는 더 단순한 고전적 모델로 매핑했습니다. 이는 입자들이 인접한 자리로 뛰어다닐 수는 있지만 동시에 같은 자리를 차지할 수는 없는 모델로, 고전적인 확산(diffusion) 모델입니다. 연구진은 자신들의 시스템 내 양자 얽힘이 평균적으로 이 고전적 모델의 입자 흐름과 똑같이 행동한다는 것을 보여주었습니다. 양자 요동이 예측 가능한 방식으로 평균화된다는 가정(연구진은 광범위한 컴퓨터 시뮬레이션을 통해 이 성질을 검증했습니다)을 통해, 그들은 성장률에 대한 정확한 공식을 유도해 냈습니다. 이 공식들은 수치 데이터와 완벽하게 일치했으며, 이는 제곱근 성장이 무작위성과 비상호작용 입자들의 상호작용에 의해 주도되는 실제적인 물리적 현상임을 확인시켜 주었습니다.

이 발견은 양자 복잡성에 대한 우리의 이해를 재편한다는 점에서 중요합니다. 오랫동안, 만약 시스템이 '적분 가능'하거나 비상호작용적이라면 그 복잡성은 항상 로그 함수적으로만 성장하며 낮게 유지될 것이라고 믿어져 왔습니다. 제곱근 성장의 발견은 직접적인 입자 상호작용이 없는 시스템에서도 무작위성이 도입되면 양자 상태의 복잡성을 크게 증가시킬 수 있으며, 이로 인해 고전 컴퓨터로 시뮬레이션하기가 이전에 생각했던 것보다 더 어려워질 수 있음을 시사합니다. 그렇다고 완전히 혼돈스러운 시스템만큼 어려운 것은 아닙니다. 이 연구는 노이즈가 있는 환경에서 양자 정보가 어떻게 확산되는지에 대한 새롭고 정밀한 벤치마크를 제공하며, 우주의 양자 역학적 역동성이 완벽한 질서와 완전한 혼돈이라는 양 극단 사이에 풍부한 스펙트럼을 가지고 있음을 보여줍니다. 연구진의 결론은 제곱근 성장이 이러한 무작위 자유 페르미온 모델의 일반적인 행동이며, 이는 무작위성의 유형과 시간을 모델링하는 방식에 관계없이 유효하다는 것입니다.

기술 요약: 연산자 얽힘이 $O(\sqrt{t})$ 로 성장하는 자유 페르미온 모델

문제 정의
연산자 공간 얽힘 엔트로피(Operator Space Entanglement Entropy, OSEE)는 1차원 양자계의 힐베르트 공간에서 작용하는 연산자의 복잡성을 정량화하는 척도로서, 행렬 곱 연산자(Matrix Product Operators, MPOs)를 통해 연산자를 근사하는 데 필요한 본드 차원(bond dimension)을 특징짓는다. 깨끗한 자유 페르미온 사슬과 같은 적분 가능한 시스템에서는 국소 연산자의 OSEE가 최대 로그 함수적으로( $O(\log t)$ ) 성장하는 반면, 혼돈(chaotic) 시스템에서는 선형적으로( $O(t)$ ) 성장한다고 널리 알려져 있다.

본 논문은 무작위 자유 페르미온 모델에서 OSEE의 거동을 조사한다. 저자들은 무작위성(공간, 시간 또는 둘 다)의 도입이 "적분 가능"한 로그 스케일링을 보존하는지, 아니면 혼돈적인 선형 스케일링을 유도하는지를 질문한다. 구체적으로 다음 두 가지에 집중한다:

조던-위그너(Jordan-Wigner, JW) 스트링을 포함하는 국소 스핀 연산자 (예: XX 체인의 $X_j, Y_j$ 와 같이 비국소적 페르미온 연산자로 매핑되는 경우).
시간 진화 연산자 $U(t)$ 자체.

방법론
저자들은 두 가지 구별되는 무작위 자유 페르미온 모델을 분석한다:

연속 시간: 공간 및 시간 의존적 노이즈 호핑(hopping)을 특징으로 하는 브라운 운동 해밀토니안인 양자 대칭 단순 배제 과정(Quantum Symmetric Simple Exclusion Process, QSSEP).
이산 시간: Haar 측도 $U(2)$ 상의 무작위 가우시안 게이트(matchgates)로 구성된 벽돌 벽(brick-wall) 양자 회로.

연구는 세 가지 유형의 무질서를 고려한다:

결정론적 무질서(Quenched disorder): 시간에 대해 정적인 무작위성 (공간적으로 고정됨).
순수 시간적 무질서(Purely temporal disorder): 매 시간 단계마다 무작위성이 다시 그려지지만 공간적 병진 불변성을 유지함 (예: $\nu=2$ 사이트).
완전 무작위 무질서(Fully random disorder): 공간과 시간 모두에서 독립적인 무작위성.

기술적 프레임워크
핵심 기술적 기여는 벡터화된 연산자를 자유 페르미온 가우시안 상태로 매핑하는 데 있다.

벡터화: 연산자 $O$ 는 이중화된 힐베르트 공간 내의 상태 $|O\rangle\rangle$ 로 매핑된다. 가우시안 유니터리 $U$ 와 조던-위그너 스트링 $JW$ 에 대해, 이 벡터화된 상태들은 가우시안이다.
상관 행렬(Correlation Matrices): OSEE는 부분계 $B$ $B$ 에 제한된 축소 상관 행렬 $G_{BB}$ $G_{B B}$ 의 스펙트럼 $\{\tau_k\}$ ${τ_{k}}$ 에 의해 전적으로 표현된다.
- 진화 연산자 $U(t)$ 의 경우, OSEE는 $S_\alpha(U) = 2 \sum_k f_\alpha(\tau_k)$ 이다.
- 공액된 JW 스트링 $U^\dagger JW U$ 의 경우, OSEE는 $S_\alpha(JW) = 2 \sum_k h_\alpha(\tau_k)$ 이다.
분석적 유도 (완전 무작위 경우): 완전 무작위 무질서에 대한 평균 OSEE를 계산하기 위해, 저자들은 양자 역학적 동역학을 고전적인 **대칭 단순 배제 과정(Symmetric Simple Exclusion Process, SSEP)**으로 매핑한다.
- 그들은 부분계 내 입자 수의 **전체 계수 통계(Full Counting Statistics, FCS)**를 활용한다.
- FCS가 **자기 평균적(self-averaging)**이라고 가정하면(수치적으로 뒷받침됨), 상관 행렬의 모멘트를 SSEP 전류의 대형 편차 함수(large deviation function)와 연결할 수 있다.
- 이를 통해 $\sqrt{t}$ 성장의 계수에 대한 폐쇄형 적분 표현식을 유도할 수 있다.

주요 결과

완전 무작위 무질서 (공간 및 시간):
- 조다-위그너 스트링(및 따라서 스트링을 포함하는 국소 스핀 연산자)의 OSEE와 진화 연산자의 OSEE는 모두 $O(\sqrt{t})$ 로 성장한다.
- 이 성장은 모든 레니 지수(Rényi indices) $\alpha$ 에 대해 성립한다.
- 저자들은 JW 스트링과 진화 연산자에 대한 분석적 프리팩터(prefactor) $2s_\alpha$ 와 $c_\alpha$ 를 유도하였으며, 이는 브라운 운동 해밀토니안과 매치게이트 회로 모두에서 수치 시뮬레이션과 일치한다.
- 대조: 이는 깨끗한 적분 가능한 시스템의 $O(\log t)$ 성장 및 일반적인 혼돈 시스템의 $O(t)$ 성장과 구별된다.
순수 시간적 무질서:
- 수치 결과는 두 연산자의 OSEE가 모두 $O(\sqrt{t})$ 로 성장함을 보여준다.
- 이 영역에서는 시스템이 자기 평균적이지 않으므로, 완전 무작위 경우에 사용된 간단한 SSEP 매핑을 통한 단순한 분석적 유도가 불가능하다.
결정론적 무질서 (시간에 대해 정적):
- 매치게이트 회로: OSEE는 상수 값( $O(1)$ )으로 포화되며, 이는 앤더슨 국소화(Anderson localization)와 일치한다.
- 무질서 해밀토니안: OSEE는 $O(\log \log t)$ 로 성장한다. 저자들은 이를 해밀토니안의 카이랄 대칭성(온사이트 항이 없는 특성) 때문으로 설명하며, 이 시스템이 무작위 횡장 이징 모델과 유사하게 무한 무작위 임계점(infinite-randomness critical point)에 놓여 있다고 본다.

의의 및 주장
본 논문은 $O(\sqrt{t})$ 성장의 발견이 OSEE가 반드시 로그 함수적이거나 선형적이어야 한다는 이분법에 도전한다는 점을 주장한다.

조사된 무작위 자유 페르미온 모델은 비상호작용(자유 페르미온)이라는 점에서 "적분 가능"하지만, 적분 가능한 역학에서 기대되는 로그 스케일링보다 엄격히 빠른 성장률( $O(\sqrt{t})$ )을 보인다.
이는 하이젠베르크 묘사(Heisenberg picture)에서의 국소 연산자의 OSEE가 역학적 복잡성이나 적분 가능성의 완벽한 정량자가 아닐 수 있음을 시사한다. 왜냐하면 이 척도는 이 특정 무작위 자유 페르온 모델과 진정한 혼돈 시스템(스케일링이 $O(t)$ 인 경우)을 이전의 생각만큼 날카롭게 구분하지 못하기 때문이다.
본 연구는 무작위 자유 페르미온의 연산자 얽힘과 고전적인 SSEP의 확산 사이의 구체적인 연결 고리를 확립한다.

한계 및 향후 방향
저자들은 분석적 유도가 FCS의 자기 평균성에 대한 가정에 의존하고 있으며, 이는 수치적으로는 뒷받침되나 엄밀하게 증명되지는 않았음을 언급한다. 그들은 클래식한 기저 모델의 부재와 자기 평균성의 결여로 인해 순수 시간적 무질서 케이스가 분석적 처리를 위한 미해결 과제로 남아 있음을 밝힌다. 향후 연구로는 $U(1)$ 입자 수 보존이 없는 모델과 약한 상호작용이 이러한 확산 거동에 미치는 영향에 대한 탐구가 제안된다.

유사한 논문