The Graph Structure of Chebyshev Polynomials over Finite Fields and Applications

The Graph Structure of Chebyshev Polynomials over Finite Fields and Applications Claudio Qureshi and Daniel Panario arxiv:803.06539v [cs.dm] 7 Mar 08 Abstract We completely describe the functional graph associated to iterations of Chebyshev polynomials over finite fields. Then, we use our structural results to obtain estimates for the average rho length, average number of connected components and the expected value for the period and preperiod of iterating Chebyshev polynomials. I. INTRODUCTION The iteration of polynomials and rational functions over finite fields have recently become an active research topic. These dynamical systems have found applications in diverse areas, including cryptography, biology and physics. In cryptography, iterations of functions over finite fields were popularized by the Pollard rho algorithm for integer factorization []; its variant for computing discrete logarithms is considered the most efficient method against elliptic curve cryptography based on the discrete logarithm problem [3]. Other cryptographical applications of iterations of functions include pseudorandom bit generators [], and integer factorization and primality tests [8], [9]. When we iterate functions over finite structures, there is an underlying natural functional graph. For a function f over a finite field F q, this graph has q nodes and a directed edge from vertex a to vertex b if and only if f (a) = b. It is well known, combinatorially, that functional graphs are sets of connected components, components are directed cycles of nodes, and each of these nodes is the root of a directed tree from leaves to its root; see, for example, [6]. Some functions over finite fields when iterated present strong symmetry properties. These symmetries allow mathematical proofs for some dynamical properties such as period and preperiod of a generic element, (average) rho length (number of iterations until cycling back), number of connected components, Claudio Qureshi is with the Institute of Mathematics, Statistics and Computing Science of the University of Campinas, SP, Brazil (email: cqureshi@ime.unicamp.br) and Daniel Panario is with School of Mathematics and Statistics, Carleton University, Canada (email: daniel@math.carleton.ca) March 0, 08

cycle lengths, etc. In this paper we are interested on these kinds of properties for Chebyshev polynomials over finite fields, closely related to Dickson polynomials over finite fields. These polynomials, specially when they permute the elements of the field, have found applications in many areas including cryptography and coding theory. See [0] for a monograph on Dickson polynomials and their applications, including cryptography; for a more recent account on research in finite fields including Dickson polynomials, see []. Previous results for quadratic functions are in [7]; iterations of x + x have been dealt in [6] and iterations of Rédei functions over non-binary finite fields appeared in [4], [5]. Related to this paper, iterations of Chebyshev polynomials over finite fields have been treated in [7]. The graph and periodicity properties for Chebyshev polynomials over finite fields when the degree of the polynomial is a prime number are given in [7]. In this paper we study the action of Chebyshev functions of any degree over finite fields. We give a structural theorem for the functional graph from which it is not hard to derive many periodicity properties of these iterations. In the literature there are two kinds of Chebyshev polynomials: normalized and not normalized. We use the latter ones, generally known as Dickson polynomials of the first kind. In odd characteristic both kinds of Chebyshev polynomials are conjugates of each other, and so their functional graphs are isomorphic. However, this is not the case in even characteristic. Using the normalized version trivializes since we get T n (x) = if n is even, and T n (x) = x if n is odd, where T n is the nth degree Chebyshev polynomial. As a consequence, we work with the non normalized version that is much richer in characteristic. Not much is known about Chebyshev polynomials over binary fields; see [5] for results over the -adic integers. In Section II we introduce relevant concepts for this paper like ν-series and their associated trees. These trees play a central role in the description of the Chebyshev functional graph. Several results about a homomorphism of the Chebyshev functional graph, as well as a relevant covering notion, are given in Section III. A decomposition of the Chebyshev s functional graph is given in Section IV. This decomposition leads naturally into three parts: the rational, the quadratic and the special component. Section V treats the rational and quadratic components. The special component is dealt in Section VI. The main result of this paper (Theorem 4), a structural theorem for Chebyshev polynomials, is given in Section VII. We provide several examples to show applications of our main theorem. As a consequence of our main structural theorem, in this section we also obtain exact results for the parameters N, C, T 0, T and R for Chebyshev polynomials, where N is the number of cycles (that is, the number of connected components), T 0 is the number of cyclic (periodic) points, C is the expected value of the period, T is the expected value of the preperiod, and R is the expected rho length. March 0, 08

3 II. PRELIMINARIES We denote by F q a finite field with q element, where q is a prime power, and Z d the ring of integers modulo d. Let F q and Z d denote the multiplicative group of inverse elements of F q and Z d, respectively. Let n denote the equivalence class of n modulo d. For n, d Z + with gcd(n, d) =, we denote by o d (n) and õ d (n) the multiplicative order of n in Z d and Z d /{, }, respectively. It is easy to see that if n in Z d, then õ d(n) = o d (n)/, otherwise õ d (n) = o d (n). For m Z + we denote by rad(m) the radical of m which is defined as the product of the distinct primes divisors of m. We can decompose m = νω where rad(ν) rad(n) and gcd(ω, n) = which we refer as the n-decomposition of m. If f : X X is a function defined over a finite set X, we denote by G( f /X) its functional graph. The main object of study of this paper is the action of Chebyshev polynomials over finite fields F q. The Chebyshev polynomial of the first kind of degree n is denoted by T n. This is the only monic, degree-n polynomial with integer coefficients verifying T n (x + x ) = x n + x n for all x Z. Table I gives the first Chebyshev polynomials. T (x) = x T (x) = x T 3 (x) = x 3 3x T 4 (x) = x 4 4x + T 5 (x) = x 5 5x 3 + 5x T 6 (x) = x 6 6x 4 + 9x T 7 (x) = x 7 7x 5 + 4x 3 7x T 8 (x) = x 8 8x 6 + 0x 4 6x + T 9 (x) = x 9 9x 7 + 7x 5 30x 3 + 9x T 0 (x) = x 0 0x 8 + 35x 6 50x 4 + 5x TABLE I FIRST FEW CHEBYSHEV POLYNOMIALS T n (x) FOR n 0. T (k) n A remarkable property of these polynomials is that T n T m = T nm for all m, n Z +. In particular, = T n k, where f (k) denotes the composition of f with itself k times. Describing the dynamics of the Chebyshev polynomial T n acting on the finite field F q is equivalent to describing the Chebyshev s graph G(T n /F q ). The case when n = l is a prime number was dealt by Gassert; see [7, Theorem.3]. In this paper we extend these results for any positive integer n. Example. For n = 30 the corresponding Chebyshev polynomial is given by T 30 (x) = x 30 30x 8 + March 0, 08

4 405x 6 350x 4 +750x 63756x 0 +6845x 8 39770x 6 +436050x 4 49900x +7734x 0 9340x 8 + 30940x 6 400x 4 + 5x. The graphs G(T 30 /F q ) for q = 9 and q = 3 are shown in Fig.. Fig.. a) The Chebyshev s graph G(T 30 /F 9 ). b) The Chebyshev s graph G(T 30 /F 3 ). Next we review some concepts from [4]. For n and ν positive integers such that rad(ν) rad(n), the ν-series associated with n is the finite sequence ν(n) := (ν,..., ν D ) defined by the recurrence ( ) ν ν = gcd(ν, n), ν k+ = gcd ν ν ν k, n for k < D and ν ν ν D = ν with ν D > if ν >, and ν(n) = () if ν =. We write A = B i to indicate that A is the union of pairwise disjoint sets B i. If m Z + and T is a rooted tree, Cyc(m, T) denotes a graph with a unique directed cycle of length m, where every node in this cycle is the root of a tree isomorphic to T. We also consider the disjoint union of the graphs G,..., G k, denoted by k i= G i, and k G = k i= G for k Z+. If T,..., T k are rooted trees, T T k is a rooted tree such that its root has exactly k predecessors v,..., v k, and v i is the root of a tree isomorphic to T i for i =,..., k. If T is a tree that consists of a single node we simply write T =. In particular, Cyc(m, ) denotes a directed cycle with m nodes. The empty graph, denoted by, is characterized by the properties: G = G for all graphs G, k = for all k Z + and =. We associate to each ν-series ν(n) a rooted tree, denoted by T ν(n), defined by the recurrence formula (see Fig. ): T 0 =, T k = ν k T k k i= (ν i ν i+ ) T i, i < D, T ν(n) = (ν D ) T D D i= (ν i ν i+ ) T i. () March 0, 08

5 The tree T ν(n) has ν vertices and depth D; see Proposition.4 and Theorem 3.6 of [4]. The following theorem is a direct consequence of Corollary 3.8 and Theorem 3.6 of [4]. As usual, ϕ denotes Euler s totient function. Theorem. Let n Z + and m = νω be the n-decomposition of m. Denoting by G(n/Z m ) the functional graph of the multiplication-by-n map on the cyclic group Z m, the following isomorphism holds: G(n/Z m ) = o d (n) Cyc ( ) o d (n), T ν(n). d ω Fig.. This figure (taken from [4]) illustrates the inductive definition of T V when V is a ν-series with four components V = (ν, ν, ν 3, ν 4 ). A node v labelled by a rooted tree T indicates that v is the root of a tree isomorphic to T. A strategy to describe a functional graph G( f /X) of a function f : X X is decomposing the set X in f -invariant components. A subset A X is forward f -invariant when f (A) A. In this case the graph G( f /A) is a subgraph of G( f /X). If f (A) A, the set A is backward f -invariant. The set A is f -invariant if it is both forward and backward f -invariant. In this case G( f /A) is not only a subgraph of G( f /X) but also a union of connected components and we can write G( f /X) = G( f /A) G( f /A c ), where A c = X \ A. In this paper, we decompose the set F q in T n -invariant subsets A,..., A κ such that each functional graph G(T n /A i ) for i =,..., κ is easier to describe than the general case and G(T n /F q ) = κ i= G(T n/a i ). To describe a functional graph we need to describe not only the cyclic part but also the rooted trees attached to the periodic points. We introduce next some notation related to rooted trees (where the root is not necessarily a periodic point). Let f : X X, x X and N f be the set of its non-periodic points. We define the set of predecessors of x by Pred x ( f /X) = {y N f : f (k) (y) = x for some k } {x}. We denote by Tree x ( f /X) the rooted tree with root x, vertex set V = Pred x ( f /X) and directed edges (y, f (y)) for y V \ {x}. March 0, 08

6 III. RESULTS ON HOMOMORPHISM OF FUNCTIONAL GRAPHS A directed graph is a pair G = (V, E) where V is the vertex set and E V V is the edge set. A homomorphism φ between two directed graphs G = (V, E ) and G = (V, E ), denoted by φ : G G, is a function φ : V V such that if (v, v ) E then (φ(v), φ(v )) E. In the particular case of functional graphs, a homomorphism φ : G( f /X ) G( f /X ) is a function φ : X X satisfying φ f = f φ, or equivalently such that the following diagram commutes X φ X. f f X φ X It is easy to prove by induction that the relation φ f = f φ implies φ f (k) = f (k) φ for all k, that is, φ : G( f (k) /X ) G( f (k) /X ) is also a homomorphism for all k. If in addition φ is bijective (as function from X to X ) then φ : G( f /X ) G( f /X ) is an isomorphism of functional graphs. In this case the functional graphs are the same, up to the labelling of the vertices. The main result of this paper (Theorem 4) is an explicit description of G(T n /F q ), the functional graph of the Chebyshev polynomial T n over a finite field F q. In the first part of this section we introduce the concept of θ-covering between two functional graphs and derive some properties. In the last part we apply these results to obtain some rooted tree isomorphism formulas which are used in the next sections. A. θ-coverings In our case of study (functional graph of Chebyshev polynomials) we consider the set F q = F q H, where H is the multiplicative subgroup of F q of order q +, and the following maps: The inversion map i : F q F q given by i(α) = α. The exponentiation map r n : F q F q given by r n (α) = α n. The map η : F q F q given by η(α) = α + α. A useful relationship between these maps and the Chebyshev map are T n η = η r n and r n i = i r n. In other words we have the following commutative diagrams: F q η F q and F q i F q r n T n r n r n F q η F q F q i F q March 0, 08

7 To describe the Chebyshev functional graph G(T n /F q ) it is helpful to consider the homomorphism η : G(r n / F q ) G(T n /F q ) and to relate properties between these functional graphs. This homomorphism is not an isomorphism, but it has very nice properties that are captured in the next concept. Definition. Let φ : G( f /X ) G( f /X ) be a homomorphism of functional graphs and θ : X X be a permutation (bijection) which commutes with f (that is, f θ = θ f ). Then φ is a θ-covering if for every a X there is α X such that φ (a) = {θ (i) (α) : i Z} (in other words, if the preimage of each point is a θ-orbit). The homomorphism φ is a covering if it is a θ-covering for some θ verifying the above properties. We remark that a covering is necessarily onto and every isomorphism φ : G( f /X ) G( f /X ) is a covering (with respect to the identity map id : X X, id(x) = x). We note that the condition of φ (a) being a θ-orbit for all a X implies that φ θ = φ. In [7] it is proved several properties of the map η. Namely η is surjective, η () = {}, η ( ) = { }, and for a F q, η (a) = {α, α } where α and α are the roots (in F q ) of x ax + = 0 which are distinct if a ±. In particular, with our notation, we have that η : G(r n / F q ) G(T n /F q ) is a i-covering between these functional graphs. Next we prove some general properties for coverings of functional graphs that are used in the next section for the particular case of the covering η : G(r n / F q ) G(T n /F q ). In the next propositions we denote by P f and N f the set of periodic and non-periodic points with respect to the map f, respectively. We note that if φ : G( f /X ) G( f /X ) is a homomorphism and x P f then there is a k such that f (k) (x) = x. This implies f (k) (φ(x)) = φ( f (k) (x)) = φ(x), thus x φ (P f ) and we have P f φ (P f ). The next proposition shows that when φ is a covering this inclusion is in fact an equality. Proposition. Let θ : X X be a permutation satisfying f θ = θ f. If φ : G( f /X ) G( f /X ) is a θ-covering then φ (P f ) = P f. Proof. Let l be the order of θ (i.e. θ (l) = id). It suffices to prove φ (P f ) P f. If α φ (P f ) then there is a k such that f (k) (φ(α)) = φ(α). Since f (k) (φ(α)) = φ( f (k) (α)) we conclude that f (k) (α) = θ (i) (α) for some i Z. Applying f (k) on both sides we obtain f (k) (α) = f (k) (θ (i) (α)) = θ (i) ( f (k) (α)) = θ (i) (α). In the same way, applying f (k) several times, we have by induction that f (mk) (α) = θ (mi) (α) for all m. With m = l we obtain f (lk) (α) = θ (li) (α) = α, thus α P f. Remark. The equation φ (P f ) = P f is equivalent to φ (N f ) = N f since φ (X c ) = φ (X) c. March 0, 08

8 Proposition. Let φ : G( f /X ) G( f /X ) be a homomorphism satisfying φ (P f ) = P f and α X. We have Pred α ( f /X ) φ (Pred φ(α) ( f /X )). Proof. Let β Pred α ( f /X ), β α (in particular β N f ). By definition, there is an integer k such that f (k) (β) = α. This implies f (k) (θ(β)) = θ( f (k) (β)) = θ(α). Since φ (N f ) = N f and β N f we have φ(β) N f, thus φ(β) Pred φ(α) ( f /X ). Remark. If Pred α ( f /X ) φ (Pred φ(α) ( f /X )) then φ(pred α ( f /X )) Pred φ(α) ( f /X ) since φ is surjective. Proposition 3. Let θ : X X be a permutation satisfying f θ = θ f, α X and φ : G( f /X ) G( f /X ) be a θ-covering. The equality φ(pred α ( f /X )) = Pred φ(α) ( f /X ) holds. Proof. The inclusion φ(pred α ( f /X )) Pred φ(α) ( f /X ) follows from Propositions and (see also Remark ). To prove the other inclusion we consider b Pred φ(α) ( f /X ) with b φ(α) (in particular b N f ) and β X such that b = φ(β) (this is possible because φ is surjective). We have to prove that there is a point β Pred α ( f /X ) such that φ(β ) = b. By definition there is an integer k such that f (k) (b) = φ(α) and we have φ( f (k) (β)) = f (k) (φ(β)) = φ(α). Since φ is a θ-covering, from φ( f (k) (β)) = φ(α) we have that α = θ (i) ( f (k) (β)) for some integer i and define β = θ (i) (β). Using that θ and f commute we obtain f (k) (β ) = θ (i) ( f (k) (β)) = α and φ(β ) = φ(θ (i) (β)) = φ(β) = b (because φ θ = φ). To conclude the proof we have to show that β Pred α ( f /X ) and it suffices to prove that β N f. Since φ(β ) = b N f we have β φ (N f ) = N f by Proposition (see also Remark ). With the same notation and hypothesis of Proposition 3, if we denote by P = Pred α ( f /X ) and P = Pred φ(α) ( f /X ) we have that the restricted function φ P conditions to guarantee that φ P : P P is onto. We want to find : P P is a bijection. We recall that the order of a permutation θ : X X is the smallest positive integer l such that θ (l) = id. This implies that the cardinality of the θ-orbit of a point α X, given by {θ (i) (α) : 0 i < l}, is a divisor of l. Definition. Let θ : X X be a permutation of order l. A point α X is θ-maximal, if the sequence of iterates: α, θ(α), θ () (α),..., θ (l ) (α) are pairwise distinct (that is, if the θ-orbit of α has exactly l elements). Remark 3. An important particular case is when θ : X X is the identity map. In this case every point α X is θ-maximal. March 0, 08

9 Proposition 4. Let θ : X X be a permutation satisfying f θ = θ f, α be a θ-maximal point of X and φ : G( f /X ) G( f /X ) be a θ-covering. We denote by P = Pred α ( f /X ) and P = Pred φ(α) ( f /X ). Then the restricted map φ P : P P is a bijection. Proof. By Proposition 3 we have that φ P : P P is onto. To prove that φ P is -to- we consider β, β P such that φ(β ) = φ(β ). Then there is an integer i Z such that β = θ (i) (β ). If the order of the permutation θ is l, we can suppose that 0 i < l and we also have β = θ (l i) (β ). We consider the smallest integers s, s 0 such that f (s i) (β i ) = α for i =, (they exist because β, β P ). We want to prove that s = s. Consider the smallest integer t 0 such that f (t) (α) P f. We have that θ : G( f /X ) G( f /X ) is an isomorphism of a functional graph (since θ is bijective and θ f = f θ), thus, by Proposition, θ (P f ) = P f. We have that f (t+s ) (β ) = θ (l i) ( f (t+s ) (β )) = θ (l i) ( f (t) (α)) θ (l i) (P f ) = P f (in particular t + s s because f (t+s ) (β ) P f and β is a predecessor of α). We have that f (t+s s ) (α) = f (t+s s ) ( f s (β )) = f (t+s ) (β ) P f and by the minimality of t we conclude that s s. In a similar way we prove the other inequality s s obtaining s = s ; let us denote by s = s = s. We have α = f (s) (β ) = f (s) i (θ (i) (β )) = θ (i) ( f (s) (β )) = θ (i) (α) with 0 i < l. Using that α is θ-maximal we conclude that i = 0 and β = β as desired. B. Rooted tree isomorphism formulas Let φ : G( f /X ) G( f /X ) be a homomorphism of functional graph. We consider a point α X and the sets P = Pred α ( f /X ) and P = Pred φ(α) ( f /X ). When φ(p ) P and the restricted map φ P : P P is a bijection, this map determines an isomorphism between the rooted trees T = Tree α ( f /X ) and T = Tree φ(α) ( f /X ) (i.e. a bijection between the vertices preserving directed edges). In this case we say that φ P : T T is a rooted tree isomorphism and the trees T and T are isomorphic which is denoted by T T. Sometimes, when the context is clear, we abuse notation and write T = T when these trees are isomorphic. The first result is about the trees attached to the map r n (α) = α n. Since F q and H are closed under multiplication we have r n (F q) F q and r n (H) H. Proposition 5. Let q = ν 0 ω 0 and q + = ν ω be the n-decomposition of q and q +, respectively. Let α F q and β H be two r n -periodic points. Then Tree α (r n /F q) = T ν0 (n) and Tree β (r n /H) = T ν (n). Proof. The sets F q and H are multiplicative cyclic groups of order q and q+, respectively. In general, if G is a multiplicative cyclic group of order m = νω with rad(ν) rad(n), gcd(n, ω) =, and r n : G G is the map given by r n (g) = g n we prove that Tree g0 (r n /G) = T ν(n). Indeed, if ξ is a generator of G and March 0, 08

0 φ : Z m G is the map given by φ(i) = ξ i, then r n φ(i) = (ξ i ) n = ξ ni = φ n(i) (where n denotes the multiplication-by-n map). This implies that φ : G(n/Z m ) G(r n /G) is an isomorphism of functional graphs. Since all the trees attached to periodic points in G(n/Z m ) are isomorphic to T ν(n) (Theorem ) the same occurs for the trees attached to periodic points in G(r n /G). Proposition 6. If n is an odd integer and a F q, then Tree a (T n /F q ) and Tree a (T n /F q ) are isomorphic. Proof. Consider the map op : F q F q given by op(x) = x. Since n is an odd integer, the Chebyshev polynomial is an odd function and we have op T n = T n op. Thus op : G(T n /F q ) G(T n /F q ) is an isomorphism of functional graphs and the results follows from Proposition 4. Proposition 7. Let α F q. Then, Tree α (r n / F q ) and Tree α (r n / F q ) are isomorphic. Proof. We consider the isomorphism of functional graphs i : G(r n / F q ) G(r n / F q ) given by i(x) = x (it is an isomorphism because i : F q F q is bijective and i r n = r n i). The results follows from Proposition 4. Proposition 8. Let α F q isomorphic. with α ± and a = η(α). Then, Tree α (r n / F q ) and Tree a (T n /F q ) are Proof. We consider the homomorphism η : G(r n / F q ) G(T n /F q ) (it is a homomorphism because η r n = T n η). This homomorphism is in fact a i-covering because η (a) = {α, i(α) = α } where α F q is a root of x ax + = 0. We note that α F q is not i-maximal if and only if α = α since i is a permutation of order ; this is equivalent to α = ±. If α ±, then α is i-maximal and the result follows from Proposition 4. IV. SPLITTING THE FUNCTIONAL GRAPH G(T n /F q ) INTO UNIFORM COMPONENTS The most simple case of functional graph is when the trees attached to the periodic points are isomorphic. In this case describing the functional graph is equivalent to describing the cycle decomposition of the periodic points and the rooted tree attached to any periodic point. We start with a definition. Definition 3. A functional graph G( f /X) is uniform if for every pair of periodic points x, x X the trees Tree x ( f /X) and Tree x ( f /X) are isomorphic. In this section we decompose the set F q in three T n -invariant sets: R (the rational component), Q (the quadratic component) and S (the special component), obtaining a decomposition of the Chebyshev March 0, 08

functional graph G(T n /F q ) = G(T n /R) G(T n /Q) G(T n /S). () Moreover, we prove that the functional graphs of the right hand side are uniform (Proposition 0). We describe each component separately. Lemma. We have X F q is T n -invariant if and only if η (X) is r n -invariant. Proof. ( ) Let α η (X). We have η(α) X and T n (η(α)) X (because X is forward T n -invariant). Therefore η(r n (α)) = T n (η(α)) X and then r n (α) η (X). This proves that η (X) is forward r n - invariant. Now we consider β F q such that r n (β) = α η (X). Then T n (η(β)) = η(r n (β)) X. Since X is backward T n -invariant η(β) X, thus β η (X). This proves that η (X) is backward r n -invariant. ( ) Let x X. Since η is surjective we can write x = η(α) for some α F q. We have α η (X) and using that η (X) is forward r n -invariant we also have r n (α) η (X). Thus T n (x) = T n (η(α)) = η(r n (α)) X. This proves that X is forward T n -invariant. Now we consider y F q such that T n (y) = x X and we can write y = η(β) with β F q since η is surjective. We have that T n (y) = T n (η(β)) = η(r n (β)) X, thus r n (β) η (X). Using that η (X) is backward r n -invariant we conclude that β η (X). Therefore y = η(β) X which proves that X is backward T n -invariant. Using the characterizations F q = {α F q : ord(α) q } and H = {α F q : ord(α) q + }, we obtain the following decomposition of F q into r n -invariant subsets. Lemma. The subsets S = {α F q : α nk partition of F q in r n -invariant subsets. = ± for some k 0}, R = F q \ S and Q = H \ S form a Proof. Since (±) n {±}, the set S is forward r n -invariant. If α n S there exists k 0 such that (α n ) nk = α nk+ = ±. Thus α S and S is backward r n -invariant. This proves that S is r n -invariant. The proofs of the r n -invariance of R and Q are similar. We only prove that R is r n -invariant. It is easy to prove that the complement of an r n -invariant is r n -invariant and the intersection of two r n - invariant sets is also r n -invariant. Since R = F q S c, it suffices to prove that F q is r n -invariant. It is clear that F q is forward r n -invariant. To prove that F q is backward r n -invariant we use the characterization F q = {α F q : ord(α) q }. We consider β F q such that r n (β) = β n F q. The multiplicative order of β n is given by ord(β n ) = ord(β)/d with d = gcd(ord(β), n). In particular ord(β) q (because ord(β) ord(β n ) and ord(β n ) q ), therefore β F q by the above characterization of F q. Proposition 9. Let R = η( R), Q = η( Q) and S = η( S). The sets R, Q and S form a partition of F q in T n -invariant sets. In particular the decomposition of G(T n /F q ) given by () holds. March 0, 08

Proof. It is straightforward to check that R, Q and S are i-invariant from which we obtain η (R) = R, η (Q) = Q and η (S) = S. By Lemma these sets are r n -invariant, and by Lemma R, Q and S are T n -invariant. We finish this section proving that the functional graphs G(T n /R), G(T n /Q) and G(T n /S) are uniform. Proposition 0. The functional graphs G(T n /R), G(T n /Q) and G(T n /S) are uniform. Moreover, every tree attached to a T n -periodic point in G(T n /R) is isomorphic to T ν0 (n) and every tree attached to a T n -periodic point in G(T n /Q) is isomorphic to T ν (n). Proof. The easy case is to prove that G(T n /S) is uniform, the other two cases are similar and we prove only that G(T n /R) is uniform. If n or q is even, the only T n -periodic point in S is and there is nothing to prove. If n and q are odd there are two T n -periodic points in S, and, and the uniformity of G(T n /S) follows from Proposition 6. We denote by P f the set of periodic points with respect to f and consider a R P f. We can write a = η(α) for some α R (in particular a F q and a ±). By Proposition 8, Tree a (T n /F q ) and Tree α (r n / F q ) are isomorphic. Using that F q is r n -invariant and a F q we have Tree α (r n / F q ) = Tree α (r n /F q) and by Proposition (considering the i-covering η : G(r n / F q ) G(T n /F q )) we have that α is an r n -periodic point. By Proposition 5 we have that Tree α (r n / F q ) is isomorphic to T ν0 (n) and by transitivity Tree a (T n /F q ) is also isomorphic to T ν0 (n). V. THE RATIONAL AND QUADRATIC COMPONENTS In this section we describe the functional graphs G(T n /R) and G(T n /Q). The following proposition is a simple generalization of Proposition. of [7] for the general n case and is proved in a similar way. Proposition. Let a F q, α F q such that a = α + α and ord(α) = ud the n-decomposition of the (multiplicative) order of α. Then per(a) = õ d (n) and pper(a) = min{k 0 : u n k }. March 0, 08

3 Proof. Let π = per(a) and ρ = pper(a). Consider the following equivalences: Tn π+ρ (a) = Tn ρ (a) T n π+ρ(a) = T n ρ(a) α nπ+ρ + α nπ+ρ = α nρ + α nρ (α nπ+ρ α nρ )(α nπ+ρ α nρ ) = 0 α nπ+ρ = α nρ or α nπ+ρ = α nρ n π+ρ ±n ρ (mod ud) n π ± (mod d) and u n ρ. By minimality, we conclude that π = õ d (n) and ρ = min{k 0 : u n k }. Corollary. Let α F q. The point a = α + α F q is T n -periodic point if and only if the multiplicative order of α (as element of F q ) is coprime with n. Proof. Let a = α + α F q and ord(α) = ud be the n-decomposition of the (multiplicative) order of α. We have that a is T n -periodic point if and only if pper(a) = 0 and by Proposition this happens if and only if u, that is, if and only if u = and gcd(ord(α), n) =. Corollary. Let P Tn be the set of T n -periodic points, α F q and a = α + α.. a R P Tn if and only if ord(α) > and ord(α) ω 0 ;. a Q P Tn if and only if ord(α) > and ord(α) ω ; 3. a S P Tn if and only if ord(α) and gcd(ord(α), n) =. Proof. Since η is surjective, η(η (X)) = X for all X F q (in particular a X if and only if α η (X)). Denote P Tn := η (P Tn ). By Corollary, P = {α F q : gcd(ord(α), n) = }. First we prove that P Tn S = P Tn {+}. Indeed, if α P Tn S, then gcd(ord(α), n) = and α nk = ± for some k 0. ord(α) Thus ord(α) = = gcd(ord(α),n k ) ord(αnk ) = ord(±) which implies α = ±. This proves that P Tn S P Tn {+} and the other inclusion is clear. We note that this is equivalent to P Tn S c = P Tn {+} c. Now we prove the statements.. a R P Tn if and only if α R P Tn = F q S c P Tn = P Tn F q {±} c = {α F q : gcd(ord(α), n)=, ord(α) q, α ±} = {α F q : ord(α) ω 0, ord(α) > }.. This part is similar to.; here we use α H if and only if ord(α) q +. 3. a S P Tn if and only if α S P Tn = P Tn {±} = {α F q : gcd(ord(α), n) =, ord(α) }. March 0, 08

4 Next we obtain an isomorphism formula for the rational component and the quadratic component of G(T n /F q ). Theorem. Let q = ν 0 ω 0 and q + = ν ω be their n-decompositions. The rational component of the Chebyshev s graph G(T n /F q ) is given by: the quadratic component is given by G(T n /R) = d> G(T n /Q) = d ω d> õ d (n) Cyc ( ) õ d (n), T ν0 (n) ; õ d (n) Cyc ( ) õ d (n), T ν (n). Proof. We only prove the statement for the rational component since the proof for the quadratic component is similar. Let P Tn be the set of T n -periodic points and R d = {α + α : α F q, ord(α) = d}. By Corollary, R P Tn is the disjoint union of R d with d ω 0, d >. If ord(α) = d ω 0 we have that gcd(d, n) = and ord(α n ) = ord(α)/gcd(ord(α), n) = ord(α). Then we have the following decomposition G(T n /R P Tn ) = G(T n /R d ). By Proposition, every point in G(T n /R d ) belongs to a cycle of length õ d (n). Thus, d> G(T n /R P Tn ) = d> #R d õ d (n) Cyc (õ d(n), ). (3) For each d ω 0, d >, we consider the set R d = {α F q : ord(α) = d}. By a standard counting argument # R d = and using that the restriction of η to R is a -to- map from R onto R we obtain #R = # R/ = /. Substituting this expression into Equation (3) and using the uniformity of G(T n /R) (Proposition 0) we obtain G(T n /R) = d> õ d (n) Cyc ( õ d (n), T ν0 (n)). VI. THE SPECIAL COMPONENT OF G(T n /F q ) In this section we describe the special component of the Chebyshev functional graph G(T n /S) where S = {a F q : T n (a) (k) = ±, for some k 0}. If n and q are odd, T n ( ) = and T n () = then the only periodic points of T n in S are and. In this case the trees attached to the fixed points and are isomorphic (Proposition 0). If either n is even or q is even, T n ( ) = = T n () and the only periodic point of T n in S is (if q is even this is true because = ). The next proposition summarizes the above discussion. March 0, 08

5 Proposition. Let T = Tree (T n /F q ) be the rooted tree attached to the fixed point for the Chebyshev polynomial T n restricted to the set S = {a F q : T n (a) (k) = ±, for some k 0}. Then G(T n /S) = Cyc(, T) if n is odd and q is odd; Cyc(, T) otherwise. We remark that Tree (T n /S) = Tree (T n /F q ), which is a consequence of S being T n -invariant (Proposition 9). By Proposition, to describe the special component it suffices to describe the tree T = Tree (T n /F q ). If q = ν 0 ω 0 and q + = ν ω is the n-decomposition of q and q +, respectively, the rooted trees attached to the periodic points are isomorphic to T ν0 (n) in the rational component and isomorphic to T ν (n) in the quadratic component (Proposition 0). In the case of the special component the situation is different, the tree T = Tree (T n /F q ) is not isomorphic to a tree associated to a ν-series (that is, the trees associated to the multiplication by n map over Z m for some m Z + ). However we show in this section that the tree T can be expressed as a mean of the trees T ν0 (n) and T ν 0(n). In the first part of this section we define the bisection of trees together some of their main properties. In the second part we deduce an isomorphism formula for the special component of the Chebyshev graph. A. Bisection of rooted trees We start by defining the sum of rooted trees. Definition 4. Let T = T T T r and T = T T T s be two rooted trees. We define their sum as T + T = T T T r T T T s. We remark that the tree consisting of a unique node T = = is the neutral element of the sum. The tree T T denotes a tree such that T = T + (T T ) in case this tree exists (if it exists, it is unique up to isomorphism). We note that (T + T ) T is defined if and only if T i T is defined for some i =,. If T T is defined then (T + T ) T = (T T ) + T and if T T is defined then (T +T ) T = T +(T T ). Therefore when (T +T ) T is defined we can write this tree as T +T T without ambiguity. A forest is a graph that can be expressed as a disjoint union of rooted trees. A tree T is even if it can be expressed as T = F for some forest F and it is quasi-even if it can be expressed as T = F T for some forest F and some even tree T (i.e. T = F for some forest F ). In particular the tree T = is even because T =. For these classes of trees we define the bisection as follows. Definition 5. If T = F is an even tree, its bisection is the tree T = F. If T = F F is a quasi-even tree its bisection is defined as the tree T = F F. March 0, 08

6 Example. The tree associated with the v-series 8(30) = (6, 3) is given by T (6,3) = T 3 T where T = 6 and T =. Thus T (6,3) is quasi-even since it can be written as T (6,3) = F T with F = T T and T = is even. The bisection of this tree is given by T (6,3) = F = T T. Even and quasi-even trees are very restricted classes of trees, however they contain all trees associated with ν-series as stated in the following proposition. Proposition 3. If T ν(n) is the tree associated with ν(n) = (ν,..., ν D ), then T ν(n) is even when ν is odd and quasi-even when ν is even. Proof. By Equation () we have T ν(n) = (ν D ) T D D i= (ν i ν i+ ) T i, where the T i are pairwise non-isomorphic rooted trees. When ν is odd, ν i is odd for i D. Then, ν D and ν i ν i+ are even for i D and the tree T ν(n) is even. When ν is even, we have that ν,..., ν k are even and ν k+,..., ν D are odd for some k, k D. If k = D, then ν D is odd and ν i ν i+ are even for i D and the tree T ν(n) is quasi-even. If k < D, then ν D and ν i ν i+ are even for i k and k + i D, and ν k ν k+ is odd. Thus, T ν(n) is also quasi-even. We note that the if T and T are rooted trees, then T + T = T + T where, as usual, T denotes the number of nodes of T. The next proposition establishes a relation between T and T. Proposition 4. Let T be a rooted tree with T = N nodes. We have N+ if T is even; / T = N+ if T is quasi-even. Proof. If T is even, there is a forest S with s nodes such that T = S. We have N = T = + s from which we obtain s = N. Since T = S, T = s + = N + = N+. If T is quasi-even, there is a pair of forests S and R with s and r nodes, respectively, such that T = S R. We have N = T = + s + + r = (r + s + ) from which we obtain r + s + = N. Since T = S R, T = + s + + r = + N = N+. B. The tree Tree (T n /F q ) The next theorem describe the rooted tree attached to the fixed point for the Chebyshev polynomial T n : F q F q. We require the following lemma. Lemma 3. Let n > be an even integer, F q be an odd characteristic finite field and H be the multiplicative subgroup of F with order q +. q (i) If q 3 (mod 4), the equation x n = has no solution in F q. March 0, 08

7 (ii) If q (mod 4), the equation x n = has no solution in H. Proof. Let α F q be a solution of x n =. From the relations ord(α n ) = ord(α)/gcd(ord(α), n) and ord( ) =, we conclude that if n is even, then 4 ord(α). By Lagrange theorem, α F q implies 4 q and q 3 (mod 4); and α H implies 4 q 3 and q (mod 4). Theorem 3. Let q = ν 0 ω 0 and q + = ν ω be their n-decompositions. The rooted tree associated with the fixed point is described as follows: Tree (T n /F q ) = / T ν0 (n) + / T ν (n) if n is odd or q is even; / T ν0 (n) + / T ν (n) if n is even and q is odd. Proof. The isomorphism formula is obtained after relating Tree (T n /F q ) and Tree (r n / F q ). First we consider the case when n is odd or q is even. In this case r n ( ) = or =, in both cases we have that the predecessors of in Tree (r n / F q ) are in F q or in H (but not in both). Since the sets F q and H are backward r n -invariant (Lemma ), we have Tree (r n / F q ) = Tree (r n /F q) + Tree (r n /H) = T ν0 (n) + T ν (n), where in the last equality we use Proposition 5. Now, we write r n () F q = {α,..., α s, } with α s+i = αi, α i ±, for all i : i s and rn () H = {β,..., β t, } with β t+j = β j, β j ±, for all j : j t. Denote by T(α i ) := Tree αi (r n /F q) for i s and T(β j ) := Tree βj (r n /H) for j t. Using Proposition 7 we have that T ν0 (n) = Tree (r n /F q) = T(α ) T(α s ) = ( T(α ) T(α s ) ), from which we obtain In the same way we obtain / T ν0 (n) = T(α ) T(α s ). / T ν (n) = T(β ) T(β t ). Let a i = η(α i ), T(a i ) = Tree ai (T n /F q ), b j = η(α j ) and T(b j ) = Tree bj (T n /F q ) for i s, j t. We have Tn () = {a,..., a s, b,..., b t, } and Tree (T n /F q ) = T(a ) T(a s ) T(b ) T(b t ) = T(α ) T(α s ) T(β ) T(β t ) (by Prop. 8) = T(α ) T(α s ) + T(β ) T(β t ) = / T ν0 (n) + / T ν (n). March 0, 08

8 Now we consider the case when n is even and q is odd. Here we can write r n () F q = {α,..., α s,, } with α s+i = αi, α i ±, for all i : i s, rn () H = {β,..., β t,, } with β t+j = β j, β j ±, for all j : j t and r n ( ) = {γ,..., γ r } with γ r+k = γ k, γ k ±, for all k : k r. Denote by T(α i ) := Tree αi (r n /F q) for i s, T(β j ) := Tree βj (r n /H) for j t, T(γ k ) := Tree γk (r n / F q ) for k r and T( ) := Tree (r n / F q ). In this case we have, by Proposition 7, T( ) = T(γ ) T(γ r ) = ( T(γ ) T(γ r )), thus / T( ) = T(γ ) T(γ r ). (4) Let a i = η(α i ), T(a i ) = Tree ai (T n /F q ), b j = η(α j ), T(b j ) = Tree bj (T n /F q ), c k = η(γ k ), T(c k ) = Tree ck (T n /F q ) for i s, j t, k r and T( ) = Tree (T n /F q ). We have T n () = {a,..., a s, b,..., b t,, }, T n ( ) = {c,..., c r }. By Proposition 7 and Equation (4) we have T( ) = T(c ) T(c r ) = T(γ ) T(γ r ) = / T( ), thus Tree (T n /F q ) = T(a ) T(a s ) T(b ) T(b t ) T( ) = T(α ) T(α s ) T(β ) T(β t ) / T( ). (5) Now we consider two subcases: q (mod 4) and q 3 (mod 4). First we consider the subcase q (mod 4). By Lemma 3 we have r n ( ) H = and r n ( ) F q. Thus T( ) = Tree (T n /F q) and we have, by Propositions 5 and 7, T ν0 (n) = Tree (r n /F q) = T(α ) T(α s ) T( ) = ( T(α ) T(α s )) T( ). Therefore / T ν0 (n) = T(α ) T(α s ) / T( ). (6) Since r n ( ) H =, we have T ν (n) = Tree (r n /H) = T(β ) T(β t ) = ( T(β ) T(β t )) and / T ν (n) = T(β ) T(β t ) = T(β ) T(β t ) + ; from which we obtain / T ν (n) = T(β ) T(β t ). (7) Substituting Equations (6) and (7) in Equation (5) we have Tree (T n /F q ) = T(α ) T(α s ) T(β ) T(β t ) / T( ) = T(α ) T(α s ) / T( ) + T(β ) T(β t ) = / T ν0 (n) + / T ν (n). The proof of the subcase q 3 (mod 4) is similar. In this case applying Lemma 3 we obtain T( ) = Tree (T n /H) and using the same arguments used for the subcase q (mod 4) we obtain / T ν (n) = / Tree (r n /H) = T(β ) T(β t ) / T( ) (8) March 0, 08

9 and / T ν0 (n) = T(α ) T(α s ). (9) Using Equations (5), (8) and (9) we have Tree (T n /F q ) = / T ν0 (n) + / T ν (n). VII. STRUCTURE THEOREM FOR CHEBYSHEV POLYNOMIAL AND CONSEQUENCES A. Isomorphism formula for G(T n /F q ) We summarize all the information in the following main theorem of this paper, which follows from Theorems and 3 and Proposition. Theorem 4. Let q = ν 0 ω 0 and q + = ν ω be the n-decomposition of q and q +, respectively. The Chebyshev graph admits a decomposition of the form G(T n /F q ) = G R G Q G S where the rational component G R is given by G R = d> the quadratic component G Q is given by G Q = d ω d> and the special component G S is given by B. Examples G S = õ d (n) Cyc ( ) õ d (n), T ν0 (n) ; õ d (n) Cyc ( ) õ d (n), T ν (n) ; Cyc(, / T ν0 (n) + / T ν (n) ) if n is even and q is odd; Cyc(, / T ν0 (n) + / T ν (n)) if n is odd and q is odd; Cyc(, / T ν0 (n) + / T ν (n)) We provide a series of examples showing our main result. if q is even. Example 3. We consider the Chebyshev polynomial T 30 over F 9 (see Figure a). We have 9 = 8 = ν 0 ω 0 with ν 0 = 8, ω 0 = and 9 + = 0 = ν ω with ν = 0, ω =. Since ω 0, ω both the rational and the quadratic components of G(T 30 /F 9 ) are empty. We calculate the ν-series 8(30) = (6, 3) and 0(30) = (0, ) obtaining G(T 30 /F 9 ) = Cyc (, T (6,3) + ) T (0,). Thus, the graph G(T 30 /F 9 ) consist of a loop corresponding to the fix point and a tree T = T (6,3) + T (0,) attached to this point; see Figure 3. March 0, 08

0 Fig. 3. Construction of the tree T = T (6,3) + T (0,). Example 4. Now we consider again the Chebyshev polynomial T 30 but this time over F 3 (see Figure b). We have 3 = = ν 0 ω 0 with ν 0 =, ω 0 = and 3 + = 4 = ν ω with ν = 4, ω =. In this case the quadratic component of G(T 30 /F 3 ) is empty and the rational component is ϕ() õ (30) Cyc ( õ (30), T (30) ). Since ϕ() = 0, õ (30) = 5 and T (30) = T () =, it is given by Cyc (5, ). We calculate the ν-series 4(30) = (6,, ). Then, the Chebyshev s graph of T 30 over F 3 is given by: ( G(T 30 /F 3 ) = Cyc (5, ) Cyc, T () + ) T (6,,). We have T () = = = (i.e. T () is invariant under bisection), and after simplifying ( ) we obtain G(T 30 /F 3 ) = Cyc (5, ) Cyc, T (6,,). To obtain a more explicit formula we calculate the bisection of T (6,,). Using the recursive formula (), we obtain T (6,,) = 4 T where T = 4 6, then T (6,,) is quasi-even and T is even. Since T = 6, we have T (6,,) = T = 6. Example 5. We consider again the Chebyshev polynomial T 30, this time over the reasonably large finite field F 739 where the symmetries can be better appreciated; see Figure 4. We calculate the 30-decomposition of 738 = 8 4 (ν 0 = 8, ω 0 = 4) and 740 = 0 37 (ν = 0, ω = 37). Since ϕ(4) = 40, õ 4 (30) = 0, ϕ(37) = 36, õ 37 (30) = 9, the rational component G R and the quadratic component G Q are given by G R = Cyc(0, T 8(30) ) and G Q = Cyc(9, T 0(30) ). We have 8(30) = (6, 3) and 0(30) = (0, ). Thus ( ) the special component is G S = Cyc, T (6,3) + T (0,) and the structure of the whole graph is ( ) given by G(T 30 /F 739 ) = Cyc(0, T (6,3) ) Cyc(9, T (0,) ) Cyc, T (6,3) + T (0,). March 0, 08

Fig. 4. Structure of the functional graph G(T 30 /F 739 ). n G R G Q G S Cyc(, ) Cyc(, ) Cyc(4, ) Cyc(4, ) Cyc(, ) 3 Cyc(, ) Cyc(8, ) Cyc(, ) 4 3 Cyc(, ) Cyc(, ) 4 Cyc(, ) Cyc(, ) 5 Cyc(, 4 ) Cyc(8, ) Cyc(, ) 6 Cyc(, ) Cyc(8, ) Cyc(, ) 7 Cyc(, ) Cyc(, ) Cyc(4, ) Cyc(8, ) Cyc(, ) 8 Cyc(, ) Cyc(, ) Cyc(4, ) Cyc(4, ) Cyc(, ) 9 Cyc(, ) Cyc(4, ) Cyc(, ) 0 Cyc(, 4 ) Cyc(8, ) Cyc(, ) 5 Cyc(4, ) Cyc(, 7 ) 7 Cyc(, ) Cyc(, ) Cyc(4, ) Cyc(, 8 ) 34 3 Cyc(, ) Cyc(, ) Cyc(, 8 ) 55 Cyc(, 5 ) TABLE II GRAPH STRUCTURE FOR CHEBYSHEV POLYNOMIALS T n OVER THE BINARY FIELD F 6. WE RECALL THAT T = m DENOTES A TREE CONSISTING OF A ROOT WITH m PREDECESSORS. Example 6. We consider the action of Chebyshev polynomials over the binary field F 6. Using Theorem 4 we obtain the structure of the rational component G R, the quadratic component G Q and the special component G S of the Chebyshev graph G(T n /F 6 ) for n 0 and n = 5, 7, 34 and 55; see Table II. March 0, 08

C. Chebyshev involutions and permutations It is well known that the Chebyshev polynomial T n is a permutation polynomial over F q if and only if gcd(q, n) =. Using that T ν(n) = if and only if ν =, this condition can be obtained as a direct corollary of Theorem 4 together with the decomposition into disjoint cycles. Corollary 3. The Chebyshev polynomial T n is a permutation polynomial over F q if and only if gcd(q, n) =. In this case, if q = ν 0 ω 0 and q + = ν ω are their n-decompositions, we have the following decomposition of G(T n /F q ) into disjoint cycles: d> õ d (n) Cyc (õ d(n), ) d ω d> where k = if nq is odd, and k = otherwise. õ d (n) Cyc (õ d(n), ) k Cyc(, ), A particular case of cryptographic interest is permutation polynomials that are involutions [], [3], that is, when the composition with itself is the identity map. For Chebyshev polynomials we obtain the following characterization. Corollary 4. Let q = ν 0 ω 0 and q + = ν ω be the n-decomposition of q and q +, respectively. The Chebyshev polynomial T n is an involution over F q if and only if ν 0 = ν =, n ± (mod ω ) and n ± (mod ω ). Proof. The condition ν 0 = ν = is equivalent to gcd(q, n) = which is equivalent to T n being a permutation by Corollary 3. If this condition is satisfied, T n is an involution if and only if õ d (n) {, } for all d such that d ω 0 or d ω, if and only if n ± for all d with d ω 0 or d ω, if and only if n ± (mod ω ) and n ± (mod ω ). Example 7. Consider the Chebyshev polynomial T 3 over F 5. Here n = 3, q = 5, ν 0 = ν =, ω = 4, ω = 6. Since 3 (mod 4) and 3 (mod 6), the polynomial T 3 is an involution over F 5. D. Explicit formulas for N, T 0, C, T and R Let G = G( f /X) be a functional graph where X is a finite set. Given x 0 X there are integers c and t 0 such that x c+t 0 = x t 0. The smallest integers with this property are denoted by per(x 0) := c (the period of x 0 ) and pper(x 0 ) := t (the preperiod of x 0 ). The rho length of x 0 is rho(x 0 ) := per(x 0 )+pper(x 0 ). We also consider the parameters N, T 0, C, T and R where N(G) is the number of connected component of G; March 0, 08

3 T 0 (G) is the number of periodic points; C(G) = X x X per(x) is the expected value of the period; T(G) = X x X pper(x) is the expected value of the preperiod and R(G) = X x X rho(x) is the expected value of the rho length. We apply our structural theorem to deduce explicit formulas for the parameters N, T 0, C and T for Chebyshev polynomials over F q (the average rho length can be obtained from R = C + T). These parameters were studied in [4] for the exponentiation map and in [5] for Rédei functions. We remark that the above parameters are invariant under isomorphism (i.e. isomorphic functional graphs have the same value). Related to C and T we consider the parameters Ĉ and T defined as the sum of the values of the periods and preperiods, respectively, from which we can easily obtain C and T. The advantage of working with these parameters instead of C and T is that they are additive (i.e. Ĉ(G G ) = Ĉ(G ) + Ĉ(G ) and T(G G ) = T(G ) + T(G )) as well as the parameters N and T 0. For additive parameters it suffices to know their values on each connected component. In the case of Chebyshev polynomials over finite fields, each connected component of its functional graph is uniform. It is immediate to check that if G = Cyc(m, T) where T is a rooted tree with depth D, then N(G) = ; T 0 (G) = m; Ĉ(G) = m T and T(G) = m D j= jh(j) where h(j) denotes the number of nodes in T at depth j. When the rooted tree T is the tree attached to a ν-series T = T ν(n) we have the following formulas, whose proof is the same as the given one in [5] for Rédei functions. Lemma 4 ([5], Proposition..). Let n, ν, m be positive integers with rad(ν) rad(n). Consider ν(n) = (ν, ν,..., ν D ) and G = Cyc(m, T ν(n) ). Then N(G) =, T 0 (G) = m, Ĉ(G) = m ν and T(G) = m D j= ν ν j. The next lemma shows how the parameter T behaves regarding to addition and bisection of trees. Lemma 5. The following statements hold. ) If G = Cyc(, T ), G = Cyc(, T ) and G = Cyc(, T + T ), then T(G) = T(G ) + T(G ). ) If G = Cyc(, T) where T is an even or quasi-even rooted tree and G = Cyc(, T), then T(G ) = T(G) if T is even; T(G)+ if T is quasi-even. Proof.. Denote by h (j), h (j) and h(j) the number of nodes at depth j in T, T and T +T, respectively. Clearly we have h(0) = and h(j) = h (j) + h (j) for j, from which we obtain T(G) = jh(j) = jh (j) + jh (j) = T(G ) + T(G ). The depth of a node x in a rooted tree T with root r is the length of the smallest path connecting x to r. If T is a rooted tree attached to a cyclic node in a functional graph, the depth of a node is the same as its preperiod. March 0, 08

4. First we consider the case when T is even. We can write T = S for some forest S. We denote by h S (j) the number of nodes at depth j in T = S. We have that T(G) = j h S (j) = jh S (j) = T(G ). Now we consider the case when T is quasi-even. We can write T = S R. We denote by h S (j) and h R (j) the number of nodes at depth j in S and R, respectively. We have that T(G) = ( j h R (j)) + + (j + ) h S (j) and T(G ) = ( jh R (j)) + + (j + )h S (j). Thus T(G ) = T(G) +. Next we calculate formulas for Ĉ and T for the special component G S of the Chebyshev functional graph G(T n /F q ). Lemma 6. Let n be a positive integer, q = ν 0 ω 0 and q + = ν ω be the n-decompositions of q and q +, respectively. Let ν 0 (n) = (a,..., a D ), ν (n) = (b 0,..., b D ), A = D i= a a i and B = D i= b b i. Denote by G S the special component of the Chebyshev graph G(T n /F q ). The following formulas for Ĉ and T hold. Ĉ(G S ) = ν 0 + ν, if nq is odd; ν 0 +ν, otherwise. and T(G S ) = A + B, if nq is odd; A+B, otherwise. Proof. First we consider the case when qn is odd. In this case both ν 0 and ν are odd and, by Proposition 3, both rooted trees T ν0 (n) and T ν (n) are even. From Proposition 4, Theorem 4 and the fact that T ν(n) = ν (see Equation () and the following paragraph), we have Ĉ(G S ) = T ν 0 (n) + T ν (n) = ( ) ν0 + + ν + = ν 0 + ν. Applying Lemmas 4 and 5 we obtain T(G S ) = ( A + B ) = A + B. Now we consider the case when q is even. In this case again both ν 0 and ν are odd and consequently both rooted trees T ν0 (n) and T ν (n) are even. By Proposition 4 and Theorem 4, we have Ĉ(G S ) = T ν 0 (n) + T ν 0 (n) = ν 0+ + ν + = ν 0+ν. Applying Lemmas 4 and 5 we obtain T(G S ) = A + B = A+B. The remainder case is when n is even and q is odd. In this case both ν 0 and ν are even. By Proposition 3 both T ν0 (n) and T ν (n) are quasi-even. By Proposition 4 and Theorem 4 we have Ĉ(G S ) = T ν 0 (n) + T ν 0 (n) = ν 0+ + ν + = ν 0+ν. Applying Lemmas 4 and 5 we obtain T(G S ) = A+ + B+ = A+B. Theorem 5. Let n be a positive integer. Let q = ν 0 ω 0 and q + = ν ω be the n-decompositions of q and q +, respectively. Let ν 0 (n) = (a,..., a D ) and ν (n) = (b 0,..., b D ). Then, the following holds for G = G(T n /F q ): the number of cycles in G(T n /F q ) is N(G) = ( the number of periodic points is given by T 0 (G) = ω 0+ω ; õ d (n) + d ω õ d (n) ); March 0, 08