arXiv subjects
Publications and source records attributed to Krzysztof Oleszkiewicz.
We derive optimal dimension independent constants in the classical Khintchine inequality between the $p$th and fourth moment for $p\ge 4$. As an application we deduce stability estimates for the Khintchine inequality between the $p$th and second moment for $p \geq 4$.
Motivated by a recent paper of Kevin Tanguy, in which the concept of second order influences on the discrete cube and Gauss space has been investigated in detail, the present note studies it in a more specific context of Boolean functions on the discrete cube. Some bounds which Tanguy obtained as applications of his more general approach are extended and complemented.
We derive various sharp bounds on moments of the distance between two independent random vectors taking values in a Banach space.
We study 2d vortex sheets with unbounded support. First we show a version of the Biot- Savart law related to a class of objects including such vortex sheets. Next, we give a formula associating the kinetic energy of a very general class of ows with certain moments of their vorticities. It allows us to identify a class of vortex sheets of unbounded support being only ?-finite measures (in particluar including measures ωsuch that ω(R2) = \infty), but with locally finite kinetic energy. One of such examples are celebrated Kaden approximations. We study them in details. In particular our estimates allow us to show that the kinetic energy of Kaden approximations in the neighbourhood of an origin is dissipated, actually we show that the energy is pushed out of any ball centered in the origin of the Kaden spiral. The latter result can be interpreted as an artificial viscosity in the center of a spiral.
We study contraction under a Markov semi-group and influence bounds for functions in $L^2$ tail spaces, i.e. functions all of whose low level Fourier coefficients vanish. It is natural to expect that certain analytic inequalities are stronger for such functions than for general functions in $L^2$. In the positive direction we prove an $L^{p}$ Poincaré inequality and moment decay estimates for mean $0$ functions and for all $1<p<\infty$, proving the degree one case of a conjecture of Mendel and Naor as well as the general degree case of the conjecture when restricted to Boolean functions. In the negative direction, we answer negatively two questions of Hatami and Kalai concerning extensions of the Kahn-Kalai-Linial and Harper Theorems to tail spaces. That is, we construct a function $f\colon\{-1,1\}^{n}\to\{-1,1\}$ whose Fourier coefficients vanish up to level $c \log n$, with all influences bounded by $C \log n/n$ for some constants $0<c,C< \infty$. We also construct a function $f\colon\{-1,1\}^{n}\to\{0,1\}$ with nonzero mean whose remaining Fourier coefficients vanish up to level $c' \log n$, with the sum of the influences bounded by $C'(\mathbb{E}f)\log(1/\mathbb{E}f)$ for some constants $0<c',C'<\infty$.
We study the notion of reverse hypercontractivity. We show that reverse hypercontractive inequalities are implied by standard hypercontractive inequalities as well as by the modified log-Sobolev inequality. Our proof is based on a new comparison lemma for Dirichlet forms and an extension of the Strook-Varapolos inequality. A consequence of our analysis is that {\em all} simple operators $L=Id-\E$ as well as their tensors satisfy uniform reverse hypercontractive inequalities. That is, for all $q<p<1$ and every positive valued function $f$ for $t \geq \log \frac{1-q}{1-p}$ we have $\| e^{-tL}f\|_{q} \geq \| f\|_{p}$. This should be contrasted with the case of hypercontractive inequalities for simple operators where $t$ is known to depend not only on $p$ and $q$ but also on the underlying space. The new reverse hypercontractive inequalities established here imply new mixing and isoperimetric results for short random walks in product spaces, for certain card-shufflings, for Glauber dynamics in high-temperatures spin systems as well as for queueing processes. The inequalities further imply a quantitative Arrow impossibility theorem for general product distributions and inverse polynomial bounds in the number of players for the non-interactive correlation distillation problem with $m$-sided dice.
Let $p\geq 1$, $\eps >0$, $r\geq (1+\eps) p$, and $X$ be a $(-1/r)$-concave random vector in $\R^n$ with Euclidean norm $|X|$. We prove that $(\E |X|^{p})^{1/{p}}\leq c (C(\eps) \E|X|+σ_{p}(X))$, where $σ_{p}(X)=\sup_{|z|\leq 1}(\E| |^{p})^{1/p}$, $C(\eps)$ depends only on $\eps$ and $c$ is a universal constant. Moreover, if in addition $X$ is centered then $(\E |X|^{-p})^{-1/{p}}\geq c(\eps) (\E|X| - C σ_{p}(X))$.
We give a short proof of a result of G. Paouris on the tail behaviour of the Euclidean norm $|X|$ of an isotropic log-concave random vector $X\in\R^n$, stating that for every $t\geq 1$, $P(|X|\geq ct\sqrt n)\leq \exp(-t\sqrt n)$. More precisely we show that for any log-concave random vector $X$ and any $p\geq 1$, $(E|X|^p)^{1/p}\sim E |X|+\sup_{z\in S^{n-1}}(E |< z,X>|^p)^{1/p}$.
We prove Orlicz-space versions of Hardy and Landau-Kolmogorov inequalities for Gaussian measures on the n-dimensional Euclidean space.
We study properties of the signature function of the torus knot $T_{p,q}$. First we provide a very elementary proof of the formula for the integral of the signatures over the circle. We obtain also a closed formula for the Tristram--Levine signature of a torus knot in terms of Dedekind sums.
In this paper we study functions with low influences on product probability spaces. The analysis of boolean functions with low influences has become a central problem in discrete Fourier analysis. It is motivated by fundamental questions arising from the construction of probabilistically checkable proofs in theoretical computer science and from problems in the theory of social choice in economics. We prove an invariance principle for multilinear polynomials with low influences and bounded degree; it shows that under mild conditions the distribution of such polynomials is essentially invariant for all product spaces. Ours is one of the very few known non-linear invariance principles. It has the advantage that its proof is simple and that the error bounds are explicit. We also show that the assumption of bounded degree can be eliminated if the polynomials are slightly ``smoothed''; this extension is essential for our applications to ``noise stability''-type problems. In particular, as applications of the invariance principle we prove two conjectures: the ``Majority Is Stablest'' conjecture from theoretical computer science, which was the original motivation for this work, and the ``It Ain't Over Till It's Over'' conjecture from social choice theory.
A certain inequality conjectured by Vershynin is studied. It is proved that for any $n$-dimensional symmetric convex body $K$ with inradius $w$ and $γ_{n}(K) \leq 1/2$ there is $γ_{n}(sK) \leq (2s)^{w^{2}/4}γ_{n}(K)$ for any $s \in [0,1]$. Some natural corollaries are deduced. Another conjecture of Vershynin is proved to be false.
We consider whether L = limsup_{n to infty} n ||T^{n+1}-T^n|| < infty implies that the operator T is power bounded. We show that this is so if L<1/e, but it does not necessarily hold if L=1/e. As part of our methods, we improve a result of Esterle, showing that if sigma(T) = {1} and T != I, then liminf_{n to infty} n ||T^{n+1}-T^n|| >= 1/e. The constant 1/e is sharp. Finally we describe a way to create many generalizations of Esterle's result, and also give many conditions on an operator which imply that its norm is equal to its spectral radius.
We study unconditional subsequences of the canonical basis e_rc of elementary matrices in the Schatten class S^p. They form the matrix counterpart to Rudin's Lambda(p) sets of integers in Fourier analysis. In the case of p an even integer, we find a sufficient condition in terms of trails on a bipartite graph. We also establish an optimal density condition and present a random construction of bipartite graphs. As a byproduct, we get a new proof for a theorem of Erdos on circuits in graphs.
We establish a family of functional inequalities interpolating between the classical logarithmic Sobolev and Poincaré inequalities. We prove that they imply the concentration of measure phenomenon intermediate between Gaussian and exponential. Our bounds are close to optimal.