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
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.
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
- 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
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.
Referee Report
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)
- [§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.
- [§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)
- [Introduction] The term 'full Gabor frame' is defined after several preliminary sections; an early, self-contained definition in the introduction would improve readability.
- [§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
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
-
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
-
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
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
axioms (4)
- domain assumption Properties of Delone sets in R^n
- standard math Definition and properties of lower Beurling density
- standard math Properties of Schwartz functions and Feichtinger's algebra
- domain assumption Existence and properties of tiling groupoids and associated C*-algebras
invented entities (1)
-
full Gabor frames
no independent evidence
Forward citations
Cited by 1 Pith paper
-
On the existence problem of regular Gabor frames
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
-
[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
2014
-
[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)
2013
-
[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
2006
-
[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
2006
-
[5]
Baranov and Y
A. Baranov and Y. Belov. Irregular sampling for hyperbolic secant type functions.Adv. Math.458(2024), 109981
2024
-
[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
2022
-
[7]
Bj¨ orklund, T
M. Bj¨ orklund, T. Hartnick, and Y. Karasik. Intersection spaces and multiple transverse recurrence. JAMA 156, 97–150 (2025)
2025
-
[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
2024
-
[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
2021
-
[10]
J. Carrion, J. Gabe, C. Schafhauser, A. Tikuisis, and W. White. Classifying *-homomorphisms I: Unital simple nuclear C*-algebras. arXiv: 2307.06480
-
[11]
Christensen, B
O. Christensen, B. Deng, C. Heil. Density of Gabor frames.Appl. Comput. Harmon. Anal.7(1999), 292–304
1999
-
[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
1980
-
[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
2024
-
[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]
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
2025
-
[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
2025
-
[17]
U. Enstad and E. Vilata.Z-stability of twisted groupC ∗-algebras of nilpotent groups. arXiv: 2503.18088
-
[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
1980
-
[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
1983
-
[20]
H. G. Feichtinger. On a new Segal algebra.Monatsh. Math.92(1981), 269–289
1981
-
[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
2004
-
[22]
H. G. Feichtinger and T. Strohmer, editors.Gabor analysis and algorithms: theory and applications.Birkh¨ auser Boston, Boston, MA, 1998
1998
-
[23]
Frank and D
M. Frank and D. R. Larson. Frames in HilbertC ∗-modules andC ∗-algebras.J. Operator Theory48 (2) (2002), 273–314
2002
-
[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
1999
-
[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
2010
-
[26]
G. Gong, H. Lin and Z. Niu. Classification of finite simple amenableZ-stableC ∗-algebras. arXiv: 1501.00135
-
[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
2001
-
[28]
Gr¨ ochenig
K. Gr¨ ochenig. Localized frames are finite unions of Riesz sequences.Adv. Comput. Math.18(2003),149–157
2003
-
[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
2011
-
[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
2008
-
[31]
Gr¨ ochenig
K. Gr¨ ochenig. Totally positive functions and Gabor frames over rational lattices.Adv. Math.427(2023) 109113
2023
-
[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
2020
-
[33]
Gr¨ ochenig, J
K. Gr¨ ochenig, J. Ortega-Cerda, J.L. Romero. Deformations of Gabor systems.Adv. Math.277(2015), 388–425
2015
-
[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
2018
-
[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
2020
-
[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
2020
-
[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
2017
-
[38]
L. J. Ito.Almost finiteness of groupoid actions andZ-stability ofC ∗-algebras associated to tilings.PhD thesis, Uni- versity of Glasgow, 2019
2019
-
[39]
L. J. Ito, M. F. Whittaker, and J. Zacharias. Classification of tilingC ∗-algebras. arXiv: 1908.00770
arXiv 1908
-
[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
2020
-
[41]
R. V. Kadison and J. R. Ringrose.Fundamentals of the theory of operator algebras. Volume II.Vol. 25. Academic press New York, 1986
1986
-
[42]
Kellendonk
J. Kellendonk. Noncommutative geometry of tilings and gap labelling.Rev. Math. Phys.7(7) (1995), 1133-1180
1995
-
[43]
Kellendonk
J. Kellendonk. The local structure of tilings and their integer group of coinvariants.Comm. Math. Phys.187(1997), 115-157
1997
-
[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
2000
-
[45]
D. Kerr. Dimension, comparison, and almost finiteness.J. Eur. Math. Soc.22(2020), 3697-3745
2020
-
[46]
M. Kreisel. Gabor Frames for quasicrystals, K-theory, and twisted gap labelling.J. Funct. Anal.270(2016), 1001–1030
2016
-
[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
2021
-
[48]
J. C. Lagarias, J.C and P.A.B. Pleasants. Repetitive Delone sets and quasicrystals.Ergod. Th. & Dynam. Sys.23 (2003), 831–867
2003
-
[49]
E. C. Lance.HilbertC ∗-Modules. London Mathematical Society Lecture Note Series, vol. 210, Cambridge University Press, Cambridge, 1995. A toolkit for operator algebraists
1995
-
[50]
Li and X
K. Li and X. Ma. Tower dimension for ´ etale groupoids. in preparation
-
[51]
F. Luef. Projective modules over noncommutative tori are multi-window Gabor frames for modulation spaces.J. Funct. Anal.257(6) (2009), 1921–1946
2009
-
[52]
F. Luef. The Balian-Low theorem and noncommutative tori.Expo. Math.36(2) (2018), 221–227
2018
-
[53]
F. Luef, X. Wang. Gaussian Gabor frames, Seshadri constants and generalized Buser–Sarnak invariants.Geom. Funct. Anal.33(2023), 778–823
2023
-
[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
1992
- [55]
-
[56]
H. Matui. Homology and topological full groups of ´ etale groupoids on totally disconnected spaces.Proc. Lond. Math. Soc.104(2012), 27-56
2012
-
[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
1998
-
[58]
M. A. Rieffel. Projective modules over higher-dimensional noncommutative tori.Can. J. Math.40(1988), 257-338
1988
-
[59]
J. Renault. A Groupoid approach toC ∗-algebras (Lecture Notes in Mathematics, 793). Springer, Berlin, 1980
1980
-
[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
2024
-
[61]
M. Rørdam. The stable rank and the real rank ofZ-absorbingC ∗-algebras.Int. J. Math.15(2004), 1065-1084
2004
-
[62]
K. Seip. Density theorems for sampling and interpolation in the Bargmann–Fock space I .J. Reine Angew. Math.429 (1992), 91–106
1992
-
[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
1992
-
[64]
A. Sims. Hausdorff ´ etale groupoids and theirC ∗-algebras. arXiv: 1710.10897
-
[65]
Tikuisis, W
A. Tikuisis, W. White, and W. Winter. Quasidiagonality of nuclearC ∗-algebras.Ann. of Math.(2)185(2017), 229-284
2017
-
[66]
W. Winter. Nuclear dimension andZ-stability of pureC ∗-algebras.Invent. Math.187(2012), 259-342
2012
-
[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...
2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.