The q-log-concavity of q-ballot numbers

Xinmiao LIU , Jiangxia HOU , Fengxia LIU

Front. Math. China ›› 2024, Vol. 19 ›› Issue (5) : 247 -254.

PDF (827KB)
Front. Math. China ›› 2024, Vol. 19 ›› Issue (5) : 247 -254. DOI: 10.3868/s140-DDD-024-0015-x
RESEARCH ARTICLE

The q-log-concavity of q-ballot numbers

Author information +
History +
PDF (827KB)

Abstract

Carlitz and Riordan introduced the q-analogue fq(n,k) of ballot numbers. In this paper, using the combinatorial interpretation of fq(n,k) and constructing injections, we prove that fq(n,k) is q-log-concave with respect to n and k, i.e., all coefficients of the polynomials fq(n,k)2fq(n+1,k)fq(n1,k) and fq(n,k)2fq(n,k+1)fq(n,k1) are non-negative for 0<k<n.

Graphical abstract

Keywords

q-log-concavity / q-ballot number / lattice path / inversion

Cite this article

Download citation ▾
Xinmiao LIU, Jiangxia HOU, Fengxia LIU. The q-log-concavity of q-ballot numbers. Front. Math. China, 2024, 19(5): 247-254 DOI:10.3868/s140-DDD-024-0015-x

登录浏览全文

4963

注册一个新账户 忘记密码

1 Introduction

Let {ak}k0 be a non-negative, infinite sequence of real numbers. If (ak)2ak1ak+1 (or (ak)2ak1ak+1) holds for any arbitrary k>0, then the sequence {ak}k0 is said to be log-concave (or log-convex).

Assume q is an indeterminate and given two real polynomials f(q) and g(q). If g(q)f(q) possesses non-negative coefficient (or non-positive coefficients) as the polynomial of q, then it is denoted by g(q)qf(q) (or g(q)qf(q)). Stanley proposed that let {fn(q)}n0 be a non-negative real polynomial sequence, if for any arbitrary i1, fi2(q)fi1(q)fi+1(q)q0, then the polynomial sequence {fn(q)}n0 is said to be q-log-concave. For more relevant results on q-log-concavity, please refer to [8, 9, 11].

The q-analogue of some well-known combinatorial numbers is q-log-concave. Butler [1] proved the q-log-concavity of q-binomial coefficient with inversion. Chen et al. [5] used Schur positivity to prove the q-log-concavity of q-Narayana numbers. Ji [7] further proved the q-log-concavity of q-Kaplansky numbers based on Butler [1].

Chapoton and Zeng [4] proposed the combinatorial interpretation of ballot numbers. Let Pn,k be a set of lattice path p from the start point (0, 0) moving to the end point (n+1,k), in a manner of horizontal (1, 0) and vertical (0, 1) steps, ensuring that the last step is a horizontal (1, 0) movement and p does not go beyond the line y=x. The count of such path is the ballot number f(n,k)=|Pn,k|. Comtet [6] presented its explicit expression:

f(n,k)=nk+1n+1(n+kk),nk0.

It is evident that ballot number is a log-concave sequence with respect to k.

Carlitz and Riordan [3] introduced the q-analogue of the ballot number and provided the combinatorial interpretation

fq(n,k)=γPn,kqA(γ),

where A(γ) represents the “lattice number” below γ and above x-axis.

For example, when n=2,k=1, fq(2,1)=q+q2, as shown in Fig.1.

Define all lattice paths in the set Pn,k with the last horizontal step (1, 0) removed as set Bn,k, where Bn,k is the lattice paths from the start point (0, 0) moving to the end point (n,k), in a manner of horizontal (1, 0) and vertical (0, 1) steps, without crossing the line y=x. Then the q-ballot number also equals

fq(n,k)=γBn,kqB(γ)+k,

where B(γ) represents the “lattice number” below γ and above x-axis.

Later on, Carlitz [2] discovered the recursive relation of fq(n,k) to be fq(n,k); when n<k, fq(n,k)=0, and fq(0,0)=1.

Next, we will introduce the definition of a ballot permutation and inversion.

If permutation p=p1p2pn, and for 1in1, if pi>pi+1 (or pi<pi+1), then i is called a descendance (or ascendance), and the count of descending numbers is denoted by des(p) while the count of ascending numbers is denoted by asc(p). h(p)=asc(p1p2pn)des(p1p2pn) is taken as the height for permutation p. A permutation p is a ballot permutation if and only if the height for any prefix of permutation p is non-negative; that is, for all 1in, there is h(p1p2pi)0. For relevant results on ballot permutation, please refer to [10, 12, 13].

If permutation p=p1p2pn, and if i<j and pi>pj, then the pair (pi,pj) is said to be an inverted sequence. The inversion of permutation p is the count of inverted sequences in it, denoted by inv(p).

For the lattice path in set Bn,k, we denote horizontal (1, 0) movement by 1 and vertical (0, 1) movement by 2. Then the lattice path in set Bn,k can be expressed by a permutation containing digits 1 and 2, and it is guaranteed that the count of any prefix 1 is always greater than or equal to 2. For permutation p=p1p2pn comprised of 1 and 2, the length of p is denoted by l(p); l1(p) is the count of digit 1 in p, while l2(p) is the count of digit 2 in p. For example, when p=111221, l(p)=6,l1(p)=4,l2(p)=2. The permutation p comprised of digits 1 and 2 corresponding to every lattice path in set Bn,k satisfies that for all 1in, l1(p1p2pi)l2(p1p2pi), namely, the permutation corresponding to every lattice path in set Bn,k is a ballot permutation comprised of digits 1 and 2. And B(γ) formed by every path in k exactly equals the corresponding inversion of the ballot permutation, then

fq(n,k)=γBn,kqB(γ)+k=γBn,kqinv(γ)+k=qkγBn,kqinv(γ).

This paper proves that the q-ballot number fq(n,k) is q-log-concave with respect to n and k through constructing injection; the coefficients of the polynomials fq(n,k)2fq(n+1,k)fq(n1,k) and fq(n,k)2fq(n,k+1)fq(n,k1) are non-negative for 0<k<n.

2 Main results

Theorem 2.1  fq(n,k) is a q-log-concave sequence with respect to n.

Proof To prove that fq(n,k) is a q-log-concave sequence with respect to n, we have to demonstrate the polynomial with respect to q:

fq(n,k)2fq(n+1,k)fq(n1,k)q0,0<k<n.

According to fq(n,k)=qkγBn,kqinv(γ), we get

fq(n,k)2fq(n+1,k)fq(n1,k)=q2k(γBn,kqinv(γ))2q2kγBn+1,kqinv(γ)γBn1,kqinv(γ)=q2k((γBn,kqinv(γ))2γBn+1,kqinv(γ)γBn1,kqinv(γ)).

So, we only need to prove the polynomial with respect to q

(γBn,kqinv(γ))2γBn+1,kqinv(γ)γBn1,kqinv(γ)q0,0<k<n.

We define a mapping

φ:Bn+1,k×Bn1,kBn,k×Bn,k.

Let (π,σ)Bn+1,k×Bn1,k. Then the path π,σ can be expressed as

π=π1π2πn+kiπn+ki+1πn+k+1,σ=σ1σ2σn+ki1σn+kiσn+k1.

Case 1 When πn+k+1=1, let φ(π,σ)=(w,v), where

w=π1π2πn+k,v=σ1σ2σn+k1πn+k+1.

For example, when π=π1π2πn+k+1=11211221,σ=σ1σ2σn+k1=121212, then

(π,σ)=(11211221,121212),(w,v)=(1121122,1212121).

The combinatorial meaning is shown in Fig.2.

We can obtain

inv(w)=inv(π)k,inv(v)=inv(σ)+k.

Then inv(w)+inv(v)inv(π)inv(σ)0, and here w and v satisfy the definition of a ballot permutation.

Case 2 When πn+k+1=2, for the sake of convenience, we denote π1π2πn+ki,πn+ki+1πn+ki+2πn+k+1,σ1σ2σn+ki1, and σn+kiσn+ki+1σn+k1 as πL,πR,σL, and σR. We can then get π=πLπR and σ=σLσR.

Let i be the minimum that satisfies the following three conditions:

(1) l1(πR)=l1(σR)+1,

(2) l(πR)=l(σR)+1,

(3) l(σR)=i.

Let φ(π,σ)=(w,v)=(πLσR,σLπR). Then

w=π1π2πn+kiσn+kiσn+ki+1σn+k1,v=σ1σ2σn+ki1πn+ki+1πn+ki+2πn+k+1.

For example, when π=π1π2πn+k+1=11121122,σ=σ1σ2σn+k1=121212, then i=3. So, πL=1112,σL=121,πR=1122 and σR=212. Thus,

(π,σ)=(11121122,121212),(w,v)=(1112212,1211122).

The combinatorial meaning is shown in Fig.3.

Assuming l1(σR)=a, we obtain the count of digits 1 and 2 in πL,πR,σL, and σR, as shown in Tab.2.

It is further proved in the following that w and v remain ballot permutations.

Since l1(πL)>l1(σL),l2(πL)=l2(σL), and σ is a ballot permutation, it can be deduced that w=πLσR remains a ballot permutation.

Since π and σ are ballot permutations, it is evident that πL and σL remain as ballot permutations.

Establish an array (πn+ki+1σn+ki),(πn+ki+2σn+ki+1),,(πn+kσn+k1) at the corresponding locations in permutations πR and σR. Since the values of πi and σi are either 1 or 2, all arrays that can possibly be formed are (11),(22),(12), or (21). Due to the determining rules of i, it is determined that (πn+ki+1σn+ki)=(12). Moreover, when the array order is (πn+ki+1σn+ki),(πn+ki+2σn+ki+1),,(πn+kσn+k1), and the count of any prefix array (12) always remains greater than that of array (21), l1(πn+ki+1,πn+ki+2,,πj+1)>l1(σn+ki,σn+ki+1,,σj), l2(πn+ki+1,πn+ki+2,,πj+1)<l2(σn+ki,σn+ki+1,,σj) when n+kijn+k1. Given σ is a ballot permutation, then for any arbitrary n+kijn+k1, permutation σ1,σ2,,σj is a ballot permutation. Hence, v=σLπR is also a ballot permutation.

Next, we calculate the inversion of π,σ,w and v:

inv(π)=inv(πL)+inv(πR)+l2(πL)l1(πR),inv(σ)=inv(σL)+inv(σR)+l2(σL)l1(σR),inv(w)=inv(πL)+inv(σR)+l2(πL)l1(σR),inv(v)=inv(σL)+inv(πR)+l2(σL)l1(πR).

According to l2(πL)=l2(σL), it follows

inv(w)+inv(v)inv(π)inv(σ)=l2(πL)l1(σR)+l2(σL)l1(πR)l2(πL)l1(πR)l2(σL)l1(σR)=(l2(πL)l2(σL))(l1(σR)l1(πR))=0.

Then we prove the mapping φ is injective. Paths w,v are expressed as

w=w1w2wn+k,v=v1v2vn+k.

Assume there exist πBn+1,k,σBn1,k such that φ(π,σ)=(w,v).

When vn+k=1, we define path π=w1w2wn+k1and σ=v1v2vn+k1

When vn+k=2, let i be the minimum that satisfies the following three conditions:

(1) l1(vR)=l1(wR)+1,

(2) l(vR)=l(wR)+1,

(3) l(wR)=i.

Paths π,σ are expressed as

π=w1w2wn+kivn+kivn+ki+1vn+k,σ=v1v2vn+ki1wn+ki+1wn+ki+2wn+k.

Then π=π,σ=σ, so mapping φ is injective.

Theorem 2.2  fq(n,k) is a q-log-concave sequence with respect to k.

Proof To prove that fq(n,k) is a q-log-concave sequence with respect to k, we need to prove the polynomial with respect to q

fq(n,k)2fq(n,k+1)fq(n,k1)q0,0<k<n.

We define a mapping

ϕ:Bn,k+1×Bn,k1Bn,k×Bn,k.

Let (b,c)Bn,k+1×Bn,k1. Then paths b,c can be expressed as

b=b1b2bn+kibn+ki+1bn+k+1,c=c1c2cn+ki1cn+kicn+k1.

Case 1  bn+k+1=2. Let ϕ(b,c)=(h,k). Then

h=b1b2bn+k,k=c1c2cn+k1bn+k+1.

For example, when b=b1b2bn+k+1=112211212,c=c1c2cn+k1=1121112, then

(b,c)=(112211212,1121112),(h,k)=(11221121,11211122).

The combinatorial meaning is shown in Fig.4.

Case 2 When bn+k+1=1, let i be the minimum that satisfies the following three conditions:

(1) l2(bR)=l2(cR)+1,

(2) l(bR)=l(cR)+1,

(3) l(cR)=i.

Let ϕ(b,c)=(h,k). Then

h=b1b2bn+kicn+kicn+ki+1cn+k1,k=c1cn+ki1bn+ki+1bn+ki+2bn+k+1.

For example, when b=b1b2bn+k+1=112212121,c=c1c2cn+k1=1121112, then i=3. Thus, bL=11221,cL=1121,bR=2121, and cR=112.

(b,c)=(112212121,1121112),(h,k)=(11221112,11212121).

The combinatorial meaning is shown in Fig.5.

The proof is similar to Theorem 2.1. We can establish that h,k are ballot permutations, and the mapping ϕ is injective.

References

[1]

Butler L M. The q-log-concavity of q-binomial coefficients. J Combin Theory Ser A 1990; 54(1): 54–63

[2]

Carlitz L. Sequences, paths, ballot numbers. Fibonacci Quart 1972; 10(5): 531–549

[3]

Carlitz L, Riordan J. Two element lattice permutation numbers and their q-generalization. Duke Math J 1964; 31(3): 371–388

[4]

Chapoton F, Zeng J. A curious polynomial interpolation of Carlitz–Riordan’s q-ballot numbers. Contrib Discrete Math 2015; 10(1): 99–112

[5]

Chen W Y C, Wang L X W, Yang A L B. Schur positivity and the q-log-convexity of the Narayana polynomials. J Algebraic Combin 2010; 32(3): 303–338

[6]

ComtetL. Advanced Combinatorics. Dordrecht: D Reidel, 1974

[7]

Ji K Q. The q-log-concavity and unimodality of q-Kaplansky numbers. Discrete Math 2022; 345(6): 112821

[8]

Sagan B E. Log concave sequences of symmetric functions and analogs of the Jacobi–Trudi determinants. Trans Amer Math Soc 1992; 329(2): 795–811

[9]

Sagan B E. Inductive proofs of q-log concavity. Discrete Math 1992; 99(1/2/3): 298–306

[10]

Spiro S. Ballot permutations and odd order permutations. Discrete Math 2020; 343(6): 111869

[11]

StanleyR P. Log-concave and unimodal sequences in algebra, combinatorics, and geometry. In: Graph Theory and Its Applications: East and West (Jinan, 1986), Annals of the New York Academy of Sciences, Vol 576. New York: New York Acad Sci, 1989, 500–535

[12]

Wang D G L, Zhang J J R. A Toeplitz property of ballot permutations and odd order permutations. Electron J Combin 2022; 27(2): 2.55

[13]

Wang D G L, Zhao T Y. The peak and descent statistics over ballot permutations. Discrete Math 2022; 345(3): 112739

RIGHTS & PERMISSIONS

Higher Education Press 2024

AI Summary AI Mindmap
PDF (827KB)

518

Accesses

0

Citation

Detail

Sections
Recommended

AI思维导图

/