{"id":"n-99ecd1e39085266b","revision":0,"first_index":0,"fingerprint":"f6-8f73d974446259d9","name":"theta_plus_one of basis_map_A007318 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","16","6"],["64","256","288","128","20"],["512","3072","5760","5120","2400","576","56"],["4096","32768","86016","114688","89600","43008","12544","2048","144"],["32768","327680","1105920","1966080","2150400","1548288","752640","245760","51840","6400","352"],["262144","3145728","12976128","28835840","40550400","38928384","26492928","12976128","4561920","1126400","185856","18432","832"],["2097152","29360128","143130624","381681664","656015360","787218432","688816128","449839104","221405184","82001920","22550528","4472832","605696","50176","1920"],["16777216","268435456","1509949440","4697620480","9542041600","13740539904","14694744064","11995709440","7591034880","3748659200","1443233792","429391872","96911360","16056320","1843200","131072","4352"],["134217728","2415919104","15401484288","54760833024","128345702400","215620780032","272520708096","266959060992","206476148736","127454412800","63089934336","25027411968","7907966976","1965293568","376012800","53477376","5326848","331776","9728"],["1073741824","21474836480","153008209920","612032839680","1625712230400","3121367482368","4551994245120","5202279137280","4755208273920","3522376499200","2131037782016","1056712949760","429289635840","142249820160","38102630400","8128561152","1349468160","168099840","14786560","819200","21504"],["8589934592","188978561024","1488206168064","6614249635840","19636053606400","42413875789824","70100711374848","91560112816128","96567306485760","83453227827200","59669057896448","35505555111936","17629494378496","7302157434880","2514773606400","715313381376","166254477312","31064850432","4554260480","504627200","39739392","1982464","47104"],["68719476736","1649267441664","14224931684352","69544110456832","228191612436480","547659869847552","1011649481801728","1486505361014784","1776838439337984","1754902162309120","1447794283905024","1005080329322496","589786721026048","293148429385728","123391558287360","43872554057728","13110353068032","3266247131136","670387142656","111421685760","14624096256","1459093504","104005632","4718592","102400"],["549755813888","14293651161088","134002979635200","714682558054400","2568390443008000","6780550769541120","13843624487813120","22601835898470400","30194640145612800","33549600161792000","31368876151275520","24887703392747520","16851049172172800","9771614312857600","4860879568896000","2073975282728960","757487066152960","235895626137600","62250234675200","13795065856000","2534843351040","379364311040","45069107200","4089446400","266240000","11075584","221184"],["4398046511104","123145302310912","1246846185897984","7204000185188352","28140625723392000","81045002083368960","181225629658644480","325466436937973760","480571535791226880","593298192334848000","619996610989916160","553385404850503680","424646439138754560","281422492210298880","161530767212544000","80406426345799680","34706680121917440","12969970426183680","4183215770173440","1158785531904000","273763081912320","54628460789760","9085932011520","1236648591360","134184960000","11164188672","668860416","25690112","475136"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","30","756","17496","384912","8188128","170061120","3469246848","69793083648","1388515032576","27373582070784","535570083993600","10411482432835584","201288660368154624","3873071465014837248"],"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":[["2","-1"],["0","2"]]},"terms":[{"coeff":{"coeffs":[["16","24","12","2"],["0","16","16","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189663,"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-e40fd8f7fbd5f93e"]},{"id":189664,"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-e40fd8f7fbd5f93e"]},{"id":189665,"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-e40fd8f7fbd5f93e"]}],"region_exact":{},"incoming_edges":[{"id":"e-e40fd8f7fbd5f93e","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-99ecd1e39085266b","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":"49850c2b2c39639c0c72a7682ee88f22e1d6bcf26be9bcd3a52a24239b6ad59d","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-4d3a36b3f07ad6a5","role":"sequence","name":"basis_map_A007318 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-20a248a7f192108a","kind":"fingerprint_related","node_a_id":"n-b8dd0525caf58a39","node_b_id":"n-99ecd1e39085266b","fingerprint":"f6-8f73d974446259d9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8f73d974446259d9"},"other_id":"n-b8dd0525caf58a39","other":{"id":"n-b8dd0525caf58a39","name":"theta_plus_one of basis_map_A007318 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-8f73d974446259d9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","8","3"],["16","64","72","32","5"]],"card_rows":[["1"],["4","8","3"],["16","64","72","32","5"],["64","384","720","640","300","72","7"]],"row_sums_preview":["1","15","189","2187","24057","255879","2657205","27103491"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["x \u21a6 x+1","\u03b8+1"],"edges":["e-cfe8f3b6680af0c3","e-8b159029e702921b"],"text":"A034870 \u2192 x \u21a6 x+1 \u2192 \u03b8+1"},"headline":"A034870 \u2192 x \u21a6 x+1 \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,         16,           6;\n  2:        64,        256,         288,         128,           20;\n  3:       512,       3072,        5760,        5120,         2400,          576,           56;\n  4:      4096,      32768,       86016,      114688,        89600,        43008,        12544,         2048,          144;\n  5:     32768,     327680,     1105920,     1966080,      2150400,      1548288,       752640,       245760,        51840,         6400,         352;\n  6:    262144,    3145728,    12976128,    28835840,     40550400,     38928384,     26492928,     12976128,      4561920,      1126400,      185856,       18432,        832;\n  7:   2097152,   29360128,   143130624,   381681664,    656015360,    787218432,    688816128,    449839104,    221405184,     82001920,    22550528,     4472832,     605696,      50176,      1920;\n  8:  16777216,  268435456,  1509949440,  4697620480,   9542041600,  13740539904,  14694744064,  11995709440,   7591034880,   3748659200,  1443233792,   429391872,   96911360,   16056320,   1843200,   131072,    4352;\n  9: 134217728, 2415919104, 15401484288, 54760833024, 128345702400, 215620780032, 272520708096, 266959060992, 206476148736, 127454412800, 63089934336, 25027411968, 7907966976, 1965293568, 376012800, 53477376, 5326848, 331776, 9728;\n","recurrence_sentence":"The row polynomials satisfy (2+(2*n-1)*x)*P(n,x) = (16+(16*n+24)*x+(16*n+12)*x^2+(4*n+2)*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[((16 + (16*n + 24)*x + (16*n + 12)*x^2 + (4*n + 2)*x^3)*P[n - 1, x])/(2 + (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] = ((16 + (16*n + 24)*x + (16*n + 12)*x^2 + (4*n + 2)*x^3)*v[i - 1])/(2 + (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":["x \u21a6 x+1","\u03b8+1"],"edges":["e-9d7e9cd87d9b797c","e-e40fd8f7fbd5f93e"],"text":"A139548 \u2192 x \u21a6 x+1 \u2192 \u03b8+1"},"headline":"A139548 \u2192 x \u21a6 x+1 \u2192 \u03b8+1","chain":null}