Pith. sign in

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 →

arxiv 1908.03053 v2 pith:O3YHT4UT submitted 2019-08-08 math.FA

classification math.FA MSC 22E2522E2742C1542C40
keywords Balian-LowtheoremhomogeneousgroupscoherentframesRieszsequencesBeurlingdensityformaldimensiondeformationtheoryspectralinvariance
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

The paper proves strict necessary density conditions for coherent frames and Riesz sequences on homogeneous Lie groups, that is, connected simply connected nilpotent groups equipped with a family of dilations. In the orbit of an irreducible representation that is square-integrable modulo the center, with formal dimension $d_\pi$, an integrable generator $g$ can form a frame only if the index set has lower Beurling density $D^-(\Lambda)>d_\pi$, and a Riesz sequence only if its upper density satisfies $D^+(\Lambda)

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.

Watch

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

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

  • 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.
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

0 major / 5 minor

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)
  1. [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.
  2. [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.
  3. [Appendix B, proof of Theorem B.5] The symbol '/greaterorsimilar' appears twice in the displayed inequalities; these should be the relation '≳'.
  4. [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.
  5. [Throughout] The notation d_pi is written as both 'd_pi' and 'dpi' in several places; please standardize the typesetting.

Circularity Check

0 steps flagged · score 0.0 of 10

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 0 free parameters · 6 assumptions · 0 invented entities

The proof loads a substantial amount of prior literature: non-strict density inequalities, coorbit atomic decomposition, Wiener lemma for weighted Schur algebras, and Dixmier-Malliavin smoothing. None of these are fitted to data; they are external theorems. The central contribution is the strictification via deformation. No new entities are introduced.

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.
    Theorem 4.1 in the paper, quoted from [21, Corollary 4.1]; used as the contradiction baseline in the proof of Theorem 1.1.
  • domain assumption The weighted Schur algebra A^1_{v_alpha}(Gamma) is inverse-closed and pseudo-inverse closed in B(ell^2(Gamma)).
    Theorem B.1, cited from Sun [45, Theorems 4.1 and 5.1]; load-bearing for the localization of the canonical dual (Proposition B.4) and for the universality theorem (Theorem 2.2).
  • 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.
    From Feichtinger-Grochenig [14, Theorem 6.1], Grochenig [22], and Christensen [7]; used in Proposition B.4 and Lemma 4.3.
  • domain assumption Uniform convergence on compacta of coefficient maps V_g h_n to V_g h for weak-* convergent sequences in coorbit spaces.
    Cited as [14, Theorem 4.1]; used in Theorems 3.2, 3.5, and 3.6 to pass point evaluations through weak limits.
  • domain assumption The Dixmier-Malliavin theorem that H^infty_pi equals the span of Garding vectors.
    Cited at the end of Section 2.3; supports the density of smooth vectors used in Proposition 4.4 and Lemma 4.3.
  • 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).
    Background from Folland-Stein [18] and Fischer-Ruzhansky [17]; used throughout for densities and weak limits.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

47 extracted references · 46 canonical work pages

  1. [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

  2. [45]

    Q. Sun. Wiener’s lemma for infinite matrices. Trans. Amer. Math. Soc. , 359(7):3099–3123, 2007

  3. [23]

    Gröchenig

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

  4. [1]

    Aldroubi, A

    A. Aldroubi, A. Baskakov, and I. Krishtal. Slanted matri ces, Banach frames, and sampling. J. Funct. Anal., 255(7):1667–1691, 2008

  5. [2]

    Ascensi, H

    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

  6. [3]

    Balan, P

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

  7. [4]

    Balan, P

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

  8. [5]

    G. Battle. Heisenberg proof of the Balian-Low theorem. Lett. Math. Phys. , 15(2):175–177, 1988

Show all 47 references
  1. [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

  2. [7]

    Christensen

    O. Christensen. Atomic decomposition via projective gr oup representations. Rocky Mountain J. Math., 26(4):1289–1312, 1996

  3. [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

  4. [9]

    Daubechies

    I. Daubechies. The wavelet transform, time-frequency l ocalization and signal analysis. IEEE Trans. Inform. Theory, 36(5):961–1005, 1990

  5. [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

  6. [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

  7. [12]

    J. L. Dyer. A nilpotent Lie algebra with nilpotent autom orphism group. Bull. Amer. Math. Soc. , 76:52–56, 1970

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [19]

    J. J. F. Fournier and J. Stewart. Amalgams of Lp and lq. Bull. Amer. Math. Soc. (N.S.) , 13(1):1– 21, 1985

  15. [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

  16. [22]

    Gröchenig

    K. Gröchenig. Describing functions: atomic decomposi tions versus frames. Monatsh. Math. , 112(1):1–42, 1991

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [29]

    A. Höfler. Necessary density conditions for frames on homogeneous grou ps. PhD thesis, Universität Wien, 2014

  23. [30]

    F. Holland. Harmonic analysis on amalgams of Lp and 1q. J. London Math. Soc. (2) , 10:295–305, 1975

  24. [31]

    R. W. Johnson. Homogeneous Lie algebras and expanding a utomorphisms. Proc. Amer. Math. Soc., 48:292–296, 1975

  25. [32]

    H. J. Landau. Necessary density conditions for samplin g and interpolation of certain entire func- tions. Acta Math., 117:37–52, 1967

  26. [33]

    Mitkovsi and A

    M. Mitkovsi and A. Ramirez. Density results for continu ous frames. Preprint. arXiv:1702.05285

  27. [34]

    C. C. Moore and J. A. Wolf. Square integrable representa tions of nilpotent groups. Trans. Amer. Math. Soc. , 185:445–462 (1974), 1973

  28. [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

  29. [36]

    V. Oussa. Frames arising from irreducible solvable act ions I. J. Funct. Anal. , 274(4):1202–1254, 2018

  30. [37]

    V. Oussa. Compactly supported bounded frames on Lie gro ups. J. Funct. Anal., 277(6):1718–1762, 2019

  31. [38]

    Ramanathan and T

    J. Ramanathan and T. Steger. Incompleteness of sparse c oherent states. Appl. Comput. Harmon. Anal., 2(2):148–153, 1995

  32. [39]

    J. L. Romero. Surgery of spline-type and molecular fram es. J. Fourier Anal. Appl. , 17(1):135–174, 2011

  33. [40]

    J. L. Romero. Characterization of coorbit spaces with p hase-space covers. J. Funct. Anal. , 262(1):59–93, 2012

  34. [41]

    W. Rudin. Functional analysis. International Series in Pure and Applied Mathematics. McG raw- Hill, Inc., New York, second edition, 1991

  35. [42]

    C. E. Shin and Q. Sun. Stability of localized operators. J. Funct. Anal. , 256(8):2417–2439, 2009

  36. [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

  37. [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

  38. [46]

    R. Tessera. Left inverses of matrices with polynomial d ecay. J. Funct. Anal. , 259(11):2793–2813, 2010

  39. [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, ...

Pith tools

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