The Steinhaus property and Haar-null sets

It is shown that if $G$ is an uncountable Polish group and $A\subseteq G$ is a universally measurable set such that $A^{-1}A$ is meager, then the set $T_l(A)=\{\mu\in P(G): \mu(gA)=0 \text{for all} g\in G\}$ is co-meager. In particular, if $A$ is analytic and not left Haar-null, then $1\in\mathrm{Int}(A^{-1}AA^{-1}A)$.Comment: 9 pages, no figure

A strong boundedness result for separable Rosenthal compacta

It is proved that the class of separable Rosenthal compacta on the Cantor set having a uniformly bounded dense sequence of continuous functions, is strongly bounded.Comment: 13 pages, no figure

On classes of Banach spaces admitting "small" universal spaces

We characterize those classes \ccc of separable Banach spaces admitting a separable universal space $Y$ (that is, a space $Y$ containing, up to isomorphism, all members of \ccc) which is not universal for all separable Banach spaces. The characterization is a byproduct of the fact, proved in the paper, that the class $\mathrm{NU}$ of non-universal separable Banach spaces is strongly bounded. This settles in the affirmative the main conjecture form \cite{AD}. Our approach is based, among others, on a construction of \llll_\infty-spaces, due to J. Bourgain and G. Pisier. As a consequence we show that there exists a family $\{Y_\xi:\xi<\omega_1\}$ of separable, non-universal, \llll_\infty-spaces which uniformly exhausts all separable Banach spaces. A number of other natural classes of separable Banach spaces are shown to be strongly bounded as well.Comment: 26 pages, no figures. Transactions of AMS (to appear

Uniformity norms, their weaker versions, and applications

We show that, under some mild hypotheses, the Gowers uniformity norms (both in the additive and in the hypergraph setting) are essentially equivalent to certain weaker norms which are easier to understand. We present two applications of this equivalence: a variant of the Koopman--von Neumann decomposition, and a proof of the relative inverse theorem for the Gowers $U^s[N]$-norm using a norm-type pseudorandomness condition

Quotients of Banach spaces and surjectively universal spaces

We characterize those classes $\mathcal{C}$ of separable Banach spaces for which there exists a separable Banach space $Y$ not containing $\ell_1$ and such that every space in the class $\mathcal{C}$ is a quotient of $Y$.Comment: 23 pages, no figure

LpL_p regular sparse hypergraphs

We study sparse hypergraphs which satisfy a mild pseudorandomness condition known as $L_p$ regularity. We prove appropriate regularity and counting lemmas, and we extend the relative removal lemma of Tao in this setting. This answers a question of Borgs, Chayes, Cohn and Zhao

Measurable events indexed by trees

A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\geq 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We study the behavior of measurable events in probability spaces indexed by homogeneous trees. Precisely, we show that for every integer $b\geq 2$ and every integer $n\geq 1$ there exists an integer $q(b,n)$ with the following property. If $T$ is a homogeneous tree with branching number $b$ and $\{A_t:t\in T\}$ is a family of measurable events in a probability space $(\Omega,\Sigma,\mu)$ satisfying $\mu(A_t)\geq\epsilon>0$ for every $t\in T$, then for every $0<\theta<\epsilon$ there exists a strong subtree $S$ of $T$ of infinite height such that for every non-empty finite subset $F$ of $S$ of cardinality $n$ we have \mu\Big(\bigcap_{t\in F} A_t\Big) \meg \theta^{q(b,n)}. In fact, we can take $q(b,n)= \big((2^b-1)^{2n-1}-1\big)\cdot(2^b-2)^{-1}$. A finite version of this result is also obtained.Comment: 37 page