{"id":"n-b8540c42f24ca890","revision":0,"first_index":0,"fingerprint":"f6-572def99d14f8fb6","name":"theta_plus_one of basis_map_A013609 of Triangle of coefficients in expansion of (2+3x)^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":true,"rows":[["1"],["5","12"],["25","120","108"],["125","900","1620","864"],["625","6000","16200","17280","6480"],["3125","37500","135000","216000","162000","46656"],["15625","225000","1012500","2160000","2430000","1399680","326592"],["78125","1312500","7087500","18900000","28350000","24494400","11430720","2239488"],["390625","7500000","47250000","151200000","283500000","326592000","228614400","89579520","15116544"],["1953125","42187500","303750000","1134000000","2551500000","3674160000","3429216000","2015539200","680244480","100776960"],["9765625","234375000","1898437500","8100000000","21262500000","36741600000","42865200000","33592320000","17006112000","5038848000","665127936"],["48828125","1289062500","11601562500","55687500000","167062500000","336798000000","471517200000","461894400000","311778720000","138568320000","36582036480","4353564672"],["244140625","7031250000","69609375000","371250000000","1252968750000","2886840000000","4715172000000","5542732800000","4676680800000","2771366400000","1097461094400","261213880320","28298170368"],["1220703125","38085937500","411328125000","2413125000000","9049218750000","23455575000000","43783740000000","60046272000000","60796850400000","45034704000000","23778323712000","8489451110400","1839381073920","182849716224"],["6103515625","205078125000","2399414062500","15356250000000","63344531250000","182432250000000","383107725000000","600462720000000","709296588000000","630485856000000","416120664960000","198087192576000","64378337587200","12799480135680","1175462461440"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","17","253","3509","46585","600281","7569397","93892733","1149743089","13933327265","167414286061","1997181694277","23680868660713","279320125528169","3279657653673445"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["5","0"],["0","6"]]},"terms":[{"coeff":{"coeffs":[["25","60","36"],["0","30","36"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":186138,"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-186346ec1b78b1bf"]},{"id":186139,"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-186346ec1b78b1bf"]},{"id":186140,"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-186346ec1b78b1bf"]},{"id":186141,"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-186346ec1b78b1bf"]}],"region_exact":{},"incoming_edges":[{"id":"e-186346ec1b78b1bf","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"euler_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"euler_polynomial, shift 0","conclusion_id":"n-b8540c42f24ca890","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":"26b3899580f03c99bc956eac8d5c0592971ea0f74de3f7971626fed4b303cf55","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-c1936dc488503f26","role":"sequence","name":"basis_map_A013609 of Triangle of coefficients in expansion of (2+3x)^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-7ef093f292c21f7a","kind":"fingerprint_related","node_a_id":"n-b8540c42f24ca890","node_b_id":"n-1d55f39abb48a994","fingerprint":"f6-572def99d14f8fb6","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-572def99d14f8fb6"},"other_id":"n-1d55f39abb48a994","other":{"id":"n-1d55f39abb48a994","name":"theta_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-572def99d14f8fb6","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["400","1920","1728"],["8000","57600","103680","55296"],["160000","1536000","4147200","4423680","1658880"]],"card_rows":[["400","1920","1728"],["8000","57600","103680","55296"],["160000","1536000","4147200","4423680","1658880"],["3200000","38400000","138240000","221184000","165888000","47775744"]],"row_sums_preview":["4048","224576","11925760","614687744","31004250112","1538338537472","75349563080704","3652538142556160"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["basis A013610","\u03b8+1"],"edges":["e-889e30cc3b49f76a","e-28b8093277bae08a"],"text":"A038334 \u2192 basis A013610 \u2192 \u03b8+1"},"headline":"A038334 \u2192 basis A013610 \u2192 \u03b8+1","chain":null}},{"id":"l-a3c84fde79fd9ead","kind":"fingerprint_related","node_a_id":"n-b8540c42f24ca890","node_b_id":"n-a1b1c992dac01d83","fingerprint":"f6-572def99d14f8fb6","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-572def99d14f8fb6"},"other_id":"n-a1b1c992dac01d83","other":{"id":"n-a1b1c992dac01d83","name":"theta_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","first_index":0,"fingerprint":"f6-572def99d14f8fb6","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["100","480","432"],["1000","7200","12960","6912"],["10000","96000","259200","276480","103680"]],"card_rows":[["100","480","432"],["1000","7200","12960","6912"],["10000","96000","259200","276480","103680"],["100000","1200000","4320000","6912000","5184000","1492992"]],"row_sums_preview":["1012","28072","745360","19208992","484441408","12018269824","294334230784","7133863559680"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-29d7c5a1e19b9d74","steps":["\u03b8+1"],"edges":["e-cab86ae5c93bac18"],"text":"A038314 \u2192 \u03b8+1"},"headline":"A038314 \u2192 \u03b8+1","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:       1;\n  1:       5,       12;\n  2:      25,      120,       108;\n  3:     125,      900,      1620,        864;\n  4:     625,     6000,     16200,      17280,       6480;\n  5:    3125,    37500,    135000,     216000,     162000,      46656;\n  6:   15625,   225000,   1012500,    2160000,    2430000,    1399680,     326592;\n  7:   78125,  1312500,   7087500,   18900000,   28350000,   24494400,   11430720,    2239488;\n  8:  390625,  7500000,  47250000,  151200000,  283500000,  326592000,  228614400,   89579520,  15116544;\n  9: 1953125, 42187500, 303750000, 1134000000, 2551500000, 3674160000, 3429216000, 2015539200, 680244480, 100776960;\n","recurrence_sentence":"The row polynomials satisfy (5+6*n*x)*P(n,x) = (25+(30*n+60)*x+(36*n+36)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((25 + (30*n + 60)*x + (36*n + 36)*x^2)*P[n - 1, x])/(5 + 6*n*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = ((25 + (30*n + 60)*x + (36*n + 36)*x^2)*v[i - 1])/(5 + 6*n*x)); 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-01cea33b6485d9cc","steps":["basis A013610","\u03b8+1"],"edges":["e-32b2129ae50cd22c","e-186346ec1b78b1bf"],"text":"A038220 \u2192 basis A013610 \u2192 \u03b8+1"},"headline":"A038220 \u2192 basis A013610 \u2192 \u03b8+1","chain":null}