ADAPTIVO™ SOFTWARE...日々のCBCTに計画時の輪郭を自動で描写 し、日々の線量および累積線量を評価します。デフォーマブルレジストレーションにより腫瘍
凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論...
Transcript of 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論...
![Page 1: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/1.jpg)
凸関数に基く情報幾何学— 擬似平面性・擬似球面性と諸性質との関係 —
平岡 和幸 ∗ 田中 勝 †
目次1 序論 3
2 ベクトル空間上の情報幾何 5
2.1 双対空間との非線形な対応づけ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 接空間 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.3 計量 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.4 ダイバージェンス . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.5 双対接続 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.6 ダイバージェンス最小化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.7 シフトとスケーリング . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3 擬似平面および擬似球面上の情報幾何 21
3.1 部分多様体 P1, L1 上の情報幾何 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2 擬似平面 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2.1 平面と擬似平面 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2.2 擬似平面上の接続 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2.3 擬似平面内での平坦性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2.4 測地線に関する拡張 Pythagorasの定理 . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3 擬似球面 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3.1 等ポテンシャル面と擬似球面 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3.2 擬似球面上の接続 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.3.3 擬似球面内での平坦性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.3.4 平坦性に関する補足 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.3.5 有限次元平面との交わり . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.3.6 ダイバージェンス最小化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.3.7 線形制約のもとでの線形関数最小化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.4 P1, L1 が共に擬似球面の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.4.1 P1, L1 上の情報幾何 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
∗ 和歌山工業高等専門学校 総合教育科† 福岡大学 理学部 応用数学科
1
![Page 2: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/2.jpg)
3.4.2 ポテンシャル関数の特徴づけ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.5 P1 が擬似球面で L1 が擬似平面の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.5.1 P1, L1 上の情報幾何 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.5.2 ポテンシャル関数の特徴づけ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4 確率分布の情報幾何 41
4.1 関数空間上の情報幾何 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.2 確率分布のなす部分多様体 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.3 U -ダイバージェンス . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.4 α-ダイバージェンスと q-正規分布 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.5 η-ダイバージェンスと Kullback-Leiblerダイバージェンス . . . . . . . . . . . . . . . . . . 48
5 統計との関係 まだ不整合 50
5.1 Kullbackダイバージェンスと大偏差原理 . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
5.2 Fisher計量とクラメル-ラオの不等式 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
5.3 exponential family, mixture family . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.4 最尤推定と Kullbackダイバージェンス最小化 . . . . . . . . . . . . . . . . . . . . . . . . 51
6 双対座標 まだ不整合 52
6.1 θ 座標と η 座標 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
6.2 θ 座標と η 座標の双対性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
6.2.1 計量 Gについての双対性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
6.2.2 Legendre変換としての双対性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
6.3 座標で表現した情報幾何 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
6.3.1 θ 座標、η 座標からはじめる情報幾何 . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
6.3.2 フォーマルな情報幾何 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
付録 A 付録 59
A.1 Legendre変換(Youngの不等式) まだ . . . . . . . . . . . . . . . . . . . . . . . . . . 59
A.2 相似直交な部分多様体 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
A.2.1 ベクトル場の相似性 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
A.2.2 相似直交な部分多様体 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
A.2.3 擬似平面と擬似球面 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
A.3 P1, L1 が共に擬似平面の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
A.4 成分ごとの和に分解されないポテンシャル . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
A.4.1 P1, L1 が共に擬似球面の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
A.4.2 P1 が擬似球面で L1 が擬似平面の場合 . . . . . . . . . . . . . . . . . . . . . . . . . . 66
A.5 課題 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2
![Page 3: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/3.jpg)
1 序論
計量が入った多様体に対しては、通常、その計量に合った接続である Levi-Civita接続
を考えることが多い。しかし情報幾何 [1, 2, 3] においては、Levi-Civita 接続ではなく、
互いに双対な 2つの接続を活用する。このような接続の対が導入される源として、コント
ラスト関数 [5, 6, 7] およびアファイン微分幾何 [16] という二種類の枠組が挙げられる。
コントラスト関数は、多様体上の 2点 p, q に対してその相異の度合 ρ(p, q)を定めたも
のである。コントラスト関数の定義は非負性や ρ(p, q) = 0 iff p = q などの距離に似た要
請を含むが、対称性や三角不等式は仮定しない。コントラスト関数 ρが与えられれば、ご
く近い二点 p, q に対する ρの振舞いに基き、
Gij(r) = − ∂2ρ(p, q)
∂pi∂qj
∣∣∣∣p=q=r
=∂2ρ(p, q)
∂pi∂pj
∣∣∣∣p=q=r
=∂2ρ(p, q)
∂qi∂qj
∣∣∣∣p=q=r
(1)
∑j
Γjkm(r)Gjl(r) = − ∂3ρ(p, q)
∂pk∂pm∂ql
∣∣∣∣p=q=r
(2)
∑j
Γ∗jkm(r)Gjl(r) = − ∂3ρ(q, p)
∂pk∂pm∂ql
∣∣∣∣p=q=r
= − ∂3ρ(p, q)
∂qk∂qm∂pl
∣∣∣∣p=q=r
(3)
のように計量Gと接続の対 Γ,Γ∗を導入することができる。統計的な議論を行う際には確
率分布間の相異の度合が重要となるので、コントラスト関数に基いて幾何構造を定めるこ
の枠組は情報幾何の源にふさわしい。真の分布 qとそこから得られた経験分布 pとの相異
を測るという典型的な用途を考えると、両者の役割の違いから、非対称性 ρ(p, q) 6= ρ(q, p)
もむしろ自然である*1[7]。
一方、アファイン微分幾何の理論は、(n+ 1)次元アファイン空間内の n次元部分多様
体M を扱う枠組を含む。そこでは、ベクトル場 ξ を一つ指定し、Euclid空間における法
線ベクトルの役割を ξ に代行させることによって、M 上の接続や計量に相当するものが
導入される。M の接ベクトル v を微小平行移動するには、外側のアファイン空間でまず
微小平行移動し、M の接空間からはみ出した分を ξ 方向に射影して接ベクトルに戻せば
よい。得られた接ベクトルにより接続 Γが定められ、接ベクトルに戻す補正の大きさから
計量に相当するものが定められる。また、もう一つの接続 Γ∗ は、いまの計量に関する Γ
の双対として得られる。確率密度関数の集合は関数空間内の部分多様体ととらえられるの
*1 確率 1/2 で表が出るコインを 10 回投げて表が 0 回になる確率は、確率 0 で表が出るコインを 10 回投げて表が半分になる確率とは異なる。この極端な例からも非対称性が伺えるであろう。
3
![Page 4: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/4.jpg)
で、アファインはめ込みの観点からその幾何を調べることもやはり自然なアプローチと言
えよう。
情報幾何という言葉の指し示す範囲ははっきり定まったものではないが、実際の応用場
面で主に用いられる Kullback-Leiblerダイバージェンス、α-ダイバージェンス、U -ダイ
バージェンスなどに関する「情報幾何」は、上で挙げた二種類の枠組を兼ね備えた形をし
ている。つまり、アファイン空間 P 上にコントラスト関数 ρを与えておいて、P 内の部分多様体をとり扱う。ベクトル場 ξ としては、ρから導かれる計量に関する法線ベクトル
を用いる。
ρの定める接続 Γをアファイン空間における平行移動と一致させるには、アファイン座
標に関して Γjkm = 0、すなわち (2)の右辺が 0でなくてはならない。∂ρ(p, q)/∂ql が pに
関して一次式ならこの要請は自動的に満たされるから、
ρ(p, q) = f(p) + f(q)− 〈p,F(q)〉 (4)
という形のコントラスト関数を考えることにしよう。ただし記法の便宜上、原点 oを勝手
に指定してアファイン空間 P をベクトル空間とみなし、P の元 pと双対ベクトル空間 P∗
の元 lとの内積を〈p, l〉 =
∑i
pili (5)
と書いた。この ρ がコントラスト関数の定義を満たすためには、f は凸でなくてはなら
ず、しかも
0 = ρ(q, q) = f(q) + f(q)− 〈q,F(q)〉 (6)
0 =∂ρ(p, q)
∂pj
∣∣∣∣p=q
=∂f(q)
∂qj−F(q)j (7)
が要求される。以上をまとめれば、次のような枠組に至る。
• ベクトル空間 P 上に凸関数 f が与えられたとき、
• f の微分を用いて双対空間との対応づけ F : P → P∗ : q 7→ df(q) を定め、
• さらに f の Legendre変換 f(q) = 〈q,F(q)〉 − f(q)を用意した上で、
• ρ(p, q) = f(p) + f(q)− 〈p,F(q)〉により p, q の相異を測る。
短く言えば、凸関数 f を点 q のまわりで一次近似したときに、点 pにおける近似誤差が
ρ(p, q)である:ρ(p, q) = f(p)−
{f(q) + 〈(p− q), df(q)〉
}(8)
4
![Page 5: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/5.jpg)
この枠組は f をポテンシャル関数とした Hesse幾何学 [17]に他ならない。実際、いまの
ρから導かれる計量はアファイン座標に関して
Gij(p) =∂2f(p)
∂pi∂pj(9)
となり、ポテンシャル関数の二階微分で与えられる。
前に挙げたKullback-Leiblerダイバージェンス、α-ダイバージェンス、U -ダイバージェ
ンスはいずれも、適当な凸関数 f を用いて上のように作ったコントラスト関数 ρに一致
する(ただし、α-ダイバージェンスの場合は、p, q を確率密度関数ではなくそのべき乗に
対応づける)。本稿では、この枠組を簡明な描像で述べるとともに、情報幾何で多用され
る各種の性質が凸関数 f のどのような特性に起因しているかを整理する。また、情報幾何
において特別な地位を与えられた Kullback-Leiblerダイバージェンスおよび α-ダイバー
ジェンスが、f の等位面に関する幾何学的な条件から特徴づけられることを説明する。さ
らに、非平衡系の物理で用いられる Tsallisエントロピー [12]に関連して、エスコート分
布や q-正規分布 [13]についても触れる。事前知識としては多様体論の基礎を前提とする。
情報幾何の従来の解説においてはしばしば「暗黙の同一視」が行われるので、数学書で
学んだ微分幾何や多様体の知識をあてはめようとすると齟齬を感じる場合がある。特に、
ベクトル空間を多様体とみなした際の空間と接空間との同一視は混乱を招きやすい。本稿
ではそれらの区別を陽に述べる。
2 ベクトル空間上の情報幾何
ベクトル空間上に凸関数を一つ与えれば、計量、双対接続、ダイバージェンスなどから
なる情報幾何の枠組を構成することができる。この構成法についてまず述べよう。なお、
ベクトル空間を仮定するのは記法の便宜と対称性を考慮したからに過ぎず、本来はアファ
イン空間でも十分である。実際、原点のシフトは本質的でないことが 2.7 項で明らかに
なる。
本稿を通じ、無限次元に関しては素朴な直感的考察を述べるに留め、数学的に厳密な議
論には立ち入らない。微分可能性などもいちいち断わらない。
5
![Page 6: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/6.jpg)
2.1 双対空間との非線形な対応づけ
Lを一般の実ベクトル空間とし、その双対空間を P とする*2。双対空間の定義により、
l ∈ Lと p ∈ P との間には内積〈p, l〉 (10)
が定められる。有限次元の場合に成分で書けば、lが縦ベクトル
l = (l1, . . . , ln)T (11)
のとき pは横ベクトルp = (p1, . . . , pn) (12)
と解釈され、
〈p, l〉 = pl =n∑k=1
pklk (13)
である。記号 T は転置を表す。反変ベクトルであることを明示するために、lk でなく上
つき添字で lk と書いた。
いま、ベクトル空間 L上に凸関数 g : L → Rが与えられたとしよう。この凸関数をポテンシャル関数と呼ぶ。以下に述べる変換とその性質は、Legendre変換の一般論として
よく知られている(付録 A.1)。
点 l ∈ Lに対し、この点における gの微分 dg(l)は双対空間 P の元となる。有限次元の場合に成分で書けば、縦ベクトル l = (l1, . . . , ln)T に関する微分 dg(l)は横ベクトル
dg(l) =
(∂g
∂l1, . . . ,
∂g
∂ln
)(14)
である。一般の場合には、dg(l)とは次のようなものだと思えばよい:
l ∈ Lを固定したとき、∆l ∈ Lと |ϵ| � 1に対して
g(l + ϵ∆l) = g(l) + ϵGl(∆l) + o(ϵ) (15)
が成り立つ線形関数 Gl : L → Rがあったとしよう。Gl は L上の線形関数だから双対空間 P の元と解釈され、上の式は
g(l + ϵ∆l) = g(l) + ϵ〈Gl,∆l〉+ o(ϵ) (16)
*2 情報幾何の最も標準的な設定では、P は確率密度関数 p(·)の集合を含み、Lはその対数 l(·) = log p(·)の集合を含む。この対応を想起しやすいように P,Lという記号を用いることにした。なお、情報幾何における反変共変の慣習を多様体論とあわせるために、しばらくは Lが主、P が従という扱いで説明する。
6
![Page 7: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/7.jpg)
と内積で書くこともできる。dg(l)とはこの Gl ∈ P のことである。
いずれにせよ、dg は各点 l ∈ L を双対空間の点 dg(l) ∈ P へと対応づける。つまり、dg は Lから P への(非線形な)写像を定める。この写像を G = dg と書く*3。
G : L → P : l 7→ dg(l) (17)
定義から、l,∆l ∈ Lに対する g の方向微分は
d
dtg(l + t∆l)
∣∣∣∣t=0
= 〈Gl,∆l〉 (18)
と表される。また、gが凸であるという前提から、写像 G : L → P は単射となる。このことは背理法を用いて次のように証明される。もし仮に、異なる二点 l,m ∈ Lにおいて Glと Gmが等しくなったとしよう。いま、0 ≤ t ≤ 1に対して関数 h : [0, 1] → Rを
h(t) = g(l + t∆l), ∆l = m− l (19)
と定義すれば、hは凸関数のはずである。したがってその微分 h′(t)は狭義単調増加でな
くてはならない。この h′(t)は、先ほど述べた方向微分の性質から
h′(t) = 〈G(l + t∆l),∆l〉 (20)
と書ける。すると h′(0) = 〈Gl,∆l〉 = 〈Gm,∆l〉 = h′(1) だから、h′ の単調増加性に矛盾
が生じる。よって、l 6= mなら Gl 6= Gmが言える。Gl = pのとき、
f(p) + g(l) = 〈p, l〉 (21)
という関係により f(p) ∈ Rを定義する。G が単射なのでこの f(p)は well-definedであ
る。g の凸性からarg min
m∈L
(g(m)− 〈p,m〉
)= l (22)
が成り立ち、minm∈L
(g(m)− 〈p,m〉
)= g(l)− 〈p, l〉 = −f(p) (23)
と表されることに注意しよう。逆にこれらを G や f の定義とすることもできる。両式を
まとめると、任意のm ∈ Lと任意の p = Gl ∈ P に対して
f(p) + g(m)− 〈p,m〉 ≥ 0 (24)
f(p) + g(m)− 〈p,m〉 = 0 ⇔ m = l (25)
*3 小文字 g の微分を大文字で表記するのは慣習に反するが、後の議論において G が演算子の役割を果すことから、演算子らしく見える記法を採用した。
7
![Page 8: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/8.jpg)
が言える(Youngの不等式)。
f は P 上の凸関数になり、やはりポテンシャル関数と呼ばれる。凸性を示すには、p 6= q
と 0 < t < 1に対して
(1− t)f(p) + tf(q) > f((1− t)p+ tq
)(26)
であることを次のように確かめればよい。
−(1− t)f(p)− tf(q) = (1− t) minm∈L
(g(m)− 〈p,m〉
)+ tmin
m∈L
(g(m)− 〈q,m〉
)(27)
= minm∈L
(1− t)(g(m)− 〈p,m〉
)+ minm∈L
t(g(m)− 〈q,m〉
)(28)
< minm∈L
{(1− t)
(g(m)− 〈p,m〉
)+ t(g(m)− 〈q,m〉
)}(29)
= minm∈L
{g(m)− 〈(1− t)p+ tq,m〉
}(30)
= −f((1− t)p+ tq
)(31)
途中の不等号に =が含まれないのは、二つのminをそれぞれ実現するmが決して一致し
ないためである。
f が凸だと保証されたので、前と同様に f を微分することで単射
F = df : P → L (32)
が定められる。Fp = lなら
argminq∈P
(f(q)− 〈q, l〉
)= p (33)
となることも同様である。このとき
argminq∈P
(f(q) + g(l)− 〈q, l〉
)= p (34)
でもあるから、Youngの不等式と見比べれば Gl = pおよび f(p)+g(l)−〈p, l〉 = 0でなく
てはならない。前者から、G と F とは互いに逆変換になっていることがわかる(Legendre
変換の対合性)。また、後者から
argminq∈P
(f(q)− 〈q, l〉
)= f(p)− 〈p, l〉 = −g(l) (35)
も言える。
一般には G は全射と限らないので、F の定義域 P0 は空間 P の一部に限られる。また、g の定義域 L0 自体が空間 Lの一部に限られる場合も扱えるようにしておくと応用がしや
8
![Page 9: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/9.jpg)
すい。したがって本来は、g の定義域 L0 と G によるその像 P0 = GL0 を明示した上で
g : L0 → R (凸関数) (36)
f : P0 → R (凸関数) (37)
G : L0 → P0 (非線形な全単射) (38)
F : P0 → L0 (非線形な全単射) (39)
のように書くべきである。しかしこれをいちいち断わるのは煩雑なので、厳密な定義域は
省き、単に「L上の関数」や「Lと P との一対一対応」のように略称する。必要に応じて適宜読みかえられたい。
以上で、ベクトル空間 L とその双対空間 P との間に非線形な対応づけ G,F が得られた。情報幾何においては、この対応づけにより Lと P とを同一視し単一の空間として扱うことが多い。なお、本節では凸関数 g : L → Rをもとにすべてを構成したが、g のかわりに f : P → Rの方から出発しても同等の議論がもちろん可能である。L,P のどちらを主と見るのが自然かは、確率分布との対応づけを想定した上での文脈に依存するため、一
概には言えない。今後は、都合に応じて L,P の順で書いたり P,Lの順で書いたりすることがある。
本項で述べた Lと P との対応づけは、[4]の特別な場合とも解釈される。この点につい
ては 3.3.1項で再度言及する。
2.2 接空間
ここからは、Lや P を単なるベクトル空間ではなく多様体として扱う。一般に、多様体 L上の点 l における接ベクトルは、方向微分として定義される [14]。すなわち、l の近
傍上で定義された実数値関数 hに対して実数を定める線形汎関数のうち、特定の条件を満
たすものを接ベクトルと呼ぶのが、本来の抽象的な定義である。このような汎関数として
の接ベクトル ∆lは (∆l)[h]という記号で書くことにする。局所座標のもとでは、
(∆l)[h] =d
dth(l + t∆l)
∣∣∣∣t=0
(40)
あるいは、|ϵ| � 1に対して
h(l + ϵ∆l) = h(l) + ϵ(∆l)[h] + o(ϵ) (41)
9
![Page 10: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/10.jpg)
と表される。ただし、l + t∆l は局所座標に関する和や実数倍と解釈する。有限次元の場
合に成分で書けば、
l = (l1, . . . , ln)T (42)
∆l = (∆l1, . . . ,∆ln)T (43)
のとき、点 lにおける接ベクトル∆lは微分演算子
n∑k=1
∆lk∂
∂lk(44)
に対応する。点 lにおける接ベクトルの集合 TlLは接空間と呼ばれ、自然な和と実数倍によりベクトル空間となる。
ベクトル空間である Lを多様体とみなしたときの著しい特徴は、各点 l ∈ Lにおける接空間 TlLがそれぞれ、空間 L自身と自然に同一視されることである。対応して、TlLの双対空間である共変接空間 T ∗
l Lはそれぞれ、Lの双対空間 P と同一視される。p ∈ P についても同様である。
TlL ∼=L∼= T ∗pP (45)
T ∗l L ∼=P∼= TpP (46)
有限次元の場合に成分で書けば、これらは
(l1, . . . , ln)T =(l1, . . . , ln)T= (l1, . . . , ln)T (47)
(p1, . . . , pn) =(p1, . . . , pn)= (p1, . . . , pn) (48)
となり表記上そもそも区別がつかない。一般の場合には、l の近傍上で定義された実数値
関数 hに対して点 l ∈ Lにおける ∆l ∈ L方向の微分
D[h] =d
dth(l + t∆l)
∣∣∣∣t=0
(49)
を与える線形汎関数 D を、接空間の本来の定義に基いて ∆l ∈ TlL と解釈すればよい。ただし、右辺の l + t∆l はベクトル空間 L における和や実数倍を表す。これで同一視L ∼= TlLが得られたので、対応して双対空間どうしの同一視 P ∼= T ∗
l Lも定められる。空間と接空間の同一視は、情報幾何においてしばしば暗黙に用いられる。本稿では、同
一視がどこで行われたかを見分けやすくするため、以下のように書く。
• 接ベクトルは ∆l,∆p などと ∆をつけた記号で表す。
10
![Page 11: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/11.jpg)
• 空間の元 l を接空間の元とみなす際は l、接空間の元 ∆l を空間の元とみなす際は
∆lのように印をつける。
↑守られているか要確認 (まだ 2章まで)関数 g : L → Rに対する多様体の意味での全微分 dg は L上の一次微分形式となり、各点 l ∈ L における共変ベクトル dg(l) ∈ T ∗
l L を定める [14]。上の同一視によってこれを
P の元とみなせば、全微分は 2.1項の G に一致する。f についても同様である。以上は要するに次のことを主張している:点 l ∈ Lにおける接ベクトル∆l ∈ TlLや点 p ∈ P における接ベクトル ∆p ∈ TpP に対して上の同一視を用いると、g や f の方向微分は
(∆l)[g] = 〈Gl,∆l〉 (50)
(∆p)[f ] = 〈∆p,Fp〉 (51)
と書ける。
多様体間の写像 G : L → P は一般に、接空間どうしの写像 G∗ を引き起こす。点 l ∈ Lにおける接空間 TlL から対応する点 p = Gl ∈ P における接空間 TGlP へのこの線形写像を、
G(l)∗ : TlL → TGlP (52)
もしくは単に G∗ で表す。有限次元の場合に成分で書けば*4、
l = (l1, . . . , ln)T (53)
∆l = (∆l1, . . . ,∆ln)T (54)
に対して
G(l)∗ ∆l = (∆p1, . . . ,∆pn) (55)
∆pj =∑k
∂2g(l)
∂lj∂lk∆lk (56)
のように、接空間の対応づけ G(l)∗ はポテンシャル関数 g の二階微分から定まる。一般の
場合も、|ϵ| � 1に対して
G(l + ϵ∆l) = G(l) + ϵ∆p+ o(ϵ) ∈ P (57)
*4 このような言い方をするときは常に、ベクトル空間としての座標成分を表すという約束にする。つまり、何らかの基底ベクトル e1, . . . , en を用いて l =
∑lkek と書かれるような線形な座標 (l1, . . . , ln)
に限って成り立つ結果を述べる。実際、局所座標での単なる二階微分がテンソルにならないことは周知のとおりで、非線形な座標変換をすると (56)の形の表記は保存されない。
11
![Page 12: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/12.jpg)
となるような接ベクトル∆p ∈ TGlP が G(l)∗ ∆lだと思えばよい。なお、抽象的な本来の定
義は、[14]など多様体論の適当な教科書を参照されたい*5。
前述の同一視によって点 l ∈ Lを接ベクトル l ∈ TlLとみなしたとしても、Gl と G(l)∗ l
とは別物である。G = dg は (14) のとおりポテンシャル関数 g の一階微分から定まり、
G(l)∗ は (56)のとおり g の二階微分から定まる。
逆向きも同様であり、TpP から TFpLへの対応づけ F (p)∗ ないし F∗ が定められる。な
お、GFp = pおよび FGl = l から当然
G∗F∗∆p = ∆p (58)
F∗G∗∆l = ∆l (59)
が成り立つ。
2.3 計量
点 l ∈ Lにおける接ベクトル ∆l,∆m ∈ TlLに対し、その内積を
(∆l,∆m)l = 〈G(l)∗ ∆l,∆m〉 (60)
と定義する。上式の右辺では、前述の同型に基き接ベクトルを P,L自身の元と同一視している。有限次元の場合に成分で書けば、
l = (l1, . . . , ln)T (61)
∆l = (∆l1, . . . ,∆ln)T (62)
∆m = (∆m1, . . . ,∆mn)T (63)
に対して
(∆l,∆m)l =∑j,k
∂2g(l)
∂lj∂lk∆lj∆mk (64)
となり、ポテンシャル関数 g の二階微分が計量テンソルの成分表示
Gjk(l) =∂2g(l)
∂lj∂lk(65)
*5 接ベクトルとは関数に対して値を定める線形汎関数だという本来の定義に基き、P 上の点 Gl の近傍で定義された実数値関数 hに対して
(∆p)[h] = (∆l)[h ◦ G]
により G(l)∗ ∆l = ∆p ∈ TGlLを定義する。
12
![Page 13: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/13.jpg)
を与える。
この (·, ·)l が内積の定義を満たすことは、次のように示される。作り方から双線形性は自明である。また、(57)および方向微分の性質 (18)から
(∆l,∆m)l = 〈G(l)∗ ∆l,∆m〉 (66)
=d
dt〈G(l + t∆l),∆m〉
∣∣∣∣t=0
(67)
=∂
∂t
∂
∂sg(l + t∆l + s∆m)
∣∣∣∣t=s=0
(68)
なので、対称性も成り立つ。さらに、この式から特に
(∆l,∆l)l =d2
dt2g(l + t∆l)
∣∣∣∣t=0
(69)
が言えるので、g の凸性から正値性も保証される。以上により、多様体 L上に計量が導入された。
多様体 P 上にも同様にして計量が導入される。すなわち、点 p ∈ P における接ベクトル ∆p,∆q ∈ TpP の内積が
(∆p,∆q)p = 〈∆p,F (p)∗ ∆q〉 (70)
で定義される。有限次元の場合に成分で書けば、
p = (p1, . . . , pn) (71)
∆p = (∆p1, . . . ,∆pn) (72)
∆q = (∆q1, . . . ,∆qn) (73)
(74)
に対して
(∆p,∆q)p =∑j,k
∂2f(p)
∂pj∂pk∆pj∆qk (75)
と表される。P,L の対称性に関する同種の説明は自明なので、今後は片方しか述べないこともある。
一対一対応 G,F による L,P の同一視は、これらの計量と辻褄が合っている。すなわち、
(∆l,∆m)l = (G∗∆l,G∗∆m)Gl (76)
(∆p,∆q)p = (F∗∆p,F∗∆q)Fp (77)
13
![Page 14: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/14.jpg)
が成り立つことを容易に確かめられる。実際、定義から
(G∗∆l,G∗∆m)Gl = 〈G∗∆l,F∗G∗∆m〉 = 〈G∗∆l,∆m〉 = (∆l,∆m)l (78)
(F∗∆p,F∗∆q)Fp = 〈G∗F∗∆p,F∗∆q〉 = 〈∆p,F∗∆q〉 = (∆p,∆q)p (79)
が言える。
また、次の性質も有用であり、後に何度も利用される。点 l ∈ L における接ベクトル∆l ∈ TlLと点 p ∈ P における接ベクトル ∆p ∈ TpP とが、
p = Gl, ∆p = G∗∆l (80)
l = Fp, ∆l = F∗∆p (81)
により対応していたとしよう。このとき、ポテンシャル関数 g, f の方向微分は
(∆l)[g] = 〈Gl,∆l〉 = (p,∆p)p (82)
(∆p)[f ] = 〈∆p,Fp〉 = (∆l, l)l (83)
と表される。左側の等号が成り立つことは (50), (51)ですでに述べた。右側の等号は内積
の定義をあてはめたにすぎない。ちなみに、〈Gl,∆l〉は (l,∆l)l = 〈G∗l,∆l〉とは別物である(Glと G∗lの違いは 2.2項で注意した)。
単なる計量ベクトル空間との混同を避けるため、最後に次のことを注意しておく。内積
が定義されるのはあくまで接ベクトルどうしに対してであり、点 p, q ∈ P に対してではない。P がベクトル空間なことから点と接ベクトルとを同一視することは可能だが、内積の値は、どの点における接ベクトルとみなすかによって変わる。なお、上の定義と一見よ
く似た 〈p,Fq〉は、p, q ∈ P に関して一般に対称でなく、〈p,Fp〉 ≥ 0も保証されず、q に
ついては線形ですらない。
2.4 ダイバージェンス
後に確率分布と対応づける際の役割を意識して、ここからは P の方を主、Lの方を従と扱う。
P 上の二点 p, q に対し、ダイバージェンス D(p‖q)を
D(p‖q) = f(p) + g(Fq)− 〈p,Fq〉 (84)
= f(p)− f(q)− 〈(p− q),Fq〉 (85)
= −g(Fp) + g(Fq) + 〈p, (Fp−Fq)〉 (86)
14
![Page 15: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/15.jpg)
で定義する [1, 2, 3, 17]。2番目と 3番目の等号は、(21)から g(Fq) = 〈q,Fq〉 − f(q)と
f(p) = 〈p,Fp〉 − g(Fp)により成り立つ。上の定義は
D(p‖q) = f(p)− fq(p), fq(p) = f(q) + 〈(p− q),Fq〉 (87)
とも書き直せる。つまり、f を点 q のまわりで一次近似した fq について、点 pにおける
近似誤差が D(p‖q)である。このことは序論でも指摘した。以下に述べる事実から、D(p‖q)は p, q 間の距離の自乗に相当する量と解釈される。た
だし、一般に D(p‖q) 6= D(q‖p)となることに注意を要する。すでに述べた Legendre変換の性質(Youngの不等式)から
D(p‖q) ≥ 0 (88)
であり、等号は p = q のとき、そしてそのときに限り成立する。さらに、次の関係が成り
立つ。D(p‖q) +D(q‖r) = D(p‖r) + 〈(p− q), (Fr −Fq)〉 (89)
実際、
D(p‖q) +D(q‖r) (90)
= {f(p)− f(q)− 〈(p− q),Fq〉}+ {f(q)− f(r)− 〈(q − r),Fr〉} (91)
= f(p)− f(r)− 〈(p− q),Fq〉 − 〈(q − p+ p− r),Fr〉 (92)
= (f(p)− f(r)− 〈(p− r),Fr〉 − 〈(p− q),Fq −Fr〉 (93)
= D(p‖r) + 〈(p− q), (Fr −Fq)〉 (94)
のように変形することができる。特に、〈(p− q), (Fr −Fq)〉 = 0のときには
D(p‖q) +D(q‖r) = D(p‖r) (95)
である(拡張 Pythagorasの定理 [1, 2, 3, 8])。2.1項で述べたように空間 P と空間 Lを同一視して一枚の絵に重ねれば、拡張 Pythagorasの定理は図 1のように描かれる。
なお、次の意味で計量 (·, ·)q はダイバージェンスDの二次近似となっている。点 q ∈ Pにおける接ベクトル ∆q ∈ TqP と |ϵ| � 1に対し、
D(q + ϵ∆q‖q) = 1
2ϵ2(∆q,∆q)q + o(ϵ2) (96)
ただし左辺の q+ ϵ∆qは局所座標についての演算と解釈する。この関係を示すには、左辺
15
![Page 16: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/16.jpg)
図 1 拡張 Pythagorasの定理
16
![Page 17: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/17.jpg)
を展開して
D(q + ϵ∆q‖q) = f(q + ϵ∆q)− f(q)− 〈ϵ∆q,Fq〉 (97)
=
{f(q) + ϵ
d
dδf(q + δ∆q)
∣∣∣∣δ=0
+1
2ϵ2d2
dδ2f(q + δ∆q)
∣∣∣∣δ=0
+ o(ϵ2)
}− f(q)− ϵ〈∆q,Fq〉 (98)
=
{f(q) + ϵ〈∆q,Fq〉+ 1
2ϵ2(∆q,∆q)q + o(ϵ2)
}− f(q)− ϵ〈∆q,Fq〉 (99)
=1
2ϵ2(∆q,∆q)q + o(ϵ2) (100)
となることを確かめればよい。途中の変形には、方向微分の性質 (83)や、(69)に相当す
る内積の性質を利用した*6。
*6 脚注*4 でも述べたとおり局所座標による単なる二階微分は一般にはテンソルにならない。しかしいまの場合は D の性質が効いて、座標に依存しない結果が得られる [5, 6, 7, 17]。実際、q を固定したときD(p∥q)が p = q で最小になることから、どんな(非線形の)局所座標でも
∂D(p∥q)∂pi
∣∣∣∣p=q=r
= 0
であることが保証される。この両辺を rj で偏微分すれば
∂2D(p∥q)∂pj∂pi
∣∣∣∣p=q=r
+∂2D(p∥q)∂qj∂pi
∣∣∣∣p=q=r
= 0
が得られる。左辺第 2 項は二変数関数 D(p∥q) を各変数について一度ずつ偏微分しただけなので、座標変換に際して 2 階テンソルと同じ変換則に従う。右辺は恒等的に 0 だから、左辺第 1 項も同じ変換則に従わなくてはならない。序論の (1)も同様の事情による。あるいはもっと直接的に、異なる座標 (pi′ )をとったときの変換則が
∂2D(p∥q)∂pj′∂pi′
∣∣∣∣∣p=q=r
=∑i
∂
∂pj′
(∂pi
∂pi′
∂D(p∥q)∂pi
)∣∣∣∣∣p=q=r
=∑i
∂pi
∂pi′
∂
∂pj′
∂D(p∥q)∂pi
∣∣∣∣∣p=q=r
+∑i
∂2pi
∂pj′∂pi′
∂D(p∥q)∂pi
∣∣∣∣∣p=q=r
=∑j,i
∂pj
∂pj′
∂pi
∂pi′
∂2D(p∥q)∂pj∂pi
∣∣∣∣∣p=q=r
+ 0
となることを確かめてもよい。これは二階テンソルの変換則そのものである。
17
![Page 18: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/18.jpg)
2.5 双対接続
P,Lはいずれももともと単なるベクトル空間なので、「平行移動」という操作が自然に可能である。これは明らかなことだが、念のため形式的にも書いておく。点 p ∈ P における接空間 TpP は P 自身と自然に同一視されるから、異なる二点 p, q ∈ P の接空間に対
してもTpP ∼= P ∼= TqP (101)
という同一視ができる。つまり、点 pにおける接空間の元 ∆p ∈ TpP は点 q における接
空間 TqP の元へ自然に対応づけられる。この対応づけを点 p から点 q への接ベクトル
∆p の平行移動と解釈する。このような接続 ΠP ,ΠL のもとで空間 P,L が平坦になること、すなわち平行移動が途中の経路によらないことは自明である。
ただし、ΠP ,ΠL はそれぞれ単独では内積を保存しない。したがって、ΠP ,ΠL は Levi-
Civita接続ではない。かわりに成り立つのは次の性質である。点 p ∈ P における接ベク
トル ∆p,∆q ∈ TpP を別の点 p′ ∈ P へそれぞれ移したものを ∆p′,∆q′ ∈ Tp′P としよう。ただし、∆pの方は ΠP で平行移動する。一方、∆q の方は F∗ で Fp ∈ Lの接ベクトルに移しておいて、ΠL により Fp′ ∈ Lまで平行移動し、G∗ で p′ ∈ P の接ベクトルに
戻す。このとき、(∆p,∆q)p = (∆p′,∆q′)p′ (102)
この意味で ΠP と ΠL は互いに双対接続 [1, 2, 3]と呼ばれる。
上式が成り立つことは、接続 ΠP ,ΠL の定義からほぼ自明であろう。接空間と空間自身
とを同一視するとき、ベクトル空間 P,Lの元として
∆p = ∆p′ ∈ P (103)
F∗∆q = F∗∆q′ ∈ L (104)
なのだから、当然
(∆p,∆q)p = 〈∆p,F∗∆q〉 (105)
= 〈∆p′,F∗∆q′〉 (106)
= (∆p′,∆q′)p′ (107)
である。
18
![Page 19: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/19.jpg)
2.6 ダイバージェンス最小化
n次元部分多様体M ⊂ P と点 p ∈ P が与えられたとき、M上で pに最も近い点 q を
求める問題を考える。近さは D で測るものとする。
q = arg minq∈M
D(p‖q) (108)
拡張 Pythagorasの定理から、q において D が最小となるには、l = F q が
〈(p− G l),∆l〉 = 0 for all ∆l ∈ TlFM (109)
を満たさなくてはならない [1, 2, 3, 8]。FM ⊂ L は写像 F によるM の像を表し、
TlFMは点 lにおけるその接空間を表す。
あるいは、次のような計算から (109)を直接導くこともできる。FM上で定義された
関数h(l) = D(p‖Gl) = f(p) + g(l)− 〈p, l〉 (110)
に (82)を適用すれば、点 lにおける ∆l方向の方向微分が
(∆l)[h] = 0 + 〈Gl,∆l〉 − 〈p,∆l〉 = −〈(p− G l),∆l〉 (111)
となることがわかる。これが任意の接ベクトル ∆l ∈ TlFMについて 0であるという要
請を述べたのが (109)である。
特に、埋め込み FM ⊂ Lが ΠL に関して平坦*7なときには、拡張 Pythagorasの定理
から (109)が最小点の必要十分条件になる。よって特に、
M = G(span{e1, . . . , en}) (112)
と表される ΠL-平坦なM上での近似問題を解くには、
〈p, ej〉 = 〈q, ej〉 (j = 1, 2, . . . , n) (113)
を満たす点 q ∈ Mを求めればよい。
*7 FMの接ベクトルを外側の接続 ΠL で平行移動してもやはり FMの接ベクトルになるとき、埋め込みFM ⊂ Lは ΠL に関して平坦であると言う。あるいは、FMは自己平行であるとも言う。
19
![Page 20: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/20.jpg)
2.7 シフトとスケーリング
最後に補足として、空間のシフトおよびスケーリングについて述べる。
a > 0を正定数、e0 ∈ Lを定ベクトルとし、P 上の新しいポテンシャル関数
f(p) = af(p) + 〈p, e0〉 (114)
を考えよう。この f から導かれる情報幾何の構造は、元の f による情報幾何の構造と次
のように対応する。
p = p ∈ P (115)
l = al + e0 ≡ Al ∈ L (116)
f(p) = af(p) + 〈p, e0〉 (117)
F p = df(p) = AFp (118)
G l = F−1 l = GA−1 l = Gl (119)
g(l) = 〈G l, l〉 − f(G l)= 〈Gl, al + e0〉 − (af(Gl) + 〈Gl, e0〉)= ag(l) (120)
D(p, q) = f(p)− f(q)− 〈(p− q), F q〉= (af(p) + 〈p, e0〉)− (af(q) + 〈q, e0〉)− 〈(p− q), (aFq + e0)〉= aD(p, q) (121)
∆p = ∆p (同一視 ∆p ∈ TpP ∼= P ∼= TpP 3 ∆p のもとで) (122)
∆l = a∆l (同一視 ∆l ∈ TlL ∼= L ∼= TlL 3 ∆l のもとで) (123)
F∗∆p = A∗F∗∆p = aF∗∆p (124)
G∗∆l = G∗∆l (125)
(∆p,∆q)p = 〈∆p, F∗∆q〉 = 〈∆p, aF∗∆q〉 = a(∆p,∆q)p (126)
(∆l,∆m)l = 〈G∗∆l,∆m〉 = 〈G∗∆l, a∆m〉 = a(∆l,∆m)l (127)
この結果から特に次のことがわかる。
1. 空間 P,Lのスケーリングやシフトは本質的ではない。それらはポテンシャル関数の簡単な変換により実現できる。
2. ダイバージェンスや計量における定数倍の違いも本質的ではない。この違いは空間
P,Lのスケーリングにより吸収できる。
20
![Page 21: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/21.jpg)
3 擬似平面および擬似球面上の情報幾何
本節では部分多様体上の情報幾何を論じる。特に、部分多様体の擬似平面性および擬似
球面性という概念を導入し、それが情報幾何における様々な特性と密接に関係しているこ
とを述べる。なお、本節の「部分多様体」P1, L1 は、通常の情報幾何における「全空間」
(確率分布全体の集合)を指すことに注意されたい。外側の空間 P,Lはその場合、正規化されていない不適切な分布まで含めた拡大空間になる。
アファイン微分幾何 [16]の用語で言えば、擬似平面はグラフはめ込みに、擬似球面は中
心アファイン超曲面に相当する。しかし本稿では、両者の果す役割の対応を考慮して、二
つの用語の釣合いがとれるよう端的な呼称を導入した。
3.1 部分多様体 P1, L1 上の情報幾何
P1 を P の連結な部分多様体とし、F によるその像を
L1 = FP1 ⊂ L (128)
と置こう。このような P1, L1 上での情報幾何が応用上重要である。
P1 上の点 pにおける接ベクトル∆p ∈ TpP1 を F∗ で移すと、得られる F∗∆pは対応す
る点 l = Fpにおける L1 の接ベクトルとなる。逆に、L1 の接ベクトルを G∗ で移せば P1
の接ベクトルが得られる。この意味でも、一対一対応 F ,G に基く P1 ⊂ P と L1 ⊂ Lとの同一視に破綻はない。
2.5項までの議論は P1, L1 上でも当然成り立っている。ただし、拡張 Pythagorasの定
理に現れる (Fr−Fq)については、Frと Fq とを結ぶ L内の線分は一般に L1 からはみ
出てしまうことに注意を要する。P における (p − q)の方も一般には同様である。また、
点 l ∈ L1 における(L1 の)接ベクトル ∆l ∈ TlL1 を ΠL で平行移動した結果も、L1 の
接空間からはみ出てしまう。すなわち、埋め込み L1 ⊂ Lは平坦ではない。P1 ⊂ P の方も一般には同様である。
性質の良い P1, L1 では、(Fr−Fq)や (p− q)を射影して、拡張 Pythagorasの定理を
P1, L1 上で記述することもできる*8。これについては 3.2.4項で改めて述べる。
接続については一般に、はみ出た分を何らかの方向へ射影して P1, L1 の接空間へ戻し
*8 射影すること自体はどんな P1, L1 でも可能だが、射影先で拡張 Pythagoras 型の命題が成り立つとは限らない。
21
![Page 22: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/22.jpg)
てやることにより、P1, L1 上の接続 ΠP1,ΠL1
が定義される [16]。次のように考えると直
感的に理解しやすいであろう:点 p ∈ P1 における P1 のベクトル ∆p ∈ TpP1 をごく近く
の点 q ∈ P1 へ微小平行移動するには、まず ΠP で微小平行移動して∆p ∈ TqP とみなし、さらにそれを線形部分空間 TqP1 ⊂ TqP へ射影すればよい。離れた点への平行移動はこれを積分することで得られるが、結果は一般に経路に依存する。つまり、接続 ΠP1
,ΠL1
に関して多様体 P1, L1 自身は一般に平坦ではない。なお、射影の方向は、計量 (·, ·)p に基いて P1 の接空間へ直交射影を施すのが最も典型的である。今後は特に断らない限りこ
れに従う。そのとき、P1 上の共変微分∇は、P における共変微分D(つまり単なる方向
微分)および P1 の法ベクトル場 ξ を用いて
∇XY = DXY − h(X,Y )ξ (129)
と表される。ここに X,Y は P1 上の接ベクトル場であり、スカラー場 h(X,Y )は ∇XY
が P1 に接するという条件から定まる。hは対称な共変二階テンソルになり、ξ に関する
アファイン基本形式 (affine fundamental form)と呼ばれる [16]。
3.2 擬似平面
3.2.1 平面と擬似平面
ある e0 ∈ Lが存在し、部分多様体 L1 ⊂ L上の各点 lにおける法空間
NlL1 = {∆k ∈ TlL | (∆k,∆l)l = 0 for all ∆l ∈ TlL1} ⊂ TlL (130)
がいずれも(ベクトルとしての)e0 ∈ TlLで張られるとき、L1 を擬似平面と呼ぶことに
する。部分多様体 L1 ⊂ Lが擬似平面であることは、対応する部分多様体 P1 = GL1 ⊂ Pが線形関数
ϕ(p) = −〈p, e0〉 (131)
の等位面であること*9、すなわち C を定数として
P1 = {p ∈ P | 〈p, e0〉 = C} (132)
と書けることと同値になる。これは要するに、ベクトル空間 P において P1 が通常の意味
での平面であることを主張している。
L1が擬似平面⇔ P1が平面 (⇔ 埋め込み P1 ⊂ P がΠPに関して平坦) (133)
P1が擬似平面⇔ L1が平面 (⇔ 埋め込み L1 ⊂ LがΠLに関して平坦) (134)
*9 マイナスをつけて定義しているのは、後に (199)で定義する ψ との対応を意識しているためである。
22
![Page 23: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/23.jpg)
同値性が成り立つ理由は次のとおりである。L1 上の点 l における(Lの)接ベクトルを ∆l としよう。対応する点 p = Gl ∈ P1 における(P の)接ベクトル ∆p = G∗∆l は、
内積や接ベクトルの定義から
(∆l, e0)l = 〈∆p, e0〉 =d
dt〈p+ t∆p, e0〉
∣∣∣∣t=0
= −(∆p)[ϕ] (135)
を満たす。特に、内積 (∆l, e0)l が 0になることは、接ベクトル ∆pによる ϕの方向微分
が 0なことと等価である。したがって、L1 の法空間が e0 で張られることは、P1 が ϕの
等位面であることを意味する。なぜなら、前者は点 l において e0 に直交する接ベクトル
∆l ∈ TlL の集合が接空間 TlL1 に一致することを主張しているからである。上式により
その主張は、方向微分 ∆p[ϕ]が 0となる接ベクトル ∆p ∈ TpP の集合が接空間 TpP1 に
一致すると言いかえられる。これは P1 が ϕの等位面であることを意味する。
3.2.2 擬似平面上の接続
いま示したとおり、L1 ⊂ Lが擬似平面なら P1 ⊂ P は平面である。したがってこのとき、P1上の接続 ΠP1
は、単に ΠP の定義域を制限するだけで得られる。埋め込み P1 ⊂ Pが接続 ΠP に関して平坦なことも、P1 自身が接続 ΠP1
に関して平坦なことも、共に自明
である。
一方、埋め込み L1 ⊂ Lは接続 ΠL に関して一般に平坦ではない。このため、L1 上の
接続を定義する際には、3.1節で述べたようにはみ出た分を何らかの方向へ射影する必要
がある。すでに約束したとおり、擬似平面 L1 に対して接続 ΠL1と単に書いたら、直交射
影に基く接続を指すことにしよう。
擬似平面 L1 の場合は、この直交射影がどの点 l ∈ L1 においても一定方向 e0 ∈ Lとなる。射影の方向が経路上の全行程で常に一定なため、平行移動は経路に依存しない。つ
まり、L1 自身は ΠL1に関して平坦である。実際、点 l ∈ L1 における L1 の接ベクトル
∆l ∈ TlL1 を別の点 l′ ∈ L1 へ平行移動した結果は
∆l′ = ∆l − ce0 (136)
の形にしかなり得ず、実数 cは ∆l′ ∈ Tl′L1 という条件、すなわち (∆l′, e0)l′ = 0という
条件から定められる。したがって
∆l′ = ∆l − (∆l, e0)l′
(e0, e0)l′e0 (137)
という具体的な変換式が得られる。これは微小移動に限らず離れた l, l′ 間でも成立し、
∆l′ は平行移動の経路には依存しない。
23
![Page 24: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/24.jpg)
平坦性に関する以上の議論をまとめておこう。L1 が擬似平面のとき、
• P1 自身は ΠP1-平坦であり、埋め込み P1 ⊂ P も ΠP -平坦
• L1 自身は ΠL1 -平坦だが、埋め込み L1 ⊂ Lは一般に ΠL-平坦ではない
最後に、接続 ΠP1,ΠL1
の双対性も容易に示される。点 p ∈ P1 における接ベクトル
∆p,∆q ∈ TpP1 を別の点 p′ へ移すとしよう。∆pの方は ΠP1により平行移動する。この
とき、得られる ∆p′ ∈ TpP1 はベクトルとしては
∆p′ = ∆p ∈ P1 (138)
である。一方、∆q については、対応する ∆l = F∗∆q を点 l = Fp から l′ = Fp′ までΠL1
により平行移動し、得られた
∆l′ = ∆l − ce0 (139)
を G∗ で戻して∆q′ = G∗∆l
′ ∈ Tp′P1 (140)
とする。規格化定数 cの具体的表記は不要なので省略した。移動後の内積は
(∆p′,∆q′)p′ = 〈∆p′,∆l′〉 (141)
= 〈∆p, (∆l − ce0)〉 (142)
= 〈∆p,∆l〉 − c〈∆p, e0〉 (143)
= (∆p,∆q)p + 0 = (∆p,∆q)p (144)
となり、確かに移動前と等しい。
3.2.3 擬似平面内での平坦性
擬似平面 L1 への埋め込みM ⊂ L1 が接続 ΠL1に関して平坦なことは、Mを拡張した
多様体M = {l + ce0 | l ∈ M, c ∈ R} ⊂ L (145)
を考えたときに、埋め込み M ⊂ Lが接続 ΠL に関して平坦なことと同値になる。これを
示すには次の補題を用いればよい:点 l ∈ Mにおける Lの接ベクトル ∆l が Mに接す
ることは、
l = l + ce0, l ∈ M, c ∈ R (146)
∆l = ∆l + be0, ∆l ∈ TlM, b ∈ R (147)
24
![Page 25: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/25.jpg)
と表せることと同値である。
上の補題を用いて、埋め込み M ⊂ Lの平坦性から埋め込みM ⊂ L1 の平坦性をまず
導く。点 l ∈ MにおけるMの接ベクトル ∆lを別の点 l′ ∈ Mへ ΠL-平行移動して、Lの接ベクトル ∆l′ を得たとしよう。ΠL とは「何もしない接続」だったから、ベクトルと
しては単に ∆l′ = ∆l ∈ Lである。ここでもし埋め込み M ⊂ Lが接続 ΠL に関して平坦
なら、∆l′ は Mの接ベクトルにならなくてはいけない。つまり、ベクトル ∆l は点 l′ に
おいても Mに接していなくてはいけない。補題から、このとき l′ におけるMの接ベク
トル∆l′ と実数 b′ が存在して、∆l′ = ∆l′ + b′e0 (148)
と表される。すると∆l′ = ∆l − b′e0 (149)
の形の関係が導かれる。左辺の ∆l′ はM ⊂ L1 の接ベクトルだから、当然 L1 の接ベク
トルでもある。前項の議論をふまえると、上式は、∆lを接続 ΠL1 で平行移動したものが
∆l′ であることを表している。こうして結局、M の接ベクトルを ΠL1-平行移動しても
Mの接ベクトルになること、すなわち、埋め込みM ⊂ L1 の ΠL1-平坦性が示された。
逆に、埋め込みM ⊂ L1 の平坦性から埋め込み M ⊂ Lの平坦性が導かれることも示そう。M上の点 lにおける Mの接ベクトルを∆lとし、これを M上の別の点 l′ へ ΠL-
平行移動したとする。ΠL とは「何もしない接続」だったから、平行移動の結果はベクト
ルとしては ∆l ∈ Lのまま変わらない。さて、点 l, l′ は、M上の点 l, l′ と実数 c, c′ を用
いて
l = l + ce0 (150)
l′ = l′ + c′e0 (151)
の形に表される。また、上の補題から、接ベクトル ∆lも
∆l = ∆l + be0 (152)
の形で書ける。ここに、∆lは点 lにおけるMの接ベクトル、bは実数である。いま、接
ベクトル∆l ∈ TlMを点 lから l′ へ ΠL1-平行移動した結果を∆l′ とおこう。前項の議論
から、ある実数 b′ があって、∆l′ = ∆l − b′e0 (153)
と書ける。そして、M ⊂ L1 が ΠL1-平坦なら、∆l′ もMの接ベクトルにならないとい
けない。すると∆l = ∆l′ + (b+ b′)e0, ∆l′ ∈ Tl′M (154)
25
![Page 26: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/26.jpg)
という関係が成り立つから、ふたたび補題により、∆l は点 l′ における Mの接ベクトル
である。こうして、Mの接ベクトルを ΠL-平行移動しても Mの接ベクトルになること、
すなわち、埋め込み M ⊂ Lの ΠL-平坦性が示された。
以上により、埋め込みM ⊂ L1 の平坦性は埋め込み M ⊂ L の平坦性と等価である。特に、L1 上の点 l, l′ を結ぶ線分
A = {(1− t)l + tl′ | 0 ≤ t ≤ 1} ⊂ L (155)
に対して拡張A = {r + ce0 | r ∈ A, c ∈ R} ⊂ L (156)
を作ると、A ∩ L1 が l, l′ を結ぶ ΠL1-測地線になる。
3.2.4 測地線に関する拡張 Pythagorasの定理
L1 が 擬似平面の場合には、測地線を用いることにより、拡張 Pythagoras の定理を
P1, L1 上で言いかえることができる。
対応 F ,G により P1 と L1 を同一視して、点 p ∈ P1 と q ∈ P1 を ΠP1 -測地線で結び、q
と r ∈ P1 を ΠL1-測地線で結んだとしよう*10。このとき、qにおいて二本の測地線が直交
する(それぞれの方向の接ベクトル ∆p,∆r ∈ TqP1 が (∆p,∆r)q = 0となる)なら、
D(p‖q) +D(q‖r) = D(p‖r)
である。これを示すには、〈(p − q), (Fr − Fq)〉 = 0 であることを確認すればよい。
ΠP1,ΠL1
の定義から
p− q ∝ ∆p (157)
Fr −Fq ∝ F (q)∗ ∆r − ce0 (cは実数) (158)
なので、確かに
〈(p− q), (Fr −Fq)〉 ∝ 〈(p− q),F (q)∗ ∆r〉 − c〈(p− q), e0〉 (159)
= (p− q,∆r)q + 0 (160)
∝ (∆p,∆r) = 0 (161)
が成り立っている。途中の式変形には、p, q ∈ P1 に対して 〈p, e0〉 = 〈q, e0〉という擬似平面の特徴を利用した。
*10 Fq ∈ L1 と Fr ∈ L1 とを ΠL1-測地線で結び、それを G により P1 上へ引き戻せば、q, r を結ぶ曲線
が得られる。この曲線を P1 における ΠL1-測地線とみなす。
26
![Page 27: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/27.jpg)
3.3 擬似球面
3.3.1 等ポテンシャル面と擬似球面
部分多様体 P1 ⊂ P 上の各点 pにおける法空間
NpP1 = {∆k ∈ TpP | (∆k,∆p)p = 0 for all ∆p ∈ TpP1} ⊂ TpP (162)
がいずれも(ベクトルとしての)p ∈ TpP 自身で張られるとき、P1を擬似球面と呼ぶことに
する。部分多様体 P1 ⊂ P が擬似球面であることは、対応する部分多様体 L1 = FP1 ⊂ Lがポテンシャル関数の等位面であることと同値になる。
P1が擬似球面⇔ L1が g の等位面 (163)
L1が擬似球面⇔ P1が f の等位面 (164)
同値性が成り立つ理由は次のとおりである。P1 上の点 pにおける(P の)接ベクトルを ∆pとしよう。対応する点 l = Fp ∈ L1 における(Lの)接ベクトル ∆l = F∗∆pは、
(82)から(∆l)[g] = (p,∆p)p (165)
を満たす。特に、内積 (p,∆p)p が 0になることは、接ベクトル∆lによる gの方向微分が
0なことと等価である。したがって、P1 の法空間が pで張られることは、L1 が g の等位
面であることを意味する。なぜなら、前者は点 pにおいてベクトル pに直交する接ベクト
ル∆p ∈ TpP の集合が接空間 TpP1 に一致することを主張しているからである。上式によ
りその主張は、方向微分 ∆l[g]が 0となる接ベクトル ∆l ∈ TlLの集合が接空間 TlL1 に
一致すると言いかえられる。これは L1 が g の等位面であることを意味する。
P1が擬似球面のときには、対応する L1 = FP1が gの等位面となることから、p, q ∈ P1
のダイバージェンスは
D(p‖q) = −g(Fp) + g(Fq) + 〈p, (Fp−Fq)〉 (166)
= 〈p, (Fp−Fq)〉 (167)
と書ける。これはもちろん 〈p,Fp〉 − 〈p,Fq〉 と書いても良いが、〈p,F(p− q)〉 とは一般に異なることを念のため注意しておく。
この場合、不等式 D(p‖q) ≥ 0から
〈p,Fp〉 ≥ 〈p,Fq〉 (168)
27
![Page 28: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/28.jpg)
が導かれ、等号は p = q のとき、そしてそのときに限り成り立つ。したがって、本稿の枠
組による擬似球面上の情報幾何は、[4]の構成法により得られる統計多様体の構造に一致
する。ただし [4] は、部分多様体上で (168) が成り立つことの方を前提としている点で、
本稿とは逆向きの議論になっている。[4]においては、(168)は計量の正値性を保証する役
割を持つ。一方、本稿の立場では、(168) は擬似球面性の単なる言いかえである。実際、
l = Fpと置くとき (168)は〈p, l〉 = max
m∈L1
〈p,m〉 (169)
を意味するので、lにおける L1 の任意の接ベクトル ∆lに対して
〈p,∆l〉 = 0 (170)
が導かれる。これを P1 の側で書けば、pにおける P1 の任意の接ベクトル∆p = G∗∆lに
対して(p,∆p)p = 0 (171)
という擬似球面の定義式になる。
3.3.2 擬似球面上の接続
擬似球面という条件を課しても、埋め込み P1 ⊂ P は ΠP に関して一般にはやはり平坦
でない。そのような場合に P1 上の接続 ΠP1が射影に基いて定義されることや、射影方向
は直交射影が最も典型的なことは、すでに述べた。P1 が擬似球面のとき、点 p ∈ P1 の接
空間におけるこの直交射影の方向は、ベクトルとしての pで与えられる。すでに約束した
とおり、擬似球面 P1 に対して接続 ΠP1 と単に書いたら、この直交射影に基く接続を指す
ことにする。P1 自身は ΠP1に関して一般には平坦でない。
3.3.3 擬似球面内での平坦性
P1 が 擬似球面であることは、P1, L1 自身の平坦性も、埋め込み P1 ⊂ P, L1 ⊂ L の平坦性も導かない。その話題はここまでとし、ここからは、擬似球面 P1 への埋め込み
M ⊂ P1 について平坦性を議論しよう。
ある線形部分空間 M ⊂ P が存在して
M = M ∩ P1 (172)
と書けるときには、埋め込みM ⊂ P1 は上の接続 ΠP1 に関して平坦である。一般の埋め
込みM ⊂ P1 が ΠP1に関して平坦か否かは、Mを拡張した多様体
M = {cp | p ∈ M, c > 0} ⊂ P (173)
28
![Page 29: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/29.jpg)
により判定できる。埋め込みM ⊂ P1 が接続 ΠP1に関して平坦なことは、埋め込み
M ⊂ P が接続 ΠP に関して平坦なことと同値になる。これを示すには、次の補題を用い
ればよい:点 p ∈ Mにおける P の接ベクトル∆pが Mに接することは、
p = cp, p ∈ M, c > 0 (174)
∆p = ∆p+ bp, ∆p ∈ TpM, b ∈ R (175)
と表せることと同値である。
上の補題を用いて、埋め込み M ⊂ P の平坦性から埋め込みM ⊂ P1 の平坦性をまず
導く。点 p ∈ MにおけるMの接ベクトル ∆pをごく近くの点 p′ ∈ Mへ ΠP -微小平行
移動して、P の接ベクトル ∆p′ を得たとしよう*11。ΠP とは「何もしない接続」だった
から、ベクトルとしては単に ∆p′ = ∆p ∈ P である。ここでもし埋め込み M ⊂ P が接続 ΠP に関して平坦なら、∆p′ は Mの接ベクトルにならなくてはいけない。つまり、ベ
クトル ∆pは点 p′ においても Mに接していなくてはいけない。補題から、このとき p′
におけるMの接ベクトル∆p′ と実数 b′ が存在して、
∆p′ = ∆p′ + b′p′ (176)
と表される。すると∆p′ = ∆p+ b′p′ ≈ ∆p+ b′p (177)
の形の関係が導かれる(b′p′ と b′pとの差は、∆p′ −∆p = b′p′ に比べて高次の微少量な
のでいまは無視してよい)。左辺の ∆p′ はM ⊂ P1 の接ベクトルだから、当然 P1 の接ベ
クトルでもある。ΠP1 の定義をふまえると、上式は、∆pを接続 ΠP1 で微小平行移動した
ものが ∆p′ であることを表している。こうして結局、M の接ベクトルを ΠP1-平行移動
してもMの接ベクトルになること、すなわち、埋め込みM ⊂ P1 の ΠP1-平坦性が示さ
れた。
逆に、埋め込みM ⊂ P1 の平坦性から埋め込み M ⊂ P の平坦性が導かれることも示そう。M上の点 pにおける Mの接ベクトルを ∆pとし、これを M上のごく近くの点
p′ へ ΠP -平行移動したとする。ΠP とは「何もしない接続」だったから、平行移動の結果
はベクトルとしては ∆p ∈ P のまま変わらない。さて、点 p, p′ は、M上の点 p, p′ と実
数 c, c′ > 0を用いて
p = cp (178)
p′ = c′p′ (179)
*11 P1 自身が ΠP1-平坦でないため、「微小な」平行移動を議論する必要がある。この点が擬似平面とは異な
る。
29
![Page 30: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/30.jpg)
の形に表される。また、上の補題から、接ベクトル ∆pも
∆p = ∆p+ bp (180)
の形で書ける。ここに、∆pは点 pにおけるMの接ベクトル、bは実数である。いま、接
ベクトル ∆p ∈ TpMを点 pから p′ へ ΠP1-微小平行移動した結果を ∆p′ とおこう。ΠP1
の定義から、ある実数 b′ があって、
∆p′ ≈ ∆p− b′p (181)
と書ける。そして、M ⊂ P1 が ΠP1-平坦なら、∆p′ もMの接ベクトルにならないとい
けない。すると
∆p ≈ ∆p′ + (b+ b′)p ≈ ∆p′ + (b+ b′)p′, ∆p′ ∈ Tp′M (182)
という関係が成り立つ。なお、(b+ b′)pと (b+ b′)p′ との差は、∆p′ −∆pに比べて高次
の微少量なのでいまは無視してよい。したがって、ふたたび補題により、∆pは点 p′ にお
ける Mの接ベクトルである。こうして、Mの接ベクトルを ΠP -平行移動しても Mの
接ベクトルになること、すなわち、埋め込み M ⊂ P の ΠP -平坦性が示された。
以上により、埋め込みM ⊂ L1 の平坦性は埋め込み M ⊂ L の平坦性と等価である。特に、P1 上の点 p, q を結ぶ線分
A = {(1− t)p+ tq | 0 ≤ t ≤ 1} ⊂ P (183)
に対して拡張A = {cr | r ∈ A, c ∈ R} ⊂ P (184)
を作ると、A ∩ P1 が、p, q を結ぶ P1 内の ΠP1 測地線になる。
3.3.4 平坦性に関する補足
前項で示した同値性についての補足として、アファイン微分幾何の記法を用いたより正
確な証明もここに記しておく。
3.1節で述べたように、P1 上の共変微分 ∇は、P における共変微分 D(つまり単なる
方向微分)および P1 の法ベクトル場 ξ(p) = −pを用いて
∇XY = DXY − h(X,Y )ξ (185)
と表される。ここに X,Y は P1 上の接ベクトル場である。
30
![Page 31: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/31.jpg)
いま、埋め込み M ⊂ P が ΠP -平坦だったとしよう。つまり、M上の任意の接ベクト
ル場 X, Y に対して、DX Y がふたたび Mの接ベクトル場になるとしよう。特に、Mの
接ベクトル場 X,Y に対しても DXY が Mに接することが保証されるので、補題から
DXY (p) = Z(p) + b(p)p, Z(p) ∈ TpM, b(p) ∈ R, p ∈ M (186)
と書ける。Z = DXY − bξ の形で P1 の接ベクトル場 Z が得られたことから、この Z は
∇XY に他ならない。よって ∇XY はM の接ベクトル場である。すなわち、埋め込み
M ⊂ P1 は ΠP1-平坦である。
逆を示すために、実数 c > 0を用いたスケーリング
κ : P → P : p→ 1
cp (187)
を考える。κは全単射である。しかも κは Mを M自身へ移す。よってその微分 κ∗ は、
Mの接ベクトルを Mの接ベクトルへと移す。また、κ∗ で Mの接ベクトルに移るもの
は Mの接ベクトルに限られる。さらに、κは接続 ΠP を保つ:
κ∗(DX Y ) = Dκ∗(X)κ∗(Y ) (188)
以上から、DX Y が Mに接することは、Dκ∗(X)κ∗(Y )が Mに接することと同値になる。
さて、いま埋め込みM ⊂ P1 が ΠP1 -平坦だったとしよう。つまり、M上の任意の接
ベクトル場 X,Y に対して ∇XY がふたたびMの接ベクトル場になるとしよう。このと
き埋め込み M ⊂ P が ΠP -平坦であることを示す。つまり、M上の任意の接ベクトル場
X, Y に対して、DX Y がふたたび Mの接ベクトル場になることを示す。
M上の点 pは一般に、ある実数 c > 0を用いて p = cpと書けるのであった(p ∈ M)。前述の写像 κを施せば、pにおける議論は κ(p) = p ∈ Mへと移される。よって、M上
の点 pで DX Y (p)が Mに接することさえ保証できればよい。
ここで、X, Y について補題を適用し、
X = X − aξ (189)
Y = Y − bξ (190)
のように分解しておく。a, bは M上のスカラー場、X,Y は M上の接ベクトル場であっ
て、p ∈ Mと c > 0に対して
X(cp), Y (cp) ∈ TpM (191)
31
![Page 32: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/32.jpg)
という条件を満たす*12。すると DX Y は
DX Y = DXY −DX(bξ) (192)
= DXY − aDξY −DX(bξ) (193)
と分解される。得られた右辺の各項がいずれも、M上の点 pにおいて Mに接すること
を示そう。
1. M上では X も Y もMに接するから、すでに述べたとおり
DXY (p) = ∇XY (p) + h(X,Y )ξ(p) (194)
と書ける。前提から ∇XY (p) はふたたびM の接ベクトルとなるので、補題より
DXY (p)は Mに接する。
2. 任意の c > 0に対し Y (cp) ∈ TpMなのだから、
DξY (p) =∂
∂tY (p+ tp)
∣∣∣∣t=0
=∂
∂cY (cp)
∣∣∣∣c=1
(195)
も TpMに属する。よって特に DξY (p)は Mにも接する。
3. 共変微分(方向微分)の性質より、
DX(bξ) = X[b]ξ + bDXξ (196)
が成り立つ。右辺の第一項は ξ に比例し、第二項は ξ(p) = −p から −bX に等しい。よって補題から DX(bξ)(p)はやはり Mに接する。
これで、DX Y は Mの接ベクトル場になることが示された。つまり、埋め込み M ⊂ Pは ΠP -平坦である。
3.3.5 有限次元平面との交わり
引き続き P1 を擬似球面としよう。本項では、Lにおける有限次元平面と L1 との交わ
りについて議論する。対応 F ,G による同一視を意識して言い直せば、ある定数 C と線形
独立なベクトル l0, e0, e1, . . . , en ∈ Lを用いて
FM ={l = l0 +
n∑k=0
θkek
∣∣∣ g(l) = C, θ0, . . . , θn ∈ R}⊂ L1 = {l ∈ L | g(l) = C}
(197)
*12 点 cpにおける接ベクトル X(cp)を点 pまで ΠP -平行移動したと解釈してもよいし、κ∗(X)の点 pにおける値と解釈してもよい。
32
![Page 33: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/33.jpg)
と表されるような n次元部分多様体M ⊂ P1 について議論する*13。このように
Fp = l = l0 +n∑k=0
θkek (198)
と表したときの θ0, . . . , θn を、p ∈ Mないし l ∈ FMの斉次 θ 座標と呼ぶことにする。
斉次 θ 座標には g(l) = C という制約条件が課されるため、(縮退した場合を除けば)
θ0, . . . , θnのうち n個を指定すると残る 1個も自動的に定まる。そこで、θ = (θ1, . . . , θn)
を非斉次 θ 座標もしくは単に θ 座標と呼ぶことにして、θ を指定したときの θ0 の値を
θ0 = −ψ(θ) (199)
と置く。このときの l ∈ Lおよび p ∈ P を
l(θ) = l0 +n∑k=1
θkek − ψ(θ)e0, p(θ) = Gl(θ) (200)
と表そう*14 。すべての θ で恒等的に
g(l(θ)) = g
(l0 +
n∑k=1
θkek − ψ(θ)e0
)= C (201)
が成り立つことから、両辺を θk で偏微分して
〈p(θ), ek〉 −∂ψ(θ)
∂θk〈p(θ), e0〉 = 0 (k = 1, . . . , n) (202)
が得られる。なぜなら、g(l(θ))を θk で偏微分することは、内側の偏微分
∂l(θ)
∂θk= ek −
∂ψ(θ)
∂θke0 (203)
を点 l(θ)における接ベクトル ∆lと解釈して方向微分 (∆l)[g]を求めることに等しいから
である。あとはこれに g の方向微分の性質 (82)を適用すればよい。
∂g(l(θ))
∂θk= (∆l)[g] = 〈p(θ),∆l〉 (204)
= 〈p(θ), ek〉 −∂ψ(θ)
∂θk〈p(θ), e0〉 (205)
*13 ただし、l0 = oは特例として許し、その場合は残りの e0, e1, . . . , en が線形独立であることを要求する。*14 このとき、ある r0 ∈ P を用いて ψ(θ) = −⟨r0, l(θ)⟩ と表すことができる。この意味で ψ は (131) の
ϕと対応するものである。なお、r0 としては、⟨r0, l0⟩ = ⟨r0, e1⟩ = · · · ⟨r0, en⟩ = 0 かつ ⟨r0, e0⟩ = 1
であるような元をとればよい。
33
![Page 34: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/34.jpg)
情報幾何の最も標準的な設定においては 〈p(θ), e0〉が常に一定値となり、その場合は関数 ψ(θ) に着目することが特に有用である(3.5.1 項および 4.5 項)。なお、関数 ψ(θ) も
しばしばポテンシャル関数と呼ばれるが、本稿ではその呼称は f, g にのみ用いることに
する。
3.3.6 ダイバージェンス最小化
3.3.5項と同じ前提のもとで (197)のように表される部分多様体M ⊂ P1 と点 p ∈ P1
が与えられたとき、ダイバージェンスで測って pに最も近い点
q = arg minq∈M
D(p‖q) (206)
を求めたいとしよう。擬似球面性から
D(p‖q) = 〈p,F p〉 − 〈p,Fq〉 (207)
なので、Dの最小化は l = Fq に対する 〈p, l〉の最大化に帰着される。そこで、Lagrange
未定係数法によりこれを解く。
まず、斉次座標
l = l0 +n∑k=0
θkek, q = Gl (208)
を用いてJ = 〈p, l〉 − λg(l) (209)
と置く。そして、θk による J の偏微分が 0になることを要求すれば、3.3.5項と同様に g
の方向微分の性質 (82)から
∂J
∂θk= 〈p, ek〉 − λ〈q, ek〉 = 0 (k = 0, . . . , n) (210)
を得る。したがって結局、 〈p, e0〉...
〈p, en〉
∝
〈q, e0〉...
〈q, en〉
(211)
を満たす q ∈ Mをみつけ出せばよい。
以上をふまえ、〈·, ·〉 の双線形性に着目すれば、次のような手順で q を求めることがで
きる。
34
![Page 35: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/35.jpg)
1. Mを拡張した多様体 Mを作る。
M = {cq | q ∈ M, c ∈ R} ⊂ P (212)
2. M上の点 q で、〈p, ek〉 = 〈q, ek〉 (k = 0, . . . , n) (213)
を満たすものを探す。
3. q を正規化して q を得る。すなわち、cq ∈ M となるような実数 c を求め、
q = cq ∈ Mを答える。
3.3.7 線形制約のもとでの線形関数最小化
後ほど q-正規分布 [13]を導出するための準備として、擬似球面 P1 ⊂ P に線形制約が与えられたときの線形関数最小化について最後に述べておく。
いま、線形独立な e0, e1, . . . , en ∈ Lと定数 η1, . . . , ηn が指定されたとしよう。このと
き、p ∈ P1 について、制約
〈p, ek〉 = ηk (k = 1, . . . , n) (214)
のもとで関数ϕ(p) = −〈p, e0〉 (215)
を最小化する問題を考える*15。
指定された η = (η1, . . . , ηn) に対して、制約を満たすような P1 上の点の集合を R(η)
と置こう。点 p ∈ R(η)における接ベクトル ∆p ∈ TpP が R(η)の接ベクトルであるため
には、P1 の接ベクトルであり、かつ制約式の左辺 〈p, ek〉 を変化させないことが必要十分である (k = 1, . . . , n)。P1 の接ベクトルであることは、l = Fp, ∆l = F∗∆pと置いて L1
が擬似球面であることを用いれば
0 = (∆l, l)l = 〈∆p, l〉 = 〈∆p,Fp〉 (216)
と言いかえられる。また、〈p, ek〉を変化させないことは、関数 hk(p) = 〈p, ek〉の方向微分が 0であると言いかえられる。
0 = (∆p)[hk] = 〈∆p, ek〉 (k = 1, . . . , n) (217)
*15 この関数は (131)と同じ形であり、マイナスをつけた理由も同じである。
35
![Page 36: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/36.jpg)
したがって、点 p ∈ R(η)における R(η)の接空間は
TpR(η) = {∆p ∈ TpP | 〈∆p,Fp〉 = 0 かつ 〈∆p, ek〉 = 0, k = 1, . . . n} (218)
と表される。さて、関数 ϕ(p) = −〈p, e0〉が点 pで最小値をとるためには、任意の接ベク
トル∆p ∈ TpR(η)に対して 〈∆p, e0〉 = 0でなくてはならない。したがって、
e0 ∈ span{Fp, e1, . . . , en} (219)
を得る。e0, e1, . . . , en ∈ P の線形独立性から、これは
Fp ∈ span{e0, e1, . . . , en} (220)
を意味する。前提から Fp ∈ L1 であることもあわせれば、結局
Fp ∈ span{e0, e1, . . . , en} ∩ L1 ≡ FM (221)
が言えた。
FM は L1 の部分多様体であり、3.3.5 項で議論した「L における有限次元平面と L1
との交わり」の一例となっている。
3.4 P1, L1 が共に擬似球面の場合
3.4.1 P1, L1 上の情報幾何
P1, L1 が共に擬似球面であることは、P1, L1 がそれぞれ f, g の等位面であることを意
味する。このときf(p) + g(Fp) = 〈p,Fp〉 (222)
も P1 上で一定値となる。また、p, q ∈ P1 に対するダイバージェンスは
D(p‖q) = f(p)− f(q)− 〈(p− q),Fq〉 (223)
= 〈(q − p),Fq〉 (224)
= 定数− 〈p,Fq〉 (225)
と表される。
さらに、接続 ΠP1,ΠL1
の双対性が次のように示される。|ϵ| � 1とし、点 p ∈ P1 にお
ける接ベクトル ∆p,∆q,∆r ∈ TpP1 をとり、∆p,∆q を p′ ∼ p + ϵ∆r へ微小移動すると
しよう。∼は o(ϵ)を除いて等しいことを表す。∆pを ΠP1により平行移動すると、
∆p′ ∼ ∆p− ϵap (226)
36
![Page 37: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/37.jpg)
の形になる。規格化定数 a の具体的表記はいまは必要ない。一方、∆q については、
∆l = F∗∆q を点 l = Fpから l′ = Fp′ まで ΠL1により平行移動した
∆l′ ∼ ∆l − ϵbl (227)
を G∗ で戻して∆q′ = G∗∆l
′ (228)
とする。規格化定数 bの具体的表記はやはり必要ない。移動後の内積は
(∆p′,∆q′)p′ = 〈∆p′,∆l′〉 (229)
∼ 〈∆p,∆l〉 − ϵa〈p,∆l〉 − ϵb〈∆p, l〉 (230)
= 〈∆p,∆l〉 − ϵa(p,∆p)p − ϵb(∆l, l)l (231)
= 〈∆p,∆l〉+ 0 + 0 = (∆p,∆q)p (232)
となり、確かに移動前と等しい。交叉項が 0となることは擬似球面性による。
3.3.5項では、Lにおける有限次元平面と L1 との交わり、つまり (197)のように表され
る部分多様体M ⊂ P1 について議論した。いまの場合は L1 も擬似球面なため、3.3.3項
で述べた平坦性の判定法を FM ⊂ L1 にも適用できる。すると、(197)のように表される
部分多様体Mに対して以下が同値なことがわかる。
1. l0 = o。つまり、FMは Lの線形部分空間と L1 との交わりで表される。
2. 埋め込み FM ⊂ L1 が接続 ΠL1 に関して平坦となる。
その場合のダイバージェンス最小化については 3.3.6 項で述べたとおりである。また、
3.3.7項の線形関数最小化の解集合が ΠL1-平坦となることもわかる。
3.4.2 ポテンシャル関数の特徴づけ
適当な制限のもとで、P1 と L1 が共に擬似球面となるのはべき乗型の f に限られるこ
とが証明される。
P を n次元ベクトル空間とし、成分表示
p = (p1, . . . , pn)T (233)
が与えられているとしよう。ポテンシャル関数 f としては、
f(p) =∑i
hi(pi) (234)
37
![Page 38: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/38.jpg)
という成分ごとの関数の和で書けるものを考える。この f から情報幾何を構築したとき
に、P1, L1 が共に擬似球面となるための条件を本項で求める。すなわち、f(p)が一定値
となるような p ∈ P については
g(Fp) =∑i
pi∂f(p)
∂pi− f(p) (235)
も一定値となることを要求して、h1, . . . , hn の満たすべき条件を求める。
この要求は、f の等位面上で ∑i
pi∂f(p)
∂pi(236)
が一定であることを主張している。言いかえれば、f を変えない方向の ∆p =
(∆p1, . . . ,∆pn)T に対しては
∑i
(pi + ϵ∆pi)∂f(p+ ϵ∆p)
∂pi=∑i
pi∂f(p)
∂pi+ o(ϵ) (|ϵ| � 1) (237)
が成り立つこと、すなわち
∑j
∆pj∂f(p)
∂pj+∑j
∑i
pi∂2f(p)
∂pi∂pj∆pj = 0 (238)
を主張している。ここで、f を変えない方向の ∆pとは、方向微分が
(∆p)[f ] =∑j
∂f(p)
∂pj∆pj = 0 (239)
を満たす ∆pのことだから、最後の主張の左辺第一項は自動的に 0である。したがって、
要求は ∑j
∑i
pi∂2f(p)
∂pi∂pj∆pj = 0 (240)
と等価になる。(239)を満たすすべての ∆pに対してこれが成り立つには、
∂f(p)
∂pj∝∑i
pi∂2f(p)
∂pi∂pj(j = 1, . . . , n) (241)
でなくてはならない(左辺と右辺の比が j によらない*16)。
*16 uに直交するすべての v についてw が v と直交するなら、uとw は平行である。
38
![Page 39: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/39.jpg)
f が (234)の形なら*17、この条件は
h′j(pj) ∝ pjh′′j (pj) (j = 1, . . . , n) (242)
と単純化される。つまり、j によらないある定数 cがあって
(c− 1)h′j(pj) = pjh′′j (pj) (j = 1, . . . n) (243)
が成り立つ。この微分方程式を解くことにより、
hj(pj) = ajpcj + bj (j = 1, . . . n) (244)
が結論される(aj , bj は任意の定数)。
以上から、(234) の形のポテンシャル関数 f について P1, L1 が共に擬似球面となる
のは、f(p) =
∑i
aipci + b (245)
というべき乗型に限られることが示された。ここに b =∑i bi と置いた。
3.5 P1 が擬似球面で L1 が擬似平面の場合
3.5.1 P1, L1 上の情報幾何
P1 が擬似球面であり、しかも L1 は擬似平面だったとしよう。すなわち、L1 が g の等
位面であり、対応する埋め込み P1 ⊂ P が ΠP に関して平坦だったとしよう。このとき、
P1 は擬似球面であると同時に、通常の意味での平面でもある。つまり、e0 ∈ L と定数C ∈ Rが存在して
P1 = {p ∈ P | 〈p, e0〉 = C} (246)
と表せる*18。以上は擬似平面と擬似球面の一般論ですでに述べたとおりである。
3.3.5項では、Lにおける有限次元平面と L1 との交わり、つまり (197)のように表され
る部分多様体M ⊂ P1 について議論した。その際用いたベクトル e0, . . . , en のうち、e0
は上式を満たすよう選ぶことにしよう。すると、埋め込み FM ⊂ L1 は接続 ΠL1に関し
て平坦になる。さらに、最終的に得られる関係式は
〈p(θ), ek〉 = C∂ψ(θ)
∂θk(k = 1, . . . , n) (247)
*17 (234) を仮定しないと他の形の解がある。実際たとえば、f(p1, p2) = pa11 pa2
2 (a1, a2 は定数)やf(p1, p2) = p2(p1 − p2) exp(p1/p2)は (241)を満たす。付録 A.4を参照。
*18 必要なら (1/C)e0 を改めて e0 ととり直せば、C = 1にすることもできる。
39
![Page 40: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/40.jpg)
という簡単な形になる。C は定数である。この両辺をさらに θj で偏微分することにより、
θ 座標に関する計量テンソルの具体的表示
Gjk(θ) =
(∂p(θ)
∂θj,∂p(θ)
∂θk
)p(θ)
= 〈∂p(θ)∂θj
,F∗∂p(θ)
∂θk〉 = 〈∂p(θ)
∂θj,∂Fp(θ)∂θk
〉 (248)
= 〈∂p(θ)∂θj
, ek〉 = C∂2ψ(θ)
∂θj∂θk(249)
が得られる。
また、その場合のダイバージェンス最小化については 3.3.6 項で述べたとおりである。
しかも今の場合は p, q ∈ P1 から 〈p, e0〉 = 〈q, e0〉が保証され、(211)の比例係数が 1に限
定される。したがって、
〈p, ek〉 = 〈q, ek〉 (k = 1, . . . , n) (250)
を満たす q ∈ Mがダイバージェンス最小化の解となる。
3.5.2 ポテンシャル関数の特徴づけ
適当な制限のもとで、P1 が擬似球面かつ L1 が擬似平面となるのは対数型の f に限ら
れることが証明される。
3.4.2項と同様に、P を n次元ベクトル空間とし、ポテンシャル関数 f は (234) のよう
に成分ごとの関数 h1, . . . , hn の和で書けるものを考えよう*19。この f から情報幾何を構
築したときに、P1 が平坦かつ L1 が等ポテンシャル面となるための条件を求める。すな
わち、
g(Fp) =∑i
pi∂f(p)
∂pi− f(p) (251)
の等位面がベクトル空間 P における平面となることを要求して、h1, . . . , hn が満たすべき条件を求める。
この要求は、関数 g(p) = g(Fp)の勾配ベクトルが pによらず常に一定方向となること
を意味する。言いかえれば、ある定ベクトル c = (c1, . . . , cn)T と実数値関数 λ : P → R
が存在して、
∂
∂pj
(∑i
pi∂f(p)
∂pi− f(p)
)= λ(p)cj (j = 1, . . . , n) (252)
*19 (234)を仮定しない議論は付録 A.4を参照。
40
![Page 41: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/41.jpg)
を満たさなくてはならない。この式を整理すると∑i
pi∂2f
∂pi∂pj= λ(p)cj (j = 1, . . . , n) (253)
が得られ、(234)の場合には特に
pjh′′j (pj) = λ(p)cj (j = 1, . . . , n) (254)
となる。左辺は pj にしか依存しないから、λ(p) も pj にしか依存できない。すべての j
でそうなることから、次のいずれかが成り立っている。
1. c1, . . . , cn は一つを除いてすべて 0
2. λ(p)は定数
前者は自明である。すなわち、一般性を失うことなく c2 = · · · = cn = 0 とする
と f(p) = C(p1) +∑j ajpj の形で、g(Fp) が p1 のみの関数となるから等位面は平面
「p1 = 一定」である(a1, . . . , an は任意の定数、C は任意の関数)。
後者の場合は、λ(p)cj を改めて定数 cj と置き直し、微分方程式
pjh′′j (pj) = cj (j = 1, . . . , n) (255)
を解いて、対数型のポテンシャル関数
hj(pj) = cjpj log pj + bjpj + aj (j = 1, . . . , n) (256)
f(p) =∑j
hj(pj) =∑j
cjpj log pj +∑j
bjpj + a (257)
を得る。aj , bj , cj および a =∑j aj は任意の定数である。ただし、f が凸になるために
は cj > 0でなくてはならない。
4 確率分布の情報幾何
4.1 関数空間上の情報幾何
いま、ある集合 X 上の実数値関数からなる適当な関数空間が P であるとしよう。
P = {p | p : X → R} (258)
対応して双対空間 Lも、〈p, l〉 =
∫dx p(x)l(x) (259)
41
![Page 42: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/42.jpg)
と表されるような関数空間L = {l | l : X → R} (260)
とみなす。さらに、点 p ∈ P における接ベクトル ∆p ∈ TpP も、X 上の実数値関数と解釈する。これは形式的にはベクトル空間 P と接空間 TpP との自然な同一視によるものであるが、関数の摂動
p(x) + ϵ∆p(x) (|ϵ| � 1) (261)
を表していると考えると理解しやすい。
関数空間の場合、f, gは関数に対し数値を定める汎関数、F ,G は関数を別の関数へ変換する作用素となる。ここまでの議論のとおり、関数空間 P 上に凸汎関数 f を一つ指定す
れば、g,F ,G が自動的に定まって情報幾何の枠組が誘導される。
4.2 確率分布のなす部分多様体
前項のような関数空間 P,L に対して部分多様体 P1 ⊂ P をとり、P1 の元を何らかの
方法で確率分布に対応づければ、ここまでの議論に確率としての意味を与えることができ
る。このとき、同一視 F ,G に基いて定められるもう一方の部分多様体 L1 = FP1 ⊂ Lについても、L1 の各元がやはり確率分布に対応づけられる。
最も自明な対応づけは、積分が 1であるような正値関数 p ∈ P をそのまま X 上の確率
密度関数と解釈することである。ただし簡単のため境界は除いて{p ∈ P
∣∣∣∣ ∫ dx p(x) = 1, p(x) > 0
}(262)
を P1 と定義する。このとき、∆pが P1 の接ベクトルであることは∫dx∆p(x) = 0 (263)
と同値である。また、p ∈ P1, l ∈ Lに対して
〈p, l〉 =∫dx p(x)l(x) = Ep[l(x)] (264)
のように期待値としての意味づけがなされることを注意しておく*20。
*20 記号を節約するため、確率変数にもその実現値にも同じ記号 x を用いる。どちらを意味するかは文脈から明らかであろう。
42
![Page 43: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/43.jpg)
自明でない対応づけの例としては、ある実数 β を決めておいて、∫dx p(x)β = 1 (265)
となるような正値関数 pの集合を P1 とするなどが挙げられる。この場合は
r(x) = p(x)β (266)
を pに対応する確率密度関数と解釈すればよい。
いずれにせよ、これまでに述べたようなダイバージェンス最小化問題を P1 内でも考え
ることができる。すなわち、P1 内の n次元部分多様体Mと p ∈ P1 が与えられたとき、
ダイバージェンスで測って pに最も近いM上の点 q を求める問題である*21。
q = arg minq∈M
D[p‖q] (267)
特に、pとして特定の x0 ∈ X が必ず出るという確率分布
p(x) = δ(x− x0) (268)
を与えれば、この問題は観測されたデータ x0 をモデルMにあてはめるパラメトリック
推定の一種とも解釈できる。δ は Diracのデルタ関数である。ただし、そのような pを P内にとることができるのかや f(p)を有限値として定められるのかといった数学的に厳密
な議論には、ここでは踏み込まない。また、得られた q が推定として良いものかどうかに
ついても、幾何学とは別の議論が必要である。
4.3 U -ダイバージェンス
4.1項でも述べたとおり、P,Lを関数空間としたときには、f, g は関数に対し数値を定める汎関数、F ,G は関数を別の関数へ変換する作用素と解釈される。いま特に、実数から実数への関数 U : R → Rを使って
g[l] =
∫dxU(l(x)) (269)
と表される場合を考えよう。その場合、g が凸なことは U が凸なことと同値である [8]。
この実数値凸関数 U を ELF(Envelope Function)と呼ぶことにする。
*21 汎関数であることを見やすくするため、D(·∥·) のかわりに D[·∥·] と書く。f や g についても同様とする。
43
![Page 44: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/44.jpg)
ELFを用いると、G,F , f は次のように表される。
(Gl)(x) = u(l(x)), u(w) =dU(w)
dw(270)
(Fp)(x) = ζ(p(x)), ζ(v) = u−1(v) (271)
f [p] =
∫dxL(p(x)), L(v) = vζ(v)− U(ζ(v)) (272)
さらに、dL(v)
dv= ζ(v) (273)
が成り立つ。uを EPDF(Enveloped Probability Density Function)と呼ぶことにする。
p, q ∈ P に対するダイバージェンスは
D[p‖q] =∫dx[L(p(x))− L(q(x))−
{p(x)− q(x)
}ζ(q(x))
](274)
=
∫dx[{p(x)ζ(p(x))− U(ζ(p(x)))
}−{q(x)ζ(q(x))− U(ζ(q(x)))
}−{p(x)− q(x)
}ζ(q(x))
](275)
=
∫dx[U(ζ(q(x)))− U(ζ(p(x))) + p(x)ζ(p(x))− p(x)ζ(q(x))
](276)
= L[p‖q]− L[p‖p] (277)
で与えられ、Bregmanダイバージェンスないし U -ダイバージェンスと呼ばれる [8]。こ
こに
L[p‖q] =∫dx {U(ζ(q(x)))− p(x)ζ(q(x))} (278)
と定義し、これを損失関数と呼ぶ。ポテンシャル f と損失関数 Lとの間には
f(p) = −L[p‖p] (279)
という関係がある。また、
S[p] = −∫dx p(x)ζ(p(x)) (280)
をエントロピーと呼ぶ。
さらに、接ベクトルの変換は
(G(l)∗ ∆l)(x) = u′(l(x))∆l(x) = U ′′(l(x))∆l(x) (281)
(F (p)∗ ∆p)(x) = ζ ′(p(x))∆p(x) = L′′(p(x))∆p(x) (282)
44
![Page 45: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/45.jpg)
となるので、l ∈ L, p ∈ P の接空間における内積はそれぞれ
(∆l,∆m)l = 〈G(l)∗ ∆l,∆m〉 (283)
=
∫dxu′(l(x))∆l(x)∆m(x) =
∫dxU ′′(l(x))∆l(x)∆l(x) (284)
(∆p,∆q)p = 〈∆p,F (p)∗ ∆q〉 (285)
=
∫dx ζ ′(p(x))∆p(x)∆q(x) =
∫dxL′′(p(x))∆p(x)∆q(x) (286)
と表される。
4.4 α-ダイバージェンスと q-正規分布
実数 α 6= ±1に対して定義される α-ダイバージェンス
D(α)[r‖s] = 4
1− α2
∫dx
{1− α
2r(x) +
1 + α
2s(x)− r(x)
1−α2 s(x)
1+α2
}(287)
は、ある種の不変性を持つことなどから情報幾何において特別な地位を与えられている
[1, 2, 3]。なお、α = ±1 に対する α-ダイバージェンスは後述の Kullback-Leibler ダイ
バージェンスで定義されるため、ここでは α = ±1は除外する。
確率密度関数 r を関数p(x) = r(x)
1−α2 (288)
に対応づけて表現し、U -ダイバージェンスにおいて
U(w) =1 + α
2w
21+α (289)
ととれば、α-ダイバージェンスの定数倍が以下のように得られる*22。実際このとき
u(w) = w1−α1+α (290)
ζ(v) = v1+α1−α (291)
L(v) =1− α
2v
21−α (292)
だから、U -ダイバージェンスは
D[p‖q] =∫dx
{1− α
2p(x)
21−α +
1 + α
2q(x)
21−α − p(x)q(x)
1+α1−α
}(293)
*22 α-ダイバージェンスそのものが得られるよう係数を調節することもできるが、u と ζ の対称性がかえって悪くなる。
45
![Page 46: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/46.jpg)
となる。p, q に対応する確率密度関数を r, sとすればこれは∫dx
{1− α
2r(x) +
1 + α
2s(x)− r(x)
1−α2 s(x)
1+α2
}=
1− α2
4D(α)[r‖s] (294)
に等しい*23。
また、p ∈ P における接空間の内積は、
(∆p,∆q)p =
∫dx
1 + α
1− αp(x)
2α1−α∆p(x)∆q(x) (295)
となり、確率密度関数 r とその摂動∆r,∆sで表せばこれは
1− α2
4
∫dx
∆r(x)∆s(x)
r(x)=
1− α2
4Er
[∆r(x)
r(x)
∆s(x)
r(x)
]=
1− α2
4(∆r,∆s)Fisherr
(296)
に等しい。ここに
∆p(x) =1− α
2r(x)−
1+α2 ∆r(x) (297)
∆q(x) =1− α
2r(x)−
1+α2 ∆s(x) (298)
という関係を利用した。以上から、内積は Fisher計量 [1, 2, 3]によるものと(定数倍を
除いて)常に一致することがわかる。
いまの場合、確率密度関数に対応する部分空間は
P1 =
{p ∈ P
∣∣∣∣ ∫ dx p(x)2
1−α = 1, p(x) > 0
}(299)
L1 =
{l ∈ L
∣∣∣∣ ∫ dx l(x)2
1+α = 1, l(x) > 0
}(300)
*23 なお、Tsallisエントロピーの定義とあわせたければ、U のとり方を次のように変えればよい [18].
U(w) =
(1 +
1 + α
2w
) 21+α
u(w) =
(1 +
1 + α
2w
) 1−α1+α
ζ(v) =2
1 + α
(v
1+α1−α − 1
)L(v) =
2
1 + α
(1− α
2v
21−α − v
)
46
![Page 47: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/47.jpg)
であり、それぞれポテンシャル関数 f, g の等位面となっている。したがって 3.4項の議論
がすべて適用される。その際、p ∈ P1 に対応する確率密度関数 r を用いると、〈p, l〉は
〈p, l〉 =∫dx p(x)l(x) =
∫dx r(x)
1−α2 l(x) (301)
のように表されることを注意しておく。
さらに、実数値確率変数 (X = R)のときには、
e0(x) = 1, e1(x) = x, e2(x) = x2 (302)
に対して 3.3.7節の結果を適用することにより q-正規分布 [13]が導出される。すなわち、
3.3.7節で求められた解集合span{1, x, x2} ∩ L1 (303)
に対応する確率密度関数
r(x; θ) = (θ1x+ θ2x2 − ψ(θ))2
1+α (304)
が q-正規分布である (q = (1 − α)/2)。パラメータ θ = (θ1, θ2) に応じた関数 ψ(θ) の値
は、規格化条件∫dx r(x; θ) = 1 から定められる。実際、span{1, x, x2} ⊂ L に属する l
はl(x) = θ0 + θ1x+ θ2x2 (305)
の形に書けるので、対応する p = Glは
p(x) = u(l(x)) = (θ0 + θ1x+ θ2x2)1−α1+α (306)
となり、これに相当する確率密度関数として
r(x) = p(x)2
1−α = (θ0 + θ1x+ θ2x2)2
1+α (307)
が得られる。−ψ(θ)は、rが確率密度関数になるような θ0 の値を、θ1, θ2 の関数として表
したものである。なお、q-正規分布 r(·; θ)に対応する p ∈ P の集合をMと置けば、埋め
込み FM ⊂ L1 は接続 ΠL1について平坦になる。このことは 3.4.1節ですでに述べた。
最後に、ポテンシャル関数
f [p] =
∫dxL(p(x)) =
1− α
2
∫dx p(x)
21−α (308)
が 3.4.2項で述べたべき乗型の連続版になっていることも指摘しておく。
47
![Page 48: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/48.jpg)
(補足)β-ダイバージェンスについて
[8] ではあくまで P1 の元が直接そのまま確率密度関数だとして、べき乗型のダイバー
ジェンスを
U(w) =1
β + 1(βw + 1)
β+1β , u(w) = (βw + 1)
1β , ζ(v) =
vβ − 1
β(309)
から導いている。これは β-ダイバージェンスと呼ばれ、α-ダイバージェンスとは異なる。
このとき
L(v) =vβ+1
β(β + 1)− v
β(310)
なので、∫dx p(x) =
∫dx q(x) = 1なら
D[p‖q] = 1
β
∫dx
{pβ+1
β + 1+βqβ+1
β + 1− pqβ
}(311)
である。p, q の意味づけの違いを無視すれば、(293)において β = (1 + α)/(1 − α)と置
くとこの D の定数倍になっている。その意義はまだ明らかでない。
4.5 η-ダイバージェンスと Kullback-Leiblerダイバージェンス
本項では、実数 η を一つ定めて
r(x) = p(x) + η (312)
を確率密度関数に対応づけることにする。したがって部分空間 P1 は
P1 =
{p ∈ P
∣∣∣∣ ∫ dx(p(x) + η
)= 1, p(x) + η > 0
}(313)
となる。このとき、U -ダイバージェンスにおいて
U(w) = (1− η) expw (314)
ととれば、η-ダイバージェンス [9, 10, 11]が得られる。実際、
u(w) = (1− η) expw (315)
ζ(v) = logv
1− η(316)
L(v) = v logv
1− η− v (317)
48
![Page 49: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/49.jpg)
から p, q ∈ P1 に対して
D[p‖q] =∫dx
{p(x) log
p(x)
1− η− p(x)
}+
∫dx q(x)−
∫dx p(x) log
q(x)
1− η(318)
=
∫dx p(x) log
p(x)
q(x)(319)
であり、対応する確率密度関数 r, sで書けばこれは∫dx(r(x)− η
)log
r(x)− η
s(x)− η(320)
に等しい。
P1 は明らかに P 内の平面をなす。しかも、p ∈ P1 に対して
g[Fp] =∫dxU(ζ(p(x))) =
∫dx p(x) = 1− η
∫dx (321)
は定数となる。すなわち、P1 は擬似球面、L1 は擬似平面である。したがって、3.5項の
結果がすべて適用される。さらに、ポテンシャル関数 f が 3.5.2項で述べた対数型の連続
版になっていることも指摘しておく。
f [p] =
∫dxL(p(x)) =
∫dx{p(x) log p(x)−
(log(1− η) + 1
)p(x)
}(322)
特に、η = 0ととれば、p, q ∈ P1 をそのまま確率密度関数と解釈できる。このとき D
は Kullback-Leiblerダイバージェンス
DKL[p‖q] =∫dx p(x) log
p(x)
q(x)= D(−1)[p‖q] = D(1)[q‖p] (323)
に一致する。Kullback-Leibler ダイバージェンスは確率分布間の相異を測る最も標準的
な指標であり、様々な分野で広く利用されている。3.5 項の結果をこれに適用する際に
は、〈q, ek〉が期待値 Eq[ek(x)]に等しいことを念頭に置くと意味づけがしやすい。また、
e0 = 1という定数関数をとれば P1 = {p ∈ P | 〈p, e0〉 = 1} と表されるので、3.5.1項の
定数 C が 1になることも注意しよう。さらに、p ∈ P における接空間の内積は Fisher計
量によるものと一致する。
(∆p,∆q)p =
∫dx
∆p(x)∆q(x)
p(x)= Ep
[∆p(x)
p(x)
∆q(x)
p(x)
]= (∆p,∆q)Fisherp (324)
なお、以上の導出は [8]とは見かけがやや異なる。本稿では、L1 がポテンシャル関数 g
の等位面となるように対応づけを行った。一方 [8]では、p, q 自体が確率密度関数である
49
![Page 50: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/50.jpg)
とみなし、
U(w) = (1− η) expw + ηw, u(w) = (1− η) expw + η, ζ(v) = logv − η
1− η(325)
および
L(v) = (v − η)
(log
v − η
1− η− 1
)(326)
により η-ダイバージェンスを導出している。
5 統計との関係 まだ不整合
ここまでは単に、「ベクトル空間上に凸関数が一個与えられた」ら自動的に出てくる話。
凸関数として特に f(p) =∫(p log p − p)dx (本質的にはエントロピー) をとった意義を、
これから明らかにする。以下の 4点が、情報幾何のキーポイントその 3~6。
5.1 Kullbackダイバージェンスと大偏差原理
今、確率 q で表が出るコインを N 回投げたとき、表の割合が pになる確率を求めてみ
よう。NCNp を Stirlingの公式で評価すれば、
(本当の確率が q のとき、経験比率が pになる確率) ∼ e−ND(p,q) (327)
がわかる*24。
実は一般の分布でも、適当な意味で、「本当の分布が qのとき、経験分布が pになる確率」
が、サンプル数 N に対し e−ND(p,q) で評価できる (大偏差原理)。この意味で、Kullback
ダイバージェンス D(p, q) は、分布 qと pの「見分けやすさ」を表
している。たとえば、確率 0.5と 0.6は大差ないけど、確率 0と 0.1は無限に違う (∵ 一つでも出たら、確率 0ではないと断言できる)。そういうわけで、D は検定論や情報理論
(typical sequenceからはずれた符号列の出現確率の評価)で顔を出す。
5.2 Fisher計量とクラメル-ラオの不等式
内積 Gは、Fisher計量と呼ばれる。この内積は、D をローカルに 2次形式で近似した
ものだから、確率分布の微小変化について「分布がどれくらい変わったか」を適切に評価
*24 離散分布なので、これまで積分で書いてきた所は総和に読みかえてください。
50
![Page 51: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/51.jpg)
した量になっている。このため、Gは推定論で顔を出す。具体的には、推定値 (正確には
不偏推定量)の分散の下限 (どんなにうまい推定をしても、この限界より良くはできない)
が G(の逆行列) を使って表される (クラメル-ラオの不等式)。「未知パラメータ θ をどれ
くらい正確に推定できるか」は、「θがちょっと変わったとき、データの分布がどれくらい
変わるか」という感度で決まると考えれば、そうだろうなって気がする。
5.3 exponential family, mixture family
(これはポテンシャル関数の話ではないが…)
統計においては、
p(x; θ) ∝ θ1p1(x) + · · ·+ θnpn(x) (328)
p(x; θ) ∝ exp(θ1f1(x) + · · ·+ θnfn(x)
)(329)
のような形の集合 {p( · ; θ)|θ ∈ Rn}を考えることが多い。前者をmixture family、後者を
exponential familyと呼ぶ。情報幾何で見ると、mixture familyは m-flat、exponential
familyは e-flat である。
5.4 最尤推定と Kullbackダイバージェンス最小化
分布族 F 上でのパラメトリック推定問題とは、次のような問題である:
真の分布 q が、与えられた有限次元分布族 F = {q( · ; θ)|θ ∈ Rn} ⊂ P に入ってい
ることはわかっている。q で生成されたデータ x1, · · · , xN を見て、未知パラメータ θ を推定せよ。
その最尤推定は、θ = argmax
θ
∑k
log q(xk; θ) (330)
で与えられる。これは、情報幾何では、以下のように解釈される。データの経験分布を
p(x) =1
N
∑k
δ(x− xk) (331)
という確率分布だと見ることにより、観測されたデータを P 上の一点 p で表現する。
実は、θ = argmin
θD(p, q) (332)
51
![Page 52: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/52.jpg)
となっている (∵ D の定義をちょっと見ればわかる)。
特に、F が exponential familyの場合は、e-flatなので Pythagorasの定理から、「点 p
を曲面 F へ m-射影*25 した点が最尤推定」となる。exponential familyでなくても、局
所的に exponential familyで近似してやれば、「最尤推定は m-射影」と言える。
6 双対座標 まだ不整合
6.1 θ座標と η 座標
ベクトル空間 Lに基底 f0(x) = 1, f1(x), f2(x), · · · をとり、確率分布 pを、
log p(x) =∞∑i=1
θi(x)fi − ψ(θ) (333)
と表示する。このパラメータ θ = (θ1, θ2, · · · )を、「θ座標」(あるいは、exponential family
の自然パラメータ)と呼ぶ。関数 ψ(θ)は、∫p(x)dx = 1の条件から、
ψ(θ) = log
∫e∑∞
i=1 θifi(x)dx (334)
と決まる。
対応して、P の方に双対基底 r0(x) = p0(x), r1(x), r2(x), · · · をとる(陽に求める必要はない):∫
ri(x)fj(x)dx = δij (i, j = 0, 1, · · · ) (335)
特に、 ∫p0(x)dx = 1 (336)∫ri(x)dx = 0 (i = 1, 2, · · · ) (337)∫
p0(x)fi(x) = Ep0 [fi(x)] = 0 (i = 1, 2, · · · ) (338)
に注意。基底 {ri}を用いると、確率分布 pは、
p(x) = p0(x) +∞∑i=1
ηiri(x) (339)
*25 m-測地線にそった直交射影
52
![Page 53: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/53.jpg)
と表示することもできる。このパラメータ η = (η1, η2, · · · ) を「η 座標」(あるいは、
exponential familyの期待値パラメータ)と呼ぶ。基底 {ri}を陽に求めておかなくても、次の定理を使えば、与えられた確率分布 pの η 座標を求められる。
Theorem 1Ep[fi(x)] = ηi (340)
□
証明:左辺は∫p(x)fi(x)dxだから、基底の双対性より定理は明らか
■
6.2 θ座標と η 座標の双対性
6.2.1 計量 Gについての双対性
当然、接ベクトルについても、θ 座標や η 座標で表示することができる。このとき、次
の意味で、θ 座標と η 座標は双対である。
Theorem 2 点 pにおける接ベクトル∆pa の θ座標を (∆θ1,∆θ2, · · · )とし、接ベクトル∆pb の η 座標を (∆η1,∆η2, · · · )とする。このとき、
G(∆pa,∆pb) =∞∑i=1
∆θi∆ηi (341)
□
証明:
G(∆pa,∆pb) = G(∆pb,∆pa) (342)
= 〈∆η1r1 +∆η2r2 + · · · , ∆θ1f1 +∆θ2f2 + · · · 〉 (343)
■
53
![Page 54: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/54.jpg)
6.2.2 Legendre変換としての双対性
Theorem 3 確率分布 pの θ 座標がわかっているとき、pの η 座標は
ηi =∂ψ
∂θi(344)
で求められる。すなわち、θ 座標 (θ1, θ2, · · · )から η 座標 (η1, η2, · · · )への変換は、ψ(θ)をポテンシャル関数とする Legendre変換である。
□
証明:式 (334)に書いたように
ψ(θ) = log
∫e∑∞
i=1 θifi(x)dx
だから、
∂ψ
∂θk=
∫e∑∞
i=1 θifi(x)fk(x)dx
eψ(θ)= E[fk(x)] = ηk (345)
■
Theorem 4 確率分布 pの η 座標から θ 座標への変換もやはり Legendre変換であり、ポ
テンシャル関数
ϕ(η) =
∫p(x) log p(x)dx = −H(p) (346)
により、
θi =∂ϕ
∂ηi(347)
となっている。 □
証明:Legendre変換の一般論より、順変換のポテンシャル ψ が与えられれば、逆変換の
ポテンシャル ϕは
ϕ(η) =∞∑i=1
θiηi − ψ(θ) (348)
54
![Page 55: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/55.jpg)
で求められる。計算すると、
ϕ(η) =∞∑i=1
θiηi − ψ(θ)
=∞∑i=1
θiE[fi(x)]− ψ(θ) (349)
= E[∞∑i=1
θifi(x)]− ψ(θ) (350)
=
∫p(x)(log p(x) + ψ(θ))dx− ψ(θ) (351)
■
6.3 座標で表現した情報幾何
6.3.1 θ 座標、η 座標からはじめる情報幾何
「ベクトル空間に凸関数 (ポテンシャル関数)が 1個与えられれば、Legendre変換が定
義されて、双対空間にもポテンシャル関数が決まって、…」となって、情報幾何が構築さ
れたことを思い出してほしい。本稿では、「関数空間 {p}とその双対空間で、ポテンシャル関数 f と gをとって…」という形で話をはじめた。しかし実は、「θ座標と η座標で、ポ
テンシャル関数 ψ と ϕをとって…」という所から話をはじめても、同じものが得られる。
Theorem 5 確率分布 pの η 座標を ηp、確率分布 q の θ 座標を θq とする。このとき、
D(p, q) = ϕ(ηp) + ψ(θq)−∞∑i=1
ηpi θiq (352)
□
証明:∫(p log p− p log q)dxを計算すれば出るはず ■
混乱はしないと思うので、以下、同じ記号 D を使って
D(η, θ) = ϕ(ηp) + ψ(θq)−∞∑i=1
ηpi θiq (353)
55
![Page 56: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/56.jpg)
と書くことにする。
Theorem 6 確率分布 pの θ 座標と η 座標の間には、
η = argminη′
D(η′, θ) (354)
θ = argminθ′
D(η, θ′) (355)
という関係が成り立つ。
証明:Legendre変換に関する Youngの不等式そのもの ■
6.3.2 フォーマルな情報幾何
基底を n個で打ち切った集合 (exponential family)
E ={q(x)
∣∣∣ q(x) = e∑n
i=1 θifi(x)−ψ(θ)
}(356)
は、前述のように、P の e-flatな部分多様体となる。確率分布 p ∈ P に対し、pを E へ
m-射影した点 q を考えよう。これまた前述のように、E 上の点 q のうち D(p, q)が最小
となる点が q である。pの η 座標を (η1, η2, · · · ) とすると、q の η 座標 (η1, η2, · · · )は、
ηi = ηi (i = 1, · · · , n) (357)
であること (∵ η 座標は m-flat。θ 座標と η 座標は計量 Gについて双対) に注意しよう。
さて、exponential family E 上でのパラメトリック推定問題を再びとりあげる。前は、
データ x1, · · · , xN を経験分布 p(x) = 1N
∑k δ(x − xk)で表現して、「pの E への m-射
影 q が最尤推定である」と言った。しかし外でしゃべるときには、こんなあやしい話 (デ
ルタ関数まで含むような無限次元関数空間!)はできない。そこで、経験分布のかわりに、
経験分布の η 座標 η を使って、(η1, · · · , ηn) でデータを表現する。これは、上述のように、m-射影 (=最尤推定)q の η 座標の頭 n個に一致する。
一般に、E 上の点は、頭 n個の η 座標 (η1, · · · , ηn)を指定すれば決まってしまうことに注意しよう。最尤推定の η 座標 (η1, · · · , ηn) については、
ηi = Ep[fi(x)] =1
N
∑k
fi(xk) (358)
で具体的に計算できる。あとは、その θ 座標を求めてやれば、それが推定問題の答にな
56
![Page 57: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/57.jpg)
る。θ = argminθ′ D(η, θ′)という関係を思い出すと、最尤推定の θ 座標 θ は、
θ = arg minθ1,··· ,θn
D(η, θ) = arg minθ1,··· ,θn
(ϕ(η) + ψ(θ)−
n∑i=1
ηiθi
)(359)
となっていることがわかる。ただし、ϕ(η)は、η 座標の頭 n個が (η1, · · · , ηn) に一致しているようなE 上の点のϕである。最尤推定は E に属しているので、θ座標は n+1番目
から先は 0、よって和が有限になっているところにも注目。
さてさて今度は、exponential family E の部分多様体 E′ 上での推定問題を考えよう。
このような E′ は、curved exponential familyと呼ばれる。で、結論はやっぱり、
θ′ = arg minθ′∈E′
D(η, θ′) = arg minθ′∈E′
(ϕ(η) + ψ(θ′)−
n∑i=1
ηiθ′i
)
が最尤推定となる*26。それはなぜかというと、経験分布 pを E へ m-射影した点を q と
したとき、q′ ∈ E′ に対して、
D(p, q′) = D(q, q′) +D(p, q) = D(q, q′) + (定数) (360)
(Pythagorasの定理)だから。
こんなふうに、θ 座標・η 座標を使って n次元に「射影」して話をすれば、外でも発表
できる理論になる。普通は情報幾何はこの形で記述される。
参考文献
[1] S. Amari, Differential-Geometrical Methods in Statistics, Lecture Nots in Statis-
tics, Vol. 28, Springer-Verlag, New York, 1985.
[2] 甘利俊一, 長岡浩司, 情報幾何の方法, 岩波講座応用数学 対象 12, 岩波書店, 1993.
[3] S. Amari and H. Nagaoka,Methods of Information Geometry, Oxford Univ. Press,
2000.
[4] S. L. Lauritzen, “Conjugate connection in statistical theory”, Geometrization of
Statistical Theory, Proc. of the GST Workshop, C. T. J. Dodson ed., Univ. of
Lancaster, pp. 33-51, 1987.
[5] S. Eguchi, “A differential geometric approach to statistical inference on the basis
of contrast functionals”, Hiroshima math. J., vol. 15, pp. 341–391, 1985.
*26 θ′ ∈ E′ は、本当はもちろん q( · ; θ′) ∈ E′ と書かないといけないんだけど、まあ通じますよね。
57
![Page 58: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/58.jpg)
[6] S. Eguchi, “Geometry of minimum contrast”, Hiroshima math. J., vol. 22,
pp. 631–647, 1992.
[7] 江口真透, “情報幾何の新展開”, ISM Research Memo. 633, 1997.
http://www.geocities.jp/ismstats/past report.html
http://www.ism.ac.jp/ eguchi/pdf/tenkai4.pdf
[8] N. Murata, T. Takenouchi, T. Kanamori, and S. Eguchi: “Information geometry
of U-Boost and Bregman divergence”, Neural Computation, vol. 16, pp. 1437–
1481, 2004.
[9] 竹之内高志, “Eta-divergenceを用いた AdaBoostのロバスト化”, 情報論的学習理論
ワークショップ (IBIS02), pp.43–48, 2002.
[10] M. Minami and S. Eguchi, “Robust blind source separation by beta-divergence”,
Neural Computation, vol. 14, pp. 1859–1886, 2002.
[11] T. Takenouchi, “Robust Boosting algorithm for multiclass classification by eta-
divergence”, 2nd International Symposium on Information Geometry and its Ap-
plications, pp. 276–283, 2005.
[12] C. Tsallis, “Possible generalization of Boltzmann-Gibbs statistics”, J. Stat. Phys.,
Vol. 52, pp. 479–487, 1988.
[13] 田中勝, “q-正規分布に関する考察”, 信学論 (D-II), Vol. J85-D-II, No. 2, pp. 161–
173, 2002.
[14] 松島与三, 多様体入門, 裳華房, 1965.
[15] 小林昭七, 接続の微分幾何とゲージ理論, 裳華房, 1989.
[16] 野水克己, 佐々木武, アファイン微分幾何学―アファインはめ込みの幾何―, 裳華房,
1994.
[17] 志磨裕彦, ヘッセ幾何学, 裳華房, 2001.
[18] 田中勝, “q-正規分布とエスコート分布-その情報幾何学的解釈” 第 54回幾何学シン
ポジウム発表資料, 2007.
58
![Page 59: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/59.jpg)
付録 A 付録
A.1 Legendre変換(Youngの不等式) まだ
A.2 相似直交な部分多様体
本項は、擬似平面および擬似球面という概念を統一的に導入し特徴づける試みである。
参考のため付録として掲載する。
A.2.1 ベクトル場の相似性
部分多様体が特定の条件を満たす場合には、いくつかの有用な性質が保証される。その
ことを述べる準備として、ベクトル場の相似性という概念をまず導入する。
定数 a ∈ R と定ベクトル e0 ∈ L が与えられたとき、L 上の次のような接ベクトル場∆nを考えよう。
∆n(l) = al + e0 ∈ TlL, l ∈ L (361)
ただし (a, e0) = (0, o)の場合は除くことにする。また、ここですでに接空間 TlLと空間自身 Lとの同一視が用いられていることを注意しておく。ベクトル場 ∆n は、L 上の 1 助変数変換群 νt = exp t∆n を生成する。直感的に言え
ば、∆n(l)を各位置 l における流速とみなし、時刻 0に位置 l0 ∈ Lへ浮かべた粒子がそれにのって流れると考えればよい。このとき時刻 t ∈ Rにおける粒子の位置が νt(l0) ∈ Lである。具体的には、各実数 t ∈ Rに対して νt : L → Lは
νt(l) =
{l + te0 (a = 0)
(exp at)(l + 1
ae0)− 1
ae0 (a 6= 0)(362)
となる。前者はシフトに、後者は −e0/aを中心とした拡大縮小に対応する。これらが実際に exp t∆nであること、すなわち
d
dtνt(l0) = ∆n(νt(l0)), ν0(l0) = l0 (363)
を満たすことは、直接微分してみれば確認できる。
ベクトル場 ∆nから生成された 1助変数変換群 νt は、さらに接空間どうしの線形変換
νt∗ : TlL → Tνt(l)L を引き起こす。そして、得られた変換 νt∗ は
νt∗(∆l) ∝ ∆l (364)
59
![Page 60: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/60.jpg)
を満たす*27。実際、|ϵ| � 1に対して
νt(l + ϵ∆l)− νt(l) ∝ ϵ∆l + o(ϵ) (365)
が容易に確かめられる*28。つまり、点 lにおける任意の接ベクトル ∆lをベクトル場 ∆n
にのせて流しても、大きさが変化するのみで方向は常に一定のままである。この性質を相
似性と呼ぶことにする*29。
相似性を持つベクトル場は実は (361) の形に限られることが、有限次元の場合には次
のように示される。ベクトル空間としての L の基底を用いて成分で書けば、ベクトル場∆n = (∆n1, . . . ,∆nk)T が相似性を満たすことは、任意の点 l = (l1, . . . , lk)T およびベ
クトル ∆l = (∆l1, . . . ,∆lk)T に対して
∑∆li
∂
∂li∆n(l) = a(l)∆l (367)
が成り立つことと同値になる。ここに a(·)は L上の実数値関数である。第 i成分のみが
1で他の成分は 0であるベクトル ui を用いれば、上式の右辺は∑
∆lia(l)ui と書きかえ
られることに注意しよう。したがって、上式が任意の ∆lで成り立つには、
∂
∂li∆n(l) = a(l)ui (i = 1, . . . , k) (368)
すなわち∂∆nj
∂li=
{a(l) (i = j)
0 (i 6= j)(i, j = 1, . . . , k) (369)
でなくてはならない。特に、i 6= j のとき ∂∆nj/∂li = 0であることから、∆nj は lj のみ
で定まることがわかる。すると ∂∆ni/∂li = a(l)の左辺は li にしか依存しないので、右
*27 (364) の両辺は異なる点における接空間に属すので、一般の多様体ではこの式は意味をなさない。いまは Lがベクトル空間なので、接空間を空間 L自身と同一視することにより、すなわち平坦な接続 ΠL を用いることにより比較が可能となっている。
*28 (361)の場合は νt がベクトル空間 L上の線形変換になるので、実は |ϵ| ≪ 1という制限や高次項 +o(ϵ)
を外しても成り立つ:νt(l +∆l)− νt(l) ∝ ∆l*29 相似性は次のようにも言いかえられる:接続 ΠL に基く共変微分 ∇(∆l)が oであるような L上のすべての接ベクトル場∆l に対して、∆nによる Lie微分が
[∆n,∆l] = h∆l (366)
を満たす。ここに hは L上の実数値関数である。理由は、Lが ΠL-平坦なことと Lie微分の定義および意味から自明であろう。(ここで言う共変微分とは, 線形写像 ∇ : Γ(TL) → Γ(T ∗L ⊗ TL) のうちある条件を満たすものと定義される [15]. Γはベクトルバンドルの切断全体を表す.)
60
![Page 61: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/61.jpg)
辺 a(l)も li にしか依存しない。i = 1, . . . , kのすべてで同じことが言えるのだから、結局
a(l)は lに依存しない定数である。以上により常微分方程式
d∆ni(li)
dli= a (i = 1, . . . , k) (370)
が得られ、これを解くと (361)が求まる*30。
A.2.2 相似直交な部分多様体
(361)のベクトル場を法線ベクトルとするような部分多様体を、相似直交な部分多様体
と言うことにする。つまり、部分多様体 L1 ⊂ L上の各点 lにおいて法空間
NlL1 = {∆k ∈ TlL | (∆k,∆l)l = 0 for all ∆l ∈ TlL1} ⊂ TlL (371)
がベクトル∆n(l) ∈ TlLによって張られるとき、L1 は相似直交であると言う*31。アファ
イン微分幾何 [16]の用語に従えば、内積 (·, ·)l に基く法線ベクトルに関して、L1 ⊂ Lがグラフはめ込み (a = 0) ないし中心アファイン超曲面 (a 6= 0) であることをこれは意味す
る。なお、∆nが法線ベクトルなら当然−∆nも法線ベクトルになる。そこで、もし a < 0
の場合には −∆nを改めて∆nと置き直し、以後は必ず a ≥ 0であるものとする。この約
束は 2.7項の結果を後ほど利用することを意図している。
L1 が相似直交なときには、部分多様体M ⊂ L1 の平坦性を次のように判定することが
できる:埋め込みM ⊂ L1 が接続 ΠL1に関して平坦なことは、Mを拡張した多様体
M =⋃t∈R
νt(M) = {νt(l) | l ∈ M, t ∈ R} ⊂ L (372)
を考えたときに、埋め込み M ⊂ Lが接続 ΠL に関して平坦なことと同値になる。
実際、M ⊂ L が ΠL-平坦ならM ⊂ L1 が ΠL1-平坦なことは、直交射影に基く接続
ΠL1の作り方から当然である。すなわち、M の接ベクトルをM 上の別の点へ ΠL1
-平
行移動してもやはりMの接ベクトルとなることが、定義からほぼ直接に示される。逆に
*30 次の Mの話をするためには, 実はもっと弱く∑∆li
∂
∂li∆n(l) = a(l)∆l + b(l,∆l)∆n(l)
でも十分. 他の項が ∆l について線形なことから, 実は b(l,∆l) =∑ci(l)∆l
i の形. だから微分方程式はこうなる.
∂
∂li∆n(l) = a(l)ui + ci(l)∆n(l)
*31 無限次元のときを議論できていないので, 「相似性を持つ∆n」とは言わず, (361)を使って定義した.
61
![Page 62: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/62.jpg)
M ⊂ L1 が ΠL1-平坦なら M ⊂ Lが ΠL-平坦なことを示すには、ベクトル場 ∆nの相似
性を用いる。まず定義から、M上の各点 lは、M上の点 lと実数 tを用いて l = νt(l)と
書ける。そして相似性から、点 lにおける接ベクトル∆l ∈ TlLが Mに接することは、点
l において ∆l が Mに接することと同値である。したがって、点 l ∈ Mにおける Mの
接ベクトル ∆l をごく近くの点 l′ ∈ Mへ ΠL-微小平行移動してもやはり Mに接するこ
とさえ示せればよい。ここで、∆lはMに平行な成分と垂直な成分との和で書けることに
注意しよう。平行な成分はMの接ベクトルだから、これを ΠL1-微小平行移動してもMに接するという前提であった。すると ΠL-微小平行移動しても Mに接することが、ΠL1
の作り方から明らかに言える。一方、垂直な成分は、ある実数 cを用いて c∆n(l)と書け
る。これを ΠL-微小平行移動したものと c∆n(l′)との差は、ふたたび相似性から l − l′ に
比例する。すなわち、垂直な成分を微小平行移動した結果は、Mの接ベクトルと ∆n(l′)
との線形結合で表される。したがってやはり Mの接ベクトルとなっている。
相似直交な部分多様体 L1 ⊂ L の持つもう一つの有用な特徴は、対応する部分多様体P1 = GL1 ⊂ P が関数
f(p) = af(p) + 〈p, e0〉 (373)
の等位面となることである。逆に、f の等位面が必ず相似直交になることも言える。
これらを示すための補題をまず述べよう。L1 上の点 l における接ベクトル ∆l ∈ TlL1
について、対応する接ベクトル ∆p = G∗∆l ∈ TGlP1 による関数 f の方向微分は、
(∆p)[f ] = (∆l,∆n(l))l (374)
と表される。実際、(83)や内積の定義を用いて
(∆p)[f ] = a(∆p)[f ] + 〈∆p, e0〉 (375)
= a(∆l, l)l + (∆l, e0)l (376)
= (∆l,∆n(l))l (377)
と変形することができる。
この補題により、もし L1 が相似直交なら、P1 のすべての接ベクトルについて f の方
向微分が 0であることが直ちにわかる。逆に、方向微分が 0になる接ベクトルはすべて、
Lの側で見ると ∆nと直交していることもわかる。したがって、L1 が相似直交なことは
P1 が f の等位面になることと同値である。
A.2.3 擬似平面と擬似球面
相似直交な部分多様体のうち、a = 0であるものを擬似平面 (planaresque)、e0 = oで
あるものを擬似球面 (spheresque)と呼ぶことにする。前にも述べたとおり、アファイン
62
![Page 63: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/63.jpg)
微分幾何 [16] の用語で言えばそれぞれがグラフはめ込みおよび中心アファイン超曲面に
相当する。しかし本稿では、両者の果す役割の対応を考慮し、二つの用語の釣合いがとれ
るように端的な呼称を導入した。擬似平面および擬似球面についてはこの後詳しく議論
する。
残る a > 0かつ e0 6= oの場合は、いわば中心が原点でない擬似球面に相当する。その
場合、2.7項で述べた変換により空間 L上のシフトとスケーリングを誘導すれば、変換後の部分多様体
L1 = AL1 ⊂ L (378)
は擬似球面になる。実際、変換後のポテンシャル関数
f(p) = af(p) + 〈p, e0〉 (379)
に関して、部分多様体 P1 = P1 ⊂ P は関数
h(p) = 1f(p) + 〈p, o〉 = f(p) (380)
の等位面である。すると、これに対応する部分多様体
F P1 = AFP1 = AL1 = L1 ⊂ L (381)
は擬似球面になることがわかる。
このように、残りの場合は適当な変換によって擬似球面に帰着されるので、以後は擬似
平面と擬似球面だけに専念する。
A.3 P1, L1 が共に擬似平面の場合
3.4.2項や 3.5.2項にならって、P1, L1 が共に擬似平面の場合についてもポテンシャル
関数の特徴づけを与えておく。適当な制限のもとで、P1 と L1 が共に擬似平面となるのは
二次型の f に限られることが証明される。
3.4.2項と同様に、P を n次元ベクトル空間とし、ポテンシャル関数 f は (234) のよう
に成分ごとの関数 h1, . . . , hn の和で書けるものを考えよう。この f から情報幾何を構築
したときに、P1, L1 が共に擬似平面となるための条件を本項で求める。
P1, L1 が共に擬似平面になることは、次の性質と等価である:定ベクトル b =
(b1, . . . , bn) ∈ P と a = (a1, . . . , an)T ∈ Lが存在して、
〈p, a〉 =∑i
aipi (382)
63
![Page 64: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/64.jpg)
が一定値となるような p ∈ P については
〈b,Fp〉 =∑i
bi∂f(p)
∂pi(383)
も一定値になる。この性質を要求して、h1, . . . , hn の満たすべき条件を求める。
この要求は、〈p, a〉を変えない方向の接ベクトル ∆p = (∆p1, . . . ,∆pn) に対して
〈b,F(p+ ϵ∆p)〉 = 〈b,Fp〉+ o(ϵ) (|ϵ| � 1) (384)
が成り立つこと*32、すなわち
〈b,F (p)∗ ∆p〉 =
∑i
∑j
bi∂2f(p)
∂pi∂pj∆pj =
∑j
(∑i
bi∂2f(p)
∂pi∂pj
)∆pj = 0 (385)
を主張している。ここで、〈p, a〉を変えない方向の ∆pとは
〈∆p, a〉 =∑j
aj∆pj = 0 (386)
を満たす ∆pのことだから、要求は
aj ∝∑i
bi∂2f(p)
∂pi∂pj, (j = 1, . . . , n) (387)
と等価になる(左辺と右辺の比が j によらない)。
f が (234)の形なら、この条件は
aj ∝ bjh′′j (pj) (j = 1, . . . , n) (388)
と単純化される。aj も bj も定数なのだから、結局 h′′j (pj)も定数、つまり hj は二次式で
あることが導かれた。
以上から、(234) の形のポテンシャル関数 f について P1, L1 が共に擬似平面となる
のは、f(p) =
∑i
(αip2i + βipi + γi) (389)
という二次型に限られることが示された。
*32 ⟨p, a⟩が pについて線形なので、実際には誤差項 +o(ϵ)や条件 |ϵ| ≪ 1は不要である。
64
![Page 65: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/65.jpg)
A.4 成分ごとの和に分解されないポテンシャル
A.4.1 P1, L1 が共に擬似球面の場合
3.4.2項の補足として、(234)を仮定しない場合について述べる。この場合、(241)は単
純なべき乗型でない解も持つことを示そう。
(241)の比例定数を cとおけば、
c∂f(p)
∂pj=∑i
pi∂
∂pi
(∂f(p)
∂pj
)(390)
より ∑i
pi∂
∂pilog
∂f(p)
∂pj= c (391)
特に j = 1の式に着目して log ∂f(p)∂p1
= ξ(p)とおくと、
p · ∇ξ(p) = c (392)
特解はたとえば ξ(p) = c log p1。また、c = 0の場合の一般解は、p ⊥ ∇ξ(p)より「ξ(p)は pの方向のみで定まる」。
以下、簡単のため n = 2としよう。上の議論により、R1, R2 を任意の関数として
∂f(p)
∂p1= pc1R1(p2/p1) (393)
∂f(p)
∂p2= pc2R2(p1/p2) (394)
が得られる。ただし、これらが両立するためには
∂2f(p)
∂p1∂p2= pc−1
1 R′1(p2/p1) = pc−1
2 R′2(p1/p2) (395)
が要求される。
ポテンシャル関数 f(p) を具体的に構成するには、c,R1 を任意に設定して∂f(p)∂p1
を定
め、それを p1 で積分すればよい。たとえば、∂f(p)∂p1
= p1 exp(p1/p2)とおけば f(p1, p2) =
p2(p1 − p2) exp(p1/p2)という例が得られる。
凸関数になる例におきかえるほうがベター
65
![Page 66: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/66.jpg)
A.4.2 P1 が擬似球面で L1 が擬似平面の場合
3.5.2項の補足として、(234)を仮定しない場合について述べる。簡単のため n = 2と
して解を構成する。
P を適当に線形変換して座標をとり直せば、3.5.2項で述べた「P における平面」の法線ベクトルを c = (c1, c2) = (1, 0)とおいて一般性を失わない。そのとき (253)から(
p1∂
∂p1+ p2
∂
∂p2
)∂f
∂p2= 0 (396)
であり、前述のとおりこれは ∂f∂p2が p2/p1 の関数であることを意味する。したがって、
f(p) = p1R
(p2p1
)+ C(p1) (397)
という関数形を得る(R,C は任意の関数)。
実際このとき g(Fp)は、
g(Fp)
= p1∂f(p)
∂p1+ p2
∂f(p)
∂p2− f(p) (398)
= p1
{R
(p2p1
)− p2p1R′(p2p1
)+ C ′(p1)
}+ p2R
′(p2p1
)−{p1R
(p2p1
)+ C(p1)
}(399)
= p1C′(p1)− C(p1) (400)
という p1 のみの関数となる。よってその等位面は平面「p1 = 一定」である。
A.5 課題
これから取り組むべき課題などを挙げる。
1. 擬似平面と異なり、擬似球面では拡張 Pythagorasの定理の測地線版が得られない
ことを、反例で明示する。
2. (211)の解は唯一か?
3. ポテンシャル関数の特徴づけについて
(a)擬似平面と擬似球面を統一して扱えないか。
(b)(234)の制限を外した一般の f だとどうか?
(c)無限次元の場合は?
66
![Page 67: 凸関数に基く情報幾何学 - cis.fukuoka-u.ac.jpfujiki/QUANTA/... · 1 序論 計量が入った多様体に対しては、通常、その計量に合った接続であるLevi-Civita](https://reader033.fdocuments.in/reader033/viewer/2022042220/5ec6c0a13aa4cc2eaf1c5f1f/html5/thumbnails/67.jpg)
4. ダイバージェンス D で遠近を測る理由は?
5. (301)をエスコート分布の根拠づけに結びつけられないか?
6. 4.4項で言及した β-ダイバージェンスについて。(293)との関係、およびその意義
は? β-ダイバージェンス自体の動機や利点も要確認。
7. q-正規分布についてもっと丁寧な説明を。
8. η-ダイバージェンスの式や動機を文献で確認する必要あり。
更新履歴
• [2007-09-14 17:35] 脚注*23を追加
67