TOPICS
Search

Central Trinomial Coefficient


The nth central trinomial coefficient, for nonnegative integer n, is defined as the coefficient of x^n in the expansion of (1+x+x^2)^n. It is therefore the middle column of the trinomial triangle, i.e., the trinomial coefficient (n; 0)_2. The first few central trinomial coefficients for n=1, 2, ... are 1, 3, 7, 19, 51, 141, 393, ... (OEIS A002426).

The central trinomial coefficient also gives the number of ordered sequences of n symbols, each -1, 0, or 1, which sum to 0. For example, there are seven such sequences of three symbols: (-1,0,1), (-1,1,0), (0,-1,1), (0,0,0), (0,1,-1), (1,-1,0), and (1,0,-1).

Writing a_n=(n; 0)_2, the ordinary generating function is given by

f(x)=1/(sqrt((1+x)(1-3x)))
(1)
=1+x+3x^2+7x^3+....
(2)

The central trinomial coefficients are given by the recurrence equation

 a_n=((2n-1)a_(n-1)+3(n-1)a_(n-2))/n
(3)

for n>=2, with a_0=a_1=1, but the sequence cannot be expressed as a sum of a fixed number (independent of n) of hypergeometric terms (Petkovšek et al. 1996, p. 160).

The coefficients satisfy the congruence

 (n+1; 0)_2=(n; 0)_2 (mod n)
(4)

for n>=1 (T. D. Noe, pers. comm., Mar. 15, 2005) and

 (p; 0)_2=1 (mod p)
(5)

for p a prime, which is easy to show using Fermat's little theorem (T. D. Noe, pers. comm., Oct. 26, 2005).

Sums are given by

(n; 0)_2=sum_(k=0)^(n)(n; 2k)(2k; k)
(6)
=sum_(k=0)^(|_n/2_|)(n!)/((k!)^2(n-2k)!)
(7)
=sum_(k=0)^(n)(-1)^k(n; k)(2n-2k; n-k),
(8)

where |_x_| is the floor function. Closed forms include

(n; 0)_2=_2F_1(1/2(1-n),-1/2n;1;4)
(9)
=(-1)^nC_n^((-n))(1/2)
(10)
=i^n3^(n/2)P_n(-1/3sqrt(3)i)
(11)
=((-4)^nsqrt(pi)_2F^~_1(-n,-n;1/2-n;1/4))/(n!)
(12)
=(sqrt(pi)_2F^~_1(1/2,-n;1/2-n;-3))/(n!),
(13)

where C_n^((lambda))(x) is a Gegenbauer polynomial, P_n(x) is a Legendre polynomial, and _2F^~_1(a,b;c;z) is a regularized hypergeometric function.

The numbers of prime factors (with multiplicity) of (n; 0)_2 for n=1, 2, ... are 0, 1, 1, 1, 2, 2, 2, 4, 2, 2, 3, 2, ... (OEIS A102445). E. W. Weisstein (Oct. 30, 2015) reported that (n; 0)_2 is prime only for n=2, 3, and 4 in the range n<=203661. It is not known if any other prime central trinomials exist. The more general conjecture states that a prime trinomial coefficient (n; k)_2 occurs only at (n,k)=(2,0), (3,0), or (4,0), or when k=+/-(n-1) and n is prime.

CentralTrinomialCoefficientReIm
CentralTrinomialCoefficientContours

A plot of the central trinomial coefficient in the complex plane is given above.

Considering instead the coefficient of x^n in the expansion of (x^2-x-1)^n for n=1, 2, ... gives the corresponding sequence -1, -1, 5, -5, -11, 41, -29, -125, 365, -131, ..., equal to (-1)^n times OEIS A098331, with closed form

 b_n=i^nC_n^((-n))(-1/2i),
(14)

where C_n^((lambda))(x) is a Gegenbauer polynomial. According to OEIS A112874, their absolute values have been proved prime for n=3, 4, 5, 6, 7, 10, 11, 12, 26, 160, and 3787, whereas n=31877 gives a probable prime. The reported search found no other indices with a prime or probable prime absolute value for n<10^5 (E. W. Weisstein, Mar. 7, 2005).


See also

Central Binomial Coefficient, Central Fibonomial Coefficient, Trinomial Coefficient

Explore with Wolfram|Alpha

References

Comtet, L. Advanced Combinatorics: The Art of Finite and Infinite Expansions, rev. enl. ed. Dordrecht, Netherlands: Reidel, p. 163, 1974.Noe, T. D. "On the Divisibility of Generalized Central Trinomial Coefficients." J. Integer Seq. 9, Article 06.2.7, 2006. https://cs.uwaterloo.ca/journals/JIS/VOL9/Noe/noe35.html.Petkovšek, M.; Wilf, H. S.; and Zeilberger, D. A=B. Wellesley, MA: A K Peters, 1996. https://www2.math.upenn.edu/~wilf/AeqB.html.Sloane, N. J. A. Sequences A002426/M2673, A098331, A102445, and A112874 in "The On-Line Encyclopedia of Integer Sequences."

Referenced on Wolfram|Alpha

Central Trinomial Coefficient

Cite this as:

Weisstein, Eric W. "Central Trinomial Coefficient." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/CentralTrinomialCoefficient.html

Subject classifications