Related papers: Small Sets containing any Pattern
A well-known theorem of J.E. Hutchinson states that if an iterated function system consists of similarity transformations and satisfies the open set condition then its attractor supports a self-similar measure with Hausdorff dimension equal…
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 =…
In this expository paper aimed at a general mathematical audience, we discuss how to combine certain classic theorems of set-theoretic inner model theory and effective descriptive set theory with work on Hilbert's tenth problem and…
We show that if compact set $E\subset \mathbb{R}^d$ has Hausdorff dimension larger than $\frac{d}{2}+\frac{1}{4}$, where $d\geq 4$ is an even integer, then the distance set of $E$ has positive Lebesgue measure. This improves the previously…
Motivated by applications for set containment problems, we consider the following fundamental problem: can we design set-to-vector functions so that the natural partial order on sets is preserved, namely $S\subseteq T \text{ if and only if…
We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…
We prove that if K is a remainder of the Hilbert space (i.e., K is the complement of the Hilbert space in its metrizable compactification) then every non-one-point closed image of K either contains a compact set with no transfinite…
A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…
That is, given a compact set $B \subset \mathbb{R}^n$ (the boundary) and a subgroup $L$ of the \v{C}ech homology group $\check{H}_{d-1}(B;G)$ of dimension $d$ over some commutative group $G$, we find a compact set $E \supset B$ such that…
We show that the Heisenberg group $\mathbb{H}^n$ contains a measure zero set $N$ such that every Lipschitz function $f\colon \mathbb{H}^n \to \mathbb{R}$ is Pansu differentiable at a point of $N$. The proof adapts the construction of small…
We prove that for all integers $2\leq m\leq d-1$, there exists doubling measures on $\mathbb{R}^d$ with full support that are $m$-rectifiable and purely $(m-1)$-unrectifiable in the sense of Federer (i.e. without assuming…
We show that in $\mathbb{R}^d$ there are purely unrectifiable sets of Hausdorff (and even box counting) dimension $d-1$ which are not tube null, settling a question of Carbery, Soria and Vargas, and improving a number of results by the same…
If $E \subset \mathbb{R}^2$ is a compact set of Hausdorff dimension greater than $5/4$, we prove that there is a point $x \in E$ so that the set of distances $\{ |x-y| \}_{y \in E}$ has positive Lebesgue measure.
We consider one dimensional maps with several neutral fixed points that do not admit any physical measures. We show that there is simplex of measures so that every measure in this simplex has a basin which has full Hausdorff dimension.
We investigate variants of the Erd\H{o}s similarity problem for Cantor sets. We prove that under a mild Hausdorff or packing logarithmic dimension assumption, Cantor sets are not full measure universal, significantly improving the known…
Given $E \subset \mathbb{R}^d$, $d \ge 2$, define ${\mathcal D}(E) \equiv {(x-y)/|x-y|: x,y \in E} \subset S^{d-1},$ the set of directions determined by $E$. We prove that if the Hausdorff dimension of $E$ is greater than $d-1$, then…
We construct a class of homogeneous Cantor-Moran measures with all contraction ratios being reciprocal of integers, and prove that they are pointwise absolutely normal. Our approach relies on methods developed by Davenport, Erd{\H{o}}s, and…
We show that, given a set $E\subset \mathbb R^{n+1}$ with finite $n$-Hausdorff measure $H^n$, if the $n$-dimensional Riesz transform $$R_{H^n|E} f(x) = \int_{E} \frac{x-y}{|x-y|^{n+1}} f(y) dH^n(y)$$ is bounded in $L^2(H^n|E)$, then $E$ is…
Let $H$ be an infinite dimensional separable Hilbert space, $B(H)$ the $C^*$-algebra of all bounded linear operators on $H,$ $U(B(H))$ the unitary group of $B(H)$ and ${\cal K}\subset B(H)$ the ideal of compact operators. Let $G$ be a…
To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible…