相关论文: Certification of Maass cusp forms of arbitrary lev…

Let $f$ be a primitive Maass cusp form for a congruence subgroup $\Gamma_0(D) \subset $ SL($2,\mathbb{Z}$) and $\lambda_f(n)$ its $n$-th Fourier coefficient. In this paper it is shown that with knowledge of only finitely many $\lambda_f(n)$…

In this work, we establish several results on distinguishing Siegel cusp forms of degree two. In particular, a Hecke eigenform of level one can be determined by its second Hecke eigenvalue under a certain assumption. Moreover, we can…

This work contains a proof of a non-trivial explicit quantitative bound in the eigenvalue aspect for the sup-norm of a SL(3,Z) Hecke-Maass cusp form restricted to a compact set.

For nonuniform cofinite Fuchsian groups $\Gamma$ which satisfy a certain additional geometric condition, we show that the Maass cusp forms for $\Gamma$ are isomorphic to 1-eigenfunctions of a finite-term transfer operator. The isomorphism…

We develop the concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups. We give characterizations of the level of a character in terms of its Lusztig's label and in terms of…

We explicitly construct cusp forms on the orthogonal group of signature $(1,8n+1)$ for an arbitrary natural number $n$ as liftings from Maass cusp forms of level one. In our previous works, the fundamental tool to show the automorphy of the…

Let $\phi$ denote a primitive Hecke-Maass cusp form for $\Gamma_o(N)$ with the Laplacian eigenvalue $\lambda_\phi=1/4+t_{\phi}^2$. In this work we show that there exists a prime $p$ such that $p\nmid N$, $|\alpha_{p}|=|\beta_{p}| = 1$, and…

Let $f$ be a holomorphic or Maass Hecke cusp form for the full modular group and write $\lambda_f(n)$ for the corresponding Hecke eigenvalues. We are interested in the signs of those eigenvalues. In the holomorphic case, we show that for…

Let $f$ be a Hecke--Maass cuspidal newform of square-free level $N$ and Laplacian eigenvalue $\lambda$. It is shown that $\pnorm{f}_\infty \ll_{\lambda,\epsilon} N^{-1/6}+\epsilon} \pnorm{f}_2$ for any $\epsilon>0$.

We prove certain relations between Satake parameters of cuspidal representations of $\GL_2(\mathbb{A}_{\mathbb{Q}})$ at finite and archimedean places. Consequently, we show that the Ramanujan-Petersson conjecture at a fixed prime $p\nmid N$…

We investigate the numerical computation of Maass cusp forms for the modular group corresponding to large eigenvalues. We present Fourier coefficients of two cusp forms whose eigenvalues exceed r=40000. These eigenvalues are the largest…

We address the problem of identifying a Hecke-Maass cusp form $f$ of full level from the central values of the Rankin-Selberg $L$-functions $L(1/2,f\otimes h)$ where $h$ runs through the set of Hecke-Maass eigenforms of full level. We prove…

Let $f$ be a Hecke-Maass cusp form for $\rm SL_2(\mathbb{Z})$ with Laplace eigenvalue $\lambda_f(\Delta)=1/4+\mu^2$ and let $\lambda_f(n)$ be its $n$-th normalized Fourier coefficient. It is proved that, uniformly in $\alpha, \beta \in…

We propose a maturity-based framework for certifying embodied AI systems through explicit measurement mechanisms. We argue that certifiable embodied AI requires structured assessment frameworks, quantitative scoring mechanisms, and methods…

We prove the existence of metrics maximizing the first eigenvalue normalized by area on closed, non-orientable surfaces assuming two spectral gap conditions. These spectral gap conditions are proved by the authors in \cite{MS3}.

A complete method is proposed to compute a certified, or ambient isotopic, meshing for an implicit algebraic surface with singularities. By certified, we mean a meshing with correct topology and any given geometric precision. We propose a…

We characterize the Maass cusp forms for Hecke congruence subgroups of prime level as 1-eigenfunctions of a finite-term transfer operator.

Generalising the recent method of Andreatta, Iovita, and Pilloni for cuspidal forms, we construct an eigenvariety for symplectic and unitary groups that parametrises systems of eigenvalues of overconvergent and locally analytic $p$-adic…

Using the Kuznetsov formula, we prove several density theorems for exceptional Hecke and Laplacian eigenvalues of Maass cusp forms of weight 0 or 1 for the congruence subgroups $\Gamma_0(q)$, $\Gamma_1(q)$, and $\Gamma(q)$. These improve…

In this paper we consider the problem of how to computationally test whether a matrix inequality is positive semidefinite on a semialgebraic set. We propose a family of sufficient conditions using the theory of matrix Positivstellensatz…