 Research
 Open access
 Published:
Vertex maps on graphstrace theorems
Fixed Point Theory and Applications volumeÂ 2011, ArticleÂ number:Â 8 (2011)
Abstract
The paper proves two theorems concerning the traces of Oriented Markov Matrices of vertex maps on graphs. These are then used to give a Sharkokskytype result for maps that are homotopic to the identity and that flip at least one edge.
2000 Mathematics Subject Classification
37E15, 37E25
1. Introduction
A vertex map on a graph is a continuous map that permutes the vertices. Given a vertex map, the periods of the periodic orbits can be computed; giving a subset of the positive integers. One of the basic questions of combinatorial dynamics for vertex maps is to determine which subsets of the positive integers can be obtained in this way. Sharkovsky's theorem [1] is a wellknown result that answers the question when the underlying graph is topologically an interval and the vertices all belong to the same periodic orbit. In [2, 3] a Sharkovskytype theorem was proved for trees.
In the vertex map papers, a standard method is to construct a matrix, called the Oriented Markov Matrix. The entries along main diagonal of the matrix give information about periodic orbits. In particular, the diagonal entries of the matrix raised to the n th power give information about the periodic orbits with period n. Thus the trace of powers of the matrix becomes important.
In this paper, two results concerning the trace of powers of the Oriented Markov Matrix are proved. The first shows that the trace is a homotopical invariant. The second shows how the trace can be calculated from the number of edges in the graph and the number of vertices that are not fixed by the vertex map. These results follow from Hopf's proof of the Lefschetz Fixed Point Theorem. However, since graphs are homologically very simple, it is possible to give elementary proofs, which we do.
The trace theorems are then used to prove the following theorem.
Theorem 1. Let G be a graph with v vertices. Let f be a vertex map on G that is homotopic to the identity and such that the vertices form one periodic orbit. Suppose f flips an edge.

(1)
If v is not a divisor of 2 ^{k} then f has a periodic point with period 2 ^{k} .

(2)
If v = 2 ^{p}q, where q > 1 is odd and p â‰¥ 0, then f has a periodic point with period 2 ^{p}r for any r â‰¥ q.
(Throughout the paper we will say that the period of a periodic point is the number of distinct points in its orbit. This is often referred to as the minimal or least period.)
It should be noted that all maps on trees are homotopic to the identity. Indeed, the proof of this theorem should be compared to the proofs of Sharkovsky Theorem in [4] and the theorem on trees in [3].
In this paper we study maps for which the vertices are permuted by the map. Maps on trees and graphs can be studied without this restriction. For general maps on trees see [5]. For general maps on graphs see [6, 7].
2. Graphs
An edge is a space homeomorphic to the closed interval [0, 1]. The boundary points of the edges are vertices. An edge is not allowed to have a vertex as an interior point. The intersection of two distinct edges is empty, consists of one vertex or of two vertices. We assume that we have a finite number e of edges and v of vertices. The graph is the union of vertices and edges. We assume that graphs are connected and closed. We allow the possibility that there is more than one edge between the same two vertices. We also allow the possibility that an edge connects a vertex to itself (in this case the edge is homeomorphic to a circle).
We will label the vertices V_{1} to V_{ v } ; in diagrams we will just label them with the integers 1 to v. If V_{ k } and V_{ l } are vertices and there is an edge between them we will choose an orientation or direction on the edge and consider it as a directed edge from one vertex to the other. We will label the positively oriented edges as E_{1}, ..., E_{ e } . If E_{ p } is an edge from V_{ k } to V_{ l } then the same edge, but with the opposite (negative) orientation that goes from V_{ l } to V_{ k } will be denoted by E_{ p } . We will call V_{ k } the first vertex of E_{ p } and V_{l} the second vertex. (So the first vertex of E_{ p } equals the second vertex of E_{ p } and vice versa.)
Given any two vertices, V_{ r } and V_{ s } , a path from V_{r} to V_{ s } is a sequence of edges E_{1} ... E_{ q } where the first vertex of E_{1} is V_{ r } , the second vertex of E_{ q } is V_{ s } and the second vertex of E_{l} equals the first vertex of E_{l+1}for 1 â‰¤ l â‰¤ q  1. If E_{ p } and E_{ p } are two consecutive edges in a path we can obtain a shorter path by omitting these two edges. We will call this a contraction of the path. Given any path from vertex V_{ r } to vertex V_{ s } we can form a sequence of contractions resulting in a unique path that cannot be contracted further. We call this resulting path fully contracted. Given a path P in the graph we will let FC(P) denote the fully contracted path that is obtained from P.
We define a circle in graph G to be a closed path that has no repeated vertices. Thus in Figure 1, E_{1}E_{2}  E_{3} and E_{3}E_{4}E_{5}E_{6} are circles.
3. Linearization of vertex maps
A vertex map of a graph G is a continuous map from G to itself with the property that the vertices of G are permuted by f. In this section we will define the linearization of a vertex map.
Suppose Î¸ is a permutation on 1, ..., v and that f is a map from graph G to itself with the property that f(V_{ i } ) = V_{Î¸(i)}for 1 â‰¤ i â‰¤ v. Then we define L_{ f } , the linearization of f, to be the continuous map from G to itself given by L_{ f } maps the edge E with first vertex V_{ k } and second vertex V_{ l } linearly onto the fully contracted path from V_{Î¸(k)}to V_{Î¸ (l)}that is homotopic to f(E), where f(E) is considered a path parameterized by E and the homotopy fixes both V_{Î¸ (k)}and V_{Î¸(l)}. This is done for each edge E in the graph. We make the observation that it is possible for a fully contracted path to contain positive or negative multiples of circles, but the loop based at V_{Î¸(k)}obtained by going to V_{Î¸(l)}along the path given by L_{ f } (parameterized by E) and then back to V_{Î¸(k)}by the path given by f (parameterized by E) will be contractable to a point.
For maps of the interval or of trees this linearized map is often called the connectthedot map associated to Î¸. For trees (and intervals) f is always homotopic to the identity and so there is a unique linearization associated to Î¸. However, for graphs in general, the linearization depends on both Î¸ and the homotopy type of the map f on the edges.
Example 1. Figure 1 shows a graph G. In this case the map f: G â†’ G permutes the vertices by f(V_{ i } ) = V_{Î¸(i)}where Î¸ âˆˆ S_{ n } is given by Î¸ = (13)(245), and f(E_{1}) = E_{3}E_{1}E_{2}E_{4}, f(E_{2}) = E_{5}, f(E_{3}) = E_{4}E_{5}, f(E_{4}) = E_{6}E_{1}, f(E_{5}) = E_{1} and f(E_{6}) = E_{3}.
It is straightforward to check that
and
4. Oriented Markov graphs
We now define the Oriented Markov Graph associated to the graph G and L_{ f } . This is a directed graph on e vertices. Each of the directed edges also has either a positive or negative sign attached. It is defined as follows: the vertices of the Markov graph correspond to the edges of the graph (we will abuse notation and also denote these vertices by E_{1}, ..., E_{ e } , the context should make it clear whether E_{ k } refers to the edge in the original graph G or the corresponding vertex in the Markov graph); we draw a positive directed edge from vertex E_{ i } to vertex E_{ j } for each occurrence of E_{ j } in L_{ f } (E_{ i } ); we draw a negative directed edge from vertex E_{ i } to vertex E_{ j } for each occurrence of E_{ j } in L_{ f } (E_{ i } ). We will denote this Oriented Markov Graph by OMG(f).
Sometimes we will not need to use the fact that the directed edges in OMG(f) have a positive or negative sign attached. We will use the notation E_{ k } â†’ E_{ j } to indicate that there is a directed edge from E_{ k } to E_{ j } .
Let be a path in the Oriented Markov Graph. This path will be have positive orientation if the number of negative directed edges is even and negative orientation if the number of negative directed edges is odd.
Lemma 1. Let f be a vertex map on G. Suppose thatis a path in OMG(f). Then. If the pathin OMG(f) has positive orientation thenappears in the path (in G) . If the pathin OMG(f) has negative orientation thenappears in the path (in G).
Conversely, ifappears in the path (in G)then there is a positively oriented path (in OMG(f)) of length m fromto; and ifappears in the path (in G)then there is a positively oriented path (in OMG(f)) of length m from to .
The following results are standard (see [8] or [9], for example, for a formal proof).
Lemma 2. Let f be a vertex map on G. Suppose thatis a loop in OMG(f). Then there exists a periodic point x of L_{ f } withsuch thatfor r = 0, 1, ..., m. Conversely, if x is a periodic point in L_{ f } of period m + 1 and if x is not a vertex then there exists a loopin OMG(f) such thatfor r = 0, 1, ..., m.
As in [3] we can change L_{ f } to f in the first half of the above lemma to obtain the following.
Lemma 3. Let f be a vertex map on G. Suppose thatis a loop in OMG(f). Then there exists a periodic point x of f with f^{m+1}(x) = x such thatfor r = 0, 1, ..., m.
If the loop in the above statement is not a repetition of a shorter loop then we will say that it is a nonrepetitive loop of length m + 1.
The importance of nonrepetitive loops in the Oriented Markov Graph is the following extension of Lemma 2.
Lemma 4. Let f be a vertex map on G. Suppose thatis a nonrepetitive loop in OMG(f). Then there exists a periodic point x of f with f^{m+1}(x) = x such thatfor r = 0, 1, ..., m. If x is not a vertex of G, then x has minimum period of m + 1.
Note that if the nonrepetitive loop in the statement above has negative orientation, then there must be a closed subinterval of that gets mapped with negative orientation onto under f^{m+1}. This means that the periodic point x can be chosen to lie in the interior and so it definitely is not a vertex of G.
5. Oriented Markov matrices
Suppose that f is a vertex map on G. Then we define the Oriented Markov Matrix of f, denoted M(f), to be the e Ã— e matrix with M(f) _{ i,j } equal to the number of positive directed edges from E_{ j } to E_{ i } minus the number of the negative edges from E_{ j } to E_{ i } . This is equivalent to saying that M(f)_{i,j}is equal to the number of times that E_{ i } appears in the path L_{ f } (E_{ j } ) minus the number of times that E_{ i } appears in the path L_{ f } (E_{ j } ).
Induction gives:
Theorem 2. Let f be a vertex map on G. Then ((M(f)) ^{n} ) _{ i,j } is the number of positively oriented paths (in OMG(f)) from E_{ j } to E_{ i } minus the sum of negatively oriented paths (in OMG(f)) from E_{ j } to E_{ i } .
Observe that to obtain from we contract paths to and that each time a contraction is formed we lose the same edge with both positive and negative orientation, so for each j the number of times E_{ j } appears minus the number of times that E_{ j } appears is the same in both and . So .
Theorem 3. Let f be a vertex map on G. Thenfor any positive integer n.
Example 1 continued. In Example 1 the oriented Markov matrix is
and
The first columns of these matrices give information about L_{ f } (E_{1}) and , respectively.
6. Homotopic maps and the trace
In this paper we have used language that is typically used in onedimensional dynamics. However, many of these ideas also belong to algebraic topology and can be expressed in that language. In particular, the underlying space is a onedimensional simplicial complex; the map L_{ f } is essentially a simplicial transformation; and M(f) is the matrix representation of the induced map on onechains.
The goal of the next two sections is to prove results concerning the trace of M(f). These results follow simply from Hopf's trace formula which states that the alternating sum of traces in homology is equal to the alternating sum of traces on the chains. However, homological arguments are simple in the onedimensional case, and we give short elementary proofs. (The change of basis in Section 7:2 comes from Hopf's proof of the Lefschetz Fixed Point Theorem given in [10].)
Theorem 4. Let f be a vertex map on G. If f is homotopic to g then Trace(M(f)) = Trace(M(g)).
Proof. Suppose that E_{ r } = [V_{ k } , V_{ l } ] is an edge in G. Then for any linearized map L with L(V_{ i } ) = f(V_{ i } ) for 1 â‰¤ i â‰¤ v we know that L will map [V_{ k } , V_{ l } ] to a fully contracted path from f(V_{ k } ) to f(V_{ l } ). In general there are infinitely many possible fully contracted paths from f(V_{ k } ) to f(V_{l}). We observe what happens to the M_{r,r}entry in the Markov matrix when we change from one fully contracted path from f(V_{ k } ) to f(V_{ l } ) to another. Notice that the M_{r,r}entry only changes if we change the number of times that the path goes around a circle that contains E_{ r } . Now, the number of times that a circle is wrapped around itself is a homotopy invariant. Thus if we change the fully contracted path from f(V_{ k } ) to V_{ f } (V_{ l } ) by adding n copies of a circle containing E_{ r } , thus changing the M_{r,r}entry by n and we want to end up with a map that is homotopic to the original one, then we have to make changes to the fully contracted paths that are the images of the other edges in the circle so that they now, in total, add n copies of the circle. The only way that this can be done is by changing the image of other edges in the circle by adding complete copies of the circle. Notice that though the diagonal entries in the Markov matrix corresponding to a circle may change the sum of these entries must be constant if we wish to preserve the homotopy type of the map. This means that the trace of M(f) equals the trace of M(g) whenever f and g are homotopic. â–¡
7. Maps homotopic to the identitythe trace theorem
Suppose that f : G â†’ G is a map with the property that f fixes exactly r vertices, i.e., there are exactly r vertices with the property that f(V) = V. This means that there are exactly v  r vertices that are unfixed. We will let U(f, G) denote the number of unfixed vertices of G under f. In this section we show that if f : G â†’ G is homotopic to the identity then the trace of M(L_{ f } ) equals e  U(f, G).
Theorem (trace theorem). Let f be a vertex map on G. Suppose that f is homotopic to the identity map on G. Then Trace(M(f)) = e  U(f, G).
The proof is given below. The outline is to first prove it for trees, which is straightforward. Then we need to calculate the trace of M(f) for general graphs. This is done by introducing the chain group and seeing that the matrix induces a homomorphism. Then a new basis is chosen for the chain group. The induced map on chains gives a new matrix that is similar to M(f), but such that it is simple to calculate its trace.
7.1. Proof of the Trace theorem when G is a tree
First the case when G is a tree. (This is a slight generalization of a result in [2], where it was proved for the case when none of the vertices are fixed by f.)
Proof. For each unfixed vertex, V_{ i } there is a fully contracted path from V_{ i } to f(V_{ i } ) that will be denoted P(V_{ i } ). The initial vertex in this path is V_{ i } . At V_{ i } draw an arrow (direction arrow) pointing along the first edge of P(V_{ i } ). We repeat this process for each of the unfixed vertices in G. If a vertex V is fixed then no direction arrows are drawn at V.
Observe that an edge E_{ i } contains two direction arrows if and only if  E_{ i } is in L_{ f } (E_{ i } ). Also observe that E_{ i } contains no direction arrows if and only if E_{ i } is in L_{ f } (E_{ i } ). Finally, an edge contains one direction arrow if and only if L_{ f } (E_{ i } ) does not contain either E_{ i } or  E_{ i } . Notice that the number of arrows on the edge E_{ i } is exactly 1  M(f)_{i,i}. So the total number of arrows is . However, there are exactly U(f, G) arrows in G, one for each unfixed vertex, so U(f, G) = e  Trace(M(f)).
7.2. Chain groups
An integral 1chain is a formal sum , where a_{ i } are integers. Addition of chains is defined by
Thus 1chains form a free abelian group with e generators. The coordinate vector of a 1chain relative to the ordered basis (E_{1}, E_{2}, ..., E_{ e } ) is [a_{1}, a_{2}, ..., a_{ e } ] ^{T} .
The Oriented Markov Matrix, M(f), defines a homomorphism from the chain group to itself by sending the 1chain with coordinate vector v to M(f)v. Notice that this is entirely consistent with the previous interpretation of M(f), in that for any path P in G we can find the coordinate vector v; the coordinate vector of the image of P under L_{ f }is M(f)v.
7.3. Spanning treeschange of basis
Let T denote a spanning tree for G. This contains v  1 edges, we will denote them . There are then e + 1  v edges in G that do not appear in T. For each edge, E, that is in G, but not T choose a circle in G that consists of E plus edges in T. In this way e + 1  v circles are obtained, denoted C_{1}, ..., C_{e+1v}.
Notice that if E_{ i } is the edge in C_{ i } that does not belong to T, then there exist paths P_{1} and P_{2} in T such that E_{ i } = FC(P_{1}C_{ i }P_{2}). This means that any fully contracted path in G can be expressed as the contraction of a path that is written only using .
We now consider the matrix, N, that represents the homomorphism on 1chains with respect to the ordered basis
Since f is homotopic to the identity and C_{ i } is a circle, we have L_{ f } (C_{ i }) = C_{ i } . This means that
where I is the (e + 1  v) Ã— (e + 1  v) identity matrix and 0 is the (v  1) Ã— (e + v  1) zero matrix.
The matrices M(f) and N are similar, because they represent the same homomorphism with respect to different bases. This means
but
To complete the proof we must calculate Trace(B).
7.4. Completion of the proof
For each edge in T we know that can be written as a path using . Since circles both begin and end at the same vertex, notice that if we delete all the circles in this path we obtain a new path that lies entirely in T and has the same endpoints as L_{ f } (E_{ i } ). We define f' to be the map on T defined in this way. Note that f' is a vertex map on T with vertex permutation given by Î¸. Also note that M (f') = B. Thus by the proof for trees we know that Trace(B) = v  1  U (f, G).
In the previous section it was shown that
So we obtain
which completes the proof.
7.5. Example 1 continued
In this subsection we illustrate the construction using Example 1.
We take as the spanning tree the tree formed by the edges E_{1}, E_{3}, E_{5} and E_{6}. Then there are two circles. We let C_{1} = E_{3}E_{4}E_{5}E_{6} and C_{2} = E_{1}E_{2} E_{3}. The new ordered basis for the chain group is (C_{1}, C_{2}, E_{1}, E_{3}, E_{5}, E_{6}). Notice that E_{2} =  E_{1}C_{2}E_{3} and E_{4} = E_{3}C_{1}E_{6}E_{5}. So L_{ f } (E_{1}) = E_{3}E_{1}E_{2}E_{4} = E_{3}E_{1}  E_{1}C_{2}E_{3}  E_{3}C_{1}  E_{6} E_{5} which can be contracted to E_{3}C_{2}C_{1} E_{6} E_{5}. In this way we obtain
The map f' on the spanning tree permutes the vertices in exactly the same way as f but maps the edges in the following way: f'(E_{1}) = E_{3}  E_{6}  E_{5}, f'(E_{3}) = E_{3}  E_{6}, f'(E_{5}) =  E_{1} and f'(E_{6}) = E_{3}.
8. Vertices form one periodic orbit
In this section we study vertex maps where the vertices of G consist of one periodic orbit.
First, we state some basic results concerning the trace of the Oriented Markov Matrix. This is followed by some results for maps that are homotopic to the identity. Finally, we look at maps that are homotopic to the identity and that have at least one edge flipped, and show that we can obtain some results that are connected to the Sharkovsky ordering in this case.
Given a vertex map f, we will let Î¸ denote the permutation on v elements defined by f (V_{ i } ) = V_{Î¸(i)}for i = 1, ..., v.
8.1. Basic trace results for maps that are homotopic to the identity
Suppose that the vertices of G consist of one periodic orbit. Then in this case, if k is not an integer multiple of v, then Î¸^{k} (i) â‰ i for i = 1, ... v; and that if k is an integer multiple of v then Î¸^{k} is the identity. This fact, along with the fact that f ^{n} is homotopic to the identity for any positive integer n, gives us the following corollary to the Trace theorem.
Corollary 5. Let G be a graph with e edges and v vertices. Suppose that f : G â†’ G is homotopic to the identity. Suppose that the vertices of G form one periodic orbit. Then:

(1)
Trace(M(f) ^{k} ) = e  v if k is not an integer multiple of v.

(2)
Trace(M(f) ^{k} ) = e if k is an integer multiple of v.
The following result follows immediately from Theorem 7 in [11].
Theorem 6. Let G be a graph with e edges and v vertices. Suppose that f : G â†’ G is homotopic to the identity. Suppose that the vertices of G form one periodic orbit. Then M(f) ^{v} = I, where I is the e Ã— e identity matrix.
8.2. Edge flipping and the proof of Theorem 1
We say a vertex map f on a graph flips an edge E if  E appears in L_{ f } (E).
First we make the observation that if the underlying graph is a tree and that none of the vertices are fixed by the vertex map, then it must have this edge flipping property.
Lemma 5. If f is a vertex map on a tree that does not fix any vertices, then f flips an edge.
Proof. By Corollary 5, the trace of M (f) = 1. Thus M (f) must have an entry along the main diagonal that is a negative integer. â–¡
The following two lemmas plus Lemma 4 complete the proof of Theorem 1.
Lemma 6. Let G be a graph and f a vertex map from G to itself that is homotopic to the identity. Suppose that the vertices form one periodic orbit. Suppose f flips an edge. If v is not a divisor of 2 ^{k}, then OMG(f) has a nonrepetitive loop of length 2 ^{k} with negative orientation.
Proof. Since f fl ips an edge, there must be at least one loop in the Markov graph that has length 1 and has negative orientation. Since Trace(M (f)) = e  v, there must be at least e  v + 1 loops of length 1 that have positive orientation. By going around each of these loops in the Markov graph twice we can see that there must be at least e  v + 2 loops of length 2 that have positive orientation. Since Trace(M (f)^{2}) = e  v, there must be at least one loop of length 2 with negative orientation. Since it has negative orientation, it cannot be the repetition of a shorter loop. So the Markov graph of f has a nonrepetitive loop of length 2 with negative orientation.
Now, for any positive integer k, consider loops of length 2 ^{k} in the Markov graph. If j < k, and the Markov graph has a nonrepetitiveloop of length 2 ^{j} , then this gives a loop of length 2 ^{k} by going around it 2 ^{kj} times. Since 2 ^{kj} is even, this repetitive loop of length 2 ^{k} must have positive orientation. From the argument above, we know there are at least e  v + 2 loops of length 2. This means that there must be at least e  v + 2 loops of length 2 ^{k} with positive orientation. Since , there must be a loop of length 2 ^{k} with negative orientation. This must be a nonrepetitive loop because any repetitive loop of length 2 ^{k} consists of an even number of repetitions of the shorter loop and so must have positive orientation. â–¡
Lemma 7. Let G be a graph and f a map from G to itself that is homotopic to the identity. Suppose that the vertices form one periodic orbit. Suppose f flips an edge. If v = 2 ^{p}q, where q > 1 is odd and p â‰¥ 0, then M(f) has a nonrepetitive loop of length 2 ^{p}r for any r â‰¥ q.
Proof. Let r  q = 2 ^{s}t, where t is odd. The previous lemma tells us that there must be a nonrepetitive loop of length 2^{p+s}with negative orientation. Let E_{ i } denote an edge in this loop. Then Theorem 6 tells us that . So there must be a loop of length 2^{p}q from E_{ i } to itself with positive orientation. Note that this loop cannot be a repetition of the loop of length 2^{p+s}because this loop has negative orientation and repeating it an odd number of times gives a loop with negative orientation. A nonrepetitive loop of length 2 ^{p}r can be obtained by first going t times around the loop of length 2^{p+s}and then going around the loop of length 2 ^{p}q once. Since t is odd, the resulting nonrepetitive loop has negative orientation. â–¡
9. Concluding comments
In the first subsection we show that the edge flipping property is essential to the conclusion of Theorem 1. Then in the next subsection we compare the partial ordering given by Theorem 1 to the orderings given when the underlying graphs are restricted to trees.
9.1. Edge flipping
Given a graph G, we let the Euler Characteristic be the number of vertices minus the number of edges. Vertex maps of trees (and the interval) that do not fix any of the vertices have the edge flipping property. The graphs in these cases have Euler characteristic of 1. However, if the Euler characteristic is less than 1, then vertex maps need not flip edges and the set of periods of periodic points can consist of one or two numbers.
By considering rotations, it is clear that for maps of a circle, for any positive integer n it is possible to construct a map from the circle to itself that only has periodic points with period n and no other periods.
Lemma 8. Let G be a graph and f : G â†’ G a map that is homotopic to the identity and permutes the vertices. Then we can construct a graph G' by doubling one edge in G and a map f': G' â†’ G' such that f' is homotopic to the identity and such that f' restricted to G equals f and such that f' has only one other periodic pointa fixed point.
Proof. Let E_{ k } be an edge in the graph G with vertices and Let P be a path in the graph from to . Then E_{ k } followed by P followed by f(E_{ k } ), which we will denote by  E_{ k }Pf (E_{ k } ) gives a path from to . We form G' by adding a new edge, E_{e+1}that goes from to . We define f' restricted to G to equal f and let f'(E_{e+1}) = PE_{e+1} E_{ k }Pf (E_{ k } ). We define f' to be linear on the subinterval of E_{e+1}that gets mapped onto E_{e+1}. Notice that this new map is homotopic to the identity and that the only new periodic point introduced is the fixed point in E_{e+1}.
The lemma above gives the second part of the next result. The first part follows from the Trace theorem which tells us that the trace of M(f) is nonzero and hence by Lemma 3, f must have a fixed point.
Theorem 7. Let G be a graph with v vertices. Suppose that f: G â†’ G is homotopic to the identity and has the property that the vertices form one periodic orbit. If v â‰ e, then f must have a fixed point.
Given any negative integer n we can construct a graph G with v vertices and e edges with v  e = n and a map f: G â†’ G homotopic to the identity with the property that the vertices form one periodic orbit and such that f has periodic orbits with period v and 1 and no other periods.
9.2. Orderings of the natural numbers
Theorem 1 gives a partial order on the natural numbers. This should be compared to the case when the underlying graph is assumed to be a tree in which case we get another partial order (see [3]); and to the case when the graph is topologically an interval in which case we get Sharkovsky's ordering, a total ordering. Note that in going from the Sharkovsky ordering to the tree ordering and then to the graph ordering, no relations are added, only relations are deleted. So the graph ordering is weaker than the tree ordering, and the tree ordering is weaker than Sharkovsky's ordering. Given a positive integer n, consider the set of natural numbers that are forced by n, {m âˆˆ â„•m âŠ²n}, for each of the three orderings. If m âŠ²n for the Sharkovsky ordering and m â‹ª n for the graph ordering, then m < n. This means that for each n, the three sets {m âˆˆ â„•m âŠ²n} only differ by a finite number of elements.
In both Sharkovsky's Theorem and the theorem on trees there is a result that is sometimes called the converse. This is the result that given any n in the ordering one can find an example of a vertex map that does not have a periodic point of period m for any m â‹ª n. It is an open question as to whether the converse result holds for the graph ordering. We conjecture that it does, but this is little more than a guess.
Another natural question is to ask what happens in the case when the vertices of a vertex map form more than one periodic orbit. This is, of course, a harder question. For maps of the circle this leads to the study of rotation intervals. The beginnings of the generalization of this idea to graphs can be found in [11].
References
Sharkovsky AN: Coexistence of the cycles of a continuous mapping of the line onto itself. Ukrain Math Zh 1964,16(1):61â€“71.
Bernhardt C: Vertex maps for trees: algebra and periods of periodic orbits. Disc Cts Dyn Sys 14(3):399â€“408.
Bernhardt C: A Sharkovsky theorem for vertex maps on trees. J Diff Equations Appl 2011,17(1):103â€“113. 10.1080/10236190902919327
Bernhardt C: A proof of Sharkovsky's theorem. J Differ Equations Appl 2003,9(3â€“4):373â€“379.
AlsedÃ L, Juher D, MumbrÃº P: Periodic behavior on trees. Ergodic Theory Dyn Syst 2005,25(5):1373â€“1400. 10.1017/S0143385704000896
Leseduarte MC, Llibre J: On the set of periods for Ïƒ maps. Trans Am Math Soc 1995,347(12):4899â€“4942. 10.2307/2155068
Llibre J, ParaÃ±os J, RodrÃguez JA: Periods for continuous selfmaps of the figureeight space. Dynamical systems and functional equations (Murcia, 2000). Int J Bifur Chaos Appl Sci Eng 2003,13(7):1743â€“1754. 10.1142/S0218127403007606
Block LS, Coppel WA: Dynamics in One Dimension. In Lecture Notes in Mathematical 1513. Springer, Berlin; 1992.
AlsedÃ L, Llibre J, Misiurewicz M: Combinatorial dynamics and Entropy in Dimension One. Advanced Series in Nonlinear Dynamics, World Scientific, Singapore 2000., 5:
Henle M: A Combinatorial Introduction to Topology. Dover Publications, Inc., New York; 1994:x+310.
Bernhardt C: Rotation matrices for vertex maps on graphs. J Differ Equations Appl 2011, in press.
Acknowledgements
The author would like to thank the referee for many corrections and improvements to this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Authorsâ€™ original submitted files for images
Below are the links to the authorsâ€™ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Bernhardt, C. Vertex maps on graphstrace theorems. Fixed Point Theory Appl 2011, 8 (2011). https://doi.org/10.1186/1687181220118
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687181220118