pith. sign in

arxiv: 2602.06641 · v3 · submitted 2026-02-06 · 🧮 math.CA

Frame Sets and Zeros of Zak transforms of Extended Gaussians

Wenchang Sun , Weiqi Zhou This is my paper

Pith reviewed 2026-05-16 06:43 UTC · model grok-4.3

classification 🧮 math.CA
keywords extended Gaussianframe setZak transformGabor framemetaplectic representationtheta functionmaximal frame set
0
0 comments X

The pith

Extended Gaussians with complex parameters generate frames for every positive lattice pair whose product is less than one, and their Zak transforms have exactly one simple zero in the unit square.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that functions of the form e to the power of a x squared plus b x plus c, with the real part of a negative, achieve the largest possible frame sets in time-frequency analysis. For any positive numbers alpha and beta with alpha times beta less than one, these functions form frames for the associated Gabor systems. Their Zak transforms, which detect frame properties by turning them into non-vanishing conditions on the torus, possess a single simple zero inside the unit square, sitting at the center when b is zero. This extends the classical real-Gaussian case and adds concrete examples to the observed link between maximal frame sets and unique Zak zeros. The proofs use the metaplectic representation to reduce the problem to the standard Gaussian together with theta-function identities to locate the zero.

Core claim

For a, b, c complex with real part of a negative, the extended Gaussian has maximal frame set consisting of all positive pairs (alpha, beta) satisfying alpha beta less than one. Its Zak transform has a unique simple zero in the unit square [0,1) squared, located at the center when b equals zero. Maximality follows by mapping the function via the metaplectic representation and invoking the known density result for the standard Gaussian; uniqueness of the zero is obtained from theta-function properties.

What carries the argument

The Zak transform of the extended Gaussian, which converts the frame property on the time-frequency plane into a non-vanishing condition on the unit square and whose single simple zero determines the boundary of the maximal frame set.

If this is right

  • Extended Gaussians generate frames for every Gabor system whose lattice has density greater than one.
  • The location of the single Zak zero fixes the precise boundary of the frame set for these functions.
  • The result supplies additional functions that realize the observed pattern linking maximal frame sets to unique simple Zak zeros.
  • The proof technique reduces the complex-parameter case to the classical Gaussian via metaplectic action.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The single-zero Zak property may turn out to be necessary for maximality among a wider class of continuous Wiener functions.
  • Small changes to the linear and constant terms b and c could be used to test how stable the frame set remains under perturbation.
  • The appearance of theta functions hints at possible connections between frame theory and modular forms that could be explored in discrete or higher-dimensional settings.

Load-bearing premise

The real part of a must be negative so that the function is square-integrable and the relevant integrals converge.

What would settle it

Finding either a second zero of the Zak transform inside the unit square or a pair alpha, beta positive with alpha beta less than one for which the Gabor system fails to be a frame would disprove the claim.

read the original abstract

Let $a,b,c\in\mathbb C$ with $\re(a)<0$, we show that the extended Gaussian $e^{ax^2+bx+c}$ has maximal frame set (i.e., its frame set consists of precisely all positive pairs $(\alpha,\beta)$ with $\alpha\beta<1$), and its Zak transform has a unique simple zero in the unit square $[0,1)^2$ (in particular, the zero is at the center of the unit square if $b=0$). These statements extend the same results of the usual Gaussian (the cases when $a<0$ and $b,c\in\mathbb R$), and add more instances to the observation that if a continuous Wiener function has maximal frame set, then its Zak transform has a unique simple zero in the unit square. The proof of the maximality of the frame set combines metaplectic representation with a classical density result of the standard Gaussian. The proof of the uniqueness of the zero relies on properties of the theta function.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that extended Gaussians of the form exp(a x² + b x + c) with Re(a) < 0 have maximal frame sets consisting exactly of all positive pairs (α, β) satisfying αβ < 1, and that their Zak transforms possess a unique simple zero in the unit square [0,1)² (located at the center when b = 0). These statements extend the corresponding results for the standard Gaussian and furnish further examples of the observed link between maximal frame sets and unique simple Zak zeros for continuous Wiener functions. The frame-set maximality is obtained by combining the metaplectic representation with a classical density result for the standard Gaussian; the zero uniqueness follows from analytic properties of the theta function.

Significance. If the claims hold, the work enlarges the known class of functions with maximal frame sets by showing that the property is preserved under the affine metaplectic action on the standard Gaussian. It supplies concrete, parameter-free instances supporting the Wiener-function/Zak-zero observation without introducing ad-hoc assumptions or fitted parameters. The reduction via Sp(2,ℝ) transitivity on lattices of fixed determinant and the analytic continuation of the theta-function identity are standard and reproducible.

minor comments (2)
  1. [§2] §2: the precise normalization of the Zak transform (including the factor of √β) should be stated explicitly when the metaplectic action is applied, to make the transfer of the zero location immediate.
  2. [§4] The statement that the zero is simple would benefit from a brief reference to the non-vanishing derivative of the theta function at the relevant point, even if it follows from classical properties.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation to accept. We are pleased that the work is viewed as enlarging the class of functions with maximal frame sets via the metaplectic action and providing further support for the Wiener-function/Zak-zero link.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation combines the metaplectic representation with a classical density result for the standard Gaussian and analytic properties of the theta function. These are independent external results (standard group actions on lattices of fixed determinant and classical theta identities) that do not reduce the maximality or zero claims to the paper's own fitted parameters, self-definitions, or prior self-citations. The extension to Re(a)<0 cases follows by transitivity and analytic continuation without internal circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claims rest on standard background results from representation theory and complex analysis without introducing new free parameters or postulated entities.

axioms (3)
  • standard math Properties of the metaplectic representation
    Invoked to combine with the classical density result for proving maximality of the frame set.
  • domain assumption Classical density result for the standard Gaussian
    Used as a building block for the frame set maximality proof.
  • standard math Properties of the theta function
    Relied upon to establish uniqueness and simplicity of the Zak transform zero.

pith-pipeline@v0.9.0 · 5469 in / 1448 out tokens · 33079 ms · 2026-05-16T06:43:36.724858+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · 1 internal anchor

  1. [1]

    Colloquium Mathematicum, 60/61, 195-203, 1990

    L.Baggett: Processing a radar signal and representations of the discrete Heisenberg group. Colloquium Mathematicum, 60/61, 195-203, 1990

    work page 1990

  2. [2]

    Journal of Approximation Theory, 87, 36-59, 1996

    B.Baxter, N.Sivakumar: On shifted cardinal interpolation by Gaussians and multiquadrics. Journal of Approximation Theory, 87, 36-59, 1996

    work page 1996

  3. [3]

    Inventiones Mathe- maticae, 231, 431-466, 2023

    Y.Belov, A.Kulikov, Y.Lyubarskii: Gabor frames for rational functions. Inventiones Mathe- maticae, 231, 431-466, 2023

    work page 2023

  4. [4]

    Beyond universality in three-body recombination: an Effective Field Theory treatment

    I.Daubechies: The wavelet transform, time-frequency localization and signal analysis. IEEE Transactions on Information Theory, 39, 961-1005.1990

    work page internal anchor Pith review Pith/arXiv arXiv 1990

  5. [5]

    Transactions of the American Mathematical Society, 356, 5, 2001-2023, 2003

    H.Feichtinger, N.Kaiblinger: Varying the time frequency lattice of Gabor frames. Transactions of the American Mathematical Society, 356, 5, 2001-2023, 2003

    work page 2001

  6. [6]

    Princeton University Press, Princeton, NJ, 1989

    B.Folland: Harmonic Analysis in Phase Space. Princeton University Press, Princeton, NJ, 1989

    work page 1989

  7. [7]

    Birkh¨ auser, Boston, MA, 2001

    K.Gr¨ ochenig: Foundations of time-frequency analysis. Birkh¨ auser, Boston, MA, 2001

    work page 2001

  8. [8]

    Advances in Mathematics, 427, 109113, 2023

    K.Gr¨ ochenig: Totally positive functions and Gabor frames over rational lattices. Advances in Mathematics, 427, 109113, 2023

    work page 2023

  9. [9]

    Inventiones Mathematicae, 211, 1119-1148, 2018

    K.Gr¨ ochenig, J.Romero, J.St¨ ockler: Sampling theorems for shift-invariant spaces, Gabor frames, and totally positive functions. Inventiones Mathematicae, 211, 1119-1148, 2018

    work page 2018

  10. [10]

    Duke Mathematical Journal, 162(6), 1003-1031, 2013

    K.Gr¨ ochenig, J.St¨ ockler: Gabor frames and totally positive functions. Duke Mathematical Journal, 162(6), 1003-1031, 2013

    work page 2013

  11. [11]

    Journal of Fourier and Applications, 13(2), 113-166, 2007

    C.Heil: History and evolution of the density theorem for Gabor frames. Journal of Fourier and Applications, 13(2), 113-166, 2007

    work page 2007

  12. [12]

    Journal of Fourier Anal- ysis and Applications, 1(4), 403-436, 1995

    A.Janssen: Duality and biorthogonality for Weyl-Heisenberg frames. Journal of Fourier Anal- ysis and Applications, 1(4), 403-436, 1995

    work page 1995

  13. [13]

    Indagationes Mathematicae, 7,165-182, 1996

    A.Janssen: Some Weyl-Heisenberg frame bound calculations. Indagationes Mathematicae, 7,165-182, 1996

    work page 1996

  14. [14]

    Journal of Fourier Analysis and Applications, 9(2), 175-214, 2003

    A.Janssen: On generating tight Gabor frames at critical density. Journal of Fourier Analysis and Applications, 9(2), 175-214, 2003

    work page 2003

  15. [15]

    In Advances in Gabor Analysis, Applied and Numerical Harmonic Analysis series, edited by H.Feichtinger, T.Strohmer, Birkh¨ auser, Boston, MA, 2003

    A.Janssen: Zak transforms with few zeros and the tie. In Advances in Gabor Analysis, Applied and Numerical Harmonic Analysis series, edited by H.Feichtinger, T.Strohmer, Birkh¨ auser, Boston, MA, 2003

    work page 2003

  16. [16]

    Applied and Computation Harmonic Analysis, 12(2), 259-267, 2002

    A.Janssen, T.Strohmer: Hyperbolic secants yield Gabor frames. Applied and Computation Harmonic Analysis, 12(2), 259-267, 2002

    work page 2002

  17. [17]

    Cambridge University Press, New York, 2000

    D.Kammler: A first course in Fourier analysis. Cambridge University Press, New York, 2000

    work page 2000

  18. [18]

    Journal of Approximation Theory, 184, 209-237, 2014

    T.Kloos, J.St¨ ockler: Zak transforms and Gabor frames of totally positive functions and expo- nential B-splines. Journal of Approximation Theory, 184, 209-237, 2014. 15

    work page 2014

  19. [19]

    Journal of Fourier and Applications, 21, 1130-1145, 2015

    T.Kloos: Zeros of the Zak transform of totally positive functions. Journal of Fourier and Applications, 21, 1130-1145, 2015

    work page 2015

  20. [20]

    H.Landau: Necessary density conditions for sampling and interpolation of certain entire func- tions, Acta Mathematica, 117, 37-52, 1967

    work page 1967

  21. [21]

    In Entire and subharmonic functions, Advances in Soviet Mathematics, edited by B.Levin, 167-180, American Mathemat- ical Society, Providence, RI, 1992

    Y.Lyubarskii: Frames in the Bargmann space of entire functions. In Entire and subharmonic functions, Advances in Soviet Mathematics, edited by B.Levin, 167-180, American Mathemat- ical Society, Providence, RI, 1992

    work page 1992

  22. [22]

    Proceedings of the National Academy of Sciences of the United States of America, 33, 11-17, 1947

    I.Schoenberg: On totally positive functions, Laplace integrals and entire functions of the Laguerre-P´ olya-Schur type. Proceedings of the National Academy of Sciences of the United States of America, 33, 11-17, 1947

    work page 1947

  23. [23]

    Journal d’Analyse Math´ ematique, 1, 331-374, 1951

    I.Schoenberg: On P´ olya frequency functions I The totally positive functions and their Laplace transforms. Journal d’Analyse Math´ ematique, 1, 331-374, 1951

    work page 1951

  24. [24]

    Transactions of the American Mathematical Society, 74, 246-259, 1953

    I.Schoenberg, A.Whitney: On P´ olya frequency functions III The positivity of translation de- terminants with an application to the interpolation problem by spline curves. Transactions of the American Mathematical Society, 74, 246-259, 1953

    work page 1953

  25. [25]

    Jour- nal f¨ ur die Reine und Angewandte Mathematik, 429, 91-106, 1992

    K.Seip: Density theorems for sampling and interpolation in the Bargmann-Fock space I. Jour- nal f¨ ur die Reine und Angewandte Mathematik, 429, 91-106, 1992

    work page 1992

  26. [26]

    Journal f¨ ur die Reine und Angewandte Mathematik, 429, 107-113, 1992

    K.Seip, R.Wallst´ en: Density theorems for sampling and interpolation in the Bargmann-Fock space II. Journal f¨ ur die Reine und Angewandte Mathematik, 429, 107-113, 1992

    work page 1992

  27. [27]

    Journal of Approximation Theory, 222, 55-63, 2017

    O.Vinogradov, A.Ulitskaya: Zeros of the Zak Transform of averaged totally positive functions. Journal of Approximation Theory, 222, 55-63, 2017

    work page 2017

  28. [28]

    Cambridge University Press, Cam- bridge, 1902

    E.Whittaker, G.Watson: A course of modern analysis. Cambridge University Press, Cam- bridge, 1902. 16

    work page 1902