arXiv++ Combinatorics

Given a nonempty set $A \subset \mathbb{N}\cup\{0\}$, define the mask polynomial $A(X)=\sum_{a\in A} X^a$. Suppose that there are $s_1,\dots,s_k\in\nn\setminus\{1\}$ such that the cyclotomic polynomials $Φ_{s_1},\dots,Φ_{s_k}$ divide $A(X)$. What is the smallest possible size of $A$? For $k=1$, this was answered by Lam and Leung in 2000. Less is known about the case when $k\geq 2$; in particular, one may ask whether (similarly to the $k=1$ case) the optimal configurations have a simple ``fibered" structure on each scale involved. We prove that this is true in a number of special cases, but false in general, even if further strong structural assumptions are added. Results of this type are expected to have a broad range of applications, including Favard length of product Cantor sets, Fuglede's spectral set conjecture, and the Coven-Meyerowitz conjecture on integer tilings.

We prove a version of the Erdős--Beck Theorem from discrete geometry for fractal sets in all dimensions. More precisely, let $X\subset \mathbb{R}^n$ Borel and $k \in [0, n-1]$ be an integer. Let $\dim (X \setminus H) = \dim X$ for every $k$-dimensional hyperplane $H \in \mathcal{A}(n,k)$, and let $\mathcal L(X)$ be the set of lines that contain at least two distinct points of $X$. Then, a recent result of Ren shows $$ \dim \mathcal{L}(X) \geq \min \{2 \dim X, 2k\}. $$ If we instead have that $X$ is not a subset of any $k$-plane, and $$ 0<\inf_{H \in \mathcal{A}(n,k)} \dim (X \setminus H) = t < \dim X, $$ we instead obtain the bound $$ \dim \mathcal{L}(X) \geq \dim X + t. $$ We then strengthen this lower bound by introducing the notion of the "trapping number" of a set, $T(X)$, and obtain \[ \dim \mathcal L(X) \geq \max\{\dim X + t, \min\{2\dim X, 2(T(X)-1)\}\}, \] as consequence of our main result and of Ren's result in $\mathbb{R}^n$. Finally, we introduce a conjectured equality for the dimension of the line set $\mathcal{L}(X)$, which would in particular imply our results if proven to be true.

This expository piece expounds on major themes and clarifies technical details of the paper "Kaufman and Falconer estimates for radial projections and a continuum version of Beck's theorem" of Orponen, Shmerkin, and Wang.

We study a variant of Erd\H os' unit distance problem, concerning dot products between successive pairs of points chosen from a large finite point set. Specifically, given a large finite set of $n$ points $E$, and a sequence of nonzero dot products $(α_1,\ldots,α_k)$, we give upper and lower bounds on the maximum possible number of tuples of distinct points $(A_1,\dots, A_{k+1})\in E^{k+1}$ satisfying $A_j \cdot A_{j+1}=α_j$ for every $1\leq j \leq k$.