On degenerate geometric rank

あなたは、数字の巨大な多層構造の箱の中に隠された謎を解こうとしている探偵だと想像してください。数学の世界では、これらの箱はテンソルと呼ばれます。皆さんは、これらを2次元の平らな格子である行列の3次元版として知っているかもしれません。行列がスプレッドシートのようなものだとすれば、テンソルはそれらを何枚も重ねて接着したスプレッドシートのスタックのようなものです。これらのオブジェクトは、コンピュータがあなたの顔を認識する方法から、物理学者が宇宙をモデル化する方法に至るまで、あらゆるものの「秘伝のソース」となっています。

これらの箱の中に何が入っているかを理解するために、数学者は**ランク（階数）**というツールを使います。ランクとは、「乱雑さ」や複雑さの尺度だと考えてください。単純で完璧に整理された箱は低いランクを持ち、混沌としていて無秩序な箱は高いランクを持ちます。最近、この複雑さを測定する新しい方法として、**幾何学的ランク（geometric rank）というものが発明されました。単に数字を数えるのではなく、幾何学的ランクは数字が形成する「形」に注目します。それは次のように問いかけます。「もし私が、この箱の中で『単純な（低ランクの）』部分を探すとしたら、それらはどれほどの広さの空間を占めるだろうか？」通常、これらの単純な部分は、散らばった小さな点に過ぎません。しかし、時として、それらは驚くほど巨大で予期せぬ雲を形成することがあります。このようなことが起きたとき、そのテンソルは退化的な幾何学的ランク（degenerate geometric rank）**を持っていると言われます。それは、数滴の水しか期待していなかった場所に、海を見つけるようなものです。

この論文は、これらの「海」を狩り出し、それがどこから来たのかを突き止めることを目的としています。著者である Matej Doležalek、Paweł Pielasa、そして Derek Wu は、大きな問いに取り組んでいます。もし私たちがこのような奇妙な退化的ランクを持つテンソルを見つけたとき、それはまだ目に見えていない、より大きな、より単純なパズルの断片に過ぎないのでしょうか？ それとも、分解することも、より大きなものへと「持ち上げる（lift）」こともできない、独自の独立したモンスターなのでしょうか？ 彼らは、その違いを見分けるための一連のルールを証明します。彼らはまた、特定の種類の謎、すなわち「単純な部分」があまりに単純で、単なる一本の直線（ランク1）である場合、何が起こるのかについても調査しています。彼らは、もしこれが驚きを引き起こすのであれば、そのテンソルは通常、非常に特定された、退屈な秘密（例えば、平らな紙のシートや対称的なパターン）を隠しているのだということを示します。最後に、彼らは、単なる平らなシートや単純なパターンではない、退化的ランクの例を見つけるための宝探しに出かけます。彼らは、幾何学的ランクが曲がった非線形の形状を含む、興味深い新しい例をいくつか発見しましたが、同時に驚くべきルールも発見しました。それは、これらの奇妙なケースにおいても、非線形の形状が唯一の原因にはならないということです。そこには常に、同じ退化的ランクを実現する、退屈で線形な部分が背景に隠れています。つまり、「奇妙さ」だけでは問題全体を引き起こすには不十分なのです。

「リフト（持ち上げ）」と「中立」の方向の物語

著者たちはまず、**リフト可能性（liftability）**という概念に取り組みます。あなたが小さな平らな絨毯（行列の空間）を持っており、その上に奇妙で大きな水たまりがあると想像してください。あなたはこう疑問に思います。「この絨毯は、同じように大きな水たまりを持つ、もっと大きな絨毯のほんの小さな角に過ぎないのだろうか？」もし答えがイエスであれば、その小さな絨毯は大きなものへと「リフト（持ち上げ）」されます。もし答えがノーであれば、その絨毯は「リフト不可能（unliftable）」であり、それ自体が物語のすべてなのです。

これを判断するために、著者たちは**ランク中立な方向（rank-neutral directions）**を用いた巧妙なテストを考案しました。あなたの絨毯にある水たまりの縁を想像してください。その縁のあらゆる点において、水たまりを大きくも小さくもすることなく、絨毯を押し進めることができる特定の方向が存在します。これらが「中立な」方向です。著者たちは強力なルールを証明しました。もし、絨毯を押し進める方向のうち、中立ではない方向が一つでも見つかれば、その絨実はより大きなものへとリフト可能です。しかし、試すすべての方向が中立であるならば、その絨毯は行き詰まっており、リフトすることはできません。それは、それ自身が最終的で、変えられないバージョンなのです。彼らは、特定のケースについてこれをチェックするためのデジタル拡大鏡として機能する、コンピュータプログラムさえも構築しました。

ランク1・ロカスのケース

次に、チームは特定の種類の水たまり、すなわち**ランク1・ロカス（rank-1 locus）**に焦点を当てました。テンソルの世界では、「ランク1」は最も単純な状態、つまり単一の直線のようなものです。通常、これらの線は非常に稀であり、大きな形を成すことはありません。しかし、時として、これらが集まって巨大な退化的ランクを形成することがあります。

著者たちはこう問いかけました。「もしランク1の線がランクの退化の唯一の理由であるならば、そのテンソルはどのような姿をしているのか？」彼らは、本当に2つの可能性しかないことを証明しました。テンソルが、ランク1の線による巨大で平らなシート（線形部分空間）を隠しているか、あるいは、2×2対称行列（数学における特定の既知の形状）と全く同じ形をしているかのどちらかです。彼らは、もし後者のケースであれば、ランク2の線（少し複雑なもの）も退化を引き起こすことを示しました。これは、ランク1の線だけが、真に興味深く複雑な方法で驚きを引き起こすという状況はあり得ないことを意味します。もしランク1の線が犯人であるなら、それらは退屈なほど平坦であるか、あるいは非常に特定の既知のパターンの一部なのです。

宝探し：非線形の驚き

最後に、著者たちは「聖杯」を求めて宝探しに出かけました。それは、退化的ランクが非線形な形状に由来するテンソルです。線形な形状は、直線や平面のようなものです。非線形な形状は、球体やねじれたリボンのように、曲線を描いています。彼らの希望は、単純な平らなシートでは説明できない、曲がった複雑な形状が「大きな水たまり」となっているテンソルを見つけることでした。

彼らはいくつかの魅力的な例を発見しました：

• 行列の積（Matrix Multiplication）: 彼らは、$n \times n$ 行列の積を表すテンソルを調べました。彼らは、任意のサイズ $n$ に対して、このテンソルが特定のランクにおいて「リフト不可能」であることを確認しました。それは、頑固で独立したオブジェクトです。
• 八元数（Octonions）: 彼らは、通常の乗法のルールを打ち破る、奇妙な8次元数体系である八元数の構造を調べました。彼らは、この体系の「ランク4」の部分が、退化を引き起こす曲面（超曲面）を形成していることを発見しました。彼らは、この形状をより大きな空間へとリフトできないことを確認しました。
• 最小境界ランク（Minimal Border Rank）: 彼らは既知の「最小」テンソル（最も効率的なもの）のリストをスキャンし、ランク・ロカスが曲がっていて複雑である8つの特定のケースを見つけ出しました。

しかし、彼らの探索はひねりを持って終わりました。彼らはこれらの曲がった非線形の形状を持つ多くの例を見つけましたが、それらのどれもが退化の唯一の原因ではなかったことを発見しました。彼らが見つけたすべてのケースにおいて、同じ退化的ランクを実現する、退屈で平らな線形な形状が、そのテンソルの背後に隠れていました。したがって、非線形の形状は退的な幾何学的ランクを引き起こすことはできますが、決して単独では行いません。彼らには常に、線形な相棒が共にいるのです。

この論文は、退的な幾何学的ランクの世界は興味深く曲がった驚きに満ちているものの、「リフト不可能性」や「退化」は、依然として私たちがすでに理解している単純な線形構造によって駆動されていることが多い、と結論付けています。非線形の形状は派手な装飾ですが、線形の形状こそが土台なのです。