The Grothendieck constant is strictly smaller than Krivine's bound

Mark Braverman,Konstantin Makarychev,Yury Makarychev,Assaf Naor

DOI: https://doi.org/10.48550/arXiv.1103.6161

2011-08-17

Abstract:We prove that $K_G<\frac{\pi}{2\log(1+\sqrt{2})}$, where $K_G$ is the Grothendieck constant.

Functional Analysis,Data Structures and Algorithms

What problem does this paper attempt to address?

A note about Grothendieck's constant

Jean-Louis Krivine

2023-05-27

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

Functional Analysis
Upper bounds for Grothendieck constants, quantum correlation matrices and CCP functions

Frank Oertel

2023-05-08

Abstract: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 the complex field, we concentrate our search on their smallest upper bound. To this end, we establish a basic framework, built on functions which map correlation matrices to correlation matrices entrywise by means of the Hadamard product, such as the Krivine function in the real case or the Haagerup function in the complex case. By making use of multivariate real and complex Gaussian analysis, higher transcendental functions, integration over spheres and combinatorics of the inversion of Maclaurin series, we provide an approach by which we also recover all famous upper bounds of Grothendieck himself ($K_G^\mathbb{R} \leq \sinh(\pi/2) \approx 2.301$), Krivine ($K_G^\mathbb{R} \leq \frac{\pi}{2 \ln(1 + \sqrt{2})} \approx 1,782$) and Haagerup ($K_G^\mathbb{C} \leq 1.405$, numerically approximated); each of them as a special case. In doing so, we aim to unify the real and complex case as much as possible and apply our results to several concrete examples, including the Walsh-Hadamard transform (''quantum gate'') and the multivariate Gaussian copula - with foundations of quantum theory and quantum information theory in mind. Moreover, we offer a shortening and a simplification of the proof of the strongest estimation until now; namely that $K_G^\mathbb{R} < \frac{\pi}{2 \ln(1 + \sqrt{2})}$. We summarise our key results in form of an algorithmic scheme and shed light on related open problems and topics for future research.

Functional Analysis,Combinatorics,Probability,Quantum Physics
Better bounds on Grothendieck constants of finite orders

Sébastien Designolle,Tamás Vértesi,Sebastian Pokutta

2024-09-06

Abstract:Grothendieck constants $K_G(d)$ bound the advantage of $d$-dimensional strategies over $1$-dimensional ones in a specific optimisation task. They have applications ranging from approximation algorithms to quantum nonlocality. However, apart from $d=2$, their values are unknown. Here, we exploit a recent Frank-Wolfe approach to provide good candidates for lower bounding some of these constants. The complete proof relies on solving difficult binary quadratic optimisation problems. For $d\in\{3,4,5\}$, we construct specific rectangular instances that we can solve to certify better bounds than those previously known; by monotonicity, our lower bounds improve on the state of the art for $d\leqslant9$. For $d\in\{4,7,8\}$, we exploit elegant structures to build highly symmetric instances achieving even greater bounds; however, we can only solve them heuristically. We also recall the standard relation with violations of Bell inequalities and elaborate on it to interpret generalised Grothendieck constants $K_G(d\mapsto2)$ as the advantage of complex quantum mechanics over real quantum mechanics. Motivated by this connection, we also improve the bounds on $K_G(d\mapsto2)$.

Optimization and Control,Quantum Physics
Grothendieck inequalities characterize converses to the polynomial method

Jop Briët,Francisco Escudero Gutiérrez,Sander Gribling

2023-12-30

Abstract:A surprising 'converse to the polynomial method' of Aaronson et al. (CCC'16) shows that any bounded quadratic polynomial can be computed exactly in expectation by a 1-query algorithm up to a universal multiplicative factor related to the famous Grothendieck constant. Here we show that such a result does not generalize to quartic polynomials and 2-query algorithms, even when we allow for additive approximations. We also show that the additive approximation implied by their result is tight for bounded bilinear forms, which gives a new characterization of the Grothendieck constant in terms of 1-query quantum algorithms. Along the way we provide reformulations of the completely bounded norm of a form, and its dual norm.

Quantum Physics,Computational Complexity
Kazhdan constants for Chevalley groups over the integers

Marek Kaluba,Dawid Kielak

2024-11-04

Abstract:We compute lower bounds for Kazhdan constants of Chevalley groups over the integers, endowed with the standard Steinberg generators. For types other than $\mathtt{A}_{n}$, these are the first explicit asymptotically sharp such bounds. The method relies on establishing a new connection between the structure of a root system grading a family of groups and the behaviour of the square of the Laplace operator in the family.

Group Theory,Operator Algebras
Bounds on Kemeny's constant of a graph and the Nordhaus-Gaddum problem

Sooyeong Kim,Neal Madras,Ada Chan,Mark Kempton,Stephen Kirkland,Adam Knudson

2023-09-11

Abstract:We study Nordhaus-Gaddum problems for Kemeny's constant $\mathcal{K}(G)$ of a connected graph $G$. We prove bounds on $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ and the product $\mathcal{K}(G)\mathcal{K}(\overline{G})$ for various families of graphs. In particular, we show that if the maximum degree of a graph $G$ on $n$ vertices is $n-O(1)$ or $n-\Omega(n)$, then $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ is at most $O(n)$.

Combinatorics
A counterexample to the Ross--Yong conjecture for Grothendieck polynomials

Colleen Robichaux

2024-03-22

Abstract:We give a minimal counterexample for a conjecture of Ross and Yong (2015) which proposes a K-Kohnert rule for Grothendieck polynomials. We conjecture a revised version of this rule. We then prove both rules hold in the $321$-avoiding case.

Combinatorics
Some points of view on Grothendieck's inequalities

Erik Christensen

DOI: https://doi.org/10.1016/j.laa.2024.03.016

IF: 1.307

2024-03-30

Linear Algebra and its Applications

Abstract:Haagerup's proof of the non commutative little Groth-endieck inequality raises some questions on the commutative little inequality, and it offers a new result on scalar matrices with non negative entries. The theory of completely bounded maps may be used to show that the commutative Grothendieck inequality follows from the little commutative inequality, and that this passage may be given a geometric form as a relation between a pair of compact convex sets of positive matrices, which, in turn, characterizes the little constant kGC

mathematics, applied
Stringent bounds for the non-zero Bernoulli numbers

Yogesh J. Bagul

2024-04-03

Abstract:We present new several sharper and sharper lower and upper bounds for the non-zero Bernoulli numbers using Euler's formula for the Riemann zeta function. As a particular case, we determine the best possible constants $ \alpha $ and $ \beta $ such that the double inequality $$ \frac{2\cdot (2k)!}{\pi^{2k} (2^{2k}-1)}\frac{3^{2k}}{(3^{2k}-\alpha)} < \vert B_{2k} \vert < \frac{2\cdot (2k)!}{\pi^{2k} (2^{2k}-1)}\frac{3^{2k}}{(3^{2k}-\beta)}, $$ holds for $ k = 1, 2, 3, \cdots.$ Our main results refine the existing bounds of $ \vert B_{2k} \vert $ in the literature.

Mathematics
On the Primorial Counting Function

Christian Axler

DOI: https://doi.org/10.1080/00029890.2024.2309123

2024-02-16

American Mathematical Monthly

Abstract:Let N k denote the k th primorial and let K ( x ) be the primorial counting function, the function that counts the number of primorials not exceeding x . In this note, we examine the sign of the functions K(x)−π( log x) and K(x)−li( log x) and find a new necessary and sufficient criterion for the truth of the Riemann hypothesis.

mathematics
Log concavity of the Grothendieck class of $\overline{\mathcal M}_{0,n}$

Paolo Aluffi,Stephanie Chen,Matilde Marcolli

2024-02-09

Abstract:Using a known recursive formula for the Grothendieck classes of the moduli spaces $\overline{\mathcal M}_{0,n}$, we prove that they satisfy an asymptotic form of ultra-log-concavity as polynomials in the Lefschetz class. We also observe that these polynomials are $\gamma$-positive. Both properties, along with numerical evidence, support the conjecture that these polynomials only have real zeros. This conjecture may be viewed as a particular case of a possible extension of a conjecture of Ferroni-Schröter and Huh on Hilbert series of Chow rings of matroids.

Algebraic Geometry
An explicit lower bound for large gaps between some consecutive primes

Keiju Sono

2024-06-05

Abstract:Let $p_{n}$ denote the $n$th prime and for any fixed positive integer $k$ and $X\geq 2$, put \[ G_{k}(X):=\max _{p _{n+k}\leq X} \min \{ p_{n+1}-p_{n}, \ldots , p_{n+k}-p_{n+k-1} \}. \] Ford, Maynard and Tao proved that there exists an effective absolute constant $c_{LG}>0$ such that \[ G_{k}(X)\geq \frac{c_{LG}}{k^{2}}\frac{\log X \log \log X \log \log \log \log X}{\log \log \log X} \] holds for any sufficiently large $X$. The main purpose of this paper is to determine the constant $c_{LG}$ above. We see that $c_{LG}$ is determined by several factors related to analytic number theory, for example, the ratio of integrals of functions in the multidimensional sieve of Maynard, the distribution of primes in arithmetic progressions to large moduli, and the coefficient of upper bound sieve of Selberg. We prove that the above inequality is valid at least for $c_{LG}\approx 2.0\times 10^{-17}$.

Number Theory
A simple proof of the Grunbaum conjecture

Beata Deregowska,Barbara Lewandowska

DOI: https://doi.org/10.1016/j.jfa.2023.109950

2024-02-28

Abstract:Let $\lambda_\mathbb{K}(m)$ denote the maximal absolute projection constant over the subspaces of dimension $m$. Apart from the trivial case for $ m=1$, the only known value of $\lambda_\mathbb{K}(m)$ is for $ m=2$ and $\mathbb{K}=\mathbb{R}.$ In 1960, B.Grunbaum conjectured that $\lambda_\mathbb{R}(2)=\frac{4}{3}$ and in 2010, B. Chalmers and G. Lewicki proved it. In 2019, G. Basso delivered the alternative proof of this conjecture. Both proofs are quite complicated, and there was a strong belief that providing an exact value for $\lambda_\mathbb{K}(m)$ in other cases will be a tough task. In our paper, we present an upper bound of the value $\lambda_\mathbb{K}(m)$, which becomes an exact value for the numerous cases. The crucial will be combining some results from the articles [B. Bukh, C. Cox, Nearly orthogonal vectors and small antipodal spherical codes, Isr. J. Math. 238, 359-388 (2020)] and [G. Basso, Computation of maximal projection constants, J. Funct. Anal. 277/10 (2019), 3560-3585.], for which simplified proofs will be given.

Functional Analysis
A Combined Logarithmic Bound on the Chromatic Index of a Multigraph

Michael Plantholt

DOI: https://doi.org/10.48550/arXiv.1012.5003

2010-12-23

Abstract:For a multigraph G, the integer round-up phi(G) of the fractional chromatic index yields a good general lower bound for the chromatic index . For an upper bound, Kahn showed that for any real c > 0 there exists a positive integer N so that the chromatic index is less than (1+c)*phi(G) whenever the fractional index > N. We show the amount by which the chromatic index can surpass phi(G) is in fact logarithmic, by showing that for any multigraph G with order n > 3 and at least one edge, the chromatic index is less than phi(G) + log (min {(n+1)/3, phi(G)}) .

Combinatorics
Lower bounds for the weak-type constants of the operators $Λ_m$

Michał Strzelecki

2024-11-14

Abstract:The operators $\Lambda_m$ ($m\in\mathbb{N}\cup \{0\}$) arise when one studies the action of the Beurling-Ahlfors transform on certain radial function subspaces. It is known that the weak-type $(1,1)$ constant of $\Lambda_0$ is equal to $1/\ln(2)\approx 1.44$. We show that the weak-type $(1,1)$ constant of $\Lambda_m$ is larger than $1.34$ for every $m\in \mathbb{N}$ (in particular, it does not tend to $1$ when $m\to\infty$). This disproves a conjecture of Gill [Mich. Math. J. 59 (2010), No. 2, 353-363]. We also prove a companion result for the adjoint operators.

Classical Analysis and ODEs,Functional Analysis
Explicit upper bounds on the average of Euler-Kronecker constants of narrow ray class fields

Neelam Kandhil, Rashi Lunia, Jyothsnaa Sivaraman

DOI: https://doi.org/10.1007/s40993-023-00472-8

2024-02-21

Abstract:For a number field $K$, the Euler-Kronecker constant $\gamma_K$ associated to $K$ is an arithmetic invariant the size and nature of which is linked to some of the deepest questions in number theory. This theme was given impetus by Ihara who obtained bounds, both unconditional as well as under GRH for Dedekind zeta functions. In this note, we study the analogous constants associated to the narrow ray class fields of an imaginary quadratic field. Our goal for studying such families is twofold. First to show that for such families, the conditional bounds obtained by Ihara can be improved on the average, again under GRH for Dedekind zeta functions. Further, our family of number fields are non-abelian while such average bounds have earlier been studied for cyclotomic fields. The technical part of our work is to make the dependence of these upper bounds on the ambient number field explicit. Such explicit dependence is essential to further our objective.

Number Theory
The thickness of the Kronecker product of graphs

Xia Guo,Yan Yang

DOI: https://doi.org/10.48550/arXiv.1901.08052

2019-01-23

Abstract:The thickness of a graph $G$ is the minimum number of planar subgraphs whose union is $G$. In this paper, we present sharp lower and upper bounds for the thickness of the Kronecker product $G\times H$ of two graphs $G$ and $H$. We also give the exact thickness numbers for the Kronecker product graphs $K_n\times K_2$, $K_{m,n}\times K_2$ and $K_{n,n,n}\times K_2$.

Combinatorics
Completing the proof of the Liebeck--Nikolov--Shalev conjecture

Noam Lifshitz

2024-09-26

Abstract:Liebeck, Nikolov, and Shalev conjectured the existence of an absolute constant $C>0$, such that for every subset $A$ of a finite simple group $G$ with $|A|\ge 2$, there exists $C\log|G|/\log|A|$ conjugates of $A$ whose product is $G$. This paper is a companion to \cite{GLPS}, and together they prove the conjecture. To prove the conjecture, we establish the following skew-product theorem. We show that there exists $ c > 0 $ such that for all $ \epsilon > 0 $ and subsets $ A, B \subseteq G $ of finite simple groups of Lie type, if $ |B| < |G|^{1 - \epsilon} $, then $ |A^{\sigma} B| > |B||A|^{c \epsilon} $ for some $ \sigma \in G $. This result, along with its more involved analogue for alternating groups, constitutes the main contribution of this paper. Our proof leverages deep results from character theory alongside the probabilistic method.

Group Theory,Combinatorics
A lower bound on high moments of character sums

Barnabás Szabó

2024-09-20

Abstract:For any real $k\geq 2$ and large prime $q$, we prove a lower bound on the $2k$-th moment of the Dirichlet character sum \begin{equation*} \frac{1}{\phi(q)} \sum_{\substack{\chi \text{ mod }q\\ \chi\neq \chi_0}} \Big| \sum_{n\leq x} \chi(n)\Big|^{2k}, \end{equation*} where $1\leq x\leq q$, and $\chi$ is summed over the set of non-trivial Dirichlet characters mod $q$. Our bound is known to be optimal up to a constant factor under the Generalised Riemann Hypothesis. We also get a sharp lower bound on moments of theta functions using the same method.

Number Theory
On Littlewood's estimate for the modulus of the zeta function on the critical line

Emanuel Carneiro,Micah B. Milinovich

2024-03-26

Abstract:Inspired by a result of Soundararajan, assuming the Riemann hypothesis (RH), we prove a new inequality for the logarithm of the modulus of the Riemann zeta-function on the critical line in terms of a Dirichlet polynomial over primes and prime powers. Our proof uses the Guinand-Weil explicit formula in conjunction with extremal one-sided bandlimited approximations for the Poisson kernel. As an application, by carefully estimating the Dirichlet polynomial, we revisit a 100-year-old estimate of Littlewood and give a slight refinement of the sharpest known upper bound (due to Chandee and Soundararajan) for the modulus of the zeta function on the critical line assuming RH, by providing explicit lower-order terms.

Number Theory,Classical Analysis and ODEs

The Grothendieck constant is strictly smaller than Krivine's bound

A note about Grothendieck's constant

Upper bounds for Grothendieck constants, quantum correlation matrices and CCP functions

Better bounds on Grothendieck constants of finite orders

Grothendieck inequalities characterize converses to the polynomial method

Kazhdan constants for Chevalley groups over the integers

Bounds on Kemeny's constant of a graph and the Nordhaus-Gaddum problem

A counterexample to the Ross--Yong conjecture for Grothendieck polynomials

Some points of view on Grothendieck's inequalities

Stringent bounds for the non-zero Bernoulli numbers

On the Primorial Counting Function

Log concavity of the Grothendieck class of $\overline{\mathcal M}_{0,n}$

An explicit lower bound for large gaps between some consecutive primes

A simple proof of the Grunbaum conjecture

A Combined Logarithmic Bound on the Chromatic Index of a Multigraph

Lower bounds for the weak-type constants of the operators $Λ_m$

Explicit upper bounds on the average of Euler-Kronecker constants of narrow ray class fields

The thickness of the Kronecker product of graphs

Completing the proof of the Liebeck--Nikolov--Shalev conjecture

A lower bound on high moments of character sums

On Littlewood's estimate for the modulus of the zeta function on the critical line