相关论文: The Grothendieck constant is strictly smaller than…

A remark on the proof that the Grothendieck constant satisfies $K_G < \pi/(2\ln(1+\sqrt{2}))$.

We show that Grothendieck's real constant $K_{G}$ satisfies $K_G\geq c+10^{-26}$, improving on the lower bound of $c=1.676956674215576\ldots$ of Davie and Reeds from 1984 and 1991, respectively.

The Grothendieck constant $K_{G}$ is a fundamental quantity in functional analysis, with important connections to quantum information, combinatorial optimization, and the geometry of Banach spaces. Despite decades of study, the value of…

Within the framework of the search for the still unknown exact value of the real and complex Grothendieck constant $K_G^\mathbb{F}$ in the famous Grothendieck inequality (unsolved since 1953), where $\mathbb{F}$ denotes either the real or…

We show that two important quantities from two disparate areas of complexity theory --- Strassen's exponent of matrix multiplication $\omega$ and Grothendieck's constant $K_G$ --- are intimately related. They are different measures of size…

In this paper, we prove that $K_G(3)<K_G(4)$, where $K_G(d)$ denotes the Grothendieck constant of order $d$. To this end, we use a branch-and-bound algorithm commonly used in the solution of NP-hard problems. It has recently been proven…

Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\frac{\pi}{3\,C(\Lambda_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant…

We present an elementary, self-contained proof of Grothendieck's inequality that unifies the real and complex cases and yields both the Krivine and Haagerup bounds, the current best-known explicit bounds for the real and complex…

Given a graph $G=([n],E)$ and $w\in\R^E$, consider the integer program ${\max}_{x\in \{\pm 1\}^n} \sum_{ij \in E} w_{ij}x_ix_j$ and its canonical semidefinite programming relaxation ${\max} \sum_{ij \in E} w_{ij}v_i^Tv_j$, where the maximum…

The Erd\H{o}s-Ginzburg-Ziv constant of an abelian group $G$, denoted $\mathfrak{s}(G)$, is the smallest $k\in\mathbb{N}$ such that any sequence of elements of $G$ of length $k$ contains a zero-sum subsequence of length $\exp(G)$. In this…

For $n\in \mathbb{N}$ let $S_n$ be the smallest number $S>0$ satisfying the inequality $$ \int_K f \le S \cdot |K|^{\frac 1n} \cdot \max_{\xi\in S^{n-1}} \int_{K\cap \xi^\bot} f $$ for all centrally-symmetric convex bodies $K$ in…

We improve the constant $\frac{\pi}{2}$ in $L^1$-Poincar\'e inequality on Hamming cube. For Gaussian space the sharp constant in $L^1$ inequality is known, and it is $\sqrt{\frac{\pi}{2}}$. For Hamming cube the sharp constant is not known,…

As part of the search for the value of the smallest upper bound of the best constant for the famous Grothendieck inequality, the so-called Grothendieck constant (a hard open problem - unsolved since 1953), we provide a further approach,…

For a finite abelian group $G$, the generalized Erd\H{o}s--Ginzburg--Ziv constant $\mathsf s_{k}(G)$ is the smallest $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. If $n =…

If $G$ is a finite Abelian group, define $s_{k}(G)$ to be the minimal $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. Recently Bitz et al. proved that if $n = exp(G)$, then…

Let $k$ and $n$ be positive integers, $n>k$. Define $r(n,k)$ to be the minimum positive value of $$ |\sqrt{a_1} + ... + \sqrt{a_k} - \sqrt{b_1} - >... -\sqrt{b_k} | $$ where $ a_1, a_2, ..., a_k, b_1, b_2, ..., b_k $ are positive integers…

This appendix to the beautiful paper of Ihara puts it in the context of infinite global fields of our papers. We study the behaviour of Euler--Kronecker constant $\gamma\_{K}$ when the discriminant (respectively, the genus) tends to…

We explore the optimality of the constants making valid the recently established Little Grothendieck inequality for JB$^*$-triples and JB$^*$-algebras. In our main result we prove that for each bounded linear operator $T$ from a…

Let $K$ be a number field, and $g \geq 2$ a positive integer. We define $c_K(g)$ as the smallest integer $n$ such that there exist infinitely many $\overline{K}$-isomorphism classes of genus $g$ hyperelliptic curves $C/K$ with all…

In this paper, we obtain the best possible value of the absolute constant $C$ such that for every isotropic convex body $K \subseteq \mathbb{R}^n$ the following inequality (which was proved by Klartag and reduces the hyperplane conjecture…