{"id":"n-268fc412659cc990","revision":0,"first_index":1,"fingerprint":"f6-fc48a6a4812d9e4a","name":"basis_map_A013611 of basis_map_A013609 of Coefficients of a special case of Poisson-Charlier polynomials.","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":[["1"],["4","8"],["19","72","64"],["118","648","1088","512"],["1021","7520","19136","18432","4096"],["12088","115176","413184","667136","425984","32768"],["183727","2185128","10386304","24679936","29384704","14188544","262144"],["3389242","48660680","290741440","925341696","1654738944","1577058304","627310592","2097152"],["73156249","1234033152","8911969664","35717423104","85793583104","123505999872","98666283008","33755758592","16777216"],["1804349548","35015140296","297031160832","1438566079488","4350542757888","8412563079168","10157104824320","7000641503232","2108896051200","134217728"],["50009179819","1098257128136","10712067345600","60904156068864","222439610314752","541192826486784","877111631151104","913090765914112","554011472166912","149265280139264","1073741824"],["1537920654526","37724099771016","416162061498688","2718947638611456","11650351975464960","34209168316465152","69710247112736768","97341401160744960","89137721800392704","48335336329183232","11785623262199808","8589934592"],["51952155415381","1408299771732192","17343928960006208","128093964504995840","630361785162080256","2170270287412985856","5334177952021348352","9359304888850317312","11488424569568493568","9395517517776027648","4607424097683505152","1026336826845036544","68719476736"],["1911990785926432","56774969960210600","772364627487756800","6365199391023057408","35392279398581370880","139875092450876129280","402894570016187875328","852188087634890850304","1313671700417559396352","1439295115774134321152","1063859014375418363904","476315521005333250048","97687669127491092480","549755813888"],["76137201611236999","2458277458040951976","36619232678329918464","333227101164410659328","2066657234323775418368","9224722711992173133824","30487668380207153414144","75539049016928935870464","140310560951698955698176","192965926276540428976128","190986749792443835613184","128821592392791155015680","53074097087815283113984","10087106683102478467072","4398046511104"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","12","155","2366","50205","1666336","81270487","5129338050","387674983961","33802299163700","3329877149637171","365344230267657862","44158716139431421045","5828375301729485414856","833936511280744613998895"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["1"],["4","8"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["18","96","128"],["-9","-48","-64"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["-2","-8"],["3","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":206057,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-4d9b574196438af5"]},{"id":206058,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n have one sign","region_exact":null,"edges":["e-4d9b574196438af5"]},{"id":206059,"position":2,"claim":"hadamard_kernel","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":1},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 1, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-4d9b574196438af5"]},{"id":206060,"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-4d9b574196438af5"]}],"region_exact":{},"incoming_edges":[{"id":"e-4d9b574196438af5","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-268fc412659cc990","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":"bcbc849c7322b87c8ef87beb588d9eff0767044d83e9f0689671e0172c791e54","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":2,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-95c4930a6d47b128","role":"sequence","name":"basis_map_A013609 of Coefficients of a special case of Poisson-Charlier polynomials.","uses":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:          1;\n   2:          4,           8;\n   3:         19,          72,           64;\n   4:        118,         648,         1088,           512;\n   5:       1021,        7520,        19136,         18432,          4096;\n   6:      12088,      115176,       413184,        667136,        425984,         32768;\n   7:     183727,     2185128,     10386304,      24679936,      29384704,      14188544,         262144;\n   8:    3389242,    48660680,    290741440,     925341696,    1654738944,    1577058304,      627310592,       2097152;\n   9:   73156249,  1234033152,   8911969664,   35717423104,   85793583104,  123505999872,    98666283008,   33755758592,      16777216;\n  10: 1804349548, 35015140296, 297031160832, 1438566079488, 4350542757888, 8412563079168, 10157104824320, 7000641503232, 2108896051200, 134217728;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(9*n-18+(48*n-96)*x+(64*n-128)*x^2)*P(n-2,x) + (3*n-2+(8*n-8)*x)*P(n-1,x) for n >= 3, with P(1,x) = 1, P(2,x) = 4 + 8*x.","mathematica":"P[1, x_] := 1;\nP[2, x_] := 4 + 8*x;\nP[n_, x_] := P[n, x] = Expand[-(9*n - 18 + (48*n - 96)*x + (64*n - 128)*x^2)*P[n - 2, x] + (3*n - 2 + (8*n - 8)*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 1; v[2] = 4 + 8*x; for(n = 3, N, my(i = n); v[i] = -(9*n - 18 + (48*n - 96)*x + (64*n - 128)*x^2)*v[i - 2] + (3*n - 2 + (8*n - 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, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-c9dce8c25621fdea","steps":["basis A013609","basis A013611"],"edges":["e-0705555781f6cbb3","e-4d9b574196438af5"],"text":"A046716 \u2192 basis A013609 \u2192 basis A013611"},"headline":"A046716 \u2192 basis A013609 \u2192 basis A013611","chain":null}