{"id":"n-47b7c605b3a36a4e","revision":0,"first_index":0,"fingerprint":"f6-65e248b1aaac025a","name":"basis_map_A008277 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^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":false,"rows":[["729","792","144"],["19683","39636","16848","1728"],["531441","1782000","1334880","311040","20736"],["14348907","75875292","89462880","35614080","5287680","248832"],["387420489","3131323272","5473110384","3317241600","823944960","85100544","2985984"],["10460353203","126770653476","316704508848","274663545408","101602771200","17291086848","1316818944","35831808"],["282429536481","5069579724000","17673177792960","21104257466880","10916170384896","2723557810176","337858117632","19779158016","429981696"],["7625597484987","201102763673772","962167024128960","1541646353928960","1071963868469760","367943574104064","66130647367680","6249783951360","290237644800","5159780352"],["205891132094649","7934514953096952","51483751394662224","108669724587072000","98897046382379520","44874657368690688","10962256978649088","1487293787013120","110696637726720","4179422085120","61917364224"],["5559060566555523","311916776755916916","2720885500564936848","7463997665721482688","8721315173723328000","5090859747664644096","1623759329310547968","296636694102245376","31463211884544000","1892581634211840","59254917562368","743008370688"],["150094635296999121","12231463020279426000","142508161849882782240","502882478947232651520","743666610017907392256","547560580131503972352","221842490573719977984","52411784997075812352","7429615391025856512","633057063233126400","31421452492210176","829197341687808","8916100448256"],["4052555153018976267","478828193414461603452","7414693810587375006240","33391694115874250432640","61809585498709846237440","56561769791655734301696","28533133528376325488640","8479818021560054906880","1542784113061090099200","174618088228782342144","12215638275152412672","508899807234883584","11475021276905472","106993205379072"],["109418989131512359209","18722930205000230249832","383895322660929664559664","2192653055027126277331200","5036419241793729472999680","5662588997858567039096832","3503521456809125034995712","1283657402733682000527360","291520262165234741084160","42086851267618697379840","3891115885192792768512","227502728652175441920","8069026325169438720","157280011907235840","1283918464548864"],["2954312706550833698643","731507305864587128053956","19803336618167415655540848","142743886338640111446581568","404043279794855225802950400","553082273715220086077420544","414799692198406182933737472","184528229185148202478485504","51260881079128057159680000","9179968067111341039288320","1077036250334764905529344","82866324478009408487424","4109836245430079324160","125610558081057423360","2137724243473858560","15407021574586368"],["79766443076872509863361","28564236681197507998488000","1018748255196913243969230720","9230504878752336009001128960","32016172620677823272580258816","52966677170762410198370992128","47702156812224853143369056256","25460229745932324670316740608","8519427122954529460382466048","1854426262009567726220083200","268483945604546533584273408","26100180596020674815852544","1697177891704656466280448","72304767073994460364800","1924182924450091499520","28841944387625680896","184884258895036416"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1665","77895","3980097","220837671","13221127233","848845569735","58127239972737","4225125010534695","324630074560834305","26268345739854346311","2231348596193092342977","198403713836717808975399","18419301785714245180017345","1781340148789995311054646471","179093342433704131060657296129"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["729","792","144"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["27","12"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","12"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":198127,"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-224ee59cff76398f"]},{"id":198128,"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-224ee59cff76398f"]},{"id":198129,"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-224ee59cff76398f"]}],"region_exact":{},"incoming_edges":[{"id":"e-224ee59cff76398f","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-47b7c605b3a36a4e","premise_count":1,"theorem":"ray basis maps: for L f = (a + b t) f + kappa (t - h) f', b > 0, kappa >= 0, and g real-rooted with every root <= h, of multiplicity m at h, T(u^k) = L^k g sends every real polynomial with all roots in S to one with all roots in (-inf, h] if and only if S lies in (-inf, a + b h + kappa m] (RealRooted rayBasisMap_maps_realRootedIn_iff; the step is Ma and Wang, EJC 15 (2008) R17, Theorem 2)","lean_route":null,"lean_declarations":[],"certificate_hash":"46f7b150006ab7b83fe7bb1848119d136869965a4629e84d8d0b83c13daec0af","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-16c35c7477b7e922","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*3^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-621991d758dbe231","kind":"fingerprint_related","node_a_id":"n-28c47f7742a98cf2","node_b_id":"n-47b7c605b3a36a4e","fingerprint":"f6-65e248b1aaac025a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-65e248b1aaac025a"},"other_id":"n-28c47f7742a98cf2","other":{"id":"n-28c47f7742a98cf2","name":"basis_map_A008277 of basis_map_A007318 of Triangle of coefficients in expansion of (1+4x)^n.","first_index":0,"fingerprint":"f6-65e248b1aaac025a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["9","4"],["81","88","16"]],"card_rows":[["1"],["9","4"],["81","88","16"],["729","1468","624","64"]],"row_sums_preview":["1","13","185","2885","49137","908797","18135977","388132405"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-2e0409c0014ec240","steps":["basis A007318","basis A008277"],"edges":["e-13c78408b476aecd","e-c2461953ba27deea"],"text":"A013611 \u2192 basis A007318 \u2192 basis A008277"},"headline":"A013611 \u2192 basis A007318 \u2192 basis A008277","chain":null}},{"id":"l-eaae990f72045392","kind":"fingerprint_related","node_a_id":"n-47b7c605b3a36a4e","node_b_id":"n-1bf987212f59a9c9","fingerprint":"f6-65e248b1aaac025a","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-65e248b1aaac025a"},"other_id":"n-1bf987212f59a9c9","other":{"id":"n-1bf987212f59a9c9","name":"basis_map_A008277 of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-65e248b1aaac025a","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1296","1408","256"],["46656","93952","39936","4096"],["1679616","5632000","4218880","983040","65536"]],"card_rows":[["1296","1408","256"],["46656","93952","39936","4096"],["1679616","5632000","4218880","983040","65536"],["60466176","319737856","376995840","150077440","22282240","1048576"]],"row_sums_preview":["2960","184640","12579072","930608128","74284961792","6359161323520","580616796045312","56271461198069760"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["basis A013609","basis A008277"],"edges":["e-4eca5e8e987e069c","e-5fd8ac66802137f6"],"text":"A038334 \u2192 basis A013609 \u2192 basis A008277"},"headline":"A038334 \u2192 basis A013609 \u2192 basis A008277","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:              729,                792,                 144;\n  1:            19683,              39636,               16848,                1728;\n  2:           531441,            1782000,             1334880,              311040,               20736;\n  3:         14348907,           75875292,            89462880,            35614080,             5287680,              248832;\n  4:        387420489,         3131323272,          5473110384,          3317241600,           823944960,            85100544,             2985984;\n  5:      10460353203,       126770653476,        316704508848,        274663545408,        101602771200,         17291086848,          1316818944,           35831808;\n  6:     282429536481,      5069579724000,      17673177792960,      21104257466880,      10916170384896,       2723557810176,        337858117632,        19779158016,         429981696;\n  7:    7625597484987,    201102763673772,     962167024128960,    1541646353928960,    1071963868469760,     367943574104064,      66130647367680,      6249783951360,      290237644800,       5159780352;\n  8:  205891132094649,   7934514953096952,   51483751394662224,  108669724587072000,   98897046382379520,   44874657368690688,   10962256978649088,   1487293787013120,   110696637726720,    4179422085120,    61917364224;\n  9: 5559060566555523, 311916776755916916, 2720885500564936848, 7463997665721482688, 8721315173723328000, 5090859747664644096, 1623759329310547968, 296636694102245376, 31463211884544000, 1892581634211840, 59254917562368, 743008370688;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (27+12*x)*P(n-1,x) + 12*x*d/dx P(n-1,x) for n >= 1, with P(0,x) = 729 + 792*x + 144*x^2.","mathematica":"P[0, x_] := 729 + 792*x + 144*x^2;\nP[n_, x_] := P[n, x] = Expand[(27 + 12*x)*P[n - 1, x] + 12*x*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 729 + 792*x + 144*x^2; for(n = 1, N, my(i = n + 1); v[i] = (27 + 12*x)*v[i - 1] + 12*x*deriv(v[i - 1], x)); 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-615df6ea54d3bbef","steps":["basis A013611","basis A008277"],"edges":["e-a5d7492b5780a0c3","e-224ee59cff76398f"],"text":"A038329 \u2192 basis A013611 \u2192 basis A008277"},"headline":"A038329 \u2192 basis A013611 \u2192 basis A008277","chain":null}