A new upper bound for the complex Grothendieck constant (Q1103816): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5615009 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3239535 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Grothendieck inequality for bilinear forms on \(C^*\)-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4179360 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constantes de Grothendieck et fonctions de type positif sur les sphères / rank
 
Normal rank
Property / cites work
 
Property / cites work: Absolutely summing operators in $ℒ_{p}$-spaces and their applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4188284 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ten-Figure Table of the Complete Elliptic Integeals <i>K, K′, E, E′</i> , and a Table of 1ϑ32(0|τ)′, 1ϑ32(0|τ′) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Grothendieck's theorem for noncommutative \(C^*\)-algebras, with an appendix on Grothendieck's constants / rank
 
Normal rank
Property / cites work
 
Property / cites work: A proof of the Grothendieck inequality / rank
 
Normal rank

Latest revision as of 16:35, 18 June 2024

scientific article
Language Label Description Also known as
English
A new upper bound for the complex Grothendieck constant
scientific article

    Statements

    A new upper bound for the complex Grothendieck constant (English)
    0 references
    0 references
    1987
    0 references
    In the present work a new estimate for the Grothendieck constant \(K^{{\mathbb{C}}}_ G\) (i.e. the best constant in the Grothendieck inequality) in the complex case is obtained. It is proved that \(K^{{\mathbb{C}}}_ G\leq 8/\pi (k_ 0+1)\) where \(k_ 0\) is the unique solution of the equation \[ \pi (k+1)/8=k\int^{\pi /2}_{0}\frac{\cos^ 2 t}{(1-k^ 2 \sin^ 2 t)^{1/2}}dt=:\phi (k) \] in [0,1], numerically \(K^{{\mathbb{C}}}_ G\leq 1.40491... \). The author's method consists in a subtile extension of Krivine's proof that \(K^{{\mathbb{R}}}_ G\leq \pi /(2 \log (1+\sqrt{2}))\) [\textit{J. L. Krivine}, Adv. Math. 31, 16-30 (1979; Zbl 0413.46054)]. A crucial fact is the formula \({\mathbb{E}}(sign X\cdot sign \bar Y)=\phi (| {\mathbb{E}}(X\bar Y)3/)sign {\mathbb{E}}(X\bar Y)\) for complex valued standard Gaussian variables, which corresponds to \({\mathbb{E}}(sign X sign Y)=(2/\pi)arc \sin {\mathbb{E}}(XY)\) in the real valued case. Major part of the proof is devoted to an estimation of the Taylor coefficients of \(\phi^{-1}\).
    0 references
    0 references
    elliptic integrals
    0 references
    new estimate for the Grothendieck constant
    0 references
    best constant in the Grothendieck inequality
    0 references
    complex case
    0 references
    complex valued standard Gaussian variables
    0 references
    estimation of the Taylor coefficients
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references