Antagonistic Corners of Min-Selectors: Geometry, Switching Dynamics, and Nagumo Invariance

技術要約：最小選択関数の敵対的コーナー：幾何学、スイッチング動力学、およびナゴム不変性

問題提起
本論文は、$\beta(x) = \min\{\Delta_1(x), \dots, \Delta_k(x)\}$ という形式の最小選択関数（min-selector）の幾何学的および動的な性質を調査している。ここで $\Delta_i$ は滑らかなマージン関数である。このような選択関数は、システムの生存が最も脆弱な制約に依存する生存理論（viability theory）において現れる。この選択関数は局所的にはリプシッツ連続であるが、複数のマージンが同時に最小となる「コーナー」において微分可能性を失う（$|A(x)| \ge 2$）。中心となる問題は、これらのコーナーにおける挙動、特に活性化された勾配が「敵対的（antagonistic）」な構成をとる場合の挙動を特徴付けることである。このような場合、活性勾配の凸包が原点を含む。これにより、リカバリー・コーン（回復錐）が空集合となる。本論文は、これが一次の回復に対して引き起こす幾何学的な障害、このような障害が存在する場合でも生存領域が存在するための条件、およびこれらの特異点における動的な結果（凍結か破綻か）を扱う。

手法
分析には、非滑らかな解析、有限次元凸分離、および生存理論の標準的なツールを用いる：

• クラーク劣微分（Clarke Subdifferential）: 活性化された勾配の凸包として、最小選択関数の一般化勾配を定義するために使用される。
• ゴルダンの選択定理（Gordan's Theorem of the Alternative）: 回復錐の空性と敵対的条件（勾配の凸包に原点が含まれること）の等価性を確立するために用いられる。
• 接錐分析（Tangent Cone Analysis）: 崩壊集合 $C = \{\beta \le 0\}$ のコンティンジェント（ブーリガン）接錐を、回復錐の補集合として特徴付ける。
• ナゴム不変性定理（Nagumo Invariance Theorem）: 前方不変性の基準を導出するために適用される。
• 二次解析（Second-Order Analysis）: 敵対的コーナーにおける生存領域の存在を決定するために、テイラー展開とヘッセ行列分析が用いられ、多目的パレート最適性の条件を転置させる。
• 力学系（Dynamical Systems）: 線形ベクトル場を敵対的尖点（cusp）において分析し、ノード型（凍結）とサドル型（破綻）の挙動を区別する。

主要な貢献と結果

1. 敵対的コーナーの特性付け:
   本論文は、境界コーナー $x$ における敵対的構成を、$0 \in \text{conv}\{\nabla \Delta_i(x) : i \in A(x)\}$ と定義する。これは、回復錐 $R(x)$ が空であることと等価であることを証明している。これは、そのような点においては、いかな die どのベクトル場も、すべての活性マージンを同時に改善する（フル・リカバリー）方向を生み出すことができないことを意味する。

2. 誘導された敵対性（Induced Antagonism）:
   著者は、敵対性が許容制約によって「誘導」され得ることを示している。たとえ活性勾配が周囲の空間において非敵対的であっても、システムをより低次元の部分多様体に制限すること（例：保存則やプロセス制約による）で、勾配が投影され、その凸包が原点を含むようになる。例として、化学ポテンシャル、再生、および圧力降下の間のトレードオフが共同の敵対性を生み出す熱力学的吸着フロント面が挙げられる。

3. 三領域分類:
   境界点における一次のマージン応答の分類が確立されている：

• 完全な回復（Full Recovery）: $f(x) \in R(x)$ （敵対的コーナーでは不可能）。
• 持続（Persistence）: $f(x) \in K(x)$ （すべてのマージンが非増加）。
• 混合緩和（Mixed Relief）: $f(x) \in M(x)$ （一部のマージンは改善するが、他方は改善しない）。
  敵対的コーナーにおいて、システムは「持続」または「混合緩和」に制限される。

4. ナゴム不変性と接線性:
   本論文は、崩壊集合のコンティンジェント接錐が回復錐の補集合であることを証明している。したがって、敵対的コーナーにおいて、ナゴムの接線性条件（$f(x) \in T_C(x)$）は、回復錐が空である（したがって接錐が全空間となる）ため、空虚なものとなる。この場合、接線性テストは、これらの特定の点におけるフローの挙動に関する情報を提供しない。つまり、高次の動力学が結果を決定する。

5. 二次生存条件:
   アフィンなマージンは敵対的なコーナーを支えることができないため（生存領域が空になる）、そのようなコーナーの存在には二次的な効果が必要となる。本論文は、活性マージンのヘッセ行列の加重和（敵対的マルチプライヤーによって重み付けされたもの）を含む、局所的に非空の生存領域が存在するための必要十分条件を提示している。

6. 動的な二分法（ノード vs サドル）:
   敵対的尖点における線形ベクトル場の分析を通じて、本論文は2つの異なる挙動を特定している：

• ノード（Node）: すべての方向が収縮する。マージンは共に「凍結」し、軌道は破綻するマージンを選択することなく漸近的にコーナーに接近する。
• サドル（Saddle）: 一方の方向が拡大する。システムは特定の破綻マージンを選択し、有限時間内に生存領域から横断的に脱出する。
  本論文は、argmin-switchイベント（結合するマージンが変化する瞬間）とリードタイム（スイッチから破綻までの時間）を定義しており、対称的なケースではリードタイムが状態に依存しない場合があることも指摘している。

意義と主張
本論文は、既存の文献に対し以下の貢献をすると主張している：

• 周囲の空間には存在しない幾何学的障害を、許容制約が作り出すメカニズムとして「誘導された敵対性」を特定したこと。
• 敵対的コーナーにおける一次応答の幾何学的な到達不能性を明示した「三領域分類」。
  、システムが境界で「凍結」するのか、あるいは破綻するマージンを「選択」するのかを説明する「ノード／サドル二分法」であり、これをコーナー平衡の安定性と結びつけたこと。
• 合成的な連鎖故障ベンチマークを用いて、実務家にとって観測可能なイベント、具体的には argmin-switch と 脱出点 を定義したこと。

本研究は、最小選択関数の特異点に関する幾何学的および分析的な明確化として位置づけられ、生存理論、非滑らかな解析、および多目的最適化を結びつけている。物理的な応用を新たに提案するのではなく、合成的な例（連鎖故障モデルを含む）を用いて、理論的な挙動を説明することに焦点を当てている。論文の範囲は控えめであり、局所的な一次幾何学と特定の二次生存条件に焦 될しており、確率的な拡張や層状幾何学については将来の研究への自然な継続として残している。