This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A320530 #13 Feb 06 2021 20:04:01
%S A320530 1,1,1,0,1,1,0,2,2,1,0,4,7,3,1,0,7,26,16,4,1,0,11,88,90,29,5,1,0,16,
%T A320530 272,459,220,46,6,1,0,22,784,2133,1504,440,67,7,1,0,29,2144,9234,9344,
%U A320530 3775,774,92,8,1,0,37,5632,37908,54016,29375,7992,1246,121,9
%N A320530 T(n,k) = k^n + k^(n - 2)*n*(n - 1)*(k*(k - 1) + 1)/2 for 0 < k <= n and T(n,0) = A154272(n+1), square array read by antidiagonals upwards.
%C A320530 Construct a length n ternary word over the alphabet {a, b, c} as follows: letters from the set {a, b} are only used in pairs of at most one, and consist of either (a,b), (b,a) or (b,b). Next, replace each occurrence of a, b and c with a length k binary word such that 'a' has exactly two letters 1, 'b' contains no 0's and 'c' has exactly one letter 0 (empty words otherwise, respectively). Then T(n,k) gives the number of length n*k binary words resulting from this substitution. First column follows from the next definition.
%C A320530 In Kauffman's language, T(n,k) is the number of ways of splitting the crossings of the Pretzel knot shadow P(k, k, ..., k) having n tangles, of k half-twists respectively, such that the final diagram consists of two Jordan curves. This result can be achieved by assigning each tangle of the Pretzel knot a length k binary words in a way that letters 1 and 0 indicate the adequate choice for splitting the crossings.
%C A320530 Columns are linear recurrence sequences with signature (3*k, -3*k^2, k^3).
%D A320530 Louis H. Kauffman, Formal Knot Theory, Princeton University Press, 1983.
%H A320530 Louis H. Kauffman, <a href="https://doi.org/10.1016/0040-9383(87)90009-7">State models and the Jones polynomial</a>, Topology, Vol. 26 (1987), 395-407.
%H A320530 Franck Ramaharo, <a href="https://arxiv.org/abs/1805.10680">A generating polynomial for the pretzel knot</a>, arXiv:1805.10680 [math.CO], 2018.
%H A320530 Alexander Stoimenow, <a href="https://doi.org/10.3390/sym7020365">Everywhere Equivalent 2-Component Links</a>, Symmetry Vol. 7 (2015), 365-375.
%H A320530 Wikipedia, <a href="https://en.wikipedia.org/wiki/Pretzel_link">Pretzel link</a>
%F A320530 T(n,k) = k^n + k^(n - 2)*binomial(n, 2)*(2*binomial(k, 2) + 1), k > 0.
%F A320530 T(n,k) = (3*k)*T(n-1,k) - (3*k^2)*T(n-2,k) + (k^3)*T(n-3,k), n > 3.
%F A320530 T(n,1) = A152947(n+1).
%F A320530 T(n,2) = A300451(n).
%F A320530 T(2,n) = A130883(n).
%F A320530 G.f. for columns: (1 - 2*k*x + (1 - k + 2*k^2)*x^2 )/(1 - k*x)^3.
%F A320530 E.g.f. for columns: ((1 - k + k^2)*x^2 + 2)*exp(k*x)/2.
%e A320530 Square array begins:
%e A320530 1, 1, 1, 1, 1, 1, 1, ...
%e A320530 0, 1, 2, 3, 4, 5, 6, ...
%e A320530 1, 2, 7, 16, 29, 46, 67, ...
%e A320530 0, 4, 26, 90, 220, 440, 774, ...
%e A320530 0, 7, 88, 459, 1504, 3775, 7992, ...
%e A320530 0, 11, 272, 2133, 9344, 29375, 74736, ...
%e A320530 0, 16, 784, 9234, 54016, 212500, 649296, ...
%e A320530 0, 22, 2144, 37908, 295936, 1456250, 5342112, ...
%e A320530 ...
%e A320530 T(3,2) = 2^3 + 2^(3 - 2)*3*(3 - 1)*(2*(2 - 1) + 1)/2 = 26. The corresponding ternary words are abc, acb, cab, bac, bca, cba, bbc, bcb, cbb, ccc. Next, let a = {00}, b = {11} and c = {01, 10}. The resulting binary words are
%e A320530 abc: 001101, 001110;
%e A320530 acb: 000111, 001011;
%e A320530 cab: 010011, 100011;
%e A320530 bac: 110001, 110010;
%e A320530 bca: 110100, 111000;
%e A320530 cba: 011100, 101100;
%e A320530 bbc: 111101, 111110;
%e A320530 bcb: 110111, 111011;
%e A320530 cbb: 011111, 101111;
%e A320530 ccc: 010101, 101010, 010110, 011001, 100101, 101001, 100110, 011010.
%t A320530 T[n_, k_] = If[k > 0, k^n + k^(n - 2)*n*(n - 1)*(k*(k - 1) + 1)/2, If[k == 0 && (n == 0 || n == 1), 1, 0]];
%t A320530 Table[Table[T[n - k, k], {k, 0, n}], {n, 0, 10}]//Flatten
%o A320530 (Maxima) t(n, k) := k^n + k^(n - 2)*binomial(n, 2)*(2*binomial(k, 2) + 1)$
%o A320530 u(n) := if n = 0 or n = 1 then 1 else 0$
%o A320530 T(n, k) := if k = 0 then u(n) else t(n,k)$
%o A320530 tabl(nn) := for n:0 thru 10 do print(makelist(T(n, k), k, 0, nn))$
%Y A320530 Column 1 is column 2 of A300453.
%Y A320530 Column 2 is column 2 of A300184.
%Y A320530 Cf. A300401, A303273, A320530.
%K A320530 nonn,tabl,easy
%O A320530 0,8
%A A320530 _Franck Maminirina Ramaharo_, Oct 14 2018