arxiv:math/ v1 [math.ag] 15 Jun 2005

Transcription

1 arxiv:math/5633v [math.ag] 5 Jun 5 ON COMPOSITE AND NON-MONOTONIC GROWTH FUNCTIONS OF MEALY AUTOMATA ILLYA I. REZNYKOV Abstract. We introduce the notion of composite growth function and provide examples that illustrate the primary properties of these growth functions. There are provided examples of Mealy automata that have composite nonmonotonic growth functions of the polynomial growth order. There are described examples of Mealy automata that have composite monotonic growth functions of intermediate and exponential growth. The questions concerning the interrelation between the notions composite and non-monotonic of a Mealy automaton growth function are formulated.. Introduction The notion of growth was introduced in the middle of last century [,4] and was applied to various geometrical, topological and algebraic objects [, 5]. Mainly, growth functions of studied objects are non-decreasing monotonic functions of a natural argument []. For example, the growth function of a semigroup (group at the point n, n, equals a number of different semigroup elements of length n. Obviously, the growth function of an arbitrary semigroup is a non-decreasing monotonic function. Growth of Mealy automata have been studied since the 8th of th century [3, 6], and it is close interrelated with growth of automatic transformation semigroups (groups, defined by them [6]. However, the growth functions of the Mealy automaton and the corresponding semigroup have different properties; for example, they may have different growth orders []. In the paper we consider special type of growth functions of Mealy automata composite growth functions. Composite function is a function such that it can be described by different expressions on infinite non-overlapped intervals. There exist Mealy automata that have composite growth functions of various growth orders. Moreover, some of these automata have non-monotonic growth functions. There were not known Mealy automata such that they have non-monotonic growth functions (see survey [7], and [3], [], etc.. Preliminaries of the theory of Mealy automata are listed in Section. The notion of composite function is introduced in Section 3. In Section 4 we provide several examples of Mealy automata, that have non-monotonic growth functions of the polynomial growth order. In addition, the Mealy automata with composite growth functions such that one of its finite differences consists of doubled values, are provided in Section 5. The theorems concerning the main properties of these Date: 4/6/8. Mathematics Subject Classification. Primary M35, 68Q7. Key words and phrases. the Mealy automaton, the growth function, the composite growth function, the non-monotonic growth function, the intermediate growth order.

2 I. REZNYKOV automata are formulated, and we list these theorems without proofs. They can be proved by using the technique, similar to the technique of [] (see also []. We are planning to publish the proofs of these theorems in subsequent papers. For convenience, the propositions, where the normal form of semigroup elements are formulated, are provided for the most complex of the considered automata. Moreover, the questions concerning the composite growth functions are appeared, and some of them are mentioned in Section 6. I would like to thank Igor F. Reznykov and Alexandr N. Movchan, who helped to find the automata, that are considered in the paper.. Preliminaries The basic notions of the theory of Mealy automata and the theory of semigroups can be found in many books, for example [3 5,8]. We use definitions from []... Mealy automata. Let s denote the set of all finite words over X m, including the empty word ε, by the symbol Xm, and denote the set of all infinite (to right words by the symbol Xm ω. We write a function φ : X m X m as ( φ(x φ(x... φ(x m. Moreover, we have in mind N = {,,,...}. Let A = (X m, Q n, π, λ be a non-initial Mealy automaton [9] with the finite set of states Q n = {q, q,..., q n }, input and output alphabets are the same and equal X m, π : X m Q n Q n and λ : X m Q n X m are its transition and output functions, respectively. The function λ can be extended in a natural way to the mapping λ : Xm Q n Xm or to the mapping λ : Xm ω Q n Xm. ω The transformation f q : Xm X m (f q : Xm ω Xω m, defined by the equality f q (u = λ(u, q, where u X m (u X ω m, is called [5] the automatic transformation, defined by A at the state q. The automaton A defines the set F A = { f q, f q,..., f qn } of automatic transformations over Xm ω. Each automatic transformation defined by the automaton A can be written in the unrolled form: f qi = ( f π(x,q i, f π(x,q i,...,f π(xm,q i σqi, where i =,,..., n, and σ qi is the transformation over the alphabet X m defined by the output function λ: σ qi = ( λ(x, q i λ(x, q i... λ(x m, q i. Let us define the set of all n-state Mealy automata over the m-symbol alphabet by the symbol A n m. The product of Mealy automata is introduced [3] over the set of automata with the same input and output alphabet X m as their sequential applying. Therefore for the transformations f q,a and f q,a, q Q n, q Q n, the unrolled form of the product f (q,q,a A is defined by the equality: f (q,q,a A = f q,a f q,a = (g, g,..., g m σ q,a σ q,a, where g i = f π(σ q,a (x i,q,a f π(x i,q,a, i =,,..., m, and all transformations are applied from right to left.

3 ON COMPOSITE AND NON-MONOTONIC GROWTH OF MEALY AUTOMATA 3 The power A n is defined for any automaton A and any positive integer n. Let us denote A (n the minimal Mealy automaton, equivalent to A n. It follows from definition of a product, that QA (n QA n. Definition.. [6] The function γ A of a natural argument, defined by γ A (n = QA (n, n N, is called the growth function of the Mealy automaton A... Semigroups. Definition.. Let A = (X m, Q n, π, λ be a Mealy automaton. The semigroup S A = sg ( f q, f q,...,f qn is called the semigroup of automatic transformations, defined by A. Let S be a semigroup with the finite set of generators G = {s, s,...,s k }. The elements of the free semigroup G + are called semigroup words [8]. In the sequel, we identify them with corresponding elements of S. Let s denote the length of a semigroup element s by the symbol l(s. Definition.3. The function γ S of a natural argument such that γ S (n = { s S l(s n }, n N, is called the growth function of S relative to the system G of generators. Definition.4. The function γ S of a natural argument such that γ S (n = { s S s = s i s i... s in, s ij G, j n }, n N, is called the spherical growth function of S relative to the system G of generators. Definition.5. The function δ S of a natural argument such that δ S (n = { s S l(s = n }, n N, is called the word growth function of S relative to the system G of generators. From the definitions.3,.4 and.5, the following inequalities hold for n N: n δ S (n γ S (n γ S (n = δ S (i. Similarly, from definition. it follows [6] that i= γ A (n = γ SA (n, n N..3. Growth functions. The growth of some object is defined by functions of a natural argument. One of the most used characteristic of these functions is the notion of growth order. Definition.6. Let γ i : N N, i =,, are arbitrary functions. The function γ has no greater growth order (notation γ γ than the function γ, if there exist numbers C, C, N N such that for any n N. γ (n C γ (C n

4 4 I. REZNYKOV Definition.7. The growth functions γ and γ are equivalent or have the same growth order (notation γ γ, if the inequalities γ γ and γ γ hold. The equivalence class of the function γ is called the growth order and is denoted by the symbol [γ]. The growth order [γ] is called ( polynomial, if [γ] = [ n d] for some d > ; ( intermediate, if [ n d] < [γ] < [e n ] for all d > ; (3 exponential, if [γ] = [e n ]. It is often convenient to encode the growth function of a semigroup in a generating series: Definition.8. Let S be a semigroup generated by a finite set G. The growth series of S is the formal power series Γ S (X = n γ S (nx n. The power series S (X = n δ S (nx n can also be introduced; we then have S (X = ( XΓ S (X. The series S is called the word growth series of the semigroup S. The growth series of a Mealy automaton is introduced similarly: Definition.9. Let A be an arbitrary Mealy automaton. The growth series of A is the formal power series Γ A (X = n γ A (nx n. 3. Composite growth functions Let us introduce the concept of composite growth function in the following way. Let γ : N N be an arbitrary function, and let k be a positive integer. Let us define the functions γ i : N N, i =,,...,k, by the equalities: γ i (n = γ(k n + i, n N. We say that the function γ is composite, if there exists integer k such that at least two functions from the set {γ, γ,..., γ k } can be defined by different expressions. Let us fix the notions. Let A be the arbitrary Mealy automaton. Let us denote the semigroup of automatic transformations, defined by A, by the symbol S A, and the growth functions of A and S A by the symbols γ A and γ SA, respectively. If γ A is a composite function for some integer k, then let us denote its parts by the symbols γ A,i, i =,,..., k. Let γ be an arbitrary function, and let us denote the i-th finite difference of γ by the symbols γ (i, i, i.e. γ ( (n = γ(n γ(n, γ (i (n = γ (i (n γ (i (n, where i, n i +. Let us consider the example of Mealy automaton with the composite growth function. Let A be the 3-state Mealy automaton over the -symbol alphabet

5 ON COMPOSITE AND NON-MONOTONIC GROWTH OF MEALY AUTOMAT x, x q x, x x, x q x, x, q Figure. The automaton A whose Moore diagram is shown on Figure. Its automatic transformations have the following unrolled forms: f = (f, f (x, x, f = (f, f (x, x, f = (f, f (x, x. The following theorem holds: Theorem 3.. S A5 = f, f ( The semigroup S A has the following presentation: f f = f f, f f i = f f f, i =, ; f f = f, f f f = f f j = f f, j =,, ; f 4 = f3, f3 f = f 3, f f f = f f f f ; f f f f = f f f, f f 3 = f f ( The growth function γ A is a composite function for k =, and is defined by the following equalities: γ A,(n = 3 n, γ A,(n = 3 n, where n, γ A ( = 3, γ A ( = 8, γ A (3 = 4. It follows from Theorem 3. that the growth function γ A has the exponential growth order and can be written as { 3 n 4, if n is even; γ A (n = 3 n 5, if n is odd; where n 4. The normal form of elements of S A is declared in the following proposition: Proposition 3.. An arbitrary element s of S A has the following normal form s = s (f f p (f f p (f f p3 (f f p4... (f f p k (f f p k s, where s {, f, f }, s {, f, f, f, f f 3,f f, f f f f f }, and k, p, p k, p i >, i =, 3,..., k, l(s. 4. Non-monotonic growth functions The conception of a composite function allows to construct non-monotonic functions easily. For example, let k = and γ be a function such that γ (n = and γ (n =. Obviously, γ is non-monotonic. Below we consider the -state Mealy automata over the 4-symbol alphabet, that have non-monotonic growth functions of constant, linear and square growth. There are exist automata that have nonmonotonic growth functions of other polynomial growth orders, but their consideration requires more technical details.

6 6 I. REZNYKOV,, 3, q x, x q, 3, Figure. The automaton A 4.. The automaton A of constant growth. Let A be the Mealy automaton, defined by Moore diagram on Figure. Its automatic transformations have the following unrolled forms: f = (f, f, f, f (x, x, x, x, f = (f, f, f, f (x, x, x, x. The automaton A has non-monotonic growth function of the constant growth order, and the graph of γ A is shown on Figure 3. The following theorem holds: Theorem 4.. S A = ( The semigroup S A has the following presentation: f f, f f i = f f f i = f, i =, ; f f = f f f, f f f f = f 4 = ff 3, (f f 4 = (f f ( The growth function γ A is a composite function for k =, and is defined by the following equalities: γ A,(n = 8, γ A,(n = 9, where n, γ A ( =, γ A ( = 4, γ A (3 = The automaton A 3 of linear growth. Let s consider the automaton A 3, whose Moore diagram is shown on Figure 4. Its automatic transformations have the following unrolled forms: f = (f, f, f, f (x, x, x, x, f = (f, f, f, f (x 3, x, x, x. The automaton A 3 have the non-monotonic linear growth function, and the graph of γ A3 is shown on Figure 5. The following theorem holds: Figure 3. The growth function of A

7 ON COMPOSITE AND NON-MONOTONIC GROWTH OF MEALY AUTOMATA 7,, 3, q x, x3 q, 3, Figure 4. The automaton A 3 Theorem 4.. S A3 = ( The semigroup S A3 has the following presentation: f f, f f i = f f = f, i =, ; f f f = f, f f f = f, f3 f f = f f f 3 ( The growth function γ A3 is a composite function for k =, and is defined by the following equalities: γ A3,(n = 4n, γ A3,(n = 5n +, where n and γ A3 ( = The automaton A 4 of square growth. Let A 4 be the automaton such that its Moore diagram is shown on Figure 6. Its automatic transformations have the following unrolled forms: f = (f, f, f, f (x, x, x, x, f = (f, f, f, f (x, x 3, x, x. The automaton A 4 has non-monotonic growth function of square growth, and the graph of γ A4 is shown on Figure 7. The properties of A 4 are formulated in the following theorem: Theorem 4.3. ( The semigroup S A4 is infinitely presented, and has the following presentation: f ( S A4 = f, f f i = f, f f f f i = f f f i, i =,, f f p+ f = f f f, p Figure 5. The growth function of A 3

8 8 I. REZNYKOV,, 3, q x, x q 3, 3, Figure 6. The automaton A 4 ( The growth function γ A4 is a composite non-monotonic function, that is defined by the following equalities: γ A4,(n = 4n 5n + 6, n, γ A4,(n = 7 n + 3 n +, n and γ A4 ( = 4. The function γ A4 has the square growth order. From the defining relations ( the proposition follows Proposition 4.4. An arbitrary element s of S A4 admits a unique minimal-length representation as a word of one of the following forms f f p (f f p s, where p, p, s {, f, f, f }, except the combination p =, p =, s =, or f p (f f p s, where p, p, s {, f, f, f }, or p =, p, s { f, f, f }. 5. Growth functions with doubled finite differences In this section we consider composite growth functions such that one of its finite differences consists of doubled values. We consider the sequence {B m, m 3} of Mealy automata of polynomial growth, and two Mealy automata of the intermediate and the exponential growth orders Figure 7. The growth function of A 4

9 ON COMPOSITE AND NON-MONOTONIC GROWTH OF MEALY AUTOMATA 9 x q x, x x, x q x,, x, x x, x, 3 x3, x3 xm m m, xm xm m Figure 8. The automaton B m 5.. The automata {B m, m 3} of polynomial growth. Let B m, m 3, be the -state Mealy automaton over the m-symbol alphabet (Figure 8, and the unrolled forms of the automatic transformations f = f q,b m and f = f q,b m are defined in the following way: ( For any m 3 the semigroup S m have the following pre- Theorem 5.. sentation: f = (f, f, f, f,..., f, f (x, x, x, x 3,..., x m, x m, f = (f, f, f, f,..., f, f (x, x, x 3, x 4,..., x m, x m. S B3 = f, f f 3 = f f, f f f = f f S B4 = f, f S Bm = f, f f 4 = f f f, f f p f f f = f f p+ f, p, m 4 i= m 3 i= (f f pi f4 = m 4 i= (f f pi f f f = m 3, (f f pi f f f, i= p i, i =,,...,m 3 (f f pi f f, All semigroups S Bm for m 4 are infinitely presented. ( For m 3 the growth function γ Bm is defined by the following equalities: ( γ Bm (n = m i= for all n. ( n i + [ n m+ ] i= ( n i m = m i= = ( n i + ( n i m i ( Here [r] denotes the integer part of the real number r, and we assume that n = if k n or n <. k The following proposition holds in the semigroup S Bm : Proposition 5.. The normal form of the element s of S Bm is one of the following words f p f f p f... f p k f f p k where k m, p i, i =,,..., k, l(s, and f p f f p f...f pm f f pm f f pm.,

10 I. REZNYKOV, q x, x q q x, x x, x Figure 9. The automaton where p i, i =,,...,m. The corollary follows from Theorem 5.: Corollary [ 5.3. ] ( For all m 3 the function γ Bm have the growth order n m. ( The (m -th finite differences of γ Bm is defined by the following equality where n m. γ (m B m (n = [ n m + ] +, It follows from ( that for any m 4 the equalities hold γ ( B m (n = γ Bm (n γ Bm (n = m 3 ( n = i i= + ( n i m 3 i = γ Bm (n, where n. The growth function γ B3 is defined by the equalities { γ B3 (n = 4 n + n +, if n is even; 4 n + n + 3 4, if n is odd. Hence, joining two last equalities, one has [ ] γ (m B m (n = γ ( n (m 3 B 3 (n (m 3 = + = [ n m + ] +, for any m 3, n m. Therefore (m -th finite difference of γ Bm consists of doubled values, i.e. for any even integer n, n, the equality holds γ (m B m (n + m = γ (m B m (n + m. 5.. The automaton of intermediate growth. Let be the 3-state Mealy automaton over the -symbol alphabet such that its Moore diagram is shown on Figure 9. The following theorem holds:

11 ON COMPOSITE AND NON-MONOTONIC GROWTH OF MEALY AUTOMATA Theorem 5.4. ( The semigroup S A5 is a infinitely presented monoid, and has the following presentation: ( f f k f pk+ f f i f = i=k (3 S A5 = e, f, f ( = f pk+ f f i f, k, p =,. i=k ( The growth series Γ A5 (X of and the growth series Γ SA5 (X of S A5 coincide and are defined by the equality ( Γ SA5 (X = Γ A5 (X = ( X + X ( + X X X ( + ( X4 X 4 + X8 ( +... X8 The properties of the growth function γ A5 are formulated in the following corollary: Corollary 5.5. [n log n log ]. ( The growth function γ A5 has the intermediate growth order ( Let us define γ ( ( = γ ( ( = γ ( ( =. The second finite difference of γ A5 is defined by the following equality (4 γ ( (n = [ n ] i= γ ( (i, n 3. The system of defining relations (3 implies the following normal form: Proposition 5.6. Each semigroup element s of S A5 can be written in the following normal form f p f f k p +( k f... f i p k i +( i f... f 4p k +3 f f p k + f f p k where k, p i, i =,,...,k. The growth series for the second finite difference ( Γ A5 (X can be easily constructed by using the expression for Γ A5 (X: ( Γ A5 (X = n 3 γ ( (nx n + γ ( ( + γ ( (X + γ ( (X = = ( X Γ A5 (X ( Xγ A5 ( X(γ A5 ( γ A5 ( X (γ A5 ( γ A5 ( + γ A5 ( + + X + X = = + X ( + ( X X X + ( X4 X 4 + X8 ( X8 The right-hand series of the last equality are the formal series for the numbers of partitions of n, n, into sequential powers of, that is γ ( (n equals the cardinality of the set { p, p,...,p k k, k p i i = n, p i, i =,,...,k i= }.

12 I. REZNYKOV x, x q q q, x, x x, x x, x Figure. The automaton A 6 The equality (4 is well-known for these partition numbers []. Therefore, the second finite difference of γ A5 consists of doubled values, i.e. for any even integer n, n, the equality holds γ ( (n = γ ( (n The automaton A 6 of exponential growth. Let A 6 be the 3-state Mealy automaton over the -symbol alphabet such that its automatic transformations have the following unrolled forms: f = (f, f (x, x, f = (f, f (x, x, f = (f, f (x, x. The Moore diagram of A 6 is shown on Figure. The following theorem holds: Theorem 5.7. S A6 = ( The semigroup S A6 has the following presentation: f f, f, f =, f f = f f = f = f f = f, f f f f f = f f f f f ( The growth series Γ A6 (X of A 6 admits the description Γ A6 (X = (X ( X + + X + X3 X X 4. (3 The growth series Γ SA6 (X of S A6 is defined in the following way Γ SA6 (X = (X ( X + + X + X3 X X 4. Let us define the Fibonacci numbers by the symbols Φ n, where Φ n = Φ n + Φ n, n, and Φ = Φ =. It follows from Theorem 5.7 that the growth function γ A6 can be written in close form, and the following corollary holds: Corollary 5.8. The growth function γ A6 is defined by the following equalities: { Φ[ n (5 γ A6 (n = ]+6 + Φ [ n 8, if n is even; n ]+4 Φ [ n ]+6 + Φ [ n 8, if n is odd. n ]+4 The growth function γ A6 has the exponential growth order. Let n be any positive integer, and represent n = k, when n is even, and n = k+, when n is odd. It follows from (5, that for any k the following equalities hold γ ( A 6 (k + = Φ k+4, γ ( A 6 (k + = Φ k+3, and, using the previous equalities, we have γ ( A 6 (k + = Φ k+, γ ( A 6 (k + = Φ k+.

13 ON COMPOSITE AND NON-MONOTONIC GROWTH OF MEALY AUTOMATA 3 Hence, the second finite difference γ A6 consists of doubled values, and for all even integer n the equality holds γ ( A 6 (n = γ ( A 6 (n. 6. Final remarks There are some questions, that concern the composite non-monotonic growth functions of Mealy automata. ( Does there exist the Mealy automaton such that its composite growth function includes parts of different growth orders? ( Does there exist the Mealy automaton which have the non-monotonic growth function of the intermediate or the exponential growth order? (3 Does there exist the Mealy automaton such that its growth function is non-monotonic, but isn t a composite function (in the sense of Section 3? References [] George E. Andrews, The Theory of Partitions, Addison-Wesley Publishing Company, London, Amsterdam, Don Mills Ontario, Sydney, Tokio, 976. [] I.K. Babenko, The problems of the growth and the rationality in algebra and topology, Uspehi Math. Nauk 4 (986, [3] Ferenc Gecseg, Products of automata, Springer-Verlag, Berlin ets., 986. [4] Arthur Gill, Introduction to the Theory of Finite-State Machines, McGraw-Hill Book Company, Inc., New York, San Francisco, Toronto, London, 963. [5] Victor M. Gluškov, Abstract theory of automata, Uspehi Math. Nauk 6 (96, 3 6. [6] Rostislav I. Grigorchuk, On cancellation semigroups of the degree growth, Math. Notes 43 (988, [7] Rostislav I. Grigorchuk, Volodimir V. Nekrashevich, and Vitaliy I. Sushchansky, Automata, dynamical systems, and groups, Proceedings of the Steklov Institute of Mathematics 3 (, 8 3. [8] Gérard Lallement, Semigroups and combinatorial applications, John Willey & Sons, New York, Chichester, Brisbane, Toronto, 979, ISBN [9] George H. Mealy, A method for synthesizing sequential circuits, Bell System Tech. J. 34 (955, [] John Milnor, Growth of finitely generated solvable groups, Journal of Differential Geometry (968, [] Illya I. Reznykov, The growth functions of two-state Mealy automata over the two-symbol alphabet and the semigroups, defined by them, Kyiv Taras Schevchenko University, Kiev, Ukraine,. [] Illya I. Reznykov, On -state Mealy automata of polynomial growth, Algebra and Discrete Mathematics (3, [3] Illya I. Reznykov and Vitaliy I. Sushchansky, -generated semigroup of automatic transformations, whose growth is defined by Fibonacci series, Math. Studii 7 (, 8 9. [4] A.S. Švarc, A volume invariant of coverings, Dokladi Akademii Nauk SSSR 5 (955, [5] V.A. Ufnarovskiy, Combinatorial and asymptotical methods in algebra, Itogi Nauki i Tehniki, vol. 57, VINITI, Moscow, 99, pp Faculty of Mathematics and Mechanics, Kiev Taras Shevchenko National University, vul. Volodymyrska, 64, Kiev, Ukraine 33 Current address: Faculty of Mathematics and Mechanics, Kiev Taras Shevchenko National University, vul. Volodymyrska, 64, Kiev, Ukraine 33 address: Illya.Reznykov@ikc5.com.ua