{"id":"n-246441fdbcd28bec","revision":0,"first_index":0,"fingerprint":"f6-cf47c94c08cce238","name":"basis_map_A013611 of basis_map_A007318 of Triangle read by rows: T(n,k) number of tilings of a 2n X 3 grid by dominoes, 2k of which are in a vertical position (0<=k<=n).","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":[["29","88","64"],["169","752","1088","512"],["985","5776","12480","11776","4096"],["5741","41784","120000","169984","118784","32768"],["33461","290856","1041792","1968128","2068480","1146880","262144"],["195025","1971040","8457600","19973120","28037120","23396352","10747904","2097152"],["1136689","13095584","65472128","185531392","325939200","363528192","251396096","98566144","16777216"],["6625109","85695976","489139840","1616992256","3411849216","4765286400","4405854208","2600468480","889192448","134217728"],["38613965","554081144","3554934720","13429540864","33081094144","55522983936","64306020352","50751078400","26122125312","7918845952","1073741824"],["225058681","3547702608","25273117632","107399730688","302511042560","593021370368","825614139392","816354164736","561852186624","256355860480","69793218560","8589934592"],["1311738121","22532603952","176465391936","833153784320","2641183006720","5922693578752","9633549778944","11452287025152","9875824312320","6025033809920","2468532453376","609885356032","68719476736"],["7645370045","142141826072","1213780065600","6303246110720","22209817272320","56072604155904","104357233164288","144965766217728","150311389888512","114900441497600","62941671981056","23398981828608","5291399708672","549755813888"],["44560482149","891481312840","8243349610240","46696563404800","181043689512960","508191469535232","1065090682454016","1693200175595520","2051718644760576","1885868734283776","1294385031413760","643317381464064","218871533404160","45629732552704","4398046511104"],["259717522849","5563229908160","55378168098560","339822931200000","1437624827043840","4441425729159168","10351718617841664","18534960746987520","25705601883439104","27614061122289664","22790318390771712","14191585558265856","6454476852428800","2024200906735616","391426139488256","35184372088832"],["1513744654945","34565638318912","368531498246400","2435266368583680","11163288722350080","37641361521770496","96576626857869312","192330313249062912","300461578631774208","369443313066967040","356360014291533824","266828743094304768","152040674047295488","63735390527291392","18537766044303360","3342515348439040","281474976710656"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["181","2521","35113","489061","6811741","94875313","1321442641","18405321661","256353060613","3570537526921","49731172316281","692665874901013","9647591076297901","134373609193269601","1871582937629476513"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["29","88","64"],["169","752","1088","512"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["6","8"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":205969,"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-90820a815b37830a"]},{"id":205970,"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-90820a815b37830a"]},{"id":205971,"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-90820a815b37830a"]},{"id":205972,"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-90820a815b37830a"]}],"region_exact":{},"incoming_edges":[{"id":"e-90820a815b37830a","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-246441fdbcd28bec","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":"6c3b4bee6022fb2be6b45a904c5e7abfae9a92df421babd3664872cd13aea483","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-47b361d1e904fbeb","role":"sequence","name":"basis_map_A007318 of Triangle read by rows: T(n,k) number of tilings of a 2n X 3 grid by dominoes, 2k of which are in a vertical position (0<=k<=n).","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":[],"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:        29,         88,          64;\n  1:       169,        752,        1088,          512;\n  2:       985,       5776,       12480,        11776,         4096;\n  3:      5741,      41784,      120000,       169984,       118784,        32768;\n  4:     33461,     290856,     1041792,      1968128,      2068480,      1146880,       262144;\n  5:    195025,    1971040,     8457600,     19973120,     28037120,     23396352,     10747904,      2097152;\n  6:   1136689,   13095584,    65472128,    185531392,    325939200,    363528192,    251396096,     98566144,     16777216;\n  7:   6625109,   85695976,   489139840,   1616992256,   3411849216,   4765286400,   4405854208,   2600468480,    889192448,    134217728;\n  8:  38613965,  554081144,  3554934720,  13429540864,  33081094144,  55522983936,  64306020352,  50751078400,  26122125312,   7918845952,  1073741824;\n  9: 225058681, 3547702608, 25273117632, 107399730688, 302511042560, 593021370368, 825614139392, 816354164736, 561852186624, 256355860480, 69793218560, 8589934592;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -P(n-2,x) + (6+8*x)*P(n-1,x) for n >= 2, with P(0,x) = 29 + 88*x + 64*x^2, P(1,x) = 169 + 752*x + 1088*x^2 + 512*x^3.","mathematica":"P[0, x_] := 29 + 88*x + 64*x^2;\nP[1, x_] := 169 + 752*x + 1088*x^2 + 512*x^3;\nP[n_, x_] := P[n, x] = Expand[-P[n - 2, x] + (6 + 8*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] = 29 + 88*x + 64*x^2; v[2] = 169 + 752*x + 1088*x^2 + 512*x^3; for(n = 2, N, my(i = n + 1); v[i] = -v[i - 2] + (6 + 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 - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-8eb9bb3a09f0b7fd","steps":["basis A007318","basis A013611"],"edges":["e-1acefd6886502727","e-90820a815b37830a"],"text":"A123519 \u2192 basis A007318 \u2192 basis A013611"},"headline":"A123519 \u2192 basis A007318 \u2192 basis A013611","chain":null}