{"id":"n-334042a33192acbb","revision":0,"first_index":0,"fingerprint":"f6-7788c6846a0d7f3a","name":"basis_map_A013610 of Triangle, row sums = number of edges in n-dimensional hypercubes.","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"],["4","9"],["12","48","45"],["32","180","324","189"],["80","576","1512","1728","729"],["192","1680","5760","9720","8100","2673"],["448","4608","19440","43200","53460","34992","9477"],["1024","12096","60480","166320","272160","265356","142884","32805"],["2304","30720","177408","580608","1179360","1524096","1224720","559872","111537"],["5120","76032","497664","1886976","4572288","7348320","7838208","5353776","2125764","373977"],["11264","184320","1347840","5806080","16329600","31352832","41640480","37791360","22438620","7873200","1240029"],["24576","439296","3548160","17107200","54743040","122145408","193995648","219399840","173210400","90935460","28579716","4074381"],["53248","1032192","9123840","48660480","174493440","443418624","819092736","1108546560","1091225520","762125760","358545528","102036672","13286025"],["114688","2396160","23003136","134424576","533744640","1521172224","3202467840","5043886848","5944580928","5178990960","3242498688","1381746600","359254116","43046721"],["245760","5505024","57028608","362299392","1577511936","4981616640","11769069312","21136287744","29002349376","30263321088","23643219600","13412153664","5223002148","1249949232","138706101"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","13","105","725","4625","28125","165625","953125","5390625","30078125","166015625","908203125","4931640625","26611328125","142822265625"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["4","9"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-4","-12","-9"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["4","6"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":201726,"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-7712bd8a2580e70b"]},{"id":201727,"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-7712bd8a2580e70b"]},{"id":201728,"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-7712bd8a2580e70b"]},{"id":201729,"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-7712bd8a2580e70b"]}],"region_exact":{},"incoming_edges":[{"id":"e-7712bd8a2580e70b","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-334042a33192acbb","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":"f29ca45daf7340bdd3fc2f11ef2a900230b83a53aded76761de9f48ce2df8e24","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-6202e291a2627bce","role":"sequence","name":"Triangle, row sums = number of edges in n-dimensional hypercubes.","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:    4,     9;\n  2:   12,    48,     45;\n  3:   32,   180,    324,     189;\n  4:   80,   576,   1512,    1728,     729;\n  5:  192,  1680,   5760,    9720,    8100,    2673;\n  6:  448,  4608,  19440,   43200,   53460,   34992,    9477;\n  7: 1024, 12096,  60480,  166320,  272160,  265356,  142884,   32805;\n  8: 2304, 30720, 177408,  580608, 1179360, 1524096, 1224720,  559872,  111537;\n  9: 5120, 76032, 497664, 1886976, 4572288, 7348320, 7838208, 5353776, 2125764, 373977;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(4+12*x+9*x^2)*P(n-2,x) + (4+6*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 4 + 9*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 4 + 9*x;\nP[n_, x_] := P[n, x] = Expand[-(4 + 12*x + 9*x^2)*P[n - 2, x] + (4 + 6*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 + 9*x; for(n = 2, N, my(i = n + 1); v[i] = -(4 + 12*x + 9*x^2)*v[i - 2] + (4 + 6*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-6202e291a2627bce","steps":["basis A013610"],"edges":["e-7712bd8a2580e70b"],"text":"A116666 \u2192 basis A013610"},"headline":"A116666 \u2192 basis A013610","chain":null}