{"id":"n-32191567c95f77cc","revision":1,"first_index":0,"fingerprint":"f6-2cd9f46ca2d53115","name":"basis_map_A013609 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["8","16","8"],["64","256","384","256","64"],["512","3072","7680","10240","7680","3072","512"],["4096","32768","114688","229376","286720","229376","114688","32768","4096"],["32768","327680","1474560","3932160","6881280","8257536","6881280","3932160","1474560","327680","32768"],["262144","3145728","17301504","57671680","129761280","207618048","242221056","207618048","129761280","57671680","17301504","3145728","262144"],["2097152","29360128","190840832","763363328","2099249152","4198498304","6297747456","7197425664","6297747456","4198498304","2099249152","763363328","190840832","29360128","2097152"],["16777216","268435456","2013265920","9395240960","30534533120","73282879488","134351945728","191931351040","215922769920","191931351040","134351945728","73282879488","30534533120","9395240960","2013265920","268435456","16777216"],["134217728","2415919104","20535312384","109521666048","410706247680","1149977493504","2491617902592","4271344975872","5873099341824","6525665935360","5873099341824","4271344975872","2491617902592","1149977493504","410706247680","109521666048","20535312384","2415919104","134217728"],["1073741824","21474836480","204010946560","1224065679360","5202279137280","16647293239296","41618233098240","83236466196480","135259257569280","180345676759040","198380244434944","180345676759040","135259257569280","83236466196480","41618233098240","16647293239296","5202279137280","1224065679360","204010946560","21474836480","1073741824"],["8589934592","188978561024","1984274890752","13228499271680","62835371540480","226207337545728","640920789712896","1464961805058048","2746803384483840","4272805264752640","5554646844178432","6059614739103744","5554646844178432","4272805264752640","2746803384483840","1464961805058048","640920789712896","226207337545728","62835371540480","13228499271680","1984274890752","188978561024","8589934592"],["68719476736","1649267441664","18966575579136","139088220913664","730213159796736","2920852639186944","9249366690758656","23784085776236544","50541182274502656","89850990710226944","134776486065340416","171533709537705984","185828185332514816","171533709537705984","134776486065340416","89850990710226944","50541182274502656","23784085776236544","9249366690758656","2920852639186944","730213159796736","139088220913664","18966575579136","1649267441664","68719476736"],["549755813888","14293651161088","178670639513600","1429365116108800","8218849417625600","36162937437552640","126570281031434240","361629374375526400","858869764141875200","1717739528283750400","2920157198082375680","4247501379028910080","5309376723786137600","5717790317923532800","5309376723786137600","4247501379028910080","2920157198082375680","1717739528283750400","858869764141875200","361629374375526400","126570281031434240","36162937437552640","8218849417625600","1429365116108800","178670639513600","14293651161088","549755813888"],["4398046511104","123145302310912","1662461581197312","14408000370376704","90050002314854400","432240011111301120","1656920042593320960","5207462991007580160","13669590351394897920","30376867447544217600","57716048150334013440","94444442427819294720","133796293439410667520","164672361156197744640","176434672667354726400","164672361156197744640","133796293439410667520","94444442427819294720","57716048150334013440","30376867447544217600","13669590351394897920","5207462991007580160","1656920042593320960","432240011111301120","90050002314854400","14408000370376704","1662461581197312","123145302310912","4398046511104"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","32","1024","32768","1048576","33554432","1073741824","34359738368","1099511627776","35184372088832","1125899906842624","36028797018963968","1152921504606846976","36893488147419103232","1180591620717411303424"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013609","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["8","16","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166727,"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-65b163cdbb61d2ab"]},{"id":166728,"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-65b163cdbb61d2ab"]},{"id":166729,"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-65b163cdbb61d2ab"]}],"region_exact":{},"incoming_edges":[{"id":"e-65b163cdbb61d2ab","operation":{"map":"A013609","operation":"basis_map"},"operation_detail":"A013609","conclusion_id":"n-32191567c95f77cc","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":"ed721279817601818b04e35285f92425e1e8cbe08eed3ac01cb524af5f5db9c6","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-336459bdce627a87","role":"sequence","name":"Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","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-49bb84a90ac535c9","kind":"fingerprint_related","node_a_id":"n-08f49539099949d5","node_b_id":"n-32191567c95f77cc","fingerprint":"f6-2cd9f46ca2d53115","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2cd9f46ca2d53115"},"other_id":"n-08f49539099949d5","other":{"id":"n-08f49539099949d5","name":"Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-2cd9f46ca2d53115","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","2","1"],["1","4","6","4","1"]],"card_rows":[["1"],["1","2","1"],["1","4","6","4","1"],["1","6","15","20","15","6","1"]],"row_sums_preview":["1","4","16","64","256","1024","4096","16384"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":["A034870"],"derivation":{"root":"n-08f49539099949d5","steps":[],"edges":[],"text":"A034870"},"headline":"A034870: Even-numbered rows of Pascal's triangle.","chain":null}},{"id":"l-a6268f3adc22f46f","kind":"fingerprint_related","node_a_id":"n-0b4d80e04a8cfcd3","node_b_id":"n-32191567c95f77cc","fingerprint":"f6-2cd9f46ca2d53115","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2cd9f46ca2d53115"},"other_id":"n-0b4d80e04a8cfcd3","other":{"id":"n-0b4d80e04a8cfcd3","name":"basis_map_A013609 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-2cd9f46ca2d53115","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["4","8","4"],["16","64","96","64","16"]],"card_rows":[["1"],["4","8","4"],["16","64","96","64","16"],["64","384","960","1280","960","384","64"]],"row_sums_preview":["1","16","256","4096","65536","1048576","16777216","268435456"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013609"],"edges":["e-9638204c7017296b"],"text":"A034870 \u2192 basis A013609"},"headline":"A034870 \u2192 basis A013609","chain":null}},{"id":"l-eac42bb719a18ab1","kind":"fingerprint_related","node_a_id":"n-336459bdce627a87","node_b_id":"n-32191567c95f77cc","fingerprint":"f6-2cd9f46ca2d53115","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-2cd9f46ca2d53115"},"other_id":"n-336459bdce627a87","other":{"id":"n-336459bdce627a87","name":"Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","first_index":0,"fingerprint":"f6-2cd9f46ca2d53115","polytool_family":null,"degree_pattern":"affine","palindromic":1,"gamma_positive":1,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2","4","2"],["4","16","24","16","4"]],"card_rows":[["1"],["2","4","2"],["4","16","24","16","4"],["8","48","120","160","120","48","8"]],"row_sums_preview":["1","8","64","512","4096","32768","262144","2097152"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":["A139548"],"derivation":{"root":"n-336459bdce627a87","steps":[],"edges":[],"text":"A139548"},"headline":"A139548: Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","chain":null}},{"id":"l-9d6051aa002426a9","kind":"oeis_match","node_a_id":"n-32191567c95f77cc","node_b_id":null,"fingerprint":null,"oeis_id":"A009976","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009976","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009976","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-32191567c95f77cc","oeis_id":"A009976","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":18,"oeis_terms_available":18,"term_count":200,"raw_size":30943}],"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:         8,         16,           8;\n  2:        64,        256,         384,          256,           64;\n  3:       512,       3072,        7680,        10240,         7680,          3072,           512;\n  4:      4096,      32768,      114688,       229376,       286720,        229376,        114688,         32768,          4096;\n  5:     32768,     327680,     1474560,      3932160,      6881280,       8257536,       6881280,       3932160,       1474560,        327680,         32768;\n  6:    262144,    3145728,    17301504,     57671680,    129761280,     207618048,     242221056,     207618048,     129761280,      57671680,      17301504,       3145728,        262144;\n  7:   2097152,   29360128,   190840832,    763363328,   2099249152,    4198498304,    6297747456,    7197425664,    6297747456,    4198498304,    2099249152,     763363328,     190840832,      29360128,      2097152;\n  8:  16777216,  268435456,  2013265920,   9395240960,  30534533120,   73282879488,  134351945728,  191931351040,  215922769920,  191931351040,  134351945728,   73282879488,   30534533120,    9395240960,   2013265920,    268435456,    16777216;\n  9: 134217728, 2415919104, 20535312384, 109521666048, 410706247680, 1149977493504, 2491617902592, 4271344975872, 5873099341824, 6525665935360, 5873099341824, 4271344975872, 2491617902592, 1149977493504, 410706247680, 109521666048, 20535312384, 2415919104, 134217728;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (8+16*x+8*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[(8 + 16*x + 8*x^2)*P[n - 1, 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] = (8 + 16*x + 8*x^2)*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-336459bdce627a87","steps":["basis A013609"],"edges":["e-65b163cdbb61d2ab"],"text":"A139548 \u2192 basis A013609"},"headline":"A139548 \u2192 basis A013609","chain":null}