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.

The Boolean SATisfiability Problem and the orthogonal group $O(n)$

Solving SAT Problems by Orthogonal Method

The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing

Totally orthogonal finite simple groups

On involutions and indicators of finite orthogonal groups

Zeon and Idem-Clifford Formulations of Boolean Satisfiability

Role of the orthogonal group in construction of osp(1|2n) representations

On SAT representations of XOR constraints

Linear and smooth oriented equivalence of orthogonal representations of finite groups

Approximating the Little Grothendieck Problem over the Orthogonal and Unitary Groups

Orthogonal irreducible representations of finite solvable groups in odd dimension

The 0-concordance monoid admits an infinite linearly independent set

Polynomial Time Algorithm for Boolean Satisfiability Problem

A Sufficient and Necessary Condition for 2n− 1 Orthogonal States to Be Locally Distinguishable in Ac2⊗cnsystem

How orthogonalities set Kochen-Specker sets

Solving orthogonal group synchronization via convex and low-rank optimization: tightness and landscape analysis

Benign Landscapes of Low-Dimensional Relaxations for Orthogonal Synchronization on General Graphs

Status and Perspectives of Direct Dark Matter Searches

Orthogonal Systems in Vector Spaces over Finite Fields

Satisfiability of commutative vs. non-commutative CSPs