Operator space fragmentation in perturbed Floquet-Clifford circuits

본 논문은 균일한 단일 큐비트 유니타리 섭동을 받는 무작위 플로케-클리포드 회로가 모든 섭동 강도 $p < 1$에서 얽힘을 억제하고 양자 혼돈의 시작을 지연시키는 불연속 섹터로 연산자 공간이 분열되는 특징을 가진, 모든 섭동 강도 $p < 1$에 대해 강건한 연산자 국소화와 신흥 적분량을 나타낸다는 것을 보여준다.

핵심

거대한 혼란스러운 무도장을 상상해 보세요. 수천 명의 작은 무용수들 (양자 입자) 이 끊임없이 파트너를 바꾸며 빙글빙글 돌고 있습니다. 일반적인 혼란스러운 시스템에서는 무용수 한 명을 살짝 밀면 그 움직임이 즉시 퍼져 나가 다른 모든 사람들과 섞여 전체 무도장이 운동의 흐릿한 blur 가 됩니다. 이를 '에르고딕성 (ergodicity)' 또는 혼돈이라고 합니다. 정보가 모든 곳에 퍼지고 시스템은 어디에서 시작했는지 잊어버리게 됩니다.

그러나 이 논문은 규칙이 조금 다른, 약간 '글리치 (glitched)'가 걸린 특별한 무도장 버전을 탐구합니다. 저자들은 **플로케-클리퍼드 회로 (Floquet-Clifford circuit)**라고 불리는 시스템을 연구하는데, 이는 기본적으로 반복되는 루프로 실행되는 양자 컴퓨터 시뮬레이션입니다.

간단한 비유를 사용하여 그들의 발견을 다음과 같이 정리해 보겠습니다:

1. 무도장의 '벽'

연구자들은 이 특정 유형의 양자 춤에서 드물지만 피할 수 없는 순간에 **'벽'**이 자발적으로 형성된다는 것을 발견했습니다.

• 비유: 무도장이 긴 복도라고 상상해 보세요. 보통 무용수들은 한쪽 끝에서 다른 쪽 끝으로 뛰어갑니다. 하지만 때로는 무용수들의 특정 배열 (게이트의 시퀀스) 이 복도 한가운데에 보이지 않는, 뚫을 수 없는 벽돌 벽을 만듭니다.
• 기능: 무용수 (연산자/정보) 가 이 벽에 부딪히면 멈춥니다. 다른 쪽으로 건널 수 없습니다. 복도는 사실상 두 개의 별도의 방으로 잘립니다.
• 'k-벽 (k-wall)': 이 벽들은 단순히 한 개의 벽돌이 아닙니다. 몇 명의 무용수 너비 (k-벽이라고 함) 일 수 있습니다. 논문은 이 벽들이 정보의 흐름을 엄격히 차단하는 '교통 경찰'처럼 작용함을 증명합니다.

2. '마법' 같은 섭동 (Perturbation)

저자들은 규칙을 어지럽히면 어떻게 되는지 보고 싶어 했습니다. 이 춤의 순수한 버전에서는 규칙이 매우 엄격합니다 (클리퍼드 게이트). 그들은 $p$라는 특정 확률로 발생하는 무작위적이고 혼란스러운 움직임 (비클리퍼드 게이트) 인 '섭동'을 도입했습니다.

• 비유: 가끔씩 무용수 한 명이 완전히 다른, 격렬한 동작을 하도록 무작위로 지시받아 엄격한 안무를 깨뜨린다고 상상해 보세요.
• 발견:
  • 혼란이 낮을 때 ($p < 1$): 이러한 무작위적인 격렬한 움직임이 있더라도 '벽'은 대부분 살아남습니다. 복도는 여전히 분리된 방들로 나뉩니다. 왼쪽 방의 무용수는 왼쪽 방에, 오른쪽 방의 무용수는 오른쪽 방에 머뭅니다. 시스템은 **분열 (fragmented)**된 상태로 남습니다.
  • 혼란이 높을 때 ($p = 1$): 모든 무용수가 격렬한 움직임을 하도록 강요당하면 벽은 무너집니다. 복도는 다시 하나의 큰 열린 공간이 되고 무용수들은 자유롭게 섞입니다. 혼돈이 돌아옵니다.

3. 얽힘 (Entanglement) 의 '병목 현상'

양자 물리학에서 '얽힘'은 무용수들 사이의 깊고 보이지 않는 유대감과 같습니다. 일반적으로 혼란스러운 시스템에서는 이러한 유대감이 모든 곳에 퍼져 모든 사람을 서로 연결합니다 ('부피 법칙').

• 발견: 벽 때문에 복도 반대편에 있는 무용수들은 벽을 가로질러 매우 약한 유대감만 형성할 수 있습니다.
• 비유: 벽을 좁은 1 인용 다리로 생각하세요. 양쪽 방이 아무리 크더라도 그 다리를 통해 통과할 수 있는 '연결'의 양은 극히 적습니다. 논문은 이러한 벽을 가로지르는 얽힘의 양이 엄격히 제한 (bounded) 되어 '병목 현상'으로 작용함을 보여줍니다. 시스템은 완전히 섞이지 않으며 작은 고립된 주머니 상태로 남습니다.

4. '스펙트럼 형상 인자 (Spectral Form Factor)' (메아리 테스트)

시스템이 이러한 방식으로 행동함을 증명하기 위해 저자들은 시스템의 에너지 준위에서 나오는 '메아리' (스펙트럼 형상 인자라고 함) 를 살펴보았습니다.

• 비유: 동굴에서 소리를 지르는 상황을 상상해 보세요. 혼란스럽고 열린 동굴에서는 메아리가 빠르고 매끄럽게 사라집니다. 숨겨진 방과 벽으로 가득 찬 동굴에서는 메아리가 이상하게 튕겨 나가 날카롭고 예측 불가능한 패턴을 만듭니다.
• 발견: 그들의 계산에 따르면 벽이 존재하는 한 (낮은 $p$), '메아리'는 숨겨진 방이 있는 시스템 (비에르고딕) 처럼 행동합니다. 그것은 무작위적이고 혼란스러운 무질서처럼 보이지 않습니다. 벽이 파괴될 때 (높은 $p$) 에야 비로소 메아리가 완전히 혼란스러운 시스템의 패턴으로 매끄럽게 변합니다.

주요 주장의 요약

이 논문은 시스템이 완벽하게 질서 정연해서가 아니라, 무작위적인 '벽'이 자연스럽게 형성되어 흐름을 차단하기 때문에 정보가 국소적인 주머니에 갇히는 양자 시스템을 구축할 수 있다고 주장합니다.

시스템에 약간의 무작위적인 잡음 (섭동) 을 추가하더라도 이러한 벽은 견고하게 유지되어 시스템을 분열된 상태로 유지하고 완전히 혼란스러운 상태가 되는 것을 막습니다. 이는 양자 역학의 '골디락스 (Goldilocks)' 구역입니다. 너무 질서 정연하지도, 너무 혼란스럽지도 않지만, 정보가 작은 고립된 섬에 갇혀 있는 분열된 국소화 (fragmented localisation) 상태에 머무릅니다.

이 논문이 주장하지 않는 것:

• 이것이 작동하는 양자 컴퓨터이거나 메모리 장치라고 주장하지 않습니다. 이는 이론적 모델입니다.
• 이것이 의학이나 암호학의 문제를 직접 해결한다고 주장하지 않습니다.
• 이것이 3 차원이나 복잡한 실제 물질에서 작동한다고 주장하지 않습니다 (다만 미래에 그렇게 설계할 수 있을지도 모른다고 제안합니다).

이 연구는 양자 회로에서 혼돈을 막기 위해 '벽'이 자연스럽게 발생할 수 있으며, 이러한 벽이 소량의 무질서에 대해 놀라울 정도로 견고하다는 것을 수학적으로 증명한 것입니다.

기술 요약

기술적 요약: 섭동된 플로케-클리퍼드 회로에서의 연산자 공간 분열

문제 제기
본 논문은 클리퍼드 한계에서 벗어나게 하는 유니타리 섭동 하에서 무작위 플로케-클리퍼드 회로의 연산자 국소화 안정성과 혼돈의 출현을 조사한다. 불규칙한 해밀토니안에서의 다체 국소화 (MBL) 는 국소 적분 운동량 (l-bits) 의 출현과 로그적 얽힘 성장으로 특징지어지지만, 이러한 보존량을 해석학적으로 구성하는 것은 어렵다. 반면, 무작위 클리퍼드 회로는 고전적으로 시뮬레이션 가능하지만 종종 탄성적 연산자 확산이나 에르고드성을 나타낸다. 저자들은 미세 조정 없이 완전히 상호작용하는 불규칙한 플로케 환경에서 안정적인 국소화 위상이 존재하는지 판단하기 위해 클리퍼드 역학과 일반적인 비클리퍼드 섭동 간의 상호작용을 이해하고자 한다.

방법론
저자들은 무작위로 샘플링된 비-곱형 2-큐비트 클리퍼드 게이트로 구성된 1 차원 벽돌무늬 (brickwork) 플로케 회로를 구축한다. 상호작용을 도입하고 클리퍼드 한계를 깨기 위해, 그들은 각 큐비트에 확률 $p$로 단일 큐비트 유니타리 섭동 ($R_i$) 을 적용한다. 이러한 섭동은 $U(2)$ (구체적으로 $SU(2)$ 회전) 에 대한 Haar 분포에서 균일하게 샘플링되어 일반적인 비클리퍼드 행동을 보장한다.

분석은 다음과 같은 이론적 및 수치적 도구에 의존한다:

1. 심플렉틱 형식주의: $\mathbb{Z}_2$ 위의 심플렉틱 행렬과 몫 클리퍼드 군 사이의 동형사상을 이용하여 위상 공간에서의 연산자 확산을 추적한다.
2. 벽 구성: 왼쪽이나 오른쪽에서 주입된 임의의 연산자의 확산을 막는 $k$개의 사이트로 이루어진 비가환적 부분계인"k-벽"을 정의한다. 저자들은 이러한 벽을 형성하기 위한 필요충분 게이트 구성 (CZ, SWAP, FSWAP 의 동치 클래스) 을 해석학적으로 유도한다.
3. 분열 분석: 무작위 앙상블에서 벽 형성 확률을 계산하여 전형적인 국소화 길이와 불변 연산자 부분 공간 (fragments) 의 크기를 추정한다.
4. 수치적 대각화: 유한 크기 회로에 대한 정확한 대각화를 수행하여 얽힘 엔트로피와 스펙트럼 형상 인자 (SFF) 를 계산하여 분열 내의 에르고드성과 혼돈을 탐구한다.

주요 기여 및 결과

• k-벽을 통한 연산자 공간 분열: 저자들은 $0 \le p < 1$일 때 회로가 강한 연산자 국소화를 보임을 입증한다. 이는 전통적인 MBL l-bits 때문이 아니라, 연산자 공간이 불연속적인 불변 섹터로 분열됨으로써 발생한다. 이러한 분열은 연산자 확산을 방해하는 장벽으로 작용하는 게이트 구성인"k-벽"의 출현으로 인해 발생한다.
• 섭동에 대한 안정성: 이 연구는 $p < 1$인 한 이러한 국소화된 분열이 일반적인 단일 큐비트 섭동에 대해 안정적임을 증명한다. 섭동이 국소적으로 벽을 불안정하게 만들지만, 대규모 시스템에서 모든 벽이 파괴될 확률은 시스템 크기에 따라 지수적으로 감소한다. 따라서, 섭동되지 않은 게이트를 가질 확률이 0 이 아닌 한 국소화 위상이 유지된다.
• 발생적 보존량: 저자들은 국소 적분 운동량을 정확히 구성한다. 1-벽의 경우, 이들은 분열 내에서 회로 진화에 따라 불변인 단일 큐비트 파울리 연산자 (예: $Z$) 이다. 더 높은 차수의 벽의 경우, 보존량은 더 복잡할 수 있지만 모든 k-벽이 반드시 국소 보존 전하를 보유하는 것은 아니다.
• 얽힘 병목 현상: 국소화는"얽힘 병목"을 초래한다. 회로는 어떤 이분법적 분할에서도 분리 가능하지는 않지만, 초기에 얽히지 않은 상태는 전형적인 분열 경계를 따라 약하게 얽힌다. 저자들은 1-벽의 경우 시간과 관계없이 벽을 가로지르는 얽힘 엔트로피가 1 비트로 제한됨 ($0 \le S_{VN} \le 1$) 을 해석학적으로 보인다. 수치 결과는 섭동되지 않은 벽을 가로지르는 평균 얽힘이 약 2/3 비트에서 포화됨을 확인하며, 이는 안정제 동분할 가설과 일치한다.
• 스펙트럼 특징 및 에르고드성:
  • 분열 내부: 국소화된 분열 내부의 역학은 혼돈적이며 Haar-무작위 앙상블을 근사하여 원형 유니타리 앙상블 (CUE) 과 일관된 스펙트럼 통계를 보인다.
  • 전체적 행동: 전체 스펙트럼 형상 인자 (SFF) 는 표준 CUE 행동과 다르다. 선형 램프 대신 초기 시간에 2 차 램프 ($t^2$) 를 보이며, 이는 분열된 연산자 공간의 곱 구조를 반영한다.
  • 전이: $p=1$(완전히 섭동됨) 에서 벽은 파괴되고 시스템은 탈국소화된 에르고드 위상으로 전이하여, SFF 는 투엘레스 시간 이후 CUE 한계에 접근한다.

의의
본 논문은 현재 NISQ 장치에서 실현 가능한 연산자 역학의 양자 위상에 대한 명시적이고 해석적으로 다루기 쉬운 설명을 제공한다. 이는 불규칙한 클리퍼드 앙상블에서 불변 부분 공간 (벽) 의 확률적 형성으로만 주도되는 미세 조정 없이 연산자 국소화가 발생하는 영역을 확립한다.

이 연구는 분열 내에서 국소화가 에르고드 역학과 공존할 수 있음을 보여줌으로써 전통적인 MBL 과 구별된다. 시스템은 전역적으로 비에르고드적인 것이 아니라, 벽으로 분리된 에르고드 섬으로 분열된 것이다. 이는 에르고드성 붕괴에 대한 새로운 관점을 제시하며, 1 차원에서의 퍼콜레이션 이론과 연결한다. 또한, 이 연구는"매직"(비클리퍼드 자원) 이 스펙트럼 전이를 주도하는 역할을 명확히 하여, 균일하게 분포된 희소한 비클리퍼드 섭동조차 국소화를 불안정하게 만들 수 있음을 보여주지만, 섭동이 확률적 ($p<1$) 일 경우 국소화 위상은 생존함을 보인다.

저자들은 그들의 모델이 미세 조정 없이 국소 보존 법칙이 증명적으로 구성될 수 있는 다체 국소화를 위한 토이 모델로 기능하며, 국소화, 혼돈, 얽힘 성장 간의 상호작용을 연구하기 위한 통제된 플랫폼을 제공한다고 결론지었다.