🤖 AI

Constituency Optimisation Through Hamiltonian Representation Of Mandates (COTHROM): Algorithmic Redistricting of Irish Election Boundaries

本論文は、ポッツ・ハミルトニアン・モデルを通じて相反する憲法上の目的を均衡させることにより、比例代表制による単記移譲式（PR-STV）下でのアイルランドの選挙区再編をアルゴリズム的に最適化するために、統計物理学と多基準意思決定分析を適用した新しい計算フレームワークであるCOTHROMを紹介するものである。

原著者： Ruaidhrí Campion, Matthew Fenlon, Joshua Cooney Mercedal, Casey Farren-Colloty, Eliza Somerville, Michael A. J. Mitchell

公開日 2026-06-23

📖 1 分で読めます☕ さくっと読める

CC BY 4.0

原著者： Ruaidhrí Campion, Matthew Fenlon, Joshua Cooney Mercedal, Casey Farren-Colloty, Eliza Somerville, Michael A. J. Mitchell

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

アイルランドの地図を、数千もの「選挙区（Electoral Divisions）」と呼ばれる小さなピースで構成された巨大なジグソーパズルとして想像してみてください。数年ごとに、政府はこれらのピースをより大きな「選挙区（constituencies）」へとグループ化するための境界線を引き直す必要があります。これは、人々が代表者を選出するためのものです。

このパズルのルールは厳格ですが、同時に曖昧でもあります。憲法には以下のように記されています：

公平性（Fairness）: すべての投票がほぼ同等の価値を持つこと（比例代表制）。
形状（Shape）: ピースは密集していなければならず、蛇のように細長く引き伸ばされてはならない（コンパクトさ）。
境界（Borders）: 郡（county）の境界線をまたがないように努めること（例：一つの郡を真っ二つに割らないこと）。
連結性（Connectivity）: ある選挙区内のすべてのピースは、互いに接していなければならない。

問題は、これらのルールがしばしば衝突することです。もし人口の公平性を完璧に追求すれば、郡の境界線を切り刻むことになるかもしれません。逆に、郡の境界線を完璧に守ろうとすれば、人口のバランスが崩れてしまうかもしれません。現在、人間はこれらの衝突に対して判断を下しながら、手作業で地図を描いています。

論文の解決策：COTHROM
著者らは、このパズルを自動的に解くためのCOTHROM（Constituency Optimisation Through Hamiltonian Representation Of Mandates）というコンピュータプログラムを作成しました。彼らがどのようにこれを行ったか、いくつかの楽しい比喩を用いて説明します。

1. 「磁石」の地図（物理学の比喩）

地図を政治的な問題として考えるのではなく、著者らはこれを物理学の問題として扱いました。地図上のあらゆる小さなピース（選挙区）を、小さな磁石だと想像してください。

各磁石は、特定のグループ（選挙区）に属したいと考えています。
選挙の「ルール」（公平性、形状、境界）は、磁力として作用します。
- グループが大きすぎたり小さすぎたりすると、磁石は再配置されるための「押し」を感じます。
  に
- グループが引き伸ばされていると、磁石は引き戻されて球状にまとまろうとする「引き」を感じます。
- グループが郡の境界を越えると、磁石は「摩擦」によるペナルティを感じます。

コンピュータは、地図全体の「エネルギー」を計算します。境界線が悪い地図は、エネルギーが高く（緊張したバネのような状態）、良い地図はエネルギーが低くなります（リラックスしたバネのような状態）。目標は、地図が最も「リラックス」した状態を見つけることです。

2. 「冷却」プロセス（焼きなまし法 / Simulated Annealing）

数十億もの可能性の中から、どのようにして最善の配置を見つけるのでしょうか？すべてをチェックすることは不可能です。
著者らは、溶融金属を冷却するプロセスに似た**焼きなまし法（Simulated Annealing）**という手法を用いています。

高温（Hot）: 磁石が激しく振動している状態を想像してください（高温）。磁石はランダムに動き回り、めちゃくちゃで乱雑な地図の形を試します。これにより、コンピュータは「良く見えるが、実は最善ではない」といった局所的な解（ローカル・ソリューション）から脱出することができます。
冷却（Cooling Down）: コンピュータは徐々に温度を下げていきます。磁石の激しい動きが収まり、安定した位置へと落ち着き始めます。
凍結（Frozen）: 温度が下がる頃には、磁石は最も効率的でエネルギーの低い配置へと落ち着いています。

3. 「トレードオフのメニュー」（パレート最適性）

ここが難しいところです。法律は、公平性と郡の境界をどの程度重視すべきかについては定めていません。「公平性50%、境界50%」にすべきでしょうか？それとも「公平性90%」でしょうか？
一つの「完璧な」バランスを推測する代わりに、著者らは異なる「重み」（ダイヤルを回すようなもの）を用いて、コンピュータを何度も実行しました。

彼らは単一の地図を提示したのではありません。
彼らは、最高の地図のメニュー（「パレート・フロント」と呼ばれます）を提示しました。
このメニュー上のすべての地図は、「非支配的（non-dominated）」な解決策です。これは、「もし公平性をもっと欲しければ、郡の境界への敬意を少なく受け入れなければならない。もし境界への敬意をもっと欲しければ、公平性を少なく受け入れなければならない」ということを意味します。
これにより、トレードオフが可視化されます。意思決定者は、何かを得るために何を犠牲にしているのかを正確に知ることができるのです。

4. 彼らが見つけたもの（コークのテスト）

彼らはこれを**コーク県（County Cork）**でテストしました。

彼らは、コンピュータが生成した地図を、2023年に選挙管理委員会が作成した実際の法的地図と比較しました。
結果: ほとんどすべてのルールの重み付けにおいて、コンピュータは人間が描いたものよりも優れた地図を見つけ出しました。コンピュータの地図は、ルールを遵守しつつも、人口の不均衡が少なく、よりコンパクトでした。
注記: 著者らは、自分たちのコンピュータは、人間が考慮するような「コミュニティの感情」や「特定の川」などは考慮していないことを認めています。しかし、憲法の数学的なルールのみに基づけば、コンピュータが勝利しました。

なぜこれが重要なのか

この論文は、この手法がプロセスを透明かつ公正にすると主張しています。

隠れた判断の排除: 現在は、人間が線を引き、「これが公平である」と言っています。しかし、より良い地図が存在するかどうかを証明する術はありません。
監査可能性: このコードがあれば、誰でもその数学を確認できます。「もし郡の境界をこれほど重視するならば、これが最善の地図である」と言うことができるのです。
再現性: 誰でも同じコードを実行して同じ結果を得ることができるため、選挙区割りから推測や当て推量を排除できます。

要約すると、著者らは「磁石のパズル・ソルバー」を構築することで、アイルランドの選挙ルールのバランスを取ることがいかに困難であるかを明らかにしました。そして、コンピュータが現在の手作業によるプロセスよりも、数学的に完璧で優れた地図を見つけられることを証明したのです。

技術要約：ハミルトニアン表現による選挙区最適化（COTHROM）

問題提起
本論文は、アイルランドの比例代表制（PR-STV）下における選挙区境界再編の計算上の課題を取り扱う。このプロセスは、アイルランド憲法および2022年選挙改革法によって規定されており、特定の「ハード」な制約（例：総議席数171〜181、1選挙区あたり3〜5議席、連続性）と、「ソフト」な目的（例：比例代表制、郡境界の侵害回避、コンパクトネス、地理的考慮事項）を課している。

核心的な困難は、可能な境界構成の組み合わせ爆発と、ソフトな目的間の内在的な対立にある。例えば、郡の境界を厳格に遵守する構成は、比例代表制からの著しい逸脱を招く可能性がある一方で、数学的に最適な比例代表マップは、多数の郡境界の侵害を必要とする場合がある。現在、選挙委員会（EC）は手動で境界線を引いているが、このプロセスには、膨大な許容可能領域と比較して提案された計画が最適解に近いことを示すための体系的な根拠が欠けている。

手法
著者らは、統計物理学、特にポッツ・モデルを用いて選挙区再編問題をモデル化する計算フレームワーク、COTHROMを提案している。

ハミルトニアン定式化:
法的および憲法上の要件は、選挙区割り（ED）を特定の選挙区に割り当てる構成を表すハミルトニアン（エネルギー関数） $H(\sigma)$ の項としてエンコードされる。ここで、 $\sigma$ は特定の選挙区割りを示す。全エネルギーは、以下の特定の目的関数の加重和である：
- $H_P$ （比例代表制）：選挙区の人口が、議席あたりの全国平均から逸脱することに対してペナルティを課す。
  ${H_C}$ （連続性）：選挙区が複数の断絶した成分に分割されることにペナルティを課す。
- $H_D$ （コンパクトネス）：非球状の形状を罰する離散的なカットエッジ指標（「サラマンダー（境界線の引き延ばし）」を抑制し、コンパクトさを促進する）。
- $H_B$ （郡境界）：主要な郡の外側に位置する、ある選挙区に割り当てられたEDの数をカウントする。
目的関数は $H = \sum J_\alpha (H_\alpha / Z_\alpha)$ であり、ここで $J_\alpha$ は各目的の相対的な重みを表す結合定数、 $Z_\alpha$ は正規化係数である。
シミュレーテッド・アニーリングによる最適化:
$H$ を最小化する構成を見つけるために、著者らはマルコフ連鎖モンテカルロ（MCMC）法を用いたシミュレーテッド・アニーリング・スケジュールを採用している。
- アルゴリズム: ギブス・サンプラーが使用され、個々のEDの選挙区割り更新を行う。ランダムな移動を提案するメトロポリス法とは異なり、ギブス・サンプラーは与えられたEDに対するすべての可能な割り当ての条件付き分布からサンプリングを行うため、高エネルギーの景観における効率性が向上する。
- アニーリング: システムは高い「温度」（広範な構成空間の探索を許容する状態）から始まり、幾何学的なスケジュール（ $T_k = \alpha^k T_0$ ）に従って徐々に冷却される。これにより、システムは局所解から脱出し、与えられた重みの下で最適解（基底状態）を表すグローバルな最小値へと収束することができる。
多基準意思決定分析（MCDA）:
目的の相対的な重み付け（ $J_\alpha$ ）は法によって規定される規範的な選択であることを認識し、本フレームワークは単一の重み付けに固執しない。代わりに、MCDAを利用してパレート・フロントをマッピングする。ある構成がパレート最適であるとは、他のどの構成も、ある目的を悪化させることなく別の目的を改善できない状態を指す。このアプローチにより、競合する憲法上の目標間のトレードオフが明示的かつ定量化される。

主な結果
本フレームワークは、20の議席と5つの選挙区を持つコーク県（County Cork）のデータを用いて検証された。

収束: システムは明確な相転移を示した。すなわち、ランダムな初期構成が、温度が低下するにつれて、構造化され連続した選挙区へと「結晶化」していった。
最適性: 2023年のECの境界線とCOTHROMによって生成されたパレート・フロントを比較したところ、既存の法的境界線は支配されていることが判明した。COTHROMは、同一レベルのコンパクトネスに対して、比例代表制からの分散が著しく低い構成、あるいは同一レベルの比例代表制に対してより優れたコンパクトネスを持つ構成を一貫して生成した。
郡境界: ミッドランド地方の郡を用いたテストケースにおいて、本フレームワークは、比例代表制を犠牲にして郡境界の厳格な遵守を行うトレードオフ能力を示した。郡境界の結合定数（ $J_B$ ）を増加させると、アルゴリズムは2023年の境界線をほぼ正確に再現したが、その代償として人口分散が高くなった。
パレート分析: 本研究は、現在のECの境界線がパレート・フロント上に存在しないことを明らかにした。これは、特定のトレードオフを受け入れれば、他の目的を犠牲にすることなく、代表制やコンパクトネスを改善できる可能性があることを示唆している。

意義と主張
本論文は、アイルランドの選挙区再編に特化して設計され、複数の憲法上の要件を体系的に最適化する最初の計算フレームワークであると主張している。その主な貢献は以下の通りである：

透明性と監査可能性: 法的命令を明示的な数学モデルにエンコードすることで、結果の再現が可能となり、特定の重み付けがどのように結果に影響を与えるかを検査することができる。これは、最適性の証明が不可能な現在の手動プロセスとは対照的である。
トレードオフの明示的な定量化: パレート・フロント分析を用いたことで、議論は暗黙的な審議から明示的な定量化へと移行した。これにより、意思決定者は、コンパクトネスや郡境界の完全性を高めるために、比例代表制を具体的にどれだけ犠牲にしなければならないかを把握できる。
アルゴリズムによるガバナンス: 本研究は、「アルゴリズムによるガバナンス」への道筋を示唆している。ECは、公聴会のための数学的に最適化された出発点を生成することができ、最終的な境界線が単に法に準拠しているだけでなく、定義された法的景観の中で「最適に近い」ものであることを保証できる。
限界と範囲: 著者らは、現在のモデルには複雑な地理的特徴（山、川）や、コミュニティの結びつきに関する公聴会からの微細な知見がまだ組み込まれていないことを謙虚に認めており、これらを将来の拡張案としている。また、「郡境界の侵害」の定義が現在は面積比率に基づく簡略化されたヒューリスティックであり、ECの具体的な法的解釈に一致させるためのさらなる洗練が必要であることも認めている。

要約すると、COTHROMは、アイルランドの選挙区再編における複雑な多目的最適化の景観をナビゲートするための、厳密で物理学に基づいたツールを提供している。これにより、地理的制約を尊重しつつ、比例代表制という憲法上の使命をより良く満たす選挙区を生成、比較、正当化する方法を提示している。