Recognition: 2 theorem links
· Lean TheoremSome properties of Fourier quasicrystals and measures on a strip
Pith reviewed 2026-05-12 04:25 UTC · model grok-4.3
The pith
For measures on a finite-width strip with pure-point Fourier transform, the squared-coefficient measure grows exponentially, and the transform measure does too under local linear independence of frequencies.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We consider positive or translation bounded measures μ on a strip whose Fourier transform is a pure point measure ˆμ=∑_{γ∈Γ}b_γ δ_γ. We prove that the measure ν=∑_{γ∈Γ}|b_γ|^2 δ_γ has the exponential growth. Moreover, if for some η>0 the points of Γ in every interval of length η are linearly independent over integers, then the measure ˆμ also has the exponential growth.
What carries the argument
The generalized Fourier transform for measures on the strip, which converts the pure-point assumption on the transform into exponential-growth statements for the squared-coefficient measure and, under the independence condition, for the transform measure itself.
If this is right
- The squared Fourier coefficients of such measures cannot decay too rapidly at infinity.
- Under the local independence condition the frequencies themselves cannot accumulate too densely without large amplitudes.
- The support of the spectrum Γ must satisfy quantitative distribution constraints derived from the growth.
- These bounds extend one-dimensional quasicrystal growth results directly to the strip geometry.
Where Pith is reading between the lines
- The same growth statements may hold for measures whose support is a finite union of parallel strips.
- The linear-independence hypothesis could be weakened to a density condition while preserving the conclusion for ˆμ.
- Concrete examples such as periodic measures perturbed along the strip direction could be checked numerically to verify the growth rates.
- The results supply a template for proving analogous bounds when the ambient space is a cylinder or other bounded-width manifold.
Load-bearing premise
The input measure on the strip must be positive or translation-bounded and must have a pure-point Fourier transform in the strip sense; the second growth claim additionally requires that frequencies in every interval of fixed length η are linearly independent over the integers.
What would settle it
An explicit positive translation-bounded measure supported on a strip whose Fourier transform is pure point yet whose squared-coefficient measure fails to exhibit exponential growth.
read the original abstract
In our paper we extend some results of the theory of Fourier quasicrystals on the real line to a horizontal strip of finite width. For measures in a strip we use a natural generalization of the usual Fourier transform for measures on the line. We consider positive or translation bounded measures $\mu$ on a strip whose Fourier transform is a pure point measure $\hat\mu=\sum_{\gamma\in\Gamma}b_\gamma\delta_\gamma$ (as usual, $\delta_\gamma$ is the unit mass at the point $\gamma$). We prove that the measure $\nu=\sum_{\gamma\in\Gamma}|b_\gamma|^2\delta_\gamma$ has the exponential growth. Moreover, if for some $\eta>0$ the points of $\Gamma$ in every interval of length $\eta$ are linearly independent over integers, then the measure $\hat\mu$ also has the exponential growth.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends results on Fourier quasicrystals from the real line to measures supported on a horizontal strip of finite width. For positive or translation-bounded measures μ on the strip whose Fourier transform (via the natural strip generalization) is a pure-point measure ˆμ = ∑_{γ∈Γ} b_γ δ_γ, it proves that the squared-coefficient measure ν = ∑_{γ∈Γ} |b_γ|^2 δ_γ has exponential growth. Under the additional hypothesis that for some η > 0 the points of Γ lying in every interval of length η are linearly independent over the integers, it further shows that ˆμ itself has exponential growth.
Significance. If the derivations hold, this provides a direct and parameter-free extension of standard 1D Fourier quasicrystal growth estimates to the strip setting, using only the same positivity/translation-boundedness and pure-point spectrum assumptions as in the line case together with a standard linear-independence device to upgrade the growth from ν to ˆμ. The generalized Fourier transform is presented as reducing naturally to the classical one, preserving the structure of the 1D theorems without introducing hidden dependence on strip width. This could be useful for analyzing quasiperiodic structures confined to bounded transverse directions.
minor comments (3)
- Abstract: the phrase 'exponential growth' for the measures ν and ˆμ is not defined or referenced; a one-sentence recall of the standard definition (sup_{x} μ([x,x+R]) ≤ C e^{c R} for some c,C) or citation to the 1D literature would improve readability.
- The generalized Fourier transform is introduced only descriptively as 'natural'; an explicit formula (presumably integrating against e^{-2π i ξ x} along the longitudinal variable while treating the transverse coordinate as a parameter) should appear in the first section to allow immediate verification of the reduction to the line case.
- The linear-independence condition on Γ is stated clearly, but a brief remark on why it is needed only for the second claim (and how it interacts with the strip geometry) would help readers unfamiliar with the 1D precedent.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments or requested changes appear in the report.
Circularity Check
No circularity: derivation extends line-case results via new strip transform definition without reduction to inputs
full rationale
The paper introduces a generalized Fourier transform for measures supported on a finite-width strip, assumes μ is positive or translation-bounded with pure-point ˆμ, and proves exponential growth of ν (and of ˆμ under the stated linear-independence condition on Γ). These steps rely on the new definition plus standard estimates that do not presuppose the target growth statements; no parameter is fitted to data and then renamed as a prediction, no self-citation supplies a uniqueness theorem that forces the conclusion, and the linear-independence hypothesis is an explicit extra assumption rather than a hidden redefinition. The argument is therefore self-contained against the stated hypotheses and does not collapse to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption A natural generalization of the Fourier transform exists for measures supported on the strip and preserves the pure-point character when applicable.
- domain assumption The measure μ is positive or translation-bounded.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearTheorem 2: ν(t−1,t+1)=O(e^{4πH|t|}) ... type at most 4πH
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclearlinear independence over Z of Γ∩(t−η,t+η)
Reference graph
Works this paper leans on
-
[1]
Alon, L., Kummer, M., Kurasov, P., Vinzant, C.Higher dimensional Fourier Quasicrystals from Lee-Yang varieties,Invent. Math.239(2025), 321–376. https://doi.org/10.1007/s00222-024-01307-8
-
[2]
Bohr, H. Almost Periodic Functions, ed. Chelsea, New-York, 1951, 114pp. https://www.amazon.co.uk/Almost-Periodic-Functions-Chelsea-Publishing/dp/082840027X
- [3]
-
[4]
https://DOI:10.1007/s10476-024-00031-y
Favorov, S.Yu.The crystalline measure that is not a Fourier Quasicrystal,Analysis Mathematica50 (2024), 455–462. https://DOI:10.1007/s10476-024-00031-y
-
[5]
https://DOI: 10.4064/sm240507-2-8
Favorov, S.Yu.Non-negative crystalline and Poisson measures in the Euclidean space,Studia Mathe- matica278(2024), 81–98. https://DOI: 10.4064/sm240507-2-8
-
[6]
Favorov, S.Yu.Analogues of Fourier quasicrystals for a strip,Analysis Mathematica,51, no.2, 457-475 https://doi.org/10.1007/s10476-024-00089-2
-
[7]
Math.51, no.4 (2025), 1313-1325 https://doi.org/10.1007/s10476-025-00106-
Favorov, S.Yu.Application of methods of quasicrystals theory to entire functions of exponential growth, Anal. Math.51, no.4 (2025), 1313-1325 https://doi.org/10.1007/s10476-025-00106-
- [8]
- [9]
-
[10]
Kurasov, P., Sarnak, P.Stable polynomials and crystalline measures,J. Math. Phys.61no.8 (2020), https://doi.org/10.1063/5.0012286
-
[11]
Lawton, W. M., Tsikh, A. K.Fourier quasicrystals on Rn,The Journal of Geometric Analysis (2025) 35-93, https://doi.org/10.1007/s12220-025-01911-x
-
[12]
Levin, B.Ja. Lections on Entire Functions. Transl. of Math. Monograph, MMONO/150, AMS Provi- dence, R1, 1996, 248pp. https://bookstore.ams.org/view?ProductCode=MMONO/150
work page 1996
-
[13]
Levitan, B.M. Almost Periodic Functions. Gostehizdat, Moscow. 1953, 396pp. (In Russian)
work page 1953
-
[14]
Meyer, Y.Global and local estimates on trigonometric sums,Trans. R. Norw. Soc. Sci. Lett. no.2 (2018), 1–25. https://www.dknvs.no/wp-content/uploads/2018/12/Skrifter-2-2018-Meyer-Scr.pdf
work page 2018
-
[15]
Meyer, Y.Multidimensional crystalline measures,Trans. R. Norw. Soc. Sci. Lett. no.1 (2023), 1–24. https://www.dknvs.no/wp-content/uploads/2023/07/Skrifter-01-2023-Yves-Meyer.pdf
work page 2023
-
[16]
Olevskii, A., Ulanovskii A.Fourier quasicrystals with unit masses,Comptes Rendus Mathematique, 358(2020), 1207–1211.https://doi.org/10.5802/crmath.142Harmonic Analysis
- [17]
-
[18]
Radchenko, D., Viazovska, M.Fourier interpolation on the real line,Publ. Math. IHES129(2019), 51–81. https://doi.org/10.1007/s10240-018-0101-z Sergii Favorov, V.N.Karazin Kharkiv National University, Department of Pure Mathematics Svobody sq., 4, Kharkiv, Ukraine 61022 Email address:sfavorov@gmail.com ¨Ozkan Deˇger, Istanbul University Department of Mathe...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.