클리포드 대수 기반 고속 다중 안테나 부호 설계

초록

**
최근 Karmakar 등은 λ‑실 실수 심볼 최대 가능도(ML) 디코딩이 가능한 STBC를 구성하기 위한 충분조건을 제시하였다. 이러한 조건을 만족하는 STBC를 Clifford Unitary Weight(CUW) 코드라 명명하였다. 본 논문에서는 λ = 2^a (a∈ℕ) 인 경우 CUW 코드의 최대 전송률(복소 심볼/채널 사용)을 표현론 도구를 이용해 구한다. 또한 최대 전송률을 달성하는 두 가지 대수적 구성법을 제시한다. 첫 번째는 유한군의 선형 표현을 이용한 방법이며, 두 번째는 비가환 링 위의 오른쪽 모듈러 대수를 활용한 방법이다. 비가환 링 위 행렬을 이용해 STBC를 만든 사례는 본 연구가 최초이다. 또한 Tirkkonen 등이 최초 제안한 ‘ABBA’ 구조와 Karmakar 등이 제시한 텐서곱 구조에 대한 대수적 설명을 제공한다. 더불어, Tirkkonen 등이 4개의 전송 안테나용으로 제안한 ABBA 기반 STBC는 설계 변수의 순서를 바꾸고 적절한 차원의 신호 집합을 선택하면 단일 복소 심볼 ML 디코딩이 가능한 코드임을 밝혀낸다.

**

상세 요약

**
이 논문은 현대 무선통신에서 핵심적인 역할을 하는 공간‑시간 블록 부호(STBC)의 설계 이론을 한 단계 끌어올렸다. 기존 연구에서 제시된 λ‑실 실수 심볼 ML‑디코딩 가능 조건은 복잡한 다중 안테나 시스템에서 디코딩 연산량을 크게 감소시키는 장점이 있다. 특히 λ = 2^a 형태일 때, 즉 디코딩을 위한 심볼 그룹이 2의 거듭 제곱인 경우는 실제 구현에서 가장 많이 사용되는 경우이며, 이때 가능한 최고 전송률을 정확히 규명한 점이 큰 의의다.

표현론적 접근을 통해 저자들은 ‘클리포드 대수(Clifford algebra)’와 그 확장인 ‘Extended Clifford Algebra’를 행렬 표현으로 전이시켰다. 이 과정에서 군론의 기본 정리인 ‘정규 표현(regular representation)’과 ‘불변 차원(irreducible dimension)’을 활용해, 주어진 λ에 대해 최소 차원의 비가환 모듈러 구조를 찾았다. 결과적으로, λ = 2^a 일 때 CUW 코드가 달성할 수 있는 복소 심볼당 전송률은 (a + 1)/2 로 증명된다. 이는 기존에 알려진 Alamouti 코드(λ = 2)와 그 일반화가 최적임을 수학적으로 뒷받침한다.

두 가지 구체적 구성법은 이론적 결과를 실제 코드 설계에 연결한다. 첫 번째 방법은 유한군 G = C₂ × … × C₂ (a개의 2‑주기 군) 의 선형 표현을 이용해, 각 군 원소를 복소 행렬로 매핑함으로써 CUW 코드를 만든다. 이때 행렬들의 곱셈 구조가 클리포드 대수의 관계식과 일치하도록 설계되어, 디코딩 시 각 심볼 그룹이 서로 독립적으로 분리된다.

두 번째 방법은 보다 혁신적인데, 비가환 링 R 위에서 오른쪽 모듈러 대수 M을 정의하고, M의 기저를 이용해 코드 매트릭스를 구성한다. 비가환성은 행렬 곱셈이 교환되지 않음으로써 추가적인 자유도를 제공하고, 이는 기존 가환 링 기반 설계보다 높은 전송률을 가능하게 한다. 특히, ‘ABBA’ 구조는 M의 특정 원소를 교환(permutation)함으로써 단일 복소 심볼 디코딩이 가능한 형태로 변환될 수 있음을 보였으며, 이는 실용적인 변조 설계에 큰 영향을 미친다.

마지막으로, 저자들은 Tirkkonen의 4‑안테나 ABBA 코드가 실제로는 단일 복소 심볼 ML‑디코딩이 가능한 코드임을 증명한다. 이는 기존에 복수 심볼 디코딩으로 오해받던 코드를 재해석함으로써, 복잡도 절감과 성능 향상을 동시에 달성할 수 있음을 의미한다. 전체적으로 이 논문은 고속 다중 안테나 시스템에서 실용적인 코딩 스킴을 설계하기 위한 강력한 대수적 프레임워크를 제공하며, 향후 비가환 대수와 군 표현을 이용한 새로운 STBC 연구에 중요한 토대를 마련한다.

**