OFFSET
1,5
COMMENTS
The length of row n is A364313(n). Different orders k are separated by a semicolon in the examples below.
The number of polynomials given from row n is A364314(n).
The entries for k = n-1 are only present for n >= 2 and A001227(n-1) = 1, that is, n = 2^q + 1 = A000051(q), for q >= 0. This is because otherwise x^(n-1) + 1 and x^(n-1) - 1 are both reducible (factorize over the integers).
For Cantor's counting (and determination) of algebraic numbers these polynomials have later to be signed, keeping the positive leading coefficient. See the example for n = 4 below. Complex solutions are omitted if real algebraic numbers are counted.
The polynomials with nonnegative coefficients recorded here are sometimes reducible over the integers. But in this case irreducible signed versions exist. E.g., for n = 6 and k = 2 the polynomial x^2 + 3*x + 2 = (x + 1)*(x + 2) is recorded as [1,3,2] (falling powers of x), because x^2 + 3*x - 2 and x^2 - 3*x - 2 are irreducible, each having two real solutions.
The number of distinct real solutions of the signed polynomials of degree k and height n is given in A364315(n, k). The total number is A364316(n). Note that no repetition of real solutions already obtained for lower heights can appear due to irreducibility. For the list of all real algebraic numbers for heights 1 to 7 see the W. Lang link.
The coefficients of the polynomials are determined from the relative prime compositions of K = n - (k-1). The order is taken from the corresponding partitions, with rising number of parts m, and for given m the order is anti-lexicographic (e.g., [4,1,1], [3,2,1] for K = 6 and m = 3). For each partition the compositions are ordered also anti-lexicographically, not considering the possible 0 parts which are distributed according to decreasing powers of x (e.g., [3,1,0,1], [3,0,1,1], [1,3,0,1], [1,0,3,1], [1,1,0,3], [1,0,1,3]).
LINKS
Georg Cantor, Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, Journal f. d. reine u. angew. Math. 77 (1874), 258-262.
Georg Cantor, On a Property of the Class of all Real Algebraic Numbers, (English version).
Wolfdieter Lang, Cantor's List of Real Algebraic Numbers of Heights 1 to 7, arXiv:2307.10645 [math.NT], 2023.
EXAMPLE
The irregular triangle T, with entries T(n, m), begins: (increasing k >= 1 values are separated by ;)
n\m 1 2 3 4 5 6 7 8 9 10 11 12 13 ...
1: [1, 0]
2: [1, 1]
3: [2, 1], [1, 2]; [1, 0, 1]
4: [3, 1], [1, 3]; [2, 0, 1], [1, 0, 2], [1, 1, 1]
...
n = 5: [4, 1], [1, 4], [3, 2], [2, 3]; [3, 0, 1], [1, 0, 3], [2, 1, 1], [1, 2, 1], [1, 1, 2]; [2, 0, 0, 1], [1, 0, 0, 2], [1, 1, 0, 1], [1, 0, 1, 1]; [1, 0, 0, 0, 1]
---------
n = 6: [5, 1], [1, 5]; [4, 0, 1], [1, 0, 4], [3, 0, 2], [2, 0, 3], [3, 1, 1], [1, 3, 1], [1, 1, 3], [2, 2, 1], [2, 1, 2], [1, 2, 2]; [3, 0, 0, 1], [1, 0, 0, 3], [2, 1, 0, 1], [2, 0, 1, 1], [1, 2, 0, 1], [1, 0, 2, 1], [1, 1, 0, 2], [1, 0, 1, 2], [1, 1, 1, 1]; [2, 0, 0, 0, 1], [1, 0, 0, 0, 2], [1, 1, 0, 0, 1], [1, 0, 1, 0, 1], [1, 0, 0, 1, 1]
---------
n = 7: [6, 1], [1, 6], [5, 2], [2, 5], [4, 3], [3, 4]; [5, 0, 1], [1, 0, 5], [4, 1, 1], [1, 4, 1], [1, 1, 4], [3, 2, 1], [3, 1, 2], [2, 3, 1], [2, 1, 3], [1, 3, 2], [1, 2, 3]; [4, 0, 0, 1], [1, 0, 0, 4], [3, 0, 0, 2], [2, 0, 0, 3], [3, 1, 0, 1], [3, 0, 1, 1], [1, 3, 0, 1], [1, 0, 3, 1], [1, 1, 0, 3], [1, 0, 1, 3], [2, 2, 0, 1], [2, 0, 2, 1], [2, 1, 0, 2], [2, 0, 1, 2], [1, 2, 0, 2], [1, 0, 2, 2], [2, 1, 1, 1], [1, 2, 1, 1], [1, 1, 2, 1], [1, 1, 1, 2]; [3, 0, 0, 0, 1], [1, 0, 0, 0, 3], [2, 1, 0, 0, 1], [2, 0, 1, 0, 1], [2, 0, 0, 1, 1], [1, 2, 0, 0, 1], [1, 0, 2, 0, 1], [1, 0, 0, 2, 1], [1, 1, 0, 0, 2], [1, 0, 1, 0, 2], [1, 0, 0, 1, 2], [1, 1, 1, 0, 1], [1, 1, 0, 1, 1], [1, 0, 1, 1, 1]; [2, 0, 0, 0, 0, 1], [1, 0, 0, 0, 0, 2], [1, 1, 0, 0, 0, 1], [1, 0, 1, 0, 0, 1], [1, 0, 0, 1, 0, 1], [1, 0, 0, 0, 1, 1]
-------
x^6 + 1 = (x^2 + 1)*(x^4 - x^2 + 1), hence no [1, 0, 0, 0, 0, 0, 1] recorded, because x^6 - 1 also factorizes.
...
---------------------------------------------------------------------------
Polynomials: n = 4, degree k = 1: 3*x + 1, x + 3; k = 2: 2*x^2 + 1, x^2 + 2, x^2 + x + 1; k = 3: no entry [1, 0, 0, 1], because x^3 + 1 factorizes, as well as x^3 - 1.
---------------------------------------------------------------------------
Height n = 4, degree k = 2, with signed polynomials:
[2, 0, 1] for 2*x^2 + 1, 2*x^2 - 1, [1, 0, 2] for x^2 + 2, x^2 - 2, and [1, 1, 1] for x^2 + x + 1, x^2 + x - 1, x^2 - x + 1, x^2 - x - 1. The corresponding real algebraic numbers come in signed pairs only from 2*x^2 - 1, x^2 - 2, x^2 + x - 1, and x^2 - x - 1, namely, -sqrt(1/2), +sqrt(1/2), -sqrt(2), +sqrt(2), -phi = -A001622, phi - 1, and -(phi - 1), phi. So Cantor's phi (our Phi) is Phi(4, 2) = 8. Together with the four real k = 1 roots from the signed polynomials for [3, 1] and [1, 3] one finds Phi(4) = 12. See A362364.
CROSSREFS
KEYWORD
nonn,tabf
AUTHOR
Wolfdieter Lang, Jul 19 2023
STATUS
approved