Related papers: Projection inequalities for antichains

We present strong versions of Marstrand's projection theorems and other related theorems. For example, if E is a plane set of positive and finite s-dimensional Hausdorff measure, there is a set X of directions of Lebesgue measure 0, such…

We give a criterion for the weak convergence of unit Borel measures on the N-dimensional Berkovich projective space over a complete non-archimedean field. As an application, we give a sufficient condition for equidistribution in terms of a…

We show that self-conformal subsets of $\mathbb{R}$ that do not satisfy the weak separation condition have full Assouad dimension. Combining this with a recent results by K\"aenm\"aki and Rossi we conclude that an interesting dichotomy…

Consider the partially ordered set on $[t]^n:=\{0,\dots,t-1\}^n$ equipped with the natural coordinate-wise ordering. Let $A(t,n)$ denote the number of antichains of this poset. The quantity $A(t,n)$ has a number of combinatorial…

Let $n\geqslant 3$ be a natural number. We study the problem to find the smallest $r$ such that there is a family $\mathcal{A}$ of 2-subsets and 3-subsets of $[n]=\{1,2,...,n\}$ with the following properties: (1) $\mathcal{A}$ is an…

It is proved that the projection constants of two- and three-dimensional spaces are bounded by $4/3$ and $(1+\sqrt 5)/2$, respectively. These bounds are attained precisely by the spaces whose unit balls are the regular hexagon and…

We show that given any six numbers $r,s,t,u,v,w \in (0,1]$ satisfying $r \leq s \leq \min(t,u) \leq \max(t,u) \leq v \leq w$, it is possible to construct a compact subset of $[0,1]$ with Hausdorff dimension equal to $r$, lower modified box…

A knot projection is an image of a generic immersion from a circle into a two-dimensional sphere. We can find homotopies between any two knot projections by local replacements of knot projections of three types, called Reidemeister moves.…

We prove that most one-dimensional projections of a discrete subset of a plane are either dense in R (the real line), or form a discrete subset of R. More precisely, the set E of exceptional directions (for which the indicated dichotomy…

We show that, for any $0<\gamma<1/2$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set with Hausdorff dimension about $\sqrt{\gamma}$, any small $0<\varepsilon<1$ and any large $N\in\mathbb{N}$, the number of integers $n\in[1,N]$ such…

This paper extends some results of [M5] and [M3], in particular, removing assumptions of positive lower density. We give conditions on a general family $P_{\lambda}:\mathbb{R}^{n}\to\mathbb{R}^{m}, \lambda \in \Lambda,$ of orthogonal…

Two $n$-dimensional vectors $A$ and $B$, $A,B \in \mathbb{R}^n$, are said to be \emph{trivially orthogonal} if in every coordinate $i \in [n]$, at least one of $A(i)$ or $B(i)$ is zero. Given the $n$-dimensional Hamming cube $\{0,1\}^n$, we…

The `full' edge isoperimetric inequality for the discrete cube (due to Harper, Bernstein, Lindsay and Hart) specifies the minimum size of the edge boundary $\partial A$ of a set $A \subset \{0,1\}^n$, as a function of $|A|$. A weaker (but…

In this paper, we study the Hausdorff and the box-counting dimensions of diagonally aligned self-affine carpets whose projections to the $x$- and $y$-axes satisfy the weak separation condition. In particular, we show that the Hausdorff…

An inhomogeneous fractal set is one which exhibits different scaling behaviour at different points. The Assouad dimension of a set is a quantity which finds the `most difficult location and scale' at which to cover the set and its…

Falconer proved that there are sets $E\subset \mathbb{R}^n$ of Hausdorff dimension $n/2$ whose distance sets $\{|x-y| : x,y\in E\}$ are null with respect to Lebesgue measure. This led to the conjecture that distance sets have positive…

Let $\Phi:=\left\{ (x_{1},...,x_{d})\rightarrow\left(r_{i,1}x_{1}+a_{i,1},...,r_{i,d}x_{d}+a_{i,d}\right)\right\} _{i\in\Lambda}$ be an affine diagonal IFS on $\mathbb{R}^{d}$. Suppose that for each $1\le j_{1}<j_{2}\le d$ there exists…

Suppose that a finite-dimensional cube is orthogonally projected onto a central section of itself by a subspace of one dimension less. Up to dimension $9$, at least one vertex is projected onto the section, but for dimension $10$ or larger,…

We prove that for an arbitrary upper semi-continuous function $\phi\colon G(1,2) \to [0,1]$ there exists a compact set $F$ in the plane such that $\dim_{\textrm{A}} \pi F = \phi(\pi)$ for all $\pi \in G(1,2)$, where $\pi F$ is the…

Let $Q_n=[0,1]^n$ be the unit cube in ${\mathbb R}^n$ and let $C(Q_n)$ be a space of continuous functions $f:Q_n\to{\mathbb R}$ with the norm $\|f\|_{C(Q_n)}:=\max_{x\in Q_n}|f(x)|.$ By $\Pi_1\left({\mathbb R}^n\right)$ denote a set of…