情報幾何学

情報幾何学（じょうほうきかがく、英: information geometry、仏: géométrie de l’information、独: Informationsgeometrie、略称: IG）とは、確率分布を要素とする統計モデルに関する微分幾何学的研究のことであり、狭義には双対アフィン接続の微分幾何学を指す。「数理統計学の微分幾何学化」や「統計的推論の幾何学的方法論」や「情報理論における微分幾何を用いた定式化」と表現されるように、情報幾何学は統計学・情報理論・確率理論（大偏差理論）にまたがる学際的な分野である。
概要.
情報幾何学の理論的な枠組みは統計学の言葉を必要とせず、純粋な微分幾何学の概念のみで定式化できる。
統計多様体の定義にはいくつかの流儀が存在するが現在最も標準的なのは黒瀬 (1994) によるものであり、formula_1 級多様体 formula_2 と formula_2 上の捩れのないアフィン接続 formula_4 と擬リーマン計量 formula_5 の組 formula_6 で formula_7 テンソル場 formula_8 が対称なものと定義し、組 formula_9 を統計構造という。formula_10 が formula_4 の formula_12 に関する双対（アフィン）接続であるとは、任意の formula_2 上のベクトル場 formula_14 に対してライプニッツ則の類似formula_15が成り立つことであり、組 formula_16 を双対統計多様体という。formula_4 が平坦であるならば formula_10 も平坦であるので、組 formula_19 を双対平坦空間といい、組 formula_20 を双対構造という。もともと統計多様体は、によってリーマン多様体 formula_21 と甘利・チェンツォフテンソル場と呼ばれる formula_7 対称テンソル場 formula_23 の組 formula_24 として定義されていたが、両者は基本的に等価である。
formula_4 が平坦であるならば、テンソル場 formula_8 が対称であることとある関数 formula_27 が存在して局所的に formula_28 と表されることは同値であり、これはヘッシアンに他ならないので formula_4 が平坦な統計多様体は1970年代に志磨裕彦が定義したヘッセ多様体と一致しており、その統計構造をヘッセ構造、関数 formula_27 をヘッセ・ポテンシャルという。ヘッセ構造はAdS/CFT対応におけるBTZブラックホールに見出されることが知られている。
歴史.
情報幾何学のアイデアは、1929年にハロルド・ホテリングが記した草稿に遡ることができる。ホテリングはフィッシャー情報行列 formula_31（ただし formula_32 と formula_33 は情報幾何学でよく見られる略記である）が統計モデルにリーマン計量（フィッシャー計量）を定めることを考察し、1945年にも独立にそのことを指摘した。さらに1972年にはが、マルコフ埋め込みに関する不変性の下では、リーマン計量が（定数倍を除いて）フィッシャー計量だけに限られ、アフィン接続も（1次元実数パラメータの自由度を除いて）一意に定まることを有限集合上の確率分布の場合について証明した（チェンツォフの定理）。一方、1975年には統計的推論の高次漸近理論において、指数型分布族に埋め込まれた統計モデル（曲指数型分布族）にある種の埋め込み曲率を定義し、はその曲率がフィッシャー計量に関して非計量的なあるアフィン接続から定まることを指摘し、それをエフロン接続と命名した。
このような状況に対し1982年に甘利俊一は、パラメトリックな統計モデル formula_34 に対しformula_35を満たす formula_2 上の対称なアフィン接続 formula_37 を formula_38 接続（formula_39）と定義して一般論を展開することに成功した。実際、有限集合上の確率分布において formula_38 接続はチェンツォフの定めたアフィン接続の1係数族と一致しており、特に formula_41 に対応する e 接続（指数接続）はエフロン接続と一致しており、formula_42 に対応する formula_43 接続はフィッシャー計量に関するレヴィ・チヴィタ接続に他ならなかった。この一般化を契機として、フィッシャー計量と formula_38 接続の成す微分幾何学的構造、特に先述の e 接続と formula_45 に対応する m 接続（混合接続）が調べられるようになり、e 接続の平坦性は統計モデルの最適性を、m 接続の平坦性は推定の最適性を曲率テンソルを使って定量評価することを可能にした。
甘利はさらに、1982年に長岡浩司と共同で情報幾何の双対構造を発表し、1983年に公文雅之と共同で統計的推論の高次漸近理論の幾何を提唱した。1984年にが統計の微分幾何に関するワークショップをロンドンで開催したのを皮切りに、少しずつ世界的な知名度が上がって研究が活発化するようになった。江口真透が情報幾何をダイバージェンスを基に構築できることを示したのはその翌年のことであり、双対平坦空間や正準ダイバージェンスなどの一般論が整備されるにつれて情報幾何学はその地位を確立することに成功した。
情報幾何学の応用は、EMアルゴリズムのような統計的推論のみならず、統計物理学や学習理論、情報熱力学にまで及んでおり、2018年にはこのような進展を背景にシュプリンガー社から学術誌 "Information Geometry" が刊行されることが決定した。今後はさらに、量子情報幾何やワッサースタイン幾何、などの発展も期待されている。人工知能の分野では、ニューラルネットや神経発火パターンの情報の解釈に応用され始めている。超弦理論と量子情報を結ぶ学術領域では、情報幾何学が応用され始めている。