[论文解读] Allocation of seats in the European Parliament and a degressive proportionality

Jan Florek|arXiv (Cornell University)|Apr 15, 2011

Game Theory and Voting Systems参考文献 2被引用 3

一句话总结

本文提出了一种数学上严格、唯一的席位分配方法，依据去比例性原则分配欧洲议会席位，确保大国拥有更多席位，但每位代表所代表的公民人数更多。该方法采用可调节参数的归纳算法，生成在约束条件下最大化总席位数的公平、非递减席位序列，并证明了分配函数的最优性与连续性。

ABSTRACT

Distribution of seats in The European Parliament postulated by Treaty of Lisbon should be degressively proportional. The meaning of degressively proportional concept can be found in two principles annexed to the draft of European Parliament resolution. The first, referred as the principle of fair division, states that "the larger the population of a Member State, the greater is entitlement to a large number of seats". The other condition, referred to as the principle of relative proportionality, holds that "the larger the population of a country, the more inhabitants are represented by each of its Members of the EU". We postulate a clear and fair method which determines uniquely a distribution of seats in the European Parliament which fulfil the requirements of degressive proportionality. More generally, let $l_i$ be any non-increasing sequence of real positive numbers. We say that a sequence of natural numbers $m_{i}$ is degressively proportional with respect to the sequence $l_{i}$, if $m_{i}$ and $l_{i}/m_{i}$ are non-increasing sequences. Our method can be instrumental in uniquely determining a degressively proportional sequence $m_{i}$ with respect to $l_{i}$ which fulfils given conditions.

研究动机与目标

• 解决在去比例性原则下，欧洲议会席位分配缺乏唯一、公平方法的问题。
• 将去比例性形式化为席位数序列和人均代表数均非递增的条件。
• 开发一种构造性算法，唯一确定满足条约限制（每国6至96个席位，总数不超过750）和去比例性要求的席位分配方案。
• 通过分配函数的连续性与单调性，证明在所提方法下最大席位分配的存在性与最优性。
• 提供一种可计算的程序，用于确定在相同初始条件下优于所有其他可行序列的最优分配。

提出的方法

• 通过条件定义去比例性：席位序列 $ m_i $ 和比值 $ l_i/m_i $（人均代表数）均为非递增。
• 提出一种归纳算法：$ m_1 = M $，且对 $ i \geq 2 $，有 $ m_i = \min\left(\left\lceil \frac{m_{i-1} l_i}{l_{i-1}} + a_i \right\rceil, m_{i-1} \right) $，其中 $ a_i \geq 0 $ 且 $ M \in \mathbb{N} $。
• 引入缩放参数 $ c $，使得 $ m_i(c) $ 是以初始条件 $ (M, \{c a_i\}) $ 确定的去比例性序列，确保总席位数 $ \Phi(c) = \sum m_i(c) $ 左连续且非递减。
• 将 $ c_Y $ 定义为满足 $ \Phi(c) \leq Y $ 的最大 $ c $，其中 $ Y $ 为总席位上限（如750），以确保在约束下实现最大分配。
• 利用不连续点与阶梯函数计算 $ c_Y $，满足 $ \Phi(c_Y) \in [Y - (n-2), Y] $，保证席位使用接近最大。
• 采用两阶段计算：首先找到满足 $ \Phi(c_0) \leq Y $ 的 $ c_0 $，然后逐步计算 $ c_{k+1} = c_k + \lfloor \beta(c_k) \rfloor $，直到 $ \Phi(c_k) \leq Y $ 且 $ \Phi(c_k + \gamma(c_k)) > Y $。

实验结果

研究问题

• RQ1 在去比例性原则下，如何唯一且公平地确定欧洲议会的席位分配，以调和公平分配与相对比例原则之间的冲突？
• RQ2 哪些数学条件可确保席位分配具有去比例性？该序列如何通过算法构造？
• RQ3 能否设计一种方法，使最终席位分配在固定上限下实现总代表数最大化，同时满足最小与最大席位限制？
• RQ4 分配函数 $ \Phi(c) $ 的连续性与单调性如何支持最优分配的计算？
• RQ5 总分配席位与上限 $ Y $ 之间的理论差值边界是什么？该边界如何推导？

主要发现

• 所提方法通过含参数 $ a_i $ 的归纳公式，唯一确定了去比例性席位分配，确保公平性与一致性。
• 总席位数函数 $ \Phi(c) $ 左连续且非递减，使得可计算 $ c_Y $，满足 $ \Phi(c_Y) \leq Y $ 且 $ \Phi(c_Y) $ 最大化。
• 当总上限 $ Y = 750 $ 时，该方法确保 $ \sum m_i(c_Y) \in [748, 750] $，即最多损失2个席位。
• 该算法通过检测不连续点实现逐步增量计算 $ c_Y $，在示例中 $ c_3 \approx 1.257 $ 时产生757个席位，表明方法具有可扩展性。
• 当 $ Y \in [\Phi(0), \Phi(\delta)] $ 时，$ \Phi(c_Y) $ 的下界为 $ Y - (n-2) $，证明了在所有成员国中均接近最优。
• 该方法优于所有具有相同初始条件 $ (M, \{c a_i\}) $ 的其他序列，确保公平性与最大代表权。