Projection theorems for macroscopic intermediate dimensions

Jinjun Li; Lifeng Xi

Home/Archive/arXiv

arXiv · 2610.04395

Projection theorems for macroscopic intermediate dimensions

Jinjun Li·Lifeng Xi

View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce lower and upper macroscopic intermediate dimensions of unbounded subsets of Euclidean space by combining covering contributions from all dyadic annuli beyond a given scale. For every unbounded Borel set $E\subset\R^d$ and $m\in \{1,\ldots,d-1\}$, we prove that the macroscopic intermediate dimensions of $P_VE$ equal the corresponding intrinsic capacity profiles for almost every $m$-dimensional linear subspaces $V\subset \R^d$. One full-measure set works for both dimensions and every parameter $θ\in[0,1]$. The proof combines a covering--capacity comparison with an exponent gap, fractional-moment estimates for projected coverings, and capacity-weighted retention of source shells. The dimensions recover macroscopic Hausdorff dimension at parameter zero, are invariant under quasi-isometries, and are continuous at positive parameters. The upper macroscopic intermediate dimension agrees with the upper discrete intermediate dimension introduced in \cite{LXZ}, whereas the lower one can differ. We compute the projected dimensions of bounded-base discrete digit Moran sets, including the self-similar case obtained when the bases and digit sets are constant, and give applications to Lipschitz graphs and arithmetic sumsets.

Explore related subjects

math.CA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Jinjun Li, Lifeng Xi. 2026-10-03. Projection theorems for macroscopic intermediate dimensions. https://arxiv.org/abs/2610.04395

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Level sets of prevalent Weierstrass functions

The $α$-Weierstrass function is defined as $W_g^{α,b}(x) = \sum_{k=0}^{\infty} b^{-αk} g(b^k x)$, where $g$ is a Lipschitz function on the unit circle. For a prevalent $α$-Weierstrass function, we prove that the upper Minkowski dimension of every level set is at most $1-α$, and the Hausdorff dimension of almost every level set equals $1-α$ with respect to its occupation measure. We further demonstrate that the occupation measure of a prevalent $α$-Weierstrass function is absolutely continuous with respect to the Lebesgue measure. Consequently, the result on the Hausdorff dimension of level sets applies to a set of level sets with positive Lebesgue measure. A central tool in our analysis is the Weierstrass embedding. For a sufficiently large dimension $d$, we construct Lipschitz functions $g_0, g_1, \ldots, g_{d-1}$ such that the mapping $x \mapsto \big(W_{g_0}^{α,b}(x), W_{g_1}^{α,b}(x), \ldots, W_{g_{d-1}}^{α,b}(x)\big)$ is $α$-bi-Hölder. We also prove that such an embedding requires at least $1/α$ coordinate functions.

math.CA↗

arXiv2026

Weighted wave envelope estimates for the parabola

In this paper, we extend the Córdoba-Fefferman square function estimate for the parabola to a weighted setting. Our weighted square function estimate is derived from a weighted wave envelope estimate for the parabola. The bounds are formulated in terms of families of multiscale tubes together with weight parameters that quantify the distribution of the weight. As applications, we obtain weighted $L^p$-estimates for a class of Fourier multiplier operators and for solutions to the free Schrödinger equation.

math.CA↗

arXiv2026

The paper "On the constant in a transference inequality for the vector-valued Fourier transform" revisited

The standard proof of the equivalence of Fourier type on $\mathbb R^d$ and on the torus $\mathbb T^d$ is usually stated in terms of an implicit constant which can be expressed in terms of the global minimiser of the functions \[f_r(x)=\sum_{m\in\mathbb{Z}}\left|\frac{\sin(π(x+m))}{π(x+m)}\right|^{2r},\qquad x\in [0,1], \ r\ge 1.\] The aim of this note is to provide a short proof of a result of the authors which states that each $f_r$ takes a global minimum at the point $x = \frac12$.

math.CA↗