【歴史的偉業】67歳おじいちゃんが数学上の未解決問題を“歯磨き中”に解決！徹底解説「ガウスの相関予想（GCC）」

画像は「Thinkstock」より引用

　半世紀にわたって世界中の数学者を苦しめてきた超難問「ガウスの相関予想（以下GCC）」の簡単な解決方法をおじいちゃん（67）がお風呂で歯磨き中に「思いついてしまった」とのニュースが飛び込んできた！

■数学最難問の1つ「ガウスの相関予想」が解決される

【歴史的偉業】67歳おじいちゃんが数学上の未解決問題を歯磨き中に解決！徹底解説「ガウスの相関予想（GCC）」の画像2

ローエン氏「Daily Mail」より引用

　そもそも「GCC」（または「ガウスの相関不等式（GCI）」）とは一体どんな問題なのだろうか？　専門外の素人では聞いたことさえない問題だが、実は幾何学、確率論、統計学の分野をまたぎ、まだ証明が得られない数学的超難問として半世紀にわたり君臨してきた予想だという。それを今回、ドイツ人数理統計学者トーマス・ローエン氏が、“お風呂で歯磨き中”に“ぼーっと考え事をしていたら”解けてしまったというから驚きだ。

　日本語の情報がほぼないため、正確な記述は困難を極めるが、英紙「Daily Mail」（4月5日付）の記事を参考にローエン氏の偉業をわかり易く解説してみよう。

　GCCのもととなった命題は1950年代に初めて提唱され、1970年に現在知られている形へとまとめられた。これを数学的に表現すると、「尾平均値が０の任意のn次元ガウス測度μとn次元ユークリッド空間の任意の対称な凸部分集合A、Bに対して、μ(A∩B)≧μ(A)×μ(B)が、成り立つ」となる予想である。ガウス測度とは、我々が通常“確率”と呼ぶ「確率測度」を満たす測度のことだが、専門的になるのでざっくり確率のことだと思ってもらいたい。

　それにしても、このままではなんとも抽象的で分かりにくい。ダーツを例にとって簡単に考えてみよう（ダーツを例にとるのはガウス測度を満たす正規分布を作るためだが、細かいことは省略する）。 (下図参照：n=2、A：円板、B：長方形の板)。

【歴史的偉業】67歳おじいちゃんが数学上の未解決問題を歯磨き中に解決！徹底解説「ガウスの相関予想（GCC）」の画像3

画像は「Daily Mail」より引用

　このように長方形の板の上にダーツの円盤を置いた場合、先ほどの不等式は次のように翻訳される。

「的にむかってダーツを投げた時、円板と長方形の板との重なった部分に刺さる確率は、円板だけに刺さる確率と長方形の板だけに刺さる確率の積以上になる」

　一体どうしてこの不等式が成立すると思ったのか皆目検討もつかないが、予想されてしまったのだからしょうがない。この問題は一般的に現代の解析学で取り扱われるが、ローエン氏は古典的な統計学の手法を用いて解決してしまった。さらに彼のすごいところは、元の予想よりも一般化された問題へと拡張した上で、解決してしまった点だといえるだろう。通常、ある問題を一般化するとより複雑になるものだが、もともとGCCで予想されていた問題をより一般化することで逆に見通しが良くなったということだ。証明方法も実にエレガントなもので、たった数ページの論文におさまったという。

　ただしダーツの例は、n次元であるものを2次元で表現し、任意である凸集合を円板と長方形の板というもので考えたものなので、ローエン氏が証明したものとは厳密には異なる（ローエン氏が解決した問題の方がはるかに難しい）。