A generalization of Perron's theorem about Hurwitzian numbers
We generalize Rademacher's reciprocity formula for the Dedekind sum to a family of cotangent sums. One of the sums in this family is strictly related to the Vasyunin sum, a function defined on the rationals that is relevant to the Nyman-Beurling-Báez-Duarte approach to the Riemann hypothesis.
We provide a generalization of Scholz’s reciprocity law using the subfields and of , of degrees and over , respectively. The proof requires a particular choice of primitive element for over and is based upon the splitting of the cyclotomic polynomial over the subfields.
Numerous important lattices (, the Coxeter-Todd lattice , the Barnes-Wall lattice , the Leech lattice , as well as the -modular -dimensional lattices found by Quebbemann and Bachoc) possess algebraic structures over various Euclidean rings, e.g. Eisenstein integers or Hurwitz quaternions. One obtains efficient algorithms by performing within this frame the usual reduction procedures, including the well known LLL-algorithm.