A House Monotone, Coherent, and Droop Proportional Ranked Candidate Voting Method

この論文は、単記移譲式投票（STV）が満たすドロップ比例基準、ハウス単調性、および整合性をすべて満たし、かつ首位候補が即決選勝者となるような、フラグメンの手法に基づいた新しい候補者選出方式を提案しています。

要約

🏛️ 背景：なぜ新しい方法が必要なのか？

選挙には「誰を何人選ぶか」という問題があります。
例えば、議会に 100 人の議員が必要で、A 党が 40%、B 党が 30%、C 党が 30% の票を得た場合、席もその比率で配分したいですよね。

• 昔の方法（ハミルトン方式など）： 計算が少し変で、「議席数を増やしたら、A 州の議員が減ってしまった！」という**「アリゾナのパラドックス（矛盾）」**が起きることがありました。
• 今の主流（除数方式）： 政党名で投票する「政党名簿式」では、この矛盾を避ける計算方法が使われています。
• 問題点： 個人の名前で投票する「順位制（STV）」では、この矛盾が起きることがあります。また、「A 党の候補者リスト」を作る際、1 人目と 10 人目の選び方がバラバラになってしまう（一貫性がない）という問題もありました。

この論文の著者（ロス・ハイマン氏）は、「政党名簿式」の公平さ（矛盾がないこと）と、「個人名投票」の自由度（誰を好きか選べる）を両立させる新しい計算方法を提案しました。

---

🍪 核心：新しい計算方法「トップ・ダウン・フラグメン」

この新しい方法は、**「トップ・ダウン（上から下へ）」**という考え方をベースにしています。

1. 従来の方法との違い（下積み vs 上から）

• 昔の方法（ボトムアップ）： 「一番下の落選者」を決めて、それをリストの最後尾に置く。次に「2 番目の落選者」を決めて……と、下から順にリストを作ります。
  • 問題点： 一番上の「1 位」が決まると、実は 1 人だけの選挙で勝った人とは違う人が 1 位になってしまうことがあります。
• 新しい方法（トップ・ダウン）： 「1 位」を決めて、次に「2 位」を決めて……と、上から順にリストを作ります。
  • メリット： 1 人だけ選ぶ選挙で勝った人が、必ずリストの 1 位に来ます。

2. 具体的な仕組み：お菓子の配り合い

この方法は、**「フラグメン（Phragmén）方式」**という、100 年前の数学者が考えた「お菓子を公平に配る」考え方を応用しています。

• シチュエーション： 100 人の人がいて、お菓子（議席）を配ります。
• ルール： 「誰がお菓子をもらうか」を決める時、**「すでにもらった人が、次の誰に配るべきか」**を計算します。
  • もし、あるグループの人が「A さん」を強く支持しているなら、A さんがお菓子をもらうと、そのグループの「お菓子を受け取る重み（負担）」が増えます。
  • 逆に、まだお菓子をもらっていない人、または「重み」が軽い人にお菓子を配ると、公平になります。

この論文の新しい方法は、「すでに選ばれた人（1 位、2 位…）」が、次の候補者を選ぶ際に、自分の「重み」を正しく計算に入れるという工夫をしています。
これにより、**「A さんと B さんが一緒に選ばれたほうが公平」**というグループの意見が、計算の途中で消えてしまわないようにしています。

---

🌟 この方法がすごい 3 つの理由

この新しい計算方法は、3 つの重要なルールを守ります。

① 家（House）の増減に強い（ハウス・モノトニシティ）

• たとえ話： 「お菓子の箱を 10 個から 11 個に増やしたら、今まで入っていたお菓子の 1 つが外れてしまった！」なんてことが起きません。
• 意味： 議席数が 10 人でも 11 人でも、「10 人の勝者」は必ず「11 人の勝者」の中に含まれます。 リストの順番も、上から順に決まるので、リストを作った時に「10 人目まで」を切り取れば、それが 10 人選挙の勝者になります。

② 一貫性がある（コヒーレンス）

• たとえ話： 左側の部屋と右側の部屋で別々に選挙をして、勝者を決めます。その後、両方の部屋を合体させて一緒に選挙をしても、「左側の部屋の勝者」は左側の部屋で決まったのと同じ人になります。
• 意味： 候補者のグループがバラバラでも、計算結果が矛盾しません。

③ ドープロ比例（Droop Proportionality）

• たとえ話： 「100 人中 34 人以上（3 分の 1 強）」が「A さん、B さん、C さん」を支持しているなら、少なくとも 1 人はその中から選ばれなければならないというルールです。
• 意味： 少数派でも、一定以上の支持があれば、必ず代表者が選ばれるように保証されます。これが「公平な選挙」の一番の条件です。

---

📝 まとめ：なぜこれが重要なのか？

この論文は、**「複雑な計算をしても、公平で、矛盾がなく、かつ支持者の意志を反映した選挙リスト」**を作れる方法を提案しています。

• 政治的なメリット： 政党が「誰を 1 位、2 位、3 位……と並べるか」を決める時に、この方法を使えば、支持者の意向を正しく反映でき、かつ議席数が変わってもリストの順番がぐらつかないリストが作れます。
• 技術的な美しさ： 従来の方法では見逃されていた「微妙な支持者のグループ（不完全な結束）」も、計算にうまく取り込むことができます。

一言で言うと：
「選挙というゲームで、『誰が勝つべきか』を、『人数が変わっても』『グループが変わっても』、常に**『最も公平な答え』**で導き出す、新しい計算のレシピ」です。

著者は「もっと美しい方法があるかもしれない」と言っていますが、この方法は今のところ、その条件をすべて満たす「最強の候補」の一つとして提案されています。

技術概要

論文要約：ハウス単調性、整合性、ドロップ比例性を満たすランク候補投票方式

タイトル: A House Monotone, Coherent, and Droop Proportional Ranked Candidate Voting Method
著者: Ross Hyman (シカゴ大学)

1. 背景と問題提起

背景

米国憲法は、州ごとの議席配分が人口に比例することを要求しています。歴史的にハミルトン方式が用いられていましたが、19 世紀末から 20 世紀初頭にかけて「アラバマのパラドックス」（議席総数増加により特定の州の議席が減少する）や「新州パラドックス」（新州の追加により既存州の議席配分が不整合になる）という欠陥が明らかになりました。これらを回避するため、現在米国や多くの比例代表制国では「除数方式（Divisor Methods）」が採用されています。

一方、オーストラリア、アイルランド、スコットランド、ニュージーランドなどで採用されている「単一移譲式（STV: Single Transferable Vote）」は、有権者が候補者を順位付けできる柔軟性を持ち、固い支持集団（Solid Coalitions）に対してドロップ比例性（Droop Proportionality）を満たす重要な利点があります。しかし、STV は除数方式が持つ「ハウス単調性（House Monotonicity）」や「整合性（Coherence）」を満たさないことが知られています。

問題点

• ハウス単調性の欠如: STV では、N 人の勝者が選出された場合、その勝者たちが N+1 人の勝者選挙でも勝者になるとは限りません。これにより、比例代表リスト（上位 N 人が N 議席の勝者となるリスト）を生成することが困難です。
• 整合性の欠如: 異なる候補者群からなる二つの投票セットを別々に集計して得られる勝者が、それらを合わせた集計結果と矛盾することがあります（新州パラドックスのランク候補版）。
• 既存の解決策の限界:
  • ボトムアップ方式: 最下位から順に決定する方式（Aziz らによる Phragmén 方式など）はハウス単調性と整合性を満たしますが、1 議席選挙の勝者（IRV 勝者）と生成されるリストの最上位候補が一致しない可能性があります。
  • トップダウン方式: 最上位から順に決定する方式は IRV 勝者とリストの最上位を一致させますが、従来の修正 STV（Otten 方式など）はドロップ比例性を満たさない場合があります。また、完全な固い支持集団をすべて検索・特定する必要がある既存のトップダウン方式は計算的に非現実的です。

2. 提案手法：トップダウン・フラグメン方式（Top-down Phragmén）

著者は、Phragmén の除数方式に基づき、ハウス単調性、整合性、ドロップ比例性のすべてを満たす新しいトップダウン型ランク候補投票方式を提案しました。

手法の核心

この方式は、従来の STV やクォータ（当選基準数）に依存せず、以下の独自のメカニズムで候補者の優先順位（Priority）を計算し、当選・除外を決定します。

1. トップダウンの構造:

   • 1 議席選挙の勝者（IRV 勝者）をリストの 1 位として決定。
   • 2 議席目以降は、既に決定された上位候補（「以前に選出された候補」）を保持したまま、残りの候補から次の勝者を選出するプロセスを繰り返します。

2. 優先順位の計算と「不完全な固い支持集団」の扱い:

   • 従来の Phragmén 方式では、候補の優先度は「当選候補に割り当てられた票の重み（Seat-load）」に基づきます。
   • 本方式では、「以前に選出された候補」が既に確定している状況において、残りの候補（Hopeful candidates）の優先度を計算する際、以下の工夫を行います。
     • 以前に選出された候補が、有権者の支持集団（Solid Coalition）内で「不完全（Imperfect）」に扱われる場合（例：ある票では A が 1 位、B が 2 位だが、別の票では C が 1 位、B が 2 位など）、単純な Phragmén 計算では誤った優先度が生じます。
     • 著者は、「不完全な固い支持集団」を特定し、以前に選出された候補の席の重みを正しく考慮した上で優先度を再計算するアルゴリズムを設計しました。
     • 具体的には、各候補について、以前に選出された候補の異なる組み合わせを考慮した複数のシナリオ（Imperfect Solid Coalitions）を仮定し、その中で最も高い優先度を持つ値をその候補の最終的な優先度とします。

3. 除外プロセス:

   • 各ラウンドで、優先度が最も低い候補を除外（またはランクを下げた状態で再評価）し、最終的に残った候補を当選させます。
   • このプロセスは、クォータ（当選基準数）に依存せず、純粋に優先度の比較に基づいて行われるため、ハウス単調性と整合性が保たれます。

3. 主要な貢献と結果

理論的証明（Section VI）

著者は、提案された方式が以下の 3 つの重要な性質を満たすことを数学的に証明しました。

1. ハウス単調性（House Monotonicity）:

   • M 議席選挙の勝者セットは、必ず (M-1) 議席選挙の勝者セットを含みます。
   • 証明の要点：M 議席選挙において、以前に選出された (M-1) 人の候補は決して除外されないため、上位 M-1 人は常にリストの上位に留まります。

2. 整合性（Coherence）:

   • 互いに異なる候補者群からなる投票セットを別々に集計した結果と、それらを合算して集計した結果において、各候補者群内の相対的な順位は一致します。
   • 証明の要点：ある候補者群の優先度は、その群の票のみによって決定され、他の群の票の影響を受けないためです。

3. ドロップ比例性（Droop Proportionality）:

   • 特定の候補者群がドロップ・クォータ（$Q_N = V_{total}/(N+1)$）を超える支持を得ている場合、その群から少なくとも一定数の候補が当選します。
   • 証明の要点：IRV 勝者が常に少なくとも 1 つのドロップ適合セットに含まれることを示し、それを帰納法で N 議席まで拡張しました。特に、IRV 勝者が「広範な支持（Broad Support）」と「中核的な支持（Core Support）」の両方の観点から正当化されることを示しています。

実証例

• Example 1（4 候補、200 票）を用いて、1 議席、2 議席、3 議席の選挙をシミュレーションしました。
• 生成されたリストは C > A > B > D となり、STV の 1 議席勝者（C）がリストの最上位に一致し、かつ各 N に対してドロップ比例性を満たすことが確認されました。
• 従来のボトムアップ方式（A>D>B>C）や、クォータ依存の Phragmén 方式が持つ欠点（ハウス単調性の違反や、IRV 勝者とリスト首位の不一致）を克服しています。

4. 意義と結論

意義

1. 理論的統合: 比例代表制において長年課題となっていた「ハウス単調性・整合性」と「ドロップ比例性」の両立を、ランク候補投票（STV 系）の文脈で初めて達成する方式を提案しました。
2. 実用性: 政党が比例代表選挙で提出する「候補者リスト」を、有権者の順位付け投票から自動的に生成する手段を提供します。これにより、政党内部の民主的な候補選定と、有権者の多様な支持を反映した比例配分を両立できます。
3. 計算効率: 既存のトップダウン方式が要求していた「すべての固い支持集団の網羅的検索」を不要にし、Phragmén の優先度計算を拡張するだけで実装可能にしました。

結論

Ross Hyman によって提案された「トップダウン・フラグメン方式」は、ハウス単調性、整合性、ドロップ比例性をすべて満たす、理論的に堅牢かつ実用的なランク候補投票方式です。この方式は、IRV 勝者をリストの首位としつつ、すべての議席数において比例性を保証するため、比例代表制の改革や、政党リストの生成プロセスにおいて重要な役割を果たす可能性があります。著者は、より美的で単純な方式の発見を期待しつつも、この方式が現在の基準を満たす有効な解決策であることを示しました。