{"id":"n-3e7db72259e26388","revision":0,"first_index":0,"fingerprint":"f6-ecc774d95c805d20","name":"reversal of basis_map_A013610 of Pascal-(1,3,1) array.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["3","2"],["9","21","7"],["27","108","90","20"],["81","459","702","366","61"],["243","1782","4077","3636","1365","182"],["729","6561","20169","26757","16767","4923","547"],["2187","23328","90396","162648","148770","71496","17220","1640"],["6561","80919","379080","869940","1072926","743202","289260","59052","4921"],["19683","275562","1515591","4251528","6693678","6202332","3443958","1125144","199287","14762"],["59049","925101","5845851","19440243","37550790","44260506","32644134","15096294","4247397","664305","44287"],["177147","3070548","21926862","84479436","194343381","280880784","262355436","160179768","63392949","15656724","2192190","132860"],["531441","10097379","80424738","352679994","944488755","1627606953","1859824800","1431828900","744337431","257271525","56610954","7174458","398581"],["1594323","32949342","289635345","1425442860","4364921763","8774327106","11945645505","11218977576","7325354313","3311565282","1015465275","201445164","23316969","1195742"],["4782969","106819641","1027275453","5609714049","19361045169","44611263621","70867519569","79169467797","62879952591","35579928051","14217982407","3916579203","707244219","75331767","3587227"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","5","37","245","1669","11285","76453","517685","3505861","23741525","160777957","1088788085","7373275909","49931836565","338138493733"],"nonn":true,"definitions":[{"position":0,"source":"derived:reversal","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["0"],["9"]]},"terms":[{"coeff":{"coeffs":[["0","0","72","32"],["27","-27","-120","-48"],["0","45","48","16"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","225","264","64"],["0","-27","-162","-144","-32"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","27","153","96","16"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":182258,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-88eb54cf8bb72a65"]},{"id":182259,"position":1,"claim":"one_signed_coefficients","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":0},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 0: the coefficients of P_n have one sign","region_exact":null,"edges":["e-88eb54cf8bb72a65"]},{"id":182260,"position":2,"claim":"hadamard_kernel","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":0},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 0, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-88eb54cf8bb72a65"]}],"region_exact":{},"incoming_edges":[{"id":"e-88eb54cf8bb72a65","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"reversal\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":1}}"},"operation_detail":"reversal, shift 0","conclusion_id":"n-3e7db72259e26388","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":"reversed","lean_declarations":["RealRooted.X_pow_mul_reverse_eq_zero_or_splits","RealRooted.reflect_eq_zero_or_splits"],"certificate_hash":"68ab4a055eb89968bee62accb53a107ad114c9f5c1b114da7b64b2a5aa0fc145","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-9813839be9bee901","role":"sequence","name":"basis_map_A013610 of Pascal-(1,3,1) array.","uses":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-4d7612a33639d2a2","kind":"fingerprint_related","node_a_id":"n-9813839be9bee901","node_b_id":"n-3e7db72259e26388","fingerprint":"f6-ecc774d95c805d20","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ecc774d95c805d20"},"other_id":"n-9813839be9bee901","other":{"id":"n-9813839be9bee901","name":"basis_map_A013610 of Pascal-(1,3,1) array.","first_index":0,"fingerprint":"f6-ecc774d95c805d20","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","3"],["7","21","9"]],"card_rows":[["1"],["2","3"],["7","21","9"],["20","90","108","27"]],"row_sums_preview":["1","5","37","245","1669","11285","76453","517685"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d8f9ad9ce0e039d0","steps":["basis A013610"],"edges":["e-a15ab36c8834192d"],"text":"A081578 \u2192 basis A013610"},"headline":"A081578 \u2192 basis A013610","chain":null}}],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:     1;\n  1:     3,      2;\n  2:     9,     21,       7;\n  3:    27,    108,      90,      20;\n  4:    81,    459,     702,     366,      61;\n  5:   243,   1782,    4077,    3636,    1365,     182;\n  6:   729,   6561,   20169,   26757,   16767,    4923,     547;\n  7:  2187,  23328,   90396,  162648,  148770,   71496,   17220,    1640;\n  8:  6561,  80919,  379080,  869940, 1072926,  743202,  289260,   59052,   4921;\n  9: 19683, 275562, 1515591, 4251528, 6693678, 6202332, 3443958, 1125144, 199287, 14762;\n","recurrence_sentence":"The row polynomials satisfy 9*n*P(n,x) = (27*n+(45*n^2-27*n)*x+(48*n^2-120*n+72)*x^2+(16*n^2-48*n+32)*x^3)*P(n-1,x) - (27*n*x+(162*n-225)*x^2+(144*n-264)*x^3+(32*n-64)*x^4)*d/dx P(n-1,x) + (27*x^2+153*x^3+96*x^4+16*x^5)*d^2/dx^2 P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((27*n + (45*n^2 - 27*n)*x + (48*n^2 - 120*n + 72)*x^2 + (16*n^2 - 48*n + 32)*x^3)*P[n - 1, x] - (27*n*x + (162*n - 225)*x^2 + (144*n - 264)*x^3 + (32*n - 64)*x^4)*D[P[n - 1, x], x] + (27*x^2 + 153*x^3 + 96*x^4 + 16*x^5)*D[P[n - 1, x], {x, 2}])/(9*n)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = ((27*n + (45*n^2 - 27*n)*x + (48*n^2 - 120*n + 72)*x^2 + (16*n^2 - 48*n + 32)*x^3)*v[i - 1] - (27*n*x + (162*n - 225)*x^2 + (144*n - 264)*x^3 + (32*n - 64)*x^4)*deriv(v[i - 1], x) + (27*x^2 + 153*x^3 + 96*x^4 + 16*x^5)*deriv(deriv(v[i - 1], x), x))/(9*n)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-d8f9ad9ce0e039d0","steps":["basis A013610","reverse"],"edges":["e-a15ab36c8834192d","e-88eb54cf8bb72a65"],"text":"A081578 \u2192 basis A013610 \u2192 reverse"},"headline":"A081578 \u2192 basis A013610 \u2192 reverse","chain":null}