Grothendieck inequality

In mathematics, the Grothendieck inequality states that there is a universal constant $K_{G}$ with the following property. If M_i,j is an n by n (real or complex) matrix with

\left|\sum _{i,j}M_{ij}s_{i}t_{j}\right|\leq 1

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

\left|\sum _{i,j}M_{ij}\langle S_{i},T_{j}\rangle \right|\leq K_{G}

,

for all vectors S_i, T_j in the unit ball B(H) of a (real or complex) Hilbert space H, the constant $K_{G}$ being independent of n. For a fixed Hilbert space dimension d, the smallest constant which satisfies this property for all n by n matrices is called a Grothendieck constant and denoted $K_{G}(d)$ . In fact there are two Grothendieck constants, $K_{G}^{\mathbb {R} }(d)$ and $K_{G}^{\mathbb {C} }(d)$ , depending on whether one works with real or complex numbers, respectively.[1]

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

Bounds on the constants

The sequences $K_{G}^{\mathbb {R} }(d)$ and $K_{G}^{\mathbb {C} }(d)$ are easily seen to be increasing, and Grothendieck's result states that they are bounded,[2][3] so they have limits.

With $K_{G}^{\mathbb {R} }$ defined to be $\textstyle \sup _{d}K_{G}^{\mathbb {R} }(d)$ [4] then Grothendieck proved that: $1.57\approx {\frac {\pi }{2}}\leq K_{G}^{\mathbb {R} }\leq \mathrm {sinh} ({\frac {\pi }{2}})\approx 2.3$ .

Krivine (1979)[5] improved the result by proving: $K_{G}^{\mathbb {R} }\leq {\frac {\pi }{2\ln(1+{\sqrt {2}})}}\approx 1.7822$ , conjecturing that the upper bound is tight. However, this conjecture was disproved by Braverman et al. (2011).[6]

Grothendieck constant of order d

Boris Tsirelson showed that the Grothendieck constants $K_{G}^{\mathbb {R} }(d)$ play an essential role in the problem of quantum nonlocality: the Tsirelson bound of any full correlation bipartite bell inequality for a quantum system of dimension d is upperbounded by $K_{G}^{\mathbb {R} }(2d^{2})$ .[7][8]

Lower bounds

Some historical data on best known lower bounds of $K_{G}^{\mathbb {R} }(d)$ is summarized in the following table. Implied bounds are shown in italics.

d	Grothendieck, 1953[2]	Clauser et al., 1969[9]	Davie, 1984[10]	Fishburn et al., 1994[11]	Vértesi, 2008[12]	Briët et al., 2011[13]	Hua et al., 2015[14]	Diviánszky et al., 2017[15]
2		${\sqrt {2}}$ ≈ 1.41421
3		1.41421			1.41724		1.41758	1.4359
4					1.44521		1.44566	1.4841
5				${\frac {10}{7}}$ ≈ 1.42857	1.46007		1.46112	1.4841
6					1.46007		1.47017	1.4841
7						1.46286	1.47583	1.4841
8						1.47586	1.47972	1.4841
9						1.48608
...
∞	${\frac {\pi }{2}}$ ≈ 1.57079		1.67696

Upper bounds

Some historical data on best known upper bounds of $K_{G}^{\mathbb {R} }(d)$ :

d	Grothendieck, 1953[2]	Rietz, 1974[16]	Krivine, 1979[5]	Braverman et al., 2011[6]	Hirsch et al., 2016[17]
2			${\sqrt {2}}$ ≈ 1.41421
3			1.5163		1.4644
4			${\frac {\pi }{2}}$ ≈ 1.5708
...
8			1.6641
...
∞	$\mathrm {sinh} \left({\frac {\pi }{2}}\right)$ ≈ 2.30130	2.261	${\frac {\pi }{2\ln(1+{\sqrt {2}})}}$ ≈ 1.78221	${\frac {\pi }{2\ln(1+{\sqrt {2}})}}-\varepsilon$

References

Pisier, Gilles (April 2012), "Grothendieck's Theorem, Past and Present", Bulletin of the American Mathematical Society, 49 (2): 237–323, arXiv:1101.4195, doi:10.1090/S0273-0979-2011-01348-9.
Grothendieck, Alexander (1953), "Résumé de la théorie métrique des produits tensoriels topologiques", Bol. Soc. Mat. Sao Paulo, 8: 1–79, MR 0094682
Blei, Ron C. (1987), "An elementary proof of the Grothendieck inequality", Proceedings of the American Mathematical Society, American Mathematical Society, 100 (1): 58–60, doi:10.2307/2046119, ISSN 0002-9939, JSTOR 2046119, MR 0883401
Finch, Steven R. (2003), Mathematical constants, Cambridge University Press, ISBN 978-0-521-81805-6
Krivine, J.-L. (1979), "Constantes de Grothendieck et fonctions de type positif sur les sphères", Advances in Mathematics, 31 (1): 16–30, doi:10.1016/0001-8708(79)90017-3, ISSN 0001-8708, MR 0521464
Braverman, Mark; Makarychev, Konstantin; Makarychev, Yury; Naor, Assaf (2011), "The Grothendieck Constant is Strictly Smaller than Krivine's Bound", 52nd Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 453–462, arXiv:1103.6161, doi:10.1109/FOCS.2011.77
Boris Tsirelson (1987). "Quantum analogues of the Bell inequalities. The case of two spatially separated domains" (PDF). Journal of Soviet Mathematics. 36 (4): 557–570. doi:10.1007/BF01663472.
Acín, Antonio; Gisin, Nicolas; Toner, Benjamin (2006), "Grothendieck's constant and local models for noisy entangled quantum states", Physical Review A, 73 (6): 062105, arXiv:quant-ph/0606138, Bibcode:2006PhRvA..73f2105A, doi:10.1103/PhysRevA.73.062105
Clauser, John F.; Horne, Michael A.; Shimony, Abner; Holt, Richard A. (1969), Proposed Experiment to Test Local Hidden-Variable Theories, 23, Physical Review Letters, p. 880
Davie, A. M. (1984), Unpublished
Fishburn, P. C.; Reeds, J. A. (1994), "Bell Inequalities, Grothendieck's Constant, and Root Two", SIAM Journal on Discrete Mathematics, 7 (1): 48–56, doi:10.1137/S0895480191219350
Vértesi, Tamás (2008), "More efficient Bell inequalities for Werner states", Physical Review A, 78 (3): 032112, arXiv:0806.0096, Bibcode:2008PhRvA..78c2112V, doi:10.1103/PhysRevA.78.032112
Briët, Jop; Buhrman, Harry; Toner, Ben (2011), "A Generalized Grothendieck Inequality and Nonlocal Correlations that Require High Entanglement", Communications in Mathematical Physics, 305 (3): 827, Bibcode:2011CMaPh.305..827B, doi:10.1007/s00220-011-1280-3
Hua, Bobo; Li, Ming; Zhang, Tinggui; Zhou, Chunqin; Li-Jost, Xianqing; Fei, Shao-Ming (2015), "Towards Grothendieck Constants and LHV Models in Quantum Mechanics", Journal of Physics A: Mathematical and Theoretical, Journal of Physics A, 48 (6): 065302, arXiv:1501.05507, Bibcode:2015JPhA...48f5302H, doi:10.1088/1751-8113/48/6/065302
Diviánszky, Péter; Bene, Erika; Vértesi, Tamás (2017), "Qutrit witness from the Grothendieck constant of order four", Physical Review A, 96 (1): 012113, arXiv:1707.04719, Bibcode:2017PhRvA..96a2113D, doi:10.1103/PhysRevA.96.012113
Rietz, Ronald E. (1974), "A proof of the Grothendieck inequality", Israel Journal of Mathematics, 19 (3): 271–276, doi:10.1007/BF02757725
Hirsch, Flavien; Quintino, Marco Túlio; Vértesi, Tamás; Navascués, Miguel; Brunner, Nicolas (2017), "Better local hidden variable models for two-qubit Werner states and an upper bound on the Grothendieck constant", Quantum, 1: 3, arXiv:1609.06114, Bibcode:2016arXiv160906114H, doi:10.22331/q-2017-04-25-3

External links

Weisstein, Eric W. "Grothendieck's Constant". MathWorld. (NB: the historical part is not exact there.)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Pisier, Gilles (April 2012), "Grothendieck's Theorem, Past and Present", Bulletin of the American Mathematical Society, 49 (2): 237–323, arXiv:1101.4195, doi:10.1090/S0273-0979-2011-01348-9.

[a-2] Grothendieck, Alexander (1953), "Résumé de la théorie métrique des produits tensoriels topologiques", Bol. Soc. Mat. Sao Paulo, 8: 1–79, MR 0094682

[3] Blei, Ron C. (1987), "An elementary proof of the Grothendieck inequality", Proceedings of the American Mathematical Society, American Mathematical Society, 100 (1): 58–60, doi:10.2307/2046119, ISSN 0002-9939, JSTOR 2046119, MR 0883401

[4] Finch, Steven R. (2003), Mathematical constants, Cambridge University Press, ISBN 978-0-521-81805-6

[krivine-5] Krivine, J.-L. (1979), "Constantes de Grothendieck et fonctions de type positif sur les sphères", Advances in Mathematics, 31 (1): 16–30, doi:10.1016/0001-8708(79)90017-3, ISSN 0001-8708, MR 0521464

[braverman-6] Braverman, Mark; Makarychev, Konstantin; Makarychev, Yury; Naor, Assaf (2011), "The Grothendieck Constant is Strictly Smaller than Krivine's Bound", 52nd Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp. 453–462, arXiv:1103.6161, doi:10.1109/FOCS.2011.77

[7] Boris Tsirelson (1987). "Quantum analogues of the Bell inequalities. The case of two spatially separated domains" (PDF). Journal of Soviet Mathematics. 36 (4): 557–570. doi:10.1007/BF01663472.

[8] Acín, Antonio; Gisin, Nicolas; Toner, Benjamin (2006), "Grothendieck's constant and local models for noisy entangled quantum states", Physical Review A, 73 (6): 062105, arXiv:quant-ph/0606138, Bibcode:2006PhRvA..73f2105A, doi:10.1103/PhysRevA.73.062105

[9] Clauser, John F.; Horne, Michael A.; Shimony, Abner; Holt, Richard A. (1969), Proposed Experiment to Test Local Hidden-Variable Theories, 23, Physical Review Letters, p. 880

[10] Davie, A. M. (1984), Unpublished

[11] Fishburn, P. C.; Reeds, J. A. (1994), "Bell Inequalities, Grothendieck's Constant, and Root Two", SIAM Journal on Discrete Mathematics, 7 (1): 48–56, doi:10.1137/S0895480191219350

[12] Vértesi, Tamás (2008), "More efficient Bell inequalities for Werner states", Physical Review A, 78 (3): 032112, arXiv:0806.0096, Bibcode:2008PhRvA..78c2112V, doi:10.1103/PhysRevA.78.032112

[13] Briët, Jop; Buhrman, Harry; Toner, Ben (2011), "A Generalized Grothendieck Inequality and Nonlocal Correlations that Require High Entanglement", Communications in Mathematical Physics, 305 (3): 827, Bibcode:2011CMaPh.305..827B, doi:10.1007/s00220-011-1280-3

[14] Hua, Bobo; Li, Ming; Zhang, Tinggui; Zhou, Chunqin; Li-Jost, Xianqing; Fei, Shao-Ming (2015), "Towards Grothendieck Constants and LHV Models in Quantum Mechanics", Journal of Physics A: Mathematical and Theoretical, Journal of Physics A, 48 (6): 065302, arXiv:1501.05507, Bibcode:2015JPhA...48f5302H, doi:10.1088/1751-8113/48/6/065302

[15] Diviánszky, Péter; Bene, Erika; Vértesi, Tamás (2017), "Qutrit witness from the Grothendieck constant of order four", Physical Review A, 96 (1): 012113, arXiv:1707.04719, Bibcode:2017PhRvA..96a2113D, doi:10.1103/PhysRevA.96.012113

[16] Rietz, Ronald E. (1974), "A proof of the Grothendieck inequality", Israel Journal of Mathematics, 19 (3): 271–276, doi:10.1007/BF02757725

[17] Hirsch, Flavien; Quintino, Marco Túlio; Vértesi, Tamás; Navascués, Miguel; Brunner, Nicolas (2017), "Better local hidden variable models for two-qubit Werner states and an upper bound on the Grothendieck constant", Quantum, 1: 3, arXiv:1609.06114, Bibcode:2016arXiv160906114H, doi:10.22331/q-2017-04-25-3

Functional analysis (topics, glossary)
Spaces	Hilbert space, Banach space, Fréchet space, topological vector space
Theorems	Hahn–Banach theorem, closed graph theorem, uniform boundedness principle, Kakutani fixed-point theorem, min-max theorem, Gelfand–Naimark theorem, Banach–Alaoglu theorem
Operators	bounded operator, compact operator, adjoint operator, unitary operator, Hilbert–Schmidt operator, trace class, unbounded operator
Algebras	Banach algebra, C-algebra, spectrum of a C-algebra, operator algebra, group algebra of a locally compact group, von Neumann algebra
Open problems	invariant subspace problem, Mahler's conjecture
Applications	Besov space, Hardy space, spectral theory of ordinary differential equations, heat kernel, index theorem, calculus of variation, functional calculus, integral operator, Jones polynomial, topological quantum field theory, noncommutative geometry
Advanced topics	locally convex space, approximation property, balanced set, Schwartz space, weak topology, barrelled space, Banach–Mazur distance, Tomita–Takesaki theory