{"id":"n-eadfce40222b7cb9","revision":0,"first_index":0,"fingerprint":"f6-f594353b5992a359","name":"shift_x_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["441","210","25"],["9261","6615","1575","125"],["194481","185220","66150","10500","625"],["4084101","4862025","2315250","551250","65625","3125"],["85766121","122523030","72930375","23152500","4134375","393750","15625"],["1801088541","3001814235","2144153025","850854375","202584375","28940625","2296875","78125"],["37822859361","72043541640","60036284700","28588707000","8508543750","1620675000","192937500","13125000","390625"],["794280046581","1702028671245","1620979686900","900544270500","321622953750","76576893750","12155062500","1240312500","73828125","1953125"],["16679880978201","39714002329050","42550716781125","27016328115000","11256803381250","3216229537500","638140781250","86821875000","7751953125","410156250","9765625"],["350277500542221","917393453801055","1092135064048875","780096474320625","371474511581250","123824837193750","29482104093750","5013963281250","596900390625","47373046875","2255859375","48828125"],["7355827511386641","21016650032533260","27521803614031650","21842701280977500","11701447114809375","4457694138975000","1238248371937500","252703749375000","37604724609375","3979335937500","284238281250","12304687500","244140625"],["154472377739119461","478128788240131665","683041126057330950","596305744970685750","354943895815884375","152118812492521875","48291686505562500","11498020596562500","2053217963671875","271589677734375","25865683593750","1679589843750","66650390625","1220703125"],["3243919932521508681","10813066441738362270","16734507588404608275","15937626274671055500","10435350536987000625","4969214541422381250","1774719479079421875","482916865055625000","100607680219921875","15969473050781250","1901127744140625","164599804687500","9797607421875","358886718750","6103515625"],["68122318582951682301","243293994939113151075","405489991565188585125","418362689710115206875","298830492650082290625","156530258054805009375","62115181767779765625","19014851561565234375","4527345609896484375","838397335166015625","119771047880859375","12962234619140625","1028748779296875","56524658203125","1922607421875","30517578125"],["1430568690241985328321","5449785486636134584080","9731759797564526043000","10813066441738362270000","8367253794202304137500","4781287882401316650000","2087070107397400125000","709887791631768750000","190148515615652343750","40243072087968750000","6707178681328125000","871062166406250000","86414897460937500","6330761718750000","322998046875000","10253906250000","152587890625"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["676","17576","456976","11881376","308915776","8031810176","208827064576","5429503678976","141167095653376","3670344486987776","95428956661682176","2481152873203736576","64509974703297150976","1677259342285725925376","43608742899428874059776"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["441","210","25"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["21","5"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193733,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, -1]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, -1]","region_exact":null,"edges":["e-1410f1beffd4e33f"]},{"id":193734,"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-068ec5f5575f8b4f","e-1410f1beffd4e33f"]},{"id":193735,"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-068ec5f5575f8b4f","e-1410f1beffd4e33f"]},{"id":193736,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-1410f1beffd4e33f"]},{"id":193737,"position":4,"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-068ec5f5575f8b4f"]}],"region_exact":{},"incoming_edges":[{"id":"e-068ec5f5575f8b4f","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-eadfce40222b7cb9","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"732324388d2378480d7d3fee0c45cc2d2f839ddf3b2f7d01d220d7e446d2c132","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-dba956a9ceeed98f","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","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]"}]},{"id":"e-1410f1beffd4e33f","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-eadfce40222b7cb9","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":null,"lean_declarations":["Polynomial.Splits.comp_of_degree_le_one"],"certificate_hash":"0642ceafeb8d29f7defd9bdec6c2583dfba53581e161db8475caa0dc944a8a84","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-dba956a9ceeed98f","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","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-b9be035fddc2c089","kind":"fingerprint_related","node_a_id":"n-a2a90b8c15762f85","node_b_id":"n-eadfce40222b7cb9","fingerprint":"f6-f594353b5992a359","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f594353b5992a359"},"other_id":"n-a2a90b8c15762f85","other":{"id":"n-a2a90b8c15762f85","name":"mobius_x_over_x_plus_one of basis_map_A013611 of Triangle of coefficients in expansion of (1+4x)^n.","first_index":0,"fingerprint":"f6-f594353b5992a359","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["5","21"],["25","210","441"]],"card_rows":[["1"],["5","21"],["25","210","441"],["125","1575","6615","9261"]],"row_sums_preview":["1","26","676","17576","456976","11881376","308915776","8031810176"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2e0409c0014ec240","steps":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-189a8da608edbb49","e-eab8bd21edcb259d"],"text":"A013611 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A013611 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","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:             441,             210,               25;\n  1:            9261,            6615,             1575,             125;\n  2:          194481,          185220,            66150,           10500,             625;\n  3:         4084101,         4862025,          2315250,          551250,           65625,            3125;\n  4:        85766121,       122523030,         72930375,        23152500,         4134375,          393750,          15625;\n  5:      1801088541,      3001814235,       2144153025,       850854375,       202584375,        28940625,        2296875,         78125;\n  6:     37822859361,     72043541640,      60036284700,     28588707000,      8508543750,      1620675000,      192937500,      13125000,       390625;\n  7:    794280046581,   1702028671245,    1620979686900,    900544270500,    321622953750,     76576893750,    12155062500,    1240312500,     73828125,     1953125;\n  8:  16679880978201,  39714002329050,   42550716781125,  27016328115000,  11256803381250,   3216229537500,   638140781250,   86821875000,   7751953125,   410156250,    9765625;\n  9: 350277500542221, 917393453801055, 1092135064048875, 780096474320625, 371474511581250, 123824837193750, 29482104093750, 5013963281250, 596900390625, 47373046875, 2255859375, 48828125;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (21+5*x)*P(n-1,x) for n >= 1, with P(0,x) = 441 + 210*x + 25*x^2.","mathematica":"P[0, x_] := 441 + 210*x + 25*x^2;\nP[n_, x_] := P[n, x] = Expand[(21 + 5*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 441 + 210*x + 25*x^2; for(n = 1, N, my(i = n + 1); v[i] = (21 + 5*x)*v[i - 1]); 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-2bc1923905556bf6","steps":["x \u21a6 x+1","basis A007318"],"edges":["e-2406b2ec50933490","e-068ec5f5575f8b4f"],"text":"A038319 \u2192 x \u21a6 x+1 \u2192 basis A007318"},"headline":"A038319 \u2192 x \u21a6 x+1 \u2192 basis A007318","chain":null}