技術的サマリー：形式的憲法における中央集権と安定性

1. 問題定義

本論文は、形式的システム内の意思決定手続きの動態を調査し、特に投票方法（社会的選択関数、SCF）が他の方法への代替に対して安定し得るかどうか、すなわち「自己維持的」であるかどうかを焦点としている。この動機は、分散型自律組織（DAO）などのシステムにおいて、投票メカニズム自体が提案を通じて変更可能であるという観察に基づいている。核心的な問いは以下の通りである：どの投票ルールが「自己維持的」か？

SCF が自己維持的であるとは、エージェントが incumbent（現行）SCF と任意の潜在的な代替 SCF の間で事前選好に従って投票した際、現行 SCF がその投票を集約して代替案を拒否する場合に定義される。本論文は、これらのルールの安定性が中央集権とどのように相関するか、すなわち、民主的または寡頭的な構造が、さまざまな信念構造および同点解消ルールのもとで独裁制へと進化しうるかどうかを探究する。

2. 方法論

2.1 形式的モデル

• エージェントと信念: モデルは $n \ge 3$ のエージェントを考慮する。エージェントは将来の投票ベクトル（決定）の分布に対する信念を持つ。これらの信念は、$\{0, 1\}^n$ 上の確率分布 $F$ としてモデル化される。
• 効用: エージェント $i$ の SCF $f$ に対する事前効用は、信念分布から引き出された決定に対して $f$ の結果がエージェントの選好と一致する確率である：$u_i(f, F) = P_{v \sim F}[f(v) = v_i]$。
• 自己維持条件: SCF $f$ が自己維持的であるとは、任意の代替案 $f'$ に対して、$f$ を $f'$ に置き換えるための投票（エージェントが $u_i(f)$ と $u_i(f')$ を比較して投票する）が、$f$ によって集約された際に失敗する場合を指す。
• 同点解消: 本論文は、$f$ と $f'$ の間で無関心なエージェントに対する 2 つの同点解消ルールを分析する：
  1. 任意: エージェントはどちらに投票してもよい。
  2. 現状維持バイアス（SQB）: 無関心なエージェントは現在のルール（$f$）を維持するために投票する。

2.2 信念へのアプローチ

著者は、3 つの異なる認識論的アプローチのもとで安定性を評価する：

1. 楽観的: ある SCF が自己維持的であるとは、それを支持する共通の信念 $F$ が存在する場合である。
2. 悲観的: ある SCF が自己維持的であるとは、すべての共通の信念 $F$ によって支持される場合に限られる。
3. I.I.D.（独立同一分布）: エージェントの選好はパラメータ $p$ を持つベルヌーイ変数としてモデル化される。本論文は、不偏な場合（$p=0.5$）と偏った場合を対象とする。

2.3 領域

分析は SCF の 3 つの領域において行われる：

1. 一般ブール関数（$D_G$）: 全ての写像 $\{0, 1\}^n \to \{0, 1\}$。
2. 単純ゲーム（$D_S$）: 単調で非自明な SCF（インセンティブ適合的）。
3. 加重多数決ゲーム（$D_W$）: 重みと閾値によって定義される SCF（例：トークンベースの投票）。

2.4 拡張

• 先見性のあるエージェント: エージェントは変更の長期的な軌道（例：$f'$ への変更が $f''$ へつながる場合、$f$ に留まることを好むかもしれない）を考慮する。
• 共通価値（コンドルセ・jury 定理）: エージェントの効用は、勝つこと（搾取的）だけでなく、集約されたシグナルに基づいて「正しい」決定を行うこと（参加型）からも得られる。

3. 主要な貢献と結果

3.1 楽観的アプローチ

• 任意の同点解消: SCF が自己維持的であるための必要十分条件は、それがproper（あるベクトル $v$ とその否定 $\neg v$ の両方に対して 1 を出力しない）であることである。加重多数決ゲームの領域では、すべてのルールが proper であるため、領域全体が自己維持的となる。
• 現状維持バイアス（SQB）: SCF が proper またはnull-preserving（全員が 0 を投票する際に 0 を出力する）であれば、自己維持的である。すべての単純ゲームと加重多数決ゲームは null-preserving であるため、SQB の下では領域全体が自己維持的となる。

3.2 悲観的アプローチ

• 任意の同点解消: 一般領域 $D_G$ においては、定数 0 関数のみが自己維持的である。$D_S$ および $D_W$ においては、いかなる SCF も自己維持的ではない。
• 現状維持バイアス（SQB）: 本論文は $D_S$ および $D_W$ に対して厳密な特徴付けを提供する。自己維持的となるルールは以下の通りである：
  1. 独裁制: 単一のエージェントが決定する。
  2. 3 寡頭制: 特定の 3 人のエージェントの過半数が決定するルール。
  3. 多頭制（PDPs）: 最小勝利連合がペアであり、かつ特定の 1 人のエージェントがすべてのペアに含まれるルール（例：「拒否権を持つプレイヤー」とパートナーの組み合わせ）。
  • 注: 本論文は、3 寡頭制以外の最小勝利連合のサイズが $\ge 3$ である任意のルールは、悲観的信念のもとで不安定であることを証明している。

3.3 I.I.D. アプローチ（不偏）

• 一般ブール関数: 自己維持的となるルールは、独裁制、反独裁制、および定数 0 関数のみである。
• 単純ゲーム: 独裁制のみが自己維持的である。
• 加重多数決ゲーム: 独裁制は安定しているが、本論文は、一般的な単純ゲームの領域とは異なり、特定の PDP（特に拒否権を持つプレイヤーと閾値を有するもの）が不偏な i.i.d. 信念のもとで自己維持的となりうるギャップを特定している。

3.4 先見性のあるエージェント

エージェントが将来の変更（遷移の有向非巡回グラフとしてモデル化）を予測する場合：

• $n=3$ の場合、先見性のある自己維持的ルールの集合は、悲観的 SQB の集合と同一である。
• $n=4$ および $n=5$ の場合、その集合は厳密に拡大する。1 段階分析では安定していなかったルールが、エージェントが「より良い」代替案へ移行することが将来的により悪い結果を招く可能性を認識するため、安定するようになる。これらの新たな安定ルールは、標準的な独裁制や寡頭制よりも高いナッシュ厚生と社会的厚生を持つことが多い。

3.5 共通価値（搾取的 vs 参加型）

効用が搾取的権力（$\lambda$）と意思決定の精度（$p$）の混合であるモデルにおいて：

• 高搾取的（$\lambda \to 1$）: システムは独裁制または小規模な寡頭制（合意二頭制）へと収束する。
• 高参加型（$\lambda \to 0$）: システムは完全民主制（大規模委員会）へと収束する。
• 混合ケース: 経済の搾取的性質または個々のシグナルの精度（$p$）を増加させると、より小規模な安定した寡頭制へと至る単調な関係が存在する。
• 動態: システムは初期条件に対して敏感である。トークンの分配を非常に分散させた状態（例：エアドロップによる）から開始すると、大規模な委員会が安定する可能性があるのに対し、集中した出発点は独裁制へと至る。

4. 意義と主張

本論文は、「中央集権の動態と安定性に関する基本的な枠組みと結果の体系」を提供すると主張している。その主要な貢献は以下の通りである：

1. DAO ガバナンスの理論的基盤: 観察される DAO における中央集権の微視的基盤を提供し、特定の制約がなければ、自己言及的な投票ルールの動態がシステムを自然に中央集権（独裁制または小規模寡頭制）へと駆動することを示唆している。
2. 単純多数決の安定性への反証: 匿名性の下で単純多数決が安定するとした先行研究（Barbera & Jackson, 2004）とは対照的に、本論文は匿名性の制約を除去（加重投票や中立的でないルールの許容）することで、悲観的または i.i.d. の仮定のもと、民主的安定性が独裁制へと崩壊することを示している。
3. 同点解消と信念の役割: 結果は、安定性が同点解消ルール（SQB 対 任意）およびエージェントの信念の性質（楽観的対 悲観的）に極めて敏感であることを浮き彫りにしている。
4. 政策的含意: 著者は、形式的システム（DAO など）において包括的で分散された定常状態を達成するには、大規模委員会への吸引域ではなく独裁制への吸引域へとシステムを起動するための、分配型のトークン割り当て（エアドロップ/ICO など）といった特定の初期条件が必要であると示唆している。
5. 社会選択理論の拡張: 本論文は、中立性の公理を緩和することで「自己選択性」の概念（Koray, 2000）を拡張し、憲法が現状と変更を自然に区別することを論じ、これが安定性の結果にどのように影響するかを示している。

本論文は結論として、「大衆の知恵」（コンドルセ・jury 定理の効果）はより大規模な安定した委員会を支え得るが、多くのシステムにおける資源配分の搾取的性質が、中央集権への強力な重力を生み出していると述べている。