[論文レビュー] A metric of mutual energy and unlikely intersections for dynamical systems

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

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

ひとこと要約

本稿は、算術的力学におけるアデール的測度のためのアラケロフ＝ジャンプペアリングから導かれる相互エネルギーの尺度を導入し、ポテンシャル論と離散近似を用いてエネルギー積分を扱う。0 と 1 が $ z^2 + c $ に対してともに前周期的であるような代数的パラメータ $ c $ の次数に対する有効な上限を確立し、このような $ 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$.

研究の動機と目的

• アデール的測度の空間にアラケロフ＝ジャンプペアリングを用いて尺度構造を確立し、三角不等式を満たし、同一測度のときのみ0に消えることを示すこと。
• 零点集合の和集合が無限であるという条件下で、ペアリングの消えること、同一の標準的高さであること、前周期的集合の無限交わりであることの同値性を証明すること。
• 尺度とポテンシャル論的技法を、力学系における不確実な交差問題に応用し、0 と 1 が両方とも $ z^2 + c $ に対して前周期的であるようなパラメータ $ c $ の次数を束縛すること。

提案手法

• 測度 $ \rho, \sigma $ の間の距離を $ 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) $ の下界を約 0.566325 として得る。これにより、大きな $ d $ に対して矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 アラケロフ＝ジャンプペアリングは、アデール的測度の空間上で尺度の二乗として解釈可能であり、この尺度は三角不等式を満たすか？
• RQ2 ペアリングの消えること、標準的高さの一致、前周期的集合の無限交わりの同値性は、どのような条件下で成立するか？
• RQ3 相互エネルギー尺度を用いて、0 と 1 が両方とも $ z^2 + c $ に対して前周期的であるようなパラメータ $ c $ の有効な次数上限をどのように確立できるか？
• RQ4 代数的整数のガロア軌道の離散近似を用いて、エネルギー積分を推定し、算術的力学における有効な境界を導出するにはどうすればよいか？
• RQ5 相互エネルギー尺度を用いて、ベイカーとデマルコの不等価分布に基づく証明を超えて、集合 $ S_{0,1} $ の有限性の有効な証明を与えることは可能か？

主な発見

• アラケロフ＝ジャンプペアリングは、アデール的測度の空間に $ d(\rho,\sigma) = \langle\rho,\sigma\rangle^{1/2} $ として尺度を定義し、三角不等式を満たし、$ \rho = \sigma $ のときのみ0に消える。
• アデール的測度 $ \rho, \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 $ という条件は、$ Z(\rho) \cup Z(\sigma) $ が無限である限り同値である。
• 本稿は、相互エネルギー尺度と離散エネルギー推定値を用いて、$ f_c(z) = z^2 + c $ に対して 0 と 1 が両方とも前周期的であるような任意の代数的整数 $ c $ の次数に対する有効な上界 108 を確立した。
• 数値推定により、$ M_0 $ と $ M_1 $ の標準的測度間の距離 $ d_\infty(\mu_0, \mu_1) $ の下界が約 0.566325 であることが得られ、これにより $ c $ の次数が制約された。
• 本手法は、ベイカーとデマルコの不等価分布に基づく証明の代替手段として有効であり、$ c $ の次数に対する明示的な上限を導出できる。
• このアプローチは他のペア $ (a,b) $ に一般化可能であり、$ a^2 \neq b^2 $ である限り、$ z^2 + c $ に対して $ a $ と $ b $ が両方とも前周期的であるようなパラメータ $ c $ の次数に対する有効な境界が得られる。