English

Squarefree values of trinomial discriminants

Number Theory 2019-02-20 v2

Abstract

The discriminant of a trinomial of the form xn±xm±1x^n \pm x^m \pm 1 has the form ±nn±(nm)nmmm\pm n^n \pm (n-m)^{n-m} m^m if nn and mm 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 nn is congruent to 2 (mod 6) we have that ((n2n+1)/3)2((n^2-n+1)/3)^2 always divides nn(n1)n1n^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 nn varies seems to be independent of mm, and this set can be seen as a generalization of the Wieferich primes, those primes pp such that 2p12^{p-1} is congruent to 1 (mod p2p^2). We provide heuristics for the density of squarefree values of these discriminants and the density of these "sporadic" primes.

Keywords

Cite

@article{arxiv.1402.5148,
  title  = {Squarefree values of trinomial discriminants},
  author = {David W. Boyd and Greg Martin and Mark Thom},
  journal= {arXiv preprint arXiv:1402.5148},
  year   = {2019}
}

Comments

22 pages, 1 table. Minor revisions from version 1, including three new references