{"id":"n-19baf67faf039883","revision":1,"first_index":0,"fingerprint":"f6-f4b2e86387e8cf3d","name":"basis_map_A013611 of Triangle of central factorial numbers |t(2n,2n-2k)| read by rows.","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"],["2","4"],["10","52","64"],["100","880","2512","2304"],["1700","21360","99024","199936","147456"],["44200","725360","4710624","15100736","23827456","14745600"],["1635400","33203120","278744928","1237057088","3056121856","3976740864","2123366400"],["81770000","1980694400","20445057920","116486860288","395269282048","797836926976","885609529344","416179814400"],["5315050000","149678256000","1835986531200","12805580746240","55513139566848","153048336457728","261810872713216","253767727448064","106542032486400"],["435834100000","13995693192000","199046650502400","1644917257300480","8701085606263296","30536220809192448","71056152574787584","105635676409823232","90957190357057536","34519618525593600"],["44019244100000","1587898652392000","25701988977542400","245755303188308480","1536776549152784896","6564592544233755648","19391159733730525184","39091664347307180032","51440946789992103936","39869357613907968000","13807847410237440000"],["5370347780200000","215028949736224000","3904185603017900800","42421909654104156160","306432305739781061632","1544680140186466078720","5542984278924261806080","14154504361497050152960","25196161052475711815680","29761479875252950401024","20981326469180424192000","6682998146554920960000"],["778700428129000000","34272518033147680000","689963587485660640000","8399987807183413504000","68867704293032247884800","400483628433151472914432","1693468481191422423224320","5245162077077447072481280","11806437864831279101378560","18828403348137687813980160","20184904746176860938829824","13054278777498387873792000","3849406932415634472960000"],["132379072781930000000","6352729555050309600000","140462032062970140480000","1894413312361486888320000","17385901487471469669120000","114636784935725549965578240","558616574623352207638290432","2036462246388567560421457920","5552824001125671668231700480","11181980565809351600908533760","16159434470191143321851658240","15864223000590283933193601024","9479091632099568063086592000","2602199086312968903720960000"],["26078677338040210000000","1355272915405944111200000","32651560287564560400960000","483321655672581507135360000","4910242629923285245259520000","36213993398515565563808993280","199922704590409216077756555264","839138457043255940191446908928","2690492729390394286012068003840","6556264188346968853272634327040","11950081354222186889517067141120","15794248555746142299170839461888","14304931883986397512051841826816","7944241059569716235492917248000","2040124083669367620517232640000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","6","126","5796","469476","59153976","10706869656","2633889935376","845478669255696","343264339717812576","171975434198624100576","104217113124366204949056","75140538562668033768269376","63568895624017156567955892096","62361086607160830593164730146176"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","0"],["0","0"],["1","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":168209,"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-bf0617bcebb15ed7"]},{"id":168210,"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-bf0617bcebb15ed7"]},{"id":168211,"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-bf0617bcebb15ed7"]},{"id":168212,"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-bf0617bcebb15ed7"]}],"region_exact":{},"incoming_edges":[{"id":"e-bf0617bcebb15ed7","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-19baf67faf039883","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":"f56d03141dfbbe26383eafadcb46d7f22ea1b446ca450466cc0f5ef1823905ba","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-e734a631f8279507","role":"sequence","name":"Triangle of central factorial numbers |t(2n,2n-2k)| read by rows.","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":[],"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:            2,              4;\n  2:           10,             52,              64;\n  3:          100,            880,            2512,             2304;\n  4:         1700,          21360,           99024,           199936,           147456;\n  5:        44200,         725360,         4710624,         15100736,         23827456,          14745600;\n  6:      1635400,       33203120,       278744928,       1237057088,       3056121856,        3976740864,        2123366400;\n  7:     81770000,     1980694400,     20445057920,     116486860288,     395269282048,      797836926976,      885609529344,       416179814400;\n  8:   5315050000,   149678256000,   1835986531200,   12805580746240,   55513139566848,   153048336457728,   261810872713216,    253767727448064,   106542032486400;\n  9: 435834100000, 13995693192000, 199046650502400, 1644917257300480, 8701085606263296, 30536220809192448, 71056152574787584, 105635676409823232, 90957190357057536, 34519618525593600;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (n^2+1+4*n^2*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[(n^2 + 1 + 4*n^2*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] = (n^2 + 1 + 4*n^2*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-e734a631f8279507","steps":["basis A013611"],"edges":["e-bf0617bcebb15ed7"],"text":"A008955 \u2192 basis A013611"},"headline":"A008955 \u2192 basis A013611","chain":null}