OFFSET
1,1
COMMENTS
Among all sextic polynomials of the form x^6+c5*x^5+c4*x^4+c3*x^3+c2*x^2+c1*x+c0, where coefficients {c1,c2,c3,c4,c5} are {-1,0,1} and c0 are {-1,1} the biggest Mahler measure have polynomials x^6+x^5+x^4-x^3-x^2+x-1 and x^6-x^5+x^4-x^3-x^2-x-1.
LINKS
Musbahu Idris and Jean-Marc Sac-Épée, Algorithmic aspects of Newman polynomials and their divisors, arXiv:2601.11486 [math.NT], 2026.
Wikipedia, Mahler measure.
FORMULA
Equals the larger of the real roots of the quartic polynomial 1-x-x^2-2*x^3+x^4.
EXAMPLE
2.496698205162622034063313991558361...
MATHEMATICA
pol = x^6 + x^5 + x^4 - x^3 - x^2 + x - 1; vec = NSolve[pol == 0, x, WorkingPrecision -> 110]; prod = 1; Do[max = Max[1, Abs[x /. vec[[n]]]]; prod = prod max, {n, 1, Length[vec]}]; RealDigits[prod, 10, 105][[1]]
PROG
(PARI) polrootsreal(x^4 - 2*x^3 - x^2 - x + 1)[2] \\ Charles R Greathouse IV, Apr 05 2026
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Artur Jasinski, Jan 23 2026
STATUS
approved
