No compromise in the liquid drop model

あなたは、目に見えない粘着性のあるエネルギーでできた世界に住む、小さな建築家だと想像してください。この世界には、あなたが作るあらゆる物質の塊を絶えず引っ張り合う、二つの巨大で目に見えない力が存在します。第一の力は、超強力で弾力性のある皮膚のようなもので、あらゆるものを最もタイトでコンパクトな形状、つまり完璧な球体へと縮めようとします。これは「表面張力」という力であり、水滴が葉の上で丸まるのを作るのと同じ力です。第二の力はもう少し混沌としています。それは、形の中にいる人々が互いに嫌い合い、できるだけ遠くに離れたがっているようなものです。これは「電気的反発」という力であり、風船をこすりつけた時に髪の毛が逆立つのを作るのと同じ力です。

数十年にわたり、科学者たちはこれら二つの相反する力を使って形を作ったときに何が起こるのかを解明しようとしてきました。もし形を小さく作れば、粘着性の皮膚が勝ち、すべては整然とした丸い球体のままです。しかし、もし形を大きくしすぎると、中の怒れる群衆の声が大きくなりすぎ、形をバラバラに引き裂き、物質を二つの小さな、より「幸せな」球体へと引き離してしまうかもしれません。この物理学と数学の分野における大きな疑問は、「大きすぎる」とは一体どのくらいの大きさなのか？ということです。丸い球体が最適な形状でなくなる特定のサイズがあるのでしょうか、それとも単に形がぐにゃぐにゃと揺れるだけなのでしょうか？これは単なる抽象的な数学の問題ではありません。原子の構成要素がいかにして成り立っているのか、そしてなぜあるものは結びつき合い、あるものは崩壊するのかを理解することなのです。

「No Compromise in the Liquid Drop Model（液滴モデルにおける妥協なし）」と題された論文の中で、数学者のオーティス・チョドッシュとマチルデ・ジャンオッカは、ついにこのパズルを絶対的な確実性をもって解き明かしました。彼らは、この引き合う力の綱引きを記述する特定の数学的モデルを検討し、いつ丸い球が完璧な形となり、いつ単一の破片として存在することが不可能になるのかを正確に証明しました。

彼らの主な発見は、精密な「転換点」です。彼らは、形状の体積が特定の数値（彼らが約3.51と計算したもの）以下である限り、完璧な丸い球が絶対的な勝者であることを発見しました。それが、粘着性の皮膚と怒れる群衆を完璧に調和させる唯一の形なのです。しかし、この限界よりも大きな形状を作ろうとした瞬間、数学は、単一の連結した形状では決して勝てないことを証明します。もしこの大きさの形状を無理に存在させようとしても、それは必然的に、遠くへ離れていく二つの別々の破片へと分裂したがることになります。変な形をした引き伸ばされた塊がその中間で座り続けるような「妥協」の余地はありません。システムは、大きくなりすぎると単一の最小化体を維持することを拒否するのです。

この結論に達するために、著者らは「容量ポテンシャル（capacitary potential）」を用いた巧妙なトリックを使用しました。これは、形状を取り囲む特別な一種のマップ、あるいは圧力場のようなものだと考えることができます。彼らは球体の表面だけを見るのではなく、この目に見えない圧力場が周囲でどのように振る舞うかを分析しました。これに、曲面の曲率（表面がどれほど曲がっているか）に関する有名な数学的規則を組み合わせることで、強力な不等式を作り上げました。この不等式は厳格な審判のように機能し、限界を超える大きさの形状に対しては、形を維持するために必要なエネルギーが、二つの離れた球体へと離れていくエネルギーよりも高くなることを示しました。

著者らは、これに関連する「最小結合エネルギー」についても結論を出しています。これは、本質的に体積あたりのエネルギーを最も効率的に詰め込む方法のことです。彼らは、単一の球体にとって最も効率的なサイズが、正確に2.5ユニットの体積であることを証明しました。この特定のサイズにおいて、縮む皮膚と押し返す群衆のバランスが完璧になり、最も安定した構成が生まれます。

著者らはこれらの結果に非常に自信を持っています。彼らは単に推測したりコンピュータ・シミュレーションを行ったりしたのではなく、厳密な数学的証明を提供しました。彼らは、体積が小さい場合には球体が唯一の勝者であり、体積が約3.51の閾値を超えると単一の最小化体が存在しないことを示しました。彼らは、閾値のすぐ上の範囲における非存在を、二つの分離した球体と比較することで直接的に証明し、さらに大きな体積においても最小化体が存在しないことを確認するために先行研究を利用しました。これにより、長年の議論に終止符が打たれ、「液滴」モデルの原子には明確な限界があることが確認されました。一度、約3.51の閾値を越えれば、単一の液滴はもはや存在し得ないのです。