arXiv++ Combinatorics

In this article, we investigate the Grundy values of the popular game of Fibonacci nim. The winning strategy, which amounts to understanding positions of Grundy value 0, was known since Whinihan in 1963. In this paper, we extend Whinihan's analysis by computing all the positions of Grundy value at most 3. Furthermore, we show that, when we delete the Fibonacci numbers (which have Grundy value 0), the Grundy values of the starting positions are increasing, and we give upper and lower bounds on the growth rate.

This paper shows how the study of colored compositions of integers reveals some unexpected and original connection with the Invert operator. The Invert operator becomes an important tool to solve the problem of directly counting the number of colored compositions for any coloration. The interesting consequences arising from this relationship also give an immediate and simple criterion to determine whether a sequence of integers counts the number of some colored compositions. Applications to Catalan and Fibonacci numbers naturally emerge, allowing to clearly answer to some open questions. Moreover, the definition of colored compositions with the "black tie" provides straightforward combinatorial proofs to a new identity involving multinomial coefficients and to a new closed formula for the Invert operator. Finally, colored compositions with the "black tie" give rise to a new combinatorial interpretation for the convolution operator, and to a new and easy method to count the number of parts of colored compositions.

Fibonacci numbers can be expressed in terms of multinomial coefficients as sums over integer partitions into odd parts. We use this fact to introduce a family of double inequalities involving the generating function for the number of partitions into odd parts and the generating function for the number of odd divisors.

We study the Hecke algebra $\H(\bq)$ over an arbitrary field $\FF$ of a Coxeter system $(W,S)$ with independent parameters $\bq=(q_s\in\FF:s\in S)$ for all generators. This algebra is always linearly spanned by elements indexed by the Coxeter group $W$. This spanning set is indeed a basis if and only if every pair of generators joined by an odd edge in the Coxeter diagram receive the same parameter. In general, the dimension of $\H(\bq)$ could be as small as $1$. We construct a basis for $\H(\bq)$ when $(W,S)$ is simply laced. We also characterize when $\H(\bq)$ is commutative, which happens only if the Coxeter diagram of $(W,S)$ is simply laced and bipartite. In particular, for type A we obtain a tower of semisimple commutative algebras whose dimensions are the Fibonacci numbers. We show that the representation theory of these algebras has some features in analogy/connection with the representation theory of the symmetric groups and the 0-Hecke algebras.

The Collatz map is defined for a positive even integer as half that integer, and for a positive odd integer as that integer threefold, plus one. The Collatz conjecture states that when the map is iterated the number one is eventually reached. We study permutations that arise as sequences from this iteration. We show that permutations of this type of length up to 14 are enumerated by the Fibonacci numbers. Beyond that excess permutations appear. We will explain the appearance of these excess permutations and give an upper bound on the exact enumeration.

This paper describes a class of sequences that are in many ways similar to Fibonacci sequences: given n, sum the previous two terms and divide them by the largest possible power of n. The behavior of such sequences depends on n. We analyze these sequences for small n: 2, 3, 4, and 5. Surprisingly these behaviors are very different. We also talk about any n. Many statements about these sequences are difficult or impossible to prove, but they can be supported by probabilistic arguments, we have plenty of those in this paper. We also introduce ten new sequences. Most of the new sequences are also related to Fibonacci numbers proper, not just free Fibonacci numbers.

Zeckendorf proved that any integer can be decomposed uniquely as a sum of non-adjacent Fibonacci numbers, $F_n$. Using continued fractions, Lekkerkerker proved the average number of summands of an $m \in [F_n, F_{n+1})$ is essentially $n/(\varphi^2 +1)$, with $\varphi$ the golden ratio. Miller-Wang generalized this by adopting a combinatorial perspective, proving that for any positive linear recurrence the number of summands in decompositions for integers in $[G_n, G_{n+1})$ converges to a Gaussian distribution. We prove the probability of a gap larger than the recurrence length converges to decaying geometrically, and that the distribution of the smaller gaps depends in a computable way on the coefficients of the recurrence. These results hold both for the average over all $m \in [G_n, G_{n+1})$, as well as holding almost surely for the gap measure associated to individual $m$. The techniques can also be used to determine the distribution of the longest gap between summands, which we prove is similar to the distribution of the longest gap between heads in tosses of a biased coin. It is a double exponential strongly concentrated about the mean, and is on the order of $\log n$ with computable constants depending on the recurrence.

As is well-known, the ratio of adjacent Fibonacci numbers tends to phi = (1 + sqrt(5))/2, and the ratio of adjacent Tribonacci numbers (where each term is the sum of the three preceding numbers) tends to the real root eta of X^3 - X^2 - X - 1 = 0. Letting alpha(n) denote the corresponding ratio for the generalized Fibonacci numbers, where each term is the sum of the n preceding, we obtain rapidly converging series for alpha(n), 1/alpha(n), and 1/(2-alpha(n)).

Even though weight multiplicity formulas, such as Kostant's formula, exist their computational use is extremely cumbersome. In fact, even in cases when the multiplicity is well understood, the number of terms considered in Kostant's formula is factorial in the rank of the Lie algebra and the value of the partition function is unknown. In this paper we address the difficult question: What are the contributing terms to the multiplicity of the zero weight in the adjoint representation of a finite dimensional Lie algebra? We describe and enumerate the cardinalities of these sets (through linear homogeneous recurrence relations with constant coefficients) for the classical Lie algebras of Type $B$, $C$, and $D$, the Type $A$ case was computed by the first author in [5]. In addition, we compute the cardinality of the set of contributing terms for non-zero weight spaces in the adjoint representation. In the Type $B$ case, the cardinality of one such non-zero-weight is enumerated by the Fibonacci numbers. We end with a computational proof of a result of Kostant regarding the exponents of the respective Lie algebra for some low rank examples and provide a section with open problems in this area.

Let $S_n$ denote the symmetric group on $\{1,2,\ldots,n\}$. For two permutations $u, v\in S_n$ such that $u\leq v$ in the Bruhat order, let $R_{u,v}(q)$ and $\R_{u,v}(q)$ denote the Kazhdan-Lusztig $R$-polynomial and $\R$-polynomial, respectively. Let $v_n=34\cdots n\, 12$, and let $σ$ be a permutation such that $σ\leq v_n$. We obtain a formula for the $\R$-polynomials $\R_{σ,v_n}(q)$ in terms of the $q$-Fibonacci numbers depending on a parameter determined by the reduced expression of $σ$. When $σ$ is the identity $e$, this reduces to a formula obtained by Pagliacci. In another direction, we obtain a formula for the $\R$-polynomial $\R_{e,\,v_{n,i}}(q)$, where $v_{n,i} = 3 4\cdots i\,n\, (i+1)\cdots (n-1)\, 12$. In a more general context, we conjecture that for any two permutations $σ,τ\in S_n$ such that $σ\leq τ\leq v_n$, the $\R$-polynomial $\R_{σ,τ}(q)$ can be expressed as a product of $q$-Fibonacci numbers multiplied by a power of $q$.

In this paper, we introduce a new family of generalized colored Motzkin paths, where horizontal steps are colored by means of $F_{k,l}$ colors, where $F_{k,l}$ is the $l$th $k$-Fibonacci number. We study the enumeration of this family according to the length. For this, we use infinite weighted automata.

A bijective proof is given for the following theorem: the number of compositions of n into odd parts equals the number of compositions of n + 1 into parts greater than one. Some commentary about the history of partitions and compositions is provided.

In this paper we consider the sequence whose n^{th} term is the number of h-vectors of length n. We show that the n^{th} term of this sequence is bounded above by the n^{th} Fibonacci number and bounded below by the number if integer partitions of n into distinct parts. Further we show embedded sequences that directly relate to integer partitions.

Let M in k[x,y] be a monomial ideal M=(m_1,m_2,...,m_r), where the m_i are a minimal generating set of M. We construct an explicit free resolution of k over S=k[x,y]/M for all monomial ideals M, and provide recursive formulas for the Betti numbers. In particular, if M is any monomial ideal (excepting five degenerate cases,) the total Betti numbers β_i^S(k) are given by β_0^S(k)=1, β_1^S(k)=2, and β_i^S(k)=β_{i-1}(k)+(r-1)β_{i-2}^S(k), where r is the number of minimal generators of M. This specializes to the classic example S=k[x,y]/(x^2,xy), which has β_i^S(k)=F_{i+1}, where F_{i+1} is the (i+1)st Fibonacci number. Macaulay2 code producing these resolutions is available at: http://cs.hood.edu/~whieldon/pages/research.html

This paper is continuation of the study of the 1-box pattern in permutations introduced by the authors in \cite{kitrem4}. We derive a two-variable generating function for the distribution of this pattern on 132-avoiding permutations, and then study some of its coefficients providing a link to the Fibonacci numbers. We also find the number of separable permutations with two and three occurrences of the 1-box pattern.

We determine the maximal length of the period of a periodic word defined by $n$ restrictions. It happens to be the corresponding Fibonacci number.

Consider a plane branch, that is, an irreducible germ of curve on a smooth complex analytic surface. We define its blow-up complexity as the number of blow-ups of points necessary to achieve its minimal embedded resolution. We show that there are $F_{2n-4}$ topological types of blow-up complexity $n$, where $F_{n}$ is the $n$-th Fibonacci number. We introduce complexity-preserving operations on topological types which increase the multiplicity and we deduce that the maximal multiplicity for a plane branch of blow-up complexity $n$ is $F_n$. It is achieved by exactly two topological types, one of them being distinguished as the only type which maximizes the Milnor number. We show moreover that there exists a natural partial order relation on the set of topological types of plane branches of blow-up complexity $n$, making this set a distributive lattice, that is, any two of its elements admit an infimum and a supremum, each one of these operations beeing distributive relative to the second one. We prove that this lattice admits a unique order-inverting bijection. As this bijection is involutive, it defines a duality for topological types of plane branches. The type which maximizes the Milnor number is also the maximal element of this lattice and its dual is the unique type with minimal Milnor number. There are $F_{n-2}$ self-dual topological types of blow-up complexity $n$. Our proofs are done by encoding the topological types by the associated Enriques diagrams.

We study formulas expressing Fibonacci numbers as sums over compositions using free submonoids of the free monoid of compositions with parts 1 and 2.

In this paper, we give a new representation of the Fibonacci numbers. This is achieved using Fibonacci trees. With the help of this representation, the nth Fibonacci number can be calculated without having any knowledge about the previous Fibonacci numbers.

Some applications of a result, which is proved recently, is considered. We first prove three determinantal identities concerning the binomial coefficient and Stirling numbers of the first and the second kind. We also easily obtain the inverse of the Vandermonde matrix. Then we derive a recurrence formula for sums of powers, which is similar to the well-known Newton identity. In the last section, we consider some sequences given by a homologous linear recurrence equation. A determinantal identity for the Fibonacci numbers of higher order is proved. We finish with an expression of the generalized Vandermonde determinant in terms of the standard Vandermonde determinant and elementary symmetric polynomials.