REVIEW 1 major objections 5 minor 22 references
On exponential frames near the critical density
T0 review · 1 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper constructs exponential frames for L²(Ω) with density (1+ε)|Ω| and ε-only frame bounds.
desk verdict Strong and important paper that solves a known open problem; one fixable gap in the key sparsification lemma and a minor density typo. 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 controlled sparsification of finite Parseval frames, packaged as Lemma 2.6. Start with an $m\times n$ matrix $M$ whose rows are equal-norm vectors forming a Parseval frame with $\|v_i\|^2=n/m$. The lemma outputs a row subset $J$ with $\#J\le\lceil(1+\varepsilon)n\rceil$ such that the submatrix $M(J)$ satisfies explicit two-sided frame estimates with constants scaling like $(1-1/\sqrt{1+\varepsilon})^2$ and $(1-1/\sqrt{1+\varepsilon})^{-4}$. It is proved by combining a known sparsification result that produces weighted near-minimal-cardinality frames with a selector result that bounds the size of the nonzero weights from below, which in turn forces an unweighted frame with the same cardinality and controlled bounds. In the real-variable proof, the matrix is the $m\times n$ submatrix of the $m\times m$ discrete Fourier matrix whose columns correspond to the grid cells covering $\Omega$; the selected rows index $\Lambda = \bigcup_{j\in J}(j+m\mathbb{Z})$, and the fact that $\{e_{ml}\}_{l\in\mathbb{Z}}$ is an orthogonal basis of $L^2(0,1/m)$ converts the matrix inequalities into frame inequalities on $L^2(\Omega)$. The density identity $D(\Lambda)=\#J\cdot D(m\mathbb{Z})$ then gives the near-critical bound. For locally compact abelian groups the same lemma is applied to the character matrix of a finite quotient, and a lifting property for frames on compact subgroups carries the result from elemental quotients to compactly generated dual groups and then to the general case.
What would settle it
Consider a Parseval frame containing two identical vectors. The sparsification step may assign a zero weight to one copy; if the selector invoked in the proof of Theorem 2.4 can then sample that zero-weight copy, the number of nonzero coefficients need not stay below $\lceil d n\rceil$, and the density estimate in Theorem 3.1 loses its justification. Exhibiting such a sampling event, or proving that the selector never leaves the support of the initial weights, would settle whether the construction stands as written.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.1: for every $\varepsilon>0$ and compact $\Omega\subseteq\mathbb{R}$, there exists $\Lambda\subseteq\mathbb{R}$ of uniform density $D(\Lambda)\le(1+\varepsilon)|\Omega|$ such that $$A(\varepsilon)|\$\Omega$|\,\|f\|^2 \le \sum_{\$\lambda$\in\Lambda}|\langle f,e_\$\lambda$\rangle|^2 \le B(\varepsilon)|\$\Omega$|\,\|f\|^2$$ for all $f\in L^2(\Omega)$, with $e_\lambda(t)=e^{2\pi i\lambda t}$ and constants $A(\varepsilon),B(\varepsilon)$ depending only on $\varepsilon$. If $\Omega$ lies in an interval of length $d$, the frame can be chosen inside the lattice $d^{-1}\mathbb{Z}$. The engine is a finite-dimensional statement: any $m\times n$ matrix that is a submatrix of an orthonormal matrix and has equal row norms contains a selection of at most $\lceil(1+\varepsilon)n\rceil$ rows that forms a frame for $\mathbb{C}^n$ with lower constant of order $(1-1/\sqrt{1+\varepsilon})^2$ and upper constant of order $(1-1/\sqrt{1+\varepsilon})^{-4}$. Applying this selection to the discrete Fourier matrix on a fine grid covering $\Omega$ yields an exponential frame on a union of lattice cosets; the orthogonal basis of each grid cell converts the finite-dimensional inequalities into the desired integral inequalities over $\Omega$. The same finite block is used on elemental groups, then lifted to compactly generated dual groups via a frame lifting property for compact subgroups, and finally extended to all second countable locally compact abelian groups through the open subgroup generated by the spectrum.
Load-bearing premise
In the proof of Theorem 2.4, the load-bearing premise is that a certain selection step—stated for strictly positive weights—still keeps the number of selected entries below $\lceil d n\rceil$ when some of the weights are zero; the paper does not justify this support-control property, and the near-critical density inequality $D(\Lambda)\le(1+\varepsilon)|\Omega|$ rests on it.
Editorial extensions
If this is right
- Every compact spectrum $\Omega\subseteq\mathbb{R}$ admits a sampling set with density within a factor $1+\varepsilon$ of the critical density $|\Omega|$, with sampling constants depending only on $\varepsilon$; the density/frame-bound trade-off is therefore universal rather than spectrum-dependent.
- When $\Omega$ is contained in an interval of length $d$, the frame can be chosen periodic, $\Lambda\subseteq d^{-1}\mathbb{Z}$, so the construction yields lattice-based sampling sets with a regular underlying structure.
- Weak-limit arguments extend the frame conclusion to unbounded spectra, although that passage does not preserve the near-critical-density property, as the paper notes.
- On every second countable locally compact abelian group, the same near-critical-density frame exists with bounds $A(\varepsilon)\mu_{\widehat{G}}(\Omega)$ and $B(\varepsilon)\mu_{\widehat{G}}(\Omega)$, improving prior LCA constructions by making the frame bounds depend on the spectrum.
- The explicit constants $A(\varepsilon)=c(1-1/\sqrt{1+\varepsilon/4})^2$ and $B(\varepsilon)=c'(1-1/\sqrt{1+\varepsilon/4})^{-4}$ show that the frame bounds degrade in a controlled power-law way as $\varepsilon\to0$.
Reading between the lines
- Inference: the support-control gap in Theorem 2.4 is likely patchable by restricting the selector's sampling function to the support of the initial weights; if so, the main theorem and its constants would survive unchanged.
- Inference: the same finite sparsification block could plausibly be applied to higher-dimensional spectra by using multidimensional discrete Fourier matrices, yielding near-critical exponential frames with explicit bounds for box-like spectra in $\mathbb{R}^d$.
- Inference: the explicit $\varepsilon$-dependence suggests a concrete algorithm—choose the grid scale so that $\lceil(1+\varepsilon/4)n\rceil\le(1+\varepsilon)n$, solve the small discrete sparsification problem, then lift to the periodic exponential frame—so the proof can be turned into a finite computation once the absolute constants are made explicit.
- Inference: the LCA route through the open subgroup generated by the spectrum suggests that only the geometry of the group near the spectrum matters, so a similar statement may hold in amenable nonabelian settings once the corresponding density and lifting machinery exists.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that, for every compact set Omega in R of measure |Omega| and every epsilon>0, there exists a set Lambda of uniform density at most (1+epsilon)|Omega| such that the exponentials {e_lambda 1_Omega} form a frame for L^2(Omega) with frame bounds A(epsilon)|Omega| and B(epsilon)|Omega|, where A and B depend only on epsilon. This answers Open Problem 1 of Nitzan, Olevskii, and Ulanovskii. The proof combines the real-line sampling construction of those authors with a finite-dimensional sparsification theorem. The finite-dimensional part is new: the authors revisit the Batson-Spielman-Srivastava sparsification, use a result of the first author to control the nonzero weights from below, and derive an unweighted frame with cardinality close to the ambient dimension and explicit bounds. The paper also proves an LCA-group analogue, Theorem 1.2, with a reduction through elemental groups, a lifting lemma for frames, and Beurling/Leptin densities.
Significance. If the proof is completed as indicated below, the paper solves a recognized open problem: it gives exponential frames whose density is arbitrarily close to the critical density and whose frame bounds are proportional to the measure of the spectrum with constants independent of the spectrum. The real-line proof is well organized, and the finite-dimensional Lemmas 2.5 and 2.6 are clean and likely to be useful independently. The LCA extension is nontrivial and improves the earlier result of Agora, Antezana, and Cabrelli by adding quantitative frame bounds. The paper is explicit about the constants in Theorem 3.1 and gives a transparent route from finite-dimensional estimates to the continuous statements. The main caveat is the support-control issue in the proof of Theorem 2.4, which is load-bearing for the density estimate but admits a straightforward repair.
major comments (1)
- [§2, proof of Theorem 2.4] Theorem 2.3 is applied with a_i = s'_i, but Theorem 2.3 is stated only for positive numbers a_i, and it does not assert that the sampling function pi takes values in the support of the sequence (a_i). Since some s'_i produced by Theorem 2.1 may be zero, the proof as written does not rule out pi(I') hitting indices with s'_i = 0. If that happens, the resulting coefficients s_i can be non-zero at indices outside {i : s'_i != 0}, and the bound #{i : s_i != 0} <= ceil(dn) in condition (i) could fail. This cardinality bound is exactly what controls D(Lambda) <= (1+epsilon)|Omega| in Theorem 3.1 through (3.7). The gap is fixable: apply Theorem 2.3 to I_+ = {i : s'_i > 0}, since the zero-weight terms do not contribute to T = sum s'_i v_i v_i^*, and then the sampling function has image in I_+, so support(s) is contained in I_+ and #{i : s_i != 0} <= |I_+| <= ceil(dn). Please add this argument explicitly, both for the real-line case and for the LCA case that inherits the density bound from Theorem 4.5.
minor comments (5)
- [§4.5, proof of Theorem 4.4] The index [H0 : Hm] is 2^{m(d+ell)} #F, not 2^{m(d+ell)}. Consequently the displayed equalities DH0(Hm) = 2^{-m(d+ell)} and DH(T) = q 2^{-m(d+ell)} should carry an extra factor (#F)^{-1}. The final estimate DH(T) <= (1+epsilon) mu(Omega) is unaffected because only the equality DH(T) = DH0(T0) is used, but the numerical claims as written are incorrect.
- [§4.3, proof of Theorem 4.5] In the definition of the matrix F, the entries should be indexed as e_{h_j}(lambda_i) rather than e_{h_i}(lambda_i); the later use of F_I(J) with entries e_{h_j}(lambda_i) confirms this is a typographical indexing slip.
- [§3, proof of Theorem 3.1] The notation c(epsilon) is introduced as c (1 - 1/sqrt(1+epsilon))^2, but the subsequent substitutions use c(epsilon/4); please clarify that the displayed definition is intended with the same epsilon/4 argument, or change the notation to avoid confusion.
- [§2, Theorem 2.3] Theorem 2.3 is imported from the first author's preprint [6] and is load-bearing for the main theorem. If [6] is not yet published, please include either a self-contained proof of Theorem 2.3 or a precise pointer to a version of record, so that the dependence is verifiable by the reader.
- [§3, Corollary 3.2] The final inequality in Corollary 3.2 says 'for all in PW_Omega'; it should say 'for all f in PW_Omega'.
Circularity Check
No circular derivation: the main frame bounds and density estimates follow from external finite-dimensional sparsification theorems and explicit counting, with no fitted input renamed as a prediction.
full rationale
The central new step is Theorem 2.4, which combines Batson-Spielman-Srivastava sparsification (Theorem 2.1) with a scalable-frame theorem of the first author (Theorem 2.3, quoted from [6]). Both are stated with independent hypotheses (positive trace-class operators, Parseval frames) and neither contains Theorem 1.1 or 1.2; hence the self-citation does not make the argument circular. Lemma 2.5 and Lemma 2.6 are algebraic consequences of Theorem 2.4 with no fitted parameters. Theorem 3.1 applies Lemma 2.6 to a DFT submatrix and uses orthogonality of exponentials over intervals; the density estimate D(Lambda) <= (1+epsilon)|Omega| is obtained by counting selected rows (#J <= ceil((1+epsilon/4)n)) and using |Omega'|=n/m, not by assuming the conclusion. The LCA extension likewise uses the external lifting Proposition 4.6 and quasi-dyadic cubes from [1], followed by index/counting comparisons. The only self-referential element is the citation [6], but it is independent support under the stated criteria and does not raise the circularity score. Two non-circular correctness gaps exist and should be weighed separately: in the proof of Theorem 2.4, Theorem 2.3 is applied with weights a_i=s'_i that may vanish, while Theorem 2.3 states positive weights and does not explicitly force the sampling function's image into the support of the weights; and in Theorem 4.4 the index [H0:Hm] is written as 2^{m(d+ell)} instead of 2^{m(d+ell)} #F. Both are fixable and do not amount to a reduction of any prediction to an input or to a self-citation chain. Verdict: no significant circularity.
Assumptions & free parameters
assumptions (8)
- standard math Finite Parseval frames satisfy Σ_{i=1}^m v_i v_i^* = I_n.
- standard math Batson-Spielman-Srivastava sparsification theorem [5, Theorem 3.1].
- standard math Bownik selector theorem [6, Theorem 7.1].
- standard math Landau's necessary density conditions for exponential frames and Riesz sequences.
- standard math Structure theorem for second countable LCA groups with compactly generated dual: Ĝ ≅ R^d × Z^n × K0.
- standard math Weil's integral formula relating Haar measures on G, K and G/K.
- standard math Quasi-dyadic cube approximation lemma [1, Proposition 5.3].
- standard math Leptin and Beurling density equivalence for uniformly separated sets in amenable groups [20].
Cite this review
Pith. "Pith review of On exponential frames near the critical density." pith.science (2026). https://pith.science/paper/3MXFF4VV
@misc{pith2026241119562,
author = {Pith},
title = {Pith review of: On exponential frames near the critical density},
year = {2026},
howpublished = {\url{https://pith.science/paper/3MXFF4VV}},
note = {Machine review of arXiv:2411.19562}
}
abstract
Given a relatively compact set $\Omega \subseteq \mathbb{R}$ of Lebesgue measure $|\Omega|$ and $\varepsilon > 0$, we show the existence of a set $\Lambda \subseteq \mathbb{R}$ of uniform density $D (\Lambda) \leq (1+\varepsilon) |\Omega|$ such that the exponential system $\{ \exp(2\pi i \lambda \cdot) \mathbf{1}_{\Omega}: \lambda \in \Lambda \}$ is a frame for $L^2 (\Omega)$ with frame bounds $A |\Omega|, B |\Omega|$ for constants $A,B$ only depending on $\varepsilon$. This solves a problem on the frame bounds of an exponential frame near the critical density posed by Nitzan, Olevskii and Ulanovskii. We also prove an extension to locally compact abelian groups, which improves a result by Agora, Antezana and Cabrelli by providing frame bounds involving the spectrum.
Reference graph
Works this paper leans on
-
[6]
M. Bownik. Selector form of Weaver’s conjecture and frame spa rsification. Preprint. arXiv: 2405.18235, 2024
arXiv 2024
- [1]
- [2]
-
[3]
J. Antezana and M. G. Garc ´ ıa. Universal sampling and interpolat ion in locally compact abelian groups. J. Math. Anal. Appl. , 514(2):Paper No. 126308, 19, 2022
work page 2022
- [4]
- [5]
-
[7]
M. Bownik and J. W. Iverson. Multiplication-invariant operators a nd the classification of LCA group frames. J. Funct. Anal. , 280(2):59, 2021. Id/No 108780
work page 2021
-
[8]
W. R. Emerson. Ratio properties in locally compact amenable group s. Trans. Am. Math. Soc. , 133:179–204, 1968
work page 1968
Show all 22 references
-
[9]
Enstad and S
U. Enstad and S. Raum. A dynamical approach to sampling and inte rpolation in unimodular groups. Trans. Am. Math. Soc. , 378(3):1975–2006, 2025
1975
-
[10]
G. B. Folland. A course in abstract harmonic analysis . Textb. Math. Boca Raton, FL: CRC Press, 2nd updated edition edition, 2016
2016
-
[11]
Friedland and P
O. Friedland and P. Youssef. Approximating matrices and conve x bodies. Int. Math. Res. Not. , 2019(8):2519–2537, 2019
2019
-
[12]
Gr¨ ochenig, G
K. Gr¨ ochenig, G. Kutyniok, and K. Seip. Landau’s necessary d ensity conditions for LCA groups. J. Funct. Anal. , 255(7):1831–1850, 2008
2008
-
[13]
Hewitt and K
E. Hewitt and K. A. Ross. Abstract harmonic analysis. Vol. I: Structure of topologic al groups. In- tegration theory. Group representations, volume 115 of Grundlehren Math. Wiss. Springer, Cham, 1963
1963
-
[14]
H. J. Landau. Necessary density conditions for sampling an inte rpolation of certain entire func- tions. Acta Math., 117:37–52, 1967
1967
-
[15]
J. Marzo. Riesz basis of exponentials for a union of cubes in Rd. Preprint. arXiv:math/0601288, 2006
2006 arXiv
-
[16]
A. Naor. Sparse quadratic forms and their geometric applicatio ns [following Batson, Spielman, and Srivastava]. In S´ eminaire Bourbaki. Volume 2010/2011. Expos´ es 1027–1042. Avec table par noms d’auteurs de 1948/49 ` a 2009/10 , pages 189–217. Paris: Soci´ et´ e Math´ ematiq...
2010
-
[17]
Nitzan, A
S. Nitzan, A. Olevskii, and A. Ulanovskii. A few remarks on sampling of signals with small spectrum. Proc. Steklov Inst. Math. , 280:240–247, 2013
2013
-
[18]
Nitzan, A
S. Nitzan, A. Olevskii, and A. Ulanovskii. Exponential frames on u nbounded sets. Proc. Am. Math. Soc. , 144(1):109–118, 2016
2016
-
[19]
A. L. T. Paterson. Amenability, volume 29 of Math. Surv. Monogr. Providence, RI: American Mathematical Society, 1988
1988
-
[20]
Pogorzelski, C
F. Pogorzelski, C. Richard, and N. Strungaru. Leptin densities in amenable groups. J. Fourier Anal. Appl. , 28(6):36, 2022. Id/No 85
2022
-
[21]
Reiter and J
H. Reiter and J. D. Stegeman. Classical harmonic analysis and locally compact groups. , volume 22 of Lond. Math. Soc. Monogr., New Ser. Oxford: Clarendon Press, 2nd ed. edition, 2000
2000
-
[22]
Richard and C
C. Richard and C. Schumacher. On sampling and interpolation by m odel sets. J. Fourier Anal. Appl., 26(3):37, 2020. Id/No 39. ON EXPONENTIAL FRAMES NEAR THE CRITICAL DENSITY 25 Department of Mathematics, University of Oregon, Eugene, O R 97403–1222, USA Email address : mbownik...
2020
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.