On almost periodicity in crystalline measures
Pith reviewed 2026-05-25 02:30 UTC · model grok-4.3
The pith
Crystalline measures need not be almost periodic even as general distributions, since almost periodicity is equivalent to translation boundedness and counterexamples violate the latter.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Almost periodicity of a crystalline measure is equivalent to its translation boundedness across the three classes of Radon measures, tempered distributions, and general distributions. A crystalline Fourier eigenmeasure exists that fails translation boundedness in the space of general distributions. A further crystalline measure exists that is not a Fourier quasicrystal (in particular it is not slowly increasing) yet remains an almost periodic tempered distribution whose Fourier transform is norm almost periodic.
What carries the argument
Translation boundedness, which is shown to be equivalent to almost periodicity for crystalline measures in each of the three distributional classes.
If this is right
- Almost periodicity holds exactly when the crystalline measure is translation bounded in the chosen class.
- There exist crystalline measures that are not almost periodic as general distributions.
- Crystalline measures properly contain the Fourier quasicrystals and can exhibit almost periodicity without slow increase.
- The boundary between translation-bounded and non-translation-bounded crystalline measures is now sharply delineated.
Where Pith is reading between the lines
- Similar translation-boundedness characterizations may apply to other classes of measures with pure-point Fourier transforms.
- The constructions supply concrete test cases for studying growth conditions or regularity properties beyond the crystalline definition.
- Questions about almost periodicity for related objects such as tempered distributions with discrete spectra could be settled by analogous boundedness criteria.
Load-bearing premise
The constructed objects remain crystalline measures (both the object and its Fourier transform are pure-point Radon measures of locally finite support) while failing to be translation bounded as general distributions.
What would settle it
An explicit verification that the constructed Fourier eigenmeasure is in fact translation bounded when tested against all compactly supported continuous test functions, or a proof that any object satisfying the crystalline definition must automatically be translation bounded.
read the original abstract
Meyer defined crystalline measures as tempered distributions $\mu$ such that both $\mu$ and its Fourier transform $\widehat\mu$ are pure-point Radon measures of locally finite support. He conjectured that every crystalline measure is almost periodic as a tempered distribution. Favorov constructed a counterexample and asked whether crystalline measures are at least almost periodic as general distributions. To resolve Favorov's question, we first show that the almost periodicity of a crystalline measure is characterised in terms of its translation boundedness, in any class of Radon measures, tempered distributions, or general distributions. We then construct a crystalline Fourier eigenmeasure that fails to be translation bounded even as a distribution. We finally construct a crystalline measure that fails to be a~Fourier quasicrystal (in particular, it fails to be slowly increasing), but it is an almost periodic tempered distribution whose Fourier transform is even a norm almost periodic measure. Our examples fully resolve the questions of Meyer and Favorov and sharply delineate the class boundary of translation boundedness. They also demonstrate the unusual behaviour of crystalline measures beyond the class of Fourier quasicrystals.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper characterizes the almost periodicity of crystalline measures (tempered distributions μ such that both μ and ˆμ are pure-point Radon measures with locally finite support) in terms of translation boundedness, holding in the classes of Radon measures, tempered distributions, and general distributions. It constructs a crystalline Fourier eigenmeasure that fails to be translation bounded even as a distribution, and a second crystalline measure that is almost periodic as a tempered distribution (with norm almost periodic Fourier transform) but fails to be a Fourier quasicrystal or slowly increasing. These resolve the questions of Meyer and Favorov.
Significance. If the constructions are valid, the results resolve open questions on almost periodicity for crystalline measures by providing an explicit negative answer to Favorov via a Fourier eigenmeasure counterexample and by delineating the precise role of translation boundedness. The characterization theorem is a clean structural result, and the examples demonstrate behavior strictly outside the Fourier quasicrystal class while remaining almost periodic in the tempered sense. Explicit constructions of this type are a strength.
major comments (2)
- [§4] §4 (Constructions), first example: the verification that the constructed Fourier eigenmeasure μ satisfies both μ and ˆμ being pure-point Radon measures of locally finite support (while ˆμ fails to be translation bounded as a distribution) is not load-bearing if left implicit; the text must explicitly confirm the support and Radon conditions hold without forcing translation boundedness, as this is the central counterexample to Favorov's question.
- [§3] Characterization theorem (likely §3): the equivalence between almost periodicity and translation boundedness is stated for general distributions, but the proof sketch does not address whether the crystalline assumption (pure-point Radon with locally finite support) is used in both directions or only one; this affects whether the characterization applies uniformly across the three classes mentioned in the abstract.
minor comments (1)
- [Introduction] Notation for the Fourier transform and the spaces (tempered vs. general distributions) should be fixed consistently in the introduction and §2 to avoid ambiguity when stating the characterization.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on the manuscript. We address each major comment below and will make the requested revisions to improve clarity and explicitness.
read point-by-point responses
-
Referee: [§4] §4 (Constructions), first example: the verification that the constructed Fourier eigenmeasure μ satisfies both μ and ˆμ being pure-point Radon measures of locally finite support (while ˆμ fails to be translation bounded as a distribution) is not load-bearing if left implicit; the text must explicitly confirm the support and Radon conditions hold without forcing translation boundedness, as this is the central counterexample to Favorov's question.
Authors: We agree that the verification must be made fully explicit rather than left implicit. In the revised version of §4, we will add a dedicated paragraph confirming that the constructed μ and ˆμ are pure-point Radon measures with locally finite support, while separately verifying that translation boundedness fails as a distribution. This will be done without altering the construction itself. revision: yes
-
Referee: [§3] Characterization theorem (likely §3): the equivalence between almost periodicity and translation boundedness is stated for general distributions, but the proof sketch does not address whether the crystalline assumption (pure-point Radon with locally finite support) is used in both directions or only one; this affects whether the characterization applies uniformly across the three classes mentioned in the abstract.
Authors: The theorem states the equivalence separately within each of the three classes (Radon measures, tempered distributions, general distributions) for crystalline measures. The crystalline assumption is invoked to guarantee that the objects remain in the respective class, but the direction 'almost periodic implies translation bounded' holds by the definition of almost periodicity alone, while the converse direction uses the pure-point and locally finite support properties to construct the almost periodic function. We will expand the proof sketch in the revised §3 to explicitly separate the two directions and confirm that the result applies uniformly in each class as stated in the abstract. revision: yes
Circularity Check
No circularity; constructions and characterization are independent of inputs
full rationale
The paper's central results consist of a characterization of almost periodicity for crystalline measures in terms of translation boundedness, followed by explicit constructions of counterexamples (a crystalline Fourier eigenmeasure that is not translation bounded as a distribution, and a crystalline measure that is not a Fourier quasicrystal). These steps rely on direct verification against the definitions of crystalline measures (pure-point Radon measures of locally finite support for both μ and ˆμ) and do not reduce any claimed prediction or theorem to a fitted parameter, self-citation chain, or ansatz smuggled from prior work. The characterization is derived from standard properties of Radon measures and distributions rather than being forced by the constructions themselves. No load-bearing step equates to its own input by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Fourier transform extends to tempered distributions and general distributions while preserving the pure-point Radon measure property under the crystalline definition
Reference graph
Works this paper leans on
- [1]
-
[2]
L. Alon and C. Vinzant, Gap distributions of Fourier quasicrystals with integer weights via Lee–Yang polynomials,Rev. Mat. Iberoam.40(2024), 2203–2250;arXiv:2307.13498
- [3]
-
[4]
B. ´Alvarez-Samaniego, W.P. ´Alvarez-Samaniego and D. Llerena-Montenegro, Approximate identities for the Schwartz space,Anal. Math. Phys.11(2021), 1–14
work page 2021
-
[5]
L.N. Argabright and J. Gil de Lamadrid,Fourier Analysis of Unbounded Measures on Locally Compact Abelian Groups, Memoirs Amer. Math. Soc., Vol.145, Providence, RI (1974)
work page 1974
-
[6]
M. Baake and U. Grimm,Aperiodic Order. Vol. 1: A Mathematical Invitation, Cambridge University Press, Cambridge (2013)
work page 2013
-
[7]
Dynamical systems on translation bounded measures: Pure point dynamical and diffraction spectra
M. Baake and D.H. Lenz, Dynamical systems on translation bounded measures: pure point dynamical and diffraction spectra,Ergod. Theory Dyn. Syst.24(2004), 1867–1893;arXiv:math/0302061
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[8]
Characterizations of model sets by dynamical systems
M. Baake, D.H. Lenz and R.V. Moody, Characterization of model sets by dynamical systems,Ergod. Theory Dyn. Syst.27(2007), 341–382;arXiv:math/0511648
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[9]
Weighted Dirac combs with pure point diffraction
M. Baake and R.V. Moody, Weighted Dirac combs with pure point diffraction,J. reine angew. Math. (Crelle)573(2004), 61–94;arXiv:math/0203030
work page internal anchor Pith review Pith/arXiv arXiv 2004
- [10]
-
[11]
M. Baake and N. Strungaru, A note on tempered measures,Coll. Math.172(2023), 15–30; arXiv:2202.09175
- [12]
-
[13]
C. Berg and G. Forst,Potential Theory on Locally Compact Abelian Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete87, Springer, New York (1975)
work page 1975
-
[14]
G. Bernuau and M. Duneau, Fourier analysis of deformed model sets, in:Directions in Mathematical Quasicrystals, eds. M. Baake and R.V. Moody, CRM Monograph Series13, AMS, Providence, RI (2000), pp. 43–60
work page 2000
-
[15]
Besicovitch,Almost Periodic Functions, Dover Publications, New York (1955)
A.S. Besicovitch,Almost Periodic Functions, Dover Publications, New York (1955)
work page 1955
-
[16]
M. Bj¨ orklund and T. Hartnick, Approximate lattices,Duke Math. J.167(2018), 2903–2964; arXiv:1612.09246
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[17]
Bohr,Almost Periodic Functions, English edition, Chelsea, NY (1947)
H. Bohr,Almost Periodic Functions, English edition, Chelsea, NY (1947)
work page 1947
-
[18]
P. Boyvalenkov and S.Y. Favorov, Growth of masses of crystalline measures,preprint;arXiv:2503.19567
-
[19]
de Bruijn, Quasicrystals and their Fourier transform,Nederl
N.G. de Bruijn, Quasicrystals and their Fourier transform,Nederl. Akad. Wetensch. Indag. Math.48 (1986), 123–152
work page 1986
-
[20]
de Bruijn, Modulated quasicrystals,Nederl
N.G. de Bruijn, Modulated quasicrystals,Nederl. Akad. Wetensch. Indag. Math.49(1987), 121–132
work page 1987
-
[21]
Eberlein, Abstract ergodic theorems and weak almost periodic functions,Trans
W.F. Eberlein, Abstract ergodic theorems and weak almost periodic functions,Trans. Amer. Math. Soc.67 (1949), 217–224. 32 JAN MAZ ´AˇC, CHRISTOPH RICHARD, AND NICOLAE STRUNGARU
work page 1949
-
[22]
Fourier quasicrystals and Lagarias' conjecture
S.Y. Favorov, Fourier quasicrystals and Lagarias’ conjecture,Proc. Amer. Math. Soc.144(2016), 3527– 3536;arXiv:1503.00172
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[23]
Large Fourier Quasicrystals and Wiener's Theorem
S.Y. Favorov, Large Fourier quasicrystals and Wiener’s theorem,J. Fourier Anal. Appl.25(2019), 377– 392;arXiv:1701.06211
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[24]
Favorov, Non-negative crystalline and Poisson measures in the Euclidean space,Stud
S.Y. Favorov, Non-negative crystalline and Poisson measures in the Euclidean space,Stud. Math.278 (2024), 81–98;arXiv:2404.15448
-
[25]
Favorov, Almost periodic distributions and crystalline measures,Mat
S.Y. Favorov, Almost periodic distributions and crystalline measures,Mat. Stud.61(2024), 97–108; arXiv:2211.16856
-
[26]
S.Y. Favorov, A crystalline measure that is not a Fourier quasicrystal,Anal Math.50(2024), 455–462; arXiv:2401.01121
-
[27]
Favorov, Generalized Fourier quasicrystals, almost periodic sets, and zeros of Dirichlet series, J
S.Y. Favorov, Generalized Fourier quasicrystals, almost periodic sets, and zeros of Dirichlet series, J. Math. Phys. Anal. Geom.20(2024), 279–297;arXiv:2311.02728
-
[28]
S. Favorov, A. Rashkovskii and L. Ronkin, Almost periodic divisors in a strip,J. Anal. Math.74(1998), 325–345
work page 1998
-
[29]
H.G. Feichtinger, C. Richard, C. Schumacher and N. Strungaru, Twice Fourier transformable measures and diffraction theory,preprint,arXiv:2411.14987
-
[30]
J. Gil de Lamadrid and L.N. Argabright,Almost Periodic Measures, Memoirs of the Amer. Math. Soc., Vol.85, No. 428 (1990)
work page 1990
-
[31]
Graham, The support of tempered distributions,Math
C.C. Graham, The support of tempered distributions,Math. Proc. Camb. Phil. Soc.144(2008), 495–498
work page 2008
-
[32]
L. Grafakos,Classical Fourier Analysis, 3rd ed., Graduate Texts in Mathematics249, Springer, New York (2014)
work page 2014
-
[33]
Quasicrystals and almost periodicity
J.-B. Gou´ er´ e, Quasicrystals and almost periodicity,Commun. Math. Phys.255(2005), 655–681; arXiv:math-ph/0212012
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[34]
Guinand, Concordance and the harmonic analysis of sequences.Acta Math.101(1959), 235–271
A.P. Guinand, Concordance and the harmonic analysis of sequences.Acta Math.101(1959), 235–271
work page 1959
-
[35]
Hartman, Remarks on equidistribution on non-compact groups,Compos
S. Hartman, Remarks on equidistribution on non-compact groups,Compos. Math.16(1964), 66–71
work page 1964
-
[36]
Hof, On diffraction by aperiodic structures,Comm
A. Hof, On diffraction by aperiodic structures,Comm. Math. Phys.169(1995), 25–43
work page 1995
-
[37]
J.P. Kahane and R. Salem, Sur les ensembles de Carlsson et de Helson,C. R. Acad. Sci. Paris243(1956), 1706–1708
work page 1956
-
[38]
Fourier pairs of discrete support with little structure
M.N. Kolountzakis, Fourier pairs of discrete support with little structure,J. Fourier Anal. Appl.22 (2016), 1–5;arXiv:1502.06283
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[39]
Gateways towards quasicrystals
P. Kramer, Gateways towards quasicrystals, in:Aperiodic Order Vol. 2., Crystallography and Almost Periodicity, eds. M. Baake and U. Grimm, Cambridge University Press, Cambridge (2017), pp. 363–380; arXiv:1101.0061v1
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[40]
P. Kurasov,Spectral Geometry of Graphs, Operator Theory: Advances and Applications293, Birkh¨ auser Springer, Berlin (2024)
work page 2024
-
[41]
P. Kurasov and P. Sarnak, Stable polynomials and crystalline measures,J. Math. Phys.61(8) (2020), 083501;arXiv:2004.05678
-
[42]
J.C. Lagarias, Mathematical quasicrystals and the problem of diffraction, in:Directions in Mathematical Quasicrystals, eds. M. Baake and R.V. Moody, CRM Monograph Series13, AMS, Providence, RI (2000), pp. 61–93
work page 2000
-
[43]
Lawton, Bohr almost periodic sets of toral type,J
W.M. Lawton, Bohr almost periodic sets of toral type,J. Geom. Anal.32(2022), 60:1–20; arXiv:2107.10611
-
[44]
W.M. Lawton and A.K. Tsikh, Fourier quasicrystals onR n,J. Geom. Anal.35(2025), 93:1–50; arXiv:2403.08659
- [45]
- [46]
-
[47]
D.H. Lenz and C. Richard, Pure point diffraction and cut-and-project schemes for measures: the smooth case,Math. Z.256(2007), 347–378. ON ALMOST PERIODICITY IN CRYSTALLINE MEASURES 33
work page 2007
- [48]
- [49]
-
[50]
D.H. Lenz and N. Strungaru, On weakly almost periodic measures,Trans. Amer. Math. Soc.371(2019), 6843–6881;arXiv:1609.08219
-
[51]
Quasicrystals and Poisson's summation formula
N. Lev and A. Olevskii, Quasicrystals and Poisson’s summation formula,Invent. Math.200(2015), 585– 606;arXiv:1312.6884
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[52]
Quasicrystals with discrete support and spectrum
N. Lev and A. Olevskii, Quasicrystals with discrete support and spectrum,Rev. Mat. Iberoam.32(4) (2016), 1341–1352;arXiv:1501.00085
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[53]
Fourier quasicrystals and discreteness of the diffraction spectrum
N. Lev and A. Olevskii, Fourier quasicrystals and discreteness of the diffraction spectrum,Adv. Math. 315(2017), 1–26;arXiv:1512.08735
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[54]
B.J. Levin,Distributions of Zeros of Entire Functions, Translations of Mathematical Monographs5, AMS, Providence, RI (1980)
work page 1980
-
[55]
D. Levine and P. Steinhardt, Quasicrystals: a new class of ordered structures,Phys. Rev. Lett.53(1984), 2477–2479
work page 1984
-
[56]
Levitan,Poˇ cti-periodiˇ ceskie funkcii (Almost Periodic Functions), Gosudarstv
B.M. Levitan,Poˇ cti-periodiˇ ceskie funkcii (Almost Periodic Functions), Gosudarstv. Izdat. Tehn.-Teor. Lit., Moscow (1953)
work page 1953
-
[57]
T.S. Liu, A. van Rooij, W. Arnoud and J.K. Wang, On some group algebra modules related to Wiener’s algebraM 1,Pacific J. Math.55(1974), 507–520
work page 1974
-
[58]
Meyer,Algebraic Numbers and Harmonic Analysis, North-Holland, Amsterdam (1972)
Y. Meyer,Algebraic Numbers and Harmonic Analysis, North-Holland, Amsterdam (1972)
work page 1972
-
[59]
Meyer, Quasicrystals, diophantine approximation, and algebraic numbers, in:Beyond Quasicrystals, eds
Y. Meyer, Quasicrystals, diophantine approximation, and algebraic numbers, in:Beyond Quasicrystals, eds. F. Axel and D. Gratias, Les editions de physique, Springer, New York (1995), pp. 3-16
work page 1995
-
[60]
Meyer, Quasicrystals, almost periodic patterns, mean–periodic functions, and irregular sampling, Afr
Y. Meyer, Quasicrystals, almost periodic patterns, mean–periodic functions, and irregular sampling, Afr. Diaspora J. Math.,13(1) (2012), 1–45
work page 2012
-
[61]
Meyer, Measures with locally finite support and spectrum,Proc
Y. Meyer, Measures with locally finite support and spectrum,Proc. Natl. Acad. Sci. U.S.A.113(12) (2016), 3152–3158
work page 2016
-
[62]
Meyer, Guinand’s measures are almost periodic distributions,Bull
Y. Meyer, Guinand’s measures are almost periodic distributions,Bull. Hellenic Math. Soc.61(2017), 11–20
work page 2017
-
[63]
Meyer, Global and local estimates on trigonometric sums,Trans
Y. Meyer, Global and local estimates on trigonometric sums,Trans. R. Norw. Soc. Sci. Lett.2018(1) (2018), 1–25
work page 2018
-
[64]
Y. Meyer, Curved model sets and crystalline measures, in:Theoretical Physics, Wavelets, Analysis, Genomics–An Indisciplinary Tribute to Alex Grossmann, eds. P. Flandrin, S. Jaffard, T. Pauland and B. Torresani, Birkh¨ auser, Cham (2023), pp. 389–407
work page 2023
-
[65]
Meyer, Crystalline measures in two dimensions,Publ
Y. Meyer, Crystalline measures in two dimensions,Publ. Mat.67(2023), 469–480
work page 2023
-
[66]
Meyer, Multidimensional crystalline measures,Trans
Y. Meyer, Multidimensional crystalline measures,Trans. R. Norw. Soc. Sci. Lett.2023(2) (2023), 1–24
work page 2023
-
[67]
R.V. Moody and N. Strungaru, Almost periodic measures and their Fourier transforms, in:Aperiodic Order. Vol. 2. Crystallography and Almost Periodicity, eds. M. Baake and U. Grimm, Cambridge University Press, Cambridge (2017), pp. 173–270
work page 2017
-
[68]
A. Olevskii and A. Ulanovskii, Fourier quasicrystals with unit masses,C. R. Math.,358(11-12) (2020), 1207–1211;arXiv:2009.12810
-
[69]
A. Olevskii and A. Ulanovskii, A simple crystalline measure,preprint;arXiv:2006.12037
-
[70]
H. Petzeltov´ a and P. Vrbov´ a, Factorization in the algebra of rapidly decreasing functions,Comment. Math. Univ. Carolin.19(3) (1978), 489–499
work page 1978
-
[71]
F. Pogorzelski, C. Richard and N. Strungaru, Leptin densities in amenable groups,J. Fourier Anal. Appl. 28(2022), 85:1–36;arXiv:2107.04760
-
[72]
Dense Dirac combs in Euclidean space with pure point diffraction
C. Richard, Dense Dirac combs in Euclidean space with pure point diffraction,J. Math. Phys.44(10) (2003), 4436–4449;arXiv:math-ph/0302049
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[73]
C. Richard and N. Strungaru, Pure point diffraction and Poisson summation,Ann. H. Poincar´ e18(2017), 3903–3931;arXiv:1512.00912. 34 JAN MAZ ´AˇC, CHRISTOPH RICHARD, AND NICOLAE STRUNGARU
-
[74]
Rudin,Functional Analysis, Second Edition, McGraw–Hill, Singapore (1991)
W. Rudin,Functional Analysis, Second Edition, McGraw–Hill, Singapore (1991)
work page 1991
-
[75]
D. Shechtman, I. Blech, D. Gratias and J.W. Cahn, Metallic phase with long-range orientational order and no translational symmetry,Phys. Rev. Lett.53(1984), 1951–1953
work page 1984
-
[76]
Schwartz,Th´ eorie des distributions, Hermann, Paris (1966)
L. Schwartz,Th´ eorie des distributions, Hermann, Paris (1966)
work page 1966
-
[77]
T. Spindeler and N. Strungaru, On the (dis)continuity of the Fourier transform of measures, J. Math. Anal. Appl.499(2021), 125062:1–36;arXiv:2002.01544
-
[78]
Strungaru, Almost periodic pure point measures, in:Aperiodic Order
N. Strungaru, Almost periodic pure point measures, in:Aperiodic Order. Vol. 2: Crystallography and Almost Periodicity, eds. M. Baake and U. Grimm, Cambridge University Press, Cambridge (2017), pp. 271– 342
work page 2017
-
[79]
Diffraction theory and almost periodic distributions
N. Strungaru and V. Terauds, Diffraction theory and almost periodic distributions,J. Stat. Phys.164 (2016), 1183–1216;arXiv:1603.04796
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[80]
van Eijndhoven, Functional analytic characterizations of the Gel’fand-Shilov spacesS β α,Ned- erl
S.J.L. van Eijndhoven, Functional analytic characterizations of the Gel’fand-Shilov spacesS β α,Ned- erl. Akad. Wetensch. Indag. Math.49(1987), 133–144
work page 1987
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.