pith. sign in

arxiv: 2606.19800 · v1 · pith:6X76W7WRnew · submitted 2026-06-18 · 🧮 math.FA · math.DS· math.OA

Full Gabor frames, its existence problem, and a non-uniform Balian-Low type theorem

Pith reviewed 2026-06-26 15:46 UTC · model grok-4.3

classification 🧮 math.FA math.DSmath.OA
keywords Gabor framesBalian-Low theoremDelone setsBeurling densitytiling groupoidsC*-algebrasFeichtinger algebraRiesz sequences
0
0 comments X

The pith

Existence of full Gabor frames with Schwartz windows on Delone sets is equivalent to lower Beurling density strictly exceeding one.

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

The paper proves that full Gabor frames generated by Schwartz-class windows exist on a broad class of Delone sets in any dimension if and only if the lower Beurling density exceeds one. It establishes a non-uniform Balian-Low theorem that holds for windows from the Feichtinger algebra on arbitrary point sets, improving an earlier density result. The proofs use tiling groupoid constructions and C*-algebraic methods. The same approach yields the dual statement for Riesz sequences and produces two byproducts on dynamical asymptotic dimension and twisted classification theorems.

Core claim

For Delone sets in the relevant class, the existence of a full Gabor frame with a Schwartz window is equivalent to the lower Beurling density being strictly greater than one. The usual Balian-Low direction holds for windows in the Feichtinger algebra on any point set, and the corresponding dual result for Riesz sequences follows as well.

What carries the argument

Full Gabor frames, defined via the tiling groupoid constructions and C*-algebraic methods that link the density condition to frame existence.

If this is right

  • The Balian-Low direction extends to arbitrary point sets when the window lies in the Feichtinger algebra.
  • A dual result holds for Riesz sequences on the same Delone sets.
  • The bounded dynamical asymptotic dimension of tiling groupoids is settled.
  • The classification theorem of Ito, Whittaker, and Zacharias extends to the twisted case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The density criterion supplies a practical test for frame existence on irregular sampling sets without needing explicit construction.
  • The groupoid and C* methods open a route to similar existence questions for other time-frequency systems on Delone sets.

Load-bearing premise

The Delone sets must belong to the broad class for which the tiling groupoid constructions and C*-algebraic methods apply.

What would settle it

A concrete Delone set from the class with lower Beurling density greater than one that admits no full Gabor frame generated by any Schwartz window function, or one with density at most one that does admit such a frame.

Figures

Figures reproduced from arXiv: 2606.19800 by Rui Liu, Xin Ma, Yuxuan Zheng.

Figure 1
Figure 1. Figure 1: 2-dimensional case Corollary 4.6. Let R d ↷ Ω be a free action on a compact metrizable space Ω. Suppose the induced transverse groupoid Rφ is minimal and principal. Then d. a. d(Rφ) ≤ 6 d − 1. Therefore, for any twist Σ (could come from a continuous 2-cocycle σ) on Rφ, the nuclear dimension dimnuc(C ∗ r (Rφ, Σ)) ≤ 6 d and thus C ∗ r (Rφ, Σ) has the strict comparison (of projections). In addition, C ∗ r (Rφ… view at source ↗
read the original abstract

For a broad class of Delone sets in $\mathbb{R}^n$ that are of significance in both mathematics and physics, we prove a non-uniform Balian-Low type theorem and settle the converse problem on the existence of Gabor frames, for arbitrary dimension $n$. To this end, we introduce a class of Gabor frames, termed full Gabor frames, and prove that the existence of such a frame on the Delone set with Schwartz window functions is equivalent to the condition that the lower Beurling density be strictly greater than one. In fact, the usual Balian-Low direction using window functions from the Feichtinger's algebra can be proven for arbitrary point sets, thereby improving an earlier density theorem by Christensen, Deng, and Heil. The corresponding dual result for Riesz sequences is also obtained. The main technical tools employed in this paper are tiling groupoid constructions and $C^*$-algebraic methods. As a byproduct, we resolve an open question from Ito's thesis concerning the bounded dynamical asymptotic dimension of tiling groupoids. Furthermore, this result allows us to extend the classification theorem of Ito, Whittaker, and Zacharias to the twisted case.

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.

Referee Report

2 major / 2 minor

Summary. The paper introduces the class of 'full Gabor frames' and proves, for a broad class of Delone sets in R^n, that the existence of such a frame with Schwartz-class window is equivalent to the lower Beurling density strictly exceeding 1. It establishes a non-uniform Balian-Low theorem for windows in Feichtinger's algebra on arbitrary point sets (improving Christensen-Deng-Heil), obtains the dual result for Riesz sequences, resolves an open question from Ito's thesis on the bounded dynamical asymptotic dimension of tiling groupoids, and extends the Ito-Whittaker-Zacharias classification to the twisted case. The proofs rely on tiling groupoid constructions and C*-algebraic methods.

Significance. If the central equivalence holds, the work supplies a density characterization for Schwartz-window Gabor frames on Delone sets of physical and mathematical interest, together with a strengthened Balian-Low statement that applies to arbitrary point sets. The groupoid-C* approach handles genuinely non-uniform configurations and yields the byproduct resolution of the asymptotic-dimension question, both of which strengthen the literature on time-frequency analysis and dynamical systems.

major comments (2)
  1. [§4 (existence theorem)] Existence direction (Theorem on equivalence, §4): the tiling-groupoid C*-construction is stated to produce a full Gabor frame; the manuscript must explicitly verify that the window can be taken (or approximated) in the Schwartz class while preserving the frame bounds on the given Delone set. Standard groupoid methods typically deliver windows in the Feichtinger algebra or continuous functions, and the regularity lift is load-bearing for the claimed equivalence with density >1.
  2. [§3.2] Balian-Low direction for Feichtinger algebra (Theorem 3.2): the improvement over Christensen-Deng-Heil is claimed for arbitrary point sets; the proof should confirm that the groupoid argument directly yields the result without hidden density or regularity assumptions on the underlying set that would restrict the scope of the improvement.
minor comments (2)
  1. [Introduction] The term 'full Gabor frame' is defined after several preliminary sections; an early, self-contained definition in the introduction would improve readability.
  2. [§2] Notation for lower/upper Beurling densities and the precise definition of the Delone-set class should be collected in a single preliminary subsection rather than scattered across statements.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and insightful comments on our manuscript. We address each major comment below, providing clarifications and indicating where revisions will strengthen the presentation.

read point-by-point responses
  1. Referee: [§4 (existence theorem)] Existence direction (Theorem on equivalence, §4): the tiling-groupoid C*-construction is stated to produce a full Gabor frame; the manuscript must explicitly verify that the window can be taken (or approximated) in the Schwartz class while preserving the frame bounds on the given Delone set. Standard groupoid methods typically deliver windows in the Feichtinger algebra or continuous functions, and the regularity lift is load-bearing for the claimed equivalence with density >1.

    Authors: We agree that an explicit verification of the Schwartz-class lift is essential for the equivalence claim. The C*-construction in §4 initially yields a window in the Feichtinger algebra via the groupoid representation. The lift to Schwartz class is achieved by a regularization step: convolving with a suitable Schwartz mollifier while controlling the frame bounds using the lower Beurling density condition >1 and the Delone uniformity. This step is outlined in the proof but can be made more prominent. We will add a dedicated lemma (Lemma 4.X) detailing the approximation and bound preservation in the revised version. revision: yes

  2. Referee: [§3.2] Balian-Low direction for Feichtinger algebra (Theorem 3.2): the improvement over Christensen-Deng-Heil is claimed for arbitrary point sets; the proof should confirm that the groupoid argument directly yields the result without hidden density or regularity assumptions on the underlying set that would restrict the scope of the improvement.

    Authors: The groupoid-C* argument in §3.2 applies directly to arbitrary discrete point sets in R^n. The construction of the associated tiling groupoid and the ensuing C*-algebraic representation of the Gabor system requires only that the point set be closed and discrete (to ensure the groupoid is well-defined and the representation is faithful), with no appeal to Delone properties, uniform density, or additional regularity. This is set out in the general setup of §2 and carries through verbatim in the proof of Theorem 3.2, thereby extending the Christensen-Deng-Heil result without restriction. revision: no

Circularity Check

0 steps flagged

No circularity; proofs rest on independent groupoid/C*-constructions

full rationale

The paper establishes the claimed equivalence (existence of full Gabor frames with Schwartz windows on Delone sets iff lower Beurling density >1) via tiling groupoid constructions and C*-algebraic methods. These are external technical tools, not reductions to fitted parameters or self-referential definitions. The improved Balian-Low direction for Feichtinger-algebra windows on arbitrary point sets is likewise derived from the same framework and does not rely on self-citation chains or ansatzes imported from the authors' prior work. No equations or steps reduce by construction to the target result; the derivation is self-contained against the cited external methods.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 1 invented entities

The paper relies on standard structures from analysis and operator algebras plus domain assumptions on Delone sets; it introduces one new class of frames but no free parameters or new physical entities.

axioms (4)
  • domain assumption Properties of Delone sets in R^n
    Applies to a broad class of Delone sets of significance in math and physics.
  • standard math Definition and properties of lower Beurling density
    Central to the equivalence condition stated in the abstract.
  • standard math Properties of Schwartz functions and Feichtinger's algebra
    Used as window classes for the frame existence and Balian-Low results.
  • domain assumption Existence and properties of tiling groupoids and associated C*-algebras
    Main technical tools for the proofs.
invented entities (1)
  • full Gabor frames no independent evidence
    purpose: A class of Gabor frames whose existence is equivalent to the density condition
    Newly introduced to settle the existence problem

pith-pipeline@v0.9.1-grok · 5743 in / 1475 out tokens · 29578 ms · 2026-06-26T15:46:16.142741+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. On the existence problem of regular Gabor frames

    math.FA 2026-06 unverdicted novelty 7.0 full

    For every d>1, explicit lattice criteria with D(Λ)>1 are derived under which no continuous-Zak-transform function generates a Gabor frame, negatively resolving existence questions for several classes of smooth windows.

Reference graph

Works this paper leans on

67 extracted references · 3 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Ascensi, H.G

    G. Ascensi, H.G. Feichtinger, N. Kaiblinger. Dilation of the Weyl symbol and Balian-Low theorem.Trans. Amer. Math. Soc.366(7) (2014), 3865–3880

  2. [2]

    Baake and U

    M. Baake and U. Grimm.Aperiodic Order. Vol. 1. A Mathematical Invitation(Encyclopedia of Mathematics and Its Applications 149), Cambridge University Press, Cambridge (2013)

  3. [3]

    G., Heil, C., and Landau, Z

    Balan, R., Casazza, P. G., Heil, C., and Landau, Z. Density, overcompleteness, and localization of frames. I. Theory. J. Fourier Anal. Appl.12(2006), 105–143

  4. [4]

    Balan, P.G

    R. Balan, P.G. Casazza, C. Heil and Z. Landau. Density, overcompleteness, and localization of frames. II: Gabor systems.J. Fourier Anal. Appl.12(3) (2006), 307–344

  5. [5]

    Baranov and Y

    A. Baranov and Y. Belov. Irregular sampling for hyperbolic secant type functions.Adv. Math.458(2024), 109981

  6. [6]

    B´ edos, U

    E. B´ edos, U. Enstad, and J. T. Van Velthoven. Smooth lattice orbits of nilpotent groups and strict comparison of projections.J. Funct. Anal.283(2022), Paper No. 109572

  7. [7]

    Bj¨ orklund, T

    M. Bj¨ orklund, T. Hartnick, and Y. Karasik. Intersection spaces and multiple transverse recurrence. JAMA 156, 97–150 (2025)

  8. [8]

    B¨ onicke and K

    C. B¨ onicke and K. Li. Nuclear dimension of subhomogeneous twisted groupoidC ∗-algebras and dynamical asymptotic dimension.Int. Math. Res. Not. (IMRN)2024(2024), 11597-11610

  9. [9]

    Bourne and B

    C. Bourne and B. Mesland. Localised module frames and Wannier Bases from groupoid Morita equivalences.J. Fourier Anal. Appl.27(2021), Paper No. 69

  10. [10]

    Carrion, J

    J. Carrion, J. Gabe, C. Schafhauser, A. Tikuisis, and W. White. Classifying *-homomorphisms I: Unital simple nuclear C*-algebras. arXiv: 2307.06480

  11. [11]

    Christensen, B

    O. Christensen, B. Deng, C. Heil. Density of Gabor frames.Appl. Comput. Harmon. Anal.7(1999), 292–304

  12. [12]

    Connes.C ∗-alg´ ebres g´ eom´ etrie diff´ erentielle,C

    A. Connes.C ∗-alg´ ebres g´ eom´ etrie diff´ erentielle,C. R. Acad. Sci. Paris S´ er. A-B290(13) (1980), A599-A604

  13. [13]

    Courtney, A

    K. Courtney, A. Duwenig, M. C. Georgescu, A. Huef, and M. G. Viola. Alexandrov groupoids and the nuclear dimension of twisted groupoidC ∗-algebras.J. Funct. Anal.286(2024): 49Id/No. 110372

  14. [14]

    G. A. Elliott, G. Gong, H. Lin and Z. Niu. On the classification of simple amenableC∗-algebras with finite decomposition rank II. arXiv: 1507.03437. To appear inJ. Noncommut. Geom

  15. [15]

    Enstad, H

    U. Enstad, H. Thiel, and E. Vilata. Criteria for the existence of Schwatz Gabor frames over rational lattices.Int. Math. Res. Not. (IMRN)2025(2025), rnaf038

  16. [16]

    Enstad and S

    U. Enstad and S. Raum. A dynamical approach to sampling and interpolation in unimodular groups.Trans. Amer. Math. Soc.378(2025), 1975-200

  17. [17]

    Enstad and E

    U. Enstad and E. Vilata.Z-stability of twisted groupC ∗-algebras of nilpotent groups. arXiv: 2503.18088

  18. [18]

    Feichtinger

    H.G. Feichtinger. Banach convolution algebras of Wiener type, in: B. Sz.-Nagy, J. Szabados (Eds.), Proc. Conf. on Functions, Series, Operators, Budapest, 1980, in: Colloq. Math. Soc. J´anos Bolyai, vol. 35, North-Holland, Amsterdam, 1983, pp. 509–524

  19. [19]

    Feichtinger

    H.G. Feichtinger. Modulation spaces on locally compact Abelian groups, in: R. Radha, M. Krishna, S. Thangavelu (Eds.), Proc. Internat. Conf. on Wavelets and Applications, Technical report, January 1983, New Delhi Allied Pub- lishers, Chennai, January 2002, 2003, pp. 1–56

  20. [20]

    H. G. Feichtinger. On a new Segal algebra.Monatsh. Math.92(1981), 269–289

  21. [21]

    Feichtinger and N

    H.G. Feichtinger and N. Kaiblinger. Varying the time-frequency lattice of Gabor frames.Trans. Amer. Math. Soc.356 (5) (2004), 2001–2023

  22. [22]

    H. G. Feichtinger and T. Strohmer, editors.Gabor analysis and algorithms: theory and applications.Birkh¨ auser Boston, Boston, MA, 1998

  23. [23]

    Frank and D

    M. Frank and D. R. Larson. Frames in HilbertC ∗-modules andC ∗-algebras.J. Operator Theory48 (2) (2002), 273–314

  24. [24]

    Giordano, I

    T. Giordano, I. F. Putnam and C. F. Skau. Full groups of Cantor minimal systems.Isr. J. Math.111(1999), 285-320

  25. [25]

    Matui, I

    T.Giordano, H. Matui, I. F. Putnam, and C. F. Skau. Orbit equivalence for Cantor minimalZ d-minimal systems. Invent. Math.179(2010), 119-158

  26. [26]

    G. Gong, H. Lin and Z. Niu. Classification of finite simple amenableZ-stableC ∗-algebras. arXiv: 1501.00135

  27. [27]

    Gr¨ ochenig.Foundations of Time-Frequency Analysis.Birkh¨ auser, Boston, MA, 2001

    K. Gr¨ ochenig.Foundations of Time-Frequency Analysis.Birkh¨ auser, Boston, MA, 2001

  28. [28]

    Gr¨ ochenig

    K. Gr¨ ochenig. Localized frames are finite unions of Riesz sequences.Adv. Comput. Math.18(2003),149–157

  29. [29]

    Gr¨ ochenig

    K. Gr¨ ochenig. Multivariate Gabor frames and sampling of entire functions of several variables.Appl. Comput. Harmon. Anal.31(2) (2011) 218–227

  30. [30]

    Gr¨ ochenig

    K. Gr¨ ochenig. The homogeneous approximation property and the comparison theorem for coherent frames.Sampl. Theory Signal Image Process.7(3)(2008), 271–279

  31. [31]

    Gr¨ ochenig

    K. Gr¨ ochenig. Totally positive functions and Gabor frames over rational lattices.Adv. Math.427(2023) 109113

  32. [32]

    Gr¨ ochenig, Y

    K. Gr¨ ochenig, Y. Lyubarski˘ ı. Sampling of entire functions of several complex variables on a lattice and multivariate Gabor frames.Complex Var. Elliptic Equ.65(10) (2020), 1717–1735

  33. [33]

    Gr¨ ochenig, J

    K. Gr¨ ochenig, J. Ortega-Cerda, J.L. Romero. Deformations of Gabor systems.Adv. Math.277(2015), 388–425

  34. [34]

    Gr¨ ochenig, J

    K. Gr¨ ochenig, J. L. Romero, J. St¨ ockler. Sampling theorems for shift-invariant spaces, Gabor frames, and totally positive functions.Invent. Math.211(3) (2018), 1119–1148

  35. [35]

    Gr¨ ochenig, J

    K. Gr¨ ochenig, J. L. Romero, D. Rottensteiner, J. T. Van. Velthoven. Balian-Low type theorems on homogeneous groups.Anal. Math.46(2020), 483-515

  36. [36]

    Gr¨ ochenig, J

    K. Gr¨ ochenig, J. L. Romero, J. St¨ ockler. Sharp results on sampling with derivatives in shift-invariant spaces and multi-window Gabor frames.Constr. Approx.51(2020), 1–25

  37. [37]

    Guentner, R

    E. Guentner, R. Willett, and G. Yu. Dynamic asymptotic dimension: relation to dynamics, topology, coarse geometry, andC ∗-algebras.Math. Ann.367(2017), 785-829

  38. [38]

    L. J. Ito.Almost finiteness of groupoid actions andZ-stability ofC ∗-algebras associated to tilings.PhD thesis, Uni- versity of Glasgow, 2019

  39. [39]

    L. J. Ito, M. F. Whittaker, and J. Zacharias. Classification of tilingC ∗-algebras. arXiv: 1908.00770

  40. [40]

    Jakobsen, F

    M.S. Jakobsen, F. Luef. Duality of Gabor frames and Heisenberg modules.J. Noncommut. Geom.14(4) (2020), 1445–1500. 32 RUI LIU, XIN MA, AND YUXUAN ZHENG

  41. [41]

    R. V. Kadison and J. R. Ringrose.Fundamentals of the theory of operator algebras. Volume II.Vol. 25. Academic press New York, 1986

  42. [42]

    Kellendonk

    J. Kellendonk. Noncommutative geometry of tilings and gap labelling.Rev. Math. Phys.7(7) (1995), 1133-1180

  43. [43]

    Kellendonk

    J. Kellendonk. The local structure of tilings and their integer group of coinvariants.Comm. Math. Phys.187(1997), 115-157

  44. [44]

    Kellendonk and I

    J. Kellendonk and I. F. Putnam. Tilings,C ∗-algebras, and K-theory. InDirections in Mathematical Quasicrystals, volume 13 of CRM Monogr. Ser.Providence, 2000. American Mathematical Society, 177-206

  45. [45]

    D. Kerr. Dimension, comparison, and almost finiteness.J. Eur. Math. Soc.22(2020), 3697-3745

  46. [46]

    M. Kreisel. Gabor Frames for quasicrystals, K-theory, and twisted gap labelling.J. Funct. Anal.270(2016), 1001–1030

  47. [47]

    B. K. Kwa´ sniewski and R. Meyer. Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness.Doc. Math.26(2021) 271-335

  48. [48]

    J. C. Lagarias, J.C and P.A.B. Pleasants. Repetitive Delone sets and quasicrystals.Ergod. Th. & Dynam. Sys.23 (2003), 831–867

  49. [49]

    E. C. Lance.HilbertC ∗-Modules. London Mathematical Society Lecture Note Series, vol. 210, Cambridge University Press, Cambridge, 1995. A toolkit for operator algebraists

  50. [50]

    Li and X

    K. Li and X. Ma. Tower dimension for ´ etale groupoids. in preparation

  51. [51]

    F. Luef. Projective modules over noncommutative tori are multi-window Gabor frames for modulation spaces.J. Funct. Anal.257(6) (2009), 1921–1946

  52. [52]

    F. Luef. The Balian-Low theorem and noncommutative tori.Expo. Math.36(2) (2018), 221–227

  53. [53]

    F. Luef, X. Wang. Gaussian Gabor frames, Seshadri constants and generalized Buser–Sarnak invariants.Geom. Funct. Anal.33(2023), 778–823

  54. [54]

    Y. I. Lyubarski˘ ı. Frames in the Bargmann space of entire functions, in: Entire and Subharmonic Functions, in: Adv. Soviet Math., vol. 11, Amer. Math. Soc., Providence, RI, 1992, pp. 167–180

  55. [55]

    Ma and J

    X. Ma and J. Wu. Almost elementariness and fiberwse amenability for ´ etale groupoids. arXiv: 2011.01182

  56. [56]

    H. Matui. Homology and topological full groups of ´ etale groupoids on totally disconnected spaces.Proc. Lond. Math. Soc.104(2012), 27-56

  57. [57]

    Raeburn, D.P

    I. Raeburn, D.P. Williams, Morita Equivalence and Continuous-TraceC ∗-Algebras, Mathematical Surveys and Mono- graphs, vol. 60, American Mathematical Society, Providence, RI, 1998

  58. [58]

    M. A. Rieffel. Projective modules over higher-dimensional noncommutative tori.Can. J. Math.40(1988), 257-338

  59. [59]

    J. Renault. A Groupoid approach toC ∗-algebras (Lecture Notes in Mathematics, 793). Springer, Berlin, 1980

  60. [60]

    J. L. Romero, A. Ulanovskii, and I. Zlotnikov. Sampling in the shift-invariant space generated by the bivariate Gaussian function.J. Funct. Anal.287(2024), no. 9, Paper No. 110600

  61. [61]

    M. Rørdam. The stable rank and the real rank ofZ-absorbingC ∗-algebras.Int. J. Math.15(2004), 1065-1084

  62. [62]

    K. Seip. Density theorems for sampling and interpolation in the Bargmann–Fock space I .J. Reine Angew. Math.429 (1992), 91–106

  63. [63]

    K. Seip, R. Wallst´ en. Density theorems for sampling and interpolation in the Bargmann–Fock space II.J. Reine Angew. Math.429(1992), 107–113

  64. [64]

    A. Sims. Hausdorff ´ etale groupoids and theirC ∗-algebras. arXiv: 1710.10897

  65. [65]

    Tikuisis, W

    A. Tikuisis, W. White, and W. Winter. Quasidiagonality of nuclearC ∗-algebras.Ann. of Math.(2)185(2017), 229-284

  66. [66]

    W. Winter. Nuclear dimension andZ-stability of pureC ∗-algebras.Invent. Math.187(2012), 259-342

  67. [67]

    Winter and J

    W. Winter and J. Zacharias. The nuclear dimension ofC ∗-algebras.Adv. Math.224(2010), 461-498. R. Liu: School of Mathematical Sciences and LPMC, Nankai University, Tianjin, 300071, PR China. Email address:ruiliu@nankai.edu.cn X. Ma: Institute for Advanced Study in Mathematics, Harbin Institute of Technology, Harbin, China, 150001 Email address:xma17@hit.e...