Abstract:The little Grothendieck problem consists of maximizing $\sum_{ij}C_{ij}x_ix_j$ over binary variables $x_i\in\{\pm1\}$, where C is a positive semidefinite matrix. In this paper we focus on a natural generalization of this problem, the little Grothendieck problem over the orthogonal group. Given C a dn x dn positive semidefinite matrix, the objective is to maximize $\sum_{ij}Tr (C_{ij}^TO_iO_j^T)$ restricting $O_i$ to take values in the group of orthogonal matrices, where $C_{ij}$ denotes the (ij)-th d x d block of C. We propose an approximation algorithm, which we refer to as Orthogonal-Cut, to solve this problem and show a constant approximation ratio. Our method is based on semidefinite programming. For a given $d\geq 1$, we show a constant approximation ratio of $\alpha_{R}(d)^2$, where $\alpha_{R}(d)$ is the expected average singular value of a d x d matrix with random Gaussian $N(0,1/d)$ i.i.d. entries. For d=1 we recover the known $\alpha_{R}(1)^2=2/\pi$ approximation guarantee for the classical little Grothendieck problem. Our algorithm and analysis naturally extends to the complex valued case also providing a constant approximation ratio for the analogous problem over the Unitary Group. Orthogonal-Cut also serves as an approximation algorithm for several applications, including the Procrustes problem where it improves over the best previously known approximation ratio of~$\frac1{2\sqrt{2}}$. The little Grothendieck problem falls under the class of problems approximated by a recent algorithm proposed in the context of the non-commutative Grothendieck inequality. Nonetheless, our approach is simpler and it provides a more efficient algorithm with better approximation ratios and matching integrality gaps. Finally, we also provide an improved approximation algorithm for the more general little Grothendieck problem over the orthogonal (or unitary) group with rank constraints.

Improved NP-Hardness of Approximation for Orthogonality Dimension and Minrank

Kernelization for Orthogonality Dimension

Explicit Optimal Hardness via Gaussian stability results

Finer-grained Reductions in Fine-grained Hardness of Approximation

Hardness of Max-2Lin and Max-3Lin over Integers, Reals, and Large Cyclic Groups

The Hardness of Approximating the Threshold Dimension, Boxicity and Cubicity of a Graph

Three Hardness Results for Graph Similarity Problems

Approximating the Little Grothendieck Problem over the Orthogonal and Unitary Groups

Asymptotically Optimal Hardness for $k$-Set Packing and $k$-Matroid Intersection

Bounding the dimension of exceptional sets for orthogonal projections

Improved approximation ratios for two Euclidean maximum spanning tree problems

Improved Approximation Algorithms for Index Coding

Larger Nearly Orthogonal Sets over Finite Fields

Parameterized Inapproximability of the Minimum Distance Problem over All Fields and the Shortest Vector Problem in All [math] Norms

Improved Inapproximability Results for Counting Independent Sets in the Hard-Core Model

The bounds for the best rank-1 approximation ratio of a finite dimensional tensor space

On the distance to low-rank matrices in the maximum norm

Hardness Amplification via Group Theory

On Approximation Algorithm for Orthogonal Low-Rank Tensor Approximation

Hardness of Robust Graph Isomorphism, Lasserre Gaps, and Asymmetry of Random Graphs

On the NP-Hardness Approximation Curve for Max-2Lin(2)