arXiv++ Combinatorics

We study the properties of the base-$b$ binomial coefficient defined by Jiu and the second author, introduced in the context of a digital binomial theorem. After introducing a general summation formula, we derive base-$b$ analogues of the Stirling numbers of the second kind, the Fibonacci numbers and the classical exponential function.

Zeckendorf's theorem states that any positive integer can be written uniquely as a sum of non-adjacent Fibonacci numbers; this result has been generalized to many recurrence relations, especially those arising from linear recurrences with leading term positive. We investigate legal decompositions arising from two new sequences: the $(s,b)$-Generacci sequence and the Fibonacci Quilt sequence. Both satisfy recurrence relations with leading term zero, and thus previous results and techniques do not apply. These sequences exhibit drastically different behavior. We show that the $(s,b)$-Generacci sequence leads to unique legal decompositions, whereas not only do we have non-unique legal decompositions with the Fibonacci Quilt sequence, we also have that in this case the average number of legal decompositions grows exponentially. Another interesting difference is that while in the $(s,b)$-Generacci case the greedy algorithm always leads to a legal decomposition, in the Fibonacci Quilt setting the greedy algorithm leads to a legal decomposition (approximately) 93\% of the time. In the $(s,b)$-Generacci case, we again have Gaussian behavior in the number of summands as well as for the Fibonacci Quilt sequence when we restrict to decompositions resulting from a modified greedy algorithm.

Zeckendorf's theorem states every positive integer has a unique decomposition as a sum of non-adjacent Fibonacci numbers. This result has been generalized to many sequences $\{a_n\}$ arising from an integer positive linear recurrence, each of which has a corresponding notion of a legal decomposition. Previous work proved the number of summands in decompositions of $m \in [a_n, a_{n+1})$ becomes normally distributed as $n\to\infty$, and the individual gap measures associated to each $m$ converge to geometric random variables, when the leading coefficient in the recurrence is positive. We explore what happens when this assumption is removed in two special sequences. In one we regain all previous results, including unique decomposition; in the other the number of legal decompositions exponentially grows and the natural choice for the legal decomposition (the greedy algorithm) only works approximately 92.6\% of the time (though a slight modification always works). We find a connection between the two sequences, which explains why the distribution of the number of summands and gaps between summands behave the same in the two examples. In the course of our investigations we found a new perspective on dealing with roots of polynomials associated to the characteristic polynomials. This allows us to remove the need for the detailed technical analysis of their properties which greatly complicated the proofs of many earlier results in the subject, as well as handle new cases beyond the reach of existing techniques.

We define a family of generalizations of $\operatorname{SL}_2$-tilings to higher dimensions called $\boldsymbolε$-$\operatorname{SL}_2$-tilings. We show that, in each dimension 3 or greater, $\boldsymbolε$-$\operatorname{SL}_2$-tilings exist only for certain choices of $\boldsymbolε$. In the case that they exist, we show that they are essentially unique and have a concrete description in terms of odd Fibonacci numbers.

For integers $k \geq 2$ and $n \neq 0$, let $v_k(n)$ denotes the greatest nonnegative integer $e$ such that $k^e$ divides $n$. Moreover, let $u_n$ be a nondegenerate Lucas sequence satisfying $u_0 = 0$, $u_1 = 1$, and $u_{n + 2} = a u_{n + 1} + b u_n$, for some integers $a$ and $b$. Shu and Yao showed that for any prime number $p$ the sequence $v_p(u_{n + 1})$ is $p$-regular, while Medina and Rowland found the rank of $v_p(F_{n + 1})$, where $F_n$ is the $n$-th Fibonacci number. We prove that if $k$ and $b$ are relatively prime then $v_k(u_{n + 1})$ is a $k$-regular sequence, and for $k$ a prime number we also determine its rank. Furthermore, as an intermediate result, we give explicit formulas for $v_k(u_n)$, generalizing a previous theorem of Sanna concerning $p$-adic valuations of Lucas sequences.

Two matrices are said non-overlapping if one of them can not be put on the other one in a way such that the corresponding entries coincide. We provide a set of non-overlapping binary matrices and a formula to enumerate it which involves the $k$-generalized Fibonacci numbers. Moreover, the generating function for the enumerating sequence is easily seen to be rational.

A special case of an elegant result due to Anderson proves that the number of $(s,s+1)$-core partitions is finite and is given by the Catalan number $C_s$. Amdeberhan recently conjectured that the number of $(s,s+1)$-core partitions into distinct parts equals the Fibonacci number $F_{s+1}$. We prove this conjecture by enumerating, more generally, $(s,ds-1)$-core partitions into distinct parts. We do this by relating them to certain tuples of nested twin-free sets. As a by-product of our results, we obtain a bijection between partitions into distinct parts and partitions into odd parts, which preserves the perimeter (that is, the largest part plus the number of parts minus $1$). This simple but curious analog of Euler's theorem appears to be missing from the literature on partitions.

We study determinants of matrices whose entries are powers of Fibonacci numbers. We then extend the results to include entries that are powers of generalized Fibonacci numbers defined as a second-order linear recurrence relation. These studies have led us to discover a fundamental identity of determinant involving powers of linear polynomials. Finally, we discuss the determinants of matrices whose entries are products of the generalized Fibonacci numbers.

Our studies are related to a special class of FASS-curves, which can be described in a node-rewriting Lindenmayer-system. These ortho-tile (or diagonal) type recursive curves inducing Hamiltonian paths. We define a special directed graph on a rectangular grid, and we enumerate all Hamiltonian paths on this graph. Our formulas are strongly related to both the Fibonacci numbers and the domino tilings of chessboards. The constructability of the regular $17$-gon with straightedge and compass is also related.

Threshold graphs are a prevalent and widely studied class of simple graphs. They have several equivalent definitions which makes them a go-to class for finding examples and counter examples when testing and learning. This versatility has led to many results about threshold graphs and similar structures. We look to generalize this class of graphs to oriented graphs (directed simple graphs.) We give generalizations to four of the most versatile definitions and show their equivalence in the oriented case. We finish with a proof enumerating the number of these oriented threshold graphs which relates to the Fibonacci numbers.

We introduce a class of normal play partizan games, called Complementary Subtraction. Let $A$ denote your favorite set of positive integers. This is Left's subtraction set, whereas Right subtracts numbers not in $A$. The Golden Nugget Subtraction Game has the $A$ and $B$ sequences, from Wythoff's game, as the two complementary subtraction sets. As a function of the heap size, the maximum size of the canonical forms grows quickly. However, the value of the heap is either a number or, in reduced canonical form, a switch. We find the switches by using properties of the Fibonacci word and standard Fibonacci representations of integers. Moreover, these switches are invariant under shifts by certain Fibonacci numbers. The values that are numbers, however, are distinct, and we find a polynomial time bit characterization for them, via the ternary Fibonacci representation.

Permutations that avoid given patterns have been studied in great depth for their connections to other fields of mathematics, computer science, and biology. From a combinatorial perspective, permutation patterns have served as a unifying interpretation that relates a vast array of combinatorial structures. In this paper, we introduce the notion of patterns in inversion sequences. A sequence $(e_1,e_2,\ldots,e_n)$ is an inversion sequence if $0 \leq e_i<i$ for all $i \in [n]$. Inversion sequences of length $n$ are in bijection with permutations of length $n$; an inversion sequence can be obtained from any permutation $π=π_1π_2\ldots π_n$ by setting $e_i = |\{j \ | \ j < i \ {\rm and} \ π_j > π_i \}|$. This correspondence makes it a natural extension to study patterns in inversion sequences much in the same way that patterns have been studied in permutations. This paper, the first of two on patterns in inversion sequences, focuses on the enumeration of inversion sequences that avoid words of length three. Our results connect patterns in inversion sequences to a number of well-known numerical sequences including Fibonacci numbers, Bell numbers, Schröder numbers, and Euler up/down numbers.

Consider the Fibonacci numbers defined by setting $F_1=1=F_2$ and $F_n =F_{n-1}+F_{n-2}$ for $n \geq 3$. We let $n_F! = F_1 \cdots F_n$ and $\binom{n}{k}_F = \frac{n_F!}{k_F!(n-k)_F!}$. Let $(x)_{\downarrow_0} = (x)_{\uparrow_0} = 1$ and for $k \geq 1$, $(x)_{\downarrow_k} = x(x-1) \cdots (x-k+1)$ and $(x)_{\uparrow_k} = x(x+1) \cdots (x+k-1)$. Then the Stirling numbers of the first and second kind are the connections coefficients between the usual power basis $\{x^n:n \geq 0\}$ and the falling factorial basis $\{(x)_{\downarrow_n}:n \geq 0\}$ in the polynomial ring $\mathbb{Q}[x]$ and the Lah numbers are the connections coefficients between the rising factorial basis $\{(x)_{\uparrow_n}:n \geq 0\}$ and the falling factorial basis $\{(x)_{\downarrow_n}:n \geq 0\}$ in the polynomial ring $\mathbb{Q}[x]$. The goal of this paper is to find Fibonacci analogues for the Stirling numbers of the first and second kind and the Lah numbers. Our idea is to replace the falling factorial basis and the rising factorial basis by the Fibo-falling factorial basis $\{(x)_{\downarrow_{F,n}}:n \geq 0\}$ and the Fibo-rising factorial basis $\{(x)_{\uparrow_{F,n}}:n \geq 0\}$ where $(x)_{\downarrow_{F,0}} = (x)_{\uparrow_{F,0}} = 1$ and for $k \geq 1$, $(x)_{\downarrow_{F,k}} = x(x-F_1) \cdots (x-F_{k-1})$ and $(x)_{\uparrow_{F,k}} = x(x+F_1) \cdots (x+F_{k-1})$. Then we study the combinatorics of the connection coefficients betweenthe usual power basis, the Fibo-falling factorial basis, and the Fibo-rising factorial basis. In each case, we can give a rook theory model for the connections coefficients and show how this rook theory model can give combinatorial explanations for many of the properties of these coefficients.

Fibonacci nim is a popular impartial combinatorial game, usually played with a single pile of stones. The game is appealing due to its surprising connections with the Fibonacci numbers and the Zeckendorf representation. In this article, we investigate some properties of a variant played with multiple piles of stones, and solve the 2-pile case. A player chooses one of the piles and plays as in Fibonacci nim, but here the move-size restriction is a global parameter, valid for any pile.

The aim of this note is to survey the factorizations of the Fibonacci infinite word that make use of the Fibonacci words and other related words, and to show that all these factorizations can be easily derived in sequence starting from elementary properties of the Fibonacci numbers.

Phylogenetic trees are used to model evolution: leaves are labelled to represent contemporary species ("taxa") and interior vertices represent extinct ancestors. Informally, convex characters are measurements on the contemporary species in which the subset of species (both contemporary and extinct) that share a given state, form a connected subtree. Given an unrooted, binary phylogenetic tree T on a set of n >= 2 taxa, a closed (but fairly opaque) expression for the number of convex characters on T has been known since 1992, and this is independent of the exact topology of T. In this note we prove that this number is actually equal to the (2n-1)th Fibonacci number. Next, we define g_k(T) to be the number of convex characters on T in which each state appears on at least k taxa. We show that, somewhat curiously, g_2(T) is also independent of the topology of T, and is equal to to the (n-1)th Fibonacci number. As we demonstrate, this topological neutrality subsequently breaks down for k >= 3. However, we show that for each fixed k >= 1, g_k(T) can be computed in O(n) time and the set of characters thus counted can be efficiently listed and sampled. We use these insights to give a simple but effective exact algorithm for the NP-hard maximum parsimony distance problem that runs in time $Θ( φ^{n} \cdot n^2 )$, where $φ\approx 1.618...$ is the golden ratio, and an exact algorithm which computes the tree bisection and reconnection distance (equivalently, a maximum agreement forest) in time $Θ( φ^{2n}\cdot \text{poly}(n))$, where $φ^2 \approx 2.619$.

In this paper we present a family of identities for recursive sequences arising from a second order recurrence relation, that gives instances of Zeckendorf representation. We prove these results using a special case of an universal property of the recursive sequences. In particular cases we also establish a direct bijection. Besides, we prove further equalities that provide a representation of the sum of $(r+1)$-st and $(r-1)$-st Fibonacci number as the sum of powers of the golden ratio. Similarly, we show a class of natural numbers represented as the sum of powers of the silver ratio.

The generating function for the sequence A166861 in the OEIS (Euler transform of Fibonacci numbers) is Product_{k>0} 1/(1-x^k)^F(k), where F(k) are the Fibonacci numbers. This paper analyzes the more general generating function U(x) = Product_{k>0} 1/(1-x^k)^F(k+z), where z is a nonnegative integer, which provides asymptotics for the sequences A166861 (z=0), A200544 (z=1) and A260787 (z=2) in the OEIS.

Richomme, Saari and Zamboni (J. Lond. Math. Soc. 83: 79-95, 2011) proved that at every position of a Sturmian word starts an abelian power of exponent $k$ for every $k > 0$. We improve on this result by studying the maximum exponents of abelian powers and abelian repetitions (an abelian repetition is an analogue of a fractional power) in Sturmian words. We give a formula for computing the maximum exponent of an abelian power of abelian period $m$ starting at a given position in any Sturmian word of rotation angle $α$. vAs an analogue of the critical exponent, we introduce the abelian critical exponent $A(s_α)$ of a Sturmian word $s_α$ of angle $α$ as the quantity $A(s_α) = limsup\ k_{m}/m=limsup\ k'_{m}/m$, where $k_{m}$ (resp. $k'_{m}$) denotes the maximum exponent of an abelian power (resp.~of an abelian repetition) of abelian period $m$ (the superior limits coincide for Sturmian words). We show that $A(s_α)$ equals the Lagrange constant of the number $α$. This yields a formula for computing $A(s_α)$ in terms of the partial quotients of the continued fraction expansion of $α$. Using this formula, we prove that $A(s_α) \geq \sqrt{5}$ and that the equality holds for the Fibonacci word. We further prove that $A(s_α)$ is finite if and only if $α$ has bounded partial quotients, that is, if and only if $s_α$ is $β$-power-free for some real number $β$. Concerning the infinite Fibonacci word, we prove that: i) The longest prefix that is an abelian repetition of period $F_j$, $j>1$, has length $F_j( F_{j+1}+F_{j-1} +1)-2$ if $j$ is even or $F_j( F_{j+1}+F_{j-1} )-2$ if $j$ is odd, where $F_{j}$ is the $j$th Fibonacci number; ii) The minimum abelian period of any factor is a Fibonacci number. Further, we derive a formula for the minimum abelian periods of the finite Fibonacci words

We present a parametric family of Riordan arrays which are obtained by multiplying any Riordan array with a generalized Pascal array. In particular, we focus on some interesting properties of one-parameter Catalan triangles. We obtain several combinatorial identities that involve two special Catalan matrices, the Chebyshev polynomials of the second kind, some periodic sequences, and the Fibonacci numbers.