arXiv++ Combinatorics

Let $H$ be a graph and let $\mathcal{C}$ be a hereditary class of theta-free graphs such that $H\notin \mathcal{C}$. We prove that if (a) $H$ is a forest; and (b) $\mathcal{C}$ excludes the line graphs of all subdivisions of some wall, then the treewidth of every graph in $\mathcal{C}$ is at most a polynomial function of its clique number. This is best possible in that both (a) and (b) are necessary for the existence of $any$ function with the above property.

We continue the study of $(tw,ω)$-bounded graph classes, that is, hereditary graph classes in which large treewidth is witnessed by the presence of a large clique, and the relation of this property to boundedness of the tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. showed that bounded tree-independence number is sufficient for $(tw,ω)$-boundedness, and conjectured that the converse holds. While this conjecture has been recently disproved, it is still interesting to determine classes where the conjecture holds; for example, the conjecture is still open for graph classes excluding an induced star, as well as for finitely many forbidden induced subgraphs. In this paper, we identify further families of graph classes where $(tw,ω)$-boundedness is equivalent to bounded tree-independence number. We settle a number of cases of finitely many forbidden induced subgraphs, obtain several equivalent characterizations of $(tw, ω)$-boundedness in subclasses of the class of complements of line graphs, and give a short proof of a recent result of Ahn, Gollin, Huynh, and Kwon [SODA 2025] establishing bounded tree-independence number for graphs excluding a fixed induced star and a fixed number of independent cycles.

Kriesel conjectured that every minimally $1$-tough graph has a vertex with degree precisely $2$. Katona and Varga (2018) proposed a generalized version of this conjecture which says that every minimally $t$-tough graph has a vertex with degree precisely $\lceil 2t\rceil$, where $t$ is a positive real number. This conjecture has been recently verified for several families of graphs. For example, Ma, Hu, and Yang (2023) confirmed it for claw-free minimally $3/2$-tough graphs. Recently, Zheng and Sun (2024) disproved this conjecture by constructing a family of $4$-regular graphs with toughness approaching to $1$. In this paper, we disprove this conjecture for planar graphs and their line graphs. In particular, we construct an infinite family of minimally $t$-tough non-regular claw-free graphs with minimum degree close to thrice their toughness. This construction not only disproves a renewed version of Generalized Kriesel's Conjecture on non-regular graphs proposed by Zheng and Sun (2024), it also gives a supplement to a result due to Ma, Hu, and Yang (2023) who proved that every minimally $t$-tough claw-free graph with $t\ge 2$ has a vertex of degree at most $3t+ \lceil (t-5)/3\rceil$. Moreover, we conjecture that there is not a fixed constant $c$ such that every minimally $t$-tough graph has minimum degree at most $\lceil c t \rceil$.

The design spectrum of a simple graph $G$ is the set of positive integers $n$ such that there exists an edgewise decomposition of the complete graph $K_n$ into $n(n - 1)/(2 |E(G)|)$ copies of $G$. The purpose of this short paper is to prove that the Shrikhande graph and the line graph of $K_{4,4}$ have the design spectrum $\{96t + 1: t = 1, 2, \dots\}$.

We classify all regular polyhedra according to their type i.e., the collection of numbers of common neighbours that any pair of distinct vertices may have (polyhedra are planar, $3$-connected graphs). As an application, we recover the classification of planar Deza graphs. Next, we focus on the class of quartic polyhedral Deza graphs, and completely characterise it in terms of medial graphs of certain specific cubic polyhedra. Furthermore, within the aforementioned class of quartic polyhedral Deza graphs, we study the extremal graphs with respect to the ratio of number of triangular faces to the total. In the maximal extreme, these notably coincide with the class of line graphs of cubic polyhedra of girth $5$. We also fully characterise the quartic polyhedra of type $\{0,1,2,3\}$, and in particular we prove that none of them are medial graphs. On one hand our findings fit within the novel research area of common neighbours in graphs. On the other hand, our findings imply general properties of regular planar graphs and regular polyhedra.

Given an integer $k$, deciding whether a graph has a clique of size $k$ is an NP-complete problem. Wilf's inequality provides a spectral bound for the clique number of simple graphs. Wilf's inequality is stated as follows: $\frac{n}{n - λ_{1}} \leq ω$, where $λ_1$ is the largest eigenvalue of the adjacency matrix $A(G)$, $n$ is the number of vertices in $G$, and $ω$ is the clique number of $G$. Strengthening this bound, Elphick and Wocjan proposed a conjecture in 2018, which is stated as follows: $\frac{n}{n - \sqrt{s^{+}}} \leq ω$, where $s^+ = \sum_{λ_{i} > 0} λ_{i}^2$ and $λ_i$ are the eigenvalues of $A(G)$. In this paper, we have settled this conjecture for some classes of graphs, such as conference graphs, strongly regular graphs with $λ= μ$ (i.e., $srg(n, d, μ, μ)$) and $n\geq 2d$, the line graph of $K_{n}$, the Cartesian product of strongly regular graphs, and Ramanujan graph with $n\geq 11d$.

Directions of graphs were originally introduced in the study of a cops-and-robbers kind of game, while the study of end spaces has been used to generalize classical graph-theoretical results to infinite graphs, such as Halin's generalization of Menger's theorem. An edge-analogue of end spaces, where finite sets of edges are used instead of vertices as separator agents to form the so-called edge-end space, has been recently used to obtain an edge-analogue of this later result. Inspired by Diestel's correspondence between directions and ends of a graph, we tackle in this paper an edge-analogue of directions, its relation with line graphs, and an edge-analogue of Diestel's correspondence. The results of this study had some implications over edge-end space compactness, which then became a target of inquiry: we thus show an edge-analogue of Diestel's combinatorial characterization for compact end spaces. Non-edge-dominating vertices play an important role in our characterization, which motivated the study of ends and directions using now finite sets of these vertices as separator agents, as done previously for edges, giving rise to other topological spaces associated with graphs. These new direction and end spaces once again motivate an analogue of Diestel's correspondence result, and further generalizations are obtained. All of these constructions define topological space-classes associated with graphs such as edge-end spaces and edge-direction spaces of graphs. The paper organizes these topological space-classes appearing throughout the text with representation results, as it was done by Pitz and Kurkofka, as well as Aurichi, Real and Magalhães Júnior. Most notably, we show that every compact edge-end space can be represented as the edge-direction space of a connected graph.

The path eccentricity of a connected graph $G$ is the minimum integer $k$ such that $G$ has a path such that every vertex is at distance at most $k$ from the path. A result of Duffus, Jacobson, and Gould from 1981 states that every connected $\{\text{claw}, \text{net}\}$-free graph $G$ has a Hamiltonian path, that is, $G$ has path eccentricity $0$. Several more recent works identified various classes of connected graphs with path eccentricity at most $1$, or, equivalently, graphs having a spanning caterpillar, including connected $P_5$-free graphs, AT-free graphs, and biconvex graphs. Generalizing all these results, we apply the work on structural distance domination of Bacsó and Tuza [Discrete Math., 2012] and characterize, for every positive integer $k$, graphs such that every connected induced subgraph has path eccentricity less than $k$. More specifically, we show that every connected $\{S_{k}, T_{k}\}$-free graph has a path eccentricity less than $k$, where $S_k$ and $T_k$ are two specific graphs of path eccentricity $k$ (a subdivided claw and the line graph of such a graph). As a consequence, every connected $H$-free graph has path eccentricity less than $k$ if and only if $H$ is an induced subgraph of $3P_{k}$ or $P_{2k+1} + P_{k-1}$. For such cases, we also provide a robust polynomial-time algorithm that finds a path witnessing the upper bound on the path eccentricity. Our main result also answers an open question of Bastide, Hilaire, and Robinson [Discrete Math., 2025].

The cyclic subgroup graph ${Γ(G)}$ of a group $G$ is the simple undirected graph with cyclic subgroups as a vertex set and two distinct vertices $H_1$ and $H_2$ are adjacent if and only if $H_1 \leq H_2$ and there does not exist any cyclic subgroup $K$ such that $H_1 < K < H_2$. In this paper, we classify all the finite groups $G$ such that $Γ(G)$ is the line graph of some graph.

In the $(a,b)$-biased Maker-Breaker domination game, two players alternately select unplayed vertices in a graph $G$ such that Dominator selects $a$ and Staller selects $b$ vertices per move. Dominator wins if the vertices he selected during the game form a dominating set of $G$, while Staller wins if she can prevent Dominator from achieving this goal. Given a positive integer $b$, Dominator's threshold, $\textrm{a}_b$, is the minimum $a$ such that Dominator wins the $(a,b)$-biased game on $G$ when he starts the game. Similarly, $\textrm{a}'_b$ denotes the minimum $a$ such that Dominator wins when Staller starts the $(a,b)$-biased game. Staller's thresholds, $\textrm{b}_a$ and $\textrm{b}'_a$, are defined analogously. It is proved that Staller wins the $(k-1,k)$-biased games in a graph $G$ if its order is sufficiently large with respect to a function of $k$ and the maximum degree of $G$. Along the way, the $\ell$-local domination number of a graph is introduced. This new parameter is proved to bound Dominator's thresholds $\textrm{a}_\ell$ and $\textrm{a}_\ell'$ from above. As a consequence, $\textrm{a}_1'(G)\le 2$ holds for every claw-free graph $G$. More specific results are obtained for thresholds in line graphs and Cartesian grids. Based on the concept of $[1,k]$-factor of a graph $G$, we introduce the star partition width $σ(G)$ of $G$, and prove that $\textrm{a}_1'(G)\le σ(G)$ holds for any nontrivial graph $G$, while $\textrm{a}_1'(G)=σ(G)$ if $G$ is a tree.

If $Γ$ is a graph for which every edge is in exactly one clique of order $ω$, then one can form a new graph with vertex set equal to these cliques. This is a generalization of the line graph of $Γ$. We discover many general results and classifications related to these clique graph that will be useful to researchers studying these objects. In particular, we find bounds on its eigenvalues (with exact results when $Γ$ is $k$-regular) and some complete classifications when $Γ$ is strongly regular. We apply our results to many examples, including Conway's 99-graph problem and the existence problem for other strongly regular graphs.

Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Let $S_{t,t,t}$ be the graph obtained from $K_{1,3}$ by subdividing each edge $t-1$ times, and let $W_{t\times t}$ be the $t$-by-$t$ hexagonal grid. Let $\mathcal{L}_t$ be the family of all graphs $G$ such that $G$ is the line graph of some subdivision of $W_{t \times t}$. We prove that for every positive integer $t$ there exists $c(t)$ such that every $\mathcal{L}_t \cup \{S_{t,t,t}, K_{t,t}\}$-free $n$-vertex graph admits a tree decomposition in which the maximum size of an independent set in each bag is at most $c(t)\log^4n$. This is a variant of a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht from 2024. This implies that the Maximum Weight Independent Set problem, as well as many other natural algorithmic problems, that are known to be NP-hard in general, can be solved in quasi-polynomial time if the input graph is $\mathcal{L}_t \cup \{S_{t,t,t},K_{t,t}\}$-free. As part of our proof, we show that for every positive integer $t$ there exists an integer $d$ such that every $\mathcal{L}_t \cup \{S_{t,t,t}\}$-free graph admits a balanced separator that is contained in the neighborhood of at most $d$ vertices.

The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs.'' The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023]. As every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $NP$-hard: for the existence and optimization of interval-order subgraphs of line graphs, or of interval completions and the boxicity of their complement, if the boxicity is bounded. We finally extend our approach to upper and lower bounding the boxicity of line graphs.

Given a graph $G$, let $λ_3$ denote the third largest eigenvalue of its adjacency matrix. In this paper, we prove various results towards the conjecture that $λ_3(G) \le \frac{|V(G)|}{3}$, motivated by a question of Nikiforov. We generalise the known constructions that yield $λ_3(G) = \frac{|V(G)|}{3} - 1$ and prove the inequality holds for $G$ strongly regular, a regular line graph or a Cayley graph on an abelian group. We also consider the extended problem of minimising $λ_{n-1}$ on weighted graphs and reduce the existence of a minimiser with simple final eigenvalue to a vertex multiplication of a graph on 11 vertices. We prove that the minimal $λ_{n-1}$ over weighted graphs is at most $O(\sqrt{n})$ from the minimal $λ_{n-1}$ over unweighted graphs.

The codegree ${\rm codeg}(\mathcal{P})$ of a lattice polytope $\mathcal{P}$ is a fundamental invariant in discrete geometry. In the present paper, we investigate the codegree of the stable set polytope $\mathcal{P}_G$ associated with a simple graph $G$. Specifically, we establish the inequalities \[ ω(G) + 1 \leq {\rm codeg}(\mathcal{P}_G) \leq χ(G) + 1, \] where $ω(G)$ and $χ(G)$ denote the clique number and the chromatic number of $G$, respectively. Furthermore, an explicit formula for {\rm codeg}(\mathcal{P}_G) is given when $G$ is either a line graph or an $h$-perfect graph. Finally, as an application of these results, we provide upper and lower bounds on the regularity of the toric ring associated with $\mathcal{P}_G$.

The commuting graph ${Γ(G)}$ of a group $G$ is the simple undirected graph with group elements as a vertex set and two elements $x$ and $y$ are adjacent if and only if $xy=yx$ in $G$. By eliminating the identity element of $G$ and all the dominant vertices of $Γ(G)$, the resulting subgraphs of $Γ(G)$ are $Γ^*(G)$ and $Γ^{**}(G)$, respectively. In this paper, we classify all the finite groups $G$ such that the graph $Δ(G) \in \{Γ(G), Γ^*(G), Γ^{**}(G)\}$ is the line graph of some graph. We also classify all the finite groups $G$ whose graph $Δ(G) \in \{Γ(G), Γ^*(G), Γ^{**}(G)\}$ is the complement of line graph.

The definition of Ricci curvature on graphs was given in Lin-Lu-Yau, Tohoku Math., 2011, which is a variation of Ollivier, J. Funct. Math., 2009. Recently, a powerful limit-free formulation of Lin-Lu-Yau curvature using the graph Laplacian has been given in Münch-Wojciechowski, Adv. Math., 2019. Let $F_k$ be the friendship graph obtained from $k$ triangles by sharing a common vertex and $T$ be the graph obtained from a triangle and $K_{1,3}$ by adding a matching between every leaf of $K_{1,3}$ and a vertex of the triangle. In this paper, we classify all the simple connected $C_4$-free graphs with positive Lin-Lu-Yau curvature for minimum degree at least 2: the cycles $C_3,C_5$, the friendship graphs $F_2,F_3$, the line graph of Peterson graph, and $T$.

We show that every $3$-connected $\{K_{1,3},Γ_3\}$-free graph is Hamilton-connected, where $Γ_3$ is the graph obtained by joining two vertex-disjoint triangles with a path of length $3$. This resolves one of the two last open cases in the characterization of pairs of connected forbidden subgraphs implying Hamilton-connectedness. The proof is based on a new closure technique, developed in a previous paper, and on a structural analysis of small subgraphs, cycles and paths in line graphs of multigraphs. The most technical steps of the analysis are computer-assisted. Keywords: Hamilton-connected; closure; forbidden subgraph; claw-free; $Γ_3$-free

Line graph transformation has been widely studied in graph theory, where each node in a line graph corresponds to an edge in the original graph. This has inspired a series of graph neural networks (GNNs) applied to transformed line graphs, which have proven effective in various graph representation learning tasks. However, there is limited theoretical study on how line graph transformation affects the expressivity of GNN models. In this study, we focus on two types of graphs known to be challenging to the Weisfeiler-Leman (WL) tests: Cai-Fürer-Immerman (CFI) graphs and strongly regular graphs, and show that applying line graph transformation helps exclude these challenging graph properties, thus potentially assist WL tests in distinguishing these graphs. We empirically validate our findings by conducting a series of experiments that compare the accuracy and efficiency of graph isomorphism tests and GNNs on both line-transformed and original graphs across these graph structure types.

In this paper we prove that every sufficiently large 4-edge-connected graph contains the double cycle, $C_{2,r}$, as an immersion. In proving this, we develop a new tool we call a ring-decomposition. We also prove that linear edge-connectivity implies the presence of a $C_{t,r}$ immersion in a sufficiently large graph, where $C_{t,r}$ denotes the graph obtained from a cycle on $r$ vertices by adding $(t-1)$ edges in parallel to each existing edge; this result is an edge-analogue of a result of Böhme, Kawarabayashi, Maharry, and Mojar. We then use the latter result to provide an unavoidable minor theorem for highly connected line graphs.