{"id":"n-6a8ebfe1e41f2334","revision":0,"first_index":1,"fingerprint":"f6-ca6d936c14642db2","name":"derivative of basis_map_A007318 of T(n,k) = binomial(n,k)*binomial(n+k,k), 0 <= k <= n, triangle read by rows.","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":false,"rows":[[],["2"],["18","12"],["132","180","60"],["900","1860","1260","280"],["5910","16380","16800","7560","1260"],["37926","131880","181440","123480","41580","5544"],["239624","1002456","1731240","1580040","803880","216216","24024"],["1497096","7320600","15218280","17435880","11891880","4828824","1081080","102960"],["9274410","51903720","126181440","174053880","149008860","81081000","27387360","5250960","437580"],["57074490","359748180","1001388960","1615734120","1665403740","1137296160","514594080","148777200","24942060","1847560"],["349367436","2449032300","7680893220","14193499320","17114217120","14070472416","7988460480","3092815440","781517880","116396280","7759752"],["2129223564","16430650236","57329131860","119389430160","164890645920","158588093664","108388215936","52644374640","17808630840","3996272280","535422888","32449872"],["12929165886","108910210500","418447149120","969679030320","1509482094120","1662976931616","1329555907680","777294357840","329808859380","99053234280","19989121152","2433740400","135207800"],["78265638990","714605608080","2997904815360","7651438114320","13255557555240","16460994710160","15075180600480","10309218519600","5264545546260","1982849428560","535422888000","98160862800","10951831800","561632400"]],"degrees":[-1,0,1,2,3,4,5,6,7,8,9,10,11,12,13],"row_sums":["0","2","30","372","4300","47910","521850","5597480","59376600","624579210","6526806550","67844431644","702162541860","7240695010094","74435657752050"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["0"],["2"]],"recurrence":{"denominator":{"coeffs":[["-2"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0"],["3","2"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["4","6","2"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":183864,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-852e18e544fa01dc"]},{"id":183865,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n have one sign","region_exact":null,"edges":["e-852e18e544fa01dc"]},{"id":183866,"position":2,"claim":"hadamard_kernel","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":1},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 1, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-852e18e544fa01dc"]},{"id":183867,"position":3,"claim":"interlacing","from_index":2,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 2","region_exact":null,"edges":["e-852e18e544fa01dc"]}],"region_exact":{},"incoming_edges":[{"id":"e-852e18e544fa01dc","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"0\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-6a8ebfe1e41f2334","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":"b13341a1c058b8ee750f6a7d20182a19478c1ee0f2a3c372a6c086bbf3264cbf","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-0444a4f352052985","role":"sequence","name":"basis_map_A007318 of T(n,k) = binomial(n,k)*binomial(n+k,k), 0 <= k <= n, triangle read by rows.","uses":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-307d9301c36e8d4a","kind":"fingerprint_related","node_a_id":"n-c0e24188ccfeaae9","node_b_id":"n-6a8ebfe1e41f2334","fingerprint":"f6-ca6d936c14642db2","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ca6d936c14642db2"},"other_id":"n-c0e24188ccfeaae9","other":{"id":"n-c0e24188ccfeaae9","name":"reversal of basis_map_A007318 of Triangle read by rows: T(n, k) is the number of diagonal dissections of a convex n-gon into k+1 regions.","first_index":0,"fingerprint":"f6-ca6d936c14642db2","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","3"],["5","15","11"]],"card_rows":[["1"],["2","3"],["5","15","11"],["14","63","93","45"]],"row_sums_preview":["1","5","31","215","1597","12425","99955","824675"],"regions":["(-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-66e2c3448245b0b7","steps":["x \u21a6 x+1","reverse"],"edges":["e-190c283dd8b47413","e-e5739c6a1dde738f"],"text":"A033282 \u2192 x \u21a6 x+1 \u2192 reverse"},"headline":"A033282 \u2192 x \u21a6 x+1 \u2192 reverse","chain":null}},{"id":"l-30afb0bb067c76ee","kind":"fingerprint_related","node_a_id":"n-ff3f26cc45b3d80a","node_b_id":"n-6a8ebfe1e41f2334","fingerprint":"f6-ca6d936c14642db2","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ca6d936c14642db2"},"other_id":"n-ff3f26cc45b3d80a","other":{"id":"n-ff3f26cc45b3d80a","name":"mobius_x_over_x_plus_one of Triangle read by rows: T(n,k) is the number of Schroeder paths of semilength n containing exactly k peaks but no peaks at level one (n >= 1; 0 <= k <= n-1).","first_index":0,"fingerprint":"f6-ca6d936c14642db2","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","3"],["5","15","11"]],"card_rows":[["1"],["2","3"],["5","15","11"],["14","63","93","45"]],"row_sums_preview":["1","5","31","215","1597","12425","99955","824675"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-57b4b14604f4c0d7","steps":["x \u21a6 x/(x+1)"],"edges":["e-38a5f21f7e3f9e41"],"text":"A126216 \u2192 x \u21a6 x/(x+1)"},"headline":"A126216 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-512d63154aece76c","kind":"fingerprint_related","node_a_id":"n-2bcf501d4853538e","node_b_id":"n-6a8ebfe1e41f2334","fingerprint":"f6-ca6d936c14642db2","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ca6d936c14642db2"},"other_id":"n-2bcf501d4853538e","other":{"id":"n-2bcf501d4853538e","name":"mobius_x_over_x_plus_one of shift_x_plus_one of Triangle read by rows, n>=1, 1<=k<=n, T(n,k) = k*binomial(n,k)^2/(n-k+1).","first_index":0,"fingerprint":"f6-ca6d936c14642db2","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["4","6"],["15","45","33"]],"card_rows":[["1"],["4","6"],["15","45","33"],["56","252","372","180"]],"row_sums_preview":["1","10","93","860","7985","74550","699685","6597400"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-984320118b653f6b","steps":["basis A007318","x \u21a6 x/(x+1)"],"edges":["e-2345ffa617ccabd7","e-6d171e78219b20a8"],"text":"A132812 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)"},"headline":"A132812 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-5592a4eb54cce4f9","kind":"fingerprint_related","node_a_id":"n-c0c21fffce187dd8","node_b_id":"n-6a8ebfe1e41f2334","fingerprint":"f6-ca6d936c14642db2","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ca6d936c14642db2"},"other_id":"n-c0c21fffce187dd8","other":{"id":"n-c0c21fffce187dd8","name":"mobius_x_over_x_plus_one of basis_map_A007318 of narayana","first_index":1,"fingerprint":"f6-ca6d936c14642db2","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","3"],["5","15","11"]],"card_rows":[["1"],["2","3"],["5","15","11"],["14","63","93","45"]],"row_sums_preview":["1","5","31","215","1597","12425","99955","824675"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2a05d8340c329b21","steps":["basis A007318","x \u21a6 x/(x+1)"],"edges":["e-58b8cdf8af6ac600","e-127466690b9c3cb0"],"text":"narayana \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)"},"headline":"narayana \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-bb4841b117bdd86a","kind":"fingerprint_related","node_a_id":"n-07af2e6e3c9f0c77","node_b_id":"n-6a8ebfe1e41f2334","fingerprint":"f6-ca6d936c14642db2","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-ca6d936c14642db2"},"other_id":"n-07af2e6e3c9f0c77","other":{"id":"n-07af2e6e3c9f0c77","name":"basis_map_A007318 of Triangle read by rows: T(n, k) is the number of diagonal dissections of a convex n-gon into k+1 regions.","first_index":0,"fingerprint":"f6-ca6d936c14642db2","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["3","2"],["11","15","5"]],"card_rows":[["1"],["3","2"],["11","15","5"],["45","93","63","14"]],"row_sums_preview":["1","5","31","215","1597","12425","99955","824675"],"regions":["(-inf, 0]","(-2, -1)"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-66e2c3448245b0b7","steps":["x \u21a6 x+1"],"edges":["e-190c283dd8b47413"],"text":"A033282 \u2192 x \u21a6 x+1"},"headline":"A033282 \u2192 x \u21a6 x+1","chain":null}}],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:       0;\n   2:       2;\n   3:      18,       12;\n   4:     132,      180,        60;\n   5:     900,     1860,      1260,       280;\n   6:    5910,    16380,     16800,      7560,      1260;\n   7:   37926,   131880,    181440,    123480,     41580,     5544;\n   8:  239624,  1002456,   1731240,   1580040,    803880,   216216,    24024;\n   9: 1497096,  7320600,  15218280,  17435880,  11891880,  4828824,  1081080,  102960;\n  10: 9274410, 51903720, 126181440, 174053880, 149008860, 81081000, 27387360, 5250960, 437580;\n","recurrence_sentence":"The row polynomials satisfy (n-2)*P(n,x) = (3*n+2*n*x)*P(n-1,x) + (4+6*x+2*x^2)*d/dx P(n-1,x) for n >= 3, with P(1,x) = 0, P(2,x) = 2.","mathematica":"P[1, x_] := 0;\nP[2, x_] := 2;\nP[n_, x_] := P[n, x] = Expand[Together[((3*n + 2*n*x)*P[n - 1, x] + (4 + 6*x + 2*x^2)*D[P[n - 1, x], x])/(n - 2)]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 0; v[2] = 2; for(n = 3, N, my(i = n); v[i] = ((3*n + 2*n*x)*v[i - 1] + (4 + 6*x + 2*x^2)*deriv(v[i - 1], x))/(n - 2)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-4689fb1386d440ad","steps":["x \u21a6 x+1","D"],"edges":["e-437a2dd956a9df17","e-852e18e544fa01dc"],"text":"A063007 \u2192 x \u21a6 x+1 \u2192 D"},"headline":"A063007 \u2192 x \u21a6 x+1 \u2192 D","chain":null}