Fractal transference principles for subsets of $\mathbb{N}^d$ of positive density

Abstract

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 $\phi^s(\mathbf a)$ and the multivariate Dirichlet series $\zeta_S(\boldsymbol{\sigma}) =\sum_{\mathbf a\in S}\prod_{j=1}^d a_j^{-\sigma_j}$. Let $s_\ast:=\inf\{s>0:\sum_{\mathbf a\in S}\phi^s(\mathbf a)<\infty\}$ and $\Lambda_S:=\inf\{\sigma_1+\cdots+\sigma_d:\zeta_S(\boldsymbol{\sigma})<\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\Lambda_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\'edi patterns, persist inside the induced fractal digit sets.