A038284 → basis A013609 → x ↦ x/(x+1)
nonnegative coefficientsonly rational roots
Proved for all n all roots real, in [−1, 0]coefficients of one signHadamard kernel
Recurrence
\(\left(1 + x\right)\,P_{n}(x) = \left(14 + 40\,x + 26\,x^{2}\right)\,P_{n-1}(x)\)
\(P_{0}(x) = 196 + 728\,x + 676\,x^{2}\)
Rows ?
| n | x0 | x1 | x2 | x3 | x4 | x5 | x6 | x7 | x8 | x9 | Pn(1) |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 0 | 196 | 728 | 676 | 1600 | |||||||
| 1 | 2744 | 15288 | 28392 | 17576 | 64000 | ||||||
| 2 | 38416 | 285376 | 794976 | 984256 | 456976 | 2560000 | |||||
| 3 | 537824 | 4994080 | 18549440 | 34448960 | 31988320 | 11881376 | 102400000 | ||||
| 4 | 7529536 | 83900544 | 389538240 | 964570880 | 1343509440 | 998035584 | 308915776 | 4096000000 | |||
| 5 | 105413504 | 1370375552 | 7634949504 | 23631986560 | 43887975040 | 48903743616 | 30273746048 | 8031810176 | 163840000000 | ||
| 6 | 1475789056 | 21926008832 | 142519057408 | 529356498944 | 1228863301120 | 1825739761664 | 1695329778688 | 899562739712 | 208827064576 | 6553600000000 | |
| 7 | 20661046784 | 345334639104 | 2565343033344 | 11116486477824 | 30967355188224 | 57510802492416 | 71203850704896 | 56672452601856 | 26312210136576 | 5429503678976 | 262144000000000 |
Compute more
?
Technical details
- Node id
n-356e0f4b32c06589· revision 0 · JSON- Definition source
derived:mobius_x_over_x_plus_one- Fingerprint
f6-60d4e40326205ee3
Observed on the stored rows ?
- Degrees: 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 (affine: slope 1, intercept 2)
- Palindromic rows: no
- γ-positive (gamma_positive): no
- Nonnegative coefficients (
nonn): yes - Only rational roots (
rr_by_factors: every nonzero row is a product of linear factors over ℚ): yes
Matches ?
No OEIS matches.
Submission text ?
Atlas rows n = 0, …, ascending powers of x
%e ExampleTriangle begins: 0: 196, 728, 676; 1: 2744, 15288, 28392, 17576; 2: 38416, 285376, 794976, 984256, 456976; 3: 537824, 4994080, 18549440, 34448960, 31988320, 11881376; 4: 7529536, 83900544, 389538240, 964570880, 1343509440, 998035584, 308915776; 5: 105413504, 1370375552, 7634949504, 23631986560, 43887975040, 48903743616, 30273746048, 8031810176; 6: 1475789056, 21926008832, 142519057408, 529356498944, 1228863301120, 1825739761664, 1695329778688, 899562739712, 208827064576; 7: 20661046784, 345334639104, 2565343033344, 11116486477824, 30967355188224, 57510802492416, 71203850704896, 56672452601856, 26312210136576, 5429503678976; 8: 289254654976, 5371872163840, 44893503083520, 222329729556480, 722571621058560, 1610302469787648, 2492134774671360, 2644714454753280, 1841854709560320, 760130515056640, 141167095653376; 9: 4049565169664, 82726831323136, 768177719429120, 4279847293962240, 15896575663288320, 41331096724549632, 76757751059877888, 101821506508001280, 94548541757429760, 58530049659361280, 21739732730619904, 3670344486987776;
%F FormulaThe row polynomials satisfy (1+x)*P(n,x) = (14+40*x+26*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 196 + 728*x + 676*x^2.
%t MathematicaP[0, x_] := 196 + 728*x + 676*x^2;
P[n_, x_] := P[n, x] = Expand[Together[((14 + 40*x + 26*x^2)*P[n - 1, x])/(1 + x)]];
Table[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten%o PARI/GPP(N) = {my(v = vector(N + 1)); v[1] = 196 + 728*x + 676*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((14 + 40*x + 26*x^2)*v[i - 1])/(1 + x)); v};
row(n, p) = {my(c = Vecrev(p)); c};
T(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};
T(9)polytool c48629374597
Properties
- Real-rooted? Every row P_n, n ≥ 0, is zero or real-rooted with all roots in [-1, 0]
- Coefficients of one sign? Every nonzero row, n ≥ 0: the coefficients of P_n have one sign
- Hadamard kernel (Malo)? Rows P_n, n ≥ 0, are Hadamard kernels (preserve real-rootedness)
Proof chains ? JSON
-
Affine, reversal and Möbius substitutions (elementary) polytool ? step ›
-
from
basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^j.?
-
Geometric basis map (elementary) polytool ? step ›
-
from
Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^j.?
-
Row-hypergeometric rows (multiplier sequences) [SP14; Bra15, Thm 7.1 of arXiv:1410.6601] polytool RealRooted RealRooted.isPFMultiplierSequence_eval_of_roots_nonpos RealRooted RealRooted.isPFMultiplierSequence_inv_ascPochhammer RealRooted RealRooted.IsPFMultiplierSequence.mul ? step › direct check
-
-
from
Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^j.?
-
-
from
basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^j.?
Related ?
Same fingerprint ?
- A038333 → x ↦ x+1 → basis A013609
- A038335 → basis A013609 → x ↦ x/(x+1)
- A013613 → x ↦ x+1 → x ↦ x/(x+1)
- A038321 → basis A013610 → basis A007318
References
- [Bra06] Petter Brändén. On linear transformations preserving the Pólya frequency property. Transactions of the American Mathematical Society, 358(8):3697–3716, February 2006. doi:10.1090/s0002-9947-06-03856-6
- [Bra15] Petter Brändén. Unimodality, log-concavity, real-rootedness and beyond. Handbook of enumerative combinatorics, :437–483, March 2015. doi:10.1201/b18255-10
- [LW07] Lily L. Liu and Yi Wang. A unified approach to polynomial sequences with only real zeros. Advances in Applied Mathematics, 38(4):542–560, May 2007. doi:10.1016/j.aam.2006.02.003
- [SP14] J Schur and G Polya. Über zwei Arten von Faktorenfolgen in der Theorie der algebraischen Gleichungen. J. Reine Angew. Math., 1914.