{"id":"n-1c7cd5e31010a2aa","revision":2,"first_index":0,"fingerprint":"f6-d987e0954c3bd72b","name":"basis_map_A008288 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":[["11","18","4"],["41","112","60","8"],["153","592","548","168","16"],["571","2866","3932","2032","432","32"],["2131","13154","24424","18544","6512","1056","64"],["7953","58272","137944","141888","72272","19072","2496","128"],["29681","251744","728744","961664","658928","249472","52544","5760","256"],["110771","1067426","3665432","5966672","5229904","2643296","791744","138496","13056","512"],["413403","4461042","17759788","34622928","37434384","24082784","9564672","2362624","353024","29184","1024"],["1542841","18430352","83564500","190676008","247357744","195728128","98447872","32059648","6725888","876544","64512","2048"],["5757961","75431728","384048524","1007125000","1533808480","1454326528","896481280","368036096","101299456","18448384","2130944","141312","4096"],["21489003","306328402","1731324980","5141377440","9032145696","10053017024","7407823872","3713749248","1283440384","305404416","49101824","5091328","307200","8192"],["80198051","1235837890","7680609360","25516226720","50965608352","65484129728","56560743296","33804673280","14219267840","4233505280","886249472","127479808","11988992","663552","16384"],["299303201","4957815360","33613672240","123664975680","277474389728","405903672832","404443573376","282781153280","141427692800","51097935872","13343107072","2491572224","324128768","27885568","1425408","32768"],["1117014753","19792636352","145408128720","587358720960","1465462026784","2412457586176","2736517848960","2204257440768","1286962626304","551488806912","174295308288","40489459712","6820048896","809598976","64176128","3047424","65536"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["33","221","1477","9865","65885","440025","2938793","19627309","131084857","875476085","5847039789","39050609009","260807198005","1741852336177","11633304541649"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008288","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["11","18","4"],["41","112","60","8"],["153","592","548","168","16"],["571","2866","3932","2032","432","32"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-1"]]},"deriv_order":0,"offset":4,"sign":"none"},{"coeff":{"coeffs":[["6","2"]]},"deriv_order":0,"offset":3,"sign":"none"},{"coeff":{"coeffs":[["-10"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["6","2"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":166217,"position":0,"claim":"real_rooted","from_index":0,"region_key":"[-1564556493/268435456, -46056243/268435456]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1564556493/268435456"},"upper":{"closed":true,"value":"-46056243/268435456"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-1564556493/268435456, -46056243/268435456]","region_exact":null,"edges":["e-b77c7252fe4ee4d8"]},{"id":166218,"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-0686670e536a2f53","e-b77c7252fe4ee4d8"]},{"id":166219,"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-0686670e536a2f53","e-b77c7252fe4ee4d8"]},{"id":168714,"position":3,"claim":"real_rooted","from_index":0,"region_key":"[-1564556493/268435456, -46056243/268435456]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"exact":{"radicand":"2","rational_part":"-3","sqrt_coefficient":"-2"},"value":"-1564556493/268435456"},"upper":{"closed":true,"exact":{"radicand":"2","rational_part":"-3","sqrt_coefficient":"2"},"value":"-46056243/268435456"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [\u22123\u22122\u221a2, \u22123+2\u221a2] (rational outer bound [-1564556493/268435456, -46056243/268435456])","region_exact":"[\u22123\u22122\u221a2, \u22123+2\u221a2]","edges":["e-0686670e536a2f53"]}],"region_exact":{"[-1564556493/268435456, -46056243/268435456]":"[\u22123\u22122\u221a2, \u22123+2\u221a2]"},"incoming_edges":[{"id":"e-0686670e536a2f53","operation":{"map":"A008288","operation":"basis_map"},"operation_detail":"A008288","conclusion_id":"n-1c7cd5e31010a2aa","premise_count":1,"theorem":"affine current multiplier with an affine initial row (module documentation, \"The affine-current theorem\"): with beta = b/d, K = beta^2 + a beta - c > 0 and eta = m/d >= 0, every real polynomial with all roots in E = [-beta - sqrt(K), -beta + sqrt(K)] has a real-rooted image, and no interval of positive length outside E works (Theorem 1); for eta > 0 the images lie in I = [(-a - 2 beta - 2 sqrt(K))/d, (-a - 2 beta + 2 sqrt(K))/d] if and only if eta >= 1/2 and (s - (2 eta - 1) beta)^2 <= (2 eta - 1)^2 K, s = l - eta a (Theorem 2); with a >= 0, K >= beta^2, a + 2 beta >= 0, a^2 + 4c >= 0, l >= 0 and the scalar criterion, PF inputs with roots in [-R, 0], R = beta + sqrt(K), have PF images, sharply (the common-interlacer proof; the Chebyshev case is Iserles and Saff, Math. Proc. Cambridge Philos. Soc. 105 (1989), Theorem 1; the scalar criterion is RealRooted orderTwoConstants_nonneg_iff)","lean_route":null,"lean_declarations":[],"certificate_hash":"52f86c4f544caf2571855f01923b9d33fa7baf4f668d66e8278b9ef416fadd97","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"exact":{"radicand":"2","rational_part":"-3","sqrt_coefficient":"-2"},"value":"-1564556493/268435456"},"upper":{"closed":true,"exact":{"radicand":"2","rational_part":"-3","sqrt_coefficient":"2"},"value":"-46056243/268435456"}}}],"premises":[{"position":0,"node_id":"n-8eb9bb3a09f0b7fd","role":"sequence","name":"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":{"lower":{"closed":true,"value":"-2"},"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-2, 0]"}]},{"id":"e-b77c7252fe4ee4d8","operation":{"map":"A008288","operation":"basis_map"},"operation_detail":"A008288","conclusion_id":"n-1c7cd5e31010a2aa","premise_count":1,"theorem":"affine current multiplier with an affine initial row (module documentation, \"The affine-current theorem\"): with beta = b/d, K = beta^2 + a beta - c > 0 and eta = m/d >= 0, every real polynomial with all roots in E = [-beta - sqrt(K), -beta + sqrt(K)] has a real-rooted image, and no interval of positive length outside E works (Theorem 1); for eta > 0 the images lie in I = [(-a - 2 beta - 2 sqrt(K))/d, (-a - 2 beta + 2 sqrt(K))/d] if and only if eta >= 1/2 and (s - (2 eta - 1) beta)^2 <= (2 eta - 1)^2 K, s = l - eta a (Theorem 2); with a >= 0, K >= beta^2, a + 2 beta >= 0, a^2 + 4c >= 0, l >= 0 and the scalar criterion, PF inputs with roots in [-R, 0], R = beta + sqrt(K), have PF images, sharply (the common-interlacer proof; the Chebyshev case is Iserles and Saff, Math. Proc. Cambridge Philos. Soc. 105 (1989), Theorem 1; the scalar criterion is RealRooted orderTwoConstants_nonneg_iff)","lean_route":null,"lean_declarations":[],"certificate_hash":"9f856f5e954bf6d248563ecc61bd49d16783c63bba66c02ce02d75bad31f8e0b","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1564556493/268435456"},"upper":{"closed":true,"value":"-46056243/268435456"}}}],"premises":[{"position":0,"node_id":"n-8eb9bb3a09f0b7fd","role":"sequence","name":"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":{"lower":{"closed":true,"value":"-2"},"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-2, 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:      11,       18,        4;\n  1:      41,      112,       60,         8;\n  2:     153,      592,      548,       168,        16;\n  3:     571,     2866,     3932,      2032,       432,        32;\n  4:    2131,    13154,    24424,     18544,      6512,      1056,       64;\n  5:    7953,    58272,   137944,    141888,     72272,     19072,     2496,      128;\n  6:   29681,   251744,   728744,    961664,    658928,    249472,    52544,     5760,     256;\n  7:  110771,  1067426,  3665432,   5966672,   5229904,   2643296,   791744,   138496,   13056,    512;\n  8:  413403,  4461042, 17759788,  34622928,  37434384,  24082784,  9564672,  2362624,  353024,  29184,  1024;\n  9: 1542841, 18430352, 83564500, 190676008, 247357744, 195728128, 98447872, 32059648, 6725888, 876544, 64512, 2048;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -P(n-4,x) + (6+2*x)*P(n-3,x) - 10*P(n-2,x) + (6+2*x)*P(n-1,x) for n >= 4, with P(0,x) = 11 + 18*x + 4*x^2, P(1,x) = 41 + 112*x + 60*x^2 + 8*x^3, P(2,x) = 153 + 592*x + 548*x^2 + 168*x^3 + 16*x^4, P(3,x) = 571 + 2866*x + 3932*x^2 + 2032*x^3 + 432*x^4 + 32*x^5.","mathematica":"P[0, x_] := 11 + 18*x + 4*x^2;\nP[1, x_] := 41 + 112*x + 60*x^2 + 8*x^3;\nP[2, x_] := 153 + 592*x + 548*x^2 + 168*x^3 + 16*x^4;\nP[3, x_] := 571 + 2866*x + 3932*x^2 + 2032*x^3 + 432*x^4 + 32*x^5;\nP[n_, x_] := P[n, x] = Expand[-P[n - 4, x] + (6 + 2*x)*P[n - 3, x] - 10*P[n - 2, x] + (6 + 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] = 11 + 18*x + 4*x^2; v[2] = 41 + 112*x + 60*x^2 + 8*x^3; v[3] = 153 + 592*x + 548*x^2 + 168*x^3 + 16*x^4; v[4] = 571 + 2866*x + 3932*x^2 + 2032*x^3 + 432*x^4 + 32*x^5; for(n = 4, N, my(i = n + 1); v[i] = -v[i - 4] + (6 + 2*x)*v[i - 3] - 10*v[i - 2] + (6 + 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-8eb9bb3a09f0b7fd","steps":["basis A008288"],"edges":["e-0686670e536a2f53"],"text":"A123519 \u2192 basis A008288"},"headline":"A123519 \u2192 basis A008288","chain":null}