単調に変化する環境でのランダムウォークの再帰性
Recurrence and transience of random walks on monotonically changing environments
この論文をやさしく読む
ひとことで言うと
辺の通りやすさが時間とともに一方向に変わるグラフ上で、ランダムな移動が各点へ何度も戻るかを証明します。
何に役立つ?
時間変化するグラフ上の確率過程を理論的に理解する助けになります。要旨は数学的な証明と反例を述べています。
この研究の面白いところ
辺の通りやすさが増す場合には極限や初期状態から性質を判定できますが、減る場合には似た主張が反例で崩れるという非対称性があります。
どこまで分かった?
結論にはコンダクタンスが決定論的で単調に変わるという条件があります。一般のランダムな環境や単調でない変化への結論は要旨に示されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
可算個の頂点を持つ集合の辺に、時刻tとともに単調に変化する決定論的なコンダクタンスc_tを与え、ランダムウォークX_tがt回目の移動でc_tを使うとする。c_tが増加して極限c_∞に近づき、その極限が再帰的なら、X_tはほぼ確実に再帰的であり、すべての頂点を無限回訪れることを証明する。同様に、初期のc_0が一時的なら、X_tもほぼ確実に一時的であり、各頂点を訪れる回数は有限である。連続時間についても対応する結果を示す。 これにより、Amir、Benjamini、Gurel-Gurevich、Kozmaの予想を証明する。コンダクタンスが0または1に限られる特別な場合は、成長するグラフ上の単純ランダムウォークに対応し、この場合にはDembo、Huang、Sidoraviciusの予想も証明される。一方、c_tが単調減少する場合に対応する予想には反例を与える。c_tが減少して一時的なc_∞に近づいても、X_tは一時的とは限らない。同様に、初期のc_0が再帰的でもX_tは再帰的とは限らない。この反例は、ある正のαについてc_∞がαc_0以上であっても成立する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23(UTC)
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $(c_t)_{t\geq 0}$ be a deterministic family of edge conductances on a countable vertex set, monotone in $t$, and let $(X_t)$ be the random walk that takes its $t$-th step using the conductances $c_t$. We prove that if $c_t\uparrow c_\infty$ and $c_\infty$ is recurrent (respectively, $c_0$ is transient), then $(X_t)$ is almost surely recurrent (respectively, transient), i.e., visits every vertex infinitely (respectively, finitely) often. We also establish the analogous results in continuous time. This proves conjectures of Amir, Benjamini, Gurel-Gurevich, and Kozma, and the special case of $\set{0,1}$-valued conductances corresponds to simple random walk on a growing graph, and in this special case our results prove a conjecture of Dembo, Huang, and Sidoravicius. In addition, we provide counterexamples to the corresponding conjectures when $(c_t)$ is monotone non-increasing: if $c_t\downarrow c_\infty$ and $c_\infty$ is transient, $(X_t)$ need not be transient, and similarly if $c_0$ is recurrent, $(X_t)$ need not be recurrent, even if $c_\infty\geq\alpha c_0$ for some $\alpha>0$.
著者のコメント
18 pages
arXiv ID: 2609.28848 / 要約の誤りについて