[论文解读] Ergodic Theory Over ${\F}_2[[T]]$

Dongdai Lin, Tao Shi+1 more|arXiv (Cornell University)|Mar 15, 2011

advanced mathematical theories参考文献 14被引用 15

一句话总结

本文为域 $\mathbb{F}_2[[T]]$ 上的 1-Lipschitz 函数建立了遍历理论，通过 Carlitz 多项式引入了测度保持性和遍历性的显式判别准则。关键贡献是利用 Carlitz 基中的系数条件对遍历函数进行表征，从而实现 $\mathbb{F}_2[[T]]/T^{n+1}$ 上传递变换的算法构造，该方法在密码学与伪随机序列生成中具有应用价值。

ABSTRACT

In cryptography and coding theory, it is important to study the pseudo-random sequences and the ergodic transformations. We already have the 1-Lipshitz ergodic theory over ${\Z}_2$ established by V. Anashin and others. In this paper we present an ergodic theory over ${\F}_2[[T]]$ and some ideas which might be very useful in applications.

研究动机与目标

• 为 $\mathbb{F}_2[[T]]$ 上的 1-Lipschitz 函数发展一个全面的遍历理论，类比于在 $\mathbb{Z}_2$ 上已建立的理论。
• 利用 Carlitz 多项式基，为定义在 $\mathbb{F}_2[[T]]$ 上的函数提供测度保持性和遍历性的显式必要与充分条件。
• 实现对有限商环 $\mathbb{F}_2[[T]]/T^{n+1}$ 上传递变换的算法构造，该方法在流密码设计中有用。
• 将 $p$-进遍历理论的见解推广至正特征函数域，特别是 $\mathbb{F}_2[[T]]$。

提出的方法

• 本文使用 Carlitz 多项式基 $G_i(x)$ 作为 $p$-进分析中二项式系数基的类比，使 $\mathbb{F}_2[[T]]$ 上的连续函数得以展开。
• 提出一种适用于 $\mathbb{F}_2[[T]]$ 的 Van der Put 基的改进版本，通过系数条件实现对遍历函数的表征。
• 通过二进制数据 $a(k,j)$ 定义函数在 $2^{n+1}$ 个点上的作用，推导出模 $T^{n+1}$ 的传递函数的递归构造方法。
• 关键技术在于逐步分析函数模 $T^k$ 的行为，通过系数约束确保每一级的传递性。
• 遍历性证明依赖于表明函数在 $\mathbb{F}_2[[T]]/T^{n+1}$ 上的作用生成一个单循环，利用从低层到高层的递归提升过程。
• 本文建立一个判据：对于 $f(x) = \sum_{i=0}^\infty a_i G_i(x)$，当 $n \geq 2$ 时，若满足 $|a_n|_T < |T|_T^{\lfloor \log_2 n \rfloor}$，则函数为遍历的。

实验结果

研究问题

• RQ1 在 $\mathbb{F}_2[[T]]$ 上，1-Lipschitz 函数的遍历性所需且足够的条件是什么？
• RQ2 能否通过类比 Mahler 或 Van der Put 基的基，显式构造 $\mathbb{F}_2[[T]]$ 上的遍历函数？
• RQ3 能否从有限参数集出发，算法化地生成 $\mathbb{F}_2[[T]]/T^{n+1}$ 上的传递变换？
• RQ4 与 $\mathbb{Z}_2$ 上已建立的理论相比，$\mathbb{F}_2[[T]]$ 上的遍历理论在结构和适用性方面有何异同？
• RQ5 Carlitz 多项式基在表征正特征情形下的测度保持函数与遍历函数中起什么作用？

主要发现

• 本文通过条件 $|a_n|_T < |T|_T^{\lfloor \log_2 n \rfloor}$（$n \geq 2$）对 $\mathbb{F}_2[[T]]$ 上的遍历 1-Lipschitz 函数给出了完整表征，其中 $a_n$ 为 Carlitz 多项式展开中的系数。
• 证明了 $\mathbb{F}_2[[T]]$ 上不存在多项式形式的遍历 1-Lipschitz 函数，如反例 $f(x) = 1 + (1+T)x + \sum_{n=2}^\infty T^n G_{2^n - 1}(x)$ 所示。
• 构建了一个递归算法，利用二进制参数 $a(k,j)$ 在 $\mathbb{F}_2[[T]]/T^{n+1}$ 上生成传递函数，确保对所有 $k \leq n+1$，模 $T^k$ 下保持传递性。
• 该构造方法通过从低层次商环提升传递作用，生成了 $\mathbb{F}_2[[T]]$ 上所有遍历 1-Lipschitz 函数。
• 该理论可借助遍历变换生成长周期伪随机序列，在流密码与编码理论中有应用。
• 结果将 Anashin 的 $p$-进遍历理论推广至正特征情形，为函数域提供了平行的理论框架。