{"id":"n-6b17131842b3d344","revision":1,"first_index":0,"fingerprint":"f6-41a34b59595864e8","name":"basis_map_A013609 of Triangle T(n, k) = T(n-1, k) + T(n-1, k-1) + ((n+1)*(n+2)/2)*T(n-2, k-1), 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":false,"rows":[["1"],["2","2"],["10","20","4"],["40","120","88","8"],["230","920","1076","312","16"],["1300","6500","10880","6640","992","32"],["9040","54240","116408","104032","33184","2944","64"],["64880","454160","1200976","1463280","788224","144832","8320","128"],["536560","4292480","13430232","20486672","15359168","4985152","574144","22656","256"],["4641520","41773680","151456704","280421568","276004800","135359040","27507712","2115840","59904","512"],["44696000","446960000","1839463440","3988667520","4830798528","3179157888","1021667072","136529408","7358976","154624","1024"],["451430560","4965736160","22903163872","57156390048","82913071104","69634666752","31663261696","6772631552","622520320","24412160","391168","2048"],["4970197120","59642365440","304475693104","857870198240","1445679076992","1473604175616","874174296064","275239369728","40308322816","2647269376","77841408","972800","4096"],["57340603040","745427839520","4175872917248","13135777150848","25315812926464","30561951446016","22643479439360","9659238600704","2118712644608","219203728384","10617847808","239988736","2383872","8192"],["711104860480","9955468046720","60693852391616","210641890269952","456273516971264","635551008296960","564976779446272","307435991502848","94450349963264","14667502546944","1104328771584","40514347008","718708736","5767168","16384"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","4","34","256","2554","26344","319912","4124800","59687320","919341280","15495454480","277107677440","5338689782800","108643677524800","2356503031907200"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["2","2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","2"],["3/2","3"],["1/2","1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166683,"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-0a5c12d47b8633af"]},{"id":166684,"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-0a5c12d47b8633af"]},{"id":166685,"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-0a5c12d47b8633af"]},{"id":166686,"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-0a5c12d47b8633af"]}],"region_exact":{},"incoming_edges":[{"id":"e-0a5c12d47b8633af","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-6b17131842b3d344","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":"56c850cc25bae094b276e3e3a28bb9e863e4e8b0c6fab6dcdd542a8b2fdd4574","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-8c29b5d8d22f0df0","role":"sequence","name":"Triangle T(n, k) = T(n-1, k) + T(n-1, k-1) + ((n+1)*(n+2)/2)*T(n-2, k-1), 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,        2;\n  2:      10,       20,         4;\n  3:      40,      120,        88,         8;\n  4:     230,      920,      1076,       312,        16;\n  5:    1300,     6500,     10880,      6640,       992,        32;\n  6:    9040,    54240,    116408,    104032,     33184,      2944,       64;\n  7:   64880,   454160,   1200976,   1463280,    788224,    144832,     8320,     128;\n  8:  536560,  4292480,  13430232,  20486672,  15359168,   4985152,   574144,   22656,   256;\n  9: 4641520, 41773680, 151456704, 280421568, 276004800, 135359040, 27507712, 2115840, 59904, 512;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = ((1/2)*n^2+(3/2)*n+1+(n^2+3*n+2)*x)*P(n-2,x) + (2+2*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 2 + 2*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 2 + 2*x;\nP[n_, x_] := P[n, x] = Expand[((1/2)*n^2 + (3/2)*n + 1 + (n^2 + 3*n + 2)*x)*P[n - 2, x] + (2 + 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; v[2] = 2 + 2*x; for(n = 2, N, my(i = n + 1); v[i] = ((1/2)*n^2 + (3/2)*n + 1 + (n^2 + 3*n + 2)*x)*v[i - 2] + (2 + 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-8c29b5d8d22f0df0","steps":["basis A013609"],"edges":["e-0a5c12d47b8633af"],"text":"A154227 \u2192 basis A013609"},"headline":"A154227 \u2192 basis A013609","chain":null}