{"id":"n-29e4710712165c78","revision":0,"first_index":0,"fingerprint":"f6-8b732aeffa021ba5","name":"shift_x_plus_one of basis_map_A013610 of Triangle of coefficients in expansion of (1+4x)^n.","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":true,"rows":[["1"],["17","12"],["289","408","144"],["4913","10404","7344","1728"],["83521","235824","249696","117504","20736"],["1419857","5011260","7074720","4993920","1762560","248832"],["24137569","102229704","180405360","169793280","89890560","25380864","2985984"],["410338673","2027555796","4293647568","5051350080","3565658880","1510161408","355332096","35831808"],["6975757441","39392512608","97322678208","137396722176","121232401920","68460650496","24162582528","4873125888","429981696"],["118587876497","753381803628","2127195680832","3503616415488","3709711498752","2618619881472","1232291708928","372794130432","65787199488","5159780352"],["2015993900449","14230545179640","45202908217680","85087827233280","105108492464640","89033075970048","52372397629440","21125000724480","5591911956480","877162659840","61917364224"],["34271896307633","266111194859268","939215981856240","1988927961577920","2807898298698240","2774864201066496","1958727671341056","987593783869440","348562511953920","82014708695040","11578547109888","743008370688"],["582622237229761","4935153068299152","19160006029867296","45082367129099520","71601406616805120","80867471002509312","66596740825595904","40293826381873152","17776688109649920","5577000191262720","1181011805208576","151573707620352","8916100448256"],["9904578032905937","90889069007842716","384941939327333856","996320313553099392","1758212318034881280","2233963886444319744","2102554246065242112","1484155938398994432","785729614446526464","308129260567265280","87001202983698432","16748894692048896","1970458199064576","106993205379072"],["168377826559400929","1663969109528197416","7634681796658788144","21556748602330695936","41845453169230174464","59075933885972011008","62550988820440952832","50461301905565810688","31167274706378883072","14666952803001827328","5176571577530056704","1328745645569212416","234484525688684544","25464382880219136","1283918464548864"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","29","841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869","420707233300201","12200509765705829","353814783205469041","10260628712958602189","297558232675799463481"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["17","12"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189135,"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-037dd8eb46c1c7df"]},{"id":189136,"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-037dd8eb46c1c7df","e-1103c533d5b0c71f","e-30576a448990f10b"]},{"id":189137,"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-037dd8eb46c1c7df","e-1103c533d5b0c71f","e-30576a448990f10b"]},{"id":189138,"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-037dd8eb46c1c7df"]},{"id":189139,"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-1103c533d5b0c71f","e-30576a448990f10b"]}],"region_exact":{},"incoming_edges":[{"id":"e-1103c533d5b0c71f","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-29e4710712165c78","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":"8176debe9215edbc32d5555e895745a36fc109b3a87bc5830bbc13f91bd45e05","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-7b068e1328e63a95","role":"sequence","name":"basis_map_A013610 of Triangle of coefficients in expansion of (1+4x)^n.","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-30576a448990f10b","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-29e4710712165c78","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":"752649e8ad5bbd82761e98095eefd9da606e1d01ed0fd8b4287626776744f05d","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-0088aa50f9dba3f3","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*1^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-037dd8eb46c1c7df","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-29e4710712165c78","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":"219170c2bc11a49e40dde094fca8f46791208a897fa6b87501bb6dbfd331e31b","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-7b068e1328e63a95","role":"sequence","name":"basis_map_A013610 of Triangle of coefficients in expansion of (1+4x)^n.","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-3860002c4c042a59","kind":"fingerprint_related","node_a_id":"n-29e4710712165c78","node_b_id":"n-6520f6faa376ffcc","fingerprint":"f6-8b732aeffa021ba5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8b732aeffa021ba5"},"other_id":"n-6520f6faa376ffcc","other":{"id":"n-6520f6faa376ffcc","name":"basis_map_A013609 of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","first_index":0,"fingerprint":"f6-8b732aeffa021ba5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1156","1632","576"],["39304","83232","58752","13824"],["1336336","3773184","3995136","1880064","331776"]],"card_rows":[["1156","1632","576"],["39304","83232","58752","13824"],["1336336","3773184","3995136","1880064","331776"],["45435424","160360320","226391040","159805440","56401920","7962624"]],"row_sums_preview":["3364","195112","11316496","656356768","38068692544","2207984167552","128063081718016","7427658739644928"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-29d7c5a1e19b9d74","steps":["x \u21a6 x+1","basis A013609"],"edges":["e-e77df5b989acd52a","e-dc2ae8fdb5495b23"],"text":"A038314 \u2192 x \u21a6 x+1 \u2192 basis A013609"},"headline":"A038314 \u2192 x \u21a6 x+1 \u2192 basis A013609","chain":null}},{"id":"l-43edfd2acbb7b41a","kind":"fingerprint_related","node_a_id":"n-29e4710712165c78","node_b_id":"n-48ee1acaa798d2f7","fingerprint":"f6-8b732aeffa021ba5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8b732aeffa021ba5"},"other_id":"n-48ee1acaa798d2f7","other":{"id":"n-48ee1acaa798d2f7","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^j.","first_index":0,"fingerprint":"f6-8b732aeffa021ba5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["12","17"],["144","408","289"]],"card_rows":[["1"],["12","17"],["144","408","289"],["1728","7344","10404","4913"]],"row_sums_preview":["1","29","841","24389","707281","20511149","594823321","17249876309"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a6a633b989da1879","steps":["basis A007318","x \u21a6 x/(x+1)"],"edges":["e-7ab50ded9e353f77","e-06ecdd435af05804"],"text":"A038271 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)"},"headline":"A038271 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-6e1ecde078e10fdc","kind":"fingerprint_related","node_a_id":"n-29e4710712165c78","node_b_id":"n-bd9b770a0539d41d","fingerprint":"f6-8b732aeffa021ba5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8b732aeffa021ba5"},"other_id":"n-bd9b770a0539d41d","other":{"id":"n-bd9b770a0539d41d","name":"reversal of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^j.","first_index":0,"fingerprint":"f6-8b732aeffa021ba5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["144","408","289"],["1728","7344","10404","4913"],["20736","117504","249696","235824","83521"]],"card_rows":[["144","408","289"],["1728","7344","10404","4913"],["20736","117504","249696","235824","83521"],["248832","1762560","4993920","7074720","5011260","1419857"]],"row_sums_preview":["841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1f2dec04776afb2b","steps":["basis A013609","reverse"],"edges":["e-7304be3f66cc3caf","e-dd8524b7a1597679"],"text":"A038320 \u2192 basis A013609 \u2192 reverse"},"headline":"A038320 \u2192 basis A013609 \u2192 reverse","chain":null}},{"id":"l-73eadf5875d8c028","kind":"fingerprint_related","node_a_id":"n-29e4710712165c78","node_b_id":"n-1a474575203b7460","fingerprint":"f6-8b732aeffa021ba5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8b732aeffa021ba5"},"other_id":"n-1a474575203b7460","other":{"id":"n-1a474575203b7460","name":"mobius_x_over_x_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*5^j.","first_index":0,"fingerprint":"f6-8b732aeffa021ba5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["144","408","289"],["1728","7344","10404","4913"],["20736","117504","249696","235824","83521"]],"card_rows":[["144","408","289"],["1728","7344","10404","4913"],["20736","117504","249696","235824","83521"],["248832","1762560","4993920","7074720","5011260","1419857"]],"row_sums_preview":["841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a5302200d285579d","steps":["x \u21a6 x/(x+1)"],"edges":["e-32f62515e143e962"],"text":"A038331 \u2192 x \u21a6 x/(x+1)"},"headline":"A038331 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-a0b287b68ec5001e","kind":"fingerprint_related","node_a_id":"n-29e4710712165c78","node_b_id":"n-5e42752da9a07882","fingerprint":"f6-8b732aeffa021ba5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8b732aeffa021ba5"},"other_id":"n-5e42752da9a07882","other":{"id":"n-5e42752da9a07882","name":"derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^j.","first_index":0,"fingerprint":"f6-8b732aeffa021ba5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["408","288"],["10404","14688","5184"],["235824","499392","352512","82944"]],"card_rows":[["408","288"],["10404","14688","5184"],["235824","499392","352512","82944"],["5011260","14149440","14981760","7050240","1244160"]],"row_sums_preview":["696","30276","1170672","42436860","1476802728","49965158964","1655988125664","54026612599788"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1f2dec04776afb2b","steps":["basis A013609","D"],"edges":["e-7304be3f66cc3caf","e-e8f6022f8432a443"],"text":"A038320 \u2192 basis A013609 \u2192 D"},"headline":"A038320 \u2192 basis A013609 \u2192 D","chain":null}},{"id":"l-eefaa4d96cb8ee32","kind":"fingerprint_related","node_a_id":"n-b69b5201d4a2fd8f","node_b_id":"n-29e4710712165c78","fingerprint":"f6-8b732aeffa021ba5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8b732aeffa021ba5"},"other_id":"n-b69b5201d4a2fd8f","other":{"id":"n-b69b5201d4a2fd8f","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*6^j.","first_index":0,"fingerprint":"f6-8b732aeffa021ba5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["289","408","144"],["4913","10404","7344","1728"],["83521","235824","249696","117504","20736"]],"card_rows":[["289","408","144"],["4913","10404","7344","1728"],["83521","235824","249696","117504","20736"],["1419857","5011260","7074720","4993920","1762560","248832"]],"row_sums_preview":["841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-1f2dec04776afb2b","steps":["basis A013609"],"edges":["e-7304be3f66cc3caf"],"text":"A038320 \u2192 basis A013609"},"headline":"A038320 \u2192 basis A013609","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:           17,           12;\n  2:          289,          408,           144;\n  3:         4913,        10404,          7344,          1728;\n  4:        83521,       235824,        249696,        117504,         20736;\n  5:      1419857,      5011260,       7074720,       4993920,       1762560,        248832;\n  6:     24137569,    102229704,     180405360,     169793280,      89890560,      25380864,       2985984;\n  7:    410338673,   2027555796,    4293647568,    5051350080,    3565658880,    1510161408,     355332096,     35831808;\n  8:   6975757441,  39392512608,   97322678208,  137396722176,  121232401920,   68460650496,   24162582528,   4873125888,   429981696;\n  9: 118587876497, 753381803628, 2127195680832, 3503616415488, 3709711498752, 2618619881472, 1232291708928, 372794130432, 65787199488, 5159780352;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (17+12*x)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(17 + 12*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] = 1; for(n = 1, N, my(i = n + 1); v[i] = (17 + 12*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-5733d79f45a14084","steps":["basis A013611","x \u21a6 x+1"],"edges":["e-1a3f71d8de8c31ec","e-037dd8eb46c1c7df"],"text":"A013620 \u2192 basis A013611 \u2192 x \u21a6 x+1"},"headline":"A013620 \u2192 basis A013611 \u2192 x \u21a6 x+1","chain":null}