{"id":"n-e9cf02f6317e6df4","revision":0,"first_index":0,"fingerprint":"f6-37bd9a5ad19991c8","name":"one_plus_derivative of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^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":[["495","432","81"],["9450","13365","5832","729"],["172125","340200","240570","69984","6561"],["3037500","7745625","7654500","3608550","787320","59049"],["52396875","164025000","209131875","137781000","48715425","8503056","531441"],["888468750","3301003125","5166787500","4391769375","2170050750","613814355","89282088","4782969"],["14864765625","63969750000","118836112500","124002900000","79051848750","31248730800","7365772260","918330048","43046721"],["246037500000","1204046015625","2590774875000","3208575037500","2511058725000","1280639949750","421857865800","85232507580","9298091736","387420489"],["4036552734375","22143375000000","54182070703125","77723246250000","72192938343750","45199057050000","19209599246250","5423886846000","958865710275","92980917360","3486784401"],["65738144531250","399618720703125","1096097062500000","1788008333203125","1923650344687500","1429420179206250","745784441325000","271678617911250","67120599719250","10547522813025","920511081864","31381059609"],["1063919970703125","7099719609375000","21579410917968750","39459494250000000","48276224996484375","41550847445250000","25729563225712500","11506388523300000","3667661341801875","805447196631000","113913246380670","9037745167392","282429536481"],["17126516601562500","124478636572265625","415333597148437500","841597025800781250","1154190206812500000","1129663664917734375","810241525182375000","430051271058337500","168280932153262500","47679597443424375","9423732200582700","1211622711503490","88118015382072","2541865828329"],["274413504638671875","2157941091796875000","7842154104052734375","17444011080234375000","26510306312724609375","29085593211675000000","23722936963272421875","14584347453282750000","6773307519168815625","2355933050145675000","600762927787147125","107944568843038200","12722038470786645","854066918318544","22876792454961"],["4378938903808593750","37045823126220703125","145661023696289062500","352896934682373046875","588735373957910156250","715778270443564453125","654425847262687500000","457513784291682421875","246110863274146406250","101599612787532234375","31805096176966612500","7372999568296805625","1214376399484179750","132113476427399775","8235645283785960","205891132094649"],["69625128570556640625","630567202148437500000","2667299265087890625000","6991729137421875000000","12704289648565429687500","16955578769987812500000","17178678490645546875000","13462474572261000000000","8235248117250283593750","3937773812386342500000","1463034424140464175000","416357622680290200000","88475994819561667500","13451553963517068000","1358881471824683400","79062194724345216","1853020188851841"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1008","29376","829440","22892544","621084672","16625958912","440301256704","11557907988480","301166059585536","7798615858741248","200861910898311168","5149368988483977216","131473250769803673600","3344679499583805456384","84816023536615745912832"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["495","432","81"]],"recurrence":{"denominator":{"coeffs":[["8","3"],["3","0"]]},"terms":[{"coeff":{"coeffs":[["165","144","27"],["45","27","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193786,"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-c7f5fce91fbc456e"]},{"id":193787,"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-c7f5fce91fbc456e"]},{"id":193788,"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-c7f5fce91fbc456e"]},{"id":193789,"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-c7f5fce91fbc456e"]}],"region_exact":{},"incoming_edges":[{"id":"e-c7f5fce91fbc456e","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-e9cf02f6317e6df4","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":"3be455f54991bc0ca2f2d3a847f326f44987f8713cb270044f3665c2f690af3e","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-3ccd0708169ccfae","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^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-c98a2698a13cb514","kind":"fingerprint_related","node_a_id":"n-1131bd1f361ee0e9","node_b_id":"n-e9cf02f6317e6df4","fingerprint":"f6-37bd9a5ad19991c8","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-37bd9a5ad19991c8"},"other_id":"n-1131bd1f361ee0e9","other":{"id":"n-1131bd1f361ee0e9","name":"one_plus_derivative of basis_map_A007318 of Triangle of coefficients in expansion of (2+3x)^n.","first_index":0,"fingerprint":"f6-37bd9a5ad19991c8","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","3"],["55","48","9"]],"card_rows":[["1"],["8","3"],["55","48","9"],["350","495","216","27"]],"row_sums_preview":["1","11","112","1088","10240","94208","851968","7602176"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-5733d79f45a14084","steps":["basis A007318","D+1"],"edges":["e-66f5a589f0412003","e-1627513df13911bd"],"text":"A013620 \u2192 basis A007318 \u2192 D+1"},"headline":"A013620 \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:            495,             432,               81;\n  1:           9450,           13365,             5832,              729;\n  2:         172125,          340200,           240570,            69984,             6561;\n  3:        3037500,         7745625,          7654500,          3608550,           787320,            59049;\n  4:       52396875,       164025000,        209131875,        137781000,         48715425,          8503056,          531441;\n  5:      888468750,      3301003125,       5166787500,       4391769375,       2170050750,        613814355,        89282088,         4782969;\n  6:    14864765625,     63969750000,     118836112500,     124002900000,      79051848750,      31248730800,      7365772260,       918330048,       43046721;\n  7:   246037500000,   1204046015625,    2590774875000,    3208575037500,    2511058725000,    1280639949750,    421857865800,     85232507580,     9298091736,      387420489;\n  8:  4036552734375,  22143375000000,   54182070703125,   77723246250000,   72192938343750,   45199057050000,  19209599246250,   5423886846000,   958865710275,    92980917360,   3486784401;\n  9: 65738144531250, 399618720703125, 1096097062500000, 1788008333203125, 1923650344687500, 1429420179206250, 745784441325000, 271678617911250, 67120599719250, 10547522813025, 920511081864, 31381059609;\n","recurrence_sentence":"The row polynomials satisfy (3*n+8+3*x)*P(n,x) = (45*n+165+(27*n+144)*x+27*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 495 + 432*x + 81*x^2.","mathematica":"P[0, x_] := 495 + 432*x + 81*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((45*n + 165 + (27*n + 144)*x + 27*x^2)*P[n - 1, x])/(3*n + 8 + 3*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 495 + 432*x + 81*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((45*n + 165 + (27*n + 144)*x + 27*x^2)*v[i - 1])/(3*n + 8 + 3*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-615df6ea54d3bbef","steps":["basis A013610","D+1"],"edges":["e-a617f0e181e2ec6f","e-c7f5fce91fbc456e"],"text":"A038329 \u2192 basis A013610 \u2192 D+1"},"headline":"A038329 \u2192 basis A013610 \u2192 D+1","chain":null}