Approximation of polynomials from Walsh tail spaces
We derive various bounds for the $L_p$ distance of polynomials on the hypercube from Walsh tail spaces, extending some of Oleszkiewicz's results (2017) for Rademacher sums.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Alexandros Eskenazis contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We derive various bounds for the $L_p$ distance of polynomials on the hypercube from Walsh tail spaces, extending some of Oleszkiewicz's results (2017) for Rademacher sums.
Fix $p\in[1,\infty)$, $K\in(0,\infty)$ and a probability measure $μ$. We prove that for every $n\in\mathbb{N}$, $\varepsilon\in(0,1)$ and $x_1,\ldots,x_n\in L_p(μ)$ with $\big\| \max_{i\in\{1,\ldots,n\}} |x_i| \big\|_{L_p(μ)} \leq K$, there exists $d\leq \frac{32e^2 (2K)^{2p}\log n}{\varepsilon^2}$ and vectors $y_1,\ldots, y_n \in \ell_p^d$ such that $$\forall \ i,j\in\{1,\ldots,n\}, \qquad \|x_i-x_j\|^p_{L_p(μ)}- \varepsilon \leq \|y_i-y_j\|_{\ell_p^d}^p \leq \|x_i-x_j\|^p_{L_p(μ)}+\varepsilon.$$ Moreover, the argument implies the existence of a greedy algorithm which outputs $\{y_i\}_{i=1}^n$ after receiving $\{x_i\}_{i=1}^n$ as input. The proof relies on a derandomized version of Maurey's empirical method (1981) combined with a combinatorial idea of Ball (1990) and classical factorization theory of $L_p(μ)$ spaces. Motivated by the above embedding, we introduce the notion of $\varepsilon$-isometric dimension reduction of the unit ball ${\bf B}_E$ of a normed space $(E,\|\cdot\|_E)$ and we prove that ${\bf B}_{\ell_p}$ does not admit $\varepsilon$-isometric dimension reduction by linear operators for any value of $p\neq2$.
We survey various aspects of the theory of nonlinear spectral gaps. In particular, we present a self-contained proof of Naor's average John theorem.
We prove that every bounded function $f:\{-1,1\}^n\to[-1,1]$ of degree at most $d$ can be learned with $L_2$-accuracy $\varepsilon$ and confidence $1-δ$ from $\log(\tfrac{n}δ)\,\varepsilon^{-d-1} C^{d^{3/2}\sqrt{\log d}}$ random queries, where $C>1$ is a universal finite constant.
We study the mixing time of the $(n,k)$ Bernoulli--Laplace urn model, where $k\in\{0,1,\ldots,n\}$. Consider two urns, each containing $n$ balls, so that when combined they have precisely $n$ red balls and $n$ white balls. At each step of the process choose uniformly at random $k$ balls from the left urn and $k$ balls from the right urn and switch them simultaneously. We show that if $k=o(n)$, this Markov chain exhibits mixing time cutoff at $\frac{n}{4k}\log n$ and window of the order $\frac{n}{k}\log\log n$. This is an extension of a classical theorem of Diaconis and Shahshahani who treated the case $k=1$.
We obtain the following dimension independent Bernstein-Markov inequality in Gauss space: for each $1\leq p<\infty$ there exists a constant $C_p>0$ such that for any $k\geq 1$ and all polynomials $P$ on $\mathbb{R}^{k}$ we have $$ \| \nabla P\|_{L^{p}(\mathbb{R}^{k}, \mathrm{d}γ_k)} \leq C_p (\mathrm{deg}\, P)^{\frac{1}{2}+\frac{1}π\arctan\left(\frac{|p-2|}{2\sqrt{p-1}}\right)}\|P\|_{L^{p}(\mathbb{R}^{k}, \mathrm{d}γ_k)}, $$ where $\mathrm{d}γ_k$ is the standard Gaussian measure on $\mathbb{R}^{k}$. We also show that under some mild growth assumptions on any function $B \in C^{2}((0,\infty))\cap C([0,\infty))$ with $B', B''>0$ we have $$ \int_{\mathbb{R}^{k}} B\left( |LP(x)|\right) \mathrm{d}γ_k(x) \leq \int_{\mathbb{R}^{k}} B\left( 10 (\mathrm{deg}P)^{α_{B}}|P(x)|\right)\mathrm{d}γ_k(x) $$ where $L=Δ-x\cdot \nabla $ is the generator of the Ornstein-Uhlenbeck semigroup and $$ α_{B} =1+\frac{2}π \arctan\left(\frac{1}{2}\sqrt{\sup_{s \in (0,\infty)}\left\{\frac{sB''(s)}{B'(s)}+\frac{B'(s)}{sB''(s)}\right\}-2}\right). $$
We prove an extension of Pisier's inequality (1986) with a dimension independent constant for vector valued functions whose target spaces satisfy a relaxation of the UMD property.
Let $(X,\|\cdot\|_X)$ be a Banach space. The purpose of this article is to systematically investigate dimension independent properties of vector valued functions $f:\{-1,1\}^n\to 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,\|\cdot\|_X)$, 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 on 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 Lifshitz (2016) on the $\ell_p$ sums of influences of bounded functions for $p\in\big(1,\frac{4}{3}\big)$.
Let $γ_n$ be the standard Gaussian measure on $\mathbb{R}^n$. We prove that for every symmetric convex sets $K,L$ in $\mathbb{R}^n$ and every $λ\in(0,1)$, $$γ_n(λK+(1-λ)L)^{\frac{1}{n}} \geq λγ_n(K)^{\frac{1}{n}}+(1-λ)γ_n(L)^{\frac{1}{n}},$$ thus settling a problem raised by Gardner and Zvavitch (2010). This is the Gaussian analogue of the classical Brunn-Minkowski inequality for the Lebesgue measure. We also show that, for a fixed $λ\in(0,1)$, equality is attained if and only if $K=L$.