[論文レビュー] The Geometry of Coalition Power: Majorization, Lattices, and Displacement in Multiwinner Elections

Qian Guo, Yidan Hu+1 more|arXiv (Cornell University)|Jan 23, 2026

Game Theory and Voting Systems被引用数 0

ひとこと要約

論文は、Top-k選挙における連合が勝者を displacement できる様子を、構造的・幾何学的フレームワークで定量化し、一般ステップ AP ラダ―に対して離散的な正確な特徴付けと効率的な実現可能性オラクルを提供する。

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 勝者集合に与える影響を理解する動機付け。
• 主要化と多面体幾何学を介して、連合 induce score ベクトルの実現可能領域を特徴づける。
• 一般ステップ AP ラダ―（共通ステップを持つ AP ラダー）に対する正確な離散実現可能性結果を提供。
• 与えられた連合サイズ m に対する最大到達 displacement k* を多項式時間アルゴリズムで計算する。

提案手法

• displacement の実現可能性を二つの独立した部分問題に分解する：最強のアウトサイダーを強化することと、弱い勝者を抑制すること。
• 集合的連合スコアをビ ballot ごとの置換体のミンコフスキー和としてモデル化し、Block–HLP prefix-sum 不等式を導出する。
• 共通ステップ AP ラダーに対する正確な離散的 Majorization–Lattice 定理を証明：実現可能な整数ベクトルは Block–HLP prefix 制約と g による一つの合同性を満たす。
• prefix-dominance とモジュラー合同を検査する高速な実現可能性オラクルを設計し、k′ に対するデュアル・エンベロープ二分探索で k* を得る。
• 固定 Top-k ルールと AP ラダーの下で O(k (log k)^2 log(mx)) 時間のアルゴリズムを提供。
• 合成 Mallows プロファイルと実データ PrefLib の選挙で理論を検証。

実験結果

リサーチクエスチョン

• RQ1 連合サイズ m が与えられたスコアリングルールの下で、Top-k 選挙において連合が保証できる最大 displacement k* とは何か？
• RQ2 連合の影響は独立した boost と suppress の部分問題に分解できるのか、そしてこれが実現可能性検証にどのように影響するのか？
• RQ3 共通ステップの g を持つ AP ラダ―スコアリングルールに対して、実現可能な集計スコアの正確な離散的特徴づけを得られるか？
• RQ4 共通ステップ AP ラダー下で k* を計算する計算複雑度はどの程度か、効率的な実現可能性オラクルを設計できるか？
• RQ5 理論的エンベロープと合同条件は、合成データや実データの選挙にどれほど適合するのか？

主な発見

• displacement の実現可能性は、アウトサイダーの独立した boost と現職の抑制という独立な分解に還元される構造的分解を示す。
• 連合の実現可能なスコア領域は Block–HLP エンベロープに等しく、主要化理論に基づく prefix-sum 多面体の説明である。
• 共通ステップ AP ラダーでは、実現可能な整数ベクトルは Block–HLP prefix 制約と g による一つの合同条件を満たす正確なもの（Majorization–Lattice の結果）。
• k* を求めるための高速な O(k (log k)^2 log(mx)) 実現可能性オラクルベースのアルゴリズムが存在し、k′ に対するデュアルエンベロープ二分探索で得られる。
• 合成 Mallows プロファイルと実 PrefLib 選挙で予測されるエンベロープを検証し、収穫減少と正確なオラクル整合性を確認；スケーラビリティは大規模な候補者数へ適用可能。