Fibonacci Graphs

Abstract

Apart from its applications in Chemistry, Biology, Physics, Social Sciences, Anthropology, etc., there are close relations between graph theory and other areas of Mathematics. Fibonacci numbers are of utmost interest due to their relation with the golden ratio and also due to many applications in different areas from Biology, Architecture, Anatomy to Finance. In this paper, we define Fibonacci graphs as graphs having degree sequence consisting of n consecutive Fibonacci numbers and use the invariant $\Omega$ to obtain some more information on these graphs. We give the necessary and sufficient conditions for the realizability of a set D of n successive Fibonacci numbers for every n and also list all possible realizations called Fibonacci graphs for $1\le n\le 4$.

1. Introduction

Graph theory is one of the most popular subjects in mathematics as it can be applied to any area of science. One may easily found applications of graphs in networks, physics, electronical engineering, chemistry, molecular biology, pharmacology, transportation, trade, city planning, economy etc. Several mathematicians studied interrelations between number theory and graph theory and connected several properties of numbers with graphs. Every eigenvalue of a tree is a totally real algebraic integer and every totally real algebraic integer is a tree eigenvalue. So there is a close relation between algebraic number theory and spectral graph theory. In the network topology, for example in a hypercube convenient for parallel processing, the vertices are labeled with binary n-tuples if the hypercube is n dimensional. In [1], Erdös used graphs to prove a number theoretical inequality for the maximum number of integers less than a positive integer n no one of which divides the others. In this paper, we introduce graphs whose degree sequences consist of consecutive Fibonacci numbers and call them Fibonacci graphs.

The Fibonacci sequence is a famous number sequence whose name comes from the Italian Mathematician Leonardo Pisano, Fibonacci or Leonardo of Pisa lived between 1170–1240 in Italy. This number sequence $1,1,2,3,5,8,13,21,34,55,89,\cdots$ is called Fibonacci sequence. Let $F_r$ be the r-th Fibonacci number. Taking $F_1=1,F_2=1$ as initial conditions, these numbers satisfy the recurrence relation $F_r=F_{r-1}+F_{r-2}$ for $r\ge 3$.

In [2], some graphs called Fibonacci cube graphs have been defined and studied. A Fibonacci cube graph of order n is a graph on $F_{n+2}$ vertices labeled by the Zeckendorf representations of the numbers 0 to $F_{(}n+2)-1$ so that two vertices are connected by an edge iff their labels differ by a single bit, i.e., if the Hamming distance between them is exactly 1. Note that our definition of Fibonacci graph of order n means a graph with n vertices with degrees equal to n successive Fibonacci numbers.

The rest of the paper is organized as follows. In Section 2, the necessary definitions and results related to $\Omega$ invariant are recalled. In Section 3, the so-called Fibonacci graphs of order 1 to 4 are catalogued and their properties are studied. For an arbitrary non-negative integer n, the necessary and sufficient conditions for the existence of a Fibonacci graph of order n are established. The number of loops which is equal to the number of faces of the graph is formulized in all cases by means of the $\Omega$ invariant.

2. Fundamentals and $\Omega$ Invariant

Let $G=(V,E)$ be a graph of order n and size m. Let the degree of a vertex $v\in V\left(G\right)$ be denoted by $d_v$. A vertex with vertex degree one is called a pendant vertex and an edge having a pendant vertex is similarly called a pendant edge. The biggest vertex degree is denoted by $\Delta$. A well-known result known as the handshaking lemma states that the sum of vertex degrees in any graph is equal to twice the number of edges of the graph. If u and v are two adjacent vertices of G, then the edge e between them is denoted by $e=uv$ and also the vertices u and v are called adjacent vertices. The edge e is said to be incident with u and v. A support vertex is a vertex adjacent to a pendant vertex. If there is a path between every pair of vertices, then the graph is called connected.

In many cases, we classify our graphs according to the number of cycles. A graph having no cycle is called acyclic. For example, all trees, paths, star graphs are acyclic. A graph which is not acyclic will be called cyclic. If a graph has one, two, three cycles, then it is called unicyclic, bicyclic and tricyclic, respectively.

A loop is an edge starting end ending at the same vertex. Two or more edges connecting the same pair of vertices are called multiple edges. A graph is called simple if there are no loops nor multiple edges. Usually, simple graphs are preferable in many research, but in this work we shall make use of graphs with small order and much larger size making those graphs non-simple.

Considered with multiplicities, a degree sequence is written as

$$D=\{{d_1}^{\left(a_1\right)},{d_2}^{\left(a_2\right)},{d_3}^{\left(a_3\right)},\cdots ,{\Delta }^{\left(a_{\Delta }\right)}\}$$

where $a_i$’s are positive integers corresponding to the number of vertices of degree $d_i$. It is also possible to state a degree sequence as

$$D=\{1^{\left(a_1\right)},2^{\left(a_2\right)},3^{\left(a_3\right)},\cdots ,{\Delta }^{\left(a_{\Delta }\right)}\}$$

where some of $a_i$’s could be zero.

Let $D=\{d_1,d_2,d_3,\cdots ,\Delta \}$ be a set of non-decreasing non-negative integers. If there exists a graph G with degree sequence D, then D is said to be realizable and G is a realization of D. There is no formula for the number of realizations of a degree sequence and it is known that this number is quite big. The most well-known and effective results to determine the realizability are Havel-Hakimi and Erdös-Gallai, see [3,4]. There are some other techniques as well.

The degree sequence of some frequent graphs are as follows: $D\left(P_n\right)=\{1^{\left(2\right)},2^{(n-2)}\}$, $D\left(C_n\right)=\left\{2^{\left(n\right)}\right\}$, $D\left(S_n\right)=\{1^{(n-1)},{(n-1)}^{\left(1\right)}\}$, $D\left(K_n\right)=\left\{{(n-1)}^{\left(n\right)}\right\}$, $D\left(K_{r,s}\right)=\{r^{\left(s\right)},s^{\left(r\right)}\}$ and $D\left(T_{r,s}\right)=\{1^{\left(1\right)},2^{(r+s-2)},3^{\left(1\right)}\}$.

In this paper, we utilize some graph classes with one, two, three or four vertices. The ones with one and two vertices were defined and used in solving the problem of finding the maximum number of components amongst all realizations of a given degree sequence in [5]. A graph having q loops at a single vertex is denoted by $L_q$. Some $L_q$’s are seen in Figure 1:

Let $r,s\in \mathbb{N}$. $B_{r,s}$ is the graph having r loops at one end of an edge and s loops at the other. Some $B_{r,s}$ graphs are seen in Figure 2:

A connected graph having three vertices $u,v,w$ of degrees $2a+1$, $2b+2$ and $2c+1$ with $a,b,c$ are integers, respectively, is a graph consisting of a path $P_3=\{u,v,w\}$ such that a loops are incident to u, b loops are incident to v and c loops are incident to w. It will be denoted by $T_{a,b,c}$, see Figure 3.

A connected graph of four vertices $u,v,w,z$ having degrees $2a+1$, $2b+2$, $2c+2$ and $2d+1$ with $a,b,c,d$ are integers, is a graph consisting of a path $P_4=\{u,v,w,z\}$ so that a loops are incident to u, b loops are incident to v, c loops are incident to w and d loops are incident to z. It is denoted by $Q_{a,b,c,d}$, see Figure 4.

For non-negative integers r and k, the notation “$r\left[k\right]$” will mean that k loops are attached at a new vertex on one of the r loops incident to others. For non-negative integers $r,k_1,k_2,\cdots ,k_t$, the notation “$r[k_1,k_2,\cdots ,k_t]$” will mean that $k_1$ loops are attached to one of the loops of degree r at a new vertex, $k_2$ loops are attached to another loop of degree r at a another new vertex, and continuing this way, $k_t$ loops are attached to yet another one of the loops of degree r at another new vertex. Finally, the notation “$r[k_1;k_2;\cdots ;k_t]$” will mean that $k_1$ loops are attached to one of the loops of degree r at a new vertex, $k_2$ loops are attached to the same loop at a another new vertex, and continuing this way, $k_t$ loops are attached to the same loop at another new vertex. To illustrate the definitions, the notations $B_{2\left[3\right],1}$, $B_{2[3,1],1}$ and $T_{2[3;1],1}$ corresponds to graphs shown in Figure 5, Figure 6 and Figure 7:

The following fact on Fibonacci numbers will be frequently used in this paper:

Observation 1.

Fibonacci numbers follows the rule odd, odd, even, odd, odd, even, ⋯. That is, the index r of a Fibonacci number$F_r$is divisible by 3, then$F_r$is even.

Fibonacci numbers have several interesting properties and there are a lot of identities about them. For example, there is a formula for the sum $F_1+F_2+\cdots +F_r$. This formula is given in the following result:

Theorem 1.

[6] The sum of the first r Fibonacci numbers satisfy the following equality

$${\Sigma }_{i=1}^r{F}_i=F_{r+2}-1.$$

Some obvious consequences of this result are below:

Corollary 1.

(i)$F_r+F_{r+1}+\cdots +F_k=F_{k+2}-F_{r+1}$.(ii)$F_{r+3}-F_r=2F_{r+1}$.

We shall call a graph a Fibonacci graph if all its vertex degrees are consecutive Fibonacci numbers. We shall study the existence of Fibonacci graphs where the degree sequence has 1, 2, 3 or 4 elements.

Let G be a realization of a degree sequence D. We recall the definition and some properties of $\Omega \left(G\right)$ from [5,7,8,9,10]. The number $a_1$ of leaves of a tree T is

$$a_1=2+a_3+2a_4+3a_5+4a_6+\cdots +(\Delta -2)a_{\Delta },$$

(1)

where $a_i$ is the number of vertices of degree i. Note that Equation (1) can be reformulized as

$$a_3+2a_4+3a_5+4a_6+\cdots +(\Delta -2)a_{\Delta }-a_1=-2.$$

(2)

Generalizing this equation, $\Omega \left(D\right)$ is defined in [7] as follows:

Definition 1.

Let$D=\{1^{\left(a_1\right)},2^{\left(a_2\right)},3^{\left(a_3\right)},\cdots ,{\Delta }^{\left(a_{\Delta }\right)}\}$be the degree sequence of a graph G. The$\Omega \left(G\right)$of G is defined in terms of D as

$$\begin{array}{cc}\hfill \Omega \left(G\right)& =a_3+2a_4+3a_5+\cdots +(\Delta -2)a_{\Delta }-a_1\hfill \\ & {\displaystyle =\sum _{i=1}^{\Delta }(i-2)a_i.}\hfill \end{array}$$

$\Omega$ invariant of a tree T, path graph $P_n$, cycle graph $C_n$, star graph $S_n$, complete graph $K_n$, tadpole graph $T_{r,s}$ and complete bipartite graph $K_{r,s}$ where $n=r+s$ in the latter two cases are

$$\begin{array}{ccc}\Omega \left(C_n\right)\hfill & =\hfill & 0\hfill \\ \Omega \left(P_n\right)\hfill & =\hfill & -2\hfill \\ \Omega \left(S_n\right)\hfill & =\hfill & -2\hfill \\ \Omega \left(T\right)\hfill & =\hfill & -2\hfill \\ \Omega \left(K_n\right)\hfill & =\hfill & n(n-3)\hfill \\ \Omega \left(K_{r,s}\right)\hfill & =\hfill & 2[rs-(r+s\left)\right]\hfill \\ \Omega \left(T_{r,s}\right)\hfill & =\hfill & 0.\hfill \end{array}$$

Note that the fact $\Omega$ invariant of a path, star or a tree is $-2$ is true for all connected acyclic graphs as stated in [7].

We recall some basic properties of $\Omega$ invariant. In most cases, we face with some disconnected graphs. The following result shows the additivity of $\Omega$ invariant:

Theorem 2.

[7] Let G be a disconnected graph with c components$G_1,G_2,\cdots ,G_c$. Then

$$\Omega \left(G\right)=\sum _{i=1}^c\Omega \left(G_i\right).$$

The following relation is a useful tool in finding $\Omega \left(G\right)$ of a given graph G and is used frequently:

Theorem 3.

[7] For any graph G,

$$\Omega \left(G\right)=2(m-n).$$

That is, $\Omega$ invariant is always even. Hence, if $\Omega \left(D\right)$ is an odd integer for any set D of non-negative integers, as a new realizability test, we can conclude that D is not realizable.

The number r of independent cycles in a connected graph G which is well-known as the cyclomatic number of G can be stated in terms of $\Omega$ invariant:

Theorem 4.

[7] Let$D=\{1^{\left(a_1\right)},2^{\left(a_2\right)},3^{\left(a_3\right)},\cdots ,{\Delta }^{\left(a_{\Delta }\right)}\}$. If D is realizable as a connected planar graph G, then the number r of faces (closed regions) is given by

$$r=\frac{\Omega \left(G\right)}{2}+1.$$

This result is used in many applications. The following is a generalization to disconnected graphs:

Corollary 2.

[7] Let$D=\{1^{\left(a_1\right)},2^{\left(a_2\right)},3^{\left(a_3\right)},\cdots ,{\Delta }^{\left(a_{\Delta }\right)}\}$be realizable as a graph G with c components. The number r of faces of G is given by

$$r=\frac{\Omega \left(G\right)}{2}+c.$$

In [5], the maximum possible number of components amongst all realizations of a degree sequence was given by the formula

$${\displaystyle c_{max}=\sum _{d_{i}even}{a}_i+\frac{1}{2}\sum _{d_{i}odd}{a}_i.}$$

(3)

In any graph, there are edges, vertices and faces. These three graph parameters frequently appear as bridges, cut vertices, pendant vertices, chords, loops, multiple edges, pendant edges, etc. For the fundamental notions in Graph Theory, see [11,12,13,14,15].

3. Existence Conditions for Fibonacci Graphs

In this section, we show the existence of graphs with n consecutive Fibonacci numbers as their vertex degrees. That is, we are looking for graphs with degree sequence consisting of n consecutive Fibonacci numbers. This problem can be restated as follows: Which sets having n consecutive Fibonacci numbers are realizable as graphs? We shall solve this problem by means of the $\Omega$ invariant.

3.1. Fibonacci Graphs of Order 1

We now start with the Fibonacci graphs of 1 vertex. These are the graphs consisting of a single vertex with degree a Fibonacci number.

Theorem 5.

A graph with one vertex is a Fibonacci graph if and only if its size is$F_{3k}/2$for some positive integer k. In this case, the graph is$L_{F_{3k}/2}$.

Proof. 

$(\Leftarrow )$ Let a graph G with one vertex be of size $F_{3k}/2$. Then as there is only one vertex, say v, all ends of the edges are v. Therefore the degree of v is twice $F_{3k}/2$ which is $F_{3k}$ and this shows that the graph is a Fibonacci graph.

$(\Rightarrow )$ Let G be a Fibonacci graph with one vertex v. As G is a Fibonacci graph, $d_v=F_r$ for some positive integer r. The sum of vertex degrees which is equal to the degree $d_v$ of v must be even. Therefore $F_r$ must be even which is possible when r is divisible by 3. □

In such a case, the degree sequence of this graph having one vertex must be $D=\left\{F_{3k}^{\left(1\right)}\right\}$. Hence, its realization would be the graph $L_{F_{3k}/2}$ and $\Omega \left(L_{F_{3k}/2}\right)=F_{3k}-2$. Hence all Fibonacci graphs of order 1 may have 1, 4, 17, 72, 305 faces, that is, they are $L_1$, $L_4$, $L_{17}$, $L_{72}$, $L_{305}$, ⋯, $L_{F_{3k}/2}$, ⋯. Therefore we showed

Corollary 3.

A graph with one vertex is a Fibonacci graph iff it has$L_{F_{3k}/2}$faces for some positive integer k.

3.2. Fibonacci Graphs of Order 2

We now discuss the Fibonacci graphs having two vertices. Namely, we want to find which sets consisting of two consecutive Fibonacci numbers are realizable. By the Observation 1, only the Fibonacci numbers $F_3,F_6,F_9,F_{12},\cdots$ are even. So to have $F_r$ and $F_{r+1}$ as the vertex degrees of a Fibonacci graph having two vertices, the graph must be connected and also we must have $r\equiv 1modulo3$. That is, the degrees of the vertices must be $F_{3k+1}$ and $F_{3k+2}$ for some integer k. If the graph is disconnected, then two components must have orders $F_{3k+1}$ and $F_{3k+2}$. But this is a contradiction with the Handshaking Lemma. Therefore, we proved

Theorem 6.

A graph with two vertices is a Fibonacci graph iff its degree sequence is$D=\left\{F_{3k+1}^{\left(1\right)},F_{3k+2}^{\left(1\right)}\right\}$for some integer k.

In this case, the graph is $B_{(F_{3k+2}-1)/2,(F_{3k+1}-1)/2}$ with $\Omega$ invariant

$$\Omega \left(B_{(F_{3k+2}-1)/2,(F_{3k+1}-1)/2}\right)=\left(F_{3k+1}-2\right)·1+\left(F_{3k+2}-2\right)·1=F_{3k+3}-4.$$

Hence

$$\frac{\Omega \left(G\right)}{2}+1=\frac{F_{3k+3}-4}{2}+1=\frac{F_{3k+3}-2}{2}.$$

(4)

This proves the following:

Corollary 4.

If a graph of order 2 is a Fibonacci graph, then it has$\frac{F_{3k+3}-2}{2}$faces for some integer k.

Note that the converse may not be true.

For $k=0$, the vertex degrees are $F_1$ and $F_2$ and by Equation (3), the maximum number of components is

$${\displaystyle c_{max}=\sum _{d_{i}even}{a}_i+\frac{1}{2}\sum _{d_{i}odd}{a}_i={\displaystyle \frac{1}{2}}\left(1+1\right)=1.}$$

Therefore there is only one connected graph given in Figure 8:

This graph is $B_{0,0}$ and by Equation (4), there are $\frac{2-2}{2}=0$ faces, implying that the graph is acyclic.

For $k=1$, the vertex degrees are $F_4=3$ and $F_5=5$. Similarly to the above, there is only one connected graph given in Figure 9:

This graph is $B_{2,1}$. Note that by Equation (4), there are $\frac{8-2}{2}=3$ faces in $B_{2,1}$.

In summary, when $n=2$, for each non-negative integer k, the only connected Fibonacci graphs are $B_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}}$ and each of them has $\frac{F_{3k+2}-1}{2}$ loops at one end, $\frac{F_{3k+1}-1}{2}$ loops at the other end and $\frac{F_{3k+3}-2}{2}$ faces.

3.3. Fibonacci Graphs of Order 3

Now we take Fibonacci graphs with three vertices. Note that, the sum of three consecutive Fibonacci numbers is always even, implying the following result:

Theorem 7.

Every degree sequence consisting of any three consecutive Fibonacci numbers is realizable as a Fibonacci graph.

So there are three possibilities for the degree sequence of such a graph where k is a non-negative integer: $\{F_{3k+1}^{\left(1\right)},F_{3k+2}^{\left(1\right)},F_{3k+3}^{\left(1\right)}\}$, $\{F_{3k+2}^{\left(1\right)},F_{3k+3}^{\left(1\right)},F_{3k+4}^{\left(1\right)}\}$ or $\{F_{3k+3}^{\left(1\right)},F_{3k+4}^{\left(1\right)},F_{3k+5}^{\left(1\right)}\}$. In each of these cases, we have one even and two odd integers. Hence, the maximum number of components is

$${\displaystyle c_{max}=\sum _{d_{i}even}{a}_i+\frac{1}{2}\sum _{d_{i}odd}{a}_i=1+{\displaystyle \frac{1}{2}}\left(1+1\right)=2.}$$

A Fibonacci graph with three vertices can be connected or may have two components. This is because there are two odd degrees and an even one. A realization of 3 components is impossible as two components would have total vertex degree odd. So, for the three degree sequences above, two odd degree vertices must belong to the same component, and the other vertex could belong to this component causing a connected graph, or could form a second component. We now consider these possibilities:

Case 1.

First let$D=\left\{F_{3k+1}^{\left(1\right)},F_{3k+2}^{\left(1\right)},F_{3k+3}^{\left(1\right)}\right\}.$In this case, Ω of D is

$$\begin{array}{cc}\hfill \Omega \left(D\right)& =\left(F_{3k+1}-2\right)·1+\left(F_{3k+2}-2\right)·1+\left(F_{3k+3}-2\right)·1\hfill \\ & =2F_{3k+3}-6.\hfill \end{array}$$

As $\Omega \left(D\right)$ is even, D is always realizable by Theorem 3. For the case of $k=0$ where $F_1=1$,$F_2=1,F_3=2$, the only possible connected realization is in Figure 10:

which is a path graph $P_3$ which has $r=\frac{2F_3-6}{2}+1=0$ faces. The unique disconnected realization of D is given in Figure 11:

which is the graph $B_{0,0}\cup L_1$ (or $P_2\cup L_1$) and it has $\frac{2F_3-6}{2}+2=1$ faces, i.e., it is unicyclic.

Let us now consider $D=\{F_{3k+1}^{\left(1\right)},F_{3k+2}^{\left(1\right)},F_{3k+3}^{\left(1\right)}\}$ for $k\ge 1$. By the above discussion, it is not difficult to determine the existence of the following three connected realizations of D given in Figure 12:

which are $T_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+3}-2}{2},\frac{F_{3k+1}-1}{2}}$, $T_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right],\frac{F_{3k+1}-1}{2}}$ and $T_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right]}$, respectively. In all these graphs, the number of faces is $\frac{2F_{3k+3}-6}{2}+1=F_{3k+3}-2$. The fourth and final realization of D is a disconnected graph $B_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-2}{2}}\cup L_{\frac{F_{3k+3}}{2}}$ in Figure 13 which has $\frac{2F_{3k+3}-6}{2}+2=F_{3k+3}-1$ faces.

Case 2.

Let us secondly take$D=\left\{F_{3k+2}^{\left(1\right)},F_{3k+3}^{\left(1\right)},F_{3k+4}^{\left(1\right)}\right\}$. We have$\Omega \left(G\right)=2F_{3k+4}-6.$Note that$F_{3k+2}$and$F_{3k+4}$are odd and$F_{3k+3}$is even. In the singular case of$k=0$where three consecutive Fibonacci numbers are$F_2=1,F_3=2,F_4=3$, there are three possible graphs as below: two are connected and one is disconnected. The first and second graphs in Figure 14 have the number of faces 1 which is compatible with Theorem 4 and the third graph has 2 faces which is compatible with Corollary 2. These graphs are named by$T_{1,0,0}$,$T_{1\left[0\right],0}$and$B_{1,0}\cup L_1$, respectively.

Now, we take D as a set of three consecutive Fibonacci numbers $F_{3k+2}$, $F_{3k+3}$, $F_{3k+4}$ for $k\ge 1$. There are four graph realizations, three are connected, see Figure 15, and one is disconnected, see Figure 16. The connected ones are

which are respectively denoted by $T_{\frac{F_{3k+4}-1}{2},\frac{F_{3k+3}-2}{2},\frac{F_{3k+2}-1}{2}}$, $T_{\frac{F_{3k+4}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right],\frac{F_{3k+2}-1}{2}}$ and finally by $T_{\frac{F_{3k+4}-1}{2},\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right]}$ which all have $F_{3k+4}-2$ faces. Finally, there is a disconnected realization of D given in Figure 16: which is denoted by $B_{\frac{F_{3k+4}-1}{2},\frac{F_{3k+2}-1}{2}}\cup L_{\frac{F_{3k+3}}{2}}$. It has $F_{3k+4}-1$ faces.

Case 3.

If we take$D=\left\{F_{3k+3}^{\left(1\right)},F_{3k+4}^{\left(1\right)},F_{3k+5}^{\left(1\right)}\right\}$. Then similarly,$\Omega \left(G\right)=2F_{3k+5}-6.$We have no singular case and there are four realizations, the first three are connected and the last one is disconnected. The connected realizations are in Figure 17.

They all have $F_{3k+5}-2$ faces. Also, there is a disconnected realization with $F_{3k+5}-1$ faces given in Figure 18.

We have the following generalization:

Corollary 5.

For a positive integer s, every set consisting of consecutive$n=3s$Fibonacci numbers is realizable as a Fibonacci graph of order$3s$.

3.4. Fibonacci Graphs of Order 4

Finally, we discuss the case of $n=4$. We want to have a degree sequence with four consecutive Fibonacci numbers to be realizable. We have

Theorem 8.

Let$F_r,F_{r+1},F_{r+2},F_{r+3}$be four consecutive Fibonacci numbers.

$$D=\{F_r,F_{r+1},F_{r+2},F_{r+3}\}$$

is realizable iff r is a multiple of 3.

Proof. 

$(\Rightarrow )$ Let us take four consecutive Fibonacci numbers $F_r,F_{r+1},F_{r+2},F_{r+3}$. The sum of these numbers must be even. If E denotes an even number and O denotes an odd one, by Observation 1.1, the possible sums are E+O+O+E, O+O+E+O or O+E+O+O when $r\equiv 0,1$ or $2modulo3$, respectively. Therefore the result.

$(\Leftarrow )$ If r is a multiple of 3, then $F_r$ and $F_{r+3}$ are even and $F_{r+1}$ and $F_{r+2}$ are odd giving the realizability of D. □

Hence, the only possible degree sequence for a Fibonacci graph of order 4 is

$$D=\left\{F_{3k}^{\left(1\right)},F_{3k+1}^{\left(1\right)},F_{3k+2}^{\left(1\right)},F_{3k+3}^{\left(1\right)}\right\}$$

for a positive integer k. For such a degree sequence, $\Omega \left(D\right)=F_{3k+2}+F_{3k+4}-8$ is even implying that D is realizable by Theorem 3. Also

$${\displaystyle c_{max}=\sum _{d_{i}even}{a}_i+\frac{1}{2}\sum _{d_{i}odd}{a}_i=(1+1)+{\displaystyle \frac{1}{2}}\left(1+1\right)=3.}$$

That is, any realization of D might have at most three components.

If we take $k=1$, we get $F_3,F_4,F_5,F_6$ and we would have realizations having one, two or three components. The fourteen connected realizations are $B_{2[3,0],1}$, $B_{2\left[0\right],1\left[3\right]}$, $B_{2\left[3\right],1\left[0\right]}$, $B_{2,1\left[3\right[0\left]\right]}$, $B_{2\left[3\right[0\left]\right],1}$, $B_{2,1[3,0]}$, $B_{2[3,0],1}$, $T_{2\left[3\right],0,1}$, $T_{2,3,1\left[0\right]}$, $T_{2\left[0\right],3,1}$, $T_{2,0,1\left[3\right]}$, $T_{2,3\left[0\right],1}$, $Q_{2,0,3,1}$, $Q_{2,3,0,1}$. There are seven disconnected realizations with two components which are $B_{2,1}\cup L_{4\left[0\right]}$, $B_{2\left[0\right],1}\cup L_4$, $B_{2,1\left[0\right]}\cup L_4$, $B_{2\left[3\right],1}\cup L_1$, $B_{2,1\left[3\right]}\cup L_1$, $T_{2,0,1}\cup L_4$, $T_{2,3,1}\cup L_1$, and finally there is a unique disconnected realization with three components $B_{2,1}\cup L_4\cup L_1$. In general case where $k\ge 2$, we have eighteen connected realizations

$$\begin{array}{cc}{B}_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k+3}-2}{2}\left[\frac{F_{3k}-2}{2}\right]\right]},\hfill & B_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k}-2}{2}\left[\frac{F_{3k+3}-2}{2}\right]\right]},\hfill \\ B_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k}-2}{2}\left[\frac{F_{3k+3}-2}{2}\right]\right],\frac{F_{3k+1}-1}{2}},\hfill & B_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k+3}-2}{2}\left[\frac{F_{3k}-2}{2}\right]\right],\frac{F_{3k+1}-1}{2}},\hfill \\ B_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k+3}-2}{2},\frac{F_{3k}-2}{2}\right]},\hfill & B_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k+3}-2}{2},\frac{F_{3k}-2}{2}\right],\frac{F_{3k+1}-1}{2}},\hfill \\ B_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right],\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k}-2}{2}\right]},\hfill & B_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k}-2}{2}\right],\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right]},\hfill \\ B_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k+3}-2}{2},\frac{F_{3k}-2}{2}\right],\frac{F_{3k+1}-1}{2}},\hfill & B_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}}\left[\frac{F_{3k+3}-2}{2},\frac{F_{3k}-2}{2}\right],\hfill \\ T_{\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right],\frac{F_{3k}-2}{2},\frac{F_{3k+1}-1}{2}},\hfill & T_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+3}-2}{2},\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k}-2}{2}\right]},\hfill \\ T_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k}-2}{2}\right],\frac{F_{3k+3}-2}{2},\frac{F_{3k+1}-1}{2}},\hfill & T_{\frac{F_{3k+2}-1}{2},\frac{F_{3k}-2}{2},\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right]},\hfill \\ T_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+3}-2}{2}\left[\frac{F_{3k}-2}{2}\right],\frac{F_{3k+1}-1}{2}},\hfill & T_{\frac{F_{3k+2}-1}{2},\frac{F_{3k}-2}{2}\left[\frac{F_{3k+3}-2}{2}\right],\frac{F_{3k+1}-1}{2}},\hfill \\ Q_{\frac{F_{3k+2}-1}{2}\frac{F_{3k}-2}{2},\frac{F_{3k+3}-2}{2},\frac{F_{3k+1}-1}{2}},\hfill & Q_{\frac{F_{3k+2}-1}{2}\frac{F_{3k+3}-2}{2},\frac{F_{3k}-2}{2},\frac{F_{3k+1}-1}{2}};\hfill \end{array}$$

seven disconnected realizations

$$\begin{array}{cc}{B}_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}}\cup L_{\frac{F_{3k+3}}{2}\left[\frac{F_{3k}-2}{2}\right]},\hfill & B_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k}-2}{2}\right],\frac{F_{3k+1}-1}{2}}\cup L_{\frac{F_{3k+3}}{2}},\hfill \\ B_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k}-2}{2}\right]}\cup L_{\frac{F_{3k+3}}{2}},\hfill & B_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right]}\cup L_{\frac{F_{3k}}{2}},\hfill \\ B_{\frac{F_{3k+2}-1}{2}\left[\frac{F_{3k+3}-2}{2}\right],\frac{F_{3k+1}-1}{2}}\cup L_{\frac{F_{3k}}{2}},\hfill & T_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+3}-2}{2},\frac{F_{3k+1}-1}{2}}\cup L_{\frac{F_{3k}}{2}},\hfill \\ T_{\frac{F_{3k+2}-1}{2},\frac{F_{3k}-2}{2},\frac{F_{3k+1}-1}{2}}\cup L_{\frac{F_{3k+3}}{2}},\hfill \end{array}$$

having two components, and a unique disconnected realization $B_{\frac{F_{3k+2}-1}{2},\frac{F_{3k+1}-1}{2}}\cup L_{\frac{F_{3k+3}}{2}}\cup L_{\frac{F_{3k}}{2}}$ with three components.

3.5. Fibonacci Graphs of Order $N\ge 5$

In the above four subsections, we established the conditions for a set of n consecutive Fibonacci numbers to be realizable where $1\le n\le 4$, and generalized these to sets of length $n=3s$. Therefore, only two cases where $n=3s+1$ and $n=3s+2$ remains:

Corollary 6.

(i) A set$\{F_r,F_{r+1},F_{r+2},\cdots ,F_{r+n-1}\}$consisting of$n=3s+1$consecutive Fibonacci numbers is realizable iff$r\equiv 0modulo3$. (ii) A set$\{F_r,F_{r+1},F_{r+2},\cdots ,F_{r+n-1}\}$consisting of$n=3s+2$consecutive Fibonacci numbers is realizable iff$r\equiv 1modulo3$.