Table of Contents
Fetching ...

A classification of Fourier summation formulas and crystalline measures

Felipe Gonçalves

TL;DR

This work delivers a complete classification of Fourier summation formulas (FS-pairs) and crystalline measures with quadratic decay, by developing a unified framework anchored in almost periodic analysis, Hermite–Biehler functions, de Branges spaces, and Poisson representations. A central contribution is a bijective correspondence between FS-pairs with degree at most two and holomorphic upper-half-plane data encoded by functions f whose exponentials exhibit almost periodicity and bounded-type behavior; this yields explicit limit formulas and spectral constraints, and conversely constructs FS-pairs from such f. The authors embed FS-pairs within de Branges space theory, providing a Hilbert-space interpretation, kernel representations, and phase-zeros interplay that recovers and extends prior constructions (Kurasov–Sarnak, Olevskii–Ulanovskii, Guinand). They also present broad families of examples, including UDPS, RRTP, and particularly eta-quotient-based self-dual crystalline measures, linking to classical Poisson summation and prime-sum formulas. Overall, the paper advances the structural understanding of crystalline measures, offers new methods for generating self-dual examples, and connects Fourier-analytic classifications to deep operator-theoretic and number-theoretic frameworks. $

Abstract

We completely classify Fourier summation formulas, and in particular, all crystalline measures with quadratic decay. Our classification employs techniques from almost periodic functions, Hermite-Biehler functions, de Branges spaces and Poisson representation. We show how our classification generalizes recent results of Kurasov \& Sarnak and Olevskii \& Ulanovskii. As an application, we give a new classification result for nonnegative measures with uniformly discrete support that are bounded away from zero on their support. Moreover, we give a new construction using eta-quotients, generalizing an old example of Guinand.

A classification of Fourier summation formulas and crystalline measures

TL;DR

This work delivers a complete classification of Fourier summation formulas (FS-pairs) and crystalline measures with quadratic decay, by developing a unified framework anchored in almost periodic analysis, Hermite–Biehler functions, de Branges spaces, and Poisson representations. A central contribution is a bijective correspondence between FS-pairs with degree at most two and holomorphic upper-half-plane data encoded by functions f whose exponentials exhibit almost periodicity and bounded-type behavior; this yields explicit limit formulas and spectral constraints, and conversely constructs FS-pairs from such f. The authors embed FS-pairs within de Branges space theory, providing a Hilbert-space interpretation, kernel representations, and phase-zeros interplay that recovers and extends prior constructions (Kurasov–Sarnak, Olevskii–Ulanovskii, Guinand). They also present broad families of examples, including UDPS, RRTP, and particularly eta-quotient-based self-dual crystalline measures, linking to classical Poisson summation and prime-sum formulas. Overall, the paper advances the structural understanding of crystalline measures, offers new methods for generating self-dual examples, and connects Fourier-analytic classifications to deep operator-theoretic and number-theoretic frameworks. $

Abstract

We completely classify Fourier summation formulas, and in particular, all crystalline measures with quadratic decay. Our classification employs techniques from almost periodic functions, Hermite-Biehler functions, de Branges spaces and Poisson representation. We show how our classification generalizes recent results of Kurasov \& Sarnak and Olevskii \& Ulanovskii. As an application, we give a new classification result for nonnegative measures with uniformly discrete support that are bounded away from zero on their support. Moreover, we give a new construction using eta-quotients, generalizing an old example of Guinand.
Paper Structure (16 sections, 20 theorems, 198 equations)

This paper contains 16 sections, 20 theorems, 198 equations.

Key Result

Theorem 1

Let $(\mu,a)$ be a real-antipodal $\mathrm{FS}$-pair. Assume that $\deg(\mu)\leq 2$ and that $a(\cdot)$ has exponential growth. Then we have: Conversely, suppose $f:\mathbb{C}^+ \to \mathbb{C}$ is a given holomorphic function such that items $({\rm II}), ({\rm III})$ and $({\rm IV})$ hold true. Then there is $c\geq 0$ such that the limit exists for every $\lambda\in\mathbb{R}$ and $y>c$, is inde

Theorems & Definitions (45)

  • Definition 1: Fourier Summation Pairs
  • Remark 1: Real-Antipodal splitting
  • Theorem 1
  • Theorem 2
  • Remark 2
  • Theorem 3
  • Remark 3
  • Remark 4: The Kurasov & Sarnak construction
  • Remark 5: The Ulanovskii & Oleveskii result
  • proof : Proof of Theorem \ref{['thm:HBmupos']}
  • ...and 35 more