Generating quantum error correcting codes from topological pre-thermal scars

기술 요약: 위상적 전열 스카(Topological Pre-thermal Scars)로부터 양자 오류 정정 코드 생성

문제 정의
양자 다체 스카(Quantum Many-Body Scars, QMBSs)는 열화되는 스펙트럼 내에 매몰되어 있으면서도, 비정상적으로 낮은 얽힘과 결맞는 역학을 특징으로 하는 비열적 고유상태(nonthermal eigenstates)의 한 부류를 나타낸다. 이러한 상태들은 양자 정보 저장 및 조작을 위한 유망한 후보로 식별되어 왔으나, 다음과 같은 일반적인 프레임워크가 부족했다: (1) 특정 타워 구조나 정확한 대칭성과 같은 미시적 스카 메커니즘에 대한 사전 지식 없이 이러한 상태를 식별하는 방법; 그리고 (2) 이러한 상태들이 언제 양자 오류 정정 코드(QEC)를 형성할 수 있는지 엄밀하게 결정하는 방법. 기존의 접근 방식들은 모델 불가지론적(model-agnostic) 식별 방법, 섭동에 대한 안정성에 대한 정량적 인증, 그리고 결과로 도출되는 양자 오류 정정 코드의 명시적 구축을 동시에 제공하는 데 실패해 왔다.

방법론
저자들은 **다체 스펙트럼 로컬라이저(many-body spectral localizer)**를 사용하여 비열적 상태 발견과 인증 가능한 양자 오류 정정을 연결하는 엔드 투 엔드(end-to-end) 프레임워크를 개발한다. 이 방법론은 세 단계로 진행된다:

1. 의사스펙트럼적 스카 식별(Pseudospectral Identification of Scars):
   본 프레임워크는 비열적 상태 식별을 일반적으로 호환되지 않는 관측량들, 즉 해밀토니안($H$)과 열적/비열적 거동을 구분하는 진단 관측량($O$) 사이의 동시 정보를 분해하는 문제로 취급한다. 스펙트럼 로컬라이저 $L_{(x,\epsilon)}(X, H)$라는 클리포드 선형(Clifford-linear) 구성을 사용하여, 저자들은 근사적인 공동 고유벡터(joint eigenvectors)를 탐색한다. 다체 설정에서 $X$는 공간 좌표가 아닌 다체 관측량(예: 질량 중심 위치)을 나타낸다.

   • 로컬라이저는 $L_{(\lambda,\epsilon)}(O, H) = \kappa(O - \lambda \mathbb{1}) \otimes \sigma_x + (H - \epsilon \mathbb{1}) \otimes \sigma_y$로 정의된다.
   • 시스템이 다체 카이랄 대칭성 $\Gamma_\chi$ (즉, $\mathbb{Z}_2$ 등급)를 가진다면, 저자들은 대칭 축소 스펙트럼 로컬라이저(symmetry-reduced spectral localizer) $\tilde{L}_\lambda = [\kappa(O - \lambda \mathbb{1}) - iH]\Gamma_\chi$를 구성한다.
   • $\tilde{L}_\lambda$에서 근접 제로 고유값(near-zero eigenvalue, 국소 갭 폐쇄)의 존재는 $H$와 $O$의 근사적인 공동 고유상태가 존재함을 나타낸다.

2. 위상적 인덱스와 등급(Topological Index and Grading):
   대칭 축소 로컬라이저는 위상적 인덱스 $\nu_\lambda = \frac{1}{2}\text{sig}(\tilde{L}_\lambda)$를 갖는다. $\lambda$가 변함에 따라 발생하는 이 인덱스의 변화는 상태의 존재를 드러내며, 결정적으로 이 상태들이 거주하는 특정 등급 부공간(graded subspace, $\Gamma_\chi$의 고유값)을 식별한다. 이는 "인덱스 변화-부공간 대응 관계"를 확립하여, 저자들이 동일한 등급을 가지면서도 $O$에 대해 잘 분리된 기댓값을 갖는 쌍의 퇴화된 스카들을 선택할 수 있게 한다.

3. 연산자 대수 양자 오류 정정(Operator-Algebra Quantum Error Correction, OAQEC):
   저자들은 동일한 등급과 공간적 분리도를 가진 스카 쌍이 근사적인 크닐-래플람 조건(Knill–Laflamme condition)을 만족함을 입증한다.

   • 홀수 오류(Odd Errors): 등급에 대해 홀수인 오류 $E$ ($\{E, \Gamma_\chi\} = 0$)는 코드를 직교하는 섹터로 매핑하므로 정확하게 검출 가능하다. 이는 $\Gamma_\chi$를 측정함으로써 신드롬을 생성한다.
   • 짝수 오류(Even Errors): 두 개의 홀수 오류의 곱(또는 본질적으로 짝수인 오류)은 등급을 보존한다. 그러나 $O$에서의 스카 국소화(localization)는 충분히 국소적인 짝수 오류 곱의 논리적 작용을 억제한다.
   • 이를 정량화하기 위해, 저자들은 제한된 공간적 범위를 갖는 구성들로 힐베르트 공간을 제한하는 클러스터 섹터(clustered sector) 분석을 도입한다. 이 섹터 내에서 해밀토니안은 "질량 중심 밴드성"(center-of-mass bandedness)을 나타내며, 이를 통해 제로 에너지 매니폴드에 대한 투영 연산자의 지수적 감소 경계(exponential decay bounds)를 유도할 수 있다. 이는 벌크 국소 연산자에 대한 논리적 오류의 지수적 억제로 이어지며, 근사적 OAQEC 구조를 확립한다.

주요 결과 및 시연
이 프레임워크는 광범위한 적용 가능성을 입증하기 위해 세 가지 서로 다른 물리 모델에 적용되었다:

1. 1차원 밀도 차이 의존적 보존 모델(1D Density-Difference-Dependent Bosonic Model):

   • 이 모델은 국소 밀도 차이에 의존하는 상관된 호핑(correlated hopping)을 특징으로 한다.
   • 스펙트럼 로컬라이저는 질량 중심 좌표($X_{CM}$)의 양 끝단에 국소화된 퇴화되고 등급이 매겨진 스카 패밀리를 식별했다.
   • 이 상태들은 열적 벌크에 비해 비정상적으로 낮은 얽힘 엔트로피(정적 징후)와 억제된 얽힘 성장(동적 징후)을 보였다.
   • 두 가장 외곽의 스카를 사용하여 명시적인 근사 양자 코드가 구축되었다. 이 코드는 근사적 크닐-래플람 조건을 만족하며, 논리적 비트 플립 오류는 거시적인 공간적 범위를 요구한다.

2. 2차원 밀도 차이 의존적 보존 모델(2D Density-Difference-Dependent Bosonic Model):

   • 보존 모델의 2차원 일반화에 적용되었다.
   • 프레임워크는 대각선 질량 중심 좌표를 따라 시스템을 분해함으로써 코너에 국소화된 상태(다체 고차 위상 경계 상태)를 식별했다.
   • 식별된 상태는 낮은 얽힘과 코너 국소화를 보여, 고차원에서의 방법론적 유용성을 확인시켜 주었다.

3. PXP 모델 (리드베르크 원자):

   • 리드베르크 차단(Rydberg blockade)과 $Z_2$ 스카로 알려진 전형적인 PXP 모델에 적용되었다.
   • 공간 반전 대칭성을 등급으로 사용하여, 로컬라이저는 17개 사이트 체인에서 알려진 18개의 스카 상태 중 14개를 식별했다.
   • 이 방법은 특정 스카 타워 구조에 대한 사전 지식 없이도 열적 벌크로부터 스카 타워를 성공적으로 분리해 냈다.

의의 및 주장
본 논문은 비열적 다체 상태를 식별하는 것에서부터 이를 양자 정보 보호에 활용하는 것으로 이어지는 체계적인 경로를 구축했다고 주장한다. 주요 기여는 다음과 같다:

• 모델 불가지론적 발견: 본 프레임워크는 스카를 생성하는 미시적 메커니즘(예: 운동학적 제약 또는 특정 대수적 구조)에 대한 사전 지식을 요구하지 않는다. 이는 오직 해밀토니안과 진단 관측량 사이의 공동 스펙트럼 구조에만 의존한다.
• 위상적 인증: 스카 식별을 위상적 인덱스 변화와 연결함으로써, 이 방법은 상태의 안정성과 오류 검출에 필수적인 특정 등급 섹터에 대한 인증을 제공한다.
• 스카에서 코드로: 본 연구는 연산자 대수 양자 오류 정정(OAQEC) 구조를 명시적으로 구축한다. 스카를 구별하는 동일한 국소화 특성이 근사적 오류 정정 조건을 만족하도록 유도한다는 점을 입증한다.
• 의사스펙트럼 도구: 저자들은 스펙트럼 로컬라이저를 단일 입자 위상을 넘어 상호작용하는 양자 시스템에서 유용한 비열적 거동을 발견하기 위한 광범위하게 적용 가능한 도구로 위치시킨다.

저자들은 모든 보호의 보편성에 대해서는 신중한 태도를 유지한다. 즉, 모든 스펙트럼 로컬라이저 식별 스카가 잘 보호된 코드를 생성하는 것은 아니다. 유용성은 진단 관측량 $O$가 비열적 상태를 효과적으로 구별하고, 분리된 코드워드들이 국소적 오류에 의해 연결되기 어렵도록 관련 오류 대수를 조직하는 능력에 달려 있다. 그러나 적절한 시스템의 경우, 이 프레임워크는 견고한 양자 코드를 위한 건설적인 경로를 제공한다.