Related papers: A multiplicative measure on the positive real axis

We show that if $(X, \mu, T)$ is a probability measure-preserving dynamical system, and $\mathscr{P}$ is a countable partition of $(X, \mu)$, then the limit $$ \lim_{n, k \to \infty} \mathbb{E} \left[ \frac{1}{k} \sum_{j = 0}^{k - 1} f…

A measure $\mu$ on the unit circle $\mathbb{T}$ belongs to Steklov class $\mathcal{S}$ if its density $w$ with respect to the Lebesgue measure on $\mathbb{T}$ is strictly positive: $\inf_{\mathbb{T}} w > 0$. Let $\mu$, $\mu_{-1}$ be…

Due to its intimate relation to Spectral Theory and Schr\"{o}dinger operators, the multivariate moment problem has been a subject of many researches, so far without essential success (if one compares with the one--dimensional case). In the…

We show that for any set $A\subseteq [0,1]^n$ with $\text{Vol}(A)\ge 1/2$ there exists a line $\ell $ such that the one-dimensional Lebesgue measure of $\ell \cap A$ is at least $\Omega ( n^{1/4} )$. The exponent $1/4$ is tight. More…

Let $\textrm{Mat}_2(\mathbb{R})$ be the set of $2 \times 2$ matrices with real entries. For any $\varepsilon>0$ and any finitely--supported probability measure $\mu$ on $\textrm{Mat}_2(\mathbb{R})$, we prove that either \[ T(\mu) = \sum_{X,…

We present an approach to measure theory using the theory of locales. This includes concrete constructions of measure algebras associated to Radon measures, such as the Lebesgue measure on $\mathbb{R}^n$, via Grothendieck topologies…

We propose a reformulation of the ideal $\mathcal{N}$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $\omega$, which we denote by $\mathcal{N}_J$. In the same way, we reformulate the ideal $\mathcal{E}$ generated by…

For a large class of symplectic integer matrices, the action on the torus extends to a symplectic $\mathbb{Z}^r$-action with $r\geq 2$. We apply this to the study of semiclassical measures for joint eigenfunctions of the quantization of the…

We construct an iterated function system consisting of strictly increasing contractions $f,g\colon [0,1]\to [0,1]$ with $f([0,1])\cap g([0,1])=\emptyset$ and such that its attractor has positive Lebesgue measure.

Suppose $E, F$ are Borel sets in the plane, $\dim_{\mathcal{H}} E>1$, $\dim_{\mathcal{H}} E+\dim_{\mathcal{H}} F>2$, and $F$ has equal Hausdorff and packing dimension. We prove that there exists $y\in F$ such that the pinned distance set…

A classical theorem of Fatou asserts that the Radon-Nikodym derivative of any finite positive Borel measure, $\mu$, with respect to Lebesgue measure on the complex unit circle, is recovered as the non-tangential limits of its Poisson…

Given two nondegenerate Borel probability measures $\mu$ and $\nu$ on $\mathbb{R}_{+}=[0,\infty)$, we prove that their free multiplicative convolution $\mu\boxtimes\nu$ has zero singular continuous part and its absolutely continuous part…

In this paper, we study a class of Borel measures on $\mathbb{R}^n$ that arises as the class of representing measures of Herglotz-Nevanlinna functions. In particular, we study product measures within this class where products with the…

Let $\nu$ be a probability measure that is ergodic under the endomorphism $(\times p, \times p)$ of the torus $\mathbb{T}^2$, such that $\dim \pi \mu < \dim \mu$ for some non-principal projection $\pi$. We show that, if both $m\neq n$ are…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Let $G$ be a locally compact abelian metric group with Haar measure $\lambda $ and $\hat{G}$ its dual with Haar measure $\mu ,$ and $\lambda ( G) $ is finite. Assume that$~1<p_{i}<\infty $, $p_{i}^{\prime }=\frac{ p_{i}}{p_{i}-1}$, $(…

We study the problem of constructing positive representations of complex measures. In this paper we consider complex densities on a direct product of $U(1)$ groups and look for representations by probability distributions on the…

The number of tuples with positive integers pairwise relatively prime to each other with product at most $n$ is considered. A generalization of $\mu^{2}$ where $\mu$ is the M\"{o}bius function is used to formulate this divisor sum and…

We construct a non-doubling measure on the real line, all tangent measures of which are equivalent to Lebesgue measure.

We study the projective logarithmic potential $G_\mu$ of a Probability measure $\mu$ on the complex projective space ${P}^{n}$ equiped with the Fubini-Study metric $\omega$. We prove that the Green operator $G $ has strong regularizing…