{"id":"n-dd032736ed5eddee","revision":0,"first_index":0,"fingerprint":"f6-354a4e768d29be07","name":"one_plus_derivative of basis_map_A013609 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":[["576","520","100"],["11776","17280","7800","1000"],["229376","471040","345600","104000","10000"],["4325376","11468800","11776000","5760000","1300000","100000"],["79691776","259522560","344064000","235520000","86400000","15600000","1000000"],["1442840576","5578424320","9083289600","8028160000","4121600000","1209600000","182000000","10000000"],["25769803776","115427246080","223136972800","242221056000","160563200000","65945600000","16128000000","2080000000","100000000"],["455266533376","2319282339840","5194226073600","6694109184000","5449973760000","2890137600000","989184000000","207360000000","23400000000","1000000000"],["7971459301376","45526653337600","115964116992000","173140869120000","167352729600000","108999475200000","48168960000000","14131200000000","2592000000000","260000000000","10000000000"],["138538465099776","876860523151360","2503965933568000","4252017623040000","4761373900800000","3681760051200000","1998323712000000","756940800000000","194304000000000","31680000000000","2860000000000","100000000000"],["2392537302040576","16624615811973120","52611631389081600","100158637342720000","127560528691200000","114272973619200000","73635201024000000","34256977920000000","11354112000000000","2590720000000000","380160000000000","31200000000000","1000000000000"],["41095346599755776","311029849265274880","1080600027778252800","2279837360193536000","3255155713638400000","3316573745971200000","2475914428416000000","1367510876160000000","556675891200000000","164003840000000000","33679360000000000","4492800000000000","338000000000000","10000000000000"],["702561541869797376","5753348523965808640","21772089448569241600","50428001296318464000","79794307606773760000","91144359981875200000","77386720739328000000","49518288568320000000","23931440332800000000","8659402752000000000","2296053760000000000","428646400000000000","52416000000000000","3640000000000000","100000000000000"],["11961560610296037376","105384231280469606400","431501139297435648000","1088604472428462080000","1891050048611942400000","2393829228203212800000","2278608999546880000000","1658286872985600000000","928467910656000000000","398857338880000000000","129891041280000000000","31309824000000000000","5358080000000000000","604800000000000000","39000000000000000","1000000000000000"],["202914184810805067776","1913849697647365980160","8430738502437568512000","23013394095863234560000","43544178897138483200000","60513601555582156800000","63835446085419008000000","52082491418214400000000","33165737459712000000000","16506096189440000000000","6381717422080000000000","1889324236800000000000","417464320000000000000","65945600000000000000","6912000000000000000","416000000000000000","10000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1196","37856","1160016","34730176","1021798336","29655914496","851371878656","24223939490816","684117463550976","19198725008859136","535870295100215296","14886917239222419456","411871376951820271616","11353755547780298571776","311970237665145022119936"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["576","520","100"]],"recurrence":{"denominator":{"coeffs":[["13","5"],["5","0"]]},"terms":[{"coeff":{"coeffs":[["288","260","50"],["80","50","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194218,"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-87fdf20e709b3a09"]},{"id":194219,"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-87fdf20e709b3a09"]},{"id":194220,"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-87fdf20e709b3a09"]},{"id":194221,"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-87fdf20e709b3a09"]}],"region_exact":{},"incoming_edges":[{"id":"e-87fdf20e709b3a09","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-dd032736ed5eddee","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":"9b42a256d177e39bd7feb5b26fac0849d3ac486684ac83e99a28f2910e73207b","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-cf1de4f27da354f5","role":"sequence","name":"basis_map_A013609 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":[{"id":"l-94196de85166780a","kind":"fingerprint_related","node_a_id":"n-3470a64b61130b24","node_b_id":"n-dd032736ed5eddee","fingerprint":"f6-354a4e768d29be07","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-354a4e768d29be07"},"other_id":"n-3470a64b61130b24","other":{"id":"n-3470a64b61130b24","name":"one_plus_derivative of basis_map_A007318 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-354a4e768d29be07","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["13","5"],["144","130","25"]],"card_rows":[["1"],["13","5"],["144","130","25"],["1472","2160","975","125"]],"row_sums_preview":["1","18","299","4732","72501","1085318","15965599","231686832"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A007318","D+1"],"edges":["e-31008ec5d02c6da5","e-5712cc1fe665ed0e"],"text":"A013622 \u2192 basis A007318 \u2192 D+1"},"headline":"A013622 \u2192 basis A007318 \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:             576,             520,              100;\n  1:           11776,           17280,             7800,             1000;\n  2:          229376,          471040,           345600,           104000,            10000;\n  3:         4325376,        11468800,         11776000,          5760000,          1300000,           100000;\n  4:        79691776,       259522560,        344064000,        235520000,         86400000,         15600000,          1000000;\n  5:      1442840576,      5578424320,       9083289600,       8028160000,       4121600000,       1209600000,        182000000,        10000000;\n  6:     25769803776,    115427246080,     223136972800,     242221056000,     160563200000,      65945600000,      16128000000,      2080000000,       100000000;\n  7:    455266533376,   2319282339840,    5194226073600,    6694109184000,    5449973760000,    2890137600000,     989184000000,    207360000000,     23400000000,     1000000000;\n  8:   7971459301376,  45526653337600,  115964116992000,  173140869120000,  167352729600000,  108999475200000,   48168960000000,  14131200000000,   2592000000000,   260000000000,   10000000000;\n  9: 138538465099776, 876860523151360, 2503965933568000, 4252017623040000, 4761373900800000, 3681760051200000, 1998323712000000, 756940800000000, 194304000000000, 31680000000000, 2860000000000, 100000000000;\n","recurrence_sentence":"The row polynomials satisfy (5*n+13+5*x)*P(n,x) = (80*n+288+(50*n+260)*x+50*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 576 + 520*x + 100*x^2.","mathematica":"P[0, x_] := 576 + 520*x + 100*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((80*n + 288 + (50*n + 260)*x + 50*x^2)*P[n - 1, x])/(5*n + 13 + 5*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 576 + 520*x + 100*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((80*n + 288 + (50*n + 260)*x + 50*x^2)*v[i - 1])/(5*n + 13 + 5*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 A013609","D+1"],"edges":["e-772e88d8a50e6734","e-87fdf20e709b3a09"],"text":"A038319 \u2192 basis A013609 \u2192 D+1"},"headline":"A038319 \u2192 basis A013609 \u2192 D+1","chain":null}