{"id":"n-ec09325324dd0af9","revision":0,"first_index":0,"fingerprint":"f6-5350c1f96ee756b3","name":"one_plus_derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^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":[["532","624","144"],["9800","19152","11232","1728"],["170128","470400","459648","179712","20736"],["2842784","10207680","14112000","9192960","2695680","248832"],["46252864","204680448","367476480","338688000","165473280","38817792","2985984"],["737894528","3885240576","8596578816","10289341440","7112448000","2779951104","543449088","35831808"],["11595485440","70837874688","186491547648","275090522112","246944194560","136559001600","44479217664","7453016064","429981696"],["180046264832","1252312427520","3825245233152","6713695715328","7427444097024","5333994602496","2458062028800","686250786816","100615716864","5159780352"],["2768580269056","21605551779840","75138745651200","153009809326080","201410871459840","178258658328576","106679892049920","42138206208000","10293761802240","1341542891520","61917364224"],["42231179626496","365452595515392","1425966417469440","3306104808652800","5049323707760640","5317247006539776","3921690483228672","2011677964369920","695280402432000","150975173099520","17708366168064","743008370688"],["639831296806912","6081289866215424","26312586877108224","68446388038533120","119019773111500800","145420522783506432","127613928156954624","80674775654989824","36210203358658560","11124486438912000","2174042492633088","231818611654656","8916100448256"],["9637965103800320","99813682301878272","474340609564803072","1368254517609627648","2669409133502791680","3713416921078824960","3780933592371167232","2843967541783560192","1573158125272301568","627643524883415040","173541988447027200","30831875350069248","3013641951510528","106993205379072"],["144456088732254208","1619178137438453760","8384349313357774848","26563074135628972032","57466689739604361216","89692146885693800448","103975673790207098880","90742406216908013568","59723318377454764032","29365618338416295936","10544411218041372672","2650459459918233600","431646254900969472","38945526757982208","1283918464548864"],["2155729324158255104","26002095971805757440","145726032369460838400","503060958801466490880","1195338336103303741440","2068800830625757003776","2690764406570814013440","2673660183176753971200","2041704139880430305280","1194466367549095280640","528581130091493326848","172544910840677007360","39756891898773504000","5976640452474961920","500728201174056960","15407021574586368"],["32047027684909318144","413900030238384979968","2496201213293352714240","9326466071645493657600","24146926022470391562240","45900992106366863671296","66201626580024224120832","73803823723085184368640","64167844396242095308800","43556354984115846512640","22933754256942629388288","9226143361596974432256","2760718573450832117760","587178711120347136000","81965354776799477760","6409320975027929088","184884258895036416"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1300","41912","1300624","39299936","1164374848","33980735360","979880841472","27982826653184","792707537130496","22304401113233408","623958562787921920","17368070112426156032","481343657401524895744","13289054788879213101056","365642536618288251731968"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["532","624","144"]],"recurrence":{"denominator":{"coeffs":[["13","6"],["6","0"]]},"terms":[{"coeff":{"coeffs":[["266","312","72"],["84","72","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":193982,"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-38307c035d1bbe97"]},{"id":193983,"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-38307c035d1bbe97"]},{"id":193984,"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-38307c035d1bbe97"]},{"id":193985,"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-38307c035d1bbe97"]}],"region_exact":{},"incoming_edges":[{"id":"e-38307c035d1bbe97","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-ec09325324dd0af9","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":"e24ff78b6083b3e0edb3cdada69b80b5247afae8fe5c370fc4616b97949bf993","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-a36d781ea0b4816b","role":"sequence","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^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-3179aff4acdc53ec","kind":"fingerprint_related","node_a_id":"n-51bdfd399da456b4","node_b_id":"n-ec09325324dd0af9","fingerprint":"f6-5350c1f96ee756b3","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5350c1f96ee756b3"},"other_id":"n-51bdfd399da456b4","other":{"id":"n-51bdfd399da456b4","name":"one_plus_derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*9^j.","first_index":0,"fingerprint":"f6-5350c1f96ee756b3","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["39","18"],["1197","1404","324"]],"card_rows":[["1"],["39","18"],["1197","1404","324"],["33075","64638","37908","5832"]],"row_sums_preview":["1","57","2925","141453","6584409","298433889","13262957253","580592720565"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-f485cd65a8f8089f","steps":["basis A013609","D+1"],"edges":["e-f8a7b8e38f7708ee","e-ece069872e4e8322"],"text":"A038335 \u2192 basis A013609 \u2192 D+1"},"headline":"A038335 \u2192 basis A013609 \u2192 D+1","chain":null}},{"id":"l-e07b34fcfcfc5dd7","kind":"fingerprint_related","node_a_id":"n-fbf7a28cb848df83","node_b_id":"n-ec09325324dd0af9","fingerprint":"f6-5350c1f96ee756b3","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5350c1f96ee756b3"},"other_id":"n-fbf7a28cb848df83","other":{"id":"n-fbf7a28cb848df83","name":"one_plus_derivative of basis_map_A007318 of Triangle of coefficients in expansion of (1+6x)^n.","first_index":0,"fingerprint":"f6-5350c1f96ee756b3","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["13","6"],["133","156","36"]],"card_rows":[["1"],["13","6"],["133","156","36"],["1225","2394","1404","216"]],"row_sums_preview":["1","19","325","5239","81289","1228123","18193357","265474495"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-efce1b6c07b70e1a","steps":["x \u21a6 x+1","D+1"],"edges":["e-3efa57e183892da5","e-946209cc75e229cb"],"text":"A013613 \u2192 x \u21a6 x+1 \u2192 D+1"},"headline":"A013613 \u2192 x \u21a6 x+1 \u2192 D+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:            532,             624,              144;\n  1:           9800,           19152,            11232,             1728;\n  2:         170128,          470400,           459648,           179712,            20736;\n  3:        2842784,        10207680,         14112000,          9192960,          2695680,           248832;\n  4:       46252864,       204680448,        367476480,        338688000,        165473280,         38817792,          2985984;\n  5:      737894528,      3885240576,       8596578816,      10289341440,       7112448000,       2779951104,        543449088,         35831808;\n  6:    11595485440,     70837874688,     186491547648,     275090522112,     246944194560,     136559001600,      44479217664,       7453016064,       429981696;\n  7:   180046264832,   1252312427520,    3825245233152,    6713695715328,    7427444097024,    5333994602496,    2458062028800,     686250786816,    100615716864,      5159780352;\n  8:  2768580269056,  21605551779840,   75138745651200,  153009809326080,  201410871459840,  178258658328576,  106679892049920,   42138206208000,  10293761802240,   1341542891520,    61917364224;\n  9: 42231179626496, 365452595515392, 1425966417469440, 3306104808652800, 5049323707760640, 5317247006539776, 3921690483228672, 2011677964369920, 695280402432000, 150975173099520, 17708366168064, 743008370688;\n","recurrence_sentence":"The row polynomials satisfy (6*n+13+6*x)*P(n,x) = (84*n+266+(72*n+312)*x+72*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 532 + 624*x + 144*x^2.","mathematica":"P[0, x_] := 532 + 624*x + 144*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((84*n + 266 + (72*n + 312)*x + 72*x^2)*P[n - 1, x])/(6*n + 13 + 6*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 532 + 624*x + 144*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((84*n + 266 + (72*n + 312)*x + 72*x^2)*v[i - 1])/(6*n + 13 + 6*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-c11cb6bca0e3e7dc","steps":["basis A013609","D+1"],"edges":["e-65e466871b01ed5e","e-38307c035d1bbe97"],"text":"A038284 \u2192 basis A013609 \u2192 D+1"},"headline":"A038284 \u2192 basis A013609 \u2192 D+1","chain":null}