{"id":"n-122a5becb4c16dcb","revision":0,"first_index":0,"fingerprint":"f6-4b3bb4c5c4994d07","name":"theta_plus_one_squared of basis_map_A013609 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":false,"rows":[["484","3520","3600"],["10648","116160","237600","128000"],["234256","3407360","10454400","11264000","4000000"],["5153632","93702400","383328000","619520000","440000000","115200000"],["113379904","2473743360","12649824000","27258880000","29040000000","15206400000","3136000000"],["2494357888","63492746240","389614579200","1049466880000","1490720000000","1170892800000","482944000000","81920000000"],["54875873536","1596389048320","11428694323200","36941234176000","65591680000000","68692377600000","42499072000000","14417920000000","2073600000000"],["1207269217792","39510628945920","323268782284800","1219060727808000","2597430528000000","3400272691200000","2804938752000000","1427374080000000","410572800000000","51200000000000"],["26559922791424","965815374233600","8889891512832000","38313337159680000","95239119360000000","149611998412800000","154271631360000000","104674099200000000","45163008000000000","11264000000000000","1239040000000000"],["584318301411328","23372732056453120","239039305122816000","1158978449080320000","3292552412160000000","6034350602649600000","7466746957824000000","6332783001600000000","3643149312000000000","1362944000000000000","299847680000000000","29491200000000000"],["12855002631049216","560945569354874880","6310637655242342400","33996701173022720000","108654229601280000000","227581222728499200000","328536866144256000000","334370942484480000000","240447854592000000000","119939072000000000000","39579893760000000000","7785676800000000000","692224000000000000"],["282810057883082752","13369202736291184640","164076579036300902400","972305653548449792000","3452789962885120000000","8136028712543846400000","13423077673893888000000","15938348258426880000000","13753617282662400000000","8575643648000000000000","3773283205120000000000","1113351782400000000000","197976064000000000000","16056320000000000000"],["6221821273427820544","316747264829052682240","4211298861931723161600","27224558299356594176000","106345930856861696000000","278432982607056076800000","516788490444914688000000","701287323370782720000000","706019020510003200000000","528259648716800000000000","290542806794240000000000","114304116326400000000000","30488313856000000000000","4945346560000000000000","368640000000000000000"],["136880068015412051968","7466185528113384652800","106902201879805280256000","748675353232306339840000","3190377925705850880000000","9188288426032850534400000","18948911316313538560000000","28928102089044787200000000","33283753824043008000000000","29054280679424000000000000","19175825248419840000000000","9430089596928000000000000","3353714524160000000000000","815982182400000000000000","121651200000000000000000","8388608000000000000000"],["3011361496339065143296","175206487059727426519040","2687826790120818475008000","20271824949059371663360000","93584419154038292480000000","294025229633051217100800000","667001678334236557312000000","1131410215038196121600000000","1464485168257892352000000000","1461015257022464000000000000","1124981747907297280000000000","663878307623731200000000000","295126878126080000000000000","95741909401600000000000000","21410611200000000000000000","2952790016000000000000000","189399040000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["7604","492408","29360016","1656904032","89878227264","4731545363328","243295843021056","12274836259456512","609658500302337024","29883839970794600448","1448469121510766186496","69530207155311059361792","3309541446290449178640384","156362546241180115591200768","7338941480342323277122830336"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one_squared","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["484","3520","3600"]],"recurrence":{"denominator":{"coeffs":[["121","550","400"],["0","330","400"],["0","0","100"]]},"terms":[{"coeff":{"coeffs":[["2662","21780","37400","18000"],["0","7260","19800","12000"],["0","0","2200","2000"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194903,"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-a7d8cc5cfada8a28"]},{"id":194904,"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-a7d8cc5cfada8a28"]},{"id":194905,"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-a7d8cc5cfada8a28"]},{"id":194906,"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-a7d8cc5cfada8a28"]}],"region_exact":{},"incoming_edges":[{"id":"e-a7d8cc5cfada8a28","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-122a5becb4c16dcb","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":"8a2e0cec1bb9dad2b2d6b55165d8f4e779a670c02e7e65893993c71f05f59855","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-c4b5ec42f7a2f0ec","role":"sequence","name":"basis_map_A013609 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-835a4291a0a3906c","kind":"fingerprint_related","node_a_id":"n-53030eeff73af9a5","node_b_id":"n-122a5becb4c16dcb","fingerprint":"f6-4b3bb4c5c4994d07","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-4b3bb4c5c4994d07"},"other_id":"n-53030eeff73af9a5","other":{"id":"n-53030eeff73af9a5","name":"theta_plus_one_squared of Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*10^j.","first_index":0,"fingerprint":"f6-4b3bb4c5c4994d07","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["11","40"],["121","880","900"]],"card_rows":[["1"],["11","40"],["121","880","900"],["1331","14520","29700","16000"]],"row_sums_preview":["1","51","1901","61551","1835001","51778251","1404347301","36965198151"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e1d1088f7d1ff894","steps":["(\u03b8+1)\u00b2"],"edges":["e-4a4cad5ccad10cf5"],"text":"A038324 \u2192 (\u03b8+1)\u00b2"},"headline":"A038324 \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:             484,              3520,               3600;\n  1:           10648,            116160,             237600,              128000;\n  2:          234256,           3407360,           10454400,            11264000,             4000000;\n  3:         5153632,          93702400,          383328000,           619520000,           440000000,           115200000;\n  4:       113379904,        2473743360,        12649824000,         27258880000,         29040000000,         15206400000,          3136000000;\n  5:      2494357888,       63492746240,       389614579200,       1049466880000,       1490720000000,       1170892800000,        482944000000,         81920000000;\n  6:     54875873536,     1596389048320,     11428694323200,      36941234176000,      65591680000000,      68692377600000,      42499072000000,      14417920000000,       2073600000000;\n  7:   1207269217792,    39510628945920,    323268782284800,    1219060727808000,    2597430528000000,    3400272691200000,    2804938752000000,    1427374080000000,     410572800000000,      51200000000000;\n  8:  26559922791424,   965815374233600,   8889891512832000,   38313337159680000,   95239119360000000,  149611998412800000,  154271631360000000,  104674099200000000,   45163008000000000,   11264000000000000,   1239040000000000;\n  9: 584318301411328, 23372732056453120, 239039305122816000, 1158978449080320000, 3292552412160000000, 6034350602649600000, 7466746957824000000, 6332783001600000000, 3643149312000000000, 1362944000000000000, 299847680000000000, 29491200000000000;\n","recurrence_sentence":"The row polynomials satisfy (121+(330*n+550)*x+(100*n^2+400*n+400)*x^2)*P(n,x) = (2662+(7260*n+21780)*x+(2200*n^2+19800*n+37400)*x^2+(2000*n^2+12000*n+18000)*x^3)*P(n-1,x) for n >= 1, with P(0,x) = 484 + 3520*x + 3600*x^2.","mathematica":"P[0, x_] := 484 + 3520*x + 3600*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((2662 + (7260*n + 21780)*x + (2200*n^2 + 19800*n + 37400)*x^2 + (2000*n^2 + 12000*n + 18000)*x^3)*P[n - 1, x])/(121 + (330*n + 550)*x + (100*n^2 + 400*n + 400)*x^2)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 484 + 3520*x + 3600*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((2662 + (7260*n + 21780)*x + (2200*n^2 + 19800*n + 37400)*x^2 + (2000*n^2 + 12000*n + 18000)*x^3)*v[i - 1])/(121 + (330*n + 550)*x + (100*n^2 + 400*n + 400)*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-ec89fb3fc20684fc","steps":["basis A013609","(\u03b8+1)\u00b2"],"edges":["e-0c8cc5263f914382","e-a7d8cc5cfada8a28"],"text":"A038336 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2"},"headline":"A038336 \u2192 basis A013609 \u2192 (\u03b8+1)\u00b2","chain":null}