cp's OEIS Frontend

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.

A180062 Irregular triangle by rows derived from variants of Cartan matrices: 1's in the super and subdiagonals and 3,4,4,4,... in the main diagonal alternating with 4,4,4,...

This page as a plain text file.
%I A180062 #15 Jan 09 2024 16:34:56
%S A180062 1,1,1,3,1,4,1,7,11,1,8,15,1,11,38,41,1,12,46,56,1,15,81,186,153,1,16,
%T A180062 93,232,209,1,19,140,49,859,571,1,20,156,592,1091,780,1,23,215,1044,
%U A180062 2774,3821,2131,1,24,235,1200,3366,4912,2911,1,27,306,1885,6810,14418
%N A180062 Irregular triangle by rows derived from variants of Cartan matrices: 1's in the super and subdiagonals and 3,4,4,4,... in the main diagonal alternating with 4,4,4,...
%C A180062 Row sums starting with row 2 = A136211: (1, 4, 5, 19, 24, ...) = denominators in convergents to [1, 3, 1, 3, 1, 3, ...].
%C A180062 Rightmost terms in each row = A002530, denominators in convergents to [1, 2, 1, 2, 1, 2, ...], prefaced with a 1 for row 1. Odd-indexed row rightmost terms = Product_{k=1..(n-1)/2} (2 + 4*cos^2(k*2*Pi/n))
%C A180062 Example: x^3 - 11x^2 + 38x + 41 = row 7 relating to the heptagon, with roots = 5.246979..., 3.554958..., and 2.19806226, product = 41 (same result as using the product formula).
%C A180062 Even-indexed rows related to even-sided regular polygons; but use the product formula: rightmost terms in even rows >2 = Product_{k=1..(n-2)/2} (2 + 4*cos^2(k*Pi/n)).
%C A180062 Using the product formula or root products with row 8 relating to the octagon, we obtain 5.414..., * 4 * 2.585... = 56, rightmost term of row 8.
%C A180062 Shifted columns of A180062 = triangle A180063.
%F A180062 Triangle read by rows generated from Cartan-like matrices, 1's in the super and subdiagonals, with alternates of (3,4,4,4,...) for odd-indexed rows and (4,4,4,...) for even-indexed rows. The first nontrivial matrix = [3,1; 1,4] with charpoly x^2 - 7x + 11, becoming row 5: (1, 7, 11); generating row 3: (x^2 - 7x + 11). Rows begin 1; 1; 1,3; 1,4;...
%F A180062 The first few rows can be constructed using the following set of rules:
%F A180062 Rightmost terms in each row = A002530, denominators in continued fraction [1, 2, 1, 2, 1, 2,...] = (1, 3, 4, 11, 15,...), while row sums = A136211, denominators in [1, 3, 1, 3, 1, 3,...] = (1, 4, 5, 19, 24,...) given row 1 = 1.
%F A180062 Negative signs in the charpolys are changed to + in the triangle.
%e A180062 First few rows of the triangle:
%e A180062   1;
%e A180062   1;
%e A180062   1,  3;
%e A180062   1,  4;
%e A180062   1,  7,  11;
%e A180062   1,  8,  15;
%e A180062   1, 11,  38,   41;
%e A180062   1, 12,  46,   56;
%e A180062   1, 15,  81,  186,   153;
%e A180062   1, 16,  93,  232,   209;
%e A180062   1, 19, 140,  499,   859,    571;
%e A180062   1, 20, 156,  592,  1091,    780;
%e A180062   1, 23, 215, 1044,  2774,   3821,   2131;
%e A180062   1, 24, 235, 1200,  3366,   4912,   2911;
%e A180062   1, 27, 306, 1885,  6810,  14418,  26556,   7953;
%e A180062   1, 28, 330, 2120,  8010,  17784,  21468,  10864;
%e A180062   1, 31, 413, 3086, 14135,  40614,  71454,  70356,  29681;
%e A180062   1, 32, 441, 3416, 16255,  48624,  89238,  91824,  40545;
%e A180062   1, 35, 536, 4711, 26173,  95269, 227100, 341754, 294549, 110771;
%e A180062   1, 36, 568, 5152, 29589, 111524, 275724, 430992, 386373, 151316;
%e A180062   ...
%e A180062 Examples:
%e A180062 Row 7 = x^3 - 11 x^2 + 38x + 41, charpoly of the 3 X 3 matrix [3,1,0; 1,4,1; 0,1,4], then changing (-) signs to (+).
%e A180062 Row 8 = x^3 - 12x^2 + 46x - 56, = charpoly of [4,1,0; 1,4,1; 0,1,4].
%Y A180062 Cf. A002530, A136211, A180063, A180063.
%K A180062 nonn,tabf
%O A180062 1,4
%A A180062 _Gary W. Adamson_, Aug 08 2010