{"id":"n-37f06382db0098d8","revision":0,"first_index":0,"fingerprint":"f6-27961752b234205d","name":"basis_map_A013609 of A triangular array related to A077028 and distributing the values of A007582.","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"],["3","4"],["10","26","16"],["36","136","164","64"],["136","664","1176","904","256"],["528","3136","7264","8256","4624","1024"],["2080","14496","41280","61760","51360","22560","4096"],["8256","65920","222144","410880","451520","295296","106560","16384"],["32896","295808","1149568","2527616","3445120","2984576","1606528","491648","65536"],["131328","1312768","5774336","14694400","23873024","25704448","18357248","8390656","2228480","262144"],["524800","5771776","28329984","81831936","154205184","198245376","176203776","106973184","42471936","9961984","1048576"],["2098176","25176064","136360960","440524800","943933440","1409544192","1497581568","1132584960","597734400","209725440","44041216","4194304"],["8390656","109074432","646035456","2307205120","5537157120","9412964352","11627556864","10519990272","6920939520","3229726720","1015044096","192940032","16777216"],["33558528","469811200","3020169216","11812061184","31375421440","59797241856","84158300160","88586944512","69761691648","40601763840","16978812928","4831887360","838864896","67108864"],["134225920","2013372416","13959282688","59326578688","172744073216","364680110080","575808110592","690966921216","633384001536","441447964672","230319964160","87242162176","22682902528","3623886848","268435456"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","7","52","400","3136","24832","197632","1576960","12599296","100728832","805568512","6443499520","51543801856","412333637632","3298601992192"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["3","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-8","-16","-8"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["6","6"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":199345,"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-fdb502be056045be"]},{"id":199346,"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-fdb502be056045be"]},{"id":199347,"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-fdb502be056045be"]},{"id":199348,"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-fdb502be056045be"]}],"region_exact":{},"incoming_edges":[{"id":"e-fdb502be056045be","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-37f06382db0098d8","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":"e7cf6caca6c7821ee6f3358c1ff9fa85d0a40241d9cf2097aebbdb6e62199437","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-cf9f646a76b9c283","role":"sequence","name":"A triangular array related to A077028 and distributing the values of A007582.","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:      3,       4;\n  2:     10,      26,      16;\n  3:     36,     136,     164,       64;\n  4:    136,     664,    1176,      904,      256;\n  5:    528,    3136,    7264,     8256,     4624,     1024;\n  6:   2080,   14496,   41280,    61760,    51360,    22560,     4096;\n  7:   8256,   65920,  222144,   410880,   451520,   295296,   106560,   16384;\n  8:  32896,  295808, 1149568,  2527616,  3445120,  2984576,  1606528,  491648,   65536;\n  9: 131328, 1312768, 5774336, 14694400, 23873024, 25704448, 18357248, 8390656, 2228480, 262144;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(8+16*x+8*x^2)*P(n-2,x) + (6+6*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 3 + 4*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 3 + 4*x;\nP[n_, x_] := P[n, x] = Expand[-(8 + 16*x + 8*x^2)*P[n - 2, x] + (6 + 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] = 3 + 4*x; for(n = 2, N, my(i = n + 1); v[i] = -(8 + 16*x + 8*x^2)*v[i - 2] + (6 + 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-cf9f646a76b9c283","steps":["basis A013609"],"edges":["e-fdb502be056045be"],"text":"A110552 \u2192 basis A013609"},"headline":"A110552 \u2192 basis A013609","chain":null}