{"id":"n-6912aa82d26738f3","revision":0,"first_index":0,"fingerprint":"f6-3ee923700ed89645","name":"one_plus_derivative of basis_map_A007318 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["10","7","1"],["75","120","65","14","1"],["500","1275","1275","635","165","21","1"],["3125","11000","16250","13100","6275","1820","310","28","1"],["18750","84375","165625","186250","132500","62125","19375","3950","500","35","1"],["109375","600000","1471875","2131250","2025000","1327500","614375","201750","46500","7300","735","42","1"],["625000","4046875","11921875","21153125","25221875","21350000","13212500","6063125","2069375","521500","95200","12145","1015","49","1"],["3515625","26250000","90312500","189875000","272781250","283675000","220675000","130850000","59696875","20995000","5663000","1156400","174650","18760","1340","56","1"],["19531250","165234375","650390625","1581562500","2660625000","3285843750","3085031250","2249775000","1290768750","586428125","211246875","60111000","13387500","2296350","295650","27420","1710","63","1"],["107421875","1015625000","4501953125","12433593750","23982421875","34321875000","37792968750","32768437500","22707421875","12691625000","5748396875","2111731250","627440625","149760000","28383750","4195500","470625","38400","2125","70","1"],["585937500","6123046875","30185546875","93349609375","203134765625","330708984375","418107421875","420569531250","342091406250","227449921875","124452796875","56236965625","20999584375","6465903125","1633190625","335486250","55316250","7181625","713625","51975","2585","77","1"],["3173828125","36328125000","197167968750","675039062500","1636142578125","2986757812500","4265292968750","4885804687500","4566761718750","3524743750000","2264681718750","1217534812500","549180953125","207926587500","65966381250","17466762500","3834393750","691020000","100801250","11665500","1040325","68420","3090","84","1"],["17089843750","212646484375","1260009765625","4731542968750","12641992187500","25579404296875","40731259765625","52365371093750","55331503906250","48664128906250","35946960156250","22440857968750","11887244687500","5354246546875","2051358765625","667598506250","183966818750","42702481250","8285956250","1329721250","173888000","18150275","1468025","88010","3640","91","1"],["91552734375","1230468750000","7904052734375","32303222656250","94332519531250","209566601562500","368207861328125","525142363281250","619183017578125","611587539062500","510959667968750","363614529687500","221490623046875","115854136562500","52123690390625","20176302781250","6711902640625","1913967737500","465909193750","96233637500","16726084375","2418773500","286593125","27240850","2015650","111020","4235","98","1"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","18","275","3872","51909","673486","8535703","106293660","1305640457","15862557194","190993762971","2282493364888","27104608708045","320119694425542","3762975623688479"],"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":[["0","3","1"],["5","2","0"]]},"terms":[{"coeff":{"coeffs":[["25","50","35","10","1"],["25","35","15","2","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":185836,"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-d2f88b324e4f6530"]},{"id":185837,"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-d2f88b324e4f6530"]},{"id":185838,"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-d2f88b324e4f6530"]}],"region_exact":{},"incoming_edges":[{"id":"e-d2f88b324e4f6530","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-6912aa82d26738f3","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":"04c58f9f88d97f93a712685244057cd0df6535d3b92b2fd17efef1d6cc65d681","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-2ce5b747bc4731d0","role":"sequence","name":"basis_map_A007318 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-3/2) where m = k if k=0 and 0<=k<=2n.","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: 1;\n 1: 10, 7, 1;\n 2: 75, 120, 65, 14, 1;\n 3: 500, 1275, 1275, 635, 165, 21, 1;\n 4: 3125, 11000, 16250, 13100, 6275, 1820, 310, 28, 1;\n 5: 18750, 84375, 165625, 186250, 132500, 62125, 19375, 3950, 500, 35, 1;\n 6: 109375, 600000, 1471875, 2131250, 2025000, 1327500, 614375, 201750, 46500, 7300, 735, 42, 1;\n 7: 625000, 4046875, 11921875, 21153125, 25221875, 21350000, 13212500, 6063125, 2069375, 521500, 95200, 12145, 1015, 49, 1;\n 8: 3515625, 26250000, 90312500, 189875000, 272781250, 283675000, 220675000, 130850000, 59696875, 20995000, 5663000, 1156400, 174650, 18760, 1340, 56, 1;\n 9: 19531250, 165234375, 650390625, 1581562500, 2660625000, 3285843750, 3085031250, 2249775000, 1290768750, 586428125, 211246875, 60111000, 13387500, 2296350, 295650, 27420, 1710, 63, 1;\n","recurrence_sentence":"The row polynomials satisfy (5*n+(2*n+3)*x+x^2)*P(n,x) = (25*n+25+(35*n+50)*x+(15*n+35)*x^2+(2*n+10)*x^3+x^4)*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[((25*n + 25 + (35*n + 50)*x + (15*n + 35)*x^2 + (2*n + 10)*x^3 + x^4)*P[n - 1, x])/(5*n + (2*n + 3)*x + x^2)]];\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] = ((25*n + 25 + (35*n + 50)*x + (15*n + 35)*x^2 + (2*n + 10)*x^3 + x^4)*v[i - 1])/(5*n + (2*n + 3)*x + x^2)); 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-b30e7a5b4198051a","steps":["basis A007318","D+1"],"edges":["e-65aaf6e4286453d2","e-d2f88b324e4f6530"],"text":"A272866 \u2192 basis A007318 \u2192 D+1"},"headline":"A272866 \u2192 basis A007318 \u2192 D+1","chain":null}