SearcharxivSearch

arXiv subjects

David W. Boyd

Publications and source records attributed to David W. Boyd.

2 recordsLinked to original sources

Squarefree values of trinomial discriminants

The discriminant of a trinomial of the form $x^n \pm x^m \pm 1$ has the form $\pm n^n \pm (n-m)^{n-m} m^m$ if $n$ and $m$ are relatively prime. We investigate when these discriminants have nontrivial square factors. We explain various unlikely-seeming parametric families of square factors of these discriminant values: for example, when $n$ is congruent to 2 (mod 6) we have that $((n^2-n+1)/3)^2$ always divides $n^n - (n-1)^{n-1}$. In addition, we discover many other square factors of these discriminants that do not fit into these parametric families. The set of primes whose squares can divide these sporadic values as $n$ varies seems to be independent of $m$, and this set can be seen as a generalization of the Wieferich primes, those primes $p$ such that $2^{p-1}$ is congruent to 1 (mod $p^2$). We provide heuristics for the density of squarefree values of these discriminants and the density of these "sporadic" primes.

math.NT

Mahler's Measure and the Dilogarithm (II)

We continue to investigate the relation between the Mahler measure of certain two variable polynomials, the values of the Bloch--Wigner dilogarithm $D(z)$ and the values $ζ_F(2)$ of zeta functions of number fields. Specifically, we define a class $\A$ of polynomials $A$ with the property that $πm(A)$ is a linear combination of values $D$ at algebraic arguments. For many polynomials in this class the corresponding argument of $D$ is in the Bloch group, which leads to formulas expressing $πm(A)$ as a linear combination with unspecified rational coefficients of $V_F$ for certain number fields $F$ ($V_F := c_Fζ_F(2)$ with $c_F>0$ an explicit simple constant). The class $\A$ contains the $A$-polynomials of cusped hyperbolic manifolds. The connection with hyperbolic geometry often provides means to prove identities of the form $πm(A)= r V_F$ with an explicit value of $r\in \Q^*$. We give one such example in detail in the body of the paper and in the appendix.

math.NT