Systematic construction of quantum many-body scars in frustrated Rydberg arrays

본 논문은 임의의 격자에서 좌절된 리드버그 원자 배열에 양자 다체 스크어를 구성하는 두 가지 구별된 메커니즘을 체계적으로 식별하는 그래프 이론적 프레임워크를 제시하여 육각형 격자에서의 존재를 입증하고 이분 시스템을 넘어 보호된 정보를 인코딩하는 데 스크어링이 일반적인 특징임을 확립한다.

핵심

혼잡한 춤바닥을 상상해 보세요. 모두가 움직이려 하지만, 엄격한 규칙이 하나 있습니다: 이웃 두 명은 동시에 춤을 출 수 없습니다. 만약 당신이 점프하며 흥분하려 한다면, 이웃들은 앉아야 합니다. 이것이 "리드버그 원자 배열"이라 불리는 양자 컴퓨터 시뮬레이터의 세계입니다.

보통 이런 바닥에서 춤을 시작하면 혼란이 즉시 퍼집니다. 시스템이 "무질서해지며" 원래 패턴은 영구히 사라집니다. 이를 **열화 (thermalization)**라고 합니다. 모든 것이 무작위 운동의 뜨겁고 messy 한 수프처럼 변해버리는 것입니다.

그러나 과학자들은 **양체 다체 흉터 (Quantum Many-Body Scars)**라는 드문 예외를 발견했습니다. 이러한 특별한 경우들에서 시스템은 수프가 되지 않습니다. 대신 시작 동작을 기억하며, 같은 그루브에서 레코드가 건너뛰듯 완벽하고 반복적인 루프로 춤을 계속 춥니다.

지금까지 이 "완벽한 루핑"은 단순한 체스보드 스타일의 춤바닥 (양분 격자, bipartite lattices) 에서만 관찰되었습니다. 큰 질문은 다음과 같습니다: 규칙이 모두를 행복하게 만드는 것을 불가능하게 만드는 더 복잡하고 "좌절된" 춤바닥에서는 어떤 일이 일어날까요?

이 논문은 말합니다: 흉터 현상은 여전히 발생하지만, 두 가지 매우 다른 방식으로 일어납니다. 저자들은 어떤 모양의 춤바닥에서도 이러한 특별한 루프를 찾기 위해 "지도 제작" 툴킷 (그래프 이론을 활용) 을 개발했습니다.

춤을 계속 유지하는 두 가지 방법은 다음과 같습니다:

1. "팀 결성" 전략 (Type-I 흉터)

문제: 육각형이나 삼각형 같은 까다로운 바닥에서는 "이웃 춤 금지" 규칙이 교착 상태를 만듭니다. 시스템이 루프를 도는 것은 너무 좌절스럽습니다.
해결책: 저자들은 원자들을 작은 팀 (손을 꼭 잡고 빽빽한 원을 만드는 것) 으로 묶을 수 있음을 깨달았습니다.

• 비유: 춤바닥이 세 사람이 빽빽이 둘러싼 작은 원들로 이루어져 있다고 상상해 보세요. 규칙은 원 안의 한 사람만 동시에 일어설 수 있다고 말합니다.
• 작동 원리: 시스템이 개별 원자 하나하나를 처리하는 대신, 각 원을 단일 단위로 취급합니다. 바닥이 messy 하더라도 이러한 "팀 단위"는 여전히 완벽한 체스보드 패턴을 형성할 수 있습니다.
• 결과: 시스템은 바닥이 다시 단순해진 것처럼 "가장"할 방법을 찾습니다. 이러한 팀들이 완벽하게 조율되는 특별한 시작 상태를 만들어, 전체 시스템이 걸리지 않고 앞뒤로 진동하게 합니다.
• 보너스: 육각형 바닥에서 그들은 이러한 특별한 시작 패턴의 지수적 개수를 발견했습니다. 이는 이러한 루프 안에 혼란에 의해 지워지지 않는 많은 정보 (비트) 를 저장할 수 있음을 의미합니다.

2. "동결하고 춤추기" 전략 (Type-II 흉터)

문제: 일부 바닥은 "팀 결성" 전략이 작동하지 않을 정도로 너무 좌절스럽습니다. 규칙이 너무 빡빡합니다.
해결책: 전체 바닥이 춤추도록 시도하는 대신, 시스템은 그 바닥의 대부분을 동결시키고 나머지는 자유롭게 춤추게 합니다.

• 비유: 춤바닥의 중앙 부분이 무거운 사슬로 잠겨 있는 ("동결된" 부분) 바닥을 상상해 보세요. 중앙의 사람들은 전혀 움직일 수 없습니다. 그들이 동결되어 있기 때문에 완충 역할을 합니다. 그들은 왼쪽의 춤추는 사람들이 오른쪽의 춤추는 사람들과 부딪히는 것을 막습니다.
• 작동 원리: "동결된" 중앙 부분 (서브격자 C) 이 시스템을 제자리에 고정시킵니다. 이 고립은 두 개의 외부 섹션 (서브격자 A 와 B) 이 중앙의 혼란에서 완전히 자유로워진 진자처럼 앞뒤로 흔들리게 합니다.
• 결과: 이는 "팀 결성" 전략이 실패했던 고도로 좌절된 모양 (예: 3 차원 피라미드 구조) 에서 작동합니다. 일반적으로 춤을 멈추게 하는 좌절이 오히려 중앙 부분을 잠그고 진동을 위한 안전 지대를 만들어 춤을 돕습니다.

왜 이것이 중요한가

이 논문은 이러한 "완벽한 루프"가 단순한 모양의 우연이 아님을 증명합니다. 이들은 이러한 양자 시스템의 일반적인 특징입니다.

• 툴킷: 저자들은 단순히 추측한 것이 아니라, 어떤 격자 모양이든 스캔하여 "이 시스템이 루프를 도는 데 완벽한 시작 상태는 여기입니다"라고 알려주는 수학적 "검색 엔진" (그래프 이론 기반) 을 구축했습니다.
• 실험: 그들은 육각형 바닥에서 이러한 루프의 거대한 가족을 만들 수 있음을 보여주었습니다. 이는 원자를 이용해 물리를 시뮬레이션하는 양자 시뮬레이터 (기계) 가 이러한 상태를 찾아 열화로부터 정보를 보호하는 데 사용할 수 있도록 프로그래밍될 수 있음을 시사합니다.

간단히 말해: 이 논문은 가장 혼란스럽고 규칙이 많은 양자 환경에서도 시스템을 "춤 동작을 기억"하게 만들기 위해 특정 시작 조건을 설계할 수 있음을 보여줍니다. 때로는 원자들을 팀으로 묶음으로써 (Type-I), 때로는 시스템의 일부를 동결시켜 나머지가 자유롭게 흔들리게 함으로써 (Type-II) 이를 수행합니다.

기술 요약

기술적 요약: 좌절된 Rydberg 배열에서의 체계적인 양자 다체 스�카 (Scars) 구성

문제 제기
양자 다체 스퀘어 (Quantum Many-Body Scars, QMBSs) 는 혼돈적인 상호작용 시스템에서 열화를 회피하는 메커니즘을 나타내며, 특수한 부분 공간 내의 소수의 비열적 고유상태를 특징으로 합니다. QMBS 는 1 차원 (1D) Rydberg 원자 배열과 다양한 2 차원 (2D) 이분 격자 (예: 정사각형, 벌집) 에서 광범위하게 관찰되고 이해되어 왔으나, 비이분 격자 및 좌절된 격자에서의 존재 여부는 여전히 미해결 질문으로 남아 있었습니다. 이전의 실험적 및 이론적 노력은 삼각형 또는 Kagome 격자와 같은 비이분 기하학에서 스퀘링의 징후를 식별하는 데 실패했습니다. 핵심적인 도전 과제는 이러한 복잡한 기하학에서 적합한 스퀘링 초기 상태를 찾기 위한 차원 무감각한 방법의 부재에 있으며, 기존 도구들은 종종 행렬 곱 상태 (matrix product states) 에 의존하거나 알려진 스퀘 상태들을 입력으로 요구하거나, 포크 상태 (Fock states) 로 제한됩니다.

방법론
저자들은 임의의 격자에서 스퀘링 초기 상태를 체계적으로 식별하기 위한 그래프 이론적 프레임워크를 도입합니다. 그들은 Rydberg 원자 배열을 $G(V, E)$로 모델링하는데, 여기서 정점 (vertices) 은 원자를 나타내고 간선 (edges) 은 차단 (blockade) 상호작용을 나타냅니다. 그들의 접근법의 핵심은 정점 집합 $V$를 세 개의 서로소인 부분집합 $A$, $B$, $C$로 분할하는 것입니다.

1. 대수적 구성: 이 프레임워크는 이러한 부분집합 위에 정의된 승산 및 강하 연산자 ($J_+$, $J_-$) 를 사용하여 근사적인 $su(2)$대수를 구성합니다. 해밀토니안은$J_x$에 비례하는 반면,$J_z$와$J_y$는 스퀘링 부분 공간의 기저를 정의합니다. 만약 대수가 닫히거나 (또는 근사적으로 닫히면),$J(\theta) = \cos(\theta)J_z - \sin(\theta)J_y$의 바닥상태는 열화되는 대신 일관된 진동 (회복) 을 보입니다.
2. 분할 규칙: 스퀘링을 찾는 작업은 특정 기하학적 및 연결성 조건을 만족하는 분할 $\{A, B, C\}$를 찾는 것으로 축소됩니다. 저자들은 두 가지 구별되는 메커니즘을 제안합니다:
   • 유형 I 스퀘링: 경미한 좌절을 가진 격자를 위해 설계되었습니다. 이 방법은 정점들을 클리크 (서로 모든 원자가 서로를 차단하는 부분집합 $s_j$) 로 그룹화함으로써 물리적 격자를 유효 이분 격자로 매핑합니다. 이러한 클리크로 형성된 몫 그래프 (quotient graph) 는 이분적이어야 합니다. 이는 국소적으로 얽힌 상태 (예: 클리크 내의 W 상태) 를 포함하도록 표준 네엘 (Néel) 상태를 일반화하여 좌절을 극복합니다.
   • 유형 II 스퀘링: 강한 좌절을 가진 격자를 위해 설계되었습니다. 이 메커니즘은 시스템의 일부를 고정시키기 위해 비어 있지 않은 "죽은" 서브격자 $C$를 활용합니다. 조건은 $A$와 $B$가 $C$에서만 이웃을 가져야 하며, $C$는 $A$와 $B$에 의해 강하게 연결되고 충분히 "차단"되어 자체 역학을 억제해야 함을 요구합니다. 이를 통해 $A$와 $B$는 좌절로 인한 $C$의 고정으로 인해 효과적으로 분리되어 거의 자유롭게 진동할 수 있습니다.

저자들은 특정 격자 기하학에서 유효한 클리크 덮개 (유형 I 용) 와 최대 독립 집합 (유형 II 용) 을 체계적으로 검색하기 위해 Knuth 댄싱 링크 (DLX) 알고리즘을 사용합니다.

주요 기여 및 결과

• 비이분 격자로의 일반화: 이 프레임워크는 이전 방법들이 실패했던 비이분 기하학에서 스퀘링 궤적을 성공적으로 식별합니다.
• Shastry-Sutherland 및 육각형 격자에서의 유형 I:
  • Shastry-Sutherland 격자에서 저자들은 유효 정사각형 격자로 매핑되는 디머 (dimer) 덮개를 식별하여, 얽힘 엔트로피에 명확한 아웃라이어가 없음에도 불구하고 반환 충실도 (return fidelity) 에서 강한 회복을 발견했습니다.
  • 육각형 격자에서 이 방법은 지수적으로 많은 스퀘링 초기 상태의 가족 ($N_y$행이 있는 토러스의 경우 $2^{N_y-1}$) 을 밝혀냈습니다. 이러한 상태는 열화로부터 보호되는 정보를 인코딩하여 $N_y-1$비트의 정보를 보존합니다.
• 준 2 차원 격자에서의 유형 II:
  • 저자들은 순수 삼각형 및 Kagome 격자는 유형 I 및 유형 II 스퀘링 모두를 저항하지만, 사면체로 구성된 준 2 차원 대응물 (asanoha 및 pyrochlore 격자와 같은) 은 유형 II 스퀘링을 지원한다고 입증했습니다.
  • 준 2 차원 asanoha 격자에 대한 수치 시뮬레이션은 $C$ 서브격자 역학이 크게 억제되어 $A$와 $B$가 높은 충실도로 진동할 수 있음을 보여줍니다.
• 수치적 검증: 이 논문은 다양한 격자에서 PXP 모델에 대한 이러한 스퀘의 존재를 확인하는 광범위한 수치 시뮬레이션 (반환 충실도, 얽힘 엔트로피, 서브격자 점유) 을 제공합니다.

의의 및 주장
이 논문은 양자 다체 스퀘링이 1 차원을 넘어선 Rydberg 시스템의 보편적 특징이며, 좌절된 비이분 격자로 확장됨을 확립합니다. 저자들은 그들의 그래프 이론적 프레임워크가 비열적 역학을 체계적으로 탐구하는 실험적으로 접근 가능한 경로를 제공한다고 주장합니다.

스퀘링의 본질에 관한 주요 주장은 다음과 같습니다:

1. 이중 메커니즘: 좌절된 시스템에서의 스퀘링은 경미한 좌절을 극복하기 위해 국소 얽힘을 사용하는 유형 I 과, 강한 좌절을 이용하여 서브격자를 고정하고 나머지 부분의 진동을 안정화하는 유형 II 라는 두 가지 구별되는 메커니즘을 통해 발생합니다.
2. 정보 보호: 육각형 격자에서 발견된 지수적 스퀘 가족은 열화에 강건한 정보를 인코딩하는 메커니즘을 시사합니다.
3. 실험적 관련성: 식별된 초기 상태는 단거리 얽힘 (SRE) 상태이며, 곱 상태 (product states) 로부터 어닐링 또는 아디아바틱 램핑을 통해 준비될 수 있으므로 현재 Rydberg 원자 양자 시뮬레이터에 적합합니다.

저자들은 순수 삼각형 또는 Kagome 격자에서는 스퀘링이 발견되지 않았음을 지적하며, 스퀘링의 보편성에 대해 겸손한 태도를 유지하고 좌절의 "골디락스 (Goldilocks)" 영역이 필요함을 시사합니다. 또한 이상적인 PXP 한계로부터 벗어난 이러한 스퀘의 강건성과 유형 I 및 유형 II 스퀘의 잠재적 공존 여부는 여전히 미해결 질문임을 인정합니다. 이 연구는 다른 제약 모델에서 최대 독립 집합과 QMBS 간의 연관성에 대한 추가 연구를 초대합니다.