Related papers: On the pointwise implementation of near-actions

We prove that for any Borel probability measure $\mu$ on $\mathbb R^n$ there exists a set $X\subset \mathbb R^n$ of $n+1$ points such that any $n$-variate quadratic polynomial $P$ that is nonnegative on $X$ (i.e. $P(x)\geq 0$, for every $x…

We study a category of probability spaces and measure-preserving Markov kernels up to almost sure equality. This category contains, among its isomorphisms, mod-zero isomorphisms of probability spaces. It also gives an isomorphism between…

In this article, we characterize both Lusin's theorem and the existence of Borel representatives via the regularity properties of the measure in general topological measure spaces. As a corollary, we prove that Borel regularity of the…

A probability measure is a characteristic measure of a topological dynamical system if it is invariant to the automorphism group of the system. We show that zero entropy shifts always admit characteristic measures. We use similar techniques…

We give an explicit description of all finite Borel measures on Noetherian topological spaces X, and characterize them as objects dual to a space of functions on X. We use these results to study the asymptotic behavior of continuous…

In this paper we develop a general framework of badly approximable points in a metric space $X$ equipped with a $\sigma$-finite doubling Borel regular measure $\mu$. We establish that under mild assumptions the $\mu$-measure of the set of…

We prove a.e. convergence of continuous-time quadratic averages with respect to two commuting $\mathbb{R}$-actions, coming from a single jointly measurable measure-preserving $\mathbb{R}^2$-action on a probability space. The key ingredient…

It is shown that for every $k\in \N$ there exists a Borel probability measure $\mu$ on $\{-1,1\}^{\R^{k}}\times \{-1,1\}^{\R^{k}}$ such that for every $m,n\in \N$ and $x_1,..., x_m,y_1,...,y_n\in S^{m+n-1}$ there exist…

We prove that if $G$ is a countable discrete group with property (T) over an infinite subgroup $H<G$ which contains an infinite Abelian subgroup or is normal, then $G$ has continuum many orbit inequivalent measure preserving a.e. free…

We discuss the isomorphism problem for ergodic actions of locally compact groups. In particular we show that the conjugacy relation is not Borel for ergodic measure preserving actions of indicable groups.

These lecture notes focus on a recent result of Mike Hochman: an arbitrary standard Borel system can be embedded into a mixing Markov with equal entropy, respecting all invariant probability measures, with two exceptions: those carried by…

In this paper we establish an attainability result for the minimum time function of a control problem in the space of probability measures endowed with Wasserstein distance. The dynamics is provided by a suitable controlled continuity…

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…

We give a shorter proof of a theorem of G. Elek stating that two hyperfinite measure-preserving actions of a countable group on standard probability spaces are approximately conjugate if and only if they have the same invariant random…

We prove the existence of common fixed points for commuting homeomorphisms of the plane R^2 or the sphere S^2, which preserve a probability measure. For example: some commuting C^1-diffeomorphisms of S^2, which are sufficiently close to the…

We provide a pointwise bipolar theorem for liminf-closed convex sets of positive Borel measurable functions on a sigma-compact metric space without the assumption that the polar is a tight set of measures. As applications we derive a…

In this paper, we show that the Euler characteristic of an even dimensional closed projectively flat manifold is equal to the total measure which is induced from a probability Borel measure on RP^n invariant under the holonomy action, and…

We show that the enveloping space $X_G$ of a partial action of a Polish group $G$ on a Polish space $X$ is a standard Borel space, that is to say, there is a topology $\tau$ on $X_G$ such that $(X_G, \tau)$ is Polish and the quotient Borel…

Borel probability measures living on metric spaces are fundamental mathematical objects. There are several meaningful distance functions that make the collection of the probability measures living on a certain space a metric space. We are…