[论文解读] Several questions and hypotheses concerning the limit polynomials for Chacon transformation

A. A. Prikhod’ko, V. V. Ryzhikov|arXiv (Cornell University)|Jul 3, 2012

Mathematical Dynamics and Fractals参考文献 7被引用 4

一句话总结

本文研究了非奇异Chacon (3)变换的幂的弱算子闭包，重点关注极限多项式 $ P_m(\hat{T}) = \lim_{n\to\infty} \hat{T}^{-m h_n} $，其中 $ h_n = (3^n - 1)/2 $。结果表明，对于每个次数 $ d \geq 2 $，此类极限多项式集合中包含无限多个次数为 $ d $ 的不同多项式，并提出了关于整个弱闭包 $ \mathscr{L} $ 结构的开放性问题。

ABSTRACT

We study the weak closure $L$ of powers $T^k$ of the non-singular Chacon transformation $T$ with 2-cuts. This is still an open question does $L$ contain any Markov operator except an orthogonal projector to the constants $Θ$ and some polynomials $P(T)$? In this paper we calculate a particular set of limit polynomials $P_m(T) = \lim_{n o \infty} T^{-mh_n}$, where $m$ is a fixed integer number and $h_n = (3^n-1)/2$ are the sequence of heights of towers in a standard rank one representation of the Chacon map. We show that for any $d \ge 2$ the family of limit polynomials contains infinitely many distinct polynomials of degree $d$. We also formulate hyposeses and open questions concerning the sequence $P_m$ and the entire set $L$.

研究动机与目标

• 研究Chacon (3)变换的Koopman算子的弱算子闭包 $ \mathscr{L} = \mathrm{WCl}(\{\hat{T}^k\}) $ 的结构。
• 分析由秩一塔构造导出的极限多项式 $ P_m(\hat{T}) = \lim_{n\to\infty} \hat{T}^{-m h_n} $，其中 $ h_n = (3^n - 1)/2 $。
• 确定 $ \mathscr{L} $ 是否仅包含正交投影算子 $ \Theta $ 和有限多个多项式，或包含每个次数的无限多个多项式。
• 探讨这些极限多项式的谱性质与代数性质，特别是其对称性与不可约性。

提出的方法

• 通过符号替换系统构造Chacon (3)变换：$ 0 \mapsto 0010 $，$ 1 \mapsto 1 $，生成一个固定点词 $ w_\infty $。
• 在符号空间 $ X \subset \{0,1\}^\mathbb{Z} $ 上定义相应的保测度变换 $ T $，其不变测度 $ \mu $ 由词频定义。
• 在 $ L^2(X, \mu) $ 上使用Koopman算子 $ \hat{T} $，并通过序列 $ \hat{T}^{-m h_n} $ 研究其弱算子极限点。
• 利用塔的递推结构，对对应于三进制展开的指标 $ m $，显式计算极限多项式 $ \widetilde{P}_m(z) $。
• 分析这些多项式的对称性与次数，识别回文系数与不可约形式。
• 根据多项式系数的三进制数位模式（如 $ \mathtt{11112}_3 $，$ \mathtt{10101}_3 $）对多项式进行分类，以检测结构模式与因式分解规律。

实验结果

研究问题

• RQ1 弱闭包 $ \mathscr{L} $ 是否包含除常数投影算子 $ \Theta $ 和有限多个多项式之外的马尔可夫算子？
• RQ2 对于每个次数 $ d \geq 2 $，在 $ \mathscr{L} $ 中是否存在无限多个不同的次数为 $ d $ 的极限多项式 $ P_m(\hat{T}) $？
• RQ3 极限多项式 $ \widetilde{P}_m(z) $ 的代数结构是什么，特别是其不可约性与对称性？
• RQ4 指标 $ m $ 的三进制数位模式如何与 $ \widetilde{P}_m(z) $ 的次数及系数结构相关联？
• RQ5 是否能通过 $ \mathscr{L} $ 中的极限多项式进一步刻画Chacon (3)的谱测度 $ \sigma $ ？

主要发现

• 对于每个 $ d \geq 2 $，极限多项式集合 $ \{ P_m(\hat{T}) \} $ 包含无限多个次数为 $ d $ 的不同多项式，通过构造 $ m $ 具有三进制展开 $ \mathtt{111\dots12}_3 $ 的例子得以证明。
• 多项式 $ \widetilde{P}_{122}(z) = \frac{1}{486}(z^6 + 26z^5 + 120z^4 + 192z^3 + 120z^2 + 26z + 1) $ 是一个具有回文系数的六次极限多项式。
• 多项式 $ \widetilde{P}_{1094}(z) = \frac{1}{4374}(z^8 + 43z^7 + 343z^6 + 1050z^5 + 1500z^4 + 1050z^3 + 343z^2 + 43z + 1) $ 是一个八次极限多项式，来源于 $ m = \mathtt{1111112}_3 $。
• 若干极限多项式可非平凡地因式分解，如 $ \widetilde{P}_4(z) = \frac{1}{9}(2+z)(1+2z) $，表明尽管系数对称，仍存在可约性。
• 不可约的三次多项式如 $ \widetilde{P}_{91}(z) = \frac{1}{486}(56z^3 + 187z^2 + 187z + 56) $ 出现在 $ m = \mathtt{10101}_3 $ 时，暗示更深层的代数结构。
• 次数 $ d $ 在极限多项式序列中的首次出现发生在 $ m = \mathtt{111\dots12}_3 $，其中包含 $ d-1 $ 个1，例如 $ m = 122 $ 对应次数6，$ m = 1094 $ 对应次数8。