1 Introduction
Let be a non-negative, infinite sequence of real numbers. If (or ) holds for any arbitrary , then the sequence is said to be log-concave (or log-convex).
Assume
is an indeterminate and given two real polynomials
and
. If
possesses non-negative coefficient (or non-positive coefficients) as the polynomial of
, then it is denoted by
(or
). Stanley proposed that let
be a non-negative real polynomial sequence, if for any arbitrary
,
, then the polynomial sequence
is said to be
-log-concave. For more relevant results on
-log-concavity, please refer to [
8,
9,
11].
The
-analogue of some well-known combinatorial numbers is
-log-concave. Butler [
1] proved the
-log-concavity of
-binomial coefficient with inversion. Chen et al. [
5] used Schur positivity to prove the
-log-concavity of
-Narayana numbers. Ji [
7] further proved the
-log-concavity of
-Kaplansky numbers based on Butler [
1].
Chapoton and Zeng [
4] proposed the combinatorial interpretation of ballot numbers. Let
be a set of lattice path
from the start point (0, 0) moving to the end point
, in a manner of horizontal (1, 0) and vertical (0, 1) steps, ensuring that the last step is a horizontal (1, 0) movement and
does not go beyond the line
. The count of such path is the ballot number
. Comtet [
6] presented its explicit expression:
It is evident that ballot number is a log-concave sequence with respect to .
Carlitz and Riordan [
3] introduced the
-analogue of the ballot number and provided the combinatorial interpretation
where represents the “lattice number” below and above -axis.
For example, when , , as shown in Fig.1.
Define all lattice paths in the set with the last horizontal step (1, 0) removed as set , where is the lattice paths from the start point (0, 0) moving to the end point , in a manner of horizontal (1, 0) and vertical (0, 1) steps, without crossing the line . Then the -ballot number also equals
where represents the “lattice number” below and above -axis.
Later on, Carlitz [
2] discovered the recursive relation of
to be
; when
,
, and
.
Next, we will introduce the definition of a ballot permutation and inversion.
If permutation
, and for
, if
(or
), then
is called a descendance (or ascendance), and the count of descending numbers is denoted by des
while the count of ascending numbers is denoted by asc
.
asc
des
is taken as the height for permutation
. A permutation
is a ballot permutation if and only if the height for any prefix of permutation
is non-negative; that is, for all
, there is
. For relevant results on ballot permutation, please refer to [
10,
12,
13].
If permutation , and if and , then the pair is said to be an inverted sequence. The inversion of permutation is the count of inverted sequences in it, denoted by inv.
For the lattice path in set , we denote horizontal (1, 0) movement by 1 and vertical (0, 1) movement by 2. Then the lattice path in set 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 comprised of 1 and 2, the length of is denoted by ; is the count of digit 1 in , while is the count of digit 2 in . For example, when 111221, The permutation comprised of digits 1 and 2 corresponding to every lattice path in set satisfies that for all , , namely, the permutation corresponding to every lattice path in set is a ballot permutation comprised of digits 1 and 2. And formed by every path in exactly equals the corresponding inversion of the ballot permutation, then
This paper proves that the -ballot number is -log-concave with respect to and through constructing injection; the coefficients of the polynomials and are non-negative for .
2 Main results
Theorem 2.1 is a -log-concave sequence with respect to .
Proof To prove that is a -log-concave sequence with respect to , we have to demonstrate the polynomial with respect to :
According to , we get
So, we only need to prove the polynomial with respect to
We define a mapping
Let . Then the path can be expressed as
Case 1 When , let , where
For example, when , then
The combinatorial meaning is shown in Fig.2.
We can obtain
Then , and here and satisfy the definition of a ballot permutation.
Case 2 When , for the sake of convenience, we denote , and as , and . We can then get and .
Let be the minimum that satisfies the following three conditions:
(1) ,
(2) ,
(3) .
Let . Then
For example, when , then . So, and . Thus,
The combinatorial meaning is shown in Fig.3.
Assuming , we obtain the count of digits 1 and 2 in and , as shown in Tab.2.
It is further proved in the following that and remain ballot permutations.
Since , and is a ballot permutation, it can be deduced that remains a ballot permutation.
Since and are ballot permutations, it is evident that and remain as ballot permutations.
Establish an array at the corresponding locations in permutations and . Since the values of and are either 1 or 2, all arrays that can possibly be formed are or . Due to the determining rules of , it is determined that . Moreover, when the array order is , and the count of any prefix array always remains greater than that of array , , when . Given is a ballot permutation, then for any arbitrary , permutation is a ballot permutation. Hence, is also a ballot permutation.
Next, we calculate the inversion of and :
According to , it follows
Then we prove the mapping is injective. Paths are expressed as
Assume there exist such that .
When , we define path and
When , let be the minimum that satisfies the following three conditions:
(1) ,
(2) ,
(3) .
Paths are expressed as
Then , so mapping is injective.
Theorem 2.2 is a -log-concave sequence with respect to .
Proof To prove that is a -log-concave sequence with respect to , we need to prove the polynomial with respect to
We define a mapping
Let . Then paths can be expressed as
Case 1 Let . Then
For example, when , then
The combinatorial meaning is shown in Fig.4.
Case 2 When , let be the minimum that satisfies the following three conditions:
(1) ,
(2) ,
(3) .
Let . Then
For example, when , then . Thus, and .
The combinatorial meaning is shown in Fig.5.
The proof is similar to Theorem 2.1. We can establish that are ballot permutations, and the mapping is injective.