Translation symmetry-enforced long-range entanglement in mixed states

본 논문은 카운팅 논증을 통해 번역 대칭성이 혼합 상태에서 장거리 얽힘을 강제함을 보여주며, 특히 대칭성을 가진 장거리 얽힘 고유상태가 존재함에도 불구하고 강-약 자발적 대칭성 깨짐 고정점이 장거리 얽힘 상태들의 혼합으로 표현될 수 없음을 구체적으로 입증한다.

핵심

이 논문은 쉬운 언어와 일상적인 비유를 사용하여 설명합니다.

핵심 아이디어: 작은 방에 들어설 수 없는 군중

매우 긴 사람 줄 (양자 시스템) 이 원형으로 서 있다고 상상해 보세요. 이 줄에는 이동 대칭성이라는 특별한 규칙이 있습니다. 이는 모든 사람이 한 걸음 오른쪽으로 이동하라고 요청하면, 줄이 이전과 정확히 똑같이 보인다는 것을 의미합니다.

양자 물리학의 세계에서 과학자들은 이 사람들이 얼마나 '얽혀 있는지'에 관심을 가집니다.

• 단거리 얽힘 (SRE): 이는 사람들이 바로 옆 사람과만 손을 잡는 것과 같습니다. 이 상태를 준비하는 것은 쉽습니다. 모두 옆 사람의 손을 잡으라고 말하면 됩니다.
• 장거리 얽힘 (LRE): 이는 원형에 있는 모든 사람을 연결하는 복잡하고 보이지 않는 거미줄과 같습니다. 아무리 멀리 떨어져 있더라도 말이죠. 이웃끼리 손을 잡으라고 말한다고 해서 이를 만들 수 있는 것이 아닙니다. 훨씬 더 복잡하고 전역적인 조정이 필요합니다.

논문의 발견:
저자들은 놀라운 사실을 증명합니다. 단순한 '이웃 손잡기 (SRE)' 상태만으로 완벽하게 균형을 이루고 대칭적인 사람 줄을 기술할 수 있는 것처럼 보이지만, 실제로는 불가능합니다.

완벽하게 대칭적인 줄이 있는 '영운동량' 방을 채울 만큼 충분한 단순한 '이웃 손잡기' 상태가 존재하지 않습니다. 단순한 상태들이 모두 소진되기 때문에, 남은 상태는 반드시 복잡하고 장거리 얽힘을 가진 상태여야 합니다.

'계산' 논증: 왜 단순한 상태가 실패하는가

이 논문은 이를 증명하기 위해 '계산 논증'을 사용합니다. 여기 비유가 있습니다:

거대하고 복잡한 벽화 (대칭 상태의 전체 공간) 를 제한된 세트의 단순한 스탬프 (단순한 SRE 상태) 로 칠하려고 한다고 상상해 보세요.

1. 벽화는 거대합니다: 줄이 길어질수록 가능한 대칭 패턴의 수는 기하급수적으로 증가합니다. 무한한 책이 있는 도서관과 같습니다.
2. 스탬프는 제한적입니다: 단순한 '이웃 손잡기' 규칙으로 만들 수 있는 패턴의 수는 훨씬 더 느리게 증가합니다. 작은 상자 속의 크레용을 가진 것과 같습니다.
3. 불일치: 저자들은 계산했습니다. 단순한 스탬프를 얼마나 많이 섞고 조합하더라도, 벽화 전체를 덮을 만큼 충분하지 않다는 것입니다. 단순한 규칙으로 만들 수 있는 것과 대칭적인 세계에 존재하는 것 사이에는 엄청난 격차가 있습니다.

단순한 스탬프로 전체 그림을 덮을 수 없기 때문에, 최종 그림 (이동 대칭성의 '최대 혼합 상태') 은 단순한 스탬프로 복제할 수 없는 숨겨진 복잡한 구조를 반드시 포함해야 합니다. 이 숨겨진 구조가 바로 장거리 얽힘입니다.

'강함에서 약함으로'의 붕괴: 고장 난 시계

이 논문은 '강한 대칭성에서 약한 대칭성으로의 자발적 대칭성 붕괴 (SWSSB)'라는 개념을 다룹니다.

• 강한 대칭성: 완벽하게 틱틱거리는 시계를 상상해 보세요. 모든 틱은 동일합니다.
• 약한 대칭성: 시계가 고장 났지만, 평균적으로 여전히 틱틱거리는 것처럼 보이는 시계를 상상해 보세요.

논문에 따르면, 이동 대칭성이 (그 고장 난 시계처럼) 강한 상태에서 약한 상태로 '붕괴'할 때, 그 결과 상태는 단순히 깨진 시계들의 단순하고 messy 한 혼합물이 아닙니다. 그것은 본질적으로 얽혀 있는 특정 복잡한 상태입니다.

"단순하고 얽히지 않은 상태들을 섞기만 하면 단순한 혼합 상태가 나와야 한다"고 생각할 수 있습니다. 논문은 말합니다: 아닙니다. 이 특정 대칭적 결과를 만들기 위해 단순한 상태들을 섞으려 한다면 실패할 것입니다. 수학은 이 특정 결과를 얻으려면 혼합물 자체가 근본적으로 복잡해야 (얽혀 있어야) 함을 증명합니다.

'보이지 않는' 얽힘

여기가 발견의 가장 미묘한 부분입니다.

보통 우리가 무언가가 '장거리 얽힘'이라고 말할 때, 시스템의 먼 부분들이 서로 어떻게 소통하는지 (상관 함수) 를 관찰함으로써 그것을 보기를 기대합니다. 이는 몇 마일 떨어진 두 사람이 서로 속삭이는 것을 보는 것과 같습니다.

반전:
저자들은 이 특정 유형의 얽힘은 표준 테스트로는 보이지 않는다고 보여줍니다.

• 줄을 보고 "먼 곳에 있는 사람들이 서로 속삭이고 있나요?"라고 물으면 답은 아닙니다.
• 줄을 보고 "전체 시스템이 이웃들이 손을 잡는 단순한 혼합인가요?"라고 물으면 답은 아닙니다.

이는 '유령' 같은 얽힘입니다. 그것은 명백한 장거리 신호 때문이 아니라, 단순한 상태로 공간을 채우는 것이 수학적으로 불가능하기 때문에 존재합니다. 바깥에서 보면 무작위처럼 보이지만 실제로는 내부에 단단하고 깨지지 않는 구조를 가진 퍼즐과 같습니다.

'시간' 비용

논문은 또한 이 상태를 만드는 것이 어렵다고 언급합니다.
단순한 사람 줄에서 시작하여 이 대칭적인 상태를 만들고 싶다면 복잡한 과정을 실행해야 합니다. 저자들은 이 상태를 만드는 데 걸리는 시간이 시스템 크기의 제곱근에 비례하여 증가함을 증명합니다.

거대한 퍼레이드를 조직하려고 노력하는 것과 같다고 생각해 보세요. 사람들에게 이웃과 대화하라고만 말한다면 질서가 퍼지는 데 시간이 걸립니다. 하지만 이 특정 '완벽하게 대칭적인' 질서를 얻으려면 이웃들만 믿을 수 없습니다. 전체 줄에 걸쳐 전파되는 데 오랜 시간이 걸리는 전역적 조정이 필요합니다.

요약

1. 문제: 단순한 국소적 연결만으로 완벽하게 대칭적인 양자 시스템을 기술할 수 있을까요?
2. 답: 아닙니다. 대칭적인 가능성은 너무 많고, 이를 모두 덮을 단순한 연결은 충분하지 않습니다.
3. 결과: 대칭적인 상태는 반드시 '장거리 얽힘'이어야 합니다.
4. 주의점: 이 얽힘은 '미묘'합니다. 장거리 신호를 찾아보아서는 이를 감지할 수 없습니다. 단순한 상태로는 이를 구축할 수 없다는 수학이 증명하기 때문에만 그것이 존재한다는 것을 알 수 있습니다.

간단히 말해: 자연은 단순한 국소적 부분들로 구축하려 하더라도 대칭적인 시스템 내에 복잡하고 보이지 않는 연결의 그물을 강제로 만들어냅니다.

기술 요약

기술적 요약: 혼합 상태에서의 번역 대칭에 의해 강제된 장거리 얽힘

문제 제기
개방 양자계에 대한 최근 연구는 혼합 상태가 순수 상태와 구별되는 얽힘 패턴을 보인다는 것을 밝혀냈다. 혼합 상태는 '준비하기 쉬운' 단거리 얽힘 (SRE) 상태들의 혼합으로 근사될 수 없을 때 장거리 얽힘 (LRE) 으로 정의된다. 대칭성이 혼합 상태에서 얽힘을 강제하는 것으로 알려져 있지만, 번역 대칭의 구체적인 역할은 미묘한 차이가 있다.

온사이트 (on-site) 대칭 (대칭 연산자가 각 사이트에서 국소적으로 작용하는 경우) 의 경우, 대칭 섹션 내의 최대 혼합 상태 (MMIS) 는 일반적으로 대칭적 곱 상태로 전개될 수 있어 SRE 가 된다. 반면, 이상 (anomalous) 대칭의 경우 강한 대칭 제약이 MMIS 를 LRE 로 만든다. 번역 대칭은 중간적인 위치를 차지한다: 즉, 제로 운동량 섹션에서는 대칭적 곱 상태를 허용하지만, 비제로 운동량을 가진 상태는 LRE 여야 한다. 본 연구가 다루는 핵심 질문은 번역 대칭의 제로 운동량 섹션을 SRE 상태들로 전개할 수 있는지 여부이다. 구체적으로, 번역 대칭의 강-약 자발적 대칭 깨짐 (SWSSB) 을 나타내는 고정점 상태가 LRE 를 보이는지, 그리고 그렇다면 이 얽힘이 표준 상관 함수를 통해 검출 가능한지 여부이다.

방법론
저자들은 모든 번역 불변 상태의 공간의 차원과 번역 불변 SRE 상태 (구체적으로 깊이-$d$ 양자 회로로 준비 가능한 상태) 가 전개하는 부분 공간의 차원을 비교하기 위한 계수 논증을 사용한다.

1. 정의 및 설정: 연구는 주기적 경계 조건을 가진 길이 $n$ 과 국소 차원 $q$ 를 갖는 1 차원 스핀 사슬에 초점을 맞춘다. 연구 대상은 번역 불변 (제로 운동량) 상태들의 최대 혼합 상태인 $\rho_{TI}$이다.
2. 회로 깊이를 통한 근사: 저자들은 유계이고 기하학적으로 국소적인 해밀토니안 하에서의 시간-$\tau$ 진화가 깊이 $d \sim O(\tau \text{polylog}(n))$ 의 양자 회로로 잘 근사될 수 있다는 사실을 활용한다. $\rho_{TI}$ 가 LRE 임을 증명하기 위해서는 임의의 다항식적으로 작은 $d$ 에 대해 $\rho_{TI}$ 가 '깊이-$d$ 상태'로 잘 근사되지 않음을 보이면 충분하다.
3. SRE 상태의 차원 분석:
   • 저자들은 먼저 번역 불변 행렬 곱 상태 (TIMPS) 를 분석한다. 그들은 결합 차원 (bond dimension) 이 $d$ 인 TIMPS 의 전개 공간의 차원이 $n$ 에 대해 다항식적으로 증가함을 (구체적으로 텐서 매개변수에 대한 $n$ 차 동차 다항식으로서) 입증한다.
   • 그 후 이를 번역 불변 깊이-$d$ 회로로 일반화한다. '절단 논증 (cutting argument)'을 사용하여 깊이-$d$ 회로에 의해 생성된 번역 불변 상태를 크기 $2d+1$ 의 블록으로 분해한다. 이러한 블록들을 유효 물리 사이트로 취급함으로써 상태를 TIMPS 구조에 매핑한다.
   • 결정적으로, 저자들은 이러한 번역 불변 깊이-$d$ 상태들의 전개 공간의 차원에 대한 상한을 유도하며, 이를 $D_{SRE}(n, d, q)$ 로 표기한다. 이 상한은 대략 $d^2$ 에 비례하는 차수의 $n$ 에 대한 다항식으로 스케일링된다.
4. 전체 공간과의 비교: 번역 불변 상태의 전체 공간의 차원 $D_{TI}(n, q)$ 는 $n$ 에 대해 지수적으로 증가한다 ($q$-진 목걸이의 수와 관련됨).
5. 추적 거리 논증: '테일 보조정리 (Tails Lemma)'를 사용하여 저자들은 $\rho_{TI}$ 와 임의의 SRE 상태들의 혼합 사이의 추적 거리를 $\rho_{TI}$ 를 깊이-$d$ 상태의 부분 공간으로의 투영과 연관시킨다. $d \ll \sqrt{n}$ 인 경우 SRE 부분 공간의 차원이 전체 공간보다 지수적으로 작기 때문에, 투영은 지수적으로 작아지며 이는 큰 추적 거리를 의미한다.

주요 기여 및 결과

• 정리 1 (주요 결과): 번역 불변 상태들의 최대 혼합 상태인 $\rho_{TI}$ 는 범위-$r$ 해밀토니안을 통해 곱 상태에서 시간-$\tau$ 진화로 준비 가능한 순수 상태들의 임의의 혼합으로 잘 근사되지 않는다. 단, $\tau = \Omega(\sqrt{n}/\text{polylog}(n))$ 인 경우를 제외한다.
• 얽힘의 메커니즘: 이 논문은 혼합 상태에서 LRE 를 강제하는 새로운 메커니즘을 확립한다: 제로 운동량 상태의 공간의 부피와 SRE 제로 운동량 상태들이 전개하는 공간의 부피 사이의 '불일치'이다. 대칭적 곱 상태가 존재하더라도, 제로 운동량 섹션을 전개하기에 그 수가 충분하지 않다.
• 얽힘의 미묘함: 저자들은 이 LRE 가 '미묘함 (subtle)'을 보임을 입증한다. 다른 형태의 LRE 와 달리, 이는 장거리 연결 상관 함수에 의해 검출되지 않는다. 논문은 $\rho_{TI}$ 가 임의의 국소 연산자에 대해 지수적으로 감쇠하는 연결 상관 함수를 가진다는 것을 증명하여, LRE 에 대한 표준 진단 도구 (비소멸 장거리 상관관계 등) 가 이 얽힘을 검출하지 못함을 보여준다.
• 열화 맥락: 저자들은 이러한 SWSSB 상태가 비국소 양자 채널의 정상 상태로 자연스럽게 발생한다고 규명한다. 구체적으로 정상 상태가 시간 이동 연산자들에 의해 전개되는 열화 플로케 (Floquet) 역학 및 이중 단위성 회로의 맥락에서 그렇다.

의의 및 주장
이 논문은 대칭적 곱 상태를 허용하며 이상 (anomaly) 이 없는 번역 대칭에 의해서만 강제되는 LRE 혼합 상태의 고유한 클래스를 식별한다고 주장한다. 이는 대칭적 곱 상태의 존재가 대칭 섹션을 그것들로 전개할 수 있음을 의미한다는 직관에 도전한다.

그 의의는 다음과 같다:

1. 혼합 상태에서의 LRE 재정의: LRE 가 강한 이상이나 비아벨 대칭 없이도, 힐베르트 공간 차원에 대한 번역 대칭의 기하학적 제약에서 비롯되어 존재할 수 있음을 보여준다.
2. 검출 불가능성: 국소 상관 함수에 보이지 않는 얽힘의 형태를 강조하여, 혼합 상태 얽힘에 대한 현재 진단 도구가 번역 불변 시스템에는 불충분할 수 있음을 시사한다.
3. SWSSB 와의 연결: 번역 대칭의 강-약 자발적 대칭 깨짐에 대한 고정점 상태에 대한 엄밀한 특성을 제공하며, 그것이 본질적으로 장거리 얽힘을 가진다는 것을 증명한다.

저자들은 더 넓은 함의에 대해서는 겸손하게 접근하며, 비록 그들의 증명이 1 차원이지만 고차원으로 일반화된다고 지적한다. 그들은 향후 연구가 이 계수 논증과 비가역 대칭의 '온사이트성 (on-siteability)' 사이의 연결을 탐구할 수 있음을 제안하지만, 플로케 열화라는 이론적 맥락을 넘어 구체적인 실험적 실현을 제안하지는 않는다.