[论文解读] 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'。

实验结果

研究问题

• 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}$，包括非可观察码，而其他定义则仅限制在开子集上。