[论文解读] A metric of mutual energy and unlikely intersections for dynamical systems

Paul Fili|arXiv (Cornell University)|Aug 28, 2017

advanced mathematical theories参考文献 9被引用 7

一句话总结

本文引入了一种基于阿莱克萨罗夫-张配对的互能量度量，用于算术动力系统中的阿迪尔测度，结合势论与离散逼近方法估算能量积分。研究建立了代数参数 $ c $ 的有效上界，使得在映射 $ z^2 + c $ 下，0 和 1 均为预周期点，证明此类 $ c $ 的次数至多为 108，从而解决了动力系统中一个有效版本的非典型相交问题。

ABSTRACT

We introduce a metric of mutual energy for adelic measures associated to the Arakelov-Zhang pairing. Using this metric and potential theoretic techniques involving discrete approximations to energy integrals, we prove an effective bound on a problem of Baker and DeMarco on unlikely intersections of dynamical systems, specifically, for the set of complex parameters $c$ for which $z=0$ and $1$ are both preperiodic under iteration of $f_c(z)=z^2 + c$.

研究动机与目标

• 通过阿莱克萨罗夫-张配对在阿迪尔测度空间上建立度量结构，证明其满足三角不等式，且仅当测度相等时为零。
• 在零点集的并集为无限集的条件下，证明配对消失、共形高度相等、预周期集的无限交集等条件等价。
• 将该度量与势论技术应用于动力系统中的非典型相交问题，具体为：对使得在 $ z^2 + c $ 下 0 和 1 均为预周期点的参数 $ c $，建立其次数的有效上界。

提出的方法

• 定义度量 $ d(\rho,\sigma) = \langle\rho,\sigma\rangle^{1/2} $，其中 $ \langle\cdot,\cdot\rangle $ 为阿莱克萨罗夫-张配对，并证明其满足度量公理。
• 通过在代数共轭点附近的小圆盘上使用归一化的勒贝格测度对测度进行离散逼近，以估算能量积分。
• 应用互能量度量的三角不等式，关联曼德布罗特集 $ M_0 $、$ M_1 $ 的规范测度 $ \mu_0 $、$ \mu_1 $ 与 $ c $ 的伽罗瓦轨道的离散逼近之间的距离。
• 利用调和势论，通过共轭点间距离的界与圆盘的对数容量，估算对数能量积分。
• 结合自能量项与交叉能量项的估计，利用 $ \epsilon = 1/d^2 $ 平衡误差项，导出 $ c $ 的次数 $ d $ 的有效上界。
• 通过特定代数数（如 $ \alpha $、$ \beta $）的能量积分的数值估计，得出 $ d_\infty(\mu_0, \mu_1) $ 的下界，从而在 $ d $ 较大时导出矛盾。

实验结果

研究问题

• RQ1 阿莱克萨罗夫-张配对能否被解释为阿迪尔测度空间上度量的平方？该度量是否满足三角不等式？
• RQ2 在何种条件下，配对消失、共形高度相等、预周期集的无限交集等条件等价？
• RQ3 能否利用互能量度量，为使得在 $ z^2 + c $ 下 0 和 1 均为预周期点的参数 $ c $ 建立有效的次数上界？
• RQ4 如何利用代数整数伽罗瓦轨道的离散逼近来估算能量积分，并在算术动力系统中导出有效上界？
• RQ5 互能量度量能否用于给出 $ S_{0,1} $ 集合有限性的有效证明，超越贝克与德马尔科基于等分布方法的非有效证明？

主要发现

• 阿莱克萨罗夫-张配对在阿迪尔测度空间上定义了一个度量 $ d(\rho,\sigma) = \langle\rho,\sigma\rangle^{1/2} $，满足三角不等式，且仅当 $ \rho = \sigma $ 时为零。
• 对于阿迪尔测度 $ \rho, \sigma $，若 $ Z(\rho) \cup Z(\sigma) $ 为无限集，则以下条件等价：$ d(\rho,\sigma) = 0 $，$ \rho = \sigma $，$ h_\rho = h_\sigma $，$ Z(\rho) = Z(\sigma) $，$ Z(\rho) \cap Z(\sigma) $ 无限，以及 $ \liminf (h_\rho(\alpha) + h_\sigma(\alpha)) = 0 $。
• 本文利用互能量度量与离散能量估计，为使得在 $ f_c(z) = z^2 + c $ 下 0 和 1 均为预周期点的任意代数整数 $ c $，建立了次数至多为 108 的有效上界。
• 数值估计得出，$ \mu_0 $ 与 $ \mu_1 $ 的规范测度之间的距离 $ d_\infty(\mu_0, \mu_1) $ 的下界约为 0.566325，该结果用于约束 $ c $ 的次数。
• 该方法为贝克与德马尔科基于等分布方法证明 $ S_{0,1} $ 的有限性提供了一种有效替代方案，可导出 $ c $ 的次数的显式上界。
• 该方法可推广至其他点对 $ (a,b) $，在 $ a^2 \neq b^2 $ 的条件下，可为使得在 $ z^2 + c $ 下 $ a $ 与 $ b $ 均为预周期点的参数 $ c $ 建立有效的次数上界。