{"id":"n-cdb87b58d20a5654","revision":0,"first_index":0,"fingerprint":"f6-e543af4f498eab8b","name":"theta_plus_one_squared of basis_map_A007318 of Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).","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":[["3"],["9","24"],["27","144","108"],["81","648","972","384"],["243","2592","5832","4608","1200"],["729","9720","29160","34560","18000","3456"],["2187","34992","131220","207360","162000","62208","9408"],["6561","122472","551124","1088640","1134000","653184","197568","24576"],["19683","419904","2204496","5225472","6804000","5225472","2370816","589824","62208"],["59049","1417176","8503056","23514624","36741600","35271936","21337344","7962624","1679616","153600"],["177147","4723920","31886460","100776960","183708000","211631616","160030080","79626240","25194240","4608000","371712"],["531441","15588936","116917020","415704960","866052000","1163973888","1056198528","656916480","277136640","76032000","12266496","884736"],["1594323","51018336","420901272","1662819840","3897234000","5986151424","6337191168","4729798656","2494229760","912384000","220796928","31850496","2076672"],["4782969","165809592","1492286328","6484997376","16888014000","29182488192","35307207936","30743691264","19454992128","8895744000","2870360064","621084672","80990208","4816896"],["14348907","535692528","5223002148","24760899072","70929658800","136184944896","185362841664","184462147584","136184944896","74724249600","30138780672","8695185408","1700794368","202309632","11059200"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["3","33","279","2085","14475","95625","609375","3778125","22921875","136640625","802734375","4658203125","26748046875","152197265625","859130859375"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one_squared","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["3"]],"recurrence":{"denominator":{"coeffs":[["9","-6","0"],["0","18","0"],["0","0","4"]]},"terms":[{"coeff":{"coeffs":[["27","54","36","8"],["0","54","60","16"],["0","0","12","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":179696,"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-ebb256587128c62c"]},{"id":179697,"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-ebb256587128c62c"]},{"id":179698,"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-ebb256587128c62c"]},{"id":179699,"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-ebb256587128c62c"]}],"region_exact":{},"incoming_edges":[{"id":"e-ebb256587128c62c","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"euler_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"2\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"euler_polynomial, shift 0","conclusion_id":"n-cdb87b58d20a5654","premise_count":1,"theorem":"Laguerre's theorem on multiplier sequences: if f is a real polynomial whose roots are all real and <= 0, then (f(k))_(k >= 0) is a multiplier sequence, so x^k -> f(k) x^k maps every real-rooted polynomial to a real-rooted polynomial or zero (Laguerre; see T. Craven and G. Csordas, Multiplier sequences for fields, Illinois J. Math. 21 (1977); Polya--Schur, Theorem 40 of P. Branden, arXiv:1410.6601: sum_k f(k) x^k / k! = f(theta) e^x = C e^x x^m prod (1 + x/a_j), a_j > 0); f(k) has one sign for k >= 0, so coefficients of one sign stay of one sign; applied to f(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.isMultiplierSequence_eval_of_roots_nonpos","RealRooted.isPFMultiplierSequence_eval_of_roots_nonpos","RealRooted.isMultiplierSequence_iff_preserves"],"certificate_hash":"f665b807436cad86f4986c6f3ec280aed5654090c6d4bd84eaf977fe4663162a","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-f6495b2c898daf02","role":"sequence","name":"basis_map_A007318 of Triangle read by rows: T(n,k) is the number of ternary words of length n having k runs (i.e., subwords of maximal length) of identical letters (1 <= k <= n).","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":[{"id":"l-5b1638a38ac77ee7","kind":"fingerprint_related","node_a_id":"n-cdb87b58d20a5654","node_b_id":"n-ad2b43f723b42ee4","fingerprint":"f6-e543af4f498eab8b","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e543af4f498eab8b"},"other_id":"n-ad2b43f723b42ee4","other":{"id":"n-ad2b43f723b42ee4","name":"theta_plus_one_squared of basis_map_A013611 of Triangle whose (i,j)-th entry is 5^(i-j)*binomial(i,j).","first_index":0,"fingerprint":"f6-e543af4f498eab8b","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["6","16"],["36","192","144"]],"card_rows":[["1"],["6","16"],["36","192","144"],["216","1728","2592","1024"]],"row_sums_preview":["1","22","372","5560","77200","1020000","13000000","161200000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-7b91a7a037fb3513","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-0e13ca82ccc1a33c","e-6fa3983c3b07eab2"],"text":"A038243 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A038243 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-6504f884fe0ca37f","kind":"fingerprint_related","node_a_id":"n-cdb87b58d20a5654","node_b_id":"n-6e5997629441d544","fingerprint":"f6-e543af4f498eab8b","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e543af4f498eab8b"},"other_id":"n-6e5997629441d544","other":{"id":"n-6e5997629441d544","name":"theta_plus_one_squared of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-e543af4f498eab8b","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["144","768","576"],["1728","13824","20736","8192"],["20736","221184","497664","393216","102400"]],"card_rows":[["144","768","576"],["1728","13824","20736","8192"],["20736","221184","497664","393216","102400"],["248832","3317760","9953280","11796480","6144000","1179648"]],"row_sums_preview":["1488","44480","1235200","32640000","832000000","20633600000","500736000000","11939840000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["(\u03b8+1)\u00b2"],"edges":["e-7ccea14f95b0cd14"],"text":"A038334 \u2192 (\u03b8+1)\u00b2"},"headline":"A038334 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-f7be519055ade7a1","kind":"fingerprint_related","node_a_id":"n-0ee65094b134f8b2","node_b_id":"n-cdb87b58d20a5654","fingerprint":"f6-e543af4f498eab8b","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-e543af4f498eab8b"},"other_id":"n-0ee65094b134f8b2","other":{"id":"n-0ee65094b134f8b2","name":"theta_plus_one_squared of Triangle whose (i,j)-th entry is binomial(i,j)*3^(i-j)*2^j.","first_index":0,"fingerprint":"f6-e543af4f498eab8b","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["3","8"],["9","48","36"]],"card_rows":[["1"],["3","8"],["9","48","36"],["27","216","324","128"]],"row_sums_preview":["1","11","93","695","4825","31875","203125","1259375"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-01cea33b6485d9cc","steps":["(\u03b8+1)\u00b2"],"edges":["e-635f90021d26fb2c"],"text":"A038220 \u2192 (\u03b8+1)\u00b2"},"headline":"A038220 \u2192 (\u03b8+1)\u00b2","chain":null}}],"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:     3;\n  1:     9,      24;\n  2:    27,     144,     108;\n  3:    81,     648,     972,      384;\n  4:   243,    2592,    5832,     4608,     1200;\n  5:   729,    9720,   29160,    34560,    18000,     3456;\n  6:  2187,   34992,  131220,   207360,   162000,    62208,     9408;\n  7:  6561,  122472,  551124,  1088640,  1134000,   653184,   197568,   24576;\n  8: 19683,  419904, 2204496,  5225472,  6804000,  5225472,  2370816,  589824,   62208;\n  9: 59049, 1417176, 8503056, 23514624, 36741600, 35271936, 21337344, 7962624, 1679616, 153600;\n","recurrence_sentence":"The row polynomials satisfy (9+(18*n-6)*x+4*n^2*x^2)*P(n,x) = (27+(54*n+54)*x+(12*n^2+60*n+36)*x^2+(8*n^2+16*n+8)*x^3)*P(n-1,x) for n >= 1, with P(0,x) = 3.","mathematica":"P[0, x_] := 3;\nP[n_, x_] := P[n, x] = Expand[Together[((27 + (54*n + 54)*x + (12*n^2 + 60*n + 36)*x^2 + (8*n^2 + 16*n + 8)*x^3)*P[n - 1, x])/(9 + (18*n - 6)*x + 4*n^2*x^2)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 3; for(n = 1, N, my(i = n + 1); v[i] = ((27 + (54*n + 54)*x + (12*n^2 + 60*n + 36)*x^2 + (8*n^2 + 16*n + 8)*x^3)*v[i - 1])/(9 + (18*n - 6)*x + 4*n^2*x^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-51b4f5e7901c2b50","steps":["basis A013609","(\u03b8+1)\u00b2"],"edges":["e-618e7f7547136f14","e-ebb256587128c62c"],"text":"A120910 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2"},"headline":"A120910 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2","chain":null}