THE GROWTH DEGREE OF VERTEX REPLACEMENT RULES

Size: px
Start display at page:

Download "THE GROWTH DEGREE OF VERTEX REPLACEMENT RULES"

Transcription

1 THE GROWTH DEGREE OF VERTEX REPLACEMENT RULES JOSEPH P. PREVITE AND MICHELLE PREVITE 1. Introduction. 2. Vertex Replacement Rules. 3. Marked Graphs Definition 3.1. A marked graph (G, p) is a graph with one marked vertex p G. The set G of isometry classes of all marked graphs is a metric space with dist G ((G 1, p 1 ), (G 2, p 2 )) = 2 M, where M is the largest integer such that the balls of radius M centered at p i G i are isometric. For a marked graph (G, p) where p is replaceable, we let R(G, p) be the set of marked graphs (R(G), q), where q is any vertex inside the copy of H i that replaced p. Definition 3.2. A sequence satisfying (G i, p i ) R(G i 1, p i 1 ) for all i 1 is called an R orbit of (G 0, p 0 ). What follows is prop 6.1 pg 26 of Joe s paper. Proposition 3.3 (J. Previte). Every R orbit has limit points in G, and the space R of the limit points of all R orbits is compact. Moreover, all of R can be realized as the limit points of the set of marked graphs (H j, p), where the H j s are replacement graphs. We need to check that this prop doesn t depend upon R being an expanding replacement rule. Definition 3.4. A vertex replacement rule R is called invertible if for any ( G, p) R, there is a unique (G, p) R such that ( G, p) R(G, p). Date: May 27,

2 2 For R invertible, let π be the map on R which undoes replacement, i.e., π[( G, p)] := (G, p) for all ( G, p) R(G, p). Since R is invertible, then π is well-defined and continuous on R. 4. The Growth Degree Definition 4.1. The growth function of a locally finite graph X with respect to a vertex x V (X) is given by f X (x, n) = {y V (X) : d(x, y) n, 0 n}, where d(x, y) denotes the distance between x and y. Definition 4.2. We say that a locally finite graph X has exponential growth if there is a vertex x V (X) and a constant c > 1 such that f X (x, n) c n for all n N. Otherwise, X has non-exponential growth. In particular, X has polynomial growth if for each x V (X), there are constants c and d such that f X (x, n) cn d for all n N. Furthermore, we say that X has intermediate growth if it has non-exponential growth but grows faster than any polynomial. Definition 4.3. The growth degree at x of a graph X with polynomial growth is inf {d : f X(x, n) c} d R n d for some vertex x V (X) and some constant c. Lemma 4.4. Let X be locally finite with x, y, V (X) and d(x, y) <. (i) If X has exponential growth at x then it does at y. (ii) If X has polynomial growth at x then it does at y, and the growth degrees are the same. Proof. Suppose that X has exponential growth at x. Let k = dist(x, y). For k > 1, f X (y, n) f X (x, n k) c n k, which implies that X has exponential growth at y. Next, suppose X has polynomial growth at x with growth degree d. Then, f X (y, n) f ( ) d X(x, n + k) n + k c. n d n d n The right most term is bounded, since it converges to c as n, hence X has polynomial growth at y with growth degree at most d. If X had a growth degree at y of d < d then a symmetric argument to

3 that above would show that the growth degree at x would be at most d. Hence, the growth degrees must agree. Consider the graphs R n (v) R n (G). Define the set R n (v) to be all vertices w R n (v) that are adjacent to v. Define the following two functions: and a(n) = dist R n (v)(u, u ), where u, u R n (v) for u u b(n) = sup {dist R n (v)(u, z) : u R n (v)}. z R n (v) Lemma 4.5. Let R = {H} be a replacement rule and suppose σ is a simple boundary connecting path in H. For all n, m N, there exist positive constants κ 1 and κ 2 such that κ 1 a(n) b(n) κ 2, (1) and κ 1 N(σ) m κ 1 N(σ) m b(n) b(n + m) κ 2 N(σ) m, (2) a(n) b(n + m) κ 2 N(σ) m. (3) I couldn t find this explicitly stated in Joes paper. It is Lemma 3.6 in my Hausdorff paper pg 12. I need to check that there aren t any conditions on H since we worked with primitive replacement rules in Lemma 3.6. The following lemma is Proposition 3.3 from Joe s paper. Lemma 4.6. J. Previte There is a number K (depending on H) such that for n > K, a(n) = L(σ) + N(σ)a(n 1). In particular, if N(σ) > 1, then ( ) L(σ) a(n) = N(σ) n K N(σ) 1 + a(k) L(σ) N(σ) 1. For any edge e and any replaceable vertex v in any finite graph G, let Q(e, v) be the number of (different) edges adjacent to v that can be connected to e by a nonreplaceable path in G. Let Q(e) = v V Q(e, v), where V is the set of replaceable vertices in G. Let Q(G) = max e E(G) Q(e). if there exists a nonreplaceable path in H (or in R(H)) containing a boundary vertex b in H (or in R(H)) in its interior and whose endpoints are replaceable. 3

4 4 The following is an adaptation of Lemma 4.1 in Joe s paper (pg. 21): Lemma 4.7. Let H define a vertex replacement rule R which is nonexponential with N(σ) 2. Then for all n 0, we have that Q(R n (G)) = Q(R(G)). Proof. If the boundary vertices of H are replaceable, then we have that Q(R(e)) = Q(e) for R(e) R(G). So Q(R n (G)) Q(G). Suppose the boundary vertices are not replaceable. Let e be an edge in G and let e 1,...e n be the distinct edges that are adjacent to particular replaceable vertex v G. After replacement, R(e 1 ),..R(e n ) will be attached to n distinct boundary vertices b 1,..., b n in a copy of H = R(v). By the nonexponential assumption, each b i has a unique replaceable vertex w i R(v) to which it can only be connected via a nonreplaceable path in H. Note, a priori, some of the w i can be equal. Now assume that w i is adjacent to two (or more) edges E 1 and E 2 from which b i can access w i via a nonreplaceable path in R(v). Then after replacement, R(w i ) will have two new boundary vertices B 1 and B 2. Again, these new boundary vertices will each be associated with a unique replaceable vertex W 1 and W 2. Now if W 1 W 2, then the replacement rule is exponential. Hence W 1 = W 2. This implies that N(σ) = 1. This shows that each w i is actually accessible by exactly one edge from b i. In particular, Q(e) = Q(R(e)). Now suppose that there is a boundary vertex b H such that its corresponding replaceable vertex v b H has at least two distinct adjacent edges e 1 and e 2 so that a nonreplaceable path in H from b to a replaceable vertex w H may either first pass through e 1 and then v b or it may first pass through e 2 and then v b. Call such nonreplaceable paths from b through e 1 and e 2 to v b γ 1 and γ 2, respectively. START FIXING HERE that Since R is nonexponential, then every nonreplaceable path in R(H) between replaceable vertices contains no interior boundary vertices in R(H). Figure 1. An initial graph Γ 0 and a replacement rule R = {K}. Example 4.8. Let Γ 0 be as in Figure 1. Let R = {K}, where K consists of a graph with total length 2l having 2(l 1) nonreplaceable and 2 replaceable vertices (at the ends) with a single nonreplaceable boundary vertex in the middle (see Figure 1). Then any limit graph (X, x) of R has exponential growth degree.

5 Proof. There are two cases. First assume that (X, x) is a limit graph with dist(x, V ) =, where V is the set of replaceable vertices of X. Then X is realized by the limit of an R-orbit of marked graphs so that π n (x) π n (X) is not replaceable for all n. In this case, x is at the base of an infinite binary tree with branch length l. (Note that if dist(x, G) <, then the infinite tree is in the opposite direction of G). Thus for n 1, f (X,x) (x, nl) 2 n 1 l. Thus, f (X,x) (x, n) 2 n/l l = l 2 [21/l ] n for all n N. So (X, x) has exponential growth. Next, assume (X, x) is a limit graph obtained from an R-orbit of marked graphs with π n (x) π n (X) replaceable for some n N. Then for any limit graph (X, x) of such an R-orbit, the marked point x is a finite distance from a degree one vertex (see Figure 2). Then for v a replaceable vertex, f (X,x) (v, nl) = 3l2 n 1 2. To see this, note that in Figure 2, if one takes the midpoint of the horizontal path with endpoint v of length nl (n even) then, one will 2 arrive at the root of three different binary trees each having branch length l and total length at least nl. 2 Thus, f (X,x) (v, n) 2 n/l l = l 2 [21/l ] n for all n N. So (X, x) has exponential growth. 5 v a path of length ln/2 for n = 10 Figure 2. A limit graph (X, x) where each edge represents a path of length l.

6 6 Definition 4.9. We say that a vertex replacement rule R given by a single replacement graph H is central if for each boundary vertex b H, there exists a unique replaceable vertex v b H such that any path in H from b to a replaceable vertex w H must first pass through v b. Any replacement rule with replaceable boundary vertices is central. Any replacement rule with exactly one replaceable vertex is central. If a vertex replacement rule has two or more replaceable vertices and is non-central, then there must exist a path in H containing no interior replaceable vertices and a boundary vertex b in its interior, with its two ends vertices v 1 and v 2 being replaceable. Theorem Let (G 0, p 0 ) be a finite initial marked graph with at least one replaceable vertex, and let R = {H} be a replacement rule with N(H) 2 but R not central. Then each graph in the set of limit graphs R (G 0, p 0 ) of the R orbits of (G 0, p 0 ) has exponential growth. Proof. By hypothesis, there exist replaceable vertices v 1, v 2 H, a boundary vertex b H, and a nonreplaceable simple path γ in H between v 1 and v 2 and containing b. For i = 1, 2, let γ i be the subpath of γ between the replaceable vertex v i and the boundary vertex b. Then there are essentially two cases, but both involve showing that (X, x) contains a binary tree as in Example (4.8) of branch length l = L(γ 1 ) + L(γ 2 ). First assume that (X, x) is a limit graph with π n (x) π n (X) not replaceable for any n. Then (X, x) contains an infinite binary tree of branch length l (see Figure). Similarly, if (X, x) is a limit graph with π n (x) π n (X) replaceable for some n, then x is a finite distance from a replaceable vertex and so (X, x) contains the end of an binary tree of length l similar to the second case of Example (4.8). In either case, (X, x) has exponential growth. Theorem Let (G 0, p 0 ) be an initial graph with at least one replaceable vertex, and let R = {H} be a central replacement rule. Then any limit graph in R (G 0, p 0 ) has polynomial growth with growth degree N(H)/N(σ). Proof. We will show that every limit graph in R (G 0, p 0 ) has polynomial growth with growth degree N(H)/N(σ). We first consider the case when G 0 is a finite graph. Let (X, x) be a limit graph in R (G 0, p 0 ) and let p be a vertex in (X, x). We want to compute the growth function f (X,x) (p, m). Let n be such that a(n 1) m a(n). Then all paths of length m can

7 intersect at most Q copies of R n (w), where w is a replaceable vertex. Thus, f (X,x) (p, m) Q[N(H)] n. By Lemma 4.7, Q is bounded for all vertices p (X, x). To do this, argue that for all p (X, x), we have that π n (p) π n (X, x) has at most Q nonreplaceable paths in π n (X, x) to replaceable vertices. To show that the growth degree of (X, x) is N(H)/N(σ), we will show that f (X,x) (p, m) m d (4) is bounded when d = N(H)/N(σ) and is unbounded when d < N(H)/N(σ). We proved this part the same way as Mary Tryon did. First, we show that Expression 4 is bounded when d = N(H)/N(σ). We need a lower bound on m. Recall that a(n 1) m, and by Lemma 4.6, there is a constant C > 0 such that for all n. So a(n 1) CN(σ) n 1 m d = m N(H)/N(σ) a(n 1) N(H)/N(σ) [CN(σ) n 1 ] N(H)/N(σ) = C N(H)/N(σ) N(H) (n 1)N(σ)/N(σ) (by Mary T s lemma) = C N(H)/N(σ) N(H) n 1. 7 So when d = N(H)/N(σ), we have f (X,x) (p, m) m d QN(H) n C N(H)/N(σ) N(H) n 1 = QN(H) C N(H)/N(σ) for all m. Next, we need to show that when d < N(H)/N(σ), we have that f (X,x) (p, m) m d is unbounded. For this part, we need an upper bound on m and a lower bound on f (X,x) (p, m). Recall that m a(n). So for some ɛ > 0, we

8 8 have m d < m N(H)/N(σ) ɛ a(n) N(H)/N(σ) ɛ [CN(σ) n ] N(H)/N(σ) ɛ since Lemma 4.6 implies there exists a constant C > 0 such that a(n) CN(σ) n for all = CN(H)/N(σ) ɛ N(σ) nn(h)/n(σ) N(σ) nɛ = CN(H)/N(σ) ɛ N(H) nn(σ)/n(σ) N(σ) nɛ = CN(H)/N(σ) ɛ N(H) n N(σ) nɛ. (by Mary T s lemma) We also need a lower bound on f (X,x) (p, m). Since m a(n 1), then f (X,x) (p, m) N(H) n 1. Thus for d < N(H)/N(σ), we have f (X,x) (p, m) m d N(H)n 1 N(σ) nɛ C N(H)/N(σ) ɛ N(H) n = which is unbounded as n m since N(σ) > Examples. References N(σ) nɛ C N(H)/N(σ) ɛ N(H) [1] A. Berman and R. J. Plemmons, Nonnegative Matrices in the Mathematical Sciences, SIAM, New York [2] K. Falconer, The Geometry of Fractal Sets, Cambridge University Press, Cambridge, [3] M. Gromov, Groups of polynomial growth and expanding maps (with an appendix by Jacques Tits), IHES 53 (1981) [4] J. Munkres, Topology, 2nd ed., Prentice Hall, Upper Saddle River, NJ, [5] J. Previte, Graph substitutions, Ergodic Theory Dynam. Systems 18 (1998) [6] J. Previte, M. Previte, and M. Vanderschoot, Limits of vertex replacement rules, Rocky Mountain Journal of Mathematics (to appear). [7] M. Previte, The dimensions of limits of vertex replacements, Illinois J. of Math. (to appear). [8] M. Previte and M. Vanderschoot, The topological dimension of limits of graph substitutions, Forum Math. 15 (2003) [9] M. Previte and S.-H. Yang, The topological dimension of limits of vertex replacements, Topology Appl. 153 (2006)

THE GROWTH OF LIMITS OF VERTEX REPLACEMENT RULES

THE GROWTH OF LIMITS OF VERTEX REPLACEMENT RULES THE GROWTH OF LIMITS OF VERTEX REPLACEMENT RULES JOSEPH PREVITE, MICHELLE PREVITE, AND MARY VANDERSCHOOT Abstract. In this paper, we give conditions to distinguish whether a vertex replacement rule given

More information

THE GROWTH OF LIMITS OF VERTEX REPLACEMENT RULES

THE GROWTH OF LIMITS OF VERTEX REPLACEMENT RULES TE GROWT OF LIMITS OF VERTEX REPLACEMENT RULES JOSEP PREVITE, MICELLE PREVITE, AND MARY VANDERSCOOT Abstract. In this paper, we give necessary and sufficient conditions that determine when a vertex replacement

More information

ARTICLE IN PRESS. Topology and its Applications ( )

ARTICLE IN PRESS. Topology and its Applications ( ) S0166-8641(05)0018-7/FLA AID:2822 Vol. ( ) [DTD5] P.1 (1-13) TOPOL:m1a v 1.42 Prn:11/08/2005; 10:03 top2822 by:rita p. 1 Topology and its Applications ( ) www.elsevier.com/locate/topol The topological

More information

A Novel Way to Generate Fractals

A Novel Way to Generate Fractals A Novel Way to Generate Fractals Michelle Previte and Sean Yang. INTRODUCTION. For more than twenty years, fractals have intrigued mathematicians and nonmathematicians alike due to their inherent beauty

More information

Compact Sets. James K. Peterson. September 15, Department of Biological Sciences and Department of Mathematical Sciences Clemson University

Compact Sets. James K. Peterson. September 15, Department of Biological Sciences and Department of Mathematical Sciences Clemson University Compact Sets James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 15, 2017 Outline 1 Closed Sets 2 Compactness 3 Homework Closed Sets

More information

Notes on point set topology, Fall 2010

Notes on point set topology, Fall 2010 Notes on point set topology, Fall 2010 Stephan Stolz September 3, 2010 Contents 1 Pointset Topology 1 1.1 Metric spaces and topological spaces...................... 1 1.2 Constructions with topological

More information

Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS

Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following

More information

Geometric structures on manifolds

Geometric structures on manifolds CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory

More information

Simplicial Hyperbolic Surfaces

Simplicial Hyperbolic Surfaces Simplicial Hyperbolic Surfaces Talk by Ken Bromberg August 21, 2007 1-Lipschitz Surfaces- In this lecture we will discuss geometrically meaningful ways of mapping a surface S into a hyperbolic manifold

More information

Lecture 1. 1 Notation

Lecture 1. 1 Notation Lecture 1 (The material on mathematical logic is covered in the textbook starting with Chapter 5; however, for the first few lectures, I will be providing some required background topics and will not be

More information

CAT(0)-spaces. Münster, June 22, 2004

CAT(0)-spaces. Münster, June 22, 2004 CAT(0)-spaces Münster, June 22, 2004 CAT(0)-space is a term invented by Gromov. Also, called Hadamard space. Roughly, a space which is nonpositively curved and simply connected. C = Comparison or Cartan

More information

Root Cover Pebbling on Graphs

Root Cover Pebbling on Graphs University of Dayton ecommons Honors Theses University Honors Program Spring 4-2015 Root Cover Pebbling on Graphs Claire A. Sonneborn Follow this and additional works at: https://ecommons.udayton.edu/uhp_theses

More information

1 Introduction and Review

1 Introduction and Review Figure 1: The torus. 1 Introduction and Review 1.1 Group Actions, Orbit Spaces and What Lies in Between Our story begins with the torus, which we will think of initially as the identification space pictured

More information

A Tour of General Topology Chris Rogers June 29, 2010

A Tour of General Topology Chris Rogers June 29, 2010 A Tour of General Topology Chris Rogers June 29, 2010 1. The laundry list 1.1. Metric and topological spaces, open and closed sets. (1) metric space: open balls N ɛ (x), various metrics e.g. discrete metric,

More information

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition. 18.433 Combinatorial Optimization Matching Algorithms September 9,14,16 Lecturer: Santosh Vempala Given a graph G = (V, E), a matching M is a set of edges with the property that no two of the edges have

More information

A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY

A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY KARL L. STRATOS Abstract. The conventional method of describing a graph as a pair (V, E), where V and E repectively denote the sets of vertices and edges,

More information

On Rainbow Cycles in Edge Colored Complete Graphs. S. Akbari, O. Etesami, H. Mahini, M. Mahmoody. Abstract

On Rainbow Cycles in Edge Colored Complete Graphs. S. Akbari, O. Etesami, H. Mahini, M. Mahmoody. Abstract On Rainbow Cycles in Edge Colored Complete Graphs S. Akbari, O. Etesami, H. Mahini, M. Mahmoody Abstract In this paper we consider optimal edge colored complete graphs. We show that in any optimal edge

More information

Geometric structures on manifolds

Geometric structures on manifolds CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory

More information

arxiv: v1 [math.co] 7 Dec 2018

arxiv: v1 [math.co] 7 Dec 2018 SEQUENTIALLY EMBEDDABLE GRAPHS JACKSON AUTRY AND CHRISTOPHER O NEILL arxiv:1812.02904v1 [math.co] 7 Dec 2018 Abstract. We call a (not necessarily planar) embedding of a graph G in the plane sequential

More information

However, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).

However, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example). 98 CHAPTER 3. PROPERTIES OF CONVEX SETS: A GLIMPSE 3.2 Separation Theorems It seems intuitively rather obvious that if A and B are two nonempty disjoint convex sets in A 2, then there is a line, H, separating

More information

d(γ(a i 1 ), γ(a i )) i=1

d(γ(a i 1 ), γ(a i )) i=1 Marli C. Wang Hyperbolic Geometry Hyperbolic surfaces A hyperbolic surface is a metric space with some additional properties: it has the shortest length property and every point has an open neighborhood

More information

Ma/CS 6b Class 26: Art Galleries and Politicians

Ma/CS 6b Class 26: Art Galleries and Politicians Ma/CS 6b Class 26: Art Galleries and Politicians By Adam Sheffer The Art Gallery Problem Problem. We wish to place security cameras at a gallery, such that they cover it completely. Every camera can cover

More information

Partitioning Regular Polygons Into Circular Pieces II: Nonconvex Partitions

Partitioning Regular Polygons Into Circular Pieces II: Nonconvex Partitions Smith ScholarWorks Computer Science: Faculty Publications Computer Science --4 Partitioning Regular Polygons Into Circular Pieces II: Nonconvex Partitions Mirela Damian Villanova University Joseph O'Rourke

More information

The Space of Closed Subsets of a Convergent Sequence

The Space of Closed Subsets of a Convergent Sequence The Space of Closed Subsets of a Convergent Sequence by Ashley Reiter and Harold Reiter Many topological spaces are simply sets of points(atoms) endowed with a topology Some spaces, however, have elements

More information

The strong chromatic number of a graph

The strong chromatic number of a graph The strong chromatic number of a graph Noga Alon Abstract It is shown that there is an absolute constant c with the following property: For any two graphs G 1 = (V, E 1 ) and G 2 = (V, E 2 ) on the same

More information

Some Upper Bounds for Signed Star Domination Number of Graphs. S. Akbari, A. Norouzi-Fard, A. Rezaei, R. Rotabi, S. Sabour.

Some Upper Bounds for Signed Star Domination Number of Graphs. S. Akbari, A. Norouzi-Fard, A. Rezaei, R. Rotabi, S. Sabour. Some Upper Bounds for Signed Star Domination Number of Graphs S. Akbari, A. Norouzi-Fard, A. Rezaei, R. Rotabi, S. Sabour Abstract Let G be a graph with the vertex set V (G) and edge set E(G). A function

More information

Definition A metric space is proper if all closed balls are compact. The length pseudo metric of a metric space X is given by.

Definition A metric space is proper if all closed balls are compact. The length pseudo metric of a metric space X is given by. Chapter 1 Geometry: Nuts and Bolts 1.1 Metric Spaces Definition 1.1.1. A metric space is proper if all closed balls are compact. The length pseudo metric of a metric space X is given by (x, y) inf p. p:x

More information

Potential Bisections of Large Degree

Potential Bisections of Large Degree Potential Bisections of Large Degree Stephen G Hartke and Tyler Seacrest Department of Mathematics, University of Nebraska, Lincoln, NE 68588-0130 {hartke,s-tseacre1}@mathunledu June 6, 010 Abstract A

More information

Lower estimate of the square-to-linear ratio for regular Peano curves

Lower estimate of the square-to-linear ratio for regular Peano curves DOI 10.1515/dma-2014-0012 Discrete Math. Appl. 2014; 24 (3):123 12 Konstantin E. Bauman Lower estimate of the square-to-linear ratio for regular Peano curves Abstract: We prove that the square-to-linear

More information

M3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements.

M3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements. M3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements. Chapter 1: Metric spaces and convergence. (1.1) Recall the standard distance function

More information

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions. THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of

More information

On the packing chromatic number of some lattices

On the packing chromatic number of some lattices On the packing chromatic number of some lattices Arthur S. Finbow Department of Mathematics and Computing Science Saint Mary s University Halifax, Canada BH C art.finbow@stmarys.ca Douglas F. Rall Department

More information

Math 734 Aug 22, Differential Geometry Fall 2002, USC

Math 734 Aug 22, Differential Geometry Fall 2002, USC Math 734 Aug 22, 2002 1 Differential Geometry Fall 2002, USC Lecture Notes 1 1 Topological Manifolds The basic objects of study in this class are manifolds. Roughly speaking, these are objects which locally

More information

REGULAR GRAPHS OF GIVEN GIRTH. Contents

REGULAR GRAPHS OF GIVEN GIRTH. Contents REGULAR GRAPHS OF GIVEN GIRTH BROOKE ULLERY Contents 1. Introduction This paper gives an introduction to the area of graph theory dealing with properties of regular graphs of given girth. A large portion

More information

6.2 Classification of Closed Surfaces

6.2 Classification of Closed Surfaces Table 6.1: A polygon diagram 6.1.2 Second Proof: Compactifying Teichmuller Space 6.2 Classification of Closed Surfaces We saw that each surface has a triangulation. Compact surfaces have finite triangulations.

More information

Introduction to Rational Billiards II. Talk by John Smillie. August 21, 2007

Introduction to Rational Billiards II. Talk by John Smillie. August 21, 2007 Introduction to Rational Billiards II Talk by John Smillie August 21, 2007 Translation surfaces and their singularities Last time we described the Zemlyakov-Katok construction for billiards on a triangular

More information

Graph Theory Questions from Past Papers

Graph Theory Questions from Past Papers Graph Theory Questions from Past Papers Bilkent University, Laurence Barker, 19 October 2017 Do not forget to justify your answers in terms which could be understood by people who know the background theory

More information

Graphs associated to CAT(0) cube complexes

Graphs associated to CAT(0) cube complexes Graphs associated to CAT(0) cube complexes Mark Hagen McGill University Cornell Topology Seminar, 15 November 2011 Outline Background on CAT(0) cube complexes The contact graph: a combinatorial invariant

More information

Characterization of Boolean Topological Logics

Characterization of Boolean Topological Logics Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics Anthony R. Fressola Denison University Granville, OH 43023 University of Illinois Urbana-Champaign, IL USA 61801-61802

More information

The angle measure at for example the vertex A is denoted by m A, or m BAC.

The angle measure at for example the vertex A is denoted by m A, or m BAC. MT 200 ourse notes on Geometry 5 2. Triangles and congruence of triangles 2.1. asic measurements. Three distinct lines, a, b and c, no two of which are parallel, form a triangle. That is, they divide the

More information

MATH 54 - LECTURE 4 DAN CRYTSER

MATH 54 - LECTURE 4 DAN CRYTSER MATH 54 - LECTURE 4 DAN CRYTSER Introduction In this lecture we review properties and examples of bases and subbases. Then we consider ordered sets and the natural order topology that one can lay on an

More information

arxiv: v1 [math.gr] 2 Oct 2013

arxiv: v1 [math.gr] 2 Oct 2013 POLYGONAL VH COMPLEXES JASON K.C. POLÁK AND DANIEL T. WISE arxiv:1310.0843v1 [math.gr] 2 Oct 2013 Abstract. Ian Leary inquires whether a class of hyperbolic finitely presented groups are residually finite.

More information

INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES

INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES RACHEL CARANDANG Abstract. This paper provides an overview of the homology groups of a 2- dimensional complex. It then demonstrates a proof of the Invariance

More information

MAT 145: PROBLEM SET 6

MAT 145: PROBLEM SET 6 MAT 145: PROBLEM SET 6 DUE TO FRIDAY MAR 8 Abstract. This problem set corresponds to the eighth week of the Combinatorics Course in the Winter Quarter 2019. It was posted online on Friday Mar 1 and is

More information

Math 443/543 Graph Theory Notes 5: Planar graphs and coloring

Math 443/543 Graph Theory Notes 5: Planar graphs and coloring Math 443/543 Graph Theory Notes 5: Planar graphs and coloring David Glickenstein October 10, 2014 1 Planar graphs The Three Houses and Three Utilities Problem: Given three houses and three utilities, can

More information

Chapter 4 Concepts from Geometry

Chapter 4 Concepts from Geometry Chapter 4 Concepts from Geometry An Introduction to Optimization Spring, 2014 Wei-Ta Chu 1 Line Segments The line segment between two points and in R n is the set of points on the straight line joining

More information

Pick s Theorem and Lattice Point Geometry

Pick s Theorem and Lattice Point Geometry Pick s Theorem and Lattice Point Geometry 1 Lattice Polygon Area Calculations Lattice points are points with integer coordinates in the x, y-plane. A lattice line segment is a line segment that has 2 distinct

More information

MATH 54 - LECTURE 10

MATH 54 - LECTURE 10 MATH 54 - LECTURE 10 DAN CRYTSER The Universal Mapping Property First we note that each of the projection mappings π i : j X j X i is continuous when i X i is given the product topology (also if the product

More information

Topology 550A Homework 3, Week 3 (Corrections: February 22, 2012)

Topology 550A Homework 3, Week 3 (Corrections: February 22, 2012) Topology 550A Homework 3, Week 3 (Corrections: February 22, 2012) Michael Tagare De Guzman January 31, 2012 4A. The Sorgenfrey Line The following material concerns the Sorgenfrey line, E, introduced in

More information

SUBDIVISIONS OF TRANSITIVE TOURNAMENTS A.D. SCOTT

SUBDIVISIONS OF TRANSITIVE TOURNAMENTS A.D. SCOTT SUBDIVISIONS OF TRANSITIVE TOURNAMENTS A.D. SCOTT Abstract. We prove that, for r 2 and n n(r), every directed graph with n vertices and more edges than the r-partite Turán graph T (r, n) contains a subdivision

More information

TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.

TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. 301. Definition. Let m be a positive integer, and let X be a set. An m-tuple of elements of X is a function x : {1,..., m} X. We sometimes use x i instead

More information

Parameterized graph separation problems

Parameterized graph separation problems Parameterized graph separation problems Dániel Marx Department of Computer Science and Information Theory, Budapest University of Technology and Economics Budapest, H-1521, Hungary, dmarx@cs.bme.hu Abstract.

More information

Bipartite Roots of Graphs

Bipartite Roots of Graphs Bipartite Roots of Graphs Lap Chi Lau Department of Computer Science University of Toronto Graph H is a root of graph G if there exists a positive integer k such that x and y are adjacent in G if and only

More information

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department CS473-Algorithms I Lecture 3-A Graphs Graphs A directed graph (or digraph) G is a pair (V, E), where V is a finite set, and E is a binary relation on V The set V: Vertex set of G The set E: Edge set of

More information

A TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3

A TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3 A TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3 ANDREW J. HANSON AND JI-PING SHA In this paper we present a systematic and explicit algorithm for tessellating the algebraic surfaces (real 4-manifolds) F

More information

Final Exam, F11PE Solutions, Topology, Autumn 2011

Final Exam, F11PE Solutions, Topology, Autumn 2011 Final Exam, F11PE Solutions, Topology, Autumn 2011 Question 1 (i) Given a metric space (X, d), define what it means for a set to be open in the associated metric topology. Solution: A set U X is open if,

More information

or else take their intersection. Now define

or else take their intersection. Now define Samuel Lee Algebraic Topology Homework #5 May 10, 2016 Problem 1: ( 1.3: #3). Let p : X X be a covering space with p 1 (x) finite and nonempty for all x X. Show that X is compact Hausdorff if and only

More information

Preferred directions for resolving the non-uniqueness of Delaunay triangulations

Preferred directions for resolving the non-uniqueness of Delaunay triangulations Preferred directions for resolving the non-uniqueness of Delaunay triangulations Christopher Dyken and Michael S. Floater Abstract: This note proposes a simple rule to determine a unique triangulation

More information

SPERNER S LEMMA MOOR XU

SPERNER S LEMMA MOOR XU SPERNER S LEMMA MOOR XU Abstract. Is it possible to dissect a square into an odd number of triangles of equal area? This question was first answered by Paul Monsky in 970, and the solution requires elements

More information

The Farey Tessellation

The Farey Tessellation The Farey Tessellation Seminar: Geometric Structures on manifolds Mareike Pfeil supervised by Dr. Gye-Seon Lee 15.12.2015 Introduction In this paper, we are going to introduce the Farey tessellation. Since

More information

Some Elementary Lower Bounds on the Matching Number of Bipartite Graphs

Some Elementary Lower Bounds on the Matching Number of Bipartite Graphs Some Elementary Lower Bounds on the Matching Number of Bipartite Graphs Ermelinda DeLaViña and Iride Gramajo Department of Computer and Mathematical Sciences University of Houston-Downtown Houston, Texas

More information

4. Definition: topological space, open set, topology, trivial topology, discrete topology.

4. Definition: topological space, open set, topology, trivial topology, discrete topology. Topology Summary Note to the reader. If a statement is marked with [Not proved in the lecture], then the statement was stated but not proved in the lecture. Of course, you don t need to know the proof.

More information

RATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES. Contents 1. Introduction 1 2. The proof of Theorem References 9

RATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES. Contents 1. Introduction 1 2. The proof of Theorem References 9 RATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES IZZET COSKUN AND JASON STARR Abstract. We prove that the space of rational curves of a fixed degree on any smooth cubic hypersurface of dimension at least

More information

Embedding a graph-like continuum in some surface

Embedding a graph-like continuum in some surface Embedding a graph-like continuum in some surface R. Christian R. B. Richter G. Salazar April 19, 2013 Abstract We show that a graph-like continuum embeds in some surface if and only if it does not contain

More information

arxiv: v1 [math.gt] 16 Aug 2016

arxiv: v1 [math.gt] 16 Aug 2016 THE GROMOV BOUNDARY OF THE RAY GRAPH JULIETTE BAVARD AND ALDEN WALKER arxiv:1608.04475v1 [math.gt] 16 Aug 2016 Abstract. The ray graph is a Gromov-hyperbolic graph on which the mapping class group of the

More information

Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem

Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem Math 443/543 Graph Theory Notes 11: Graph minors and Kuratowski s Theorem David Glickenstein November 26, 2008 1 Graph minors Let s revisit some de nitions. Let G = (V; E) be a graph. De nition 1 Removing

More information

Exercise set 2 Solutions

Exercise set 2 Solutions Exercise set 2 Solutions Let H and H be the two components of T e and let F E(T ) consist of the edges of T with one endpoint in V (H), the other in V (H ) Since T is connected, F Furthermore, since T

More information

Generating Functions for Hyperbolic Plane Tessellations

Generating Functions for Hyperbolic Plane Tessellations Generating Functions for Hyperbolic Plane Tessellations by Jiale Xie A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in

More information

A Genus Bound for Digital Image Boundaries

A Genus Bound for Digital Image Boundaries A Genus Bound for Digital Image Boundaries Lowell Abrams and Donniell E. Fishkind March 9, 2005 Abstract Shattuck and Leahy [4] conjectured and Abrams, Fishkind, and Priebe [1],[2] proved that the boundary

More information

Topology and Topological Spaces

Topology and Topological Spaces Topology and Topological Spaces Mathematical spaces such as vector spaces, normed vector spaces (Banach spaces), and metric spaces are generalizations of ideas that are familiar in R or in R n. For example,

More information

Chordal deletion is fixed-parameter tractable

Chordal deletion is fixed-parameter tractable Chordal deletion is fixed-parameter tractable Dániel Marx Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099 Berlin, Germany. dmarx@informatik.hu-berlin.de Abstract. It

More information

GEOMETRY OF PLANAR SURFACES AND EXCEPTIONAL FILLINGS

GEOMETRY OF PLANAR SURFACES AND EXCEPTIONAL FILLINGS GEOMETRY OF PLANAR SURFACES AND EXCEPTIONAL FILLINGS NEIL R. HOFFMAN AND JESSICA S. PURCELL Abstract. If a hyperbolic 3 manifold admits an exceptional Dehn filling, then the length of the slope of that

More information

A Little Point Set Topology

A Little Point Set Topology A Little Point Set Topology A topological space is a generalization of a metric space that allows one to talk about limits, convergence, continuity and so on without requiring the concept of a distance

More information

Topological properties of convex sets

Topological properties of convex sets Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Topic 5: Topological properties of convex sets 5.1 Interior and closure of convex sets Let

More information

Final Test in MAT 410: Introduction to Topology Answers to the Test Questions

Final Test in MAT 410: Introduction to Topology Answers to the Test Questions Final Test in MAT 410: Introduction to Topology Answers to the Test Questions Stefan Kohl Question 1: Give the definition of a topological space. (3 credits) A topological space (X, τ) is a pair consisting

More information

In class 75min: 2:55-4:10 Thu 9/30.

In class 75min: 2:55-4:10 Thu 9/30. MATH 4530 Topology. In class 75min: 2:55-4:10 Thu 9/30. Prelim I Solutions Problem 1: Consider the following topological spaces: (1) Z as a subspace of R with the finite complement topology (2) [0, π]

More information

CAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE

CAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE CAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE KIM RUANE Abstract. We prove that the CAT(0) boundary of a truncated hyperbolic space is homeomorphic to a sphere with disks removed. In dimension three,

More information

2 A topological interlude

2 A topological interlude 2 A topological interlude 2.1 Topological spaces Recall that a topological space is a set X with a topology: a collection T of subsets of X, known as open sets, such that and X are open, and finite intersections

More information

Turn Graphs and Extremal Surfaces in Free Groups

Turn Graphs and Extremal Surfaces in Free Groups Turn Graphs and Extremal Surfaces in Free Groups Noel Brady, Matt Clay, and Max Forester Abstract. This note provides an alternate account of Calegari s rationality theorem for stable commutator length

More information

6c Lecture 3 & 4: April 8 & 10, 2014

6c Lecture 3 & 4: April 8 & 10, 2014 6c Lecture 3 & 4: April 8 & 10, 2014 3.1 Graphs and trees We begin by recalling some basic definitions from graph theory. Definition 3.1. A (undirected, simple) graph consists of a set of vertices V and

More information

Topology Homework 3. Section Section 3.3. Samuel Otten

Topology Homework 3. Section Section 3.3. Samuel Otten Topology Homework 3 Section 3.1 - Section 3.3 Samuel Otten 3.1 (1) Proposition. The intersection of finitely many open sets is open and the union of finitely many closed sets is closed. Proof. Note that

More information

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE Professor Kindred Math 104, Graph Theory Homework 3 Solutions February 14, 2013 Introduction to Graph Theory, West Section 2.1: 37, 62 Section 2.2: 6, 7, 15 Section 2.3: 7, 10, 14 DO NOT RE-DISTRIBUTE

More information

Lecture 2 September 3

Lecture 2 September 3 EE 381V: Large Scale Optimization Fall 2012 Lecture 2 September 3 Lecturer: Caramanis & Sanghavi Scribe: Hongbo Si, Qiaoyang Ye 2.1 Overview of the last Lecture The focus of the last lecture was to give

More information

On the Number of Tilings of a Square by Rectangles

On the Number of Tilings of a Square by Rectangles University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange University of Tennessee Honors Thesis Projects University of Tennessee Honors Program 5-2012 On the Number of Tilings

More information

Algorithms for Euclidean TSP

Algorithms for Euclidean TSP This week, paper [2] by Arora. See the slides for figures. See also http://www.cs.princeton.edu/~arora/pubs/arorageo.ps Algorithms for Introduction This lecture is about the polynomial time approximation

More information

A NOTE ON BLOCKING VISIBILITY BETWEEN POINTS

A NOTE ON BLOCKING VISIBILITY BETWEEN POINTS A NOTE ON BLOCKING VISIBILITY BETWEEN POINTS Adrian Dumitrescu János Pach Géza Tóth Abstract Given a finite point set P in the plane, let b(p) be the smallest number of points q 1,q 2,... not belonging

More information

Lecture 22 Tuesday, April 10

Lecture 22 Tuesday, April 10 CIS 160 - Spring 2018 (instructor Val Tannen) Lecture 22 Tuesday, April 10 GRAPH THEORY Directed Graphs Directed graphs (a.k.a. digraphs) are an important mathematical modeling tool in Computer Science,

More information

arxiv:math/ v3 [math.dg] 23 Jul 2007

arxiv:math/ v3 [math.dg] 23 Jul 2007 THE INTRINSIC GEOMETRY OF A JORDAN DOMAIN arxiv:math/0512622v3 [math.dg] 23 Jul 2007 RICHARD L. BISHOP Abstract. For a Jordan domain in the plane the length metric space of points connected to an interior

More information

BROUWER S FIXED POINT THEOREM. Contents

BROUWER S FIXED POINT THEOREM. Contents BROUWER S FIXED POINT THEOREM JASPER DEANTONIO Abstract. In this paper we prove Brouwer s Fixed Point Theorem, which states that for any continuous transformation f : D D of any figure topologically equivalent

More information

6.3 Poincare's Theorem

6.3 Poincare's Theorem Figure 6.5: The second cut. for some g 0. 6.3 Poincare's Theorem Theorem 6.3.1 (Poincare). Let D be a polygon diagram drawn in the hyperbolic plane such that the lengths of its edges and the interior angles

More information

On Soft Topological Linear Spaces

On Soft Topological Linear Spaces Republic of Iraq Ministry of Higher Education and Scientific Research University of AL-Qadisiyah College of Computer Science and Formation Technology Department of Mathematics On Soft Topological Linear

More information

First-passage percolation in random triangulations

First-passage percolation in random triangulations First-passage percolation in random triangulations Jean-François Le Gall (joint with Nicolas Curien) Université Paris-Sud Orsay and Institut universitaire de France Random Geometry and Physics, Paris 2016

More information

Separating Homeomorphisms

Separating Homeomorphisms Advances in Dynamical Systems and Applications ISSN 0973-5321, Volume 12, Number 1, pp. 17 24 (2017) http://campus.mst.edu/adsa Separating Homeomorphisms Alfonso Artigue Universidad de la República Departmento

More information

Mirrors of reflections of regular maps

Mirrors of reflections of regular maps ISSN 1855-3966 (printed edn), ISSN 1855-3974 (electronic edn) ARS MATHEMATICA CONTEMPORANEA 15 (018) 347 354 https://doiorg/106493/1855-3974145911d (Also available at http://amc-journaleu) Mirrors of reflections

More information

Reconstruction of Filament Structure

Reconstruction of Filament Structure Reconstruction of Filament Structure Ruqi HUANG INRIA-Geometrica Joint work with Frédéric CHAZAL and Jian SUN 27/10/2014 Outline 1 Problem Statement Characterization of Dataset Formulation 2 Our Approaches

More information

Lecture : Topological Space

Lecture : Topological Space Example of Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Example of 1 2 3 Example of 4 5 6 Example of I Topological spaces and continuous

More information

Lecture 2 - Introduction to Polytopes

Lecture 2 - Introduction to Polytopes Lecture 2 - Introduction to Polytopes Optimization and Approximation - ENS M1 Nicolas Bousquet 1 Reminder of Linear Algebra definitions Let x 1,..., x m be points in R n and λ 1,..., λ m be real numbers.

More information

Open and Closed Sets

Open and Closed Sets Open and Closed Sets Definition: A subset S of a metric space (X, d) is open if it contains an open ball about each of its points i.e., if x S : ɛ > 0 : B(x, ɛ) S. (1) Theorem: (O1) and X are open sets.

More information

Paperclip graphs. Steve Butler Erik D. Demaine Martin L. Demaine Ron Graham Adam Hesterberg Jason Ku Jayson Lynch Tadashi Tokieda

Paperclip graphs. Steve Butler Erik D. Demaine Martin L. Demaine Ron Graham Adam Hesterberg Jason Ku Jayson Lynch Tadashi Tokieda Paperclip graphs Steve Butler Erik D. Demaine Martin L. Demaine Ron Graham Adam Hesterberg Jason Ku Jayson Lynch Tadashi Tokieda Abstract By taking a strip of paper and forming an S curve with paperclips

More information

An interstice relationship for flowers with four petals

An interstice relationship for flowers with four petals An interstice relationship for flowers with four petals Steve Butler, Ron Graham, Gerhard Guettler and Colin Mallows Abstract. Given three mutually tangent circles with bends related to the reciprocal

More information