REVIEW 5 minor 47 references
Balian-Low type theorems on homogeneous groups
T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read On any homogeneous Lie group, a coherent frame generated by an integrable vector must have lower Beurling density strictly larger than the representation's formal dimension; a Riesz sequence must have strictly smaller upper density.
desk verdict A genuine strictness result for coherent density on homogeneous groups, with a proof that is broadly sound; the only external step that deserves a pointed referee look is the borrowed inverse-closedness in Theorem B.1. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the deformation of the index set by the homogeneous dilations $D_r$ of the group. Theorems 3.5 and 3.6 show that if $\pi(\Lambda)g$ is a frame, respectively a Riesz sequence, then for all $r$ sufficiently close to $1$ the dilated system $\pi(D_r(\Lambda))g$ is again a frame, respectively a Riesz sequence. This stability is derived through the universality theorem for $p$-frames and $p$-Riesz sequences, whose proof uses the off-diagonal decay of Gramian matrices and the spectral invariance of the weighted Schur algebra $A^1_{v_\alpha}(\Gamma)$ over relatively separated subsets: the pseudo-inverse of a localized matrix remains localized. The density of the dilated set scales as $D^{\pm}(D_r(\Lambda))=r^{-Q}D^{\pm}(\Lambda)$, so an arbitrarily small dilation pushes the density across the critical value $d_\pi$ and produces the contradiction.
What would settle it
Find a homogeneous Lie group $N$, an irreducible square-integrable-modulo-center representation with formal dimension $d_\pi$, an integrable vector $g$, and a discrete set $\Lambda$ with $D^-(\Lambda)=d_\pi$ such that $\{\pi(\lambda)g:\lambda\in\Lambda\}$ is a frame, or with $D^+(\Lambda)=d_\pi$ forming a Riesz sequence. For the Heisenberg group this reduces to an explicit computational search over lattices and windows with $|\langle g,\pi(x)g\rangle|\in L^1$; the theorem predicts no such frame or Riesz sequence exists at the critical density.
Extended reading notes
Core claim
The central claim is Theorem 1.1: if $g$ is an integrable vector, meaning $\int_{N/Z(N)}|\langle g,\pi(x)g\rangle|\,d\mu(\dot{x})<\infty$, then $\{\pi(\lambda)g:\lambda\in\Lambda\}$ cannot be a frame unless $D^-(\Lambda)>d_\pi$ and cannot be a Riesz sequence unless $D^+(\Lambda)<d_\pi$. An immediate consequence is that no orthonormal basis or Riesz basis in the orbit of an integrable vector exists, so in particular smooth vectors never generate such bases. The proof argues by contradiction: assume equality holds in the known inequalities $D^-\ge d_\pi$ or $D^+\le d_\pi$, then dilate the index set slightly, use the stability of the frame or Riesz property under dilations, and observe that the dilated set violates the known bound.
Load-bearing premise
The argument collapses if the inverse-closedness of the weighted Schur algebra fails for relatively separated subsets of a non-abelian homogeneous group, because then the pseudo-inverse of a localized Gramian need not stay localized and the universality theorem that powers the dilation stability no longer holds.
Editorial extensions
If this is right
- No orthonormal basis or Riesz basis can be formed from the orbit $\pi(\Lambda)g$ of an integrable vector; in particular, smooth vectors cannot generate such bases.
- The necessary density conditions are strict for every index exponent: a $p$-frame must satisfy $D^-(\Lambda)>d_\pi$ and a $p$-Riesz sequence must satisfy $D^+(\Lambda)<d_\pi$ for all $p\in[1,\infty]$.
- The Balian-Low obstruction is not special to the Heisenberg group: it holds for every homogeneous group, in line with the expectation from the Kirillov lemma that every nilpotent Lie group contains a Heisenberg-like subgroup.
- Integrability of the generator is enough to force strictness, so the known non-strict density bounds cannot be attained at the critical density.
Reading between the lines
- If the spectral-invariance machinery is as robust as the paper's use suggests, the same deformation-plus-contradiction scheme should yield strict density inequalities for any necessary density bound on a measured metric space admitting a dilation family and polynomial volume growth, not only for group-coorbit frames.
- The strict threshold suggests a sharp phase transition: density $d_\pi$ separates the frame regime from the Riesz-sequence regime, and one could test numerically on low-dimensional homogeneous groups whether the frame algorithm's condition number blows up as $D^-$ approaches $d_\pi$ from above.
- Since smooth vectors are excluded from critical-density bases, the result strengthens the heuristic that 'nice' functions and bases are incompatible in the orbit picture, which may be read as an uncertainty principle on homogeneous groups; verifying analogues for more general Lie groups with dilation-like deformations is a natural next step.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves strict necessary density conditions for coherent frames and Riesz sequences in the orbit of a square-integrable projective representation modulo the center on a homogeneous Lie group. Theorem 1.1 states that if g is an integrable vector and pi(Lambda)g is a frame for H_pi, then the lower Beurling density satisfies D^-(Lambda) > d_pi, and if pi(Lambda)g is a Riesz sequence, then D^+(Lambda) < d_pi. The proof proceeds by contradiction from the previously known non-strict inequalities of Theorem 4.1, using a smooth-vector approximation (Proposition 4.4), dilation-stability theorems for frames and Riesz sequences (Theorems 3.5 and 3.6), and a universality theorem for p-frames and p-Riesz sequences (Theorem 2.2). A substantial appendix develops the technical machinery: a weighted Schur algebra inverse-closedness theorem (Theorem B.1), an extension of Sjöstrand's Wiener lemma to homogeneous groups (Proposition B.3), and a construction of a localized reference frame with a localized canonical dual frame (Proposition B.4).
Significance. If correct, this is a substantial and natural extension of Balian-Low type strict density inequalities from the Heisenberg group and Euclidean spaces to all connected, simply connected nilpotent Lie groups with a dilation structure. The paper is well organized and, unusually for this area, the main proof chain is backed by a detailed appendix; the universality theorem for p-frames and p-Riesz sequences and the existence of a localized canonical dual frame (Proposition B.4) are results of independent interest. The main argument is internally consistent: the contradiction in Theorem 1.1 relies only on Theorem 4.1, Proposition 4.4, and the dilation-stability theorems, and the technical spine in the appendix is carefully written. The dependence on the published inverse-closedness theorem of Sun [45] is acceptable because the hypotheses are verified by a packing argument in Appendix B.1; the verification is brief but sufficient, and the issue is only that the exposition could be slightly more self-contained.
minor comments (5)
- [Appendix B.1, Theorem B.1] The verification of the standing hypotheses of [45] proves the polynomial-growth condition for the index set Gamma only for r >= 1; for 0 < r < 1 the bound follows immediately from relative separatedness, but it should be stated explicitly so that all r > 0 are covered.
- [Section 3.1, proof of Theorem 3.6] There is a typo in the displayed weak convergence 'lambda_n^{-1} Lambda_n^{-1} -> Gamma'; it should read lambda_n^{-1} Lambda_n -> Gamma.
- [Appendix B, proof of Theorem B.5] The symbol '/greaterorsimilar' appears twice in the displayed inequalities; these should be the relation '≳'.
- [Section 2.6, proof of Theorem 2.2 (ii)] The application of Theorem B.5 to A^* is terse; please state explicitly that the identity operator on ell^p(Lambda) plays the role of P and satisfies the envelope condition, so that the reader can see how Theorem B.5 yields the lower bound for C^*_{g,Lambda} on every ell^q.
- [Throughout] The notation d_pi is written as both 'd_pi' and 'dpi' in several places; please standardize the typesetting.
Circularity Check
No significant circularity: the strict density theorem is proved from the weaker non-strict density theorem by independent dilation-stability and smooth-approximation arguments.
full rationale
Theorem 1.1 is not built from itself. The proof assumes equality at the critical density and derives a contradiction from the previously published non-strict inequalities (Theorem 4.1), which are cited from [21] and not derived in this paper. The strictness conclusion therefore has independent content. The new work is in the deformation/stability theorems (3.5 and 3.6), the smooth approximation Proposition 4.4, and the appendix proving universality (Theorem 2.2). The appendix does import inverse-closedness of the weighted Schur algebra (Theorem B.1) from Sun [45], and the paper verifies the standing hypotheses by a packing argument; this is an external, non-equivalent ingredient, not a re-statement of the target result. Self-citations to [21], [23], [25], [28], and [40] are used for published technical lemmas or as methodological antecedents, and the load-bearing ones are either re-proved in the paper or are external theorems weaker than Theorem 1.1. No fitted parameter is renamed as a prediction, and no uniqueness theorem is invoked to force the construction. The derivation chain is therefore not circular, though it carries an external-dependency caveat concerning the borrowed spectral-invariance theorem.
Assumptions & free parameters
assumptions (6)
- domain assumption Non-strict density inequalities for coherent frames and Riesz sequences: D^-(Lambda) >= d_pi and D^+(Lambda) <= d_pi for g in B_pi.
- domain assumption The weighted Schur algebra A^1_{v_alpha}(Gamma) is inverse-closed and pseudo-inverse closed in B(ell^2(Gamma)).
- domain assumption Existence of relatively separated, relatively dense Gamma such that pi(Gamma)h is a p-frame for smooth h, and atomic decomposition in coorbit spaces.
- domain assumption Uniform convergence on compacta of coefficient maps V_g h_n to V_g h for weak-* convergent sequences in coorbit spaces.
- domain assumption The Dixmier-Malliavin theorem that H^infty_pi equals the span of Garding vectors.
- standard math The homogeneous norm and metric structure on homogeneous groups, including Haar measure scaling mu_G(D_r(E)) = r^Q mu_G(E).
Cite this review
Pith. "Pith review of Balian-Low type theorems on homogeneous groups." pith.science (2026). https://pith.science/paper/O3YHT4UT
@misc{pith2026190803053,
author = {Pith},
title = {Pith review of: Balian-Low type theorems on homogeneous groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/O3YHT4UT}},
note = {Machine review of arXiv:1908.03053}
}
abstract
We prove strict necessary density conditions for coherent frames and Riesz sequences on homogeneous groups. Let $N$ be a connected, simply connected nilpotent Lie group with a dilation structure (a homogeneous group) and let $(\pi, \mathcal{H}_{\pi})$ be an irreducible, square-integrable representation modulo the center $Z(N)$ of $N$ on a Hilbert space $\mathcal{H}_{\pi}$ of formal dimension $d_\pi $. If $g \in \mathcal{H}_{\pi}$ is an integrable vector and the set $\{ \pi (\lambda )g : \lambda \in \Lambda \}$ for a discrete subset $\Lambda \subseteq N / Z(N)$ forms a frame for $\mathcal{H}_{\pi}$, then its density satisfies the strict inequality $D^-(\Lambda )> d_\pi $, where $D^-(\Lambda )$ is the lower Beurling density. An analogous density condition $D^+(\Lambda) < d_{\pi}$ holds for a Riesz sequence in $\mathcal{H}_{\pi}$ contained in the orbit of $(\pi, \mathcal{H}_{\pi})$. The proof is based on a deformation theorem for coherent systems, a universality result for $p$-frames and $p$-Riesz sequences, some results from Banach space theory, and tools from the analysis on homogeneous groups.
Reference graph
Works this paper leans on
-
[21]
H. Führ, K. Gröchenig, A. Haimi, A. Klotz, and J. L. Romer o. Density of sampling and interpo- lation in reproducing kernel Hilbert spaces. J. Lond. Math. Soc. (2) , 96(3):663–686, 2017
work page 2017
-
[45]
Q. Sun. Wiener’s lemma for infinite matrices. Trans. Amer. Math. Soc. , 359(7):3099–3123, 2007
work page 2007
- [23]
-
[1]
A. Aldroubi, A. Baskakov, and I. Krishtal. Slanted matri ces, Banach frames, and sampling. J. Funct. Anal., 255(7):1667–1691, 2008
work page 2008
-
[2]
G. Ascensi, H. G. Feichtinger, and N. Kaiblinger. Dilati on of the Weyl symbol and Balian-Low theorem. Trans. Amer. Math. Soc. , 366(7):3865–3880, 2014
work page 2014
- [3]
- [4]
-
[5]
G. Battle. Heisenberg proof of the Balian-Low theorem. Lett. Math. Phys. , 15(2):175–177, 1988
work page 1988
Show all 47 references
-
[6]
Beurling
A. Beurling. The collected works of Arne Beurling. Vol. 1 . Contemporary Mathematicians. Birkhäuser Boston, Inc., Boston, MA, 1989. Complex analysi s, Edited by L. Carleson, P. Malli- avin, J. Neuberger and J. Wermer
1989
-
[7]
Christensen
O. Christensen. Atomic decomposition via projective gr oup representations. Rocky Mountain J. Math., 26(4):1289–1312, 1996
1996
-
[8]
L. J. Corwin and F. P. Greenleaf. Representations of nilpotent Lie groups and their applicat ions. Part I , volume 18 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1990. Basic theory and examples
1990
-
[9]
Daubechies
I. Daubechies. The wavelet transform, time-frequency l ocalization and signal analysis. IEEE Trans. Inform. Theory, 36(5):961–1005, 1990
1990
-
[10]
M. A. de Gosson, K. Gröchenig, and J. L. Romero. Stabilit y of Gabor frames under small time Hamiltonian evolutions. Lett. Math. Phys. , 106(6):799–809, 2016
2016
-
[11]
Dixmier and P
J. Dixmier and P. Malliavin. Factorisations de fonctio ns et de vecteurs indéfiniment différentiables. Bull. Sci. Math. (2) , 102(4):307–330, 1978
1978
-
[12]
J. L. Dyer. A nilpotent Lie algebra with nilpotent autom orphism group. Bull. Amer. Math. Soc. , 76:52–56, 1970
1970
-
[13]
H. G. Feichtinger. Banach convolution algebras of Wien er type. In Functions, series, operators, Vol. I, II (Budapest, 1980) , volume 35 of Colloq. Math. Soc. János Bolyai , pages 509–524. North- Holland, Amsterdam, 1983
1980
-
[14]
H. G. Feichtinger and K. H. Gröchenig. Banach spaces rel ated to integrable group representations and their atomic decompositions. I. J. Funct. Anal. , 86(2):307–340, 1989
1989
-
[15]
H. G. Feichtinger and K. H. Gröchenig. Banach spaces rel ated to integrable group representations and their atomic decompositions. II. Monatsh. Math. , 108(2-3):129–148, 1989
1989
-
[16]
H. G. Feichtinger and N. Kaiblinger. Varying the time-f requency lattice of Gabor frames. Trans. Amer. Math. Soc. , 356(5):2001–2023, 2004
2001
-
[17]
Fischer and M
V. Fischer and M. Ruzhansky. Quantization on nilpotent Lie groups , volume 314 of Progress in Mathematics. Birkhäuser/Springer, [Cham], 2016
2016
-
[18]
G. B. Folland and E. M. Stein. Hardy spaces on homogeneous groups , volume 28 of Mathematical Notes. Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1982
1982
-
[19]
J. J. F. Fournier and J. Stewart. Amalgams of Lp and lq. Bull. Amer. Math. Soc. (N.S.) , 13(1):1– 21, 1985
1985
-
[20]
Führ and K
H. Führ and K. Gröchenig. Sampling theorems on locally c ompact groups from oscillation esti- mates. Math. Z. , 255(1):177–194, 2007
2007
-
[22]
Gröchenig
K. Gröchenig. Describing functions: atomic decomposi tions versus frames. Monatsh. Math. , 112(1):1–42, 1991
1991
-
[24]
Gröchenig
K. Gröchenig. Wiener’s lemma: Theme and variations. an introduction to spectral invariance. In B. Forster and P. Massopust, editors, Four Short Courses on Harmonic Analysis , Appl. Num. Harm. Anal. Birkhäuser, Boston, 2010
2010
-
[25]
Gröchenig, J
K. Gröchenig, J. Ortega-Cerdà, and J. L. Romero. Deform ation of Gabor systems. Adv. Math. , 277:388–425, 2015. BALIAN-LOW TYPE THEOREMS ON HOMOGENEOUS GROUPS 25
2015
-
[26]
Gröchenig and M
K. Gröchenig and M. Piotrowski. Molecules in coorbit sp aces and boundedness of operators. Studia Math., 192(1):61–77, 2009
2009
-
[27]
Gröchenig and D
K. Gröchenig and D. Rottensteiner. Orthonormal bases i n the orbit of square-integrable represen- tations of nilpotent Lie groups. J. Funct. Anal. , 275(12):3338–3379, 2018
2018
-
[28]
K. H. Gröchenig, H. Haimi, J. Ortega-Cerda, and J. L. Rom ero. Strict density inequalities for sampling and interpolation in weighted spaces of holomo rphic functions. J. Funct. Anal. , 277(12):108282, 2019
2019
-
[29]
A. Höfler. Necessary density conditions for frames on homogeneous grou ps. PhD thesis, Universität Wien, 2014
2014
-
[30]
F. Holland. Harmonic analysis on amalgams of Lp and 1q. J. London Math. Soc. (2) , 10:295–305, 1975
1975
-
[31]
R. W. Johnson. Homogeneous Lie algebras and expanding a utomorphisms. Proc. Amer. Math. Soc., 48:292–296, 1975
1975
-
[32]
H. J. Landau. Necessary density conditions for samplin g and interpolation of certain entire func- tions. Acta Math., 117:37–52, 1967
1967
-
[33]
Mitkovsi and A
M. Mitkovsi and A. Ramirez. Density results for continu ous frames. Preprint. arXiv:1702.05285
-
[34]
C. C. Moore and J. A. Wolf. Square integrable representa tions of nilpotent groups. Trans. Amer. Math. Soc. , 185:445–462 (1974), 1973
1974
-
[35]
Ortega-Cerdà and K
J. Ortega-Cerdà and K. Seip. Beurling-type density the orems for weighted Lp spaces of entire functions. J. Anal. Math. , 75:247–266, 1998
1998
-
[36]
V. Oussa. Frames arising from irreducible solvable act ions I. J. Funct. Anal. , 274(4):1202–1254, 2018
2018
-
[37]
V. Oussa. Compactly supported bounded frames on Lie gro ups. J. Funct. Anal., 277(6):1718–1762, 2019
2019
-
[38]
Ramanathan and T
J. Ramanathan and T. Steger. Incompleteness of sparse c oherent states. Appl. Comput. Harmon. Anal., 2(2):148–153, 1995
1995
-
[39]
J. L. Romero. Surgery of spline-type and molecular fram es. J. Fourier Anal. Appl. , 17(1):135–174, 2011
2011
-
[40]
J. L. Romero. Characterization of coorbit spaces with p hase-space covers. J. Funct. Anal. , 262(1):59–93, 2012
2012
-
[41]
W. Rudin. Functional analysis. International Series in Pure and Applied Mathematics. McG raw- Hill, Inc., New York, second edition, 1991
1991
-
[42]
C. E. Shin and Q. Sun. Stability of localized operators. J. Funct. Anal. , 256(8):2417–2439, 2009
2009
-
[43]
C. E. Shin and Q. Sun. Polynomial control on stability, i nversion and powers of matrices on simple graphs. J. Funct. Anal. , 276(1):148–182, 2019
2019
-
[44]
Sjöstrand
J. Sjöstrand. Wiener type algebras of pseudodifferenti al operators. In Séminaire sur les Équations aux Dérivées Partielles, 1994–1995 , pages Exp. No. IV, 21. École Polytech., Palaiseau, 1995
1994
-
[46]
R. Tessera. Left inverses of matrices with polynomial d ecay. J. Funct. Anal. , 259(11):2793–2813, 2010
2010
-
[47]
J. A. Wolf. Harmonic analysis on commutative spaces , volume 142 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2007. 26 K. GRÖCHENIG, J.L. ROMERO, D. ROTTENSTEINER, AND J.T. V AN VELTHOVEN F aculty of Mathematics, University of Vienna, ...
2007
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.