A glimpse of combinatorics on words
|
|
- Junior Cameron
- 7 years ago
- Views:
Transcription
1 A glimpse of combinatorics on words Benny George K Tata Institute of Fundamental Research,Mumbai India Indo Russian Workshop 2008 Ural State Univeristy Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 1 / 13
2 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 2 / 13
3 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 2 / 13
4 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 2 / 13
5 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 3 / 13
6 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13
7 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13
8 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13
9 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13
10 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13
11 Basic Terminology A is a finite alphabet. A + (resp. A )is the free semigroup (resp. monoid) generated by A Elements of A are called words. Subsets of A are called languages. Lower cases letters x, y, z,... denotes words and upper case letters X, Y, Z... denotes languages. Lower case letters a, b, c,... are used for constants. 1 denotes the empty word. w is length of word w. For two words u and v, u is a prefix(suffix, factor) of v if there exists x, y such that v = ux(v = xu, v = xuy). Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 4 / 13
12 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13
13 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13
14 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13
15 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13
16 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13
17 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13
18 Basic Terminology h is a morphism from A to B if h(uv) = h(u)h(v) φ(a) = ab, φ(b) = a This is called fibonacci morphism. Let f = φ (a) f 0 = a,f 1 = ab and f n+1 = f n f n 1. If w = xu k y, we say w has a repetition of order k If a words doesn t contain a repetition of order k its is called k free. A word is called primitive if it is not of the form w k for k > 1. An integer p is a period of w = a 1... a n if a i = a p+i. The smallest period is often called the period. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 5 / 13
19 Outline Introduction Fine and Wilf s Theorem Pattern Avoidance Theorems 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 6 / 13
20 Fine and Wilf s Theorem Fine and Wilf s Theorem Pattern Avoidance Theorems Let w be a word of length n. If w has two period p and q and n p + q gcd(p, q), then gcd(p, q) is a period of w. Bound is tight. Consider w = abaab abaab a. It is a word of length 11 and is not power of a single letter. Such words are called Sturmian words. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 7 / 13
21 Fine and Wilf s Theorem Fine and Wilf s Theorem Pattern Avoidance Theorems Let w be a word of length n. If w has two period p and q and n p + q gcd(p, q), then gcd(p, q) is a period of w. Bound is tight. Consider w = abaab abaab a. It is a word of length 11 and is not power of a single letter. Such words are called Sturmian words. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 7 / 13
22 Fine and Wilf s Theorem Fine and Wilf s Theorem Pattern Avoidance Theorems Let w be a word of length n. If w has two period p and q and n p + q gcd(p, q), then gcd(p, q) is a period of w. Bound is tight. Consider w = abaab abaab a. It is a word of length 11 and is not power of a single letter. Such words are called Sturmian words. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 7 / 13
23 Square free and Cube free words Fine and Wilf s Theorem Pattern Avoidance Theorems Find as long as possible (infinite?) word over an n letter alphabet that it is k free. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 8 / 13
24 Square free and Cube free words Fine and Wilf s Theorem Pattern Avoidance Theorems Find as long as possible (infinite?) word over an n letter alphabet that it is k free. Thue 1906 There exists an infinite 2 + free word over binary alphabet. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 8 / 13
25 Square free and Cube free words Fine and Wilf s Theorem Pattern Avoidance Theorems Find as long as possible (infinite?) word over an n letter alphabet that it is k free. Thue 1906 There exists an infinite 2 + free word over binary alphabet. Thue 1906 There exists an infinite 2 free word over three alphabet. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 8 / 13
26 Outline Introduction 1 Introduction 2 Fine and Wilf s Theorem Pattern Avoidance Theorems 3 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 9 / 13
27 An Example Introduction Consider the following equation All its solution are of the form x = a(ba) n, y = (ba) n b We try to solve one such equation,but over languages Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 10 / 13
28 An Example Introduction Consider the following equation bxyx = yxya All its solution are of the form x = a(ba) n, y = (ba) n b We try to solve one such equation,but over languages Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 10 / 13
29 An Example Introduction Consider the following equation bxyx = yxya All its solution are of the form x = a(ba) n, y = (ba) n b We try to solve one such equation,but over languages Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 10 / 13
30 An Example Introduction Consider the following equation bxyx = yxya All its solution are of the form x = a(ba) n, y = (ba) n b We try to solve one such equation,but over languages Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 10 / 13
31 Problem Statement Conjugacy equation is XZ = ZY Input: X and Y Output: Yes iff there exists a Z. We consider the case when X = {x 1, x 2 } and Y = {y 1, y 2, y 3 } Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 11 / 13
32 Problem Statement Conjugacy equation is XZ = ZY Input: X and Y Output: Yes iff there exists a Z. We consider the case when X = {x 1, x 2 } and Y = {y 1, y 2, y 3 } Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 11 / 13
33 Problem Statement Conjugacy equation is XZ = ZY Input: X and Y Output: Yes iff there exists a Z. We consider the case when X = {x 1, x 2 } and Y = {y 1, y 2, y 3 } Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 11 / 13
34 Problem Statement Conjugacy equation is XZ = ZY Input: X and Y Output: Yes iff there exists a Z. We consider the case when X = {x 1, x 2 } and Y = {y 1, y 2, y 3 } Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 11 / 13
35 Folklore Lemmas Introduction Lemma 1 If p is a primitive word and p 2 = xpy, then either x = 1 or y = 1.In other words, primitive words cannot occur inside their powers in a nontrivial manner. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 12 / 13
36 Folklore Lemmas Introduction Lemma 1 If p is a primitive word and p 2 = xpy, then either x = 1 or y = 1.In other words, primitive words cannot occur inside their powers in a nontrivial manner. Lemma 2 If xz = zy, then x = (uv) r, y = (vu) r and z = (uv) r u and uv is primitive. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 12 / 13
37 Folklore Lemmas Introduction Lemma 1 If p is a primitive word and p 2 = xpy, then either x = 1 or y = 1.In other words, primitive words cannot occur inside their powers in a nontrivial manner. Lemma 2 If xz = zy, then x = (uv) r, y = (vu) r and z = (uv) r u and uv is primitive. Lemma 3 If xy = yx, then x = (w) r 1, y = (w) r 2 Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 12 / 13
38 Folklore Lemmas Introduction Lemma 1 If p is a primitive word and p 2 = xpy, then either x = 1 or y = 1.In other words, primitive words cannot occur inside their powers in a nontrivial manner. Lemma 2 If xz = zy, then x = (uv) r, y = (vu) r and z = (uv) r u and uv is primitive. Lemma 3 If xy = yx, then x = (w) r 1, y = (w) r 2 Lemma 4 If XZ = ZY and X commutes then so does Y. Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 12 / 13
39 THANK YOU Kenkireth TIFR (INDIA) A glimpse of combinatorics on words 2 Oct 13 / 13
THIN GROUPS OF FRACTIONS
Contemporary Mathematics THIN GROUPS OF FRACTIONS Patrick DEHORNOY Abstract. A number of properties of spherical Artin Tits groups extend to Garside groups, defined as the groups of fractions of monoids
More informationLocal periods and binary partial words: An algorithm
Local periods and binary partial words: An algorithm F. Blanchet-Sadri and Ajay Chriscoe Department of Mathematical Sciences University of North Carolina P.O. Box 26170 Greensboro, NC 27402 6170, USA E-mail:
More informationGod 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 informationSolutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory
Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN Part II: Group Theory No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Version: 1.1 Release: Jan 2013
More informationLecture 13 - Basic Number Theory.
Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted
More informationThe Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.
The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,
More informationSolving Linear Systems, Continued and The Inverse of a Matrix
, Continued and The of a Matrix Calculus III Summer 2013, Session II Monday, July 15, 2013 Agenda 1. The rank of a matrix 2. The inverse of a square matrix Gaussian Gaussian solves a linear system by reducing
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationOn the generation of elliptic curves with 16 rational torsion points by Pythagorean triples
On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples Brian Hilley Boston College MT695 Honors Seminar March 3, 2006 1 Introduction 1.1 Mazur s Theorem Let C be a
More informationRough Semi Prime Ideals and Rough Bi-Ideals in Rings
Int Jr. of Mathematical Sciences & Applications Vol. 4, No.1, January-June 2014 Copyright Mind Reader Publications ISSN No: 2230-9888 www.journalshub.com Rough Semi Prime Ideals and Rough Bi-Ideals in
More informationSOME 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(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.
11.01 List the elements of Z 2 Z 4. Find the order of each of the elements is this group cyclic? Solution: The elements of Z 2 Z 4 are: (0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order
More informationBoolean Algebra Part 1
Boolean Algebra Part 1 Page 1 Boolean Algebra Objectives Understand Basic Boolean Algebra Relate Boolean Algebra to Logic Networks Prove Laws using Truth Tables Understand and Use First Basic Theorems
More informationFundamentele Informatica II
Fundamentele Informatica II Answer to selected exercises 1 John C Martin: Introduction to Languages and the Theory of Computation M.M. Bonsangue (and J. Kleijn) Fall 2011 Let L be a language. It is clear
More informationTHE PRODUCT SPAN OF A FINITE SUBSET OF A COMPLETELY BOUNDED ARTEX SPACE OVER A BI-MONOID
THE PRODUCT SPAN OF A FINITE SUBSET OF A COMPLETELY BOUNDED ARTEX SPACE OVER A BI-MONOID ABSTRACT The product of subsets of an Artex space over a bi-monoid is defined. Product Combination of elements of
More informationSOLUTIONS FOR PROBLEM SET 2
SOLUTIONS FOR PROBLEM SET 2 A: There exist primes p such that p+6k is also prime for k = 1,2 and 3. One such prime is p = 11. Another such prime is p = 41. Prove that there exists exactly one prime p such
More informationArkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers
More informationBasic Concepts of Set Theory, Functions and Relations
March 1, 2006 p. 1 Basic Concepts of Set Theory, Functions and Relations 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2 1.3. Identity and cardinality...3
More informationVector Spaces 4.4 Spanning and Independence
Vector Spaces 4.4 and Independence October 18 Goals Discuss two important basic concepts: Define linear combination of vectors. Define Span(S) of a set S of vectors. Define linear Independence of a set
More informationCharacterization of some binary words with few squares
Characterization of some binary words with few squares Golnaz Badkobeh a, Pascal Ochem b a Department of Computer Science, University of Sheffield, UK b CNRS - LIRMM, Montpellier, France Abstract Thue
More informationFactoring Trinomials of the Form x 2 bx c
4.2 Factoring Trinomials of the Form x 2 bx c 4.2 OBJECTIVES 1. Factor a trinomial of the form x 2 bx c 2. Factor a trinomial containing a common factor NOTE The process used to factor here is frequently
More informationSUM OF TWO SQUARES JAHNAVI BHASKAR
SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted
More informationLogic in Computer Science: Logic Gates
Logic in Computer Science: Logic Gates Lila Kari The University of Western Ontario Logic in Computer Science: Logic Gates CS2209, Applied Logic for Computer Science 1 / 49 Logic and bit operations Computers
More informationIntroduction to Theory of Computation
Introduction to Theory of Computation Prof. (Dr.) K.R. Chowdhary Email: kr.chowdhary@iitj.ac.in Formerly at department of Computer Science and Engineering MBM Engineering College, Jodhpur Tuesday 28 th
More informationON SOME CLASSES OF REGULAR ORDER SEMIGROUPS
Commun. Korean Math. Soc. 23 (2008), No. 1, pp. 29 40 ON SOME CLASSES OF REGULAR ORDER SEMIGROUPS Zhenlin Gao and Guijie Zhang Reprinted from the Communications of the Korean Mathematical Society Vol.
More informationGröbner bases talk at the ACAGM Summer School Leuven 2011- p. 1
Gröbner bases talk at the ACAGM Summer School Leuven 2011- p. 1 Gröbner bases talk at the ACAGM Summer School Leuven 2011 - Hans Schönemann hannes@mathematik.uni-kl.de Department of Mathematics University
More informationON 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 informationThis asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.
3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More information6.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 informationA First Investigation of Sturmian Trees
A First Investigation of Sturmian Trees Jean Berstel 2, Luc Boasson 1 Olivier Carton 1, Isabelle Fagnot 2 1 LIAFA, CNRS Université Paris 7 2 IGM, CNRS Université de Marne-la-Vallée Atelier de Combinatoire,
More informationFormal 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 informationStanford Math Circle: Sunday, May 9, 2010 Square-Triangular Numbers, Pell s Equation, and Continued Fractions
Stanford Math Circle: Sunday, May 9, 00 Square-Triangular Numbers, Pell s Equation, and Continued Fractions Recall that triangular numbers are numbers of the form T m = numbers that can be arranged in
More information( ) FACTORING. x In this polynomial the only variable in common to all is x.
FACTORING Factoring is similar to breaking up a number into its multiples. For example, 10=5*. The multiples are 5 and. In a polynomial it is the same way, however, the procedure is somewhat more complicated
More informationWinter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com
Polynomials Alexander Remorov alexanderrem@gmail.com Warm-up Problem 1: Let f(x) be a quadratic polynomial. Prove that there exist quadratic polynomials g(x) and h(x) such that f(x)f(x + 1) = g(h(x)).
More informationRadboud Universiteit Nijmegen
Radboud Universiteit Nijmegen Faculteit der Natuurwetenschappen, Wiskunde en Informatica Uniqueness of the Hyperreal Field Noud Aldenhoven (0620874) Supervisor: dr. W.H.M. Veldman Second reader: prof.
More informationFactoring Polynomials
UNIT 11 Factoring Polynomials You can use polynomials to describe framing for art. 396 Unit 11 factoring polynomials A polynomial is an expression that has variables that represent numbers. A number can
More informationIntroduction 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 informationSettling a Question about Pythagorean Triples
Settling a Question about Pythagorean Triples TOM VERHOEFF Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands E-Mail address:
More informationCommutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald
Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Adam Boocher 1 Rings and Ideals 1.1 Rings and Ring Homomorphisms A commutative ring A with identity is a set with two binary
More informationGeorg Cantor and Set Theory
Georg Cantor and Set Theory. Life Father, Georg Waldemar Cantor, born in Denmark, successful merchant, and stock broker in St Petersburg. Mother, Maria Anna Böhm, was Russian. In 856, because of father
More informationMATH 289 PROBLEM SET 4: NUMBER THEORY
MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides
More informationSo let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers
More informationGroups in Cryptography
Groups in Cryptography Çetin Kaya Koç http://cs.ucsb.edu/~koc/cs178 koc@cs.ucsb.edu Koç (http://cs.ucsb.edu/~koc) ucsb cs 178 intro to crypto winter 2013 1 / 13 Groups in Cryptography A set S and a binary
More information(IALC, Chapters 8 and 9) Introduction to Turing s life, Turing machines, universal machines, unsolvable problems.
3130CIT: Theory of Computation Turing machines and undecidability (IALC, Chapters 8 and 9) Introduction to Turing s life, Turing machines, universal machines, unsolvable problems. An undecidable problem
More informationPatterns in Pascal s Triangle
Pascal s Triangle Pascal s Triangle is an infinite triangular array of numbers beginning with a at the top. Pascal s Triangle can be constructed starting with just the on the top by following one easy
More informationComputing Cubic Fields in Quasi-Linear Time
Computing Cubic Fields in Quasi-Linear Time K. Belabas Département de mathématiques (A2X) Université Bordeaux I 351, cours de la Libération, 33405 Talence (France) belabas@math.u-bordeaux.fr Cubic fields
More informationLecture 1. Basic Concepts of Set Theory, Functions and Relations
September 7, 2005 p. 1 Lecture 1. Basic Concepts of Set Theory, Functions and Relations 0. Preliminaries...1 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2
More informationCHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
More informationComputability 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 informationOn Integer Additive Set-Indexers of Graphs
On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that
More informationLearning Analysis by Reduction from Positive Data
Learning Analysis by Reduction from Positive Data František Mráz 1, Friedrich Otto 1, and Martin Plátek 2 1 Fachbereich Mathematik/Informatik, Universität Kassel 34109 Kassel, Germany {mraz,otto}@theory.informatik.uni-kassel.de
More informationRandom access protocols for channel access. Markov chains and their stability. Laurent Massoulié.
Random access protocols for channel access Markov chains and their stability laurent.massoulie@inria.fr Aloha: the first random access protocol for channel access [Abramson, Hawaii 70] Goal: allow machines
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationCMPSCI 250: Introduction to Computation. Lecture #19: Regular Expressions and Their Languages David Mix Barrington 11 April 2013
CMPSCI 250: Introduction to Computation Lecture #19: Regular Expressions and Their Languages David Mix Barrington 11 April 2013 Regular Expressions and Their Languages Alphabets, Strings and Languages
More informationAIP Factoring Practice/Help
The following pages include many problems to practice factoring skills. There are also several activities with examples to help you with factoring if you feel like you are not proficient with it. There
More informationk, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
More information6 Commutators and the derived series. [x,y] = xyx 1 y 1.
6 Commutators and the derived series Definition. Let G be a group, and let x,y G. The commutator of x and y is [x,y] = xyx 1 y 1. Note that [x,y] = e if and only if xy = yx (since x 1 y 1 = (yx) 1 ). Proposition
More informationEvery Positive Integer is the Sum of Four Squares! (and other exciting problems)
Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer
More informationAutomata and Formal Languages
Automata and Formal Languages Winter 2009-2010 Yacov Hel-Or 1 What this course is all about This course is about mathematical models of computation We ll study different machine models (finite automata,
More informationIntroduction 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 informationarxiv:math/0506303v1 [math.ag] 15 Jun 2005
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
More informationTHE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0
THE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0 RICHARD J. MATHAR Abstract. We count solutions to the Ramanujan-Nagell equation 2 y +n = x 2 for fixed positive n. The computational
More informationC H A P T E R Regular Expressions regular expression
7 CHAPTER Regular Expressions Most programmers and other power-users of computer systems have used tools that match text patterns. You may have used a Web search engine with a pattern like travel cancun
More informationAlgebraic Recognizability of Languages
of Languages LaBRI, Université Bordeaux-1 and CNRS MFCS Conference, Prague, August 2004 The general problem Problem: to specify and analyse infinite sets by finite means The general problem Problem: to
More informationRINGS WITH A POLYNOMIAL IDENTITY
RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in
More information4.6 The Primitive Recursive Functions
4.6. THE PRIMITIVE RECURSIVE FUNCTIONS 309 4.6 The Primitive Recursive Functions The class of primitive recursive functions is defined in terms of base functions and closure operations. Definition 4.6.1
More informationMatrix Representations of Linear Transformations and Changes of Coordinates
Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under
More informationAlgebraic Structures II
MAS 305 Algebraic Structures II Notes 12 Autumn 2006 Factorization in integral domains Lemma If a, b, c are elements of an integral domain R and ab = ac then either a = 0 R or b = c. Proof ab = ac a(b
More informationAlgorithmic Mathematics
Algorithmic Mathematics a web-book by Leonard Soicher & Franco Vivaldi This is the textbook for the course MAS202 Algorithmic Mathematics. This material is in a fluid state it is rapidly evolving and as
More informationChapter 6. Linear Transformation. 6.1 Intro. to Linear Transformation
Chapter 6 Linear Transformation 6 Intro to Linear Transformation Homework: Textbook, 6 Ex, 5, 9,, 5,, 7, 9,5, 55, 57, 6(a,b), 6; page 7- In this section, we discuss linear transformations 89 9 CHAPTER
More information. 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9
Introduction The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive integer We say d is a
More informationMATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
More informationarxiv: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 informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationCSE 135: Introduction to Theory of Computation Decidability and Recognizability
CSE 135: Introduction to Theory of Computation Decidability and Recognizability Sungjin Im University of California, Merced 04-28, 30-2014 High-Level Descriptions of Computation Instead of giving a Turing
More informationToday s Topics. Primes & Greatest Common Divisors
Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime
More information4. How many integers between 2004 and 4002 are perfect squares?
5 is 0% of what number? What is the value of + 3 4 + 99 00? (alternating signs) 3 A frog is at the bottom of a well 0 feet deep It climbs up 3 feet every day, but slides back feet each night If it started
More informationLecture 1: Course overview, circuits, and formulas
Lecture 1: Course overview, circuits, and formulas Topics in Complexity Theory and Pseudorandomness (Spring 2013) Rutgers University Swastik Kopparty Scribes: John Kim, Ben Lund 1 Course Information Swastik
More informationMATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.
MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar
More informationSection 1. Finding Common Terms
Worksheet 2.1 Factors of Algebraic Expressions Section 1 Finding Common Terms In worksheet 1.2 we talked about factors of whole numbers. Remember, if a b = ab then a is a factor of ab and b is a factor
More informationCOMMUTATIVITY DEGREE, ITS GENERALIZATIONS, AND CLASSIFICATION OF FINITE GROUPS
COMMUTATIVITY DEGREE, ITS GENERALIZATIONS, AND CLASSIFICATION OF FINITE GROUPS ABSTRACT RAJAT KANTI NATH DEPARTMENT OF MATHEMATICS NORTH-EASTERN HILL UNIVERSITY SHILLONG 793022, INDIA COMMUTATIVITY DEGREE,
More informationQuotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.
More informationOffline sorting buffers on Line
Offline sorting buffers on Line Rohit Khandekar 1 and Vinayaka Pandit 2 1 University of Waterloo, ON, Canada. email: rkhandekar@gmail.com 2 IBM India Research Lab, New Delhi. email: pvinayak@in.ibm.com
More informationUndergraduate 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 informationA number field is a field of finite degree over Q. By the Primitive Element Theorem, any number
Number Fields Introduction A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number field K = Q(α) for some α K. The minimal polynomial Let K be a number field and
More informationClass One: Degree Sequences
Class One: Degree Sequences For our purposes a graph is a just a bunch of points, called vertices, together with lines or curves, called edges, joining certain pairs of vertices. Three small examples of
More informationPrimality - Factorization
Primality - Factorization Christophe Ritzenthaler November 9, 2009 1 Prime and factorization Definition 1.1. An integer p > 1 is called a prime number (nombre premier) if it has only 1 and p as divisors.
More informationECE 842 Report Implementation of Elliptic Curve Cryptography
ECE 842 Report Implementation of Elliptic Curve Cryptography Wei-Yang Lin December 15, 2004 Abstract The aim of this report is to illustrate the issues in implementing a practical elliptic curve cryptographic
More information2. Let H and K be subgroups of a group G. Show that H K G if and only if H K or K H.
Math 307 Abstract Algebra Sample final examination questions with solutions 1. Suppose that H is a proper subgroup of Z under addition and H contains 18, 30 and 40, Determine H. Solution. Since gcd(18,
More information3.1 Solving Systems Using Tables and Graphs
Algebra 2 Chapter 3 3.1 Solve Systems Using Tables & Graphs 3.1 Solving Systems Using Tables and Graphs A solution to a system of linear equations is an that makes all of the equations. To solve a system
More information3. Linear Programming and Polyhedral Combinatorics
Massachusetts Institute of Technology Handout 6 18.433: Combinatorial Optimization February 20th, 2009 Michel X. Goemans 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the
More informationTool 1. Greatest Common Factor (GCF)
Chapter 4: Factoring Review Tool 1 Greatest Common Factor (GCF) This is a very important tool. You must try to factor out the GCF first in every problem. Some problems do not have a GCF but many do. When
More informationMatrix Algebra. Some Basic Matrix Laws. Before reading the text or the following notes glance at the following list of basic matrix algebra laws.
Matrix Algebra A. Doerr Before reading the text or the following notes glance at the following list of basic matrix algebra laws. Some Basic Matrix Laws Assume the orders of the matrices are such that
More informationSection IV.1: Recursive Algorithms and Recursion Trees
Section IV.1: Recursive Algorithms and Recursion Trees Definition IV.1.1: A recursive algorithm is an algorithm that solves a problem by (1) reducing it to an instance of the same problem with smaller
More information6.4 Special Factoring Rules
6.4 Special Factoring Rules OBJECTIVES 1 Factor a difference of squares. 2 Factor a perfect square trinomial. 3 Factor a difference of cubes. 4 Factor a sum of cubes. By reversing the rules for multiplication
More informationRegular Expressions with Nested Levels of Back Referencing Form a Hierarchy
Regular Expressions with Nested Levels of Back Referencing Form a Hierarchy Kim S. Larsen Odense University Abstract For many years, regular expressions with back referencing have been used in a variety
More informationCubes and Cube Roots
CUBES AND CUBE ROOTS 109 Cubes and Cube Roots CHAPTER 7 7.1 Introduction This is a story about one of India s great mathematical geniuses, S. Ramanujan. Once another famous mathematician Prof. G.H. Hardy
More informationLights and Darks of the Star-Free Star
Lights and Darks of the Star-Free Star Edward Ochmański & Krystyna Stawikowska Nicolaus Copernicus University, Toruń, Poland Introduction: star may destroy recognizability In (finitely generated) trace
More information