{"id":"n-bb6ea5502c25c8fc","revision":0,"first_index":0,"fingerprint":"f6-b593a3310b5e9356","name":"one_plus_derivative of basis_map_A013610 of Triangle of coefficients in expansion of (1+11x)^n.","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":[["936","2970","1089"],["15984","92664","147015","35937"],["248832","2109888","6115824","6468660","1185921"],["3670272","41057280","174065760","336370320","266832225","39135393"],["52254720","726713856","4064670720","11488340160","16650330840","10566556110","1291467969"],["725594112","12070840320","83935450368","312979645440","663451644240","769245284808","406812410235","42618442977"],["9889579008","191556845568","1593350922240","7386319632384","20656656599040","35030246815872","33846792531552","15342639471720","1406408618241"],["132864344064","2937204965376","28446191566848","157741741301760","548434232704512","1227005401982976","1733997217385664","1436071054552992","569595490387605","46411484401953"],["1764644880384","43845233541120","484638819287040","3129081072353280","13013693657395200","36196659358497792","67485297109063680","81745583105324160","59237931000310920","20885167980878850","1531578985264449"],["23219011584000","640566091579392","7957909887713280","58641297133731840","283964107316060160","944794159526891520","2189897891189116416","3499594692941445120","3709205833404083760","2389263217012540440","758131597705902255","50542106513726817"],["303147415240704","9194728587264000","126832086132719616","1050444105178152960","5805488416239452160","22489957299431964672","62356414528774840320","123885652130127157248","173229937300601533440","163205056669779685440","94614823393696601424","27292737517412481180","1667889514952984961"],["3932000297680896","130050241138262016","1972269281968128000","18136988316978905088","112660130280356904960","498110906113344995328","1608031946909385474048","3821557404692058071040","6643368095478068807424","8257293677995339760640","7001496931133548505376","3689978112354167455536","975715366247496202185","55040353993448503713"],["50714779349680128","1816584137528573952","30041605702938525696","303729469423091712000","2094822150611063537664","10409796037904978018304","38354539770727564640256","106130108496019441287168","220694940120966353602560","341026228901207532114432","381486967923384696941568","294062871107609037225792","142064157325635447038136","34675423015872557339190","1816331681783800622529"],["650946661526274048","25103815778091663360","449604574038322053120","4956864940984856739840","37586521841107599360000","207387392910495290228736","858808173127160686510080","2712213883787163499560960","6566800463191202929643520","12138221706653149448140800","16880798330609772839664384","17166913556552311362370560","12130093433188872785563920","5409365990476118944913640","1226023885204065420207075","59938945498865420543457"],["8319791650276638720","343699837285872697344","6627407365416199127040","79130405030744681349120","654306172210001089658880","3969136706420962492416000","18250090576123585540128768","64778673630162977496760320","179006116329952790971023360","385252293840550571872419840","640898106111286290861834240","810278319869269096303890432","755344196488301699944304640","492668410209517294675211520","204010374497956485922457280","43156040759183102791289040","1977985201462558877934081"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["4995","291600","16129125","861131250","44840334375","2291839312500","115463861015625","5750772883593750","283755240966796875","13892656597734375000","675734730838330078125","32683496165037597656250","1573151824905765380859375","75399584507317749023437500","3600330160224422515869140625"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["936","2970","1089"]],"recurrence":{"denominator":{"coeffs":[["15","11"],["11","0"]]},"terms":[{"coeff":{"coeffs":[["312","990","363"],["132","363","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":195081,"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-ad0762b055f5950a"]},{"id":195082,"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-ad0762b055f5950a"]},{"id":195083,"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-ad0762b055f5950a"]},{"id":195084,"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-ad0762b055f5950a"]}],"region_exact":{},"incoming_edges":[{"id":"e-ad0762b055f5950a","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-bb6ea5502c25c8fc","premise_count":1,"theorem":"Laguerre's theorem on differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"certificate_hash":"34a72c505049db8551d589b1ff484c7f8a3be47f6425e0f5314b930364afd3a4","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-ea3be122f7c7526c","role":"sequence","name":"basis_map_A013610 of Triangle of coefficients in expansion of (1+11x)^n.","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":[],"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:            936,            2970,             1089;\n  1:          15984,           92664,           147015,             35937;\n  2:         248832,         2109888,          6115824,           6468660,            1185921;\n  3:        3670272,        41057280,        174065760,         336370320,          266832225,           39135393;\n  4:       52254720,       726713856,       4064670720,       11488340160,        16650330840,        10566556110,          1291467969;\n  5:      725594112,     12070840320,      83935450368,      312979645440,       663451644240,       769245284808,        406812410235,         42618442977;\n  6:     9889579008,    191556845568,    1593350922240,     7386319632384,     20656656599040,     35030246815872,      33846792531552,      15342639471720,       1406408618241;\n  7:   132864344064,   2937204965376,   28446191566848,   157741741301760,    548434232704512,   1227005401982976,    1733997217385664,    1436071054552992,     569595490387605,      46411484401953;\n  8:  1764644880384,  43845233541120,  484638819287040,  3129081072353280,  13013693657395200,  36196659358497792,   67485297109063680,   81745583105324160,   59237931000310920,   20885167980878850,   1531578985264449;\n  9: 23219011584000, 640566091579392, 7957909887713280, 58641297133731840, 283964107316060160, 944794159526891520, 2189897891189116416, 3499594692941445120, 3709205833404083760, 2389263217012540440, 758131597705902255, 50542106513726817;\n","recurrence_sentence":"The row polynomials satisfy (11*n+15+11*x)*P(n,x) = (132*n+312+(363*n+990)*x+363*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 936 + 2970*x + 1089*x^2.","mathematica":"P[0, x_] := 936 + 2970*x + 1089*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((132*n + 312 + (363*n + 990)*x + 363*x^2)*P[n - 1, x])/(11*n + 15 + 11*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 936 + 2970*x + 1089*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((132*n + 312 + (363*n + 990)*x + 363*x^2)*v[i - 1])/(11*n + 15 + 11*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-b1e393c17b0898c2","steps":["basis A013610","D+1"],"edges":["e-4217afbeac9f09d9","e-ad0762b055f5950a"],"text":"A013618 \u2192 basis A013610 \u2192 D+1"},"headline":"A013618 \u2192 basis A013610 \u2192 D+1","chain":null}