Clifford-deformed zero-rate LDPC codes with 50% biased noise thresholds

본 논문은 클리퍼드 변형 영률 LDPC 부호를 이방성 잡음에 맞춰 논리 연산자 중첩을 조정함으로써 순수 위상 소음 하에서 50% 임계값을 달성할 수 있음을 입증하며, 이는 XZZX 표면 부호와 같은 기존 고임계값 부호들의 성능을 통합하는 성질로서, 개선된 유한 편향 및 회로 수준 성능을 보이는 타일 부호의 새로운 병진 불변 변형을 통해 증명된다.

핵심

이 논문은 간단한 언어와 창의적인 비유를 사용하여 설명합니다.

큰 그림: 특정 폭풍우 속의 누수 있는 배 수리하기

폭풍우 속에서 배 (양자 컴퓨터) 를 띄워 두려고 상상해 보세요. 이 배는 비 (위상 소실이라고 하는 특정 유형의 오류) 를 바람이나 파도보다 훨씬 더 많이 맞을 가능성이 있습니다. 실제로 99% 의 경우 문제는 비뿐입니다.

오랫동안 과학자들은 어떤 종류의 폭풍우든 균등하게 잘 견딜 수 있는 배 (오류 정정 코드) 를 만들어 왔습니다. 하지만 이 논문은 다음과 같이 주장합니다. "우리가 비만 올 것이라고 알고 있는데, 왜 허리케인을 위한 배를 만들까요?"

저자들은 배를 비에 특화되도록 재형성하면 이전보다 훨씬 더 강한 폭우를 견딜 수 있음을 보여줍니다. 올바른 형태를 가진다면, 비가 50% 의 확률로 내리는 폭풍우 (이론적 최대 한계) 에서도 배를 건조하게 유지할 수 있음을 증명합니다.

비밀 무기: "클리퍼드 변형"

배를 어떻게 재형성할까요? 저자들은 클리퍼드 변형이라는 기법을 사용합니다.

표준 오류 정정 코드를 그물망의 격자로 생각하세요. 그물망의 매듭 하나하나가 배를 붙잡고 있습니다. 표준 그물망에서는 매듭이 대칭적으로 배열되어 있습니다.

클리퍼드 변형은 가위로 몇 가닥의 특정 실을 잘라낸 뒤, 다른 각도로 다시 묶는 것과 같습니다. 그물망을 더 추가하거나 일반적으로 더 강하게 만드는 것이 아니라, 단지 매듭의 방향을 회전시키는 것입니다.

• 비유: 북쪽으로 헤엄치는 물고기를 잡도록 설계된 그물망이 있다고 상상해 보세요. 하지만 연못의 물고기는 실제로 동쪽으로 헤엄치고 있습니다. 그물망을 90 도 회전시키면 갑자기 그 물고기를 잡는 데 놀라울 정도로 효율적이 됩니다.
• 결과: "매듭" (코드 뒤의 수학) 을 "비" (특정 잡음) 에 맞춰 회전시킴으로써, 코드는 잡음을 무시하는 데 매우 효율적이 됩니다.

주요 발견: "제로 레이트" 돌파구

이 논문은 LDPC(Low-Density Parity-Check, 저밀도 패리티 검사) 라고 불리는 특정 유형의 코드에 초점을 맞춥니다. 이들은 대규모 컴퓨터에 적합한 고효율의 희소 그물망과 같습니다.

이전까지 과학자들은 회전된 그물망이 작고 단순한 배 (표면 코드와 같은 위상 코드) 에서는 잘 작동한다는 것을 알고 있었습니다. 하지만 이 트릭이 크고 복잡한 LDPC 그물망에도 통할지 여부는 확신이 없었습니다.

저자들의 주요 주장: 네, 작동합니다! 그들은 LDPC 그물망을 회전시켜 50% 비 폭풍우를 견딜 수 있는 정확한 조건 (규칙) 의 집합을 찾았습니다.

그들은 "논리적 매듭" (실제로 정보를 유지하는 그물망의 부분) 이 특정 방식으로 배열되어 있을 때, 즉 서로 너무 많이 겹치지 않을 때, 이 완벽한 50% 생존율을 달성할 수 있음을 발견했습니다.

"타일 코드" 실험

이를 증명하기 위해 저자들은 타일 코드라고 불리는 특정 유형의 코드를 사용했습니다 (각 타일이 퍼즐 조각인 사각형 타일로 만든 바닥을 상상해 보세요).

1. 무작위 회전: 그들은 타일을 무작위로 회전시켜 보았습니다. 가능한 회전 중 약 절반이 50% 비 폭풍우를 견딜 수 있게 하는 "최적 지점" (위상 다이어그램) 을 발견했습니다.
2. 패턴 회전: 그들은 또한 타일을 엄격하고 반복적인 패턴 (벽지 디자인과 같은) 으로 회전시켜 보았습니다. 그들은 "선형" 패턴이나 "XY" 패턴과 같은 특정 패턴도 완벽하게 작동함을 발견했습니다.

그들은 컴퓨터 시뮬레이션을 통해 이러한 회전된 타일 코드가 회전되지 않은 버전보다 훨씬 더 많은 잡음을 처리할 수 있음을 보여주었습니다.

현실 세계 점검: 폭풍우는 변할까요?

지금까지 우리는 데이터에 완벽하게 비가 내리는 이론적 폭풍우에 대해 이야기했습니다. 하지만 현실 세계에서는 "배"에 수위를 측정하는 선원 (하드웨어) 이 있습니다.

저자들은 질문했습니다. "선원이 자신의 도구로 비를 측정하려고 할 때 무슨 일이 일어날까요?"

• 문제: 비를 측정하는 도구 (증후군 추출 회로) 는 때때로 비를 다른 것들과 혼동하여, 순수한 "비"를 비, 바람, 파도가 섞인 지저분한 혼합물로 만들어 버립니다. 이는 특수한 배 형태의 장점을 약화시킵니다.
• 해결책: 그들은 이온 트랩, 초전도 회로, 중성 원자와 같은 다양한 유형의 하드웨어가 이를 어떻게 처리하는지 모델링했습니다. 그들은 "순수한 비"의 이점이 측정 과정에서 희석되지만, 회전된 타일 코드는 여전히 이러한 현실 세계의 불완전성에서도 표준 코드보다 훨씬 더 잘 수행됨을 발견했습니다.

연구 결과 요약

1. 이론: 그들은 수학적으로 양자 코드의 "매듭"을 올바르게 배열하면 편향된 잡음에 대해 오류 정정의 절대 한계 (50%) 에 도달할 수 있음을 증명했습니다.
2. 증명: 그들은 이것이 단순한 것뿐만 아니라 복잡한 "타일 코드"에서도 작동함을 보여주었습니다.
3. 현실 점검: 컴퓨터가 오류를 측정하는 방식의 지저분한 현실을 고려하더라도, 이러한 특별히 회전된 코드들은 여전히 승리하여, 이 특정 유형의 잡음에 직면한 양자 컴퓨터를 구축하는 훨씬 더 안전한 방법을 제공합니다.

간단히 말해: 폭풍우가 주로 비라는 것을 안다면, 범용 배를 만들지 마세요. 그물망을 비를 잡을 수 있도록 회전시키면, 다른 모든 것을 가라앉히게 할 폭풍우에서도 떠 있을 수 있습니다.

기술 요약

문제 제기
현실적인 양자 하드웨어는 종종 다른 오류 채널보다 위상 소실 (Pauli $Z$ 오류) 이 우세한 강한 이방성 노이즈를 보입니다. 이러한 편향은 더 높은 결함 허용 임계값을 위해 오류 정정 코드를 맞춤화할 수 있는 기회를 제공하지만, 무한한 편향 하에서 최적의 50% 임계값을 달성하는 대부분의 알려진 결과는 저차원 위상 코드 (예: 표면 코드, 컬러 코드) 로 제한되어 왔습니다. 중요한 미해결 과제는 이 근접 용량 성능이 본질적으로 위상적인 현상인지, 아니면 점근적 오버헤드를 줄이기 위한 강력한 후보인 양자 저밀도 패리티 검사 (qLDPC) 코드에 더 광범위하게 설계될 수 있는지 여부입니다. 구체적으로, 저자들은 파울리 축을 회전시키는 국소 단일 큐비트 유니터리 변환인 클리포드 변형이 영률 (zero-rate) qLDPC 코드를 편향된 노이즈 하에서 50% 임계값에 도달하도록 이끌 수 있는지 조사합니다.

방법론
저자들은 분석적 증명, 수치 시뮬레이션, 하드웨어 인식 모델링을 결합하여 연구합니다:

1. 이론적 프레임워크: 그들은 영률 클리포드 변형 안정자 코드에 대한 50% 무한 편향 임계값의 일반적인 충분 조건을 유도합니다. 여기에는 순수-$Z$ 논리 연산자의 스케일링을 분석하는 작업이 포함됩니다. 그들은 '논리 연산자의 기저 (Basis of Logical Operators, BLO)' 개념을 도입하고, 비자명한 순수-$Z$ 논리 연산자의 수가 가중치에 대해 지수적으로 증가하지 않는다면 (구체적으로, $|L_Z| \le \exp(o(n^\alpha))$ 이면서 가중치가 $n^\alpha$ 로 스케일링되는 경우), 논리 실패 확률이 지수적으로 감소하여 50% 임계값을 산출함을 증명합니다. 그들은 또한 겹치지 않는 BLO 와 할당된 겹침 부하를 가진 겹치는 BLO 를 고려하여 이를 정교화합니다.
2. 코드 군: 이 연구는 유계 가중치 안정자와 고정된 논리 차원 ($k=8$, 개방 경계 조건) 을 가진 평면적 기하학적 국소 qLDPC 코드 군인 '타일 코드 (tile codes)'에 초점을 맞춥니다.
3. 변형 전략: 그들은 두 가지 유형의 클리포드 변형을 조사합니다:
   • 무작위 변형: 특정 확률 ($\Pi_{XZ}, \Pi_{YZ}$) 로 큐비트에 무작위 단일 큐비트 클리포드 유니터리 ($H$, $HSH$, $I$) 를 적용합니다.
   • 병진 불변 (TI) 변형: 격자 대칭성을 보존하기 위해 클리포드 게이트의 구조화된 패턴 (예: 수직 결합에 대한 하다마드 게이트 또는 특정 유니터리 패턴) 을 적용합니다.
4. 디코딩 및 시뮬레이션:
   • 코드 용량: 무한 및 유한 편향 하에서 순서 통계 디코딩이 포함된 벨리프 전파 (BP-OSD) 디코더를 사용하여 수치적 임계값을 추정합니다.
   • 회로 수준: 그들은 시뮬레이터 (Stim) 를 사용하여 증후군 추출 회로를 구성하고, 회로 거리를 보존하기 위해 게이트 순서를 최적화합니다. 게이트, 측정, 유휴 오류를 포함한 회로 수준 노이즈를 시뮬레이션합니다.
5. 하드웨어 매핑: 이상화된 모델과 물리적 현실 사이의 간극을 메우기 위해 그들은 세 가지 플랫폼 (포획 이온, 초전도 큐비트, 중성 원자) 에서의 증후군 추출에 대한 미시적 구현을 모델링합니다. 네이티브 게이트 세트 (예: CX 대 CZ) 와 컴파일 전략이 편향을 어떻게 저하시키는지 고려하여 이러한 회로를 통해 파울리 오류를 전파하여 유효 현상론적 매개변수 (유효 오류율 $p_{eff}$ 및 유효 편향 $\eta_{eff}$) 를 추출합니다.

주요 기여

• 일반 임계값 조건: 이 논문은 클리포드 변형 코드의 50% 임계값을 설명하는 통합된 이론적 프레임워크를 확립합니다. 임계값은 순수-$Z$ 논리 연산자의 구조, 구체적으로 시스템 크기에 대한 가중치 대비 그 수가 지수적으로 증가하지 않아야 함을 요구하는 조건에 의해 지배됨을 증명합니다. 이는 위상 코드에 대해 알려진 이전 결과를 더 넓은 범주의 영률 qLDPC 코드로 일반화합니다.
• 타일 코드 분석: 저자들은 특정 클리포드 변형을 가한 타일 코드가 이러한 이론적 조건을 만족함을 보여줍니다. 그들은 무작위 변형에 대한 위상도를 식별했는데, 여기서 $X \leftrightarrow Z$ 및 $Y \leftrightarrow Z$ 치환의 특정 확률로 경계된 넓은 영역이 50% 임계값을 보입니다.
• 선형 변형에 대한 분석적 증명: 특정 병진 불변 선형 변형 (수직 결합에 대한 하다마드) 에 대해, 저자는 가중치 감소 기법을 사용하여 50% 임계값에 대한 분석적 증명을 제공하며, 디코딩 문제를 일련의 반복 코드로 축소합니다.
• 회로 수준 성능: 그들은 클리포드 변형 타일 코드가 회로 수준 노이즈 하에서도 변형되지 않은 코드보다 상당한 성능 우위를 유지함을 보여줍니다. 그들은 완전한 증후군 추출 사이클 후의 '잔여 편향'을 정량화하여 미시적 하드웨어 구현을 현상론적 모델과 연결합니다.
• 하드웨어 인식 컴파일: 이 연구는 서로 다른 큐비트 플랫폼과 컴파일 전략 (네이티브 CX 대 네이티브 CZ) 이 유효 편향과 논리 오류율에 어떻게 영향을 미치는지에 대한 구체적인 증거를 제공하며, 편향 보존이 네이티브 얽힘 게이트 선택에 매우 민감함을 강조합니다.

결과

• 무한 편향: 무한 편향 한계에서 무작위 및 병진 불변 클리포드 변형 타일 코드 모두 50% 임계값을 달성합니다. 임계값은 BLO 크기가 일정하거나 느리게 증가하는 (기울기 $s \approx 0$) 한 다양한 변형 매개변수 범위에서 견고합니다.
• 유한 편향: 유한 편향 하에서 클리포드 변형 변형체 (특히 $(0.25, 0.5)$ 매개변수를 가진 TI 변형) 는 변형되지 않은 CSS 타일 코드보다 훨씬 우수한 성능을 보입니다. TI 변형은 논리 오류를 가장 강력하게 억제하고 가장 유리한 임계값 하 스케일링을 보입니다.
• 회로 수준 임계값: 편향 재규격화 (증후군 추출 중 유효 편향의 감소) 로 인해 회로 수준 임계값은 코드 용량 임계값보다 낮지만, 변형된 코드의 상대적 우위는 지속됩니다. 예를 들어, $\eta = 10,000$에서 선형 변형은 약 1.5% 의 임계값을 달성하는 반면, 변형되지 않은 CSS 코드는 약 0.63% 입니다.
• 하드웨어 영향: CX 가 네이티브 게이트인 플랫폼 (예: 포획 이온, 초전도) 은 CZ 네이티브 플랫폼 (예: 중성 원자, 특정 상호작용을 가진 포획 이온) 에 비해 유효 편향 $\eta_{eff}$가 현저히 감소합니다. XY 변형은 컴파일 전략에 특히 민감하여 CZ 또는 CX 게이트 사용 여부에 따라 큰 성능 변동을 보입니다.

의의
이 논문은 클리포드 변형이 위상 코드의 한계를 넘어 편향된 노이즈에 대한 qLDPC 코드를 최적화하기 위한 체계적이고 일반적인 경로를 제공한다고 주장합니다. 높은 임계값을 논리 연산자의 구조적 속성 (구체적으로 순수-$Z$ 논리 연산자의 스케일링) 과 연결함으로써, 이 연구는 현실적인 이방성 하드웨어에 맞춤화된 결함 허용 코드 구축을 위한 설계 원리를 제시합니다. 결과는 적절한 클리포드 변형을 통해 영률 qLDPC 코드가 편향된 노이즈에 대한 근본적인 정보 이론적 한계에 접근할 수 있음을 시사하며, 결함 허용 양자 계산의 오버헤드를 줄이기 위한 유망한 길을 제공합니다. 이 연구는 또한 실제 구현에서 편향 보존을 극대화하기 위해 코드 변형을 하드웨어 특정 게이트 세트와 공동 설계하는 것의 중요성을 강조합니다.