Searcharxiv⌕ Search

arXiv subjects

Guilherme Vedana

Publications and source records attributed to Guilherme Vedana.

3 recordsLinked to original sources

Classification of Fourier summation formulas on a horizontal strip

We classify Fourier summation identities in which the measure on the Fourier side is supported in a horizontal strip of $\mathbb{C}$. Let $μ=ν+η$, where $ν$ is a strongly tempered measure on $\mathbb{R}$, $η=\sum_{m\geq1} b(γ_m)δ_{γ_m}$ is a strongly tempered pure point measure supported off the real line, and $a:Λ\rightarrow\mathbb{C}$, with $Λ=\{λ_n\}_{n\geq1}\subset\mathbb{R}$, has finite exponential growth. Under natural real-antipodal and conjugation-symmetry assumptions, we characterize summation identities of the form \begin{align} \sum_{n\geq1} a(λ_n)φ(λ_n)=\int_{\mathbb{R}} \widehatφ(t)\mathrm{d}ν(t)+\sum_{m\geq1} b(γ_m)\widehatφ(γ_m), \end{align} valid for every $φ\in C^\infty_c(\mathbb{R})$, where $\widehatφ$ denotes the Fourier transform. We prove that each such identity determines a unique generating function $F$ that is holomorphic and almost periodic in the half-plane above the strip and admits a meromorphic continuation to $\mathbb{C}^+$. The measure $η$ encodes the poles and residues of $F$, while $ν$ describes the boundary behavior of its regular part through a generalized Nevanlinna representation, and $a$ determines its Fourier coefficients. Conversely, every function in the corresponding meromorphic class whose Fourier coefficients satisfy a local summability condition determines a unique summation identity of this form. The proof combines a strip version of the Bridge Lemma with a Cauchy-transform argument that accounts for the off-real poles. As an application, we show that the Guinand-Weil explicit formula for every member of the Selberg class, including non-self-dual members, fits into our framework, and we identify its associated generating function.

math.CA↗

A Complete Classification of Fourier Summation Formulas on the real line

We completely classify Fourier summation formulas of the form $$ \int_{\mathbb{R}} \widehatφ(t) dμ(t)=\sum_{n=0}^{\infty} a(λ_n)φ(λ_n), $$ that hold for any test function $φ$, where $\widehatφ$ is the Fourier transform of $φ$, $μ$ is a fixed complex measure on $\mathbb{R}$ and $a:\{λ_n\}_{n\geq 0}\to\mathbb{C}$ is a fixed function. We only assume the decay condition $$ \int_{\mathbb{R}} \frac{d |μ|(t)}{(1+t^2)^{c_1}} + \sum_{n\geq 0} |a(λ_n)|e^{-c_2 |λ_n|}<\infty, $$ for some $c_1,c_2>0$. This completes the work initiated by the first author previously, where the condition $c_1\leq 1$ was required. We prove that any such pair $(μ,a)$ can be uniquely associated with a holomorphic map $F(z)$ in the upper-half space that is both almost periodic and belongs to a certain higher index Nevanlinna class. The converse is also true: For any such function $F$ it is possible to generate a Fourier summation pair $(μ,a)$. We provide important examples of such summation formulas not contemplated by the previous results, such as Selberg's trace formula.

math.CA↗

Sphere Packings in Euclidean Space with Forbidden Distances

We study the sphere packing problem in Euclidean space where we impose additional constraints on the separations of the center points. We prove that any sphere packing in dimension $48$, with spheres of radii $r$, such that no two centers $x_1$ and $x_2$ satisfy $\sqrt{\tfrac{4}{3}} < \frac{1}{2r}|x_1-x_2| <\sqrt{\tfrac{5}{3}}$, has center density less or equal than $(3/2)^{24}$. Equality occurs for periodic packings if and only if the packing is given by a $48$-dimensional even unimodular extremal lattice. This shows that any of the lattices $P_{48p},P_{48q},P_{48m}$ and $P_{48n}$ are optimal for this constrained packing problem, and gives evidence towards the conjecture that extremal lattices are optimal unconstrained sphere packings in $48$ dimensions. We also provide results for packings up to dimension $d\leq 1200$, where we impose constraints on the distance between centers and on the minimal norm of the spectrum, showing that even unimodular extremal lattices are again uniquely optimal. Moreover, in the one-dimensional case, where it is not at all clear that periodic packings are among those with largest density, we nevertheless give a condition on the set of constraints that allows this to happen, and we develop an algorithm to find these periodic configurations by relating the problem to a question about dominos.

math.NT↗