{"id":"n-245fb3a2afc88154","revision":0,"first_index":0,"fingerprint":"f6-5318af082a47bdd8","name":"basis_map_A013609 of basis_map_A007318 of Triangle read by rows: coefficients of the polynomials given by KummerU(-n, 1 - n - x, 3).","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"],["5","2"],["27","22","4"],["159","196","72","8"],["1029","1688","932","208","16"],["7353","14898","10900","3640","560","32"],["58095","138366","124816","55080","12640","1440","64"],["506691","1370052","1453508","789992","239120","40544","3584","128"],["4860297","14548320","17561064","11230240","4183984","934528","122752","8704","256"],["51023277","165967506","222506280","162155440","71113392","19543776","3378816","355584","20736","512"],["583097859","2032786998","2972874204","2411972240","1206930800","390607392","83076672","11500800","994560","48640","1024"],["7215769575","26678975508","41983498656","37260668808","20794504720","7686659200","1926000384","327997824","37297920","2703360","112640","2048"],["96210083853","374213176344","626989080780","600542614320","367404696736","151685512704","43447794368","8720439552","1219941888","116244480","7175168","258048","4096"],["1375803720801","5593601047266","9895834774332","10121818527912","6698362903232","3036743378240","972647515840","223335139456","36837166080","4318718976","350411776","18663424","585728","8192"],["21012273704151","88842112414974","164859653882088","178563241092600","126485386141296","62142371619328","21886678061248","5625230399360","1062161534720","146877739008","14665018368","1026701312","47710208","1318912","16384"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","7","53","435","3873","37383","390501","4403619","53450145","696065319","9693891189","143914190643","2270557022337","37959672561255","670641727353957"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["5","2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["3"],["-3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["4","2"],["1","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":200146,"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-cfe3aa13ccddea75"]},{"id":200147,"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-cfe3aa13ccddea75"]},{"id":200148,"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-cfe3aa13ccddea75"]},{"id":200149,"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-cfe3aa13ccddea75"]}],"region_exact":{},"incoming_edges":[{"id":"e-cfe3aa13ccddea75","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-245fb3a2afc88154","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":"d31dee083bed2e073a7c1d9e977ab97c23e6e03f37d9e020d79643cf392502b3","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-e0a0f9191d8a0512","role":"sequence","name":"basis_map_A007318 of Triangle read by rows: coefficients of the polynomials given by KummerU(-n, 1 - n - x, 3).","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:        5,         2;\n  2:       27,        22,         4;\n  3:      159,       196,        72,         8;\n  4:     1029,      1688,       932,       208,       16;\n  5:     7353,     14898,     10900,      3640,      560,       32;\n  6:    58095,    138366,    124816,     55080,    12640,     1440,      64;\n  7:   506691,   1370052,   1453508,    789992,   239120,    40544,    3584,    128;\n  8:  4860297,  14548320,  17561064,  11230240,  4183984,   934528,  122752,   8704,   256;\n  9: 51023277, 165967506, 222506280, 162155440, 71113392, 19543776, 3378816, 355584, 20736, 512;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(3*n-3)*P(n-2,x) + (n+4+2*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 5 + 2*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 5 + 2*x;\nP[n_, x_] := P[n, x] = Expand[-(3*n - 3)*P[n - 2, x] + (n + 4 + 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] = 5 + 2*x; for(n = 2, N, my(i = n + 1); v[i] = -(3*n - 3)*v[i - 2] + (n + 4 + 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-ff69dadb0811f5e6","steps":["x \u21a6 x+1","basis A013609"],"edges":["e-29bcfb0ecbd3591f","e-cfe3aa13ccddea75"],"text":"A327997 \u2192 x \u21a6 x+1 \u2192 basis A013609"},"headline":"A327997 \u2192 x \u21a6 x+1 \u2192 basis A013609","chain":null}