Search

A projective rectangle is like a projective plane that may have different lengths in two directions. We develop properties of the graph of lines, in which adjacency means having a common point, especially its strong regularity and clique structure. The main construction of projective rectangles, stated in a previous paper, gives rectangles whose graph of lines is a known strongly regular bilinear forms graph. That fact leads to a proof that the main construction does produce projective rectangles, and also gives a new representation of bilinear forms graphs. We conclude by mentioning a few simple graph properties, such as the chromatic number, which is not known, and a partial geometry obtained from the graph., Comment: 17 pp., 2 figures

Inspired by the ancient spiral constructed by the greek philosopher Theodorus which is based on concatenated right triangles, we have created a spiral. In this spiral, called \emph{Fibonacci--Theodorus}, the sides of the triangles have lengths corresponding to Fibonacci numbers. Towards the end of the paper, we present a generalized method applicable to second-order recurrence relations. Our exploration of the Fibonacci--Theodorus spiral aims to address a variety of questions, showcasing its unique properties and behaviors. For example, we study topics such as area, perimeter, and angles. Notably, we establish a relationship between the ratio of two consecutive areas and the golden ratio, a pattern that extends to angles sharing a common vertex. Furthermore, we present some asymptotic results. For instance, we demonstrate that the sum of the first $n$ areas comprising the spiral approaches a multiple of the sum of the initial $n$ Fibonacci numbers. Moreover, we provide a sequence of open problems related to all spiral worked in this paper. Finally, in his work Hahn, Hahn observed a potential connection between the golden ratio and the ratio of areas between spines of lengths $\sqrt{F_{n+1}}$ and $\sqrt{F_{n+2}-1}$ and the areas between spines of lengths $\sqrt{F_{n}}$ and $\sqrt{F_{n+1}-1}$ in the Theodorus spiral. However, no formal proof has been provided in his work. In this paper, we provide a proof for Hahn's conjecture., Comment: Accepted for publication by Proceedings of Fibonacci Quarterly

A projective rectangle is like a projective plane that has different lengths in two directions. We develop harmonic conjugation in projective rectangles. We construct projective rectangles in some harmonic matroids (matroids where harmonic conjugation is defined on every collinear point triple), such as Desarguesian projective planes of finite characteristic, by harmonic conjugation from extended lift matroids based on finite fields. Similar results follow for countable fields with characteristic $0$. We also show that projective rectangles are almost harmonic matroids., Comment: 29 pp., 8 figures. V2: minor changes

A \emph{Dyck path} is a lattice path in the first quadrant of the $xy$-plane that starts at the origin, ends on the $x$-axis, and consists of the same number of North-East steps $U$ and South-East steps $D$. A \emph{valley} is a subpath of the form $DU$. A Dyck path is called \emph{restricted $d$-Dyck} if the difference between any two consecutive valleys is at least $d$ (right-hand side minus left-hand side) or if it has at most one valley. In this paper we give some connections between restricted $d$-Dyck paths and both, the non-crossing partitions of $[n]$ and some subfamilies of polyominoes. We also give generating functions to count several aspects of these combinatorial objects., Comment: This paper has been accepter for publication in Proceedings of the 52nd Southeastern International Conference on Combinatorics, Graph Theory, and Computing

A projective rectangle is like a projective plane that has different lengths in two directions. We develop the basic theory of projective rectangles including incidence properties, projective subplanes, configuration counts, a partial Desargues's theorem, a construction from projective planes, and alternative formulations. In sequels we study harmonic conjugation and the graphs of lines and subplanes., Comment: 33 pp., 8 figures. V2: Major revisions, corrections, new title; 41 pp., 15 figures. V3: Rev. sects. 1 & 6; 40 pp., 15 figures

In this paper, we look at numbers of the form $H_{r,k}:=F_{k-1}F_{r-k+2}+F_{k}F_{r-k}$. These numbers are the entries of a triangular array called the \emph{determinant Hosoya triangle} which we denote by ${\mathcal H}$. We discuss the divisibility properties of the above numbers and their primality. We give a small sieve of primes to illustrate the density of prime numbers in ${\mathcal H}$. Since the Fibonacci and Lucas numbers appear as entries in ${\mathcal H}$, our research is an extension of the classical questions concerning whether there are infinitely many Fibonacci or Lucas primes. We prove that ${\mathcal H}$ has arbitrarily large neighbourhoods of composite entries. Finally we present an abundance of data indicating a very high density of primes in ${\mathcal H}$., Comment: two figures

The interior and exterior activities of bases of a matroid are well-known notions that for instance permit one to define the Tutte polynomial. Recently, we have discovered correspondences between the regions of gainic hyperplane arrangements and coloredlabeled rooted trees. Here we define a general activity theory that applies in particular to no-broken circuit (NBC) sets and labeled colored trees. The special case of activity \textsf{0} was our motivating case. As a consequence, in a gainic hyperplane arrangement the number of bounded regions is equal to the number of the corresponding colored labeled rooted trees of activity \textsf{0}., Comment: To appear in the Journal of Combinatorial Theory series A

In this paper we present a geometric approach to discovering some known and some new identities using triangular arrays. Our main aim is to demonstrate how to use the geometric patterns (by Carlitz), in the Pascal and Hosoya triangles to rediscover some classical identities and integer sequences. Therefore, we use new techniques in classical settings which then provide a new perspective in undergraduate research., Comment: This paper was partially published in Math Horizons, February 2022

We construct a new family of minimal non-orientable matroids of rank three. Some of these matroids embed in Desarguesian projective planes. This answers a question of Ziegler: for every prime power $q$, find a minimal non-orientable submatroid of the projective plane over the $q$-element field., Comment: This paper was published in 2007

Gordon introduced a class of matroids $M(n)$, for prime $n\ge 2$, such that $M(n)$ is algebraically representable, but only in characteristic $n$. Lindstr\"om proved that $M(n)$ for general $n\ge 2$ is not algebraically representable if $n>2$ is an even number, and he conjectured that if $n$ is a composite number it is not algebraically representable. We introduce a new kind of matroid called {\it harmonic matroids}, of which full algebraic matroids are an example. We prove the conjecture in this more general case., Comment: The paper was published in 2006

We study a generalization of the concept of harmonic conjugation from projective geometry and full algebraic matroids to a larger class of matroids called \emph{harmonic matroids}. We use harmonic conjugation to construct a projective plane of prime order in harmonic matroids without using the axioms of projective geometry. As a particular case we have a combinatorial construction of a projective plane of prime order in full algebraic matroids., Comment: This paper was finished in 2008. It is now published

A second order polynomial sequence is of Fibonacci-type $\mathcal{F}_{n}$ (Lucas-type $\mathcal{L}_{n}$) if its Binet formula has a structure similar to that for Fibonacci (Lucas) numbers. Under certain conditions these polynomials are irreducible if and only if $n$ is a prime number. For example, the Fibonacci polynomials, Pell polynomials, Fermat polynomials, Lucas polynomials, Pell-Lucas polynomials, Fermat-Lucas polynomials are irreducible when $n$ is a prime number; and Chebyshev polynomials (second kind), Morgan-Voyce polynomials (Fibonacci type), and Vieta polynomials are reducible when $n$ is a prime number. In this paper we give some theorems to determine whether the Fibonacci type polynomials and Lucas type polynomials are irreducible when $n$ is prime., Comment: Two tables

In this paper we study a subfamily of a classic lattice path, the \emph{Dyck paths}, called \emph{restricted $d$-Dyck} paths, in short $d$-Dyck. A valley of a Dyck path $P$ is a local minimum of $P$; if the difference between the heights of two consecutive valleys (from left to right) is at least $d$, we say that $P$ is a restricted $d$-Dyck path. The \emph{area} of a Dyck path is the sum of the absolute values of $y$-components of all points in the path. We find the number of peaks and the area of all paths of a given length in the set of $d$-Dyck paths. We give a bivariate generating function to count the number of the $d$-Dyck paths with respect to the the semi-length and number of peaks. After that, we analyze in detail the case $d=-1$. Among other things, we give both, the generating function and a recursive relation for the total area., Comment: seven Figure and 20 pages

The \emph{determinant Hosoya triangle}, is a triangular array where the entries are the determinants of two-by-two Fibonacci matrices. The determinant Hosoya triangle $\bmod \,2$ gives rise to three infinite families of graphs, that are formed by complete product (join) of (the union of) two complete graphs with an empty graph. We give a necessary and sufficient condition for a graph from these families to be integral. Some features of these graphs are: they are integral cographs, all graphs have at most five distinct eigenvalues, all graphs are either $d$-regular graphs with $d=2,4,6,\dots $ or almost-regular graphs, and some of them are Laplacian integral. Finally we extend some of these results to the Hosoya triangle., Comment: 25 figures

In this paper, we connect two well established theories, the Fibonacci numbers and the Jordan algebras. We give a series of matrices, from literature, used to obtain recurrence relations of second-order and polynomial sequences. We also give some identities known in special Jordan Algebras. The matrices play a bridge role between both theories. The mentioned matrices connect both areas of mathematics, special Jordan algebras and recurrence relations, to obtain new identities and classic identities in Fibonacci numbers, Lucas numbers, Pell numbers, binomial transform, tribonacci numbers, and polynomial sequences among others. The list of identities in this paper contains just a few examples of many that the reader can find using this technique., Comment: http://www.pmf.unsa.ba/dokumenti/oglasna/Book%20of%20abstracts%201%20Fibonacci2.pdf

A graph $G$ is \textit{asymmetric} if its automorphism group of vertices is trivial. Asymmetric graphs were introduced by Erd\H{o}s and R\'{e}nyi in 1963. They showed that the probability of a graph on $n$ vertices being asymmetric tends to $1$ as $n$ tends to infinity. In this paper, we first give consider the number of asymmetric trees, a question posed by Erd\H{o}s and R\'enyi. We give a partial result, showing that the number of asymmetric subdivided stars is approximately $q(n-1) - \lfloor \frac{n-1}{2} \rfloor$ where $q(n)$ is the number of ways to sum to $n$ using distinct positive integers, found by Hardy and Ramanujan in 1918. We also investigate cubic Hamiltonian graphs where asymmetry, at least for small values of $n$, seems to be rare. It is known that none of the cubic Hamiltonian graphs on $4\leq n\leq 10$ vertices are asymmetric, and of the $80$ cubic Hamiltonian graphs on $12$ vertices only $5$ are asymmetric. We give a construction of an infinite family of cubic Hamiltonian graphs that are asymmetric. Then we present an infinite family of quartic Hamiltonian graphs that are asymmetric. We use both of the above results for cubic and quartic asymmetric Hamiltonian graphs to establish the existence of $k$-regular asymmetric Hamiltonian graphs for all $k\geq 3$.

In this paper we use well-known results from linear algebra as tools to explore some properties of products of Fibonacci numbers. Specifically, we explore the behavior of the eigenvalues, eigenvectors, characteristic polynomials, determinants, and the norm of non-symmetric matrices embedded in the Hosoya triangle. We discovered that most of these objects either embed again in the Hosoya triangle or they give rise to Fibonacci identities. We also study the nature of these matrices when their entries are taken $\bmod$ $2$. As a result, we found an infinite family of non-connected graphs. Each graph in this family has a complete graph with loops attached to each of its vertices as a component and the other components are isolated vertices. The Hosoya triangle allowed us to show the beauty of both, the algebra and geometry., Comment: Six figures

A second order polynomial sequence is of \emph{Fibonacci-type} (\emph{Lucas-type}) if its Binet formula has a structure similar to that for Fibonacci (Lucas) numbers. Known examples of these type of sequences are: Fibonacci polynomials, Pell polynomials, Fermat polynomials, Chebyshev polynomials, Morgan-Voyce polynomials, Lucas polynomials, Pell-Lucas polynomials, Fermat-Lucas polynomials, Chebyshev polynomials. The \emph{resultant} of two polynomials is the determinant of the Sylvester matrix and the \emph{discriminant} of a polynomial $p$ is the resultant of $p$ and its derivative. We study the resultant, the discriminant, and the derivatives of Fibonacci-type polynomials and Lucas-type polynomials as well combinations of those two types. As a corollary we give explicit formulas for the resultant, the discriminant, and the derivative for the known polynomials mentioned above.

The \emph{Hosoya triangle} is a triangular array where every entry is a product of two Fibonacci numbers. We use the geometry of this triangle to find new identities related to Fibonacci numbers. We give geometric interpretation for some well-known identities of Fibonacci numbers. For instance, the Cassini identity and the Catalan identity. We also extend some identities that hold in the Pascal triangle to the Hosoya triangle. For instance, the hockey stick extends from binomials to products of Fibonacci numbers and the rhombus property extends a binomial identity from the Pascal triangle to an identity of products of Fibonacci numbers in the Hosoya triangle., Comment: There are 17 figures representing Fibonacci identities in the Hosoya triangle

The edge betweenness centrality of an edge is loosely defined as the fraction of shortest paths between all pairs of vertices passing through that edge. In this paper, we investigate graphs where the edge betweenness centrality of edges is uniform. It is clear that if a graph G is edge-transitive (its automorphism group acts transitively on its edges) then G has uniform edge betweenness centrality. However this sufficient condition is not necessary. Graphs that are not edge-transitive but have uniform edge betweenness centrality appear to be very rare. Of the over 11.9 million connected graphs on up to ten vertices, there are only four graphs that are not edge-transitive but have uniform edge betweenness centrality. Despite this rarity among small graphs, we present methods for creating infinite classes of graphs with this unusual combination of properties.

A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called "balanced", such that no theta subgraph contains exactly two balanced circles. A biased graph has two natural matroids, the frame matroid and the lift matroid. A classical question in matroid theory is whether a matroid can be embedded in a projective geometry. There is no known general answer, but for matroids of biased graphs it is possible to give algebraic criteria. Zaslavsky has previously given such criteria for embeddability of biased-graphic matroids in Desarguesian projective spaces; in this paper we establish criteria for the remaining case, that is, embeddability in an arbitrary projective plane that is not necessarily Desarguesian. The criteria depend on the embeddability of a quasigroup associated to the graph into the additive or multiplicative loop of a ternary coordinate ring for the plane. A 3-node biased graph is equivalent to an abstract partial 3-net; thus, we have a new algebraic criterion for an abstract 3-net to be realized in a non-Desarguesian projective plane. We work in terms of a special kind of 3-node biased graph called a biased expansion of a triangle. Our results apply to all finite 3-node biased graphs because, as we prove, every such biased graph is a subgraph of a finite biased expansion of a triangle. A biased expansion of a triangle, in turn, is equivalent to an isostrophe class of quasigroups, which is equivalent to a $3$-net. Much is not known about embedding a quasigroup into a ternary ring, so we do not say our criteria are definitive. For instance, it is not even known whether there is a finite quasigroup that cannot be embedded in any finite ternary ring. If there is, then there is a finite rank-3 matroid (of the corresponding biased expansion) that cannot be embedded in any finite projective plane---a presently unsolved problem., Comment: There are 2 figures. formerly part of arXiv:1608.06021v1

In this paper we first generalize the numerical recurrence relation given by Hosoya to polynomials. Using this generalization we construct a Hosoya-like triangle for polynomials, where its entries are products of generalized Fibonacci polynomials (GFP). Examples of GFP are: Fibonacci polynomials, Chebyshev polynomials, Morgan-Voyce polynomials, Lucas polynomials, Pell polynomials, Fermat polynomials, Jacobsthal polynomials, Vieta polynomials and other familiar sequences of polynomials. For every choice of a GFP we obtain a triangular array of polynomials. In this paper we extend the star of David property, also called the Hoggatt-Hansell identity, to this type of triangles. We also establish the star of David property in the gibonomial triangle. In addition, we study other geometric patterns in these triangles and as a consequence we give geometric interpretations for the Cassini's identity, Catalan's identity, and other identities for Fibonacci polynomials., Comment: Eight Figures and 24 pages

A $k$-ranking of a directed graph $G$ is a labeling of the vertex set of $G$ with $k$ positive integers such that every directed path connecting two vertices with the same label includes a vertex with a larger label in between. The rank number of $G$ is defined to be the smallest $k$ such that $G$ has a $k$-ranking. We find the largest possible directed graph that can be obtained from a directed path or a directed cycle by attaching new edges to the vertices such that the new graphs have the same rank number as the original graphs. The adjacency matrix of the resulting graph is embedded in the Sierpi\'nski triangle. We present a connection between the number of edges that can be added to paths and the Stirling numbers of the second kind. These results are generalized to create directed graphs which are unions of directed paths and directed cycles that maintain the rank number of a base graph of a directed path or a directed cycle., Comment: 21 pages

A $k$-ranking is a vertex $k$-coloring such that if two vertices have the same color any path connecting them contains a vertex of larger color. The rank number of a graph is smallest $k$ such that $G$ has a $k$-ranking. For certain graphs $G$ we consider the maximum number of edges that may be added to $G$ without changing the rank number. Here we investigate the problem for $G=P_{2^{k-1}}$, $C_{2^{k}}$, $K_{m_{1},m_{2},\dots,m_{t}}$, and the union of two copies of $K_{n}$ joined by a single edge. In addition to determining the maximum number of edges that may be added to $G$ without changing the rank number we provide an explicit characterization of which edges change the rank number when added to $G$, and which edges do not.

A second order polynomial sequence is of Fibonacci type (Lucas type) if its Binet formula is similar in structure to the Binet formula for the Fibonacci (Lucas) numbers. In this paper we generalize identities from Fibonacci numbers and Lucas numbers to Fibonacci type and Lucas type polynomials. A Fibonacci type polynomial is equivalent to a Lucas type polynomial if they both satisfy the same recurrence relations. Most of the identities provide relationships between two equivalent polynomials. In particular, each type of identities in this paper relate the following polynomial sequences: Fibonacci with Lucas, Pell with Pell-Lucas, Fermat with Fermat-Lucas, both types of Chebyshev polynomials, Jacobsthal with Jacobsthal-Lucas and both types of Morgan-Voyce.

It is known that the greatest common divisor of two Fibonacci numbers is again a Fibonacci number. It is called the strong divisibility property. However, this property does not hold for every second order sequence. In this paper we study the generalized Fibonacci polynomials and classify them in two types depending on their Binet formula. We give a complete characterization for those polynomials that satisfy the strong divisibility property. We also giveformulas to calculate the $\gcd$ of those polynomials that do not satisfy the strong divisibility property. Note. This paper is now published in INTEGERS., Comment: 20 pages

In 2010, Joyce et. al defined the leverage centrality of vertices in a graph as a means to analyze functional connections within the human brain. In this metric a degree of a vertex is compared to the degrees of all it neighbors. We investigate this property from a mathematical perspective. We first outline some of the basic properties and then compute leverage centralities of vertices in different families of graphs. In particular, we show there is a surprising connection between the number of distinct leverage centralities in the Cartesian product of paths and the triangle numbers., Comment: 13 pages

A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called balanced, such that no theta subgraph contains exactly two balanced circles. A biased graph $\Omega$ has two natural matroids, the frame matroid $G(\Omega)$, and the lift matroid $L(\Omega)$, and their extensions the full frame matroid $G^{{}^{{}_{{}_\bullet}}\!}(\Omega)$ and the extended (or complete) lift matroid $L_0(\Omega)$. In Part IV we used algebra to study the representations of these matroids by vectors over a skew field and the corresponding embeddings in Desarguesian projective spaces. Here we redevelop those representations, independently of Part IV and in greater generality, by using synthetic geometry., Comment: 48 pp. V2=V3 is the first half of V1; 21 pp. The second half of V1 is now arXiv:1708.00095. V4 28 pp., many minor improvements