[论文解读] 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

一句话总结

本文提出了一种轮换制的选区重划协议，其中两个政党轮流提出选区边界，另一方则从每次提案中冻结一个选区。该协议通过限制每方对特定选区的杰利蝾螈操纵能力并平衡议席分配，可证明实现非党派结果，即使在缺乏独立监督的情况下亦然。

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提出完整的选区划分方案，玩家2从该方案中选择一个选区冻结。
• 随后玩家1为剩余未冻结部分提出新方案，玩家2再次冻结一个选区，重复此过程直至所有选区均被冻结。
• 协议使用州的二维区域几何模型，包含人口密度，并采用基于测度的选区划分模型，即互不重叠且人口相等的区域。
• 关键引理分析了最优策略：玩家1可创建具有平衡忠诚度或纯粹忠诚度的选区，而玩家2被引导将区域平均分配以防止集中。
• 通过在理想化假设（包括完全信息和连续人口分布）下对最优策略进行博弈论分析，推导出理论保证。
• 协议在两种模型下进行分析：一维区间模型和二维几何模型，两者均确保可证明的公平性特征。

实验结果

研究问题

• RQ1 能否设计一种选区重划协议，确保非党派结果，且无需依赖独立机构？
• RQ2 在该协议下，各方对单个选区构成的控制程度如何？
• RQ3 与单方绘制方案相比，该协议如何平衡各方赢得的选区数量？
• RQ4 该协议是否能防止杰利蝾螈策略（如将选民集中或分散至特定选区）？
• RQ5 当引入几何约束（如紧凑性、连通性）时，公平性保证的稳健性如何？

主要发现

• 在最优策略下，该协议确保每方赢得的选区数量（即选区名单）被限制在任何分裂线划分下其最佳与最差结果的平均值之间，从而实现代表权的公平性。
• 该协议保证任一方都无法完全控制任一选区的构成，因为玩家2总能冻结一个选区以限制集中或分散策略。
• 该协议渐近地平衡了议席分配，使单方绘制模型中不均衡的议席/忠诚度曲线趋于对称。
• 若玩家2战略性地冻结一个对对方政党忠诚度高的选区，玩家1无法强制使某选区完全忠诚于己方。
• 即使先手选择是任意的，该协议仍能保持公平性，因为任一方均无法从先手优势中获得显著利益。
• 理论保证在理想化模型下成立，且核心公平性特征——尤其是无法完全控制选区构成——预计在现实实施中仍能持续，即使面临几何与人口复杂性约束。