{"id":"n-66e422e8d13851fe","revision":0,"first_index":0,"fingerprint":"f6-3e3a8419375cf2f4","name":"one_plus_derivative 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":true,"rows":[["1364","1680","400"],["39688","81840","50400","8000"],["1086096","3175040","3273600","1344000","160000"],["28579232","108609600","158752000","109120000","33600000","3200000"],["731815744","3429507840","6516576000","6350080000","3273600000","806400000","64000000"],["18367544448","102454204160","240065548800","304106880000","222252800000","91660800000","18816000000","1280000000"],["453973135616","2938807111680","8196336332800","12803495936000","12164275200000","7112089600000","2444288000000","430080000000","25600000000"],["11084926454272","81715164410880","264492640051200","491780179968000","576157317120000","437913907200000","213362688000000","62853120000000","9676800000000","512000000000"],["268013766349824","2216985290854400","8171516441088000","17632842670080000","24589008998400000","23046292684800000","14597130240000000","6096076800000000","1571328000000000","215040000000000","10240000000000"],["6427501315524608","58963028596961280","243868381993984000","599244539013120000","969806346854400000","1081916395929600000","845030731776000000","458766950400000000","167642112000000000","38410240000000000","4730880000000000","204800000000000"],["153091394969767936","1542600315725905920","7075563431635353600","19509470559518720000","35954672340787200000","46550704649011200000","43276655837184000000","28972482232320000000","13763008512000000000","4470456320000000000","921845760000000000","103219200000000000","4096000000000000"],["3625110741955878912","39803762692139663360","200538041044367769600","613215497408397312000","1268115586368716800000","1869642961720934400000","2017197201457152000000","1607418645381120000000","941605672550400000000","397598023680000000000","116231864320000000000","21789081600000000000","2236416000000000000","81920000000000000"],["85408637480690991104","1015031007747646095360","5572526776899552870400","18716883830807658496000","42925084818587811840000","71014472836648140800000","87250004880310272000000","80687888058286080000000","56259652588339200000000","29294398701568000000000","11132744663040000000000","2958629273600000000000","508411904000000000000","48168960000000000000","1638400000000000000"],["2003426450043758215168","25622591244207297331200","152254651162146914304000","557252677689955287040000","1403766287310574387200000","2575505089115268710400000","3550723641832407040000000","3739285923441868800000000","3025795802185728000000000","1875321752944640000000000","878831961047040000000000","303620308992000000000000","73965731840000000000000","11732582400000000000000","1032192000000000000000","32768000000000000000"],["46812983261270921773056","641096464014002628853760","4099614599073167572992000","16240496123962337525760000","44580214215196422963200000","89841042387876760780800000","137360271419480997888000000","162318795055195750400000000","149571436937674752000000000","107583850744381440000000000","60010296094228480000000000","25566020685004800000000000","8096541573120000000000000","1820694937600000000000000","268173312000000000000000","22020096000000000000000","655360000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["3444","179928","9038736","441860832","21171979584","999003777408","46568945316096","2149548743204352","98414474891572224","4475011907879589888","202297866553152147456","9099099784965183823872","407470945337315053092864","18176747387655880194490368","808068032988070182681378816"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1364","1680","400"]],"recurrence":{"denominator":{"coeffs":[["21","10"],["10","0"]]},"terms":[{"coeff":{"coeffs":[["682","840","200"],["220","200","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194895,"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-d8eaecece2153bfa"]},{"id":194896,"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-d8eaecece2153bfa"]},{"id":194897,"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-d8eaecece2153bfa"]},{"id":194898,"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-d8eaecece2153bfa"]}],"region_exact":{},"incoming_edges":[{"id":"e-d8eaecece2153bfa","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-66e422e8d13851fe","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":"4c8cd706d1f3c02d638369678dc371e987f429f17e9a48201d261860d42c6bd8","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-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-c0148382aea5164e","other":{"id":"n-c0148382aea5164e","name":"one_plus_derivative of Triangle read by rows whose (i,j)-th entry is binomial(i,j)*11^(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":[["1"],["21","10"],["341","420","100"]],"card_rows":[["1"],["21","10"],["341","420","100"],["4961","10230","6300","1000"]],"row_sums_preview":["1","31","861","22491","564921","13808151","330812181","7804717011"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e1d1088f7d1ff894","steps":["D+1"],"edges":["e-4a5ab3afe3527491"],"text":"A038324 \u2192 D+1"},"headline":"A038324 \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:             1364,              1680,                400;\n  1:            39688,             81840,              50400,               8000;\n  2:          1086096,           3175040,            3273600,            1344000,             160000;\n  3:         28579232,         108609600,          158752000,          109120000,           33600000,             3200000;\n  4:        731815744,        3429507840,         6516576000,         6350080000,         3273600000,           806400000,           64000000;\n  5:      18367544448,      102454204160,       240065548800,       304106880000,       222252800000,         91660800000,        18816000000,         1280000000;\n  6:     453973135616,     2938807111680,      8196336332800,     12803495936000,     12164275200000,       7112089600000,      2444288000000,       430080000000,        25600000000;\n  7:   11084926454272,    81715164410880,    264492640051200,    491780179968000,    576157317120000,     437913907200000,    213362688000000,     62853120000000,      9676800000000,      512000000000;\n  8:  268013766349824,  2216985290854400,   8171516441088000,  17632842670080000,  24589008998400000,   23046292684800000,  14597130240000000,   6096076800000000,   1571328000000000,   215040000000000,   10240000000000;\n  9: 6427501315524608, 58963028596961280, 243868381993984000, 599244539013120000, 969806346854400000, 1081916395929600000, 845030731776000000, 458766950400000000, 167642112000000000, 38410240000000000, 4730880000000000, 204800000000000;\n","recurrence_sentence":"The row polynomials satisfy (10*n+21+10*x)*P(n,x) = (220*n+682+(200*n+840)*x+200*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 1364 + 1680*x + 400*x^2.","mathematica":"P[0, x_] := 1364 + 1680*x + 400*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((220*n + 682 + (200*n + 840)*x + 200*x^2)*P[n - 1, x])/(10*n + 21 + 10*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1364 + 1680*x + 400*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((220*n + 682 + (200*n + 840)*x + 200*x^2)*v[i - 1])/(10*n + 21 + 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-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}