zbMATH — the first resource for mathematics

The Bohr radius of the \(n\)-dimensional polydisk is equivalent to \(\sqrt{(\log n) / n}\). (English) Zbl 1331.46037
This paper provides at least four striking results: a surprising and far reaching improvement of an inequality due to Ron Blei, the best known constants of the multilinear Bohnenblust–Hille inequality, the subexponentiality of the complex polynomial Bohnenblust-Hille inequality, and the final solution to the famous Bohr radius problem.
For two positive integers \(n,m\), let \[ \mathcal{M}(m,n) =\big\{\mathbf{i}=(i_{1},\dots ,i_{m});\;i_{1},\dots ,i_{m}\in \{1,\dots ,n\}\big\} \] \[ \mathcal{J}(m,n) =\big\{\mathbf{i}\in \mathcal{M}(m,n);\;i_{1}\leq i_{2}\leq \dots \leq i_{m}\big\}. \] For \(1\leq k\leq m\), let \(\mathcal{P}_{k}(m)\) denote the set of subsets of \( \{1,\dots ,m\}\) with cardinality \(k\). For \(S=\{s_{1},\dots ,s_{k}\}\) in \( \mathcal{P}_{k}(m)\), let \(\hat{S}\) denote its complement in \(\{1,\dots ,m\}\), and \(\mathbf{i}_{S}\) denotes \((i_{s_{1}},\dots ,i_{s_{k}})\in \mathcal{M} (k,n)\).
The first main result of the paper is a beautiful and surprising generalization of Blei’s inequality, which is of independent interest. It reads as follows:
Theorem 1. Let \(m,n\geq 1\) and \(1\leq k\leq m\). Then, for all families \((a_{ \mathbf{i}})_{\mathbf{i}\in \mathcal{M}(m,n)}\) of complex numbers, \[ \left( \sum_{\mathbf{i}\in \mathcal{M}(m,n)}|a_{\mathbf{i}}|^{\frac{2m}{m+1} }\right) ^{\frac{m+1}{2m}}\leq \prod_{S\in \mathcal{P}_{k}(m)}\left( \sum_{ \mathbf{i}_{S}}\left( \sum_{\mathbf{i}_{\hat{S}}}|a_{\mathbf{i}}|^{2}\right) ^{\frac{1}{2}\times \frac{2k}{k+1}}\right) ^{\frac{k+1}{2k}\times \frac{1}{ \binom{m}{k}}}. \] The proof uses a very interesting interpolative approach that relies on the mixed Hölder inequality for mixed sums.
Recall that the multilinear Bohnenblust-Hille inequality, proved in [H. F. Bohnenblust and E. Hille, Annals of Math. (2) 32, 600–622 (1931; JFM 57.0266.05)], asserts that, for any \(m\geq 1\), there exists a constant \(C_{m}\geq 1\) such that, for all \(m\)-linear forms \(L:c_{0}\times \dots \times c_{0}\rightarrow \mathbb{K}\), \[ \left( \sum\limits_{i_{1},\ldots ,i_{m}=1}^{\infty }\left| L(e_{i_{^{1}}},\ldots ,e_{i_{m}})\right| ^{\frac{2m}{m+1}}\right) ^{ \frac{m+1}{2m}}\leq C_{m}\left\| L\right\| . \] Estimates for the constants \(C_{m}\) are crucial for applications, even outside pure mathematics, as can be seen in its applications in quantum information theory. The original estimates of \(C_{m}\) due to Bohnenblust and Hille predicted exponential growth, but the authors show that there are constants \(\kappa _{1},\kappa _{2}>0\) such that \[ C_{m}\leq \kappa _{1}m^{\frac{1-\gamma }{2}}<\kappa _{1}m^{0.212} \] for complex scalars and \[ C_{m}\leq \kappa _{2}m^{\frac{2-\log 2-\gamma }{2}}<\kappa _{2}m^{0.365} \] for real scalars.
The third main result of the paper is a generalization of a striking result due to Defant, Frerick, Ortega-Cerdà, Ounaïes and Seip on the constants of the polynomial Bohnenblust-Hille inequality for complex scalars, published in [A. Defant et al., Ann. Math. (2) 174, No. 1, 485–497 (2011; Zbl 1235.32001)]. The important result of Defant \(et\) \(al.\) shows that the constants of the polynomial version of the Bohnenblust-Hille inequality for complex scalars can be taken having exponential growth, and this result is very important for several different applications. Now, in the paper under review, the authors show that these constants can be taken with subexponential growth. More precisely, denoting by \(B_{m}\) these constants, it is shown that, for any \(\varepsilon >0\), there exists \(\kappa >0\) such that, for any \(m\geq 1\), \[ B_{m}\leq \kappa (1+\varepsilon )^{m}. \] Using this result, the authors finish the paper with the solution of the Bohr radius problem. The Bohr radius \(K_{n}\) of the \(n\)-dimensional polydisk is the largest positive number \(r\) such that all polynomials \(\sum_{\alpha }a_{\alpha }z^{\alpha }\) on \(\mathbb{C}^{n}\) satisfy \[ \sup_{z\in r\mathbb{D}^{n}}\sum_{\alpha }|a_{\alpha }z^{\alpha }|\leq \sup_{z\in \mathbb{D}^{n}}\left| \sum_{\alpha }a_{\alpha }z^{\alpha }\right| . \] The Bohr radius \(K_{1}\) was studied and estimated by H. Bohr, and it was shown independently by M. Riesz, I. Schur and F. Wiener that \(K_{1}=1/3\). Since then, many authors have been trying to find the exact asymptotic behavior of the Bohr radius and despite many very important partial results obtained by several mathematicians, the problem was still open. The solution is then given in this paper in the form of the following simple statement: \[ \lim_{n\rightarrow \infty }\frac{K_{n}}{\sqrt{\frac{\log n}{n}}}=1. \]

46G25 (Spaces of) multilinear mappings, polynomials
Full Text: DOI
[1] Albuquerque, N.; Bayart, F.; Pellegrino, D.; Seoane-Sepúlveda, J. B., Sharp generalizations of the multilinear Bohnenblust-Hille inequality, J. Funct. Anal., 266, 6, 3726-3740, (2014) · Zbl 1319.46035
[2] Bayart, F., Hardy spaces of Dirichlet series and their composition operators, Monatsh. Math., 136, 3, 203-236, (2002) · Zbl 1076.46017
[3] Bergh, J.; Löfström, J., Interpolation spaces. an introduction, Grundlehren Math. Wiss., vol. 223, (1976), Springer-Verlag Berlin · Zbl 0344.46071
[4] Blei, R. C., Fractional Cartesian products of sets, Ann. Inst. Fourier (Grenoble), 29, 2, 79-105, (1979), (in English, with French summary) · Zbl 0381.43003
[5] Boas, H. P.; Khavinson, D., Bohr’s power series theorem in several variables, Proc. Amer. Math. Soc., 125, 10, 2975-2979, (1997) · Zbl 0888.32001
[6] Bohnenblust, H. F.; Hille, E., On the absolute convergence of Dirichlet series, Ann. of Math. (2), 32, 3, 600-622, (1931) · JFM 57.0266.05
[7] Campos, J. R.; Jiménez-Rodríguez, P.; Muñoz-Fernández, G. A.; Pellegrino, D.; Seoane-Sepúlveda, J. B., On the real polynomial Bohnenblust-Hille inequality · Zbl 1318.46029
[8] Davie, A. M., Quotient algebras of uniform algebras, J. Lond. Math. Soc. (2), 7, 31-40, (1973) · Zbl 0264.46055
[9] Defant, A.; Frerick, L., A logarithmic lower bound for multi-dimensional Bohr radii, Israel J. Math., 152, 17-28, (2006) · Zbl 1124.32003
[10] Defant, A.; Frerick, L.; Ortega-Cerdà, J.; Ounaïes, M.; Seip, K., The Bohnenblust-Hille inequality for homogeneous polynomials is hypercontractive, Ann. of Math. (2), 174, 1, 485-497, (2011) · Zbl 1235.32001
[11] Defant, A.; Popa, D.; Schwarting, U., Coordinatewise multiple summing operators in Banach spaces, J. Funct. Anal., 259, 1, 220-242, (2010) · Zbl 1205.46026
[12] Defant, A.; Prengel, C., Harald Bohr meets Stefan Banach, (Methods in Banach Space Theory, London Math. Soc. Lecture Note Ser., vol. 337, (2006), Cambridge University Press Cambridge), 317-339 · Zbl 1130.46028
[13] Defant, A.; Sevilla-Peris, P., The Bohnenblust-Hille cycle of ideas: from yesterday to today, Funct. Approx. Comment. Math., 50, 55-127, (2014) · Zbl 1294.30009
[14] Garling, D. J.H., Inequalities: A journey into linear analysis, (2007), Cambridge University Press Cambridge · Zbl 1135.26014
[15] Haagerup, U., The best constants in the Khintchine inequality, Studia Math., 70, 3, 231-283, (1981), (1982) · Zbl 0501.46015
[16] Harris, L. A., Bounds on the derivatives of holomorphic functions of vectors, (Analyse fonctionnelle et applications, Comptes Rendus Colloq. Analyse, Inst. Mat., Univ. Federal Rio de Janeiro, Rio de Janeiro, 1972, (1975), Hermann Paris), 145-163, Actualités Aci. Indust., No. 1367
[17] Kaijser, S., Some results in the metric theory of tensor products, Studia Math., 63, 2, 157-170, (1978) · Zbl 0392.46047
[18] König, H.; Kwapień, S., Best Khintchine type inequalities for sums of independent, rotationally invariant random vectors, Positivity, 5, 2, 115-152, (2001) · Zbl 0998.60018
[19] Montanaro, A., Some applications of hypercontractive inequalities in quantum information theory, J. Math. Phys., 53, 12, (2012) · Zbl 1278.81045
[20] Nuñez-Alarcón, D.; Pellegrino, D.; Seoane-Sepúlveda, J. B., On the Bohnenblust-Hille inequality and a variant of Littlewood’s 4/3 inequality, J. Funct. Anal., 264, 1, 326-336, (2013) · Zbl 1264.46032
[21] Nuñez-Alarcón, D.; Pellegrino, D.; Seoane-Sepúlveda, J. B.; Serrano-Rodríguez, D. M., There exist multilinear Bohnenblust-Hille constants \((C_n)_{n = 1}^\infty\) with \(\lim_{n \rightarrow \infty}(C_{n + 1} - C_n) = 0\), J. Funct. Anal., 264, 2, 429-463, (2013) · Zbl 1264.46033
[22] Queffélec, H., H. Bohr’s vision of ordinary Dirichlet series; old and new results, J. Anal., 3, 43-60, (1995) · Zbl 0881.11068
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.