{"id":"n-9e0c925faa90ea23","revision":0,"first_index":0,"fingerprint":"f6-6414dcf212314547","name":"theta_plus_one_squared of basis_map_A013611 of Triangle read by rows: T(n,k) = binomial(2n+1, 2k+1).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["4","16"],["16","192","144"],["64","1280","3456","1024"],["256","7168","34560","40960","6400"],["1024","36864","258048","573440","384000","36864"],["4096","180224","1658880","5505024","7168000","3096576","200704"],["16384","851968","9732096","43253760","86016000","74317824","22478848","1048576"],["65536","3932160","53673984","299892736","811008000","1089994752","674365440","150994944","5308416"],["262144","17825792","283115520","1908408320","6560153600","12145655808","11868831744","5536481280","955514880","26214400"],["1048576","79691776","1443889152","11408506880","47710208000","113359454208","154294812672","115158810624","42042654720","5767168000","126877696"],["4194304","352321536","7172259840","65028489216","320864256000","934356713472","1645811335168","1727382159360","1020235087872","299892736000","33495711744","603979776"],["16777216","1543503872","34879832064","357019156480","2032140288000","7023076835328","15261159653376","20882130993152","17489744363520","8396996608000","2032073179136","188441690112","2835349504"],["67108864","6710886400","166698418176","1901596770304","12272533504000","49161537847296","127455838863360","216414812110848","237860523343872","163141648384000","65026341732352","13190918307840","1032067219456","13153337344"],["268435456","28991029248","785173708800","9878424780800","71309878886400","325173047721984","981409959247872","1997675188715520","2738999965777920","2479753055436800","1421290040721408","478390637297664","82565377556480","5524401684480","60397977600"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","20","352","5824","89344","1290240","17813504","237715456","3089235968","39302463488","491393122304","6055199244288","73702058229760","887644447834112","10592844808978432"],"nonn":true,"definitions":[{"position":0,"source":"derived:theta_plus_one_squared","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["0","0","0"],["0","-1","0"],["-2","14","-2"],["4","-36","12"],["0","24","-24"],["0","0","16"]]},"terms":[{"coeff":{"coeffs":[["0","0","24","-24"],["0","-4","96","112"],["-8","-104","-304","-104"],["16","48","-240","-304"],["0","96","384","160"],["0","0","64","192"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","2","4","-16"],["0","0","12","64","64"],["0","-8","-56","-104","-32"],["0","0","-48","-256","-256"],["0","0","0","-32","-128"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":185757,"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-f0f1c95a21f85524"]},{"id":185758,"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-f0f1c95a21f85524"]},{"id":185759,"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-f0f1c95a21f85524"]},{"id":185760,"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-f0f1c95a21f85524"]}],"region_exact":{},"incoming_edges":[{"id":"e-f0f1c95a21f85524","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"euler_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"2\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"euler_polynomial, shift 0","conclusion_id":"n-9e0c925faa90ea23","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":"ab5f15064b8c3833d1952a8ff77407bd762a61c043af2ea71b8a4b1ae7de3ad2","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-ff36538314ab71f5","role":"sequence","name":"basis_map_A013611 of Triangle read by rows: T(n,k) = binomial(2n+1, 2k+1).","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-d2610ab5ba2d60fb","kind":"fingerprint_related","node_a_id":"n-39c55baab4418287","node_b_id":"n-9e0c925faa90ea23","fingerprint":"f6-6414dcf212314547","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6414dcf212314547"},"other_id":"n-39c55baab4418287","other":{"id":"n-39c55baab4418287","name":"theta_plus_one_squared of reversal of Triangle read by rows: T(n, k) = binomial(n + k, 2*k).","first_index":1,"fingerprint":"f6-6414dcf212314547","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","4"],["1","12","9"]],"card_rows":[["1"],["1","4"],["1","12","9"],["1","20","54","16"]],"row_sums_preview":["1","5","22","91","349","1260","4349","14509"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-0eba401b117f16a9","steps":["reverse","(\u03b8+1)\u00b2"],"edges":["e-6116c33129f68e6c","e-efad12d5aff231fc"],"text":"A085478 \u2192 reverse \u2192 (\u03b8+1)\u00b2"},"headline":"A085478 \u2192 reverse \u2192 (\u03b8+1)\u00b2","chain":null}},{"id":"l-f4b74cdf4d95fd1c","kind":"fingerprint_related","node_a_id":"n-d70420f314834660","node_b_id":"n-9e0c925faa90ea23","fingerprint":"f6-6414dcf212314547","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6414dcf212314547"},"other_id":"n-d70420f314834660","other":{"id":"n-d70420f314834660","name":"theta_plus_one_squared of Triangular array binomial(2*n-k, k), k=0..n, n >= 0.","first_index":0,"fingerprint":"f6-6414dcf212314547","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","4"],["1","12","9"]],"card_rows":[["1"],["1","4"],["1","12","9"],["1","20","54","16"]],"row_sums_preview":["1","5","22","91","349","1260","4349","14509"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6758fe7729845be8","steps":["(\u03b8+1)\u00b2"],"edges":["e-34cb5f7197630da3"],"text":"A054142 \u2192 (\u03b8+1)\u00b2"},"headline":"A054142 \u2192 (\u03b8+1)\u00b2","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,       16;\n  2:     16,      192,       144;\n  3:     64,     1280,      3456,       1024;\n  4:    256,     7168,     34560,      40960,       6400;\n  5:   1024,    36864,    258048,     573440,     384000,       36864;\n  6:   4096,   180224,   1658880,    5505024,    7168000,     3096576,      200704;\n  7:  16384,   851968,   9732096,   43253760,   86016000,    74317824,    22478848,    1048576;\n  8:  65536,  3932160,  53673984,  299892736,  811008000,  1089994752,   674365440,  150994944,   5308416;\n  9: 262144, 17825792, 283115520, 1908408320, 6560153600, 12145655808, 11868831744, 5536481280, 955514880, 26214400;\n","recurrence_sentence":"The row polynomials satisfy (4*n^3-2*n^2+(24*n^4-36*n^3+14*n^2-n)*x+(16*n^5-24*n^4+12*n^3-2*n^2)*x^2)*P(n,x) = (16*n^3-8*n^2+(96*n^4+48*n^3-104*n^2-4*n)*x+(64*n^5+384*n^4-240*n^3-304*n^2+96*n+24)*x^2+(192*n^5+160*n^4-304*n^3-104*n^2+112*n-24)*x^3)*P(n-1,x) - (8*n^2*x+(48*n^3+56*n^2-12*n-2)*x^2+(32*n^4+256*n^3+104*n^2-64*n-4)*x^3+(128*n^4+256*n^3+32*n^2-64*n+16)*x^4)*d/dx 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*n^3 - 8*n^2 + (96*n^4 + 48*n^3 - 104*n^2 - 4*n)*x + (64*n^5 + 384*n^4 - 240*n^3 - 304*n^2 + 96*n + 24)*x^2 + (192*n^5 + 160*n^4 - 304*n^3 - 104*n^2 + 112*n - 24)*x^3)*P[n - 1, x] - (8*n^2*x + (48*n^3 + 56*n^2 - 12*n - 2)*x^2 + (32*n^4 + 256*n^3 + 104*n^2 - 64*n - 4)*x^3 + (128*n^4 + 256*n^3 + 32*n^2 - 64*n + 16)*x^4)*D[P[n - 1, x], x])/(4*n^3 - 2*n^2 + (24*n^4 - 36*n^3 + 14*n^2 - n)*x + (16*n^5 - 24*n^4 + 12*n^3 - 2*n^2)*x^2)]];\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*n^3 - 8*n^2 + (96*n^4 + 48*n^3 - 104*n^2 - 4*n)*x + (64*n^5 + 384*n^4 - 240*n^3 - 304*n^2 + 96*n + 24)*x^2 + (192*n^5 + 160*n^4 - 304*n^3 - 104*n^2 + 112*n - 24)*x^3)*v[i - 1] - (8*n^2*x + (48*n^3 + 56*n^2 - 12*n - 2)*x^2 + (32*n^4 + 256*n^3 + 104*n^2 - 64*n - 4)*x^3 + (128*n^4 + 256*n^3 + 32*n^2 - 64*n + 16)*x^4)*deriv(v[i - 1], x))/(4*n^3 - 2*n^2 + (24*n^4 - 36*n^3 + 14*n^2 - n)*x + (16*n^5 - 24*n^4 + 12*n^3 - 2*n^2)*x^2)); 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-c30cb06ad75c5e21","steps":["basis A013611","(\u03b8+1)\u00b2"],"edges":["e-36be6b9e5c42de00","e-f0f1c95a21f85524"],"text":"A103327 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2"},"headline":"A103327 \u2192 basis A013611 \u2192 (\u03b8+1)\u00b2","chain":null}