Unconditional Class Group Tabulation to 2⁴⁰

Date
2014-07-21
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
In this thesis, we aim to tabulate the class groups of binary quadratic forms for all fundamental discriminants D < 0 satisfying |D| < 2⁴⁰. Our computations are performed in several stages. We first multiply large polynomials in order to produce class numbers h(D) for D != 1 (mod 8). This stage is followed by the resolution of class groups Cl(D) with the Buchmann-Jacobson-Teske algorithm, which can be significantly accelerated when the class numbers are known. In order to determine Cl(D) for D = 1 (mod 8), we use this algorithm in conduction with Bach's conditional averaging method and the Eichler-Selberg trace formula, required for unconditional verification. Our novel class group tabulation method allowed us to gather unconditional numerical evidence in support of certain hypotheses, such as the Littlewood's bounds on L(1,x) and the Cohen-Lenstra heuristics.
Description
Keywords
Mathematics
Citation
Mosunov, A. (2014). Unconditional Class Group Tabulation to 2⁴⁰ (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/28551