間欠的な区間写像で観測を間引いたときの分布の収束
Sparse empirical measures for non-statistical interval maps with two neutral fixed points
この論文をやさしく読む
ひとことで言うと
時間とともに動く点を観測したとき、滞在先の割合が安定しない力学系で、観測時刻を間引くと割合が安定するかを調べる数学研究です。
何に役立つ？
時間平均が収束しない現象について、どの観測列では不安定さが残り、どの条件なら収束が得られるかを整理するために役立ちます。初期点を平均した分布と、1本の軌道の経験分布の違いも明確になります。
この研究の面白いところ
広い種類の間引きでは非収束が残る一方、十分に疎な列や特定の2進的観測では収束を得られる点が特徴です。観測方法の違いが、見える統計的性質を変えます。
どこまで分かった？
対象は2つの中立不動点を持つ特定クラスの区間写像です。一般論の仮定であるブロック支配性と、対称2次写像で確認した共分散条件を区別する必要があり、任意の観測列で概収束するという結果ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
2つの中立不動点を持つ、釣り合った二重間欠性の全枝区間写像を考える。通常の経験測度はルベーグ測度でほとんどすべての初期点について収束しないが、この非統計的な振る舞いが、広い範囲の決定論的な観測方式でも残ることを示す。すなわち、標本化列がブロック支配的であれば、ルベーグ測度でほとんどすべての軌道について、両端点のディラック測度がともに、疎な経験測度の集積点となる。このクラスには、下密度が正の標本化列、等差数列、多項式数列、および指数が有限の正則変動列が含まれる。 また、釣り合ったクラスのすべての写像が、境界指数β＝1を含めて強い自然測度の性質を持つことを証明する。つまり、絶対連続な任意の初期確率測度の押し出しは、特定の端点混合測度ν_*に収束する。この一時刻分布の極限から抽象的に、あらゆる決定論的標本化列に沿う平均化された収束、ほとんど確実に収束する任意に疎な列の存在、および分散をべき乗の分だけ改善する評価に基づく概収束の基準が導かれる。 対称な2次写像g₁∈𝔉_*については、端点近傍で平坦な関数からなる可算かつ一様稠密な族上で、2進的な共分散条件を確認する。共分散の二重和はO_φ(n log(n＋2))である。その結果、この写像の2進的な経験測度は、ルベーグ測度でほとんどすべての初期点について、(δ₋₁＋δ₁)/2へ収束する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We consider balanced doubly intermittent full-branch interval maps with two neutral fixed points. Although the ordinary empirical measures fail to converge for Lebesgue-almost every initial point, we show that this non-statistical behavior persists under a broad class of deterministic observation schemes: if the sampling sequence is block-dominating, then both endpoint Dirac masses are accumulation points of the sparse empirical measures for Lebesgue-almost every orbit. This class includes sampling sequences of positive lower density, arithmetic and polynomial sequences, and finite-index regularly varying sequences. We also prove that every map in the balanced class has the strong natural-measure property, including at the boundary exponent $\beta=1$: the pushforwards of every absolutely continuous initial probability converge to a distinguished endpoint mixture $\nu_*$. Abstract consequences of this one-time limit include annealed convergence along every deterministic sampling sequence, the existence of arbitrarily sparse sequences with almost-sure convergence, and an almost-sure convergence criterion based on a power-saving variance bound. For the symmetric quadratic map $g_1\in\mathfrak F_*$, we verify the dyadic covariance condition on a countable uniformly dense endpoint-flat family: the double covariance sum is $O_\phi(n\log(n+2))$. Consequently its dyadic empirical measures converge for Lebesgue-almost every initial point to $\tfrac12(\delta_{-1}+\delta_1)$.
著者のコメント
38 pages
arXiv ID: 2609.24828 ／ 要約の誤りについて