[논문 리뷰] Allocation of seats in the European Parliament and a degressive proportionality

Jan Florek|arXiv (Cornell University)|2011. 04. 15.

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)과 타원 비례성을 동시에 만족하는 고유한 의석 배분을 결정하는 구축 가능한 알고리즘을 개발하기 위해.
• 할당 함수의 연속성과 단조성에 기반하여 제안된 방법에 따른 최대 의석 할당의 존재성과 최적성을 증명하기 위해.
• 동일한 초기 조건을 가진 다른 모든 가능 sequence보다 우월한 최적 할당을 계산할 수 있는 계산 가능한 절차를 제공하기 위해.

제안 방법

• 의석 수열 $ 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) $ 가 왼쪽 연속성과 비감소성을 보장한다.
• 총 의석 제한 $ Y $ (예: 750) 에 대해 $ \Phi(c) \leq Y $ 를 만족하는 가장 큰 $ c_Y $ 를 식별하며, 이는 제약 조건 하에서 최대 할당을 보장한다.
• 불연속점과 단계 함수를 사용하여 $ 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) $ 는 왼쪽 연속성과 비감소성을 가지며, 이는 $ \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\}) $ 을 가진 모든 다른 수열보다 우월하여 공정성과 최대 대표 수를 보장한다.