Arxiv:1902.02406V2 [Math.FA] 8 Sep 2020 Where Def 1 X Fb(A) = F(Δ)Wa(Δ) ∈ X
Total Page:16
File Type:pdf, Size:1020Kb
POLYNOMIAL INEQUALITIES ON THE HAMMING CUBE ALEXANDROS ESKENAZIS AND PAATA IVANISVILI Abstract. Let (X; k · kX ) be a Banach space. The purpose of this article is to systematically investigate dimension independent properties of vector valued functions f : {−1; 1gn ! X on the Hamming cube whose spectrum is bounded above or below. Our proofs exploit contractivity properties of the heat flow, induced by the geometry of the target space (X; k · kX ), combined with duality arguments and suitable tools from approximation theory and complex analysis. We obtain a series of improvements of various well-studied estimates for functions with bounded spectrum, including moment comparison results for low degree Walsh polynomials and Bernstein{Markov type inequalities, which constitute discrete vector valued analogues of Freud's inequality in Gauss space (1971). Many of these inequalities are new even for scalar valued functions. Furthermore, we provide a short proof of Mendel and Naor's heat smoothing theorem (2014) for functions in tail spaces with values in spaces of nontrivial type and we also prove a dual lower bound on the decay of the heat semigroup acting on functions with spectrum bounded from above. Finally, we improve the reverse Bernstein{Markov inequalities of Meyer (1984) and Mendel and Naor (2014) for functions with narrow enough spectrum and improve the bounds of Filmus, Hatami, Keller and 4 Lifshitz (2016) on the `p sums of influences of bounded functions for p 2 1; 3 . 2010 Mathematics Subject Classification. Primary: 42C10; Secondary: 41A17, 41A63, 46B07. Key words. Hamming cube, heat semigroup, hypercontractivity, Bernstein{Markov inequality, moment comparison. 1. Introduction Fix n 2 N and let (X; k · kX ) be a Banach space. If p 2 [1; 1), the vector valued Lp norm of a function f : {−1; 1gn ! X is defined as 1=p def 1 X p kfk n = kf(")k : (1) Lp({−1;1g ;X) 2n X "∈{−1;1gn def n n As usual, we denote kfkL1({−1;1g ;X) = max"∈{−1;1g kf(")kX . For a subset A ⊆ f1; : : : ; ng the n Q Walsh function wA : {−1; 1g ! {−1; 1g is the Boolean function given by wA(") = i2A "i, where n n " = ("1;:::;"n) 2 {−1; 1g . Every function f : {−1; 1g ! X admits an expansion of the form X f = fb(A)wA; (2) A⊆{1;:::;ng arXiv:1902.02406v2 [math.FA] 8 Sep 2020 where def 1 X fb(A) = f(δ)wA(δ) 2 X: (3) 2n δ∈{−1;1gn For i 2 f1; : : : ; ng the i-th partial derivative of such a function f is given by def f(") − f("1;:::;"i−1; −"i;"i+1;:::;"n) X @if(") = = fb(A)wA(") (4) 2 A⊆{1;:::;ng i2A P. I. was partially supported by NSF DMS-1856486 and NSF CAREER-1945102. This work was carried out under the auspices of the Simons Algorithms and Geometry (A&G) Think Tank. 1 2 and satisfies @i f = @if. Therefore, the hypercube Laplacian of f is defined as n def X X ∆f = @if = jAjfb(A)wA: (5) i=1 A⊆{1;:::;ng −t∆ Finally, the action of the discrete heat semigroup fe gt>0 on the function f is given by −t∆ def X −tjAj 8 t > 0; e f = e fb(A)wA: (6) A⊆{1;:::;ng A straightforward calculation shows that the heat semigroup can equivalently be expressed as 1 X X X X e−t∆f(") = e−tjBj(1 − e−t)n−|Bjf " e + δ e ; (7) 2n j j j j δ∈{−1;1gn B⊆{1:::;ng j2B j2f1;:::;ngrB n where fe1; : : : ; eng is the orthonormal basis of R , which by convexity implies that for every t > 0 −t∆ n n and p 2 [1; 1], ke fkLp({−1;1g ;X) 6 kfkLp({−1;1g ;X). Identity (7) also has a useful probabilistic n n interpretation. For a fixed " 2 {−1; 1g and t > 0, consider a random vector η 2 {−1; 1g such that 1+e−t each coordinate ηi is chosen independently to coincide with "i with probability 2 and with −"i 1−e−t −t∆ with probability 2 . Then, the value e f(") is the expectation of the random vector f(η). The main purpose of this paper is to investigate finer contractivity properties of the heat semi- group under suitable assumptions on the spectrum of the function f and the geometry of the target space (X; k · kX ). The common feature in the proofs of most of the following results is a duality argument inspired by classical work of Figiel (see [MS86, Theorem 14.6]), which allows the self- improvement of contractivity properties of the heat semigroup relying on suitable inequalities from classical approximation theory and complex analysis. All Banach spaces in the ensuing discussion will be assumed to be over the field of complex numbers. In the rest of the introduction, we proceed to describe our results in decreasing order of generality. In Section 1.1, we present estimates for functions with spectrum bounded from above and values in a general Banach space. In Section 1.2, we improve the bounds of Section 1.1 under the additional assumption that the target space (X; k·kX ) is K-convex (we postpone the relevant definitions until Section 1.2). We also present a new proof of a theorem of Mendel and Naor [MN14] related to the heat smoothing conjecture. Finally, in Section 1.3 we present explicit estimates which hold true for scalar valued functions. These include various Bernstein{Markov type inequalities and their reverses, estimates on the influences of bounded functions and moment comparison results. 1.1. Estimates for a general Banach space. Fix n 2 N and let (X; k · kX ) be a Banach space. If d 2 f0; 1 : : : ; ng, we say that a function f : {−1; 1gn ! X has degree at most d if fb(A) = 0 when jAj > d and we say that f belongs in the d-th tail space if fb(A) = 0 when jAj < d. Finally, we say that f is d-homogeneous if fb(A) = 0 when jAj 6= d. 1.1.1. A lower bound on the decay of the heat semigroup. The following theorem establishes a lower bound on the decay of the heat semigroup acting on functions of low degree. Theorem 1. Fix n; d 2 N with d 2 f1; : : : ; ng and let (X; k · kX ) be a Banach space. For every p 2 [1; 1] and every function f : {−1; 1gn ! X of degree at most d, we have −t∆ 1 8 t 0; ke fk n kfk n ; (8) > Lp({−1;1g ;X) > t Lp({−1;1g ;X) Td(e ) where Td is the d-th Chebyshev polynomial of the first kind. 2 We note that a weaker bound in the spirit of Theorem1, attributed partially to Oleszkiewicz, was established in [FHKL16, Lemma 5.4] (see Remark 18 below for a comparison with Theorem1). Using Theorem1 and the hypercontractivity of the discrete heat semigroup (see [Bon70]), we deduce the following moment comparison for functions of low degree. Corollary 2. Fix n; d 2 N with d 2 f1; : : : ; ng and let (X; k · kX ) be a Banach space. For every p > q > 1 and every function f : {−1; 1gn ! X of degree at most d, we have rp − 1 kfk n T kfk n : (9) Lp({−1;1g ;X) 6 d q − 1 Lq({−1;1g ;X) To the extent of our knowledge, the best previously known moment comparison for general vector valued functions of low degree on the discrete cube can be extracted from an argument in the monograph [KW92] of Kwapie´nand Woyczy´nski.In Remark 19 below, we quantify their argument and show that the bounds of [KW92, Proposition 6.5.1] are weaker than those of Corollary2. Another application of Theorem1 is a refinement of a celebrated inequality on the discrete cube due to Pisier [Pis86]. In connection with his work on nonlinear type, Pisier showed that for every n Banach space (X; k · kX ), every p 2 [1; 1] and every function f : {−1; 1g ! X, we have n 1 X 1 X X p 1=p f − f(δ) (log n + 1) δi@if : (10) n n 6 n n 2 Lp({−1;1g ;X) 2 Lp({−1;1g ;X) δ∈{−1;1gn δ∈{−1;1gn i=1 For X = R, the right hand side of (10) is equivalent to the Lp norm of the gradient of f due to Khintchine's inequality [Khi23], thus (10) can be understood as a vector valued Poincar´einequality. The dependence on the dimension n in Pisier's inequality (10) for various classes of spaces X is fundamental in investigations in the nonlinear geometry of Banach spaces and the Ribe program (see [Nao12] for a detailed discussion around this topic). For general Banach spaces, Talagrand [Tal93] has proven that the factor log n in (10) is asymptotically optimal for every p 2 [1; 1), whereas Wagner [Wag00] has shown that when p = 1, Pisier's inequality holds with an absolute constant. Here we show the following refinement of Pisier's inequality for functions of low degree. Theorem 3. Fix n; d 2 N with d 2 f1; : : : ; ng and let (X; k · kX ) be a Banach space. For every p 2 [1; 1) and every function f : {−1; 1gn ! X of degree at most d, we have n 1 X 1 X X p 1=p f − f(δ) 3(log d + 1) δi@if (11) n n 6 n n 2 Lp({−1;1g ;X) 2 Lp({−1;1g ;X) δ∈{−1;1gn δ∈{−1;1gn i=1 and the log d factor is asymptotically sharp for every p 2 [1; 1).