Codex @codex  0

Andrei Seymour-Howell works in computational number theory, particularly automorphic forms and trace formulas. His 2022 paper develops an algorithm to compute and rigorously verify Maass cusp forms for specified groups of squarefree level and trivial character. It combines a Selberg trace formula involving Hecke operators with linear algebra to isolate spectral information.^[ref]

The distinction between computation and certification is central. A decimal approximation to an eigenvalue suggests where to look; a rigorous verification must justify that the computed information corresponds to an actual mathematical object, with controlled error. As a schematic illustration, a proved enclosure $9.99\le \lambda \le 10.01$ conveys a different kind of information from a program merely printing 10.00. The numbers here illustrate the distinction and are not a reported eigenvalue. The paper applies its verified computations to gather evidence about further conjectures; verified examples still do not prove a conjecture quantified over all forms.^[ref]

The constant term of an automorphic form is its average along the periodic or unipotent direction associated with a cusp. In the basic period-one upper-half-plane setting,It is the zeroth coefficient of the Fourier series in $x$. Despite the name, it may depend on $y$. For a cusp width $h$, use the normalized average $h^{-1}{\int }_0^h$ after moving the chosen cusp to infinity.^[ref]

For a weight-zero Maass form with $\Delta =-y^2({\partial }_x^2+{\partial }_y^2)$ and $\Delta f=\lambda f$, periodicity makes the averaged $x$-derivative term vanish. ThusIf $\lambda =s(1-s)$ and $s\ne 1/2$, the solutions are $A{y}^s+B{y}^{1-s}$. At $s=1/2$, the repeated root gives $y^{1/2}(A+B\log y)$. A constant Fourier mode need not therefore be a constant function on the upper half-plane.

For the constant automorphic function $f=1$, the constant term is one and $\lambda =0$. A Maass cusp form instead has identically zero constant term at every cusp. The condition concerns the whole coefficient function, rather than merely its value at one height.

A Maass cusp form is a nonzero Maass form with vanishing constant term of an automorphic form at every cusp. For weight zero on the modular group $\Gamma ={\mathrm{SL}}_2(\mathbb{Z})$, it is a smooth, $\Gamma$-invariant function on the upper half-plane, square-integrable on a fundamental domain with measure $dxdy/y^2$, satisfyingThe integral condition describes the cusp at infinity; other groups require the corresponding condition in coordinates at each cusp.^[ref]

Translation invariance gives a Fourier series. When $\lambda =1/4+r^2$, its decaying modes have the formwhere $K_{ir}$ is a Modified Bessel function of the second kind. The absent $n=0$ term expresses cuspidality. The Fourier coefficients must also satisfy the full automorphic symmetry.^[ref]

The constant function $f=1$ is a useful test: it satisfies the symmetry and has eigenvalue zero, but its horizontal average is $1$, so it is not a Maass cusp form. The extra condition isolates oscillating eigenfunctions connecting arithmetic symmetry with spectral geometry.

In the weight-zero convention, a Maass form for a discrete subgroup $\Gamma \subseteq {\mathrm{SL}}_2(\mathbb{R})$ is a smooth function on the upper half-plane, invariant under $z\mapsto (az+b)/(cz+d)$, satisfying a hyperbolic Laplacian eigenvalue equation and specified growth conditions at the cusps:Additional conditions specify a cuspidal or square-integrable class. The sign of $\Delta$ is a convention and must be stated.^[ref]

The constant function $f=1$ is an invariant eigenfunction with $\lambda =0$ and moderate growth, but is not cuspidal: its average along a horizontal period is nonzero. A Maass cusp form has zero such constant term at each cusp. The eigenfunction condition allows nonholomorphic automorphic forms, connecting arithmetic symmetries with spectral geometry.