The Penrose conjecture for initial data sets satisfying a $2$-convexity condition

宇宙を、空間と時間が織りなす巨大で見えないトランポリンだと想像してみてください。そこに重いボウリングの球を置くと、布地が下に沈み込み、窪みができます。これが重力です。では、もしそのボウリングの球が信じられないほど重く高密度で、トランポリンを底なしの穴へと押し潰してしまい、光さえも逃げ出せない状態になったとしたらどうでしょう。その穴こそがブラックホールです。何十年もの間、物理学者たちは、これらの宇宙の穴に対する究極のルールブックを書こうと試みてきました。具体的には、ある一定のサイズ（面積）のブラックホールを作るために、どれほどの「モノ」（質量）が必要なのかを解明しようとしています。これは単なる数学的な遊びではありません。私たちの宇宙がどのようにして自らを維持しているのかという、根本的な法則を理解するための試みなのです。もしルールが破られているとしたら、それは私たちの重力に対する理解が不完全であることを意味するかもしれません。

この論文が取り組んでいる具体的なパズルは、「ペンローズ予想」と呼ばれるものです。これは、宇宙における「速度制限」や、ブラックホールの「最低賃金」のようなものだと考えてください。この予想は、もしある一定の表面積を持つブラックホールが存在するならば、それを含む宇宙の総質量は、少なくとも特定の量でなければならないと述べています。もし質量がこれよりも低ければ、物理学の法則を破ることなくブラックホールは存在し得ないということになります。この概念は、何も動かず、回転もしていない非常に特殊で単純なタイプの宇宙においては、すでに証明されていました。しかし、現実の宇宙はもっと混沌としています。動いている物質、回転する星、そして複雑なエネルギーの流れが存在します。この論文は、その混沌とした現実に踏み込み、物事が動的で複雑である場合でも、そのルールが依然として成立するかどうかを検証しています。

著者らは、コンハン・ドン（Conghan Dong）を中心として、この「混沌とした」宇宙の大部分において、ペンローズ予想が正しいことを証明することに成功しました。ただし、それは「2-凸性（2-convexity）」と呼ばれる特定の幾何学的条件を満たしている場合に限られます。彼らは単に推測したのではなく、以前の研究で開発した新しいツールを用いて、厳密な数学的証明を構築しました。

宇宙の風船と魔法のフロー

著者らがどのようにしてこのコードを解いたのかを理解するために、彼らの主要な登場人物である「σ-逆平均曲率フロー（σ-IMCF）」を紹介しましょう。目に見えない粘着性のある流体で満たされた部屋に、しぼんだ風船が浮いている様子を想像してください。通常、風船を膨らませようとすると、均一に膨張します。しかし、この数学的な宇宙における風船は特別です。その表面がいかに「曲がっているか」と、周囲の空間がいかに「ねじれているか」に依存する力によって、外側へと押し広げられています。

著者らは、このフローをタイムマシンのように利用します。彼らはブラックホールの端（「見かけの地平線」）を表す面からスタートし、まるで玉ねぎの皮を剥いたり、あの風船を膨らませたりするように、この魔法のフローによって層を重ねるように外側へと拡大させていきます。表面が成長するにつれて、著者らは「宇宙スコア」と呼ぶ特別な数値を追跡します。

ここが魔法のトリックです。著者らは、この風船が膨張していく過程で、宇宙スコアが決して減少しないことを発見しました。スコアは変わらないか、あるいは大きくなります。これは、預け入れはできるが引き出しはできない銀行口座のようなものです。これは「単調性公式」と呼ばれます。スコアが下がることがないため、スコアの最初（風船がブラックホールの大きさのとき）の値は、スコアの最後（風船が無限にまで膨張したとき）の値以下でなければなりません。

ゲームのルール

この魔法のトリックが機能するためには、宇宙が2つの厳格なルールに従う必要があります。論文ではこれらを「優位エネルギー条件」と「2-凸性条件」と呼んでいます。

1. エネルギーのルール： これは、エネルギーや物質が「まともな」振る舞いをするという、小洒落た言い回しです。負のエネルギーが漂っていたり、エネルギーが光速を超えて移動したりすることはできません。これは、宇宙が「物理学を使ってズルをしないでください」と言っているようなものです。
2. 2-凸性のルール： これがこの論文における新しい要素です。ブラックホールの端を一枚の布だと想像してください。単純な宇宙では、この布は平坦であるか、あるいは一つの方向に曲がっているだけかもしれません。しかし、動的な宇宙では、布はねじれたり歪んだりすることができます。2-凸性条件は、その「ねじれ具合」に対する制約です。それは、布の二つの最小方向における「ねじれ」の合計が正の数でなければならないことを意味します。これは、たとえ布が引っ張られたりねじられたりしていても、二つの方向においてあまりに激しくねじられて結び目を作ってしまうことはできない、というような制約です。

この論文は、宇宙がこれら2つのルールに従っている限り、宇宙スコアが完璧に機能することを証明しています。スコアはブラックホールの面積によって決まる値から始まり、宇宙の総質量によって決まる値へと到達します。スコアが減少することはないため、開始時の値（ブラックホールのサイズ）は、終了時の値（宇宙の総質量）に対して大きすぎることができません。これにより、この特定のタイプの宇宙において、ペンローズ予想が数学的に裏付けられました。

「単純」から「複雑」への旅

この論文以前、ペンローズ予想は「静的な」宇宙、つまり何も動かず、何も回転せず、ブラックホールがただそこに鎮座しているだけの場所においてのみ証明されていました。それは、静かな池に対してルールが機能することを証明するようなものでした。しかし、現実のブラックホールは、しばかに崩壊する星や衝突する銀河によって形成されることが多く、時空が激しくうねる「動的な」環境を生み出します。

著者らは、静的なケースのために構築したツールを取り上げ、それをアップグレードしました。彼らは、Pと呼ばれる新しいテンソル（物体の伸びやねじれを記述する数学的対象）を導入しました。簡略化して言えば、Pは2-凸性条件に対する「圧力計」として機能します。もし至る所でPが正であれば、その宇宙は彼らの魔法のフローが機能するための安全圏にあります。

彼らは、たとえこれらが動的で混沌とした宇宙であっても、ブラックホールの端から出発して魔法の風船を膨らませれば、宇宙スコアが信頼できるガイドであり続けることを示しました。彼らは、開始時のスコアが正確に面積の平方根を16πで割った値であり、終了時のスコアが宇宙の総質量であることを証明しました。スコアが減少することはないため、質量は少なくとも面積の平方根を16πで割った値以上でなければなりません。

「もしも」と「いつ」

この論文は、自身が何を証明し、何を証明していないのかについて非常に精密です。これは、宇宙が「漸近的に平坦（asymptotically flat）」（つまり、ブラックホールから遠く離れると空っぽの空間のように見える）であり、上述の2つのルールを満たしている場合に、その予想を証明しています。

しかし、著者らはまた、限界についても指摘しています。もし宇宙が2-凸性条件を満たさない場合（もし布が奇妙にねじれすぎている場合）、この特定の証明は適用されません。彼らは、そのようなケースにおいて予想が「偽」であると言っているのではなく、単にこの特定の魔法のフローというツールでは証明できないと言っているのです。それは、特定の種類の鍵が開けられる鍵を持っているようなものです。もし鍵穴が異なっていれば、別の鍵が必要になります。

また、論文は「等号」が成立する場合についても扱っています。質量が正確に最小値に等しくなるのはどのような時でしょうか？著者らは、それが宇宙が完全に静止しており、ブラックホールが標準的な教科書通りのシュヴァルツシルト・ブラックホール（最も単純な種類）である場合にのみ起こることを証明しています。もし何らかの動きや回転、あるいは余分なエネルギーがあれば、質量は必ず最小値よりも「厳密に大きく」なります。これは理にかなっています。エネルギーや運動を加えるならば、ブラックホールを維持するためにより多くの質量が必要になるため、「最低賃金」は上がります。

結論

結局のところ、この論文は重力に関する私たちの理解における大きな前進です。ブラックホールに関する美しく単純なルールを、宇宙が2-凸性条件に従っている限り、事態が複雑になってもそのルールが維持されることを示しています。著者らはコンピュータ上でシミュレーションを行っただけでなく、曲面のフローと特定の量の保存を用いた、厳密な数学的証明を構築しました。

彼らは、宇宙には組み込まれたセーフティメカニズムがあることを事実上示しました。すなわち、エネルギーと幾何学の基本法則を破ることなしに、質量に対して大きすぎるブラックホールを作ることはできないということです。「宇宙スコア」は常に帳尻を合わせています。まだこのルールが証明されていない他のタイプの宇宙は存在しますが、この研究は複雑で動的なシナリオの大部分に対して扉を閉ざし、ブラックホールの宇宙的ルールを完全に理解するための道のりに一歩近づきました。