{"id":"n-3e752e21877e7b02","revision":0,"first_index":0,"fingerprint":"f6-8419344160e8e665","name":"basis_map_A013609 of Triangle read by rows, T(n,k) = (k+1)*(n+1)!*(n+k)!/((k+1)!^2*(n-k)!) with n >= 0 and 0 <= k <= 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":false,"rows":[["1"],["4","4"],["36","84","48"],["528","1968","2400","960"],["10800","55440","105120","87360","26880"],["283680","1856160","4798080","6128640","3870720","967680"],["9102240","72404640","237484800","411264000","396748800","202245120","42577920"],["345058560","3232131840","12859015680","28174003200","36723456000","28484628480","12177285120","2214051840"],["15090727680","162674023680","761184345600","2019630412800","3323951769600","3475507875840","2255011799040","830269440000","132843110400"],["747888422400","9118920384000","49072117248000","152986724352000","304542830592000","401485090406400","350572968345600","195545058508800","63233320550400","9033331507200"],["41422381862400","563604060096000","3429253884672000","12288153765888000","28720016252928000","45751864648089600","50315125122662400","37723192374067200","18455096269209600","5320632257740800","686533194547200"],["2535569103513600","38083762744473600","258527596174848000","1047065327852544000","2811416200040448000","5255101814125363200","6978302789301043200","6583672669077504000","4325159125647360000","1884533619032064000","490184700906700800","57668788341964800"],["169983582318950400","2793419499680409600","20930599842395443200","94557468018004992000","286871326014873600000","615762091820600524800","958934444346585907200","1091750487697155686400","901919253672493056000","527308983401840640000","207117453330166579200","49076138879012044800","5305528527460761600"],["12386182292118835200","221058842635466035200","1812167491894695936000","9035139743707004928000","30569063736310235136000","74117809928612472422400","132498395209183946342400","176833265820267184128000","176200495040184975360000","129470610814865768448000","68194610927716899225600","24384209112209660313600","5305528527460761600000","530552852746076160000"],["974723523832041984000","18774179465075274240000","167143581074578268160000","911674753737869721600000","3403694872190986813440000","9201553456313254772736000","18575992497583820242944000","28449907132100385964032000","33218710372226860056576000","29428185031132595355648000","19471793720991103844352000","9331894126950733578240000","3062351066050351595520000","615971862038194421760000","57299708096576225280000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","8","168","5856","285600","17904960","1371827520","124209630720","12976163504640","1536338250316800","203294894211763200","29732251962347827200","4762497178632588595200","829185294230087264870400","155915921083476218176512000"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["4","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["0"],["2"],["-1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["-3","-4"],["6","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":200854,"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-15feff70494ec046"]},{"id":200855,"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-15feff70494ec046"]},{"id":200856,"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-15feff70494ec046"]},{"id":200857,"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-15feff70494ec046"]}],"region_exact":{},"incoming_edges":[{"id":"e-15feff70494ec046","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-3e752e21877e7b02","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":"e3ae3d1e42cc07b9b901bfb8d45c4ec7fac84f841b3897d1eebe6d047494bb67","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-694017a14c5c1f2e","role":"sequence","name":"Triangle read by rows, T(n,k) = (k+1)*(n+1)!*(n+k)!/((k+1)!^2*(n-k)!) with n >= 0 and 0 <= k <= 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-2c902ee8cbe977ba","kind":"fingerprint_related","node_a_id":"n-36f587956712a55a","node_b_id":"n-3e752e21877e7b02","fingerprint":"f6-8419344160e8e665","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8419344160e8e665"},"other_id":"n-36f587956712a55a","other":{"id":"n-36f587956712a55a","name":"basis_map_A013609 of Triangle read by rows: T(n,k) = C(n+k,n)*C(n,k)/(k+1), for n >= 0, k = 0..n.","first_index":1,"fingerprint":"f6-8419344160e8e665","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","2"],["6","14","8"]],"card_rows":[["1"],["2","2"],["6","14","8"],["22","82","100","40"]],"row_sums_preview":["1","4","28","244","2380","24868","272188","3080596"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-be392fc9b98fb771","steps":["basis A013609"],"edges":["e-8d43b7ce4395e29f"],"text":"A088617 \u2192 basis A013609"},"headline":"A088617 \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:            4,             4;\n  2:           36,            84,             48;\n  3:          528,          1968,           2400,             960;\n  4:        10800,         55440,         105120,           87360,           26880;\n  5:       283680,       1856160,        4798080,         6128640,         3870720,          967680;\n  6:      9102240,      72404640,      237484800,       411264000,       396748800,       202245120,        42577920;\n  7:    345058560,    3232131840,    12859015680,     28174003200,     36723456000,     28484628480,     12177285120,      2214051840;\n  8:  15090727680,  162674023680,   761184345600,   2019630412800,   3323951769600,   3475507875840,   2255011799040,    830269440000,   132843110400;\n  9: 747888422400, 9118920384000, 49072117248000, 152986724352000, 304542830592000, 401485090406400, 350572968345600, 195545058508800, 63233320550400, 9033331507200;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(n^2-2*n)*P(n-2,x) + (6*n-3+(8*n-4)*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 4 + 4*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 4 + 4*x;\nP[n_, x_] := P[n, x] = Expand[-(n^2 - 2*n)*P[n - 2, x] + (6*n - 3 + (8*n - 4)*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; v[2] = 4 + 4*x; for(n = 2, N, my(i = n + 1); v[i] = -(n^2 - 2*n)*v[i - 2] + (6*n - 3 + (8*n - 4)*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-694017a14c5c1f2e","steps":["basis A013609"],"edges":["e-15feff70494ec046"],"text":"A253284 \u2192 basis A013609"},"headline":"A253284 \u2192 basis A013609","chain":null}