The Replicator-Optimization Mechanism: A Scale-Relative Formalism for Persistence-Conditioned Dynamics with Application to Consent-Based Metaethics

技術要約：レプリケーター最適化メカニズム（ROM）

問題提起
本論文は、正当性と同意の性質に関する政治哲学における断絶に対処するものである。従来の政治理論は、正当性を静的な属性、あるいは哲学的分析を通じて決定されるべき規範的理想として扱うことが多い。しかし、著者はこの枠組みが、政治システムの動的な現実を捉えきれていないと主張する。観察されるのは静的な平衡ではなく、絶え間ない運動、調整、そして摩擦である。中心となる問題は、なぜ特定の政治的構成が存続し、他の構成が失敗するのかを説明する、形式的かつ経験的根拠に基づいたフレームワークが欠如していることである。また、「同意」や「正当性」といった概念が、他の科学分野で見られる選択と存続の普遍的な力学にどのように対応しているのかという点も未解明である。

方法論
本論文は、物理学、生物学、経済学、および文化進化という4つの独立した分野における構造的同型性を特定する、統合的なアプローチを採用している。手法は以下の3段階で進行する。

1. 収束分析： 著者は、これらの異分野が、存続条件付きの力学を記述するための同一の数学的機構に独立して収束していることを実証する。これには、統計力学（散逸と摩擦）、進化生物学（レプリケーター方程式とプライス方程式）、制度経済学（ルールの選択）、および文化進化（規範の伝達）が含まれる。
2. 形式的合成（ROM）： これらの収束した結果は、**レプリケーター最適化メカニズム（ROM）**へと合成される。これは、以下の要素によって定義される統一された形式的装置である。
   • スケール相対性： 「原子単位」（例：粒子、細胞、エージェント、制度）は、観測者のスケールに対するモデリング上の選択であり、存在論的な絶対値ではないことを認める。
   • ROM方程式： 時間進化を支配する重み付きレプリケーター・ミューテーター方程式：
     $$\frac{dp_t(\tau)}{dt} = \sum_{\tau' \in T_S} p_t(\tau') \cdot w_S(\tau') \cdot \rho_S(\tau', G_{S,t}, p_t) \cdot M_S(\tau' \to \tau) - p_t(\tau) \cdot \bar{\phi}_t$$
     ここで、$p_t$ は型の頻度、$w_S$ は固有の重み、$\rho_S$ は生存確率、$M_S$ は伝達カーネル、$\bar{\phi}_t$ は平均適応度を表す。
   • 粗視化： マクロレベルの記述が、ミクロレベルの相互作用の動的構造を保持する条件（モリ・ツェンツィヒ形式および集約可能性条件）を決定するために、Mori-Zwanzig形式を適用する。
3. 政治的インスタンス化： ROMフレームワークを政治哲学へと適用するため、特定の変数を以下のようにマッピングする。
   • 摩擦 ($F$)： 「ステークス（利害）・ボイス（声）の不一致」（結果を負う者が比例的な影響力を持たない状態）から生じる緊張として定義される。
   • 正当性 ($L$)： 生存確率、具体的には、ステークスで重み付けされたボイスの平均として定義される。
   • 同意： 摩擦最小化プロセスとしてモデル化される。

主な貢献

1. 構造的同型の実証： 本論文は、物理学、生物学、経済学、文化進化における選択と伝達を記述する数学的構造が、単なる比喩的な類推ではなく、厳密な構造的一致であることを示す証拠を提示する。
2. ROM形式の導入： スケール、原子単位、適応度関数、および伝達カーネルを明示的にパラメータ化し、あらゆるスケールで適用可能な、存続条件付きの力学をモデル化するための統一された装置を導入する。
3. 同意・摩擦のインスタンス化： 政治的概念を動的な量へと変換する。正当性は二値的な属性ではなく、摩擦に対するボイスのステークス重み付き平均による生存確率（$\rho_S = L / (1+F)$）であると仮定する。
4. 摩擦関数： 制約付き最適化原理に基づき、摩擦の特定の関数形式を導出する：
   $$F = \sigma \frac{1+\varepsilon}{1+\alpha}$$
   ここで、$\sigma$ は総ステークス、$\varepsilon$ は情報エントロピー（誤認）、$\alpha$ は整合性である。
5. 形式的検証： コアとなる代数的結果（単体保存、生存単調性、移動平衡の存在）は、Lean 4を用いてMathlibライブラリにより機械的に検証されている（28の定理、sorryによる未解決箇所はゼロ）。

結果

• 動的平衡： 本論文は、静的な平衡は滅多に観察されず、代わりにシステムは絶え間ない運動とリミットサイクルを示すことを実証する。ROMフレームワークの下では、「最適化」は固定点への収束ではなく、動的な標的（環境構造）を追跡することとして再定義される。
• 抑制による不安定性： モデルは、観察される摩擦は低いが潜在的な摩擦が高い（異議申し立ての抑制による）体制は不安定であることを予測する。抑制コストが資源容量を超えると、潜在的な摩擦が突如として顕在化し、急速な体制崩壊を招く。
• 計算機的検証： ROMの力学と、因子デザイン（整合性、ステークス、エントロピー）を用いた独立Q学習（IQL）エージェントとの比較において、構造的一致が見られた。両アルゴリズムは統計的に区別不可能な摩擦違反の力学を生み出し（$p=0.70$）、摩擦関数の形式を検証した。
• スケール相対的妥当性： 本論文は「ラダー制約（梯子制約）」を確立し、特定の集約可能性条件が満たされない限り、メモリ効果のために隣接しないスケール間での直接的な測定は一般に不適切であることを指摘している。
• 二次的精緻化： 標準的なパラメータ線形形式の摩擦は、同意違反の分散の5〜13%を説明するが、二次的な精緻化（$F \propto \sigma(1+\varepsilon^2)/(1+\alpha^2)$）は説明力を34〜43%に向上させる。これは、摩擦力学における非線形な増幅を示唆している。

意義と主張
本論文は、新しい現象（存続、選択、摩擦）を発見したのではなく、政治哲学の語彙を、隣接分野の確立された経験的検証済みの力学へとマッピングする「翻訳マニュアル」を提供したのだと控えめに主張している。

• 記述的 vs 規範的： このフレームワークは根本的に記述的である。高い摩擦を生み出す構成は、ダイナミクスそのものによって選択的に排除されるのであり、規範的な判断によるものではないと主張する。
• 道具的規範性： 本論文は、もしエージェントが低い摩擦を好むならば（この嗜好自体も選択によって生み出されたものである）、摩擦最小化の構成が道具的に好まれると論じている。これにより、抽象的な哲学ではなく、エージェントの嗜好と選択の結果に根ざすことで、「である・べき（is-ought）」の溝を埋めている。
• 経験的扱いやすさ： 主要な意義は、政治的議論を抽象的な哲学的議論から、摩擦の蓄積、ステークスとボイスの整合性、および制度的生存確率に関する経験的にテスト可能な問いへと移行させることにある。本論文は、政治哲学が進歩するための道具はすでに物理学、生物学、経済学の中に存在しており、採用への障壁は単に翻訳の欠如に過ぎないと断言している。

結論として、政治哲学は正当性を静的な属性と仮定することで、間違った問いを投げ続けてきた。一方でROMフレームワークは、正当性が生物学的有機体や経済市場と同じ選択圧を受ける動的な生存確率であることを明らかにしている。