Related papers: Falconer conjecture in the plane for random metric…
We show that if the upper Assouad dimension of the compact set $E\subseteq \mathbb{R}$ is positive, then given any $D>\dim_{A}E$ there is a measure with support $E$ and upper Assouad (or regularity) dimension $D$. Similarly, given any…
We prove the $l^2$ Decoupling Conjecture for compact hypersurfaces with positive definite second fundamental form and also for the cone. This has a wide range of important consequences. One of them is the validity of the Discrete…
We investigate a complex analogue of Spencer's Six Standard Deviations Theorem. Specifically, we propose the following conjecture: for any dimension $n \geq 2$, given vectors $a_1, \ldots, a_n \in \mathbb{C}^n$ satisfying $\|a_i\|_{\infty}…
In this paper we study multi-parameter projection theorems for fractal sets. With the help of these estimates, we recover results about the size of $A \cdot A+...+A \cdot A$, where $A$ is a subset of the real line of a given Hausdorff…
In this paper, we consider the isoperimetric problem in the space $\mathbb{R}^N$ with density. Our result states that, if the density f is l.s.c. and converges to a positive limit at infinity, being smaller than this limit far from the…
Let $L_{a,b}$ be a line in the Euclidean plane with slope $a$ and intercept $b$. The dimension spectrum $\spec(L_{a,b})$ is the set of all effective dimensions of individual points on $L_{a,b}$. The dimension spectrum conjecture states…
Talagrand conjectured that if a family of sets $\mathcal{F}$ over $X = \{ 1,2,\cdots, N \}$ is of large measure, then constant times of unions of sets in $\mathcal{F}$ will cover a large portion of the power set of $X$. This conjecture is a…
In metric Diophantine approximation, one frequently encounters the problem of showing that a limsup set has positive or full measure. Often it is a set of points in $m$-dimensional Euclidean space, or a set of $n$-by-$m$ systems of linear…
We give conditions ensuring that the Fatou set and the complement of the fast escaping set of an exponential polynomial $f$ have finite Lebesgue measure. Essentially, these conditions are designed such that $|f(z)|\ge\exp(|z|^\alpha)$ for…
We show that, for every $1 \leq p < +\infty$ and for every Borel probability measure $\mathbb{P}$ over $\mathbb{R}$, every element of $L^{p}(\mathbb{R}, \mathscr{B}_{\mathbb{R}}, \mathbb{P})$ is the $L^{p}$-limit of some sequence of bounded…
According to the Eshelby conjecture, an ellipse or ellipsoid is the only shape that induces an interior uniform strain under a uniform far-field loading. We extend the Eshelby conjecture to domains of general shape for anti-plane…
We give a proof of the planar case of a longstanding conjecture of Kneser (1955) and Poulsen (1954). In fact, we prove more by showing that if a finite set of disks in the plane is rearranged so that the distance between each pair of…
Eshelby showed that if an inclusion is of elliptic or ellipsoidal shape then for any uniform elastic loading the field inside the inclusion is uniform. He then conjectured that the converse is true, i.e., that if the field inside an…
In this paper, we use algorithmic tools, effective dimension and Kolmogorov complexity, to study the fractal dimension of distance sets. We show that, for any analytic set $E\subseteq\R^2$ of Hausdorff dimension strictly greater than one,…
It is known that if a subset of $\mathbb{R}$ has positive Lebesgue measure, then it contains arbitrarily long finite arithmetic progressions. We prove that this result does not extend to infinite arithmetic progressions in the following…
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…
We establish quantitative comparisons between classical distances for probability distributions belonging to the class of convex probability measures. Distances include total variation distance, Wasserstein distance, Kullback-Leibler…
We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly kappa+ many normal measures on the least measurable cardinal kappa. This answers a question of Stewart Baldwin. The methods…
Suppose $a_n$ is a real, nonnegative sequence that does not increase exponentially. For any $p<1$ we contruct a Lebesgue measurable set $E \subseteq \mathbb{R}$ which has measure at least $p$ in any unit interval and which contains no…
Let $\Omega \subset \mathbb{R}^d$ be a set with finite Lebesgue measure such that, for a fixed radius $r>0$, the Lebesgue measure of $\Omega \cap B_r (x)$ is equal to a positive constant when $x$ varies in the essential boundary of…