{"id":"n-f2ca92e21d86d85e","revision":1,"first_index":0,"fingerprint":"f6-910fa4df8c34a164","name":"basis_map_A008277 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":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["8","10","2"],["64","260","220","56","4"],["512","5320","10808","7280","1960","216","8"],["4096","100880","421360","569184","322896","86688","11424","704","16"],["32768","1856800","14904032","36245440","36613280","18029088","4708704","675840","52800","2080","32"],["262144","33750080","502989760","2084258176","3463363904","2791286784","1216813312","305640192","45659328","4072640","210496","5760","64"],["2097152","610122880","16568697728","113334224640","296221860480","367762082688","246417435264","96467937280","23179819520","3514551040","339282944","20616960","757120","15232","128"],["16777216","11003183360","538744241920","5966168036864","23854464292096","43969120925184","43166737915392","24741522803712","8794580391168","2017009646080","305742474752","30961781760","2088672768","92001280","2524160","38912","256"],["134217728","198225072640","17393893862912","308027804564480","1849854614325760","4941122258336256","6892125009509888","5563734025175040","2785427420605440","906971756387840","198425437230592","29786225264640","3102180889600","224467160064","11173794816","373088256","7938048","96768","512"],["1073741824","3569393484800","559380023065600","15714876767901696","140000931719599104","532942256898551808","1034125378196004864","1145539406918365184","782291627096759296","347602584761635840","104438081557462016","21802959513753600","3221361947474944","340509164154880","25842308648960","1402049789952","53607622656","1403458560","23833600","235520","1024"],["8589934592","64259820144640","17950134394370048","795819817597235200","10426913132751104000","55899795154303457280","148636317979484375040","221803531293236428800","202057073638641745920","119267152664216494080","47632469641777827840","13286509563045089280","2649009860267796480","383674035850749952","40785554100819968","3196995477733376","184565842075648","7784360736768","235751892992","4969000960","68913152","563200","2048"],["68719476736","1156762661949440","575303955281735680","40114221818600710144","768281681814007402496","5750871306208461987840","20723296382268605931520","41097606471115377131520","49137221552830302228480","37792655100149817753600","19608554426663256637440","7110998019726564556800","1851148320912966696960","352868907154459852800","49968013642901913600","5307058028485509120","424959457307996160","25672171721011200","1164913336012800","39283035545600","965545799680","16736051200","193126400","1327104","4096"],["549755813888","20822415109857280","18425921383721787392","2016068875650430648320","56199944578528312074240","583640940179230668693504","2826644639480263433674752","7373906067930240620953600","11430599949232981988556800","11291781052397359344230400","7484000252591570132705280","3459530362201041287577600","1148861143716443944550400","280379606871912131297280","51163791870568224030720","7071106255205070274560","746803817615370977280","60596423880332820480","3784278977665105920","181514874346291200","6642816063037440","183171935232000","3726762024960","54057369600","527155200","3088384","8192"],["4398046511104","374808969535569920","589920999190146826240","101135152012258744303616","4090786376761115387183104","58662042834357642507190272","379432141948007696195321856","1291845982627386398676811776","2571981709706906068174946304","3227444024683806686065049600","2697675201055116692030832640","1566104837158325180524953600","652136208400885396058357760","199723830152316290442854400","45877119351222370733260800","8024668892709857667317760","1081233895420251760558080","113156313055547889254400","9247551880028786688000","591599843102633164800","29609083098131496960","1154679101841408000","34797023890636800","799138260910080","13680089579520","168496054272","1406877696","7110656","16384"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","20","604","26104","1517248","113120864","10448312640","1164439501056","153398255706880","23496405007521280","4128610224425545728","822900456324548491264","184289919759928348348416","45996624745790461239836672","12704304538795197354131046400"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["8","10","2"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","10","4"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","2"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166016,"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-b4af3e745574d56e"]},{"id":166017,"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-b4af3e745574d56e"]},{"id":166018,"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-b4af3e745574d56e"]}],"region_exact":{},"incoming_edges":[{"id":"e-b4af3e745574d56e","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-f2ca92e21d86d85e","premise_count":1,"theorem":"ray basis maps: for L f = (a + b t) f + kappa (t - h) f', b > 0, kappa >= 0, and g real-rooted with every root <= h, of multiplicity m at h, T(u^k) = L^k g sends every real polynomial with all roots in S to one with all roots in (-inf, h] if and only if S lies in (-inf, a + b h + kappa m] (RealRooted rayBasisMap_maps_realRootedIn_iff; the step is Ma and Wang, EJC 15 (2008) R17, Theorem 2)","lean_route":null,"lean_declarations":[],"certificate_hash":"014a4ed0e5b002c5e4f6b6e39f65886cfd984588d2a5b1344f9474e082e623e1","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-336459bdce627a87","role":"sequence","name":"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-034736afdef53ad6","kind":"fingerprint_related","node_a_id":"n-f8e3d642daa0223a","node_b_id":"n-f2ca92e21d86d85e","fingerprint":"f6-910fa4df8c34a164","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-910fa4df8c34a164"},"other_id":"n-f8e3d642daa0223a","other":{"id":"n-f8e3d642daa0223a","name":"basis_map_A008277 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-910fa4df8c34a164","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["4","5","1"],["16","65","55","14","1"]],"card_rows":[["1"],["4","5","1"],["16","65","55","14","1"],["64","665","1351","910","245","27","1"]],"row_sums_preview":["1","10","151","3263","94828","3535027","163254885","9097183602"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A008277"],"edges":["e-d4da514254176df5"],"text":"A034870 \u2192 basis A008277"},"headline":"A034870 \u2192 basis A008277","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:         1;\n  1:         8,           10,              2;\n  2:        64,          260,            220,              56,                4;\n  3:       512,         5320,          10808,            7280,             1960,              216,                8;\n  4:      4096,       100880,         421360,          569184,           322896,            86688,            11424,              704,               16;\n  5:     32768,      1856800,       14904032,        36245440,         36613280,         18029088,          4708704,           675840,            52800,            2080,              32;\n  6:    262144,     33750080,      502989760,      2084258176,       3463363904,       2791286784,       1216813312,        305640192,         45659328,         4072640,          210496,           5760,            64;\n  7:   2097152,    610122880,    16568697728,    113334224640,     296221860480,     367762082688,     246417435264,      96467937280,      23179819520,      3514551040,       339282944,       20616960,        757120,        15232,         128;\n  8:  16777216,  11003183360,   538744241920,   5966168036864,   23854464292096,   43969120925184,   43166737915392,   24741522803712,    8794580391168,   2017009646080,    305742474752,    30961781760,    2088672768,     92001280,     2524160,     38912,     256;\n  9: 134217728, 198225072640, 17393893862912, 308027804564480, 1849854614325760, 4941122258336256, 6892125009509888, 5563734025175040, 2785427420605440, 906971756387840, 198425437230592, 29786225264640, 3102180889600, 224467160064, 11173794816, 373088256, 7938048, 96768, 512;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (8+10*x+2*x^2)*P(n-1,x) + (10*x+4*x^2)*d/dx P(n-1,x) + 2*x^2*d^2/dx^2 P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(8 + 10*x + 2*x^2)*P[n - 1, x] + (10*x + 4*x^2)*D[P[n - 1, x], x] + 2*x^2*D[P[n - 1, 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] = (8 + 10*x + 2*x^2)*v[i - 1] + (10*x + 4*x^2)*deriv(v[i - 1], x) + 2*x^2*deriv(deriv(v[i - 1], x), 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-336459bdce627a87","steps":["basis A008277"],"edges":["e-b4af3e745574d56e"],"text":"A139548 \u2192 basis A008277"},"headline":"A139548 \u2192 basis A008277","chain":null}