Table of Contents
Fetching ...

Efficient k-means with Individual Fairness via Exponential Tilting

Shengkun Zhu, Jinshan Zeng, Yuan Sun, Sheng Wang, Xiaodong Li, Zhiyong Peng

TL;DR

A novel fairness metric, the variance of the distances within each cluster, is proposed, which can alleviate the Matthew Effect typically caused by existing fairness metrics.

Abstract

In location-based resource allocation scenarios, the distances between each individual and the facility are desired to be approximately equal, thereby ensuring fairness. Individually fair clustering is often employed to achieve the principle of treating all points equally, which can be applied in these scenarios. This paper proposes a novel algorithm, tilted k-means (TKM), aiming to achieve individual fairness in clustering. We integrate the exponential tilting into the sum of squared errors (SSE) to formulate a novel objective function called tilted SSE. We demonstrate that the tilted SSE can generalize to SSE and employ the coordinate descent and first-order gradient method for optimization. We propose a novel fairness metric, the variance of the distances within each cluster, which can alleviate the Matthew Effect typically caused by existing fairness metrics. Our theoretical analysis demonstrates that the well-known k-means++ incurs a multiplicative error of O(k log k), and we establish the convergence of TKM under mild conditions. In terms of fairness, we prove that the variance generated by TKM decreases with a scaled hyperparameter. In terms of efficiency, we demonstrate the time complexity is linear with the dataset size. Our experiments demonstrate that TKM outperforms state-of-the-art methods in effectiveness, fairness, and efficiency.

Efficient k-means with Individual Fairness via Exponential Tilting

TL;DR

A novel fairness metric, the variance of the distances within each cluster, is proposed, which can alleviate the Matthew Effect typically caused by existing fairness metrics.

Abstract

In location-based resource allocation scenarios, the distances between each individual and the facility are desired to be approximately equal, thereby ensuring fairness. Individually fair clustering is often employed to achieve the principle of treating all points equally, which can be applied in these scenarios. This paper proposes a novel algorithm, tilted k-means (TKM), aiming to achieve individual fairness in clustering. We integrate the exponential tilting into the sum of squared errors (SSE) to formulate a novel objective function called tilted SSE. We demonstrate that the tilted SSE can generalize to SSE and employ the coordinate descent and first-order gradient method for optimization. We propose a novel fairness metric, the variance of the distances within each cluster, which can alleviate the Matthew Effect typically caused by existing fairness metrics. Our theoretical analysis demonstrates that the well-known k-means++ incurs a multiplicative error of O(k log k), and we establish the convergence of TKM under mild conditions. In terms of fairness, we prove that the variance generated by TKM decreases with a scaled hyperparameter. In terms of efficiency, we demonstrate the time complexity is linear with the dataset size. Our experiments demonstrate that TKM outperforms state-of-the-art methods in effectiveness, fairness, and efficiency.

Paper Structure

This paper contains 36 sections, 13 theorems, 52 equations, 7 figures, 3 tables, 2 algorithms.

Key Result

Lemma 1

For any $t\geq 0$, the tilted SSE is strongly convex with respect to $\boldsymbol{c}_j$. That is

Figures (7)

  • Figure 1: A comparison between $k$-means and individually fair $k$-means. $k$-means results in those minority residents being too far from the centroid, while in the clustering results of individually fair $k$-means, the distance of each resident to the centroid is approximately equal.
  • Figure 2: In sparse areas, the neighborhood radius for point B is larger than the neighborhood radius for point A in dense areas. Within the same radius, individual A can access more facilities.
  • Figure 3: Two examples of TERM li2023jmlr. Increasing parameter $t$ can magnify the impact of minority points on the models.
  • Figure 4: An example of TKM includes the stages of initialization, assignment, and refinement.
  • Figure 5: Comparison among various methods in terms of SSE at varying values of $k$.
  • ...and 2 more figures

Theorems & Definitions (29)

  • Definition 1: Tilted weight
  • Definition 2: Tilted empirical mean and variance
  • Definition 3: Gradient Lipschitz Continuity
  • Definition 4: Tilted Hessian
  • Lemma 1: Strong Convexity of Tilted SSE li2023jmlr
  • proof
  • Lemma 2: Gradient Lipschitz Continuity of Tilted SSE li2023jmlr
  • Theorem 1
  • Theorem 2
  • Theorem 3
  • ...and 19 more