arXiv++ Combinatorics

This experimental study presents some interesting conjectured relations between some integer sequences and certain graph parameters of the family of linear Jaco graphs $J_n(x)$ where $n = 1,2,3,\dots$. It appears that $\textit{Golden ratio}$-like floor function terms play an important role in the analysis of the graph structural properties of the family of linear Jaco graphs. The experimental methodology to obtain the conjectures is indeed trivial. However, it is the author's view that the proofs or disproofs of the conjectures may be challenging.

This paper initiates a study on a new optimization problem with regards to graph completion. The defined procedure is called, \emph{Marcello's completion} of a graph. For graph $G$ of order $n$ the \emph{Marcello number} is obtained by iteratively constructing graphs, $G_1,G_2,\dots,G_k$ by adding a maximal number of edges between pairs of distinct, non-adjacent vertices in accordance with the \emph{Marcello rule}. If for smallest $k$ the resultant graph $G_k \cong K_n$ then the Marcello number of a graph $G$ denoted by $\varpi(G)$ is equal to $\varpi(G) = k$. By convention $\varpi(K_n) = 0$, $n \geq 1$. Certain introductory results are presented.

The Thue colouring of a graph is a colouring such that the sequence of vertex colours of any path of even and finite length in $G$ is non-repetitive. The change in the Thue number, $π(G)$, as edges are iteratively removed from a graph $G$ is studied. The notion of the $τ$-index denoted, $τ(G)$, of a graph $G$ is introduced as well. $τ(G)$ serves as a measure for the efficiency of edge deletion to reduce the Thue chromatic number of a graph.

We introduce the concept of a family of finite directed graphs (\emph{positive integer order,} $f(x) = mx + c; x,m \in \Bbb N$ and $c \in \Bbb N_0)$ which are directed graphs derived from an infinite directed graph called the $f(x)$-root digraph. The $f(x)$-root digraph has four fundamental properties which are; $V(J_\infty(f(x))) = \{v_i: i \in \Bbb N\}$ and, if $v_j$ is the head of an arc then the tail is always a vertex $v_i, i < j$ and, if $v_k$ for smallest $k \in \Bbb N$ is a tail vertex then all vertices $v_\ell, k < \ell < j$ are tails of arcs to $v_j$ and finally, the degree of a vertex $v_k$ is $d(v_k) = mk + c$. The family of finite directed graphs are those limited to $n \in \Bbb N$ vertices by lobbing off all vertices (and corresponding arcs) $v_t, t > n.$ Hence, trivially we have $d(v_i) \leq mi + c$ for $i \in \Bbb N.$ It is meant to be an \emph{introductory paper} to encourage further research.

In this paper, we introduce the concept of curling subsequence of simple, finite and connected graphs. A curling subsequence is a maximal subsequence $C$ of the degree sequence of a simple connected graph $G$ for which the curling number $cn(G)$ corresponds to the curling number of the degree sequence per se and hence we call it the curling number of the graph $G$. A maximal degree subsequence with equal entries is called an identity subsequence. The number of identity curling subsequences in a simple connected graph $G$ is denoted $ic(G).$ We show that the curling number conjecture holds for the degree sequence of a simple connected graph $G$ on $n \geq 1$ vertices. We also introduce the notion of the compound curling number of a simple connected graph $G$ and then initiate a study on the curling number of certain standard graphs like Jaco graphs and set-graphs.

A hole of a simple connected graph $G$ is a chordless cycle $C_n,$ where $n \in \Bbb N, n \geq 4,$ in the graph $G$. The girth of a simple connected graph $G$ is the smallest cycle in $G$, if any such cycle exists. It can be observed that all such smallest cycles are necessarily chordless. We call the cycle $C_3$ in a given graph $G$ a primitive hole of that graph. We introduce the notion of the primitive hole number of a graph as the number of primitive holes present in that graph. In this paper, we determine the primitive hole number of certain standard graphs. Also, we determine the primitive hole number of the underlying graph of a Jaco graph, $J^*_{n+1}(1),$ where $n \in \Bbb N, n \geq 4$ recursively in terms of the underlying Jaco graph $J_n(1)$, with prime Jaconian vertex $v_i$. The notion of primitive degree of the vertices of a graph is also introduced and the primitive degree of the vertices of certain graphs is also determined in this paper.

The concept of the \emph{Gutman index}, denoted $Gut(G)$ was introduced for a connected undirected graph $G$. In this note we apply the concept to the underlying graphs of the family of Jaco graphs, (\emph{directed graphs by definition}), and describe a recursive formula for the \emph{Gutman index} $Gut(J^*_{n+1}(x)).$ We also determine the \emph{Gutman index} for the trivial \emph{edge-joint} between Jaco graphs.

Let $G^\rightarrow$ be a simple connected directed graph on $n \geq 2$ vertices and let $V^*$ be a non-empty subset of $V(G^\rightarrow)$ and denote the undirected subgraph induced by $V^*$ by, $\langle V^* \rangle.$ We show that the \emph{competition graph} of the Jaco graph $J_n(1), n \in \Bbb N, n \geq 5,$ denoted by $C(J_n(1))$ is given by:\\ \\ $C(J_n(1)) = \langle V^* \rangle_{V^* = \{v_i|3 \leq i \leq n-1\}} - \{v_iv_{m_i}| m_i = i + d^+_{J_n(1)}(v_i), 3 \leq i \leq n-2\} \cup \{v_1, v_2, v_n\}.$\\ \\ Further to the above, the concept of the \emph{grog number} $g(G^\rightarrow)$ of a simple connected directed graph $G^\rightarrow$ on $n \geq 2$ vertices as well as the general \emph{grog number} of the underlying graph $G$, will be introduced. The \emph{grog number} measures the efficiency of an \emph{optimal predator-prey strategy} if the simple directed graph models an ecological predator-prey web.\\ \\ We also pose four open problems for exploratory research.

The concept of the brush number $b_r(G)$ was introduced for a simple connected undirected graph $G$. The concept will be applied to the Mycielskian graph $μ(G)$ of a simple connected graph $G$ to find $b_r(μ(G))$ in terms of an \emph{optimal orientation} of $G$. We prove a surprisingly simple general result for simple connected graphs on $n \geq 2$ vertices namely: $b_r(μ(G))= b_r(μ^{\rightarrow}(G)) = 2\sum\limits_{i=1}^{n}d^+_{G^{\rightarrow}_{b_r(G)}}(v_i).$

The concept of the brush number $b_r(G)$ was introduced for a simple connected undirected graph $G$. The concept will be applied to the Mycielski Jaco graph $μ(J_n(1)), n \in \Bbb N,$ in respect of an \emph{optimal orientation} of $J_n(1)$ associated with $b_r(J_n(1)).$ Further for the aforesaid, the concept of a \emph{brush centre} of a simple connected graph will be introduced. Because brushes themselves may be technology of kind, the technology in real world application will normally be the subject of maintenance or calibration or virus vetting or alike. Finding a \emph{brush centre} of a graph will allow for well located maintenance centres of the brushes prior to a next cycle of cleaning.

The concept of the brush number $b_r(G)$ was introduced for a simple connected undirected graph $G$. This note extends the concept to a special family of directed graphs and declares that the brush number $b_r(J_n(1))$ of a finite Jaco graph, $J_n(1), n \in \Bbb N$ with prime Jaconian vertex $v_i$ is given by:\\ \\ $b_r(J_n(1)) = \sum\limits_{j=1}^{I}(d^+(v_j) - d^-(v_j)) + \sum\limits_{j=I+1}^{n}max\{0, (n-j) - d^-(v_j)\}.

The concept of the \emph{McPherson number} of a simple connected graph $G$ on $n$ vertices denoted by $Υ(G)$, is introduced. The recursive concept, called the \emph{McPherson recursion}, is a series of \emph{vertex explosions} such that on the first interation a vertex $v \in V(G)$ explodes to arc (directed edges) to all vertices $u \in V(G)$ for which the edge $vu \notin E(G)$, to obtain the mixed graph $G'_1.$ Now $G'_1$ is considered on the second iteration and a vertex $w \in V(G'_1) = V(G)$ may explode to arc to all vertices $z \in V(G'_1)$ if edge $wz \notin E(G)$ and arc $(w, z)$ or $(z, w) \notin E(G'_1).$ The \emph{McPherson number} of a simple connected graph $G$ is the minimum number of iterative vertex explosions say $\ell,$ to obtain the mixed graph $G'_\ell$ such that the underlying graph of $G'_\ell$ denoted $G^*_\ell$ has $G^*_\ell \simeq K_n.$ We determine the \emph{McPherson number} for paths, cycles and $n$-partite graphs. We also determine the \emph{McPherson number} of the finite Jaco Graph $J_n(1), n \in \Bbb N.$ It is hoped that this paper will encourage further exploratory research.

Kok et.al. [7] introduced Jaco Graphs (\emph{order 1}). In this essay we present a recursive formula to determine the \emph{independence number} $α(J_n(1)) = |\Bbb I|$ with, $\Bbb I = \{v_{i,j}| v_1 = v_{1,1} \in \Bbb I$ and $v_i = v_{i,j} =v_{(d^+(v_{m, (j-1)}) + m +1)}\}.$ We also prove that for the Jaco Graph, $J_n(1), n \in \Bbb N$ with the prime Jaconian vertex $v_i$ the chromatic number, $χ(J_n(1))$ is given by: \begin{equation*} χ(J_n(1)) \begin{cases} = (n-i) + 1, &\text{if and only if the edge $v_iv_n$ exists,}\\ \\ = n-i &\text{otherwise.} \end{cases} \end{equation*} We further our exploration in respect of \emph{domination numbers, bondage numbers} and declare the concept of the \emph{murtage number} of a simple connected graph $G$, denoted $m(G)$. We conclude by proving that for any Jaco Graph $J_n(1), n \in \Bbb N$ we have that $0 \leq m(J_n(1)) \leq 3.$

Parking functions are well researched and interesting results are found in the listed references and more. Some introductory results stemming from application to degree sequences of simple connected graphs are provided in this paper. Amongst others, the result namely, that a derivative degree sequence, $d_d(G) \in \Bbb D_d(G)= \{(\lceil\frac{d(v_1}{\ell}\rceil, \lceil\frac{d(v_2)}{\ell}\rceil, \lceil\frac{d(v_3)}{\ell}\rceil, ..., \lceil\frac{d(v_n)}{\ell}\rceil| \ell = d(v_i), \forall i,$ with $d(v_i)\geq 2\},$ of a simple connected graph $G$ is a parking function, is presented. We also introduce the concept of \emph{looping degree sequences} and the \emph{looping number}, $ξ(G)$. Four open problems are proposed as well.

Kok et.al. [3] introduced Jaco Graphs \emph{(order 1)}. It is hoped that as a special case, a closed formula can be found for the number of edges of a finite Jaco Graph $J_n(1)$. However, the algorithms discussed in Ahlbach et.al. [1] suggest this might not be possible. Finding a closed formula for the number of edges of a Jaco Graph $J_n(1), n \in \Bbb N$ remains an interesting open problem. In this note we present three alternative, \emph{formula}.

The topological indices $irr(G)$ related to the \emph{first Zagreb index,} $M_1(G)$ and the \emph{second Zagreb index,} $M_2(G)$ are the oldest irregularity measures researched. Alberton $[3]$ introduced the \emph{irregularity} of $G$ as $irr(G) = \sum\limits_{e \in E(G)}imb(e), imb(e) = |d(v) - d(u)|_{e=vu}$. In the paper of Fath-Tabar $[7]$, Alberton's indice was named the \emph{third Zagreb indice} to conform with the terminology of chemical graph theory. Recently Ado et.al. $[1]$ introduced the topological indice called \emph{total irregularity}. The latter could be called the \emph{fourth Zagreb indice}. we define the $\pm$\emph{Fibonacci weight,} $f^\pm_i$ of a vertex $v_i$ to be $-f_{d(v_i)},$ if $d(v_i)$ is uneven and $f_{d(v_i)}$, if $d(v_i)$ is even. From the aforesaid we define the $f^\pm$-Zagreb indices. This paper presents introductory results for the undirected underlying graphs of Jaco Graphs, $J_n(1), n \leq 12$. For more on Jaco Graphs $J_n(1)$ see $[9, 10]$. Finally we introduce the \emph{Khazamula irregularity} as a new topological variant.

The total irregularity of a simple undirected graph $G$ is denoted by $irr_t(G)$ and is defined as $irr_t(G) = \frac{1}{2}\sum\limits_{u,v \in V(G)}|d(u) - d(v)|$. In this paper, the concept called edge-transformation in relation to total irregularity of simple undirected graphs with at least one cut edge is introduced. We also introduce the concept of an edge-joint between two simple undirected graphs. We also introduce the concept of total irregularity in respect of in-degree and out-degree in simple directed graphs. These invariants are called total in-irregularity and total out-irregularity respectively. In this paper, we initiate a study on these parameters of given simple undirected graphs and simple digraphs.

Total irregularity of a simple undirected graph $G$ is defined to be $irr_t(G) = \frac{1}{2}\sum\limits_{u, v \in V(G)}|d(u) - d(v)|$. See Abdo and Dimitrov [2]. We allocate the \emph{Fibonacci weight,} $f_i$ to a vertex $v_j$ of a simple connected graph, if and only if $d(v_j) = i$ and define the \emph{total fibonaccian irregularity} or $f_t-irregularity$ denoted $firr_t(G)$ for brevity, as: $firr_t(G) = \sum\limits_{i=1}^{n-1}\sum\limits_{j=i+1}^{n}|f_i - f_j|.$ The concept of an \emph{edge-joint} is also introduced to be the simple undirected graph obtained from two simple undirected graphs $G$ and $H$ by linking the edge $vu_{v \in V(G), u \in V(H)}$. This paper presents results for the undirected underlying graphs of Jaco Graphs, $J_n(x)$. Finally we pose an open problem with regards to $firr_t^\pm(G).$

We introduce the concept of a family of finite directed graphs (order a) which are directed graphs derived from an infinite directed graph (order a), called the a-root digraph. The a-root digraph has four fundamental properties which are; $V(J_\infty(a)) = \{v_i|i \in \Bbb N\}$ and, if $v_j$ is the head of an edge (arc) then the tail is always a vertex $v_i, i<j$ and, if$v_k$ for smallest $k \in \Bbb N$ is a tail vertex then all vertices $v_\ell, k< \ell < j$ are tails of arcs to $v_j$ and finally, the degree of vertex $k$ is $d(v_k) = ak.$ The family of finite directed graphs are those limited to $n \in \Bbb N$ vertices by lobbing off all vertices (and edges arcing to vertices)$v_t, t> n.$ Hence, trivially we have $d(v_i) \leq ai$ for $i \in \Bbb N.$ We present an interesting Lucassian-Zeckendorf result and other general results of interest. It is meant to be an introductory paper to encourage exploratory research.

We introduce the concept of a family of finite directed graphs (order 1) which are directed graphs derived from an infinite directed graph (order 1), called the 1-root digraph. The 1-root digraph has four fundamental properties which are; $V(J_\infty(1)) = \{v_i|i \in \Bbb N\}$ and, if $v_j$ is the head of an edge (arc) then the tail is always a vertex $v_i, i<j$ and, if $v_k$, for smallest $k \in \Bbb N$ is a tail vertex then all vertices $v_\ell, k< \ell <j$ are tails of arcs to $v_j$ and finally, the degree of vertex $k$ is $d(v_k) = k.$ The family of finite directed graphs are those limited to $n \in \Bbb N$ vertices by lobbing off all vertices (and edges arcing to vertices) $v_t, t> n.$ Hence, trivially we have $d(v_i) \leq i$ for $i \in \Bbb N$. We present an interesting Fibonaccian-Zeckendorf result and present the Fisher Algorithm to table particular values of interest. It is meant to be an introductory paper to encourage exploratory research.