Grothendieck inequality

In mathematics, the Grothendieck inequality states that there is a universal constant k with the following property. If a_i,j is an n by n (real or complex) matrix with

for all (real or complex) numbers s_i, t_j of absolute value at most 1, then

for all vectors S_i, T_j in the unit ball B(H) of a (real or complex) Hilbert space H, the constant k being independent of n. For a fixed n, the smallest constant which satisfies this property for all n by n matrices is called a Grothendieck constant and denoted k(n). In fact there are two Grothendieck constants k_R(n) and k_C(n) for each n depending on whether one works with real or complex numbers, respectively.

The Grothendieck inequality and Grothendieck constants are named after Alexander Grothendieck, who proved the inequality and the existence of the constants in a paper published in 1953.

The sequences k_R(n) and k_C(n) are easily seen to be increasing, and Grothendieck's result states that they are bounded, so they have limits.

With k_R defined to be sup_nk_R(n) then Grothendieck proved that: ${\displaystyle 1.57\approx {\frac {\pi }{2}}\leq k_{\mathbb {R} }\leq \mathrm {sinh} ({\frac {\pi }{2}})\approx 2.3}$.

...
Wikipedia