Related papers: A decomposition for Borel measures $\mu \le \mathc…

We investigate Keisler measures in arbitrary theories. Our initial focus is on Borel definability. We show that when working over countable parameter sets in countable theories, Borel definable measures are closed under Morley products and…

Two of the pillars of combinatorics are the notion of choosing an arbitrary subset of a set with $n$ elements (which can be done in $2^n$ ways), and the notion of choosing a $k$-element subset of a set with $n$ elements (which can be done…

We prove that a compact metric space (or more generally an analytic subset of a complete separable metric space) of Hausdorff dimension bigger than $k$ can be always mapped onto a $k$-dimensional cube by a Lipschitz map. We also show that…

We prove that the free additive convolution of two Borel probability measures supported on the real line can have a component that is singular continuous with respect to the Lebesgue measure on the real line only if one of the two measures…

We propose a "decomposition method" to prove non-asymptotic bound for the convergence of empirical measures in various dual norms. The main point is to show that if one measures convergence in duality with sufficiently regular observables,…

Bohr's last problem (1952) asks whether every ordinary Dirichlet series with nonzero Lindel\"of order function $\mu$ has $\mu'(\omega_\mu{-}0)\le-1$; a negative answer would imply Lindel\"of for $\zeta$. Kahane (1989) refuted this with…

We study Schur-type upper triangular forms for elements, T, of von Neumann algebras equipped with faithful, normal, tracial states. These were introduced in a paper of Dykema, Sukochev and Zanin; they are based on Haagerup-Schultz…

In the paper, we give the proof of the polar decomposition of the Wiener measure according to the orbits of the group of diffeomorphisms.

We give a complete solution to the Borel-Ritt problem in non-uniform spaces $\mathscr{A}^-_{(M)}(S)$ of ultraholomorphic functions of Beurling type, where $S$ is an unbounded sector of the Riemann surface of the logarithm and $M$ is a…

Let \(\mu\) be a finite Borel measure on \((-\pi,\pi)\). Consider the one-dimensional Poisson equation \(-u''=\mu\), where equality holds in the sense of distributions, with Dirichlet boundary conditions \(u(\pm\pi)=0\). In this paper, we…

We give an affirmative answer to the following question: Is any Borel subset of a Cantor set $\textbf{ C}$ a sum of a countable number of pairwise disjoint $h$-homogeneous subspaces that are closed in $X$? It follows that every Borel set $X…

Let $X$ be a Polish space. We prove that the generic compact set $K\subseteq X$ (in the sense of Baire category) is either finite or there is a continuous gauge function $h$ such that $0<\mathcal{H}^{h}(K)<\infty$, where $\mathcal{H}^h$…

We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of…

In this paper we construct an uncountable union of line segments $T$ which has full intersection with the sets $(\{ 0\} \times [0, 1]) \cup (\{ 1\} \times [0, 1])\subset\mathbb{R}^2$ but has null two-dimensional measure. Further results are…

In infinite dimensional Banach spaces there is no complete characterization of the L\'evy exponents of infinitely divisible probability measures. Here we propose \emph{a calculus on L\'evy exponents} that is derived from some random…

We study the set M(X) of full non-atomic Borel (finite or infinite) measures on a non-compact locally compact Cantor set X. For an infinite measure $\mu$ in M(X), the set $\mathfrak{M}_\mu = \{x \in X : {for any compact open set} U \ni x…

Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…

Let $\lambda$ be an uncountable cardinal such that $2^{< \lambda } = \lambda$. Working in the setup of generalized descriptive set theory, we study the structure of $\lambda^+$-Borel measurable functions with respect to various kinds of…

We prove that on a $d$-dimensional Riemannian manifold, the distance set of a Borel set $E$ has a positive Lebesgue measure if $$\dim_{\mathcal{H}}(E)>\frac d2+\frac14+\frac{1-(-1)^d}{8d}.$$

We prove that if a separable metrizable $X$ is a union of two disjoint 0-dimensional sets $E$, $F$, $E$ is absolutely $G_{\delta}$ and $F$ is absolutely $F_{\sigma\delta}$ then there is a closed embedding $h$ into the union of countable…