Related papers: Falconer distance problem on Riemannian manifolds

We prove that if the Hausdorff dimension of $E \subset {\Bbb R}^d$, $d \ge 3$, is greater than $\min \left\{ \frac{dk+1}{k+1}, \frac{d+k}{2} \right\},$ then the ${k+1 \choose 2}$-dimensional Lebesgue measure of $T_k(E)$, the set of…

We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$…

We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff…

We prove that if $E\subseteq \R^2$ is analytic and $1<d < \dim_H(E)$, there are ``many'' points $x\in E$ such that the Hausdorff dimension of the pinned distance set $\Delta_x E$ is at least $d\left(1 -…

For Borel subsets $\Theta\subset O(d)\times \mathbb{R}^d$ (the set of all rigid motions) and $E\subset \mathbb{R}^d$, we define \begin{align*} \Theta(E):=\bigcup_{(g,z)\in \Theta}(gE+z). \end{align*} In this paper, we investigate the…

In this note we give a new proof of a version of the Besicovitch covering theorem, given in \cite{EG1992}, \cite{Bogachev2007} and extended in \cite{Federer1969}, for locally finite Borel measures on finite dimensional complete Riemannian…

For a set $E \subseteq \mathbb{F}_q^d$, the distance set is defined as $\Delta(E) := \{\|\mathbf{x} - \mathbf{y}\| : \mathbf{x}, \mathbf{y} \in E\}$, where $\|\cdot\|$ denotes the standard quadratic form. We investigate the…

Let $\mathbb{F}_q$ be the finite field of order $q$ and $E\subset \mathbb{F}_q^d$, where $4|d$. Using Fourier analytic techniques, we prove that if $|E|>\frac{q^{d-1}}{d}\binom{d}{d/2}\binom{d/2}{d/4}$, then the points of $E$ determine a…

A Borel set $B \subset \mathbb{R}^{n}$ is visible from $x \in \mathbb{R}^{n}$, if the radial projection of $B$ with base point $x$ has positive $\mathcal{H}^{n - 1}$ measure. I prove that if $\dim B > n - 1$, then $B$ is visible from every…

Let $f\in \mathbb{R}[x, y, z]$ be a quadratic polynomial that depends on each variable and that does not have the form $g(h(x)+k(y)+l(z))$. Let $A, B, C$ be compact sets in $\mathbb{R}$. Suppose that $\dim_H(A)+\dim_H(B)+\dim_H(C)>2$, then…

In this article, we study two problems concerning the size of the set of finite point configurations generated by a compact set $E\subset \mathbb{R}^d$. The first problem concerns how the Lebesgue measure or the Hausdorff dimension of the…

We prove that if the Hausdorff dimension of a compact set $E \subset {\Bbb R}^2$ is greater than 7/4, then the set of {\ag three-point configurations determined by $E$ has positive three-dimensional measure}. We establish this by showing…

Let $M$ be a hyperbolic Riemann surface with the first eigenvalue $\lambda_1(M)>0$. Let $\rho$ denote the distance from a fixed point $x_0\in{M}$ and $r_x$ the injectivity radius at $x$. We show that there exists a numerical constant…

An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold $\alpha>0$ such that $|\Delta(E)| \gtrsim q$ whenever $|E| \gtrsim q^{\alpha}$, where $E \subset {\Bbb F}_q^d$, the $d$-dimensional vector…

Let $(N,g)$ be a Riemannian manifold with the distance function $d(x,y)$ and an open subset $M\subset N$. For $x\in M$ we denote by $D_x$ the distance difference function $D_x:F\times F\to \mathbb R$, given by…

Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure…

Let $L$ be a holomorphic line bundle on a compact complex manifold $X$ of dimension $n,$ and let $e^{-\phi}$ be a continuous metric on $L.$ Fixing a measure $d\mu$ on $X$ gives a sequence of Hilbert spaces consisting of holomorphic sections…

We prove a ''dimension expansion'' version of the Elekes-R\'onyai theorem for trivariate real analytic functions: If $f$ is a trivariate real analytic function, then $f$ is either locally of the form $g(h(x)+k(y)+l(z))$, or the following is…

We show that the image of a 2-dimensional set under d-dimensional, 2-parameter Brownian sheet can have positive Lebesgue measure, if and only if the set in question has positive (d/2)-dimensional Bessel-Riesz capacity. Our methods solve a…

We study how small is the set of critical values of the distance function from a compact (resp. closed) set in the plane or in a connected complete two-dimensional Riemannian manifold. We show that for a compact set, the set of critical…