[论文解读] Multiplicative function instead of logarithm (an elementary approach)

É. Yu. Lerner|ArXiv.org|Oct 10, 2007

Mathematical and Theoretical Analysis参考文献 3被引用 4

一句话总结

本文確立了在有限域上，乘法函數的值序列在平移不變線性算子作用下達到最大或近乎最大複雜度的必要與充分條件，推廣了阿諾德提出的對數序列具有高度複雜度的假設。利用初等代數技術，證明當算子可被差分算子 Δ 整除時，此類序列達到最大複雜度，並在有限域上的多項式與乘法函數動態方面獲得關鍵結果。

ABSTRACT

V.I. Arnold has recently defined the complexity of finite sequences of zeroes and ones in terms of periods and preperiods of attractors of a dynamic system of the operator of finite differentiation. Arnold has set up a hypothesis that the sequence of the values of the logarithm is most complicated or almost most complicated. In this paper we obtain the necessary and sufficient conditions which make this sequence (supplemented with zero) most complicated for a more wide class of operators. We prove that a sequence of values of a multiplicative function in a finite field is most complicated or almost most complicated for any operator divisible by the differentiation operator.

研究动机与目标

• 解決 V.I. 阿諾德的假設：在有限域中，對數序列在有限差分算子 Δ 作用下最為複雜。
• 將複雜度的概念從對數序列推廣至包含乘法函數的更廣泛範疇。
• 識別出乘法函數產生最大或近乎最大複雜度序列的必要與充分條件。
• 將阿諾德針對算子 Δ 的複雜度結果推廣至更廣泛的平移不變線性算子類別。
• 以初等代數方法證明乘法函數複雜度的最大性，避免使用高階工具。

提出的方法

• 定義在 F_q^n 上的平移不變線性算子 A，使其與循環移位 δ 交換，以確保在循環置換下的不變性。
• 以有限差分算子 Δ = δ - I 為核心對象，並考慮可被 Δ 整除的算子 A，以推廣結果。
• 分析由 f(i) = 乘法函數值生成的序列，專注於算子 A 軌道中預週期與週期長度的動態行為。
• 應用模 y^n - 1 的多項式模運算，研究生成函數 F(y) = ∑f(i)y^i 的代數結構。
• 使用算子 ⋅_k 分析乘以與 n 互質的 k 時的對稱性，證明 H(y) = F(y)F^−(y) 中係數分佈的不變性。
• 利用乘法函數性質與模 y^n - 1 的群論結構，證明 ∑h(i) = 0 且 h(1) = h(2) = ... = h(n-1)。

实验结果

研究问题

• RQ1 在何種條件下，有限域中由乘法函數生成的序列在平移不變算子作用下達到最大複雜度？
• RQ2 阿諾德假設：對數序列在 Δ 作用下最為複雜，是否對更廣泛的算子類別成立？
• RQ3 能否透過模 y^n - 1 的生成多項式，代數化地表征乘法函數的複雜度？
• RQ4 算子 Δ 在決定序列最大預週期與週期長度的過程中扮演何種角色？
• RQ5 當模 ∑y^i 的代數中可逆性失敗時，為何有 GCD(F(y), ∑y^i) = 1？這與複雜度最大化的關係為何？

主要发现

• 當且僅當算子 A 可被 Δ 整除且 n 與域的特徵 p 互質時，有限域 F_q 上的乘法函數 f: F_q → F_q 會生成最大複雜度（最複雜）的序列。
• 當 r = n+1 為奇質數時，序列 f(i) = 萊亨德爾符號 (i/r) mod r（二次剩餘指示函數）在 Δ 作用下最為複雜，驗證了阿諾德的假設。
• 當 q=2 且 n 為奇數時，Δ: F_2^n → F_2^n 的圖形分解為循環 O_m 與樹 T_2，其組分數目隨 n 迅速增長，例如 n=31 時達 34636834 個組分。
• H(y) = F(y)F^−(y) 模 (y^n - 1) 的係數序列 h(i) 滿足 h(1) = h(2) = ... = h(n-1)，且 h(0) - h(1) ≠ 0，證明模 ∑y^i 下的可逆性。
• GCD 條件 ∑_{i=1}^{n-1}f(i)y^i 與 ∑_{i=0}^{n-1}y^i 為 1，此條件等價於序列最為複雜，且當且僅當 f 為非平凡乘法函數且 f(-1) ≠ 0 時成立。
• 若 A 不可被 Δ 整除，則結果不成立；例如 A = I + δ + ... + δ^{n-1} 對非平凡乘法函數產生較短週期，從而否定了最大複雜度的主張。