Squarefree values of trinomial discriminants

David W. Boyd, Greg Martin, Mark Thom
2015 LMS Journal of Computation and Mathematics  
AbstractThe 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
more » ... e 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}$is congruent to 2 (mod$p^{2}$). We provide heuristics for the density of these sporadic primes and the density of squarefree values of these trinomial discriminants.
doi:10.1112/s1461157014000436 fatcat:qxwayfuotnaipn3c3rf7c6m4bm