Related papers: Projection inequalities for antichains

Given positive integers $\ell<n$ and a real $d\in (\ell,n)$, we construct sets $K\subset \mathbb R^n$ with positive and finite Hausdorff $d-$measure such that the Radon-Nikodym derivative associated to all projections on $\ell-$dimensional…

Suppose that two large, multi-dimensional data sets are each noisy measurements of the same underlying random process, and principle components analysis is performed separately on the data sets to reduce their dimensionality. In some…

This paper deals with weighted isoperimetric inequalities relative to cones of $\mathbb{R}^{N}$. We study the structure of measures that admit as isoperimetric sets the intersection of a cone with balls centered at the vertex of the cone.…

A set N is called a "weak epsilon-net" (with respect to convex sets) for a finite set X in R^d if N intersects every convex set that contains at least epsilon*|X| points of X. For every fixed d>=2 and every r>=1 we construct sets X in R^d…

Let $\nu$ be a self similar measure on $\mathbb{R}^d$, $d\geq 2$, and let $\pi$ be an orthogonal projection onto a $k$-dimensional subspace. We formulate a criterion on the action of the group generated by the orthogonal parts of the IFS on…

The pattern avoidance problem seeks to construct a set $X\subset \mathbb{R}^d$ with large dimension that avoids a prescribed pattern. Examples of such patterns include three-term arithmetic progressions (solutions to $x_1 - 2x_2 + x_3 =…

We give a simple criterion on the set of probability tangent measures $\mathrm{Tan}(\mu,x)$ of a positive Radon measure $\mu$, which yields lower bounds on the Hausdorff dimension of $\mu$. As an application, we give an elementary and…

It is often said that measuring a system's position must disturb the complementary property, momentum, by some minimum amount due to the Heisenberg uncertainty principle. Using a "weak-measurement", this disturbance can be reduced. One…

We consider the problem of digitalizing Euclidean segments. Specifically, we look for a constructive method to connect any two points in $\mathbb{Z}^d$. The construction must be {\em consistent} (that is, satisfy the natural extension of…

Computing the similarity of two point sets is a ubiquitous task in medical imaging, geometric shape comparison, trajectory analysis, and many more settings. Arguably the most basic distance measure for this task is the Hausdorff distance,…

For every e>0, any subset of R^n with Hausdorff dimension larger than (1-e)n must have ultrametric distortion larger than 1/(4e).

We prove the following restricted projection theorem. Let $n\ge 3$ and $\Sigma \subset S^{n}$ be an $(n-1)$-dimensional $C^2$ manifold such that $\Sigma$ has sectional curvature $>1$. Let $Z \subset \mathbb{R}^{n+1}$ be analytic and let $0…

A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb{R}^d$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the…

Suppose $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$ is a set of $n$ points in the plane with diameter $\leq 1$, meaning $\|x_i - x_j\| \leq 1$ for all $1 \leq i,j \leq n$. We show that if there are many `antipodes', these are…

Let Q be an infinite set of positive integers. Denote by W_{\tau, n}(Q) (resp. W_{\tau, n}) the set of points in dimension n simultaneously \tau--approximable by infinitely many rationals with denominators in Q (resp. in N*). A non--trivial…

I. J. Good (1941) showed that the set of irrational numbers in $(0,1)$ whose partial quotients $a_n$ tend to infinity is of Hausdorff dimension $1/2$. A number of related results impose restrictions of the type $a_n\in B$ or $a_n\geq f(n)$,…

We prove the sharp isoperimetric inequality $$ \mathbb{E} \,h_{A}^{\log_{2}(3/2)} \geq \mu(A)^{*} (\log_{2}(1/\mu(A)^{*}))^{\log_{2}(3/2)} $$ for all sets $A \subseteq \{0,1\}^n$, where $\mu$ denotes the uniform probability measure,…

We study fine differentiability properties of horizons. We show that the set of end points of generators of a n-dimensional horizon H (which is included in a (n+1)-dimensional space-time M) has vanishing n-dimensional Hausdorff measure.…

Given a finite point set $P\subset\mathbb{R}^d$, we call a multiset $A$ a one-sided weak $\varepsilon$-approximant for $P$ (with respect to convex sets), if $|P\cap C|/|P|-|A\cap C|/|A|\leq\varepsilon$ for every convex set $C$. We show…

We characterize projections among positive norm-one elements in unital C$^*$-algebras in pure geometric terms determined by the norm of the underlying Banach space. Concretely, let $A$ be a C$^*$-algebra (or a JB$^*$-algebra) whose positive…