arXiv++ Combinatorics

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.

This paper analyzes the concept of orthogonality in second-order polynomial sequences that have Binet formula similar to that of the Fibonacci and Lucas numbers, referred to as Generalized Fibonacci Polynomials (GFP). We give a technique to find roots of the GFP. As a corollary of this result, we give an alternative proof of a special case of Favard's Theorem. The general case of Favard's Theorem guarantees that there is a measure to determine whether a sequence of second-order polynomials is orthogonal or not. However, the theorem does not provide an explicit such measure. Our special case gives both the explicit measure and the relationship between the second-order recurrence and orthogonality, demonstrating whether the GFP polynomials are orthogonal or not. This allows us to classify which of familiar GFPs are orthogonal and which are not. Some familiar orthogonal polynomials include the Fermat, Fermat-Lucas, both types of Chebyshev polynomials, both types of Morgan-Voyce polynomials, and Vieta and Vieta-Lucas polynomials. However, we prove that the Fibonacci, Lucas, Pell, and Pell-Lucas sequences are not orthogonal. In Section \ref{sectionrw}, we give a brief description of discrete--time and continuous--time Morkov chains with special emphasis on birth-and-death stochastic processes. We find sufficient conditions on the polynomial's coefficients under which a given family of orthogonal polynomial induces a Markov chain. These families of orthogonal polynomials include Chebyshev polynomials of first kind and Fermat-Lucas. In the final section, we highlight some connections between orthogonal polynomials and Markov processes. These relations are not new but seem to have been somewhat forgotten. We do so to draw the attention of researchers in the orthogonal polynomial and probability communities for further collaboration.

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.

The recurrence for the $k$-generalized Fibonacci polynomials is usually iterated upwards to positive values of $n$ only. When the recurrence is iterated downwards to $n<0$, there are indices where the polynomials vanish identically. This fact does not seem to have been noted in the literature. We derive the set of such indices. We present the left-justified generalized Pascal triangle for $n<0$. For $k\ge3$ and $n<0$, we show that the degree of the polynomial does not increase monotonically with $|n|$. We derive expressions for the individual polynomial coefficients (the elementary symmetric polynomials of the roots). We present results for the properties of the polynomials, for both $n>0$ and $n<0$, including factorization of the polynomials and properties of the roots (including bounds on the amplitudes of the nonzero roots). Results are also derived for real roots. (Separate treatments are required for $n>0$ and $n<0$.) We employ generating functions to derive new combinatorial sums for the polynomials. The sums are more concise and computationally more efficient than previously published expressions. We also exhibit the relation of the $k$-generalized Jacobsthal and Pell polynomials to the Fibonacci polynomials.

In this article, we introduce the simplicial $d$-polytopic numbers defined on generalized Fibonacci polynomials. We establish basic identities and find $q$-identities known. Furthermore, we find generating functions for the simplicial $d$-polytopic numbers and for the squares of the generalized triangular numbers. Finally, we compute sums of reciprocals of generalized Fibonacci polynomials and generalized triangular numbers. Here we introduce the Zeta function defined on generalized Fibonacci polynomials.

Ascent sequences play a key role in the combinatorics of Fishburn structures. Difference ascent sequences are a natural generalization obtained by replacing ascents with $d$-ascents. We have recently extended the so-called hat map to difference ascent sequences, and self-modified difference ascent sequences are the fixed points under this map. We characterize self-modified difference ascent sequences and enumerate them in terms of certain generalized Fibonacci polynomials. Furthermore, we describe the corresponding subset of $d$-Fishburn permutations.

The Fibonacci polynomials are defined recursively as $f_{n}(x)=xf_{n-1}(x)+f_{n-2}(x)$, where $f_0(x) = 0$ and $f_1(x)= 1$. We generalize these polynomials to an arbitrary number of variables with the $r$-Fibonacci polynomial. We extend several well-known results such as the explicit Binet formula and a Cassini-like identity, and use these to prove that the $r$-Fibonacci polynomials are irreducible over $\mathbb{C}$ for $n \geq r \geq 3$. Additionally, we derive an explicit sum formula and a generalized generating function. Using these results, we establish connections to ordinary Bell polynomials, exponential Bell polynomials, Fubini numbers, and integer and set partitions.

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.

The following work shows new connections between the constants $π$ and $e$ with Pascal's triangle and the Lucas triangle, established via Fibonacci polynomials and similar means. Furthermore, relations between the two famous constants and the rows of Pascal's triangle and the Lucas triangle are conjectured, together with some other important related identities.

In this paper, we study the existence of solutions of the functional difference equations with proportional delay on deformed generalized Fibonacci polynomials via successive approximation method and Bell polynomials. First, we introduce the deformed generalized Fibonacci polynomials and show that the $q$-numbers can be viewed as "bifurcation" of deformed $(s,t)$-numbers. These deformations are closely related to proportional delay. Second, a differential and integral calculus on deformed generalized Fibonacci polynomials is introduced. The main reason for introducing this calculation is to have a framework for solving proportional functional equations and thus obtain the Pell calculus, Jacobsthal calculus, Chebysheff calculus, and Mersenne calculus, among others. We study the convergence of $(s,t)$-exponential type series and its dependence on the deformation parameter. We define the deformed $(s,t)$-exponential functions and we give its analytic and algebraic properties. In addition, we study the $(1,u)$-deformed $(s,t)$-exponential function and use it to prove the existence of functional difference equations with proportional delay. The solution is not unique when it is related to $q$-periodic functions.

We consider a two-parameter family of triangles whose $(n,k)$-th entry (counting the initial entry as the $(0,0)$-th entry) is the number of tilings of $N$-boards (which are linear arrays of $N$ unit square cells for any nonnegative integer $N$) with unit squares and $(1,m-1;t)$-combs for some fixed $m=1,2,\dots$ and $t=2,3,\dots$ that use $n$ tiles in total of which $k$ are combs. A $(1,m-1;t)$-comb is a tile composed of $t$ unit square sub-tiles (referred to as teeth) placed so that each tooth is separated from the next by a gap of width $m-1$. We show that the entries in the triangle are coefficients of the product of two consecutive generalized Fibonacci polynomials each raised to some nonnegative integer power. We also present a bijection between the tiling of an $(n+(t-1)m)$-board with $k$ $(1,m-1;t)$-combs with the remaining cells filled with squares and the $k$-subsets of $\{1,\ldots,n\}$ such that no two elements of the subset differ by a multiple of $m$ up to $(t-1)m$. We can therefore give a combinatorial proof of how the number of such $k$-subsets is related to the coefficient of a polynomial. We also derive a recursion relation for the number of closed walks from a particular node on a class of directed pseudographs and apply it obtain an identity concerning the $m=2$, $t=5$ instance of the family of triangles. Further identities of the triangles are also established mostly via combinatorial proof.

In this manuscript, we introduce (symmetric) Tetranacci polynomials $ξ_j$ as a twofold generalization of ordinary Tetranacci numbers, by considering both non unity coefficients and generic initial values in their recursive definition. The issue of these polynomials arose in condensed matter physics and the diagonalization of symmetric Toeplitz matrices having in total four non-zero off diagonals. For the latter, the symmetric Tetranacci polynomials are the basic entities of the associated eigenvectors; thus, treating the recursive structure determines the eigenvalues as well. Subsequently, we present a complete closed form expression for any symmetric Tetranacci polynomial. The key feature is a decomposition in terms of generalized Fibonacci polynomials.

We consider two families of Pascal-like triangles that have all ones on the left side and ones separated by $m-1$ zeros on the right side. The $m=1$ cases are Pascal's triangle and the two families also coincide when $m=2$. Members of the first family obey Pascal's recurrence everywhere inside the triangle. We show that the $m$-th triangle can also be obtained by reversing the elements up to and including the main diagonal in each row of the $(1/(1-x^m),x/(1-x))$ Riordan array. Properties of this family of triangles can be obtained quickly as a result. The $(n,k)$-th entry in the $m$-th member of the second family of triangles is the number of tilings of an $(n+k)\times1$ board that use $k$ $(1,m-1)$-fences and $n-k$ unit squares. A $(1,g)$-fence is composed of two unit square sub-tiles separated by a gap of width $g$. We show that the entries in the antidiagonals of these triangles are coefficients of products of powers of two consecutive Fibonacci polynomials and give a bijective proof that these coefficients give the number of $k$-subsets of $\{1,2,\ldots,n-m\}$ such that no two elements of a subset differ by $m$. Other properties of the second family of triangles are also obtained via a combinatorial approach. Finally, we give necessary and sufficient conditions for any Pascal-like triangle (or its row-reversed version) derived from tiling $(n\times1)$-boards to be a Riordan array.

A canonical Huffman sequence is characterized by a zero inner-product between itself and each of its shifted copies, except at their largest relative shifts: their aperiodic auto-correlation then becomes delta-like, a single central peak surrounded by zeros, with one non-zero entry at each end. Prior work showed that the few known families of Huffman sequences (of length $N = 4n-1$, for integers $n > 1$, with continuously scalable elements) are based upon Fibonacci polynomials. Related multi-dimensional ($nD$) Huffman arrays were designed, as well as non-canonical quasi-Huffman arrays that also possess delta-like auto-correlations. We examined links between these discrete sequences and delta-correlated functions defined on the continuum, and provided simple non-iterative approaches to successfully deconvolve $nD$ data blurred by diffuse Huffman arrays. Here we describe new constructions for canonical Huffman sequences. Examples of length $N = 4n+1$, $N = 2n$ and families of arbitrary length are given, including scaled forms, as well as for Fibonacci-based arrays with perfect periodic auto-correlations, that are zero for all non-zero cyclic shifts. A generalization to include canonical sequences with complex scale factors invokes an equally useful dual form of delta-correlation. We also present $1D$ arrays with a much smaller dynamic range than those where the elements are built using Fibonacci recursion. When Huffman arrays (that are comprised of inherently signed values) are employed as diffuse probe beams for image acquisition, a new two-mask de-correlating step is described here that significantly reduces the total incident radiation dose compared to a prior method that added a positive pedestal-offset.

The main object of the paper is to reveal connections between Chebyshev polynomials of the first and second kinds and Fibonacci polynomials introduced by Catalan. This is achieved by relating the respective (ordinary and exponential) generating functions to each other. As a consequence, we also establish new combinatorial identities for balancing polynomials and Fibonacci (Lucas) numbers.

We study two types of dynamical extensions of Lucas sequences and give elliptic solutions for them. The first type concerns a level-dependent (or discrete time-dependent) version involving commuting variables. We show that a nice solution for this system is given by elliptic numbers. The second type involves a non-commutative version of Lucas sequences which defines the non-commutative (or abstract) Fibonacci polynomials introduced by Johann Cigler. If the non-commuting variables are specialized to be elliptic-commuting variables the abstract Fibonacci polynomials become non-commutative elliptic Fibonacci polynomials. Some properties we derive for these include their explicit expansion in terms of normalized monomials and a non-commutative elliptic Euler--Cassini identity.

We consider various properties and manifestations of some sign-alternating univariate polynomials borne of right-triangular integer arrays related to certain generalizations of the Fibonacci sequence. Using a theory of the root geometry of polynomial sequences developed by J. L. Gross, T. Mansour, T. W. Tucker, and D. G. L. Wang, we show that the roots of these `sign-alternating Gibonacci polynomials' are real and distinct, and we obtain explicit bounds on these roots. We also derive Binet-type closed expressions for the polynomials. Some of these results are applied to resolve finiteness questions pertaining to a one-player combinatorial game (or puzzle) modelled after a well-known puzzle we call the `Networked-numbers Game.' Elsewhere, the first- and second-named authors, in collaboration with A. Nance, have found rank symmetric `diamond-colored' distributive lattices naturally related to certain representations of the special linear Lie algebras. Those lattice cardinalities can be computed using sign-alternating Fibonacci polynomials, and the lattice rank generating functions correspond to the rows of some new and easily defined triangular integer arrays. Here, we present Gibonaccian, and in particular Lucasian, versions of those symmetric Fibonaccian lattices/results, but without the algebraic context of the latter.

The Fibonacci polynomials $\big\{F_n(x)\big\}_{n\ge 0}$ have been studied in multiple ways. In this paper we study them by means of the theory of Heaps of Viennot. In this setting our polynomials form a basis $\big\{P_n(x)\big\}_{n\ge 0}$ with $P_n(x)$ monic of degree $n$. This given, we are forced to set $P_n(x)=F_{n+1}(x)$. The Heaps setting extends the Flajolet view of the classical theory of orthogonal polynomials given by a three term recursion. Thus with Heaps most of the identities for our $P_n(x)'s$ can be derived by combinatorial arguments. Using the present setting we derive a variety of new identities. We must mention that the theory of Heaps is presented here without restrictions. This is much more than needed to deal with the Fibonacci polynomials. We do this to convey a flavor of the power of Heaps. In the lecture notes there is a chapter dedicated to Heaps where most of its contents are dedicated to applications of the theory.

The notion of containment and avoidance provides a natural partial ordering on set partitions. Work of Sagan and of Goyt has led to enumerative results in avoidance classes of set partitions, which were refined by Dahlberg et al. through the use of combinatorial statistics. We continue this work by computing the distribution of the dimension index (a statistic arising from the supercharacter theory of finite groups) across certain avoidance classes of partitions. In doing so we obtain a novel connection between noncrossing partitions and 321-avoiding permutations, as well as connections to many other combinatorial objects such as Motzkin and Fibonacci polynomials.

In this paper we study the adjacency spectrum of families of finite rooted trees with regular branching properties. In particular, we show that in the case of constant branching, the eigenvalues are realized as the roots of a family of generalized Fibonacci polynomials and produce a limiting distribution for the eigenvalues as the tree depth goes to infinity. We indicate how these results can be extended to periodic branching patterns and also provide a generalization to higher order simplicial complexes.