arXiv++ Combinatorics

We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.

We start by studying the distribution of (cyclically reduced) elements of the free groups Fn with respect to their abelianization (or equivalently, their integer homology class. We derive an explicit generating function, and a limiting distribution, by means of certain results (of independent interest) on Chebyshev polynomials; we also prove that the reductions modulo an arbitrary prime of these classes are asymptotically equidistributed, and we study the deviation from equidistribution. We extend our techniques to a more general setting and use them to study the statistical properties of long cycles (and paths) on regular (directed and undirected) graphs. We return to the free group to study some growth functions of the number of conjugacy classes as a function of their cyclically reduced length.

We use the classical umbral calculus to describe Riordan arrays. Here, a Riordan array is generated by a pair of umbrae, and this provides efficient proofs of several basic results of the theory such as the multiplication rule, the recursive properties, the fundamental theorem and the connection with Sheffer sequences. In particular, we show that the fundamental theorem turns out to be a reformulation of the umbral Abel identity. As an application, we give an elementary approach to the problem of extending integer powers of Riordan arrays to complex powers in such a way that additivity of the exponents is preserved. Also, ordinary Riordan arrays are studied within the classical umbral perspective and some combinatorial identities are discussed regarding Catalan numbers, Fibonacci numbers and Chebyshev polynomials.

We investigate a relationship between MacMahon's generalized sum-of-divisors functions and Chebyshev polynomials of the first kind. This determines a recurrence relation to compute these functions, as well as proving a conjecture of MacMahon about their general form by relating them to quasi-modular forms. These functions arise as solutions to a curve-counting problem on Abelian surfaces.

We first give a combinatorial interpretation of coefficients of Chebyshev polynomials, which allows us to connect them with compositions of natural numbers. Then we describe a relationship between the number of compositions of a natural number in which a certain number of parts are p-1, and other parts are not less than p with compositions in which all parts are not less than p. Then we find a relationship between principal minors of a type of Hessenberg matrices and compositions of natural numbers.

We say that a digraph is essentially cyclic if its Laplacian spectrum is not completely real. The essential cyclicity implies the presence of directed cycles, but not vice versa. The problem of characterizing essential cyclicity in terms of graph topology is difficult and yet unsolved. Its solution is important for some applications of graph theory, including that in decentralized control. In the present paper, this problem is solved with respect to the class of digraphs with ring structure, which models some typical communication networks. It is shown that the digraphs in this class are essentially cyclic, except for certain specified digraphs. The main technical tool we employ is the Chebyshev polynomials of the second kind. A by-product of this study is a theorem on the zeros of polynomials that differ by one from the products of Chebyshev polynomials of the second kind. We also consider the problem of essential cyclicity for weighted digraphs and enumerate the spanning trees in some digraphs with ring structure.

Louis W. Shapiro gave a combinatorial proof of a bilinear generating function for Chebyshev polynomials equivalent to the formula 1/(1-ax-x^2) * 1/(1-bx-x^2) = (1-x^2)/(1-abx-(2+a^2+b^2)x^2 -abx^3+x^4), where * denotes the Hadamard product. In a similar way, by considering tilings of a 2 by n rectangle with 1 by 1 and 1 by 2 bricks in the top row, and 1 by 1 and 1 by n bricks in the bottom row, we find an explicit formula for the Hadamard product 1/(1-ax-x^2) * x^m/(1-bx-x^n).

A word $σ=σ_1...σ_n$ over the alphabet $[k]=\{1,2,...,k\}$ is said to be {\em smooth} if there are no two adjacent letters with difference greater than 1. A word $σ$ is said to be {\em smooth cyclic} if it is a smooth word and in addition satisfies $|σ_n-σ_1|\le 1$. We find the explicit generating functions for the number of smooth words and cyclic smooth words in $[k]^n$, in terms of {\it Chebyshev polynomials of the second kind}. Additionally, we find explicit formula for the numbers themselves, as trigonometric sums. These lead to immediate asymptotic corollaries. We also enumerate smooth necklaces, which are cyclic smooth words that are not equivalent up to rotation.

It is known that the Hilbert space dimensionality for quasiparticles in an SU(2)_k Chern-Simons-Witten theory is given by the number of directed paths in certain Bratteli diagrams. We present an explicit formula for these numbers for arbitrary k. This is on the basis of a relation with Dyck paths and Chebyshev polynomials.

We define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials. The first section of the paper is an introduction. In the second section we derive an explicit formula for F. From the expression for the power function we obtain a number theory result. Then we derive a formula which shows that the case of arbitrary m may be reduced to the case m=0. This formula extends Vandermonde convolution. In the second section we describe F by the series of recurrence relations with respect to each of arguments k, n, and P. As a special case of the first recurrence relation we state a binomial identity. As a consequence of the second recurrence relation we obtain relation for coefficients of Chebyshev polynomial of both kind. This means that these polynomials might be defined in pure combinatorial way.

In this paper we give a generalization of Chebyshev polynomials and using this we describe the Möbius function of the generalized subword order from a poset {a1,...as,c |ai<c}, which contains an affirmative answer for the conjecture by Björner, Sagan, Vatter.[5,10]

We compute the mixing rate of a non-backtracking random walk on a regular expander. Using some properties of Chebyshev polynomials of the second kind, we show that this rate may be up to twice as fast as the mixing rate of the simple random walk. The closer the expander is to a Ramanujan graph, the higher the ratio between the above two mixing rates is. As an application, we show that if $G$ is a high-girth regular expander on $n$ vertices, then a typical non-backtracking random walk of length $n$ on $G$ does not visit a vertex more than $(1+o(1))\frac{\log n}{\log\log n}$ times, and this result is tight. In this sense, the multi-set of visited vertices is analogous to the result of throwing $n$ balls to $n$ bins uniformly, in contrast to the simple random walk on $G$, which almost surely visits some vertex $Ω(\log n)$ times.

We say that a permutation $π$ is a Motzkin permutation if it avoids 132 and there do not exist $a<b$ such that $π_a<π_b<π_{b+1}$. We study the distribution of several statistics in Motzkin permutations, including the length of the longest increasing and decreasing subsequences and the number of rises and descents. We also enumerate Motzkin permutations with additional restrictions, and study the distribution of occurrences of fairly general patterns in this class of permutations.

Some identities of Chebyshev polynomials are deduced from Waring's formula on symmetric functions. In particular, these formulae generalize some recent results of Grabner and Prodinger.

The sequence of period 6 starting with 1, 1, 0, -1, -1, 0 appears in many different disguises in mathematics. Various q-versions of this sequence are found, and their relations with Euler's pentagonal numbers theorem and Chebyshev polynomials are discussed.

We study generating functions for the number of involutions, even involutions, and odd involutions in $S_n$ subject to two restrictions. One restriction is that the involution avoid 3412 or contain 3412 exactly once. The other restriction is that the involution avoid another pattern $τ$ or contain $τ$ exactly once. In many cases we express these generating functions in terms of Chebyshev polynomials of the second kind.

Several authors have examined connections among restricted permutations, continued fractions, and Chebyshev polynomials of the second kind. In this paper we prove analogues of these results for involutions which avoid 3412. Our results include a recursive procedure for computing the generating function for involutions which avoid 3412 and any set of additional patterns. We use our results to give enumerations and generating functions for involutions which avoid 3412 and various sets of additional patterns. In many cases we express these generating functions in terms of Chebyshev polynomials of the second kind.

We study generating functions for the number of even (odd) permutations on n letters avoiding 132 and an arbitrary permutation $τ$ on k letters, or containing $τ$ exactly once. In several interesting cases the generating function depends only on k and is expressed via Chebyshev polynomials of the second kind.

We define a class of multivariate Laurent polynomials closely related to Chebyshev polynomials, and prove the simple but somewhat surprising (in view of the fact that the signs of the coefficients of the Chebyshev polynomials themselves alternate) result that their coefficients are non-negative.

A permutation is said to be \emph{alternating} if it starts with rise and then descents and rises come in turn. In this paper we study the generating function for the number of alternating permutations on $n$ letters that avoid or contain exactly once 132 and also avoid or contain exactly once an arbitrary pattern on $k$ letters. In several interesting cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind.