On non-monotonicity of logarithmic energy for random matrices

あなたは、混沌がいかにして秩序へと落ち着いていくのかという謎を解こうとする探偵であると想像してください。数学や物理学の世界には、「エントロピー」と呼ばれる特別な種類の「乱雑さ」があります。これは、洗濯物の山のようなものだと考えてください。服を床に投げ捨てれば、それは散らかっていますが、きれいに畳めば、整理された状態になります。科学者たちは、システムに要素（例えば、洗濯物の山に靴下を追加していくこと）を増やし続けると、システムは非常に特定的かつ予測可能な方法で、自然に「秩序」へと向かうと考えてきました。この考え方は「単調性（monotonicity）」と呼ばれます。これは、システムを大きくするにつれて、その「エネルギー」や「無秩序さ」の尺度は、常に一定のステップを踏んで減少していき、最終的に完璧で滑らかな底に到達することを示唆しています。

これを理解するために、コンサート会場の群衆を想像してみてください。もし、たった2人の人々だけを見れば、彼らは奇妙でギザギザしたパターンで立っているかもしれません。しかし、100人の人々を見れば、彼らは滑らかな波のように見え始めるでしょう。「対数エネルギー（logarithmic energy）」とは、人々がどれほど広がっているか、あるいは密集しているかを測定するための、高度な数学的ツールです。何十年もの間、研究者たちは、このエネルギーは（次元が増すにつれて）常に滑らかに減少していくものだと考えてきました。まるで、完璧に滑らかな丘を転がり落ちるボールのように。これは、回転するコイン、振動する原子、あるいは巨大なスプレッドシート内の数字など、ランダムなものがどのように振る舞うかについての普遍的なルールであると思われていました。

しかし、もしその丘が滑らかではなかったらどうでしょう？ もし、ほんの一瞬、ボールが再び下る前に、小さな凸凹を登らなければならないとしたら？ これこそが、この論文が発見したことです。著者たち（テオドロス・アシオティス率いるチーム）は、この「滑らかな丘」理論を検証するために、ランダム行列と呼ばれる巨大なランダム数のグリッドを用いてテストを行いました。彼らは単に推測したのではなく、ルールが真実かどうかを確認するために、具体的で具体的な例を構築しました。そして、驚くべき事実を発見しました。丘には凸凹があるのです。エネルギーは、システムが大きくなるにつれて常に減少するわけではありません。実際、特定の種類のランダム行列においては、サイズが小さい状態から少し大きくなったときに、エネルギーが実際に「上昇」することがあります。これは、プロセスが常に単調であるという長年の信念を打ち破るものです。

凸凹のある丘の物語

この論文は、疑われているルールを間違いであると証明しようとする、数学的な探偵物語です。問題となっているルールは、他の科学者たち（Chafaï、Dadoun、およびYoussef）によって提案されたもので、幅広いランダムなシステムにおいて、特定の「ペナルティ付きエネルギー」スコアは、システムが大きくなるにつれて常に低くなるというものでした。このスコアを「混沌メーター」と考えてみてください。仮説は、小さな混沌としたシステムを持ち、それをより大きくすれば、混沌メーターは常に下がり、システムがより秩序立ち、安定することを意味するというものでした。

しかし、この論文の著者たちは、この滑らかな減少がすべてではないのではないかと疑っていました。これをテストするために、彼らはルールを打破するために設計された、非常に具体的な2つの「反例（counterexamples）」、すなわち数学的なシナリオを構築しました。

第1の反例：ウィグナー行列
まず、彼らは「ウィグナー行列」と呼ばれるタイプの行列に着目しました。これは、数値がランダムに選ばれるものの、特定の対称性（右上と左下が一致する）を持つ巨大なグリッドのようなものです。彼らは、グリッド内の数値が特定の分布（「半円」の形）から抽出されるシナリオを想定しました。
彼らは、$1 \times 1$ の小さなグリッドと、それより少し大きな $2 \times 2$ のグリッドについてエネルギーを計算しました。

• 結果： $1 \times 1$ のグリッドのエネルギーは、予想通りの「低い」点にありました。しかし、$2 \times 2$ のグリッドについて計算したところ、エネルギーは上昇しました。
• 証明： 彼らは単に推測したのではなく、計算を行い、その上昇が厳密に正であることを示しました。彼らは「混沌メーター」が跳ね上がったことを証明しました。これは、少なくともこの特定のステップにおいては、システムが大きくなることで、システムがより秩序を失ったことを意味します。これにより、これらのタイプの行列に対してエネルギーが常に単調に減少するという考えが崩れました。

第2の反例：ベルヌーイ行列
次に、彼らはさらに複雑なケースに取り組みました。それは、すべての数値が、2種類の値（例えば、非常に小さな数と非常に大きな数の間のコイン投げのようなもの）の混合から独立して選ばれ、その後、わずかなガウス・ノイズ（ラジオ信号に加わる微かな静電気のようなもの）によって「滑らかに」された行列です。
彼らは、$2 \times 2$ のグリッドと $3 \times 3$ のグリッドのエネルギーを比較しました。

• 結果： ここでも、エネルギーは上昇しました。$3 \times 3$ のグリッドは、$2 \times 2$ のグリッドよりも高いエネルギー・スコアを持っていました。
• メカニズム： 著者たちはこれを「衝突（collisions）」という概念を用いて説明しました。小さなグリッドでは、ランダムな数値はうまく分散する傾向がありました。しかし、$3 \times 3$ のグリッドでは、ランダムな数値の特定の相互作用が、エネルギーの一時的なスパイクを生み出すような「密集」や「衝突」を引き起こしました。彼らはこれらの集まりの発生確率を正確に計算し、平滑化パラメータが小さい値において、数学的にエネルギーが上昇することを証明しました。

なぜこれが重要なのか

この論文は単に「ルールが壊れた」と言っているだけではありません。それは、これらの特定のケースにおいてルールが壊れているという正確な数学的証明を提供しています。著者たちは、このルールが「あらゆる場所」で壊れているわけではないと慎重に述べています。非常に大きなシステムや異なる条件下では、依然として正しい可能性があります。しかし、この論文は、ランダムな行列のすべてに対して「滑らかな丘」理論が普遍的な法則ではないことを証明しています。

重要な教訓は、自然（あるいは少なくとも、ランダムな数の数学）は、私たちが考えていたよりも予測不可能であるということです。時には、パズルのピースを増やしても、すぐに絵が鮮明になるわけではありません。最初は少し、より混沌とするかもしれません。著者たちは、秩序への道は必ずしも一直線の下降線ではないことを示しました。そこには凸凹があり、時には、再び滑り落ちる前に、少し登らなければならないこともあるのです。

結局のところ、この論文は精密さの勝利です。著者たちは、エラーの可能性があるコンピュータ・シミュレーションに頼るのではなく、これらの設定においてはエネルギーが必ず上昇することを示す、厳密な数学的議論を構築しました。彼らは、次元の単調性の予想が一般的な形では誤りであることを示す、否定できない証拠として、「有限エネルギー・ウィグナー反例」と「ガウス正規化ベルヌーイ・ファミリー」を構築することに成功したのです。滑らかな丘には凸凹があり、ボールはそれを登らなければならないのです。