Source author record

aBa Mbirika

aBa Mbirika appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
5topics
3close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2023arXiv

GCD of sums of $k$ consecutive squares of generalized Fibonacci numbers

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.

preprint2015arXiv

The three giri of Paradiso XXXIII

Our paper offers an analysis of how Dante describes the tre giri ("three rings") of the Holy Trinity in Paradiso 33 of the Divine Comedy. We point to the myriad possibilities Dante may have been envisioning when he describes his vision of God at this final stage in his journey. Saiber focuses on the features of shape, motion, size, color, and orientation that Dante details in describing the Trinity. Mbirika uses mathematical tools from topology (specifically, knot theory) and combinatorics to analyze all the possible configurations that have a specific layout of three intertwining circles which we find particularly compelling given Dante's description of the Trinity: the round figures arranged in a triangular format with rotational and reflective symmetry. Of the many possible link patterns, we isolate two particularly suggestive arrangements for the giri: the Brunnian link and the (3,3)-torus link. These two patterns lend themselves readily to a Trinitarian model.

preprint2012arXiv

Generalizing Tanisaki's ideal via ideals of truncated symmetric functions

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.

preprint2010arXiv

A Hessenberg generalization of the Garsia-Procesi basis for the cohomology ring of Springer 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.