{"id":"n-d89fc0d0973b1556","revision":0,"first_index":0,"fingerprint":"f6-8ca1e631330e3f91","name":"shift_x_plus_one of basis_map_A007318 of 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":[["256","64","4"],["4096","1536","192","8"],["65536","32768","6144","512","16"],["1048576","655360","163840","20480","1280","32"],["16777216","12582912","3932160","655360","61440","3072","64"],["268435456","234881024","88080384","18350080","2293760","172032","7168","128"],["4294967296","4294967296","1879048192","469762048","73400320","7340032","458752","16384","256"],["68719476736","77309411328","38654705664","11274289152","2113929216","264241152","22020096","1179648","36864","512"],["1099511627776","1374389534720","773094113280","257698037760","56371445760","8455716864","880803840","62914560","2949120","81920","1024"],["17592186044416","24189255811072","15118284881920","5669356830720","1417339207680","248034361344","31004295168","2768240640","173015040","7208960","180224","2048"],["281474976710656","422212465065984","290271069732864","120946279055360","34016140984320","6803228196864","992137445376","106300440576","8304721920","461373440","17301504","393216","4096"],["4503599627370496","7318349394477056","5488762045857792","2515682604351488","786150813859840","176883933118464","29480655519744","3685081939968","345476431872","23991418880","1199570944","40894464","851968","8192"],["72057594037927936","126100789566373888","102456891522678784","51228445761339392","17609778230460416","4402444557615104","825458354552832","117922622078976","12897786789888","1074815565824","67175972864","3053453312","95420416","1835008","16384"],["1152921504606846976","2161727821137838080","1891511843495608320","1024568915226787840","384213343210045440","105658669382762496","22012222788075520","3537678662369280","442209832796160","42992622632960","3224446697472","183207198720","7633633280","220200960","3932160","32768"],["18446744073709551616","36893488147419103232","34587645138205409280","20176126330619822080","8196551321814302720","2458965396544290816","563512903374733312","100627304174059520","14150714649477120","1572301627719680","137576392425472","9380208574464","488552529920","18790481920","503316480","8388608","65536"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["324","5832","104976","1889568","34012224","612220032","11019960576","198359290368","3570467226624","64268410079232","1156831381426176","20822964865671168","374813367582081024","6746640616477458432","121439531096594251776"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["256","64","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["16","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192720,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, -1]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, -1]","region_exact":null,"edges":["e-56a43e4060946796"]},{"id":192721,"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-56a43e4060946796","e-f7c256bc5499184f"]},{"id":192722,"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-56a43e4060946796","e-f7c256bc5499184f"]},{"id":192723,"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-56a43e4060946796"]},{"id":192724,"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-f7c256bc5499184f"]}],"region_exact":{},"incoming_edges":[{"id":"e-f7c256bc5499184f","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-d89fc0d0973b1556","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":"e63ebd01ca12bb097570ce9972e45dc88dbb0643a2b360c7e1c4fc5d2fdcebe0","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-ef03768afe1bf556","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j.","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]"}]},{"id":"e-56a43e4060946796","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-d89fc0d0973b1556","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":null,"lean_declarations":["Polynomial.Splits.comp_of_degree_le_one"],"certificate_hash":"9e5bbe53a0a9ada7e77eac68bf3760a0be94a749fb067bc2afa9c2c739e1b6bf","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-ef03768afe1bf556","role":"sequence","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*2^j.","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-0651e654404f322c","kind":"fingerprint_related","node_a_id":"n-798901ae44ad10ac","node_b_id":"n-d89fc0d0973b1556","fingerprint":"f6-8ca1e631330e3f91","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8ca1e631330e3f91"},"other_id":"n-798901ae44ad10ac","other":{"id":"n-798901ae44ad10ac","name":"derivative of basis_map_A013609 of Triangle whose (n,k)-th entry is 15^(n-k)*binomial(n,k).","first_index":0,"fingerprint":"f6-8ca1e631330e3f91","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["2"],["64","8"]],"card_rows":[["2"],["64","8"],["1536","384","24"],["32768","12288","1536","64"]],"row_sums_preview":["0","2","72","1944","46656","1049760","22674816","476171136"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ff0214c333bfdcca","steps":["basis A013609","D"],"edges":["e-f16669f3777d4fa6","e-730533ba72f0a4fa"],"text":"A027467 \u2192 basis A013609 \u2192 D"},"headline":"A027467 \u2192 basis A013609 \u2192 D","chain":null}},{"id":"l-169f22446cd59720","kind":"fingerprint_related","node_a_id":"n-326a4380cc213ab2","node_b_id":"n-d89fc0d0973b1556","fingerprint":"f6-8ca1e631330e3f91","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8ca1e631330e3f91"},"other_id":"n-326a4380cc213ab2","other":{"id":"n-326a4380cc213ab2","name":"basis_map_A013609 of Triangle whose (n,k)-th entry is 15^(n-k)*binomial(n,k).","first_index":0,"fingerprint":"f6-8ca1e631330e3f91","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["16","2"],["256","64","4"]],"card_rows":[["1"],["16","2"],["256","64","4"],["4096","1536","192","8"]],"row_sums_preview":["1","18","324","5832","104976","1889568","34012224","612220032"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ff0214c333bfdcca","steps":["basis A013609"],"edges":["e-f16669f3777d4fa6"],"text":"A027467 \u2192 basis A013609"},"headline":"A027467 \u2192 basis A013609","chain":null}},{"id":"l-2ef7a46cd791d378","kind":"fingerprint_related","node_a_id":"n-30f51be2f0e255b7","node_b_id":"n-d89fc0d0973b1556","fingerprint":"f6-8ca1e631330e3f91","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8ca1e631330e3f91"},"other_id":"n-30f51be2f0e255b7","other":{"id":"n-30f51be2f0e255b7","name":"derivative of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^j.","first_index":0,"fingerprint":"f6-8ca1e631330e3f91","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["1"],["16","2"]],"card_rows":[["1"],["16","2"],["192","48","3"],["2048","768","96","4"]],"row_sums_preview":["0","1","18","243","2916","32805","354294","3720087"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-366b2525683554ec","steps":["D"],"edges":["e-cd7cfb2c92703982"],"text":"A038279 \u2192 D"},"headline":"A038279 \u2192 D","chain":null}},{"id":"l-3d36d4c11d2cfadc","kind":"fingerprint_related","node_a_id":"n-366b2525683554ec","node_b_id":"n-d89fc0d0973b1556","fingerprint":"f6-8ca1e631330e3f91","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8ca1e631330e3f91"},"other_id":"n-366b2525683554ec","other":{"id":"n-366b2525683554ec","name":"Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^j.","first_index":0,"fingerprint":"f6-8ca1e631330e3f91","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","1"],["64","16","1"]],"card_rows":[["1"],["8","1"],["64","16","1"],["512","192","24","1"]],"row_sums_preview":["1","9","81","729","6561","59049","531441","4782969"],"regions":["(-inf, 0)","(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":["A038279"],"derivation":{"root":"n-366b2525683554ec","steps":[],"edges":[],"text":"A038279"},"headline":"A038279: Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^j.","chain":null}},{"id":"l-4f4b0de13e198173","kind":"fingerprint_related","node_a_id":"n-4c9e2de513dce1e4","node_b_id":"n-d89fc0d0973b1556","fingerprint":"f6-8ca1e631330e3f91","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8ca1e631330e3f91"},"other_id":"n-4c9e2de513dce1e4","other":{"id":"n-4c9e2de513dce1e4","name":"reversal of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^j.","first_index":0,"fingerprint":"f6-8ca1e631330e3f91","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","8"],["1","16","64"]],"card_rows":[["1"],["1","8"],["1","16","64"],["1","24","192","512"]],"row_sums_preview":["1","9","81","729","6561","59049","531441","4782969"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-366b2525683554ec","steps":["reverse"],"edges":["e-7d675385f679e5a5"],"text":"A038279 \u2192 reverse"},"headline":"A038279 \u2192 reverse","chain":null}},{"id":"l-83bc20aa67b7bb96","kind":"fingerprint_related","node_a_id":"n-6a7b824517cedbda","node_b_id":"n-d89fc0d0973b1556","fingerprint":"f6-8ca1e631330e3f91","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8ca1e631330e3f91"},"other_id":"n-6a7b824517cedbda","other":{"id":"n-6a7b824517cedbda","name":"reversal of basis_map_A013609 of Triangle whose (n,k)-th entry is 15^(n-k)*binomial(n,k).","first_index":0,"fingerprint":"f6-8ca1e631330e3f91","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["2","16"],["4","64","256"]],"card_rows":[["1"],["2","16"],["4","64","256"],["8","192","1536","4096"]],"row_sums_preview":["1","18","324","5832","104976","1889568","34012224","612220032"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ff0214c333bfdcca","steps":["basis A013609","reverse"],"edges":["e-f16669f3777d4fa6","e-0dd7061f08e95988"],"text":"A027467 \u2192 basis A013609 \u2192 reverse"},"headline":"A027467 \u2192 basis A013609 \u2192 reverse","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:            256,             64,              4;\n  1:           4096,           1536,            192,             8;\n  2:          65536,          32768,           6144,           512,            16;\n  3:        1048576,         655360,         163840,         20480,          1280,           32;\n  4:       16777216,       12582912,        3932160,        655360,         61440,         3072,          64;\n  5:      268435456,      234881024,       88080384,      18350080,       2293760,       172032,        7168,        128;\n  6:     4294967296,     4294967296,     1879048192,     469762048,      73400320,      7340032,      458752,      16384,       256;\n  7:    68719476736,    77309411328,    38654705664,   11274289152,    2113929216,    264241152,    22020096,    1179648,     36864,     512;\n  8:  1099511627776,  1374389534720,   773094113280,  257698037760,   56371445760,   8455716864,   880803840,   62914560,   2949120,   81920,   1024;\n  9: 17592186044416, 24189255811072, 15118284881920, 5669356830720, 1417339207680, 248034361344, 31004295168, 2768240640, 173015040, 7208960, 180224, 2048;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (16+2*x)*P(n-1,x) for n >= 1, with P(0,x) = 256 + 64*x + 4*x^2.","mathematica":"P[0, x_] := 256 + 64*x + 4*x^2;\nP[n_, x_] := P[n, x] = Expand[(16 + 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] = 256 + 64*x + 4*x^2; for(n = 1, N, my(i = n + 1); v[i] = (16 + 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":["x \u21a6 x+1","x \u21a6 x+1"],"edges":["e-02ed32e9293d9244","e-56a43e4060946796"],"text":"A038328 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x+1"},"headline":"A038328 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x+1","chain":null}