Optimal two-mode bosonic loss codes from finite group symmetry

기술 요약: 유한 군 대칭으로부터의 최적 이중 모드 보존 손실 코드

문제 정의
광자 손실은 초전도 공동(cavity)과 같은 보존 양자 하드웨어에서 지배적인 노이즈 메커니즘입니다. 듀얼 레일 인코딩($|0\rangle|1\rangle, |1\rangle|0\rangle$)은 총 광자 수 측정을 통해 광자 손실을 감지할 수 있게 해주지만, 이를 교정할 수는 없습니다. 두 개의 보존 모드 내에서 고정된 총 광자 수 부분 공간($H_n$)에 논리적 정보를 인코딩하는 것은 손실 감지와 교정 모두를 가능하게 할 잠재력을 가집니다. 그러나 임의의 광자 수($n$)와 손실 거리($d$)에 대해 이러한 부분 공간 내에서 최적의 인코딩을 식별하는 것은 여전히 까다로운 최적화 문제입니다. 기존의 접근 방식들은 이러한 코드들을 스핀 코드나 치환 불변 코드(permutation-invariant codes)로 매핑하는 데 의존했으나, 이러한 매핑은 어떤 특정 코드가 손실에 대해 최적인지 본질적으로 식별하지 못했습니다.

방법론
저자들은 수치적 최적화, 표현론, 그리고 선형 계획법 인증을 결합한 3단계 파이프라인을 사용합니다:

1. 수치적 발견: 저자들은 $4 \le n \le 25$ 범위의 고정된 총 광자 수 부분 공간 $H_n$에 인코딩된 논리 큐비트에 대해 무제한 얽힘 충실도(entanglement fidelity) 최적화를 수행합니다. 이들은 최적의 인코더 및 디코더 맵을 찾기 위해 바이-컨벡스(bi-convex) 최적화 프레임워크를 활용합니다. 결정적으로, 저자들은 복구 문제를 생존하는 각 광자 수 섹터에 대한 독립적인 준정부적 계획법(SDP)으로 분해하여 탐색 속도를 크게 가속화했습니다.
2. 대칭 식별 및 해석적 구성: 최적의 코드가 유한 군 불변 투영 연산자(finite-group invariant projectors)와 밀접하게 일치함을 관찰한 후, 저자들은 임의의 유한 군 불변 코드에 대한 필요충분조건인 Knill–Laflamme (KL) 조건을 도출합니다.
   • 그들은 최대 $k$개의 광자 손실을 교정하는 것과 최대 $k$계(rank)의 기약 스핀 텐서를 감지하는 것 사이의 직접적인 등가성을 확립합니다.
   • 표현론을 사용하여, KL 조건을 다중도 공간(multiplicity spaces)에 대한 제약 조건으로 축소합니다.
   • 저자들은 "시드(seed)" 연산자 집합(올림 연산자 $J_+$의 회전된 거듭제곱들)이 전체 군 궤적(group orbit)에 대한 오류 교정을 강제하기에 충분하다는 것을 증명하며, 이를 통해 구성을 시드들에 대한 방정식을 푸는 문제로 축소합니다.
3. 인증: 최적성을 검증하기 위해, 저자들은 $SU(2)$ 스핀 코드에 적응된 MacWilliams 선형 계획법(LP) 경계(bounds)를 사용합니다. 저자들은 특정 파라미터에 대해 더 높은 거리를 가진 코드의 부존재를 증명하기 위해 정확한 Farkas 인증(certificates)을 생성하여, 달성 가능한 손실 거리에 대한 엄격한 상한을 설정합니다.

주요 기여

• 유한 군 대칭의 출현: 본 연구는 손실 교정 코드를 위한 무제한 최적화가 자연스럽게 유한 군 대칭(구체적으로 $SU(2)$의 부분군)을 갖는 코드로 수렴한다는 것을 보여줍니다. $4 \le n \le 25$ 범위에서, 발견된 22개의 최적 코드는 모두 이 차원 기약 표현 또는 유한 군의 가약 표현에 해당합니다.
• 일반적 구성 프레임워크: 저자들은 유한 군 대칭으로부터 정확한 코드를 구성하는 체계적인 방법을 제공합니다. 이 프레임워크는 복잡한 연산자 공간의 KL 조건을 다중도 공간에 대한 방정식으로 축환하며, 임의의 텐서 계수(tensor rank)에 대해 에러 공간을 생성하는 데 필요한 최소 시드 연산자의 수를 식별합니다.
• 이진-다면체 수열(Binary-Polyhedral Sequence): 수치적 발견에 착안하여, 저자들은 이진 다면체 군(짝수 거리는 $2O$, 홀수 거리는 $2T$)에 기반한 무한한 코드 패밀리를 구성합니다. 저자들은 거리 $d$를 달성하는 광자 수 수열 $n_d = \lceil(3d^2 + 1)/4\rceil$을 제안합니다.
• 새로운 기록 경신 코드: 저자들은 $(n, d) = (28, 6), (49, 8), (76, 10)$에 대한 코드를 명시적으로 구성합니다. 저자들의 지식 범위 내에서, 이 코드들은 각각의 거리에 대해 보고된 가장 작은 광자 수를 사용하며, 이는 이전 기록(예: $d=6$에 대해 $n$을 36에서 28로 감소)을 개선한 것입니다.

결과

• 스캔된 섹터에서의 최적성: 스캔된 22개의 광자 수 중 21개($4 \le n \le 25$)에 대해, 구성된 코드들은 MacWilliams LP 경계에 의해 허용되는 최대 손실 거리를 달성합니다. 유일한 예외는 $n=18$로, LP는 거리 5를 허용하지만 발견된 최적의 구성은 거리 4를 달성합니다.
• 단조성: 저자들은 LP 실행 가능성 경계가 총 광자 수 $n$에 대해 단조적임을 증명합니다. 즉, $n$에 대해 거리 $d$의 코드가 실행 가능하다면, $n+1$에 대해서도 실행 가능합니다.
• 해석적 vs 수치적: 해석적 구성은 수치적 코드를 높은 충실도로 재현합니다. 일부 경우(예: $n=15$), 해석적 구성은 초기 무작위 시작 수치 탐색이 근사하기만 했던 코드 구조(이진 사면체 군 $2T$)를 식별해 냈으며, 이는 대칭 기반 접근 방식의 예측력을 입증합니다.
• 제약 조건 균형: 제안된 이진-다면체 패밀리의 경우, 저자들은 대칭 축소된 KL 제약 조건의 수가 계수 1인 투영 연산자의 다중도 공간에서 사용 가능한 자유도와 정확히 일치함을 보여주며, 이는 이 무한 패밀리의 존재에 대한 구조적 증거를 제공합니다.

의의
본 논문은 유한 군 대칭이 단순히 보존 코드를 구성하기 위한 안사츠(ansatz)가 아니라, 최적의 손실 교정의 창발적 특성임을 확립합니다. 이러한 연결은 수치적 발견과 해석적 구성을 잇는 가교 역할을 하며, 수치적으로 발견된 코드를 정확하고 증명 가능한 솔루션으로 변모시킵니다. 이 연구는 듀얼 레일 인코딩의 손실 감지 이점을 유지하면서 교정을 가능하게 하는 하드웨어 효율적인 보존 코드의 체계적인 설계 원칙을 제공합니다. 저자들은 자신들의 구성과 제약 조건 계산이 모든 거리 $d$에 대해 최소 가능한 광자 수 $n_d$에서 달성되는 무한한 코드 패밀리에 대한 추측을 뒷받침하는 강력한 증거를 제공한다고 주장합니다. 이 패밀리의 존재 여부는 제약 조건 계산과 $d=10$까지의 수치적 구성을 통해 지지되지만, 모든 $d$에 대해 이 패밀리의 존재를 엄격하게 증명하는 것은 여전히 미해결 과제로 남아 있습니다. 또한, 특정 파라미터(예: $n=18$)에서 LP 경계와 구성된 코드 사이의 간극은 LP 완화(relaxation)가 타이트하지 않을 수 있음을 시사하며, 이는 더 나은 코드나 새로운 이론적 경계가 존재할 가능성을 남깁니다.