Definition 2.1
56K1The S-fence, denoted by \phi_{n}, is a fence-like poset, with element \{x_1,\ldots, x_n\} and cover relations x_1>x_2>x_3, x_2<x_4 and x_4>x_5, for i\ge 3, x_{2i-1}< x_{2i} and x_{2i}> x_{2i+1}.
Some enumerative properties of a class of Fibonacci-like cubes
- arXiv
- 1905.00573v1 · PDF · 2 May 2019
- Categories
- math.CO
- Licence
- CC0 1.0 The site shows the text.
Abstract
A filter lattice is a distributive lattice formed by all filters of a poset in the anti-inclusion order. We study the combinatorial properties of the Hasse diagrams of filter lattices of certain posets, so called Fibonacci-like cubes, in this paper. Several enumerative polynomials, e.g. rank generating function, cube polynomials and degree sequence polynomials are obtained. Some of these results relate to Fibonacci sequence and Padovan sequence.
Items 41
Lemma 2.1
B5F6The filter lattice \mathcal{F}(P) is considered as a convex expansion, that is for every x\in P,
\mathcal{F}(P)\cong \mathcal{F}(P-x)\boxplus \mathcal{F}(P*x),
where P-x and P*x the induced subposets on P\setminus\{x\} and P\setminus\{y \in P|y \leq x \text{ or } x \leq y\}, respectively.
Used by Proof. 1
Lemma 2.2
EALZLet \Phi_n be the n-th FLC defined above. Then
\Phi_n \cong \Gamma_{n-1}^* \boxplus \Gamma_{n-4}^* \cong \left((\Gamma_{n-3}^* \boxplus \Gamma_{n-3}^*) \boxplus \Gamma_{n-4}^*\right) \boxplus \Gamma_{n-4}^* \; (n\ge 5).
or
\Phi_n \cong \Phi_{n-1} \boxplus \Phi_{n-2} \cong (\Phi_{n-2} \boxplus \Phi_{n-2}) \boxplus \Phi_{n-3} \; (n\ge 6).
Proof. 1
L66RBy definition of \Phi_n, the result is easily obtained by putting x=x_n and x=x_3 in Lemma 2.1, respectively.
Uses Lemma 2.1
Corollary 2.3
D8BBThe number of vertices of \Phi_n is 2F_n.
Lemma 3.1
HFVELet L be a finite distributive lattice and K is a cutting of L. The rank generating function of L\boxplus K is
R(L\boxplus K,x) =
\begin{cases}
R(L,x) + x^{h_L(\hat0_K)+1}R(K,x), & \text{if } \hat1_K = \hat1_L; \\
R(K,x) + xR(L,x), & \text{if } \hat0_K = \hat0_L.
\end{cases}
Proposition 3.2
R8LRFor n\ge 5
R_n(x) =
\begin{cases}
xR_{n-1}(x) + R_{n-2}(x), & \mbox{if } 2\nmid n, \\
R_{n-1}(x) + x^2R_{n-2}(x), & \mbox{if } 2\mid n.
\end{cases}
Used by Proof. 2
Proposition 3.3
NM4I\begin{cases}
A_m(x) = (1+x+x^2)A_{m-1}(x) - x^2A_{m-2}(x), & (m\ge 4), \\
B_m(x) = (1+x+x^2)B_{m-1}(x) - x^2B_{m-2}(x), & (m\ge 2).
\end{cases}
Used by Proof. 3
Proof. 2
GR28By Proposition 3.2, for m\ge 4,
\begin{aligned}
A_m(x) &=B_{m-1}(x)+x^2A_{m-1}(x)\\
&=xA_{m-1}(x)+B_{m-2}(x)+x^2A_{m-1}(x)\\
&=xA_{m-1}(x)+A_{m-1}(x)-x^2A_{m-2}(x)+x^2A_{m-1}(x)\\
&=(1+x+x^2)A_{m-1}(x)-x^2A_{m-2}(x).
\end{aligned}
For B_2(x), the conclusion is also ture. Samilarily, the recurrence relation of B_m(x) can be obtained.
Uses Proposition 3.2
Theorem 3.4
PATSThe generating functions of A_m(x) and B_m(x) are
\sum_{m\ge 0}A_m(x)z^m = z+ \frac{1-z+z^2}{1-(1+x+x^2)z+x^2z^2}
and
\sum_{m\ge0}B_m(x)z^m = \frac{1+x-(x+x^2)z}{1-(1+x+x^2)z+x^2z^2},
respectively.
Proof. 3
A6UPBy the Proposition 3.3,
\begin{aligned}
\sum_{m\ge 0}A_m(x)z^m &= \sum_{m\ge 4}A_m(x)z^m +A_3(x)z^3 + A_2(x)z^2 + A_1(x)y+A_0(x) \\
&= \sum_{m\ge 4}((1+x+x^2)A_{m-1}-x^2A_{m-2})z^m +A_3(x)z^3 + A_2(x)z^2 + A_1(x)z+A_0(x) \\
&= (1+x+x^2)z\sum_{m\ge 3} A_m(x)z^m - x^2z^2 \sum_{m\ge 2} A_m(x)z^m A_3(x)z^3+ A_2(x)z^2 + A_1(x)z+A_0(x) \\
&= (1+x+x^2)z\sum_{m\ge 0} A_m(x)z^m - x^2z^2 \sum_{m\ge 0} A_m(x)z^m + 1 +x^2z^3-xz^2-x^2z^2.
\end{aligned}
Similarly, the generating function of B_m are obtained.
Uses Proposition 3.3
Theorem 3.5
LFY1\begin{gathered}
r_{2m,k} = \delta_{1,m}\delta_{0,k}+ \sum_{i=0}^{\lfloor \frac m2 \rfloor}(-1)^i\binom{m-i}{i} \binom{m-2i;3}{k-2i} -\sum_{i=0}^{\lfloor \frac{m-1}{2} \rfloor}(-1)^i\binom{m-i-1}{i}\binom{m-2i-1;3}{k-2i}\\
+\sum_{i=0}^{\lfloor \frac{m-2}{2} \rfloor}(-1)^i\binom{m-i-2}{i}\binom{m-2i-2;3}{k-2i}.
\end{gathered}
and
\begin{gathered}
r_{2m+1,k} = \sum_{i=0}^{\lfloor\frac{m}{2}\rfloor} (-1)^i \binom{m-i}{i}\left(\binom{m-2i;3}{k-2i}+ \binom{m-2i;3}{k-2i-1}\right) \\
-\sum_{i=0}^{\lfloor\frac{m-1}{2} \rfloor} (-1)^i \binom{m-i-1}{i}\left(\binom{m-2i-1;3}{k-2i-1} +\binom{m-2i-1;3}{k-2i-2}\right).
\end{gathered}
Proof. 4
F24OConsider the polynomials g_n(x) defined by
\sum_{n\ge 0}g_n(x)z^n =\frac{1}{1-(1+x+x^2)z+x^2z^2}
such that
g_n(x) =\sum_{i=0}^{\lfloor n/2\rfloor}(-1)^i \binom{n-i}{i}x^{2i}(1+x+x^2)^{n-2i}.
In addition, the coefficient of x^k in g_n(x) can be given by
[x^k]g_n(x) =\sum_{i=0}^{\lfloor n/2\rfloor}(-1)^i\binom{n-i}{i}x^{2i}(1+x+x^2)^{n-2i} =\sum_{i=0}^{\lfloor n/2\rfloor}(-1)^i\binom{n-i}{i}\binom{n-2i;3}{k-2i}.
Then, since A_m(x)=z +g_m(x)-g_{m-1}(x) +g_{m-2}(x), we have
\begin{aligned}
r_{2m,k} &= [x^k]A_m(x)=[x^k]z +[x^k]g_m(x)-[x^k]g_{m-1}(x) +[x^k]g_{m-2}(x)\\
&= \delta_{1,m}\delta_{0,k}+ \sum_{i=0}^{\lfloor \frac m2 \rfloor}(-1)^i\binom{m-i}{i} \binom{m-2i;3}{k-2i} -\sum_{i=0}^{\lfloor \frac{m-1}{2} \rfloor}(-1)^i\binom{m-i-1}{i}\binom{m-2i-1;3}{k-2i}\\
&~+\sum_{i=0}^{\lfloor \frac{m-2}{2} \rfloor}(-1)^i\binom{m-i-2}{i}\binom{m-2i-2;3}{k-2i}.
\end{aligned}
Thus, r_{2m+1,k} is obtained from B_m(x)=g_m(x)+xg_m(x)-xg_{m-1}(x)-x^2g_{m-1}(x) in the same way.
Theorem 3.6
S4BYThe generating function of R_n(x) is
\sum_{n\ge 0}R_n(x)y^n = \frac{1+(1+x)y-(x+x^2)y^3-(x +x^2)y^4+x^2y^6}{1-(1+x+x^2)y^2+x^2y^4}.
Proof. 5
O7F8By the definition of A_m(x) and B_m(x),
\begin{aligned}
\sum_{n\ge0}R_n(x)y^n &= \sum_{m\ge 0}A_m(x)y^{2m} + \sum_{m\ge 0}B_m(x)y^{2m+1} \\
&= \sum_{m\ge 0}A_m(x)y^{2m} + y\sum_{m\ge 0}B_m(x)y^{2m} \\
&= \frac{1-xy^4-x^2y^4+x^2y^6}{1-(1+x+x^2)y^2+x^2y^4} + y\frac{1+x-xy^2-x^2y^2}{1-(1+x+x^2)y^2+x^2y^4} \\
&= \frac{1+(1+x)y-(x+x^2)y^3-(x +x^2)y^4+x^2y^6} {1-(1+x+x^2)y^2+x^2y^4}.
\end{aligned}
Corollary 3.7
7X3EUsing the above notation, we have
\sum_{k=0}^{n} r_{n,k} = 2F_n \;\; (n \geq 3).
Lemma 3.8
6AWJLet L be a finite distributive lattice and K a cutting of L. Then
q_k(L\boxplus K) = q_k(L) + q_k(K) + q_{k-1}(K).
Proposition 3.9
2Q5EFor n\ge 4,
q_{n,k} = q_{n-1,k}+q_{n-2,k}+q_{n-2,k-1}.
Used by Proof. 6
Proposition 3.10
9705For n\ge 5,
Q_n(x) = Q_{n-1}(x) + (1+x)Q_{n-2}(x).
Proof. 6
6ATQBy the Proposition 3.9,
\begin{aligned}
Q_n(x) &= \sum_{k\ge 0}q_{n,k}x^k = \sum_{k\ge 0}(q_{n-1,k} + q_{n-2,k} + q_{n-2,k-1})x^k \\
&= \sum_{k\ge 0}q_{n-1,k}x^k + \sum_{k\ge 0}q_{n-2,k}x^k + x\sum_{k\ge 0}q_{n-2,k-1}x^{k-1} \\
&= Q_{n-1}(x) + (1+x)Q_{n-2}(x).
\end{aligned}
Uses Proposition 3.9
Theorem 3.11
2EEQThe generating function of Q_n(x) is
\sum_{n\ge 0}Q_n(x)y^n =\frac{1+(1+x)y-(1+x)^2y^3-(1+x)^2y^4}{1-y-(1+x)y^2}.
Proposition 3.12
H8IXFor n \ge 0,
Q_n(x)=\sum_{j= 0}^{\lfloor \frac{n+1}{2} \rfloor}\binom{n-j+1}{j}(1+x)^j -
\sum_{j= 2}^{\lfloor \frac{n+1}{2} \rfloor}\binom{n-j-1}{j-2}(1+x)^j - \sum_{j= 2}^{\lfloor \frac{n}{2} \rfloor}\binom{n-j-2}{j-2}(1+x)^j.
and thus
q_{n,k}=\sum_{j= 0}^{\lfloor \frac{n+1}{2} \rfloor}\binom{n-j+1}{j}\binom jk -
\sum_{j= 2}^{\lfloor \frac{n+1}{2} \rfloor}\binom{n-j-1}{j-2}\binom jk - \sum_{j= 2}^{\lfloor \frac{n}{2} \rfloor}\binom{n-j-2}{j-2}\binom jk.
Corollary 3.13
7F8UFor n\ge 3, the number of vertices of \Phi_n is
q_{n,0}= 2\sum_{k=0}^{\lfloor \frac{n-1}{2} \rfloor} \binom{n-1-k}{k} = 2F_n.
Proposition 3.14
54R0For n \ge 6,
h_{n,k} = h_{n-2,k-1} + h_{n-3,k-1}.
Proposition 3.15
RUHYFor n \ge 6,
H_n(x) = xH_{n-2}(x) + xH_{n-3}(x).
Corollary 3.16
7MP3For n \ge 3,
H_n(1)=p_{n-2}.
Theorem 3.17
YSKEThe generating function of H_n(x) is
\begin{aligned}
\sum_{n=0}^\infty H_n(x) y^n &= \frac{1 +xy(1+y) +2xy^3(1+y) -x^2y^3(1+y)^2)}{1-xy^2(1+y)}\\
&= -2y+xy+xy^2+\frac{1+2y}{1-xy^2(1+y)}.
\end{aligned}
Proposition 3.18
QBFHFor n\ge 3,
H_n(x) =\sum_{k=0}^{\lfloor \frac n2 \rfloor} \left( \binom{k+1}{n-2k} +\binom{k}{n-2k-1} \right)x^k,
and
h_{n,k} = \binom{k+1}{n-2k} +\binom{k}{n-2k-1}.
Proof. 7
HBFA\begin{aligned}
\frac{1+2y}{1-xy^2(1+y)}
&= \sum_{j\ge 0}(1+y)^jx^jy^{2j} +2\sum_{j\ge 0}(1+y)^{j}x^{j}y^{2j+1}\\
&= \sum_{j\ge 0}\sum_{n-2j=0}^{j} \binom{j}{n-2j}x^jy^n +2\sum_{j\ge 0}\sum_{n-2j-1=0}^{j} \binom{j}{n-2j-1}x^{j1}y^n\\
&= \sum_{n\ge 0}\sum_{k=\lceil \frac n3\rceil}^{\lfloor \frac n2 \rfloor}\binom{k}{n-2k}x^ky^n +2\sum_{n\ge 0}\sum_{k =\lceil \frac{n-1}{3}\rceil}^{\lfloor \frac{n-1}{2} \rfloor}\binom{k}{n-2k-1}x^ky^n.
\end{aligned}
The proof is completed.
Proposition 3.19
HTM1For n\ge 4,
d_{n,k} = d_{n-2,k-1} + d_{n-1,k-1} - d_{n-3,k-2} + d_{n-3,k-1}.
Proposition 3.20
IS03For n\ge 6,
D_n(x) = xD_{n-1}(x) + xD_{n-2}(x) + (x-x^2)D_{n-3}(x).
Theorem 3.21
61NWThe generating function of D_n(x) is given by
\sum_{n\ge 0}D_n(x)y^n = -y+xy+x^2y^2+\frac{1+y -x^2y^2} {(1-xy)(1-xy^2)-xy^3}.
Proposition 3.22
IJPOFor n\ge 3, the number of vertices of degree k of \Phi_n is
d_{n,k} = \sum_{j=0}^k\left(\binom{n-2j}{k-j}\binom{j}{n-k-j} +\binom{n-2j-1}{k-j}\binom{j}{n-k-j-1} -\binom{n-2j-2}{k-j-2}\binom{j}{n-k-j}\right).
Proof. 8
YIB5The way is similar to the method of [aKlavzMP11]. Using the expansion
\frac{x^n}{(1-x)^{n+1}} =\sum_{j\ge n}\binom{j}{n}x^j,
we consider the formal power series expansion of
f(x,y) =\frac{1}{(1-xy)(1-xy^2)-xy^3},
\begin{aligned}
f(x,y) &= \frac{1}{(1-xy)(1-xy^2)-xy^3}\\
&= \frac{(1-xy)^{-1}(1-xy^2)^{-1}}{1-xy^3(1-xy)^{-1}(1-xy^2)^{-1}}\\
&= \sum_{t \ge 0 }x^t y^{3t}(1-xy)^{-t-1}(1-xy^2)^{-t-1}\\
&= \sum_{t \ge 0} \frac{(xy)^t}{(1-xy)^{t+1}} \frac{(xy^2)^t}{(1-xy^2)^{t+1}}x^{-t}\\
&= \sum_{t\ge 0} \sum_{i\ge t} \binom it (xy)^i \sum_{j\ge t}\binom jt (xy^2)^j x^{-t}\\
&= \sum_{n \ge 0} \sum_{k=0}^n \sum_{j=0}^k \binom{n-2j}{k-j} \binom{j}{n-k-j}x^ky^n.
\end{aligned}
Thus
[x^k][y^n]f(x,y) =\sum_{j=0}^k \binom{n-2j}{k-j} \binom{j}{n-k-j}.
Note that
\frac{1+y-x^2y^2}{(1-xy)(1-xy^2)-xy^3} =f(x,y) +yf(x,y)-x^2y^2f(x,y),
then
\begin{aligned}
&~[x^k][y^n]\frac{1+y-x^2y^2}{(1-xy)(1-xy^2)-xy^3}\\
&= [x^k][y^n]f(x,y) +[x^k][y^{n-1}]f(x,y) -[x^{k-2}][y^{n-2}]f(x,y)\\
&= \sum_{j=0}^k \binom{n-2j}{k-j}\binom{j}{n-k-j} +\sum_{j=0}^k \binom{n-2j-1}{k-j}\binom{j}{n-k-j-1}\\ &~-\sum_{j=0}^k \binom{n-2j-2}{k-j-2}\binom{j}{n-k-j}.
\end{aligned}
Corollary 3.23
YX8SFor n \geq 3,
\sum_{k=0}^n d_{n,k}=2F_n.
Proposition 3.24
G5B1For n \ge 3 and k \ge 1,
d_{n,k}^- = d_{n-1,k}^- + d_{n-2,k-1}^-.
Proposition 3.25
U9INFor n \ge 5,
D_n^-(x) = D_{n-1}^-(x) + xD_{n-2}^-(x).
Lemma 3.26
W03XFor n \ge 0,
D_n^-(1+x) = Q_n(x).
Theorem 3.27
L6TLThe generating function of D_n^-(x) is
\sum_{n\ge 0} D_n^-(x)y^n = \frac{1+xy-x^2y^3-x^2y^4}{1-y-xy^2}.
Proposition 3.28
U5EUFor n \ge 0,
D_n^-(x) =\sum_{k=0}^{\lfloor \frac{n}{2}\rfloor} \left( \binom{n-k-2}{k-1}+\binom{n-k}{k}\right)x^k.
Thus
d_{n,k}^- = \binom{n-k-2}{k-1}+\binom{n-k}{k}.
Corollary 3.29
JRRHFor n \geq 3,
\sum_{k=0}^n d_{n,k}^- = \sum_{k=0}^n \left( \binom{n-k-2}{k-1}+\binom{n-k}{k} \right) = 2F_n.
Source and licence
The text on this page is from arXiv:1905.00573v1 by Xuxu Zhao, Xu Wang and Haiyuan Yao, under the licence CC0 1.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/1905/1905.00573.jsonl.