-
Bounding the number of arithmetical structures on graphs
Authors:
Christopher Keyes,
Tomer Reiter
Abstract:
Let $G$ be a connected undirected graph on $n$ vertices with no loops but possibly multiedges. Given an arithmetical structure $(\textbf{r}, \textbf{d})$ on $G$, we describe a construction which associates to it a graph $G'$ on $n-1$ vertices and an arithmetical structure $(\textbf{r}', \textbf{d}')$ on $G'$. By iterating this construction, we derive an upper bound for the number of arithmetical s…
▽ More
Let $G$ be a connected undirected graph on $n$ vertices with no loops but possibly multiedges. Given an arithmetical structure $(\textbf{r}, \textbf{d})$ on $G$, we describe a construction which associates to it a graph $G'$ on $n-1$ vertices and an arithmetical structure $(\textbf{r}', \textbf{d}')$ on $G'$. By iterating this construction, we derive an upper bound for the number of arithmetical structures on $G$ depending only on the number of vertices and edges of $G$. In the specific case of complete graphs, possibly with multiple edges, we refine and compare our upper bounds to those arising from counting unit fraction representations.
△ Less
Submitted 8 June, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Constructing families of moderate-rank elliptic curves over number fields
Authors:
David Mehrle,
Steven J. Miller,
Tomer Reiter,
Joseph Stahl,
Dylan Yott
Abstract:
We generalize a construction of families of moderate rank elliptic curves over $\mathbb{Q}$ to number fields $K/\mathbb{Q}$. The construction, originally due to Steven J. Miller, Álvaro Lozano-Robledo and Scott Arms, invokes a theorem of Rosen and Silverman to show that computing the rank of these curves can be done by controlling the average of the traces of Frobenius, the construction for number…
▽ More
We generalize a construction of families of moderate rank elliptic curves over $\mathbb{Q}$ to number fields $K/\mathbb{Q}$. The construction, originally due to Steven J. Miller, Álvaro Lozano-Robledo and Scott Arms, invokes a theorem of Rosen and Silverman to show that computing the rank of these curves can be done by controlling the average of the traces of Frobenius, the construction for number fields proceeds in essentially the same way. One novelty of this method is that we can construct families of moderate rank without having to explicitly determine points and calculating determinants of height matrices.
△ Less
Submitted 3 June, 2017; v1 submitted 28 March, 2015;
originally announced March 2015.
-
Newman's conjecture, zeros of the L-functions, function fields
Authors:
Alan Chang,
David Mehrle,
Steven J. Miller,
Tomer Reiter,
Joseph Stahl,
Dylan Yott
Abstract:
De Bruijn and Newman introduced a deformation of the completed Riemann zeta function $ζ$, and proved there is a real constant $Λ$ which encodes the movement of the nontrivial zeros of $ζ$ under the deformation. The Riemann hypothesis is equivalent to the assertion that $Λ\leq 0$. Newman, however, conjectured that $Λ\geq 0$, remarking, "the new conjecture is a quantitative version of the dictum tha…
▽ More
De Bruijn and Newman introduced a deformation of the completed Riemann zeta function $ζ$, and proved there is a real constant $Λ$ which encodes the movement of the nontrivial zeros of $ζ$ under the deformation. The Riemann hypothesis is equivalent to the assertion that $Λ\leq 0$. Newman, however, conjectured that $Λ\geq 0$, remarking, "the new conjecture is a quantitative version of the dictum that the Riemann hypothesis, if true, is only barely so." Andrade, Chang and Miller extended the machinery developed by Newman and Polya to $L$-functions for function fields. In this setting we must consider a modified Newman's conjecture: $\sup_{f\in\mathcal{F}} Λ_f \geq 0$, for $\mathcal{F}$ a family of $L$-functions.
We extend their results by proving this modified Newman's conjecture for several families of $L$-functions. In contrast with previous work, we are able to exhibit specific $L$-functions for which $Λ_D = 0$, and thereby prove a stronger statement: $\max_{L\in\mathcal{F}} Λ_L = 0$. Using geometric techniques, we show a certain deformed $L$-function must have a double root, which implies $Λ= 0$. For a different family, we construct particular elliptic curves with $p + 1$ points over $\mathbb{F}_p$. By the Weil conjectures, this has either the maximum or minimum possible number of points over $\mathbb{F}_{p^{2n}}$. The fact that $#E(\mathbb{F}_{p^{2n}})$ attains the bound tells us that the associated $L$-function satisfies $Λ= 0$.
△ Less
Submitted 12 November, 2014; v1 submitted 7 November, 2014;
originally announced November 2014.
