English
Related papers

Related papers: Coverings of Profinite Graphs

200 papers

Graphings are special bounded-degree graphs on probability spaces, representing limits of graph sequences that are convergent in a local or local-global sense. We describe a procedure for turning the underlying space into a compact metric…

Combinatorics · Mathematics 2021-02-17 László Lovász

We define the notion of affine rigidity of a hypergraph and prove a variety of fundamental results for this notion. First, we show that affine rigidity can be determined by the rank of a specific matrix which implies that affine rigidity is…

Computational Geometry · Computer Science 2013-08-14 Steven J. Gortler , Craig Gotsman , Ligang Liu , Dylan P. Thurston

In topology, the notions of the fundamental group and the universal cover are closely intertwined. By importing usual notions from topology into the algebraic and arithmetic setting, we construct a fundamental group family from a universal…

Algebraic Geometry · Mathematics 2011-02-08 Ravi Vakil , Kirsten Wickelgren

Leighton's graph covering theorem says that two finite graphs with a common cover have a common finite cover. We present a new proof of this using groupoids, and use this as a model to prove two generalisations of the theorem. The first…

Group Theory · Mathematics 2022-08-25 Sam Shepherd , Giles Gardam , Daniel J. Woodhouse

We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of…

Combinatorics · Mathematics 2012-05-15 S. Kaliszewski , Alex Kumjian , John Quigg , Aidan Sims

In this paper I survey the sources of inspiration for my own and co-authored work in trying to develop a general theory of graph polynomials. I concentrate on meta-theorems, i.e., theorem which depend only on the form infinite classes of…

Combinatorics · Mathematics 2024-05-14 Johann A. Makowsky

Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…

Group Theory · Mathematics 2018-04-24 Jorge Almeida , Alfredo Costa

Motivated by the concept of well-covered graphs, we define a graph to be well-bicovered if every vertex-maximal bipartite subgraph has the same order (which we call the bipartite number). We first give examples of them, compare them with…

Combinatorics · Mathematics 2019-09-18 Wayne Goddard , Kirsti Kuenzel , Eileen Melville

An edge cover of a graph is a set of edges such that every vertex has at least an adjacent edge in it. Previously, approximation algorithm for counting edge covers is only known for 3 regular graphs and it is randomized. We design a very…

Data Structures and Algorithms · Computer Science 2014-11-04 Chengyu Lin , Jingcheng Liu , Pinyan Lu

Graphs are important data representations for describing objects and their relationships, which appear in a wide diversity of real-world scenarios. As one of a critical problem in this area, graph generation considers learning the…

Machine Learning · Computer Science 2022-10-06 Xiaojie Guo , Liang Zhao

Leighton's graph covering theorem states that a pair of finite graphs with isomorphic universal covers have a common finite cover. We provide a new proof of Leighton's theorem that allows generalizations; we prove the corresponding result…

Group Theory · Mathematics 2018-07-31 Daniel J. Woodhouse

We prove that the theory of the Farey graph is pseudofinite by constructing a sequence of finite structures that satisfy increasingly large subsets of its first-order axiomatization. This graph is an important object in the study of curve…

Logic · Mathematics 2026-03-26 Connor Martinez Lockhart

We define direct sums and a corresponding notion of connectedness for graph limits. Every graph limit has a unique decomposition as a direct sum of connected components. As is well-known, graph limits may be represented by symmetric…

Combinatorics · Mathematics 2008-04-10 Svante Janson

The traditional approach of defining the fundamental group first and then constructing universal coverings works well only for the class of Poincar\' e spaces. For general spaces there were several attempts to define generalized coverings…

General Topology · Mathematics 2011-08-17 Jerzy Dydak

Motivated by the definition of the edge elimination polynomial of a graph we define the covered components polynomial counting spanning subgraphs with respect to their number of components, edges and covered components. We prove a…

Combinatorics · Mathematics 2012-03-02 Martin Trinks

The set of all closed subgroups of a profinite carries a natural profinite topology. This space of subgroups can be classified up to homeomorphism in many cases, and tight bounds placed on its complexity as expressed by its scattered…

Group Theory · Mathematics 2008-09-30 Paul Gartside , Michael Smith

A traversal of a connected graph is a linear ordering of its vertices all of whose initial segments induce connected subgraphs. Traversals, and their refinements such as breadth-first and depth-first traversals, are computed by various…

Logic · Mathematics 2018-10-24 Siddharth Bhaskar , Anton Jay Kienzle

We say that a group $G$ is of \textit{profinite type} if it can be realized as a Galois group of some field extension. Using Krull's theory, this is equivalent to the ability of $G$ to be equipped with a profinite topology. We also say that…

Group Theory · Mathematics 2024-03-14 Tamar Bar-On , Nikolay Nikolov

A survey of recent results about profinite groups, and results about infinite and finite groups where the theory of profinite groups plays a leading role.

Group Theory · Mathematics 2007-05-23 Dan Segal

This research focuses on analyzing the depth of generalized binomial edge ideals. We extend the notion of $d$-compatible map for the pairs of a complete graph and an arbitrary graph, and using it, we give a combinatorial lower bound for the…

Commutative Algebra · Mathematics 2024-01-15 Anuvinda J , Ranjana Mehta , Kamalesh Saha