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

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "arxiv:math/0506303v1 [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:

x if x 0, x if x < 0.

x if x 0, x if x < 0. Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the

More information

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein) Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

More information

Reading 13 : Finite State Automata and Regular Expressions

Reading 13 : Finite State Automata and Regular Expressions CS/Math 24: Introduction to Discrete Mathematics Fall 25 Reading 3 : Finite State Automata and Regular Expressions Instructors: Beck Hasti, Gautam Prakriya In this reading we study a mathematical model

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

Sets and Subsets. Countable and Uncountable

Sets and Subsets. Countable and Uncountable Sets and Subsets Countable and Uncountable Reading Appendix A Section A.6.8 Pages 788-792 BIG IDEAS Themes 1. There exist functions that cannot be computed in Java or any other computer language. 2. There

More information

A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

More information

MAT2400 Analysis I. A brief introduction to proofs, sets, and functions

MAT2400 Analysis I. A brief introduction to proofs, sets, and functions MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take

More information

Computability Theory

Computability Theory CSC 438F/2404F Notes (S. Cook and T. Pitassi) Fall, 2014 Computability Theory This section is partly inspired by the material in A Course in Mathematical Logic by Bell and Machover, Chap 6, sections 1-10.

More information

The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit

The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),

More information

Our goal first will be to define a product measure on A 1 A 2.

Our goal first will be to define a product measure on A 1 A 2. 1. Tensor product of measures and Fubini theorem. Let (A j, Ω j, µ j ), j = 1, 2, be two measure spaces. Recall that the new σ -algebra A 1 A 2 with the unit element is the σ -algebra generated by the

More information

NP-Completeness and Cook s Theorem

NP-Completeness and Cook s Theorem NP-Completeness and Cook s Theorem Lecture notes for COM3412 Logic and Computation 15th January 2002 1 NP decision problems The decision problem D L for a formal language L Σ is the computational task:

More information

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces Geometrical Characterization of RN-operators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg

More information

CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE

CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE With the notion of bijection at hand, it is easy to formalize the idea that two finite sets have the same number of elements: we just need to verify

More information

Structural properties of oracle classes

Structural properties of oracle classes Structural properties of oracle classes Stanislav Živný Computing Laboratory, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK Abstract Denote by C the class of oracles relative

More information

Lecture 1 (Review of High School Math: Functions and Models) Introduction: Numbers and their properties

Lecture 1 (Review of High School Math: Functions and Models) Introduction: Numbers and their properties Lecture 1 (Review of High School Math: Functions and Models) Introduction: Numbers and their properties Addition: (1) (Associative law) If a, b, and c are any numbers, then ( ) ( ) (2) (Existence of an

More information

Mathematical Induction

Mathematical Induction Mathematical Induction Victor Adamchik Fall of 2005 Lecture 2 (out of three) Plan 1. Strong Induction 2. Faulty Inductions 3. Induction and the Least Element Principal Strong Induction Fibonacci Numbers

More information

Notes on Complexity Theory Last updated: August, 2011. Lecture 1

Notes on Complexity Theory Last updated: August, 2011. Lecture 1 Notes on Complexity Theory Last updated: August, 2011 Jonathan Katz Lecture 1 1 Turing Machines I assume that most students have encountered Turing machines before. (Students who have not may want to look

More information

DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS

DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism

More information

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

Metric Spaces Joseph Muscat 2003 (Last revised May 2009) 1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of

More information

Note on some explicit formulae for twin prime counting function

Note on some explicit formulae for twin prime counting function Notes on Number Theory and Discrete Mathematics Vol. 9, 03, No., 43 48 Note on some explicit formulae for twin prime counting function Mladen Vassilev-Missana 5 V. Hugo Str., 4 Sofia, Bulgaria e-mail:

More information

Approximating the entropy of a 2-dimensional shift of finite type

Approximating the entropy of a 2-dimensional shift of finite type Approximating the entropy of a -dimensional shift of finite type Tirasan Khandhawit c 4 July 006 Abstract. In this paper, we extend the method used to compute entropy of -dimensional subshift and the technique

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

More information

FACULTY OF INFORMATION TECHNOLOGY

FACULTY OF INFORMATION TECHNOLOGY FACULTY OF INFORMATION TECHNOLOGY Course Specifications: (MATH 251) Month, Year: Fall 2008 University: Misr University for Science and Technology Faculty : Faculty of Information Technology Course Specifications

More information

On the D-Stability of Linear and Nonlinear Positive Switched Systems

On the D-Stability of Linear and Nonlinear Positive Switched Systems On the D-Stability of Linear and Nonlinear Positive Switched Systems V. S. Bokharaie, O. Mason and F. Wirth Abstract We present a number of results on D-stability of positive switched systems. Different

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

Mathematical Induction

Mathematical Induction Chapter 2 Mathematical Induction 2.1 First Examples Suppose we want to find a simple formula for the sum of the first n odd numbers: 1 + 3 + 5 +... + (2n 1) = n (2k 1). How might we proceed? The most natural

More information

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

More information

Lecture 3. Mathematical Induction

Lecture 3. Mathematical Induction Lecture 3 Mathematical Induction Induction is a fundamental reasoning process in which general conclusion is based on particular cases It contrasts with deduction, the reasoning process in which conclusion

More information

LIMITS AND CONTINUITY

LIMITS AND CONTINUITY LIMITS AND CONTINUITY 1 The concept of it Eample 11 Let f() = 2 4 Eamine the behavior of f() as approaches 2 2 Solution Let us compute some values of f() for close to 2, as in the tables below We see from

More information

ON A MIXED SUM-DIFFERENCE EQUATION OF VOLTERRA-FREDHOLM TYPE. 1. Introduction

ON A MIXED SUM-DIFFERENCE EQUATION OF VOLTERRA-FREDHOLM TYPE. 1. Introduction SARAJEVO JOURNAL OF MATHEMATICS Vol.5 (17) (2009), 55 62 ON A MIXED SUM-DIFFERENCE EQUATION OF VOLTERRA-FREDHOLM TYPE B.. PACHPATTE Abstract. The main objective of this paper is to study some basic properties

More information

Regular Languages and Finite Automata

Regular Languages and Finite Automata Regular Languages and Finite Automata 1 Introduction Hing Leung Department of Computer Science New Mexico State University Sep 16, 2010 In 1943, McCulloch and Pitts [4] published a pioneering work on a

More information

Chapter Three. Functions. In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics.

Chapter Three. Functions. In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics. Chapter Three Functions 3.1 INTRODUCTION In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics. Definition 3.1: Given sets X and Y, a function from X to

More information

Lecture 2: Universality

Lecture 2: Universality CS 710: Complexity Theory 1/21/2010 Lecture 2: Universality Instructor: Dieter van Melkebeek Scribe: Tyson Williams In this lecture, we introduce the notion of a universal machine, develop efficient universal

More information

Real Numbers and Monotone Sequences

Real Numbers and Monotone Sequences Real Numbers and Monotone Sequences. Introduction. Real numbers. Mathematical analysis depends on the properties of the set R of real numbers, so we should begin by saying something about it. There are

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete

More information

A Load Balancing Technique for Some Coarse-Grained Multicomputer Algorithms

A Load Balancing Technique for Some Coarse-Grained Multicomputer Algorithms A Load Balancing Technique for Some Coarse-Grained Multicomputer Algorithms Thierry Garcia and David Semé LaRIA Université de Picardie Jules Verne, CURI, 5, rue du Moulin Neuf 80000 Amiens, France, E-mail:

More information

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves

More information

The Ergodic Theorem and randomness

The Ergodic Theorem and randomness The Ergodic Theorem and randomness Peter Gács Department of Computer Science Boston University March 19, 2008 Peter Gács (Boston University) Ergodic theorem March 19, 2008 1 / 27 Introduction Introduction

More information

1. Students will demonstrate an understanding of the real number system as evidenced by classroom activities and objective tests

1. Students will demonstrate an understanding of the real number system as evidenced by classroom activities and objective tests MATH 102/102L Inter-Algebra/Lab Properties of the real number system, factoring, linear and quadratic equations polynomial and rational expressions, inequalities, systems of equations, exponents, radicals,

More information

Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras

Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Theory of Computation Prof. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture No. # 31 Recursive Sets, Recursively Innumerable Sets, Encoding

More information

RANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis

RANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis RANDOM INTERVAL HOMEOMORPHISMS MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis This is a joint work with Lluís Alsedà Motivation: A talk by Yulij Ilyashenko. Two interval maps, applied

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

More information

Degree Hypergroupoids Associated with Hypergraphs

Degree Hypergroupoids Associated with Hypergraphs Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

More information

Metric Spaces. Chapter 7. 7.1. Metrics

Metric Spaces. Chapter 7. 7.1. Metrics Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

More information

POSITIVE INTEGERS, INTEGERS AND RATIONAL NUMBERS OBTAINED FROM THE AXIOMS OF THE REAL NUMBER SYSTEM

POSITIVE INTEGERS, INTEGERS AND RATIONAL NUMBERS OBTAINED FROM THE AXIOMS OF THE REAL NUMBER SYSTEM MAT 1011 TECHNICAL ENGLISH I 03.11.2016 Dokuz Eylül University Faculty of Science Department of Mathematics Instructor: Engin Mermut Course assistant: Zübeyir Türkoğlu web: http://kisi.deu.edu.tr/engin.mermut/

More information

1. The algebra of exponents 1.1. Natural Number Powers. It is easy to say what is meant by a n a (raised to) to the (power) n if n N.

1. The algebra of exponents 1.1. Natural Number Powers. It is easy to say what is meant by a n a (raised to) to the (power) n if n N. CHAPTER 3: EXPONENTS AND POWER FUNCTIONS 1. The algebra of exponents 1.1. Natural Number Powers. It is easy to say what is meant by a n a (raised to) to the (power) n if n N. For example: In general, if

More information

SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE

SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE CRISTINA FLAUT and DIANA SAVIN Communicated by the former editorial board In this paper, we study some properties of the matrix representations of the

More information

Taylor Series and Asymptotic Expansions

Taylor Series and Asymptotic Expansions Taylor Series and Asymptotic Epansions The importance of power series as a convenient representation, as an approimation tool, as a tool for solving differential equations and so on, is pretty obvious.

More information

ON THE COEFFICIENTS OF THE LINKING POLYNOMIAL

ON THE COEFFICIENTS OF THE LINKING POLYNOMIAL ADSS, Volume 3, Number 3, 2013, Pages 45-56 2013 Aditi International ON THE COEFFICIENTS OF THE LINKING POLYNOMIAL KOKO KALAMBAY KAYIBI Abstract Let i j T( M; = tijx y be the Tutte polynomial of the matroid

More information

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

More information

TOPIC 3: CONTINUITY OF FUNCTIONS

TOPIC 3: CONTINUITY OF FUNCTIONS TOPIC 3: CONTINUITY OF FUNCTIONS. Absolute value We work in the field of real numbers, R. For the study of the properties of functions we need the concept of absolute value of a number. Definition.. Let

More information

If f is a 1-1 correspondence between A and B then it has an inverse, and f 1 isa 1-1 correspondence between B and A.

If f is a 1-1 correspondence between A and B then it has an inverse, and f 1 isa 1-1 correspondence between B and A. Chapter 5 Cardinality of sets 51 1-1 Correspondences A 1-1 correspondence between sets A and B is another name for a function f : A B that is 1-1 and onto If f is a 1-1 correspondence between A and B,

More information

Techniques algébriques en calcul quantique

Techniques algébriques en calcul quantique Techniques algébriques en calcul quantique E. Jeandel Laboratoire de l Informatique du Parallélisme LIP, ENS Lyon, CNRS, INRIA, UCB Lyon 8 Avril 25 E. Jeandel, LIP, ENS Lyon Techniques algébriques en calcul

More information

Deterministic Finite Automata

Deterministic Finite Automata 1 Deterministic Finite Automata Definition: A deterministic finite automaton (DFA) consists of 1. a finite set of states (often denoted Q) 2. a finite set Σ of symbols (alphabet) 3. a transition function

More information

Section 3 Sequences and Limits, Continued.

Section 3 Sequences and Limits, Continued. Section 3 Sequences and Limits, Continued. Lemma 3.6 Let {a n } n N be a convergent sequence for which a n 0 for all n N and it α 0. Then there exists N N such that for all n N. α a n 3 α In particular

More information

Invertible elements in associates and semigroups. 1

Invertible elements in associates and semigroups. 1 Quasigroups and Related Systems 5 (1998), 53 68 Invertible elements in associates and semigroups. 1 Fedir Sokhatsky Abstract Some invertibility criteria of an element in associates, in particular in n-ary

More information

Modern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh

Modern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh Modern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh Peter Richtárik Week 3 Randomized Coordinate Descent With Arbitrary Sampling January 27, 2016 1 / 30 The Problem

More information

parent ROADMAP MATHEMATICS SUPPORTING YOUR CHILD IN HIGH SCHOOL

parent ROADMAP MATHEMATICS SUPPORTING YOUR CHILD IN HIGH SCHOOL parent ROADMAP MATHEMATICS SUPPORTING YOUR CHILD IN HIGH SCHOOL HS America s schools are working to provide higher quality instruction than ever before. The way we taught students in the past simply does

More information

Informatique Fondamentale IMA S8

Informatique Fondamentale IMA S8 Informatique Fondamentale IMA S8 Cours 1 - Intro + schedule + finite state machines Laure Gonnord http://laure.gonnord.org/pro/teaching/ Laure.Gonnord@polytech-lille.fr Université Lille 1 - Polytech Lille

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

arxiv:math/0202219v1 [math.co] 21 Feb 2002

arxiv:math/0202219v1 [math.co] 21 Feb 2002 RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) arxiv:math/0202219v1 [math.co] 21 Feb 2002 TOUFIK MANSOUR LaBRI (UMR 5800), Université Bordeaux 1, 351 cours de la Libération, 33405 Talence Cedex, France

More information

Math 181 Handout 16. Rich Schwartz. March 9, 2010

Math 181 Handout 16. Rich Schwartz. March 9, 2010 Math 8 Handout 6 Rich Schwartz March 9, 200 The purpose of this handout is to describe continued fractions and their connection to hyperbolic geometry. The Gauss Map Given any x (0, ) we define γ(x) =

More information

Follow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu

Follow links for Class Use and other Permissions. For more information send email to: permissions@pupress.princeton.edu COPYRIGHT NOTICE: Ariel Rubinstein: Lecture Notes in Microeconomic Theory is published by Princeton University Press and copyrighted, c 2006, by Princeton University Press. All rights reserved. No part

More information

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

More information

Formal Languages and Automata Theory - Regular Expressions and Finite Automata -

Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Samarjit Chakraborty Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zürich March

More information

A Formalization of the Turing Test Evgeny Chutchev

A Formalization of the Turing Test Evgeny Chutchev A Formalization of the Turing Test Evgeny Chutchev 1. Introduction The Turing test was described by A. Turing in his paper [4] as follows: An interrogator questions both Turing machine and second participant

More information

A characterization of trace zero symmetric nonnegative 5x5 matrices

A characterization of trace zero symmetric nonnegative 5x5 matrices A characterization of trace zero symmetric nonnegative 5x5 matrices Oren Spector June 1, 009 Abstract The problem of determining necessary and sufficient conditions for a set of real numbers to be the

More information

This chapter describes set theory, a mathematical theory that underlies all of modern mathematics.

This chapter describes set theory, a mathematical theory that underlies all of modern mathematics. Appendix A Set Theory This chapter describes set theory, a mathematical theory that underlies all of modern mathematics. A.1 Basic Definitions Definition A.1.1. A set is an unordered collection of elements.

More information

Prime and Composite Terms in Sloane s Sequence A056542

Prime and Composite Terms in Sloane s Sequence A056542 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.3.3 Prime and Composite Terms in Sloane s Sequence A056542 Tom Müller Institute for Cusanus-Research University and Theological

More information

MATH 289 PROBLEM SET 1: INDUCTION. 1. The induction Principle The following property of the natural numbers is intuitively clear:

MATH 289 PROBLEM SET 1: INDUCTION. 1. The induction Principle The following property of the natural numbers is intuitively clear: MATH 89 PROBLEM SET : INDUCTION The induction Principle The following property of the natural numbers is intuitively clear: Axiom Every nonempty subset of the set of nonnegative integers Z 0 = {0,,, 3,

More information

1.1 Logical Form and Logical Equivalence 1

1.1 Logical Form and Logical Equivalence 1 Contents Chapter I The Logic of Compound Statements 1.1 Logical Form and Logical Equivalence 1 Identifying logical form; Statements; Logical connectives: not, and, and or; Translation to and from symbolic

More information

Lecture Notes on Measure Theory and Functional Analysis

Lecture Notes on Measure Theory and Functional Analysis Lecture Notes on Measure Theory and Functional Analysis P. Cannarsa & T. D Aprile Dipartimento di Matematica Università di Roma Tor Vergata cannarsa@mat.uniroma2.it daprile@mat.uniroma2.it aa 2006/07 Contents

More information

Explicit inverses of some tridiagonal matrices

Explicit inverses of some tridiagonal matrices Linear Algebra and its Applications 325 (2001) 7 21 wwwelseviercom/locate/laa Explicit inverses of some tridiagonal matrices CM da Fonseca, J Petronilho Depto de Matematica, Faculdade de Ciencias e Technologia,

More information

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 20

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 20 CS 70 Discrete Mathematics and Probability Theory Fall 009 Satish Rao, David Tse Note 0 Infinity and Countability Consider a function (or mapping) f that maps elements of a set A (called the domain of

More information

CS 3719 (Theory of Computation and Algorithms) Lecture 4

CS 3719 (Theory of Computation and Algorithms) Lecture 4 CS 3719 (Theory of Computation and Algorithms) Lecture 4 Antonina Kolokolova January 18, 2012 1 Undecidable languages 1.1 Church-Turing thesis Let s recap how it all started. In 1990, Hilbert stated a

More information

{f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,...

{f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,... 44 CHAPTER 4. CONTINUOUS FUNCTIONS In Calculus we often use arithmetic operations to generate new continuous functions from old ones. In a general metric space we don t have arithmetic, but much of it

More information

Turing Machines: An Introduction

Turing Machines: An Introduction CIT 596 Theory of Computation 1 We have seen several abstract models of computing devices: Deterministic Finite Automata, Nondeterministic Finite Automata, Nondeterministic Finite Automata with ɛ-transitions,

More information

Some Problems of Second-Order Rational Difference Equations with Quadratic Terms

Some Problems of Second-Order Rational Difference Equations with Quadratic Terms International Journal of Difference Equations ISSN 0973-6069, Volume 9, Number 1, pp. 11 21 (2014) http://campus.mst.edu/ijde Some Problems of Second-Order Rational Difference Equations with Quadratic

More information

6.2 Permutations continued

6.2 Permutations continued 6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

More information

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure

More information

Algebraic and Transcendental Numbers

Algebraic and Transcendental Numbers Pondicherry University July 2000 Algebraic and Transcendental Numbers Stéphane Fischler This text is meant to be an introduction to algebraic and transcendental numbers. For a detailed (though elementary)

More information

International Journal of Information Technology, Modeling and Computing (IJITMC) Vol.1, No.3,August 2013

International Journal of Information Technology, Modeling and Computing (IJITMC) Vol.1, No.3,August 2013 FACTORING CRYPTOSYSTEM MODULI WHEN THE CO-FACTORS DIFFERENCE IS BOUNDED Omar Akchiche 1 and Omar Khadir 2 1,2 Laboratory of Mathematics, Cryptography and Mechanics, Fstm, University of Hassan II Mohammedia-Casablanca,

More information

N E W S A N D L E T T E R S

N E W S A N D L E T T E R S N E W S A N D L E T T E R S 73rd Annual William Lowell Putnam Mathematical Competition Editor s Note: Additional solutions will be printed in the Monthly later in the year. PROBLEMS A1. Let d 1, d,...,

More information

arxiv:math/ v1 [math.nt] 31 Mar 2002

arxiv:math/ v1 [math.nt] 31 Mar 2002 arxiv:math/0204006v1 [math.nt] 31 Mar 2002 Additive number theory and the ring of quantum integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx, New York 10468 Email: nathansn@alpha.lehman.cuny.edu

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

P NP for the Reals with various Analytic Functions

P NP for the Reals with various Analytic Functions P NP for the Reals with various Analytic Functions Mihai Prunescu Abstract We show that non-deterministic machines in the sense of [BSS] defined over wide classes of real analytic structures are more powerful

More information

We give a basic overview of the mathematical background required for this course.

We give a basic overview of the mathematical background required for this course. 1 Background We give a basic overview of the mathematical background required for this course. 1.1 Set Theory We introduce some concepts from naive set theory (as opposed to axiomatic set theory). The

More information

A simple criterion on degree sequences of graphs

A simple criterion on degree sequences of graphs Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

More information

Continued Fractions. Darren C. Collins

Continued Fractions. Darren C. Collins Continued Fractions Darren C Collins Abstract In this paper, we discuss continued fractions First, we discuss the definition and notation Second, we discuss the development of the subject throughout history

More information

Finite and Infinite Sets

Finite and Infinite Sets Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following

More information

Chapter 2 Limits Functions and Sequences sequence sequence Example

Chapter 2 Limits Functions and Sequences sequence sequence Example Chapter Limits In the net few chapters we shall investigate several concepts from calculus, all of which are based on the notion of a limit. In the normal sequence of mathematics courses that students

More information

General theory of stochastic processes

General theory of stochastic processes CHAPTER 1 General theory of stochastic processes 1.1. Definition of stochastic process First let us recall the definition of a random variable. A random variable is a random number appearing as a result

More information

Introduction to Automata Theory. Reading: Chapter 1

Introduction to Automata Theory. Reading: Chapter 1 Introduction to Automata Theory Reading: Chapter 1 1 What is Automata Theory? Study of abstract computing devices, or machines Automaton = an abstract computing device Note: A device need not even be a

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................

More information

Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers

Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers Amnon Yekutieli Department of Mathematics Ben Gurion University email: amyekut@math.bgu.ac.il Notes available at http://www.math.bgu.ac.il/~amyekut/lectures

More information

Triangle deletion. Ernie Croot. February 3, 2010

Triangle deletion. Ernie Croot. February 3, 2010 Triangle deletion Ernie Croot February 3, 2010 1 Introduction The purpose of this note is to give an intuitive outline of the triangle deletion theorem of Ruzsa and Szemerédi, which says that if G = (V,

More information

Course Title: Honors Algebra Course Level: Honors Textbook: Algebra 1 Publisher: McDougall Littell

Course Title: Honors Algebra Course Level: Honors Textbook: Algebra 1 Publisher: McDougall Littell Course Title: Honors Algebra Course Level: Honors Textbook: Algebra Publisher: McDougall Littell The following is a list of key topics studied in Honors Algebra. Identify and use the properties of operations

More information

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work

More information

Batch Scheduling of Deteriorating Products

Batch Scheduling of Deteriorating Products Decision Making in Manufacturing and Services Vol. 1 2007 No. 1 2 pp. 25 34 Batch Scheduling of Deteriorating Products Maksim S. Barketau, T.C. Edwin Cheng, Mikhail Y. Kovalyov, C.T. Daniel Ng Abstract.

More information

RAMANUJAN S HARMONIC NUMBER EXPANSION INTO NEGATIVE POWERS OF A TRIANGULAR NUMBER

RAMANUJAN S HARMONIC NUMBER EXPANSION INTO NEGATIVE POWERS OF A TRIANGULAR NUMBER Volume 9 (008), Issue 3, Article 89, pp. RAMANUJAN S HARMONIC NUMBER EXPANSION INTO NEGATIVE POWERS OF A TRIANGULAR NUMBER MARK B. VILLARINO DEPTO. DE MATEMÁTICA, UNIVERSIDAD DE COSTA RICA, 060 SAN JOSÉ,

More information