Symmetry in SAT: an Overview

Total Page:16

File Type:pdf, Size:1020Kb

Symmetry in SAT: an Overview Symmetry in SAT: an overview August 27th, 2018 Theory and Practice of SAT solving Oaxaca, Mexico Jo Devriendt, KU Leuven 1 Intro Everyone knows symmetry: SYMMETRIC ASYMMETRIC "something does not change under a set of transformations" - Wikipedia 2 In combinatorial solving Symmetry := Permutation of variable assignments that preserves satisfaction + ­ + ­ + ­ ­ ­ + ­ + ­ + ­ 3 In combinatorial solving Symmetry := Permutation of variable assignments that preserves satisfaction + ­ + ­ + ­ ­ ­ + ­ + ­ + ­ 3 In combinatorial solving Symmetry induces symmetry classes: + ­ + ­ + ­ ­ ­ + ­ + ­ + ­ 4 In combinatorial solving Symmetry induces symmetry classes: + ­ "......calculating......" + ­ + ­ ­ ­ + ­ + ­ + ­ Symmetry classes tend to get huge -> search problem 4 In combinatorial solving Goal: investigate only asymmetrical cases + + !! ­ ­ + ­ 5 Contents 1. Intro 2. SAT Prelims 3. "Classic" symmetry breaking 4. The pigeonhole problem 5. "Recent" symmetry breaking 6. Non-breaking approaches 7. Bonus: symmetry, local search & maxSAT 6 Contents 1. Intro 2. SAT Prelims 3. "Classic" symmetry breaking 4. The pigeonhole problem 5. "Recent" symmetry breaking 6. Non-breaking approaches 7. Bonus: symmetry, local search & maxSAT "Interesting research question" 6 In SAT: Syntactic symmetry := literal permutation that preserves the CNF a ↦ b ¬a ↦ ¬b a ∨ ¬b b ↦ c b ∨ ¬c ¬b ↦ ¬c c ∨ ¬a c ↦ a ¬c ↦ ¬a 7 In SAT: Syntactic symmetry := literal permutation that preserves the CNF a ↦ b ¬a ↦ ¬b a ∨ ¬b b ↦ c b ∨ ¬c (a b c) ¬b ↦ ¬c c ∨ ¬a c ↦ a ¬c ↦ ¬a 7 In SAT literature: Shatter BreakID CDCLSym eaking Adaptive prefix-assignment br ↔ ? SymChaff other Symmetric learning static ↔ dynamic 8 Terminology variable x set of all variables X literal l clause c (propositional) formula φ (variable) assignment α α(l) is the truth value of l in α symmetry σ σ(...) is the symmetrical image of ... symmetry group Σ Σ(...) is the orbit of ... under Σ generator set gen(Σ) 9 3. "Classic" symmetry breaking 10 Symmetry breaking formulas: Crawford [1] Given: φ, Σ Find: symmetry breaking formula sbf that invalidates symmetrical assignments + ­ + + ­ + + ­ ­ ­ ­ + ­ + ­ + ­ + ­ ­ φ φ ∪ sbf 11 Symmetry breaking formulas: Crawford [1] Core idea: sbf encodes "α is lexicographically smaller than σ(α)" for σ ϵ Σ 12 Symmetry breaking formulas: Crawford [1] Core idea: sbf encodes "α is lexicographically smaller than σ(α)" for σ ϵ Σ x1 ≤ σ(x1) x1 = σ(x1) ⇒ x2 ≤ σ(x2) (x1 = σ(x1) ∧ x2 = σ(x2) ) ⇒ x3 ≤ σ(x3) … 12 Symmetry breaking formulas: Crawford [1] Core idea: sbf encodes "α is lexicographically smaller than σ(α)" for σ ϵ Σ x1 ≤ σ(x1) x1 = σ(x1) ⇒ x2 ≤ σ(x2) (x1 = σ(x1) ∧ x2 = σ(x2) ) ⇒ x3 ≤ σ(x3) … parameter: total order on X 12 Symmetry breaking formulas: Crawford [1] Core idea: sbf encodes "α is lexicographically smaller than σ(α)" for all σ ϵ Σ + + ­ ­ + ­ φ ∪ sbf 13 Symmetry breaking formulas: Crawford [1] Core idea: sbf encodes "α is lexicographically smaller than σ(α)" for all σ ϵ Σ + Sound + ­ Complete ­ + Huge: O(|X|²|Σ|) ­ φ ∪ sbf 13 Symmetry breaking: Shatter [2] construct sbf for -much smaller- gen(Σ) "chain encoding" improved clausal encoding + ­ + ­ + ­ ­ ­ + ­ + ­ + ­ φ ∪ sbf 14 Symmetry breaking: Shatter [2] construct sbf for -much smaller- gen(Σ) "chain encoding" improved clausal encoding Sound + ­ + ­ Incomplete + ­ ­ ­ + Feasible: O(|X||gen(Σ)|) ­ + ­ + ­ φ ∪ sbf 14 Detecting symmetry: Saucy [3] Sparse graph automorphism detection 15 Detecting symmetry: Saucy [3] Sparse graph automorphism detection Graph construction from CNF: node for each literal and clause edge between literals occurring in clause edge between literal and negation No polynomial algorithm known Output: generators to automorphism group 15 Static symmetry breaking: Shatter+Saucy Graph Propositional automorphism Add symmetry description detection breaking formulas (a b c) ¬a ∨ b a ∨ ¬b b ∨ ¬c c ∨ ¬a SAT/UNSAT off-the-shelf SAT solver 16 4. The pigeonhole problem 17 Pigeonhole! Do n pigeons fit in n-1 holes? ∀p: ⋁h xph ′ ∀h: ∀p ≠ p : ¬xph ∨ ¬xp′h x11 x12 x13 x21 x22 x23 x31 x32 x33 x41 x42 x43 18 Pigeonhole! Do n pigeons fit in n-1 holes? ∀p: ⋁h xph ′ ∀h: ∀p ≠ p : ¬xph ∨ ¬xp′h Proof-theoretic problem Simple but large symmetry group composition of "pigeon interchangeability" and "hole interchangeability" 1 symmetry class x11 x12 x13 x21 x22 x23 x31 x32 x33 x41 x42 x43 18 Pigeonhole! Original Shatter experiment: 19 Pigeonhole! Original Shatter experiment: Seems ok? 19 Pigeonhole! Own Shatter experiment: 20 Pigeonhole! Own Shatter experiment: Modest gains... Better results in original paper? 20 Pigeonhole! Propositional encoding reduces "pigeon interchangeability" to "row interchangeability" Shatter's sbf's are complete [4] with correct choice of gen(Σ) variable order x11 x12 x13 x21 x22 x23 x31 x32 x33 x41 x42 x43 |full sbf| = O(n²) 21 Pigeonhole! Propositional encoding reduces "pigeon interchangeability" to "row interchangeability" Shatter's sbf's are complete [4] with correct choice of gen(Σ) variable order x11 x12 x13 x21 x22 x23 x31 x32 x33 x41 x42 x43 |full sbf| = O(n²) 22 5. "Recent" symmetry breaking 23 Symmetry breaking: BreakID [5] Core idea: detect "row swap" symmetries *Approximative algorithm 24 Symmetry breaking: BreakID [5] Core idea: detect "row swap" symmetries *Approximative algorithm 1. Search σ1 , σ2 ϵgen(Σ) that form 2 subsequent row swaps forms initial 3-rowed variable matrix M 24 Symmetry breaking: BreakID [5] Core idea: detect "row swap" symmetries *Approximative algorithm 1. Search σ1 , σ2 ϵgen(Σ) that form 2 subsequent row swaps forms initial 3-rowed variable matrix M 2. Apply every σ ϵ gen(Σ) to all detected rows r ϵ M so far images σ(r) disjoint of M are candidates to extend M test if swap r ↔ σ(r) is a symmetry by syntactical check on φ if success, extend M with σ(r) 24 Symmetry breaking: BreakID [5] Core idea: detect "row swap" symmetries *Approximative algorithm 1. Search σ1 , σ2 ϵgen(Σ) that form 2 subsequent row swaps forms initial 3-rowed variable matrix M 2. Apply every σ ϵ gen(Σ) to all detected rows r ϵ M so far images σ(r) disjoint of M are candidates to extend M test if swap r ↔ σ(r) is a symmetry by syntactical check on φ if success, extend M with σ(r) 3. Use Saucy to extend gen(Σ) with new symmetry generators by fixing all variable nodes with variable in M, first row excepted 24 Symmetry breaking: BreakID [5] Core idea: detect "row swap" symmetries Caveat! 25 Symmetry breaking: BreakID [5] Core idea: detect "row swap" symmetries Caveat! Detect row interchangeability subgroups? 25 Symmetry breaking: BreakID [5] Core idea: maximize number of binary sbf clauses 26 Symmetry breaking: BreakID [5] Core idea: maximize number of binary sbf clauses First clause in sbf for σ is binary: ¬x1 ∨ σ(x1) x is stabilized by Σ iff Σ(x)={x} Given Σ with smallest non-stabilized x, for each x' ϵ Σ(x): ¬x ∨ x′ is clause of sbf under some σ ϵ Σ 26 Symmetry breaking: BreakID [5] Core idea: exploit binary sbf clauses 27 Symmetry breaking: BreakID [5] Core idea: exploit binary sbf clauses Create stabilizer chain of Σ: Σ ⊃ Σ ⊃ Σ ⊃ … ⊃ 1 1 2 Σi is the stabilizer subgroup of Σi-1 stabilizing the next non- stabilized variable in ordering Σi have different smallest non-stabilized variables xi For each x' ϵ Σi(xi): ′ x x ¬ i ∨ is a clause of some sbf 27 Symmetry breaking: BreakID [5] Core idea: exploit binary sbf clauses 28 Symmetry breaking: BreakID [5] Core idea: exploit binary sbf clauses Approximative implementation which adapts the variable order! 28 Symmetry breaking: BreakID [5] Core idea: exploit binary sbf clauses Approximative implementation which adapts the variable order! Works well for polarity symmetry σ where for all x: σ(x) = ¬x as sbf is equivalent to unit clause ¬x1 and their number is maximized through adopted variable order. 28 Symmetry breaking: BreakID [5] Core idea: exploit binary sbf clauses Approximative implementation which adapts the variable order! Works well for polarity symmetry σ where for all x: σ(x) = ¬x as sbf is equivalent to unit clause ¬x1 and their number is maximized through adopted variable order. Complete algorithm? 28 Symmetry breaking: CDCLSym [6] Core idea: generate sbf dynamically 29 Symmetry breaking: CDCLSym [6] Core idea: generate sbf dynamically Keep track of reducer symmetries where σ(α)<α by watching smallest variable s.t. σ(v)≠v Generate clause from sbf forcing α≤σ(α) Additionally: try Bliss instead of Saucy 29 Symmetry breaking: CDCLSym [6] Core idea: generate sbf dynamically Keep track of reducer symmetries where σ(α)<α by watching smallest variable s.t. σ(v)≠v Generate clause from sbf forcing α≤σ(α) Additionally: try Bliss instead of Saucy Use clauses for propagation? Not only generator symmetries? 29 Symmetry breaking: On completeness Pigeon interchangeability can be completely broken with polynomial sbf 30 Symmetry breaking: On completeness Pigeon interchangeability can be completely broken with polynomial sbf How about edge interchangeability? E.g., find coloring of complete graph (Ramsey numbers) Recent intrest [11] [14] 30 Symmetry breaking: On completeness Pigeon interchangeability can be completely broken with polynomial sbf How about edge interchangeability? E.g., find coloring of complete graph (Ramsey numbers) Recent intrest [11] [14] How about general interchangeability over arbitrary high dimensional relations? 30 Symmetry breaking: On completeness Pigeon interchangeability can be completely broken with polynomial sbf How about edge interchangeability? E.g., find coloring of complete graph (Ramsey numbers) Recent intrest [11] [14] How about general interchangeability over arbitrary high dimensional relations? Tractable sbf for edge interchangeability? 30 Symmetry breaking: Prefix breaking [7] Core idea: enumerate asymmetrical assignments to variable prefix High-level Graph Symmetry class constraints representation representative enumeration + + ∀x: ∃y : ­ Variable ­ + ­ φ(x, y) prefix 31 Symmetry breaking: Prefix breaking [7] Core idea: enumerate asymmetrical assignments to variable prefix High-level Graph Symmetry class constraints representation representative enumeration + + ∀x: ∃y : ­ Variable ­ + ­ φ(x, y) prefix Clausal encoding Incremental / parallel SAT solver 31 6.
Recommended publications
  • Algebraic Graph Theory: Automorphism Groups and Cayley Graphs
    Algebraic Graph Theory: Automorphism Groups and Cayley graphs Glenna Toomey April 2014 1 Introduction An algebraic approach to graph theory can be useful in numerous ways. There is a relatively natural intersection between the fields of algebra and graph theory, specifically between group theory and graphs. Perhaps the most natural connection between group theory and graph theory lies in finding the automorphism group of a given graph. However, by studying the opposite connection, that is, finding a graph of a given group, we can define an extremely important family of vertex-transitive graphs. This paper explores the structure of these graphs and the ways in which we can use groups to explore their properties. 2 Algebraic Graph Theory: The Basics First, let us determine some terminology and examine a few basic elements of graphs. A graph, Γ, is simply a nonempty set of vertices, which we will denote V (Γ), and a set of edges, E(Γ), which consists of two-element subsets of V (Γ). If fu; vg 2 E(Γ), then we say that u and v are adjacent vertices. It is often helpful to view these graphs pictorially, letting the vertices in V (Γ) be nodes and the edges in E(Γ) be lines connecting these nodes. A digraph, D is a nonempty set of vertices, V (D) together with a set of ordered pairs, E(D) of distinct elements from V (D). Thus, given two vertices, u, v, in a digraph, u may be adjacent to v, but v is not necessarily adjacent to u. This relation is represented by arcs instead of basic edges.
    [Show full text]
  • How Symmetric Are Real-World Graphs? a Large-Scale Study
    S S symmetry Article How Symmetric Are Real-World Graphs? A Large-Scale Study Fabian Ball * and Andreas Geyer-Schulz Karlsruhe Institute of Technology, Institute of Information Systems and Marketing, Kaiserstr. 12, 76131 Karlsruhe, Germany; [email protected] * Correspondence: [email protected]; Tel.: +49-721-608-48404 Received: 22 December 2017; Accepted: 10 January 2018; Published: 16 January 2018 Abstract: The analysis of symmetry is a main principle in natural sciences, especially physics. For network sciences, for example, in social sciences, computer science and data science, only a few small-scale studies of the symmetry of complex real-world graphs exist. Graph symmetry is a topic rooted in mathematics and is not yet well-received and applied in practice. This article underlines the importance of analyzing symmetry by showing the existence of symmetry in real-world graphs. An analysis of over 1500 graph datasets from the meta-repository networkrepository.com is carried out and a normalized version of the “network redundancy” measure is presented. It quantifies graph symmetry in terms of the number of orbits of the symmetry group from zero (no symmetries) to one (completely symmetric), and improves the recognition of asymmetric graphs. Over 70% of the analyzed graphs contain symmetries (i.e., graph automorphisms), independent of size and modularity. Therefore, we conclude that real-world graphs are likely to contain symmetries. This contribution is the first larger-scale study of symmetry in graphs and it shows the necessity of handling symmetry in data analysis: The existence of symmetries in graphs is the cause of two problems in graph clustering we are aware of, namely, the existence of multiple equivalent solutions with the same value of the clustering criterion and, secondly, the inability of all standard partition-comparison measures of cluster analysis to identify automorphic partitions as equivalent.
    [Show full text]
  • On 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 theories of groups and graphs, that of the group formed by the automorphisms of a given graph. We provide examples of important results in graph theory that can be understood through group theory and vice versa, and conclude with a treatment of Frucht's theorem. Contents 1. Introduction 1 2. Fundamental Definitions, Concepts, and Theorems 2 3. Example 1: The Orbit-Stabilizer Theorem and its Application to Graph Automorphisms 4 4. Example 2: On the Automorphism Groups of the Platonic Solid Skeleton Graphs 4 5. Example 3: A Tight Bound on the Product of the Chromatic Number and Independence Number of Vertex-Transitive Graphs 6 6. Frucht's Theorem 7 7. Acknowledgements 9 8. References 9 1. Introduction Groups and graphs are two highly important kinds of structures studied in math- ematics. Interestingly, the theory of groups and the theory of graphs are deeply connected. In this paper, we examine one particular such connection: that which emerges from the observation that the automorphisms of any given graph form a group under composition. In section 2, we provide a framework for understanding the material discussed in the paper. In sections 3, 4, and 5, we demonstrate how important results in group theory illuminate some properties of automorphism groups, how the geo- metric properties of particular embeddings of graphs can be used to determine the structure of the automorphism groups of all embeddings of those graphs, and how the automorphism group can be used to determine fundamental truths about the structure of the graph.
    [Show full text]
  • Construction of Strongly Regular Graphs Having an Automorphism Group of Composite Order
    Volume 15, Number 1, Pages 22{41 ISSN 1715-0868 CONSTRUCTION OF STRONGLY REGULAR GRAPHS HAVING AN AUTOMORPHISM GROUP OF COMPOSITE ORDER DEAN CRNKOVIC´ AND MARIJA MAKSIMOVIC´ Abstract. In this paper we outline a method for constructing strongly regular graphs from orbit matrices admitting an automorphism group of composite order. In 2011, C. Lam and M. Behbahani introduced the concept of orbit matrices of strongly regular graphs and developed an algorithm for the construction of orbit matrices of strongly regu- lar graphs with a presumed automorphism group of prime order, and construction of corresponding strongly regular graphs. The method of constructing strongly regular graphs developed and employed in this paper is a generalization of that developed by C. Lam and M. Behba- hani. Using this method we classify SRGs with parameters (49,18,7,6) having an automorphism group of order six. Eleven of the SRGs with parameters (49,18,7,6) constructed in that way are new. We obtain an additional 385 new SRGs(49,18,7,6) by switching. Comparing the con- structed graphs with previously known SRGs with these parameters, we conclude that up to isomorphism there are at least 727 SRGs with parameters (49,18,7,6). Further, we show that there are no SRGs with parameters (99,14,1,2) having an automorphism group of order six or nine, i.e. we rule out automorphism groups isomorphic to Z6, S3, Z9, or E9. 1. Introduction One of the main problems in the theory of strongly regular graphs (SRGs) is constructing and classifying SRGs with given parameters.
    [Show full text]
  • Graph Automorphism Groups
    Graph Automorphism Groups Robert A. Beeler, Ph.D. East Tennessee State University February 23, 2018 Robert A. Beeler, Ph.D. (East Tennessee State University)Graph Automorphism Groups February 23, 2018 1 / 1 What is a graph? A graph G =(V , E) is a set of vertices, V , together with as set of edges, E. For our purposes, each edge will be an unordered pair of distinct vertices. a e b d c V (G)= {a, b, c, d, e} E(G)= {ab, ae, bc, be, cd, de} Robert A. Beeler, Ph.D. (East Tennessee State University)Graph Automorphism Groups February 23, 2018 2 / 1 Graph Automorphisms A graph automorphism is simply an isomorphism from a graph to itself. In other words, an automorphism on a graph G is a bijection φ : V (G) → V (G) such that uv ∈ E(G) if and only if φ(u)φ(v) ∈ E(G). Note that graph automorphisms preserve adjacency. In layman terms, a graph automorphism is a symmetry of the graph. Robert A. Beeler, Ph.D. (East Tennessee State University)Graph Automorphism Groups February 23, 2018 3 / 1 An Example Consider the following graph: a d b c Robert A. Beeler, Ph.D. (East Tennessee State University)Graph Automorphism Groups February 23, 2018 4 / 1 An Example (Part 2) One automorphism simply maps every vertex to itself. This is the identity automorphism. a a d b d b c 7→ c e =(a)(b)(c)(d) Robert A. Beeler, Ph.D. (East Tennessee State University)Graph Automorphism Groups February 23, 2018 5 / 1 An Example (Part 3) One automorphism switches vertices a and c.
    [Show full text]
  • Graphs with Given Automorphism Group and Few Edge Orbits
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Europ. 1. Combinatorics (1991) U, 185-203 Graphs with Given Automorphism Group and Few Edge Orbits LAsZLO BABAl, ALBERT J. GOODMAN AND LAsZLO LovAsz A graph X is said to represent the group G with k edge (vertex) orbits if the automorphism group of X is isomorphic to G and it acts with k orbits on the set of edges (vertices, resp.) of X. It is known that (with three exceptions) every finite group can be represented with ..:2 vertex orbits (Babai, 1974). In this paper we build a framework to study the minimum number of edge orbits. We show that surprisingly large classes of groups admit a representation with a bounded number of edge-orbits. These include the groups generated by a bounded number of abelian subgroups; in particular, any direct product of finite simple groups. The case of abelian groups is related to work of Brenner, and of Gelfand and Ponomarev. 1. INTRODUCTION We say that a graph X represents the group G if its automorphism group Aut(X) is isomorphic to G. An old theorem of Frucht [16J says that every finite group is represented by some finite graph. It is natural to ask how small or how symmetrical such a representation can be. The first measure of size is the number of vertices; the second, the number of edges. The number of orbits lends itself as a measure of symmetry. Let G have n elements. Then it is known [2J that G can be represented with at most two orbits on the vertices, with the exceptions of the cyclic groups of orders 3, 4 and 5.
    [Show full text]
  • Arxiv:1801.02942V2 [Math.OA]
    THE PETERSEN GRAPH HAS NO QUANTUM SYMMETRY SIMON SCHMIDT Abstract. In 2007, Banica and Bichon asked whether the well-known Petersen graph has quantum symmetry. In this article, we show that the Petersen graph has no quantum symmetry, i.e. the quantum automorphism group of the Petersen graph is its usual automorphism group, the symmetric group S5. Introduction The study of graph automorphisms is an important branch of graph theory. The automorphism group of a finite graph on n vertices without multiple edges is given by Gaut(Γ) := {σ ∈ Sn | σε = εσ} ⊆ Sn, where ε is the adjacency matrix of the graph and Sn denotes the symmetric group. As a generalization of this concept, quantum automorphism groups of finite graphs were introduced in the framework of compact matrix quantum groups. In 2005, + ∗ Banica [1] defined the quantum automorphism group Gaut(Γ) based on the C - algebra + + C(Gaut(Γ)) := C(Sn )/huε = εui, + where Sn denotes the quantum symmetric group defined by Wang [10]. There is also another definition given by Bichon in [5], which is a quantum subgroup of Banica’s quantum automorphism group. + In [2], Banica and Bichon computed Gaut(Γ) for all vertex-transitive graphs Γ of order up to eleven, except the Petersen graph. The Petersen graph (see figure 1) is a arXiv:1801.02942v2 [math.OA] 17 Jan 2018 strongly regular graph on ten vertices and it often appears as a counter-example to conjectures in graph theory. For more information concerning the Petersen graph, we refer to the book [7]. We say that a graph has no quantum symmetry if the quantum automorphism group of Banica coincides with the usual automorphism group of the graph, as defined in [2].
    [Show full text]
  • Graph Automorphism and Topological Characterization of Synthetic And
    Correlation of Automorphism Group Size and Topological Properties with Program-size Complexity Evaluations of Graphs and Complex Networks Hector Zenil1;3,∗ Fernando Soler-Toscano2;3, Kamaludin Dingle4;5, and Ard A. Louis4 1Unit of Computational Medicine, Karolinska Institute, Sweden. 2Grupo de L´ogica,Lenguaje e Informaci´on,Universidad de Sevilla, Spain. 3Algorithmic Nature Group, LABoRES, Paris, France. 4Rudolf Peierls Centre for Theoretical Physics, University of Oxford, UK. 5The Systems Biology DTC, University of Oxford, UK. (Dated: February 25, 2014) We show that numerical approximations of Kolmogorov complexity (K) of graphs and networks capture some group-theoretic and topological properties of empirical networks, ranging from metabolic to social networks, and of small synthetic networks that we have produced. That K and the size of the group of automorphisms of a graph are correlated opens up interesting connections to problems in computational geometry, and thus connects several measures and concepts from complexity science. We derive these results via two different Kolmogorov complexity approximation methods applied to the adjacency matrices of the graphs and networks. The methods used are the traditional lossless compression approach to Kolmogorov complexity, and a normalised version of a Block Decomposition Method (BDM) based on algorithmic probability theory. Keywords: Kolmogorov complexity; graph automorphism; complex networks; graph automor- phisms; algorithmic probability; Block Decomposition Method; compressibility; biological networks; network biology. I. INTRODUCTION a graph with no symmetries, despite being far from ran- dom, and indeed is intuitively simple. Graphs are an important tool for mathematically This paper is structured as follows: The next two analysing many systems, from interactions of chemical Sections give background definitions and theorems; then agents, to ecological networks, to representing data ob- in Section IV we consider the question of whether ap- jects in computer science [1,2].
    [Show full text]
  • Automorphism Groups of Simple Graphs
    AUTOMORPHISM GROUPS OF SIMPLE GRAPHS LUKE RODRIGUEZ Abstract Group and graph theory both provide interesting and meaninful ways of examining relationships between elements of a given set. In this paper we investigate connections between the two. This investigation begins with automorphism groups of common graphs and an introduction of Frucht's Theorem, followed by an in-depth examination of the automorphism groups of generalized Petersen graphs and cubic Hamiltonian graphs in LCF notation. In conclusion, we examine how Frucht's Theorem applies to the specific case of cubic Hamiltonian graphs. 1. Group Theory Fundamentals In the field of Abstract Algebra, one of the fundamental concepts is that of combining particular sets with operations on their elements and studying the resulting behavior. This allows us to consider a set in a more complete way than if we were just considering their elements themselves outside of the context in which they interact. For example, we might be interested in how the set of all integers modulo m behaves under addition, or how the elements of a more abstract set S behave under some set of permutations defined on the elements of S. Both of these are examples of a group. Definition 1.1. A group is a set S together with an operation ◦ such that: (1) For all a; b 2 S, the element a ◦ b = c has the property that c 2 S. (2) For all a; b; c 2 S, the equality a ◦ (b ◦ c) = (a ◦ b) ◦ c holds. (3) There exists an element e 2 S such that a ◦ e = e ◦ a = a for all a 2 S.
    [Show full text]
  • Automorphism Group of Graphs (Supplemental Material for Intro to Graph Theory)
    Automorphism Group of Graphs (Supplemental Material for Intro to Graph Theory) Robert A. Beeler∗ January 15, 2018 1 Introduction and Preliminary Results In this supplement, we will assume that all graphs are undirected graphs with no loops or multiple edges. In graph theory, we talk about graph isomor- phisms. As a reminder, an isomorphism between graphs G and H is a bijec- tion φ : V (G) → V (H) such that uv ∈ E(G) if and only if φ(u)φ(v) ∈ E(H). A graph automorphism is simply an isomorphism from a graph to itself. In other words, an automorphism on a graph G is a bijection φ : V (G) → V (G) such that uv ∈ E(G) if and only if φ(u)φ(v) ∈ E(G). This definition gener- alizes to digraphs, multigraphs, and graph with loops. Let Aut(G) denote the set of all automorphisms on a graph G. Note that this forms a group under function composition. In other words, (i) Aut(G) is closed under function composition. (ii) Function composition is associative on Aut(G). This follows from the fact that function composition is associative in general. (iii) There is an identity element in Aut(G). This is mapping e(v) = v for all v ∈ V (G). ∗Department of Mathematics and Statistics, East Tennessee State University, Johnson City, TN 37614-1700 USA email: [email protected] 1 2 a c d b d b c a e α a c b d b d c a β αβ Figure 1: A graph and its automorphisms (iv) For every σ ∈ Aut(G), there is an inverse element σ−1 ∈ Aut(G).
    [Show full text]
  • Quantum Automorphism Groups of Finite Graphs
    Quantum automorphism groups of finite graphs Dissertation zur Erlangung des Grades des Doktors der Naturwissenschaften der Fakult¨atf¨urMathematik und Informatik der Universit¨atdes Saarlandes Simon Schmidt Saarbr¨ucken, 2020 Datum der Verteidigung: 2. Juli 2020 Dekan: Prof. Dr. Thomas Schuster Pr¨ufungsausschuss: Vorsitzende: Prof. Dr. Gabriela Weitze-Schmith¨usen Berichterstatter: Prof. Dr. Moritz Weber Prof. Dr. Roland Speicher Prof. Dr. Julien Bichon Akademischer Mitarbeiter: Dr. Tobias Mai ii Abstract The present work contributes to the theory of quantum permutation groups. More specifically, we develop techniques for computing quantum automorphism groups of finite graphs and apply those to several examples. Amongst the results, we give a criterion on when a graph has quantum symmetry. By definition, a graph has quantum symmetry if its quantum automorphism group does not coincide with its classical automorphism group. We show that this is the case if the classical automorphism group contains a pair of disjoint automorphisms. Furthermore, we prove that several families of distance-transitive graphs do not have quantum symmetry. This includes the odd graphs, the Hamming graphs H(n; 3), the Johnson graphs J(n; 2), the Kneser graphs K(n; 2) and all cubic distance-transitive graphs of order ≥ 10. In particular, this implies that the Petersen graph does not have quantum symmetry, answering a question asked by Banica and Bichon in 2007. Moreover, we show that the Clebsch graph does have quantum symmetry and −1 prove that its quantum automorphism group is equal to SO5 answering a question asked by Banica, Bichon and Collins. More generally, for odd n, the quantum −1 automorphism group of the folded n-cube graph is SOn .
    [Show full text]
  • A Note on Graph Automorphism and Smart Reductions
    A note on Graph Automorphism and Smart Reductions Eric Allender∗ Joshua A. Grochowy Dieter van Melkebeekz Cristopher Moorex Andrew Morgan{ February 9, 2018 Abstract It is well-known [KST93] that the complexity of the Graph Automorphism problem is characterized by a special case of Graph Isomorphism, where the input graphs satisfy the \promise" of being rigid (that is, having no nontrivial automorphisms). In this brief note, we observe that the reduction of Graph Automorphism to the Rigid Graph Isomorphism problem can be accomplished even using Grollman and Selman's notion of a \smart reduction". 1 Prologue This paper consists of an orphan theorem. The history of this work begins with a study of the complexity of time-bounded Kol- mogorov complexity as it relates to the Graph Automorphism problem [AGM15]. The au- thors of [AGM15] continued to explore this topic with other collaborators after [AGM15] was posted on ECCC, and at one point it was found that the exposition could be simplified by proving that Graph Automorphism can be reduced to the Rigid Graph Isomorphism promise problem via a smart reduction, which is the topic of the current note. The project eventually developed into a significantly stronger paper [AGvM+18]. (A more complete version of this work is available as [AGvM+17].) But the proofs as presented in [AGvM+18, AGvM+17] no longer make any reference to smart reductions. What to do? The observation that Graph Automorphism reduces to Rigid Graph Isomorphism might be useful in some future situation, but this fact by itself falls somewhat short of the Least Publishable Unit threshold.
    [Show full text]