{"id":"n-062516b812f0ea15","revision":0,"first_index":0,"fingerprint":"f6-c94e3f620e523ccf","name":"theta_plus_one of basis_map_A013609 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":true,"rows":[["1"],["8","32","24"],["64","512","1152","1024","320"],["512","6144","23040","40960","38400","18432","3584"],["4096","65536","344064","917504","1433600","1376256","802816","262144","36864"],["32768","655360","4423680","15728640","34406400","49545216","48168960","31457280","13271040","3276800","360448"],["262144","6291456","51904512","230686720","648806400","1245708288","1695547392","1660944384","1167851520","576716800","190316544","37748736","3407872"],["2097152","58720256","572522496","3053453312","10496245760","25190989824","44084232192","57579405312","56679727104","41984983040","23091740672","9160359936","2480930816","411041792","31457280"],["16777216","536870912","6039797760","37580963840","152672665600","439697276928","940463620096","1535450808320","1943304929280","1919313510400","1477871403008","879394553856","396948930560","131533373440","30198988800","4294967296","285212672"],["134217728","4831838208","61605937152","438086664192","2053531238400","6899864961024","17441325318144","34170759806976","52857894076416","65256659353600","64604092760064","51256139710464","32391032733696","16099684909056","6160593715200","1752346656768","349100310528","43486543872","2550136832"],["1073741824","42949672960","612032839680","4896262717440","26011395686400","99883759435776","291327631687680","665891729571840","1217333318123520","1803456767590400","2182182688784384","2164148121108480","1758370348400640","1165310526750720","624273496473600","266356691828736","88438745333760","22033182228480","3876207984640","429496729600","22548578304"],["8589934592","377957122048","5952824672256","52913997086720","314176857702400","1357244025274368","4486445527990272","11719694440464384","24721230460354560","42728052647526400","61101115285962752","72715376869244928","72210408974319616","59819273706536960","41202050767257600","23439388880928768","10895653425119232","4071732075823104","1193872059269120","264569985433600","41669772705792","4157528342528","197568495616"],["68719476736","3298534883328","56899726737408","556352883654656","3651065798983680","17525115835121664","64745566835310592","190272686209892352","454870640470523904","898509907102269440","1482541346718744576","2058404514452471808","2415766409322692608","2401471933527883776","2021647290980106240","1437615851363631104","859200098666545152","428113543972257792","175737967124414464","58417052783738880","15334476355731456","3059940860100608","436231238320128","39582418599936","1717986918400"],["549755813888","28587302322176","536011918540800","5717460464435200","41094247088128000","216977624625315840","885991967220039680","2893034995004211200","7729827877276876800","17177395282837504000","32121729178906132480","50970016548346920960","69021897409219788800","80049064450929459200","79640650856792064000","67960022064462561280","49642672367400386560","30919311509107507200","16318525518695628800","7232587487510528000","2657975901660119040","795584623626158080","189033536605388800","34304762786611200","4466765987840000","371634930188288","14843406974976"],["4398046511104","246290604621824","4987384743591936","57632001481506816","450250011574272000","2593440066667806720","11598440298153246720","41659703928060641280","123026313162554081280","303768674475442176000","634876529653674147840","1133333309133831536640","1739351814712338677760","2305413056186768424960","2646520090010320896000","2634757778499163914240","2274536988469981347840","1699999963700747304960","1096604914856346255360","607537348950884352000","287061397379292856320","114564185802166763520","38109160979646382080","10373760266671226880","2251250057871360000","374608009629794304","44886462692327424","3448068464705536","127543348822016"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","64","3072","131072","5242880","201326592","7516192768","274877906944","9895604649984","351843720888320","12384898975268864","432345564227567616","14987979559889010688","516508834063867445248","17708874310761169551360"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["1","-1"],["0","2"]]},"terms":[{"coeff":{"coeffs":[["8","24","24","8"],["0","16","32","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192163,"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-080a31bf6a6c0614"]},{"id":192164,"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-080a31bf6a6c0614"]},{"id":192165,"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-080a31bf6a6c0614"]}],"region_exact":{},"incoming_edges":[{"id":"e-080a31bf6a6c0614","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"euler_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"euler_polynomial, shift 0","conclusion_id":"n-062516b812f0ea15","premise_count":1,"theorem":"Laguerre's theorem on multiplier sequences: if f is a real polynomial whose roots are all real and <= 0, then (f(k))_(k >= 0) is a multiplier sequence, so x^k -> f(k) x^k maps every real-rooted polynomial to a real-rooted polynomial or zero (Laguerre; see T. Craven and G. Csordas, Multiplier sequences for fields, Illinois J. Math. 21 (1977); Polya--Schur, Theorem 40 of P. Branden, arXiv:1410.6601: sum_k f(k) x^k / k! = f(theta) e^x = C e^x x^m prod (1 + x/a_j), a_j > 0); f(k) has one sign for k >= 0, so coefficients of one sign stay of one sign; applied to f(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.isMultiplierSequence_eval_of_roots_nonpos","RealRooted.isPFMultiplierSequence_eval_of_roots_nonpos","RealRooted.isMultiplierSequence_iff_preserves"],"certificate_hash":"8a6640a84a78669a795298ca68573c08d7318e896fbc389bfcf9a71f7f5651f7","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-32191567c95f77cc","role":"sequence","name":"basis_map_A013609 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-556c685bf8b24157","kind":"fingerprint_related","node_a_id":"n-ba46e27673af7615","node_b_id":"n-062516b812f0ea15","fingerprint":"f6-c94e3f620e523ccf","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-c94e3f620e523ccf"},"other_id":"n-ba46e27673af7615","other":{"id":"n-ba46e27673af7615","name":"one_plus_derivative of basis_map_A013609 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-c94e3f620e523ccf","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["12","16","4"],["80","256","288","128","16"]],"card_rows":[["1"],["12","16","4"],["80","256","288","128","16"],["448","2304","4800","5120","2880","768","64"]],"row_sums_preview":["1","32","768","16384","327680","6291456","117440512","2147483648"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013609","D+1"],"edges":["e-9638204c7017296b","e-bd54797fd4601349"],"text":"A034870 \u2192 basis A013609 \u2192 D+1"},"headline":"A034870 \u2192 basis A013609 \u2192 D+1","chain":null}},{"id":"l-5e9bb35122481ca9","kind":"fingerprint_related","node_a_id":"n-7bd744c0dbd95f40","node_b_id":"n-062516b812f0ea15","fingerprint":"f6-c94e3f620e523ccf","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-c94e3f620e523ccf"},"other_id":"n-7bd744c0dbd95f40","other":{"id":"n-7bd744c0dbd95f40","name":"one_plus_derivative 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.","first_index":0,"fingerprint":"f6-c94e3f620e523ccf","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["6","8","2"],["20","64","72","32","4"]],"card_rows":[["1"],["6","8","2"],["20","64","72","32","4"],["56","288","600","640","360","96","8"]],"row_sums_preview":["1","16","192","2048","20480","196608","1835008","16777216"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["D+1"],"edges":["e-9c1db95755a63baa"],"text":"A139548 \u2192 D+1"},"headline":"A139548 \u2192 D+1","chain":null}},{"id":"l-98993c09f52cda63","kind":"fingerprint_related","node_a_id":"n-858b0d55747d5753","node_b_id":"n-062516b812f0ea15","fingerprint":"f6-c94e3f620e523ccf","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-c94e3f620e523ccf"},"other_id":"n-858b0d55747d5753","other":{"id":"n-858b0d55747d5753","name":"one_plus_derivative of basis_map_A013609 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.","first_index":0,"fingerprint":"f6-c94e3f620e523ccf","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["24","32","8"],["320","1024","1152","512","64"]],"card_rows":[["1"],["24","32","8"],["320","1024","1152","512","64"],["3584","18432","38400","40960","23040","6144","512"]],"row_sums_preview":["1","64","3072","131072","5242880","201326592","7516192768","274877906944"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013609","D+1"],"edges":["e-65b163cdbb61d2ab","e-d857b9ad6c2e00bb"],"text":"A139548 \u2192 basis A013609 \u2192 D+1"},"headline":"A139548 \u2192 basis A013609 \u2192 D+1","chain":null}},{"id":"l-9a01aa1a75d453da","kind":"fingerprint_related","node_a_id":"n-af8dc2447e44dda7","node_b_id":"n-062516b812f0ea15","fingerprint":"f6-c94e3f620e523ccf","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-c94e3f620e523ccf"},"other_id":"n-af8dc2447e44dda7","other":{"id":"n-af8dc2447e44dda7","name":"theta_plus_one of basis_map_A013609 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-c94e3f620e523ccf","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","16","12"],["16","128","288","256","80"]],"card_rows":[["1"],["4","16","12"],["16","128","288","256","80"],["64","768","2880","5120","4800","2304","448"]],"row_sums_preview":["1","32","768","16384","327680","6291456","117440512","2147483648"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013609","\u03b8+1"],"edges":["e-9638204c7017296b","e-8e6d4528786be9f7"],"text":"A034870 \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"A034870 \u2192 basis A013609 \u2192 \u03b8+1","chain":null}},{"id":"l-a6faa73bf656cbdd","kind":"fingerprint_related","node_a_id":"n-219cad7cbf04e6ec","node_b_id":"n-062516b812f0ea15","fingerprint":"f6-c94e3f620e523ccf","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-c94e3f620e523ccf"},"other_id":"n-219cad7cbf04e6ec","other":{"id":"n-219cad7cbf04e6ec","name":"one_plus_derivative of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-c94e3f620e523ccf","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["3","4","1"],["5","16","18","8","1"]],"card_rows":[["1"],["3","4","1"],["5","16","18","8","1"],["7","36","75","80","45","12","1"]],"row_sums_preview":["1","8","48","256","1280","6144","28672","131072"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["D+1"],"edges":["e-ef6e801bbc7a43dc"],"text":"A034870 \u2192 D+1"},"headline":"A034870 \u2192 D+1","chain":null}},{"id":"l-c1ab13761c82d987","kind":"fingerprint_related","node_a_id":"n-0f474f59a27a747e","node_b_id":"n-062516b812f0ea15","fingerprint":"f6-c94e3f620e523ccf","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-c94e3f620e523ccf"},"other_id":"n-0f474f59a27a747e","other":{"id":"n-0f474f59a27a747e","name":"theta_plus_one 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.","first_index":0,"fingerprint":"f6-c94e3f620e523ccf","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2","8","6"],["4","32","72","64","20"]],"card_rows":[["1"],["2","8","6"],["4","32","72","64","20"],["8","96","360","640","600","288","56"]],"row_sums_preview":["1","16","192","2048","20480","196608","1835008","16777216"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["\u03b8+1"],"edges":["e-9db0d93fff704495"],"text":"A139548 \u2192 \u03b8+1"},"headline":"A139548 \u2192 \u03b8+1","chain":null}},{"id":"l-e4fb91361f134707","kind":"fingerprint_related","node_a_id":"n-3c1634d384f562fa","node_b_id":"n-062516b812f0ea15","fingerprint":"f6-c94e3f620e523ccf","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-c94e3f620e523ccf"},"other_id":"n-3c1634d384f562fa","other":{"id":"n-3c1634d384f562fa","name":"theta_plus_one of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-c94e3f620e523ccf","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","4","3"],["1","8","18","16","5"]],"card_rows":[["1"],["1","4","3"],["1","8","18","16","5"],["1","12","45","80","75","36","7"]],"row_sums_preview":["1","8","48","256","1280","6144","28672","131072"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["\u03b8+1"],"edges":["e-893f1bb3064921cb"],"text":"A034870 \u2192 \u03b8+1"},"headline":"A034870 \u2192 \u03b8+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:         8,         32,          24;\n  2:        64,        512,        1152,         1024,           320;\n  3:       512,       6144,       23040,        40960,         38400,         18432,           3584;\n  4:      4096,      65536,      344064,       917504,       1433600,       1376256,         802816,         262144,          36864;\n  5:     32768,     655360,     4423680,     15728640,      34406400,      49545216,       48168960,       31457280,       13271040,        3276800,         360448;\n  6:    262144,    6291456,    51904512,    230686720,     648806400,    1245708288,     1695547392,     1660944384,     1167851520,      576716800,      190316544,       37748736,        3407872;\n  7:   2097152,   58720256,   572522496,   3053453312,   10496245760,   25190989824,    44084232192,    57579405312,    56679727104,    41984983040,    23091740672,     9160359936,     2480930816,      411041792,      31457280;\n  8:  16777216,  536870912,  6039797760,  37580963840,  152672665600,  439697276928,   940463620096,  1535450808320,  1943304929280,  1919313510400,  1477871403008,   879394553856,   396948930560,   131533373440,   30198988800,    4294967296,    285212672;\n  9: 134217728, 4831838208, 61605937152, 438086664192, 2053531238400, 6899864961024, 17441325318144, 34170759806976, 52857894076416, 65256659353600, 64604092760064, 51256139710464, 32391032733696, 16099684909056, 6160593715200, 1752346656768, 349100310528, 43486543872, 2550136832;\n","recurrence_sentence":"The row polynomials satisfy (1+(2*n-1)*x)*P(n,x) = (8+(16*n+24)*x+(32*n+24)*x^2+(16*n+8)*x^3)*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[((8 + (16*n + 24)*x + (32*n + 24)*x^2 + (16*n + 8)*x^3)*P[n - 1, x])/(1 + (2*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] = ((8 + (16*n + 24)*x + (32*n + 24)*x^2 + (16*n + 8)*x^3)*v[i - 1])/(1 + (2*n - 1)*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 A013609","\u03b8+1"],"edges":["e-65b163cdbb61d2ab","e-080a31bf6a6c0614"],"text":"A139548 \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"A139548 \u2192 basis A013609 \u2192 \u03b8+1","chain":null}