---
title: Barvinok–Pataki Bound in SDP Optimization
url: https://www.emergentmind.com/topics/barvinok-pataki-bound
type: topic
---

# Barvinok–Pataki Bound in SDP Optimization

The Barvinok–Pataki bound is a central result in the theory of semidefinite programming (SDP), providing a quantitative description of the rank structure of solutions to SDPs with linear constraints. It establishes a precise threshold for the existence of low-rank extreme points in spectrahedra and underpins the analysis of rank-constrained nonconvex relaxations such as the Burer–Monteiro approach. The bound, its extensions, and failure modes are of critical importance for the tractability and exactness of SDP relaxations in combinatorial optimization, manifold optimization, and nonconvex optimization.

## 1. Formulation and Core Theorem

Let $X\in\mathbb{S}^n_+$ be the matrix variable in an SDP subject to $m$ independent affine constraints:
\[
A_1 \cdot X = b_1, \ldots, A_m \cdot X = b_m,
\]
where each $A_i \in \mathbb{S}^n$ and $\mathbb{S}^n_+$ denotes the set of $n\times n$ real symmetric positive semidefinite matrices.

The Barvinok–Pataki bound asserts that for any extreme-point solution $X^*$ of the feasible set (spectrahedron), the rank $r := \operatorname{rank}(X^*)$ satisfies:
\[
r(r+1)/2 \geq m.
\]
Equivalently, for any $r$ such that $r(r+1)/2 \geq m$, the SDP admits an optimal solution of rank at most $r$ [2301.06918][2211.12389][1912.01745]. The proof exploits Carathéodory-type arguments about faces of the positive semidefinite cone intersected by linear spaces.

## 2. Applications to Stiefel Manifold Programs

When applied to linear programs over the Stiefel manifold (LPS), which are problems of the form
\[
\min_{X \in St_{n,p},\, a_i^l \le (A_i X) \le a_i^u,\; i=1,\dots,k} (A_0 X),
\]
the rank bound furnishes an exactness criterion for the associated SDP relaxation. The classical condition, derived via the Barvinok–Pataki theorem, is:
\[
\frac{p(p+1)}{2} \leq n-k \implies v(\mathrm{SDP}) = v(\mathrm{LPS})
\]
where $p$ is the number of orthonormal columns, $n$ the ambient dimension, and $k$ the number of additional linear constraints.

The improved result shown in "Linear programming on the Stiefel manifold" relaxes this to the linear condition $p \le n-k$, which strictly enlarges the domain of exactness for the SDP relaxation, subsuming the unconstrained case $k=0$ and $p\le n$ [2301.06918].

## 3. Specialization to Combinatorial SDPs: Max-Cut Example

For the Goemans–Williamson SDP for Max-Cut on an $n$-vertex graph, the only $m=n$ constraints are $X_{ii} = 1$ for $i\in[n]$ and $X\succeq 0$. Applying the Barvinok–Pataki bound yields:
\[
p(p+1)/2 \geq n \implies p \geq \sqrt{2n}
\]
Thus, there always exists an optimal factorization $X^*=YY^\top$ with $Y\in\mathbb{R}^{n\times p}$ for $p \ge \sqrt{2n}$. This bound delineates the minimum rank for which rank-constrained parametrizations can, in principle, reach all optimal solutions [2211.12389].

## 4. Burer–Monteiro Approach and Rank Thresholds

The Burer–Monteiro method factorizes the primal variable as $X=YY^\top$ with $Y\in\mathbb{R}^{n\times p}$ and directly optimizes $Y$ subject to the constraints (possibly nonconvex). When $p$ meets or exceeds the Barvinok–Pataki bound, there is no loss of global optimality due to the rank restriction.

Recent work establishes that, for "generic" (full measure) data and in smoothed analysis, if $p(p+1)/2 > m$, the nonconvex approach has no spurious local minima and any second-order critical point is globally optimal. Explicitly, if $p \gtrsim \sqrt{2(1+\eta)m}$ for some fixed $\eta>0$, then Burer–Monteiro can solve SDPs to arbitrary precision in polynomial time in the smoothed model [1912.01745]. For $\eta \to 0$, this threshold converges to the Barvinok–Pataki value $p \geq \sqrt{2m}$.

## 5. Limitations and Necessity of Genericity

Despite the existential guarantee of low-rank optimal solutions, the Barvinok–Pataki threshold does not preclude the appearance of spurious local minima in the nonconvex Burer–Monteiro factorization for certain concrete (non-generic) SDPs. "The Burer-Monteiro SDP method can fail even above the Barvinok-Pataki bound" demonstrates for Max-Cut that there exist deterministic instances (of zero measure) for all even $n\geq 4$ and $2\leq p\leq n/2$, with spurious local minima at factorization ranks $p \geq \sqrt{2n}$ [2211.12389]. The construction relies on cost matrices with block structure leading to "axial" local minima that are provably non-global.

This shows that the Barvinok–Pataki bound is necessary but not sufficient for the absence of all non-global second-order critical points in the Burer–Monteiro method: the "no-spurious-minima" property requires additional genericity or smoothing of the problem data.

## 6. Extensions, Corollaries, and Complexity Implications

Strengthening of the rank bound in structured cases (notably Stiefel-manifold SDP relaxations) demonstrates that for problems with block-identity constraints, linear conditions such as $p \le n-k$ can guarantee SDP exactness, expanding the tractability window [2301.06918].

In general, for SDPs with $m$ constraints, the Barvinok–Pataki bound enables solution of the original problem via low-rank factorizations when $p\gtrsim\sqrt{2m}$, dramatically reducing memory/storage costs (from $O(n^2)$ to $O(n\,\sqrt{m})$) compared to interior point methods [1912.01745]. For SDPs arising in combinatorial optimization, control, and estimation, this is a foundational result underpinning both direct and approximation schemes.

\[
\begin{tabular}{|l|c|p{12.5em}|}
\hline
\textbf{Regime} & \textbf{SDP Solution Rank} & \textbf{Algorithmic Consequence} \\
\hline
$p < \sqrt{2m}$ & Unconstrained, possibly high & No guarantee of low-rank optimizer or absence of spurious minima \\
\hline
$p \geq \sqrt{2m} $ & At most $p$ & Existence of low-rank solution; generic or smoothed data: all local minima are global for Burer–Monteiro \\
\hline
$p \le n-k$ (Stiefel) & Exact SDP–LPS relaxation & Global optimality via convex relaxation \\
\hline
\end{tabular}
\]

## 7. Historical Context and Further Developments

The rank bound was established by Barvinok (1995) and Pataki (1998), initially as Carathéodory-type statements about convex combinations in spectrahedra. Extensions and refinements, particularly for structured constraint sets (Stiefel blocks), have expanded the areas of guaranteed exact relaxation. The critical realization, substantiated by recent constructions, that spurious local minima can exist even above the Barvinok–Pataki threshold in measure-zero pathological cases, motivates beyond-worst-case analysis (genericity, smoothed analysis) for practical guarantees in large-scale SDP optimization [2301.06918][2211.12389][1912.01745].

Source: https://www.emergentmind.com/topics/barvinok-pataki-bound