Pith. sign in

REVIEW 4 major objections 5 minor 22 references

Woven weighted exponentials

T0 review · 4 major / 5 minor · reviewed 2026-08-27 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Two weighted exponential systems are wovenly complete exactly when their spectra cannot be split into complementary halves.

desk verdict The paper has a good question and a correct frame theorem, but a systematic fg vs f\bar g bug makes Theorem 3.2 and Proposition 3.4 false as stated and breaks the proof of Theorem 3.7. read the letter →

arxiv 2608.14393 v1 pith:WSOATAG2 submitted 2026-08-14 math.CA

Rohit Pai , Ivan Rocha , Pu-Ting Yu This is my paper · ORCID
classification math.CA MSC 42C15
keywords weightedexponentialswovenframescompletenessGaborsystemsatcriticaldensityregulartranslatesRieszbasesFouriercoefficientsspectralsplitting
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

This paper asks when every interleaving of two systems of weighted exponentials in $L^{2}$[0,1] keeps the same approximation property as the original systems. It proves a complete characterization of woven completeness: the two generators must be nonzero almost everywhere, and there must be no nonzero weight p whose products pf and pg have Fourier spectra confined to complementary index sets. It also proves that if both systems are frames and the ratio g/f has a constant strict sign, then every interleaving is a frame, indeed a Riesz basis. The results transfer to systems of regular translates and to Gabor systems at critical density, and several counterexamples show that natural-looking sufficient conditions are not necessary.

What carries the argument

The weaving W(f,g) is the collection of sets {f e_n}_{n in J} union {g e_n}_{n in J^c} over all J subseteq Z; the question is whether every such set spans $L^{2}$[0,1]. The completeness characterization is carried by the Fourier-coefficient map on $L^{1}$: if a product pf lies in the closed span of a family of exponentials, its Fourier coefficients vanish on the complementary index set, and Lemma 3.6 converts span membership into coefficient vanishings. The frame result is carried by writing the synthesis operator of a weaving as M_f $S^{{-1}}$(I + (M_f $S^{{-1}}$)^{-1} M_{g-f} $S^{{-1}}$ P_{J^c}) and controlling the perturbation by ||(g-f)/f||_infty < 1, which forces every weaving to be a Riesz basis. A reciprocal-weight duality (Lemma 3.11) connects woven completeness of W(f,g) to that of W(1/f,1/g).

What would settle it

Take f(t)=$e^{{2pi i t}}$, p(t)=$e^{{-2pi i t}}$, and n=0. Then <p, f e_0> = $integral_0^{1}$ $e^{{-2pi i t}}$ overline{$e^{{2pi i t}}$} dt = 0, while <pf, e_0> = $integral_0^{1}$ $e^{{-2pi i t}}$ $e^{{2pi i t}}$ dt = 1, so the identity used in the proof of Theorem 3.7 fails for complex-valued generators. A corrected theorem must either restrict f and g to real-valued functions or replace that step; testing any complex-valued pair against the spectral-splitting condition would show whether the stated characterization still holds.

Watch

Extended reading notes

Core claim

The central theorem (Theorem 3.7) states that W(f,g) is wovenly complete in $L^{2}$[0,1] if and only if f and g are nonzero almost everywhere and no nonzero p in $L^{2}$[0,1] admits a subset J of Z with pf in the $L^{1}$-closed span of {e_n}_{n in J} and pg in the $L^{1}$-closed span of {e_n}_{n in J^c}. In other words, woven completeness fails exactly when some weighted combination of the two generators splits the exponential spectrum into two complementary halves. A second theorem (Theorem 3.17) says that when E(f) and E(g) are frames and g/f is strictly positive or strictly negative almost everywhere, every weaving is a frame — and the argument shows it is a Riesz basis. The paper further shows that disjoint Fourier spectra for f and g imply the woven system is not wovenly complete, and that woven completeness is equivalent to woven $\ell^2$-minimality when the constituent systems are frames.

Load-bearing premise

The proof of the main theorem relies on a step that treats the product f times p as if no complex conjugation were needed; this is only valid when f is real-valued, an assumption the theorem never states.

Editorial extensions

If this is right

  • If f and g have disjoint Fourier spectra (b_f(n)b_g(n)=0 for every n), then W(f,g) is never wovenly complete.
  • Whenever g/f is strictly positive or strictly negative a.e. and E(f), E(g) are frames, every weaving is not just a frame but a Riesz basis.
  • For a frame generator f, the pair (f, 1/f) gives a woven Riesz basis.
  • The same criteria decide when every interleaving of regular translates, or of Gabor systems at critical density, remains complete or a frame.
  • Under the frame assumption, woven completeness and woven l2-minimality coincide.

Reading between the lines

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

  • The spectral-splitting obstruction suggests a quantitative refinement: if the overlap between the spectra of pf and pg is bounded below rather than merely nonzero, one might expect uniform frame bounds across all weavings; this is a natural next question the paper does not address.
  • Because the proof of Theorem 3.7 as written identifies inner products with Fourier coefficients without conjugation, a repaired version likely needs f and g real-valued; the applications to regular translates produce real generators, so the scope of the result may survive intact there.
  • The L^1 closure in the characterization is worth probing: replacing L^1 by L^p in the span condition would test how much of the theorem is genuinely about Fourier-coefficient vanishings rather than about the ambient norm.
  • Example 3.5 shows the strict-sign condition of Theorem 3.17 is sufficient but not necessary, so a weaker geometric condition on arg(g/f) may characterize woven frames.
Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

  1. Claim #1: The central theorem (Theorem 3.7) states that W(f,g) is wovenly complete in $L^{2}$[0,1] if and only if f and g are nonzero almost everywhere and no nonzero p in $L^{2}$[0,1] admits a subset J of Z with pf in the $L^{1}$-closed span of {e_n}_{n in J} and pg in the $L^{1}$-closed span of {e_n}_{n in J^c}. In other words, woven completeness fails exactly when some weighted combination of the two gen

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper studies woven systems of weighted exponentials W(f,g)={ {f e_n}_{n in J} union {g e_n}_{n in J^c} : J subset Z } in L^2[0,1]. The main claims are: a complete characterization of when every weaving is complete (Theorem 3.7); a sufficient condition for every weaving to be a frame, in fact a Riesz basis, when E(f) and E(g) are frames and g/f has a constant sign (Theorem 3.17); and a characterization of when every weaving is an orthonormal basis (Theorem 3.2). The paper also provides counterexamples and transfers the results to systems of regular translates and critical-density Gabor systems. The central idea is to reduce the approximation properties of all weavings to spectral-splitting conditions on the Fourier coefficients of pf and pg for a weight p, and to use operator-factorization arguments for the frame result.

Significance. If correct, Theorem 3.7 is a strong and essentially parameter-free spectral characterization of woven completeness for weighted exponential systems, and Theorem 3.17 gives a clean sufficient condition for woven frames from sign consistency of the ratio of the generators. The counterexamples are instructive and the applications to translates and Gabor systems are natural. However, the manuscript as written contains systematic errors in complex-valued inner-product manipulations. These errors affect the proof of the central characterization and make Theorem 3.2 false as stated. The results are likely repairable, but a careful revision is required before the paper can be considered trustworthy.

major comments (4)
  1. [Section 3.2, Theorem 3.2] Theorem 3.2 is false as stated for complex-valued f and g. With the paper's inner product, cross-orthogonality of a woven orthonormal basis gives int f \bar{g} e^{2pi i (m-n)t} dt = 0, not int f g e^{2pi i (m-n)t} dt. Consequently the 'only if' direction concludes that fg is constant, which is not a necessary condition. For example, take f=g=e_1. Then W(f,g,J)=E(e_1) for every J, so W(f,g) is a woven orthonormal basis, yet |f|=|g|=1 and fg=e_2 is not constant. The correct necessary and sufficient condition is that f/g (equivalently f\bar{g}) is constant a.e.; the proof must be corrected accordingly.
  2. [Section 3.3, proof of Theorem 3.7] The proof of the central characterization uses the identity \langle p, f e_n\rangle = \langle pf, e_n\rangle. Under the stated inner product, \langle p, f e_n\rangle = \widehat{p\bar{f}}(n), whereas \langle pf, e_n\rangle = \widehat{pf}(n). These are not equal for complex-valued f and p. The argument works if one sets p = \bar{h} in the converse (and h = \bar{p} in the forward direction) and tracks the conjugated Fourier coefficients; the statement of the theorem itself appears to survive that change. As written, however, both directions of the proof are invalid. Since Theorem 1.2 and Examples 3.9 and 3.15 rely on Theorem 3.7, this is a load-bearing issue that must be fixed.
  3. [Section 2, Theorem 2.2(b); Section 3.3, Lemma 3.11] Theorem 2.2(b) states that the biorthogonal system of E(f) is E(1/f). For the standard inner product, the biorthogonal sequence is E(1/\bar{f}), since \langle f e_m, (1/\bar{f}) e_n\rangle = \delta_{mn}. The stated version holds only for real-valued f. Lemma 3.11 repeats the same error when it identifies W(1/f,1/g) as the duality partner of W(f,g); the correct reciprocal is 1/\bar{f}, 1/\bar{g}. Because Lemma 3.11 is used in the proof of Proposition 3.12 and Corollary 3.14, those results also need to be revisited for complex-valued generators.
  4. [Section 4.1, Corollary 4.1] Corollary 4.1 invokes Proposition 3.4 to conclude woven completeness of W(Phi_f, Phi_h). Proposition 3.4 has an explicit L^infty hypothesis, and the fiberizations Phi_f and Phi_h need not be bounded under the assumptions of the corollary (only Phi_g \neq 0 a.e. is assumed). Either an L^infty assumption must be added, or a version of Proposition 3.4 valid for unbounded nonnegative weights must be proved. Additionally, Proposition 3.4 is stated without proof, and the indicated proof (by analogy with the second half of the proof of Theorem 3.2) inherits the fg versus f\bar{g} problem for complex generators.
minor comments (5)
  1. [Example 3.5] The product is fg = e^{2pi i (1/5+1/6)t} = e^{2pi i (11/30)t}, not e^{2pi i t/30}. The conclusion that fg is not constant remains valid.
  2. [Proof of Theorem 3.17] The scaling argument at the beginning uses 'min(C,D)' and 'max(C,D)' for general nonzero scalars; the frame inequalities should use |C|^2 and |D|^2. Also, the sentence 'By choosing C large enough that \|g/(Cf)\|_\infty<1, we may assume that \|g/f-1\|_\infty<1' is incorrect: making g/(Cf) small does not make g/f close to 1. The correct scaling is to replace f by f/C with C chosen so that Cg/f lies between 1-epsilon and 1+epsilon.
  3. [Proof of Theorem 3.17] The notation F is ambiguous: Section 2 defines F as the Fourier transform on L^2(R), while the proof of Theorem 3.17 uses F to denote the Fourier-series transform on [0,1] (elsewhere denoted by S). The norm bound \|F M_{(g-f)/f} F^{-1} P_{J^c}\| \le \|(g-f)/f\|_\infty is valid for the Fourier-series unitary, but the notation should be clarified.
  4. [Throughout] There are several typos: 'eahcn' for 'each' in the proof of Theorem 3.7; 'straightfoward' in Proposition 3.3; 'crtical' in Section 2; 'resuls' in Section 4; 'iff /g' in the abstract should be 'if f/g'. In the proof of Theorem 3.7, the displayed chain should end with \langle pg,e_{-n}\rangle, not \langle pf,e_{-n}\rangle.
  5. [Example 3.16] The claim \tau f \in \overline{\mathrm{span}}\{E(f,2Z)\} cites the preprint [21], which is a self-citation. Since this is a nontrivial step, the authors should either provide a proof or confirm that the preprint is publicly available and accepted.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main characterization and frame theorems are derived from the definitions plus standard external results; the sole self-citation is confined to an auxiliary example and does not carry the central derivation.

full rationale

The paper's central claim, Theorem 3.7, is a duality characterization of woven completeness: it translates failure of woven completeness into the existence of h orthogonal to some weaving, then uses Fourier-coefficient vanishing and Lemma 3.6 to obtain the stated spectral-splitting condition on the products pf and pg. This is a derivation from the definition of completeness via the orthogonal complement, not an importation of the conclusion, and the spectral condition is not used as an input. Theorem 3.17 is a self-contained perturbation argument around the synthesis operator, with the smallness condition ||g/f - 1||_infty < 1 obtained from the frame bounds; the frame-bound estimate is computed directly and does not presuppose the target. The remaining results, including Theorem 3.2, Proposition 3.12, and Examples 3.9 and 3.15, follow from the definitions and Theorem 2.2, which is an external standard result from basis theory. The only self-citation, reference [21] by co-author Yu, appears in Example 3.16 as a black-box containment tau f in span{E(f,2Z)}; it is used for an auxiliary counterexample about non-minimality and is not load-bearing for the main completeness or frame theorems. The inner-product conjugation issues noted in the skeptical review are mathematical correctness concerns, not circularity: they do not make a target statement identical to an input, nor do they fit a parameter to a predicted quantity. Consequently, no circular step is identified.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities. The proofs depend on standard basis and frame theorems, the L^1 approximation property of Fourier series, Kadets' theorem, and the unitary transfer machinery to translates and Gabor systems. One cited result ([21]) is a self-cited preprint by co-author Yu, used in a counterexample, but the central theorems do not rely on it.

assumptions (5)
  • standard math Theorem 2.2 (Heil): E(f) is complete iff f≠0 a.e., minimal iff 1/f∈L^2, Bessel iff f∈L^∞, frame iff 0<A≤|f|^2≤B, ONB iff |f|=1.
    Invoked throughout Sections 2 to 4 to transfer properties of weighted exponentials to generator conditions.
  • standard math Fejér's theorem: the span of exponentials is dense in the L^1 subspace with matching spectral support via Fejér means.
    Used in Lemma 3.6 to conclude f belongs to the L^1-closure of span{e_n}_{J^c} from vanishing Fourier coefficients on J.
  • standard math Kadets 1/4 theorem: if real λ_n satisfy sup|λ_n−n|<1/4, then {e^{2πiλ_n t}} is a Riesz basis.
    Used in Example 3.5 to show a non-sign-definite pair is still wovenly complete.
  • domain assumption Fiberization map and Zak transform provide unitary equivalences between regular translates, critical-density Gabor systems, and weighted exponentials.
    Used in Section 4 to transfer all main results to regular translates and Gabor systems; requires the generator's fiberization to be nonzero or bounded in the relevant corollaries.
  • domain assumption de Boor-DeVore-Ron [3, Cor. 2.4] and Yu [21, Cor. 2.5]: containments among shift-invariant spans are characterized by support and spectral conditions.
    [21] is a self-cited preprint by co-author Yu, used in Example 3.16 to assert τf belongs to span{E(f,2Z)}; the central theorems do not rely on it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Woven weighted exponentials." pith.science (2026). https://pith.science/paper/WSOATAG2

@misc{pith2026260814393,
  author       = {Pith},
  title        = {Pith review of: Woven weighted exponentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WSOATAG2}},
  note         = {Machine review of arXiv:2608.14393}
}
abstract

Let $f$ and $g$ be nonzero functions in $L^2([0,1])$. The \emph{woven weighted exponential system} (associated with $f$ and $g$) is defined by $$\Wc(f,g)=\bigset{\set{fe^{2\pi i nt}}_{n\in J} \cup \set{ge^{2\pi i nt}}_{n\in J^c}\,|\,J\subset\Z}.$$ We say that $\Wc(f,g)$ is \emph{wovenly complete}, (resp. \emph{wovenly minimal}, a \emph{woven frame}) if the weaving $\set{fe^{2\pi i nt}}_{n\in J} \cup \set{ge^{2\pi i nt}}_{n\in J^c}$ is complete, (resp. minimal, a frame) for all $J\subseteq \Z.$ In this paper, we study conditions that imply certain approximation properties of $\Wc(f,g)$, such as completeness, minimality and the frame property. We first provide a complete characterization of the woven weighted exponential systems that are wovenly complete. We also show that $\Wc(f,g)$ is a woven frame if $f/g$ is strictly positive or strictly negative over $[0,1].$ Additionally, several counterexamples are provided to show that certain seemingly correct conditions do not imply the desired approximation properties of $\Wc(f,g).$ All results presented in this paper apply equivalently to systems of regular translates and Gabor systems at critical density in $L^2(\R)$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    Balazs, N

    P. Balazs, N. Holighaus, T. Necciari and D. Stoeva,Frame Theory for Signal Processing in Psychoa- coustics, In: Balan, R., Benedetto, J., Czaja, W., Dellatorre, M., Okoudjou, K. (eds) Excursions in Harmonic Analysis, Volume 5. Applied and Numerical Harmonic Analysis. Birkh¨ auser, Cham, 2017

    work page 2017

  2. [2]

    Bemrose, P

    T. Bemrose, P. Casazza, K. Gr¨ ochenig, M.C. Lammers and R.G. Lynch,Weaving frames, Oper. Matrices,10(2016), pp. 1093–1116

    work page 2016

  3. [3]

    de Boor, R

    C. de Boor, R. A. DeVore, and A. Ron,Approximation from shift-invariant subspaces ofL 2(Rd), Trans. Amer. Math. Soc.341(1994), pp. 787–806

    work page 1994

  4. [4]

    Cabrelli, U

    C. Cabrelli, U. Moulter, F. Negreira,Weaving Riesz bases, J. Fourier Anal. Appl.,31(2025), pp. 4–20

    work page 2025

  5. [5]

    J.-F. Cai, R. H. Chan and Z. Shen,A framelet-based image inpainting algorithm, Appl. Comput. Harmon. Anal.,24(2008), pp. 131–149. 16

    work page 2008

  6. [6]

    Cassaza, O

    P.G. Cassaza, O. Christensen,Perturbations of operators and applications to frame theory, J. Fourier Anal. Appl.,3(5) (1997), 543–557

    work page 1997

  7. [7]

    P. G. Casazza and O. Christensen,Frames containing a Riesz basis and preservation of this property under perturbation, SIAM J. Math. Anal.,29(1998), no. 1, pp. 266–278

    work page 1998

  8. [8]

    Christensen and C

    O. Christensen and C. Heil,Perturbations of Banach frames and atomic decompositions, Math. Nachr., 185(1997), pp. 33–47

    work page 1997

Show all 22 references
  1. [9]

    Christensen,A Paley–Wiener Theorem for Frames, Proc

    O. Christensen,A Paley–Wiener Theorem for Frames, Proc. Amer. Math. Soc.,123(1995), pp. 2199– 2201

    1995

  2. [10]

    Christensen, M

    O. Christensen, M. Hasannasab and E. Rashidi,Dynamical sampling and frame representations with bounded operators, J. Math. Anal. Appl.,463(2018), pp. 634–644

    2018

  3. [11]

    Casazza, D

    P G. Casazza, D. Freeman and R. G. Lynch,Weaving Schauder frames,211, 2016, pp. 42–60

    2016

  4. [12]

    H. G. Feichtinger and K. Gr¨ ochenig,Gabor Analysis and Algorithms: Theory and Applications, 1998, Birkha¨ user, Boston

    1998

  5. [13]

    Gr¨ ochenig,Foundation of Time-Frequency Analysis, Birkh¨ auser, Boston, 2001

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

    2001

  6. [14]

    A. B. Hafshejani and M. A. Dehghan,P-woven frames, J. Math. Anal. Appl.,479(1), pp. 673–687 (2019)

    2019

  7. [15]

    Heil,A Basis Theory Primer, Expanded Edition, Birkh¨ auser, Boston, 2011

    C. Heil,A Basis Theory Primer, Expanded Edition, Birkh¨ auser, Boston, 2011

    2011

  8. [16]

    Hwang; P.-T Huang, B.-C

    W.-L. Hwang; P.-T Huang, B.-C. Kung; J. Ho; T.-L. JongFrame-based sparse analysis and synthesis signal representations and Parseval K-SVD, IEEE Trans. Signal Process.,67(2019), no. 12, pp. 3330– 3343

    2019

  9. [17]

    M. I. Kadets,The exact value of the Paley-Wiener constant,Dokl. Akad. Nauk SSSR,155:6 (1964), pp. 1253–1254

    1964

  10. [18]

    Katznelson,An Introduction to Harmonic Analysis, Third Edition, Cambridge University Press, Cambridge, UK, 2004

    Y. Katznelson,An Introduction to Harmonic Analysis, Third Edition, Cambridge University Press, Cambridge, UK, 2004

    2004

  11. [19]

    L. K. Vashisht, S. Garg, Deepshikha and P K. Das,On Generalized Weaving Frames in Hilbert Spaces, Rocky Mountain J. Math (2018)48(2), pp. 661–685

    2018

  12. [20]

    R. M. Young,An Introduction to Nonharmonic Fourier Series, Revised First Edition, Academic Press, San Diego, 2001

    2001

  13. [21]

    Yu,Operations that are incompatiable with certain systems of translates, preprint, 2025

    P.-T. Yu,Operations that are incompatiable with certain systems of translates, preprint, 2025. https://arxiv.org/abs/2508.16529

    2025 arXiv

  14. [22]

    W. Zhou, S. Yang, S., C. Zhang, and S. Fu,Adaptive tight frame based multiplicative noise removal, SpringerPlus5, 122 (2016). (Rohit Pai and Ivan Rocha) School of Mathematics, Georgia Institute of Technology, Atlanta, GA, 30318, USA. E-mail address:rpai32@gatech.eduandirocha7@...

    2016

Pith tools

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