{"id":"n-e706d901432a9ac4","revision":0,"first_index":0,"fingerprint":"f6-8a253671332bc96a","name":"one_plus_derivative of basis_map_A007318 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-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"],["12","8","1"],["108","168","84","16","1"],["864","2160","2052","936","216","24","1"],["6480","22464","31968","24192","10584","2736","408","32","1"],["46656","207360","395280","423360","280800","120096","33480","6000","660","40","1"],["326592","1772928","4245696","5909760","5307120","3229632","1362528","400896","81540","11160","972","48","1"],["2239488","14370048","41477184","71197056","80994816","64447488","36913968","15436224","4729536","1055376","168588","18648","1344","56","1"],["15116544","111974400","378473472","773369856","1067302656","1052932608","766838016","419945472","174553056","55195776","13220928","2370816","311472","28896","1776","64","1"],["100776960","846526464","3280290048","7779981312","12637430784","14908271616","13219137792","8997143040","4759751808","1970002944","638883936","161834112","31752000","4753728","530064","42336","2268","72","1"],["665127936","6248171520","27310556160","73768734720","137938464000","189581617152","198497018880","161959772160","104490311040","53784103680","22191366528","7347386880","1947382560","410624640","68143680","8750592","847260","59400","2820","80","1"],["4353564672","45228699648","220157346816","667345029120","1412288317440","2217536538624","2680299300096","2553943468032","1949194368000","1204189493760","606193289856","249533270784","84058622208","23128934400","5173644960","933254784","134091936","15068592","1288980","80520","3432","88","1"],["28298170368","322163785728","1728365174784","5810557648896","13732231366656","24261206593536","33269255940096","36294701211648","32034723063552","23143348242432","13794088264704","6817332916224","2801286519552","957568117248","271895678208","63893339136","12349131696","1944917568","246277152","24596352","1884168","106128","4104","96","1"],["182849716224","2263853629440","13271841902592","49012431077376","127964326404096","251306618314752","385658470619136","474309825859584","475759583050752","394063027218432","271905131646720","157249264453632","76522357656576","31399953067008","10869197683968","3170079244800","776738559168","159109277184","27052142832","3778961472","427613472","38424672","2664792","136656","4836","104","1"],["1175462461440","15725075595264","100018794774528","402513175314432","1150688501673984","2487182789984256","4224407468875776","5785101872529408","6503890335022080","6081192441612288","4773756443968512","3167788373987328","1785504305265408","857496788563968","351477539269632","122998539460608","36712223376192","9323981476992","2007140046912","364135419648","55234971792","6930031680","708638112","57867264","3665844","172536","5628","112","1"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","21","377","6253","98865","1513733","22648873","333049821","4831635809","69337111285","986218441689","13923707676749","195345482950033","2725875959330277","37859388324031625"],"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","4","1"],["6","2","0"]]},"terms":[{"coeff":{"coeffs":[["36","72","48","12","1"],["36","48","18","2","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":187017,"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-88e10245d44d5321"]},{"id":187018,"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-88e10245d44d5321"]},{"id":187019,"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-88e10245d44d5321"]}],"region_exact":{},"incoming_edges":[{"id":"e-88e10245d44d5321","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-e706d901432a9ac4","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":"fb3499a69435765c47d020dda0628a8ce3f87939ba5fd8d393a9859437eb8bc0","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-351cbe3ca6567d98","role":"sequence","name":"basis_map_A007318 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-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: 12, 8, 1;\n 2: 108, 168, 84, 16, 1;\n 3: 864, 2160, 2052, 936, 216, 24, 1;\n 4: 6480, 22464, 31968, 24192, 10584, 2736, 408, 32, 1;\n 5: 46656, 207360, 395280, 423360, 280800, 120096, 33480, 6000, 660, 40, 1;\n 6: 326592, 1772928, 4245696, 5909760, 5307120, 3229632, 1362528, 400896, 81540, 11160, 972, 48, 1;\n 7: 2239488, 14370048, 41477184, 71197056, 80994816, 64447488, 36913968, 15436224, 4729536, 1055376, 168588, 18648, 1344, 56, 1;\n 8: 15116544, 111974400, 378473472, 773369856, 1067302656, 1052932608, 766838016, 419945472, 174553056, 55195776, 13220928, 2370816, 311472, 28896, 1776, 64, 1;\n 9: 100776960, 846526464, 3280290048, 7779981312, 12637430784, 14908271616, 13219137792, 8997143040, 4759751808, 1970002944, 638883936, 161834112, 31752000, 4753728, 530064, 42336, 2268, 72, 1;\n","recurrence_sentence":"The row polynomials satisfy (6*n+(2*n+4)*x+x^2)*P(n,x) = (36*n+36+(48*n+72)*x+(18*n+48)*x^2+(2*n+12)*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[((36*n + 36 + (48*n + 72)*x + (18*n + 48)*x^2 + (2*n + 12)*x^3 + x^4)*P[n - 1, x])/(6*n + (2*n + 4)*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] = ((36*n + 36 + (48*n + 72)*x + (18*n + 48)*x^2 + (2*n + 12)*x^3 + x^4)*v[i - 1])/(6*n + (2*n + 4)*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-d3c3090977105807","steps":["x \u21a6 x+1","D+1"],"edges":["e-33933faab90bc4be","e-88e10245d44d5321"],"text":"A272867 \u2192 x \u21a6 x+1 \u2192 D+1"},"headline":"A272867 \u2192 x \u21a6 x+1 \u2192 D+1","chain":null}