2

ランダムウォーク不等式(仮)

83
0

はじめに

 この記事は前の記事( k-ナッチ数列の四捨五入表示の確率論的導出 )を書くにあたって触れた漸化式と確率論から不等式を導く理論がふと一般化できるんじゃないかと思い立って書いてみたものになります。
 具体的には以下のように主張に拡張してみました。

 数列{an}n=1が漸化式
an=k=k0k1pkan+k(k0<0,pk0,k=k0k1pk=1)
および
lim supn|an|<+
を満たすとき
K=max{k1,0}k0A=max{|a1|,|a2|,,|aK|}
とおくと任意のnに対し
|an|A
が成り立つ。

 これはランダムウォークの議論から成り立つ不等式なのでとりあえず安直にランダムウォーク不等式とでも呼ぶことにしました。
 Kの設定が少しややこしいですが本質的には負のべきを許した多項式k=k0k1pkxk1の次数っぽいものと考えればいいと思います。またKの取り方は以下のように少し強くすることができます。

 方程式
k=k0k1pkxk1=0
の絶対値1未満の解をα1,a2,,αl、そのそれぞれの重複度をm1,m2,,ml、そして絶対値1の解の個数(重複は含めない)をmとおくとランダムウォーク不等式は
K=m+m1+m2++ml
としても成り立つ。

ランダムウォーク問題

 今回考えるランダムウォークの問題設定は 前の記事 とほとんど同じです。

 ある人がx軸上の非負整数点x=nに立っており、この人はpkの確率でx軸正の方向にkだけ進むという動作を区間[1:K]に至るまで無限に繰り返す。
 そしてこの人が止まった点x=j(1jK)に到達したとき得点e(j)を得るものとする。

 このときこの人が得る得点の期待値en、つまりこの人がx=jに止まる確率pn(j)について
en=pn(1)e(1)+pn(2)e(2)++pn(K)e(K)
と定められる値enanと同じ性質を満たすことを示します(ちなみにk00においてこの人は負の方向に進まなくなるのでこの手法は使えません)。

 enは漸化式
en=k=k0k1pken+k
を満たす。

 いまx=nからスタートして一回目の動作でpkの確率でx=n+kの位置に進み、そこからx=jに至る確率はそれぞれpn+k(j)であることから漸化式
pn(j)=k=k0k1pkpn+k(j)
が成り立つのでenについても同じ漸化式が成り立つことになる。

 さてこの漸化式から方程式
k=k0k1pkxk1=0
の解をx=α1,,αl、そのそれぞれの重複度をm1,,mlとおくとenの一般項は
en=f1(n)α1n++fl(n)αln(fk(n)C[n],degfk<mk)
と表せることがわかる。
 このときenの取り方からいくつかの項を取り除けるできることを示そう。

 enの一般項は
en=c1ζ1n++cmζmn+f1(n)α1n++fl(n)αln
のように表せる。ただしζ1,,ζmは絶対値1の解、α1,,αlは絶対値1未満の解とした。

 いまpn(j)は確率なので0pn(j)1を満たすことに注意するとenは有界、特にennにおいて発散する項を持ってはならないことになる。そして

  • |α|>1において|f(n)αn|
  • |α|=1において|nαn|,|αn|1
  • |α|<1において|f(n)αn|0

が成り立つことに注意すると主張を得る。

不等式の導出

 いまenanは同じ漸化式を満たし、また仮定よりanも有界であるのでanも補題3と同じ主張が成り立つことになる。特にan,enの一般項の自由度はζknの係数とfk(n)の係数の計K=m+m1++ml個であり、したがってK個の点jにおける値aj,ejから一般の点nにおける値an,enを決定することができる。
 いまen=anとしたい。そのためには
ej=aj(1jK)
が成り立てばよく、またpj(j)=1つまりej=e(j)であったことからe(j)=ajとすればよい。
 このとき
A=max{|a1|,|a2|,,|aK|}
とおくと
|an|=|en|=|j=1Kpn(j)e(j)|j=1Kpn(j)|aj|Aj=1Kpn(j)=A
が成り立つことがわかる。

 また上の議論は
Km+m1++ml
であれば成り立つのでその値として方程式k=k0k1pkxk1=0の重複度込みの解の個数として
K=max{k1,0}k0
を採用してもよい。

投稿日:2021111
更新日:2024513
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

子葉
子葉
1105
274415
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. ランダムウォーク問題
  3. 不等式の導出