-
Solving norm equations in global function fields
Authors:
Sumin Leem,
Michael Jacobson,
Renate Scheidler
Abstract:
We present two new algorithms for solving norm equations over global function fields with at least one infinite place of degree 1 and no wild ramification. The first of these is a substantial improvement of a method due to Gaál and Pohst, while the second approach uses index calculus techniques and is significantly faster asymptotically and in practice. Both algorithms incorporate compact represen…
▽ More
We present two new algorithms for solving norm equations over global function fields with at least one infinite place of degree 1 and no wild ramification. The first of these is a substantial improvement of a method due to Gaál and Pohst, while the second approach uses index calculus techniques and is significantly faster asymptotically and in practice. Both algorithms incorporate compact representations of field elements which results in a significant gain in performance compared to the Gaál-Pohst approach. We provide Magma implementations, analyze the complexity of all three algorithms under varying asymptotics on the field parameters, and provide empirical data on their performance.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Numerical and Statistical Analysis of Aliquot Sequences
Authors:
Kevin Chum,
Richard K. Guy,
Michael J. Jacobson, Jr.,
Anton S. Mosunov
Abstract:
We present a variety of numerical data related to the growth of terms in aliquot sequences, iterations of the function $s(n) = σ(n) - n$. First, we compute the geometric mean of the ratio $s_k(n)/s_{k-1}(n)$ of $k$th iterates for $n \leq 2^{37}$ and $k=1,\dots,10.$ Second, we extend the computation of numbers not in the range of $s(n)$ (called untouchable) by Pollack and Pomerance to the bound of…
▽ More
We present a variety of numerical data related to the growth of terms in aliquot sequences, iterations of the function $s(n) = σ(n) - n$. First, we compute the geometric mean of the ratio $s_k(n)/s_{k-1}(n)$ of $k$th iterates for $n \leq 2^{37}$ and $k=1,\dots,10.$ Second, we extend the computation of numbers not in the range of $s(n)$ (called untouchable) by Pollack and Pomerance to the bound of $2^{40}$ and use these data to compute the geometric mean of the ratio of consecutive terms limited to terms in the range of $s(n).$ Third, we give an algorithm to compute $k$-untouchable numbers ($k-1$st iterates of $s(n)$ but not $k$th iterates) along with some numerical data. Finally, inspired by earlier work of Devitt, we estimate the growth rate of terms in aliquot sequences using a Markov chain model based on data extracted from thousands of sequences.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Unconditional Class Group Tabulation of Imaginary Quadratic Fields to $|Δ| < 2^{40}$
Authors:
A. S. Mosunov,
M. J. Jacobson Jr
Abstract:
We present an improved algorithm for tabulating class groups of imaginary quadratic fields of bounded discriminant. Our method uses classical class number formulas involving theta-series to compute the group orders unconditionally for all $Δ\not \equiv 1 \pmod{8}.$ The group structure is resolved using the factorization of the group order. The $1 \bmod 8$ case was handled using the methods of \cit…
▽ More
We present an improved algorithm for tabulating class groups of imaginary quadratic fields of bounded discriminant. Our method uses classical class number formulas involving theta-series to compute the group orders unconditionally for all $Δ\not \equiv 1 \pmod{8}.$ The group structure is resolved using the factorization of the group order. The $1 \bmod 8$ case was handled using the methods of \cite{jacobson}, including the batch verification method based on the Eichler-Selberg trace formula to remove dependence on the Extended Riemann Hypothesis. Our new method enabled us to extend the previous bound of $|Δ| < 2 \cdot 10^{11}$ to $2^{40}$. Statistical data in support of a variety conjectures is presented, along with new examples of class groups with exotic structures.
△ Less
Submitted 27 February, 2015;
originally announced February 2015.
-
Graph Saturation in Multipartite Graphs
Authors:
Michael Ferrara,
Michael S. Jacobson,
Florian Pfender,
Paul S. Wenger
Abstract:
Let $G$ be a fixed graph and let ${\mathcal F}$ be a family of graphs. A subgraph $J$ of $G$ is ${\mathcal F}$-saturated if no member of ${\mathcal F}$ is a subgraph of $J$, but for any edge $e$ in $E(G)-E(J)$, some element of ${\mathcal F}$ is a subgraph of $J+e$. We let $\text{ex}({\mathcal F},G)$ and $\text{sat}({\mathcal F},G)$ denote the maximum and minimum size of an ${\mathcal F}$-saturated…
▽ More
Let $G$ be a fixed graph and let ${\mathcal F}$ be a family of graphs. A subgraph $J$ of $G$ is ${\mathcal F}$-saturated if no member of ${\mathcal F}$ is a subgraph of $J$, but for any edge $e$ in $E(G)-E(J)$, some element of ${\mathcal F}$ is a subgraph of $J+e$. We let $\text{ex}({\mathcal F},G)$ and $\text{sat}({\mathcal F},G)$ denote the maximum and minimum size of an ${\mathcal F}$-saturated subgraph of $G$, respectively. If no element of ${\mathcal F}$ is a subgraph of $G$, then $\text{sat}({\mathcal F},G) = \text{ex}({\mathcal F}, G) = |E(G)|$.
In this paper, for $k\ge 3$ and $n\ge 100$ we determine $\text{sat}(K_3,K_k^n)$, where $K_k^n$ is the complete balanced $k$-partite graph with partite sets of size $n$. We also give several families of constructions of $K_t$-saturated subgraphs of $K_k^n$ for $t\ge 4$. Our results and constructions provide an informative contrast to recent results on the edge-density version of $\text{ex}(K_t,K_k^n)$ from [A. Bondy, J. Shen, S. Thomassé, and C. Thomassen, Density conditions for triangles in multipartite graphs, Combinatorica 26 (2006), 121--131] and [F. Pfender, Complete subgraphs in multipartite graphs, Combinatorica 32 (2012), no. 4, 483--495].
△ Less
Submitted 13 August, 2014;
originally announced August 2014.
-
Tabulation of cubic function fields via polynomial binary cubic forms
Authors:
Pieter Rozenhart,
Michael Jacobson Jr.,
Renate Scheidler
Abstract:
We present a method for tabulating all cubic function fields over $\mathbb{F}_q(t)$ whose discriminant $D$ has either odd degree or even degree and the leading coefficient of $-3D$ is a non-square in $\mathbb{F}_{q}^*$, up to a given bound $B$ on the degree of $D$. Our method is based on a generalization of Belabas' method for tabulating cubic number fields. The main theoretical ingredient is a ge…
▽ More
We present a method for tabulating all cubic function fields over $\mathbb{F}_q(t)$ whose discriminant $D$ has either odd degree or even degree and the leading coefficient of $-3D$ is a non-square in $\mathbb{F}_{q}^*$, up to a given bound $B$ on the degree of $D$. Our method is based on a generalization of Belabas' method for tabulating cubic number fields. The main theoretical ingredient is a generalization of a theorem of Davenport and Heilbronn to cubic function fields, along with a reduction theory for binary cubic forms that provides an efficient way to compute equivalence classes of binary cubic forms. The algorithm requires $O(B^4 q^B)$ field operations as $B \rightarrow \infty$. The algorithm, examples and numerical data for $q=5,7,11,13$ are included.
△ Less
Submitted 19 July, 2011; v1 submitted 27 April, 2010;
originally announced April 2010.
-
Computing quadratic function fields with high 3-rank via cubic field tabulation
Authors:
Pieter Rozenhart,
Michael Jacobson Jr.,
Renate Scheidler
Abstract:
This paper presents an algorithm for generating all imaginary and unusual discriminants up to a fixed degree bound that define a quadratic function field of positive 3-rank. Our method makes use of function field adaptations of a method due to Belabas for finding quadratic number fields of high 3-rank and of a refined function field version of a theorem due to Hasse. We provide numerical data for…
▽ More
This paper presents an algorithm for generating all imaginary and unusual discriminants up to a fixed degree bound that define a quadratic function field of positive 3-rank. Our method makes use of function field adaptations of a method due to Belabas for finding quadratic number fields of high 3-rank and of a refined function field version of a theorem due to Hasse. We provide numerical data for discriminant degree up to 11 over the finite fields $\mathbb{F}_{5}, \mathbb{F}_{7}, \mathbb{F}_{11}$ and $\mathbb{F}_{13}$. A special feature of our technique is that it produces quadratic function fields of minimal genus for any given 3-rank. Taking advantage of certain $\mathbb{F}_{q}(t)$-automorphisms in conjunction with Horner's rule for evaluating polynomials significantly speeds up our algorithm in the imaginary case; this improvement is unique to function fields and does not apply to number field tabulation. These automorphisms also account for certain divisibility properties in the number of fields found with positive 3-rank. Our numerical data mostly agrees with the predicted heuristics of Friedman-Washington and partial results on the distribution of such values due to Ellenberg-Venkatesh-Westerland for quadratic function fields over the finite field $\finfldq{q}$ where $q \equiv -1 \pmod{3}$. The corresponding data for $q \equiv 1 \pmod{3}$ does not agree closely with the previously mentioned heuristics and results, but does agree more closely with some recent number field conjectures of Malle and some work in progress on proving such conjectures for function fields due to Garton.
△ Less
Submitted 3 May, 2012; v1 submitted 5 March, 2010;
originally announced March 2010.
-
Rigorous Computation of Fundamental Units in Algebraic Number Fields
Authors:
Felix Fontein,
Michael J. Jacobson Jr
Abstract:
We present an algorithm that unconditionally computes a representation of the unit group of a number field of discriminant $Δ_K$, given a full-rank subgroup as input, in asymptotically fewer bit operations than the baby-step giant-step algorithm. If the input is assumed to represent the full unit group, for example, under the assumption of the Generalized Riemann Hypothesis, then our algorithm c…
▽ More
We present an algorithm that unconditionally computes a representation of the unit group of a number field of discriminant $Δ_K$, given a full-rank subgroup as input, in asymptotically fewer bit operations than the baby-step giant-step algorithm. If the input is assumed to represent the full unit group, for example, under the assumption of the Generalized Riemann Hypothesis, then our algorithm can unconditionally certify its correctness in expected time $O(Δ_K^{n/(4n + 2) + ε}) = O(Δ_K^{1/4 - 1/(8n+4) + ε})$ where $n$ is the unit rank.
△ Less
Submitted 23 January, 2010;
originally announced January 2010.
