{"id":"n-627115c3d1da65c2","revision":0,"first_index":0,"fingerprint":"f6-0df1d6c1b80d1c27","name":"theta_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^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":true,"rows":[["484","880","300"],["10648","29040","19800","4000"],["234256","851840","871200","352000","50000"],["5153632","23425600","31944000","19360000","5500000","600000"],["113379904","618435840","1054152000","851840000","363000000","79200000","7000000"],["2494357888","15873186560","32467881600","32795840000","18634000000","6098400000","1078000000","80000000"],["54875873536","399097262080","952391193600","1154413568000","819896000000","357772800000","94864000000","14080000000","900000000"],["1207269217792","9877657236480","26939065190400","38095647744000","32467881600000","17709753600000","6261024000000","1393920000000","178200000000","10000000000"],["26559922791424","241453843558400","740824292736000","1197291786240000","1190488992000000","779229158400000","344356320000000","102220800000000","19602000000000","2200000000000","110000000000"],["584318301411328","5843183014113280","19919942093568000","36218076533760000","41156905152000000","31428909388800000","16666845888000000","6184358400000000","1581228000000000","266200000000000","26620000000000","1200000000000"],["12855002631049216","140236392338718720","525886471270195200","1062396911656960000","1358177870016000000","1185318868377600000","733341219072000000","326534123520000000","104361048000000000","23425600000000000","3513840000000000","316800000000000","13000000000000"],["282810057883082752","3342300684072796160","13673048253025075200","30384551673389056000","43159874536064000000","42375149544499200000","29962226950656000000","15564793221120000000","5969451945600000000","1674930400000000000","334986080000000000","45302400000000000","3718000000000000","140000000000000"],["6221821273427820544","79186816207263170560","350941571827643596800","850767446854893568000","1329324135710771200000","1450171784411750400000","1153545737600256000000","684850901729280000000","306431866540800000000","103175712640000000000","25793928160000000000","4651046400000000000","572572000000000000","43120000000000000","1500000000000000"],["136880068015412051968","1866546382028346163200","8908516823317106688000","23396104788509573120000","39879724071323136000000","47855668885587763200000","42296677045342720000000","28250099696332800000000","14446073708352000000000","5674664195200000000000","1702399258560000000000","383711328000000000000","62982920000000000000","7114800000000000000","495000000000000000","16000000000000000"],["3011361496339065143296","43801621764931856629760","223985565843401539584000","633494529658105364480000","1169805239425478656000000","1531381404338808422400000","1488843031996063744000000","1104892788123238400000000","635627243167488000000000","285354542387200000000000","99874089835520000000000","27013277491200000000000","5542496960000000000000","834803200000000000000","87120000000000000000","5632000000000000000","170000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1664","63488","2359296","85983232","3087007744","109521666048","3848290697216","134140418588672","4644337115725824","159877786771652608","5476377146882523136","186773283746309210112","6345679961356085755904","214867674970568857223168","7253554917687775048237056"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["484","880","300"]],"recurrence":{"denominator":{"coeffs":[["11","10"],["0","5"]]},"terms":[{"coeff":{"coeffs":[["242","440","150"],["0","110","50"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194589,"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-01010cc5f3736c53"]},{"id":194590,"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-01010cc5f3736c53"]},{"id":194591,"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-01010cc5f3736c53"]},{"id":194592,"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-01010cc5f3736c53"]}],"region_exact":{},"incoming_edges":[{"id":"e-01010cc5f3736c53","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-627115c3d1da65c2","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":"525825a4d6e37c88b62dcbba4c4d4b8d2ee630cf82d3176663d0b49dd844128d","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-a11e46881092378a","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^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-1384f83e0b15b808","kind":"fingerprint_related","node_a_id":"n-180bd0fcc1c33878","node_b_id":"n-627115c3d1da65c2","fingerprint":"f6-0df1d6c1b80d1c27","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-0df1d6c1b80d1c27"},"other_id":"n-180bd0fcc1c33878","other":{"id":"n-180bd0fcc1c33878","name":"theta_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^j.","first_index":0,"fingerprint":"f6-0df1d6c1b80d1c27","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","10"],["121","220","75"]],"card_rows":[["1"],["11","10"],["121","220","75"],["1331","3630","2475","500"]],"row_sums_preview":["1","21","416","7936","147456","2686976","48234496","855638016"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e6ebe74518d42cbe","steps":["basis A007318","\u03b8+1"],"edges":["e-1194f7dc6f45a71b","e-cbc04983f5cf1054"],"text":"A038259 \u2192 basis A007318 \u2192 \u03b8+1"},"headline":"A038259 \u2192 basis A007318 \u2192 \u03b8+1","chain":null}},{"id":"l-c3e18dcd7ee02ad3","kind":"fingerprint_related","node_a_id":"n-4b78239f1284a1b5","node_b_id":"n-627115c3d1da65c2","fingerprint":"f6-0df1d6c1b80d1c27","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-0df1d6c1b80d1c27"},"other_id":"n-4b78239f1284a1b5","other":{"id":"n-4b78239f1284a1b5","name":"theta_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","first_index":0,"fingerprint":"f6-0df1d6c1b80d1c27","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","220","75"],["1331","3630","2475","500"],["14641","53240","54450","22000","3125"]],"card_rows":[["121","220","75"],["1331","3630","2475","500"],["14641","53240","54450","22000","3125"],["161051","732050","998250","605000","171875","18750"]],"row_sums_preview":["416","7936","147456","2686976","48234496","855638016","15032385536","261993005056"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2bc1923905556bf6","steps":["\u03b8+1"],"edges":["e-91a4143887c2497e"],"text":"A038319 \u2192 \u03b8+1"},"headline":"A038319 \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:             484,              880,               300;\n  1:           10648,            29040,             19800,              4000;\n  2:          234256,           851840,            871200,            352000,             50000;\n  3:         5153632,         23425600,          31944000,          19360000,           5500000,            600000;\n  4:       113379904,        618435840,        1054152000,         851840000,         363000000,          79200000,           7000000;\n  5:      2494357888,      15873186560,       32467881600,       32795840000,       18634000000,        6098400000,        1078000000,         80000000;\n  6:     54875873536,     399097262080,      952391193600,     1154413568000,      819896000000,      357772800000,       94864000000,      14080000000,        900000000;\n  7:   1207269217792,    9877657236480,    26939065190400,    38095647744000,    32467881600000,    17709753600000,     6261024000000,    1393920000000,     178200000000,     10000000000;\n  8:  26559922791424,  241453843558400,   740824292736000,  1197291786240000,  1190488992000000,   779229158400000,   344356320000000,  102220800000000,   19602000000000,   2200000000000,   110000000000;\n  9: 584318301411328, 5843183014113280, 19919942093568000, 36218076533760000, 41156905152000000, 31428909388800000, 16666845888000000, 6184358400000000, 1581228000000000, 266200000000000, 26620000000000, 1200000000000;\n","recurrence_sentence":"The row polynomials satisfy (11+(5*n+10)*x)*P(n,x) = (242+(110*n+440)*x+(50*n+150)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 484 + 880*x + 300*x^2.","mathematica":"P[0, x_] := 484 + 880*x + 300*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((242 + (110*n + 440)*x + (50*n + 150)*x^2)*P[n - 1, x])/(11 + (5*n + 10)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 484 + 880*x + 300*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((242 + (110*n + 440)*x + (50*n + 150)*x^2)*v[i - 1])/(11 + (5*n + 10)*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-ec89fb3fc20684fc","steps":["x \u21a6 x+1","\u03b8+1"],"edges":["e-0c3feb8686271cde","e-01010cc5f3736c53"],"text":"A038336 \u2192 x \u21a6 x+1 \u2192 \u03b8+1"},"headline":"A038336 \u2192 x \u21a6 x+1 \u2192 \u03b8+1","chain":null}