arXiv++ Combinatorics

The goal of this paper is twofold: (1) extend theory on certain statistics in the Fibonacci and Lucas sequences modulo $m$ to the Lucas sequences $U := \left(U_n(p,q)\right)_{n \geq 0}$ and $V := \left(V_n(p,q)\right)_{n \geq 0}$, and (2) apply some of this theory to a novel graphical approach of $U$ and $V$ modulo $m$. Upon placing the cycle of repeating sequence terms in a circle, several fascinating patterns which would otherwise be overlooked emerge. We generalize a wealth of known Fibonacci and Lucas statistical identities to the $U$ and $V$ settings using primary sources such as Lucas in 1878, Carmichael in 1913, Wall in 1960, and Vinson in 1963, amongst others. We use many of these generalized identities to form the theoretical basis for our graphical results. Based on the order of $m$, defined as $ω(m) := \frac{π(m)}{e(m)}$, where $π(m)$ is the period of $m$ and $e(m)$ is the entry point of $m$, we describe behaviors shared by $U$ and $V$ with parameters $q = \pm 1$. In particular, we exhibit some tantalizing examples in the following three sequence pairs: Fibonacci and Lucas, Pell and associated Pell, and balancing and Lucas-balancing.

We consider the greatest common divisor (GCD) of all sums of $k$ consecutive terms of a sequence $(S_n)_{n\geq 0}$ where the terms $S_n$ come from exactly one of following six well-known sequences' terms: Pell $P_n$, associated Pell $Q_n$, balancing $B_n$, Lucas-balancing $C_n$, cobalancing $b_n$, and Lucas-cobalancing $c_n$ numbers. For each of the six GCDs, we provide closed forms dependent on $k$. Moreover, each of these closed forms can be realized as braid sequences of Pell and associated Pell numbers in an intriguing manner. We end with partial results on GCDs of sums of squared terms and open questions.

In 2021, Guyer and Mbirika gave two equivalent formulas that computed the greatest common divisor (GCD) of all sums of $k$ consecutive terms in the generalized Fibonacci sequence $\left(G_n\right)_{n \geq 0}$ given by the recurrence $G_n = G_{n-1} + G_{n-2}$ for all $n \geq 2$ with integral initial conditions $G_0$ and $G_1$. In this current paper, we extend their results to the GCD of all sums of $k$ consecutive squares of these numbers. Denoting these GCD values by the symbol $\mathcal{G}_{G_0, G_1}^2\!(k)$, we prove $\mathcal{G}_{G_0, G_1}^2\!(k) = \gcd\left(G_k G_{k+1} - G_0 G_1,\; G_{k+1}^2 - G_1^2,\; G_{k+2}^2 - G_2^2\right)$. Moreover, we provide very tantalizing closed forms in the specific settings of the Fibonacci, Lucas, and generalized Fibonacci numbers. We close with a number of open questions for further research.

We explore a certain family $\{A_n\}_{n=1}^{\infty}$ of $n \times n$ tridiagonal real symmetric matrices. After deriving a three-term recurrence relation for the characteristic polynomials of this family, we find a closed form solution. The coefficients of these characteristic polynomials turn out to involve the diagonal entries of Pascal's triangle in a tantalizingly predictive manner. Lastly, we explore a relation between the eigenvalues of various members of the family. More specifically, we give a sufficient condition on the values $m,n \in \mathbb{N}$ for when $\texttt{spec}(A_m)$ is contained in $\texttt{spec}(A_n)$. We end the paper with a number of open questions, one of which intertwines our characteristic polynomials with the Fibonacci sequence in an intriguing manner involving ellipses.

The Fibonacci sequence modulo $m$, which we denote $\left(\mathcal{F}_{m,n}\right)_{n=0}^\infty$ where $\mathcal{F}_{m,n}$ is the Fibonacci number $F_n$ modulo $m$, has been a well-studied object in mathematics since the seminal paper by D.~D.~Wall in 1960 exploring a myriad of properties related to the periods of these sequences. Since the time of Lagrange it has been known that $\left(\mathcal{F}_{m,n}\right)_{n=0}^\infty$ is periodic for each $m$. We examine this sequence when $m=10$, yielding a sequence of period length 60. In particular, we explore its subsequences composed of every $r^{\mathrm{th}}$ term of $\left(\mathcal{F}_{10,n}\right)_{n=0}^\infty$ starting from the term $\mathcal{F}_{10,k}$ for some $0 \leq k \leq 59$. More precisely we consider the subsequences $\left(\mathcal{F}_{10,k+rj}\right)_{j=0}^\infty$, which we show are themselves periodic and whose lengths divide 60. Many intriguing properties reveal themselves as we alter the $k$ and $r$ values. For example, for certain $r$ values the corresponding subsequences surprisingly obey the Fibonacci recurrence relation; that is, any two consecutive subsequence terms sum to the next term modulo 10. Moreover, for all $r$ values relatively prime to 60, the subsequence $\left(\mathcal{F}_{10,k+rj}\right)_{j=0}^\infty$ coincides exactly with the original parent sequence $\left(\mathcal{F}_{10,n}\right)_{n=0}^\infty$ (or a cyclic shift of it) running either forward or reverse. We demystify this phenomena and explore many other tantalizing properties of these subsequences.

We explore the sums of $k$ consecutive terms in the generalized Fibonacci sequence $\left(G_n\right)_{n \geq 0}$ given by the recurrence $G_n = G_{n-1} + G_{n-2}$ for all $n \geq 2$ with integral initial conditions $G_0$ and $G_1$. In particular, we give precise values for the greatest common divisor (GCD) of all sums of $k$ consecutive terms of $\left(G_n\right)_{n \geq 0}$. When $G_0 = 0$ and $G_1 = 1$, we yield the GCD of all sums of $k$ consecutive Fibonacci numbers, and when $G_0 = 2$ and $G_1 = 1$, we yield the GCD of all sums of $k$ consecutive Lucas numbers. Denoting the GCD of all sums of $k$ consecutive generalized Fibonacci numbers by the symbol $\mathcal{G}_{G_0, G_1}\!(k)$, we give two tantalizing characterizations for these values, one involving a simple formula in $k$ and another involving generalized Pisano periods: $$\mathcal{G}_{G_0, G_1}\!(k) = \gcd(G_{k+1}-G_1,\, G_{k+2}-G_2)\; \mbox{and}$$ $$\mathcal{G}_{G_0, G_1}\!(k) = \mathrm{lcm}\{m \mid π_{G_0,G_1}\!(m) \text{ divides } k\},$$ where $π_{G_0,G_1}\!(m)$ denotes the generalized Pisano period of the generalized Fibonacci sequence modulo $m$. The fact that these vastly different-looking formulas coincide leads to some surprising and delightful new understandings of the Fibonacci and Lucas numbers.

The Euler phi function on a given integer $n$ yields the number of positive integers less than $n$ that are relatively prime to $n$. Equivalently, it gives the order of the group of units in the quotient ring $\mathbb{Z}/(n)$. We generalize the Euler phi function to the Eisenstein integer ring $\mathbb{Z}[ρ]$ where $ρ$ is the primitive third root of unity $e^{2πi/3}$ by finding the order of the group of units in the ring $\mathbb{Z}[ρ]/(θ)$ for any given Eisenstein integer $θ$. As one application we investigate a sufficiency criterion for when certain unit groups $\left(\mathbb{Z}[ρ]/(γ^n)\right)^\times$ are cyclic where $γ$ is prime in $\mathbb{Z}[ρ]$ and $n \in \mathbb{N}$, thereby generalizing well-known results of similar applications in the integers and some lesser known results in the Gaussian integers. As another application, we prove that the celebrated Euler-Fermat theorem holds for the Eisenstein integers.

A sequence of $S_n$-representations $\{V_n\}$ is said to be uniformly representation stable if the decomposition of $V_n = \bigoplus_μ c_{μ,n} V(μ)_n$ into irreducible representations is independent of $n$ for each $μ$---that is, the multiplicities $c_{μ,n}$ are eventually independent of $n$ for each $μ$. Church-Ellenberg-Farb proved that the cohomology of flag varieties (the so-called diagonal coinvariant algebra) is uniformly representation stable. We generalize their result from flag varieties to all Springer fibers. More precisely, we show that for any increasing subsequence of Young diagrams, the corresponding sequence of Springer representations form a graded co-FI-module of finite type (in the sense of Church-Ellenberg-Farb). We also explore some combinatorial consequences of this stability.

It is a surprising fact that the proportion of integer lattice points visible from the origin is exactly $\frac{6}{π^2}$, or approximately 60 percent. Hence, approximately 40 percent of the integer lattice is hidden from the origin. Since 1971, many have studied a variety of problems involving lattice point visibility, in particular, searching for patterns in that 40 percent of the lattice comprised of invisible points. One such pattern is a square patch, an $n \times n$ grid of $n^2$ invisible points, which we call a hidden forest. It is known that there exist arbitrarily large hidden forests in the integer lattice. However, the methods up to now involve the Chinese Remainder Theorem (CRT) on the rows and columns of matrices with prime number entries, and they have only been able to locate hidden forests very far from the origin. For example, using this method the closest known $4 \times 4$ hidden forest is over 3 quintillion, or $3 \times 10^{18}$, units away from the origin. We introduce the concept of quasiprime matrices and utilize a variety of computational and theoretical techniques to find some of the closest known hidden forests to this date. Using these new techniques, we find a $4 \times 4$ hidden forest that is merely 184 million units away from the origin. We conjecture that every hidden forest can be found via the CRT-algorithm on a quasiprime matrix.

For a fixed $b\in\mathbb{N}=\{1,2,3,\ldots\}$ we say that a point $(r,s)$ in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ is $b$-visible from the origin if it lies on the graph of a power function $f(x)=ax^b$ with $a\in\mathbb{Q}$ and no other integer lattice point lies on this curve (i.e., line of sight) between $(0,0)$ and $(r,s)$. We prove that the proportion of $b$-visible integer lattice points is given by $1/ζ(b+1)$, where $ζ(s)$ denotes the Riemann zeta function. We also show that even though the proportion of $b$-visible lattice points approaches $1$ as $b$ approaches infinity, there exist arbitrarily large rectangular arrays of $b$-invisible lattice points for any fixed $b$. This work specialized to $b=1$ recovers original results from the classical lattice point visibility setting where the lines of sight are given by linear functions with rational slope through the origin.

A coprime labeling of a simple graph of order $n$ is a labeling in which adjacent vertices are given relatively prime labels, and a graph is prime if the labels used can be taken to be the first $n$ positive integers. In this paper, we consider when ladder graphs are prime and when the corresponding labeling may be done in a cyclic manner around the vertices of the ladder. Furthermore, we discuss coprime labelings for complete bipartite graphs.

We present a formula for the values of the sign representations of the complex reflection groups $G(r,p,n)$ in terms of its image under a generalized Robinson-Schensted map.

We define a family of ideals $I_h$ in the polynomial ring $\mathbb{Z}[x_1,...,x_n]$ that are parametrized by Hessenberg functions $h$ (equivalently Dyck paths or ample partitions). The ideals $I_h$ generalize algebraically a family of ideals called the Tanisaki ideal, which is used in a geometric construction of permutation representations called Springer theory. To define $I_h$, we use polynomials in a proper subset of the variables ${x_1,...,x_n}$ that are symmetric under the corresponding permutation subgroup. We call these polynomials {\em truncated symmetric functions} and show combinatorial identities relating different kinds of truncated symmetric polynomials. We then prove several key properties of $I_h$, including that if $h>h'$ in the natural partial order on Dyck paths then $I_{h} \subset I_{h'}$, and explicitly construct a Gröbner basis for $I_h$. We use a second family of ideals $J_h$ for which some of the claims are easier to see, and prove that $I_h = J_h$. The ideals $J_h$ arise in work of Ding, Develin-Martin-Reiner, and Gasharov-Reiner on a family of Schubert varieties called partition varieties. Using earlier work of the first author, the current manuscript proves that the ideals $I_h = J_h$ generalize the Tanisaki ideals both algebraically and geometrically, from Springer varieties to a family of nilpotent Hessenberg varieties.

The Springer variety is the set of flags stabilized by a nilpotent operator. In 1976, T.A. Springer observed that this variety's cohomology ring carries a symmetric group action, and he offered a deep geometric construction of this action. Sixteen years later, Garsia and Procesi made Springer's work more transparent and accessible by presenting the cohomology ring as a graded quotient of a polynomial ring. They combinatorially describe an explicit basis for this quotient. The goal of this paper is to generalize their work. Our main result deepens their analysis of Springer varieties and extends it to a family of varieties called Hessenberg varieties, a two-parameter generalization of Springer varieties. Little is known about their cohomology. For the class of regular nilpotent Hessenberg varieties, we conjecture a quotient presentation for the cohomology ring and exhibit an explicit basis. Tantalizing new evidence supports our conjecture for a subclass of regular nilpotent varieties called Peterson varieties.