Phases of Floquet code under local decoherence

기술 요약: 국소적 결맞음 하에서의 플로케 코드(Floquet Code)의 상(Phases)

문제 정의
Hastings-Haah 플로케 코드는 주기적으로 진화하는 논리 공간을 가진 동역학적 양자 메모리이며, 고유한 특징으로 매 측정 주기 후에 발생하는 anyon automorphism(구체적으로 $e$-$m$ 교환)을 갖는다. 이 코드가 국소적 결맞음(local decoherence)이 존재하는 환경에서도 양자 정보를 견고하게 인코딩할 수 있음은 이미 입증되었으나, 완벽한 측정이 이루어지는 조건 하에서의 플로케 코드의 고유한 오류 임계값(intrinsic error threshold)은 여전히 결정되지 않은 상태였다. 또한, 이 코드의 정의적 특징인 anyon automorphism이 임계값 아래에서도 잘 정의된 상태로 유지되는지, 아니면 표준적인 위상(예: 토릭 코드와 같은)이나 자명한 위상(trivial phase)으로 전이되는지도 불분명하다. 정적 위상 코드와 달리, 플로케 코드의 안정기(stabilizer)는 두 번의 연속적인 측정 후에야 추론되므로, 시간적으로 상관된 시드롬 변화가 발생하며 이는 디코딩 임계값 및 위상 진단의 도출을 복잡하게 만든다.

방법론
저자들은 결맞음이 있는 플로케 코드의 고유 임계값을 결정하고 그 위상을 규명하기 위해 두 가지 상호 보완적인 접근 방식을 사용한다:

1. 최대 가능도 디코딩(MLD) 및 통계 역학적 매핑:
   저자들은 국소적 Pauli 결맞음 하에서 플로케 코드에 대한 최대 가능도 디코더를 지배하는 통계 역학 모델을 유도한다. 이들은 시드롬을 단 한 번의 측정 후에 읽어낼 수 있는 특정 부류의 "단순한" 2-큐비트 Pauli 오류(예: $E^Y_R, E^Z_R$ 등)를 식별한다. 이러한 오류들에 대해, 저자들은 일반적으로 결합되어 있는 3D 통계 역학 모델(시간적 상관 관계가 있는 시드롬으로 인해 발생)이 허니콤 격자 위의 독립적인 2D 무작위 결합 이징 모델(Random Bond Ising Models, RBIM)의 스택으로 분리됨을 증명한다. 디코딩 임계값은 이 RBIM들의 강자성-상자성 상전이 지점과 일치하는 것으로 식별된다.

2. 정보 이론적 진단:
   결맞음이 있는 플로케 코드의 위상 구조와 anyon automorphism의 지속성을 조사하기 위해, 저자들은 양자 상대 엔트로피(quantum relative entropy)와 결맞는 정보(coherent information)에 기반한 진단법을 제안한다.

• $e$-$m$ Automorphism 프로브: 저자들은 $m$-논리 고유상태(eigenstate)로 초기화된 상태와 최대 혼합 상태(maximally mixed state) 사이의 양자 상대 엔트로피를 기반으로 하는 양 $D_{em}$을 정의한다. 여기서 두 상태는 플로케 시퀀스를 통해 진화한다. 두 번째 상태는 결함이 없는 경우 첫 번째 상태가 진화하게 될 $e$-논리 고유상태로 투영된다.
• 결맞는 정보(Coherent Information): 저자들은 인코딩 위상과 자명한 위상을 구분하기 위해 결맞는 정보 $I_c$를 계산한다.
• 통계적 매핑: 결맞음이 있는 밀도 행렬의 안정기 전개(stabilizer expansion)를 사용하여, 저자들은 레니 상대 엔트로피 $D^{(n)}_{em}$과 레니 결맞는 정보 $I^{(n)}_c$를 $(n-1)$-flavor 이징 모델의 분배 함수로 매핑한다. 이를 통해 분석적인 상전이 연구가 가능하다.

주요 기여 및 결과

• 고유 임계값의 도출: 저자들은 단순한 오류 클래스에 대해 플로케 코드가 임계 오류율 $p_c \approx 0.0119$에서 상전이를 겪음을 확립한다. 이 값은 Nishimori line 상의 2D RBIM의 임계점과 일치한다.
• 3D 모델의 분리: 저자들은 디코더를 위한 3D 통계 역학 모델이 시간 방향으로 2D 모델들로 분리되는 오류 채널을 식별하였는데, 이는 핵심적인 기술적 결과이다. 이는 시간 방향의 결합이 지속되는 일반적인 경우에 비해 분석을 크게 단순화한다.
• Anyon Automorphism의 견고성: 저자들은 임계값 $p_c$ 아래에서 플로키 코드가 $e$-$m$ anyon automorphism을 특징으로 하는 견고한 위상을 보임을 분석적으로 증명한다. 이 위상에서 상대 엔트로피 프로브 $D^{(n)}_{em}$은 0이 되며($D^{(n)}_{em} = 0$), 이는 논리 상태의 진화가 automorphism 성질을 보존함을 나타낸다.
• 위상 구분: 진단 도구는 세 가지 뚜렷한 위상을 구분한다:
  1. 플로케 코드 위상 ($p < p_c$): $I_c = 2 \log 2$ (최대 결맞는 정보)와 $D^{(n)}_{em} = 0$으로 특징지어진다. 논리 공간은 비자명한 $e$-$m$ automorphism을 겪는다.
  2. 토릭 코드 위상: 정보를 보유하고 있으나 $e$-$m$ automorphism은 결여된 위상이다(예: 특정 측정이 누락된 경우). 여기서는 $I_c = 2 \log 2$이지만 $D^{(n)}_{em} = (\log 2)/(n-1)$이다.
  3. 자명한 위상 ($p > p_c$): $I_c \leq 0$ 및 $D^{(n)}_{em} = \log 2$로 특징지어지며, 이는 양자 정보의 손실을 나타낸다.
• 동시 전이: 본 논문은 결맞는 정보의 전이(정보 손실을 나타냄)와 automorphism 프로브의 전이가 동일한 임계값 $p_c$에서 동시에 발생함을 보여준다.
• MLD의 최적성: 결맞는 정보로부터 도출된 임계값이 ($(n-1)$-flavor 이징 모델과 RBIM 사이의 Kramers-Wannier 쌍대성을 통해) 최대 가능도 디코더로부터 도출된 임계값과 일치함을 보여줌으로써, 저자들은 해당 조건 하의 플로케 코드에 대해 최대 가능도 디코더가 점근적으로 최적임을 확인한다.

의의
본 논문은 완벽한 측정과 국소적 Pauli 결맞음 하에서의 Hastings-Haah 플로케 코드에 대한 고유 오류 임계값을 확립한다. 결정적으로, 저자들은 이 코드의 정의적 동역학적 특징인 anyon automorphism이 양자 정보가 손실되는 임계값까지 지속되는 인코딩 위상의 견고한 속성임을 증명한다. 이는 결맞음이 존재하는 상황에서도 플로케 코드를 정적인 토릭 코드와 구별되는 별개의 동역학적 위상으로 차별화한다. 이 연구는 동역학적 양자 메모리를 분석하기 위한 엄격한 통계 역학 프레임워크를 제공하며, 노이즈가 있는 중규모 양자(NISQ) 장치에서 anyon automorphism의 존재를 실험적으로 검증할 수 있는 구체적인 진단 도구(상대 엔트로피 기반)를 제공한다.