Phases of decodability in the surface code with unitary errors

본 논문은 단일 오류 하에서 표면 코드의 최대 가능도 복호를 (1+1) 차원 전이 행렬 축약으로 매핑하여 조사함으로써, 강자성 질서가 부피 법칙 얽힘과 공존하는 독특한 위상을 드러내어, 부호화된 정보가 이론적으로는 유지되지만 실질적으로는 복호 불가능하게 되는 현상을 규명한다.

핵심

상상해 보세요. 단일한 귀중한 비밀 (양자 정보) 을 저장하도록 설계된 매우 특별하고 마법 같은 도서관 (표면 코드) 이 있다고 가정해 봅시다. 이 도서관은 격자 위에 세워져 있으며, 독특한 초능력을 지니고 있습니다. 즉, 일부 책이 약간 손상되거나 페이지가 찢어지더라도 손상이 너무 광범위하지 않다면 비밀을 보호할 수 있습니다.

일반적으로 책이 손상되면 도서관에는 디코더라는 사서가 있어 찢어진 페이지 (증상) 를 살펴보고 정확히 무슨 일이 일어났는지 파악하여 이를 수정합니다. 이상적인 세계에서는 이 사서가 손상이 너무 심하지 않다면 항상 올바른 수정책을 찾을 수 있는 천재입니다.

새로운 문제: "교활한" 손상

실제 세계에서는 손상이 단순히 무작위로 찢어지는 것만이 아닙니다. 때로는 유니터리 오류로 인해 발생하는 "교활한" 종류의 손상이 있습니다. 이는 페이지가 찢어지는 것이 아니라, 페이지 위의 텍스트가 미묘하게 이동하거나 회전하는 것으로 생각하세요. 텍스트는 여전히 존재하지만 복잡한 방식으로 비틀려 있습니다.

이 논문의 저자들은 질문했습니다. 손상이 이러한 종류의 "비틀린" 노이즈일 때, 우리의 천재 사서에게 무슨 일이 일어날까요?

사서의 새로운 도구: 전이 행렬

이 비틀린 손상을 수정하기 위해 사서는 한 번에 한 페이지씩만 볼 수 없습니다. 대신 전이 행렬 축소라는 복잡하고 다단계의 과정을 사용해야 합니다.

이 과정을 거대한 다층 퍼즐처럼 생각하세요.

1. 사서는 퍼즐 레이어의 탑을 쌓습니다.
2. 퍼즐을 해결 (메시지 디코딩) 하기 위해 이 레이어들을 서로 밀어붙여야 합니다.
3. 이 레이어들을 밀어붙이는 난이도는 조각들이 얼마나 "얽혀 있는지"에 따라 달라집니다.

두 가지 유형의 "어려움"

이 논문은 사서가 실패할 수 있는 서로 다른 두 가지 방식이 있으며, 이 두 가지가 항상 동시에 발생하지는 않는다는 사실을 발견했습니다.

1. "정보 손실" 실패 (상자성 위상)
손상이 너무 심각하여 비밀이 진정으로 사라진 상황을 상상해 보세요. 사서가 퍼즐을 살펴보면, 아무리 노력해도 조각들이 하나의 일관된 이야기를 형성하도록 맞지 않습니다. 비밀이 지워진 것입니다.

• 비유: 도서관이 불타버렸습니다. 구할 것이 아무것도 남지 않았습니다.

2. "너무 복잡함" 실패 (부피 법칙 얽힘)
이것이 이 논문의 주요 발견입니다. 때로는 비밀이 아직도 존재합니다. 도서관은 온전하며, 정보는 기술적으로 복원 가능합니다. 그러나 사서가 풀어야 할 퍼즐이 너무 복잡하게 얽혀 있어 우주의 크기와 같은 슈퍼컴퓨터가 있어야만 해결할 수 있습니다.

• 비유: 도서관은 완벽하게 온전하며 비밀은 금고에 숨겨져 있습니다. 하지만 금고의 조합은 수십억 자리 숫자가 포함된 너무 길고 복잡한 코드라, 코드가 존재한다는 것을 알고 있더라도 우주의 열죽음 전에 그 코드를 입력할 수 없을 것입니다. 정보는 "거기"에 있지만, 실제로는 디코딩할 수 없습니다.

도서관의 세 가지 구역

저자들은 얼마나 많은 "비틀림" (오류율) 이 발생하는지에 기반하여 이 도서관의 "기상 지도"를 그려냈습니다. 그들은 세 가지 명확한 구역을 발견했습니다.

• 구역 A (화창한 날): 낮은 비틀림. 사서가 책을 쉽게 고칩니다. 퍼즐은 단순합니다 (면적 법칙). 비밀은 안전하며 쉽게 찾아낼 수 있습니다.
• 구역 B (폭풍우): 높은 비틀림. 비밀이 진정으로 사라졌습니다. 사서는 이야기가 사라졌으므로 (상자성) 포기합니다.
• 구역 C (안개 낀 함정): 이것이 논문이 발견한 새롭고 이상한 구역입니다. 비틀림은 높지만 너무 높지는 않습니다. 비밀은 아직도 존재합니다 (강자성 질서), 하지만 퍼즐이 불가능할 정도로 얽혀 있습니다 (부피 법칙). 사서는 답은 존재하지만 그것을 찾는 것이 계산적으로 불가능한 안개 속에 갇혀 있습니다.

두 번째 비틀림: 오류의 혼합

저자들은 서로 다른 방향의 비틀림 (손상을 다른 방향으로 회전) 을 혼합했을 때 어떤 일이 일어나는지 테스트했습니다. 그들은 "Z" 오류가 수정 가능하기 때문에 비밀이 안전해야 하는 상태에 있더라도, "X" 오류 (얽힌 상태) 를 수정하려는 시도가 전체 시스템을 그 "안개 낀 함정" (구역 C) 으로 끌어당길 수 있음을 발견했습니다.

이는 배에 난 구멍을 막으려는 것과 같습니다. 구멍이 패치할 만큼 작더라도, 그 주변을 소용돌이치는 물이 너무 혼란스럽다면 구멍에 도달하여 패치할 수 없을 수 있습니다. 배는 기술적으로 여전히 떠 있지만 말입니다.

이 사실을 어떻게 발견했는가

이를 증명하기 위해 저자들은 이 도서관의 디지털 시뮬레이션을 구축했습니다. 그들은 손상을 "샘플링"하는 새로운 방법을 만들었습니다 (책이 어디에서 비틀리는지 보기 위해 주사위를 굴리는 것과 같음), 그런 다음 텐서 네트워크 (복잡한 양자 상태를 표현하는 방법) 라는 방법을 사용하여 퍼즐을 풀려고 시도했습니다. 그들은 오류율을 높임에 따라 "얽힘" (퍼즐의 복잡성) 이 어떻게 증가하는지 관찰했습니다.

결론

이 논문은 이러한 유형의 오류 정정을 사용하는 양자 컴퓨터에게는 위험한 중간 지대가 존재한다고 결론 내립니다. 정보가 아직 손실되지 않았기 때문에 컴퓨터가 안전하다고 생각할 수 있지만, "노이즈"가 정보를 디코딩하는 데 필요한 수학의 sheer 복잡성으로 인해 정보를 실질적으로 복원할 수 없게 만들 수 있습니다. 정보는 원칙적으로는 보존되지만, 실제로는 손실된 것입니다.

기술 요약

표면 코드에서 단위 오류의 복호화 가능성 단계에 대한 기술적 요약

문제 제기
표면 코드는 유한한 오류 임계값을 특징으로 하는 양자 메모리의 주요 후보이며, 여기서 최적 복호 (최대 우도, ML) 는 오류를 정정할 수 있습니다. 비간섭 (확률적) 오류가 존재할 때, ML 복호 문제는 니시모리 선상의 2 차원 랜덤 결합 이징 모델 (RBIM) 로 매핑됩니다. 복호 임계값은 이 통계역학 모델에서 페로자성 - 상자성 (FM-PM) 상전이에 해당하며, 몬테카를로 방법을 사용하여 효율적으로 시뮬레이션할 수 있습니다.

그러나 현실적인 양자 장치는 불완전한 단위 게이트나 기울어진 측정 기저와 같은 간섭 오류로 인해 종종 고통받습니다. 이러한 오류는 RBIM 의 파티션 함수에 복소 볼츠만 가중치를 도입하여 표준 몬테카를로 샘플링을 비효율적으로 만듭니다. 대신 ML 복호는 전이 행렬 축약을 통해 파티션 함수를 평가해야 하므로, 본질적으로 (1+1) 차원 양자 역학을 시뮬레이션하는 것을 요구합니다. 중요한 미해결 질문은 이러한 일반적 단위 오류에 대한 역학이 엔트로피 스케일링 (면적 법칙에서 부피 법칙으로) 에서 상전이를 보일지 여부이며, 이는 인코딩된 정보가 이론적으로 보존되더라도 시뮬레이션을 계산적으로 어렵게 만들 수 있다는 점입니다.

방법론
저자들은 단일 큐비트 회전과 2 큐비트 Pauli-X 회전을 포함한 일반적 단위 오류에 노출된 표면 코드를 조사합니다. 그들은 ML 복호 문제를 복소 가중치를 가진 통계역학 모델로 공식화합니다.

1. 통계역학 매핑: 오류 클래스의 확률은 RBIM 의 파티션 함수로 매핑됩니다. 간섭 error 의 경우 이는 복소 가중치를 수반하므로 몬테카를로 대신 전이 행렬 접근법이 필요합니다.
2. 텐서 네트워크 표현: 파티션 함수는 텐서 네트워크로 표현됩니다. 저자들은 표면 코드의 등거리 텐서 네트워크 (isoTNS) 표현을 기반으로 한 새로운 증후군 샘플링 알고리즘을 개발합니다. 이를 통해 (1+1) 차원 모니터링 역학을 시뮬레이션하여 손상된 순수 상태로부터 직접 증후군을 샘플링할 수 있으며, 문제를 행렬 곱 상태 (MPS) 축약으로 변환합니다.
3. 수치 시뮬레이션: 시간 진화 블록 소거 (TEBD) 알고리즘을 사용하여 저자들은 파티션 함수를 평가하고 주요 관측량을 계산하기 위해 전이 행렬을 축약합니다:
   • 결함 자유 에너지 ($\Delta F$): FM-PM 전이 (복호 충실도) 를 감지하는 데 사용됩니다.
   • 얽힘 엔트로피 ($S$): 면적 법칙 (효율적으로 시뮬레이션 가능) 과 부피 법칙 (계산적으로 어려움) 단계 사이를 구분하는 데 사용됩니다.
4. 오류 모델: 이 연구는 두 가지 주요 시나리오를 고려합니다:
   • 단일 큐비트 및 2 큐비트 Pauli-X 회전.
   • XY 평면으로 기울어진 일반 단일 큐비트 회전과 결합된 2 큐비트 Pauli-X 회전.

주요 기여 및 결과

1. 페로자성 부피 법칙 단계의 식별:
   저자들은 수치적으로 일반적 단위 오류에 대해 전이 행렬 축약이 페로자성 질서가 부피 법칙 얽힘과 공존하는 단계에 진입할 수 있음을 보여줍니다.

   • 이 단계에서 결함 자유 에너지는 시스템 크기에 비례하여 선형적으로 스케일링되어 인코딩된 정보가 보존됨을 나타냅니다 (시스템이 "페로자성" 또는 인코딩 영역에 있음).
   • 그러나 얽힘 엔트로피는 시스템 크기에 비례하여 선형적으로 (부피 법칙) 스케일링됩니다. 이는 정보가 이론적으로 복호 가능하더라도 높은 얽힘으로 인해 전이 행렬 축약을 통한 ML 복호 수행이 계산적으로 어렵다는 (지수적 비용) 것을 의미합니다.
   • 이 단계는 단일 및 2 큐비트 Pauli-X 회전에 대한 회전 각도가 임계 임계값을 초과할 때 관찰되며, 구체적으로 2 큐비트 회전 각도 $\phi \gtrsim 0.1\pi$일 때 발생합니다.

2. 복호화 가능성의 위상도:
   저자들은 세 가지 명확한 영역을 포함하는 위상도 (그림 1c) 를 구성합니다:

   • 페로자성 면적 법칙 (FM-AL): 정보가 보존되며 복호는 효율적입니다.
   • 상자성 부피 법칙 (PM-VL): 정보가 손실됨 (상자성) 이며 복호는 어렵습니다.
   • 페로자성 부피 법칙 (FM-VL): 정보는 보존되지만 부피 법칙 얽힘으로 인해 복호는 어렵습니다.
     작은 $\phi$에 대해 FM-AL 과 PM-VL 사이의 전이는 표준 임계 지수 ($\nu \approx 2.27$) 를 보입니다. 그러나 더 큰 $\phi$의 경우 보편성 계급이 변경되어 시스템이 잠재적 FM-VL 단계에 진입합니다.

3. X 및 Z 오류 모델의 결합:
   저자들은 단일 큐비트 회전 축을 X 축에서 기울임으로써 (Y 및 Z 성분 도입) X 및 Z 오류에 대한 통계역학 모델을 결합함을 보여줍니다.

   • X 오류에 대한 상자성 부피 법칙 단계에서 시작하여 회전을 기울이면 Z 오류에 대해 페로자성 부피 법칙 단계가 유도될 수 있습니다.
   • 이 영역에서 Z 오류는 원칙적으로 정정 가능 (페로자성 질서) 하지만, 부피 법칙 얽힘을 가진 결합된 전이 행렬을 시뮬레이션해야 하므로 고전 정보의 복구가 실질적으로 어려워집니다.

4. 증후군 샘플링 알고리즘:
   이 논문은 isoTNS 를 사용하여 손상된 표면 코드에서 증후군을 샘플링하는 효율적인 알고리즘을 소개합니다. 이 방법은 상태 준비의 순차적 구조와 오류의 단위성을 활용하여 축소 밀도 행렬을 효율적으로 계산하며, 샘플링 과정에서 전체 상태 축약이 필요하지 않습니다.

의의
이 논문은 정보 손실과 구별되는 얽힘을 복호화에 대한 고유한 장애물로 확립합니다. 이는 일반적 단위 오류에 대해 표면 코드가 양자 정보가 보존됨 (코드 거리가 효과적으로 유지됨) 에도 불구하고 필요한 전이 행렬 역학 시뮬레이션의 계산 복잡성으로 인해 실질적으로 복호 불가능한 단계에 진입할 수 있음을 보여줍니다.

이 연구는 양자 오류 정정의 근본적인 한계를 강조합니다. 즉, 상태가 완전히 혼합되는 "정보 임계값"에 도달하기 전에 최적 복호의 비용이 prohibitive 해지는 "계산 임계값"이 존재한다는 점입니다. 저자들은 FM-VL 단계에 대한 수치적 증거를 제공하지만, 이 특정 모델에서의 존재에 대한 엄격한 분석적 증명은 여전히 미해결 질문이며, 유한 크기 효과를 완전히 배제할 수는 없다고 지적합니다. 또한 이 작업은 혼합 상태 전이와 이러한 복소 가중치 통계역학 모델의 등각 성질을 연구하는 새로운 방향을 열었습니다.