即決 runoff 投票（IRV）と強化のパラドックスに関する論文の技術的概要

この論文は、即決 runoff 投票（Instant Runoff Voting: IRV、別名：順位選択投票）が持つ「強化のパラドックス（Reinforcement Paradox）」に対する感受性を分析したものです。著者らは、理論的な条件の導出、モンテカルロシミュレーションによる確率推定、および実世界の選挙データを用いた実証分析を通じて、このパラドックスが 3 候補の選挙において非常に頻繁に発生することを示しています。

以下に、問題定義、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題定義：強化のパラドックス

強化のパラドックスとは、候補者 X が 2 つの異なる選挙（それぞれ異なる有権者集団）において IRV によって勝利しているにもかかわらず、それらの選挙の投票用紙を統合した「統合選挙」において X が敗北するという現象を指します。

• 定義: 投票用紙の集合 $B$ を 2 つの部分集合 $B_1$ と $B_2$ に分割したとき、$f(B_1) = f(B_2)$（両方の部分選挙で同じ候補が勝利）かつ $f(B_1 \cup B_2) \neq f(B_1)$（統合選挙では異なる候補が勝利）となる場合、その選挙は強化のパラドックスに「感受性がある」とされます。
• 行政的意義: このパラドックスは、IRV が「一貫性（Consistency）」を満たさないことを意味します。プレシント（選挙区）ごとの勝者だけを報告するだけでは全体の勝者が決定できず、すべての投票用紙の集計結果を中央に送って再集計する必要があるため、実務的な複雑さを増大させます。
• 既存研究との違い: 従来の研究（Plassmann & Tideman, Courtin et al.）は、2 つの独立した選挙を生成し、それらを結合してパラドックスが発生するかを確認するアプローチをとっていました。これに対し、本論文は1 つの選挙データから、その投票用紙をどのように分割すればパラドックスが発生するかという「分割可能性」に焦点を当てています。

2. 手法と理論的枠組み

2.1 理論的条件の導出（3 候補の場合）

著者らは、3 候補の IRV 選挙において、敗北した候補（次点候補または最下位候補）が 2 つのサブ選挙でともに勝利するための必要十分条件を代数的に導出しました。

• 完全な投票（Complete Ballots）と部分的な投票（Partial Ballots）: 両方のケースに対して条件式を導出しています（Proposition 1, Proposition 2）。
• パラドックスの種類:
  1. 次点候補（Runner-up）強化パラドックス: 1 位候補が敗れ、2 位候補（次点）が 2 つのサブ選挙で勝利する。
  2. 最下位候補（Plurality Loser）強化パラドックス: 1 位候補が敗れ、1 位得票数が最も少ない候補（最下位）が 2 つのサブ選挙で勝利する。
• 重要な洞察: 2 つのサブ選挙で勝者が一致する場合、その勝者になるためには、2 つのサブ選挙における候補の排除順序（elimination order）が異なっている必要があります。

2.2 閾値分析

• 最小得票率: 強化パラドックスが発生する際、敗北した候補（次点または最下位）が獲得する 1 位得票率の下限を分析しました。
  • 最下位候補は、任意に小さな得票率（$\epsilon$）であってもパラドックスを発生させる可能性があります（Proposition 3）。
  • 一方、次点候補がパラドックスを発生させるためには、少なくとも 25% の 1 位得票が必要であることが示されました（Proposition 4）。

2.3 モデルに基づくシミュレーション

理論モデルを用いて、パラドックス発生確率を推定しました。

• 使用モデル:
  • ディリクレ分布モデル (Dir($\alpha$)): 無差別文化（IAC, $\alpha=1$）から、極端な偏り（$\alpha \to 0$）や競争的な状況（$\alpha \to \infty$）までをカバー。
  • 1 次元空間モデル (1D Spatial): 候補と有権者を直線上に配置し、距離で選好を決定するモデル。単峰性（Normal）、二峰性（Bimodal）、重み付き二峰性の 3 種類を使用。
• 手法: 10 万回のモンテカルロシミュレーションを行い、条件を満たす選挙の割合を算出。

2.4 実証分析（実世界データ）

• データセット: アメリカ（FairVote, APA）、スコットランドの単一勝者 IRV 選挙 416 件（3 候補に削減したデータを含む）。
• 地理的分割の分析: 有権者の居住地（プレシントや地区）に基づいた「自然な分割」が可能かどうかを、整数線形計画（ILP）を用いて検索しました。
• ブートストラップ分析: 実世界の選挙データからリサンプリングを行い、パラドックスの発生がデータの変動に対してどの程度頑健（robust）か、あるいは脆弱かを評価しました。

3. 主要な結果

3.1 理論的・シミュレーション結果

• 高い発生頻度: 3 候補の選挙において、強化パラドックスは非常に頻繁に発生します。
  • 無差別文化（IAC）モデルでは、条件付き確率（1 位候補が過半数を持たない場合）で**約 56.8%**の選挙が何らかのパラドックス（次点または最下位）に感受性があることが示されました。
  • 空間モデルや他のディリクレモデルでも、競争が激しい選挙では確率が 30%〜50% 以上に達します。
• モデル間の差異: 対称的な空間モデルでは次点候補のパラドックスが多く、非対称なモデルでは最下位候補のパラドックスが増加する傾向が見られました。

3.2 実証結果（実世界データ）

• 実データでの発生: 収集された 416 件の選挙（3 候補に削減）のうち、約 24.8%（103 件）が強化パラドックスに感受性があることが判明しました。
  • 1 位候補が過半数を持たない選挙に限定すると、この割合は**37.6%**まで上昇します。
• 最下位候補のパラドックス: 実データでは、最下位候補のパラドックスが発生するケースは、常に次点候補のパラドックスも同時に発生していました（次点候補の方が実力があるため）。
• 地理的分割の限界: 地理的分割（プレシントや地区）に限定して検索した場合、パラドックスの発生率は大幅に低下しました（304 件中 9 件、約 3.0%）。これは、任意の分割に比べて「自然な」分割によるパラドックスは稀であることを示唆しています。
  • 例：アラスカ州の特別選挙では、最下位候補（Nick Begich）が地理的に分割された 2 つの地域で勝利する分割が見つかりました。
• ブートストラップ分析: 実データから生成された擬似データ（pseudoprofiles）の多くもパラドックスを示しました。特に、パラドックスを示す実選挙の約半分は、90% 以上の擬似データでも同様の結果を示すほど頑健でした。

3.3 具体例

• 2022 アラスカ州上院選挙: 統合選挙では G が勝利しましたが、投票用紙を特定の 2 つのグループ（$B_1, B_2$）に分割すると、H が両方で勝利するというパラドックスが発生しました。
• 2023 ミネアポリス市議会選挙: 最下位候補（Foxworth）が 1 位得票率 3.6% しか獲得していませんでしたが、条件を満たす分割が存在し、パラドックスが発生しました。

4. 論文の貢献と意義

1. 理論的条件の明確化: 3 候補の IRV 選挙において、強化パラドックスが発生するための必要十分条件を初めて厳密に導出しました。これにより、特定の選挙データに対して「パラドックスが存在するかどうか」を、すべての分割を試さずに数学的に判定できるようになりました。
2. アプローチの革新: 従来の「2 つの独立した選挙を生成する」アプローチに対し、「1 つの選挙を分割する」というアプローチを採用しました。これは、実際の選挙において「なぜこの候補が負けたのか」という不条理さを分析する上で、より直感的かつ実用的な枠組みを提供します。
3. 実証データの活用: 実世界の IRV 選挙データ（アメリカ、スコットランド）を用いた大規模な分析を行い、理論モデルが示唆する高い発生頻度が実社会でも一定程度確認されることを示しました。
4. 行政的・政策的含意: IRV の一貫性の欠如は、選挙管理の複雑さ（全投票用紙の集計必要性）を正当化するだけでなく、有権者や候補者にとって「不公平感」を生む潜在的な要因であることを実証しました。特に、地理的分割によるパラドックスは、選挙結果の正当性に対する信頼を損なう可能性があります。

5. 結論

著者らは、3 候補の IRV 選挙において、強化のパラドックスは理論的にも実証的にも非常に感受性が高いと結論付けています。特に、有権者の分割が任意である場合、パラドックスは極めて頻繁に発生します。ただし、地理的など「自然な」分割に限定すると、その頻度は低下します。

今後の課題として、より多くの候補がいる場合の分析、パラドックスを生む分割の構造（類似性など）の調査、および他の投票方式（Condorcet 整合性を持つ方式など）における同様の分析が挙げられています。

この研究は、IRV の導入を検討する際、単に「多数決の原則」や「2 位候補の排除」といった側面だけでなく、**「一貫性の欠如によるパラドックス」**という構造的な弱点についても考慮する必要があることを強く示唆しています。