Local Maxima of the Entrywise $\ell_4$ Norm on the Orthogonal Group

巨大で目に見えない、$r$ 行 $r$ 列のグリッドで作られたダンスフロアを想像してください。そこには、「直交群（Orthogonal Group）」と呼ばれる特別なダンサーの一団がいます。彼らのルールは厳格です。すべてのダンサーは必ずユニークな場所に立たなければならず、同じ行や列にいるダンサー同士の距離は、完璧にバランスが取れていなければなりません。彼らは回転したり、反転したり、シャッフルしたりできますが、グリッドのリズムを乱すことは決してできません。

さて、ここで、最も「集中した」ダンスのフォーメーションを見つけ出そうというゲームを想像してみてください。私たちは平均的なエネルギーの広がりを探しているわけではありません。私たちが探しているのは、ダンサーたちができる限り「固まった」フォーメーションです。この集中度を測るために、私たちは「エントリーワイズ $\ell_4$ ノルム（entrywise $\ell_4$ norm）」という特別なスコアを使用します。これは、グリッドの各マスにおける「人気投票」のようなものです。もしあるマスにダンサーが立っていたら、その数を取り、それを4乗して、合計に加算します。目標は、この合計スコアを最大化することです。

大発見：唯一の勝者は「符号付き置換行列」である

ディアン・ジン（Dian Jin）による論文は、非常に具体的かつ驚くべき事実を証明しています。それは、このゲームにおけるローカルな勝者（あるいはグローバルな勝者さえも）になれるのは、「符号付き置換行列（Signed Permutation Matrices）」だけであるということです。

これは、平易な言葉で言えばどういう意味でしょうか？ それは、すべての行とすべての列にちょうど1人のダンサーがおり、そのダンサーはフルパワー（値が $+1$ または $-1$）で立っていなければならない、ということです。それ以外のすべてのマスは、完全に空（ゼロ）でなければなりません。

これは、椅子取りゲームのようなものだと考えてください。勝ち抜く唯一の方法は、椅子に座るのは自分一人だけであり、かつ、完璧に静止して座っていることです。もし椅子を分け合おうとしたり、重みを二つの椅子に分散させたりすれば、あなたは負けます。

「厳密なサドル（鞍点）」の罠：なぜ他のすべては失敗するのか

ここからが最もエキサイティングな部分です。論文は単に「これらが勝者です」と言っているだけではありません。それ以外のあらゆるフォーメーションは「罠」であることを証明しているのです。

遠くから見れば平坦な丘のように見える場所にあなたが立っていると想像してください。あなたはそこが頂上かもしれないと考えているかもしれません。しかし、論文は、もしあなたがその完璧な「1行につき1人のダンサー」の状態にいないのであれば、あなたは実際には「サドル（鞍点）」の上に立っているのだと示しています。

サドルとは、馬の鞍のようなものです。ある方向（馬の背中のような方向）にはカーブしていますが、別の方向（馬のお腹のような方向）にはカーブしています。もしあなたがサドルにいるなら、前後にだけ注目していれば、そこがピーク（頂上）のように感じるかもしれません。しかし、左右に目を向ければ、さらに高い方へと登っていく道が見えるはずです。

論文は、完璧な「符号付き置換行列」ではないあらゆるフォーメーションについて、スコアを厳密に増加させることができる特定の方向が数学的に保証されていることを証明しています。それは、隠れたスロープを見つけるようなものです。平坦に見える丘の中に、より高いピークへと一直線に突き進む隠れた坂道を見つけるのです。

彼らはどのようにして「秘密のスロープ」を見つけたのか

著者たちは単に推測したわけではありません。彼らは、そのスロープを見つけるための「機械」を作り上げました。彼らは、二乗された数値のグリッド（「二乗エントリー行列」）に注目し、そこから「1」ではない最大の数値を見つけ出しました。

例えば、あなたのグリッドにある最大の数値が $0.8$ だとしましょう。論文はこう言います。「よし、弱点を見つけたぞ」。そして彼らは、対称性を打ち破る程度にダンサーをわずかに動かす、特定の極めて小さな動き（「ランク2の接方向」）を構築しました。

彼らは、その動きによってスコアがどのように変化するかを正確に計算しました。数学的な計算によれば、スコアは常に上昇します。

• もし最大の数値が大きい（$1/3$ より大きい）場合、スコアは跳ね上がります。
• もし最大の数値が小さい（$1/3$ より小さい）場合でも、スコアはやはり跳ね上がります。
• たとえグリッド全体が、同一の小さな数値（すべてのマスが同じ小さな値を持つ「アダマール行列」のような状態）で埋め尽くされていたとしても、少し動かすだけでスコアは上昇します。

論文は、符号付き置換行列ではない「安定した」フォーメーションが存在するという考えを明確に否定しています。隠れたピークも、「惜しい勝利」も、あるいはトリッキーな停滞も存在しません。もしあなたが符号付き置換行列でないなら、より高く登るための道が必ず存在するのです。

最終スコア

このゲームの最大スコアは、正確に $r$ （$r$ は行または列の数）です。これは、$r$ 人のダンサーがそれぞれフルパワーで、独自の椅子に座っている場合にのみ達成されます。

この論文は、このことについて100%確信を持っています。これはシミュレーションでも、推測でも、データに基づいた示唆でもありません。あらゆるサイズのグリッド（極小の $1 \times 1$ グリッドから、巨大で複雑なグリッドまで）に対して機能する、完全な数学的証明です。また、以下のような特殊なケースもすべて処理しています。

• いくつかの数値がゼロである場合。証明は依然として成立します。
• 二つの数値が同じ大きさである場合。証明は依然として成立します。
• グリッドが小さなブロックに分かれている場合。証明は依然として成立します。

要するに、この数学的ゲームの風景は非常にシンプルです。唯一のピークは、完璧な「1行につき1人のダンサー」のフォーメーションだけです。それ以外の場所はすべてサドルであり、どこを見ればよいかさえ分かれば、あなたは常に、より高く登っていくための道を見つけることができるのです。