Check-weight-constrained quantum codes: Bounds and examples

제목: 체크 가중치 제약이 있는 양자 코드: 경계 및 예시

문제 정의
양자 저밀도 패리티 검사(qLDPC) 코드는 낮은 가중치의 체크를 측정하는 것만으로 구현 가능하므로, 현재의 노이즈가 있는 양자 하드웨어와 호환되어 노이즈에 강한 양자 컴퓨터를 개발하는 데 핵심적인 역할을 합니다. 체크의 가중치(weight)에 대한 제약이 달성 가능한 코드 파라미터(물리적 큐비트 수 $n$, 논리적 큐비트 수 $k$, 거리 $d$)를 어떻게 제한하는가는 근본적인 미해결 과제입니다. 점근적으로 우수한 qLDPC 코드가 존재하기는 하지만, 이들의 구성은 종종 파라미터를 희생하는 가중치 감소 기법에 의존합니다. 또한, 기존의 경계들은 기하학적 국소성(geometric locality)이나 특정 그래프 연결성을 가정하는 경우가 많습니다. 본 연구는 기하학적 국소성을 가정하지 않고 엄격한 체크 가중치 제약 조건 하에서 스테빌라이저(stabilizer) 및 서브시스템(subsystem) 코드의 이론적 한계를 조사하며, 점근적 이론과 유한 크기 실용 영역(수십에서 수백 개의 큐비트) 사이의 간극을 메웁니다.

방법론
저자들은 점근적 영역을 위한 분석적 증명과 유한 크기 코드를 위한 수치적 최적화를 결합한 이중 접근 방식을 채택합니다:

1. 분석적 경계 (Analytical Bounds): 저자들은 제한된 체크 가중치($w$)를 가진 스테빌라이저 및 서브시스템 코드에 대한 점근적 상한 경계를 도출합니다.

   • 스테빌라이저 코드의 경우, 저자들은 "최소 코드(minimal code)" 논증을 사용합니다. 제안된 경계를 초과하는 코드가 존재한다고 가정하고, 그 코드의 스테빌라이저 생성자(체크)의 구조를 분석합니다. 체크들이 어떻게 중첩되는지(일치하거나 불일치하는지)를 조사하고 로컬 클리포드 회전(local Clifford rotations)을 적용함으로써, 일반적인 스테빌라이저 코드를 CSS 코드로 축소하거나 얽히지 않은 서브시스템을 식물하여 코드의 거리 또는 차원에 대한 모순을 이끌어냅니다.
   • 가중치 4인 CSS 코드의 경우, 각 큐비트가 정확히 두 개의 X 및 두 개의 Z 체크에 포함되는 코드는 일반화된 표면 코드(매니폴드 상의 호몰로지 코드)에 대응함을 보여줍니다. 저자들은 이러한 표면 코드에 대한 기존 경계를 활용하여 파라미터 제약을 도출합니다.
   • 가중치 2인 서브시스템 코드의 경우, 코드 파라미터와 연관된 이진 행렬 $A$의 성질 사이의 대응 관계를 확립합니다. 코드의 거리와 차원은 이 행렬의 행 및 열 거리와 계수(rank)에 의해 특징지어집니다.

2. 수치적 경계 (선형 계획법, Linear Programming): 유한 크기 코드를 위해, 저자들은 주어진 $n, d, w$에 대해 가능한 최대 논리적 차원 $k$를 찾기 위한 선형 계획법(LP) 문제를 정식화합니다.

   • 저자들은 가중치 분포(특정 가중치를 가진 스테빌라이저 및 논리 연산자의 수)를 변수로 사용합니다.
   • 제약 조건에는 맥윌리엄 항등식(MacWilliams identities, 코드를 그 쌍대 코드와 연결), 거리의 정의(가중치 $d$ 미만의 비자명한 논리 연산자가 없음), 그리고 체크 가중치 한계로부터 구체적으로 도출된 새로운 제약 조건(체크들의 곱에 의해 생성되는 저가중치 스테빌라이저의 수를 제한)이 포함됩니다.
   • 저자들은 $n$이 300에 도달할 때까지의 상한을 계산하기 위해 Gurobi를 사용하여 이러한 LP를 구현합니다.

주요 기여 및 결과

• 가중치 3인 스테빌라이저 코드: 저자들은 체크 가중치가 최대 3인 모든 스테빌라이저 코드는 비자명한 거리가 2보다 클 수 없음을 증명합니다. 구체적으로, 거리가 $d > 2$라면 코드는 반드시 차원 $k=0$ (논리 큐비트를 인코딩하지 않음)을 가져야 합니다. 이는 큐비트 차수(degree)와 무관하게 성립합니다.
• 가중치 4인 CSS 스테빌라이저 코드: 각 큐비트가 정확히 두 개의 X 및 두 개의 Z 체크에 참여하는 CSS 코드의 경우, 저자들은 $kd^2 = O(n)$의 트레이드오프를 증명합니다. 이는 이러한 코드들이 본질적으로 일반화된 표면 코드임을 의미합니다.
• 가 가중치 2인 서브시스템 코드: 체크 가중치가 2인 CSS 서브시스템 코드에 대해, 저자들은 $d \le \sqrt{n}$ 및 $kd \le n$이라는 타이트한 경계를 증명합니다. 이러한 경계들은 기존의 구성들(예: Ref. [Bra11])에 의해 (상수 배 차이 내에서) 포화되며, 이는 가중치-2 체크가 점근적으로 우수한 서브시스템 코드를 지원할 수 없음을 나타냅니다.
• 유한 크기 지형 (Finite-Size Landscape): LP 기법을 사용하여, 저자들은 체크 가중치가 20에 이르는 $n \le 300$인 코드들에 대한 $k$의 수치적 상한을 제공합니다. 이들은 더 높은 체크 가중치가 더 나은 파라미터를 허용한다는 것을 확인했습니다.
• 명시적 구성 (Explicit Constructions): 본 논문은 수치적 한계에 근접하는 명시적인 코드 구성(양자 태너 코드 포함)을 식별합니다. 이러한 유한 사례들에 대한 패리티 검사 행렬이 함께 제공됩니다.

의의
본 논문은 기하학적 국소성이나 특정 그래프 연결성에 의존하지 않고도, 체크 가중치 제약 그 자체만으로 양자 코드 파라미터에 심각한 제한을 가한다는 것을 입증합니다.

• 가중치-3 체크를 가진 스테빌라이저 코드에서 비자명한 거리가 존재할 가능성을 배제합니다.
• 가중치-4 CSS 스테빌라이저 코드와 가중치-2 서브시스템 코드에 대한 트레이드오프를 명확히 하여, 이 영역에서 달성 가능한 최선의 파라미터가 표면 코드와 유사한 스케일링($kd^2 \sim n$ 또는 $kd \sim n$)으로 제한됨을 보여줍니다.
• 십 또는 수백 개의 큐비트에 해당하는 근접 미래 실험(near-term experiments)과 관련된 유한 크기 영역에서 실제적인 qLDPC 코드를 평가하기 위한 엄격한 프레임워크를 제공하며, 체크 가중치에 대한 하드웨어 제약 조건이 주어졌을 때 성능의 이론적 천장을 규정합니다.
• 본 결과는 기하학적 국소성에 대한 가정을 사용하지 않음으로써 이전 연구들과 차별화되며, 트랩 이온(trapped ions)이나 중성 원자(neutral atoms)와 같은 비국소적 상호작용 플랫폼에 의해 가능해지는 일반적인 qLDPC 코드에도 적용될 수 있습니다.