Elliptic and -Analogs of the Fibonomial Numbers
In 2009, Sagan and Savage introduced a combinatorial model for the Fibonomial numbers, integer numbers that are obtained from the binomial coefficients by replacing each term by its corresponding Fibonacci number. In this paper, we present a combinatorial description for the -analog and elliptic an...
Збережено в:
| Опубліковано в: : | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Дата: | 2020 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут математики НАН України
2020
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/210772 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Elliptic and -Analogs of the Fibonomial Numbers. Nantel Bergeron, Cesar Ceballos and Josef Küstner. SIGMA 16 (2020), 076, 16 pages |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859809112552898560 |
|---|---|
| author | Bergeron, Nantel Ceballos, Cesar Küstner, Josef |
| author_facet | Bergeron, Nantel Ceballos, Cesar Küstner, Josef |
| citation_txt | Elliptic and -Analogs of the Fibonomial Numbers. Nantel Bergeron, Cesar Ceballos and Josef Küstner. SIGMA 16 (2020), 076, 16 pages |
| collection | DSpace DC |
| container_title | Symmetry, Integrability and Geometry: Methods and Applications |
| description | In 2009, Sagan and Savage introduced a combinatorial model for the Fibonomial numbers, integer numbers that are obtained from the binomial coefficients by replacing each term by its corresponding Fibonacci number. In this paper, we present a combinatorial description for the -analog and elliptic analog of the Fibonomial numbers. This is achieved by introducing some -weights and elliptic weights to a slight modification of the combinatorial model of Sagan and Savage.
|
| first_indexed | 2026-03-16T09:09:44Z |
| format | Article |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 16 (2020), 076, 16 pages
Elliptic and q-Analogs of the Fibonomial Numbers
Nantel BERGERON †, Cesar CEBALLOS ‡ and Josef KÜSTNER §
† Department of Mathematics and Statistics, York University, Toronto, Canada
E-mail: bergeron@mathstat.yorku.ca
URL: http://www.math.yorku.ca/bergeron/
‡ Institute of Geometry, TU Graz, Graz, Austria
E-mail: cesar.ceballos@tugraz.at
URL: http://www.geometrie.tugraz.at/ceballos/
§ Faculty of Mathematics, University of Vienna, Vienna, Austria
E-mail: josef.kuestner@univie.ac.at
URL: http://homepage.univie.ac.at/josef.kuestner/
Received March 14, 2020, in final form July 29, 2020; Published online August 13, 2020
https://doi.org/10.3842/SIGMA.2020.076
Abstract. In 2009, Sagan and Savage introduced a combinatorial model for the Fibonomial
numbers, integer numbers that are obtained from the binomial coefficients by replacing each
term by its corresponding Fibonacci number. In this paper, we present a combinatorial de-
scription for the q-analog and elliptic analog of the Fibonomial numbers. This is achieved by
introducing some q-weights and elliptic weights to a slight modification of the combinatorial
model of Sagan and Savage.
Key words: Fibonomial; Fibonacci; q-analog; elliptic analog; weighted enumeration
2020 Mathematics Subject Classification: 11B39; 05A30; 05A10
1 Introduction
The Fibonacci sequence 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, . . . is one of the most important and beautiful
sequences in mathematics. It starts with the numbers F0 = 0 and F1 = 1, and is recursively
defined by the formula Fn = Fn−1 + Fn−2.
Fibonacci analogs of famous numbers, such as the binomial coefficients and Catalan numbers(
m+ n
n
)
=
(m+ n)!
m! · n!
and
1
n+ 1
(
2n
n
)
,
have intrigued some mathematicians over the last few years [1, 4, 5, 10, 27, 34]. The Fibonomial
and Fibo-Catalan numbers are defined, respectively, as(
m+ n
n
)
F
:=
F !
m+n
F !
m · F !
n
and
1
Fn+1
(
2n
n
)
F
,
where F !
n :=
n∏
k=1
Fk is the Fibonacci analog of n!. These rational expressions turn out to be
positive integers. In [27], Sagan and Savage introduced a combinatorial model to interpret the
Fibonomial numbers in terms of certain tilings of an m × n rectangle. A path-domino tiling of
an m × n rectangle is a tiling with monominos and dominos and a lattice path from (0, 0) to
(m,n) is specified, and such that:
This paper is a contribution to the Special Issue on Elliptic Integrable Systems, Special Functions and Quan-
tum Field Theory. The full collection is available at https://www.emis.de/journals/SIGMA/elliptic-integrable-
systems.html
mailto:bergeron@mathstat.yorku.ca
http://www.math.yorku.ca/bergeron/
mailto:cesar.ceballos@tugraz.at
http://www.geometrie.tugraz.at/ceballos/
mailto:josef.kuestner@univie.ac.at
http://homepage.univie.ac.at/josef.kuestner/
https://doi.org/10.3842/SIGMA.2020.076
https://www.emis.de/journals/SIGMA/elliptic-integrable-systems.html
https://www.emis.de/journals/SIGMA/elliptic-integrable-systems.html
2 N. Bergeron, C. Ceballos and J. Küstner
� all tiles above the path are either monominos or horizontal dominos;
� all tiles below the path are either monominos or vertical dominos; and
� all tiles that touch the path from below are vertical dominos.
We call these last tiles touching the path from below special vertical dominos, and denote by Tm,n
the collection of all path-domino tilings of an m× n rectangle. An example is illustrated on the
left of Fig. 1. The following result is a special case of [27, Theorem 3].1
Theorem 1.1 ([27]). The Fibonomial number
(
m+n
n
)
F counts the number of path-domino tilings
of an m× n rectangle.
The main objective of this paper is to present a q-analog and an elliptic analog generalization
of this result. The resulting q-Fibonomial and elliptic Fibonomial numbers count the number
of path-domino tilings of an m × n rectangle according to their q-weights and elliptic weights,
respectively.
2 q-analog of the Fibonomial numbers
We denote by N := {1, 2, 3, . . . } the set of natural numbers. The q-analog of n ∈ N is defined as
[n]q := 1 + q + q2 + · · ·+ qn−1.
The evaluation of this polynomial at q = 1 recovers the number n. To simplify notation, we
sometimes omit the subindex q when it is clear from the context. Before studying the q-analog
of the Fibonomial numbers, let us recall some useful and known straightforward lemmas.
Lemma 2.1. For m,n ∈ N, the following identities hold:
[m+ n]q = [m]q + qm[n]q, (2.1)
[m · n]q = [m]q[n]qm .
It is well known that the Fibonacci number Fn counts the number of tilings of an (n−1)-strip
(a rectangle with diagonal endpoints (0, 0) and (n−1, 1)) using dominos and monominos. Given
such a tiling T , we define the weight ω(T ) of T as the product of the weights of its tiles, where
a monomino has weight 1 and a domino whose top-right coordinate is (i, 1) has weight qFi . The
weight of a 0-strip is by definition equal to 1.
Lemma 2.2 (cf. [27]). For n ∈ N, the q-analog of the Fibonacci numbers2 can be computed as
[Fn]q =
∑
T
ω(T ),
where [Fn]q = 1 + q + q2 + · · · + qFn−1 and the sum ranges over all tilings of an (n − 1)-strip
using dominos and monominos.
1The path-domino tilings here are a slight modification of the tilings used in [27]. The only difference is that
in [27] the tiles below the path touching the bottom of the rectangle are required to be vertical dominos, while
here this condition is required for the tiles below the path touching the path itself. This modification is essential
to make our combinatorial model work.
2The elliptic and q-analogs of the Fibonacci numbers we use are different from the analogs considered, e.g.,
in [32].
Elliptic and q-Analogs of the Fibonomial Numbers 3
Proof. The result is clearly true for n = 1, 2. Let n > 2, applying equation (2.1) from
Lemma 2.1 we get
[Fn]q = [Fn−1 + Fn−2]q = [Fn−1]q + qFn−1 [Fn−2]q.
By induction, the first term of this sum corresponds to the tilings of an (n− 1)-strip that finish
with a monomino, while the second term to the tilings of an (n − 1)-strip that finish with
a domino. �
Lemma 2.3. For m,n ∈ N, the following identities hold:
Fm+n = FnFm+1 + FmFn−1, (2.2)
[Fm+n]q = [Fn]q[Fm+1]qFn + qFnFm+1 [Fm]q[Fn−1]qFm . (2.3)
Proof. Equation (2.2) is a well known identity for Fibonacci numbers; see for instance [27,
Lemma 1]. The Fibonacci number Fm+n counts the number of tilings of an (m + n − 1)-strip
with monominos and dominos. These tilings can be subdivided into two types: those containing
a domino which is cut in two by the line x = m, and all other tilings. The first kind is counted
by FmFn−1 (the number of tilings of an (m− 1)-strip times the number of tilings of an (n− 2)-
strip), while the second kind is counted by FnFm+1 (the number of tilings of an m-strip times
the number of tilings of an (n− 1)-strip). Therefore, equation (2.2) follows.
Applying Lemma 2.1 to (2.2) leads to equation (2.3). �
For m,n ∈ N, the q-analog of the Fibonomial number is defined as[
m+ n
n
]
F
:=
[Fm+n]!q
[Fm]!q · [Fn]!q
,
where [Fn]!q :=
n∏
k=1
[Fk]q is the q-Fibonacci analog of n!. Surprisingly, this rational expression
turns out to be a polynomial. Our objective is to present a combinatorial model to describe it.
In order to achieve this, we will introduce some q-weights associated to path-domino tilings of
an m× n rectangle (with m columns and n rows).
Let T ∈ Tm,n be a path-domino tiling of an m × n rectangle. The q-weights of the possible
tiles in T are defined as follows
ω
( )
= 1, ω
( )
= qFiFj , ω
= qFiFj , ω
= qFi+1Fj ,
where (i, j) denotes the coordinate of the top-right corner of the tile, and the shaded vertical
domino represents a special vertical domino touching the path from below. The q-weight of T
is defined as the product of the weights of its tiles; see an example in Fig. 1. The following
theorem is one of our main results.
Theorem 2.4. For m,n ∈ N, the q-analog of the Fibonomial number is a polynomial in q with
non-negative integer coefficients. It can be computed as[
m+ n
n
]
F
=
∑
T∈Tm,n
ω(T ).
4 N. Bergeron, C. Ceballos and J. Küstner
a 1 1 2 3 5
1
1
2
3
q2·3
q1·2
q1·1 q5·1q3·1
q5·2
q8·3
Figure 1. A path-domino tiling T of a 5 × 4 rectangle (left), and the q-Fibonacci weights of its tiles
(right). The weight of the tiling is the product of the weights of its tiles, ω(T ) = q1+2+6+3+10+24+5 = q51.
Proof. Let us start proving the result for the initial cases m = 1 or n = 1.
For n = 1, we have
[
m+1
1
]
F = [Fm+1]q. The collection Tm,1 coincides with the tilings of an
m-strip with dominos and monominos, since only the last step of the specified lattice path can
be a north step because of the special vertical domino condition. The weight of a domino in
a tiling, whose top-right corner has coordinate (i, 1), is qFiF1 = qFi . Therefore, the result follows
from Lemma 2.2.
For m = 1, we have [1+n
n ]F = [Fn+1]q. The collection T1,n can be identified with the collection
of tilings of a vertical n-strip with dominos and monominos, where the topmost domino has
a special weight. The weight of a usual vertical domino, whose top-right corner has coordi-
nate (1, j), is qF1Fj = qFj , while the weight of a special vertical domino located at the same
place is qF1+1Fj = qFj . Therefore, the result also follows from Lemma 2.2.
Now assume the result holds when m = 1 or n = 1. Letting m,n > 1 and using equation (2.3)
in the following equation we obtain[
m+ n
n
]
F
=
[Fm+n]q[Fm+n−1]!q
[Fm]!q · [Fn]!q
= [Fm+1]qFn
[Fm+n−1]!q
[Fm]!q · [Fn−1]!q
+ qFnFm+1 [Fn−1]qFm
[Fm+n−1]!q
[Fm−1]!q · [Fn]!q
= [Fm+1]qFn
[
m+ n− 1
n− 1
]
F
+ qFnFm+1 [Fn−1]qFm
[
m− 1 + n
n
]
F
.
By induction (and using again Lemma 2.2), the first term of the sum is the weighted counting
of the path-domino tilings of the m× n rectangle whose specified path ends with a north step,
while the second term is the weighted counting of those finishing with an east step. Indeed, the
path-domino tilings whose path ends with a north step have an extra contribution [Fm+1]qFn
corresponding to the tilings of the last row with horizontal dominos and monominos. The path-
domino tilings whose path ends with an east step have an extra contribution qFnFm+1 [Fn−1]qFm ;
this corresponds to the weight of the forced special vertical domino (qFnFm+1) and the tilings of
the remaining (n− 2)-strip in the last column ([Fn−1]qFm ). �
We have checked the following conjecture by computer for m,n ≤ 10:
Conjecture 2.5. The polynomials [m+n
n ]F are unimodal.
Example 2.6. Fig. 2 illustrates an example of the q-Fibonomial for m = n = 2.
Elliptic and q-Analogs of the Fibonomial Numbers 5
q q q2 q2 q3
Figure 2. The six path-domino tilings of a 2× 2 rectangle, and their contribution to the q-Fibonomial[
2+2
2
]
F = [F4][F3]
[F2][F1]
= [3][2]
[1][1] = 1 + 2q + 2q2 + q3 when computed as a generating function
∑
T∈T2,2
ω(T ).
Example 2.7 (n = 2). Let m ∈ N and n = 2. Theorem 2.4 leads to the identity
[Fm+2][Fm+1] =
m+1∑
k=1
qc
m
k [Fk]2, (2.4)
where cmk =
m∑
i=k
Fi+1.
The left hand side comes from the equality
[
m+2
2
]
F = [Fm+2][Fm+1]. The right hand side
is the sum of the weights of all path-domino tilings of an m × 2 rectangle. In fact, the term
qc
m
k [Fk]2 indicates the sum of the weights of the path-domino tilings whose specified path is
Ek−1N2Em−(k−1): qc
m
k is the product of the weights of the special vertical dominos, and [Fk]2 is
the weight of the two horizontal rows above the path. Since there are no more possibilities for
the specified path due to the special vertical domino condition, the identity (2.4) follows. The
evaluation at q = 1 recovers
Fm+2Fm+1 =
m+1∑
k=1
F 2
k . (2.5)
Remark 2.8. Equation (2.5) is a well known identity due to its relation with the golden ratio
and golden spirals in nature, see for instance [12, 23]. The left hand side of the equation is the
area of a Fm+2×Fm+1 rectangle, which can be subdivided into a sequence of squares, with side
lengths F1, F2, . . . , Fm+1, forming a spiral as illustrated in Fig. 3 (left). This Fibonacci spiral is
an approximation of the golden spiral, a special case of logarithmic spirals which describe the
shape of various natural phenomena such as galaxies, nautilus shells and hurricanes. On the other
hand, equation (2.4) also has a natural geometric interpretation. The left hand side represents
the weighted area of a Fm+2 × Fm+1 rectangle, where a unit square whose bottom-left corner is
located at (i, j) has weight qi+j . This rectangle can be subdivided into a sequence of squares,
with side lengths F1, F2, . . . , Fm+1, in the north-east direction as illustrated in Fig. 3 (right).
The sum of their weighted areas is exactly the right hand side of equation (2.4). This sum can
also be interpreted as the “mass” of the rectangle, where the Fk-square has density d(Fk) = qc
m
k .
This density increases according to the ratio d(Fk)
d(Fk+1) = qFk+1 , satisfying the initial condition
d(Fm+1) = 1. It would be interesting to assign these densities to the squares giving rise to the
Fibonacci spiral on Fig. 3 (left), and see if the resulting equation has some physical meaning. Or
even more interesting, to have a continuous version of the equation representing the mass of the
Fibonacci spiral (or golden spiral), in order to describe some physical phenomenon in nature.
For instance, it is quite natural to think that the density of galaxies grows exponentially as it
approaches the center of the spiral. In Example 3.6, we additionally provide a generalization of
equation (2.4) using elliptic weight functions.
6 N. Bergeron, C. Ceballos and J. Küstner
Figure 3. Geometric interpretation of equations (2.4) and (2.5).
3 Elliptic analog of the Fibonomial numbers
As in the previous section, the elliptic analog of the Fibonomial number is obtained by replacing
each term in the binomial coefficient by its corresponding Fibonacci “elliptic number”. The
elliptic number used here is a slight modification of the elliptic number introduced by Schlosser
and Yoo in [31], motivated by work of Schlosser on elliptic binomial coefficients [29]. The
elliptic number is an elliptic function that generalizes the q-analog of a number, and plays an
important role in the theory of hypergeometric series and special functions. Over the last years,
elliptic enumeration of combinatorial models and elliptic generalization of special combinatorial
numbers is becoming an active research area due to its natural appearance in the theory of
hypergeometric functions, see, e.g., [9, 28, 31]. In this section, we contribute to this general
program by studying an elliptic generalization of the Fibonomial number. Before defining the
elliptic analog, we introduce some basic notations and definitions concerning elliptic functions.
An elliptic function is a function defined over the complex numbers that is meromorphic and
doubly periodic. It is well known (cf., e.g., [26, 35]) that elliptic functions can be obtained as
quotients of modified Jacobi theta functions. These are defined as
θ(x; p) :=
∏
j≥0
((
1− pjx
)(
1− pj+1
x
))
, θ(x1, . . . , x`; p) =
∏̀
k=1
θ(xk; p),
where x, x1, . . . , x` 6= 0 and |p| < 1. The elliptic analog of a natural number n ∈ N (or simply
elliptic number) is defined as
[n]a,b;q,p :=
θ
(
qn, aqn, bq, ab q; p
)
θ
(
q, aq, bqn, ab q
n; p
) .
Here, a, b are two additional parameters. This definition follows the definition in [30] and
corresponds to the definition in [31] subject to the substitution b 7→ bq−1.3 The elliptic number
is indeed an elliptic function in its parameters [31, Remark 4]. Taking the limit p → 0, then
a → 0 and then b → 0, one recovers the q-analog [n]q. We simply define the elliptic analog of
the Fibonacci number Fn by [Fn]a,b;q,p.
For m,n ∈ N, the elliptic analog of the Fibonomial number is defined as[
m+ n
n
]
Fa,b;q,p
:=
[Fm+n]!a,b;q,p
[Fm]!a,b;q,p · [Fn]!a,b;q,p
,
where [Fn]!a,b;q,p :=
n∏
k=1
[Fk]a,b;q,p is the elliptic Fibonacci analog of n!.
3We are grateful to an anonymous referee for suggesting this substitution. This edition made many of our
formulas look simpler and more symmetric.
Elliptic and q-Analogs of the Fibonomial Numbers 7
1 2 3 4 5
1
2
3
4
ω1(3, 4)
ω1(2, 3)
ω1(2, 2) ω1(2, 5)
ω2(5, 4)
ω2(4, 3)
ω2(3, 2)
Figure 4. The path-domino tiling T from Fig. 1 with the elliptic Fibonacci weights of its tiles. The
weight of the tiling is the product of the weights of its tiles.
Similarly as before, the elliptic Fibonomial number counts path-domino tilings of an m × n
rectangle according to certain elliptic weights. For T ∈ Tm,n, the elliptic weights of the possible
tiles in T are defined as follows
ω̃
( )
= 1, ω̃
( )
= ω1(i, j), ω̃
= ω1(j, i), ω̃
= ω2(i, j),
where (i, j) denotes the coordinate of the top-right corner of the tile, the shaded vertical domino
represents a special vertical domino touching the path from below, and
ω1(i, j) := v
a,b;qFj ,p
(Fi, Fi−1),
ω2(i, j) := va,b;q,p(Fi+1Fj , FiFj−1)
are defined in terms of the following expression
va,b;q,p(m,n) :=
θ
(
aq2m+n, b, bqn, ab q
n, ab ; p
)
θ
(
aqn, bqm, bqm+n, ab q
m, ab q
m+n; p
)qm.
The elliptic weight function va,b;q,p(m,n) comes from equation (3.2) below and is the missing
factor in that equation. Note that the weight of a “regular” vertical domino is evaluated at
(j, i) instead of (i, j). This transposition does not make any difference for the q-analog of the
Fibonomial numbers, but it does for the elliptic case. The elliptic weight ω̃(T ) of T is defined
as the product of the weights of its tiles; see an example in Fig. 4. The elliptic weight is
a generalization of the q-weight, since we obtain the q-weight by taking the limit p→ 0, a→ 0
and b→ 0 in this order.
Theorem 3.1. For m,n ∈ N, the elliptic analog of the Fibonomial number can be computed as[
m+ n
n
]
Fa,b;q,p
=
∑
T∈Tm,n
ω̃(T ).
The proof of this theorem follows the same steps as the proof of Theorem 2.4. The proofs of
the technical lemmas and examples use some basic properties of theta functions summarized in
the following proposition, which are essential in the theory of elliptic hypergeometric series.
8 N. Bergeron, C. Ceballos and J. Küstner
Proposition 3.2 (cf. [35, p. 451, Example 5]). The theta function satisfies the following basic
properties
θ(x; 0) = 1− x,
θ
(
1
x ; p
)
= − 1
xθ(x; p),
θ(px; p) = − 1
xθ(x; p),
θ
(
xy, xy , uz,
u
z ; p
)
= θ
(
uy, uy , xz,
x
z ; p
)
+ x
z θ
(
zy, zy , ux,
u
x ; p
)
. (3.1)
Before proving Theorem 3.1, let us again prove some straightforward lemmas:
Lemma 3.3. For m,n ∈ N, the following identities hold
[m+ n]a,b;q,p = [m]a,b;q,p + va,b;q,p(m,n)[n]a,b;q,p, (3.2)
[m · n]a,b;q,p = [m]a,b;q,p[n]a,b;qm,p. (3.3)
Proof. Rearranging the left hand side of equation (3.2) and applying equation (3.1) (by taking
x = a
1
2 qm, y = a
1
2 b−1, u = a
1
2 qm+n and z = a
1
2 ) yields
[m+ n]a,b;q,p =
θ
(
bq, ab q; p
)
θ
(
q, aq, bqm+n, ab q
m+n; p
) · θ(ab qm, bqm, aqm+n, qm+n; p
)
θ
(
a
b q
m, bqm; p
)
=
θ
(
bq, ab q; p
)
θ
(
q, aq, bqm+n, ab q
m+n; p
)
×
θ
(
a
b q
m+n, bqm+n, aqm, qm; p
)
+ qmθ
(
a
b , b, aq
2m+n, qn; p
)
θ(ab q
m, bqm; p)
= [m]a,b;q,p +
θ
(
aq2m+n, b, bqn, ab q
n, ab ; p
)
θ
(
aqn, bqm, bqm+n, ab q
m, ab q
m+n; p
)qm[n]a,b;q,p.
Equation (3.3) follows from simple cancellations. �
Using the same arguments as in the q-case and replacing the weight of a domino whose
top-right coordinate is (i, 1) by ω1(i, 1), we obtain the following lemmas.
Lemma 3.4. For n ∈ N, the elliptic analog of the Fibonacci numbers can be computed as
[Fn]a,b;q,p =
∑
T
ω̃(T ),
where the sum ranges over all tilings of an (n− 1)-strip using dominos and monominos.
Proof. The result is clearly true for n = 1, 2. Let n > 2, applying equation (3.2) from
Lemma 3.3 we obtain
[Fn]a,b;q,p = [Fn−1 + Fn−2]a,b;q,p = [Fn−1]a,b;q,p + va,b;q,p(Fn−1, Fn−2)[Fn−2]a,b;q,p
= [Fn−1]a,b;q,p + ω1(n− 1, 1)[Fn−2]a,b;q,p.
By induction, the first term of this sum corresponds to the tilings of an (n− 1)-strip that finish
with a monomino, while the second term to the tilings of an (n − 1)-strip that finish with
a domino. �
Lemma 3.5. For m,n ∈ N, the following identity holds
[Fm+n]a,b;q,p = [Fn]a,b;q,p[Fm+1]a,b;qFn ,p + ω2(m,n)[Fm]a,b;q,p[Fn−1]a,b;qFm ,p. (3.4)
Elliptic and q-Analogs of the Fibonomial Numbers 9
Proof. Applying Lemma 3.3 to equation (2.2) leads to equation (3.4). �
Now, we have all tools to prove the main theorem in this section.
Proof of Theorem 3.1. For n = 1, we have
[
m+1
1
]
Fa,b;q,p
= [Fm+1]a,b;q,p. The collection Tm,1
coincides with the tilings of an m-strip with dominos and monominos, since only the last step of
the specified lattice path can be a north step because of the special vertical domino condition.
Therefore, the result follows from Lemma 3.4.
For m = 1, we have [1+n
n ]Fa,b;q,p
= [Fn+1]a,b;q,p. The collection T1,n can be identified with
the collection of tilings of a vertical n-strip with dominos and monominos, where the topmost
domino has a special weight. The weight of a usual vertical domino, whose top-right corner has
coordinate (1, j), is ω1(j, 1) while the weight of a special vertical domino located at the same
place is ω2(1, j). Since ω2(1, j) = ω1(j, 1), the result also follows from Lemma 3.4.
Now assume the result holds when m = 1 or n = 1. Letting m,n > 1 and using equation (3.4)
in the following equation we obtain[
m+ n
n
]
Fa,b;q,p
=
[Fm+n]a,b;q,p[Fm+n−1]!a,b;q,p
[Fm]!a,b;q,p · [Fn]!a,b;q,p
= [Fm+1]a,b;qFn ,p
[
m+ n− 1
n− 1
]
Fa,b;q,p
+ ω2(m,n)[Fn−1]a,b;qFm ,p
[
m− 1 + n
n
]
Fa,b;q,p
.
By induction (and using again Lemma 3.4), the first term of the sum is the weighted counting
of the path-domino tilings of the m× n rectangle whose specified path ends with a north step,
while the second term is the weighted counting of those finishing with an east step.
Indeed, the path-domino tilings whose path ends with a north step have an extra contribution
[Fm+1]a,b;qFn ,p. This corresponds to the weighted enumeration of the tilings of the last row with
horizontal dominos and monominos. This follows from the fact that both quantities satisfy the
same initial conditions and recurrence relation, which is obtained by applying equation (3.2) to
Fm + Fm−1
[Fm+1]a,b;qFn ,p = [Fm]a,b;qFn ,p + ω1(m,n)[Fm−1]a,b;qFn ,p.
The path-domino tilings whose path ends with an east step have an extra contribution
ω2(m,n)[Fn−1]a,b;qFm ,p.
This corresponds to the weight of the forced special vertical domino (ω2(m,n)) and the tilings
of the remaining (n− 2)-strip in the last column ([Fn−1]a,b;qFm ,p). �
Example 3.6 (n = 2). The identity (2.4) in Example 2.7 for m ∈ N and n = 2 generalizes in
the elliptic case to
[Fm+2]a,b;q,p[Fm+1]a,b;q,p =
m+1∑
k=1
Ωm
k [Fk]2a,b;q,p,
where Ωm
k =
m∏
i=k
ω2(i, 2) is the product of the weights of the special vertical dominos, and
[Fk]2a,b;q,p = [Fk]a,b;q,p · [Fk]a,b;qF2 ,p is the weight of the two horizontal rows above the path.
Example 3.7 (a, b; p → 0). By computing the limits p → 0, a → 0 and b → 0 (in this order)
of ω̃(T ) and [m+n
n ]Fa,b;q,p
we obtain Theorem 2.4.
10 N. Bergeron, C. Ceballos and J. Küstner
Remark 3.8. The elliptic analog of the Fibonomial number is a Fibonacci analog of the “reg-
ular” elliptic binomial coefficient[
n
k
]
a,b;q,p
:=
[n]a,b;q,p!
[k]a,b;q,p! · [n− k]a,b;q,p!
,
where [n]a,b;q,p! =
n∏
i=1
[i]a,b;q,p. This can be expressed as
[
n
k
]
a,b;q,p
=
(qn−k+1, aqn−k+1, bq, ab q; q, p)k
(q, aq, bqn−k+1, ab q
n−k+1; q, p)k
, (3.5)
where the theta shifted factorial is defined as (a; q, p)k =
k−1∏
i=0
θ(aqi; p) for k > 0, (a; q, p)0 = 1
and (a1, a2, . . . , al; q, p)k =
l∏
i=1
(ai; q, p)k.
Several elliptic versions of the binomial coefficient have been already considered in the lit-
erature, see for instance [24] or [28]. By substituting b 7→ bqk in equation (3.5), we obtain the
elliptic binomial coefficient defined by Schlosser in [28][
n
k
]′
a,b;q,p
:=
(
qn−k+1, aqn−k+1, bq1+k, ab q
1−k; q, p
)
k(
q, aq, bqn+1, ab q
n−2k+1; q, p
)
k
.
One can also check that our regular elliptic binomial coefficient is different to one defined by
Rains in [24, Definition 11], even in the simplest case where both partitions are single columns
of respective lengths n and k, cf. [31, equation (3.12)].
An interesting task for future works on the elliptic Fibonomials could be to generalize Fi-
bonomial identities to ellitpic identities, see, e.g., [4, 25] for potential candidates. For instance,
we generalize a proof by Reiland [25] for the identity(
m+ n
n
)
F
=
n∑
j=0
F j
m+1Fn−j−1
(
m− 1 + n− j
n− j
)
F
in the following corollary.
Corollary 3.9. For m,n ≥ 1, the elliptic Fibonomial [m+n
n ]Fa,b;q,p
is equal to
n∑
j=0
(
j−1∏
i=0
[Fm+1]a,b;qFn−i ,p
)
[Fn−1−j ]a,b;qFm ,pw2(m,n− j)
[
m− 1 + n− j
n− j
]
Fa,b;q,p
.
Proof. For 0 ≤ j ≤ n, consider all weighted path-domino tilings T j
m,n of an m × n rectangle
for m,n ≥ 1 where the last horizontal step of the path ends at position (m,n − j). To obtain
the sum of the weights
∑
T∈T j
m,n
ω̃(T ), we subdivide the tilings (as illustrated in Fig. 5): The
collection T j
m,n can be identified with the collection of
� a path domino tiling of an (m−1)× (n− j) rectangle which adds weight
[
m−1+n−j
n−j
]
Fa,b;q,p
,
� j full rows on top which add weights [Fm+1]a,b;qFn−i ,p for 0 ≤ i ≤ j − 1 or 1 if j = 0,
� the tile below the last horizontal step, which is forced to be a special vertical domino with
weight ω2(m,n− j),
Elliptic and q-Analogs of the Fibonomial Numbers 11
[Fm+1]a,b;qFn ,p
[Fm+1]a,b;qFn−1 ,p
[Fm+1]
a,b;q
Fn−(j−1) ,p
ω2(m,n− j)
[Fn−1−j ]a,b;qFm ,p
[
m− 1 + n− j
n− j
]
Fa,b;q,p
Figure 5. The parts of one summand of the right hand side of Corollary 3.9 for m = 6, n = 7 and j = 3.
� and the column below the special vertical domino which adds weight [Fn−1−j ]a,b;qFm ,p
to the sum. Summing over all j, we obtain the required convolution formula. Note that in the
case j = n − 1 the number of tilings is 0 since there has to be a vertical domino below the
last horizontal step and indeed, there appears the factor [F0]a,b;qFm ,p = 0 in the corresponding
summand. For j = n there is no special vertical domino and no column below the last east step
of the path but ω2(m, 0) = 1 and [F−1]a,b;qFm ,p = 1 (if we define F−1 by F−1 + F0 = F1 to
be 1). �
4 The q-Fibonacci analog of the rational Catalan numbers
Given a pair of relatively prime numbers m,n ∈ N (that is, such that their greatest common
divisor is (m,n) := gcd{m,n} = 1), the m,n-Catalan number is defined as
Catm,n :=
1
m+ n
(
m+ n
n
)
.
This number is equal to the number of lattice paths from (0, 0) to (m,n) that stay weakly above
the main diagonal of the m×n rectangle. The study of these numbers (also in the non-coprime
case), and their q-analog and q, t-analog generalizations, is connected to numerous relevant
topics including rectangular diagonal harmonics and Macdonald polynomials [3, 6, 7, 8, 22], Shi
hyperplane arrangements and affine Weyl groups [2, 16, 33], affine Springer fibers [16, 19], affine
Hecke algebras [11], knot theory [17, 18], and representation theory of Cherednik algebras [13,
14, 15].
The q-Fibonacci analog of the m,n-Catalan number is defined as
[FCatm,n] :=
1
[Fm+n]
[
m+ n
n
]
F
=
[Fm+n−1]!q
[Fm]!q[Fn]!q
.
Surprisingly, this rational expression also turns out to be a polynomial when the greatest common
divisor (m,n) ∈ {1, 2}. Before proving this, we need the following lemma.
Lemma 4.1 ([20]). For m,n ∈ N, we have (Fm, Fn) = F(m,n).
Proposition 4.2 (S.X. Li [21]). If the greatest common divisor (m,n) ∈ {1, 2}, then [FCatm,n]
is a polynomial in q with integer coefficients.
12 N. Bergeron, C. Ceballos and J. Küstner
Proof. First note that
[Fn]
[
m+ n
n
]
F
= [Fm+n]
[
m+ n− 1
n− 1
]
F
.
Since all the terms involved in this identity are polynomials, we know [Fm+n] divides [Fn][m+n
n ]F .
But
(Fm+n, Fn) = F(m+n,n) = F(m,n) = 1
whenever (m,n) is equal to 1 or 2. Since the roots of [n] are the n-th roots of unity that are
different to 1, the polynomials [Fm+n] and [Fn] have no roots in common. Thus, [Fm+n] divides
[m+n
n ]F . �
Computational experimentation for m,n ≤ 15 suggests that the coefficients of these polyno-
mials are non-negative integers. However, we do not have a proof nor a combinatorial model to
describe them.
Open Problem 4.3. Find a combinatorial interpretation of the q-Fibonacci analog of the
rational Catalan numbers.
Remark 4.4. The model of Sagan and Savage in [27] gives a combinatorial interpretation
of the Lucas analog of the binomial coefficients. The Lucas polynomials {n} generalize the
Fibonacci numbers, and are defined by the initial conditions {0} = 0, {1} = 1 and the recurrence
{n} = s{n−1}+t{n−2} for some variables s, t. It was proven in [5, Section 6.2], that the Lucas
analog of the rational m,n-Catalan numbers is also polynomial in s, t with integer coefficients.4
However, to the best of our knowledge, no q-analogs of the Lucas-binomial coefficients have been
studied in the literature. The proof of Proposition 4.2 was originally found by our colleague
S.X. Li, during discussions about this topic in the Algebraic Combinatorics Seminar at the Fields
Institute in 2015. At this Seminar, our colleague F. Aliniaeifard showed that Conjecture 2.5
implies the positivity of the coefficients.
Remark 4.5. Given a crystallographic Coxeter group W with Coxeter exponents e1 < e2 <
· · · < en, the rational W -Catalan number is defined as CW (a) =
n∏
i=1
a+ei
ei+1 , and this is an integer
when a is relatively prime to en + 1. The Coxeter exponents for the crystallographic Coxeter
groups are
type of W e1, e2, . . . , en
An 1, 2, 3, . . . , n
Bn 1, 3, 5, . . . , 2n− 1
Dn n− 1, 1, 3, 5, . . . , 2n− 3
E6 1, 4, 5, 7, 8, 11
E7 1, 5, 7, 9, 11, 13, 17
E8 1, 7, 11, 13, 17, 19, 23, 29
F4 1, 5, 7, 11
G2 1, 5
The classical Catalan number corresponds to type An. We can now define a q-Fibonacci analog
as follows
CW,F (a) =
n∏
i=1
[Fa+ei ]
[Fei+1]
.
4Their proof is reproduced from the proof of Proposition 4.2 with our permission.
Elliptic and q-Analogs of the Fibonomial Numbers 13
We have computationally checked that this is a polynomial with positive integer coefficients
when a and en + 1 are relatively prime, for each type and various values of a. It is interesting to
note that although in type An we have shown that it is a polynomial as long as (Fa, Fen+1) = 1,
for other types we must have the stronger condition (a, en + 1) = 1. For example CF4,F (2) is
not a polynomial.
5 The model of Bennett, Carrillo, Machacek, and Sagan
Recently, Bennett, Carrillo, Machacek, and Sagan [5] gave another combinatorial interpretation
of the Lucas analog of the Binomial coefficient. A special case of their interpretation is that
the Fibonomial number
(
n
k
)
F = F !
n
F !
k·F
!
n−k
counts the number of certain partial tilings of a Young
diagram of staircase shape of size n. Similarly as above, we can also assign q-weights and elliptic
weights to this model, giving rise to other combinatorial interpretations for the q-analog and
elliptic analog of the Fibonomial number, respectively.
We start by briefly recalling the Bennett–Carrillo–Machacek–Sagan model. For n ∈ N, con-
sider the Young diagram of staircase shape of size n (in French notation) associated to the
partition (n − 1, n − 2, . . . , 2, 1): the position of the south-west corner is placed at the origin
of the Cartesian coordinate system and the number of boxes in row i (counted from bottom to
top) is n− i. We also include the lines from (0, n− 1) to (0, n) and from (n− 1, 0) to (n, 0) for
convenience. An example of a Young diagram of staircase shape for n = 9 is illustrated on the
left of Fig. 6.
Given two natural numbers n ≥ k, an (n, k)-tiling is a partial tiling of a staircase shape of
size n with monominos and dominos where one lattice path is specified such that:
� the lattice path goes from (k, 0) to (0, n) using steps (0, 1) and (−1, 0). It stays inside the
Young diagram and every west step (−1, 0) must be followed by a north step (0, 1).
� if a north step is not forced by a previous west step, the boxes that are on its left in the
same row are tiled with monominos and horizontal dominos.
� if a north step is forced by a previous west step, the boxes that are on its right in the same
row are tiled with monominos and horizontal dominos. The tile touching the north step
is forced to be a domino (we call it a special domino).
We denote by Sn,k the collection of all (n, k)-tilings. An example for n = 9 and k = 5 is
shown on the right of Fig. 6.
The tilings in the Bennett–Carrillo–Machacek–Sagan model are in natural bijection with the
tilings of the Sagan–Savage model: the tilings on the right (resp. left) of the path in the staircase
become the tilings of the columns below (resp. rows above) the path in the rectangle (see last
paragraph before Section 3 in [5]). We have chosen our example to match that of Fig. 1.
Using this bijection, one can easily reinterpret the q-weights and elliptic weights described
in Sections 2 and 3 for this new model. Let T be an (n, k)-tiling. For a tile t (monomino or
domino) on the left of the path, we define the floor of t as the number of boxes in the same row
from the western border of the Young diagram to the eastern border of t, and the height as 1
plus the number of boxes in the same row from the eastern border of the Young diagram to the
north step to the east of t. For a tile t on the right of the path the statistics are mirrored as
illustrated in Fig. 7.
The q-weights of the tiles are defined as follows
ν
( )
= 1, ν
( )
= qFfloorFheight , ν
( )
= qFfloorFheight+1 ,
where the shaded domino represents a special domino forced by a west step of the path. In the
elliptic case the weights are defined as
14 N. Bergeron, C. Ceballos and J. Küstner
Figure 6. A Young diagram of staircase shape of size 9 (left) and a (5, 9)-tiling (right).
floorheight-1
height-1floor
Figure 7. An illustration of the height and floor statistics of one domino on the left and one domino
on the right of the path. The domino on the top row has floor 3 and height 4, while the domino on the
bottom row has floor 2 and height 5.
ν̃
( )
= 1, ν̃
( )
= ω1(floor, height), ν̃
( )
= ω2(floor,height).
The q- and elliptic weights of a tiling T are defined as the product of the weights of its tiles.
As consequences of Theorem 2.4 and Theorem 3.1 we get the following two results.
Corollary 5.1. For n ≥ k, the q-analog of the Fibonomial number can be computed as[
n
k
]
F
=
∑
T∈Sn,k
ν(T ).
Corollary 5.2. For n ≥ k, the elliptic analog of the Fibonomial number can be computed as[
n
k
]
Fa,b;q,p
=
∑
T∈Sn,k
ν̃(T ).
An example of Corollary 5.1, for n = 4 and k = 2, is given in Fig. 8. We have chosen the
order of the tilings to match the order of the tilings for the corresponding example in Fig. 2.
Remark 5.3. The Bennett–Carrillo–Machacek–Sagan model also gives rise to combinatorial in-
terpretations of the Lucas analog of the (ordinary) Catalan numbers and Fuss–Catalan numbers
described in [5]. They define a Catalan partial tiling C of a Young diagram of staircase shape
of size 2n to be a (2n, n − 1)-tiling where the first row (at the bottom) stays blank except for
the forced special domino if the first step is a west step.
The Lucas analog of the Catalan numbers
C{n} :=
1
{n+ 1}
{2n}!
{n}!{n}!
,
Elliptic and q-Analogs of the Fibonomial Numbers 15
1 q q q2 q2 q3
Figure 8. The six (4, 2)-tilings of a staircase shape of size 4, and their contribution to the q-Fibonomial
[42]F = [F4][F3]
[F2][F1]
= [3][2]
[1][1] = 1 + 2q + 2q2 + q3 when computed as a generating function
∑
T∈S4,2
ν(T ).
where {n}! =
n∏
k=1
{k}, is the sum over the weights of all Catalan partial tilings C of size 2n if all
dominos have weight t, all monominos have weight s, and the weight of the tiling C is defined
as the product of the weights of its tiles [5, Corollary 4.2.].
This model does not translate to the q-Fibonacci analog of the Catalan numbers
[FCatn] :=
1
[Fn+1]q
[
2n+ n
n
]
F
=
[F2n]!q
[Fn+1]!q[Fn]!q
.
For example, [FCat3] is not equal to the sum of the weights of all Catalan partial tilings C of
size 6 with the corresponding q-weights defined above.
Although the Bennett–Carrillo–Machacek–Sagan model does not seem to trivially solve the
following problem, it still might be easier than Open Problem 4.3.
Open Problem 5.4. Find a combinatorial interpretation of the q-Fibonacci analog of the
Catalan numbers (and the Fuss–Catalan numbers).
Acknowledgements
The authors are grateful to Farid Aliniaeifard, Tom Denton, Shu Xiao Li, Drew Armstrong,
Bruce Sagan, Michael Schlosser, and Mike Zabrocki for helpful and inspiring discussions. We
also thank anonymous referees for their useful comments and suggestions. NB was supported
by NSERC and a York Research Chair. CC was supported by the Austrian Science Foundation
FWF, grant F 5008-N15, in the framework of the Special Research Program Algorithmic and
Enumerative Combinatorics. JK was supported by the Austrian Science Foundation FWF, grant
P 32305.
References
[1] Amdeberhan T., Chen X., Moll V.H., Sagan B.E., Generalized Fibonacci polynomials and Fibonomial
coefficients, Ann. Comb. 18 (2014), 541–562, arXiv:1306.6511.
[2] Athanasiadis C.A., On a refinement of the generalized Catalan numbers for Weyl groups, Trans. Amer.
Math. Soc. 357 (2005), 179–196.
[3] Aval J.C., Bergeron F., A note on: rectangular Schröder parking functions combinatorics, Sém. Lothar.
Combin. 79 (2018), Art. B79a, 13 pages, arXiv:1603.09487.
[4] Benjamin A.T., Reiland E., Combinatorial proofs of Fibonomial identities, Fibonacci Quart. 52 (2014),
28–34.
[5] Bennett C., Carrillo J., Machacek J., Sagan B.E., Combinatorial interpretations of Lucas analogues of
binomial coefficients and Catalan numbers, arXiv:1809.09036.
[6] Bergeron F., Open questions for operators related to rectangular Catalan combinatorics, J. Comb. 8 (2017),
673–703, arXiv:1603.04476.
https://doi.org/10.1007/s00026-014-0242-9
https://arxiv.org/abs/1306.6511
https://doi.org/10.1090/S0002-9947-04-03548-2
https://doi.org/10.1090/S0002-9947-04-03548-2
https://arxiv.org/abs/1603.09487
https://arxiv.org/abs/1809.09036
https://doi.org/10.4310/JOC.2017.v8.n4.a6
https://arxiv.org/abs/1603.04476
16 N. Bergeron, C. Ceballos and J. Küstner
[7] Bergeron F., Garsia A., Leven E.S., Xin G., Some remarkable new plethystic operators in the theory of
Macdonald polynomials, J. Comb. 7 (2016), 671–714, arXiv:1405.0316.
[8] Bergeron F., Garsia A., Sergel Leven E., Xin G., Compositional (km, kn)-shuffle conjectures, Int. Math.
Res. Not. 2016 (2016), 4229–4270, arXiv:1404.4616.
[9] Borodin A., Gorin V., Rains E.M., q-distributions on boxed plane partitions, Selecta Math. (N.S.) 16 (2010),
731–789, arXiv:0905.0679.
[10] Chen X., Sagan B.E., The fractal nature of the Fibonomial triangle, Integers 14 (2014), A3, 12 pages,
arXiv:1306.2377.
[11] Cherednik I., Double affine Hecke algebras, London Mathematical Society Lecture Note Series, Vol. 319,
Cambridge University Press, Cambridge, 2005.
[12] Dunlap R.A., The golden ratio and Fibonacci numbers, World Sci. Publ. Co., Inc., River Edge, NJ, 1997.
[13] Etingof P., Ginzburg V., Symplectic reflection algebras, Calogero–Moser space, and deformed Harish-
Chandra homomorphism, Invent. Math. 147 (2002), 243–348, arXiv:math.AG/0011114.
[14] Etingof P., Gorsky E., Losev I., Representations of rational Cherednik algebras with minimal support and
torus knots, Adv. Math. 277 (2015), 124–180, arXiv:1304.3412.
[15] Etingof P., Ma X., Lecture notes on Cherednik algebras, arXiv:1001.0432.
[16] Gorsky E., Mazin M., Vazirani M., Affine permutations and rational slope parking functions, Trans. Amer.
Math. Soc. 368 (2016), 8403–8445, arXiv:1403.0303.
[17] Gorsky E., Neguţ A., Refined knot invariants and Hilbert schemes, J. Math. Pures Appl. 104 (2015), 403–
435, arXiv:1304.3328.
[18] Gorsky E., Oblomkov A., Rasmussen J., Shende V., Torus knots and the rational DAHA, Duke Math. J.
163 (2014), 2709–2794, arXiv:1207.4523.
[19] Hikita T., Affine Springer fibers of type A and combinatorics of diagonal coinvariants, Adv. Math. 263
(2014), 88–122, arXiv:1203.5878.
[20] Hoggatt Jr. V.E., Long C.T., Divisibility properties of generalized Fibonacci polynomials, Fibonacci Quart.
12 (1974), 113–120.
[21] Li S.X., Personal communication, 2015, Algebraic Combinatorics Seminar at the Fields Institute.
[22] Mellit A., Toric braids and (m,n)-parking functions, arXiv:1604.07456.
[23] Posamentier A.S., Lehmann I., The (fabulous) Fibonacci numbers, Prometheus Books, Amherst, NY, 2007.
[24] Rains E.M., BCn-symmetric Abelian functions, Duke Math. J. 135 (2006), 99–180,
arXiv:math.CO/0402113.
[25] Reiland E., Combinatorial Interpretations of Fibonomial identities, Master’s Thesis, Harvey Mudd College,
Claremont, CA, 2011.
[26] Rosengren H., Elliptic hypergeometric functions, Lecture notes at OPSF-S6, College Park, Maryland, August
2016, arXiv:1608.06161.
[27] Sagan B.E., Savage C.D., Combinatorial interpretations of binomial coefficient analogues related to Lucas
sequences, Integers 10 (2010), A52, 697–703, arXiv:0911.3159.
[28] Schlosser M.J., Elliptic enumeration of nonintersecting lattice paths, J. Combin. Theory Ser. A 114 (2007),
505–521, arXiv:math.CO/0602260.
[29] Schlosser M.J., A noncommutative weight-dependent generalization of the binomial theorem, Sém. Lothar.
Combin. 81 (2020), Art. B81j, 20 pages, arXiv:1106.2112.
[30] Schlosser M.J., Senapati K., Uncu A.K., Log-concavity results for a biparametric and an elliptic extension
of the q-binomial coefficients, arXiv:2002.07796.
[31] Schlosser M.J., Yoo M., Elliptic rook and file numbers, Electron. J. Combin. 24 (2017), 1.31, 47 pages,
arXiv:1512.01720.
[32] Schlosser M.J., Yoo M., Weight-dependent commutation relations and combinatorial identities, Discrete
Math. 341 (2018), 2308–2325, arXiv:1610.08680.
[33] Thiel M., From Anderson to zeta, Adv. in Appl. Math. 81 (2016), 156–201, arXiv:1504.07363.
[34] Tirrell J., Sagan B.E., Lucas atoms, arXiv:1909.02593.
[35] Weber H., Elliptische functionen und algebraische zahlen, Vieweg-Verlag, Braunschweig, 1891.
https://doi.org/10.4310/JOC.2016.v7.n4.a6
https://arxiv.org/abs/1405.0316
https://doi.org/10.1093/imrn/rnv272
https://doi.org/10.1093/imrn/rnv272
https://arxiv.org/abs/1404.4616
https://doi.org/10.1007/s00029-010-0034-y
https://arxiv.org/abs/0905.0679
https://arxiv.org/abs/1306.2377
https://doi.org/10.1017/CBO9780511546501
https://doi.org/10.1142/9789812386304
https://doi.org/10.1007/s002220100171
https://arxiv.org/abs/math.AG/0011114
https://doi.org/10.1016/j.aim.2015.03.003
https://arxiv.org/abs/1304.3412
https://arxiv.org/abs/1001.0432
https://doi.org/10.1090/tran/6584
https://doi.org/10.1090/tran/6584
https://arxiv.org/abs/1403.0303
https://doi.org/10.1016/j.matpur.2015.03.003
https://arxiv.org/abs/1304.3328
https://doi.org/10.1215/00127094-2827126
https://arxiv.org/abs/1207.4523
https://doi.org/10.1016/j.aim.2014.06.011
https://arxiv.org/abs/1203.5878
https://arxiv.org/abs/1604.07456
https://arxiv.org/abs/math.CO/0402113
https://arxiv.org/abs/1608.06161
https://arxiv.org/abs/0911.3159
https://doi.org/10.1016/j.jcta.2006.07.002
https://arxiv.org/abs/math.CO/0602260
https://arxiv.org/abs/1106.2112
https://arxiv.org/abs/2002.07796
https://arxiv.org/abs/1512.01720
https://doi.org/10.1016/j.disc.2018.05.007
https://doi.org/10.1016/j.disc.2018.05.007
https://arxiv.org/abs/1610.08680
https://doi.org/10.1016/j.aam.2016.06.002
https://arxiv.org/abs/1504.07363
https://arxiv.org/abs/1909.02593
1 Introduction
2 q-analog of the Fibonomial numbers
3 Elliptic analog of the Fibonomial numbers
4 The q-Fibonacci analog of the rational Catalan numbers
5 The model of Bennett, Carrillo, Machacek, and Sagan
References
|
| id | nasplib_isofts_kiev_ua-123456789-210772 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1815-0659 |
| language | English |
| last_indexed | 2026-03-16T09:09:44Z |
| publishDate | 2020 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Bergeron, Nantel Ceballos, Cesar Küstner, Josef 2025-12-17T14:32:21Z 2020 Elliptic and -Analogs of the Fibonomial Numbers. Nantel Bergeron, Cesar Ceballos and Josef Küstner. SIGMA 16 (2020), 076, 16 pages 1815-0659 2020 Mathematics Subject Classification: 11B39; 05A30; 05A10 arXiv:1911.12785 https://nasplib.isofts.kiev.ua/handle/123456789/210772 https://doi.org/10.3842/SIGMA.2020.076 In 2009, Sagan and Savage introduced a combinatorial model for the Fibonomial numbers, integer numbers that are obtained from the binomial coefficients by replacing each term by its corresponding Fibonacci number. In this paper, we present a combinatorial description for the -analog and elliptic analog of the Fibonomial numbers. This is achieved by introducing some -weights and elliptic weights to a slight modification of the combinatorial model of Sagan and Savage. The authors are grateful to Farid Aliniaeifard, Tom Denton, Shu Xiao Li, Drew Armstrong, Bruce Sagan, Michael Schlosser, and Mike Zabrocki for helpful and inspiring discussions. We also thank anonymous referees for their useful comments and suggestions. NB was supported by NSERC and a York Research Chair. CC was supported by the Austrian Science Foundation FWF, grant F 5008-N15, in the framework of the Special Research Program Algorithmic and Enumerative Combinatorics. JK was supported by the Austrian Science Foundation FWF, grant P 32305. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications Elliptic and -Analogs of the Fibonomial Numbers Article published earlier |
| spellingShingle | Elliptic and -Analogs of the Fibonomial Numbers Bergeron, Nantel Ceballos, Cesar Küstner, Josef |
| title | Elliptic and -Analogs of the Fibonomial Numbers |
| title_full | Elliptic and -Analogs of the Fibonomial Numbers |
| title_fullStr | Elliptic and -Analogs of the Fibonomial Numbers |
| title_full_unstemmed | Elliptic and -Analogs of the Fibonomial Numbers |
| title_short | Elliptic and -Analogs of the Fibonomial Numbers |
| title_sort | elliptic and -analogs of the fibonomial numbers |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/210772 |
| work_keys_str_mv | AT bergeronnantel ellipticandanalogsofthefibonomialnumbers AT ceballoscesar ellipticandanalogsofthefibonomialnumbers AT kustnerjosef ellipticandanalogsofthefibonomialnumbers |