선형계획법으로 본 유니터리 공간시간 코드의 새로운 경계

본 논문은 무선 통신 시스템, 특히 다중 안테나(MIMO) 환경에서 비동조 레일리 채널에 적용되는 유니터리 공간시간 코드의 성능 한계를 선형계획법을 통해 새롭게 규명한다. 서론에서는 MIMO 시스템에서 코딩이 필요하게 된 배경과, 유니터리 군 Uₙ(ℂ) 위에서 정의되는 다양성 합 Σ_V와 다양성 곱 Π_V 라는 두 핵심 성능 지표를 소개한다. Σ_V는 코드워드 간 최소 유클리드 거리의 절반에 해당하고, Π_V는 최소 행렬식 차이의 절반에 해당한다. 기존 연구들은 구형 체적, 코시터 상한 등 기하학적 방법을 이용해 이러한 지표에 대한 상한을 제시했지만, 정확도와 일반성에서 한계가 있었다. 본 연구는 Delsarte가 제시한 선형계획법을 일반 동질공간 G × X→X에 적용하는 프레임워크를 재정리한다. 핵심 아이디어는 G‑불변 영역 함수 P가 양의 정의성을 만족하면, P를 비음성 계수의 선형 결합으로 표현하고, 특정 집합 S에 대해 P가 비양수이면 코드 크기 |V|에 대한 상한을 얻을 수 있다는 정리(정리 2.1)를 이용하는 것이다. 영역 함수는 G의 불변 서브스페이스 V_i의 정규직교 기저 u_j(x) 로부터 ˜P_{V_i}(x,y)= (1/d_i)∑ u_j(x) u_j(y) 로 정의되며, 이는 τ(x,y) 로만 의존하는 함수 P_{V_i}(τ(x,y)) 로 표현된다. 이러한 함수들의 비음성 선형 결합이 선형계획 문제의 목적함수가 된다. 유니터리 코드에 특화하기 위해 G를 Uₙ(ℂ)×Uₙ(ℂ), X를 Uₙ(ℂ) 로 잡는다. 두 행렬 x, y의 궤도는 xy⁻¹의 고유값 e^{iθ₁},…,e^{iθₙ} 로 완전히 구분된다. Peter‑Weyl 정리를 적용하면 L²(X) 를 V_χ⊗V_χ 형태의 불변 부분공간으로 분해할 수 있고, 각 부분에 대응하는 영역 함수는 χ(xy⁻¹) 로 주어진다. 여기서 χ는 Uₙ(ℂ)의 불변 문자이며, 이는 슈어 다항식 S_λ(e^{iθ₁},…,e^{iθₙ}) 로 표현된다. 따라서 영역 함수는 P_{λ,s}(e^{iθ₁},…,e^{iθₙ}) = (∏ e^{iθ_j})^s S_λ(e^{iθ₁},…,e^{iθₙ}) 로 나타난다. 다음으로 다양성 합·곱을 고유각의 코사인 값 y_j = cosθ_j 로 변환한다. d_Σ² = (1/2n)∑(1−y_j), d_Π² = (1/2n)∑(1−y_j)·(1/n) 로 정의하고, Σ_V = min_{x≠y} d_Σ(x,y), Π_V = min_{x≠y} d_Π(x,y) 로 설정한다. 이때 S_Σ(δ)와 S_Π(δ) 집합을 각각 d_Σ≥δ, d_Π≥δ 인 고유각 조합으로 정의한다. 선형계획법에 필요한 영역 함수는 y_j 에 대한 대칭 다항식 형태로 전개되며, 기본 대칭 다항식 m