Abstract:We study an optimization problem originated from the Grothendieck constant. A generalized normal equation is proposed and analyzed. We establish a correspondence between solutions of the general normal equation and its dual equation. Explicit solutions are described for the two-dimensional case.
What problem does this paper attempt to address?
This paper attempts to solve an optimization problem related to the Grothendieck constant. Specifically, the authors studied an optimization problem originating from the Grothendieck constant and proposed a generalized normal equation to analyze this problem. They established the correspondence between the solutions of the generalized normal equation and its dual equation, and described the explicit solutions in the two - dimensional case.
### Background and Problem Definition
The Grothendieck constant \(K_G\) is the smallest constant that satisfies the following inequality for any matrix \(A=(a_{ij})\) (real or complex):
\[
\sup_{u_i, v_j\in B(d)}\sum_{i,j}a_{ij}\langle u_i, v_j\rangle\leq K_G\cdot\sup_{x_i, y_j = \pm1}\sum_{i,j}a_{ij}x_i y_j
\]
where \(B(d)=\{x\in\mathbb{R}^d\mid\|x\| = 1\}\) is the unit ball in \(\mathbb{R}^d\).
Despite a great deal of effort, the exact value of the Grothendieck constant remains unknown in both the real and complex cases. This constant is related to the Bell inequality in quantum computing and the integer gap in certain semidefinite programming problems.
### Research Content
In this paper, the authors simplified this problem and transformed it into an optimization problem that can be solved using elementary methods. The main steps include:
1. **Express the Grothendieck constant as a generalized eigenvalue problem**.
2. **Solve the simplified version of the optimization problem**.
### Specific Optimization Problem
Consider the bilinear function \(B(\vec{x},\vec{y})=\sum_{k,j = 1}^n a_{kj}\vec{x}_k\cdot\vec{y}_j=\vec{x}^T A\vec{y}\), where \(\vec{x}=(\vec{x}_1,\ldots,\vec{x}_n)\), \(\vec{y}=(\vec{y}_1,\ldots,\vec{y}_n)\in(\mathbb{R}^d)^n\), and \(|\vec{x}_k|=|\vec{y}_k| = 1\) is required.
By introducing Lagrange multipliers, the authors obtained the generalized normal equations:
\[
(A^T\Lambda^{-1}A - M)\begin{pmatrix}\vec{y}_1\\\vdots\\\vec{y}_n\end{pmatrix}=0
\]
\[
(A M^{-1}A^T-\Lambda)\begin{pmatrix}\vec{x}_1\\\vdots\\\vec{x}_n\end{pmatrix}=0
\]
where \(\Lambda=\text{diag}(\lambda_1,\ldots,\lambda_n)\), \(M = \text{diag}(\mu_1,\ldots,\mu_n)\), and the optimal value is \(\text{tr}(\Lambda)=\text{tr}(M)\).
### Two - Dimensional Case
For the two - dimensional case, the authors proved that the maximum and minimum values of the bilinear function \(B(\vec{x},\vec{y})\) are bounded by \(\pm n^2d\sigma_1(A)\), where \(\sigma_1(A)\) is the largest singular value of matrix \(A\).
### Conclusion
By proposing and analyzing the generalized normal equation, the authors solved the optimization problem related to the Grothendieck constant and gave the explicit solution in the two - dimensional case.