유한체 위 서브시스템 코드 구성

본 논문은 양자 정보 보호를 위한 서브시스템 코드의 다양한 구성 방법을 체계적으로 제시한다. 서브시스템 코드는 물리적 상태 공간의 부분공간을 텐서곱 형태 A⊗B로 분해하여, 정보는 A에만 인코딩되고 B는 ‘게이지’ 역할을 하여 오류가 발생해도 무시할 수 있는 특성을 가진다. 이러한 구조는 기존의 안정자(stabilizer) 코드와 비교해 더 큰 설계 자유도를 제공한다. 첫 번째 섹션에서는 서브시스템 코드의 기본 정의와 오류 모델을 소개한다. 오류는 X(a)Z(b) 형태의 일반화된 Pauli 연산으로 표현되며, 가중치는 심볼릭 가중치(swt)로 정의된다. 서브시스템 코드는 정상 부분군 N⊂G(오류군)으로부터 유도되며, N을 고전적인 가법 코드 X=N/(N∩Z(G))와 연결한다. 이때, C⊆F_2^{2n}를 가법 코드라 하면, D=C∩C^{⊥_s}를 정의하고 |C|,|D|를 통해 양자 서브시스템의 차원 K,R와 최소거리 d를 구한다(정리 1). 두 번째 섹션에서는 Euclidean 및 Hermitian 내적을 이용한 기본 구성법을 제시한다. Lemma 2는 F_q‑선형 코드 C와 그 자기 직교 부분 D=C∩C^{⊥}가 존재할 때, 차원 k',k''를 이용해