We show that properties of pairs of finite, positive, and regular Borel measures on the complex unit circle such as domination, absolute continuity, and singularity can be completely described in terms of containment and intersection of their reproducing kernel Hilbert spaces of “Cauchy transforms” in the complex unit disk. This leads to a new construction of the classical Lebesgue decomposition and proof of the Radon–Nikodym theorem using reproducing kernel theory and functional analysis.

We show that, under finitely many ergodicity assumptions, any multicorrelation sequence defined by invertible measure-preserving $\mathbb {Z}^d$-actions with multivariable integer polynomial iterates is the sum of a nilsequence and a nullsequence, extending a recent result of the second author. To this end, we develop a new seminorm bound estimate for multiple averages by improving the results in a previous work of the first, third, and fourth authors. We also use this approach to obtain new criteria for joint ergodicity of multiple averages with multivariable polynomial iterates on ${\mathbb Z}^{d}$-systems.

A subset X of a Polish group G is Haar null if there exists a Borel probability measure μ and a Borel set B containing X such that μ(gBh) = 0 for every g, h ∈ G. A set X is Haar meager if there exists a compact metric space K, a continuous function f : K → G and a Borel set B containing X such that f−1(gBh) is meager in K for every g, h ∈ G. We calculate (in ZFC) the four cardinal invariants (add, cov, non, cof) of these two σ-ideals for the simplest non-locally compact Polish group, namely in the case $G = \mathbb {Z}^\omega$. In fact, most results work for separable Banach spaces as well, and many results work for Polish groups admitting a two-sided invariant metric. This answers a question of the first named author and Vidnyánszky.

In this paper, we consider a notion of nonmeasurablity with respect to Marczewski and Marczewski-like tree ideals $s_0$ , $m_0$ , $l_0$ , $cl_0$ , $h_0,$ and $ch_0$ . We show that there exists a subset of the Baire space $\omega ^\omega ,$ which is s-, l-, and m-nonmeasurable that forms a dominating m.e.d. family. We investigate a notion of ${\mathbb {T}}$ -Bernstein sets—sets which intersect but do not contain any body of any tree from a given family of trees ${\mathbb {T}}$ . We also obtain a result on ${\mathcal {I}}$ -Luzin sets, namely, we prove that if ${\mathfrak {c}}$ is a regular cardinal, then the algebraic sum (considered on the real line ${\mathbb {R}}$ ) of a generalized Luzin set and a generalized Sierpiński set belongs to $s_0, m_0$ , $l_0,$ and $cl_0$ .

For any measure-preserving system $(X,{\mathcal{B}},\unicode[STIX]{x1D707},T_{1},\ldots ,T_{d})$ with no commutativity assumptions on the transformations $T_{i},$$1\leq i\leq d,$ we study the pointwise convergence of multiple ergodic averages with iterates of different growth coming from a large class of sublinear functions. This class properly contains important subclasses of Hardy field functions of order zero and of Fejér functions, i.e., tempered functions of order zero. We show that the convergence of the single average, via an invariant property, implies the convergence of the multiple one. We also provide examples of sublinear functions which are, in general, bad for convergence on arbitrary systems, but good for uniquely ergodic systems. The case where the fastest function is linear is addressed as well, and we provide, in all the cases, an explicit formula of the limit function.

A geometric version of the Vitali integral convergence theorem is established. Parameterized versions of results on uniform absolute continuity in spaces of measures suggested by the convergence theorem are studied.

In the first part of this article we recall the definition and a few basic properties of convex functionals defined on a space of bounded measures. In the second part we show several results of approximation of the following type: Although a measure μ cannot be approximated in the sense of the norm by smooth functions, we can find an appropriate sequence of smooth functions which converge weakly to the measure μ, the corresponding value of the functional converging to the value of the functional at μ.

This article is part of a series on the existence theory of solution of variational problems of mechanics (perfect plasticity), which is based on a systematic utilization of the methods of convex analysis and the calculus of variations.