{"id":"n-b8dd0525caf58a39","revision":0,"first_index":0,"fingerprint":"f6-8f73d974446259d9","name":"theta_plus_one of basis_map_A007318 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","8","3"],["16","64","72","32","5"],["64","384","720","640","300","72","7"],["256","2048","5376","7168","5600","2688","784","128","9"],["1024","10240","34560","61440","67200","48384","23520","7680","1620","200","11"],["4096","49152","202752","450560","633600","608256","413952","202752","71280","17600","2904","288","13"],["16384","229376","1118208","2981888","5125120","6150144","5381376","3514368","1729728","640640","176176","34944","4732","392","15"],["65536","1048576","5898240","18350080","37273600","53673984","57401344","46858240","29652480","14643200","5637632","1677312","378560","62720","7200","512","17"],["262144","4718592","30081024","106954752","250675200","421134336","532267008","521404416","403273728","248934400","123222528","48881664","15445248","3838464","734400","104448","10404","648","19"],["1048576","20971520","149422080","597688320","1587609600","3048210432","4445306880","5080350720","4643758080","3439820800","2081091584","1031946240","419228160","138915840","37209600","7938048","1317840","164160","14440","800","21"],["4194304","92274688","726663168","3229614080","9587916800","20709900288","34228862976","44707086336","47152005120","40748646400","29135282176","17336696832","8608151552","3565506560","1227916800","349274112","81178944","15168384","2223760","246400","19404","968","23"],["16777216","402653184","3472883712","16978542592","55710842880","133706022912","246984736768","362916347904","433798447104","428442910720","353465401344","245380939776","143990898688","71569440768","30124892160","10711072768","3200769792","797423616","163668736","27202560","3570336","356224","25392","1152","25"],["67108864","1744830464","16357785600","87241523200","313524224000","827703951360","1689895567360","2759013171200","3685869158400","4095410176000","3829208514560","3038049730560","2057012838400","1192824012800","593369088000","253170810880","92466682880","28795852800","7598905600","1683968000","309429120","46309120","5501600","499200","32500","1352","27"],["268435456","7516192768","76101451776","439697276928","1717567488000","4946594365440","11061134622720","19864894832640","29331758776320","36212047872000","37841590026240","33775964651520","25918361763840","17176665784320","9859055616000","4907618795520","2118327644160","791624171520","255323228160","70726656000","16709172480","3334256640","554561280","75479040","8190000","681408","40824","1568","29"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","15","189","2187","24057","255879","2657205","27103491","272629233","2711943423","26732013741","261508830075","2541865828329","24571369673847","236393522034597"],"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":[["8","12","6","1"],["0","8","8","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":184404,"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-8b159029e702921b"]},{"id":184405,"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-8b159029e702921b"]},{"id":184406,"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-8b159029e702921b"]}],"region_exact":{},"incoming_edges":[{"id":"e-8b159029e702921b","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-b8dd0525caf58a39","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":"8715da66ef39facc0e6df9bb0ef654fb3649fa62acd245bf556b85d2ba86f1aa","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-8c0973a753fcbe28","role":"sequence","name":"basis_map_A007318 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-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-99ecd1e39085266b","other":{"id":"n-99ecd1e39085266b","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.","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"],["8","16","6"],["64","256","288","128","20"]],"card_rows":[["1"],["8","16","6"],["64","256","288","128","20"],["512","3072","5760","5120","2400","576","56"]],"row_sums_preview":["1","30","756","17496","384912","8188128","170061120","3469246848"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"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}}],"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,       8,        3;\n  2:     16,      64,       72,        32,         5;\n  3:     64,     384,      720,       640,       300,        72,         7;\n  4:    256,    2048,     5376,      7168,      5600,      2688,       784,       128,         9;\n  5:   1024,   10240,    34560,     61440,     67200,     48384,     23520,      7680,      1620,       200,        11;\n  6:   4096,   49152,   202752,    450560,    633600,    608256,    413952,    202752,     71280,     17600,      2904,      288,       13;\n  7:  16384,  229376,  1118208,   2981888,   5125120,   6150144,   5381376,   3514368,   1729728,    640640,    176176,    34944,     4732,     392,     15;\n  8:  65536, 1048576,  5898240,  18350080,  37273600,  53673984,  57401344,  46858240,  29652480,  14643200,   5637632,  1677312,   378560,   62720,   7200,    512,    17;\n  9: 262144, 4718592, 30081024, 106954752, 250675200, 421134336, 532267008, 521404416, 403273728, 248934400, 123222528, 48881664, 15445248, 3838464, 734400, 104448, 10404, 648, 19;\n","recurrence_sentence":"The row polynomials satisfy (2+(2*n-1)*x)*P(n,x) = (8+(8*n+12)*x+(8*n+6)*x^2+(2*n+1)*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 + (8*n + 12)*x + (8*n + 6)*x^2 + (2*n + 1)*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] = ((8 + (8*n + 12)*x + (8*n + 6)*x^2 + (2*n + 1)*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-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}