{"id":"n-1d55f39abb48a994","revision":0,"first_index":0,"fingerprint":"f6-572def99d14f8fb6","name":"theta_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^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":[["400","1920","1728"],["8000","57600","103680","55296"],["160000","1536000","4147200","4423680","1658880"],["3200000","38400000","138240000","221184000","165888000","47775744"],["64000000","921600000","4147200000","8847360000","9953280000","5733089280","1337720832"],["1280000000","21504000000","116121600000","309657600000","464486400000","401316249600","187280916480","36691771392"],["25600000000","491520000000","3096576000000","9909043200000","18579456000000","21403533312000","14982473318400","5870683422720","990677827584"],["512000000000","11059200000000","79626240000000","297271296000000","668860416000000","963158999040000","898948399104000","528361508044800","178322008965120","26418075402240"],["10240000000000","245760000000000","1990656000000000","8493465600000000","22295347200000000","38526359961600000","44947419955200000","35224100536320000","17832200896512000","5283615080448000","697437190619136"],["204800000000000","5406720000000000","48660480000000000","233570304000000000","700710912000000000","1412633198592000000","1977686478028800000","1937325529497600000","1307694732410880000","581197658849280000","153436181936209920","18260173718028288"],["4096000000000000","117964800000000000","1167851520000000000","6228541440000000000","21021327360000000000","48433138237440000000","79107459121152000000","92991625415884800000","78461683944652800000","46495812707942400000","18412341832345190400","4382441692326789120","474764516668735488"],["81920000000000000","2555904000000000000","27603763200000000000","161942077440000000000","607282790400000000000","1574076992716800000000","2938277053071360000000","4029637101355008000000","4080007565121945600000","3022227826016256000000","1595736292136583168000","569717420002482585600","123438774333871226880","12270836738515009536"],["1638400000000000000","55050240000000000000","644087808000000000000","4122161971200000000000","17003918131200000000000","48971284217856000000000","102839696857497600000000","161185484054200320000000","190400353039024128000000","169244758256910336000000","111701540449560821760000","53173625866898374656000","17281428406741971763200","3435834286784202670080","315535801847528816640"],["32768000000000000000","1179648000000000000000","14863564800000000000000","103054049280000000000000","463743221760000000000000","1469138526535680000000000","3427989895249920000000000","6044455652032512000000000","8160015130243891200000000","8462237912845516800000000","6702092426973649305600000","3988021940017378099200000","1728142840674197176320000","515375143017630400512000","94660740554258644992000","8077716527296737705984"],["655360000000000000000","25165824000000000000000","339738624000000000000000","2536715059200000000000000","12366485913600000000000000","42738575317401600000000000","109695676647997440000000000","214913978738933760000000000","326400605209755648000000000","386845161730080768000000000","357444929438594629632000000","255233404161112198348800000","138251427253935774105600000","54973348588547242721280000","15145718488681383198720000","2584869288734956065914880","205981771446066811502592"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["4048","224576","11925760","614687744","31004250112","1538338537472","75349563080704","3652538142556160","175546602420699136","8376787169032798208","397299048588412715008","18744856316532821590016","880376397787721283665920","41183081176511930364329984","1919702437416021466883817472"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["400","1920","1728"]],"recurrence":{"denominator":{"coeffs":[["5","12"],["0","6"]]},"terms":[{"coeff":{"coeffs":[["100","480","432"],["0","120","144"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194946,"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-28b8093277bae08a"]},{"id":194947,"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-28b8093277bae08a"]},{"id":194948,"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-28b8093277bae08a"]},{"id":194949,"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-28b8093277bae08a"]}],"region_exact":{},"incoming_edges":[{"id":"e-28b8093277bae08a","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-1d55f39abb48a994","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":"739b36237bfd09bccc899580632a337f8dec0ad6a7be6e8a0d9ec2ba81eaa28e","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-6081e8199e2268e3","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^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-7ef093f292c21f7a","kind":"fingerprint_related","node_a_id":"n-b8540c42f24ca890","node_b_id":"n-1d55f39abb48a994","fingerprint":"f6-572def99d14f8fb6","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-572def99d14f8fb6"},"other_id":"n-b8540c42f24ca890","other":{"id":"n-b8540c42f24ca890","name":"theta_plus_one of basis_map_A013609 of Triangle of coefficients in expansion of (2+3x)^n.","first_index":0,"fingerprint":"f6-572def99d14f8fb6","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["5","12"],["25","120","108"]],"card_rows":[["1"],["5","12"],["25","120","108"],["125","900","1620","864"]],"row_sums_preview":["1","17","253","3509","46585","600281","7569397","93892733"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-01cea33b6485d9cc","steps":["basis A013610","\u03b8+1"],"edges":["e-32b2129ae50cd22c","e-186346ec1b78b1bf"],"text":"A038220 \u2192 basis A013610 \u2192 \u03b8+1"},"headline":"A038220 \u2192 basis A013610 \u2192 \u03b8+1","chain":null}},{"id":"l-e4fe69b329dc84cb","kind":"fingerprint_related","node_a_id":"n-a1b1c992dac01d83","node_b_id":"n-1d55f39abb48a994","fingerprint":"f6-572def99d14f8fb6","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-572def99d14f8fb6"},"other_id":"n-a1b1c992dac01d83","other":{"id":"n-a1b1c992dac01d83","name":"theta_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","first_index":0,"fingerprint":"f6-572def99d14f8fb6","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["100","480","432"],["1000","7200","12960","6912"],["10000","96000","259200","276480","103680"]],"card_rows":[["100","480","432"],["1000","7200","12960","6912"],["10000","96000","259200","276480","103680"],["100000","1200000","4320000","6912000","5184000","1492992"]],"row_sums_preview":["1012","28072","745360","19208992","484441408","12018269824","294334230784","7133863559680"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-29d7c5a1e19b9d74","steps":["\u03b8+1"],"edges":["e-cab86ae5c93bac18"],"text":"A038314 \u2192 \u03b8+1"},"headline":"A038314 \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:             400,             1920,              1728;\n  1:            8000,            57600,            103680,              55296;\n  2:          160000,          1536000,           4147200,            4423680,            1658880;\n  3:         3200000,         38400000,         138240000,          221184000,          165888000,            47775744;\n  4:        64000000,        921600000,        4147200000,         8847360000,         9953280000,          5733089280,          1337720832;\n  5:      1280000000,      21504000000,      116121600000,       309657600000,       464486400000,        401316249600,        187280916480,         36691771392;\n  6:     25600000000,     491520000000,     3096576000000,      9909043200000,     18579456000000,      21403533312000,      14982473318400,       5870683422720,        990677827584;\n  7:    512000000000,   11059200000000,    79626240000000,    297271296000000,    668860416000000,     963158999040000,     898948399104000,     528361508044800,     178322008965120,     26418075402240;\n  8:  10240000000000,  245760000000000,  1990656000000000,   8493465600000000,  22295347200000000,   38526359961600000,   44947419955200000,   35224100536320000,   17832200896512000,   5283615080448000,    697437190619136;\n  9: 204800000000000, 5406720000000000, 48660480000000000, 233570304000000000, 700710912000000000, 1412633198592000000, 1977686478028800000, 1937325529497600000, 1307694732410880000, 581197658849280000, 153436181936209920, 18260173718028288;\n","recurrence_sentence":"The row polynomials satisfy (5+(6*n+12)*x)*P(n,x) = (100+(120*n+480)*x+(144*n+432)*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 400 + 1920*x + 1728*x^2.","mathematica":"P[0, x_] := 400 + 1920*x + 1728*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((100 + (120*n + 480)*x + (144*n + 432)*x^2)*P[n - 1, x])/(5 + (6*n + 12)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 400 + 1920*x + 1728*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((100 + (120*n + 480)*x + (144*n + 432)*x^2)*v[i - 1])/(5 + (6*n + 12)*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-6874f381e9c7e0a2","steps":["basis A013610","\u03b8+1"],"edges":["e-889e30cc3b49f76a","e-28b8093277bae08a"],"text":"A038334 \u2192 basis A013610 \u2192 \u03b8+1"},"headline":"A038334 \u2192 basis A013610 \u2192 \u03b8+1","chain":null}