Motzkin number

In mathematics, a Motzkin number for a given number n is the number of different ways of drawing non-intersecting chords between n points on a circle (not necessarily touching every point by a chord). The Motzkin numbers are named after Theodore Motzkin, and have very diverse applications in geometry, combinatorics and number theory.

Motzkin numbers M_n for n = 0, 1, \dots form the sequence:

1, 1, 2, 4, 9, 21, 51, 127, 323, 835, 2188, 5798, 15511, 41835, 113634, 310572, 853467, 2356779, 6536382, 18199284, 50852019, 142547559, 400763223, 1129760415, 3192727797, 9043402501, 25669818476, 73007772802, 208023278209, 593742784829, ... (sequence A001006 in OEIS)

Examples

The following figure shows the 9 ways to draw non-intersecting chords between 4 points on a circle.

The following figure shows the 21 ways to draw non-intersecting chords between 5 points on a circle.

Properties

Motzkin numbers satisfy the recurrence relations

M_{n}=M_{n-1}+\sum_{i=0}^{n-2}M_iM_{n-2-i}=\frac{2n+1}{n+2}M_{n-1}+\frac{3n-3}{n+2}M_{n-2}.

Motzkin numbers can be expressed in terms of binomial coefficients and Catalan numbers:

M_n=\sum_{k=0}^{\lfloor n/2\rfloor} \binom{n}{2k} C_k.

A Motzkin prime is a Motzkin number that is prime. As of October 2013, four such primes are known:

2, 127, 15511, 953467954114363 (sequence A092832 in OEIS)

Combinatorial interpretations

The Motzkin number for n is also the number of positive integer sequences n1 long in which the opening and ending elements are either 1 or 2, and the difference between any two consecutive elements is 1, 0 or 1.

Also on the upper right quadrant of a grid, the Motzkin number for n gives the number of routes from coordinate (0, 0) to coordinate (n, 0) on n steps if one is allowed to move only to the right (up, down or straight) at each step but forbidden from dipping below the y = 0 axis.

For example, the following figure shows the 9 valid Motzkin paths from (0, 0) to (4, 0):

There are at least fourteen different manifestations of Motzkin numbers in different branches of mathematics, as enumerated by Donaghey & Shapiro (1977) in their survey of Motzkin numbers. Guibert, Pergola & Pinzani (2001) showed that vexillary involutions are enumerated by Motzkin numbers.

See also

References

External links

This article is issued from Wikipedia - version of the Monday, March 28, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.