Related papers: Yet another proof of Marstrand's Theorem

A variant of the Falconer distance problem asks for fixed $k\geq 1$ and $d\geq k+1$, how large does the Hausdorff dimension of a Borel set $E\subset\mathbb{R}^d$ need to be to guarantee that there exist $x_0,\ldots,x_{k}\in E$ such that…

We prove that for every $\epsilon\in (0,1)$ there exists $C_\epsilon\in (0,\infty)$ with the following property. If $(X,d)$ is a compact metric space and $\mu$ is a Borel probability measure on $X$ then there exists a compact subset…

Let E be a plane self-affine set defined by affine transformations with linear parts given by matrices with positive entries. We show that if mu is a Bernoulli measure on E with dim_H mu = dim_L mu, where dim_H and dim_L denote Hausdorff…

The use of Hausdorff measures and dimension in the theory of Diophantine approximation dates back to the 1920s with the theorems of Jarnik and Besicovitch regarding well-approximable and badly-approximable points. In this paper we consider…

Let $K\subset\mathbb R^d$ be a compact subset equipped with a $\delta$-Ahlfors regular measure $\mu$. For any $\tau>1/d$ and any ``inhomogeneous'' vector $\boldsymbol{\theta}\in\mathbb R^d$, let $W_d(\psi_\tau,\boldsymbol{\theta})$ denote…

We investigate tiling properties of spectra of measures, i.e., sets $\Lambda$ in $\br$ such that $\{e^{2\pi i \lambda x}: \lambda\in\Lambda\}$ forms an orthogonal basis in $L^2(\mu)$, where $\mu$ is some finite Borel measure on $\br$. Such…

A subset of a topological space is said to be \emph{universally measurable} if it is measured by the completion of each countably additive $\sigma$-finite Borel measure on the space, and \emph{universally null} if it has measure zero for…

More than 80 years ago Kolmogorov asked the following question. Let $E\subseteq \mathbb{R}^{2}$ be a measurable set with $\lambda^{2}(E)<\infty$, where $\lambda^2$ denotes the two-dimensional Lebesgue measure. Does there exist for every…

Let $M$ be a $d$-dimensional complete Riemannian manifold and let $\pi: SM \to M$ denote the canonical projection from the unit tangent bundle. We prove that if $E \subset SM$ is a set that invariant under the geodesic flow with Hausdorff…

We propose analogues of horizontal and vertical projections for model filiform jet space Carnot groups. Every pair consisting of the jet of a smooth function on $\mathbb{R}$ and a vertical hyperplane with first coordinate fixed provides a…

Tverberg's theorem is one of the cornerstones of discrete geometry. It states that, given a set $X$ of at least $(d+1)(r-1)+1$ points in $\mathbb R^d$, one can find a partition $X=X_1\cup \ldots \cup X_r$ of $X$, such that the convex hulls…

Tverberg's theorem asserts that every (k-1)(d+1)+1 points in R^d can be partitioned into k parts, so that the convex hulls of the parts have a common intersection. Calder and Eckhoff asked whether there is a purely combinatorial deduction…

Based on the Gale-Ryser theorem for the existence of suitable $(0,1)$-matrices for different partitions of a natural number, we revisit the classical result of G. G. Lorentz regarding the characterization of a plane measurable set, in terms…

Let $n, m$ be positive integers, $n\geq m$. We make several remarks on the relationship between approximate differentiability of higher order and Morse-Sard properties. For instance, among other things we show that if a function…

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in…

The Hahn-Banach theorem states that onto each line in every normed space, there is a unitary projection, and Kadec and Snobar proved (using John's ellipsoid) that onto each $n$-dimensional subspace of any real normed space, there is a…

In 1955 B. Segre showed that any oval in a projective plane over a finite field of odd order is a conic. His proof constructs a conic which matches the oval in some points and tangents, and then shows that it actually coincides with the…

In 2010, Matom\"{a}ki investigated the set of $A>1$ such that the integer part of $ A^{c^k} $ is a prime number for every $k\in \mathbb{N}$, where $c\geq 2$ is any fixed real number. She proved that the set is uncountable, nowhere dense,…

Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract…

The Favard length of a Borel set $E\subset\mathbb{R}^2$ is the average length of its orthogonal projections. We prove that if $E$ is Ahlfors 1-regular and it has large Favard length, then it contains a big piece of a Lipschitz graph. This…