[論文レビュー] Fractal geometry of the space-time difference profile in the directed landscape via construction of geodesic local times

Shirshendu Ganguly, Lingfu Zhang|arXiv (Cornell University)|Apr 4, 2022

Stochastic processes and statistical mechanics被引用数 4

ひとこと要約

本稿は、指向的ランドスケープにおける時空差分プロファイルのフラクタル幾何を、測地線局所時刻の新規構成を導入することで確立した。その結果、2次元プロファイルの非定数集合のハウスドルフ次元は$5/3$であり、1次元時間的プロセスの次元は$2/3$、測地線局所時刻プロセス自体の次元は$1/3$であることが明らかになった。これはブラウン運動の局所時刻の$1/2$とは異なり、時間的プローブにおける単調性の喪失を克服するため、指向的ランドスケープおよびエアリー線集合論の高度な道具が用いられた。

ABSTRACT

The Directed Landscape, a random directed metric on the plane (where the first and the second coordinates are termed spatial and temporal respectively), was constructed in the breakthrough work of Dauvergne, Ortmann, and Virág, and has since been shown to be the scaling limit of various integrable models of Last Passage percolation, a central member of the Kardar-Parisi-Zhang universality class. It exhibits several scale invariance properties making it a natural source of rich fractal behavior. Such a study was initiated in Basu-Ganguly-Hammond, where the difference profile i.e., the difference of passage times from two fixed points (say $(\pm 1,0)$), was considered. Owing to geodesic geometry, it turns out that this difference process is almost surely locally constant. The set of non-constancy is connected to disjointness of geodesics and inherits remarkable fractal properties. In particular, it has been established that when only the spatial coordinate is varied, the set of non-constancy of the difference profile has Hausdorff dimension $1/2$, and bears a rather strong resemblance to the zero set of Brownian motion. The arguments crucially rely on a monotonicity property, which is absent when the temporal structure of the process is probed, necessitating the development of new methods. In this paper, we put forth several new ideas, and show that the set of non-constancy of the 2D difference profile and the 1D temporal process (when the spatial coordinate is fixed and the temporal coordinate is varied) have Hausdorff dimensions $5/3$ and $2/3$ respectively. A particularly crucial ingredient in our analysis is the novel construction of a local time process for the geodesic akin to Brownian local time, supported on the "zero set" of the geodesic. Further, we show that the latter has Hausdorff dimension $1/3$ in contrast to the zero set of Brownian motion which has dimension $1/2.$

研究の動機と目的

• 指向的ランドスケープにおける時空差分プロファイルのフラクタル構造を、以前の結果を可能にした空間的単調性を超えて理解すること。
• 時間的変動が単調性を破壊する状況におけるフラクタル性質の分析のための新手法を開発すること。
• ブラウン運動の局所時刻とは異なり、フラクタル次元$1/3$を有する測地線局所時刻プロセスを構成し、新たなスケーリングおよび次元解析を可能にすること。
• 時空および時間的射影における差分プロファイルの非定数集合のハウスドルフ次元を計算すること。
• 小さな時間窓内における非自明な測地線の合流および非交差事象が正の確率で存在することを確立すること。これは次元推定に不可欠である。

提案手法

• 指向的ランドスケープにおける測地線の局所時刻プロセスを導入し、厳密に定義する。これは測地線のゼロ集合上に支持され、ブラウン運動の局所時刻に類似するが、異なるスケーリングを示す。
• 指向的ランドスケープのスケーリング不変性および合成法則を用いて、小スケールの挙動を大スケールの観測量と関連づけ、自己相似性による次元推定を可能にする。
• germシグマ代数$\mathcal{F}_{0+}$の0-1法則を用いて、時間区間を小さくする中で特定の増分がほとんど確実に正であることを示す。
• エアリー線集合を用いたカップリングを構築し、測地線の合流および非交差事象を分析する。非自明な構成が正の確率で存在することを証明する。
• 四角不等式およびスケーリングの議論を用いて、 dyadic区間における差分プロファイルの積分を固定された基準区間と比較する。
• 差分プロファイル$\mathcal{D}(y,t)$が時間に関して平均ゼロであり、自己相似構造を持つことを利用し、指示関数事象の上極限解析により次元の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 指向的ランドスケープにおける2次元時空差分プロファイル$\mathcal{D}(y,t)$の非定数集合のハウスドルフ次元は何か？
• RQ2 時間的プロセス$\mathcal{D}(0,t)$（対称性により平均ゼロ）のハウスドルフ次元は何か？
• RQ3 新しく構成された測地線局所時刻プロセスのフラクタル次元は、ブラウン運動の局所時刻と比べてどのように異なるのか？また、これは測地線幾何に何を示唆するか？
• RQ4 時間方向における単調性の喪失を克服してフラクタル指数を計算することは可能か？また、新たなツールは何か必要か？
• RQ5 小さな時間窓内における非自明な測地線の合流および非交差事象の確率は何か？また、フラクタル構造にどのように影響するか？

主な発見

• 2次元時空差分プロファイル$\mathcal{D}(y,t)$の非定数集合のハウスドルフ次元は$5/3$であり、空間的および時間的フラクタル構造が豊富であることを示している。
• 1次元時間的プロセス$\mathcal{D}(0,t)$のハウスドルフ次元は$2/3$であり、プロファイルの時間的スケーリング行動を反映している。
• 測地線のゼロ集合上に構成された新規の測地線局所時刻プロセスのハウスドルフ次元は$1/3$であり、ブラウン運動の局所時刻の$1/2$とは顕著に異なる。
• 測地線局所時刻の構成により、単調性の欠如する状況下でもフラクタル性質の解析が可能となり、これは従来の研究における主要な制限要因であった。
• 証明は、germシグマ代数$\mathcal{F}_{0+}$の0-1法則に依拠しており、特定の事象が小さな時間窓内でほとんど確実に発生することを保証している。
• 著者らは、すべての$m$に対して$\mathbb{P}[K_{2^{-m-1},2^{-m}}>0] \geq \mathbb{P}[K_{1,2}>0]$が成り立ち、かつ$\mathbb{P}[\limsup_{m\to\infty} \mathds{1}[K_{2^{-m-1},2^{-m}}>0] = 1] = 1$であることを確立した。これにより、非自明な変動が持続的であることが確認された。