{"id":"n-a228635cac40c96b","revision":0,"first_index":0,"fingerprint":"f6-111fd8abade84f64","name":"theta_plus_one of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","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"],["4","32","48"],["16","256","1152","2048","1280"],["64","1536","11520","40960","76800","73728","28672"],["256","8192","86016","458752","1433600","2752512","3211264","2097152","589824"],["1024","40960","552960","3932160","17203200","49545216","96337920","125829120","106168320","52428800","11534336"],["4096","196608","3244032","28835840","162201600","622854144","1695547392","3321888768","4671406080","4613734400","3045064704","1207959552","218103808"],["16384","917504","17891328","190840832","1312030720","6297747456","22042116096","57579405312","113359454208","167939932160","184733925376","146565758976","79389786112","26306674688","4026531840"],["65536","4194304","94371840","1174405120","9542041600","54962159616","235115905024","767725404160","1943304929280","3838627020800","5911485612032","7035156430848","6351182888960","4209067950080","1932735283200","549755813888","73014444032"],["262144","18874368","481296384","6845104128","64172851200","431241560064","2180165664768","8542689951744","26428947038208","65256659353600","129208185520128","205024558841856","259128261869568","257594958544896","197138998886400","112150186033152","44684839747584","11132555231232","1305670057984"],["1048576","83886080","2390753280","38252052480","406428057600","3121367482368","18207976980480","83236466196480","304333329530880","901728383795200","2182182688784384","4328296242216960","7033481393602560","9322484214005760","9988375943577600","8523414138519552","5660079701360640","2820247325245440","992309244067840","219902325555200","23089744183296"],["4194304","369098752","11626610688","206695301120","2454506700800","21206937894912","140201422749696","732480902529024","3090153807544320","10682013161881600","30550557642981376","72715376869244928","144420817948639232","239277094826147840","329616406138060800","375030222094860288","348660909603815424","260590852852678656","152815623586447360","67729916271001600","21334923625365504","4257309022748672","404620279021568"],["16777216","1610612736","55566139392","1086626725888","14261975777280","136914967461888","1011649481801728","5946021444059136","28429415029407744","112313738387783680","370635336679686144","1029202257226235904","2415766409322692608","4802943867055767552","8086589163920424960","11500926810909048832","13747201578664722432","13699633407112249344","11247229895962525696","7477382756318576640","3925625947067252736","1566689720371511296","446700788039811072","81064793292668928","7036874417766400"],["67108864","6979321856","261724569600","5583457484800","80262201344000","847568846192640","6921812243906560","45203671796940800","241557121164902400","1073587205177344000","4015216147363266560","12742504137086730240","34510948704609894400","80049064450929459200","159281301713584128000","271840088257850245120","397141378939203092480","494708984145720115200","522192816598260121600","462885599200673792000","340220915412495237120","203669663648296468480","96785170741959065600","35128077093489868800","9147936743096320000","1522216674051227648","121597189939003392"],["268435456","30064771072","1217623228416","28140625723392","439697276928000","5065312630210560","45306407414661120","325466436937973760","1922286143164907520","9492771077357568000","39679783103354634240","141666663641728942080","434837953678084669440","1152706528093384212480","2646520090010320896000","5269515556998327828480","9098147953879925391360","13599999709605978439680","17545678637701540085760","19441195166428299264000","18371929432274742804480","14664215782677345730560","9755945210789473812480","5311365256535668162560","2305280059260272640000","767197203721818734592","183854951187773128704","28246576862867750912","2089670227099910144"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","84","4752","233280","10637568","463574016","19591041024","809763028992","32912948920320","1320279436689408","52404937640902656","2062073360195518464","80552482751467487232","3127331683292267151360","120771863551141371445248"],"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","-2"],["0","4"]]},"terms":[{"coeff":{"coeffs":[["4","24","48","32"],["0","16","64","64"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192737,"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-437e4f11804b4654"]},{"id":192738,"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-437e4f11804b4654"]},{"id":192739,"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-437e4f11804b4654"]}],"region_exact":{},"incoming_edges":[{"id":"e-437e4f11804b4654","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-a228635cac40c96b","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":"a0e337df47d780e39ec2a6fe943c5b9e4d9bef604c296defd5ef8dfa93eb9d10","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-0ca8dc857c80d449","role":"sequence","name":"basis_map_A013611 of Even-numbered rows of Pascal's triangle.","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-f8ad4ed31d7f154d","kind":"fingerprint_related","node_a_id":"n-37dbd4914c5d1bbb","node_b_id":"n-a228635cac40c96b","fingerprint":"f6-111fd8abade84f64","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-111fd8abade84f64"},"other_id":"n-37dbd4914c5d1bbb","other":{"id":"n-37dbd4914c5d1bbb","name":"theta_plus_one 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","first_index":0,"fingerprint":"f6-111fd8abade84f64","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","8","12"],["1","16","72","128","80"]],"card_rows":[["1"],["1","8","12"],["1","16","72","128","80"],["1","24","180","640","1200","1152","448"]],"row_sums_preview":["1","21","297","3645","41553","452709","4782969","49424013"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013609","\u03b8+1"],"edges":["e-20c0b01c4fb345ed","e-6733c50e4a46b5ed"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \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:      4,       32,        48;\n  2:     16,      256,      1152,       2048,        1280;\n  3:     64,     1536,     11520,      40960,       76800,        73728,         28672;\n  4:    256,     8192,     86016,     458752,     1433600,      2752512,       3211264,       2097152,         589824;\n  5:   1024,    40960,    552960,    3932160,    17203200,     49545216,      96337920,     125829120,      106168320,       52428800,        11534336;\n  6:   4096,   196608,   3244032,   28835840,   162201600,    622854144,    1695547392,    3321888768,     4671406080,     4613734400,      3045064704,      1207959552,       218103808;\n  7:  16384,   917504,  17891328,  190840832,  1312030720,   6297747456,   22042116096,   57579405312,   113359454208,   167939932160,    184733925376,    146565758976,     79389786112,     26306674688,      4026531840;\n  8:  65536,  4194304,  94371840, 1174405120,  9542041600,  54962159616,  235115905024,  767725404160,  1943304929280,  3838627020800,   5911485612032,   7035156430848,   6351182888960,   4209067950080,   1932735283200,    549755813888,    73014444032;\n  9: 262144, 18874368, 481296384, 6845104128, 64172851200, 431241560064, 2180165664768, 8542689951744, 26428947038208, 65256659353600, 129208185520128, 205024558841856, 259128261869568, 257594958544896, 197138998886400, 112150186033152, 44684839747584, 11132555231232, 1305670057984;\n","recurrence_sentence":"The row polynomials satisfy (1+(4*n-2)*x)*P(n,x) = (4+(16*n+24)*x+(64*n+48)*x^2+(64*n+32)*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[((4 + (16*n + 24)*x + (64*n + 48)*x^2 + (64*n + 32)*x^3)*P[n - 1, x])/(1 + (4*n - 2)*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] = ((4 + (16*n + 24)*x + (64*n + 48)*x^2 + (64*n + 32)*x^3)*v[i - 1])/(1 + (4*n - 2)*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-08f49539099949d5","steps":["basis A013611","\u03b8+1"],"edges":["e-a6b5412d61e1c4e3","e-437e4f11804b4654"],"text":"A034870 \u2192 basis A013611 \u2192 \u03b8+1"},"headline":"A034870 \u2192 basis A013611 \u2192 \u03b8+1","chain":null}