{"id":"n-dcf2d7cd5a114696","revision":0,"first_index":0,"fingerprint":"f6-44310a99e9adba32","name":"theta_plus_one_squared of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^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":[["121","440","225"],["1331","7260","7425","2000"],["14641","106480","163350","88000","15625"],["161051","1464100","2994750","2420000","859375","112500"],["1771561","19326120","49413375","53240000","28359375","7425000","765625"],["19487171","248018540","760965975","1024870000","727890625","285862500","58953125","5000000"],["214358881","3117947360","11160834300","18037712000","16013593750","8385300000","2593937500","440000000","31640625"],["2357947691","38584598580","157846085100","297622248000","317069156250","207536175000","85599937500","21780000000","3132421875","195312500"],["25937424601","471589538200","2170383670125","4676921040000","5812934531250","4565795850000","2353998281250","798600000000","172283203125","21484375000","1181640625"],["285311670611","5706233412220","29179602676125","70738430730000","100480725468750","92076882975000","56966758406250","24157650000000","6948755859375","1299804687500","142978515625","7031250000"],["3138428376721","68474800946640","385170755324850","1037496984040000","1657931970234375","1736306936100000","1253268684937500","637761960000000","229308943359375","57191406250000","9436582031250","928125000000","41259765625"],["34522712143931","815991377947460","5007219819223050","14836206871772000","26342696860390625","31036486482787500","25602488849437500","15199993380000000","6558235780078125","2044592773437500","449810410156250","66360937500000","5900146484375","239257812500"],["379749833583241","9666359400300680","64259321013362475","207706896204808000","405677531650015625","531068768705475000","492847910351671875","334399854360000000","168328051688671875","62973457421875000","17317700791015625","3406528125000000","454311279296875","36845703125000","1373291015625"],["4177248169415651","113924950074972300","815599074400369875","2855969822816110000","6085162974750234375","8762634683640337500","9035545023113984375","6896996996175000000","3967732646947265625","1731770079101562500","571484126103515625","140519285156250000","24987120361328125","3039770507812500","226593017578125","7812500000000"],["45949729863572161","1336719414213008320","10253245506747507000","38665437601202720000","89249056963003437500","140202154938245400000","159025592406806125000","134874607925200000000","87290118232839843750","43541647703125000000","16763534365703125000","4946278837500000000","1099433295898437500","178333203125000000","19940185546875000","1375000000000000","44097900390625"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["786","18016","388096","8011776","160301056","3131047936","59995324416","1131723882496","21071109554176","387990165651456","7076456836366336","128000745659170816","2298524659819216896","41009778206835736576","727493469406920441856"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one_squared","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["121","440","225"]],"recurrence":{"denominator":{"coeffs":[["121","275","100"],["0","165","100"],["0","0","25"]]},"terms":[{"coeff":{"coeffs":[["1331","5445","4675","1125"],["0","1815","2475","750"],["0","0","275","125"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192527,"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-b5f1f7c5bf86f030"]},{"id":192528,"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-b5f1f7c5bf86f030"]},{"id":192529,"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-b5f1f7c5bf86f030"]},{"id":192530,"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-b5f1f7c5bf86f030"]}],"region_exact":{},"incoming_edges":[{"id":"e-b5f1f7c5bf86f030","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-dcf2d7cd5a114696","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":"13583fab969e36fba788db66246cf971ed0ef67276fbd024b769768d3e51ae09","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-2bc1923905556bf6","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^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-19c6184c099aa949","kind":"fingerprint_related","node_a_id":"n-2884f9ccb99483cb","node_b_id":"n-dcf2d7cd5a114696","fingerprint":"f6-44310a99e9adba32","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-44310a99e9adba32"},"other_id":"n-2884f9ccb99483cb","other":{"id":"n-2884f9ccb99483cb","name":"theta_plus_one_squared 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-44310a99e9adba32","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["11","20"],["121","440","225"]],"card_rows":[["1"],["11","20"],["121","440","225"],["1331","7260","7425","2000"]],"row_sums_preview":["1","31","786","18016","388096","8011776","160301056","3131047936"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e6ebe74518d42cbe","steps":["basis A007318","(\u03b8+1)\u00b2"],"edges":["e-1194f7dc6f45a71b","e-4315e6040937f688"],"text":"A038259 \u2192 basis A007318 \u2192 (\u03b8+1)\u00b2"},"headline":"A038259 \u2192 basis A007318 \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-fa4c7f665e2e47bf","kind":"fingerprint_related","node_a_id":"n-dcf2d7cd5a114696","node_b_id":"n-17ce7c9b5675d067","fingerprint":"f6-44310a99e9adba32","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-44310a99e9adba32"},"other_id":"n-17ce7c9b5675d067","other":{"id":"n-17ce7c9b5675d067","name":"theta_plus_one_squared of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^j.","first_index":0,"fingerprint":"f6-44310a99e9adba32","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["484","1760","900"],["10648","58080","59400","16000"],["234256","1703680","2613600","1408000","250000"]],"card_rows":[["484","1760","900"],["10648","58080","59400","16000"],["234256","1703680","2613600","1408000","250000"],["5153632","46851200","95832000","77440000","27500000","3600000"]],"row_sums_preview":["3144","144128","6209536","256376832","10259267584","400774135808","15358803050496","579442627837952"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ec89fb3fc20684fc","steps":["x \u21a6 x+1","(\u03b8+1)\u00b2"],"edges":["e-0c3feb8686271cde","e-83ae0f9eac85a87c"],"text":"A038336 \u2192 x \u21a6 x+1 \u2192 (\u03b8+1)\u00b2"},"headline":"A038336 \u2192 x \u21a6 x+1 \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:          121,           440,            225;\n  1:         1331,          7260,           7425,           2000;\n  2:        14641,        106480,         163350,          88000,           15625;\n  3:       161051,       1464100,        2994750,        2420000,          859375,         112500;\n  4:      1771561,      19326120,       49413375,       53240000,        28359375,        7425000,         765625;\n  5:     19487171,     248018540,      760965975,     1024870000,       727890625,      285862500,       58953125,        5000000;\n  6:    214358881,    3117947360,    11160834300,    18037712000,     16013593750,     8385300000,     2593937500,      440000000,      31640625;\n  7:   2357947691,   38584598580,   157846085100,   297622248000,    317069156250,   207536175000,    85599937500,    21780000000,    3132421875,     195312500;\n  8:  25937424601,  471589538200,  2170383670125,  4676921040000,   5812934531250,  4565795850000,  2353998281250,   798600000000,  172283203125,   21484375000,   1181640625;\n  9: 285311670611, 5706233412220, 29179602676125, 70738430730000, 100480725468750, 92076882975000, 56966758406250, 24157650000000, 6948755859375, 1299804687500, 142978515625, 7031250000;\n","recurrence_sentence":"The row polynomials satisfy (121+(165*n+275)*x+(25*n^2+100*n+100)*x^2)*P(n,x) = (1331+(1815*n+5445)*x+(275*n^2+2475*n+4675)*x^2+(125*n^2+750*n+1125)*x^3)*P(n-1,x) for n >= 1, with P(0,x) = 121 + 440*x + 225*x^2.","mathematica":"P[0, x_] := 121 + 440*x + 225*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((1331 + (1815*n + 5445)*x + (275*n^2 + 2475*n + 4675)*x^2 + (125*n^2 + 750*n + 1125)*x^3)*P[n - 1, x])/(121 + (165*n + 275)*x + (25*n^2 + 100*n + 100)*x^2)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 121 + 440*x + 225*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((1331 + (1815*n + 5445)*x + (275*n^2 + 2475*n + 4675)*x^2 + (125*n^2 + 750*n + 1125)*x^3)*v[i - 1])/(121 + (165*n + 275)*x + (25*n^2 + 100*n + 100)*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-2bc1923905556bf6","steps":["(\u03b8+1)\u00b2"],"edges":["e-b5f1f7c5bf86f030"],"text":"A038319 \u2192 (\u03b8+1)\u00b2"},"headline":"A038319 \u2192 (\u03b8+1)\u00b2","chain":null}