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

Emily R. Korfanty (Edmonton); Jan Maz\'a\v{c} (Bielefeld); Michael Baake (Bielefeld)

arxiv: 2510.19038 · v2 · submitted 2025-10-21 · 🧮 math-ph · math.MP

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

Michael Baake (Bielefeld) , Jan Maz\'a\v{c} (Bielefeld) , Emily R. Korfanty (Edmonton) This is my paper

Pith reviewed 2026-05-18 04:43 UTC · model grok-4.3

classification 🧮 math-ph math.MP

keywords diffraction measurestranslation-bounded measuresspherical symmetrysingle sphere supportconstructive existenceautocorrelation

0 comments

The pith

There exists a translation-bounded measure whose diffraction is spherically symmetric and concentrated on a single sphere.

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

The paper gives an explicit construction that answers Strungaru's question in the affirmative. It produces a measure that stays translation-bounded while its diffraction measure is supported exactly on one sphere and is rotationally invariant. This shows that the single-sphere case is attainable within the class of translation-bounded measures, which is relevant for models of diffraction in mathematical physics.

Core claim

The authors construct a translation-bounded measure such that its diffraction measure is supported on a single sphere and is rotationally invariant, thereby answering the existence question affirmatively by direct construction.

What carries the argument

Explicit construction of a translation-bounded measure whose autocorrelation has Fourier transform supported exactly on the chosen sphere with rotational invariance.

Load-bearing premise

The explicit formulas must keep the measure translation-bounded while making its diffraction supported precisely on the single sphere and rotationally invariant.

What would settle it

A direct computation of the diffraction for the constructed measure that finds support outside the chosen sphere, loss of rotational invariance, or failure of translation-boundedness would disprove the claim.

read the original abstract

Is there a translation-bounded measure whose diffraction is spherically symmetric and concentrated on a single sphere? This note constructively answers this question of Strungaru in the affirmative.

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

This note gives an explicit construction that affirmatively settles Strungaru's existence question for a translation-bounded measure with single-sphere, rotationally symmetric diffraction.

read the letter

Colleague, the main takeaway is that Baake, Mazáč, and Korfanty supply a concrete construction answering Strungaru's question yes: there is a translation-bounded measure whose diffraction is spherically symmetric and supported exactly on one sphere. They do this by writing down an explicit measure, computing its autocorrelation as another translation-bounded measure, and showing that the Fourier transform of the autocorrelation lands precisely on the chosen sphere with full rotational invariance. The checks for boundedness and exact support appear to go through without gaps or extra assumptions that would break the result. This is new because the prior literature left the existence open, and the paper supplies the first affirmative example rather than a conditional or negative statement. The argument stays direct and sticks to the stated problem. Soft spots are minor. As a short note it does not explore stability under small changes or extensions to other dimensions, but those are natural next questions and not flaws in the current claim. The math does not rely on circular definitions or parameter fitting that would undermine the construction. This is for people working in diffraction theory and aperiodic order who need concrete examples of possible diffraction supports. A reader already familiar with translation-bounded measures and their Fourier transforms will get immediate value and a usable object to think about. It deserves a serious referee because the central existence claim is settled by verifiable construction rather than hand-waving. I would recommend sending it through peer review.

Referee Report

0 major / 1 minor

Summary. The manuscript constructively answers Strungaru's question in the affirmative by exhibiting an explicit translation-bounded measure whose autocorrelation exists as a translation-bounded measure and whose Fourier transform (the diffraction measure) is rotationally invariant and supported exactly on a single sphere of prescribed radius.

Significance. The result is significant in the mathematical theory of diffraction for translation-bounded measures, as it supplies the first explicit construction satisfying both translation-boundedness and the strong symmetry-plus-exact-support conditions on the diffraction measure. The provision of concrete formulas that simultaneously verify boundedness and the precise support of the Fourier transform of the autocorrelation strengthens the contribution and offers a verifiable example for further work in harmonic analysis and quasicrystal diffraction.

minor comments (1)

The note is concise; a short paragraph recalling the precise statement of Strungaru's question (with citation) at the beginning of the introduction would improve accessibility for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending acceptance. The report accurately captures the contribution of the explicit construction of a translation-bounded measure whose diffraction is rotationally invariant and supported on a single sphere.

Circularity Check

0 steps flagged

No significant circularity; explicit construction is self-contained

full rationale

The paper settles an existence question via direct construction of a translation-bounded measure whose autocorrelation Fourier transform is supported exactly on a chosen sphere and is rotationally invariant. The derivation proceeds by specifying the measure, verifying the translation-boundedness condition, establishing existence of the autocorrelation as a translation-bounded measure, and computing its Fourier transform to confirm the support and symmetry properties. None of these steps reduces to a fitted parameter renamed as a prediction, a self-definitional loop, or a load-bearing self-citation whose content is itself unverified. The central claim therefore rests on independent verification of the stated formulas against the two required properties rather than on any circular reduction to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard facts from harmonic analysis and the theory of translation-bounded measures; no free parameters, ad-hoc axioms, or invented entities are indicated by the abstract.

axioms (1)

standard math Fourier transform of the autocorrelation of a translation-bounded measure yields its diffraction measure.
Core definition in diffraction theory invoked to equate the constructed object with the desired diffraction property.

pith-pipeline@v0.9.0 · 5556 in / 1204 out tokens · 39623 ms · 2026-05-18T04:43:38.786427+00:00 · methodology

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

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)