Showing 1–12 of 12 results for author: Hanke, J

Connectedness in weighted consensus division of graphical cakes between two agents

Authors: Josef Hanke, Ana Rita Pires

Abstract: Austin's moving knife procedure was originally introduced to find a consensus division of a cake between two agents: each agent believes that they receive exactly half of the cake. Here, we adapt it to the case when the two agents have arbitrary entitlements of the cake and seek a weighted consensus division -- one where each agent believes that they received exactly the share that they are entitl… ▽ More Austin's moving knife procedure was originally introduced to find a consensus division of a cake between two agents: each agent believes that they receive exactly half of the cake. Here, we adapt it to the case when the two agents have arbitrary entitlements of the cake and seek a weighted consensus division -- one where each agent believes that they received exactly the share that they are entitled to -- which also minimizes the number of connected components that each agent receives. First, we find a weighted consensus division of a circular cake, which gives exactly one connected piece to each agent: this gives an explicit protocol for the Stromquist-Woodall theorem for two agents. Next, by judiciously mapping a circle to a graph, we produce a weighted consensus division of a star graph cake that gives at most two connected pieces to each agent -- and show that this bound on the number of connected pieces is tight. For trees, each agent receives at most h+1 connected pieces, where h is the height of the tree, and for general (connected) graphical cakes each agent receives r+2 connected pieces, where r is the radius of the graph. △ Less

Submitted 1 April, 2025; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: This version strengthens various results from the first one: from rational entitlements to arbitrary entitlements, from circle and star graphs to also trees and arbitrary connected graphs. The title changed to reflect these changes. The introduction was rewritten to provide more context

On the cohomology of GL_2 and SL_2 over imaginary quadratic fields

Authors: Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Dan Yasaki

Abstract: We report on computations of the cohomology of GL_2(O_D) and SL_2(O_D), where D<0 is a fundamental discriminant. These computations go well beyond earlier results of Vogtmann and Scheutzow. We use the technique of homology of Voronoi complexes, and our computations recover the integral cohomology away from the primes 2, 3. We observed exponential growth in the torsion subgroup of H^2 as $D$ increa… ▽ More We report on computations of the cohomology of GL_2(O_D) and SL_2(O_D), where D<0 is a fundamental discriminant. These computations go well beyond earlier results of Vogtmann and Scheutzow. We use the technique of homology of Voronoi complexes, and our computations recover the integral cohomology away from the primes 2, 3. We observed exponential growth in the torsion subgroup of H^2 as $D$ increases, and compared our data to bounds of Rohlfs. △ Less

Submitted 12 August, 2023; originally announced August 2023.

MSC Class: 11F75; 20J06; 11Y99

On Three-Term Linear Relations for Theta Series of Positive-Definite Binary Quadratic Forms

Authors: Rahul Saha, Jonathan Hanke

Abstract: In this paper, we investigate three-term linear relations among theta series of positive-definite integral binary quadratic forms. We extend Schiemann's methods to characterize all possible three-term linear relations among theta series of such forms, providing necessary and sufficient conditions for such relations to exist. To accomplish this, we develop, implement, and execute a novel extended r… ▽ More In this paper, we investigate three-term linear relations among theta series of positive-definite integral binary quadratic forms. We extend Schiemann's methods to characterize all possible three-term linear relations among theta series of such forms, providing necessary and sufficient conditions for such relations to exist. To accomplish this, we develop, implement, and execute a novel extended refinement algorithm on polyhedral cones. We show that there is exactly one non-trivial three-term linear relation: it involves quadratic forms with discriminants $-3, -12, -48$, all in the same rational squareclass $-3(\mathbb{Q}^\times)^2$. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Comments: 30 pages

MSC Class: 11F27 (Primary) 11E16; 11Y50; 11Y99 (Secondary)

The mean number of 2-torsion elements in the class groups of $n$-monogenized cubic fields

Authors: Manjul Bhargava, Jonathan Hanke, Arul Shankar

Abstract: We prove that, on average, the monogenicity or $n$-monogenicity of a cubic field has an altering effect on the behavior of the 2-torsion in its class group. We prove that, on average, the monogenicity or $n$-monogenicity of a cubic field has an altering effect on the behavior of the 2-torsion in its class group. △ Less

Submitted 29 October, 2020; originally announced October 2020.

Comments: 44 pages

MSC Class: 11R16; 11R29; 11R45

On the toplogical computation of K4 of the Gaussian and Eisenstein integers

Authors: Mathieu Dutour Sikiric, Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Achill Schuermann, Dan Yasaki

Abstract: In this paper we use topological tools to investigate the structure of the algebraic K-groups K_4 (Z[i]) and K_4 (Z[rho]), where i := sqrt{-1} and rho := (1+sqrt{-3})/2. We exploit the close connection between homology groups of GL_n(R) for n <= 5 and those of related classifying spaces, then compute the former using Voronoi's reduction theory of positive definite quadratic and Hermitian forms to… ▽ More In this paper we use topological tools to investigate the structure of the algebraic K-groups K_4 (Z[i]) and K_4 (Z[rho]), where i := sqrt{-1} and rho := (1+sqrt{-3})/2. We exploit the close connection between homology groups of GL_n(R) for n <= 5 and those of related classifying spaces, then compute the former using Voronoi's reduction theory of positive definite quadratic and Hermitian forms to produce a very large finite cell complex on which GL_n(R) acts. Our main result is that K_4 (Z[i]) and K_4 (Z[rho]) have no p-torsion for p >= 5. △ Less

Submitted 8 August, 2018; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: addresses referee's comments

MSC Class: Primary 19D50; Secondary 11F75

On the cohomology of linear groups over imaginary quadratic fields

Authors: Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Achill Schuermann, Mathieu Dutour Sikiric, Dan Yasaki

Abstract: Let Gamma be the group GL_N (OO_D), where OO_D is the ring of integers in the imaginary quadratic field with discriminant D<0. In this paper we investigate the cohomology of Gamma for N=3,4 and for a selection of discriminants: D >= -24 when N=3, and D=-3,-4 when N=4. In particular we compute the integral cohomology of Gamma up to p-power torsion for small primes p. Our main tool is the polyhedral… ▽ More Let Gamma be the group GL_N (OO_D), where OO_D is the ring of integers in the imaginary quadratic field with discriminant D<0. In this paper we investigate the cohomology of Gamma for N=3,4 and for a selection of discriminants: D >= -24 when N=3, and D=-3,-4 when N=4. In particular we compute the integral cohomology of Gamma up to p-power torsion for small primes p. Our main tool is the polyhedral reduction theory for Gamma developed by Ash and Koecher. Our results extend work of Staffeldt, who treated the case n=3, D=-4. In a sequel to this paper, we will apply some of these results to the computations with the K-groups K_4 (OO_{D}), when D=-3,-4. △ Less

Submitted 25 November, 2013; v1 submitted 3 July, 2013; originally announced July 2013.

MSC Class: 11F75; 11F67; 20J06

Algorithms for computing maximal lattices in bilinear (and quadratic) spaces over number fields

Authors: Jonathan Hanke

Abstract: In this paper we describe an algorithm that quickly computes a maximal a-valued lattice in an F-vector space equipped with a non-degenerate bilinear form, where a is a fractional ideal in a number field F. We then apply this construction to give an algorithm to compute an a-maximal lattice in a quadratic space over any number field F where the prime 2 is unramified. We also develop the theory of p… ▽ More In this paper we describe an algorithm that quickly computes a maximal a-valued lattice in an F-vector space equipped with a non-degenerate bilinear form, where a is a fractional ideal in a number field F. We then apply this construction to give an algorithm to compute an a-maximal lattice in a quadratic space over any number field F where the prime 2 is unramified. We also develop the theory of p-neighbors for a-valued quadratic lattices at an arbitrary prime p of O_F (including when p | 2) and prove its close connection to the residual geometry of certain quadrics mod p. Finally we give a well-known application of p-neighboring lattices and exact mass formulas to compute a complete set of representatives for the classes in a given genus of (totally definite) quadratic O_F-lattices. △ Less

Submitted 25 October, 2012; v1 submitted 12 August, 2012; originally announced August 2012.

Comments: 24 pages

MSC Class: 11E12; 11E39; 11E41

Enumerating maximal definite quadratic forms of bounded class number over Z in n >= 3 variables

Authors: Jonathan Hanke

Abstract: In this paper we give an algorithm for enumerating all primitive (positive) definite maximal Z-valued quadratic forms Q in n >= 3 variables with bounded class number h(Q) <= B. We do this by analyzing the exact mass formula [GHY], and bounding all relevant local invariants to give only finitely many possibilities. We also briefly describe an open-source implementation of this algorithm we have wri… ▽ More In this paper we give an algorithm for enumerating all primitive (positive) definite maximal Z-valued quadratic forms Q in n >= 3 variables with bounded class number h(Q) <= B. We do this by analyzing the exact mass formula [GHY], and bounding all relevant local invariants to give only finitely many possibilities. We also briefly describe an open-source implementation of this algorithm we have written in Python/Sage which explicitly enumerates all such quadratic forms of bounded class number in n >= 3 variables. Using this we determine that there are exactly 115 primitive positive definite maximal Z-valued quadratic forms in n >= 3 variables of class number one, and produce a list of them. In a future paper we will complete this chain of ideas by extending these algorithms to allow the enumeration of all primitive maximal totally definite O_F-valued quadratic lattices of rank n >= 3, where O_F is the ring of integers of any totally real number field F. △ Less

Submitted 9 October, 2011; originally announced October 2011.

Comments: 20 pages, 12 tables

MSC Class: 11E12; 11E41; 11E08

Explicit formulas for Masses of Ternary Quadratic Lattices of varying determinant over Number Fields

Authors: Jonathan Hanke

Abstract: This paper gives explicit formulas for the formal total mass Dirichlet series for integer-valued ternary quadratic lattices of varying determinant and fixed signature over number fields F where p = 2 splits completely. We prove this by using local genus invariants and local mass formulas to compute the local factors of the theory developed in [11]. When the signature is positive definite these for… ▽ More This paper gives explicit formulas for the formal total mass Dirichlet series for integer-valued ternary quadratic lattices of varying determinant and fixed signature over number fields F where p = 2 splits completely. We prove this by using local genus invariants and local mass formulas to compute the local factors of the theory developed in [11]. When the signature is positive definite these formulas be checked against tables of positive definite ternary quadratic forms over Z, and we have written specialized software which checks these results when the Hessian determinant is \leq 2 \times 10^4. This work can also be applied to study the 2-parts of class groups of cubic fields (e.g. see [2]). △ Less

Submitted 6 September, 2011; originally announced September 2011.

Comments: 27 pages, 8 tables

MSC Class: 11E12; 11E41; 11E08

The Structure of Masses of rank $n$ Quadratic Lattices of varying determinant over number fields

Authors: Jonathan Hanke

Abstract: In this paper we establish a fundamental structural result for formal series encoding the total non-archimedean masses of quadratic lattices of varying determinant squareclasses, but with fixed rank $n$ and signature over any fixed number field. We conclude with some local computations for $n=2$, and use these to derive an analytic class number formula for CM extensions. In this paper we establish a fundamental structural result for formal series encoding the total non-archimedean masses of quadratic lattices of varying determinant squareclasses, but with fixed rank $n$ and signature over any fixed number field. We conclude with some local computations for $n=2$, and use these to derive an analytic class number formula for CM extensions. △ Less

Submitted 26 September, 2011; v1 submitted 17 August, 2011; originally announced August 2011.

Comments: 39 pages, 4 tables

MSC Class: 11E12; 11E41; 11E08

Notes on "Quadratic Forms and Automorphic Forms" from the 2009 Arizona Winter School

Authors: Jonathan Hanke

Abstract: These notes are an extension of the rough notes provided for my four lecture graduate level course on "Quadratic Forms and Automorphic Forms" at the March 2009 Arizona Winter School on Quadratic Forms. They are meant to give a survey of some aspects of the classical theory of quadratic forms over number fields and their rings of integers (e.g. over Q and Z), and their connection with modular and a… ▽ More These notes are an extension of the rough notes provided for my four lecture graduate level course on "Quadratic Forms and Automorphic Forms" at the March 2009 Arizona Winter School on Quadratic Forms. They are meant to give a survey of some aspects of the classical theory of quadratic forms over number fields and their rings of integers (e.g. over Q and Z), and their connection with modular and automorphic forms. △ Less

Submitted 27 June, 2012; v1 submitted 29 May, 2011; originally announced May 2011.

Comments: 73 pages, from the Arizona Winter School in March 2009

A proof of the S-genus identities for ternary quadratic forms

Authors: Alexander Berkovich, Jonathan Hanke, William Jagy

Abstract: In this paper we prove the main conjectures of Berkovich and Jagy about weighted averages of representation numbers over an S-genus of ternary lattices (defined below) for any odd squarefree S \in N. We do this by reformulating them in terms of local quantities using the Siegel-Weil and Conway-Sloane formulas, and then proving the necessary local identities. We conclude by conjecturing generalized… ▽ More In this paper we prove the main conjectures of Berkovich and Jagy about weighted averages of representation numbers over an S-genus of ternary lattices (defined below) for any odd squarefree S \in N. We do this by reformulating them in terms of local quantities using the Siegel-Weil and Conway-Sloane formulas, and then proving the necessary local identities. We conclude by conjecturing generalized formulas valid over certain totally real number fields as a direction for future work. △ Less

Submitted 13 April, 2011; v1 submitted 10 October, 2010; originally announced October 2010.

Comments: 14 pages

MSC Class: 11E12; 11E20; 11E25; 11F27; 11F30; 11F37