{"id":"n-d3d706d2f2257431","revision":0,"first_index":0,"fingerprint":"f6-d7967bc76bb8e021","name":"shift_x_plus_one of basis_map_A013610 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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":true,"rows":[["1"],["45","57","18"],["2025","5130","4869","2052","324"],["91125","346275","547965","462213","219186","55404","5832"],["4100625","20776500","46036350","58266540","46072881","23306616","7365816","1329696","104976"],["184528125","1168678125","3329707500","5620043250","6223126725","4723749657","2489250690","899206920","213101280","29918160","1889568"],["8303765625","63108618750","219772996875","463731480000","660317902875","668447736390","493286292549","267379094556","105650864460","29678814720","5626188720","646232256","34012224"],["373669453125","3313202484375","13636443909375","34530932559375","60102913933125","76065435241425","72185126390685","52181437185333","28874050556274","12170469638628","3846586491720","883991873520","139637185632","13570877376","612220032"],["16815125390625","170393270625000","809218567687500","2390806912725000","4918350273243750","7470367466121000","8665912947138300","7831894711954680","5573006469628641","3132757884781872","1386546071542128","478103517831744","125909766995040","24481862786304","3314559253248","279172334592","11019960576"],["756680642578125","8626159325390625","46429924228593750","156778848302062500","372167690539668750","659547025979388750","904307333108508000","980858914415021700","853189722763195005","599609578399201017","341275889105278002","156937426306403472","57875669318944512","16884403865072352","3810997151126208","642166162645248","76070787856128","5653239775488","198359290368"],["34050628916015625","431307966269531250","2594657923400390625","9856824722479687500","26519679063617343750","53715193799270737500","84987028900422056250","107556015603489930000","110580027641953156125","93269705684936551650","64892575988229478149","37307882273974620660","17692804422712504980","6883584998623355520","2175667939850804640","550043584504532352","108624605444576640","16149421625310720","1700435016679680","113064795509760","3570467226624"],["1532278301220703125","21349744330341796875","141957071950869140625","599216157538259765625","1801928409665329687500","4106228272598006156250","7363536570222536756250","10651154837867977331250","12636560653494415048125","12436206612276293463375","10226979641066866771005","7056586235986796113893","4090791856426746708402","1989793057964206954140","808739881823642563080","272669563849420219680","75402614479078776384","16819111004561433216","2952279506395676160","392702301004273920","37213194669488640","2238682951093248","64268410079232"],["68952523554931640625","1048078358034960937500","7632584674040566406250","35440575588367382812500","117797326709736287109375","298276082453522745000000","597848868572076439312500","972935661113507685825000","1308304713429729046659375","1471634041883238455557500","1396535952510657202973850","1124335939181190513413220","770396682529654582248081","449734375672476205365288","223445752401705152475816","94184578680527261155680","33492600663801063594480","9962861169802318702848","2448788965671225095424","488695533491851665408","77199656032492773120","9290534247036979200","800334510716676096","43959592494194688","1156831381426176"],["3102863559971923828125","51093819954204345703125","404447922163807031250000","2048748638341473808593750","7458379034607803935546875","20774801693454104780859375","46025287666369489402031250","83228459742879612312937500","125092324422105121099321875","158309742450283424504521875","170276743092059288940469500","156687079310159325873139350","123892646392354145119246485","84388704714713169671016537","49557058556941658047698594","25069932689625492139702296","10897711557891794492190048","4052729406727255667315760","1280945402082356440057056","340903771106834892033792","75407831312579771436288","13614974037822082109184","1955169313648228154880","214826865219754924032","16963775377233444864","857212053636796416","20822964865671168"],["139628860198736572265625","2476085120857595214843750","21168355778840458740234375","116166909047879000390625000","459685791541763710751953125","1396871156668226068019531250","3389552464136451466440234375","6742668515894817336053437500","11201631982333519160543484375","15752313177694579026997706250","18937770598406715378866668125","19606268289309650774979426000","17571313983992085306063485775","13679739984109146772709302110","9270291438863399895540816069","5471895993643658709083720844","2811410237438733648970157724","1254801170515817649598683264","484806927319211913698986704","161303686939592489236456512","45881884599638094481586112","11047188096442068723389952","2221377102896464833046272","366181392493635454374912","48201548855169642476544","4872393312871550828544","355146077266454605824","16616725962805592064","374813367582081024"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","120","14400","1728000","207360000","24883200000","2985984000000","358318080000000","42998169600000000","5159780352000000000","619173642240000000000","74300837068800000000000","8916100448256000000000000","1069932053790720000000000000","128391846454886400000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["45","57","18"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193179,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, -1]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, -1]","region_exact":null,"edges":["e-1b12eeb376f22701"]},{"id":193180,"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-1b12eeb376f22701","e-223585f32c9f6f3b"]},{"id":193181,"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-1b12eeb376f22701","e-223585f32c9f6f3b"]},{"id":193182,"position":3,"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-223585f32c9f6f3b"]}],"region_exact":{},"incoming_edges":[{"id":"e-223585f32c9f6f3b","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-d3d706d2f2257431","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"ad292fca340f2506ce1b18946fc7549bc4417a9a962b0ec6e7311e44aaf75569","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-2ff1c5d05cc7026f","role":"sequence","name":"basis_map_A013610 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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]"}]},{"id":"e-1b12eeb376f22701","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-d3d706d2f2257431","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":null,"lean_declarations":["Polynomial.Splits.comp_of_degree_le_one"],"certificate_hash":"0bd8efdc90599e8be0e53561e5bb02eb772b16e861d8864d09d7f6ccf7d1167a","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}}],"premises":[{"position":0,"node_id":"n-2ff1c5d05cc7026f","role":"sequence","name":"basis_map_A013610 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","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-a3c2658b5e743669","kind":"fingerprint_related","node_a_id":"n-b946de2fe5de2258","node_b_id":"n-d3d706d2f2257431","fingerprint":"f6-d7967bc76bb8e021","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-d7967bc76bb8e021"},"other_id":"n-b946de2fe5de2258","other":{"id":"n-b946de2fe5de2258","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle, read by rows of 2*n+1 terms, where row n lists the coefficients in (1+3*x+2*x^2)^n.","first_index":0,"fingerprint":"f6-d7967bc76bb8e021","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["6","19","15"],["36","228","541","570","225"]],"card_rows":[["1"],["6","19","15"],["36","228","541","570","225"],["216","2052","8118","17119","20295","12825","3375"]],"row_sums_preview":["1","40","1600","64000","2560000","102400000","4096000000","163840000000"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-eed4f744ce063213","steps":["basis A007318","x \u21a6 x/(x+1)"],"edges":["e-6e97878f95ac8f6d","e-dc0cd00d7ecc8873"],"text":"A200536 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)"},"headline":"A200536 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)","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:              45,               57,                18;\n  2:            2025,             5130,              4869,               2052,                324;\n  3:           91125,           346275,            547965,             462213,             219186,              55404,               5832;\n  4:         4100625,         20776500,          46036350,           58266540,           46072881,           23306616,            7365816,            1329696,             104976;\n  5:       184528125,       1168678125,        3329707500,         5620043250,         6223126725,         4723749657,         2489250690,          899206920,          213101280,           29918160,            1889568;\n  6:      8303765625,      63108618750,      219772996875,       463731480000,       660317902875,       668447736390,       493286292549,       267379094556,       105650864460,        29678814720,         5626188720,          646232256,          34012224;\n  7:    373669453125,    3313202484375,    13636443909375,     34530932559375,     60102913933125,     76065435241425,     72185126390685,     52181437185333,     28874050556274,     12170469638628,      3846586491720,       883991873520,      139637185632,       13570877376,        612220032;\n  8:  16815125390625,  170393270625000,   809218567687500,   2390806912725000,   4918350273243750,   7470367466121000,   8665912947138300,   7831894711954680,   5573006469628641,   3132757884781872,   1386546071542128,    478103517831744,   125909766995040,    24481862786304,    3314559253248,    279172334592,    11019960576;\n  9: 756680642578125, 8626159325390625, 46429924228593750, 156778848302062500, 372167690539668750, 659547025979388750, 904307333108508000, 980858914415021700, 853189722763195005, 599609578399201017, 341275889105278002, 156937426306403472, 57875669318944512, 16884403865072352, 3810997151126208, 642166162645248, 76070787856128, 5653239775488, 198359290368;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (45+57*x+18*x^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[(45 + 57*x + 18*x^2)*P[n - 1, x]];\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] = (45 + 57*x + 18*x^2)*v[i - 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-eed4f744ce063213","steps":["basis A013610","x \u21a6 x+1"],"edges":["e-bf76d3591eaf645b","e-1b12eeb376f22701"],"text":"A200536 \u2192 basis A013610 \u2192 x \u21a6 x+1"},"headline":"A200536 \u2192 basis A013610 \u2192 x \u21a6 x+1","chain":null}