arXiv++ Combinatorics

A compact metrizable system is null if its topological sequence entropy vanishes along every sequence of times. We prove that nullness is equivalent to polynomial maximal pattern complexity for every finite open cover, while equicontinuity is equivalent to sublinear maximal pattern complexity. The first characterization is obtained from finite fat-shattering at every positive scale and polynomial empirical covering of orbit-distance classes. We also construct transitive nonminimal null systems with properties excluded in the minimal setting: one is uniformly rigid and has two fixed points, and another is two-scattering. These results settle several long-standing open problems from the literature on polynomial maximal pattern growth and on the structure of transitive nonminimal null systems.

We give negative answers to two questions of Bergelson, Moreira, and Richter concerning recurrence along functions from a Hardy field. For the pair \(f_1(t)=t^{3/2}\) and \(f_2(t)=λt^{3/2}+t\), where \(λ\in\mathbb R\setminus\mathbb Q\), singled out in their integer-coefficient derivative-span question, we prove that every \(F\in\nablaz(f_1,f_2)\) satisfies \(\lim_{t\to\infty}|F(t)|\in\{0,\infty\}\). Nevertheless, there is a set \(E\subset\mathbb N\) of positive natural density such that \(R_{f_1}(E)\cap R_{f_2}(E)\) is piecewise syndetic and not thick. Thus the proposed integer-coefficient replacement does not imply thickness. We further show that, even under the same full integer derivative-span condition, the common return-time set may be empty. This stronger obstruction also gives a negative answer to their question asking whether the recurrence conclusion of Theorem A follows from joint intersectivity of the integer polynomials in \(\operatorname{poly}(f_1,\ldots,f_k)\). The constructions use elementary Bohr sets.

We establish a multidimensional fractal transference principle for digit-restricted sets associated with subsets of $\mathbb{N}^d$, extending the one-dimensional framework of Nakajima--Takahasi, Adv. Math. (2025). We develop general Hausdorff-dimension tools via the singular value potential $φ^s(\mathbf a)$ and the multivariate Dirichlet series $ζ_S(\boldsymbolσ) =\sum_{\mathbf a\in S}\prod_{j=1}^d a_j^{-σ_j}$. Let $s_\ast:=\inf\{s>0:\sum_{\mathbf a\in S}φ^s(\mathbf a)<\infty\}$ and $Λ_S:=\inf\{σ_1+\cdots+σ_d:ζ_S(\boldsymbolσ)<\infty\}$. We obtain $\dim_H(\mathcal E_S)\le s_\ast$, where $\mathcal E_S\subset(0,1)^d$ denotes the set of points whose continued-fraction digit vectors lie in $S$ and whose coordinates escape (i.e.\ $a_n(x_j)\to\infty$ for each $j$), and $s_\ast=\tfrac12Λ_S$ for uniformly $K$--balanced $S$. In particular, if $S\subset\mathbb{N}^d$ has positive upper (or upper Banach) density then $\dim_H(\mathcal E_S)=d/2$. On the combinatorial side, the transference principle ensures that translation-invariant configurations forced at positive density, including multidimensional Szemerédi patterns, persist inside the induced fractal digit sets.