{"id":"n-ea9b82d727693fb6","revision":1,"first_index":0,"fingerprint":"f6-a5035a1c3b326aa3","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j.","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":true,"rows":[["144","48","4"],["1728","864","144","8"],["20736","13824","3456","384","16"],["248832","207360","69120","11520","960","32"],["2985984","2985984","1244160","276480","34560","2304","64"],["35831808","41803776","20901888","5806080","967680","96768","5376","128"],["429981696","573308928","334430208","111476736","23224320","3096576","258048","12288","256"],["5159780352","7739670528","5159780352","2006581248","501645312","83607552","9289728","663552","27648","512"],["61917364224","103195607040","77396705280","34398535680","10032906240","2006581248","278691840","26542080","1658880","61440","1024"],["743008370688","1362182012928","1135151677440","567575838720","189191946240","44144787456","7357464576","875888640","72990720","4055040","135168","2048"],["8916100448256","17832200896512","16346184155136","9081213419520","3405455032320","908121341952","176579149824","25225592832","2627665920","194641920","9732096","294912","4096"],["106993205379072","231818611654656","231818611654656","141666929344512","59027887226880","17708366168064","3935192481792","655865413632","81983176704","7591034880","506068992","23003136","638976","8192"],["1283918464548864","2995809750614016","3245460563165184","2163640375443456","991668505411584","330556168470528","82639042117632","15740769927168","2295528947712","255058771968","21254897664","1288175616","53673984","1376256","16384"],["15407021574586368","38517553936465920","44937146259210240","32454605631651840","16227302815825920","5950011032469504","1652780842352640","354167323361280","59027887226880","7651763159040","765176315904","57967902720","3220439040","123863040","2949120","32768"],["184884258895036416","493024690386763776","616280862983454720","479329560098242560","259636845053214720","103854738021285888","31733392173170688","7555569565040640","1416669293445120","209876932362240","24485642108928","2225967464448","154581073920","7927234560","283115520","6291456","65536"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["196","2744","38416","537824","7529536","105413504","1475789056","20661046784","289254654976","4049565169664","56693912375296","793714773254144","11112006825558016","155568095557812224","2177953337809371136"],"nonn":true,"definitions":[{"position":0,"source":"oeis_catalog:A038328","source_kind":"oeis_catalog","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["144","48","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["12","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":158621,"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":false,"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-ca869591900be157"]},{"id":158622,"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-48411a1ad7cd0ada","e-ca869591900be157"]},{"id":158623,"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-48411a1ad7cd0ada","e-ca869591900be157"]},{"id":158624,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"previous_interlaces_next"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, previous interlaces next) for every m >= 1","region_exact":null,"edges":["e-ca869591900be157"]},{"id":158625,"position":4,"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-48411a1ad7cd0ada"]},{"id":158626,"position":5,"claim":"basis_map_preserver","from_index":null,"region_key":null,"provenance":"edges","claim_data":{"claim":"basis_map_preserver","input_interval":"(-inf, +inf)","output_interval":"(-inf, +inf)","statement":"every real-rooted input has a real-rooted image (an affine substitution times g)"},"label":"Basis map preserves real-rootedness","description":"Basis map u^k -> P_k sends roots in (-inf, +inf) to roots in (-inf, +inf): every real-rooted input has a real-rooted image (an affine substitution times g)","region_exact":null,"edges":["e-33e9d74370728897"]},{"id":158627,"position":6,"claim":"basis_map_preserver","from_index":null,"region_key":null,"provenance":"edges","claim_data":{"claim":"basis_map_preserver","input_interval":"(-inf, 12]","output_interval":"(-inf, 0]","statement":"an input root r <= 12 gives the root (r - a)/d <= 0; a larger root gives a positive root"},"label":"Basis map preserves real-rootedness","description":"Basis map u^k -> P_k sends roots in (-inf, 12] to roots in (-inf, 0]: an input root r <= 12 gives the root (r - a)/d <= 0; a larger root gives a positive root","region_exact":null,"edges":["e-33e9d74370728897"]}],"region_exact":{},"incoming_edges":[{"id":"e-33e9d74370728897","operation":{"operation":"basis_map_theorem"},"operation_detail":null,"conclusion_id":"n-ea9b82d727693fb6","premise_count":0,"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":"bc8ec8d9a8b331d9794b683b360a52e5019f720f12065a1fd9a5ffe6da01f2fc","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"basis_map_preserver","input_interval":"(-inf, +inf)","output_interval":"(-inf, +inf)","statement":"every real-rooted input has a real-rooted image (an affine substitution times g)"},{"claim":"basis_map_preserver","input_interval":"(-inf, 12]","output_interval":"(-inf, 0]","statement":"an input root r <= 12 gives the root (r - a)/d <= 0; a larger root gives a positive root"}],"premises":[]},{"id":"e-48411a1ad7cd0ada","operation":{"operation":"parent_provers","route":"periodic_product"},"operation_detail":"periodic_product","conclusion_id":"n-ea9b82d727693fb6","premise_count":0,"theorem":"polytool parent provers, route periodic_product: every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign","lean_route":null,"lean_declarations":[],"certificate_hash":"23442a814829ea56124c581d4a5920a5c639df2f639609e5d329b537ba2ac3d1","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[]},{"id":"e-ca869591900be157","operation":{"operation":"theorem_check","theorem":"liu_wang"},"operation_detail":"liu_wang","conclusion_id":"n-ea9b82d727693fb6","premise_count":0,"theorem":"L. L. Liu and Y. Wang, A unified approach to polynomial sequences with only real zeros, Adv. in Appl. Math. 38 (2007) 542-560, Theorem 2.1 with g = f' (as in their Corollary 2.4), with nonnegativity of the coefficients replaced by an exact induction keeping every root in (-inf, 0)","lean_route":null,"lean_declarations":[],"certificate_hash":"9d4eb6b37976973557bfba796aa93eb70fa143d93f5f964f3d15f95f30ae7ce4","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":false,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"previous_interlaces_next"}],"premises":[]}],"used_by":[{"id":"e-0eb3975e7d8d74fc","operation":"basis_map","operation_detail":"A013611","conclusion_id":"n-8afe6c02ab69bf6d","conclusion_name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j."},{"id":"e-6073a5a63ce56264","operation":"basis_map","operation_detail":"A007318","conclusion_id":"n-ef03768afe1bf556","conclusion_name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j."},{"id":"e-81c568f66e8f893e","operation":"basis_map","operation_detail":"A008277","conclusion_id":"n-3df315a348347923","conclusion_name":"basis_map_A008277 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j."},{"id":"e-b35ead6daa50b714","operation":"basis_map","operation_detail":"A013610","conclusion_id":"n-7288f584ad081a07","conclusion_name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^j."},{"id":"e-ccf7b0982517b62a","operation":"basis_map","operation_detail":"A013609","conclusion_id":"n-3208539f9ba783e8","conclusion_name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j."},{"id":"e-9d869e2e35cfa66c","operation":"obreschkoff_combination","operation_detail":null,"conclusion_id":"n-4559e6a7432013d0","conclusion_name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j."},{"id":"e-9d869e2e35cfa66c","operation":"obreschkoff_combination","operation_detail":null,"conclusion_id":"n-4559e6a7432013d0","conclusion_name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j."}],"used_by_total":7,"links":[{"id":"l-0389dcde374b316f","kind":"fingerprint_related","node_a_id":"n-efce1b6c07b70e1a","node_b_id":"n-ea9b82d727693fb6","fingerprint":"f6-a5035a1c3b326aa3","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a5035a1c3b326aa3"},"other_id":"n-efce1b6c07b70e1a","other":{"id":"n-efce1b6c07b70e1a","name":"Triangle of coefficients in expansion of (1+6x)^n.","first_index":0,"fingerprint":"f6-a5035a1c3b326aa3","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","6"],["1","12","36"]],"card_rows":[["1"],["1","6"],["1","12","36"],["1","18","108","216"]],"row_sums_preview":["1","7","49","343","2401","16807","117649","823543"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A013613"],"derivation":{"root":"n-efce1b6c07b70e1a","steps":[],"edges":[],"text":"A013613"},"headline":"A013613: Triangle of coefficients in expansion of (1+6x)^n.","chain":null}},{"id":"l-3e86ae850b54d3ab","kind":"fingerprint_related","node_a_id":"n-22693abd431a71f2","node_b_id":"n-ea9b82d727693fb6","fingerprint":"f6-a5035a1c3b326aa3","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-a5035a1c3b326aa3"},"other_id":"n-22693abd431a71f2","other":{"id":"n-22693abd431a71f2","name":"Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j).","first_index":0,"fingerprint":"f6-a5035a1c3b326aa3","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["6","1"],["36","12","1"]],"card_rows":[["1"],["6","1"],["36","12","1"],["216","108","18","1"]],"row_sums_preview":["1","7","49","343","2401","16807","117649","823543"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A038255"],"derivation":{"root":"n-22693abd431a71f2","steps":[],"edges":[],"text":"A038255"},"headline":"A038255: Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j).","chain":null}},{"id":"l-95be955719da34e4","kind":"oeis_match","node_a_id":"n-ea9b82d727693fb6","node_b_id":null,"fingerprint":null,"oeis_id":"A001023","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":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A001023","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A001023","relation":"match_row_sums"},{"oeis_id":"A038328","relation":"tail"}],"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:          144,            48,             4;\n  1:         1728,           864,           144,            8;\n  2:        20736,         13824,          3456,          384,           16;\n  3:       248832,        207360,         69120,        11520,          960,          32;\n  4:      2985984,       2985984,       1244160,       276480,        34560,        2304,         64;\n  5:     35831808,      41803776,      20901888,      5806080,       967680,       96768,       5376,       128;\n  6:    429981696,     573308928,     334430208,    111476736,     23224320,     3096576,     258048,     12288,      256;\n  7:   5159780352,    7739670528,    5159780352,   2006581248,    501645312,    83607552,    9289728,    663552,    27648,     512;\n  8:  61917364224,  103195607040,   77396705280,  34398535680,  10032906240,  2006581248,  278691840,  26542080,  1658880,   61440,   1024;\n  9: 743008370688, 1362182012928, 1135151677440, 567575838720, 189191946240, 44144787456, 7357464576, 875888640, 72990720, 4055040, 135168, 2048;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (12+2*x)*P(n-1,x) for n >= 1, with P(0,x) = 144 + 48*x + 4*x^2.","mathematica":"P[0, x_] := 144 + 48*x + 4*x^2;\nP[n_, x_] := P[n, x] = Expand[(12 + 2*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] = 144 + 48*x + 4*x^2; for(n = 1, N, my(i = n + 1); v[i] = (12 + 2*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-ea9b82d727693fb6","steps":[],"edges":[],"text":"A038328"},"headline":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j.","chain":null}