8 research outputs found

    Graph Isomorphism in Quasipolynomial Time Parameterized by Treewidth

    Get PDF
    We extend Babai's quasipolynomial-time graph isomorphism test (STOC 2016) and develop a quasipolynomial-time algorithm for the multiple-coset isomorphism problem. The algorithm for the multiple-coset isomorphism problem allows to exploit graph decompositions of the given input graphs within Babai's group-theoretic framework. We use it to develop a graph isomorphism test that runs in time npolylog(k)n^{\operatorname{polylog}(k)} where nn is the number of vertices and kk is the minimum treewidth of the given graphs and polylog(k)\operatorname{polylog}(k) is some polynomial in log(k)\operatorname{log}(k). Our result generalizes Babai's quasipolynomial-time graph isomorphism test.Comment: 52 pages, 1 figur

    Presentations and Structural Properties of Self-similar Groups and Groups without Free Sub-semigroups

    Get PDF
    This dissertation is devoted to the study of self-similar groups and related topics. It consists of three parts. The first part is devoted to the study of examples of finitely generated amenable groups for which every finitely presented cover contains non-abelian free subgroups. The study of these examples was motivated by natural questions about finiteness properties of finitely generated groups. We show that many examples of amenable self-similar groups studied in the literature cannot be covered by finitely presented amenable groups. We investigate the class of contracting self-similar groups from this perspective and formulate a general result which is used to detect this property. As an application we show that almost all known examples of groups of intermediate growth cannot be covered by finitely presented amenable groups. The latter is related to the problem of the existence of finitely presented groups of intermediate growth. The second part focuses on the study of one important example of a self-similar group called the first Grigorchuk group G, from the viewpoint of pro finite groups. We investigate finite quotients of this group related to presentations and group (co)homology. As an outcome of this investigation we prove that the pro finite completion G_hat of this group is not finitely presented as a pro finite group. The last part focuses on a class of recursive group presentations known as L-presentations, which appear in the study of self-similar groups. We investigate the relation of such presentations with the normal subgroup structure of finitely presented groups and show that normal subgroups with finite cyclic quotient of finitely presented groups have such presentations. We apply this result to finitely presented indicable groups without free sub-semigroups

    Combinatorial approaches to the group isomorphism problem

    Get PDF
    The isomorphism problem of finite groups, that is, the task of deciding whether two given finite groups are isomorphic, is one of the most fundamental problems in computational group theory for which we currently do not have efficient algorithmic tools. This is equally true in practical applications, as well as in terms of computational complexity: in the general case, apart from minor improvements, we are essentially stuck with an upper bound of n^O(log n) (obtained from enumerating all (log n)-sized generating sets), where n is the group order. On the other hand, there are currently no substantial lower bounds. In this thesis, we develop new algorithmic perspectives on the group isomorphism problem. We define and analyze a series of combinatorial algorithms in the context of finite groups, and in fact arbitrary relational structures. More precisely, we study the k-dimensional WL-algorithm} (k-WL) for natural numbers k, which is an essential tool for the graph isomorphism problem. It is a crucial subroutine in all state-of-the-art graph isomorphism solvers, and it forms an important building block in Babai’s break-through quasi-polynomial time (n^O((log n)^c)) algorithm for graph isomorphism. It is a combinatorial algorithm with a runtime of n^O(k), that assigns canonical colorings to graphs. It thereby serves as a non-isomorphism test, with important connections to logic, games, and graph structure theory. Our first contribution is the generalization of the WL-algorithm from graphs to relational structures, in terms of three potentially different versions of the WL. We compare these versions, showing that they can be placed in a hierarchy of distinguishing powers. The general result that we prove is that each version is natural under a certain point of view (and can be characterized by a corresponding logic), but asymptotically, it does not matter which version of WL we work with. In particular, we obtain an asymptotically robust notion of the Weisfeiler-Leman dimension for relational structures, which denotes the smallest natural number k, such that the k-dimensional WL-algorithm identifies a given structure up to isomorphism. This allows us to subsequently initiate a descriptive complexity theory of finite groups, where we propose the Weisfeiler-Leman dimension as a natural measure of complexity. We construct a compendium of structural properties and group theoretic constructions that are detectable via a low-dimensional Weisfeiler-Leman algorithm. This includes various major building blocks of group theory, for example, we show that groups share the same multiset of composition factors if they are indistinguishable via 5-WL. We also provide a framework that allows one to easily extend and adapt our results to other group theoretic properties. We thereby uncover far-reaching connections between the WL-dimension and the structure of a finite group, and we provide an effective tool-kit to analyze the WL-algorithm on groups and related algebraic structures. We then employ these tools to derive upper bounds on the WL-dimension of several important group classes. For instance, we show that the WL-dimension of coprime extensions of abelian groups and the WL-dimension of semisimple groups are both bounded by O(log log n). We also identify several natural group classes of bounded WL-dimension. Finally, we discuss lower bounds in two ways: first, we provide explicit examples that certify Weisfeiler-Leman indistinguishability for small dimensions, and second, we devise combinatorial reductions that asymptotically preserve the WL-dimension. The latter provides potential sources for groups of unbounded Weisfeiler-Leman dimension

    Multicoloured Random Graphs: Constructions and Symmetry

    Full text link
    This is a research monograph on constructions of and group actions on countable homogeneous graphs, concentrating particularly on the simple random graph and its edge-coloured variants. We study various aspects of the graphs, but the emphasis is on understanding those groups that are supported by these graphs together with links with other structures such as lattices, topologies and filters, rings and algebras, metric spaces, sets and models, Moufang loops and monoids. The large amount of background material included serves as an introduction to the theories that are used to produce the new results. The large number of references should help in making this a resource for anyone interested in beginning research in this or allied fields.Comment: Index added in v2. This is the first of 3 documents; the other 2 will appear in physic

    Proceedings of Sixth International Workshop on Unification

    Full text link
    Swiss National Science Foundation; Austrian Federal Ministry of Science and Research; Deutsche Forschungsgemeinschaft (SFB 314); Christ Church, Oxford; Oxford University Computing Laborator

    Unsolved Problems in Group Theory. The Kourovka Notebook

    Full text link
    This is a collection of open problems in group theory proposed by hundreds of mathematicians from all over the world. It has been published every 2-4 years in Novosibirsk since 1965. This is the 19th edition, which contains 111 new problems and a number of comments on about 1000 problems from the previous editions.Comment: A few new solutions and references have been added or update
    corecore