{"id":"n-09e3e314b59270f4","revision":0,"first_index":0,"fingerprint":"f6-d37b0b195ff0bdee","name":"one_plus_derivative of basis_map_A013609 of Triangle of coefficients in expansion of (3+5x)^n.","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":true,"rows":[["1"],["18","10"],["224","360","100"],["2432","6720","5400","1000"],["24576","97280","134400","72000","10000"],["237568","1228800","2432000","2240000","900000","100000"],["2228224","14254080","36864000","48640000","33600000","10800000","1000000"],["20447232","155975680","498892800","860160000","851200000","470400000","126000000","10000000"],["184549376","1635778560","6239027200","13303808000","17203200000","13619200000","6272000000","1440000000","100000000"],["1644167168","16609443840","73610035200","187170816000","299335680000","309657600000","204288000000","80640000000","16200000000","1000000000"],["14495514624","164416716800","830472192000","2453667840000","4679270400000","5986713600000","5160960000000","2918400000000","1008000000000","180000000000","10000000000"],["126701535232","1594506608640","9042919424000","30450647040000","67475865600000","102943948800000","109756416000000","81100800000000","40128000000000","12320000000000","1980000000000","100000000000"],["1099511627776","15204184227840","95670396518400","361716776960000","913519411200000","1619420774400000","2058878976000000","1881538560000000","1216512000000000","535040000000000","147840000000000","21600000000000","1000000000000"],["9483287789568","142936511610880","988271974809600","4145717182464000","11755795251200000","23751504691200000","35087450112000000","38236323840000000","30575001600000000","17571840000000000","6955520000000000","1747200000000000","234000000000000","10000000000000"],["81363860455424","1327660290539520","10005555812761600","46119358824448000","145100101386240000","329162267033600000","554201776128000000","701749002240000000","669135667200000000","475611136000000000","246005760000000000","88524800000000000","20384000000000000","2520000000000000","100000000000000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","28","684","15552","338256","7138368","147386304","2993075712","59997563136","1190155742208","23406396263424","457019805007872","8869040590934016","171211044451074048","3290028448776044544"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["-1","5"],["5","0"]]},"terms":[{"coeff":{"coeffs":[["32","80","50"],["40","50","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":189539,"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-5925b7a3cd3932dd"]},{"id":189540,"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-5925b7a3cd3932dd"]},{"id":189541,"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-5925b7a3cd3932dd"]},{"id":189542,"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-5925b7a3cd3932dd"]}],"region_exact":{},"incoming_edges":[{"id":"e-5925b7a3cd3932dd","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-09e3e314b59270f4","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":"4428b6cec332f4f0b9411efef11d11e3b05f09e834c553afbd854b7b6542083f","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-09320ea6fe78bcb6","role":"sequence","name":"basis_map_A013609 of Triangle of coefficients in expansion of (3+5x)^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":[{"id":"l-7cdb27987ddbc91a","kind":"fingerprint_related","node_a_id":"n-09e3e314b59270f4","node_b_id":"n-9bf2a4f2e5de2104","fingerprint":"f6-d37b0b195ff0bdee","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-d37b0b195ff0bdee"},"other_id":"n-9bf2a4f2e5de2104","other":{"id":"n-9bf2a4f2e5de2104","name":"one_plus_derivative 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-d37b0b195ff0bdee","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["27","15"],["504","810","225"]],"card_rows":[["1"],["27","15"],["504","810","225"],["8208","22680","18225","3375"]],"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","D+1"],"edges":["e-cc1debec4a411a9c","e-e0a2a6c9a54f41d6"],"text":"A038271 \u2192 basis A013610 \u2192 D+1"},"headline":"A038271 \u2192 basis A013610 \u2192 D+1","chain":null}},{"id":"l-99f62e8ff0230a5a","kind":"fingerprint_related","node_a_id":"n-09e3e314b59270f4","node_b_id":"n-9688148ffd278232","fingerprint":"f6-d37b0b195ff0bdee","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-d37b0b195ff0bdee"},"other_id":"n-9688148ffd278232","other":{"id":"n-9688148ffd278232","name":"one_plus_derivative of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","first_index":0,"fingerprint":"f6-d37b0b195ff0bdee","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["896","1440","400"],["19456","53760","43200","8000"],["393216","1556480","2150400","1152000","160000"]],"card_rows":[["896","1440","400"],["19456","53760","43200","8000"],["393216","1556480","2150400","1152000","160000"],["7602176","39321600","77824000","71680000","28800000","3200000"]],"row_sums_preview":["2736","124416","5412096","228427776","9432723456","383113691136","15359376162816","609359740010496"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2bc1923905556bf6","steps":["basis A013611","D+1"],"edges":["e-fd91849598d32af1","e-bd1a20fd2bff9cc0"],"text":"A038319 \u2192 basis A013611 \u2192 D+1"},"headline":"A038319 \u2192 basis A013611 \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:          1;\n  1:         18,          10;\n  2:        224,         360,         100;\n  3:       2432,        6720,        5400,         1000;\n  4:      24576,       97280,      134400,        72000,        10000;\n  5:     237568,     1228800,     2432000,      2240000,       900000,       100000;\n  6:    2228224,    14254080,    36864000,     48640000,     33600000,     10800000,      1000000;\n  7:   20447232,   155975680,   498892800,    860160000,    851200000,    470400000,    126000000,    10000000;\n  8:  184549376,  1635778560,  6239027200,  13303808000,  17203200000,  13619200000,   6272000000,  1440000000,   100000000;\n  9: 1644167168, 16609443840, 73610035200, 187170816000, 299335680000, 309657600000, 204288000000, 80640000000, 16200000000, 1000000000;\n","recurrence_sentence":"The row polynomials satisfy (5*n-1+5*x)*P(n,x) = (40*n+32+(50*n+80)*x+50*x^2)*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[((40*n + 32 + (50*n + 80)*x + 50*x^2)*P[n - 1, x])/(5*n - 1 + 5*x)]];\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] = ((40*n + 32 + (50*n + 80)*x + 50*x^2)*v[i - 1])/(5*n - 1 + 5*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-c44f7114310405ad","steps":["basis A013609","D+1"],"edges":["e-c5caeaebd0a50686","e-5925b7a3cd3932dd"],"text":"A013622 \u2192 basis A013609 \u2192 D+1"},"headline":"A013622 \u2192 basis A013609 \u2192 D+1","chain":null}