The Hausdorff dimension of sets containing circles in many directions

Antonio C\'ordoba

Pith reviewed 2026-05-07 12:36 UTC · model grok-4.3

classification 🧮 math.MG

keywords Hausdorff dimensionmeridianstranslated copiesspheres in R^ngeometric measure theorydimension lower boundscircles in many directions

0 comments

The pith

A set in R^n containing a translated copy of every meridian of a fixed sphere must have Hausdorff dimension at least n-1.

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

The paper establishes a lower bound on the Hausdorff dimension of any set K in R^n that contains a translate of each meridian—an S^{n-2}-sphere—of a fixed sphere S^{n-1} with chosen poles. The result shows that such a set cannot be smaller than dimension n-1 no matter the radius of the original sphere. A reader would care because the condition encodes a requirement that K intersect many translated copies of lower-dimensional spheres in every relevant orientation, which forces K to occupy a substantial portion of space. The bound is obtained directly from the geometric hypothesis without additional assumptions on the ambient dimension n. If the claim is correct, sets that are rich enough to include all these specific circles or spheres cannot be too sparse in the Hausdorff sense.

Core claim

Suppose that K is a set in R^n containing a translated copy of each meridian of S^{n-1}. Then the Hausdorff dimension of K must be bigger than or equal to n-1.

What carries the argument

The geometric condition that K contains a translated copy of every meridian (S^{n-2}-sphere) of the fixed S^{n-1} with poles N and S, which is used to force the dimension lower bound through covering arguments or measure estimates.

Load-bearing premise

The assumption that K contains a translated copy of each meridian of the fixed sphere S^{n-1} with poles N and S; if this geometric hypothesis fails for some meridian, the dimension conclusion does not apply.

What would settle it

A set K in R^n with Hausdorff dimension strictly less than n-1 that nevertheless contains a translated copy of every meridian of the given S^{n-1}.

read the original abstract

Let us consider a sphere $S^{n-1}$ of radius $r$ in $\mathbb{R}^n$, where we have fixed poles $N$ and $S$. Suppose that $K$ is a set in $\mathbb{R}^n$ containing a translated copy of each meridian (that is an $S^{n-2}$-sphere) of $S^{n-1}$. Then the Hausdorff dimension of $K$ must be bigger than or equal to $n-1$.

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.

Referee Report

0 major / 2 minor

Summary. The paper proves that if K subset R^n contains a translated copy of every meridian (i.e., every S^{n-2}-sphere) of a fixed sphere S^{n-1} with chosen poles, then the Hausdorff dimension of K is at least n-1. The argument is a direct covering argument: assuming dim_H(K) < n-1 produces a contradiction with the requirement that every meridian translate is fully contained in K, using only the definition of Hausdorff measure and standard covering lemmas.

Significance. The result supplies a clean, parameter-free lower bound on the dimension of sets forced to contain a large family of translated (n-2)-spheres lying on a common sphere. The proof relies exclusively on elementary properties of Hausdorff measure and does not invoke additional uniformity hypotheses or auxiliary constructions. This type of dimensional obstruction may be of interest in geometric measure theory, particularly in questions about sets containing many lower-dimensional spheres or circles in prescribed configurations.

minor comments (2)

The title refers to 'circles in many directions,' yet the statement and proof are phrased for general n with (n-2)-spheres; a brief sentence in the introduction clarifying that the n=3 case recovers circles would improve readability.
The abstract and statement fix poles N and S on S^{n-1}; it would be helpful to note explicitly whether the result is independent of this choice or whether the meridians are defined relative to those poles.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment. We are pleased that the referee recommends acceptance.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The manuscript proves a lower bound on Hausdorff dimension via a direct covering argument that assumes the geometric hypothesis on translated meridians and derives a contradiction with the definition of Hausdorff measure when dim_H(K) < n-1. All steps invoke only standard properties of Hausdorff measure and dimension; no parameters are fitted, no self-citations are load-bearing, and the argument does not reduce any claimed prediction or uniqueness statement to its own inputs by construction. The derivation is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract only; a complete audit is not possible. The result appears to rest on the standard definition and basic properties of Hausdorff dimension together with the geometry of spheres and translations in Euclidean space. No free parameters or invented entities are visible.

axioms (2)

standard math Hausdorff dimension is defined via infima of sums of diameters raised to power s over countable coverings and satisfies monotonicity and countable stability.
This is the background definition required to state any lower bound on Hausdorff dimension.
standard math Rigid translations preserve Hausdorff dimension of sets.
Used implicitly because the meridians are translated copies whose dimension equals that of the original meridian.

pith-pipeline@v0.9.0 · 5365 in / 1513 out tokens · 83591 ms · 2026-05-07T12:36:27.930457+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

3 extracted references

[1]

Córdoba,Suprematism in harmonic analysis, Birkhäuser Verlag, 2024

A. Córdoba,Suprematism in harmonic analysis, Birkhäuser Verlag, 2024

2024
[2]

Falconer,Fractal geometry, John Wiley and Sons, 1990

K. Falconer,Fractal geometry, John Wiley and Sons, 1990

1990
[3]

E. M. Stein,Harmonic analysis: Real variable methods, orthogonality and oscillatory integrals, Princeton University Press, 1993. Universidad Autónoma de Madrid and ICMAT, Madrid, Spain Email address:antonio.cordoba@uam.es

1993