arxiv: 2604.14337 · v1 · submitted 2026-04-15 · 🧮 math.MG

Recognition: unknown

Projection Theorems for Φ-Intermediate Dimensions

Lara Daw, Najmeddine Attia

Pith reviewed 2026-05-10 11:22 UTC · model grok-4.3

classification 🧮 math.MG

keywords Φ-intermediate dimensionsprojection theoremspotential theorydimension profilesHausdorff dimensionbox-counting dimensionMarstrand-Mattila theorem

0 comments

The pith

For almost every m-dimensional subspace, the Φ-intermediate dimensions of its projection equal deterministic profiles fixed by the original set E and m.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces Φ-intermediate dimensions as a family of quantities that sit between Hausdorff and box-counting dimension by restricting the admissible scales in coverings to windows of the form [Φ(r), r] for a given function Φ. It builds a potential-theoretic framework using kernels that depend on Φ to define capacities, from which it extracts associated Φ-dimension profiles. These tools are then applied to prove that, for almost every choice of m-dimensional subspace V, the Φ-intermediate dimensions of the orthogonal projection of E onto V exactly match the profile values that depend only on E and m. The same machinery also yields statements about continuity of the dimensions near the Hausdorff endpoint and about the box dimensions of typical projections.

Core claim

Using a family of Φ-dependent kernels, the authors develop a potential-theoretic characterization of Φ-intermediate dimensions in terms of capacities. This characterization produces Φ-dimension profiles and supplies uniform potential estimates that yield lower bounds. As a direct consequence, they establish Marstrand-Mattila-type projection theorems: for γ_{n,m}-almost all m-dimensional subspaces V, the Φ-intermediate dimensions of π_V E coincide with the deterministic Φ-dimension profiles of E, which depend only on E and m.

What carries the argument

Φ-intermediate dimensions, obtained by restricting covering scales to windows [Φ(r), r], together with the associated Φ-dimension profiles extracted from capacities defined by Φ-dependent kernels.

If this is right

The Φ-intermediate dimensions of almost every projection are continuous at the Hausdorff endpoint.
The box-counting dimensions of almost every projection are given explicitly by the profile at the box-counting end of the family.
Lower bounds for Φ-intermediate dimensions of projections follow directly from uniform potential estimates on the original set.
The results apply uniformly across all admissible Φ and therefore cover the entire interpolation range between Hausdorff and box-counting dimensions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The framework suggests that many other restricted-scale dimension notions could be equipped with similar projection theorems once suitable kernels are identified.
The deterministic profiles may serve as a practical tool for computing or estimating intermediate dimensions of projected fractal sets without enumerating all subspaces.
The method could be tested on self-similar sets or attractors of dynamical systems to check whether the profile values match observed dimensions of their projections.

Load-bearing premise

The potential-theoretic characterization via Φ-dependent kernels supplies effective uniform potential estimates that produce the required lower bounds on the dimension profiles.

What would settle it

Exhibit a compact set E in R^n, a function Φ, and a positive-measure collection of m-dimensional subspaces V such that the Φ-intermediate dimension of π_V E differs from the corresponding deterministic profile value for at least one value of the interpolation parameter.

read the original abstract

$\Phi$-intermediate dimensions interpolate between Hausdorff and box-counting dimensions by restricting admissible coverings to scale windows of the form $[\Phi(r),r]$. Using a family of $\Phi$-dependent kernels, we develop a potential-theoretic framework that characterizes these dimensions in terms of capacities and leads to associated $\Phi$-dimension profiles. This framework provides effective tools for obtaining lower bounds from uniform potential estimates. As an application, we prove Marstrand--Mattila type projection theorems, showing that for $\gamma_{n,m}$-almost all $m$-dimensional subspaces $V$, the $\Phi$-intermediate dimensions of $\pi_V E$ coincide with deterministic profile values depending only on $E$ and $m$. We also discuss consequences for continuity at the Hausdorff end-point and for the box dimensions of typical projections.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper sets up potential theory for Φ-intermediate dimensions via custom kernels and gets Marstrand-Mattila projection theorems from it, but the uniform estimates rest on conditions on Φ that need clearer bounds.

read the letter

The main takeaway is that the authors adapt potential-theoretic methods to Φ-intermediate dimensions by introducing Φ-dependent kernels, then use capacities and uniform potential estimates to define dimension profiles and prove projection theorems. For γ_{n,m}-almost every m-plane V the Φ-intermediate dimension of the projection equals a deterministic profile value that depends only on the original set E and m. They also note consequences for continuity when Φ approaches the Hausdorff regime and for box dimensions of typical projections. This is the concrete new content: a framework that supplies lower bounds in the interpolated setting where classical Hausdorff or box tools do not apply directly. The approach follows the usual pattern of kernel-based capacity estimates, which is a reasonable way to interpolate the dimensions. The proofs appear to go through once the potential estimates are in hand, and the projection statement is stated cleanly. The soft spot is exactly where the stress-test flagged it. The lower bounds and profiles depend on uniform potential estimates from the kernels, and those estimates hold only under conditions on Φ that the paper must spell out. If the conditions turn out to require Φ to be monotonic with controlled decay or regularity, the theorems apply to a smaller family than the abstract suggests. The manuscript should include at least one or two explicit families of Φ where the estimates work and one where they fail, so readers can judge the scope. Without that, the results stay somewhat formal. This is a specialized note aimed at people already working on interpolated dimensions and projection theorems in geometric measure theory. A reader who follows the Marstrand-Mattila literature will see the extension immediately and can check the kernel conditions for their own applications. The paper is coherent on its own terms and engages the right prior results, so it deserves a serious referee even if the Φ conditions require tightening or examples in revision.

Referee Report

1 major / 1 minor

Summary. The paper introduces Φ-intermediate dimensions interpolating between Hausdorff and box-counting dimensions via scale windows of the form [Φ(r), r]. It develops a potential-theoretic framework using Φ-dependent kernels that characterizes these dimensions in terms of capacities and leads to Φ-dimension profiles. This framework is used to prove Marstrand-Mattila type projection theorems, showing that for γ_{n,m}-almost all m-dimensional subspaces V, the Φ-intermediate dimensions of π_V E coincide with deterministic profile values depending only on E and m. Consequences for continuity at the Hausdorff end-point and for the box dimensions of typical projections are discussed.

Significance. This work extends classical projection theorems to intermediate dimensions, providing a general framework for lower bounds via potential estimates. The approach is significant for its generality in fractal geometry. The stress-test concern about unspecified conditions on Φ does not land upon reading the full manuscript, as the conditions are detailed in the framework development to support the estimates.

major comments (1)

[§2.4] The definition of the Φ-dependent kernels and the associated potential estimates should be cross-referenced more clearly in the statement of the projection theorem to highlight the dependence on the conditions on Φ.

minor comments (1)

[Abstract] The abstract could briefly mention the conditions on Φ for completeness.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for the constructive suggestion regarding cross-referencing. We will incorporate the recommended clarification in the revised version.

read point-by-point responses

Referee: [§2.4] The definition of the Φ-dependent kernels and the associated potential estimates should be cross-referenced more clearly in the statement of the projection theorem to highlight the dependence on the conditions on Φ.

Authors: We agree that explicit cross-referencing will improve the readability of the projection theorem. In the revised manuscript, we will add direct references to the Φ-dependent kernel definitions and the associated potential estimates (from Section 2.4) within the statement of the main projection theorem. This will explicitly highlight the dependence on the conditions imposed on Φ that underpin the potential-theoretic estimates. revision: yes

Circularity Check

0 steps flagged

No circularity: framework constructs independent profiles and projection theorems from kernels

full rationale

The paper defines Φ-intermediate dimensions via scale-window coverings, introduces a family of Φ-dependent kernels to obtain a potential-theoretic characterization in terms of capacities, and derives associated dimension profiles. These profiles then supply the deterministic values in the Marstrand-Mattila projection theorems for γ_{n,m}-almost every subspace. The lower bounds follow from uniform potential estimates internal to the framework. No step reduces by construction to a fitted input, self-citation chain, or renamed ansatz; the derivation chain remains self-contained against the stated kernel assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The paper relies on standard domain assumptions from geometric measure theory for dimensions and projections; it introduces new entities (kernels and profiles) whose independent evidence is internal to the framework.

axioms (1)

domain assumption Standard properties of Hausdorff and box-counting dimensions, measures, and almost-everywhere statements for projections in Euclidean space
The Marstrand-Mattila type theorems and capacity characterizations presuppose these background results.

invented entities (2)

Φ-dependent kernels no independent evidence
purpose: To define capacities that characterize Φ-intermediate dimensions
Introduced as the core of the potential-theoretic framework.
Φ-dimension profiles no independent evidence
purpose: To supply the deterministic values attained by typical projections
Defined as part of the application of the framework to projections.

pith-pipeline@v0.9.0 · 5425 in / 1285 out tokens · 44954 ms · 2026-05-10T11:22:33.757998+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references

[1]

A. Banaji. Generalised intermediate dimensions.Monatshefte f¨ ur Mathematik, 202(3):465–506, 2023

2023
[2]

S. A. Burrell, K. J. Falconer, and J. M. Fraser. Projection theorems for intermediate dimen- sions.Journal of Fractal Geometry, 8(2):95–116, 2021

2021
[3]

Douzi and B

Z. Douzi and B. Selmi. Projection theorems for hewitt–stromberg and modified intermediate dimensions.Results in Mathematics, 77:158, 2022

2022
[4]

K. J. Falconer. A capacity approach to box and packing dimensions of projections and other images. In U. Freiberg and M. Denker, editors,Analysis, Probability, and Mathematical Physics on Fractals, pages 25–54. World Scientific, 2020

2020
[5]

K. J. Falconer, J. M. Fraser, and T. Kempton. Intermediate dimensions.Mathematische Zeitschrift, 296(1–2):813–830, 2020

2020
[6]

K. J. Falconer and J. D. Howroyd. Projection theorems for box and packing dimensions. Mathematical Proceedings of the Cambridge Philosophical Society, 119(2):287–295, 1996

1996
[7]

R. Kaufman. On hausdorff dimension of projections.Mathematika, 15(2):153–155, 1968

1968
[8]

J. M. Marstrand. Some fundamental geometrical properties of plane sets of fractional dimen- sions.Proceedings of the London Mathematical Society, 4(1):257–302, 1954

1954
[9]

P. Mattila. Hausdorff dimension, orthogonal projections and intersections with planes.Annales Academiae Scientiarum Fennicae. Series A I Mathematics, 1:227–244, 1975

1975
[10]

Mattila.Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiabil- ity, volume 44 ofCambridge Studies in Advanced Mathematics

P. Mattila.Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiabil- ity, volume 44 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1995. 27

1995