Pith. sign in

REVIEW 5 major objections 5 minor 23 references

Frame bound, spectral gap and Plus space

T0 review · 5 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that the additive Lebesgue-type measure $\rho_{t_1,t_2}$ is spectral exactly when $t_1+t_2$ is an integer other than $-1$ or $t_1-t_2$ is a nonzero integer.

desk verdict The classification theorem is plausible and the sufficiency construction is elegant, but the necessity proof contains a false sine implication that is load-bearing for the main result. read the letter →

arxiv 2505.22136 v1 pith:Q4WYBBVX submitted 2025-05-28 math.FA

Zheng-Yi Lu This is my paper
classification math.FA MSC 28A8042C05
keywords frame-spectralmeasureessentialminimalspectralgapmaximalPlusspaceadditiveofLebesguetypeLandau'stheoremHurwitzzetafunction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper links the two-sided frame bounds of a measure to the distribution of gaps in its frame spectra and uses that link to settle an open question about orthogonal bases for a family of two-line measures. It introduces the essential minimal and maximal spectral gaps $g_{\min}(\Lambda)$ and $g_{\max}(\Lambda)$, and proves that a Fourier decay condition $|\hat{\mu}(\xi)| \leq C |\xi|^{-1}$ forces $g_{\min}(\Lambda) g_{\max}(\Lambda) \leq C^2 \pi^2 / A$. For Lebesgue measure on an interval, the paper obtains the two-sided estimate $4/(\pi^2 B) \leq g_{\max}(\Lambda) \leq \pi^2 B/A + 2$. Applying these gap bounds to the additive Lebesgue-type measure $\rho_{t_1,t_2} = \tfrac12(\mathcal{L}_{[t_1,t_1+1]} \times \delta_0 + \delta_0 \times \mathcal{L}_{[t_2,t_2+1]})$, the paper proves that it is a spectral measure exactly when $t_1+t_2 \in \mathbb{Z} \setminus \{-1\}$ or $t_1-t_2 \in \mathbb{Z} \setminus \{0\}$. In particular, the Plus space $L^2(\rho_{-1/2})$ has no exponential orthogonal basis, answering the open question.

What carries the argument

The essential minimal and maximal spectral gaps, defined by $g_{\min}(\Lambda) = \inf\{c \geq 0 : g_k(\Lambda) < c \text{ for infinitely many } k\}$ and $g_{\max}(\Lambda) = \sup\{c \geq 0 : g_k(\Lambda) > c \text{ for infinitely many } k\}$, carry the argument by converting the classical density theorem for frame spectra into gap constraints that depend on frame bounds. The quantitative engine is the Fourier lower-frame inequality: testing $e^{2\pi i \xi x}$ gives $A \leq C^2 \sum 1/|\lambda_k - \xi|^2$, and bounding this sum by a Hurwitz zeta function yields the product bound of Theorem 1.1. For the spectrality application, the load-bearing geometric input is Lemma 4.1: if $(\lambda_1,\lambda_2)$ lies in the zero set of the Fourier transform and $|\lambda_1| \leq 0.8$, then $\lambda_1 = \lambda_2$ or $\lambda_1 + \lambda_2 = 0$. The paper also uses a projection lemma, which says that the coordinates of a spectrum project to tight frame-spectra of the unit interval with frame bound $2$, reducing two-dimensional orthogonality to one-dimensional frame-gap constraints.

What would settle it

Run a bounded numerical search over $t_1,t_2$ and $\lambda_1 \in [-0.8,0.8]$ for a solution of the zero-set equation $e^{\pi i(\lambda_1(2t_1+1) - \lambda_2(2t_2+1))} \sin(\pi\lambda_1)/(\pi\lambda_1) + \sin(\pi\lambda_2)/(\pi\lambda_2) = 0$ with $\lambda_1 \neq \lambda_2$ and $\lambda_1 + \lambda_2 \neq 0$; finding one would disprove Lemma 4.1 and thereby break Propositions 4.3 and 4.5.

Watch

Extended reading notes

Core claim

The central claim is the classification of additive Lebesgue-type measures: $\rho_{t_1,t_2}$ is spectral if and only if $t_1+t_2 \in \mathbb{Z} \setminus \{-1\}$ or $t_1-t_2 \in \mathbb{Z} \setminus \{0\}$. The forward direction shows existence by exhibiting explicit spectra: when $t_1-t_2$ is a nonzero integer one takes the integer lattice together with a shifted copy, and similarly when $t_1+t_2$ is an integer other than $-1$, using the sum rule for Fourier transforms to verify the orthogonal-basis criterion. The reverse direction rules out every other parameter pair. It first shows that any spectrum projects to tight frame-spectra of the unit interval with frame bound $2$, so the new gap estimates force arbitrarily small gaps in the projection. A geometric lemma on the zero set of the Fourier transform then pushes those small gaps onto the diagonal or anti-diagonal, and a finite-local-complexity periodicity argument finishes by pinning the parameters to the two arithmetic conditions. A direct consequence is that the Plus space $L^2(\rho_{-1/2})$ admits no exponential orthogonal basis.

Load-bearing premise

The load-bearing premise is Lemma 4.1, which says that if $(\lambda_1,\lambda_2)$ is a zero of the Fourier transform of $\rho_{t_1,t_2}$ and $|\lambda_1| \leq 0.8$, then $\lambda_1 = \lambda_2$ or $\lambda_1 + \lambda_2 = 0$; the lemma's proof is a tangent-line and figure comparison, not a complete analytic derivation, and the later propositions rely on it directly.

Editorial extensions

If this is right

  • For any frame-spectrum of a measure with $|\hat{\mu}(\xi)| \leq C |\xi|^{-1}$, the product of the essential minimal and maximal gaps is at most $C^2 \pi^2 / A$, so stronger lower frame bounds force the spectrum to develop both arbitrarily small and larger-than-average spacings.
  • For Lebesgue measure on $[0,1]$, every $A,B$ frame-spectrum has essential maximal gap trapped between $4/(\pi^2 B)$ and $\pi^2 B/A + 2$.
  • A tight frame-spectrum of $L^2([0,1])$ has all consecutive spectral gaps bounded above by $\pi^2 + 2$.
  • The classification of additive Lebesgue-type measures is complete: such a measure is spectral exactly when $t_1+t_2 \in \mathbb{Z} \setminus \{-1\}$ or $t_1-t_2 \in \mathbb{Z} \setminus \{0\}$.
  • The Plus space $L^2(\rho_{-1/2})$ has no exponential orthogonal basis.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The $0.8$ threshold in Lemma 4.1 is probably not sharp; the same diagonal/anti-diagonal rigidity may hold for a larger radius, which would simplify verification of the geometric step without changing the main theorem.
  • Theorem 1.3 suggests a general uncertainty trade-off for absolutely continuous measures: the minimal gap of frame spectra with lower bound $A$ decays at least as fast as $A^{-1} \|g\|_2^2$, and this principle may extend to higher dimensions with the appropriate density.
  • The projection argument may transfer to other finite unions of orthogonal subspaces: spectrality could be probed by projecting a putative spectrum onto each component and checking one-dimensional frame-gap constraints.
  • A testable extension is to replace the interval length $1$ by general length $L$ in Corollary 1.4 and check whether the sharp constant becomes $L$.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 5 minor

Summary. The paper introduces essential minimal and maximal spectral gaps for frame spectra and derives quantitative relations between frame bounds and these gaps: Theorem 1.1 gives gmin(Λ)gmax(Λ) ≤ C²π²/A under a |µ̂(ξ)| ≤ C|ξ|⁻¹ decay assumption, Theorem 1.3 gives a limsup bound for A·gmin(Λ_A) in terms of the L² norm of the density, and Theorem 1.5 gives upper and lower bounds on the maximal gap for frames of L[0,1]. In the second half, the paper applies these estimates to additive Lebesgue-type measures ρ_{t1,t2}, proving that the Plus space L²(ρ_{-1/2}) has no exponential orthonormal basis (Proposition 4.3) and classifying spectrality of ρ_{t1,t2} (Theorem 1.7): ρ_{t1,t2} is spectral if and only if t1+t2 ∈ Z\{-1} or t1−t2 ∈ Z\{0}. The sufficiency direction is proved by explicit construction of spectra verified through the Jorgensen–Pedersen criterion; the necessity direction proceeds through frame bounds, Lemma 4.1, and Proposition 4.5.

Significance. If the gaps in the proofs are repaired, the paper would resolve an open question posed by Lai–Liu–Prince on the spectrality of Plus spaces and complete the classification of additive Lebesgue-type measures, extending recent results of Ai–Lu–Zhou and Kolountzakis–Wu. The quantitative frame-gap estimates are of independent interest and the explicit spectrum constructions in Proposition 4.8 are a clear strength. The paper is also honest about the role of external results, and the main classification is not circular: it does not assume the target theorem.

major comments (5)
  1. [Proposition 4.5, case λ1=λ2] The limit step after Eq. (4.5) is invalid. From the zero-set equation the author obtains sinπλ'_1 ± sinπλ'_2 = 0 and then writes 'which implies that λ'_1 = λ'_2'. This implication is false: sinπa + sinπb = 0 holds when a−b ∈ 2Z+1 or a+b ∈ 2Z, and sinπa − sinπb = 0 holds when a−b ∈ Z or a+b ∈ 2Z+1; none of these conditions forces a=b. This inference is exactly what reduces Λ to the diagonal and leads to the arithmetic conclusion t1−t2 ∈ Z, so the necessity direction of Theorem 1.7 is not established as written. The step is repairable by comparing the signed zero-set equation at two lattice points with the same sign instead of taking a limit, but as printed the assertion is false.
  2. [Lemma 4.1] The proof of Lemma 4.1 is incomplete: it relies on the phrase 'As can be seen from the figure' and on the unproved numerical bound |f(x0)| ≤ 0.22 for the minimal positive solution of tan x0 = x0. No analytic derivation is given for the claimed dichotomy λ1 = λ2 or λ1 + λ2 = 0 under |λ1| ≤ 0.8. Since this lemma is load-bearing for Proposition 4.3 and again for Proposition 4.5, the tangent-line/figure argument must be replaced by a complete analytic proof.
  3. [Theorem 1.1, proof of the claim on F(x)] The proof of the claim F(x) ≤ F(1/2) contains an incorrect displayed estimate. For x ≥ 0.65 the paper asserts F(x) ≤ x(1/x + 1/(x+1)²) + x∫_{x+1}^∞ t⁻² dt = 1 + 1/x − 1/(x+1)², but the natural bound from the preceding expression is 1/x + x/(x+1)² + x/(x+1); the displayed equality is false. The subsequent Taylor-series estimate for x ∈ [1/2, 0.65] is asserted through an unmotivated chain of inequalities that appears to contain algebraic errors and is not verifiable as written. Since this claim is exactly what yields gmin(Λ)gmax(Λ) ≤ C²π²/A, Theorem 1.1 is not proved as printed.
  4. [Lemma 4.4] The periodicity conclusion is imported without proof: 'Then, similar to the arguments of Lemma 5.4 of [15], τ1(Λ) is a periodic set with a period in Z.' This is a nontrivial transfer and is not established in the manuscript. In addition, the lower bound |g_k(τ_j(Λ))| ≥ min(1/(2|t1−t2|), 1/(2|t1+t2+1|)) does not follow from T(g_k(τ1),g_k(τ2)) ∈ Z\{0}: for example, when t1=t2 the condition is |g1−g2| ≥ 1/|2t1+1|, which allows g1 to be arbitrarily small. Lemma 4.4 is needed for Proposition 4.5, so this gap must be filled.
  5. [Proposition 4.5, passage after the diagonal reduction] Even if one grants Λ ⊂ {(x,x)}, the step 'This means T(λ'_1,λ'_2) ∈ 2Z+1 when (λ'_1,λ'_2) ∈ Λ−Λ with λ'_1 ∉ Z. Then τ1(Λ) ⊂ Z ∪ (λ1+Z)' is not justified. The oddness condition gives 2(λ'−μ)(t1−t2) ∈ 2Z+1 for two points λ', μ of τ1(Λ), which does not by itself imply that every non-integer element of τ1(Λ) lies in λ1+Z. This conclusion is then used to derive t1−t2 ∈ Z, so the gap is load-bearing for Theorem 1.7.
minor comments (5)
  1. [Theorem 1.5 and Theorem 1.3] The frame inequalities in the statements of Theorem 1.5, Theorem 1.3, and Proposition 2.1 are missing squares on the summands; as printed they are not the inequalities used in the proofs.
  2. [Theorem 1.5] The interval is written as '[0.1]' instead of '[0,1]' in the statement of Theorem 1.5 and in Proposition 2.1.
  3. [Lemma 4.4] There are typos: 'τ1(Λ1)' should be 'τ1(Λ)', and the denominator '2t′+1' appears to be a typo for '2t2+1'.
  4. [Lemma 4.1 and Figure 1] Figure 1 is referenced but no figure is included, and 'Figue' is a typo; the numerical constant 0.22 should be derived analytically rather than read from a graph.
  5. [Proposition 4.8] The definition of C mixes a summand with a summed quantity; the notation should be clarified so that the displayed formula for Σ|ρ̂(ξ+λ)|² is unambiguous.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity; one background self-citation is not load-bearing.

full rationale

After walking the derivation chain, I find no step in which a claimed prediction or theorem reduces by construction to its own inputs. Theorem 1.1 is derived by applying the frame inequality to exponential test functions and then estimating the resulting sum with the Hurwitz zeta function; Theorem 1.3 and Theorem 1.5 are separate Fourier-analytic estimates; Proposition 4.8 verifies the Jorgensen-Pedersen criterion by a direct Parseval computation. The necessity direction of Theorem 1.7 uses the external zero-set characterization of the additive measure from [17], the projection Lemma 4.2, and the frame estimates proved in Sections 2 and 3; it does not assume the conclusion of Theorem 1.7. The only self-citation is [1] (Ai, Lu, Zhou) in the background summary Theorem B, and that theorem is not used in the proof of Theorem 1.7, so the self-citation is not load-bearing. I also note two non-circular rigor concerns that do not affect the circularity score: Lemma 4.1's proof appeals to a figure and tangent-line argument rather than a complete analytic derivation, and Proposition 4.5's passage to the limit appears to assert that sin(pi lambda'_1) ± sin(pi lambda'_2) = 0 forces lambda'_1 = lambda'_2, which is not valid as written. These are correctness issues, not cases where an output is equivalent to an input by definition or by fitting.

Assumptions & free parameters 2 free parameters · 6 assumptions · 0 invented entities

The paper introduces the definitions of essential minimal and maximal spectral gap, but these are terminology, not new physical or mathematical entities. No new particles, forces, or structures are postulated. The free parameters listed are proof cutoffs chosen by hand, not fitted to data.

free parameters (2)
  • 0.8 threshold in Lemma 4.1 = 0.8
    Chosen so that sinc(0.8 pi)/(0.8 pi) is at least 0.23 while the first positive root of tan x = x has |sin x0 / x0| at most 0.22; this cutoff drives the structural conclusions of Section 4.
  • 0.65 split point in Theorem 1.1 claim = 0.65
    Ad hoc division for proving x zeta(2,x) <= pi^2/4; used only in the proof, not in the statement.
assumptions (6)
  • standard math Landau's theorem: a frame spectrum of L_Omega has lower Beurling density at least |Omega| (Theorem A, cited to [18]).
    Provides the density constraint that motivates and contextualizes the essential gap results; no proof is given in this paper.
  • domain assumption Zero set characterization of rho_hat (Eq. (4.1), cited to [17]).
    Enters at the start of Section 4 and is used in Lemmas 4.1, 4.4, Propositions 4.5 and 4.8.
  • standard math Jorgensen-Pedersen criterion: Lambda is a spectrum iff sum |mu_hat(xi + lambda)|^2 = 1 (Theorem 4.6).
    Used to verify the constructive direction in Proposition 4.8.
  • domain assumption Periodicity from finite local complexity (Lemma 5.4 of [15]).
    Lemma 4.4 concludes tau1(Lambda) is periodic by 'similar to the arguments of Lemma 5.4 of [15]'; this is a nontrivial imported result.
  • standard math Plancherel and Poisson summation formulas.
    Used in Theorem 1.3 and Lemma 4.7.
  • domain assumption Fourier decay |mu_hat(xi)| <= C |xi|^{-1} for Theorem 1.1 and |g_hat(xi)| = O(|xi|^{-alpha}) for Theorem 1.3.
    Theorems 1.1 and 1.3 are conditional on these Fourier decay assumptions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Frame bound, spectral gap and Plus space." pith.science (2026). https://pith.science/paper/Q4WYBBVX

@misc{pith2026250522136,
  author       = {Pith},
  title        = {Pith review of: Frame bound, spectral gap and Plus space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q4WYBBVX}},
  note         = {Machine review of arXiv:2505.22136}
}
read the original abstract

In this paper, we investigate the relationship between frame bounds and spectral gaps. By introducing the notion of \emph{essential minimum(maximal) spectral gap}, we provide a local characterization of Landau's theorem \cite{Lan67}. As an application, we resolve the spectrality additive measures of Lebesgue type, conclusively answering an open question on the spectrality of Plus spaces originally raised by Lai, Liu, Prince \cite{LLP21} and further studied by Ai, Lu, Zhou \cite{ALZ23} and Kolountzakis, Wu \cite{KW25}.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [15]

    M. N. Kolountzakis, S. Wu, Spectrality of a measure consisting of two line segments, arXiv:2501.11367

    work page Pith review arXiv

  2. [1]

    Ai, Z.-Y

    W.-H. Ai, Z.-Y. Lu and T. Zhou.The spectrality of symmetric additive measures. Comptes Rendus. Math. 361 (2023): 783-793

    work page 2023

  3. [2]

    Christensen, An introduction to frames and Riesz bases, Appl

    O. Christensen, An introduction to frames and Riesz bases, Appl. Numer. Harmon. Anal., Birkh¨ auser Boston Inc. Boston, MA, 2003

    work page 2003

  4. [3]

    Dai, Spectra of Cantor measures, Math

    X.-R. Dai, Spectra of Cantor measures, Math. Ann. 366 (2016), 1621-1647

    work page 2016

  5. [4]

    X. R. Dai, When does a Bernoulli convolution admit a spectrum? Adv. Math. 231 (2012), 1681-1693

    work page 2012

  6. [5]

    X. R. Dai, X. G. He, K. S. Lau, On spectral N-Bernoulli measures, Adv. Math. 259 (2014), 511-531

    work page 2014

  7. [6]

    Duffin,A

    R. Duffin,A. Schaeffer. A class of nonharmonic Fourier series. Trans. Amer. Math. Soc. 72 (1952): 341-66

    work page 1952

  8. [7]

    Fan, S.-L

    A.-H. Fan, S.-L. Fan, L. Liao and R. Shi, Fuglede’s conjecture holds inQ p, Math. Ann. 375 (2019), 315-341. FRAME BOUND, SPECTRAL GAP AND PLUS SPACE 17

    work page 2019

Show all 23 references
  1. [8]

    Fuglede, Commuting self-adjoint partial differential operators and a group theoretic prob- lem, J

    B. Fuglede, Commuting self-adjoint partial differential operators and a group theoretic prob- lem, J. Funct. Anal. 16 (1) (1974), 101-121

    1974

  2. [9]

    Heil, A Basis Theory Primer, Expanded Edition

    C. Heil, A Basis Theory Primer, Expanded Edition. Applied and Numerical Harmonic Anal- ysis. Boston, Birkhauser Boston Inc. 2011

    2011

  3. [10]

    Iosevich, N

    A. Iosevich, N. Katz and T. Tao, The Fuglede spectral conjecture holds for convex planar domains, Math. Res. Lett. 10 (2003), 559-569

    2003

  4. [11]

    Iosevich, S

    A. Iosevich, S. Pedersen, How large are the spectral gaps? Pacific J. Math. 192 (2000), 307-314

    2000

  5. [12]

    Jorgensen, S

    P. Jorgensen, S. Pedersen, Dense analytic subspaces in fractalL 2-spaces, J. Anal. Math. 75 (1998), 185-228

    1998

  6. [13]

    M. N. Kolountzakis, N. Lev, On non-periodic tilings of the real line by a function. Int. Math. Res. Not. 15 (2016): 4588-4601

    2016

  7. [14]

    M. N. Kolountzakis, M. Matolcsi, Tiles with no spectra, Forum. Math. 18 (2006), 519-528

    2006

  8. [16]

    Laba, Fuglede’s conjecture for a union of two intervals, Proc

    I. Laba, Fuglede’s conjecture for a union of two intervals, Proc. Amer. Math. Soc. 129 (2001), no. 10, 2965-2972

    2001

  9. [17]

    C. K. Lai, B. C. Liu, H. Prince, Spectral properties of some unions of linear spaces, J. Funct. Anal. 280 (2021), no. 11, 108985

    2021

  10. [18]

    Landau, Necessary density conditions for sampling and interpolation of certain entire functions, Acta Math

    H. Landau, Necessary density conditions for sampling and interpolation of certain entire functions, Acta Math. 117 (1967), 37-52

    1967

  11. [19]

    Lev and M

    N. Lev and M. Matolcsi, The Fuglede conjecture for convex domains is true in all dimensions, Acta Math. 228 (2022), 385-420

    2022

  12. [20]

    Matolcsi, Fuglede conjecture fails in dimension 4, Proc

    M. Matolcsi, Fuglede conjecture fails in dimension 4, Proc. Am. Math. Soc. 133 (2005), 3021-3026

    2005

  13. [21]

    Lev, Fourier frames for singular measures and pure type phenomena, Proc

    N. Lev, Fourier frames for singular measures and pure type phenomena, Proc. Am. Math. Soc. 146 (2018), 2883-2896

    2018

  14. [22]

    Ortega-Cerd, K

    J. Ortega-Cerd, K. Seip, Fourier frames, Ann. of Math. (2) 155 (2002), 789-806

    2002

  15. [23]

    Tao, Fuglede’s conjecture is false in 5 and higher dimensions, Math

    T. Tao, Fuglede’s conjecture is false in 5 and higher dimensions, Math. Res. Lett. 11 (2004), 251-258. School of Mathematics, Hunan University, Changsha Hunan 410082, China Email address:zyluhnsd@163.com

    2004

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.