{"id":"n-9cbd345833a8bbca","revision":0,"first_index":0,"fingerprint":"f6-72d6e0ea460d9703","name":"one_plus_derivative of basis_map_A013611 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"],["25","52","16"],["225","1320","2480","1664","256"],["1625","15900","60000","109760","99840","39936","4096"],["10625","146000","836000","2585600","4678400","4997120","2990080","851968","65536"],["65625","1162500","8950000","39280000","108320000","194944000","229888000","172851200","77004800","17039360","1048576"],["390625","8475000","82050000","467600000","1742400000","4458240000","8000000000","10088448000","8798208000","5098700800","1808793600","327155712","16777216"],["2265625","58187500","679000000","4764200000","22416800000","74681600000","181260800000","324700160000","429793280000","416088064000","287545753600","135496990720","39929774080","6106906624","268435456"],["12890625","382500000","5225000000","43568000000","247912000000","1019468800000","3129548800000","7303577600000","13069312000000","17945067520000","18775801856000","14732912230400","8426356736000","3344705781760","842887331840","111669149696","4294967296"],["72265625","2432812500","38081250000","367980000000","2457720000000","12037536000000","44763264000000","129082982400000","292255948800000","522619289600000","738477342720000","820506525696000","708959010816000","467389749657600","227941967462400","78146929950720","17201344020480","2010044694528","68719476736"],["400390625","15078125000","266093750000","2924250000000","22429500000000","127550400000000","557596800000000","1917342720000000","5262382080000000","11630698496000000","20789057945600000","30061179699200000","35038848614400000","32658696437760000","24017255792640000","13646721712128000","5799816462336000","1749769676390400","341879396761600","35734127902720","1099511627776"],["2197265625","91523437500","1797812500000","22144375000000","191840000000000","1242714000000000","6247560000000000","24971020800000000","80637004800000000","212623994880000000","460793118720000000","823392482099200000","1213419067801600000","1470722421555200000","1457395649740800000","1169171970785280000","748089350553600000","373398014263296000","140600049401856000","37871303629209600","6652045348044800","628920651087872","17592186044416"],["11962890625","546093750000","11817187500000","161260000000000","1557352500000000","11322960000000000","64372880000000000","293394816000000000","1090476288000000000","3344322150400000000","8530630901760000000","18188320899072000000","32494373306368000000","48651592689254400000","60917183781273600000","63496648864563200000","54688919165337600000","38493515541381120000","21792062764482560000","9696867923263488000","3277341796702617600","797277871532933120","127191505101127680","10977524091715584","281474976710656"],["64697265625","3211914062500","75917968750000","1136931250000000","12111287500000000","97673290000000000","619687640000000000","3173044160000000000","13347276800000000000","46707561472000000000","137192257945600000000","340313616547840000000","715676208332800000000","1278426125172736000000","1940027210727424000000","2496815141853593600000","2715529204308377600000","2481457405834035200000","1889218674556928000000","1184188797802250240000","601031950966194176000","241238238741030502400","73955351107469312000","16402250580371701760","2396759426691235840","190277084256403456","4503599627370496"],["347900390625","18662109375000","478378906250000","7800406250000000","90863500000000000","805013300000000000","5639106200000000000","32055200320000000000","150589479040000000000","592402370560000000000","1970288832512000000000","5578799946137600000000","13512754076057600000000","28084970884956160000000","50164491710627840000000","77010521903071232000000","101473013903392768000000","114433776335768780800000","109945463785494937600000","89404018617692979200000","60971793477082808320000","34440795464711274496000","15839395184950378496000","5789774904389376409600","1623941730634458726400","330935759618252472320","44608154309104762880","3278620528725721088","72057594037927936"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","93","5945","331157","17161329","850554061","40897238953","1923792217605","89002703163617","4064326941622589","183661265195012121","8228090157123421813","365968806091305213265","16178022545362555420077","711404285680245480947849"],"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":[["-15","-12","16"],["20","32","0"]]},"terms":[{"coeff":{"coeffs":[["25","200","560","640","256"],["100","560","960","512","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192899,"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-efb17fe74db15843"]},{"id":192900,"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-efb17fe74db15843"]},{"id":192901,"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-efb17fe74db15843"]}],"region_exact":{},"incoming_edges":[{"id":"e-efb17fe74db15843","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-9cbd345833a8bbca","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":"01235805e064b9c108dd4023f021abc194f87286165257c5068fdc5422ecd676","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-08dfc533c843ef45","role":"sequence","name":"basis_map_A013611 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: 25, 52, 16;\n 2: 225, 1320, 2480, 1664, 256;\n 3: 1625, 15900, 60000, 109760, 99840, 39936, 4096;\n 4: 10625, 146000, 836000, 2585600, 4678400, 4997120, 2990080, 851968, 65536;\n 5: 65625, 1162500, 8950000, 39280000, 108320000, 194944000, 229888000, 172851200, 77004800, 17039360, 1048576;\n 6: 390625, 8475000, 82050000, 467600000, 1742400000, 4458240000, 8000000000, 10088448000, 8798208000, 5098700800, 1808793600, 327155712, 16777216;\n 7: 2265625, 58187500, 679000000, 4764200000, 22416800000, 74681600000, 181260800000, 324700160000, 429793280000, 416088064000, 287545753600, 135496990720, 39929774080, 6106906624, 268435456;\n 8: 12890625, 382500000, 5225000000, 43568000000, 247912000000, 1019468800000, 3129548800000, 7303577600000, 13069312000000, 17945067520000, 18775801856000, 14732912230400, 8426356736000, 3344705781760, 842887331840, 111669149696, 4294967296;\n 9: 72265625, 2432812500, 38081250000, 367980000000, 2457720000000, 12037536000000, 44763264000000, 129082982400000, 292255948800000, 522619289600000, 738477342720000, 820506525696000, 708959010816000, 467389749657600, 227941967462400, 78146929950720, 17201344020480, 2010044694528, 68719476736;\n","recurrence_sentence":"The row polynomials satisfy (20*n-15+(32*n-12)*x+16*x^2)*P(n,x) = (100*n+25+(560*n+200)*x+(960*n+560)*x^2+(512*n+640)*x^3+256*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[((100*n + 25 + (560*n + 200)*x + (960*n + 560)*x^2 + (512*n + 640)*x^3 + 256*x^4)*P[n - 1, x])/(20*n - 15 + (32*n - 12)*x + 16*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] = ((100*n + 25 + (560*n + 200)*x + (960*n + 560)*x^2 + (512*n + 640)*x^3 + 256*x^4)*v[i - 1])/(20*n - 15 + (32*n - 12)*x + 16*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 A013611","D+1"],"edges":["e-a99971f11d0aad5a","e-efb17fe74db15843"],"text":"A272866 \u2192 basis A013611 \u2192 D+1"},"headline":"A272866 \u2192 basis A013611 \u2192 D+1","chain":null}