Pith. sign in

REVIEW 1 major objections 6 minor 1 cited by

Non-spectrality of some piecewise smooth curves and unions of line segments

T0 review · 1 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper proves that arc-length measure on any closed polygonal line, the plus space, and smooth closed curves of positive curvature with transverse self-intersections are never tight-frame spectral.

desk verdict A solid, important paper on non-spectrality of curves; the main theorems look right, but Lemma 6 needs a shrinking argument that is missing. read the letter →

arxiv 2507.00581 v1 pith:25NOI7AG submitted 2025-07-01 math.CA math.DG

Mihail N. Kolountzakis , Chun-Kit Lai This is my paper · ORCID
classification math.CAmath.DG MSC 42C1542C30
keywords spectralmeasurespiecewisesmoothcurvestightframesofexponentialspolygonallinesarc-lengthmeasuretempereddistributionstilingequationplusspace
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

A measure is spectral when complex exponentials indexed by a countable set form an orthonormal basis of its $L^2$ space; a tight frame is a slightly looser system that still gives a perfect reconstruction formula. This paper proves that such exponential systems never exist for arc-length measure on any closed polygonal line, whether or not it crosses itself, and in particular the boundary of a square is non-spectral. The same method shows that two crossing line segments, the plus space, and smooth closed curves of positive curvature with finitely many transverse self-intersections are also non-spectral. The engine is a Fourier-side analysis of the tiling equation $\delta_\Lambda \ast |\hat\mu|^2 = A$: singular measures force the dual object to have zero spectral gap, while these curves force a positive one, a contradiction.

What carries the argument

The load-bearing object is $\mu \ast \widetilde{\mu}$, the convolution of the measure with its reflection, together with the tempered distribution $\widehat{\delta_\Lambda}$. The identity $\delta_\Lambda \ast |\hat\mu|^2 = A$ is the tight-frame analogue of the classical spectral tiling equation, and its Fourier transform transfers information about the support of $\mu \ast \widetilde{\mu}$ to the support of $\widehat{\delta_\Lambda}$. For polygonal lines, Lemma 6 decomposes $\mu \ast \widetilde{\mu}$ near the origin into a piecewise constant function plus singular measures supported on the lines through the origin in the side directions; Lemma 3 shows that a bounded function whose Fourier transform is supported on a line cannot vary along that line, removing those singular components. For smooth curves, Theorem 7 uses a partition of unity and the implicit function theorem to show that $\mu \ast \widetilde{\mu}$ has a smooth density in a punctured neighborhood of the origin.

What would settle it

Compute $\mu \ast \widetilde{\mu}$ explicitly for a rectangle and check whether, in every neighborhood of the origin, a singular component supported on a line not through the origin appears; if it does, Lemma 6 fails. More decisively, find a closed polygonal line and a countable set $\Lambda$ satisfying $\delta_\Lambda \ast |\hat\mu|^2 = A$ with $A>0$; that would refute Theorem 1(1).

Watch

Extended reading notes

Core claim

The central discovery is that spectrality of a curve can be read off from the behavior near the origin of the self-convolution $\mu \ast \widetilde{\mu}$, where $\widetilde{\mu}$ is the reflected measure. For a tight-frame spectrum $\Lambda$, the tiling equation $\delta_\Lambda \ast |\hat\mu|^2 = A$ holds, and taking Fourier transforms ties the support of $\widehat{\delta_\Lambda}$ to the complement of the support of $\mu \ast \widetilde{\mu}$. The paper establishes that where $\mu \ast \widetilde{\mu}$ is smooth and strictly positive, $\widehat{\delta_\Lambda}$ can meet that region only at the origin, while any singular measure forces $\widehat{\delta_\Lambda}$ to have zero spectral gap. For closed polygonal lines and for the smooth curves considered here, the self-convolution covers a neighborhood of the origin with controlled singular parts, so a spectral gap is forced. This contradiction yields Theorems 1 and 2.

Load-bearing premise

The load-bearing premise is Lemma 6's claim that near the origin the self-convolution of arc-length measure on a closed polygonal line splits into a piecewise constant part plus singular pieces supported only on the lines through the origin in the directions of the sides; if opposite parallel sides produced singular contributions on shifted parallel lines inside every neighborhood of the origin, the decomposition would fail.

Editorial extensions

If this is right

  • The boundary of every polygon, self-intersecting or not, has no tight frame of exponentials; in particular, the unit square boundary is non-spectral.
  • The plus space formed by two equal-length crossing segments is non-spectral, providing an independent proof of a recent result.
  • Arc-length measure on any smooth closed curve of positive curvature with finitely many transverse self-intersections is non-spectral, including curves that cross themselves.
  • By Corollary 1, any finite union of smooth curves that contains one of these configurations is also non-tight-frame-spectral.
  • The method gives a general criterion: a singular measure whose self-convolution is smooth and strictly positive around the origin cannot be tight-frame spectral.

Reading between the lines

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

  • The paper leaves open whether a semicircle's arc-length measure is spectral; its self-convolution misses the origin, so the current method cannot decide it, but it is the cleanest test case for whether curve spectra must be line spectra.
  • If the authors' Conjecture 2 holds, closedness alone, not corners or curvature signs, is the obstruction to spectrality; the two theorems here are the polygonal and everywhere-positively-curved extreme cases of that conjecture.
  • Conditional on Conjecture 1, the same mechanism would imply that every singular measure whose support has positive Lebesgue measure is non-spectral, turning case-by-case classifications of such measures into instances of one general principle.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 6 minor

Summary. This paper studies whether compactly supported probability measures supported on piecewise smooth curves can admit tight frames of exponentials. The main results are: (1) the arc-length measure on any finite union of line segments forming a closed curve is not tight-frame spectral; (2) a finite union of line segments containing three segments emanating from a common point in distinct directions is not tight-frame spectral, which covers the "plus space"; and (3) the arc-length measure on a smooth closed planar curve of positive curvature with finitely many transverse self-intersections is not tight-frame spectral. The proof strategy combines a new support theorem (Theorem 3: if μ*μ̃ has a smooth positive density on an open set U, then the distribution δΛ vanishes on U away from 0) with a zero-spectral-gap result for singular measures (Theorem 4, attributed to Lev--Olevskii). For piecewise linear measures the authors analyze μ*μ̃ near the origin and reduce to distributions supported on finitely many lines; for smooth curves they prove absolute continuity of μ*μ̃ in a punctured neighborhood of 0. The paper closes with several open questions on closed curves, line spectra, Riesz bases, and fractal measures.

Significance. The results are of clear interest to the Fourier-analytic geometry community: they settle the boundary-of-a-square question raised in Iosevich--Lai--Liu--Wyman, give an independent proof of non-spectrality of the plus-space complementing Lu's recent work, and extend non-spectrality to self-intersecting smooth curves. The framework of Theorems 3 and 4 is a clean general mechanism likely to be reused. The paper is honest about its reliance on prior results (Lemma 2, Theorem 5, and Theorem 4 from LO15), and no parameters are fitted. The main concern is a gap in the proof of Lemma 6 concerning non-adjacent pairs of edges; this gap is local and repairable rather than a fundamental flaw.

major comments (1)
  1. [Section 4.2, Lemma 6 and proof of Theorem 1(1)] The proof of Lemma 6 does not, as written, establish the claimed decomposition μ*μ̃ = F + ν_1 + ... + ν_M in a fixed neighborhood U of 0. After treating the self-convolutions μ_i*μ̃_i and the adjacent non-parallel pairs (i,i+1), the proof moves directly to Lemma 5 and concludes the decomposition, but all non-adjacent pairs are omitted. By Lemma 4(2), a non-adjacent parallel pair (e.g., the two horizontal sides of a square) contributes a singular measure supported on a line parallel to v_i that is shifted away from the origin; for the square this support is the segment [-1,1]×{-1}, which is not contained in any W_i and does not contain 0. The proof chooses U from Lemma 5 but never shrinks it to avoid these finitely many shifted lines, so the representation with singular parts only on the W_i can fail on that U. Non-adjacent non-parallel pairs are also not accounted for: Lemma 4(1) gives absolutely continuous parts on shifted parallelograms x_{i-1}-x_{j-1}+Q_{v_i,-v_j}, not on the origin-centered Q_{-v_i,-v_j} used in Lemma 5, and when the corresponding edges intersect these parts can have support containing 0 with boundaries not among the half-lines L_i. This is load-bearing for Theorem 1(1) and for the Π-shape remark. The gap is repairable: for each non-adjacent pair, either its contribution has positive distance from 0, or (if the edges meet) the contribution is locally constant on a sufficiently small neighborhood of 0, with possible boundary only along a subspace W_i; one can then shrink U below all the positive distances and absorb the local absolutely continuous terms into F. The authors should state this shrinking argument explicitly. They should also note that the piecewise constant function F is strictly positive on U\(∪_i W_i), since each sector between consecutive half-lines is covered by the corresponding adjacent parallelogram and Theorem 3 requires strict positivity.
minor comments (6)
  1. [Section 2.2, Proposition 3] Proposition 3 is stated for arbitrary measures, but its proof splits the argument only into the singular and the absolutely continuous cases; a measure with both an absolutely continuous and a singular part is not treated. This can be fixed by applying the same argument to the restriction of μ to each part, since each restriction inherits the same tight frame on its L²-space.
  2. [Section 4.2, proof of Theorem 1(1)] The identity for the projected spectrum writes the right-hand side as N and states that Λ1 has density N, but for a general tight frame the constant should be AN (or a corresponding normalized value). Since only boundedness of Λ1 is needed, this is harmless, but the formulas should be corrected.
  3. [Section 5, Theorem 7] The definition of δ as the minimum of δ0 and all δ_{s0,t0} assumes there is at least one self-intersection; when γ is simple the minimum over an empty set should be handled explicitly, for example by setting δ = δ0.
  4. [Section 5, Lemma 8] The proof that Γ is injective is one sentence; equality of two chord vectors gives the same direction and length, but the argument that this forces the same pair (s,t) should be expanded or replaced by a reference to the strict convexity of the arc.
  5. [Section 3, proof of Theorem 4] To conclude δΛ(φ̂) = Σ φ̂(λ) ≥ 0, the test function φ should be chosen with nonnegative Fourier transform, for example φ = ψ*ψ̃ with ψ compactly supported; nonnegativity of φ alone does not imply φ̂ ≥ 0.
  6. [Section 2.4, Lemma 4(2)] In the proof of Lemma 4(2), 'ma' should read 'm_a' in the sentence defining the measure on [0, as].

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the non-spectrality conclusions are derived from the tight-frame tiling equation and independent distribution results, not from the conjecture they support.

full rationale

The paper's central derivation chain is not circular. A tight-frame spectrum Λ for µ is characterized by the tiling equation δ_Λ * |µhat|^2 = A (equation 5), and the proofs of Theorems 1 and 2 run through Theorem 3, which is proved directly from that equation: when µ*µtilde has a smooth positive density on an open set U, choosing ψ supported in U gives ψhat * |µhat|^2 * δ_Λ = ψhat(0), forcing supp(δ_Λ) ∩ U ⊆ {0}. Theorem 4, the zero spectral gap result for singular measures, is proved from Lemma 2, Proposition 2, and the positivity of δ_Λ, and the authors also note it can be deduced from the independent result [LO15, Proposition 4]. Lemma 2 is cited from prior work, including an earlier paper of the first author, but it is a published external theorem used as a tool, not an assumption of the target non-spectrality statements; and it is standard enough that the self-citation is not load-bearing. Conjecture 1 is explicitly open and is not used in the proofs of the main theorems; Proposition 1, which depends on it, is merely motivational. No parameter is fitted and no conclusion is renamed as a prediction. The reader-flagged weakness in Lemma 6 concerning singular contributions from non-adjacent parallel edges is a potential technical gap in the convolution decomposition, not a circularity: it concerns whether the claimed local representation of µ*µtilde is fully justified, and it does not make the theorem equivalent to any input assumption. Correctness risk and circularity are distinct, and by the standards of this review the paper contains no significant circular step.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters and no invented entities. The proofs rely on standard distribution theory, Beurling density results, and the area formula; the only domain-specific axioms are the geometric hypotheses in the theorems.

assumptions (5)
  • standard math Distributions supported on a hyperplane have a finite representation by transverse derivatives of the restriction to that hyperplane (Knapp, Problem 5.6.10).
    Used in Lemma 3 to conclude that a bounded function whose Fourier transform is supported on a line is constant in the perpendicular direction.
  • standard math Beurling density inequalities of Gabardo for positive measures, including the bound D+(Lambda) times the integral of f for convolution inequalities.
    Used in Proposition 2 to show singular tight-frame spectra have zero upper density and in the density argument for projected spectra.
  • standard math Area formula for Lipschitz maps from geometric measure theory (Evans-Gariepy, Section 3.3.3).
    Used in Lemma 4 to compute convolutions of line-segment measures and in Theorem 7 to obtain smooth density for the curve convolution.
  • standard math Tight-frame identity delta_Lambda * |mu-hat|^2 = A follows by testing the frame definition on exponential functions.
    This is the starting point of the tiling equations (4) and (5) used throughout the proofs.
  • domain assumption For Theorem 2, the curve has positive curvature and only finitely many transverse self-intersections.
    These hypotheses guarantee the tangent direction turns monotonically and the chord map is locally injective or locally bijective near intersections, which Theorem 7 needs.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Non-spectrality of some piecewise smooth curves and unions of line segments." pith.science (2026). https://pith.science/paper/25NOI7AG

@misc{pith2026250700581,
  author       = {Pith},
  title        = {Pith review of: Non-spectrality of some piecewise smooth curves and unions of line segments},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/25NOI7AG}},
  note         = {Machine review of arXiv:2507.00581}
}
read the original abstract

We develop a systematic study about the spectrality of measures supported on piecewise smooth curves by studying the support of the tempered distributions arising from the tiling equation of some singular spectral measures. In doing so, we show that the arc-length measures of all closed polygonal lines are not spectral. {In particular, the boundary of a square is not spectral. We also show that the ``plus space'' (two crossing line segments) is not spectral.} Furthermore, our theory also shows that the arc length measures on {smooth} convex curves with finitely many transverse self-intersections are not spectral. Finally, several natural open questions about the spectrality of singular measures and {piecewise} smooth curves will also be discussed.

Figures

Figures reproduced from arXiv: 2507.00581 by the authors.

Figure 1
Figure 1. The measure that is arc-length on two equal-length line￾segments. Some of the measures on the left are spectral, depending one where the starting points of the segments are compared to their length. In the crossing case on the right they are never spectral. The symmetric crossing case, t “ ´1{2, is called the “plus-space”. with spectrality of curves by focusing on a subset of the curve (see Corollary 1 be￾low). We s… view at source ↗
Figure 2
Figure 2. Some examples of non-spectral collections of line segments. All but the first one from the left, the “Π-shape”, are covered by The￾orem 1. The Π-shape is explained in Section 4.4 Transverse intersections mean that the tangent vectors from different times vis￾iting the intersection point are not parallel to each others (see Section 5 for the pre￾cise definition). This result is slightly more general than the results … view at source ↗
Figure 3
Figure 3. A smooth closed curve in the plane with positive curvature everywhere and a transverse self-intersection. Finally, we observe a simple property about tight frame spectral measures. Sup￾pose that EpΛq “ te 2πiλ¨x : λ P Λu is a tight frame for the measure 1 2 pµ`νq and assume that supp µXsupp ν has zero µ-measure and ν-measure. By restricting only to func￾tions on L 2 pµq (i.e. extended by 0 off supp µ), we immediatel… view at source ↗
Figures from the paper (6 more)
Figure 4
Figure 4. Figure 4: A test function ϕ near the origin with ş ϕ ą 0 leads to a contradiction in the proof of Theorem 4. However, this contradicts the fact that δΛ is a nonnegative measure. Indeed take a smooth function ϕ, with ş ϕ ą 0, compactly supported in a sufficiently small neigh￾borh…
Figure 5
Figure 5. Figure 5: The “L-shape”, the union of the two line segments from the origin to p1, 0q and to p0, 1q, is spectral [LLP21]. length so that γ : r0, Ls Ñ R2 be a smooth curve with the arc length parametrization (L is the arc length of γ). Let n be the unit normal vector so that n is…
Figure 6
Figure 6. Figure 6: A chord of the right length parallel to a given tangent. function f : rx´1, x1s Ñ R`, where ppt´1q “ px´1, y´1q and ppt1q “ px1, y1q. The upper and lower bounds on the curvature of γ, given by κpxq “ | f 2 pxq| ´ 1 ` | f 1 pxq| 2 ¯3{2 , translate to positive upper and …
Figure 7
Figure 7. Figure 7: The arc-length measure µ on the two line segments shown left has the set Z ˆ ␣ 0, 1 2 ( show on the right as a spectrum There are more spectra, which are line spectra that can be arbitrarily sparse in all directions (arbitrary sparseness of spectra is well-known for se…
Figure 8
Figure 8. Figure 8: The arc-length measure µ on the two line segments is pro￾jected, on the left, onto a single line segment, which gives a spectrum along the direction onto which we project. On the right, the same two line segments project to another spectral measure, as long as the gap …
Figure 9
Figure 9. Figure 9: The arc-length measure µ on a semicircle gives rise to a measure µ ˚ µr which is supported on the shaded region on the right. Thus it does not cover a neighborhood of the origin and our method is not applicable. 6.3. Riesz bases of exponentials. In [ILLW22], we know th…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Fourier frames on smooth surfaces with nonvanishing Gaussian curvature

    math.CA 2025-07 accept novelty 7.0 of 10

    Compact smooth curved surfaces with nonzero Gaussian curvature, including hemispheres and self-intersecting curves, admit no Fourier frames.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 1 Pith paper

  1. [1]

    An and C.-K

    L.-X. An and C.-K. Lai. Arbitrarily sparse spectra for self-affine spectral measures. Anal. Math. , 49(1):19--42, 2023

    work page 2023

  2. [2]

    Ai, Z.-Y

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

    work page 2023

  3. [3]

    L.-X. An, Q. Li, and M.-M. Zhang. The generalized F uglede's conjecture holds for a class of C antor- M oran measures. Pacific J. Math. , 334(2):189--209, 2025

    work page 2025

  4. [4]

    X.-R. Dai. When does a Bernoulli convolution admit a spectrum? Advances in Mathematics , 231(3-4):1681--1693, 2012

    work page 2012

  5. [5]

    M. P. do Carmo. Differential geometry of curves and surfaces . Prentice-Hall, Inc., Englewood Cliffs, NJ, 1976. Translated from the Portuguese

    work page 1976

  6. [6]

    D. E. Dutkay and C.-K. Lai. Uniformity of measures with Fourier frames . Advances in Mathematics , 252:684--707, 2014

    work page 2014

  7. [7]

    D. E. Dutkay, C.-K. Lai, and Y. Wang. Fourier bases and Fourier frames on self-affine measures . In Recent Developments in Fractals and Related Fields: Conference on Fractals and Related Fields III, \^ le de Porquerolles, France, 2015 3 , pages 87--111. Springer, 2017

    work page 2015

  8. [8]

    Evans and R

    L.C. Evans and R. F. Gariepy. Measure theory and fine properties of functions . Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1992

    work page 1992

Show all 38 references
  1. [9]

    Farkas, M

    B. Farkas, M. Matolcsi, and P. M\'ora. On Fuglede 's conjecture and the existence of universal spectra. J. Fourier Anal. Appl. , 12(5):483--494, 2006

    2006

  2. [10]

    Farkas and Sz

    B. Farkas and Sz. Gy. R \'e v \'e sz. Tiles with no spectra in dimension 4. Math. Scand. , 98(1):44--52, 2006

    2006

  3. [11]

    B. Fuglede. Commuting self-adjoint partial differential operators and a group theoretic problem. J. Funct.\ Anal. , 16:101--121, 1974

    1974

  4. [12]

    J.-P. Gabardo. Weighted irregular Gabor tight frames and dual systems using windows in the Schwartz class . Journal of Functional Analysis , 256(3):635--672, 2009

    2009

  5. [13]

    J.-P. Gabardo. Convolution inequalities in locally compact groups and unitary systems. Numer. Funct. Anal. Optim. , 33(7-9):1005--1030, 2012

    2012

  6. [14]

    J.-P. Gabardo. Convolution inequalities for positive B orel measures on R^d and B eurling density. In Excursions in harmonic analysis. V olume 2 , Appl. Numer. Harmon. Anal., pages 23--47. Birkh\"auser/Springer, New York, 2013

    2013

  7. [15]

    Gabardo and C.-K Lai

    J.-P. Gabardo and C.-K Lai. Spectral measures associated with the factorization of the L ebesgue measure on a set via convolution. J. Fourier Anal. Appl. , 20(3):453--475, 2014

    2014

  8. [16]

    C. Heil. A basis theory primer . Applied and Numerical Harmonic Analysis. Birkh\"auser/Springer, New York, expanded edition, 2011

    2011

  9. [17]

    Hu and K.-S

    T.-Y. Hu and K.-S. Lau. Spectral property of the B ernoulli convolutions. Adv. Math. , 219(2):554--567, 2008

    2008

  10. [18]

    He, C.-K

    X.-G. He, C.-K. Lai, and K-S. Lau. Exponential spectra in L^2( ) . Appl. Comput. Harmon. Anal. , 34(3):327--338, 2013

    2013

  11. [19]

    Iosevich, C.-K

    A. Iosevich, C.-K. Lai, B. Liu, and E. Wyman. Fourier frames for surface-carried measures. International Mathematics Research Notices , 2022(3):1644--1665, 2022

    2022

  12. [20]

    P. E. T. Jorgensen and S. Pedersen. Dense analytic subspaces in fractal L^2 -spaces. Journal d' Analyse Math \'e matique , 75:185--228, 1998

    1998

  13. [21]

    M. N. Kolountzakis and N. Lev. On non-periodic tilings of the real line by a function. International Mathematics Research Notices , 2016(15):4588--4601, 2016

    2016

  14. [22]

    M. N. Kolountzakis and M. Matolcsi. Complex Hadamard matrices and the spectral set conjecture. Collect.\ Math. , Extra:281--291, 2006

    2006

  15. [23]

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

    2006

  16. [24]

    A. W. Knapp. Advanced real analysis . Cornerstones. Birkh\"auser Boston, Inc., Boston, MA, 2005. Along with a companion volume Basic real analysis

    2005

  17. [25]

    M. N. Kolountzakis. On the structure of multiple translational tilings by polygonal regions. Discrete & Computational Geometry , 23(4):537--553, 2000

    2000

  18. [26]

    M. N. Kolountzakis. Orthogonal Fourier analysis on domains . Expositiones Mathematicae , 2024

    2024

  19. [27]

    M. N. Kolountzakis and S. Wu. Spectrality of a measure consisting of two line segments, 2025

    2025

  20. [28]

    I. aba. Fuglede's conjecture for a union of two intervals . Proc. Amer. Math. Soc. , 129:2965--2972, 2001

    2001

  21. [29]

    N. Lev. Fourier frames for singular measures and pure type phenomena. Proceedings of the American Mathematical Society , 146(7):2883--2896, 2018

    2018

  22. [30]

    C.-K. Lai, B. Liu, and H. Prince. Spectral properties of some unions of linear spaces. Journal of Functional Analysis , 280(11):108985, 2021

    2021

  23. [31]

    Lev and M

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

    2022

  24. [32]

    Lev and A

    N. Lev and A. Olevskii. Quasicrystals and P oisson's summation formula. Invent. Math. , 200(2):585--606, 2015

    2015

  25. [33]

    Lai and A

    C.-K. Lai and A. Sheynis. Riesz bases of exponentials for multi-tiling measures . Sampling Theory, Signal Processing, and Data Analysis , 21(2):29, 2023

    2023

  26. [34]

    Z.-Y. Lu. Frame bound, spectral gap and plus space. 2025

    2025

  27. [35]

    aba and Y

    I. aba and Y. Wang. On spectral Cantor measures . Journal of Functional Analysis , 193(2):409--420, 2002

    2002

  28. [36]

    W. Rudin. Functional Analysis . McGraw-Hill, New York, 1973

    1973

  29. [37]

    R. S. Strichartz. Mock Fourier series and transforms associated with certain Cantor measures . Journal d' Analyse Math \'e matique , 81(1):209--238, 2000

    2000

  30. [38]

    T. Tao. Fuglede's conjecture is false in 5 and higher dimensions . Math. Res. Lett. , 11(2-3):251--258, 2004

    2004

Pith tools

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