Table of Contents
Fetching ...

When do graph covers preserve the clique dynamics of infinite graphs?

Anna M. Limbach, Martin Winter

TL;DR

The paper investigates when clique dynamics, under the operator $k$, are preserved under triangular covers for locally finite graphs. It first demonstrates a counterexample showing that general cover stability fails: a clique-convergent graph can have both a clique-divergent quotient and a clique-divergent cover. It then identifies two local-condition families that guarantee cover stability: (i) local girth at least $7$ with local minimum degree at least $2$, and (ii) graphs that are locally cyclic with minimum degree at least $6$, and it extends clique-Helly theory to infinite graphs, including constructions of infinite clique-Helly graphs with arbitrary period lengths. Finally, it proves the local-girth criterion, extending finite-case methods to infinite graphs by leveraging clique-Helly properties and structural constraints, while noting an open question at the $7\to6$ boundary and the nuanced behavior of clique dynamics under covers.

Abstract

We investigate for which classes of (potentially infinite) graphs the clique dynamics is cover stable, i. e., when clique convergence/divergence is preserved under triangular covering maps. We first present an instructive counterexample: a clique convergent graph which covers a clique divergent graph and which is covered by a clique divergent graph. Based on this we then focus on local conditions (i. e., conditions on the neighbourhoods of vertices) and show that the following are sufficient to imply cover stability: local girth $\geq 7$ and local minimum degree $\geq 2$; being locally cyclic and of minimum degree $\geq 6$.

When do graph covers preserve the clique dynamics of infinite graphs?

TL;DR

The paper investigates when clique dynamics, under the operator , are preserved under triangular covers for locally finite graphs. It first demonstrates a counterexample showing that general cover stability fails: a clique-convergent graph can have both a clique-divergent quotient and a clique-divergent cover. It then identifies two local-condition families that guarantee cover stability: (i) local girth at least with local minimum degree at least , and (ii) graphs that are locally cyclic with minimum degree at least , and it extends clique-Helly theory to infinite graphs, including constructions of infinite clique-Helly graphs with arbitrary period lengths. Finally, it proves the local-girth criterion, extending finite-case methods to infinite graphs by leveraging clique-Helly properties and structural constraints, while noting an open question at the boundary and the nuanced behavior of clique dynamics under covers.

Abstract

We investigate for which classes of (potentially infinite) graphs the clique dynamics is cover stable, i. e., when clique convergence/divergence is preserved under triangular covering maps. We first present an instructive counterexample: a clique convergent graph which covers a clique divergent graph and which is covered by a clique divergent graph. Based on this we then focus on local conditions (i. e., conditions on the neighbourhoods of vertices) and show that the following are sufficient to imply cover stability: local girth and local minimum degree ; being locally cyclic and of minimum degree .

Paper Structure

This paper contains 4 sections, 8 theorems, 4 figures.

Key Result

Theorem 1.1

If a locally finite graph $G$ is clique convergent, so is its universal triangular cover.

Figures (4)

  • Figure 1.1: The graphs $\Delta_0$ to $\Delta_4$.
  • Figure 2.1: (a) $3$-regular tree, (b) labelling a path and colouring edges blue, (c) labelling a second path, (d) replacing a blue edge by two paths, (e) splitting labelled edges and appending paths.
  • Figure 3.1: The graph $H_0$.
  • Figure 3.2: The graphs (a) $H_1$ and (b) $H_3$.

Theorems & Definitions (10)

  • Theorem 1.1: LIMBACH2024114144
  • Theorem 1.2: LIMBACH2024114144
  • Theorem 1.3
  • Theorem 3.1: escalante1973iterierte, Satz 1
  • Theorem 3.2: escalante1973iterierte, Satz 2
  • Example 3.3
  • Theorem 4.1
  • Theorem 4.1: LARRION2002123
  • Lemma 4.2
  • proof