{"id":"n-3f94c3d0d96f8829","revision":0,"first_index":0,"fingerprint":"f6-8b54093b9e142c4e","name":"one_plus_derivative of basis_map_A013610 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":true,"rows":[["736","930","225"],["15616","33120","20925","3375"],["311296","936960","993600","418500","50625"],["5963776","23347200","35136000","24840000","7846875","759375"],["111149056","536739840","1050624000","1054080000","558900000","141243750","11390625"],["2030043136","11670650880","28178841600","36771840000","27669600000","11736900000","2471765625","170859375"],["36507222016","243605176320","700239052800","1127153664000","1103155200000","664070400000","234738000000","42373125000","2562890625"],["648540061696","4928474972160","16443349401600","31510757376000","38041436160000","29785190400000","14941584000000","4527090000000","715046484375","38443359375"],["11407433138176","97281009254400","369635622912000","822167470080000","1181653401600000","1141243084800000","744629760000000","320176800000000","84882937500000","11917441406250","576650390625"],["199011604627456","1882226467799040","8025683263488000","20329959260160000","33914408140800000","38994562252800000","31384184832000000","17551987200000000","6603646500000000","1556187187500000","196637783203125","8649755859375"],["3448068464705536","35822088832942080","169400382101913600","481540995809280000","914848166707200000","1220918693068800000","1169836867584000000","807021895680000000","394919712000000000","132072930000000000","28011369375000000","3217709179687500","129746337890625"],["59391220085948416","672373350617579520","3492653661211852800","11011024836624384000","23475123545702400000","35679078501580800000","39679857524736000000","32588312739840000000","19671158707200000000","8556593760000000000","2575422135000000000","496565184375000000","52287774169921875","1946195068359375"],["1017813515785732096","12472156218049167360","70599201814845849600","244485756284829696000","578078803922780160000","985955188919500800000","1248767747555328000000","1190395725742080000000","855443209420800000000","458993703168000000000","179688468960000000000","49167149850000000000","8689890726562500000","844648659667968750","29192926025390625"],["17365880163140632576","229008041051789721600","1403117574530531328000","5294940136113438720000","13752323791021670400000","26013546176525107200000","36973319584481280000000","40138963314278400000000","33479879786496000000000","21386080235520000000000","10327358321280000000000","3675445956000000000000","921884059687500000000","150401954882812500000","13574710601806640625","437893890380859375"],["295147905179352825856","4167811239153751818240","27480964926214766592000","112249405962442506240000","317696408166806323200000","660111541969040179200000","1040541847061004288000000","1267656671467929600000000","1204168899428352000000000","892796794306560000000000","513265925652480000000000","225324181555200000000000","73508919120000000000000","17019398025000000000000","2578319226562500000000","217195369628906250000","6568408355712890625"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1891","73036","2710981","97893226","3464127271","120700500616","4154404730761","141579912215206","4785571611081451","160647144248236996","5361188625141419341","178011789136212245986","5884628657684255264431","193777647416523858002176","6359085999789909887016721"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["736","930","225"]],"recurrence":{"denominator":{"coeffs":[["31","15"],["15","0"]]},"terms":[{"coeff":{"coeffs":[["736","930","225"],["240","225","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194433,"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-23e08a85ae66907c"]},{"id":194434,"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-23e08a85ae66907c"]},{"id":194435,"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-23e08a85ae66907c"]},{"id":194436,"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-23e08a85ae66907c"]}],"region_exact":{},"incoming_edges":[{"id":"e-23e08a85ae66907c","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-3f94c3d0d96f8829","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":"b12b9e8a5ca9250aa74cc76e03c23203693b657505767c409d840319fc8e5799","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-a875e5d4789de94f","role":"sequence","name":"basis_map_A013610 of 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":[],"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:             736,              930,              225;\n  1:           15616,            33120,            20925,              3375;\n  2:          311296,           936960,           993600,            418500,             50625;\n  3:         5963776,         23347200,         35136000,          24840000,           7846875,            759375;\n  4:       111149056,        536739840,       1050624000,        1054080000,         558900000,         141243750,          11390625;\n  5:      2030043136,      11670650880,      28178841600,       36771840000,       27669600000,       11736900000,        2471765625,         170859375;\n  6:     36507222016,     243605176320,     700239052800,     1127153664000,     1103155200000,      664070400000,      234738000000,       42373125000,       2562890625;\n  7:    648540061696,    4928474972160,   16443349401600,    31510757376000,    38041436160000,    29785190400000,    14941584000000,     4527090000000,     715046484375,      38443359375;\n  8:  11407433138176,   97281009254400,  369635622912000,   822167470080000,  1181653401600000,  1141243084800000,   744629760000000,   320176800000000,   84882937500000,   11917441406250,    576650390625;\n  9: 199011604627456, 1882226467799040, 8025683263488000, 20329959260160000, 33914408140800000, 38994562252800000, 31384184832000000, 17551987200000000, 6603646500000000, 1556187187500000, 196637783203125, 8649755859375;\n","recurrence_sentence":"The row polynomials satisfy (15*n+31+15*x)*P(n,x) = (240*n+736+(225*n+930)*x+225*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 736 + 930*x + 225*x^2.","mathematica":"P[0, x_] := 736 + 930*x + 225*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((240*n + 736 + (225*n + 930)*x + 225*x^2)*P[n - 1, x])/(15*n + 31 + 15*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 736 + 930*x + 225*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((240*n + 736 + (225*n + 930)*x + 225*x^2)*v[i - 1])/(15*n + 31 + 15*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-2bc1923905556bf6","steps":["basis A013610","D+1"],"edges":["e-fd6222a072627022","e-23e08a85ae66907c"],"text":"A038319 \u2192 basis A013610 \u2192 D+1"},"headline":"A038319 \u2192 basis A013610 \u2192 D+1","chain":null}