Dressed Floquet scars from protected zero modes in a Rydberg chain

이 논문은 인덱스 정리(index theorem)에 의해 보호되며 리드베리 진공(Rydberg vacuum) 및 볼륨 법칙 스카(volume-law scar)의 드레스된 버전으로 이해될 수 있는, 주기적으로 구동되는 리드베리 사슬 내 두 개의 강건한 양자 다체 스카(quantum many-body scars)에 대한 근사적 해석적 구성 및 수치적 검증을 제시한다.

핵심

북적이는 댄스 플로어에서 모두가 무작위로 움직이려고 애쓰는 모습을 상상해 보세요. 전형적인 양자 시스템(이 논문에서 설명하는 것과 같은)에서는, 만약 당신이 특정한 패턴의 무용수들로 시작한다면 그들은 빠르게 그 패턴을 잃어버리고, 완전히 뒤섞이며, 결국 무작위적이고 혼란스러운 덩어리처럼 보이게 될 것입니다. 이것이 이 논문이 말하는 "열화(thermalization)"입니다. 모든 것은 결국 자신의 시작점을 잊어버리고 뜨겁고 무질서한 수프가 됩니다.

하지만 이 논문은 음악(구동력)이 변하더라도 자신의 시작 동작을 잊기를 거부하는 두 가지 특별한 "유령"을 발견했습니다. 이것들을 **양자 다체 흉터(Quantum Many-Body Scars)**라고 부릅니다.

연구자들이 발견한 내용을 일상적인 비유를 사용하여 쉽게 풀어보겠습니다.

1. 배경: 딱딱한 댄스 플로어

과학자들은 엄격한 규칙이 있는 원자 사슬(무용수들의 줄과 같은)을 연구하고 있습니다: 두 이웃이 동시에 "위"(들뜬 상태)가 될 수 없다는 규칙입니다. 이것을 "리드베리 차단(Rydberg blockade)"이라고 합니다. 이는 마치 한 사람이 점프하면 그 바로 옆의 이웃들은 반드시 앉아 있어야 하는 댄스 플로어와 같습니다.

또한 그들은 음악의 리듬을 주기적으로 변화시킴으로써 이 시스템을 "구동(driving)"하고 있습니다. 보통 이런 리드미컬한 자극은 시스템을 가열시켜 초기 상태를 매우 빠르게 잊게 만듭니다.

2. 발견: 두 가지 특별한 "드레스업된" 유령

연구자들은 혼란스러운 음악 속에서도 살아남는 두 가지 특정 시작 패턴을 발견했습니다. 그들은 이것을 **"드레스드 플로케 흉터(Dressed Floquet Scars)"**라고 부릅니다.

이 흉터들을 이 두 명의 특별한 무용수로 생각해보세요. 이들은 자신들의 원래 대형을 유지하면서도, 음악의 속도에 따라 약간씩 변하는 의상을 입게 됩니다.

• 무용수 A: "빈 방" (리드베리 진공)

  • 시작: 댄스 플로어의 모든 사람이 앉아 있는 모습(모든 스핀이 "아래"인 상태)을 상상해 보세요. 이는 매우 단순하고 얽힘이 없는 상태입니다.
  • 마법: 음악이 크고 혼란스러움에도 불구하고, 이 "모두 앉아 있는" 패턴은 해체되지 않습니다. 그것은 살아남지만, 리듬에 의해 약간 "드레스업(변형)"됩니다. 연구자들은 음악이 매우 느리거나 볼륨이 낮을 때(수학적으로 모델이 깨지는 지점)조차도, 이 "모두 앉아 있는" 패턴이 끈질기게 열화를 거부한다는 것을 발견했습니다. 이는 마치 디제이가 가장 격렬하고 혼란스러운 리믹스를 틀고 있을 때도 완벽하게 가만히 앉아 있는 무용수와 같습니다.

• 무용수 B: "완벽하게 상관관계가 있는" 파트너 (이바노프-모트룬닉 흉터)

  • 시작: 방의 왼쪽 편에 있는 모든 무용수가 오른쪽 편의 파트너와 완벽하게 대칭을 이루는 복잡한 패턴을 상상해 보세요. 이는 고도로 얽혀 있는 복잡한 상태입니다.
  • 마법: 이 패턴 역시 살아남지만, 구동력을 견뎌내기 위해서는 특정 "의상 교체"(수학적 회전)가 필요합니다. 연구자들은 음악의 속도에 기반하여 무용수들의 위치를 특정 각도로 회전시키면, 이 복잡한 패턴이 시스템이 선호하는 "제로 에너지" 상태가 된다는 것을 발견했습니다.
  • 한계: 이 무용수는 더 취약합니다. 음악이 너무 느려지면 "의상"이 망가지고, 결국 무용수는 혼란스러운 군중 속으로 합류하게 됩니다. 논문은 이것이 음악의 리듬의 "실수 부분(real part)"이 "허수 부분(imaginary part)"을 압도하지 못할 때(시스템이 너무 무작위해진다는 기술적인 의미) 발생함을 보여줍니다.

3. 이것이 왜 중요한가 ("제로 모드" 개념)

물리학에서, 이 시스템에 엄청난 수의 "제로 에너지" 상태가 존재함을 보장하는 수학적 규칙(지표 정리, index theorem)이 있습니다. 보통 이러한 상태들은 특징 없고 지루하며, 무작위한 노이즈처럼 보입니다(열적 상태).

이 논문의 핵심 주장은 두 개의 제로 에너지 상태가 특별하다는 것입니다. 이들은 무작위 노이즈가 아니라, 앞서 언급한 두 가지 특정 시작 패턴의 "드레스업된 버전"입니다.

• 그들은 닻(anchor) 역할을 합니다. 시스템이 밀리고 당겨지는 중에도, 이들은 자신이 어디서 시작되었는지를 기억합니다.
• 그들은 **강건(robust)**합니다. 이들은 단지 하나의 완벽한 설정이 아니라, 넓은 범위의 음악 속도와 볼륨에 걸쳐 생존합니다.

4. "드레싱(Dressing)" 비유

"드레스드(Dressed, 옷을 입힌/변형된)"라는 용어가 핵심입니다. 평범한 흰색 티셔츠(부모 상태)를 상상해 보세요.

• 만약 당신이 이 티셔츠를 특정 설정의 세탁기에 넣는다면, 결과적으로 특정 패턴의 염료가 입혀진 채로 나옵니다.
• "드레스드 스카(Dressed Scar)"는 바로 그 염료가 입혀진 티셔츠입니다. 여전히 같은 티셔츠이지만(부모 상태의 기억이 남아 있음), 환경에 의해 다르게 보일 뿐입니다.
• 연구자들은 수학을 사용하여 이 "염료 패턴"이 어떻게 생겼는지 예측할 수 있으며, 컴퓨터 시뮬레이션을 통해 이 "드레스드 셔츠"가 실제로 존재하며 오랫동안 온전하게 유지된다는 것을 확인했습니다.

요약

이 논문은 흥분할 때 이웃이 될 수 없는 원자들의 양자 시스템 내에 두 가지 특별한 "기억 상태"가 있음을 보여줍니다.

1. 하나는 놀라울 정도로 강인하여 수학적으로 복잡해지는 상황에서도 살아남는 단순한 "모두 앉아 있는" 상태입니다.
2. 다른 하나는 리듬이 너무 느려지지 않는 한 생존하는 복잡한 "거울 이미지" 상태입니다.

이 상태들은 시스템의 규칙들에 의해 "보호"되어 있으며, 양자 시스템이 무작위적인 열적 혼돈으로 변하려는 자연스러운 경향에 저항할 수 있게 해줍니다. 이들은 "모든 것은 결국 과거를 잊는다"라는 규칙의 예외들입니다.

기술 요약

기술 요약: 보호된 제로 모드로부터 유도된 드레싱된 플로케 스카(Dressed Floquet scars)

문제 정의
고유상 열화 가설(ETH)은 상호작용하는 다체 양자 계의 일반적인 고유상들이 국소 관측량에 대해 열적(thermal)인 것처럼 보인다고 가정한다. 양자 다체 스카(QMBS)는 ETH의 위반을 나타내며, 특정 초기 상태에 대해 열화를 방지하는 비열적(athermal) 중간 스펙트럼 고유상으로 나타난다. QMBS는 정적 모델(예: PXP 체인)에서는 확인되었으나, 주기적으로 구동되는(플로케) 시스템에서의 존재와 구조는 여전히 덜 이해되어 있다. 플로케 시스템의 구체적인 과제는 유효 플로케 해밀토니안($H_F$)이 시간 의존적 해밀토니안 $H(t)$가 국소적일지라도 본질적으로 비국소적이라는 점이다. 이러한 비국소성은 스카의 해석적 구축을 복잡하게 만든다. 또한, 인덱스 정리는 특정 플로케 설정에서 대칭성 제약으로 인해 지수적으로 큰 정확한 제로 에너지 모드(제로 모드)의 부분 공간을 보장하지만, 이러한 모드들이 특정 초기 상태의 기억을 유지하는지 아니면 단순히 무한 온도 열적 상태로 작기하는지는 불분명하다. 본 연구는 구동되는 리드버그 체인의 지수적으로 큰 플로케 해밀토니안의 영공간(nullspace) 내에서 "드레싱된(dressed)" QMBS를 구축하고 특성화하는 문제를 다룬다.

방법론
저자들은 주기적 경계 조건을 가진 $L$개의 리드버그 원자로 구성된 주기적으로 구동되는 PXP 모델을 조사한다. 시스템은 강한 리드버그 차단(Rydberg blockade)의 영향을 받으며, 이는 인접한 두 개의 리드버그 여기 상태가 없는 상태로 힐베르트 공간을 제한한다. 구동은 detuning $\lambda(t)$가 주기 $T$ 동안 $-\lambda$와 $+\lambda$ 사이를 교대로 오가는 조각별 상수 프로토콜을 따른다.

본 연구는 두 가지 접근 방식을 사용한다:

1. 플로케 섭동 이론(FPT): 높은 구동 주파수($\omega_D = 2\pi/T$)와 진폭에 대해, 저자들은 근사적인 해석적 형태의 플로케 해밀토니안 $H_F$를 급수 전개($H_F = H_F^{(1)} + H_F^{(3)} + \dots$)로 구축한다. 이들은 구동 파라미터 비율 $x = \lambda/(2\omega_D)$에 의존하는 국소 유니터리 회전 $U(x)$를 활용하여, 최고 차 항인 $H_F^{(1)}$를 실수 대칭 연산자로 변환한다. 이를 통해 "부모 상태(parent states)"가 절단된 해밀토니안의 정확한 제로 모드임을 식별할 수 있다.
2. 정확 대각화(ED): 섭동적 발견을 검증하고 비섭동적 영역을 탐구하기 위해, 저자들은 유한한 사슬($L \le 30$)에 대해 ED를 수행한다. 이들은 시간 진화 연산자 $U(T,0)$의 행렬 로그를 통해 정확한 플로케 해밀토니안을 수치적으로 계산한다. 부모 상태와 $H_F$의 정확한 제로 모드 부분 공간 사이의 중첩 $W_0(\psi)$를 계산하여 "드레싱" 효과를 정량화한다. 또한, $H_F$의 실수부와 허수부의 프로베니우스 노름 비율 및 시간 평균 스핀 상관관계를 분석하여 이 상태들의 안정성과 기억 유지 능력을 평가한다.

주요 기여 및 결과
본 논문은 다양한 구동 파라미터 범위에서 지속되는 두 가지 뚜렷한 "드레싱된" 제로 모드를 식별한다:

1. 드레싱된 이바노프-모트루닉(Ivanov-Motrunich, IM) 스카:

   • 부모 상태: 완벽한 대척점 스핀 상관관계를 특징으로 하는, 구동되지 않은 PXP 모델의 고도로 얽힌 제로 모드이다.
   • 메커니즘: 저자들은 국소 유니터리 회전 $U(x) = \exp(-i\pi x \sum_j \sigma_j^z / 2)$를 IM 스카에 적용하면 생성되는 상태 $|\Lambda_r\rangle$가 최고 차 섭동 해밀토니안 $H_F^{(1)}$의 정확한 제로 모드가 됨을 보여준다.
   • 결과: 수치 분석 결과, |\Lambda__F는 고주파수에서 정확한 제로 모드 부분 공간과 높은 중첩($W_0 \approx 1$)을 유지한다. $\omega_D$가 감소함에 따라, 고차 비국소 항($H_F^{(3)}$)이 중요해지는 "무릎(knee)" 영역에서 중첩이 떨어진다. 이 스카의 생존은 $H_F$의 실수부가 허수부보다 우세해야 한다는 조건($R$으로 측정됨)과 연결된다. $R \approx 1$일 때, 스카는 녹아 없어지며(melt), 시스템은 일반적인 복소 헤르미션 무작위 행렬처럼 행동한다.

2. 드레싱된 진공(Vacuum) 스카:

   • 부모 상태: 정적 PXP 모델에서 빠르게 열화되는, 완전히 얽히지 않은 리드버그 진공 상태 $|vac\rangle = |\downarrow \dots \downarrow\rangle$이다.
   • 메커니즘: 유효 단일 스핀 플립 계수 $w_{eff}$($H_F$가 $|vac\rangle$에 작용할 때 생성됨)가 최소화될 때 진공 상태가 제로 모드의 부모 역할을 한다. 이는 특정 구동 주파수 $\omega_D^f(\lambda)$에서 발생한다.
   • 결과: 저자들은 $\lambda \sim O(1)$인 비섭동적 영역에서도 $|vac\rangle$가 제로 모드 부분 공간과 큰 중첩($W_0 \sim O(1)$)을 유지함을 발견했다. IM 스카와 달리, 진공 스카는 견고한 비섭동적 특징을 보인다. $H_F$가 매우 비국소적이 될 때에도, 드레싱된 진공 스카는 낮은 얽힘 엔트로피와 낮은 자화 $\langle S^z \rangle$를 가진 아웃라이어(outlier)로 남는다. 이는 무한 온도 앙상블과 구별된다. 중첩 $W_0$는 시스템 크기 $L=30$까지 유한하게 유지되며, 이는 특정 파라미터에서 열역학적 극한에서의 안정 가능성을 시사한다.

의의
본 논문은 상호작용하는 플로케 시스템에서 QMBS를 구축하기 위한 독특한 메커니즘을 제공한다고 주장한다. $H_F$의 지수적으로 큰 영공간 내의 제로 모드들을 서로 다른 복잡도(비얽힘에서 고도로 얽힘까지)를 가진 부모 상태의 "드레싱된" 버전으로 볼 수 있음을 입증함으로써, 본 연구는 보호된 제로 모드와 관찰 가능한 비열적 역학 사이의 간극을 메운다.

저자들이 강조한 주요 함의는 다음과 같다:

• 단열 연속성(Adiabatic Continuation): 드레싱된 스카는 부모 상태의 단열적 연속으로 해석될 수 있으며, 여기서 "드레싱"은 구동 파라미터의 함수이다.
• 견고성(Robustness): 이러한 스카의 존재는 섭동적 영역에 국한되지 않는다. 특히 드레싱된 진공 스카는 플로케 해밀토니안이 국소적 표현을 상실할 때도 생존한다.
• 복잡도의 계층 구조: 본 연구는 두 극단 사이에 존재하는 중간 정도의 복잡성을 가진 아노말러스(anomalous) 제로 모드들의 계층 구조를 시사하며, 이는 플로케 시스템 내의 보호된 상태들의 더 넓은 구조를 가리킨다.

연구는 결론적으로, 이러한 보호된 제로 모드의 구조를 이해하는 것이 구동되는 양자 물질에서의 약한 에르고드성 깨짐(weak ergodicity breaking)에 대한 통찰을 제공한다고 밝히며, 드레싱된 진공 스카의 비섭동적 거동은 향후 연구 과제로 남겨두었다.