{"id":"n-8121b088b939d544","revision":0,"first_index":0,"fingerprint":"f6-b34740d661cfea25","name":"theta_plus_one_squared of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["225","1080","729"],["3375","24300","32805","11664"],["50625","486000","984150","699840","164025"],["759375","9112500","24603750","26244000","12301875","2125764"],["11390625","164025000","553584375","787320000","553584375","191318760","26040609"],["170859375","2870437500","11625271875","20667150000","19375453125","10044234900","2734263945","306110016"],["2562890625","49207500000","232505437500","496011600000","581263593750","401769396000","164055836700","36733201920","3486784401"],["38443359375","830376562500","4484033437500","11160261000000","15694117031250","13559717115000","7382512651500","2479491129600","470715894135","38742048900"],["576650390625","13839609375000","84075626953125","239148450000000","392352925781250","406791513450000","276844224431250","123974556480000","35303692060125","5811307335000","421900912521"],["8649755859375","228353554687500","1541386494140625","4932436781250000","9248318964843750","11186766619875000","9135859406231250","5113950454800000","1941703063306875","479432855137500","69613650565965","4518872583696"],["129746337890625","3736694531250000","27744956894531250","98648735625000000","208087176708984375","287659713082500000","274075782186937500","184102216372800000","87376637848809375","28765971308250000","6265228550936850","813397065065280","47730591665289"],["1946195068359375","60721286132812500","491842417675781250","1923650344687500000","4508555495361328125","7011705506385937500","7634968218064687500","5983322032116000000","3407688876103565625","1402341101277187500","407239855810895250","79306213843864800","9307465374731355","498205702352484"],["29192926025390625","980882314453125000","8607242309326171875","36724233853125000000","94679665402587890625","163606461815671875000","200417915724198046875","179499660963480000000","119269110663624796875","58898326253641875000","21380092430072000625","5551434969070536000","977283864346792275","104623197494021640","5147278302366225"],["437893890380859375","15764180053710937500","148971501507568359375","688579384746093750000","1936629519598388671875","3681145390852617187500","5010447893104951171875","5048427964597875000000","3833649985616511328125","2208687234511570312500","962104159353240028125","312268217010217650000","73296289826009420625","11770109718077434500","1158137618032400625","52708129816230144"],["6568408355712890625","252226880859375000000","2553797168701171875000","12712234795312500000000","38732590391967773437500","80315899436784375000000","120250749434518828125000","134624745722610000000000","115009499568495339843750","75726419468968125000000","38484166374129601125000","14988874416490447200000","4397777389560565237500","941608777446194760000","138976514163888075000","12649951155895234560","535522834578182049"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["2034","72144","2384640","75147264","2287263744","67793780736","1967596240896","56138410229760","1579140457168896","43890990473281536","1207453987104620544","32923093213605003264","890731273965419888640","23933390570135060742144","639149320222354370985984"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one_squared","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["225","1080","729"]],"recurrence":{"denominator":{"coeffs":[["25","75","36"],["0","45","36"],["0","0","9"]]},"terms":[{"coeff":{"coeffs":[["375","2025","2295","729"],["0","675","1215","486"],["0","0","135","81"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193794,"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-b0c45548ba5fdb87"]},{"id":193795,"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-b0c45548ba5fdb87"]},{"id":193796,"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-b0c45548ba5fdb87"]},{"id":193797,"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-b0c45548ba5fdb87"]}],"region_exact":{},"incoming_edges":[{"id":"e-b0c45548ba5fdb87","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-8121b088b939d544","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":"cb4bc9ba728d877592dc770dce7c1ce522e467f93669500c51be4cb132a33bc1","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-3ccd0708169ccfae","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^j.","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-6ecd309a47b6604a","kind":"fingerprint_related","node_a_id":"n-6478f0a4a6f4c8eb","node_b_id":"n-8121b088b939d544","fingerprint":"f6-b34740d661cfea25","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-b34740d661cfea25"},"other_id":"n-6478f0a4a6f4c8eb","other":{"id":"n-6478f0a4a6f4c8eb","name":"theta_plus_one_squared of basis_map_A007318 of Triangle of coefficients in expansion of (2+3x)^n.","first_index":0,"fingerprint":"f6-b34740d661cfea25","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["5","12"],["25","120","81"]],"card_rows":[["1"],["5","12"],["25","120","81"],["125","900","1215","432"]],"row_sums_preview":["1","17","226","2672","29440","309248","3137536","30998528"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5733d79f45a14084","steps":["basis A007318","(\u03b8+1)\u00b2"],"edges":["e-66f5a589f0412003","e-8d4adb73d05e9bd2"],"text":"A013620 \u2192 basis A007318 \u2192 (\u03b8+1)\u00b2"},"headline":"A013620 \u2192 basis A007318 \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:           225,            1080,              729;\n  1:          3375,           24300,            32805,            11664;\n  2:         50625,          486000,           984150,           699840,           164025;\n  3:        759375,         9112500,         24603750,         26244000,         12301875,           2125764;\n  4:      11390625,       164025000,        553584375,        787320000,        553584375,         191318760,         26040609;\n  5:     170859375,      2870437500,      11625271875,      20667150000,      19375453125,       10044234900,       2734263945,        306110016;\n  6:    2562890625,     49207500000,     232505437500,     496011600000,     581263593750,      401769396000,     164055836700,      36733201920,       3486784401;\n  7:   38443359375,    830376562500,    4484033437500,   11160261000000,   15694117031250,    13559717115000,    7382512651500,    2479491129600,     470715894135,     38742048900;\n  8:  576650390625,  13839609375000,   84075626953125,  239148450000000,  392352925781250,   406791513450000,  276844224431250,  123974556480000,   35303692060125,   5811307335000,   421900912521;\n  9: 8649755859375, 228353554687500, 1541386494140625, 4932436781250000, 9248318964843750, 11186766619875000, 9135859406231250, 5113950454800000, 1941703063306875, 479432855137500, 69613650565965, 4518872583696;\n","recurrence_sentence":"The row polynomials satisfy (25+(45*n+75)*x+(9*n^2+36*n+36)*x^2)*P(n,x) = (375+(675*n+2025)*x+(135*n^2+1215*n+2295)*x^2+(81*n^2+486*n+729)*x^3)*P(n-1,x) for n >= 1, with P(0,x) = 225 + 1080*x + 729*x^2.","mathematica":"P[0, x_] := 225 + 1080*x + 729*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((375 + (675*n + 2025)*x + (135*n^2 + 1215*n + 2295)*x^2 + (81*n^2 + 486*n + 729)*x^3)*P[n - 1, x])/(25 + (45*n + 75)*x + (9*n^2 + 36*n + 36)*x^2)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 225 + 1080*x + 729*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((375 + (675*n + 2025)*x + (135*n^2 + 1215*n + 2295)*x^2 + (81*n^2 + 486*n + 729)*x^3)*v[i - 1])/(25 + (45*n + 75)*x + (9*n^2 + 36*n + 36)*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-615df6ea54d3bbef","steps":["basis A013610","(\u03b8+1)\u00b2"],"edges":["e-a617f0e181e2ec6f","e-b0c45548ba5fdb87"],"text":"A038329 \u2192 basis A013610 \u2192 (\u03b8+1)\u00b2"},"headline":"A038329 \u2192 basis A013610 \u2192 (\u03b8+1)\u00b2","chain":null}