{"id":"n-c0148382aea5164e","revision":0,"first_index":0,"fingerprint":"f6-3e3a8419375cf2f4","name":"one_plus_derivative of Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(i-j)*10^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["21","10"],["341","420","100"],["4961","10230","6300","1000"],["67881","198440","204600","84000","10000"],["893101","3394050","4961000","3410000","1050000","100000"],["11434621","53586060","101821500","99220000","51150000","12600000","1000000"],["143496441","800423470","1875512100","2375835000","1736350000","716100000","147000000","10000000"],["1773332561","11479715280","32016938800","50013656000","47516700000","27781600000","9548000000","1680000000","100000000"],["21650246981","159599930490","516587187600","960508164000","1125307260000","855300600000","416724000000","122760000000","18900000000","1000000000"],["261732193701","2165024698100","7979996524500","17219572920000","24012704100000","22506145200000","14255010000000","5953200000000","1534500000000","210000000000","10000000000"],["3138428376721","28790541307110","119076358395500","292599872565000","473538255300000","528279490200000","412612662000000","224007300000000","81856500000000","18755000000000","2310000000000","100000000000"],["37375828850041","376611405206520","1727432478426600","4763054335820000","8777996176950000","11364918127200000","10565589804000000","7073359920000000","3360109500000000","1091420000000000","225060000000000","25200000000000","1000000000000"],["442518401117661","4858857750505330","24479741338423800","74855407398486000","154799265914150000","228227900600700000","246239892756000000","196218096360000000","114942098700000000","48534915000000000","14188460000000000","2659800000000000","273000000000000","10000000000000"],["5212929533733581","61952576156472540","340120042535373100","1142387929126444000","2619939258947010000","4334379445596200000","5325317680683000000","4924797855120000000","3433816686300000000","1787988202000000000","679488810000000000","180580400000000000","31031000000000000","2940000000000000","100000000000000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","31","861","22491","564921","13808151","330812181","7804717011","181909942641","4198337389071","96107885636301","2185064408144331","49389127576453161","1110729954219382791","24870052815998233221"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["1","10"],["10","0"]]},"terms":[{"coeff":{"coeffs":[["121","220","100"],["110","100","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":191222,"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-4a5ab3afe3527491"]},{"id":191223,"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-4a5ab3afe3527491"]},{"id":191224,"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-4a5ab3afe3527491"]},{"id":191225,"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-4a5ab3afe3527491"]}],"region_exact":{},"incoming_edges":[{"id":"e-4a5ab3afe3527491","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-c0148382aea5164e","premise_count":1,"theorem":"Laguerre's theorem on differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"certificate_hash":"775f11f43271a5d4e1debdfb47ad950d153e56f9ca839b7a989a761b13ffaa09","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-e1d1088f7d1ff894","role":"sequence","name":"Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(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-60f151391afc4112","kind":"fingerprint_related","node_a_id":"n-c0148382aea5164e","node_b_id":"n-66e422e8d13851fe","fingerprint":"f6-3e3a8419375cf2f4","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-3e3a8419375cf2f4"},"other_id":"n-66e422e8d13851fe","other":{"id":"n-66e422e8d13851fe","name":"one_plus_derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^j.","first_index":0,"fingerprint":"f6-3e3a8419375cf2f4","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1364","1680","400"],["39688","81840","50400","8000"],["1086096","3175040","3273600","1344000","160000"]],"card_rows":[["1364","1680","400"],["39688","81840","50400","8000"],["1086096","3175040","3273600","1344000","160000"],["28579232","108609600","158752000","109120000","33600000","3200000"]],"row_sums_preview":["3444","179928","9038736","441860832","21171979584","999003777408","46568945316096","2149548743204352"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ec89fb3fc20684fc","steps":["basis A013609","D+1"],"edges":["e-0c8cc5263f914382","e-d8eaecece2153bfa"],"text":"A038336 \u2192 basis A013609 \u2192 D+1"},"headline":"A038336 \u2192 basis A013609 \u2192 D+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:          21,           10;\n  2:         341,          420,          100;\n  3:        4961,        10230,         6300,         1000;\n  4:       67881,       198440,       204600,        84000,         10000;\n  5:      893101,      3394050,      4961000,      3410000,       1050000,       100000;\n  6:    11434621,     53586060,    101821500,     99220000,      51150000,     12600000,      1000000;\n  7:   143496441,    800423470,   1875512100,   2375835000,    1736350000,    716100000,    147000000,     10000000;\n  8:  1773332561,  11479715280,  32016938800,  50013656000,   47516700000,  27781600000,   9548000000,   1680000000,   100000000;\n  9: 21650246981, 159599930490, 516587187600, 960508164000, 1125307260000, 855300600000, 416724000000, 122760000000, 18900000000, 1000000000;\n","recurrence_sentence":"The row polynomials satisfy (10*n+1+10*x)*P(n,x) = (110*n+121+(100*n+220)*x+100*x^2)*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[((110*n + 121 + (100*n + 220)*x + 100*x^2)*P[n - 1, x])/(10*n + 1 + 10*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] = ((110*n + 121 + (100*n + 220)*x + 100*x^2)*v[i - 1])/(10*n + 1 + 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-e1d1088f7d1ff894","steps":["D+1"],"edges":["e-4a5ab3afe3527491"],"text":"A038324 \u2192 D+1"},"headline":"A038324 \u2192 D+1","chain":null}