[논문 리뷰] Two-sided Robustly Testable Codes

Gleb Kalachev, Pavel Panteleev|arXiv (Cornell University)|2022. 06. 20.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 두 개의 무작위 선형 부호의 텐서곱이 높은 확률로 강력하게 검증 가능하다는 것을 증명하며, 이는 이중성에 대한 강력한 이중 측면 검증 가능성의 강력한 형태를 확립한다. 이 부호들은 동시에 부호 자체와 그 쌍대 부호에 대해 강력하게 검증 가능하며, 선형 거리와 함께 渐近적으로 양호한 양자 LDPC 부호의 구축을 단순화하고 강화할 수 있다.

ABSTRACT

We show that the tensor product of two random linear codes is robustly testable with high probability. This implies that one can obtain pairs of linear codes such that their product and the product of their dual codes are simultaneously robustly testable. Such two-sided robustly testable codes (with a much weaker form of robustness) were the key ingredient in the recent constructions of asymptotically good quantum LDPC codes, which ensured their linear minimum distance. We hope that the existence of such codes with a stronger form of robustness, shown here, can be used to simplify the proofs and provide better distance bounds in these constructions. We also give new very simple examples of non-robustly testable codes. We show that if the parity-checks of two codes are mutually orthogonal, then their product is not robustly testable. In particular, this implies that the product of a code with its dual can never be robustly testable. We also study a property of a collection of linear codes called product-expansion, which can be viewed as a coboundary expansion of the cochain complex naturally associated with the product of these codes. We show that this property is related with the robust testability and the agreement testability of the products of codes.

연구 동기 및 목표

• 무작위 선형 부호를 사용하여, 부호 자체와 그 쌍대 부호가 모두 강력하게 검증 가능한 양식의 이중 측면 강력 검증 가능 부호의 존재를 확립한다.
• 최근의 양자 LDPC 부호 구축에서 이전에 약한 형태의 강력성에 의존했던 강력성 조건을 강화한다.
• 특히 상호 수직인 부호 검사 행렬을 가질 경우 코드의 곱이 강력하게 검증 가능하지 않은 조건을 명확히 한다.
• 일원적 프레임워크로서의 제품 확장 성질(product-expansion property)을 도입하고, 강력한 검증 가능성, 일치 테스트 가능성, 부호 기하학 간의 관계를 통합적으로 분석한다.
• 다차원 부호 복합체에서 강력성 매개변수 ρ의 渐近적 한계를 탐색하며, 특히 양자 부호 설계의 맥락에서 고려한다.

제안 방법

• n → ∞ 일 때, 임의의 고정된 비율 R₁, R₂ ∈ (0,1)을 가진 𝔽_q 위의 두 무작위 선형 부호의 텐서곱이 높은 확률로 ρ-강력하게 검증 가능하다는 것을 증명한다.
• ρ(𝓒₁,𝓒₂)가 확장 인자(Expansion factor)를 측정하는 다차원 부호 복합체로 최소 거리의 일반화인 제품 확장 성질(product-expansion) 개념을 도입한다.
• 제품 확장 성질과 일치 테스트 가능성 간의 동치성을 확립하며, ρ-제품 확장 성질이 ρ-일치 테스트 가능성으로 이어진다는 것을 보여준다.
• 확률적 방법과 농도 불등식을 사용하여, 랜덤 부호가 높은 제품 확장 성질을 높은 확률로 달성한다는 것을 보인다.
• 두 부호의 부호 검사 행렬이 상호 수직일 경우, 그 곱은 강력하게 검증 가능하지 않음을 보여준다. 이는 부호와 그 쌍대 부호의 경우를 포함한다.
• 강력성 매개변수에 대해 Singleton 유형의 부등식 ρ ≤ ε₁ε₂ + 1/n 를 제시하고, 역 엔트로피 함수 H⁻¹_q 를 사용한 渐近적 부등식과 비교한다.

실험 결과

연구 질문

• RQ1 임의의 고정된 비율 R₁, R₂ ∈ (0,1)에 대해, 두 무작위 선형 부호의 텐서곱이 n → ∞ 일 때 높은 확률로 강력하게 검증 가능할 수 있는가?
• RQ2 부호의 곱과 그 쌍대 부호의 곱이 모두 강력하게 검증 가능한 선형 부호의 쌍을 구성할 수 있는가?
• RQ3 특히 부호 검사 행렬 간의 수직성과 관련하여, 어떤 구조적 조건이 코드 곱의 강력한 검증 가능성을 방해하는가?
• RQ4 제품 확장 성질은 다차원 부호 복합체에서 강력한 검증 가능성과 일치 테스트 가능성과 어떻게 관련되어 있는가?
• RQ5 비율 R₁ = 1−ε, R₂ = 1−(1−ε)인 부호 쌍에 대해 강력성 매개변수 ρ의 渐近적 상한은 무엇이며, 이는 정보 이론적 한계와 어떻게 비교되는가?

주요 결과

• 비율 R₁, R₂ ∈ (0,1)을 가진 두 무작위 선형 부호의 텐서곱은 n → ∞ 일 때, R₁과 R₂에 따라 달라지는 어떤 ρ > 0 에 대해 높은 확률로 ρ-강력하게 검증 가능하다.
• 비율 R₁ = 1−ε, R₂ = 1−(1−ε)인 부호 쌍에 대해, ε → 0 일 때 강력성 매개변수는 ρ = Θ(H⁻¹_q(ε)) 를 만족하며, 상한과 상수 요소의 오차 내에서 일치한다.
• 두 부호의 부호 검사 행렬이 상호 수직일 경우, 그 곱은 강력하게 검증 가능하지 않다—이는 부호와 그 쌍대 부호의 경우를 포함한다.
• 제품 확장 성질은 다차원 부호 복합체로의 최소 거리 개념의 일반화이며, 일치 테스트 가능성과 동치이다.
• 강력성 매개변수에 대해 Singleton 유형의 부등식 ρ ≤ ε₁ε₂ + 1/n 이 성립하며, 이 부등식은 渐近적 영역에서 하위 항을 제외하면 날카롭게 tight하다.
• 강력한 강력성 조건을 갖는 이중 측면 강력 검증 가능 부호의 존재는 양자 LDPC 부호 구축에서 잠재적인 단순화와 개선된 거리 상한을 가능하게 한다.