arXiv++ Combinatorics

Let $S_n(32\text{-}1)$ and $S_n(3\text{-}21)$ denote the sets of $n$-permutations avoiding the vincular patterns $32\text{-}1$ and $3\text{-}21$, respectively. Using Lehmer codes, we realize these families as weighted posets $L_n(32\text{-}1)$ and $L_n(3\text{-}21)$, where the weight of a code is the inversion number of its permutation. We show that the maximal elements of each of these posets, $\operatorname{Max} L_n(32\text{-}1)$ and $\operatorname{Max} L_n(3\text{-}21)$, are enumerated by the Fibonacci numbers. We demonstrate that the classical reverse-complement map on permutations restricts to a natural bijection between these two sets of maximal elements, revealing a deep symmetry between their underlying poset structures.

There have been many efforts to count numerical semigroups by the genus and by the Frobenius number. It is known that the number of semigroups of each genus grows asymptotically with the genus like the Fibonacci numbers and that the number of semigroups of each Frobenius number grows asymptotically in such a way that each number doubles the previous but one. We prove a formula for the number of semigroups of each Frobenius number, genus, and multiplicity, under the assumption that the multiplicity $m$ and the Frobenius number $F$ satisfy $m\geq\frac{F+1}{3}$. This formula gives, under the required restriction, a multiparameter exact version of the increasing behaviours just mentioned. We also present two adaptations of the seeds algorithm to explore both the unleaved tree of numerical semigroups up to a given genus and the Frobenius-leaf-discriminating tree, whose leaves are exactly the semigroups of a given Frobenius number. For this purpose we adapted the recursive descending algorithm for trimming the tree exactly at those nodes with no descendants with a given genus, in the first case, or with no descendants with a given Frobenius number, in the second case. We refined the parallelizing strategies and we overcame the previous limitation of the length of integers in the bitwise representation of the gap sequence and the seed sequence. We extended the knowledge of three different sequences. We obtained $n_{78}, n_{79}, n_{80}$, we computed the number of semigroups of each Frobenius number up to 128, and we computed the number of irreducible numerical semigroups of each Frobenius number up to 128 as well. We also computed the multiparameter decomposition of the numbers in the first sequence up to genus 80 by the first three jumps, and the multiparameter decomposition of the numbers in the second sequence up to Frobenius number 128 by multiplicity and genus.

A square-adjoining rectangle game generates the Fibonacci numbers and the Fibonacci spiral from a simple geometric rule. If one starts from a square, the four possible first moves are all equivalent by rotation. If one starts instead from a non-square rectangle, there are still four geometric placements for the first square, but they split into exactly two equivalence classes: long-side-first and short-side-first. We show that both classes are governed by the same Fibonacci-type recursion with different initial conditions, and that in both cases the successive aspect ratios converge to the golden ratio (phi). We then add a brief geometric remark: the Hypotenuse-Axis Intercept (HAI) construction from a right triangle produces a natural ordered seed whose outward and inward branches determine precisely those two first-move classes.

We introduce the lower and upper Wythoff-Fibonacci sequences, obtained from the classical Wythoff sequences by a Fibonacci correction. Specifically, if we put $$ε(j)=\begin{cases}(-1)^k, & \text{if }j=F_k\text{ for some }k\\ 0, & \text{in other case}\end{cases},$$ where $F_k$ is the $k$-th Fibonacci number, then we define the general terms of the lower and upper Wythoff-Fibonacci sequences by $$LWF(n)=\begin{cases} 1, & \text{if }n=1,\\ 3, & \text{if }n=2,\\ a(n)+ε(n), & \text{if }n\geq 3.\end{cases}$$ and $$UWF(n)=\begin{cases} 2, & \text{if }n=1,\\ b(n)+ε(n), & \text{if }n\geq 2,\end{cases}$$ respectively. We show that these sequences partition the set of natural numbers and use them to give an explicit formula for a sequence $q^{\star}_j$, defined from a greedy construction studied by the first author and his coauthors in a previous paper, but with the additional condition that $q^{\star}_1=3$, instead of being defined by the greedy rule. This sequence is a permutation of the set of non-negative integers and has the property that every integer appears exactly once in the sequence of differences $q^{\star}_j-j$. We prove that $q^{\star}_{q^{\star}_j}=j\ \forall j\geq 5$, so that $q^{\star}_j$ is an almost-involution. We also give another greedy algorithm generating $q^{\star}_j$.

We prove a stronger version of the log-convexity inequality for the Bell numbers $B_n$. In particular, for $n\ge 5$, we have \[ B_{n+1}B_{n-1} - (B_n)^2 \ge \sum_{i=1}^{n} F_i (B_{n-i})^2, \] where $F_i$ is the $i$-th Fibonacci number with $F_0=F_1=1$. The simple proof is mostly combinatorial with elementary inequalities.

The maximal entries of Dynkin friezes over the positive integers have recently been determined for all finite Dynkin types except $B_n$ and $D_n$. In this note, we explicitly construct large positive integral points on affine cluster varieties of type $B_n$ (resp. $D_n$), giving rise to friezes of types $B_n$ (resp. $D_n$) over the positive integers with largest entries $F_{n+1} F_{n+2} - 1$ (resp. $F_n F_{n+1} - 1$) where $F_k$ is the $k$-th Fibonacci number. We conjecture that these are the maximal possible entries for their respective Dynkin types.

We present two complementary proofs that, if the lengths of $n$ sticks are sampled at random, then the probability that no $p+1$ sticks can form a $(p+1)$-sided polygon can be expressed as the product of the reciprocals of a series of terms involving the $p$-step Fibonacci numbers. The first proof uses matrix algebra to extend the method previously used by Sudbury et al. to derive expressions for the probabilities of not being able to form triangles and quadrilaterals. The second alternative proof uses a different approach based on expressions for the minimum and maximum lengths of each stick that are compatible with the constraint of not being able to form a $(p+1)$-sided polygon, and provides insights into the structure of the probability expressions and the underlying reason that they include the Fibonacci numbers. Furthermore, the approach is developed in a generalised way that can, in principle, be applied to sticks randomly sampled from any probability distribution.

Let $P_k$ denote the path with $k$ vertices, and $\mathrm{ex}_{\mathcal{OP}}(n,H^{\mathrm{ind}},\emptyset)$ be the maximum number of induced copies of $H$ in an $n$-vertex outerplanar graph. In this paper, we determine the exact value of $\mathrm{ex}_{\mathcal{OP}}(n,P_3^{\mathrm{ind}},\emptyset)$ for all $n$, and give an asymptotic value of $\mathrm{ex}_{\mathcal{OP}}(n,P_4^{\mathrm{ind}},\emptyset)$. For general $k$, Matolcsi and Nagy proved that $\lim_{k\to \infty} {\left( \mathrm{ex}_{\mathcal{OP}}(n, P_{k+1},\emptyset)\right)^{1/k}} =4$. In the induced case, we prove that \[ fib(k-1)\frac{{(n-2k+3)}^2}{4} \le \mathrm{ex}_{\mathcal{OP}}(n, P_{k+1}^{\mathrm{ind}},\emptyset) \le fib(k+1) \binom{n}{2}, \] where $fib(k)$ is the Fibonacci number. This implies that $\lim_{k\to \infty} {\left( \mathrm{ex}_{\mathcal{OP}}(n, P_{k+1}^{\mathrm{ind}},\emptyset)\right)^{1/k}} = \frac{\sqrt{5}+1}{2}\approx 1.618$.

Ascent sequences form a central class of combinatorial objects, as they are in bijection with several important families such as (2+2)-free posets, Stoimenow matchings, and other Fishburn objects, and are enumerated by the Fishburn numbers. We study pattern avoidance in ascent sequences for the five patterns of length 4: $0101$, $0102$, $0112$, $0120$, and $0121$. These patterns arise naturally from recent work on pattern avoidance in related families of Fishburn objects, including Stoimenow matchings and (2+2)-free posets. We enumerate ascent sequences avoiding any subset of these patterns, with the exception of the sets $\{0120\}$, $\{0121\}$, and $\{0120,0121\}$, for which the enumeration remains open. Our results reveal that the corresponding avoidance classes fall into $16$ Wilf equivalence classes and exhibit a wide range of enumerative behaviour, including connections to classical sequences such as the Catalan and Fibonacci numbers, as well as polynomial formulas and rational generating functions; several of the sequences we obtain appear to be new. Our methods combine structural decompositions with generating-tree techniques and, in several cases, rely on reductions to shorter patterns via restricted growth functions. This work contributes to the broader study of pattern avoidance across Fishburn families and highlights further connections between ascent sequences and other combinatorial structures.

Many integer sequences arise as numbers of $G$-orbits on $\binom{X}{n}$ as $n$ varies, for a permutation group $G\subseteq \operatorname{Sym}(X)$. For finite $X$, Stanley proved that these finite sequences increase towards the middle using an action of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$. For infinite sets $X$, and hence infinite sequences, Cameron provided an argument for monotonicity. He first identifies orbits with a vector space basis of a certain commutative $k$-algebra $\mathsf{H}_{G,X}^{\star}$, called the orbit algebra. He then considers the operator, which forms the product with the constant $1$-function on $X$, and proves its injectivity. In this paper we generalize Stanley's approach to oligomorphic groups, and in particular extend Cameron's operator to a full $\mathfrak{sl}_2(\mathbb{C})$-action on $\mathsf{H}_{G,X}^{\star}$. We define for every oligomorphic permutation group $G\subseteq \operatorname{Sym}(X)$ the $X$-th tensor power $(k^r)^{\otimes X}$, generalizing work of Entova-Aizenbud. We show that this space carries natural commuting actions of $G$ and the Lie algebra $\mathfrak{gl}_r(k)$, the latter depending on a Harman--Snowden measure $μ$ on $G$. We then show that $\mathsf{H}_{G,X}^{\star}\subseteq (\mathbb{C}^2)^{\otimes X}$ can be decomposed into a direct sum of $\mathfrak{sl}_2(\mathbb{C})$-Verma modules, which gives monotonicity. We explain how our approach applies to Fibonacci numbers, Tribonacci numbers, etc. by constructing measures on products with $(\mathbb{Q},<)$.

In combinatorial representation theory, Kostant's weight multiplicity formula $m(λ,μ)$ is a tool that provides a means of determining the multiplicity of a weight $μ$ in the adjoint representation of a simple Lie algebra $\mathfrak{g}$, and in this work we consider the case of $\mathfrak{g}=\mathfrak{sl}_{r+1}(\mathbb{C})$. In practice, performing calculations of Kostant's weight multiplicity formula is computationally intense, as the number of terms in this alternating sum grows factorially as the rank $r$ increases, of which most terms provide zero contribution to the overall sum. In this work, we determine the Weyl alternation set, that is the terms in the alternating sum with nonzero contribution, for integral weights $λ$ the highest root of $\mathfrak{sl}_{r+1}(\mathbb{C})$, and $μ$ any nonempty collection of distinct simple roots. We show that the alternation set is enumerated by a product of Fibonacci numbers, with the product being dependent on the choice of distinct simple roots. Then we compute the weight $q$-multiplicity for any nonempty collection of distinct simple roots.

We provide four equivalent combinatorial conditions for a simple assembly graph (rigid vertex graph where all vertices are of degree 1 or 4) to have the largest number of Hamiltonian sets of polygonal paths relative its size. These conditions serve to prove the conjecture that such maximum, which is equal to $F_{2n+1}-1$, where $F_k$ denotes the $k$th Fibonacci number, is achieved only for special assembly graphs, called tangled cords.

We study paths in the p-Bratteli diagram associated with hook partitions, where p is an odd prime. By comparing blocks along a path, we define inversions and descents. We prove that the sign balance derived from inversions vanishes at every vertex of the diagram. Using descents, we introduce the p^(k)-Fibonacci numbers and derive recurrence relations for them. For k=0, we recover the OEIS sequence A391520, while for k>=1 we obtain new families of Fibonacci-type sequences.

Partially ordered patterns (POPs) play an important role in the study of permutation patterns, providing a convenient framework for describing large families of classical patterns. The problem of enumerating permutations that avoid POPs has therefore attracted considerable attention in the literature. In particular, Gao and Kitaev resolved many counting problems for POP-avoiding permutations of lengths 4 and 5, linking the enumeration to a wide range of other combinatorial objects. Motivated by their work, we initiate the study of permutations that simultaneously avoid two POPs belonging to the class of flat POPs. We establish a connection between permutations avoiding such POPs and the $k$-Fibonacci numbers. Moreover, we provide a bijection between permutations avoiding these POPs and certain restricted permutations, which allows us to use the method developed by Baltić to derive the generating function for permutations avoiding these POPs. Finally, we obtain enumerative results for separable permutations avoiding these two POPs, of lengths up to 5, with respect to six statistics, thereby extending the results of Gao et al. on the avoidance of a single flat POP in separable permutations. Notably, when both patterns are of length 5, the respective generating function is a rational function, with the sum in the numerator (resp., denominator) containing 293 (resp., 17) monomials.

Fubini rankings with $n$ competitors are $n$-tuples with entries in $[n]=\{1,2,3,\ldots, n\}$ that encode the conclusion of a race that allows ties. Since Fubini rankings are parking functions, we can study their parking outcomes, which are permutations encoding the final parking order of the cars using the Fubini ranking as a preference list. We establish that the number of Fubini rankings with $n$ competitors having a fixed parking outcome $π$ is given by $2^{n-k}$, where $k$ denotes the number of runs in $π$. We then use this formula to give a new proof for the number of Fubini rankings, which is given by the Fubini numbers. We also consider the set of $\ell$-interval Fubini rankings with $n$ competitors, which are Fubini rankings where at most $\ell+1$ competitors tie at any rank. We show that the number of $\ell$-interval Fubini rankings with $n$ competitors having a fixed parking outcome $π$ is given by a product of a power of two and a product of $\ell$-Pingala numbers, where these factors depend only on the lengths of the runs that make up the parking outcome $π$. The $1$-interval Fubini rankings are known as unit Fubini rankings, and we show that the number of unit Fubini rankings having a fixed parking outcome $π$ is given by a product of Fibonacci numbers indexed by the lengths of the runs in $π$. We use these results to give a formula for the number of $\ell$-interval Fubini rankings with $n$ competitors for all $\ell\in[n]$. We conclude with some directions for further study.

The work considers the set $Λ_n^k$ of all $n\times n$ binary matrices having the same number of $k$ units in each row and each column. The article specifically focuses on the matrices whose rows and columns are sorted lexicographically. We examine some particular cases and special properties of this matrices. Finally, we demonstrate the relationship between the Fibonacci numbers and the cardinality of two classes of $Λ_n^k$-matrices with lexicographically sorted rows and columns.

A generating function for reciprocal binomial coefficients is written down, integral representations of this function are obtained, generating functions for sums of reciprocal binomial coefficients are derived, new identities are obtained, including identities connecting reciprocal binomial coefficients with harmonic numbers and Fibonacci numbers. The application of the found functions for evaluating infinite numerical sequences involving reciprocal binomial coefficients is demonstrated.

Let $k\geq2$. Then the $k$-th order Fibonacci cube $Γ^{(k)}_{n}$ is the subgraph of the hypercube $Q_{n}$ induced by vertices without $k$ consecutive $1$s. The case $k=2$ corresponds to the classic Fibonacci cube $Γ_{n}$. There are three kinds of calculation formulas of the size of $Γ_{n}$: the iteration form $|E(Γ_{n})|=|E(Γ_{n-1})|+|E(Γ_{n-2})|+F_{n}$ (Hsu, 1993), %iteration form the convolution form $|E(Γ_{n})|=\mathop{\sum}\limits_{i=1}^{n}F_{i}F_{n-i+1}$ (Klavžar, 2005) %convolution form and the linear form $|E(Γ_{n})|=\frac{nF_{n+1}+2(n+1)F_{n}}{5}$ (Munarini et al., 2001). %linear form Belbachir and Ould-Mohamed (2020) studied the iteration and convolution formulas of the size of $Γ^{(3)}_{n}$. Very recently, Mollard (2025) deduced the iteration formula of the size of $Γ^{(k)}_{n}$ for $k\geq2$. In this paper, we give the the formulas of convolution and linear forms of $|E(Γ^{(k)}_{n})|$ for all $k\geq2$. Specifically, we obtain the formula of $|E(Γ^{(k)}_{n})|$ in terms of convolved $k$-th order Fibonacci numbers and the formula of $|E(Γ^{(k)}_{n})|$ of linear expression of $k$ consecutive $k$-th order Fibonacci numbers.

We study the combinatorial properties of final types, which are certain non-decreasing sequences of integers, together with the partitions naturally associated with them. As a consequence, we obtain an identity expressing the $n$-nacci numbers as sums of products of binomial coefficients over these partitions, generalizing the classical identity for $n = 2$ that expresses Fibonacci numbers in this way. We also examine how the partial order on the set of all partitions of a fixed integer induced by the ordering of final types compares with two natural partial orders on the same set.

Let $p$ be an odd prime and let $F_i$ be the $i$th $(a,b)$-Fibonacci number with initial values $F_0=a$ and $F_1=b$. For a simple connected graph $G=(V,E)$, define a bijective function $f:V(G)\to \{0,1,\ldots,|V|-1\}$. If the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^*(uv)=\frac{1+([F_{f(u)}+F_{f(v)}]/p)}{2}$ whenever $F_{f(u)}+F_{f(v)}\not\equiv 0\pmod{p}$ and $f_p^*(uv)=0$ whenever $F_{f(u)}+F_{f(v)}\equiv 0\pmod{p}$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges labeled $i$ ($i=0,1$), then $f$ is called $(a,b)$-Fibonacci-Legendre cordial labeling modulo $p$. In this paper, the $(a,b)$-Fibonacci-Legendre cordial labeling of path graphs, star graphs, wheel graphs, and graphs under the operations join, corona, lexicographic product, cartesian product, tensor product, and strong product is explored in relation to $k$-Pisano-Legendre primes relative to $(a,b)$. We also present some properties of $k$-Pisano-Legendre primes relative to $(a,b)$ and numerical observations on its distribution, leading to several conjectures concerning their density and growth behavior.