Related papers: Co-analytic Counterexamples to Marstrand's Project…

We discuss the relation between pluripolar hulls and fine analytic structure. Our main result is the following. For each non polar subset $S$ of the complex plane $\mathbb C$ we prove that there exists a pluripolar set $E \subset (S \times…

In 1994, John Cobb asked: given $N>m>k>0$, does there exist a Cantor set in $\mathbb R^N$ such that each of its projections into $m$-planes is exactly $k$-dimensional? Such sets were described for $(N,m,k)=(2,1,1)$ by L.Antoine (1924) and…

The classical Hausdorff dimension of finite or countable sets is zero. We define an analog for finite sets, called finite Hausdorff dimension which is non-trivial. It turns out that a finite bound for the finite Hausdorff dimension…

Let $H$ be a real algebraic group acting equivariantly with finitely many orbits on a real algebraic manifold $X$ and a real algebraic bundle $\mathcal{E}$ on $X$. Let $\mathfrak{h}$ be the Lie algebra of $H$. Let…

The Falconer conjecture asserts that if E is a planar set with Hausdorff dimension strictly greater than 1, then its Euclidean distance set has positive one-dimensional Lebesgue measure. We discuss the analogous question with the Euclidean…

A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…

We show that, almost surely, the Hausdorff dimension $s_0$ of a random covering set is preserved under all orthogonal projections to linear subspaces with dimension $k>s_0$. The result holds for random covering sets with a generating…

We derive the projection hypothesis in projective quantum measurement by restricting the set of observables. This projection hypothesis accompanies a bipartite system with the von Neumann-type interaction, which consists of a quantum…

In this paper, we answer a question of Nussbaum, Priyadarshi, and Lunel [Positive operators and Hausdorff dimension of invariant sets, Trans. Amer. Math. Soc. 364(2) (2012) 1029-1066.]. We also show that the Hausdorff dimension and box…

Given a collection of multidimensional pairs $\{(X_i,Y_i):1 \leq i\leq n\}$, we study the problem of projecting the associated suitably smoothed empirical measure onto the space of martingale couplings (i.e. distributions satisfying…

For any $x\in\mathbb{R}^d$, $d\geq 2$, denote $\pi^x: \mathbb{R}^d\backslash\{x\}\rightarrow S^{d-1}$ as the radial projection $$\pi^x(y)=\frac{y-x}{|y-x|}. $$ Given a Borel set $E\subset{\Bbb R}^d$, $\dim_{\mathcal{H}} E\leq d-1$, in this…

Erd\H{o}s proved that any real number can be written as a sum, and a product, of two Liouville numbers. Motivated by these results, we study sumsets of classes of real numbers with prescribed (or bounded) irrationality exponents. We show…

Let $I=[0,1)$, $-1<\lambda<1$ and $f\colon I\to I$ be a piecewise $\lambda$-affine map of the interval $I$, i.e., there exist a partition $0=a_0<a_1<\cdots< a_{k-1}<a_k=1$ of the interval $I$ into $k\geq2$ subintervals and $b_1,\ldots,…

Let $X = G/\Gamma$ be a quotient of a real Lie group by a non-uniform lattice. Consider a one-parameter subgroup $F$ of $G$ that is $\operatorname{Ad}$-diagonalizable over $\mathbb{C}$ and whose action on $(X,m_X)$ is mixing. In this…

A projection space is a collection of spaces interrelated by the combinatorics of projection onto tensor factors in a symmetric monoidal background category. Examples include classical configuration spaces, orbit configuration spaces, the…

Given a level set $E$ of an arbitrary multiplicative function $f$, we establish, by building on the fundamental work of Frantzikinakis and Host [13,14], a structure theorem which gives a decomposition of $\mathbb{1}_E$ into an almost…

A general form of the Borel-Cantelli Lemma and its connection with the proof of Khintchine's Theorem on Diophantine approximation and the more general Khintchine-Groshev theorem are discussed. The torus geometry in the planar case allows a…

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…

For any j_1,...,j_n>0 with j_1+...+j_n=1 and any x \in R^n, we consider the set of points y \in R^n for which max_{1\leq i\leq n}(||qx_i-y_i||^{1/j_i})>c/q for some positive constant c=c(y) and all q\in N. These sets are the `twisted'…

$\renewcommand{\Re}{{\rm I\!\hspace{-0.025em} R}} \newcommand{\SetX}{\mathsf{X}} \newcommand{\eps}{\varepsilon} \newcommand{\VorX}[1]{\mathcal{V} \pth{#1}} \newcommand{\Polygon}{\mathsf{P}} \newcommand{\IntRange}[1]{[ #1 ]}…