arXiv++ Combinatorics

In this paper, we present a constructive bijection between a conditioned spanning forest of the wheel graph $W_{n+1}$ and a spanning tree of the fan graph $F_n$. In addition, by applying the effective resistance formula obtained by Bapat and Gupta \cite{bapat-gupta}, we derive an explicit formula for the number of two-component spanning forests of $W_{n+1}$ in which two specified vertices $u$ and $v$ lie in distinct components. Based on this result, we obtain explicit formulas for the following three conditioned two-component spanning forests $F_{W_{n+1}}(v_1\mid v_2)$, $F_{W_{n+1}}(v_1\mid v_3)$, and $F_{W_{n+1}}(v_1\mid v_c)$. These formulas are $F_{W_{n+1}}(v_1\mid v_2)=2(f_{2n-1}-1)$, $F_{W_{n+1}}(v_1\mid v_3)=2(\ell_{2n-2}-3)$, $F_{W_{n+1}}(v_1\mid v_c)=f_{2n}$, where $f_i$ and $\ell_j$ denote the $i$-th Fibonacci number and $j$-th Lucas number, respectively. As these identities show, the enumerations naturally lead to formulas involving Fibonacci numbers and Lucas numbers. Taken together, these two approaches show a unified perspective. One is the constructive combinatorial bijection, and the other is the analytic method based on effective resistance. Together they provide a new integrated framework for studying the structure of spanning forests on $W_{n+1}$.

The equation commonly known as Sury's identity is a deceptively simple summation formula that connects the Lucas numbers, Fibonacci numbers, and powers of two. Many authors have given extensions and generalizations over the years; in this paper, we take a different approach that allows us to produce a good number of new summation formulas, all from elementary (but non-trivial) methods.

We introduce and study a new restricted family of overpartitions, called block-separated overpartitions, in which no two consecutive distinct part-size blocks may both be overlined. Using a two-state transfer-matrix automaton, we derive a closed matrix-product expression for the ordinary generating function, establish an Euler-type factorization, and obtain an explicit normalized recurrence suitable for computation of arbitrary coefficients. We further prove that the possible overlining patterns on the distinct blocks are counted by Fibonacci numbers, giving natural bijections with independent sets on paths, pattern-avoiding binary words, and Fibonacci tilings.

In this paper, we continue our investigation of double sums where the inner sum is binomial but incomplete. We prove many new results for these types of double sums associated with binomial transform pairs. As applications we deduce new identities for double sums involving special numbers like Bernoulli numbers, Fibonacci numbers, harmonic numbers, Catalan numbers and Stirling numbers of the second kind. We also consider families of polynomials like Fibonacci polynomials, Chebyshev polynomials, Bernoulli polynomials, and others. Finally, we state new double sums involving hyperbolic functions.

In this paper, we find an elementary approach for double sums where the inner sum is binomial but incomplete. We apply our core identity and its relatives to double sums involving famous numbers such as harmonic numbers, Fibonacci numbers, Stirling numbers and $r$-Stirling numbers of the second kind.

In 2023, Gullerud, Johnson, and Mbirika presented results on their study of certain tridiagonal real symmetric matrices. As part of their work, they studied the roots to nonhomogeneous equations related to characteristic polynomials of adjacency matrices for path graphs. They showed that a subset of these polynomials give a Fibonacci number when evaluated at the imaginary unit, leading them to make several intriguing conjectures. In this work, we further explore their conjectures regarding the distribution of roots. We make partial progress towards establishing two conjectures, identify an infinite class of polynomials for which a third is false, and give evidence against a fourth.

We consider modified Laplacian matrices of graphs, obtained by adding the identity matrix to the Laplacian matrix $L_G$ of a graph $G$. This results in a positive definite matrix $\tilde{L}_G$. The inverse of $\tilde{L}_G$ is a doubly stochastic matrix. The goal of this paper is to investigate this inverse matrix and how it depends on properties of the underlying graph $G$. In particular, we introduce a general monotonicity property for the entries of the inverse, and derive a sharper version for the case of path graphs. Finally, we show that, in the case of a path graph, the entries of the inverse can be expressed in terms of Fibonacci numbers via an $LU$ factorization. We also establish a lower bound for the diagonal entries of this inverse for a tree as a function of the distances between vertices. Furthermore, we present a simple and efficient algorithm for computing the inverse when the graph is a tree. Moreover, for a general graph, we show that the diagonal entries of this inverse is strictly largest in each row and column. Finally, we discuss a connection to partial differential equations, such as the heat equation.

A \emph{Fibonacci cordial labeling} of a graph \( G \) is an injective function \( f: V(G) \rightarrow \{F_0, F_1, \dots, F_n\} \), where \( F_i \) denotes the \( i^{\text{th}} \) Fibonacci number, such that the induced edge labeling \( f^*: E(G) \rightarrow \{0,1\} \), given by \( f^*(uv) = (f(u) + f(v)) \) $(\bmod\ 2)$, satisfies the balance condition \( |e_f(0) - e_f(1)| \le 1 \). Here, \( e_f(0) \) and \( e_f(1) \) represent the number of edges labeled 0 and 1, respectively. A graph that admits such a labeling is termed a \emph{Fibonacci cordial graph}. In this paper, we investigate the existence and construction of Fibonacci cordial labelings for several families of graphs, including \emph{Generalized Petersen graphs}, \emph{open and closed helm graphs}, \emph{joint sum graphs}, and \emph{circulant graphs of small order}. New results and examples are presented, contributing to the growing body of knowledge on graph labelings inspired by numerical sequences.

This paper investigates the natural density and structural relationships within Fibonacci words, the density of a Fibonacci word is $\operatorname{DF}(F_k)=n/(n+m),$ where $m$ denote the number of zeros in a Fibonacci word and $n$ denote the units digit. Through analysis of these ratios and their convergence to powers of $\varphi$, we illustrate the intrinsic exponential growth rates characteristic of Fibonacci words. By considering the natural density concept for sets of positive integers, it is demonstrated that the density of Fibonacci words approaches unity, correlating with classical results on Fibonacci number distributions as \[ \operatorname{DF}(F_k) <\frac{m(m+1)}{n(2m-n+1)}. \] Furthermore, generating functions and combinatorial formulas for general terms of Fibonacci words are derived, linking polynomial expressions and limit behaviors integral to their combinatorial structure. The study is supplemented by numerical data and graphical visualization, confirming theoretical findings and providing insights into the early transient and asymptotic behavior of Fibonacci word densities.

We introduce and analyze the ordered Zeckendorf game, a novel combinatorial two-player game inspired by Zeckendorf's Theorem, which guarantees a unique decomposition of every positive integer as a sum of non-consecutive Fibonacci numbers. Building on the original Zeckendorf game\ -- previously studied in the context of unordered multisets\ -- we impose a new constraint: all moves must respect the order of summands. The result is a richer and more nuanced strategic landscape that significantly alters game dynamics. Unlike the classical version, where Player 2 has a dominant strategy for all $n > 2$, our ordered variant reveals a more balanced and unpredictable structure. In particular, we find that Player 1 wins for nearly all values $n \leq 25$, with a single exception at $n = 18$. This shift in strategic outcomes is driven by our game's key features: adjacency constraints that limit allowable merges and splits to neighboring terms, and the introduction of a switching move that reorders pairs. We prove that the game always terminates in the Zeckendorf decomposition\ -- now in ascending order\ -- by constructing a strictly decreasing monovariant. We further establish bounds on game complexity: the shortest possible game has length exactly $n - Z(n)$, where $Z(n)$ is the number of summands in the Zeckendorf decomposition of $n$, while the longest game exhibits quadratic growth, with $M(n) \sim \frac{n^2}{2}$ as $n \to \infty$. Empirical simulations suggest that random game trajectories exhibit log-normal convergence in their move distributions. Overall, the ordered Zeckendorf game enriches the landscape of number-theoretic games, posing new algorithmic challenges and offering fertile ground for future exploration into strategic complexity, probabilistic behavior, and generalizations to other recurrence relations.

We introduce a two-parameter deformation of the classical Poisson distribution from the viewpoint of noncommutative probability theory, by defining a $(q,t)$-Poisson type operator (random variable) on the $(q,t)$-Fock space \cite{Bl12} (See also \cite{BY06, AY20}). From the analogous viewpoint of the classical Poisson limit theorem in probability theory, we are naturally led to a family of orthogonal polynomials, which we call the $(q,t)$-Charlier polynomials. These generalize the $q$-Charlier polynomials of Saitoh-Yoshida \cite{SY00a, SY00b} and reflect deeper combinatorial symmetries through the additional deformation parameter $t$. A central feature of this paper is the derivation of a combinatorial moment formula of the $(q,t)$-Poisson type operator and the $(q,t)$-Poisson distribution. This is accomplished by means of a card arrangement technique, which encodes set partitions together with crossing and nesting statistics. The resulting expression naturally exhibits a duality between these statistics, arising from a structure rooted in generalized Fibonacci numbers. Our approach provides a concrete framework where methods in combinatorics and theory of orthogonal polynomials are used to investigate the probabilistic properties arising from the $(q,t)$-deformation.

In this paper, we show that the classical Cassini and Catalan identities for Fibonacci numbers arise naturally from a single quadratic theta-function identity of Ramanujan. Expanding the identity $ψ(q)ψ(q^{3})=ψ(q^{4})\varphi(q^{6})+q\,\varphi(q^{2})ψ(q^{12})$ via the Jacobi triple product and equating coefficients yields the unified $q$-determinant $F_{n+r}(q)F_{n-r}(q)-F_{n}(q)^{2}=(-q)^{\,n-r}F_{r}(q)^{2}$, $n\ge r\ge 1$, where $ψ(q)$ and $\varphi(q)$ are Ramanujan's theta functions with $q$ a complex parameter in the unit disc $(\lvert q \rvert < 1)$ and $F_n(q)$ denotes the Carlitz $q$-Fibonacci polynomials. The radial limit $q\to1^{-}$ recovers Cassini's formula ($r=1$) and Catalan's one-parameter extension, while the same derivation with an auxiliary weight produces new partition-refined versions. The argument uses only standard $q$-series algebra (triple-product expansions, $q$-Pochhammer cancellations, and coefficient extraction), providing a transparent modular explanation of the alternating sign $(-1)^{\,n-r}$ in Catalan's identity through the level-6 provenance of $\varphi$ and $ψ$. Beyond unifying Cassini\textendash Catalan in a single framework, the method lifts seamlessly to higher-order recurrences, giving a template for Tribonacci-type determinants and suggesting congruence phenomena obtained from modular dissections and root-of-unity limits. The results place familiar Fibonacci determinants within Ramanujan's analytic landscape, indicate routes to combinatorial bijections that mirror the analytic cancellations, and connect with themes in modern $q$-series\textemdash ranging from colored partition identities to quantum-modular and exactly solvable models\textemdash thereby highlighting both the explanatory power and the ongoing relevance of Ramanujan's theta identities.

Given any two sequences of complex numbers, we establish simple relations between their binomial convolution and the binomial convolution of their individual binomial transforms. We employ these relations to derive new identities involving Fibonacci numbers, Bernoulli numbers, Catalan numbers, harmonic numbers, odd harmonic numbers, Stirling numbers of the second kind, and binomial coefficients. In addition, we present several results which allow the construction of new binomial-transform pairs from existing ones. Many new relations concerning self-inverse sequences are also derived.

In this paper, we consider several combinatorial problems whose enumeration leads to the odd-indexed Fibonacci numbers, including certain types of Dyck paths, block fountains, directed column-convex polyominoes, and set partitions with no crossings and no nestings. Our goal is to provide bijective maps to pattern-avoiding permutations and derive generating functions that track certain positional statistics at the permutation level.

In this paper, we define the notion of descent for the paths in the $p$-Bratteli diagram. This leads to the definition of $p^{k}$-Eulerian polynomials, whose coefficients count the number of paths with a given number of descents. We provide a method for constructing the $p^{k}$-Eulerian polynomials at each vertex. Furthermore, we compute the total number of descents of all paths ending at a given vertex as the corresponding $p^{k}$-Fibonacci numbers. We show that the derivative of the $p^{k}$-Eulerian polynomial evaluated at 1 for a fixed vertex equals the corresponding $p^{k}$-Fibonacci number. Finally, we discuss the generating function for the sequence of $p^{k}$-Fibonacci numbers and the recurrence relations they satisfy.

We show that for infinitely many odd integers $n$, the sum of the first $n$ nonzero Fibonacci numbers is divisible by $n$. This resolves a conjecture of Fatehizadeh and Yaqubi.

In this paper we introduce a family of partitions of the set of natural numbers, Fibonacci-like partitions. In particular, we introduce a Fibonacci-like partition in a number of parts corresponding to the Fibonacci numbers, the standard Fibonacci-like partitions of the first kind. That partition refines the well-known partition in two parts associated to the Wythoff sequences. In a similar way, we introduce another family of Fibonacci-like partitions of the natural numbers, with an initial segment removed, in a number of parts which also follows the Fibonacci sequence, the standard Fibonacci-like partitions of the second kind. We study some piecewise-defined permutations over Fibonacci-like partitions, which give both torsion-free and torsion elements in the symmetric group over the set of natural numbers. We give an application of Fibonacci-like partitions to the study of a sequence analyzed by A. Shapovalov and by B.J. Venkatachala. We give also a generalization of the mentioned sequence, involving techniques that are not related to Fibbonaci numbers nor Beatty sequences, obtaining an infinite family of sequences that we conjecture that produce an infinite orthogonal array in which the number of symbols, trials and factors is countable infinite, and having an automorphism group isomorphic to Z acting regularly on the symbol set.

We make an asymptotic analysis via singularity analysis of generating functions of a number sequence that involves the Fibonacci numbers and generalizes the binomial coefficients.

The sequence of partial sums of Fibonacci numbers, beginning with $2$, $4$, $7$, $12$, $20$, $33,\dots$, has several combinatorial interpretations (OEIS A000071). For instance, the $n$-th term in this sequence is the number of length-$n$ binary words that avoid $110$. This paper proves a related but new interpretation: given a length-$3$ binary word -- called the keyword -- we say two length-$n$ binary words are equivalent if one can be obtained from the other by some sequence of substitutions: each substitution replaces an instance of the keyword with its negation, or vice versa. We prove that the number of induced equivalence classes is again the $n$-th term in the aforementioned sequence. When the keyword has length $m+1$ (instead of $3$), the same result holds with $m$-step Fibonacci numbers. What makes this result surprising -- and distinct from the previous interpretation -- is that it does not depend on the keyword, despite the fact that the sizes of the equivalence classes do. On this final point, we prove several results on the structure of equivalence classes, and also pose a variety of open problems.

In this paper, we provide an exact formula for the average hitting times in a wheel graph $W_{N+1}$ using a combinatorial approach. For this wheel graph, the average hitting times can be expressed using Fibonacci numbers when the number of surrounding vertices is odd and Lucas numbers when it is even. Furthermore, combining the exact formula for the average hitting times with the general formula for the effective resistance of the graph allows determination of the number of spanning trees of the graph with two identified vertices.