[논문 리뷰] Connections between Linear Systems and Convolutional Codes

Joachim Rosenthal|ArXiv.org|2000. 05. 30.

Cellular Automata and Applications참고 문헌 39인용 수 6

한 줄 요약

이 논문은 행동계 이론과 폰트리아진 쌍대성의 관점에서 여러 정의된 컨volution럴 코드를 분석함으로써 선형 시스템 이론과 컨volution럴 코드를 통합적인 프레임워크로 연결한다. 가시성과 가역성의 조건 하에서, 다양한 형식론에서 가시성과 가역성이 동치임을 보이며, 유한, 이중무한, 반무한 지지 집합 조건에 기인한 대수적 차이를 부각한다. 주요 결과로는 폰트리아진 쌍대성 하에서 가역성과 가시성 간의 이중성이 드러난다.

ABSTRACT

The article reviews different definitions for a convolutional code which can be found in the literature. The algebraic differences between the definitions are worked out in detail. It is shown that bi-infinite support systems are dual to finite-support systems under Pontryagin duality. In this duality the dual of a controllable system is observable and vice versa. Uncontrollability can occur only if there are bi-infinite support trajectories in the behavior, so finite and half-infinite-support systems must be controllable. Unobservability can occur only if there are finite support trajectories in the behavior, so bi-infinite and half-infinite-support systems must be observable. It is shown that the different definitions for convolutional codes are equivalent if one restricts attention to controllable and observable codes.

연구 동기 및 목표

• 시스템 이론, 코딩 이론, 기호 역학 분야에서 컨volution럴 코드의 여러 부정확한 정의들에 기인한 문헌 내 혼동을 해결하기 위해.
• 지지 유형(유한, 이중무한, 반무한)과 완전성에 기반한 컨volution럴 코드 정의 간의 대수적 및 구조적 차이를 명확히 하기 위해.
• 다양한 형식론에서 가역성과 가시성이 동치임을 입증함으로써 컨volution럴 코드의 이론적 기반을 통합하기 위해.
• 폰트리아진 쌍대성이 유한지지 및 이중무한지지 시스템을 어떻게 연결하는지 보여주며, 가역성과 가시성 간의 이중성을 드러내기 위해.
• 대수기하학과 자르스키 위상수학을 바탕으로 비가시성 코드를 포함하는 모듈 이론적 접근을 주장하기 위해.

제안 방법

• 폰트리아진 쌍대성을 사용하여 유한지지 및 이중무한지지 시스템의 행동을 연결함으로써, 가역성 시스템의 쌍대는 가시성이며 반대로도 성립함을 보임.
• 행동계 이론을 적용하여 컨volution럴 코드를 $\mathbb{F}^{n}[[z,z^{-1}]]$의 선형 시간불변 부분공간으로 정의하며, 지지 유형과 완전성에 따라 다양한 정의를 제공함.
• 다항식 및 로렌츠 다항식 환 $\mathbb{F}[z]$, $\mathbb{F}[z,z^{-1}]$, $\mathbb{F}((z))$를 사용한 모듈 이론적 표현을 통해 인코더 구조를 모델링함.
• 1차 표현(예: 상태공간 모델)을 분석하여 다양한 정의 간의 연결을 도모하고, 가역성과 가시성 조건 하에서의 동치성을 입증함.
• 대수기하학을 적용하여 컨volution럴 코드를 프로젝티브 다양체 $X^\delta_{k,n}$의 점으로 해석함. 비가시성 코드는 가시성 코드의 자르스키 닫힘에 포함됨.
• 정의 A, A', B, D, D'를 비교하기 위해 프로젝티브 공간에서의 매개변수화와 최대공약수 조건을 분석함.

실험 결과

연구 질문

• RQ1 유한지지, 이중무한지지, 또는 유리 함수 인코더에 기반한 컨volution럴 코드의 다양한 정의들이 대수적 및 구조적으로 어떻게 관련되어 있는가?
• RQ2 폰트리아진 쌍대성이 유한지지 및 이중무한지지 시스템을 어떻게 연결하는가? 이는 가역성과 가시성 간의 이중성을 어떻게 드러내는가?
• RQ3 비가역성과 비가시성이 왜 특정 지지 조건에서만 발생하는가(비가역성은 이중무한지지에서, 비가시성은 유한지지에서만)?
• RQ4 다양한 컨volution럴 코드 정의들이 가역성과 가시성 조건에서 얼마나 동치인가? 특히 이러한 조건 하에서의 동치성은 어느 정도 성립하는가?
• RQ5 대수기하학, 특히 다양체 $X^\delta_{k,n}$를 어떻게 활용하여 컨volution럴 코드를 매개변수화하고 분류할 수 있는가? 비가시성 코드 포함 가능성을 포함하여.

주요 결과

• 유한지지 및 반무한지지 시스템은 항상 가역성 조건을 만족하며, 비가역성은 오직 이중무한지지 궤적을 가진 시스템에서만 발생할 수 있다.
• 이중무한지지 및 반무한지지 시스템은 항상 가시성 조건을 만족하며, 비가시성은 오직 유한지지 궤적을 가진 시스템에서만 발생할 수 있다.
• 폰트리아진 쌍대성 하에서, 가역성 시스템의 쌍대는 가시성이며 반대로도 성립함으로써 깊이 있는 구조적 대칭성을 확립함.
• 모든 정의(A, A', B, D, D')에서 가역성과 가시성 조건 하에서 컨volution럴 코드는 동치이며, 동일한 코드 공간을 생성함.
• 비율 $\frac{k}{n}$ 이하이고 차수 $\delta$ 이하인 모든 컨volution럴 코드의 집합은 프로젝티브 다양체 $X^\delta_{k,n}$의 자르스키 열린 부분집합을 이룸. 비가시성 코드는 이 집합의 닫힘에 포함됨.
• 정의 D'(비서로스의 생성자를 允허)는 비가시성 코드를 포함하여 전체 다양체 $X^\delta_{k,n}$를 매개변수화하지만, 다른 정의들은 열린 부분집합으로 제한됨.