arXiv++ Combinatorics

Let $Ω(n)$ denote the number of prime factors of $n$, counted with multiplicity. We prove that if $A\subset\mathbb{N}^3$ has positive upper Banach density, then there are $(x,y,z)\in\mathbb{N}^3$ and $d\in\mathbb{N}$ such that $$(x,y,z),(x+d,y,z),(x,y+d,z),(x,y,z+Ω(d))\in A.$$ To establish the above result, we give an $L^2$-decoupling theorem for the triple ergodic averages $$ \frac1N\sum_{n=1}^N T_1^n f_1\,T_2^n f_2\,S^{Ω(n)}g $$ associated with three commuting transformations by isotropy factors and nilpotent structures in $\mathbb{Z}^2$-actions.

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.