Motivation and definitions

Slides:



Advertisements
Similar presentations
Languages Generated by Programmed Grammars with Various Graphs
Advertisements

1 Constructing Splits Graphs Author: Andreas W.M. Dress Daniel H. Huson Presented by: Bakhtiyar Uddin.
Convex drawing chapter 5 Ingeborg Groeneweg. Summery What is convex drawing What is convex drawing Some definitions Some definitions Testing convexity.
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Edge-Coloring of Graphs On the left we see a 1- factorization of  5, the five-sided prism. Each factor is respresented by its own color. No edges of the.
2k-Cycle Free Bipartite Graph Steven Wu. What is a bipartite graph?
Computational Geometry Seminar Lecture 1
Definition Dual Graph G* of a Plane Graph:
Drawing of G. Planar Embedding of G Proposition Proof. 1. Consider a drawing of K 5 or K 3,3 in the plane. Let C be a spanning cycle. 2. If the.
Graph Theory Ch.5. Coloring of Graphs 1 Chapter 5 Coloring of Graphs.
CONFIGURATIONS FROM GRAPH-THEORETICAL VIEWPOINT Notes for a book Tomaž Pisanski and Brigitte Servatius Copyright (C) 2005.
K-Coloring k-coloring: A k-coloring of a graph G is a labeling f: V(G)  S, where |S|=k. The labels are colors; the vertices of one color form a color.
Problem: Induced Planar Graphs Tim Hayes Mentor: Dr. Fiorini.
MATH 310, FALL 2003 (Combinatorial Problem Solving) Lecture 4, Monday, September 8.
Curve Curve: The image of a continous map from [0,1] to R 2. Polygonal curve: A curve composed of finitely many line segments. Polygonal u,v-curve: A polygonal.
K-Coloring k-coloring: A k-coloring of a graph G is a labeling f: V(G)  S, where |S|=k. The labels are colors; the vertices of one color form a color.
CS 2813 Discrete Structures
Homework solution Problem 2. The number of odd degree vertices in a graph is even. (recom. book: G. Harary: Graph Theory) Solution: Let G=(V,E,w) S= 
Graph Theory Ch6 Planar Graphs. Basic Definitions  curve, polygon curve, drawing  crossing, planar, planar embedding, and plane graph  open set  region,
Graph Theory Chapter 6 Planar Graphs Ch. 6. Planar Graphs.
Planar Graphs Graph G is planar, if it can be “properly” drawn in the plane. In order to explain this informal notion we have to define embeddings of graphs.
Maps. Graphs on Surfaces We are mainly interested in embeddings of graphs on surfaces:  : G ! S. An embedding should be differentiated from immersion.
INCIDENCE GEOMETRIES Part II Further Examples and Properties.
Planar Graphs: Euler's Formula and Coloring Graphs & Algorithms Lecture 7 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.:
Gems of Algebra: The secret life of the symmetric group
Straight line drawings of planar graphs – part II Roeland Luitwieler.
Graphs Simple graph G=(V,E) V = V(G) ={1,2,3,4} – vertices E = E(G) = {a,b,c,d,e} – edges Edge a has end- vertices 1 and 2. Vertices 1 and 2 are adjacent:
 2. Region(face) colourings  Definitions 46: A edge of the graph is called a bridge, if the edge is not in any circuit. A connected planar graph is called.
Petrie maps and Petrie configurations Jurij Kovič, University of Primorska, Slovenia EuroGIGA Final Conference Berlin, February 20, 2014.
1 12/2/2015 MATH 224 – Discrete Mathematics Formally a graph is just a collection of unordered or ordered pairs, where for example, if {a,b} G if a, b.
7. Basic Operations on Graphs
Graph.
CYCLIC CONFIGURATIONS AND HAAR GRAPHS. Haar graph of a natural number Let us write n in binary: n = b k-1 2 k-1 + b k-2 2 k b b 0 where.
Introduction to Graph Theory
ساختمانهای گسسته دانشگاه صنعتی شاهرود – فروردین 1392.
Graph Theory and Applications
Operations on Maps There are three fixed point free involutions defined on  M:  0,  1,  2. Axioms for maps: A1: acts transitivley. A2:  0  2 =
NP-completeness NP-complete problems. Homework Vertex Cover Instance. A graph G and an integer k. Question. Is there a vertex cover of cardinality k?
COMPSCI 102 Introduction to Discrete Mathematics.
Indian Institute of Technology Kharagpur PALLAB DASGUPTA Graph Theory: Planarity Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering, IIT.
Math 3121 Abstract Algebra I Lecture 6 Midterm back over+Section 7.
Graphs. Representations of graphs : undirected graph An undirected graph G have five vertices and seven edges An adjacency-list representation of G The.
An Introduction to Graph Theory
More NP-complete problems
Symmetry in Maps.
Planar Graphs Hubert Chan (Chapter 9.7) [O2 Proof Techniques]
The countable character of uncountable graphs François Laviolette Barbados 2003.
5.9.2 Characterizations of Planar Graphs
Applied Combinatorics, 4th Ed. Alan Tucker
Graph theory Definitions Trees, cycles, directed graphs.
Geometric Graphs and Quasi-Planar Graphs
Matrix Representation of Graph
INCIDENCE GEOMETRIES CHAPTER 4.
Elements of Combinatorial Topology
Discrete Mathematics for Computer Science
Homework solution Problem 2. The number of odd degree vertices in a graph is even. (recom. book: G. Harary: Graph Theory) Solution: Let G=(V,E,w) S=vVdeg(v)
Chapter 10.8 Graph Coloring
Discrete Math II Howon Kim
Chapter 10.8 Graph Coloring
Chapter 10.8 Graph Coloring
Applied Combinatorics, 4th Ed. Alan Tucker
Three-coloring triangle-free planar graphs in linear time (SODA 09’)
Chapter 10.8 Graph Coloring
Planarity.
Discrete Mathematics for Computer Science
2. From Groups to Surfaces
Introduction to Graph Theory
Concepts of Computation
A Portrait of a Group on a Surface with Boundary
Presentation transcript:

Motivation and definitions INCIDENCE GEOMETRIES Motivation and definitions

Plan In this chapter we will cover the following: motivation incidence geometries incidence structures combinatorial configurations

Incidence structure An incidence structure C is a triple C = (P,L,I) where P is the set of points, L is the set of blocks or lines I  P  L is an incidence relation. Elements from I are called flags. The bipartite incidence graph G(C) with black vertices P, white vertices L and edges I is known as the Levi graph of the structure C.

Examples 1. Each graph G = (V,E) is an incidence structure: P = V, L = E, (x,e) 2 I if and only if x is an endvertex of e. 2. Any family of sets F µ P(X) is an incidence structure. P = X, L = F, I = 2. 3. A line arrangement L = {l1, l2, ..., ln} consisting of a finite number of n distinct lines in Euclidean plane E2 defines an incidence structure. Let V denote the set of points from E2 that are contained in at least two lines from L. Then: P = V, L = L and I is the point-line incidence in E2.

Exercises N1. Draw the Levi graph of the incidence structure defined by the complete bipartite graph K3,3. N2. Draw the Levi graph of the incidence structure defined by the powerset P({a,b,c}). N3. Determine the Levi graph of the incidence structure, defined by an arrangemnet of three lines forming a triangle in E2.

Incidence geometry Incidence geometry (G,c)of rank k is a graph G with a proper vertrex coloring c, where k colors are used. Sometimes we denote the geometry by (G,c,I,~). Here c:VG ! I is the coloring and |I| = k is the number of colors, also known as the rank of G. Also ~ is the incidence. I is the set of types. Note that only object of different types may be incident.

Examples 1. Each incidence structure is a rank 2 geometry. (Actualy, look at its Levi graph.) 2. Each 3 dimensional polyhedron is a rank 3 geometry. There are three types of objects: vertices, edges and faces with obvious geometric incidence. 3. Each (abstract) simplicial complex is an incidence geometry. 4. Any complete multipartite graph is a geometry. Take for instance K2,2,2, K2,2,2,2, K2,2, ..., 2.

Pasini Geometry Pasini defines incidence geometry (that we call Pasini geometry) in more restrictive way. For k=1, the graph must contain at least two vertices: |V(G)|>1. For k>1: G has to be connected, For each x  V(G) the (k-1)-colored graph (Gx,c), called residuum, induced on the neigbors of x is a Pasini geometry of rank (k-1).

Incidence geometries of rank 2 Incidence geometries of rank 2 are simply bipartite graphs with a given black and white vertex coloring. Rank 2 Pasini geometries are in addition connected and the valence of each vertex is at least 2: d(G) >1.

Example of Rank 2 Geometry Graph H on the left is known as the Heawood graph. H is connected H is trivalent: d(H) = D(H) = 3. H je bipartite. H is a Pasini geometry.

Another View Geometry of the Heawood graph H has another interpretation. Rank = 2. There are two types of objects in Euclidean plane, say, points and curves. There are 7 points, 7 curves, 3 points on a curve, 3 curves through a point. The corresponding Levi graph is H!

In other words ... The Heawood graph (with a given black and white coloring) is the same thing as the Fano plane (73), the smallest finite projective plane. Any incidence geometry can be interpeted in terms of abstract points, lines. If we want to distinguish geometry (interpretation) from the associated graph we refer to the latter the Levi graph of the corresponding geometry.

Simplest Rank 2 Pasini Geometries Cycle (Levi Graph) “Simplest” geometries of rank 2 in the sense of Pasini are even cycles. For instance the Levi graph C6 corresponds to the triangle. Triangle (Geometry)

Rank 3 Incidence geometries of rank 3 are exactly 3-colored graphs. Pasini geometries of rank 3 are much more restricted. Currently we are interested in those geometries whose residua are even cycles. Such geometries correspond to Eulerian surface triangulations with a given 3-vertex coloring.

Flag System as Geometries Any flag system  µ V £ E £ F defines a rank 3 geometry on X = V t E t F. There are three types of elements and two distinct elements of X are incicent if and only if they belong to the same flag of .

Exercises N1. Prove that the Petrie dual of a self-avoiding map is self-avoiding. N2. Prove that any operation Du,Tr,Me,Su1, ... of a self-avoiding map is self-avoiding. N3. Prove that BS of any map is self-avoiding. N4. Show that any self-avoding map may be considered as a geometry of rank 4 (add the fourth involution).

Self-avoiding maps as Geometries of rank 4 Consider a generalized flag system  µ V £ E £ F £ P that defines a rank 4 geometry on X = V t E t F t P. There are four types of elements and two distinct elements of X are incident if and only if they belong to the same flag of . We may take any self-avoiding map M and the four involutions 0,1,2 and 3 and define the above geometry.

Homework H1 Describe the rank 4 geometry of the projective planar map on the left.

Geometries from Groups Let G be a group and let {G1,G2,...,Gk} be a family of subgroups of G. Form the cosets xGt, t 2 {1,2, ..., k}. An incidence geometry of rank k is obtained as follows: Elements of type t 2 {1,2,...,k} are the cosets xGt. Two cosets are incident: xGt ~ yGs if and only if xGt Å yGs ¹ ;.

Q – The Quaternion Units 1 -1 i -i j -j k -k

Geometry from Quaternions Example: Q = {+1,-1,+i,-i,+j,-j,+k,-k}. Gi = {+1,-1,+i,-i}, Gj = {+1,-1,+j,-j}, Gk ={+1,-1,+k,-k}.

Quaternions - Continiuation j,k Levi graph is an octahedron. Labels on the left: i = {+1,-1,+i,-i} j,k = {+j,-j,+k,-k}, etc. k j i i,j i,k

Quaternions– Examle of Rank 4 Geometry. j,k Levi graph was an octahedron. Notation: i = {+1,-1,+i,-i} j,k = {+j,-j,+k,-k}, itd. If we add the sugroup G0 = {+1,-1}, four more cosets are obtained: Additional notation: 1 = {+1,-1},i’={+i,-i}, etc. k’ j’ k 1 j i i’ i,k i,j