■地球の赤道と極地のパラドックス(その2)

 今回のコラムでは高次元単位球面上の測度集中について取り上げたいと思います.

===================================

【1】赤道周りへの測度集中

 Sn-1球面の赤道の周りに幅2ωの帯を設けて,ここに測度の80%が含まれるようなωを求めてみることにします.すなわち

  P{x<Sn-1:−ω≦xn≦ω}

 =P{x<Sn-1:xn^2≦ω^2}=0.8

 具体的にいうとS0={±1},S1は2π(円周)ですから,

  ω=sin(0.8/4・2π)=0.951056

n=3の場合,S2は4π(表面積)ですが,y=f(x)>0のグラフをx軸を中心に回転させてできる曲面の面積は

  S[y]=2π∫y(1+(y')^2)^1/2dx

で与えられますから,y=(1-x^2)^(1/2)とおくと

  S[y]=2π∫(0,x)dx=2πx=0.8/2・4π

よりω=0.8と求められます.

 n>3は簡単には求められませんが,(その2)で述べたことにより,x=(x1,x2,・・・,xn)を単位球面Sn-1上で一様分布する点とすると,xn^2の分布はベータ分布Beta(1/2,(n-1)/2)となることがわかります.

 ベータ分布は不完全ベータ関数と密接に関係していて,その分布関数はガウスの超幾何関数2F1を使って以下のように表現されます.

  F(x)=1/px^p2F1(p,1-q,p+1,x)/Β(p,q)

      =1/px^p(1−x)^q2F1(p+q,1,p+1,x)/Β(p,q)

 この式からわかるようにベータ分布は区間(0,1)で定義された分布で,(0,1)に制限されているため,ニュートン法などの反復解法を用いてパーセント点を求めるには不向きです.そこで,区間(0,∞)で定義されたF分布の上側確率との間には

  Q(df1,df2,F)=Ix(df2/2,df1/2,x),x=df2/(df2+df1*F)

  Ix(p,q)=∫(0,x)t^(p-1)(1-t)^(1-q)dt/B(p,q)

の関係のあることを使って,F分布に関する計算をしてからベータ分布関数に変換する方法でベータ分布のパーセント点を求めることにします.また,その方が初期値を求めるうえでもを便利です.

 n      ω

2 .951057

3 .8

4 .687049

5 .6084

6 .550863

7 .506727

8 .471589

9 .442796

10 .418662

20 .291384

30 .236612

40 .204344

50 .182466

60 .166381

70 .153916

80 .143889

90 .135596

100 .12859

 この計算が示していることは,(直観に反して)大きいnに対してはSn-1のほとんどが赤道のかなり近くに位置しているというものです.nが大きいときωのオーダーはn^(-1/2)になります.

===================================