🔢 mathematics

Herz versus Fefferman: Symmetric and asymmetric Bochner--Riesz theory

This paper establishes a complete characterization of $L^p$ -boundedness for Bochner--Riesz means on one-dimensional noncompact manifolds with ends, demonstrating that while symmetric end dimensions follow Herz's radial theory, asymmetric dimensions introduce a Fefferman-type obstruction where the boundedness range depends on the interaction between the ends rather than just the maximal dimension.

Original authors: Peng Chen, Dangyang He, Adam Sikora, Lixin Yan

Published 2026-08-11

📖 7 min read🧠 Deep dive

CC BY 4.0

Original authors: Peng Chen, Dangyang He, Adam Sikora, Lixin Yan

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Rhythm of Space: Why Some Shapes Break the Music

Imagine you are listening to a symphony. In a perfect, empty concert hall, the sound travels in straight lines, and if you want to isolate a specific note, you can do so with mathematical precision. This is the world of standard geometry, where space is uniform and predictable. But what happens if the concert hall isn't empty? What if one side of the room is a vast, echoing cathedral, while the other side is a narrow, tight corridor? The sound waves would behave wildly differently depending on which side they are on.

In the world of mathematics, this is the study of "manifolds with ends." Think of a manifold as a shape that can stretch and curve, and "ends" as the infinite tails or arms that extend out forever. Scientists study these shapes to understand how waves, heat, and light move through complex spaces, from the curvature of the universe to the structure of materials. A key tool in this study is something called Bochner–Riesz summability. You can think of this as a mathematical filter or a "volume knob" for waves. When you try to reconstruct a complex wave from its parts (like building a song from individual notes), this filter helps smooth out the jagged edges. The big question mathematicians have been asking for decades is: How smooth does this filter need to be to work perfectly in every possible shape?

For simple, symmetrical shapes, the answer was known for a long time. But for shapes that are lopsided—where one "end" is huge and the other is tiny—no one was sure. This uncertainty is like trying to tune a radio in a storm; sometimes the signal is clear, and sometimes it's just static. The paper you are about to read dives into this storm to see if the rules change when the shape of the world changes.

The Tale of Two Ends: Herz vs. Fefferman

The authors of this paper, Peng Chen, Danyang He, Adam Sikora, and Lixin Yan, decided to tackle this problem using a clever shortcut. Instead of trying to solve the problem for every possible 3D or 4D shape (which is incredibly messy), they built a "one-dimensional model." Imagine a long, straight road that splits into two infinite paths at a central junction. One path is wide and spacious (like a highway), and the other is narrow and cramped (like a country lane). In their math, the "width" of these paths is defined by numbers called $d_1$ and $d_2$ . If $d_1$ and $d_2$ are the same, the road is symmetrical. If they are different, the road is lopsided.

They asked: Does the "volume knob" (the Bochner–Riesz mean) work the same way on this lopsided road as it does on a symmetrical one?

The Symmetrical Case: The Herz Theory

First, they looked at the easy case where the road is symmetrical ( $d_1 = d_2$ ). Here, they found that the rules are exactly what the mathematician Carl Herz predicted back in the 1970s. It's like a well-oiled machine: as long as you turn the volume knob to a certain setting (which depends on how "wide" the road is), the music comes out clear and smooth. The filter works perfectly, and the waves behave nicely. This part of the story confirms what we already suspected: symmetry is safe.

The Asymmetrical Case: The Fefferman Obstruction

Then, they turned to the tricky part: the lopsided road where $d_1 \neq d_2$ . This is where the story gets exciting. They discovered that the symmetrical rules are not enough.

When the two ends of the road have different sizes, a new problem appears. The authors call this a "Fefferman-type obstruction," named after another mathematician, Charles Fefferman, who found a similar problem in higher dimensions. To understand this, imagine trying to send a message from the wide highway to the narrow country lane.

In the symmetrical world, the message travels smoothly. But in the lopsided world, the message gets distorted. The "wide" end has a lot of space (volume), while the "narrow" end has very little. When the mathematical filter tries to process the wave, the mismatch in size creates a kind of "traffic jam" in the math.

However, the filter does not necessarily fail. The paper proves that the filter can still work perfectly, but only if you turn the volume knob to a stricter setting. You cannot just look at the biggest part of the shape to know if the filter will work. You have to look at the difference between the two ends.

If the difference between the ends is large, the filter requires a higher level of smoothness (a higher "order" $\delta$ ) to succeed. If you don't meet this extra requirement, the filter fails. But if you do meet it, the waves are smoothed out successfully. The paper provides a complete map of exactly how strong the filter needs to be to overcome this imbalance.

The "Kakeya" Connection

The authors explain that this extra requirement isn't just a random glitch; it's deeply connected to a famous geometric puzzle called the Kakeya problem. Imagine a needle that can rotate in every direction. In a normal room, the space it needs is small. But in the world of these "lopsided" math shapes, the way the two ends interact creates a situation similar to the Kakeya problem, where the geometry forces the waves to overlap in a chaotic way.

The paper shows that this "lopsidedness" acts like a hurdle. Even if you have a powerful filter, if the difference between the two ends ( $|d_1 - d_2|$ ) is significant, you must increase the filter's strength to compensate. If you ignore this extra hurdle, the math breaks down. But if you account for it, the filter works.

The Final Verdict

The authors didn't just guess; they proved it. They built a complete map of exactly when the filter works and what conditions are required.

If the ends are equal: The filter works if you follow the old, symmetrical rules (the Herz range).
If the ends are unequal: The filter has a new, stricter rule. It must satisfy two conditions at once:
1. It must be strong enough to handle the largest end (the usual rule).
2. It must be strong enough to handle the difference between the two ends.

This second rule is the "Fefferman-type obstruction." It's an extra hurdle that only appears when the shape is unbalanced. The paper shows that if you ignore this extra hurdle, the math breaks down. But if you adjust the filter to meet this new requirement, the waves can be reconstructed successfully.

Why This Matters

This might sound like abstract math, but it's actually about understanding the fundamental rules of how things move in complex spaces. The authors suggest that their one-dimensional model is a "robust" stand-in for real, complex shapes. If their findings hold true for the real world (which they suspect they do, though proving it for 3D shapes is a much harder future task), it means that geometry matters more than we thought.

It's not enough to just know the size of the biggest room in a building; you have to know how that room connects to the smaller rooms. If the sizes don't match up, the "music" of the universe (whether it's light, sound, or quantum waves) might hit a wall—unless you tune your filter to account for the mismatch.

The paper concludes by leaving a few doors open for future explorers. They didn't solve the problem for every possible shape (like those with very small dimensions), and they haven't yet proven that their rules apply to every 3D manifold in the universe. But they have drawn a very clear line in the sand: In a lopsided world, symmetry is a luxury, and the difference between parts is a rule you cannot ignore—but if you follow the new rules, the music can still play.

Technical Summary: Herz versus Fefferman: Symmetric and Asymmetric Bochner–Riesz Theory

Problem Statement
This paper investigates the $L^p$ -boundedness of Bochner–Riesz summability and spectral projections for a specific one-dimensional model of non-compact manifolds with ends. The model consists of two Euclidean ends, $(-\infty, -1]$ and $[1, \infty)$ , joined at a central region, where each end possesses a distinct effective Euclidean dimension, denoted by $d_1$ and $d_2$ (with $d_1, d_2 > 2$ ). The central problem is to determine the critical index $\delta$ for which the Bochner–Riesz means $\sigma^\delta_R(\Delta_{d_1,d_2})$ are uniformly bounded on $L^p(\tilde{\mathbb{R}})$ , and to understand how the asymmetry of the end dimensions ( $d_1 \neq d_2$ ) alters the classical theory.

The authors contrast two regimes:

Symmetric Case ( $d_1 = d_2 = d$ ): The model is expected to follow Herz's classical radial theory for the Euclidean Laplacian.
Asymmetric Case ( $d_1 \neq d_2$ ): The authors hypothesize that a "Fefferman-type obstruction," analogous to the ball multiplier obstruction in higher-dimensional Fourier analysis, may arise due to the interaction between ends of different volume growth, even though the underlying space is one-dimensional.

Methodology
The analysis relies on the spectral decomposition of the self-adjoint operator $\Delta_{d_1,d_2}$ , defined via a quadratic form on $L^2(\tilde{\mathbb{R}}, \sigma_{d_1,d_2}(r)dr)$ . The methodology proceeds through the following steps:

Resolvent Construction and Spectral Measure Decomposition: The authors construct the resolvent kernel using modified Bessel functions ( $I_\nu$ and $K_\nu$ ). They decompose the spectral measure kernel into two distinct components based on the asymptotic behavior of the special functions:
- The $kl$-part: Terms involving products of $k(\cdot)$ and $l(\cdot)$ (where $k$ corresponds to decaying Bessel functions $K_\nu$ and $l$ to growing ones $I_\nu$ ).
- The $kk$-part: Terms involving products of $k(\cdot)k(\cdot)$ . This part is further split into on-diagonal terms (where $x$ and $y$ lie on the same end) and off-diagonal terms (where $x$ and $y$ lie on different ends).
Positive Estimates (Sufficiency):
- For the $kl$-part, the authors apply Herz's original radial argument, reducing the problem to weighted singular integrals and utilizing Hardy–Littlewood–Pólya inequalities.
- For the $kk$-part, they analyze the low-energy ( $R \le 1$ ) and high-energy ( $R > 1$ ) regimes separately. They employ oscillatory integral estimates (Lemma 4.1) and integration by parts to handle the cancellation in the high-energy regime. The off-diagonal terms are shown to be bounded under conditions derived from the interplay of the dimensions $d_1$ and $d_2$ .
Counterexamples (Necessity and Sharpness):
- To establish sharpness, the authors construct specific test functions supported on one end (typically the end with the larger dimension $D = \max(d_1, d_2)$ ) and measure the output on the other end.
- They demonstrate that the off-diagonal interaction creates a kernel of the form $|x|^{-d_\ell-1/2}|y|^{-d_j-1/2}(|x|+|y|)^{-1}e^{\mp i(|x|+|y|)}$ .
- By analyzing the scaling properties of these test functions, they show that if the dimensions differ, the $L^p$ -boundedness fails unless specific additional constraints on $\delta$ are met. This mechanism is identified as a one-dimensional analogue of Fefferman's Kakeya/Nikodym set obstruction.

Key Contributions and Results

Complete Characterization in the Symmetric Case:
When $d_1 = d_2 = d$ , the authors recover the classical Herz range. The spectral projections and Bochner–Riesz means are bounded on $L^p$ if and only if:
$\left| \frac{1}{p} - \frac{1}{2} \right| < \frac{1}{2d} \quad \text{and} \quad \delta > \max\left( d\left| \frac{1}{p} - \frac{1}{2} \right| - \frac{1}{2}, 0 \right).$
Discovery of an Asymmetric Obstruction:
When $d_1 \neq d_2$ , the boundedness range is strictly smaller than the Herz range. The authors prove that the Bochner–Riesz means $\sigma^\delta_R(\Delta_{d_1,d_2})$ are uniformly bounded on $L^p$ if and only if:
$\delta > \max\left( D\left| \frac{1}{p} - \frac{1}{2} \right| - \frac{1}{2}, 0 \right) \quad \text{and} \quad \delta \ge |d_1 - d_2| \left| \frac{1}{p} - \frac{1}{2} \right|,$
where $D = \max(d_1, d_2)$ and $d = \min(d_1, d_2)$ .
Fefferman-Type Phenomenon in One Dimension:
The paper establishes that the condition $\delta \ge |d_1 - d_2| |1/p - 1/2|$ is a necessary obstruction arising purely from the mismatch in volume growth between the two ends. This is significant because it shows that a Fefferman-type obstruction, typically associated with high-dimensional directional geometry (Kakeya sets), manifests in this one-dimensional model through the geometric interaction of the ends.
Spectral Projections ( $\delta=0$ ):
For spectral projections (order 0), the authors show that if $d_1 \neq d_2$ , the operator is bounded on $L^p$ if and only if $p=2$ . This contrasts sharply with the symmetric case where a range of $p$ values is admissible.
Hörmander-Type Multiplier Theorem:
As a consequence of the Bochner–Riesz estimates, the authors derive a Hörmander-type spectral multiplier theorem. They show that if a multiplier $F$ has compact support and sufficient Sobolev regularity $s > \max(D|1/p - 1/2| + 1/2, |d_1 - d_2||1/p - 1/2| + 1)$ , then $F(t\Delta_{d_1,d_2})$ is bounded on $L^p$ uniformly in $t$ .

Significance and Claims
The paper claims to provide a complete characterization of Bochner–Riesz summability for this class of manifolds with ends. Its primary significance lies in demonstrating that the geometry of "ends" with unequal volume growth introduces a new, non-trivial obstruction to $L^p$ -boundedness that is distinct from the classical Herz theory.

The authors assert that their counterexamples provide a "radial two-end analogue of the Kakeya/Nikodym mechanism behind Fefferman's obstruction." They suggest that while proving sufficiency for general manifolds with ends remains a difficult open problem, the necessary conditions derived here (specifically the additional restriction depending on $|d_1 - d_2|$ ) are likely geometric in nature and should hold for genuine manifolds with unequal ends. The paper posits that if these necessary conditions are correct, the remaining positive theory for such manifolds might be more accessible than the full classical Bochner–Riesz conjecture in Euclidean space.

The work is framed as a first step in understanding how the interaction between different volume growth rates affects spectral multipliers, bridging the gap between Herz's radial theory and Fefferman's ball multiplier obstruction.