{"id":"n-e9991224a3fee705","revision":0,"first_index":0,"fingerprint":"f6-f7ea49607396af2f","name":"derivative of Triangle read by rows: T(n,k) is the number of k-matchings in the n-sunlet graph (0 <= k <= n).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[[],["1"],["4","2"],["6","12","3"],["8","32","24","4"],["10","60","90","40","5"],["12","96","228","192","60","6"],["14","140","462","616","350","84","7"],["16","192","816","1536","1360","576","112","8"],["18","252","1314","3240","4050","2628","882","144","9"],["20","320","1980","6080","10020","9120","4620","1280","180","10"],["22","396","2838","10472","21670","26004","18326","7568","1782","220","11"],["24","480","3912","16896","42360","64032","59304","33792","11736","2400","264","12"],["26","572","5226","25896","76570","140868","164346","122512","58266","17420","3146","312","13"],["28","672","6804","38080","130060","283584","403396","378112","234108","95200","24948","4032","364","14"]],"degrees":[-1,0,1,2,3,4,5,6,7,8,9,10,11,12,13],"row_sums":["0","1","6","21","68","205","594","1673","4616","12537","33630","89309","235212","615173","1599402"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["1"]],"recurrence":{"denominator":{"coeffs":[["-2","0"],["3","-1"],["-1","1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["2","10","2"],["-1","-3","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","0","0"],["0","1","6","1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":172657,"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-ad64dd2ba2b3a7ca"]},{"id":172658,"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-ad64dd2ba2b3a7ca"]},{"id":172659,"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-ad64dd2ba2b3a7ca"]},{"id":172660,"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-ad64dd2ba2b3a7ca"]}],"region_exact":{},"incoming_edges":[{"id":"e-ad64dd2ba2b3a7ca","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-e9991224a3fee705","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":"a152c8f4e9cccf749687b152e53502ac5e0bb454b6e02fd4f670003db5348c7b","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-9d2e609ab19d361f","role":"sequence","name":"Triangle read by rows: T(n,k) is the number of k-matchings in the n-sunlet graph (0 <= k <= 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-084a36b1791da245","kind":"fingerprint_related","node_a_id":"n-170d9d09425f5556","node_b_id":"n-e9991224a3fee705","fingerprint":"f6-f7ea49607396af2f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f7ea49607396af2f"},"other_id":"n-170d9d09425f5556","other":{"id":"n-170d9d09425f5556","name":"reversal of A Riordan array of coordination sequences.","first_index":0,"fingerprint":"f6-f7ea49607396af2f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","2"],["1","4","2"]],"card_rows":[["1"],["1","2"],["1","4","2"],["1","6","8","2"]],"row_sums_preview":["1","3","7","17","41","99","239","577"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ec35d1145e9a1211","steps":["reverse"],"edges":["e-9850f850f603c588"],"text":"A113413 \u2192 reverse"},"headline":"A113413 \u2192 reverse","chain":null}},{"id":"l-1aeb6e5a56593e0b","kind":"fingerprint_related","node_a_id":"n-ed18eef7ee1e3954","node_b_id":"n-e9991224a3fee705","fingerprint":"f6-f7ea49607396af2f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f7ea49607396af2f"},"other_id":"n-ed18eef7ee1e3954","other":{"id":"n-ed18eef7ee1e3954","name":"reversal of Triangle T(n,k), 0 <= k <= n, read by rows, given by [0, 2, -1, 0, 0, 0, 0, 0, ...] DELTA [1, 0, 0, 0, 0, 0, 0, 0, ...] where DELTA is the operator defined in A084938.","first_index":1,"fingerprint":"f6-f7ea49607396af2f","polytool_family":null,"degree_pattern":"irregular","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1"],["1","2"]],"card_rows":[["1"],["1"],["1","2"],["1","4","2"]],"row_sums_preview":["1","1","3","7","17","41","99","239"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b0fc620949fb5990","steps":["reverse"],"edges":["e-0819b37fda6a96d6"],"text":"A122542 \u2192 reverse"},"headline":"A122542 \u2192 reverse","chain":null}},{"id":"l-76abe146eea04015","kind":"fingerprint_related","node_a_id":"n-63c9448cec96afa7","node_b_id":"n-e9991224a3fee705","fingerprint":"f6-f7ea49607396af2f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f7ea49607396af2f"},"other_id":"n-63c9448cec96afa7","other":{"id":"n-63c9448cec96afa7","name":"reversal of Table a(d,m) of number of points of L1 norm m in cubic lattice Z^d, read by antidiagonals (d >= 1, m >= 0).","first_index":1,"fingerprint":"f6-f7ea49607396af2f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","1"],["2","4","1"]],"card_rows":[["1"],["2","1"],["2","4","1"],["2","8","6","1"]],"row_sums_preview":["1","3","7","17","41","99","239","577"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e073e5e0b021f36a","steps":["reverse"],"edges":["e-735e2173a8b41e53"],"text":"A035607 \u2192 reverse"},"headline":"A035607 \u2192 reverse","chain":null}},{"id":"l-7d7a37d6d488d678","kind":"fingerprint_related","node_a_id":"n-a1540a6d32c29f8f","node_b_id":"n-e9991224a3fee705","fingerprint":"f6-f7ea49607396af2f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f7ea49607396af2f"},"other_id":"n-a1540a6d32c29f8f","other":{"id":"n-a1540a6d32c29f8f","name":"Square array A(n,r), the number of neighbors at a sharp Manhattan distance r in a finite n-hypercube lattice, read by upwards antidiagonals; A(n,r) = Sum_{k=0..min(n,r)} binomial(r-1,k-1)*binomial(n,k)* 2^k.","first_index":0,"fingerprint":"f6-f7ea49607396af2f","polytool_family":null,"degree_pattern":"irregular","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1"],["1","2"]],"card_rows":[["1"],["1"],["1","2"],["1","4","2"]],"row_sums_preview":["1","1","3","7","17","41","99","239"],"regions":["(-inf, 0)"],"region_exact":{},"oeis_ids":["A266213"],"derivation":{"root":"n-a1540a6d32c29f8f","steps":[],"edges":[],"text":"A266213"},"headline":"A266213: Square array A(n,r), the number of neighbors at a sharp Manhattan distance r in a finite n-hypercube lattice, read by upwards antidiagonals; A(n,r) = Sum_{k=0..min(n,r)} binomial(r-1,k-1)*binomial(n,k)* 2^k.","chain":null}},{"id":"l-933cfe6092689c0e","kind":"fingerprint_related","node_a_id":"n-e073e5e0b021f36a","node_b_id":"n-e9991224a3fee705","fingerprint":"f6-f7ea49607396af2f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f7ea49607396af2f"},"other_id":"n-e073e5e0b021f36a","other":{"id":"n-e073e5e0b021f36a","name":"Table a(d,m) of number of points of L1 norm m in cubic lattice Z^d, read by antidiagonals (d >= 1, m >= 0).","first_index":1,"fingerprint":"f6-f7ea49607396af2f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","2"],["1","4","2"]],"card_rows":[["1"],["1","2"],["1","4","2"],["1","6","8","2"]],"row_sums_preview":["1","3","7","17","41","99","239","577"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A035607"],"derivation":{"root":"n-e073e5e0b021f36a","steps":[],"edges":[],"text":"A035607"},"headline":"A035607: Table a(d,m) of number of points of L1 norm m in cubic lattice Z^d, read by antidiagonals (d >= 1, m >= 0).","chain":null}},{"id":"l-c00da11233ae60ac","kind":"fingerprint_related","node_a_id":"n-ec35d1145e9a1211","node_b_id":"n-e9991224a3fee705","fingerprint":"f6-f7ea49607396af2f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f7ea49607396af2f"},"other_id":"n-ec35d1145e9a1211","other":{"id":"n-ec35d1145e9a1211","name":"A Riordan array of coordination sequences.","first_index":0,"fingerprint":"f6-f7ea49607396af2f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","1"],["2","4","1"]],"card_rows":[["1"],["2","1"],["2","4","1"],["2","8","6","1"]],"row_sums_preview":["1","3","7","17","41","99","239","577"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A113413"],"derivation":{"root":"n-ec35d1145e9a1211","steps":[],"edges":[],"text":"A113413"},"headline":"A113413: A Riordan array of coordination sequences.","chain":null}},{"id":"l-eae0b332be718961","kind":"fingerprint_related","node_a_id":"n-b0fc620949fb5990","node_b_id":"n-e9991224a3fee705","fingerprint":"f6-f7ea49607396af2f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-f7ea49607396af2f"},"other_id":"n-b0fc620949fb5990","other":{"id":"n-b0fc620949fb5990","name":"Triangle T(n,k), 0 <= k <= n, read by rows, given by [0, 2, -1, 0, 0, 0, 0, 0, ...] DELTA [1, 0, 0, 0, 0, 0, 0, 0, ...] where DELTA is the operator defined in A084938.","first_index":1,"fingerprint":"f6-f7ea49607396af2f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["0","1"],["0","2","1"]],"card_rows":[["1"],["0","1"],["0","2","1"],["0","2","4","1"]],"row_sums_preview":["1","1","3","7","17","41","99","239"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":["A122542"],"derivation":{"root":"n-b0fc620949fb5990","steps":[],"edges":[],"text":"A122542"},"headline":"A122542: Triangle T(n,k), 0 <= k <= n, read by rows, given by [0, 2, -1, 0, 0, 0, 0, 0, ...] DELTA [1, 0, 0, 0, 0, 0, 0, 0, ...] where DELTA is the operator defined in A084938.","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:  0;\n  1:  1;\n  2:  4,   2;\n  3:  6,  12,    3;\n  4:  8,  32,   24,    4;\n  5: 10,  60,   90,   40,    5;\n  6: 12,  96,  228,  192,   60,    6;\n  7: 14, 140,  462,  616,  350,   84,   7;\n  8: 16, 192,  816, 1536, 1360,  576, 112,   8;\n  9: 18, 252, 1314, 3240, 4050, 2628, 882, 144, 9;\n","recurrence_sentence":"The row polynomials satisfy -(n^2-3*n+2-(n^2-n)*x)*P(n,x) = -(n^2-2*n+(3*n^2-10*n)*x-2*n*x^2)*P(n-1,x) + (n*x+6*n*x^2+n*x^3)*d/dx P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 1.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[(-(n^2 - 2*n + (3*n^2 - 10*n)*x - 2*n*x^2)*P[n - 1, x] + (n*x + 6*n*x^2 + n*x^3)*D[P[n - 1, x], x])/(-n^2 + 3*n - 2 + (n^2 - n)*x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 1; for(n = 2, N, my(i = n + 1); v[i] = (-(n^2 - 2*n + (3*n^2 - 10*n)*x - 2*n*x^2)*v[i - 1] + (n*x + 6*n*x^2 + n*x^3)*deriv(v[i - 1], x))/(-n^2 + 3*n - 2 + (n^2 - n)*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-9d2e609ab19d361f","steps":["D"],"edges":["e-ad64dd2ba2b3a7ca"],"text":"A102413 \u2192 D"},"headline":"A102413 \u2192 D","chain":null}