ランダムな順列が作る歩道の滞在時間に離散逆正弦則
The occupation time of a random walk generated by the uniform random permutation--a GPT-6 Astra proof
この論文をやさしく読む
ひとことで言うと
一様に選んだ順列から作るランダムウォークがゼロより上にいる時間の分布を証明した。
何に役立つ？
確率論における既存の予想を解決し、離散逆正弦則が現れる別の仕組みを理解する助けになる。
この研究の面白いところ
短い証明の鍵が予想外の表現であり、著者はGPT-6 Astraの支援を明示している。
どこまで分かった？
要旨は証明の中心となる表現の内容や、言語モデルの寄与の詳細を説明していない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
この短報は、GPT-6 Astraの助けを借りて、Fangら（Journal of Applied Probability、58巻4号、851〜867ページ、2021年）の予想2.5を証明する。一様ランダムな順列から作られるランダムウォークで、ゼロより上にある辺の数が離散逆正弦則に従うことを示す。証明は短いが、予想外の表現を鍵としている。大規模言語モデルを使ってこの問題を解くことについても、いくつか論じる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
This note provide a proof of Conjecture 2.5 in Fang et al. (J. Appl. Probab., 58(4):851--867, 2021), with the help of \texttt{GPT-6 Astra}. We show that the number of edges lying above zero of a random walk generated from the uniform permutation has the discrete arcsine law. The proof is short but hinges on an unexpected representation. We also make several comments on solving the problem using large language models.
著者のコメント
4 pages
arXiv ID: 2609.25102 ／ 要約の誤りについて