Table of Contents
Fetching ...

Proportional Fairness in Clustering: A Social Choice Perspective

Leon Kellerhals, Jannik Peters

TL;DR

This work reframes proportional clustering as a social-choice problem by linking PF, IF, and the transferable core via a distance-based metric, and introduces metric JR axioms (mJR/mPJR) from multiwinner voting to capture proportional representation. It proves tight connections between PF and IF, and between PF and TC, showing that PF approximations yield strong guarantees for IF and core concepts, with corresponding lower bounds. The paper also analyzes mJR and mPJR outcomes, giving near-optimal PF/IF/TC bounds and providing efficient algorithms for finite candidate sets, while addressing unbounded spaces through reduction techniques. In the context of sortition, stronger results via fair greedy capture yield improved core bounds, and the work highlights open questions on the best attainable approximation factors and further generalizations.

Abstract

We study the proportional clustering problem of Chen et al. [ICML'19] and relate it to the area of multiwinner voting in computational social choice. We show that any clustering satisfying a weak proportionality notion of Brill and Peters [EC'23] simultaneously obtains the best known approximations to the proportional fairness notion of Chen et al. [ICML'19], but also to individual fairness [Jung et al., FORC'20] and the "core" [Li et al. ICML'21]. In fact, we show that any approximation to proportional fairness is also an approximation to individual fairness and vice versa. Finally, we also study stronger notions of proportional representation, in which deviations do not only happen to single, but multiple candidate centers, and show that stronger proportionality notions of Brill and Peters [EC'23] imply approximations to these stronger guarantees.

Proportional Fairness in Clustering: A Social Choice Perspective

TL;DR

This work reframes proportional clustering as a social-choice problem by linking PF, IF, and the transferable core via a distance-based metric, and introduces metric JR axioms (mJR/mPJR) from multiwinner voting to capture proportional representation. It proves tight connections between PF and IF, and between PF and TC, showing that PF approximations yield strong guarantees for IF and core concepts, with corresponding lower bounds. The paper also analyzes mJR and mPJR outcomes, giving near-optimal PF/IF/TC bounds and providing efficient algorithms for finite candidate sets, while addressing unbounded spaces through reduction techniques. In the context of sortition, stronger results via fair greedy capture yield improved core bounds, and the work highlights open questions on the best attainable approximation factors and further generalizations.

Abstract

We study the proportional clustering problem of Chen et al. [ICML'19] and relate it to the area of multiwinner voting in computational social choice. We show that any clustering satisfying a weak proportionality notion of Brill and Peters [EC'23] simultaneously obtains the best known approximations to the proportional fairness notion of Chen et al. [ICML'19], but also to individual fairness [Jung et al., FORC'20] and the "core" [Li et al. ICML'21]. In fact, we show that any approximation to proportional fairness is also an approximation to individual fairness and vice versa. Finally, we also study stronger notions of proportional representation, in which deviations do not only happen to single, but multiple candidate centers, and show that stronger proportionality notions of Brill and Peters [EC'23] imply approximations to these stronger guarantees.
Paper Structure (16 sections, 19 theorems, 22 equations, 4 figures)

This paper contains 16 sections, 19 theorems, 22 equations, 4 figures.

Key Result

Theorem 1

Let $\alpha, \beta \ge 1$. If $N \subseteq C$, then an outcome that satisfies $\alpha$-proportional fairness also satisfies $(1 + \alpha)$-individual fairness, and an outcome that satisfies $\beta$-individual fairness also satisfies $2\beta$-proportional fairness. If $N = C$, then an outcome that sa

Figures (4)

  • Figure 1: Left: An overview over connections between and bounds on fairness notions, i.e., $\alpha$-proportional fairness ($\alpha$-PF), $\beta$-individual fairness ($\beta$-IF), the $(\gamma, \alpha)$-transferable core ($(\gamma, \alpha)$-TC), and the $\alpha$-$q$-core. See \ref{['sec:bridges', 'sec:jrpjr']} for the corresponding definitions and results. If $\textsc{a} \to \Pi$, then algorithm a produces outcomes satisfying $\Pi$. If $\Pi \to \Gamma$, then any outcome satisfying $\Pi$ also satisfies $\Gamma$. If $\Gamma$ takes a parameter $\alpha$, then the label specifies the parameter that can be satisfied (for the transferable core, the result holds for all $\gamma > 1$). Right: The metric space for the examples used throughout the paper. Edges without labels have length $1$, the distance between any two points is given by the length of the shortest path between them.
  • Figure 2: Example metric spaces for the lower bounds in \ref{['thm:if-pf-tightness']}. Edges without labels have length $1$.
  • Figure 3: Metric space for some of the examples. Edges without labels have length $1$.
  • Figure 4: Metric space for \ref{['ex:dprf']}. Edges without labels have length $1$, the distance between any two points is given by the length of the shortest path between them.

Theorems & Definitions (54)

  • Definition 1
  • Definition 2
  • Definition 3
  • Example 1
  • Theorem 1: label=thm:IF-PF, restate=IFPF
  • proof
  • Theorem 2: label=thm:if-pf-tightness, restate=IFPFtight
  • proof
  • Theorem 3: label=thm:PF-TC, restate=PFTC
  • proof
  • ...and 44 more