{"id":"n-a9b3dce6b542bba6","revision":0,"first_index":0,"fingerprint":"f6-eefdbaf8408bdfd8","name":"theta_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["256","1280","1200"],["4096","30720","57600","32000"],["65536","655360","1843200","2048000","800000"],["1048576","13107200","49152000","81920000","64000000","19200000"],["16777216","251658240","1179648000","2621440000","3072000000","1843200000","448000000"],["268435456","4697620480","26424115200","73400320000","114688000000","103219200000","50176000000","10240000000"],["4294967296","85899345920","563714457600","1879048192000","3670016000000","4404019200000","3211264000000","1310720000000","230400000000"],["68719476736","1546188226560","11596411699200","45097156608000","105696460800000","158544691200000","154140672000000","94371840000000","33177600000000","5120000000000"],["1099511627776","27487790694400","231928233984000","1030792151040000","2818572288000000","5073430118400000","6165626880000000","5033164800000000","2654208000000000","819200000000000","112640000000000"],["17592186044416","483785116221440","4535485464576000","22677427322880000","70866960384000000","148820616806400000","217030066176000000","221459251200000000","155713536000000000","72089600000000000","19824640000000000","2457600000000000"],["281474976710656","8444249301319680","87081320919859200","483785116221440000","1700807049216000000","4081936918118400000","6944962117632000000","8504035246080000000","7474249728000000000","4613734400000000000","1903165440000000000","471859200000000000","53248000000000000"],["4503599627370496","146366987889541120","1646628613757337600","10062730417405952000","39307540692992000000","106130359871078400000","206364588638208000000","294806555197440000000","310928788684800000000","239914188800000000000","131952803840000000000","49073356800000000000","11075584000000000000","1146880000000000000"],["72057594037927936","2522015791327477760","30737067456803635200","204913783045357568000","880488911523020800000","2641466734569062400000","5778208481869824000000","9433809766318080000000","11608008110899200000000","10748155658240000000000","7389357015040000000000","3664143974400000000000","1240465408000000000000","256901120000000000000","24576000000000000000"],["1152921504606846976","43234556422756761600","567453553048682496000","4098275660907151360000","19210667160502272000000","63395201629657497600000","154085559516528640000000","283014292989542400000000","397988849516544000000000","429926226329600000000000","354689136721920000000000","219848638464000000000000","99237232640000000000000","30828134400000000000000","5898240000000000000000","524288000000000000000"],["18446744073709551616","737869762948382064640","10376293541461622784000","80704505322479288320000","409827566090715136000000","1475379237926574489600000","3944590323623133184000000","8050184333924761600000000","12735643184529408000000000","15723016277196800000000000","15133403166801920000000000","11256250289356800000000000","6351182888960000000000000","2630667468800000000000000","754974720000000000000000","134217728000000000000000","11141120000000000000000"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["2736","124416","5412096","228427776","9432723456","383113691136","15359376162816","609359740010496","23968149773746176","935976560656121856","36327590260465729536","1402560876143198601216","53903826104746713808896","2063356584060178007064576","78702315420581075412320256"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["256","1280","1200"]],"recurrence":{"denominator":{"coeffs":[["4","10"],["0","5"]]},"terms":[{"coeff":{"coeffs":[["64","320","300"],["0","80","100"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194711,"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-5642bca2af35b2a2"]},{"id":194712,"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-5642bca2af35b2a2"]},{"id":194713,"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-5642bca2af35b2a2"]},{"id":194714,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-5642bca2af35b2a2"]}],"region_exact":{},"incoming_edges":[{"id":"e-5642bca2af35b2a2","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-a9b3dce6b542bba6","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":"7978a5865e2b277d2b1808cdfc228e88e4c260393aea9e81d70d033f155894cb","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-93016690ff7736f4","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","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-6a40bfb1d65d063a","kind":"fingerprint_related","node_a_id":"n-280e93fc5b9e9fe7","node_b_id":"n-a9b3dce6b542bba6","fingerprint":"f6-eefdbaf8408bdfd8","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-eefdbaf8408bdfd8"},"other_id":"n-280e93fc5b9e9fe7","other":{"id":"n-280e93fc5b9e9fe7","name":"theta_plus_one of basis_map_A013609 of Triangle of coefficients in expansion of (3+5x)^n.","first_index":0,"fingerprint":"f6-eefdbaf8408bdfd8","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","20"],["64","320","300"]],"card_rows":[["1"],["8","20"],["64","320","300"],["512","3840","7200","4000"]],"row_sums_preview":["1","28","684","15552","338256","7138368","147386304","2993075712"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["basis A013609","\u03b8+1"],"edges":["e-c5caeaebd0a50686","e-601435738fe14264"],"text":"A013622 \u2192 basis A013609 \u2192 \u03b8+1"},"headline":"A013622 \u2192 basis A013609 \u2192 \u03b8+1","chain":null}},{"id":"l-9822ab2c538dce88","kind":"fingerprint_related","node_a_id":"n-84fd6a0d7d3c5087","node_b_id":"n-a9b3dce6b542bba6","fingerprint":"f6-eefdbaf8408bdfd8","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-eefdbaf8408bdfd8"},"other_id":"n-84fd6a0d7d3c5087","other":{"id":"n-84fd6a0d7d3c5087","name":"theta_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*5^j.","first_index":0,"fingerprint":"f6-eefdbaf8408bdfd8","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["12","30"],["144","720","675"]],"card_rows":[["1"],["12","30"],["144","720","675"],["1728","12960","24300","13500"]],"row_sums_preview":["1","42","1539","52488","1712421","54206982","1678822119","51139504548"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a6a633b989da1879","steps":["basis A013610","\u03b8+1"],"edges":["e-cc1debec4a411a9c","e-97c057fc15f4e402"],"text":"A038271 \u2192 basis A013610 \u2192 \u03b8+1"},"headline":"A038271 \u2192 basis A013610 \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:            256,            1280,             1200;\n  1:           4096,           30720,            57600,             32000;\n  2:          65536,          655360,          1843200,           2048000,            800000;\n  3:        1048576,        13107200,         49152000,          81920000,          64000000,           19200000;\n  4:       16777216,       251658240,       1179648000,        2621440000,        3072000000,         1843200000,          448000000;\n  5:      268435456,      4697620480,      26424115200,       73400320000,      114688000000,       103219200000,        50176000000,        10240000000;\n  6:     4294967296,     85899345920,     563714457600,     1879048192000,     3670016000000,      4404019200000,      3211264000000,      1310720000000,       230400000000;\n  7:    68719476736,   1546188226560,   11596411699200,    45097156608000,   105696460800000,    158544691200000,    154140672000000,     94371840000000,     33177600000000,     5120000000000;\n  8:  1099511627776,  27487790694400,  231928233984000,  1030792151040000,  2818572288000000,   5073430118400000,   6165626880000000,   5033164800000000,   2654208000000000,   819200000000000,   112640000000000;\n  9: 17592186044416, 483785116221440, 4535485464576000, 22677427322880000, 70866960384000000, 148820616806400000, 217030066176000000, 221459251200000000, 155713536000000000, 72089600000000000, 19824640000000000, 2457600000000000;\n","recurrence_sentence":"The row polynomials satisfy (4+(5*n+10)*x)*P(n,x) = (64+(80*n+320)*x+(100*n+300)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 256 + 1280*x + 1200*x^2.","mathematica":"P[0, x_] := 256 + 1280*x + 1200*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((64 + (80*n + 320)*x + (100*n + 300)*x^2)*P[n - 1, x])/(4 + (5*n + 10)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 256 + 1280*x + 1200*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((64 + (80*n + 320)*x + (100*n + 300)*x^2)*v[i - 1])/(4 + (5*n + 10)*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-2bc1923905556bf6","steps":["basis A013611","\u03b8+1"],"edges":["e-fd91849598d32af1","e-5642bca2af35b2a2"],"text":"A038319 \u2192 basis A013611 \u2192 \u03b8+1"},"headline":"A038319 \u2192 basis A013611 \u2192 \u03b8+1","chain":null}