graph
34516 papers tagged with this keyword
Trail Trap: a variant of Partizan Edge Geography
We study a two-player game played on undirected graphs called {\sc Trail Trap}, which is a variant of a game known as {\sc Partizan Edge Geography}. One player starts by choosing any edge and moving a token from one endpoint to the other; the other player then chooses a different edge and does the same. Alternating turns, each player moves their token along an unused edge from its current vertex to an adjacent vertex, until one player cannot move and loses. We present an algorithm to determine which player has a winning strategy when the graph is a tree and partially characterize the trees on which a given player wins. Additionally, we show that it is NP-hard to determine if Player~2 has a winning strategy on {\sc Trail Trap} from the starting position, even for connected bipartite planar graphs with maximum degree $4$. We determine which player has a winning strategy for certain subclasses of complete bipartite graphs and grid graphs, and we propose several open problems for further study.
Brooks-type colourings of digraphs in linear time
Brooks' Theorem is a fundamental result on graph colouring, stating that the chromatic number of a graph is almost always upper bounded by its maximal degree. Lovász showed that such a colouring may then be computed in linear time when it exists. Many analogues are known for variants of (di)graph colouring, notably for list-colouring and partitions into subgraphs with prescribed degeneracy. One of the most general results of this kind is due to Borodin, Kostochka, and Toft, when asking for classes of colours to satisfy "variable degeneracy" constraints. An extension of this result to digraphs has recently been proposed by Bang-Jensen, Schweser, and Stiebitz, by considering colourings as partitions into "variable weakly degenerate" subdigraphs. Unlike earlier variants, there exists no linear-time algorithm to produce colourings for these generalisations.
We introduce the notion of (variable) bidegeneracy for digraphs, capturing multiple (di)graph degeneracy variants. We define the corresponding concept of $F$-dicolouring, where $F = (f_1,...,f_s)$ is a vector of functions, and an $F$-dicolouring requires vertices coloured $i$ to induce a "strictly-$f_i$-bidegenerate" subdigraph. We prove an analogue of Brooks' theorem for $F$-dicolouring, generalising the result of Bang-Jensen et al., and earlier analogues in turn.
Our new approach provides a linear-time algorithm that, given a digraph $D$, either produces an $F$-dicolouring of $D$, or correctly certifies that none exist. This yields the first linear-time algorithms to compute (di)colourings corresponding to the aforementioned generalisations of Brooks' theorem. In turn, it gives an unified framework to compute such colourings for various intermediate generalisations of Brooks' theorem such as list-(di)colouring and partitioning into (variable) degenerate sub(di)graphs.
The minimum orientable genus of the repeated Cartesian product of graphs
Determining the minimum genus of a graph is a fundamental optimisation problem in the study of network design and implementation as it gives a measure of non-planarity of graphs. In this paper, we are concerned with determining the smallest value of $g$ such that a given graph $G$ has an embedding on the orientable surface of genus $g$. In particular, we consider the Cartesian product of graphs since this is a well studied graph operation which is often used for modelling interconnection networks. The $s$-cube $Q_i^{(s)}$ is obtained by taking the repeated Cartesian product of $i$ complete bipartite graphs $K_{s,s}$. We determine the genus of the Cartesian product of the $2r$-cube with the repeated Cartesian product of cycles and of the Cartesian product of the $2r$-cube with the repeated Cartesian product of paths.
Antimagic and product antimagic graphs with pendant edges
Let $G=(V,E)$ be a simple graph of size $m$ and $L$ a set of $m$ distinct real numbers. An $L$-labeling of $G$ is a bijection $φ: E \rightarrow L$. We say that $φ$ is an antimagic $L$-labeling if the induced vertex sum $φ_+: V \rightarrow \mathbb {R}$ defined as $φ_+(u)=\sum_{uv\in E}φ(uv)$ is injective. Similarly, $φ$ is a product antimagic $L$-labeling of $G$ if the induced vertex product $φ_{\circ}: V \rightarrow \mathbb {R}$ defined as $φ_{\circ}(u)=\prod_{uv\in E}φ(uv)$ is injective. A graph $G$ is antimagic (resp. product antimagic) if it has an antimagic (resp. a product antimagic) $L$-labeling for $L=\{1,2,\dots,m\}$. Hartsfield and Ringel conjectured that every simple connected graph distinct from $K_2$ is antimagic, but the conjecture remains widely open.
We prove, among other results, that every connected graph of size $m$, $m \geq 3$, admits an antimagic $L$-labeling for every arithmetic sequence $L$ of $m$ positive real numbers, if every vertex of degree at least three is a support vertex. As a corollary, we derive that these graphs are antimagic, reinforcing the veracity of the conjecture by Hartsfield and Ringel. Moreover, these graphs admit also a product antimagic $L$-labeling provided that the smallest element of $L$ is at least one. The proof is constructive.
Excluding disjoint Kuratowski graphs
A graph is a ``$k$-Kuratowski graph'' if it has exactly $k$ components, each isomorphic to $K_5$ or to $K_{3,3}$. We prove that if a graph $G$ contains no $k$-Kuratowski graph as a minor,then there is a set $X$ of boundedly many vertices such that $G\setminus X$ can be drawn in a (possibly disconnected) surface in which no $k$-Kuratowski graph can be drawn.
Excluding sums of Kuratowski graphs
We prove that a graph does not contain as a minor a graph formed by 0-, 1-, 2- or 3-summing $k$ copies of $K_5$ or $K_{3,3}$, if and only if it has bounded genus.
A classification of semi-equivelar gems of PL $d$-manifolds on the surface with Euler characteristic $-1$
Published in Topol. Methods Nonlinear Anal. 65 (2025), no. 2, 765 -- 783
• View Publication
• BIB
A semi-equivelar gem of a PL $d$-manifold is a regular colored graph that represents the PL $d$-manifold and regularly embeds on a surface, with the property that the cyclic sequence of degrees of faces in the embedding around each vertex is identical. In \cite{bb24}, the authors classified semi-equivelar gems of PL $d$-manifolds embedded on surfaces with Euler characteristics greater than or equal to zero. In this article, we focus on classifying semi-equivelar gems of PL $d$-manifolds embedded on the surface with Euler characteristic $-1$. We prove that if a semi-equivelar gem embeds regularly on the surface with Euler characteristic $-1$, then it belongs to one of the following types: $(8^3), (6^2,8), (6^2,12), (10^2,4), (12^2,4),$ $ (4,6,14), (4,6,16), (4,6,18), (4,6,24), (4,8,10), (4,8,12),$ or $(4,8,16)$. Furthermore, we provide constructions that demonstrate the existence of such gems for each of the aforementioned types.
Nut graphs with a given automorphism group
A nut graph is a simple graph of order 2 or more for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry (i.e. are full). It is shown by construction that every finite group can be represented as the group of automorphisms of infinitely many nut graphs. It is further shown that such nut graphs exist even within the class of regular graphs; the cases where the degree is 8, 12, 16, 20 or 24 are realised explicitly.
Diameter of the inversion graph
In an oriented graph $\vec{G}$, the inversion of a subset $X$ of vertices consists in reversing the orientation of all arcs with both endvertices in $X$. The inversion graph of a labelled graph $G$, denoted by ${\mathcal{I}}(G)$, is the graph whose vertices are the labelled orientations of $G$ in which two labelled orientations $\vec{G}_1$ and $\vec{G}_2$ of $G$ are adjacent if and only if there is an inversion $X$ transforming $\vec{G}_1$ into $\vec{G}_2$. In this paper, we study the inversion diameter of a graph which is the diameter of its inversion graph denoted by $diam(\mathcal{I}(G))$. We show that the inversion diameter is tied to the star chromatic number, the acyclic chromatic number and the oriented chromatic number. Thus a graph class has bounded inversion diameter if and only if it also has bounded star chromatic number, acyclic chromatic number and oriented chromatic number. We give some upper bounds on the inversion diameter of a graph $G$ contained in one of the following graph classes: planar graphs ($diam(\mathcal{I}(G)) \leq 12$), planar graphs of girth 8 ($diam(\mathcal{I}(G)) \leq 3$), graphs with maximum degree $Δ$ ($diam(\mathcal{I}(G)) \leq 2Δ-1$), graphs with treewidth at mots $t$ ($diam(\mathcal{I}(G)) \leq 2t$).
We also show that determining the inversion diameter of a given graph is NP-hard.
On the Euler characteristic of the commutative graph complex and the top weight cohomology of $\mathcal M_g$
We prove an asymptotic formula for the Euler characteristic of Kontsevich's commutative graph complex. This formula implies that the total amount of commutative graph homology grows super-exponentially with the rank and, via a theorem of Chan, Galatius, and Payne, that the dimension of the top weight cohomology of the moduli space of curves, $\mathcal M_g$, grows super-exponentially with the genus $g$.
On the Iwasawa theory of Cayley graphs
Published in Research in the Mathematical Sciences Vol 12, No. 2 (2025)
• View Publication
• BIB
This paper explores Iwasawa theory from a graph theoretic perspective, focusing on the algebraic and combinatorial properties of Cayley graphs. Using representation theory, we analyze Iwasawa-theoretic invariants within $\mathbb{Z}_\ell$-towers of Cayley graphs, revealing connections between graph theory, number theory, and group theory. Key results include the factorization of associated Iwasawa polynomials and the decomposition of $μ$- and $λ$-invariants. Additionally, we apply these insights to complete graphs, establishing conditions under which these invariants vanish.
Understanding High-Order Network Structure using Permissible Walks on Attributed Hypergraphs
Hypergraphs have been a recent focus of study in mathematical data science as a tool to understand complex networks with high-order connections. One question of particular relevance is how to leverage information carried in hypergraph attributions when doing walk-based techniques. In this work, we focus on a new generalization of a walk in a network that recovers previous approaches and allows for a description of permissible walks in hypergraphs. Permissible walk graphs are constructed by intersecting the attributed $s$-line graph of a hypergraph with a relation respecting graph. The attribution of the hypergraph's line graph commonly carries over information from categorical and temporal attributions of the original hypergraph. To demonstrate this approach on a temporally attributed example, we apply our framework to a Reddit data set composed of hyperedges as threads and authors as nodes where post times are tracked.
The Large Deviation Principle for $W$-random spectral measures
The $W$-random graphs provide a flexible framework for modeling large random networks. Using the Large Deviation Principle (LDP) for $W$-random graphs from [9], we prove the LDP for the corresponding class of random symmetric Hilbert-Schmidt integral operators. Our main result describes how the eigenvalues and the eigenspaces of the integral operator are affected by the large deviations in the underlying random graphon. To prove the LDP, we demonstrate continuous dependence of the spectral measures associated with integral operators on the underlying graphons and use the Contraction Principle. To illustrate our results, we obtain leading order asymptotics of the eigenvalues of the integral operators corresponding to certain random graph sequences. These examples suggest several representative scenarios of how the eigenvalues and the eigenspaces of the integral operators are affected by large deviations. Potential implications of these observations for bifurcation analysis of Dynamical Systems and Graph Signal Processing are indicated.
A Constructive Winning Maker Strategy in the Maker-Breaker $C_4$-Game
Maker-Breaker subgraph games are among the most famous combinatorial games. For given $n,q \in \mathbb{N}$ and a subgraph $C$ of the complete graph $K_n$, the two players, called Maker and Breaker, alternately claim edges of $K_n$. In each round of the game Maker claims one edge and Breaker is allowed to claim up to $q$ edges. If Maker is able to claim all edges of a copy of $C$, he wins the game. Otherwise Breaker wins. In this work we introduce the first constructive strategy for Maker for the $C_4$-Maker-Breaker game and show that he can win the game if $q < 0.16 n^{2/3}$. According to the theorem of Bednarska and Luczak (2000) $n^{2/3}$ is asymptotically optimal for this game, but the constant given there for a random Maker strategy is magnitudes apart from our constant 0.16.
Excluding a clique or a biclique in graphs of bounded induced matching treewidth
For a tree decomposition $\mathcal{T}$ of a graph $G$, let $μ(\mathcal{T})$ denote the maximum size of an induced matching in $G$ with the property that some bag of $\mathcal{T}$ contains at least one endpoint of every edge of the matching. The induced matching treewidth of a graph $G$ is the minimum value of $μ(\mathcal{T})$ over all tree decompositions $\mathcal{T}$ of $G$. Classes of graphs with bounded induced matching treewidth admit polynomial-time algorithms for a number of problems, including INDEPENDENT SET, $k$-COLORING, ODD CYCLE TRANSVERSAL, and FEEDBACK VERTEX SET. In this paper, we focus on combinatorial properties of such classes.
First, we show that graphs with bounded induced matching treewidth that exclude a fixed biclique as an induced subgraph have bounded tree-independence number, which is another well-studied parameter defined in terms of tree decompositions. This sufficient condition about excluding a biclique is also necessary, as bicliques have unbounded tree-independence number. Second, we show that graphs with bounded induced matching treewidth that exclude a fixed clique have bounded chromatic number, that is, classes of graphs with bounded induced matching treewidth are $χ$-bounded. The two results confirm two conjectures due to Lima et al. [ESA 2024].
Isomorphisms between random $d$-hypergraphs
We characterize the size of the largest common induced subgraph of two independent random uniform $d$-hypergraphs of different sizes with $d\geq 3$. More precisely, its distribution is asymptotically concentrated on two points, and we obtain as a consequence a phase transition for the inclusion of the smallest hypergraph in the largest one. This generalizes to uniform random $d$-hypergraphs the results of Chatterjee and Diaconis for uniform random graphs.
Our proofs rely on the first and second moment methods.
A note on non-regular Bonnet-Myers Sharp Graphs
Self-centred regular graphs which are Ollivier-Ricci Bonnet-Myers sharp have been completely classified. When the conditions of self-centeredness and regularity are removed it is an open problem on what the classification is. We present a complete classification of Bonnet-Myers sharp graphs with a diameter 2 and show that there exists Bonnet-Myers sharp graphs of diameter 3, 4 and 6 that belong to a family of graphs called symmetrical antitees.
Inducibility of rainbow graphs
Published in Math. Proc. Camb. Phil. Soc. 180 (2026) 191-218
• View Publication
• BIB
Fix $k\ge 11$ and a rainbow $k$-clique $R$. We prove that the inducibility of $R$ is $k!/(k^k-k)$. An extremal construction is a balanced recursive blow-up of $R$. This answers a question posed by Huang, that is a generalization of an old problem of Erd\H os and Sós. It remains open to determine the minimum $k$ for which our result is true. More generally, we prove that there is an absolute constant $C>0$ such that every $k$-vertex connected rainbow graph with minimum degree at least $C\log k$ has inducibility $k!/(k^k-k)$.
Weakly Negative Circles Versus Best Clustering in Signed Graphs
Clustering a signed graph means partitioning the vertices into sets ("clusters") so that every positive edge, and no negative edge, is within a cluster. Clustering is not always possible; the obstruction is circles with exactly one negative edge ("weakly negative circles"). The correlation clustering problem is to cluster with the minimum number of edges that violate the clustering rule, called $Q$. A lower bound is $w$, the maximum number of edge-disjoint weakly negative circles. If every two such circles are edge disjoint, then $Q=w$. We characterize signed graphs of this kind.
Unified bounds for the independence number of graphs
Published in Can. J. Math.-J. Can. Math. 77 (2025) 97-117
• View Publication
• BIB
The Hoffman ratio bound, Lovász theta function and Schrijver theta function are classical upper bounds for the independence number of graphs, which are useful in graph theory, extremal combinatorics and information theory. By using generalized inverses and eigenvalues of graph matrices, we give bounds for independence sets and the independence number of graphs. Our bounds unify the Lovász theta function, Schrijver theta function and Hoffman-type bounds, and we obtain the necessary and sufficient conditions of graphs attaining these bounds. Our work leads to some simple structural and spectral conditions for determining a maximum independent set, the independence number, the Shannon capacity and the Lovász theta function of a graph.