[論文レビュー] Connections between Linear Systems and Convolutional Codes

Joachim Rosenthal|ArXiv.org|May 30, 2000

Cellular Automata and Applications参考文献 39被引用数 6

ひとこと要約

本稿は、行動的システム理論とポントリャーギン双対性の観点から、複数の定義を分析することで、線形システム理論と畳み込み符号を統一的な枠組みで結びつける。可制御性と可観測性を持つ畳み込み符号が、異なる形式論において同等であることが示され、有限、双無限、または半無限のサポート制約に起因する代数的差異が浮き彫りにされる。主な結果として、ポントリャーギン双対性の下で可制御性と可観測性の双対性が明らかになる。

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.

研究の動機と目的

• システム理論、符号理論、記号的力学系の文脈において、畳み込み符号の複数の不一致な定義に関する文献における混乱を解消すること。
• サポートタイプ（有限、双無限、半無限）および完全性に基づく畳み込み符号の定義の代数的・構造的差異を明確にすること。
• 可制御性と可観測性を持つ符号が、異なる形式論において同等であることを確立し、畳み込み符号の理論的基盤を統一すること。
• ポントリャーギン双対性が有限サポートと双無限サポートのシステムをどのように関連付けるかを示し、可制御性と可観測性の間の双対性を明らかにすること。
• 代数幾何学とザリスキ位相を支援として、非可観測符号を含むモジュール論的アプローチを提唱すること。

提案手法

• ポントリャーギン双対性を用いて、有限サポートと双無限サポートのシステムの行動を関連付け、可制御システムの双対が可観測であり、逆もまた然りであることを示す。
• 行動的システム理論を適用し、畳み込み符号を $\mathbb{F}^{n}[[z,z^{-1}]]$ の線形時不変部分空間として定義し、サポートおよび完全性に応じて異なる定義を導入する。
• 多項式環およびローレンツ多項式環 $\mathbb{F}[z]$、$\mathbb{F}[z,z^{-1}]$、および $\mathbb{F}((z))$ を用いたモジュール論的表現を用いて、エンコーダー構造をモデル化する。
• 一次形式表現（例：状態空間モデル）を分析することで、異なる定義の間の関係を明らかにし、可制御性および可観測性の下で同等であることを示す。
• 代数幾何学的手法を用い、畳み込み符号を射影的代数多様体 $X^\delta_{k,n}$ の点として解釈する。非可観測符号は、可観測符号のザリスキ閉包に位置する。
• 定義 A, A', B, D, D' を、射影空間におけるパラメータ化と、原始的条件（coprimality）の結果を分析することで比較する。

実験結果

リサーチクエスチョン

• RQ1 有限サポート、双無限サポート、または有理関数エンコーダーに基づく畳み込み符号の異なる定義は、代数的および構造的にどのように関係しているか？
• RQ2 ポントリャーギン双対性は、有限サポートと双無限サポートのシステムをどのように関連付けるか？また、可制御性と可観測性の双対性をどのように明らかにするか？
• RQ3 非可制御性と非可観測性がなぜ特定のサポート条件（非可制御性は双無限サポート、非可観測性は有限サポート）でのみ発生するのか？
• RQ4 可制御性および可観測性に制限を加えた場合、畳み込み符号のさまざまな定義はどの程度同等と見なせるか？
• RQ5 代数幾何学、特に多様体 $X^\delta_{k,n}$ を用いることで、非可観測符号を含む畳み込み符号をパラメータ化・分類することはどの程度可能か？

主な発見

• 有限サポートおよび半無限サポートのシステムは常に可制御であるが、非可制御性は双無限サポートの軌道を持つシステムでのみ発生する。
• 双無限サポートおよび半無限サポートのシステムは常に可観測であるが、非可観測性は有限サポートの軌道を持つシステムでのみ発生する。
• ポントリャーギン双対性の下で、可制御システムの双対は可観測であり、逆もまた然りである。これにより、深い構造的対称性が確立される。
• 可制御性および可観測性を持つ畳み込み符号は、すべての定義（A, A', B, D, D'）において同等であり、これらの条件下では同じ符号空間を生成する。
• レート $\frac{k}{n}$ で次数が $\delta$ 以下のすべての畳み込み符号の集合は、射影的多様体 $X^\delta_{k,n}$ のザリスキ開部分集合を形成し、非可観測符号はその閉包に位置する。
• 定義 D'（非原始的生成子を許容）は、非可観測符号を含む、多様体 $X^\delta_{k,n}$ 全体をパラメータ化するが、他の定義は開部分集合に制限される。