arXiv subjects

Holger Then

Publications and source records attributed to Holger Then.

12 recordsLinked to original sources

arXiv2019

Cheeger constants of hyperbolic reflection groups and Maass cusp forms of small eigenvalues

We compute the Cheeger constants of a collection of hyperbolic surfaces corresponding to maximal non-compact arithmetic Fuchsian groups, and to subgroups which are the rotation subgroup of maximal reflection groups. The Cheeger constants are geometric quantities, but relate to the smallest eigenvalues of Maass cusp forms. From geometrical considerations, we find evidence for the existence of small eigenvalues. We search for these small eigenvalues and compute the corresponding Maass cusp forms numerically.

math.GT↗

arXiv2017

On the evaluation of singular invariants for canonical generators of certain genus one arithmetic groups

Let $N$ be a positive square-free integer such that the discrete group $Γ_{0}(N)^{+}$ has genus one. In a previous article, we constructed canonical generators $x_{N}$ and $y_{N}$ of the holomorphic function field associated to $Γ_{0}(N)^{+}$ as well as an algebraic equation $P_{N}(x_{N},y_{N}) = 0$ with integer coefficients satisfied by these generators. In the present paper, we study the singular moduli problem corresponding to $x_{N}$ and $y_{N}$, by which we mean the arithmetic nature of the numbers $x_{N}(τ)$ and $y_{N}(τ)$ for any CM point $τ$ in the upper half plane $\mathbb{H}$. If $τ$ is any CM point which is not equivalent to an elliptic point of $Γ_{0}(N)^{+}$, we prove that the complex numbers $x_{N}(τ)$ and $y_{N}(τ)$ are algebraic integers. Going further, we characterize the algebraic nature of $x_{N}(τ)$ as the generator of a certain ring class field of $\mathbb{Q}(τ)$ of prescribed order and discriminant depending on properties of $τ$ and level $N$. The theoretical considerations are supplemented by computational examples. As a result, several explicit evaluations are given for various $N$ and $τ$, and further arithmetic consequences of our analysis are presented. In one example, we explicitly construct a set of minimal polynomials for the Hilbert class field of $\mathbb{Q}(\sqrt{-74})$ whose coefficients are less than $2.2\times 10^{4}$, whereas the minimal polynomials obtained from the Hauptmodul of $\textrm{PSL}(2,\mathbb{Z})$ has coefficients as large as $6.6\times 10^{73}$.

math.NT↗

arXiv2017

The Hauptmodul at elliptic points of certain arithmetic groups

Let $N$ be a square-free integer such that the arithmetic group $Γ_0(N)^+$ has genus zero; there are $44$ such groups. Let $j_N$ denote the associated Hauptmodul normalized to have residue equal to one and constant term equal to zero in its $q$-expansion. In this article we prove that the Hauptmodul at any elliptic point of the surface associated to $Γ_0(N)^+$ is an algebraic integer. Moreover, for each such $N$ and elliptic point $e$, we show how to explicitly evaluate $j_{N}(e)$ and provide the list of generating polynomials (with small coefficients) of the class fields or their subfields corresponding to the orders over the imaginary quadratic extension of rationals stemming from the elliptic points under consideration.

math.NT↗

arXiv2017

On the distribution of eigenvalues of Maass forms on certain moonshine groups

In this paper we study, both analytically and numerically, questions involving the distribution of eigenvalues of Maass forms on the moonshine groups $Γ_0(N)^+$, where $N>1$ is a square-free integer. After we prove that $Γ_0(N)^+$ has one cusp, we compute the constant term of the associated non-holomorphic Eisenstein series. We then derive an "average" Weyl's law for the distribution of eigenvalues of Maass forms, from which we prove the "classical" Weyl's law as a special case. The groups corresponding to $N=5$ and $N=6$ have the same signature; however, our analysis shows that, asymptotically, there are infinitely more cusp forms for $Γ_0(5)^+$ than for $Γ_0(6)^+$. We view this result as being consistent with the Phillips-Sarnak philosophy since we have shown, unconditionally, the existence of two groups which have different Weyl's laws. In addition, we employ Hejhal's algorithm, together with recently developed refinements from [31], and numerically determine the first $3557$ of $Γ_0(5)^+$ and the first $12474$ eigenvalues of $Γ_0(6)^+$. With this information, we empirically verify some conjectured distributional properties of the eigenvalues.

math.NT↗

arXiv2017

Rapid computation of $L$-functions attached to Maass forms

Let $L$ be a degree-$2$ $L$-function associated to a Maass cusp form. We explore an algorithm that evaluates $t$ values of $L$ on the critical line in time $O(t^{1+\varepsilon})$. We use this algorithm to rigorously compute an abundance of consecutive zeros and investigate their distribution.

math.NT↗

arXiv2015

Certain aspects of holomorphic function theory on some genus zero arithmetic groups

There are a number of fundamental results in the study of holomorphic function theory associated to the discrete group PSL(2,Z) including the following statements: The ring of holomorphic modular forms is generated by the holomorphic Eisenstein series of weight four and six; the smallest weight cusp form Delta has weight twelve and can be written as a polynomial in E4 and E6; and the Hauptmodul j can be written as a multiple of E4 cubed divided by Delta. The goal of the present article is to seek generalizations of these results to some other genus zero arithmetic groups, namely those generated by Atkin-Lehner involutions of level N with square-free level N.

math.NT↗

arXiv2014

Kronecker's limit formula, holomorphic modular functions and $q$-expansions on certain moonshine groups

For any square-free integer $N$ such that the "moonshine group" $Γ_0(N)^+$ has genus zero, the Monstrous Moonshine Conjectures relate the Hauptmoduli of $Γ_0(N)^+$ to certain McKay-Thompson series associated to the representation theory of the Fischer-Griess monster group. In particular, the Hauptmoduli admits a $q$-expansion which has integer coefficients. In this article, we study the holomorphic function theory associated to higher genus moonshine groups $Γ_0(N)^+$. For all moonshine groups of genus up to and including three, we prove that the corresponding function field admits two generators whose $q$-expansions have integer coefficients, has lead coefficient equal to one, and has minimal order of pole at infinity. As corollary, we derive a polynomial relation which defines the underlying projective curve, and we deduce whether $i\infty$ is a Weierstrass point. Our method of proof is based on modular forms and includes extensive computer assistance, which, at times, applied Gauss elimination to matrices with thousands of entries, each one of which was a rational number whose numerator and denominator were thousands of digits in length.

math.NT↗

arXiv2012

Large sets of consecutive Maass forms and fluctuations in the Weyl remainder

We explore an algorithm which systematically finds all discrete eigenvalues of an analytic eigenvalue problem. The algorithm is more simple and elementary as could be expected before. It consists of Hejhal's identity, linearisation, and Turing bounds. Using the algorithm, we compute more than one hundredsixty thousand consecutive eigenvalues of the Laplacian on the modular surface, and investigate the asymptotic and statistic properties of the fluctuations in the Weyl remainder. We summarize the findings in two conjectures. One is on the maximum size of the Weyl remainder, and the other is on the distribution of a suitably scaled version of the Weyl remainder.

math.NT↗

arXiv2010

Measuring the convergence of Monte Carlo free energy calculations

The nonequilibrium work fluctuation theorem provides the way for calculations of (equilibrium) free energy based on work measurements of nonequilibrium, finite-time processes and their reversed counterparts by applying Bennett's acceptance ratio method. A nice property of this method is that each free energy estimate readily yields an estimate of the asymptotic mean square error. Assuming convergence, it is easy to specify the uncertainty of the results. However, sample sizes have often to be balanced with respect to experimental or computational limitations and the question arises whether available samples of work values are sufficiently large in order to ensure convergence. Here, we propose a convergence measure for the two-sided free energy estimator and characterize some of its properties, explain how it works, and test its statistical behavior. In total, we derive a convergence criterion for Bennett's acceptance ratio method.

cond-mat.stat-mech↗

arXiv2009

A characteristic of Bennett's acceptance ratio method

A powerful and well-established tool for free-energy estimation is Bennett's acceptance ratio method. Central properties of this estimator, which employs samples of work values of a forward and its time reversed process, are known: for given sets of measured work values, it results in the best estimate of the free-energy difference in the large sample limit. Here we state and prove a further characteristic of the acceptance ratio method: the convexity of its mean square error. As a two-sided estimator, it depends on the ratio of the numbers of forward and reverse work values used. Convexity of its mean square error immediately implies that there exists an unique optimal ratio for which the error becomes minimal. Further, it yields insight into the relation of the acceptance ratio method and estimators based on the Jarzynski equation. As an application, we study the performance of a dynamic strategy of sampling forward and reverse work values.

cond-mat.stat-mech↗

arXiv2008

Computing the optimal protocol for finite-time processes in stochastic thermodynamics

Asking for the optimal protocol of an external control parameter that minimizes the mean work required to drive a nano-scale system from one equilibrium state to another in finite time, Schmiedl and Seifert ({\it Phys. Rev. Lett.} {\bf 98}, 108301 (2007)) found the Euler-Lagrange equation to be a non-local integro-differential equation of correlation functions. For two linear examples, we show how this integro-differential equation can be solved analytically. For non-linear physical systems we show how the optimal protocol can be found numerically and demonstrate that there may exist several distinct optimal protocols simultaneously, and we present optimal protocols that have one, two, and three jumps, respectively.

cond-mat.stat-mech↗

arXiv2004

Hyperbolic Universes with a Horned Topology and the CMB Anisotropy

We analyse the anisotropy of the cosmic microwave background (CMB) in hyperbolic universes possessing a non-trivial topology with a fundamental cell having an infinitely long horn. The aim of this paper is twofold. On the one hand, we show that the horned topology does not lead to a flat spot in the CMB sky maps in the direction of the horn as stated in the literature. On the other hand, we demonstrate that a horned topology having a finite volume could explain the suppression of the lower multipoles in the CMB anisotropy as observed by COBE and WMAP.

astro-ph↗