Table of Contents
Fetching ...

Semidefinite programming relaxations and debiasing for MAXCUT-based clustering

Shuheng Zhou

TL;DR

This work develops a MAXCUT-based semidefinite programming framework for clustering a two-component sub-Gaussian mixture in high dimensions by centering the data and forming a reference matrix R. It analyzes three estimators—SDP1, BalancedSDP, and Spectral clustering—and proves that misclassification error decays exponentially in the signal-to-noise ratio s^2, with BalancedSDP achieving bias-free recovery in balanced partitions. The results hold under anisotropic covariance structures and do not require logarithmic-snr conditions; they also connect the SDP relaxations to spectral methods via the leading eigenvectors. Simulations corroborate the theory, demonstrating robust partial recovery even when n is small and p large. The work thus provides a principled, scalable approach to high-dimensional mixture clustering with provable performance guarantees and practical debiasing benefits for balanced partitions.

Abstract

In this paper, we consider the problem of partitioning a small data sample of size $n$ drawn from a mixture of 2 sub-gaussian distributions in $\R^p$. We consider semidefinite programming relaxations of an integer quadratic program that is formulated as finding the maximum cut on a graph, where edge weights in the cut represent dissimilarity scores between two nodes based on their $p$ features. We are interested in the case that individual features are of low average quality $γ$, and we want to use as few of them as possible to correctly partition the sample. Denote by $Δ^2:=p γ$ the $\ell_2^2$ distance between two centers (mean vectors) in $\R^p$. The goal is to allow a full range of tradeoffs between $n, p, γ$ in the sense that partial recovery (success rate $< 100%$) is feasible once the signal to noise ratio $s^2 := \min{np γ^2, Δ^2}$ is lower bounded by a constant. For both balanced and unbalanced cases, we allow each population to have distinct covariance structures with diagonal matrices as special cases. In the present work, (a) we provide a unified framework for analyzing three computationally efficient algorithms, namely, SDP1, BalancedSDP, and Spectral clustering; and (b) we prove that the misclassification error decays exponentially with respect to the SNR $s^2$ for SDP1. Moreover, for balanced partitions, we design an estimator $\bf {BalancedSDP}$ with a superb debiasing property. Indeed, with this new estimator, we remove an assumption (A2) on bounding the trace difference between the two population covariance matrices while proving the exponential error bound as stated above. These estimators and their statistical analyses are novel to the best of our knowledge. We provide simulation evidence illuminating the theoretical predictions.

Semidefinite programming relaxations and debiasing for MAXCUT-based clustering

TL;DR

This work develops a MAXCUT-based semidefinite programming framework for clustering a two-component sub-Gaussian mixture in high dimensions by centering the data and forming a reference matrix R. It analyzes three estimators—SDP1, BalancedSDP, and Spectral clustering—and proves that misclassification error decays exponentially in the signal-to-noise ratio s^2, with BalancedSDP achieving bias-free recovery in balanced partitions. The results hold under anisotropic covariance structures and do not require logarithmic-snr conditions; they also connect the SDP relaxations to spectral methods via the leading eigenvectors. Simulations corroborate the theory, demonstrating robust partial recovery even when n is small and p large. The work thus provides a principled, scalable approach to high-dimensional mixture clustering with provable performance guarantees and practical debiasing benefits for balanced partitions.

Abstract

In this paper, we consider the problem of partitioning a small data sample of size drawn from a mixture of 2 sub-gaussian distributions in . We consider semidefinite programming relaxations of an integer quadratic program that is formulated as finding the maximum cut on a graph, where edge weights in the cut represent dissimilarity scores between two nodes based on their features. We are interested in the case that individual features are of low average quality , and we want to use as few of them as possible to correctly partition the sample. Denote by the distance between two centers (mean vectors) in . The goal is to allow a full range of tradeoffs between in the sense that partial recovery (success rate ) is feasible once the signal to noise ratio is lower bounded by a constant. For both balanced and unbalanced cases, we allow each population to have distinct covariance structures with diagonal matrices as special cases. In the present work, (a) we provide a unified framework for analyzing three computationally efficient algorithms, namely, SDP1, BalancedSDP, and Spectral clustering; and (b) we prove that the misclassification error decays exponentially with respect to the SNR for SDP1. Moreover, for balanced partitions, we design an estimator with a superb debiasing property. Indeed, with this new estimator, we remove an assumption (A2) on bounding the trace difference between the two population covariance matrices while proving the exponential error bound as stated above. These estimators and their statistical analyses are novel to the best of our knowledge. We provide simulation evidence illuminating the theoretical predictions.
Paper Structure (84 sections, 74 theorems, 387 equations, 2 figures, 1 table)

This paper contains 84 sections, 74 theorems, 387 equations, 2 figures, 1 table.

Key Result

Lemma 1.2

Let $R$ be as in Definition def::reference and ${\mathcal{M}}_{\text{opt}}$ be as in eq::moptintro. Then for $u_2 \in \{-1, 1\}^n$ as in eq::u2,

Figures (2)

  • Figure 1: Top left: Success rates of SDP1 and SVD (balanced case and $V_1 = V_2$) for different $p$ as $n$ increases. Lines with the same markers are for the 2 estimators. Red lines highlight the success rates at different levels of $n p \gamma^2$ ranging from $0.5$ to $3.5$ (bottom to top with a step of $0.5$). The solid red line is for $n p \gamma^2 = 1$. Top right: Same data as the top left plot, showing SDP1's success rate for different $n$ as $p$ increases (x-axis in log scale). Bottom row: Success rates of SDP1, SVD and BalancedSDP for two different variance profiles. Lines with the same markers are for the 3 estimators. Error bars represent 1 standard deviation.
  • Figure 2: Unbalanced case $w_1=0.7$, $p \in \{20000, 50000, 80000\}$. Top row shows the angle $\theta_{\mathop{\text{SDP}}1}$ (resp. $\theta_1$) between the leading eigenvector $\widehat{x}$ of SDP1 solution $\widehat{Z}$ (resp. $v_1$ of $YY^T$) and $u_2$ (resp. $\bar{v}_1$). As $n$ increases, $\theta_{\mathop{\text{SDP}}1}$ decreases faster than $\theta_1$, especially for larger values of $p$. Horizontal dashed (straight) line is the static angle $\angle(\bar{v}_1, u_2)$. The dashed curve around it is for the random $\phi = \angle(\widehat{x}, v_1)$. Each vertical bar shows one standard deviation. Bottom row plots $\sin(\theta_{\mathop{\text{SDP}}1})$, ${\lVert Z^{*} - \widehat{Z}\rVert}_F/{n}$, $\lVert Z^{*} - \widehat{Z}\rVert_2/{n}$ for SDP1, and $\sin(\theta_1)$ for SVD.

Theorems & Definitions (93)

  • Definition 1.1
  • Lemma 1.2
  • Theorem 2.1
  • Corollary 2.2
  • Corollary 2.3
  • Definition 2.4
  • Definition 2.5
  • Lemma 2.6
  • Theorem 2.7
  • Theorem 2.8
  • ...and 83 more