비대칭 양자 LDPC 코드 설계와 성능

본 논문은 양자 오류 정정 분야에서 물리적 오류 모델이 비대칭성을 띠는 경우, 즉 비트‑플립(X) 오류와 위상‑플립(Z) 오류의 발생 확률이 크게 다를 때 이를 활용한 양자 코드를 설계하는 방법을 제시한다. 서론에서는 대부분의 양자 하드웨어가 이완 시간 T₁과 탈동조 시간 T₂ 사이에 1~2 차수의 차이를 보이며, T₁이 T₂보다 길수록 비트 오류는 상대적으로 드물고 위상 오류가 주류를 이룬다는 점을 강조한다. 이러한 물리적 비대칭성을 정량화하기 위해 저자들은 진폭 감쇠와 위상 감쇠가 동시에 작용하는 복합 채널을 모델링하고, Pauli‑twirl 기법을 적용해 등가적인 Pauli 채널 E_T 로 변환한다. 이 과정에서 pₓ = p_y = (1−e^{−t/T₁})/4, p_z = ½−pₓ−½e^{−t/T₂} 로 도출하고, 비율 A = p_z/pₓ = 1+2(1−e^{−t/T₁})(1−T₁/T₂)e^{−t/T₁}−1 로 표현한다. t≪T₁ 일 때 A≈2T₁/T₂−1 로 근사되어, T₁/T₂가 클수록 위상 오류가 압도적으로 우세함을 확인한다. 이러한 비대칭성을 활용하기 위해 CSS(코흐-슈미트-스틸러) 구조를 채택한다. CSS 코드는 두 개의 클래식 선형 코드 Cₓ와 C_z 를 사용해 각각 X‑오류와 Z‑오류를 정정한다. 저자들은 C_z 를 더 큰 최소 거리 d_z 를 갖도록 설계하고, Cₓ는 상대적으로 작은 거리 dₓ 를 갖게 함으로써 비대칭 오류 정정 능력을 맞춘다. 이를 위해 두 가지 주요 구성 방식을 제시한다. 첫 번째는 유한 기하학(Euclidean Geometry, EG) LDPC 코드를 이용한 전형적인 비대칭 코드 설계이다. EG 코드는 m 차원 벡터 공간 F_{p^s}^m 위에 정의되며, μ‑플랫(μ‑차원 평면)과 그 포함 관계를 이용해 인시던스 행렬 H^{(1)}_{EG}(m,μ,0,s,p) 를 만든다. 이 행렬의 널스페이스가 LDPC 코드 C^{(1)}_{EG}(m,μ,0,s,p) 가 된다. 코드의 거리 하한은 A_{EG}(m,μ,μ−1,s,p)+1 로 주어지며, 이는 μ‑플랫이 μ−1‑플랫에 포함되는 경우의 수를 통해 계산된다. 저자들은 μ_z < μₓ 로 두어 Z‑채널에 더 강한 코드(C_z)와 X‑채널에 약한 코드(Cₓ)를 구성한다. Lemma 2 (CSS Construction)를 적용하면,