{"id":"n-37dbd4914c5d1bbb","revision":0,"first_index":0,"fingerprint":"f6-111fd8abade84f64","name":"theta_plus_one of basis_map_A013609 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["1","8","12"],["1","16","72","128","80"],["1","24","180","640","1200","1152","448"],["1","32","336","1792","5600","10752","12544","8192","2304"],["1","40","540","3840","16800","48384","94080","122880","103680","51200","11264"],["1","48","792","7040","39600","152064","413952","811008","1140480","1126400","743424","294912","53248"],["1","56","1092","11648","80080","384384","1345344","3514368","6918912","10250240","11275264","8945664","4845568","1605632","245760"],["1","64","1440","17920","145600","838656","3587584","11714560","29652480","58572800","90202112","107347968","96911360","64225280","29491200","8388608","1114112"],["1","72","1836","26112","244800","1645056","8316672","32587776","100818432","248934400","492890112","782106624","988495872","982646784","752025600","427819008","170459136","42467328","4980736"],["1","80","2280","36480","387600","2976768","17364480","79380480","290234880","859955200","2081091584","4127784960","6707650560","8890613760","9525657600","8128561152","5397872640","2689597440","946339840","209715200","22020096"],["1","88","2772","49280","585200","5056128","33426624","174637056","736750080","2546790400","7283820544","17336696832","34432606208","57048104960","78586675200","89414172672","83127238656","62129700864","36434083840","16148070400","5086642176","1015021568","96468992"],["1","96","3312","64768","850080","8160768","60299008","354410496","1694525184","6694420480","22091587584","61345234944","143990898688","286277763072","481998274560","685508657152","819397066752","816561782784","670387142656","445686743040","233985540096","93381984256","26625441792","4831838208","419430400"],["1","104","3900","83200","1196000","12629760","103143040","673587200","3599481600","15997696000","59831383040","189878108160","514253209600","1192824012800","2373476352000","4050732974080","5917867704320","7371738316800","7781279334400","6897532928000","5069686702080","3034914488320","1442211430400","523449139200","136314880000","22682796032","1811939328"],["1","112","4536","104832","1638000","18869760","168779520","1212456960","7161073920","35363328000","147818711040","527749447680","1619897610240","4294166446080","9859055616000","19630475182080","33893242306560","50663946977280","65362746408960","72424095744000","68440770478080","54628460789760","36343728046080","19786377461760","8587837440000","2858032300032","684913065984","105226698752","7784628224"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","21","297","3645","41553","452709","4782969","49424013","502211745","5036466357","49977243081","491636600541","4801302120177","46600873519365","449910251614233"],"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":[["1","-2"],["0","4"]]},"terms":[{"coeff":{"coeffs":[["1","6","12","8"],["0","4","16","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":184290,"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-6733c50e4a46b5ed"]},{"id":184291,"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-6733c50e4a46b5ed"]},{"id":184292,"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-6733c50e4a46b5ed"]}],"region_exact":{},"incoming_edges":[{"id":"e-6733c50e4a46b5ed","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-37dbd4914c5d1bbb","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":"81c946b711669e9c052ad559bdbe01c084ff578fe418b0b933e945e9ed553db1","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-5c5dbc66494212e8","role":"sequence","name":"basis_map_A013609 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","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-f8ad4ed31d7f154d","kind":"fingerprint_related","node_a_id":"n-37dbd4914c5d1bbb","node_b_id":"n-a228635cac40c96b","fingerprint":"f6-111fd8abade84f64","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-111fd8abade84f64"},"other_id":"n-a228635cac40c96b","other":{"id":"n-a228635cac40c96b","name":"theta_plus_one of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-111fd8abade84f64","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","32","48"],["16","256","1152","2048","1280"]],"card_rows":[["1"],["4","32","48"],["16","256","1152","2048","1280"],["64","1536","11520","40960","76800","73728","28672"]],"row_sums_preview":["1","84","4752","233280","10637568","463574016","19591041024","809763028992"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013611","\u03b8+1"],"edges":["e-a6b5412d61e1c4e3","e-437e4f11804b4654"],"text":"A034870 \u2192 basis A013611 \u2192 \u03b8+1"},"headline":"A034870 \u2192 basis A013611 \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: 1,  8,   12;\n  2: 1, 16,   72,   128,     80;\n  3: 1, 24,  180,   640,   1200,    1152,     448;\n  4: 1, 32,  336,  1792,   5600,   10752,   12544,     8192,      2304;\n  5: 1, 40,  540,  3840,  16800,   48384,   94080,   122880,    103680,     51200,     11264;\n  6: 1, 48,  792,  7040,  39600,  152064,  413952,   811008,   1140480,   1126400,    743424,    294912,     53248;\n  7: 1, 56, 1092, 11648,  80080,  384384, 1345344,  3514368,   6918912,  10250240,  11275264,   8945664,   4845568,   1605632,    245760;\n  8: 1, 64, 1440, 17920, 145600,  838656, 3587584, 11714560,  29652480,  58572800,  90202112, 107347968,  96911360,  64225280,  29491200,   8388608,   1114112;\n  9: 1, 72, 1836, 26112, 244800, 1645056, 8316672, 32587776, 100818432, 248934400, 492890112, 782106624, 988495872, 982646784, 752025600, 427819008, 170459136, 42467328, 4980736;\n","recurrence_sentence":"The row polynomials satisfy (1+(4*n-2)*x)*P(n,x) = (1+(4*n+6)*x+(16*n+12)*x^2+(16*n+8)*x^3)*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[((1 + (4*n + 6)*x + (16*n + 12)*x^2 + (16*n + 8)*x^3)*P[n - 1, x])/(1 + (4*n - 2)*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] = ((1 + (4*n + 6)*x + (16*n + 12)*x^2 + (16*n + 8)*x^3)*v[i - 1])/(1 + (4*n - 2)*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-cdb0db4ad473ee28","steps":["basis A013609","\u03b8+1"],"edges":["e-20c0b01c4fb345ed","e-6733c50e4a46b5ed"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 \u03b8+1","chain":null}