{"id":"n-65a2a2b634b6736c","revision":1,"first_index":0,"fingerprint":"f6-4f3385313ea7aeb7","name":"basis_map_A013609 of Triangular array read by rows. T(n, k) is the coefficient of x^k in a(n+3) where a(1) = a(2) = a(3) = 1 and a(m+2) = (m*x + 2)*a(m+1) - a(m) for all m in Z.","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"],["7","16","8"],["33","120","136","48"],["191","968","1768","1376","384"],["1304","8566","21920","27264","16448","3840"],["10241","83208","276384","479776","458368","228096","46080"],["90865","883680","3630448","8160096","10825728","8466176","3608064","645120"],["898409","10207432","50166976","139208352","238360448","257645312","171493376","64180224","10321920"],["9791634","127569434","731940064","2426137344","5116889536","7116120320","6520434688","3792218112","1268785152","185794560"],["116601199","1716458456","11284502472","43613241056","109687060864","187473589248","220396129280","175851130880","91059462144","27605237760","3715891200"],["1506023953","24751616872","183728678104","812805050768","2380306204928","4843155878912","6983048209408","7130987327488","5051229102080","2361990463488","655621816320","81749606400"],["20967734143","380950752624","3154955795912","15745145744192","52721921026560","124744057633792","213778019896320","267251128479744","241769843826688","154269759700992","65862760660992","16879418081280","1961990553600"],["313009988192","6234670760206","57045327828800","317393231805824","1197822298542464","3237087655318528","6443032748713984","9559864457172992","10570025768771584","8597700344545280","4998299540324352","1965541298798592","468294728417280","51011754393600"],["4987192076929","108138061080048","1084141070750656","6659815742355392","27999445346215936","85207682786651648","193513200308446208","333095497150279680","436554847257362432","433369657278627840","320642539531796480","171384168491778048","62525910030483456","13928440465981440","1428329123020800"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","4","31","337","4687","79342","1582153","36310177","942482449","27295680844","872519304559","30510879978721","1158540919886839","47469666835381678","2087506799836906993"],"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"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","0"],["1","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166691,"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-047e3d1cd6239819"]},{"id":166692,"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-047e3d1cd6239819"]},{"id":166693,"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-047e3d1cd6239819"]},{"id":166694,"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-047e3d1cd6239819"]}],"region_exact":{},"incoming_edges":[{"id":"e-047e3d1cd6239819","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-65a2a2b634b6736c","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":"fe1db2e020d9d44dbd9e198fc1430f8c0e9040a414723113180a6dfbbc8de517","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-f3e0631eb8740f76","role":"sequence","name":"Triangular array read by rows. T(n, k) is the coefficient of x^k in a(n+3) where a(1) = a(2) = a(3) = 1 and a(m+2) = (m*x + 2)*a(m+1) - a(m) for all m in Z.","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:       7,        16,         8;\n  3:      33,       120,       136,         48;\n  4:     191,       968,      1768,       1376,        384;\n  5:    1304,      8566,     21920,      27264,      16448,       3840;\n  6:   10241,     83208,    276384,     479776,     458368,     228096,      46080;\n  7:   90865,    883680,   3630448,    8160096,   10825728,    8466176,    3608064,     645120;\n  8:  898409,  10207432,  50166976,  139208352,  238360448,  257645312,  171493376,   64180224,   10321920;\n  9: 9791634, 127569434, 731940064, 2426137344, 5116889536, 7116120320, 6520434688, 3792218112, 1268785152, 185794560;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -P(n-2,x) + (n+2+2*n*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[-P[n - 2, x] + (n + 2 + 2*n*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] = -v[i - 2] + (n + 2 + 2*n*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-f3e0631eb8740f76","steps":["basis A013609"],"edges":["e-047e3d1cd6239819"],"text":"A358735 \u2192 basis A013609"},"headline":"A358735 \u2192 basis A013609","chain":null}