Quantum memory based on concatenating surface codes and quantum Hamming codes

본 논문은 표면 부호를 양자 해밍 부호와 연결하는 하이브리드 양자 메모리 아키텍처를 제안하며, 이 접근 방식이 표면 부호 단독 사용에 비해 높은 오류 임계값과 우수한 논리적 오류 억제를 달성함을 보여줌으로써 근미래의 소규모 및 미래의 대규모 결함 허용 양자 계산을 위한 유망한 경로를 제시한다.

핵심

거대한 유리로 만든 매우 섬세한 성을 짓고 있다고 상상해 보세요. 목표는 그 성을 영원히 세워두는 것이지만, 성 주변 공기에는 끊임없이 조각을 떨어뜨리려 하는 보이지 않는 작은 먼지 덩어리들 (오류) 이 가득 차 있습니다. 양자 컴퓨터 세계에서는 이러한"유리 조각"이 정보의 비트이고, 계산들을 망치는"먼지 덩어리"는 잡음입니다.

성을 구하기 위해서는 보안 시스템이 필요합니다. 이 논문은**서페이스 - 해밍 코드 (Surface-Hamming codes)**라는 새로운 2 층 구조 보안 시스템을 소개합니다. 작동 원리는 다음과 같이 간단히 설명됩니다:

두 가지 방어 층

이 문제를 서로 다른 장점을 가지고 있지만 각각 다른 약점을 가진 두 종류의 보안 요원들이 있다고 생각해 보세요.

1. 서페이스 코드 (이웃 감시단):
   모든 집에 울타리가 있는 동네를 상상해 보세요. 돌이 집으로 던져지면 이웃들이 즉시 그것을 발견하고 고칩니다. 이 시스템은 문제를 빠르게 감지하는 데 탁월하며 잡음에 대한 내성이 높습니다 (동네 전체가 무너지기 전에 많은 돌을 견딜 수 있습니다). 그러나 많은 수의 집을 보호하려면 거대한 울타리 벽을 건설해야 하므로 막대한 공간과 자원이 소모됩니다.

2. 양자 해밍 코드 (효율적인 관리자):
   이제 소수의 사람들을 단단한 팀으로 조직할 수 있는 매우 효율적인 관리자를 상상해 보세요. 이 관리자는 매우 영리하고 공간을 거의 사용하지 않습니다. 그러나 잡음이 너무 커지면 (너무 많은 돌이 던져지면) 이 관리자는 압도당하고 팀 전체가 무너집니다.

논문의 핵심 아이디어:
저자들은 이 두 가지를 결합하기로 결정했습니다. 튼튼하고 잡음을 잘 처리하는서페이스 코드를"기초" (아래 층) 로 삼고, 그 위에 정보를 효율적으로 조직하는양자 해밍 코드를 쌓았습니다.

이 새로운 하이브리드 시스템을서페이스 - 해밍 코드라고 부릅니다.

하이브리드 시스템의 작동 방식

두 명의 주자가 달리는 릴레이 경주처럼 생각해 보세요:

• 주자 1 (서페이스 코드): 먼저 잡음이 섞인 데이터가 서페이스 코드를 맞습니다. 이 주자는 강하며 가장 크고 명백한 오류들을 잡습니다. 혼란을 정리한 후 다음 주자에게"계봉" (수정된 정보) 을 넘깁니다.
• 주자 2 (해밍 코드): 해밍 코드는 더 깨끗해진 정보를 받아 조직화합니다. 서페이스 코드가 중량을 감당했기 때문에 해밍 코드는 그렇게 열심히 일할 필요가 없습니다. 이제 매우 효율적으로 일하고 공간을 거의 사용하지 않는 데 집중할 수 있습니다.

그들이 발견한 것

연구자들은 이 팀이 얼마나 잘 수행하는지 보기 위해 수천 번의 컴퓨터 시뮬레이션 (비디오 게임에서 릴레이 경주를 반복해서 뛰는 것과 유사) 을 실행했습니다.

1. 높은 내성: 서페이스 코드를 기반으로 사용함으로써, 전체 시스템은 해밍 코드 단독으로 감당할 수 있는 것보다 훨씬 더 많은 잡음을 견딜 수 있습니다. 효율적인 관리자에게 호위병을 붙여준 것과 같습니다; 이제 그들은 훨씬 더 시끄러운 환경에서도 일할 수 있습니다.
2. 오류 방지 능력 향상: 이 하이브리드 시스템을 거대한 서페이스 코드 (이웃 감시단 단독) 만 사용하는 것과 비교했을 때 놀라운 사실을 발견했습니다. 중간 크기의 성 (중간 규모의"양자 메모리") 의 경우, 하이브리드 팀은 거의 동일한 양의 건축 자재 (자원) 를 사용했음에도 거대한 이웃 감시단보다오류가 더 적게발생했습니다.
3. "최적의 지점": 하이브리드 시스템은 무언가 중간 크기를 지을 때 가장 빛을 발합니다. 가장 작은 크기나 절대적인 최대 이론적 한계에는 반드시 최선이 아닐 수 있지만, 과학자들이 계획 중인"가까운 미래"실험에는 완벽합니다.

주의점 (하지만...)

논문은 몇 가지 중요한 세부 사항을 지적합니다:

• 상관 오류: 때로는 유리 조각 하나가 깨지면 연쇄 반응을 일으켜 이웃 조각들도 깨뜨립니다. 연구자들은 새로운 시스템이 이러한"연쇄 반응"을 매우 잘 처리한다는 것을 발견했는데, 이는 큰 장점입니다.
• "완벽한"가정: 그들의 시뮬레이션은 보안 요원들 (측정 도구) 이 스스로 실수를 하지 않는다고 가정했습니다. 현실 세계에서는 요원들이 피곤하거나 혼란스러울 수 있습니다. 논문은 요원들이 실수를 한다면 시스템이 시뮬레이션이 제안한 것처럼 완벽하지는 않을 수 있다고 인정하지만, 여전히 곧 실용적인 양자 컴퓨터를 구축하기 위한 매우 강력한 후보라고 말합니다.

요약

간단히 말해, 저자들은튼튼한 기초 위에 효율적인 지붕을 얹은 것과 같은 양자 메모리를 구축했습니다. 이 조합을 통해 그들은 가까운 미래에 구축하려는 컴퓨터의 크기에 특히 적합하게, 기초만 단독으로 사용할 때보다 더 적은 오류와 더 적은 낭비된 공간으로 양자 정보를 저장할 수 있게 되었습니다. 이는 우리의 fragile 한 양자 유리 성을 높이 세워두기 위한 유망한 새로운 방법입니다.

기술 요약

기술 요약: 표면 코드와 양자 해밍 코드를 연결한 양자 메모리

문제 제기
대규모 결함 허용 양자 계산을 달성하기 위해서는 높은 오류 임계값, 낮은 자원 오버헤드, 그리고 효율적인 디코딩 알고리즘을 균형 있게 갖춘 양자 오류 정정 코드 (QECC) 가 필요합니다. 표면 코드는 높은 임계값과 국소 게이트 요구 사항을 제공하지만, 상당한 자원 오버헤드와 복잡한 디코딩을 필요로 합니다. 반면, 양자 저밀도 패리티 검사 (LDPC) 코드는 일정한 공간 오버헤드를 약속하지만, 일반적으로 많은 물리적 플랫폼에서 구현이 어려운 비국소 게이트를 요구합니다. 연결된 양자 해밍 코드는 일정한 점근적 공간 오버헤드와 효율적인 디코딩을 제공하는 후보로 제안되었으나, 이전 분석들은 종종 각 연결 단계에서 독립적인 오류를 가정했습니다. 실제로는 하위 단계에서 오류를 정정하는 것이 상위 단계에서 상관된 오류를 유발할 수 있으므로, 임계값과 오버헤드를 정확하게 추정하기 위해 디코딩 과정의 완전한 시뮬레이션이 필요합니다.

방법론
저자들은 "표면 - 해밍 코드"라고 명명된 다중 큐비트 양자 메모리 아키텍처를 제안하고 수치적으로 시뮬레이션하였으며, 이는 최하위 단계의 표면 코드와 상위 단계의 양자 해밍 코드를 연결합니다.

• 아키텍처: 이 방식은 다단계 연결 구조를 활용합니다. 표준 연결 양자 해밍 코드에서 레벨 0 레지스터는 물리적 큐비트입니다. 제안된 표면 - 해밍 변형에서는 레벨 0 레지스터가 코드 거리 $d$를 가진 표면 코드 블록으로 대체됩니다. 상위 레벨 ($l \geq 1$) 은 양자 해밍 코드 $[[2^{l+3}-1, 2^{l+3}-2(l+3)-1, 3]]$을 사용합니다.
• 오류 모델: 시뮬레이션은 비트 플립 및 위상 플립 오류가 물리적 데이터 큐비트에서 확률 $p$로 독립적으로 발생한다고 가정합니다. 코드의 고유한 특성을 분리하기 위해 증후군 추출 및 측정 회로는 오류가 없다고 가정합니다.
• 디코딩 알고리즘: 재귀적 하향식 디코딩 전략이 사용됩니다.
  1. 레벨 0: 표면 코드 블록은 최소 가중치 완전 매칭 (MWPM) 알고리즘을 사용하여 디코딩됩니다.
  2. 상위 레벨: 표면 코드의 출력 (노이즈가 있는 논리 큐비트) 은 연결된 양자 해밍 코드의 입력으로 사용됩니다. 이들은 증후군 값을 계산하고 증후군 값 $N$에 기반하여 정정 연산자를 적용하는 재귀적 해밍 코드 디코더를 사용하여 디코딩됩니다.
• 상관된 오류 분석: 다음 단계의 논리 오류를 독립적인 입력으로 취급하는 이전의 반복적 접근법과 달리, 본 연구는 전체 디코딩 과정에 대한 완전한 몬테카를로 시뮬레이션을 수행합니다. 이를 통해 단일 정정 실패가 여러 논리 큐비트에 동시에 영향을 미칠 수 있는 상관된 논리 오류를 추적할 수 있습니다. 저자들은 오류 임계값의 존재에 필요한 조건인 이러한 오류의 "국소적 감쇠" 특성을 검증합니다.

주요 기여 및 결과

1. 연결된 해밍 코드의 오류 임계값 존재:
   상관된 오류를 고려한 포괄적인 수치 시뮬레이션을 통해 저자들은 연결된 양자 해밍 코드에 대한 오류 임계값의 존재를 확인했습니다. 레벨 3 까지 연결된 코드의 경우, 임계값은 약 $p_{th} \approx 1.5\%$로 추정됩니다. 이 결과는 한 단계의 논리 오류가 상관되어 있더라도 오류가 국소적으로 감쇠한다면 성립합니다.

2. 표면 - 해밍 연결을 통한 향상된 임계값:
   레벨 0 물리적 큐비트를 표면 코드로 대체함으로써 오류 임계값이 크게 증가합니다. 임계값은 기반이 되는 표면 코드의 크기 ($d$) 에 따라 스케일링됩니다:

   • $d=3$: 임계값 $\approx 1.3\%$
   • $d=5$: 임계값 $\approx 3.4\%$
   • $d=21$: 임계값 $> 6.5\%$
     저자들은 표면 코드의 크기가 커질수록 임계값이 표면 코드 자체의 임계값에 접근함을 관찰했습니다.

3. 중간 규모에서의 우수한 논리 오류 억제:
   동등한 자원 오버헤드 (물리적 큐비트 수) 를 가진 독립적인 표면 코드와 표면 - 해밍 코드를 비교할 때, 연결된 방식은 논리 오류 억제 측면에서 우수한 성능을 보입니다.

   • 물리적 오류율이 $p \approx 1\%$인 경우, 레벨 1 까지 연결된 $d=3$ 표면 코드를 사용하는 표면 - 해밍 코드는 $d=4$인 독립적인 표면 코드보다 약 10 배 낮은 논리 오류율을 달성합니다.
   • 레벨 2 까지 연결된 $d=3$ 표면 코드를 사용하는 표면 - 해밍 코드는 $d=7$인 독립적인 표면 코드보다 우수한 성능을 보이며, 논리 큐비트당 약 절반의 자원 오버헤드 (41 대 85 개 물리적 큐비트) 만 요구합니다.
   • 이 이점은 점근적 극한이 아닌 중간 규모 (예: 수십 개에서 수백 개의 논리 큐비트 인코딩) 에서 가장 두드러집니다.

4. 디코딩 시간 분석:
   본 연구는 CPU 와 GPU 모두에서 디코딩 시간을 추정했습니다. 해밍 디코더의 재귀적 특성으로 인해 병렬화 없이 CPU 에서 실행할 경우 지수적 시간 복잡도가 발생하지만, GPU 에서의 병렬 실행은 이를 크게 완화합니다. 저자들은 연결 레벨이 4 미만인 경우, 지수 항의 계수가 작기 때문에 이론적 스케일링 차이에도 불구하고 MWPM 을 통해 디코딩된 표면 코드에 비해 연결된 양자 해밍 코드가 CPU 하드웨어에서 계산적 이점을 보인다고 지적합니다.

의의 및 주장
본 논문은 표면 코드와 양자 해밍 코드를 연결하는 것이 가까운 장래에 소규모 결함 허용 양자 회로를 입증하기 위한 유망한 방안이라고 주장합니다. 이 아키텍처는 높은 오류 임계값, 낮은 자원 오버헤드, 그리고 효율적인 디코딩을 제공하여 결함 허용 양자 계산을 위한 경쟁력 있는 후보가 됩니다.

저자들은 명시적으로 본 연구가 완벽한 증후군 추출을 가정하 코드의 고유한 특성에 초점을 맞추고 있다고 밝힙니다. 그들은 양자 해밍 코드가 LDPC 코드가 아니며 깊은 증후군 추출 회로를 필요로 할 수 있어 임계값을 낮출 수 있는 측정 오류를 유발할 수 있음을 인정합니다. 그러나 이전 연구를 인용하여 이것이 장점을 무효화하지는 않을 수 있다고 제안합니다. 논문은 중간 규모 메모리의 경우 이점이 명확하지만, 증후군 추출 오류를 포함한 현실적인 오류 모델 하에서 이러한 이점이 유지되는지는 향후 연구 과제로 남아 있다고 결론지었습니다.