39 research outputs found

    LIPIcs, Volume 261, ICALP 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 261, ICALP 2023, Complete Volum

    Graph Coverings with Few Eigenvalues or No Short Cycles

    Get PDF
    This thesis addresses the extent of the covering graph construction. How much must a cover X resemble the graph Y that it covers? How much can X deviate from Y? The main statistics of X and Y which we will measure are their regularity, the spectra of their adjacency matrices, and the length of their shortest cycles. These statistics are highly interdependent and the main contribution of this thesis is to advance our understanding of this interdependence. We will see theorems that characterize the regularity of certain covering graphs in terms of the number of distinct eigenvalues of their adjacency matrices. We will see old examples of covers whose lack of short cycles is equivalent to the concentration of their spectra on few points, and new examples that indicate certain limits to this equivalence in a more general setting. We will see connections to many combinatorial objects such as regular maps, symmetric and divisible designs, equiangular lines, distance-regular graphs, perfect codes, and more. Our main tools will come from algebraic graph theory and representation theory. Additional motivation will come from topological graph theory, finite geometry, and algebraic topology

    Automated Reasoning

    Get PDF
    This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book

    Asymmetric coloring of locally finite graphs and profinite permutation groups: Tucker's Conjecture confirmed

    Get PDF
    An asymmetric coloring of a graph is a coloring of its vertices that is not preserved by any non-identity automorphism of the graph. The motion of a graph is the minimal degree of its automorphism group, i.e., the minimum number of elements that are moved (not fixed) by any non-identity automorphism. We confirm Tom Tucker's “Infinite Motion Conjecture” that connected locally finite graphs with infinite motion admit an asymmetric 2-coloring. We infer this from the more general result that the inverse limit of an infinite sequence of finite permutation groups with disjoint domains, viewed as a permutation group on the union of those domains, admits an asymmetric 2-coloring. The proof is based on the study of the interaction between epimorphisms of finite permutation groups and the structure of the setwise stabilizers of subsets of their domains. We note connections of the subject to computational group theory, asymptotic group theory, highly regular structures, and the Graph Isomorphism problem, and list a number of open problems. © 2021 Elsevier Inc

    Metrically homogeneous graphs of diameter 3

    Get PDF
    We classify countable metrically homogeneous graphs of diameter 3

    Q(sqrt(-3))-Integral Points on a Mordell Curve

    Get PDF
    We use an extension of quadratic Chabauty to number fields,recently developed by the author with Balakrishnan, Besser and M ̈uller,combined with a sieving technique, to determine the integral points overQ(√−3) on the Mordell curve y2 = x3 − 4
    corecore