The normal quotient philosophy. for edge-transitive graphs. Cheryl E Praeger. University of Western Australia
|
|
- Vanessa Golden
- 6 years ago
- Views:
Transcription
1 The normal quotient philosophy for edge-transitive graphs Cheryl E Praeger University of Western Australia 1
2 Edge-transitive graphs Graph Γ = (V, E): V = vertex set E = edge set { unordered pairs from V }. Arc of Γ: (u, v) such that {u, v} E Automorphism of Γ: edge-preserving permutation of V so automorphisms lie in Sym (V ) = { all permutations of V } = Symmetric group on V Automorphism group of Γ: Aut (Γ) Sym (V ) G Aut (Γ): G transitive on V G-vertex-transitive G transitive on E G-edge-transitive G transitive on arcs G-arc-transitive 2
3 G-edge-transitive graphs Γ Connectivity: Apart from possibly some isolated vertices, all connected components that contain edges are isomorphic So we assume that Γ is connected G-vertex-orbits: Either (1) G-vertex-transitive or (2) Γ bipartite and G-vertex orbits are the biparts 3
4 Scope of lecture origin: distance-transitive and s-arc transitive graphs normal quotients and quasiprimitive groups the philosophy : basic graphs vs typical graphs framework for understanding and analysis (locally) s-arc-transitive graphs evaluation and future directions 4
5 History I (1960s): arc-transitive case Two general construction methods: for finite arc-transitive graphs Each construction method produces up to isomorphism at least one copy of each finite arc-transitive graph Gert Sabidussi: Input: finite group G, subgroup H, element g G \ H, g 2 H. Output: arc-transitive graph, G acts arc-transitively. 5
6 History I (1960s): continued 1967 C. (Charlie) C. Sims: Input: transitive permutation group G Sym (V ) with G even. Output: at least one G-arc-transitive graph with vertex set V. an orbital graph: for vertex a and H = G a, a joined to all vertices in certain H-orbit Γ(a) = b H. General question: Graph properties Group Structure? 6
7 History II (1960/70s): Distance transitive graphs Γ = (V, E): for 0 i diameter, Γ i = {(u, v) distance(u, v) = i} Γ is G-distance transitive: G transitive on each Γ i Examples: Cycles C n, complete graphs K n, Odd graphs O n, Johnson graphs J(n, k) all distance transitive 7
8 Early work on distance transitive graphs D. G. Higman 1967: Permutation groups with maximal diameter Biggs, Smith, 1971: Valency 3. Let v V, H = G v. Suppose H < K < G; B := {K images of v}, P := corresponding partition V : only two possible kinds of partitions P. 8
9 Antipodal Partition and Bipartition Antipodal relation: u v u = v or d(u, v) = diameter Γ antipodal: if antipodal relation is an equivalence relation if so the antipodal partition is the set of equivalence classes Bipartition: possible iff Γ bipartite (Distance transitive Γ may be both antipodal and bipartite) Examples: Cubes Q n 9
10 Graph Quotients Graph Γ = (V, E): vertex partition P Quotient graph: Γ P = (P, E P ) where C, C P adjacent some u C, u C are adjacent in Γ. 10
11 Properties of Γ P for G-arc-transitive Γ Assume Γ is G-arc-transitive and connected and generate P as before: v V, H = G v, H < K < G, B := {K images of v}, P := set of G-images of B 1: Γ P is connected 2: B contains no edges of Γ 3: G also arc-transitive on Γ P (possibly with non-trivial kernel) P maximal G vertex-primitive and arc-transitive on Γ P 11
12 Γ d.t., antipodal, valency 3; antipodal partition P P > 2 G distance transitive on Γ P = (P, E P ) and Γ covers Γ P 12
13 Γ d.t., bipartite; bipartition P P = 2 Γ bipartite, P = {V 1, V 2 }, and Γ 1 = (V 1, E 1 ) distance transitive where {u, v} E 1 distance (u, v) = 2. D.H.Smith s Theorem
14 Finite primitive distance transitive graphs Each finite d.t.g. Γ: leads (quickly) to primitive d.t.g. (Cameron) 1979 O Nan Scott Theorem: divides finite primitive permutation groups into 8 disjoint classes. Two relevant types: Almost simple type: : T G Aut(T ), T nonabelian simple group. Affine type: : Z d p < G AGL (d, p), V = finite affine space 14
15 Finite primitive d.t.graphs almost classified Saxl, Yokoyama, CEP 1987: G vertex-primitive and d.t. on Γ Γ known or G of affine type or almost simple type. Prospective classification: Huge effort by many researchers. 15
16 Review the framework of this (almost) classification 1: Find reduction that links each graph in the family with a smaller one having additional nice properties and such that no further reduction possible. [Here vertex-primitive d.t. graph] 2: Call graphs in family with no possible reductions basic 3: Keep track of the possible links between typical graphs and their associated basic graphs. [Here bipartite doubles or antipodal covers.] 4: Classify the basic graphs in the family 5: Elucidate the structure of arbitrary graphs in the family in the light of knowing the basic examples 16
17 Vertex-transitive s-arc-transitive graphs s-arc: path of length s (s edges) possibly self-intersecting but consecutive edges must be different Examples: for Γ = C 5 (1, 0, 4) is a 2-arc (1, 2, 3, 4, 0, 1, 2) is a 6-arc but (2, 3, 2, 1) is not an s-arc
18 (G, s)-arc transitive graph Γ: G transitive on s-arcs of Γ Many famous and beautiful examples: Complete graphs K n (s = 2), complete bipartite graphs K n,n (s = 3), Odd graphs O n (s = 3 if n 3); and stunning sporadic examples, e.g. Cai Heng Li s Monster graph (s = 4) Problem with reduction route: if P is G-invariant partition, then Γ P not usually s-arc transitive far from it! 18
19 Answer: use only normal quotients Γ connected and (G, s)-arc transitive, s 2: 1 N G, N has 3 vertex-orbits P = P N : set of N-vertex-orbits (corresponds to G v < NG v < G) CEP (1985): G acts s-arc transitively on Γ PN with kernel N; and Γ covers Γ PN Γ PN : called a normal quotient of Γ 19
20 Reduction route for connected (G, s)-arc transitive Γ Choose: N G maximal such that P N 3. Consequence: Γ is cover of the (G/N, s)-arc transitive normal quotient Γ PN such that all nontrivial normal subgroups of G/N have at most two vertex orbits on Γ PN G/N quasiprimitive: every non-trivial normal subgroup transitive or G/N bi-quasiprimitive: not quasiprimitive, but every non-trivial normal subgroup has at most two orbits (here Γ, Γ PN both bipartite) 20
21 Thus in the family of finite s-arc transitive graphs each graph Γ a cover of a (bi)quasiprimitive s-arc transitive normal quotient basic (G, s)-arc transitive graphs have G (bi)quasiprimitive on vertices Contrast with Babai s 1985 result: indicated that s-arc transitive graphs form an untameable wild class of graphs 21
22 [Quasi]primitive permutation groups G Sym (Ω) = S n G quasiprimitive: every non-trivial normal subgroup transitive G primitive: G transitive and stabiliser G α < max G 1830 Evariste Galois* Galois primitive permutation groups were really quasiprimitive (P. M. Neumann 2005) * Second Mémoire, first published
23 Finite quasiprimitive permutation groups CEP 1993 Similar structure to O Nan Scott primitive types: Divided into several different types: affine (HA), almost simple (AS), diagonal (SD, CD), product action (PA), twisted wreath (TW),.... CEP 2006 Building blocks for finite transitive permutation groups: each finite transitive group G embeddable in both G 1 G 2 G r (iterated wreath product) each G i quasiprimitive and H 1 H 2 H r (iterated wreath product) each H i primitive Use primitive or quasiprimitive groups as appropriate to the application 23
24 Quasiprimitive s-arc transitive graphs CEP 1993: Γ (G, s)-arc transitive and G-vertex quasiprimitive (s 2) G is one of 4 of the possible 8 O Nan Scott types. affine type almost simple twisted wreath product action classified (Ivanov & CEP) classifications for some classes of small rank almost simple groups (Fang, Hassani, Nochefranca, Wang, CEP) good description (Baddeley) constructions (Li & Seress) 24
25 When is this framework/approach applicable? Locally Q graphs: all graphs Γ = (V, E) such that, for all v V, Γ 1 (v) (or action of G v on Γ 1 (v)) has property Q. Works well for families of arc-transitive graphs: locally quasiprimitive locally primitive, What about: Families of (bipartite) vertex-intransitive, edge-transitive graphs? Families of (half-arc transitive) vertex-transitive, edge-transitive but not arc-transitive graphs? 25
26 Locally (G, s)-arc transitive graphs Collaboration: Michael Giudici, Cai heng and CEP G vertex intransitive: two orbits 1, 2 ; N G 1. If N intransitive on both 1 and 2 then Γ PN is locally (G/N, s) arc transitive. Moreover, Γ is a cover of Γ PN. 2. If N transitive on 1 and intrans on 2 then Γ PN is a star. 26
27 Two types of basic locally (G, s)-arc trans. graphs (i) G acts faithfully and quasiprimitively on both 1 and 2. (ii) G acts faithfully on both 1 and 2 and quasiprimitively on only 1. (The star case) How it works: For general Γ, G, if N G is maximal and intransitive on both i, then Γ PN satisfies case (i) or case (ii), or Γ PN = K n,n 27
28 Outcomes for locally s-arc transitive case uses theory of quasiprimi- Substanial theory for basic examples: tive groups Unexpected constructions of new graphs: graphs admitting PSL(2, p n ) locally 5-arc transitive Unexpected new types of amalgams, reduction in problem of bounding s, etc: What about the half-arc transitive case? 28
29 (G, 2 1 )-arc transitive and (G, 1 2 )-locally primitive Examples include: (i) Γ = C 3, G = Z 3, (ii) valency 4, half-arc transitive graphs Possibilities for normal quotient Φ = Γ PN : (i) Γ bipartite, P N = bipartition, Φ = C 2 (call this case trivial) (ii) Φ = Cn trans case) (n 3) (equivalent of the star quotients for locally s-arc (iii) Γ covers Φ and Φ is (G/N, 1 2 )-arc transitive and (G/N, 1 2 )-locally primitive (good reduction!) 29
30 (iv) Φ is G-arc transitive, val(φ) = 1 2 val(γ), Γ is a 2-multicover of Φ would love some advice on this - induced subgraph between adjacent N-orbits is sc 2r and/but...
Biquasiprimitive oriented graphs of valency four
Biquasiprimitive oriented graphs of valency four Nemanja Poznanović and Cheryl E. Praeger Abstract In this short note we describe a recently initiated research programme aiming to use a normal quotient
More informationTwo-graphs revisited. Peter J. Cameron University of St Andrews Modern Trends in Algebraic Graph Theory Villanova, June 2014
Two-graphs revisited Peter J. Cameron University of St Andrews Modern Trends in Algebraic Graph Theory Villanova, June 2014 History The icosahedron has six diagonals, any two making the same angle (arccos(1/
More informationProduct constructions for transitive decompositions of graphs
116 Product constructions for transitive decompositions of graphs Geoffrey Pearce Abstract A decomposition of a graph is a partition of the edge set, giving a set of subgraphs. A transitive decomposition
More informationEndomorphisms and synchronization, 2: Graphs and transformation monoids. Peter J. Cameron
Endomorphisms and synchronization, 2: Graphs and transformation monoids Peter J. Cameron BIRS, November 2014 Relations and algebras From algebras to relations Given a relational structure R, there are
More informationEndomorphisms and synchronization, 2: Graphs and transformation monoids
Endomorphisms and synchronization, 2: Graphs and transformation monoids Peter J. Cameron BIRS, November 2014 Relations and algebras Given a relational structure R, there are several similar ways to produce
More informationBase size and separation number
Base size and separation number Peter J. Cameron CSG notes, April 2005 Brief history The concept of a base for a permutation group was introduced by Sims in the 1960s in connection with computational group
More informationOn the automorphism group of the m-coloured random graph
On the automorphism group of the m-coloured random graph Peter J. Cameron and Sam Tarzi School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS, UK p.j.cameron@qmul.ac.uk
More informationGeneralised quadrangles with a group acting primitively on points and lines
Generalised quadrangles with a group acting primitively on points and lines Michael Giudici joint work with John Bamberg, Joy Morris, Gordon F. Royle and Pablo Spiga Centre for the Mathematics of Symmetry
More informationConnected-homogeneous graphs
Connected-homogeneous graphs Robert Gray BIRS Workshop on Infinite Graphs October 2007 1 / 14 Homogeneous graphs Definition A graph Γ is called homogeneous if any isomorphism between finite induced subgraphs
More informationGroups and Graphs Lecture I: Cayley graphs
Groups and Graphs Lecture I: Cayley graphs Vietri, 6-10 giugno 2016 Groups and Graphs Lecture I: Cayley graphs Vietri, 6-10 giugno 2016 1 / 17 graphs A GRAPH is a pair Γ = (V, E) where V - set of vertices
More informationOn vertex-transitive non-cayley graphs
On vertex-transitive non-cayley graphs Jin-Xin Zhou Mathematics, Beijing Jiaotong University Beijing 100044, P.R. China SODO, Queenstown, 2012 Definitions Vertex-transitive graph: A graph is vertex-transitive
More informationSchemes and the IP-graph
J Algebr Comb (2008) 28: 271 279 DOI 10.1007/s10801-007-0102-3 Schemes and the IP-graph Rachel Camina Received: 22 September 2006 / Accepted: 24 September 2007 / Published online: 12 October 2007 Springer
More informationON THE STRUCTURE OF SELF-COMPLEMENTARY GRAPHS ROBERT MOLINA DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE ALMA COLLEGE ABSTRACT
ON THE STRUCTURE OF SELF-COMPLEMENTARY GRAPHS ROBERT MOLINA DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE ALMA COLLEGE ABSTRACT A graph G is self complementary if it is isomorphic to its complement G.
More informationHalf-arc-transitive graphs. with small number of alternets
Half-arc-transitive graphs with small number of alternets University of Primorska, Koper, Slovenia This is a joint work with Ademir Hujdurović and Dragan Marušič. Villanova, June 2014 Overview Half-arc-transitive
More informationTwo distance-regular graphs
Two distance-regular graphs Andries E. Brouwer & Dmitrii V. Pasechnik June 11, 2011 Abstract We construct two families of distance-regular graphs, namely the subgraph of the dual polar graph of type B
More informationComputer Algebra Investigation of Known Primitive Triangle-Free Strongly Regular Graphs
Computer Algebra Investigation of Known Primitive Triangle-Free Strongly Regular Graphs Matan Ziv-Av (Jointly with Mikhail Klin) Ben-Gurion University of the Negev SCSS 2013 RISC, JKU July 5, 2013 Ziv-Av
More informationCrown-free highly arc-transitive digraphs
Crown-free highly arc-transitive digraphs Daniela Amato and John K Truss University of Leeds 1. Abstract We construct a family of infinite, non-locally finite highly arc-transitive digraphs which do not
More informationMT5821 Advanced Combinatorics
MT5821 Advanced Combinatorics 4 Graph colouring and symmetry There are two colourings of a 4-cycle with two colours (red and blue): one pair of opposite vertices should be red, the other pair blue. There
More informationThe full automorphism group of a Cayley graph
The full automorphism group of a Cayley graph Gabriel Verret The University of Western Australia Banff, Canada, July 22nd, 2013 Digraphs A digraph Γ is an ordered pair (V, A) where the vertex-set V is
More informationThe Hoffman-Singleton Graph and its Automorphisms
Journal of Algebraic Combinatorics, 8, 7, 00 c 00 Kluwer Academic Publishers. Manufactured in The Netherlands. The Hoffman-Singleton Graph and its Automorphisms PAUL R. HAFNER Department of Mathematics,
More informationAbstract. Figure 1. No. of nodes No. of SC graphs
CATALOGING SELF-COMPLEMENTARY GRAPHS OF ORDER THIRTEEN Myles F. McNally and Robert R. Molina Department of Mathematics and Computer Science Alma College Abstract A self-complementary graph G of odd order
More informationResolutions of the pair design, or 1-factorisations of complete graphs. 1 Introduction. 2 Further constructions
Resolutions of the pair design, or 1-factorisations of complete graphs 1 Introduction A resolution of a block design is a partition of the blocks of the design into parallel classes, each of which forms
More informationA few families of non-schurian association schemes 1
A few families of non-schurian association schemes 1 Štefan Gyürki Slovak University of Technology in Bratislava, Slovakia Ben-Gurion University of the Negev, Beer Sheva, Israel CSD6, Portorož 2012 1 Joint
More informationStructures with lots of symmetry
Structures with lots of symmetry (one of the things Bob likes to do when not doing semigroup theory) Robert Gray Centro de Álgebra da Universidade de Lisboa NBSAN Manchester, Summer 2011 Why? An advertisement
More informationDiscovering 5-Valent Semi-Symmetric Graphs
Discovering 5-Valent Semi-Symmetric Graphs Berkeley Churchill NSF REU in Mathematics Northern Arizona University Flagstaff, AZ 86011 July 27, 2011 Groups and Graphs Graphs are taken to be simple (no loops,
More informationCayley graphs and coset diagrams/1
1 Introduction Cayley graphs and coset diagrams Let G be a finite group, and X a subset of G. The Cayley graph of G with respect to X, written Cay(G, X) has two different definitions in the literature.
More informationLecture 11 COVERING SPACES
Lecture 11 COVERING SPACES A covering space (or covering) is not a space, but a mapping of spaces (usually manifolds) which, locally, is a homeomorphism, but globally may be quite complicated. The simplest
More informationConstructing self-dual chiral polytopes
Constructing self-dual chiral polytopes Gabe Cunningham Northeastern University, Boston, MA October 25, 2011 Definition of an abstract polytope Let P be a ranked poset, whose elements we call faces. Then
More informationThe Gewirtz Graph Morgan J. Rodgers Design Theory Fall 2007
The Gewirtz Graph Morgan J. Rodgers Design Theory Fall 2007 The Gewirtz Graph is the unique strongly regular graph having parameters (56, 10, 0, 2). We will call this graph Γ. This graph was actually discovered
More informationIsomorphism of Graphs Which are k-separable*
Reprinted from INFORMATION AND CONTROL All Rights Reserved by Academic Press, New York and Vol. 56. Nos. 1-2, 1983 Printed in Belgium Isomorphism of Graphs Which are k-separable* GARY L. MILLER Department
More informationAssignment 4 Solutions of graph problems
Assignment 4 Solutions of graph problems 1. Let us assume that G is not a cycle. Consider the maximal path in the graph. Let the end points of the path be denoted as v 1, v k respectively. If either of
More informationGENERALIZED CPR-GRAPHS AND APPLICATIONS
Volume 5, Number 2, Pages 76 105 ISSN 1715-0868 GENERALIZED CPR-GRAPHS AND APPLICATIONS DANIEL PELLICER AND ASIA IVIĆ WEISS Abstract. We give conditions for oriented labeled graphs that must be satisfied
More informationStrata and stabilizers of trees
Vincent Guirardel Joint work with G. Levitt Institut de Mathématiques de Toulouse Goal of the talk Outer space CV N = { minimal free actions of F N on simplicial trees } /. Compactification CV N = { minimal
More informationA 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 informationThompson groups, Cantor space, and foldings of de Bruijn graphs. Peter J. Cameron University of St Andrews
Thompson groups, Cantor space, and foldings of de Bruijn graphs Peter J Cameron University of St Andrews Breaking the boundaries University of Sussex April 25 The 97s Three groups I was born (in Paul Erdős
More informationHC IN (2, 4k, 3)-CAYLEY GRAPHS
HAMILTON CYCLES IN (2, 4k, 3)-CAYLEY GRAPHS University of Primorska November, 2008 Joint work with Henry Glover and Dragan Marušič Definitions An automorphism of a graph X = (V, E) is an isomorphism of
More informationSymmetry vs. Regularity
(University of Chicago) WL50, Pilsen 6 July 2018 regularity local, easy to verify symmetry global, hard to verify regularity local, easy to verify symmetry global, hard to verify regularity: combinatorial
More informationLecture 4: Recent developments in the study of regular maps
Lecture 4: Recent developments in the study of regular maps Fields Institute, October 2011 Marston Conder University of Auckland m.conder@auckland.ac.nz Preamble/Reminder A map M is 2-cell embedding of
More informationGraph Theory S 1 I 2 I 1 S 2 I 1 I 2
Graph Theory S I I S S I I S Graphs Definition A graph G is a pair consisting of a vertex set V (G), and an edge set E(G) ( ) V (G). x and y are the endpoints of edge e = {x, y}. They are called adjacent
More informationGraphs. A Generalization of Bounded Valence and Bounded Genus
Re from INFORMATIONAND Reserved by Academic Press, New York London Vol. 56.Nos. 1983 in Belgium Isomorphism of Graphs. A Generalization of Bounded Valence and Bounded Genus GARY L. MILLER * Department
More informationFigure 1: The Gray Graph with an identied Hamilton cycle as in [1]. 2 Structural properties and alternative denitions The Gray graph G is a cubic, bip
THE GRAY GRAPH REVISITED Dragan Marusic 1 Tomaz Pisanski 2 IMFM, Oddelek za matematiko IMFM, Oddelek za matematiko Univerza v Ljubljani Jadranska 19, 1000 Ljubljana Slovenija dragan.marusic@uni-lj.si Univerza
More information1 Matchings in Graphs
Matchings in Graphs J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 Definition Two edges are called independent if they are not adjacent
More informationPrimitive groups, graph endomorphisms and synchronization
Primitive groups, graph endomorphisms and synchronization João Araújo Universidade Aberta, R. Escola Politécnica, 147 1269-001 Lisboa, Portugal & CAUL/CEMAT, Universidade de Lisboa 1649-003 Lisboa, Portugal
More informationCombinatorial and computational group-theoretic methods in the study of graphs and maps with maximal symmetry Banff (November 2008)
Combinatorial and computational group-theoretic methods in the study of graphs and maps with maximal symmetry Banff (November 2008) Marston Conder University of Auckland mconder@aucklandacnz Outline of
More informationCOMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS
COMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS PALLAVI DANI, EMILY STARK AND ANNE THOMAS Abstract. We give explicit necessary and sufficient conditions for
More informationLecture 6: Some recent progress on regular and chiral polytopes
Lecture 6: Some recent progress on regular and chiral polytopes Fields Institute, October 2011 Marston Conder University of Auckland mconder@aucklandacnz This final lecture will have three parts: A summary
More informationRegular polytopes with few flags
Regular polytopes with few flags Marston Conder University of Auckland mconder@aucklandacnz Introduction: Rotary and regular maps A map M is a 2-cell embedding of a connected graph or multigraph (graph
More informationMath 776 Graph Theory Lecture Note 1 Basic concepts
Math 776 Graph Theory Lecture Note 1 Basic concepts Lectured by Lincoln Lu Transcribed by Lincoln Lu Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved
More informationThe Cyclic Cycle Complex of a Surface
The Cyclic Cycle Complex of a Surface Allen Hatcher A recent paper [BBM] by Bestvina, Bux, and Margalit contains a construction of a cell complex that gives a combinatorial model for the collection of
More informationIs there a McLaughlin geometry?
Is there a McLaughlin geometry? Leonard H. Soicher School of Mathematical Sciences Queen Mary, University of London Mile End Road, London E1 4NS, UK email: L.H.Soicher@qmul.ac.uk February 9, 2006 Dedicated
More informationMatching 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 informationCOMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS
COMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS PALLAVI DANI, EMILY STARK AND ANNE THOMAS Abstract. We give explicit necessary and sufficient conditions for
More informationMissouri State University REU, 2013
G. Hinkle 1 C. Robichaux 2 3 1 Department of Mathematics Rice University 2 Department of Mathematics Louisiana State University 3 Department of Mathematics Missouri State University Missouri State University
More informationCORES OF SYMMETRIC GRAPHS
J. Aust. Math. Soc. 85 (2008), 145 154 doi:10.1017/s1446788708000815 CORES OF SYMMETRIC GRAPHS PETER J. CAMERON and PRISCILA A. KAZANIDIS (Received 17 February 2008; accepted 1 April 2008) Communicated
More informationThe random graph revisited
Random graphs The random graph revisited For finite random graphs on n vertices, Peter J. Cameron School of Mathematical Sciences Queen Mary and Westfield College London E1 4NS p.j.cameron@qmw.ac.uk These
More informationEDGE-COLOURED GRAPHS AND SWITCHING WITH S m, A m AND D m
EDGE-COLOURED GRAPHS AND SWITCHING WITH S m, A m AND D m GARY MACGILLIVRAY BEN TREMBLAY Abstract. We consider homomorphisms and vertex colourings of m-edge-coloured graphs that have a switching operation
More informationDomination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes
Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes Leonor Aquino-Ruivivar Mathematics Department, De La Salle University Leonorruivivar@dlsueduph
More informationGraphs and Isomorphisms
Graphs and Isomorphisms Discrete Structures (CS 173) Backyards of Old Houses in Antwerp in the Snow Van Gogh Madhusudan Parthasarathy, University of Illinois Proof techniques: Direct Contrapositive Disproving
More informationGraph theory - solutions to problem set 1
Graph theory - solutions to problem set 1 1. (a) Is C n a subgraph of K n? Exercises (b) For what values of n and m is K n,n a subgraph of K m? (c) For what n is C n a subgraph of K n,n? (a) Yes! (you
More informationMath 778S Spectral Graph Theory Handout #2: Basic graph theory
Math 778S Spectral Graph Theory Handout #: Basic graph theory Graph theory was founded by the great Swiss mathematician Leonhard Euler (1707-178) after he solved the Königsberg Bridge problem: Is it possible
More informationUniversity of Toronto Department of Mathematics
University of Toronto Department of Mathematics MAT332H1F, Graph Theory Midterm, October 21, 2014 Instructor: Kasra Rafi First Last Student Number Instructions: No aids allowed. Write solutions on the
More informationDISTINGUISHING NUMBER AND ADJACENCY PROPERTIES
DISTINGUISHING NUMBER AND ADJACENCY PROPERTIES ANTHONY BONATO AND DEJAN DELIĆ Dedicated to the memory of Roland Fraïssé. Abstract. The distinguishing number of countably infinite graphs and relational
More informationFundamental Properties of Graphs
Chapter three In many real-life situations we need to know how robust a graph that represents a certain network is, how edges or vertices can be removed without completely destroying the overall connectivity,
More informationON LEIGHTON S GRAPH COVERING THEOREM. Theorem (Leighton [5]). Two finite graphs which have a common covering have a common finite covering.
ON LEIGHTON S GRAPH COVERING THEOREM WALTER D. NEUMANN Abstract. We give short expositions of both Leighton s proof and the Bass- Kulkarni proof of Leighton s graph covering theorem, in the context of
More informationarxiv:math/ v1 [math.gt] 14 May 2004
arxiv:math/0405274v1 [math.gt] 14 May 2004 QUASI-ISOMETRIES BETWEEN GROUPS WITH INFINITELY MANY ENDS PANOS PAPASOGLU, KEVIN WHYTE Abstract. Let G, F be finitely generated groups with infinitely many ends
More informationA graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.
2301-670 Graph theory 1.1 What is a graph? 1 st semester 2550 1 1.1. What is a graph? 1.1.2. Definition. A graph G is a triple (V(G), E(G), ψ G ) consisting of V(G) of vertices, a set E(G), disjoint from
More information11.1. Definitions. 11. Domination in Graphs
11. Domination in Graphs Some definitions Minimal dominating sets Bounds for the domination number. The independent domination number Other domination parameters. 11.1. Definitions A vertex v in a graph
More informationThe Paulus-Rozenfeld-Thompson strongly regular graph on 26 vertices: animated logo of WL 2018
The Paulus-Rozenfeld-Thompson strongly regular graph on 26 vertices: animated logo of WL 28 July 5 28 This graph T was discovered a few times: { by A. J. L. Paulus in []; { by M. Z. Rozenfeld in [5]; {
More informationDISTINGUISHING NUMBER AND ADJACENCY PROPERTIES
DISTINGUISHING NUMBER AND ADJACENCY PROPERTIES ANTHONY BONATO AND DEJAN DELIĆ Dedicated to the memory of Roland Fraïssé. Abstract. The distinguishing number of countably infinite graphs and relational
More informationStructure generation
Structure generation Generation of generalized cubic graphs N. Van Cleemput Exhaustive isomorph-free structure generation Create all structures from a given class of combinatorial structures without isomorphic
More informationGraph Theory: Introduction
Graph Theory: Introduction Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering, IIT Kharagpur pallab@cse.iitkgp.ernet.in Resources Copies of slides available at: http://www.facweb.iitkgp.ernet.in/~pallab
More informationPolytopes derived from. cubic tessellations
Polytopes derived from cubic tessellations Asia Ivić Weiss York University including joint work with Isabel Hubard, Mark Mixer, Alen Orbanić and Daniel Pellicer TESSELLATIONS A Euclidean tessellation is
More informationPACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS
PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PAUL BALISTER Abstract It has been shown [Balister, 2001] that if n is odd and m 1,, m t are integers with m i 3 and t i=1 m i = E(K n) then K n can be decomposed
More informationarxiv: v1 [math.gr] 31 Dec 2009
arxiv:1001.0086v1 [math.gr] 31 Dec 2009 Computing the Maximum Slope Invariant in Tubular Groups Christopher H. Cashen Department of Mathematics University of Utah Salt Lake City, UT 8112 cashen@math.utah.edu
More informationarxiv: 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 informationGraphs 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 informationIntroduction III. Graphs. Motivations I. Introduction IV
Introduction I Graphs Computer Science & Engineering 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu Graph theory was introduced in the 18th century by Leonhard Euler via the Königsberg
More informationON LEIGHTON S GRAPH COVERING THEOREM. Theorem (Leighton [5]). Two finite graphs which have a common covering have a common finite covering.
ON LEIGHTON S GRAPH COVERING THEOREM WALTER D. NEUMANN Abstract. We give short expositions of both Leighton s proof and the Bass- Kulkarni proof of Leighton s graph covering theorem, in the context of
More informationDiscrete Mathematics SECOND EDITION OXFORD UNIVERSITY PRESS. Norman L. Biggs. Professor of Mathematics London School of Economics University of London
Discrete Mathematics SECOND EDITION Norman L. Biggs Professor of Mathematics London School of Economics University of London OXFORD UNIVERSITY PRESS Contents PART I FOUNDATIONS Statements and proofs. 1
More informationKNOTTED SYMMETRIC GRAPHS
proceedings of the american mathematical society Volume 123, Number 3, March 1995 KNOTTED SYMMETRIC GRAPHS CHARLES LIVINGSTON (Communicated by Ronald Stern) Abstract. For a knotted graph in S* we define
More informationREU 2006 Discrete Math Lecture 5
REU 2006 Discrete Math Lecture 5 Instructor: László Babai Scribe: Megan Guichard Editors: Duru Türkoğlu and Megan Guichard June 30, 2006. Last updated July 3, 2006 at 11:30pm. 1 Review Recall the definitions
More informationHW Graph Theory SOLUTIONS (hbovik)
Diestel 1.3: Let G be a graph containing a cycle C, and assume that G contains a path P of length at least k between two vertices of C. Show that G contains a cycle of length at least k. If C has length
More informationColour Refinement. A Simple Partitioning Algorithm with Applications From Graph Isomorphism Testing to Machine Learning. Martin Grohe RWTH Aachen
Colour Refinement A Simple Partitioning Algorithm with Applications From Graph Isomorphism Testing to Machine Learning Martin Grohe RWTH Aachen Outline 1. Colour Refinement and Weisfeiler Lehman 2. Colour
More informationLecture 3: Recap. Administrivia. Graph theory: Historical Motivation. COMP9020 Lecture 4 Session 2, 2017 Graphs and Trees
Administrivia Lecture 3: Recap Assignment 1 due 23:59 tomorrow. Quiz 4 up tonight, due 15:00 Thursday 31 August. Equivalence relations: (S), (R), (T) Total orders: (AS), (R), (T), (L) Partial orders: (AS),
More informationCombinatorial Maps. Francis Lazarus. GIPSA-Lab, CNRS, Grenoble
GIPSA-Lab, CNRS, Grenoble A combinatorial map encodes a graph cellularly embedded in a surface. It is also called a combinatorial surface or a cellular embedding of a graph. Combinatorial (oriented) Maps
More informationPart II. Graph Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 53 Paper 3, Section II 15H Define the Ramsey numbers R(s, t) for integers s, t 2. Show that R(s, t) exists for all s,
More informationarxiv: v1 [math.co] 4 Apr 2018
Derangement action digraphs and graphs arxiv:1804.01384v1 [math.co] 4 Apr 2018 Moharram N. Iradmusa a, Cheryl E. Praeger b a Department of Mathematical Sciences, Shahid Beheshti University, G.C. P.O. Box
More informationAMS /672: Graph Theory Homework Problems - Week V. Problems to be handed in on Wednesday, March 2: 6, 8, 9, 11, 12.
AMS 550.47/67: Graph Theory Homework Problems - Week V Problems to be handed in on Wednesday, March : 6, 8, 9,,.. Assignment Problem. Suppose we have a set {J, J,..., J r } of r jobs to be filled by a
More informationMODELS OF CUBIC THEORIES
Bulletin of the Section of Logic Volume 43:1/2 (2014), pp. 19 34 Sergey Sudoplatov MODELS OF CUBIC THEORIES Abstract Cubic structures and cubic theories are defined on a base of multidimensional cubes.
More informationCayley maps on tori. Ondrej Šuch Slovak Academy of Sciences November 20, 2008
Cayley maps on tori Ondrej Šuch Slovak Academy of Sciences ondrej.such@gmail.com November 20, 2008 Tilings of the plane (a) a regular tiling (b) a semi-regular tiling Objects of interest plane R 2 torus
More informationLecture 8: PATHS, CYCLES AND CONNECTEDNESS
Discrete Mathematics August 20, 2014 Lecture 8: PATHS, CYCLES AND CONNECTEDNESS Instructor: Sushmita Ruj Scribe: Ishan Sahu & Arnab Biswas 1 Paths, Cycles and Connectedness 1.1 Paths and Cycles 1. Paths
More informationJames Mahoney Dissertation Adviser: Dr. John Caughman Portland State University
James Mahoney Dissertation Adviser: Dr. John Caughman Portland State University 5-5-2016 Acknowledgements Dr. John Caughman, Chair Committee members: Dr. Nirupama Bulusu Dr. Derek Garton Dr. Paul Latiolais
More informationAdjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.
1 Graph Basics What is a graph? Graph: a graph G consists of a set of vertices, denoted V (G), a set of edges, denoted E(G), and a relation called incidence so that each edge is incident with either one
More information4. 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 informationON THE GROUP-THEORETIC PROPERTIES OF THE AUTOMORPHISM GROUPS OF VARIOUS GRAPHS
ON THE GROUP-THEORETIC PROPERTIES OF THE AUTOMORPHISM GROUPS OF VARIOUS GRAPHS CHARLES HOMANS Abstract. In this paper we provide an introduction to the properties of one important connection between the
More informationGraph Theory. Connectivity, Coloring, Matching. Arjun Suresh 1. 1 GATE Overflow
Graph Theory Connectivity, Coloring, Matching Arjun Suresh 1 1 GATE Overflow GO Classroom, August 2018 Thanks to Subarna/Sukanya Das for wonderful figures Arjun, Suresh (GO) Graph Theory GATE 2019 1 /
More informationEquipartite polytopes and graphs
Equipartite polytopes and graphs Branko Grünbaum Tomáš Kaiser Daniel Král Moshe Rosenfeld Abstract A graph G of even order is weakly equipartite if for any partition of its vertex set into subsets V 1
More informationMirrors 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 informationCoherent Configurations and Graph Isomorphism:
WL50 6 July 2018 Coherent Configurations and Graph Isomorphism: The emergence of the Johnson graphs University of Chicago Graph isomorphism testing isomorphism of graphs with n vertices moderately exponential
More informationMath 462: Review questions
Math 462: Review questions Paul Hacking 4/22/10 (1) What is the angle between two interior diagonals of a cube joining opposite vertices? [Hint: It is probably quickest to use a description of the cube
More information