{"id":"n-1f22c0bcbe735965","revision":0,"first_index":0,"fingerprint":"f6-14e66869ea533ba5","name":"basis_map_A008277 of basis_map_A013609 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","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"],["9","16","4"],["81","544","616","192","16"],["729","14896","43564","37440","12080","1536","64"],["6561","384064","2495056","4486272","3133536","989184","148736","10240","256"],["59049","9706576","131501524","444766080","568588960","335526912","101394048","16435200","1424640","61440","1024"],["531441","243609184","6676768696","40272927552","87115913456","85775382528","43877523712","12581099520","2103205632","206807040","11646976","344064","4096"],["4782969","6098732656","333010412284","3476738166720","12178649705040","18838695203328","15024327910592","6787200808960","1840606493440","309782753280","32773092352","2160377856","85356544","1835008","16384"],["43046721","152544843904","16463898917536","292296519628032","1614018182627776","3782221627871232","4484155310089728","2998412800880640","1213234714019328","311011516907520","51960274116608","5735584038912","417996587008","19744686080","577372160","9437184","65536"],["387420489","3814309845136","810392295399844","24203473034607360","207053916478752320","717837513954883584","1227195428661488896","1168656125811732480","671800074664742400","246208507281285120","59708937351624704","9816972407144448","1109061348442112","86363234893824","4596203323392","163159474176","3673227264","47185920","262144"],["3486784401","95363944856224","39800767460557576","1986429126495371712","26024904384494924496","131349941741493866496","317146087896223491584","419153477849745510400","331571849727062700544","166996582187473059840","55939576798421528576","12852499769346392064","2068306602763821056","236114241199800320","19216784974807040","1111447632347136","45074205179904","1246180147200","22263889920","230686720","1048576"],["31381059609","2384154409956016","1952526354191008204","162174765260642376000","3228629798653542962800","23455281281274201300480","78817566131711921828160","141958104490900731432960","151145072508236205611520","101847854634239617474560","45614022757770868684800","14070998057239854022656","3068213796620536438784","481632415435965595648","55074265715820888064","4614571913200533504","283239919243821056","12642496696811520","403579579662336","8934727352320","129749745664","1107296256","4194304"],["282429536481","59604362345854144","95731011186722584816","13198646366063784542592","397159006352921157571616","4119565465931752651499520","19060362650581151856014080","46164037555424971186329600","65099624963344970576244480","57574342112322170680934400","33697009536706820694466560","13580711389057870627799040","3882567746720399356968960","804976798832106563174400","122995114391701890662400","14001304486844317040640","1194847744132236902400","76552414001847336960","3668463715557048320","130161996212469760","3355259793571840","60817139564544","732006711296","5234491392","16777216"],["2541865828329","1490113577518937296","4692250053975425301364","1072153986426591054080640","48584568547390758338208480","715322990632870668805026816","4520865898498349000717427584","14577748325018737402240153600","26901016766360456910864044800","30782911018823374801136947200","23152658650655639049600015360","11953154902134312611766927360","4377573909968016959299338240","1166155921006717830121390080","230325791777159901935370240","34210702423639729514741760","3859846354339624885616640","332863547870948386406400","21995091216172013322240","1111966166129678745600","42744945584237445120","1234328416136724480","26228395679416320","396381860659200","4018562662400","24427626496","67108864"],["22876792454961","37252880107826685664","229956015380823757575256","86994630862735399065924672","5921637722691561302787657136","123225933323175605792499861504","1057447252911758845647855542016","4505165975396840927968539863040","10778948395651467433786080942336","15785656093910019789779477913600","15064256662918731867381915658240","9816508688372180230320478863360","4526990124791275431151378083840","1518838027091604845020682649600","378792092058528873211654963200","71401779970847004209766727680","10302270480789683306626744320","1148350881754793242578124800","99489178433540286539366400","6719883911335305648537600","353826085159729118576640","14470490130021372395520","456034736961937735680","10924878482437570560","194642236334407680","2490005679243264","21553622286336","112742891520","268435456"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","29","1449","110309","11653905","1609465453","278865763897","58830135647413","14770101345135905","4334495344305735613","1465386041035100771785","563911490680574200057221","244531923283336236886097457","118465822154538758006139472909","63644797087931874846025467681881"],"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":[["9","16","4"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","16","8"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","4"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":197338,"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-f0fe964ac6ea2e49"]},{"id":197339,"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-f0fe964ac6ea2e49"]},{"id":197340,"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-f0fe964ac6ea2e49"]}],"region_exact":{},"incoming_edges":[{"id":"e-f0fe964ac6ea2e49","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-1f22c0bcbe735965","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":"736358743a9e70a65a47bdb6ce8caf48178d60d1ca437d4e4efdb92d74de0ad3","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-5c5dbc66494212e8","role":"sequence","name":"basis_map_A013609 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","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-a8f354a06064ce32","kind":"fingerprint_related","node_a_id":"n-1f22c0bcbe735965","node_b_id":"n-2137bba207333614","fingerprint":"f6-14e66869ea533ba5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-14e66869ea533ba5"},"other_id":"n-2137bba207333614","other":{"id":"n-2137bba207333614","name":"basis_map_A008277 of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-14e66869ea533ba5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["36","64","16"],["1296","8704","9856","3072","256"]],"card_rows":[["1"],["36","64","16"],["1296","8704","9856","3072","256"],["46656","953344","2788096","2396160","773120","98304","4096"]],"row_sums_preview":["1","116","23184","7059776","2983399680","1648092623872","1142234168922112","963872942447214592"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013611","basis A008277"],"edges":["e-a6b5412d61e1c4e3","e-c793b959ef8a7384"],"text":"A034870 \u2192 basis A013611 \u2192 basis A008277"},"headline":"A034870 \u2192 basis A013611 \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:         9,            16,               4;\n  2:        81,           544,             616,               192,                 16;\n  3:       729,         14896,           43564,             37440,              12080,               1536,                  64;\n  4:      6561,        384064,         2495056,           4486272,            3133536,             989184,              148736,               10240,                256;\n  5:     59049,       9706576,       131501524,         444766080,          568588960,          335526912,           101394048,            16435200,            1424640,              61440,              1024;\n  6:    531441,     243609184,      6676768696,       40272927552,        87115913456,        85775382528,         43877523712,         12581099520,         2103205632,          206807040,          11646976,           344064,             4096;\n  7:   4782969,    6098732656,    333010412284,     3476738166720,     12178649705040,     18838695203328,      15024327910592,       6787200808960,      1840606493440,       309782753280,       32773092352,       2160377856,         85356544,        1835008,         16384;\n  8:  43046721,  152544843904,  16463898917536,   292296519628032,   1614018182627776,   3782221627871232,    4484155310089728,    2998412800880640,   1213234714019328,    311011516907520,    51960274116608,    5735584038912,     417996587008,    19744686080,     577372160,      9437184,      65536;\n  9: 387420489, 3814309845136, 810392295399844, 24203473034607360, 207053916478752320, 717837513954883584, 1227195428661488896, 1168656125811732480, 671800074664742400, 246208507281285120, 59708937351624704, 9816972407144448, 1109061348442112, 86363234893824, 4596203323392, 163159474176, 3673227264, 47185920, 262144;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (9+16*x+4*x^2)*P(n-1,x) + (16*x+8*x^2)*d/dx P(n-1,x) + 4*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[(9 + 16*x + 4*x^2)*P[n - 1, x] + (16*x + 8*x^2)*D[P[n - 1, x], x] + 4*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] = (9 + 16*x + 4*x^2)*v[i - 1] + (16*x + 8*x^2)*deriv(v[i - 1], x) + 4*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-cdb0db4ad473ee28","steps":["basis A013609","basis A008277"],"edges":["e-20c0b01c4fb345ed","e-f0fe964ac6ea2e49"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 basis A008277"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 basis A008277","chain":null}