The dynamics of the line and path graph operators

Abstract

For any integerk e 1 thek- path graph P_k (G) of a graph G has all length-k subpaths ofG as vertices, and two such vertices are adjacent whenever their union (as subgraphs ofG) forms a path or cycle withk + 1 edges. Fork = 1 we get the well-known line graphP ₁ (G) =L(G). Iteratedk-path graphs P^t _k(G) are defined as usual by P^t _k (G) := P_k(P ^t−1 _k(G)) ift < 1, and by P¹ _k(G): = P_k(G). A graph G isP _k -periodic if it is isomorphic to some iteratedk-path graph of itself; itP _k -converges if some iteratedk-path graph of G isP _k -periodic. A graph has infiniteP _k -depth if for any positive integert there is a graphH such that P^t _k(H) ≃G. In this paperP _k -periodic if it is isomorphic to some iteratedk-path graph of itself; itP _k -converges if some iteratedk-path graph of G isP _k -periodic graphs,P _k -periodic if it is isomorphic to some iteratedk-path graph of itself; itP _k -converges if some iteratedk-path graph of G isP _k -convergent graphs, and graphs with infiniteP _k -periodic if it is isomorphic to some iteratedk-path graph of itself; itP _k -converges if some iteratedk-path graph of G isP _k -depth are characterized inside some subclasses of the class of locally finite graphs fork = 1, 2.