arXiv++ Combinatorics

For a nonnegative integer $p$, we give explicit formulas for the $p$-Frobenius number and the $p$-genus of generalized Fibonacci numerical semigroups. Here, the $p$-numerical semigroup $S_p$ is defined as the set of integers whose nonnegative integral linear combinations of given positive integers $a_1,a_2,\dots,a_k$ are expressed more than $p$ ways. When $p=0$, $S_0$ with the $0$-Frobenius number and the $0$-genus is the original numerical semigroup with the Frobenius number and the genus. In this paper, we consider the $p$-numerical semigroup involving Jacobsthal polynomials, which include Fibonacci numbers as special cases. We can also treat with the Jacobsthal-Lucas polynomials, including Lucas numbers accordingly. One of the applications on the $p$-Hilbert series is mentioned.

The Fibonacci numbers are the prototypical example of a recursive sequence, but grow too quickly to enumerate sets of integer partitions. The same is true for the other classical sequences $a(n)$ defined by Fibonacci-like recursions: the tribonacci, Padovan, Pell, Narayana's cows, and Lucas sequences. For each sequence $a(n)$, however, we can define a related sequence $\textrm{sa}(n)$ by defining $\textrm{sa}(n)$ to have the same recurrence and initial conditions as $a(n)$, except that $\textrm{sa}(2n)=\textrm{sa}(n)$. Growth is no longer a problem: for each $n$ we construct recursively a set $\mathcal{SA}(n)$ of partitions of $n$ such that the cardinality of $\mathcal{SA}(n)$ is $\textrm{sa}(n)$. We study the properties of partitions in $\mathcal{SA}(n)$ and in each case we give non-recursive descriptions. We find congruences for $\textrm{sa}(n)$ and also for $\textrm{psa}(n)$, the total number of parts in all partitions in $\mathcal{SA}(n)$.

We present three simple algorithms to uniformly generate `Fibonacci words' (i.e., some words that are enumerated by Fibonacci numbers), Schr{ö}der trees of size $n$ and Motzkin left factors of size $n$ and final height $h$. These algorithms have an average complexity of $O(n)$ in the unit-cost RAM model.

The aim of this paper is twofold. First, we study the number of partitions of a positive integer $m$ into at most $n$ parts in a given set $A$. We prove that such a number is bounded by the $n$-th Fibonacci number $F(n)$ for any $m$ and some family of sets $A$ including sets of powers of an integer. Then, in the second part of the paper, we provide new results in bounding the cohomology of the simple algebraic group $SL_2$ with coefficients in Weyl modules.

We expand on the remark by Andrews on the importance of infinite sums and products in combinatorics. Let $\{g_d(n)\}_{d\geq 0,n \geq 1}$ be the double sequences $σ_d(n)= \sum_{\ell \mid n} \ell^d$ or $ψ_d(n)= n^d$. We associate double sequences $\left\{ p^{g_{d} }\left( n\right) \right\}$ and $\left\{ q^{g_{d} }\left( n\right) \right\} $, defined as the coefficients of \begin{eqnarray*} \sum_{n=0}^{\infty} p^{g_{d} }\left( n\right) \, t^{n} & := & \prod_{n=1}^{\infty} \left( 1 - t^{n} \right)^{-\frac{ \sum_{\ell \mid n} μ(\ell) \, g_d(n/\ell) }{n} }, \\ \sum_{n=0}^{\infty} q^{g_{d} }\left( n\right) \, t^{n} & := & \frac{1}{1 - \sum_{n=1}^{\infty} g_d(n) \, t^{n} }. \end{eqnarray*} These coefficients are related to the number of partitions $\mathrm{p}\left( n\right) = p^{σ_{1 }}\left ( n\right) $, plane partitions $pp\left( n\right) = p^{σ_{2 }}\left( n\right) $ of $n$, and Fibonacci numbers $F_{2n} = q^{ψ_{1 }}\left( n\right) $. Let $n \geq 3$ and let $n \equiv 0 \pmod{3}$. Then the coefficients are log-concave at $n$ for almost all $d$ in the exponential and geometric cases. The coefficients are not log-concave for almost all $d$ in both cases, if $n \equiv 2 \pmod{3}$. Let $n\equiv 1 \pmod{3}$. Then the log-concave property flips for almost all $d$.

We extend Fibonacci numbers with arbitrary weights and generalize a dozen Fibonacci identities. As a special case, we propose an elliptic extension which extends the $q$-Fibonacci polynomials appearing in Schur's work. The proofs of most of the identities are combinatorial, extending the proofs given by Benjamin and Quinn, and in the $q$ case, by Garrett. Some identities are proved by telescoping.

A (general) polygonal line tiling is a graph formed by a string of cycles, each intersecting the previous at an edge, no three intersecting. In 2022, Matsushita proved the matching complex of a certain type of polygonal line tiling with even cycles is homotopy equivalent to a wedge of spheres. In this paper, we extend Matsushita's work to include a larger family of graphs and carry out a closer analysis of lines of triangle and pentagons, where the Fibonacci numbers arise.

Van der Waerden's theorem states that for any positive integers $k$ and $r$, there exists a smallest value $n = w(k,r)$, called the van der Waerden number, such that every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression. We consider two variants of van der Waerden numbers: the numbers $n = n(AP_D,k;r)$, the smallest value where every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression with common difference in $D$, and the numbers $n = Δ(D,k;r)$, the smallest value $n$ where every $r$-coloring of $\{1,\dots,n\}$ contains a sequence $x_1 < \dots < x_k$ where the differences between consecutive terms are members of $D$. We study the case when $D$ is set of Fibonacci numbers $F$ and give improved bounds for the largest $r$ where $n(AP_F,k;r)$ and $Δ(F,k;r)$ exist for all $k$. Moreover, we give some computational data on $Δ(D,k;r)$ for other sets $D$.

We define a length function for a perfect crystal. As an application, we derive a variant of the Rogers-Ramanujan identities which involves (a $q$-analog of) the Fibonacci numbers.

If your socks come out of the laundry all mixed up, how should you sort them? We introduce and study a novel foot-sorting algorithm that uses feet to attempt to sort a sock ordering; one can view this algorithm as an analogue of Knuth's stack-sorting algorithm for set partitions. The sock orderings that can be sorted using a fixed number of feet are characterized by Klazar's notion of set partition pattern containment. We give an enumeration involving Fibonacci numbers for the $1$-foot-sortable sock orderings within a naturally-arising class. We also prove that if you have socks of $n$ different colors, then you can always sort them using at most $\left\lceil\log_2(n)\right\rceil$ feet, and we use a Ramsey-theoretic argument to show that this bound is tight.

In this note, we present a simple summation formula for $k$-bonacci numbers. The derivation consists in obtaining the generating function of such numbers, and noting that its evaluation at a particular value yields a formula generalizing a known expression for Fibonacci numbers.

Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no possible moves remain, and the final player to perform a move wins. Notably, studied the setting of random games: the game proceeds by choosing an available move uniformly at random, and they conjecture that as the input $N \to \infty$, the distribution of random game lengths converges to a Gaussian. We prove that certain sums of move counts is constant, and find a lower bound on the number of shortest games on input $N$ involving the Catalan numbers. The works Baird et al. and Cuzensa et al. determined how to achieve a shortest and longest possible Zeckendorf game on a given input $N$, respectively: we establish that for any input $N$, the range of possible game lengths constitutes an interval of natural numbers: every game length between the shortest and longest game lengths can be achieved. We further the study of probabilistic aspects of random Zeckendorf games. We study two probability measures on the space of all Zeckendorf games on input $N$: the uniform measure, and the measure induced by choosing moves uniformly at random at any given position. Under both measures that in the limit $N \to \infty$, both players win with probability $1/2$. We also find natural partitions of the collection of all Zeckendorf games of a fixed input $N$, on which we observe weak convergence to a Gaussian in the limit $N \to \infty$. We conclude the work with many open problems.

Using elementary methods, we establish old and new relations between binomial coefficients, Fibonacci numbers, Lucas numbers, and more.

We study the extended Frobenius problem for sequences of the form $\{f_a+f_n\}_{n\in\mathbb{N}}$, where $\{f_n\}_{n\in\mathbb{N}}$ is the Fibonacci sequence and $f_a$ is a Fibonacci number. As a consequence, we show that the family of numerical semigroups associated to these sequences satisfies the Wilf's conjecture.

The difference between the two largest eigenvalues of the adjacency matrix of a graph $G$ is called the spectral gap of $G.$ If $G$ is a regular graph, then its spectral gap is equal to algebraic connectivity. Abdi, Ghorbani and Imrich, in [European J. Combin. 95 (2021) 103328], showed that the minimum algebraic connectivity of cubic connected graphs on $2n$ vertices is $(1+o(1))\frac{π^{2}}{2n^{2}}$, which is attained on non-bipartite graphs. Motivated by the above result, we in this paper investigate the algebraic connectivity of cubic bipartite graphs. We prove that the minimum algebraic connectivity of cubic bipartite graphs on $2n$ vertices is $(1+o(1))\frac{π^{2}}{n^{2}}$. Moreover, the unique cubic bipartite graph with minimum algebraic connectivity is completed characterized. Based on the relation between the algebraic connectivity and spectral gap of regular graphs, the cubic bipartite graph with minimum spectral gap and the corresponding asymptotic value are also presented. In [J. Graph Theory 99 (2022) 671--690], Horak and Kim established a sharp upper bound for the number of perfect matchings in terms of the Fibonacci number. We obtain a spectral characterization for the extremal graphs by showing that a cubic bipartite graph has the maximum number of perfect matchings if and only if it minimizes the algebraic connectivity.

For an arc on a bordered surface with marked points, we associate a holonomy matrix using a product of elements of the supergroup $\mathrm{OSp}(1|2)$, which defines a flat $\mathrm{OSp}(1|2)$-connection on the surface. We show that our matrix formulas of an arc yields its super $λ$-length in Penner-Zeitlin's decorated super Teichmüller space. This generalizes the matrix formulas of Fock-Goncharov and Musiker-Williams. We also prove that our matrix formulas agree with the combinatorial formulas given in the authors' previous works. As an application, we use our matrix formula in the case of an annulus to obtain new results on super Fibonacci numbers.

A Fishburn permutation is a permutation which avoids the bivincular pattern $(231, \{1\}, \{1\})$, while an ascent sequence is a sequence of nonnegative integers in which each entry is less than or equal to one more than the number of ascents to its left. Fishburn permutations and ascent sequences are linked by a bijection $g$ of Bousquet-Mélou, Claesson, Dukes, and Kitaev. We write $F_n(σ_1,\ldots,σ_k)$ to denote the set of Fishburn permutations of length $n$ which avoid each of $σ_1,\ldots,σ_k$ and we write $A_n(α_1,\ldots,α_k)$ to denote the set of ascent sequences which avoid each of $α_1,\ldots,α_k$. We settle a conjecture of Gil and Weiner by showing that $g$ restricts to a bijection between $F_n(3412)$ and $A_n(201)$. Building on work of Gil and Weiner, we use elementary techniques to enumerate $F_n(123)$ with respect to inversion number and number of left-to-right maxima, obtaining expressions in terms of $q$-binomial coefficients, and to enumerate $F_n(123,σ)$ for all $σ$. We use generating tree techniques to study the generating functions for $F_n(321, 1423)$, $F_n(321,3124)$, and $F_n(321,2143)$ with respect to inversion number and number of left-to-right maxima. We use these results to show $|F_n(321,1423)| = |F_n(321,3124)| = F_{n+2} - n - 1$, where $F_n$ is a Fibonacci number, and $|F_n(321,2143)| = 2^{n-1}$. We conclude with a variety of conjectures and open problems.

Except for Koshy who devotes seven pages to applications of Fibonacci Numbers to electric circuits, most books and the Fibonacci Quarterly have been relatively silent on applications of graphs and electric circuits to Fibonacci numbers. This paper continues a recent trend of papers studying the interplay of graphs, circuits, and Fibonacci numbers by presenting and studying the Circuit Array, an infinite 2-dimensional array whose entries are electric resistances labelling edge values of circuits associated with a family of graphs. The Circuit Array has several features distinguishing it from other more familiar arrays such as the Binomial Array and Wythoff Array. For example, it can be proven modulo a strongly supported conjecture that the numerators of its left-most diagonal do not satisfy any linear, homogeneous, recursion, with constant coefficients (LHRCC). However, we conjecture with supporting numerical evidence an asymptotic formula involving $π$ satisfied by the left-most diagonal of the Circuit Array.

We evaluate some types of infinite series with balancing and Lucas-balancing polynomials in closed form. These evaluations will lead to some new curious series for $π$ involving Fibonacci and Lucas numbers. Our findings complement those of Castellanos from 1986 and 1989.

The Fibonacci numbers satisfy the famous recurrence $F_n = F_{n - 1} + F_{n - 2}$. The theory of C-finite sequences ensures that the Fibonacci numbers whose indices are divisible by $m$, namely $F_{mn}$, satisfy a similar recurrence for every positive integer $m$, and these recurrences have an explicit, uniform representation. We will show that $a(mn)$ has a uniform recurrence over $m$ for any C-finite sequence $a(n)$ and use this to automatically derive some famous summation identities.