{"id":"n-14558d2dfbc83849","revision":0,"first_index":0,"fingerprint":"f6-6c7cd585ae759b21","name":"basis_map_A013611 of reversal of Triangle read by rows: T(n,k) = number of vertices of degree k in an origami flip graph OFG(A2n).","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":false,"rows":[["8"],["30","48"],["112","384","256"],["420","2240","3360","1280"],["1584","11520","27648","24576","6144"],["6006","55440","184800","268800","161280","28672"],["22880","256256","1098240","2252800","2252800","983040","131072"],["87516","1153152","6054048","16144128","23063040","17031168","5677056","589824"],["335920","5091840","31682560","104366080","195686400","208732160","119275520","31457280","2621440"],["1293292","22170720","159629184","627314688","1463734272","2066448384","1722040320","787218432","168689664","11534336"],["4992288","95504640","781401600","3572121600","10001940480","17687642112","19652935680","13212057600","4954521600","880803840","50331648"],["19315400","407941248","3739461440","19510233600","63851673600","136216903680","190703665152","172063457280","95590809600","29989273600","4498391040","218103808"],["74884320","1730659840","17572853760","103094075392","386602782720","968187838464","1642985422848","1877697626112","1408273219584","658841272320","175691005952","22548578304","939524096"],["290845350","7301221200","81356464800","530323622400","2243676864000","6461789368320","12923578736640","17980631285760","17163329863680","10897352294400","4358940917760","1001096478720","111232942080","4026531840"],["1131445440","30658521600","371990062080","2668066652160","12578028503040","40995055861760","94603975065600","155691113250816","181639632125952","147417672450048","80409639518208","27847494205440","5569498841088","541165879296","17179869184"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["8","78","752","7300","71472","704998","6997088","69799932","699249200","7030073292","70894253088","716809229448","7264239743712","73764927436950","750382302251712"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["8"],["30","48"]],"recurrence":{"denominator":{"coeffs":[["0"],["3"],["10"],["9"],["2"]]},"terms":[{"coeff":{"coeffs":[["0","0","96"],["0","0","112"],["0","0","-64"],["0","0","-112"],["0","0","-32"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0"],["12","0"],["38","64"],["32","64"],["8","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":205266,"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-723277773c02fb67"]},{"id":205267,"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-723277773c02fb67"]},{"id":205268,"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-723277773c02fb67"]},{"id":205269,"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-723277773c02fb67"]}],"region_exact":{},"incoming_edges":[{"id":"e-723277773c02fb67","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-14558d2dfbc83849","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"0bb54d2b6e2437310b51df85b0f0b7651185fecb3e66901add05a7a6ec686fda","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-4d976aa636e25300","role":"sequence","name":"reversal of Triangle read by rows: T(n,k) = number of vertices of degree k in an origami flip graph OFG(A2n).","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-710657aecbb0c145","kind":"fingerprint_related","node_a_id":"n-3003c343fb204735","node_b_id":"n-14558d2dfbc83849","fingerprint":"f6-6c7cd585ae759b21","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6c7cd585ae759b21"},"other_id":"n-3003c343fb204735","other":{"id":"n-3003c343fb204735","name":"derivative of basis_map_A013611 of Triangle of Narayana numbers T(n,k) = C(n-1,k-1)*C(n,k-1)/k with 1 <= k <= n, read by rows. Also called the Catalan triangle.","first_index":0,"fingerprint":"f6-6c7cd585ae759b21","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["4"],["20","32"]],"card_rows":[["4"],["20","32"],["84","288","192"],["336","1792","2688","1024"]],"row_sums_preview":["0","4","52","564","5840","59560","604284","6122452"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c2eaf5212a4dec13","steps":["basis A013611","D"],"edges":["e-c1ad06aed8ab4413","e-6e7adf9572968407"],"text":"A001263 \u2192 basis A013611 \u2192 D"},"headline":"A001263 \u2192 basis A013611 \u2192 D","chain":null}},{"id":"l-bf3c8d7b5eeb067d","kind":"fingerprint_related","node_a_id":"n-d42fbd7d701c5e4f","node_b_id":"n-14558d2dfbc83849","fingerprint":"f6-6c7cd585ae759b21","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6c7cd585ae759b21"},"other_id":"n-d42fbd7d701c5e4f","other":{"id":"n-d42fbd7d701c5e4f","name":"derivative of basis_map_A013611 of narayana","first_index":1,"fingerprint":"f6-6c7cd585ae759b21","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["4"],["20","32"]],"card_rows":[["4"],["20","32"],["84","288","192"],["336","1792","2688","1024"]],"row_sums_preview":["0","4","52","564","5840","59560","604284","6122452"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2a05d8340c329b21","steps":["basis A013611","D"],"edges":["e-98249f41ee5a34be","e-379e0ae5170c72e8"],"text":"narayana \u2192 basis A013611 \u2192 D"},"headline":"narayana \u2192 basis A013611 \u2192 D","chain":null}},{"id":"l-c84680001b53460d","kind":"fingerprint_related","node_a_id":"n-5edf2b863e61c4aa","node_b_id":"n-14558d2dfbc83849","fingerprint":"f6-6c7cd585ae759b21","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6c7cd585ae759b21"},"other_id":"n-5edf2b863e61c4aa","other":{"id":"n-5edf2b863e61c4aa","name":"basis_map_A013611 of Triangle of Dyck paths counted by number of long interior inclines.","first_index":0,"fingerprint":"f6-6c7cd585ae759b21","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["2"],["5","8"],["14","48","32"]],"card_rows":[["2"],["5","8"],["14","48","32"],["42","224","336","128"]],"row_sums_preview":["2","13","94","730","5956","50357","437318","3877774"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c963abfc0266d66c","steps":["basis A013611"],"edges":["e-1d1dd7e155045a8b"],"text":"A108838 \u2192 basis A013611"},"headline":"A108838 \u2192 basis A013611","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:       8;\n  1:      30,       48;\n  2:     112,      384,       256;\n  3:     420,     2240,      3360,      1280;\n  4:    1584,    11520,     27648,     24576,       6144;\n  5:    6006,    55440,    184800,    268800,     161280,      28672;\n  6:   22880,   256256,   1098240,   2252800,    2252800,     983040,     131072;\n  7:   87516,  1153152,   6054048,  16144128,   23063040,   17031168,    5677056,    589824;\n  8:  335920,  5091840,  31682560, 104366080,  195686400,  208732160,  119275520,  31457280,   2621440;\n  9: 1293292, 22170720, 159629184, 627314688, 1463734272, 2066448384, 1722040320, 787218432, 168689664, 11534336;\n","recurrence_sentence":"The row polynomials satisfy (2*n^4+9*n^3+10*n^2+3*n)*P(n,x) = -(32*n^4+112*n^3+64*n^2-112*n-96)*x^2*P(n-2,x) + (8*n^4+32*n^3+38*n^2+12*n+(16*n^4+64*n^3+64*n^2)*x)*P(n-1,x) for n >= 2, with P(0,x) = 8, P(1,x) = 30 + 48*x.","mathematica":"P[0, x_] := 8;\nP[1, x_] := 30 + 48*x;\nP[n_, x_] := P[n, x] = Expand[Together[(-(32*n^4 + 112*n^3 + 64*n^2 - 112*n - 96)*x^2*P[n - 2, x] + (8*n^4 + 32*n^3 + 38*n^2 + 12*n + (16*n^4 + 64*n^3 + 64*n^2)*x)*P[n - 1, x])/(2*n^4 + 9*n^3 + 10*n^2 + 3*n)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 8; v[2] = 30 + 48*x; for(n = 2, N, my(i = n + 1); v[i] = (-(32*n^4 + 112*n^3 + 64*n^2 - 112*n - 96)*x^2*v[i - 2] + (8*n^4 + 32*n^3 + 38*n^2 + 12*n + (16*n^4 + 64*n^3 + 64*n^2)*x)*v[i - 1])/(2*n^4 + 9*n^3 + 10*n^2 + 3*n)); 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-7a4827a398e28fe4","steps":["reverse","basis A013611"],"edges":["e-8b10d4d15ed56acc","e-723277773c02fb67"],"text":"A352880 \u2192 reverse \u2192 basis A013611"},"headline":"A352880 \u2192 reverse \u2192 basis A013611","chain":null}