{"id":"n-e1680309668a7c43","revision":0,"first_index":0,"fingerprint":"f6-5e144e91eeb503a1","name":"basis_map_A013611 of Triangle T(n, k) = T(n-1, k) + T(n-1, k-1) + j*prime(j)*T(n-2, k-1) with j=3, 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":[["2"],["10","20"],["50","200","32"],["250","1500","2064","128"],["1250","10000","22608","10432","512"],["6250","62500","206176","237056","50432","2048"],["31250","375000","1601472","2811776","1682688","236544","8192"],["156250","2187500","11545584","27955840","29592320","10260480","1085440","32768"],["781250","12500000","78363248","240358976","364954880","243399680","57528320","4898816","131072"],["3906250","70312500","511160256","1906243584","3812580864","3876065280","1720565760","305528832","21823488","524288"],["19531250","390625000","3229019232","14164307712","35145997824","48550742016","34412298240","11018502144","1561657344","96206848","2097152"],["97656250","2148437500","19906692304","100507961472","298512554496","524581306368","521399967744","267503075328","65856405504","7756316672","420478976","8388608"],["488281250","11718750000","120279923088","686848461760","2376105384960","5080233830400","6570354155520","4850621448192","1886260101120","374080798720","37670092800","1824522240","33554432"],["2441406250","63476562500","714941480736","4556837576192","18007770622720","45444362065920","72757521530880","71279203713024","40213036597248","12360931082240","2043349565440","179683983360","7868514304","134217728"],["12207031250","341796875000","4191113057792","29492963387008","131095380030208","381689637176320","730661833482240","900569064603648","684874076454912","304360826601472","76540322775040","10820339630080","844447612928","33755758592","536870912"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["2","30","282","3942","44802","564462","6746922","82816182","1002916242","12228711102","148590984762","1808699241222","21996519304482","267631558918542","3255528301347402"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["2"],["10","20"],["50","200","32"]],"recurrence":{"denominator":{"coeffs":[["-2"],["1"]]},"terms":[{"coeff":{"coeffs":[["-30","-120"],["15","60"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["-4","-8"],["2","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":205472,"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-cf37d259e4a0d2e0"]},{"id":205473,"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-cf37d259e4a0d2e0"]},{"id":205474,"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-cf37d259e4a0d2e0"]},{"id":205475,"position":3,"claim":"interlacing","from_index":2,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 2","region_exact":null,"edges":["e-cf37d259e4a0d2e0"]}],"region_exact":{},"incoming_edges":[{"id":"e-cf37d259e4a0d2e0","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-e1680309668a7c43","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":"b9786f5727465785eb5b9a690346ce03d637472decd536c05c65e901ef69b882","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-27c21e0d08511c1c","role":"sequence","name":"Triangle T(n, k) = T(n-1, k) + T(n-1, k-1) + j*prime(j)*T(n-2, k-1) with j=3, 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:       2;\n  1:      10,       20;\n  2:      50,      200,        32;\n  3:     250,     1500,      2064,        128;\n  4:    1250,    10000,     22608,      10432,        512;\n  5:    6250,    62500,    206176,     237056,      50432,       2048;\n  6:   31250,   375000,   1601472,    2811776,    1682688,     236544,       8192;\n  7:  156250,  2187500,  11545584,   27955840,   29592320,   10260480,    1085440,     32768;\n  8:  781250, 12500000,  78363248,  240358976,  364954880,  243399680,   57528320,   4898816,   131072;\n  9: 3906250, 70312500, 511160256, 1906243584, 3812580864, 3876065280, 1720565760, 305528832, 21823488, 524288;\n","recurrence_sentence":"The row polynomials satisfy (n-2)*P(n,x) = (15*n-30+(60*n-120)*x)*P(n-2,x) + (2*n-4+(4*n-8)*x)*P(n-1,x) for n >= 3, with P(0,x) = 2, P(1,x) = 10 + 20*x, P(2,x) = 50 + 200*x + 32*x^2.","mathematica":"P[0, x_] := 2;\nP[1, x_] := 10 + 20*x;\nP[2, x_] := 50 + 200*x + 32*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((15*n - 30 + (60*n - 120)*x)*P[n - 2, x] + (2*n - 4 + (4*n - 8)*x)*P[n - 1, x])/(n - 2)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 2; v[2] = 10 + 20*x; v[3] = 50 + 200*x + 32*x^2; for(n = 3, N, my(i = n + 1); v[i] = ((15*n - 30 + (60*n - 120)*x)*v[i - 2] + (2*n - 4 + (4*n - 8)*x)*v[i - 1])/(n - 2)); 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-27c21e0d08511c1c","steps":["basis A013611"],"edges":["e-cf37d259e4a0d2e0"],"text":"A153648 \u2192 basis A013611"},"headline":"A153648 \u2192 basis A013611","chain":null}