[論文レビュー] A partisan districting protocol with provably nonpartisan outcomes

Wesley Pegden, Ariel D. Procaccia+1 more|arXiv (Cornell University)|Oct 24, 2017

Game Theory and Voting Systems参考文献 9被引用数 24

ひとこと要約

この論文は、2つの政党が交互に選挙区境界を提示し、相手側が各提示から1つの選挙区を凍結するというターンベースの選挙区再編プロトコルを提案する。このプロトコルは、各政党の特定選挙区におけるガーリングマッピングの能力を制限し、議席代表のバランスを保つことで、独立した監視機関がなくても非党派的結果を保証する。

ABSTRACT

We design and analyze a protocol for dividing a state into districts, where parties take turns proposing a division, and freezing a district from the other party's proposed division. We show that our protocol has predictable and provable guarantees for both the number of districts in which each party has a majority of supporters, and the extent to which either party has the power to pack a specific population into a single district.

研究の動機と目的

• 独立した中立的機関や委員会に依存せずに、公平な結果をもたらす選挙区再編プロトコルの設計。
• 米国議会選挙区再編におけるガーリングマッピング問題に対処し、1つの政党が選挙区境界を操作して過剰な代表権を得ることを防ぐ。
• 各政党が獲得する選挙区数（スレート）と、特定選挙区の構成を制御する能力について、理論的保証を提供する。
• 信頼できる独立した当事者を排除しつつも、公平性を維持し、選挙区再編における一部派的操作を低減する。

提案手法

• プロトコルはターンベースに動作する：プレイヤー1が完全な選挙区計画を提示し、プレイヤー2がその計画から1つの選挙区を凍結する。
• プレイヤー1は残りの未凍結部分について新たな計画を提示し、プレイヤー2も再び1つの選挙区を凍結する。このプロセスをすべての選挙区が凍結されるまで繰り返す。
• プロトコルは、州を2次元領域としてモデル化し、人口密度と、互いに排他的で等人口の領域としての選挙区再編の測度ベースのモデルを用いる。
• 主要な補題は最適戦略の分析を扱う：プレイヤー1はバランスの取れたまたは純粋な忠誠度を持つ選挙区を作成可能であり、プレイヤー2は均等に領域を分割することで、集約戦略を防ぐように誘導される。
• ゲーム理論的分析を用いて、完全な情報と連続的分布の人口の理想化仮定の下で最適戦略の下での理論的保証を導出する。
• プロトコルは2つのモデルで分析される：1次元の区間モデルと2次元の幾何モデルであり、両方とも保証された公平性の性質を持つ。

実験結果

リサーチクエスチョン

• RQ1 独立した機関を要件としない選挙区再編プロトコルを設計できるか？
• RQ2 プロトコル下で、各政党が個々の選挙区の構成をどの程度制御できるか？
• RQ3 1つの政党が計画を独占する場合と比較して、プロトコルは各政党の獲得選挙区数をどの程度バランスさせるか？
• RQ4 プロトコルは、特定の選挙区に投票者を押し込める（パッキング）や、分散させる（クラッキング）といったガーリングマッピング戦術を防げるか？
• RQ5 幾何的制約（例：コンパクト性、連結性）が導入された場合、公平性の保証はどの程度頑健か？

主な発見

• 最適戦略下で、プロトコルは各政党が、いかなるスプリットライン下でも得られる最良と最悪の結果の平均値の間で、選挙区スレートを保証する。これは代表の公平性を示す。
• プロトコルは、いかなる単一選挙区の構成も、プレイヤー2が常に相手政党に高い忠誠度を持つ選挙区を凍結することで、完全に制御できないことを保証する。
• プロトコルは漸近的に議席分配をバランスさせ、1つの政党が計画する場合の非対称な議席／忠誠度曲線を対称に近づける。
• プレイヤー2が戦略的に、反対政党に高い忠誠度を持つ選挙区を凍結すれば、プレイヤー1は、選挙区を100％その政党に忠誠させることが不可能になる。
• 先手を選ぶのが任意であっても、プロトコルは公平性を維持する。どちらの政党も先手の利点を著しく得ない。
• 理論的保証は理想化されたモデル下で成り立つが、幾何的および人口の複雑性の制約が存在する現実世界の実装でも、特に選挙区構成の完全な制御不能性という核心的な公平性の性質は維持されると予想される。