{"id":"n-28f1aaa554c25bb6","revision":0,"first_index":0,"fingerprint":"f6-064b28e6ad672ed5","name":"basis_map_A013611 of veronese_section_2_1 of Even-numbered rows of Pascal's triangle.","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":[[],["2"],["8","16"],["32","128","96"],["128","768","1280","512"],["512","4096","10752","10240","2560"],["2048","20480","73728","114688","71680","12288"],["8192","98304","450560","983040","1032192","458752","57344"],["32768","458752","2555904","7208960","10813440","8257536","2752512","262144"],["131072","2097152","13762560","47710208","93716480","103809024","60555264","15728640","1179648"],["524288","9437184","71303168","293601280","715653120","1049624576","899678208","415236096","86507520","5242880"],["2097152","41943040","358612992","1711276032","4991221760","9160359936","10496245760","7197425664","2699034624","461373440","23068672"],["8388608","184549376","1761607680","9563013120","32514244608","71873593344","103817412608","95965675520","53980692480","16793993216","2399141888","100663296"],["33554432","805306368","8489271296","51673825280","200823275520","520227913728","910398849024","1067836243968","815708241920","383862702080","100763959296","12213813248","436207616"],["134217728","3489660928","40265318400","271656681472","1188497981440","3534489649152","7283190792192","10404558274560","10144444317696","6525665935360","2610266374144","586263035904","61069066240","1879048192"]],"degrees":[-1,0,1,2,3,4,5,6,7,8,9,10,11,12,13],"row_sums":["0","2","24","256","2688","28160","294912","3088384","32342016","338690048","3546808320","37142659072","388962975744","4073273163776","42655870353408"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["0","0","-16"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["4","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":204921,"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-181c0e9f9cc8374f"]},{"id":204922,"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-181c0e9f9cc8374f"]},{"id":204923,"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-181c0e9f9cc8374f"]},{"id":204924,"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-181c0e9f9cc8374f"]}],"region_exact":{},"incoming_edges":[{"id":"e-181c0e9f9cc8374f","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-28f1aaa554c25bb6","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":"4b68ebf79d9b2aef782660125c2609b8b3f7707fd6e2f109da35f83a20d32b2b","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-7a03fdbbc6f038d4","role":"sequence","name":"veronese_section_2_1 of Even-numbered rows of Pascal's triangle.","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-1986595350aa98b5","kind":"fingerprint_related","node_a_id":"n-697c605ecd7e51b4","node_b_id":"n-28f1aaa554c25bb6","fingerprint":"f6-064b28e6ad672ed5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-064b28e6ad672ed5"},"other_id":"n-697c605ecd7e51b4","other":{"id":"n-697c605ecd7e51b4","name":"reversal of Triangle read by rows: T(n, k) = binomial(n+k-1, 2*k-1).","first_index":1,"fingerprint":"f6-064b28e6ad672ed5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","2"],["1","4","3"]],"card_rows":[["1"],["1","2"],["1","4","3"],["1","6","10","4"]],"row_sums_preview":["1","3","8","21","55","144","377","987"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-976cdb6e4a693ec8","steps":["reverse"],"edges":["e-32f4efbf40925a37"],"text":"A078812 \u2192 reverse"},"headline":"A078812 \u2192 reverse","chain":null}},{"id":"l-22e3fb04dd6dd34d","kind":"fingerprint_related","node_a_id":"n-cdb615049480da38","node_b_id":"n-28f1aaa554c25bb6","fingerprint":"f6-064b28e6ad672ed5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-064b28e6ad672ed5"},"other_id":"n-cdb615049480da38","other":{"id":"n-cdb615049480da38","name":"reversal of basis_map_A013611 of One half of odd-numbered entries of even-numbered rows of Pascal's triangle A007318.","first_index":0,"fingerprint":"f6-064b28e6ad672ed5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["8","4"],["48","64","16"]],"card_rows":[["1"],["8","4"],["48","64","16"],["256","640","384","64"]],"row_sums_preview":["1","12","128","1344","14080","147456","1544192","16171008"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2245b35ec7cd4857","steps":["basis A013611","reverse"],"edges":["e-61d2480a3633cd97","e-96ebfd12451f4f07"],"text":"A091044 \u2192 basis A013611 \u2192 reverse"},"headline":"A091044 \u2192 basis A013611 \u2192 reverse","chain":null}},{"id":"l-2cf75a6c39a0830f","kind":"fingerprint_related","node_a_id":"n-83d230649c15eed8","node_b_id":"n-28f1aaa554c25bb6","fingerprint":"f6-064b28e6ad672ed5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-064b28e6ad672ed5"},"other_id":"n-83d230649c15eed8","other":{"id":"n-83d230649c15eed8","name":"Riordan array (1, x/(1-x)^2).","first_index":0,"fingerprint":"f6-064b28e6ad672ed5","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","3","4","1"]],"row_sums_preview":["1","1","3","8","21","55","144","377"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":["A128908"],"derivation":{"root":"n-83d230649c15eed8","steps":[],"edges":[],"text":"A128908"},"headline":"A128908: Riordan array (1, x/(1-x)^2).","chain":null}},{"id":"l-2d15c5265eb9361b","kind":"fingerprint_related","node_a_id":"n-a60ffcb7522d1b36","node_b_id":"n-28f1aaa554c25bb6","fingerprint":"f6-064b28e6ad672ed5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-064b28e6ad672ed5"},"other_id":"n-a60ffcb7522d1b36","other":{"id":"n-a60ffcb7522d1b36","name":"reversal of Even row Pascal-square read by antidiagonals.","first_index":0,"fingerprint":"f6-064b28e6ad672ed5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","1"],["3","4","1"]],"card_rows":[["1"],["2","1"],["3","4","1"],["4","10","6","1"]],"row_sums_preview":["1","3","8","21","55","144","377","987"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-79ebafb266da3b41","steps":["reverse"],"edges":["e-1e0fa78aec840e74"],"text":"A172431 \u2192 reverse"},"headline":"A172431 \u2192 reverse","chain":null}},{"id":"l-301cfcbb4ee5281c","kind":"fingerprint_related","node_a_id":"n-e3a865d778660218","node_b_id":"n-28f1aaa554c25bb6","fingerprint":"f6-064b28e6ad672ed5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-064b28e6ad672ed5"},"other_id":"n-e3a865d778660218","other":{"id":"n-e3a865d778660218","name":"derivative of reversal of Triangle read by rows: T(k,s) = ((2*k+1)/(2*s+1))*binomial(k+s,2*s), 0 <= s <= k.","first_index":1,"fingerprint":"f6-064b28e6ad672ed5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["3"],["5","10"]],"card_rows":[["3"],["5","10"],["7","28","21"],["9","54","90","36"]],"row_sums_preview":["0","3","15","56","189","605","1872","5655"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-318700a428d7b97b","steps":["reverse","D"],"edges":["e-2020a36645e8b930","e-da2e063fefda395d"],"text":"A111125 \u2192 reverse \u2192 D"},"headline":"A111125 \u2192 reverse \u2192 D","chain":null}},{"id":"l-3812665cbda706be","kind":"fingerprint_related","node_a_id":"n-55371dcfaf771579","node_b_id":"n-28f1aaa554c25bb6","fingerprint":"f6-064b28e6ad672ed5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-064b28e6ad672ed5"},"other_id":"n-55371dcfaf771579","other":{"id":"n-55371dcfaf771579","name":"basis_map_A013611 of One half of odd-numbered entries of even-numbered rows of Pascal's triangle A007318.","first_index":0,"fingerprint":"f6-064b28e6ad672ed5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["4","8"],["16","64","48"]],"card_rows":[["1"],["4","8"],["16","64","48"],["64","384","640","256"]],"row_sums_preview":["1","12","128","1344","14080","147456","1544192","16171008"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2245b35ec7cd4857","steps":["basis A013611"],"edges":["e-61d2480a3633cd97"],"text":"A091044 \u2192 basis A013611"},"headline":"A091044 \u2192 basis A013611","chain":null}},{"id":"l-6aafa70c3e751945","kind":"fingerprint_related","node_a_id":"n-fb952022f04a1ed5","node_b_id":"n-28f1aaa554c25bb6","fingerprint":"f6-064b28e6ad672ed5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-064b28e6ad672ed5"},"other_id":"n-fb952022f04a1ed5","other":{"id":"n-fb952022f04a1ed5","name":"derivative of Coefficient table for Chebyshev's U(2*n,x) polynomial expanded in decreasing powers of (-4*(1-x^2)).","first_index":0,"fingerprint":"f6-064b28e6ad672ed5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[[],["3"],["5","10"]],"card_rows":[["3"],["5","10"],["7","28","21"],["9","54","90","36"]],"row_sums_preview":["0","3","15","56","189","605","1872","5655"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-9496336e2b29e28e","steps":["D"],"edges":["e-47b5aac38f295395"],"text":"A082985 \u2192 D"},"headline":"A082985 \u2192 D","chain":null}},{"id":"l-cfc442e272b9db7c","kind":"fingerprint_related","node_a_id":"n-79ebafb266da3b41","node_b_id":"n-28f1aaa554c25bb6","fingerprint":"f6-064b28e6ad672ed5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-064b28e6ad672ed5"},"other_id":"n-79ebafb266da3b41","other":{"id":"n-79ebafb266da3b41","name":"Even row Pascal-square read by antidiagonals.","first_index":0,"fingerprint":"f6-064b28e6ad672ed5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["1","2"],["1","4","3"]],"card_rows":[["1"],["1","2"],["1","4","3"],["1","6","10","4"]],"row_sums_preview":["1","3","8","21","55","144","377","987"],"regions":["(-inf, +inf)","(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A172431"],"derivation":{"root":"n-79ebafb266da3b41","steps":[],"edges":[],"text":"A172431"},"headline":"A172431: Even row Pascal-square read by antidiagonals.","chain":null}},{"id":"l-ec1d49076a21ea20","kind":"fingerprint_related","node_a_id":"n-976cdb6e4a693ec8","node_b_id":"n-28f1aaa554c25bb6","fingerprint":"f6-064b28e6ad672ed5","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-064b28e6ad672ed5"},"other_id":"n-976cdb6e4a693ec8","other":{"id":"n-976cdb6e4a693ec8","name":"Triangle read by rows: T(n, k) = binomial(n+k-1, 2*k-1).","first_index":1,"fingerprint":"f6-064b28e6ad672ed5","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","1"],["3","4","1"]],"card_rows":[["1"],["2","1"],["3","4","1"],["4","10","6","1"]],"row_sums_preview":["1","3","8","21","55","144","377","987"],"regions":["(-inf, +inf)","(-inf, 0)","(-4, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A078812"],"derivation":{"root":"n-976cdb6e4a693ec8","steps":[],"edges":[],"text":"A078812"},"headline":"A078812: Triangle read by rows: T(n, k) = binomial(n+k-1, 2*k-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:      0;\n  1:      2;\n  2:      8,      16;\n  3:     32,     128,       96;\n  4:    128,     768,     1280,      512;\n  5:    512,    4096,    10752,    10240,     2560;\n  6:   2048,   20480,    73728,   114688,    71680,     12288;\n  7:   8192,   98304,   450560,   983040,  1032192,    458752,    57344;\n  8:  32768,  458752,  2555904,  7208960, 10813440,   8257536,  2752512,   262144;\n  9: 131072, 2097152, 13762560, 47710208, 93716480, 103809024, 60555264, 15728640, 1179648;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -16*x^2*P(n-2,x) + (4+8*x)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 2.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 2;\nP[n_, x_] := P[n, x] = Expand[-16*x^2*P[n - 2, x] + (4 + 8*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 2; for(n = 2, N, my(i = n + 1); v[i] = -16*x^2*v[i - 2] + (4 + 8*x)*v[i - 1]); 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-08f49539099949d5","steps":["Veronese 2 (j=1)","basis A013611"],"edges":["e-7b8f3a8fe3cbfab2","e-181c0e9f9cc8374f"],"text":"A034870 \u2192 Veronese 2 (j=1) \u2192 basis A013611"},"headline":"A034870 \u2192 Veronese 2 (j=1) \u2192 basis A013611","chain":null}