[논문 리뷰] The Geometry of Coalition Power: Majorization, Lattices, and Displacement in Multiwinner Elections

Qian Guo, Yidan Hu외 1명|arXiv (Cornell University)|2026. 01. 23.

Game Theory and Voting Systems인용 수 0

한 줄 요약

논문은 Top-k 선거에서 연합이 승자를 대체하는 방법을 정량화하기 위한 구조적이고 기하학적인 프레임워크를 개발하고, 일반적인 계단 AP(공통 스텝) ladder에 대한 정확한 이산적 특징화와 효율적인 타당성 오라클을 제공합니다.

ABSTRACT

How much influence can a coordinated coalition exert in a multiwinner Top-$k$ election under a positional scoring rule? We study the maximum displacement problem: with coalition size $m$, how many of the current top-$k$ winners can be forced out? We show coalition power decomposes into two independent prefix-majorization constraints, capturing how much the coalition can (i) boost outsiders and (ii) suppress weak winners. For arbitrary scoring rules these prefix inequalities are tight, efficiently checkable necessary conditions (exact in the continuous relaxation). For common-step arithmetic-progression (AP) score ladders, including Borda, truncated Borda, $k$-approval/$k$-veto, plurality, and multi-level rules such as $3$--$2$--$1$, we prove a Majorization--Lattice Theorem: feasible aggregate score vectors are exactly the integer points satisfying the Block--HLP prefix-sum capacity constraints plus a single global congruence condition modulo the step size $g$. For Borda ($g=1$) the congruence vanishes, yielding a pure prefix-majorization test. This characterization yields an $O(k'\log k')$ exact feasibility oracle for displacing $k'$ winners, and an $O(k(\log k)^2\log(mx))$ algorithm (via dual-envelope binary search) for computing the maximum achievable displacement $k^\ast$. Experiments on Mallows profiles and PrefLib elections confirm exact cutoffs, diminishing returns, and substantial gains over baseline heuristics; for $g>1$ they also demonstrate the predicted congruence effect, where prefix-only tests produce false positives. The oracle scales to extreme instances, processing $10^9$ candidates in under 28 seconds (memory permitting).

연구 동기 및 목표

• 다중 승자 선거에서 협력 연합이 Top-k 승자 집합에 어떤 식으로 영향을 미칠 수 있는지 이해하도록 동기를 부여한다.
• 주요화와 다면체 기하학을 통해 연합이 유도한 점수 벡터의 feasible 영역을 특성화한다.
• 공통 계단(AP ladders with a common step) 용의 정확한 이산적 실현 가능성 결과를 제공한다.
• 주어진 연합 크기 m에 대해 최대 달성 가능한 변위 k*를 계산하는 다항 시간 알고리즘을 개발한다.

제안 방법

• 변위 타당성을 두 개의 독립된 하위 문제로 분해한다: 가장 강한 외부 후보를 끌어올리고 약한 승자들을 억제한다.
• 집합적 연합 점수를 투표지별 퍼뮤타헤라의 Minkowski 합으로 모델링하고 Block–HLP 접두합 부등식을 도출한다.
• 공통 계단 AP ladder를 위한 정확한 이산적 Majorization–Lattice 정리를 증명한다: 가능한 정수 벡터는 Block–HLP prefix 제약과 g로 나머지 하나의 합동성 조건을 만족한다.
• 접두 우위성과 모듈러 합동성(Modular congruence)을 확인하는 빠른 타당성 오라클을 설계하고, k′에 대한 이중 엔벨로프 이진 탐색을 가능하게 하여 k*를 얻는다.
• 고정된 Top-k 규칙과 AP ladders 하에서 O(k (log k)^2 log(mx)) 시간 알고리즘을 제공한다.
• 합성 Mallows 프로필과 실제 PrefLib 선거로 이론을 검증한다.

실험 결과

연구 질문

• RQ1 주어진 규칙 아래 Top-k 선거에서 연합의 크기 m이 보장할 수 있는 최대 변위 k*는 무엇인가?
• RQ2 연합 영향력이 독립적인 부스트와 억제 하위 문제로 분해될 수 있는가, 그리고 이것이 타당성 테스트에 어떻게 영향을 미치는가?
• RQ3 공통 스텝 크기 g를 갖는 AP ladder 규칙에서 가능성 있는 집합 점수의 정확한 이산적 특성화가 가능한가?
• RQ4 공통 계단 AP ladder 하에서 k*를 계산하는 계산 복잡도는 얼마이며, 효율적인 타당성 오라클을 설계할 수 있는가?
• RQ5 이론적 엔벨로프와 합동 조건이 합성 데이터와 실제 선거 데이터에 얼마나 잘 맞는가?

주요 결과

• 구조적 분해를 통해 변위 타당성이 외부 후보의 독립적 부스트와 현직자 억제의 문제로 축약됨을 보인다.
• 연합의 가능한 점수 영역은 Majorization 이론에서 도출된 블록-HLP 접두합 포현인 Block–HLP 엔벨로프와 동일하다.
• 공통 계단 AP ladder의 경우, 가능한 정수 벡터는 Block–HLP prefix 제약과 하나의 합동성 조건(나머지) g를 만족하는 정확한 이산적 벡터들임을 보인다( Majorization–Lattice 결과).
• k′에 대한 이중 엔벨로프 기반의 타당성 오라클을 사용한 O(k (log k)^2 log(mx)) 시간 알고리즘으로 k*를 계산할 수 있다.
• 합성 Mallows 프로필과 실제 PrefLib 선거에 대한 실험은 예측된 엔벨로프와 완벽한 오라클 정렬을 확인시키며 수익이 감소하는 경향을 보이고 대규모 후보 수에서도 확장 가능성을 제시한다.