[논문 리뷰] CSS-T Codes from Reed Muller Codes

Emma Andrade, Jessalyn Bolkema외 5명|arXiv (Cornell University)|2023. 05. 10.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 Reed-Muller 코드에서 CSS-T 코드를 구성하여 최대 1/2까지 비영인 점 游 수렴 비율을 달성하고, 일정한 오버헤드를 갖는 마법 상태 정련을 가능하게 한다. Reed-Muller 코드의 잘라내기(puncturing)와 잘라내기( shortening)를 활용하여, 최소 거리가 발산하고 임의의 c ∈ ℕ에 대해 점 수렴 비율 Φ(−2c)를 갖는 CSS-T 코드의 가족을 도출한다. 이는 양자 고장내성에서 점 수렴 성능에 관한 열린 문제를 해결한다.

ABSTRACT

CSS-T codes are a class of stabilizer codes introduced by Rengaswamy \emph{et al} with desired properties for quantum fault-tolerance. In this work, we comprehensively study non-degenerate CSS-T codes built from Reed-Muller codes. These classical codes allow for constructing CSS-T code families with nonvanishing asymptotic rates up to $\frac{1}2$ and possibly diverging minimum distance when non-degenerate.

연구 동기 및 목표

• 일정한 오버헤드 마법 상태 정련을 위한 비영인 점 수렴 비율과 상대 거리를 갖는 CSS-T 코드를 구성하는 열린 문제를 해결한다.
• Reed-Muller 코드에서 유도된 비영인 점 수렴 비율을 달성하는 CSS-T 코드의 가족을 특성화한다.
• Reed-Muller 코드가 상대 거리가 영으로 수렴함에도 불구하고 최소 거리가 발산하는 CSS-T 코드를 유도할 수 있는 조건을 확립한다.
• Reed-Muller 코드의 잘라내기와 잘라내기 연산을 사용하여 최적의 CSS-T 코드 가족을 체계적으로 구성하는 방법을 제공한다.
• 이러한 가족의 점 수렴 비율이 매개변수 c를 통해 조절 가능하며, 임의의 c ∈ ℕ에 대해 Φ(−2c)를 달성함을 보여준다.

제안 방법

• CSS 구성에서의 고전적 코드 C₁과 C₂로 Reed-Muller 코드 RM(r₁, m)과 RM(r₂, m)를 사용하며, r₁ = ⌊(m−1)/2⌋ − t(m) 및 r₂ = 2t(m)+1 (또는 홀수 m일 경우 2t(m))로 설정한다.
• Reed-Muller 코드에 잘라내기와 잘라내기 연산을 적용하여 CSS-T 코드 조건을 만족시킨다: C₂는 짝수여야 하며, 각 x ∈ C₂에 대해 C₁⊥에 있는 자기 쌍대 코드가 x 위에 지지되어야 한다.
• 결과로 유도된 CSS 코드 가족이 이중과 코드워드의 지지 집합에 대한 대수적 조건을 통해 CSS-T 코드 정의를 만족함을 증명한다.
• 점 수렴 비율을 분석하기 위해 가우스 누적 분포 함수 Φ를 사용하며, t(m) = ⌊c√m⌋일 때 비율은 Φ(−2c)가 된다.
• 최소 거리 하한을 d ≥ 2^{r₂(m)+1}으로 확립하며, 이는 r₂(m)의 증가로 인해 m이 증가함에 따라 발산한다.
• CSS 코드의 차원 공식을 사용: k = dim(C₁) − dim(C₂)이며, 점 수렴 비율을 lim_{m→∞} (dim(C₁) − dim(C₂))/2^m 로 계산한다.

실험 결과

연구 질문

• RQ1 Reed-Muller 코드에서 유도된 CSS-T 코드의 가족은 비영인 점 수렴 비율과 발산하는 최소 거리를 갖는가?
• RQ2 Reed-Muller 코드의 매개변수에 어떤 조건이 요구되어야 결과로 유도된 CSS 코드가 CSS-T 코드 정의를 만족하는가?
• RQ3 t(m) = ⌊c√m⌋로 매개변수를 스케일링할 경우, Reed-Muller 코드에서 유도된 CSS-T 코드의 점 수렴 비율은 무엇인가?
• RQ4 상대 거리가 영으로 수렴함에도 불구하고 최소 거리가 발산하는 가족을 얻을 수 있는가?
• RQ5 t(m)의 선택은 결과로 유도된 CSS-T 코드의 점 수렴 비율과 최소 거리 사이의 트레이드오프에 어떤 영향을 미치는가?

주요 결과

• t(m) = ⌊c√m⌋일 때, Reed-Muller 코드에서 유도된 CSS-T 코드 가족은 임의의 c ∈ ℕ에 대해 비영인 점 수렴 비율 Φ(−2c)를 달성한다.
• 유도된 CSS-T 코드의 최소 거리는 d ≥ 2^{r₂(m)+1}를 만족하며, r₂(m)의 증가로 인해 m이 증가함에 따라 발산한다.
• t(m) = 0일 경우, 이 구성은 점 수렴 비율 Φ(0) = 1/2를 갖는 CSS-T 코드 가족을 유도하며, 이는 이론적으로 가능한 최대 비율에 도달한다.
• 선형 스케일링 t(m) = ⌊am⌋ (0 < a < 1/8)일 경우 점 수렴 비율은 영으로 수렴하지만, 최소 거리는 여전히 발산한다.
• 이 구성은 기존의 예시들, 특히 [11]에서 제안된 가족을 일반화하고 포함하는 통합된 매개변수화된 프레임워크를 제공한다.
• 이 가족의 점 상대 거리는 수렴하지만 최소 거리는 발산하며, 이는 [2]에 따라 일정한 오버헤드 마법 상태 정련 조건을 만족한다.