A note on measures whose diffraction is concentrated on a single sphere

This paper constructively demonstrates the existence of a translation-bounded measure whose diffraction is spherically symmetric and concentrated on a single sphere, thereby affirmatively resolving a question posed by Strungaru.

The Gist

The Big Question: Can You Make a "Perfect" Ring of Light?

Imagine you are a detective trying to figure out what a mysterious object looks like, but you can't touch it. Instead, you shine a light on it and look at the shadow it casts on a wall. In the world of physics and math, this "shadow" is called a diffraction pattern.

Usually, when we look at crystals (like salt or diamonds), the shadow is a messy but beautiful grid of dots. When we look at "quasicrystals" (weird, non-repeating patterns), the dots are arranged in complex, star-like shapes.

But a mathematician named Strungaru asked a very specific, almost impossible-sounding question:

"Is there any object that, when you shine a light on it, creates a diffraction pattern that is a perfect, single ring (or sphere in 3D)?"

Think of it like this: If you throw a stone into a calm pond, you get ripples. If you could arrange a million stones to drop at the exact same time in a perfect circle, would the resulting wave pattern be a single, perfect ring?

The authors of this paper—Baake, Korfanty, and Mazáč—say: "Yes, we found it!"

---

The Magic Ingredient: The "Spherical Wave"

To solve this puzzle, the authors didn't build a physical object made of atoms. Instead, they built a mathematical one.

They used a concept called a spherical wave.

• Analogy: Imagine a giant, invisible drum skin stretching across the entire universe. If you hit the center, a ripple travels out in a circle. Now, imagine a wave that is the circle itself, vibrating forever.
• In math terms, this is a function that looks like $e^{2\pi i r \|x\|}$. Don't worry about the symbols; just think of it as a wave that gets stronger and weaker in perfect, concentric rings as you move away from the center.

The authors asked: "If we take this infinite, perfect spherical wave and analyze its 'shadow' (its diffraction), what do we get?"

The Discovery: A Perfect Sphere

The answer is surprisingly elegant.

When you analyze this specific spherical wave, its diffraction pattern isn't a messy grid or a complex star. It is exactly a single, perfect sphere (or circle in 2D).

• The Metaphor: Imagine you have a flashlight that usually shines a beam of light in a messy cone. The authors found a special "lens" (the spherical wave) that, when you shine it, the light doesn't spread out or form a dot. Instead, the light concentrates entirely onto a single, glowing ring in the sky.
• The Result: The "shadow" of this wave is a uniform ring of light. Every point on that ring is equally bright, and there is absolutely no light anywhere else.

How Did They Prove It? (The "Cooking" Analogy)

Proving this wasn't just guessing; they had to do some heavy mathematical cooking.

1. The Recipe (Autocorrelation): To find the diffraction pattern, you first have to mix the wave with a copy of itself (flipped over). In math, this is called "autocorrelation." It's like taking a photo of a pattern and sliding it over itself to see how well the pieces match up.
2. The Bessel Function: When they did the mixing, the math got complicated. The result involved a special type of function called a Bessel function.
   • Analogy: Think of Bessel functions as the "DNA" of circular waves. They describe how waves behave when they move in circles. The authors showed that when you mix their spherical wave with itself, the DNA of the result is a Bessel function.
3. The Reveal: When they took the "Fourier Transform" (the mathematical machine that turns the mixing result into the final shadow), the Bessel function magically transformed into a perfect, thin shell.

Why Does This Matter?

You might ask, "Who cares about a perfect ring of light?"

• It Solves a Mystery: For a long time, people wondered if such a perfect structure could even exist mathematically. This paper proves it does.
• It Helps Understand Disorder: In the real world, materials are rarely perfect. They have defects, cracks, and randomness. By understanding the "perfect" case (the single sphere), scientists can better understand how real materials deviate from perfection.
• New Tools: It gives physicists and mathematicians a new tool to design materials or analyze signals that need to be focused on a specific "ring" of frequencies.

The Takeaway

The authors took a question that sounded like a riddle ("Can you make a shadow that is just a ring?") and answered it with a resounding "Yes."

They showed that if you create a mathematical wave that vibrates in perfect concentric circles, its "fingerprint" is a perfect, glowing sphere. It's a beautiful example of how simple, symmetric rules in math can create surprisingly perfect and concentrated results in the world of waves and light.

Technical Summary

1. Problem Statement

The paper addresses a specific question posed by Nicolae Strungaru regarding the existence of structures with highly specific diffraction properties. The core problem is:

• The Question: Does there exist a translation-bounded measure (or a bounded function) in $\mathbb{R}^d$ whose diffraction pattern is spherically symmetric and concentrated entirely on a single sphere (or circle in 2D)?
• Context: In the theory of aperiodic order, diffraction analysis is a primary tool for understanding long-range order. While crystals produce diffraction on lattices and quasicrystals on dense point sets, the existence of a structure producing diffraction strictly on a single spherical shell (a "shell of frequencies") was an open question.

2. Methodology

The authors employ a constructive approach using spherical waves and rigorous analysis of autocorrelation limits and Fourier transforms.

• Candidate Function: The authors propose the spherical wave function $g(x) = e^{2\pi i r \|x\|}$ (where $r > 0$ is a fixed radius/wave number) as the candidate structure. This is distinct from the fundamental solution of the wave equation; it is a function with constant modulus and phase depending only on the radial distance.
• Autocorrelation Definition: They define the natural autocorrelation (Patterson function) $\eta(x)$ for a bounded function $g$ as the limit of the convolution of the function restricted to a ball $B_R$ with its reflection, normalized by the volume of the ball:
  $$\eta(x) = \lim_{R \to \infty} \frac{1}{\text{vol}(B_R)} \int_{B_R} g(y) \overline{g(x-y)} \, dy$$
• Analytical Strategy:
  1. Symmetry Reduction: Utilizing the rotational invariance of the domain and the function, the authors reduce the problem to a radial function $h(s)$ where $s = \|x\|$.
  2. Spherical Coordinates: The integral is rewritten in $d$-dimensional spherical coordinates.
  3. Differentiation under the Integral: To handle the limit $R \to \infty$, the authors employ a regularization technique. They introduce a lower radial cutoff $R_0$ to avoid singularities at $\rho = s$ when differentiating. This allows the application of Leibniz's rule to compute derivatives of the limit function.
  4. Taylor Series Expansion: They compute the derivatives of the autocorrelation function at the origin ($s=0$) to construct the Taylor series.
  5. Identification with Bessel Functions: The resulting series is identified as the series expansion of a Bessel function of the first kind, $J_\nu$.
  6. Fourier Inversion: By establishing the form of the autocorrelation, they invoke the Fourier inversion theorem to determine the diffraction measure.

3. Key Contributions and Results

Theorem 1: Existence and Form of Autocorrelation

The authors prove that for any fixed $r > 0$, the natural autocorrelation $\eta_r$ of the spherical wave $e^{2\pi i r \|x\|}$ exists in $\mathbb{R}^d$ and is given by:
$$\eta_r(x) = \Gamma\left(\frac{d}{2}\right) \frac{J_{\frac{d}{2}-1}(2\pi r \|x\|)}{(\pi r \|x\|)^{\frac{d}{2}-1}}$$
where $J_\nu$ is the standard Bessel function of order $\nu$.

• Convergence: The proof demonstrates that the limit defining the autocorrelation converges uniformly, and the resulting function is continuous and infinitely differentiable.
• Limiting Case: As $r \to 0$, the function converges to the constant $1$, corresponding to a Dirac delta at the origin in Fourier space.

Corollary 2: The Diffraction Measure

Based on the autocorrelation result and the Fourier transform properties of radial functions, the authors establish the main result:

• The natural diffraction measure of the spherical wave $f(x) = e^{2\pi i r \|x\|}$ is exactly $\mu_r$.
• $\mu_r$ is defined as the uniform probability measure on the sphere of radius $r$ (denoted $rS^{d-1}$).
• Significance: This confirms that the diffraction pattern of a spherical wave is not spread out but is concentrated entirely on a single sphere of radius $r$ in reciprocal space.

4. Significance and Implications

• Affirmative Answer: The paper provides a constructive "yes" to Strungaru's question, proving that such structures exist in all dimensions $d \geq 1$.
• Mathematical Insight: It bridges the gap between spherical waves in physics and the mathematical theory of diffraction for aperiodic structures. It shows that a simple radial phase function yields a purely spherical diffraction spectrum.
• Connection to Special Functions: The derivation highlights the intrinsic relationship between the autocorrelation of radial waves and Bessel functions, a connection that is central to problems involving spherical symmetry in signal processing and mathematical physics.
• Future Directions: The authors note that while the single-wave case is resolved, the problem of superpositions of such waves (combinations of different radii) is more complex. This opens the door for further research into singular measures, orthogonality notions, and the conditions under which autocorrelations remain well-defined for more complex aperiodic structures.

Conclusion

The paper successfully constructs a translation-bounded measure (the spherical wave) whose diffraction is spherically symmetric and strictly concentrated on a single sphere. By rigorously proving the existence of the autocorrelation and identifying it with a Bessel function, the authors demonstrate that the Fourier transform of this autocorrelation yields the uniform measure on a sphere, thereby solving the posed problem in the affirmative.