Related papers: Haar null sets and the consistent reflection of no…

A Polish group $G$ is called a group of quasi-invariance or a QI-group, if there exist a locally compact group $X$ and a probability measure $\mu$ on $X$ such that 1) there exists a continuous monomorphism of $G$ to $X$, and 2) for each…

In this paper we investigate the following questions. Let $\mu, \nu$ be two regular Borel measures of finite total variation. When do we have a constant $C$ satisfying $$\int f d\nu \le C \int f d\mu$$ whenever $f$ is a continuous…

Let $G$ be a locally compact abelian group with Haar measure $\mu$. For integers $n \geq 2$ and $H \geq 2$ and for any $n$-tuples $\mathbf{u}_1,\ldots, \mathbf{u}_H \in \mathbf{N}^n$, there exist measurable subsets $A_1,\ldots, A_n$ of $G$…

We study the descriptive complexity of sets of points defined by placing restrictions on statistical behaviour of their orbits in dynamical systems on Polish spaces. A particular examples of such sets are the set of generic points of a…

Let G be a noncompact connected Lie group and $\rho$ be the right Haar measure of G. Let $X_1,...,X_q$ be a family of left invariant vector fields which satisfy H\"ormander's condition, and let $\Delta=-\sum_{i=1}^qX_i^2$ be the…

The purpose of this paper is to define for every Polish space $X$ a class of sets, the $EBP(X)$-sets or the extended Baire property sets, to work out many properties of the $EBP(X)$-sets and to show their usefulness in analysis. For…

Given a locally compact group bundle, we show that the system of the Plancherel weights of their C*-algebras is lower semi-continuous. As a corollary, we obtain that the dual Haar sytem of a continuous Haar system of a locally compact…

We show that some set-theoretic assumptions (for example Martin's Axiom) imply that there is no translation invariant Borel hull operation on the family of Lebesgue null sets and on the family of meager sets in (in R^n). We also prove that…

Let $R$ be a group and let $S$ be a subset of $R$. The Haar graph $\mathrm{Haar}(R,S)$ of $R$ with connection set $S$ is the graph having vertex set $R\times\{-1,1\}$, where two distinct vertices $(x,-1)$ and $(y,1)$ are declared to be…

We prove universal lower bounds for discrepancies (i.e. sizes of spectral gaps of averaging operators) of measure-preserving actions of a locally compact group on probability spaces. For example, a locally compact Hausdorff unimodular group…

Gruenhage asked if it was possible to cover the real line by less than continuum many translates of a compact nullset. Under the Continuum Hypothesis the answer is obviously negative. Elekes and Stepr\=ans gave an affirmative answer by…

We study Polish spaces for which a set of possible distances $A \subseteq \mathbb{R}^+$ is fixed in advance. We determine, depending on the properties of $A$, the complexity of the collection of all Polish metric spaces with distances in…

We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the $\sigma$-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis.

Let $G$ be a discrete abelian group. F{\o}lner showed that if $A \subseteq G$ has positive upper Banach density, then $A - A$ contains an almost Bohr set -- a set of the form $B \setminus E$ where $B$ is a Bohr set and $E$ has zero Banach…

The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the…

A Borel probability measure \( \mu \) with compact support on \( \mathbb{R}^n \) is called spectral measure if there exists a discrete set \( \Lambda \subset \mathbb{R}^n \) such that \( E_\Lambda := \{e^{2\pi i \langle \lambda, x \rangle}:…

Let $g(z)=\int_0^zp(t)\exp(q(t))\,dt+c$ where $p,q$ are polynomials and $c\in\mathbb{C}$, and let $f$ be the function from Newton's method for $g$. We show that under suitable assumptions the Julia set of $f$ has Lebesgue measure zero.…

Suppose $\Lambda$ is a discrete infinite set of nonnegative real numbers. We say that $ {\Lambda}$ is of type 1 if the series $s(x)=\sum_{\lambda\in\Lambda}f(x+\lambda)$ satisfies a zero-one law. This means that for any non-negative…

Let $D$ be the ring of $S$-integers in a global field and $\hat{D}$ its profinite completion. We discuss the relation between density in $D$ and the Haar measure of $\hat{D}$: in particular, we ask when the density of a subset $X$ of $D$ is…

The Riesz-Markov theorem identifies any positive, finite, and regular Borel measure on the complex unit circle with a positive linear functional on the continuous functions. By the Weierstrass approximation theorem, the continuous functions…