Bilinear spherical maximal function with fractal dilations

Chun-Yen Shen; Saurabh Shrivastava; Surjeet Singh Choudhary

arxiv: 2510.03094 · v2 · submitted 2025-10-03 · 🧮 math.CA

Bilinear spherical maximal function with fractal dilations

Surjeet Singh Choudhary , Chun-Yen Shen , Saurabh Shrivastava This is my paper

Pith reviewed 2026-05-18 11:03 UTC · model grok-4.3

classification 🧮 math.CA

keywords bilinear spherical maximal functionfractal dilationsupper Minkowski dimensionL^p boundednesslacunary maximal functionharmonic analysisendpoint estimates

0 comments

The pith

The L^p range for the bilinear spherical maximal function is controlled by the dilation-invariant upper Minkowski dimension of the dilation set E.

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

The paper establishes L^p boundedness for the bilinear spherical maximal function when the dilations are drawn from a general set E in the positive reals. The admissible exponents p1 and p2 are determined by a dilation-invariant version of the upper Minkowski dimension of E. This framework covers fractal dilation sets instead of restricting to lacunary or dense cases. A particular application settles the open endpoint boundedness question for the lacunary version at p1=1 or p2=1 when the ambient dimension is at least 3. Readers in harmonic analysis would care because these maximal inequalities govern pointwise convergence of bilinear averages and related operators.

Core claim

The L^p-boundedness of the bilinear spherical maximal function associated with a general set E is quantified in terms of a dilation-invariant notion of upper Minkowski dimension of E; in particular the lacunary case is bounded at the endpoints p1=1 or p2=1 for d≥3.

What carries the argument

The dilation-invariant upper Minkowski dimension of the set E, which determines the range of p1 and p2 for which the maximal operator remains bounded.

If this is right

Boundedness holds on the product L^{p1} × L^{p2} whenever p1 and p2 exceed thresholds set by the dimension of E.
The lacunary bilinear spherical maximal function is bounded at the endpoints p1=1 and p2=1 in all dimensions d ≥ 3.
The results apply directly to dilation sets with fractal structure rather than only arithmetic progressions or intervals.

Where Pith is reading between the lines

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

The same dimension-controlled approach may extend to other multilinear maximal operators arising in ergodic theory or Fourier analysis.
Explicit computations on standard fractal sets such as middle-third Cantor sets would test whether the Minkowski dimension bound is sharp.
These inequalities could imply new pointwise convergence results for bilinear averages along fractal time sets.

Load-bearing premise

The set E admits a well-defined dilation-invariant upper Minkowski dimension that controls the admissible p range, and any lacunary subsequence satisfies the separation properties required for the endpoint estimates.

What would settle it

A concrete set E whose dilation-invariant upper Minkowski dimension predicts a certain p-threshold, yet the bilinear spherical maximal operator fails to be bounded there, would disprove the quantification.

read the original abstract

In this paper, we investigate $L^p-$boundedness of the bilinear spherical maximal function associated with a general set $E\subset\R_+$. We quantify the range of $L^p-$boundedness in terms of a dilation-invariant notion of upper Minkowski dimension of the set $E$. A particular case of this study, settles an open question of $L^p-$boundedness of the lacunary bilinear spherical maximal function at borderline cases $p_1=1$ or $p_2=1$ in dimension $d\geq3$.

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 ties bilinear spherical maximal boundedness to the dilation-invariant Minkowski dimension of E and settles the lacunary endpoint at p=1 for d≥3.

read the letter

The punchline is that they give a general criterion for when the bilinear spherical maximal function with dilations from a set E is bounded on L^p, measured by the upper Minkowski dimension of E, and this includes settling the lacunary case at the endpoint p=1 for dimensions three and higher. What is new here is the use of that dilation-invariant dimension to control the range of p. It seems to cover a broader family of dilation sets than previous work on spherical maximal functions. The particular case for lacunary dilations addresses an open question directly, which is a concrete step forward in the area. The paper does well in setting up the general framework and showing how the dimension enters the boundedness condition. It organizes the problem nicely without introducing extra parameters. The soft spots are minor at this stage. The abstract states the result clearly, but the full details on the proof of the dimension bound and the endpoint argument are not visible here. I would want to check if the Minkowski dimension is indeed sharp and whether the lacunary separation is handled without additional assumptions. If those check out, the central claim should hold. This paper is for researchers in harmonic analysis working on maximal functions, especially multilinear or with non-standard dilations. Readers who follow work on spherical means or fractal sets in analysis will see value in the general result. It deserves a serious referee because it tackles an open problem with a new general approach that could apply more widely. I recommend sending it for peer review to verify the technical details and confirm the sharpness of the dimension condition.

Referee Report

0 major / 3 minor

Summary. This manuscript examines the L^p-boundedness properties of the bilinear spherical maximal function defined using a general dilation set E in the positive reals. The authors establish bounds on the admissible exponents p by relating them to the dilation-invariant upper Minkowski dimension of E. Notably, their analysis includes a particular case that resolves an open problem concerning the endpoint boundedness of the lacunary bilinear spherical maximal function for dimensions d at least 3.

Significance. Should the central results be verified, this paper makes a meaningful contribution to the study of maximal operators in harmonic analysis by extending the theory to fractal dilation sets through the use of Minkowski dimension. The resolution of the open question for the lacunary case at the critical endpoints p1=1 and p2=1 represents a concrete advance. The approach appears to be parameter-free in its dimension quantification, which is a strength.

minor comments (3)

The introduction would benefit from a more explicit forward reference to the definition of the dilation-invariant upper Minkowski dimension when it is first invoked in the statement of the main result.
Notation for the lacunary subsequence and its separation properties should be standardized between the general case and the particular lacunary theorem to improve readability.
A brief remark clarifying whether the dimension condition is expected to be sharp (even if a full proof of sharpness lies outside the present scope) would help contextualize the result for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript on the bilinear spherical maximal function with fractal dilations and for recommending minor revision. We note that no specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The central result quantifies L^p-boundedness of the bilinear spherical maximal function directly in terms of the externally defined dilation-invariant upper Minkowski dimension of the set E, a standard geometric quantity that does not depend on the operator or its bounds. The lacunary case is handled as a direct specialization that resolves an existing open endpoint question for d≥3, without any reduction of predictions to fitted inputs, self-definitional loops, or load-bearing self-citations. All steps remain independent of the target result and rely on conventional harmonic-analysis techniques.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard real-analysis facts about Minkowski dimension and on the definition of the bilinear spherical maximal operator; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption The upper Minkowski dimension of E is dilation-invariant and well-defined for the sets under consideration.
Invoked to quantify the range of L^p boundedness.

pith-pipeline@v0.9.0 · 5613 in / 1328 out tokens · 28033 ms · 2026-05-18T11:03:01.544461+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We quantify the range of L^p-boundedness in terms of a dilation-invariant notion of upper Minkowski dimension of the set E.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.