{"id":"n-0e81ff2ad5810903","revision":0,"first_index":0,"fingerprint":"f6-484d946563c33157","name":"derivative of basis_map_A013610 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[[],["24","36"],["384","1728","2592","1296"],["4608","34560","103680","155520","116640","34992"],["49152","516096","2322432","5806080","8709120","7838208","3919104","839808"],["491520","6635520","39813120","139345920","313528320","470292480","470292480","302330880","113374080","18895680"],["4718592","77856768","583925760","2627665920","7882997760","16554295296","24831442944","26605117440","19953838080","9976919040","2993075712","408146688"],["44040192","858783744","7729053696","42509795328","159411732480","430411677696","860823355392","1291235033088","1452639412224","1210532843520","726319706112","297130788864","74282697216","8571080448"],["402653184","9059696640","95126814720","618324295680","2782459330560","9182115790848","22955289477120","44270915420160","66406373130240","77474101985280","69726691786752","47540926218240","23770463109120","8228237230080","1763193692160","176319369216"],["3623878656","92408905728","1108906868736","8316801515520","43663207956480","170286511030272","510859533090816","1204168899428352","2257816686428160","3386725029642240","4064070035570688","3879339579408384","2909504684556288","1678560394936320","719383026401280","215814907920384","40465295235072","3570467226624"],["32212254720","918049259520","12393665003520","105346152529920","632076915179520","2844346118307840","9955211414077440","27732374653501440","62397842970378240","114396045445693440","171594068168540160","210592720025026560","210592720025026560","170094120020213760","109346220012994560","54673110006497280","20502416252436480","5427110184468480","904518364078080","71409344532480"],["283467841536","8929237008384","133938555125760","1272416273694720","8588809847439360","43802930221940736","175211720887762944","563180531424952320","1478348894990499840","3203089272479416320","5765560690462949376","8648341035694424064","10810426294618030080","11226211921334108160","9622467361143521280","6735727152800464896","3788846523450261504","1671549936816291840","557183312272097280","131964468696023040","19794670304403456","1413905021743104"],["2473901162496","85349590106112","1408268236750848","14786816485883904","110901123644129280","632136404771536896","2844613821471916032","10362521778219122688","31087565334657368064","77718913336643420160","163209718006951182336","289326318285049823232","433989477427574734848","550832798273460240384","590177998150135971840","531160198335122374656","398370148751341780992","246052150699358158848","123026075349679079424","48562924480136478720","14568877344040943616","3121902288008773632","425713948364832768","27763953154228224"],["21440476741632","804017877811200","14472321800601600","166431700706918400","1373061530832076800","8650287644242083840","43251438221210419200","176095141329213849600","594321101986096742400","1683909788960607436800","4041383493505457848320","8266466236715709235200","14466315914252491161600","21699473871378736742400","27899323548915518668800","30689255903807070535680","28771177409819128627200","22847699707797543321600","15231799805198362214400","8417573576556989644800","3787908109450645340160","1352824324803801907200","368952088582855065600","72186278200993382400","9023284775124172800","541397086507450368"],["184717953466368","7481077115387904","145881003750064128","1823512546875801600","16411612921882214400","113240129160987279360","622820710385430036480","2802693196734435164160","10510099487754131865600","33281981711221417574400","89861350620297827450880","208314949165235872727040","416629898330471745454080","721090208648893405593600","1081635312973340108390400","1406125906865342140907520","1581891645223509908520960","1535365420363994911211520","1279471183636662426009600","909097946268154881638400","545458767760892928983040","272729383880446464491520","111571111587455371837440","36381884213300664729600","9095471053325166182400","1637184789598529912832","188905937261368836096","10494774292298268672"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","60","6000","450000","30000000","1875000000","112500000000","6562500000000","375000000000000","21093750000000000","1171875000000000000","64453125000000000000","3515625000000000000000","190429687500000000000000","10253906250000000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["24","36"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["8","24","18"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193618,"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-ebf0ead7cd3d66b0"]},{"id":193619,"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-ebf0ead7cd3d66b0"]},{"id":193620,"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-ebf0ead7cd3d66b0"]}],"region_exact":{},"incoming_edges":[{"id":"e-ebf0ead7cd3d66b0","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"0\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-0e81ff2ad5810903","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":"d07d88d702bf5fa8a890316382c7b27f91573dec52e7571bbc11946ce0cac81f","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-87b7b64af43d2638","role":"sequence","name":"basis_map_A013610 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 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":[{"id":"l-b0abd118e9245841","kind":"fingerprint_related","node_a_id":"n-0e81ff2ad5810903","node_b_id":"n-c9845261e64d60a9","fingerprint":"f6-484d946563c33157","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-484d946563c33157"},"other_id":"n-c9845261e64d60a9","other":{"id":"n-c9845261e64d60a9","name":"basis_map_A013610 of derivative of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-484d946563c33157","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4","6"],["32","144","216","108"]],"card_rows":[["4","6"],["32","144","216","108"],["192","1440","4320","6480","4860","1458"],["1024","10752","48384","120960","181440","163296","81648","17496"]],"row_sums_preview":["0","10","500","18750","625000","19531250","585937500","17089843750"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["D","basis A013610"],"edges":["e-473cc94657c879cc","e-32720d39f4766d5d"],"text":"A034870 \u2192 D \u2192 basis A013610"},"headline":"A034870 \u2192 D \u2192 basis A013610","chain":null}},{"id":"l-e09e1c1d036d2a28","kind":"fingerprint_related","node_a_id":"n-b856b70338e77df7","node_b_id":"n-0e81ff2ad5810903","fingerprint":"f6-484d946563c33157","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-484d946563c33157"},"other_id":"n-b856b70338e77df7","other":{"id":"n-b856b70338e77df7","name":"derivative of basis_map_A013610 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-484d946563c33157","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["12","18"],["96","432","648","324"]],"card_rows":[["12","18"],["96","432","648","324"],["576","4320","12960","19440","14580","4374"],["3072","32256","145152","362880","544320","489888","244944","52488"]],"row_sums_preview":["0","30","1500","56250","1875000","58593750","1757812500","51269531250"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013610","D"],"edges":["e-cb7f9b19b94bd36e","e-8cb133e98a7e7cc2"],"text":"A034870 \u2192 basis A013610 \u2192 D"},"headline":"A034870 \u2192 basis A013610 \u2192 D","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:          0;\n  1:         24,          36;\n  2:        384,        1728,          2592,          1296;\n  3:       4608,       34560,        103680,        155520,         116640,           34992;\n  4:      49152,      516096,       2322432,       5806080,        8709120,         7838208,         3919104,           839808;\n  5:     491520,     6635520,      39813120,     139345920,      313528320,       470292480,       470292480,        302330880,        113374080,         18895680;\n  6:    4718592,    77856768,     583925760,    2627665920,     7882997760,     16554295296,     24831442944,      26605117440,      19953838080,       9976919040,       2993075712,        408146688;\n  7:   44040192,   858783744,    7729053696,   42509795328,   159411732480,    430411677696,    860823355392,    1291235033088,    1452639412224,    1210532843520,     726319706112,     297130788864,      74282697216,       8571080448;\n  8:  402653184,  9059696640,   95126814720,  618324295680,  2782459330560,   9182115790848,  22955289477120,   44270915420160,   66406373130240,   77474101985280,   69726691786752,   47540926218240,   23770463109120,    8228237230080,   1763193692160,    176319369216;\n  9: 3623878656, 92408905728, 1108906868736, 8316801515520, 43663207956480, 170286511030272, 510859533090816, 1204168899428352, 2257816686428160, 3386725029642240, 4064070035570688, 3879339579408384, 2909504684556288, 1678560394936320, 719383026401280, 215814907920384, 40465295235072, 3570467226624;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (8*n+24*n*x+18*n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 24 + 36*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 24 + 36*x;\nP[n_, x_] := P[n, x] = Expand[Together[((8*n + 24*n*x + 18*n*x^2)*P[n - 1, x])/(n - 1)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 24 + 36*x; for(n = 2, N, my(i = n + 1); v[i] = ((8*n + 24*n*x + 18*n*x^2)*v[i - 1])/(n - 1)); 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-336459bdce627a87","steps":["basis A013610","D"],"edges":["e-a142fb8711dcbce4","e-ebf0ead7cd3d66b0"],"text":"A139548 \u2192 basis A013610 \u2192 D"},"headline":"A139548 \u2192 basis A013610 \u2192 D","chain":null}