graph
35150 papers tagged with this keyword
A solution to Godsil's conjecture on the edge-connectivity of graphs in association schemes
A graph $G$ is called equiarboreal if the number of spanning trees containing a given edge in $G$ is independent of the choice of edge. In [Combinatorica 1(2) (1981) 163--167], Godsil proved that any graph which is a colour class in an association scheme is equiarboreal, and further conjectured that the edge-connectivity of a connected graph which is a colour class in an association scheme equals its vertex degree. In this paper, we confirm this long-standing conjecture. More generally, we prove an even stronger result that the edge-connectivity of a connected regular equiarboreal graph equals its degree by combinatorial and electrical network approaches. As a consequence, we show that every connected regular equiarboreal graph on an even number of vertices has a perfect matching.
Spectral supersaturation for color-critical graphs
A graph is color-critical if it contains an edge whose deletion reduces its chromatic number. This class of graphs, including cliques and odd cycles, plays a central role in extremal graph theory. In this paper, following an influential line of research initiated by Bollobás-Nikiforov, we study the spectral supersaturation problem for color-critical graphs. Let $T_{n,r}$ be the $r$-partite Turán graph, let $\mathcal{T}_{n,r,q}$ denote the family of graphs obtained from $T_{n,r}$ by adding $q$ edges, and let $λ(G)$ be the spectral radius of a graph $G$. We first prove that for any color-critical graph $F$ with chromatic number $r+1$, there exists $δ_F > 0$ such that for sufficiently large $n$ and all $1 \leq q \leq δ_F \sqrt{n}$, any $n$-vertex graph $G$ with $λ(G) \ge \min_{T \in \mathcal{T}_{n,r,q}} λ(T)$ contains at least $q \cdot c(n,F)$ copies of $F$, where $c(n,F)$ denotes the minimum number of copies of $F$ created by adding a single edge to $T_{n,r}$; moreover, any extremal graph $G$ must belong to $ \mathcal{T}_{n,r,q}$.Next, we prove a spectral supersaturation result for the analogous condition $λ(G) \ge \max_{T \in \mathcal{T}_{n,r,q}} λ(T)$, valid for all $1 \leq q \leq δ_F n$. Together, these results provide a complete resolution to a problem proposed by Ning-Zhai, and establish a spectral counterpart to the well-known results of Mubayi and Pikhurko-Yilma in the extremal supersaturation setting. A notable feature of our first result is that the restriction $q = O(\sqrt{n})$ is tight up to a constant factor, in contrast to the linear bounds provided by other settings discussed above. As applications, we extend a result of Liu-Mubayi, and solve a related conjecture by Li-Lu-Peng.
Distinctive power and comparability of Harary polynomial
Let $\mathcal{P}$ be a graph property. A $\mathcal{P}$-coloring with at most $k$ colors is a coloring of the vertices of a simple graph $G$ such that each color class induces a graph in $\mathcal{P}$. Harary polynomials are generalizations of the chromatic polynomial for simple graphs based on conditional colorings. We denote by $χ_{\mathcal{P}}(G; k)$ the number of $\mathcal{P}$-colorings of $G$ with at most $k$ colors. $χ_{\mathcal{P}}(G; k)$ is a polynomial in $\Z[k]$. A first paper studying Harary polynomials systematically was published in 2021 by O.Herscovici, J.A. Makowsky and V. Rakita. It studies under which conditions on $\mathcal{P}$ is $χ_{\mathcal{P}}(G; k)$ definable in Monadic Second Order Logic and under which conditions is $χ_{\mathcal{P}}(G; k)$ a chromatic invariant. Let $\mathcal{P}, \mathcal{Q}$ be two graph properties. Two graphs $G, H$ are $\mathcal{P}$-mates if $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$, $χ_{\mathcal{P}} \leq χ_{\mathcal{Q}}$, if for all graphs $G, H$ we have that $χ_{\mathcal{Q}}(G; k) = χ_{\mathcal{Q}}(H; k)$ implies $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. In this paper we study under which conditions on $\mathcal{P}$ are there any (many) $\mathcal{P}$-mates and under which conditions on $\mathcal{P}, \mathcal{Q}$ is $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$.
Roman domination in weighted graphs
Published
• View Publication
• BIB
A Roman dominating function for a (non-weighted) graph $G=(V,E)$, is a function $f:V\rightarrow \{0,1,2\}$ such that every vertex $u\in V$ with $f(u)=0$ has at least {one} neighbor $v\in V$ such that $f(v)=2$. The minimum weight $\sum_{v\in V}f(v)$ of a Roman {dominating function} $f$ on $G$ is called the Roman domination number of $G$ and is denoted by $γ_{R}(G)$. A graph {$G= (V,E)$} together with a positive real-valued weight-function $w:V\rightarrow \mathbf{R}^{>0}$ is called a {\it weighted graph} and is denoted by $(G;w)$. The minimum weight $\sum_{v\in V}f(v)w(v)$ of a Roman {dominating function} $f$ on $G$ is called the weighted Roman domination number of $G$ and is denoted by $γ_{wR}(G)$. The domination and Roman domination numbers of unweighted graphs have been extensively studied, particularly for their applications in bioinformatics and computational biology. However, graphs used to model biomolecular structures often require weights to be biologically meaningful. In this paper, we initiate the study of the weighted Roman domination number in weighted graphs. We first establish several bounds for this parameter and present various realizability results. Furthermore, we determine the exact values for several well-known graph families and demonstrate an equivalence between the weighted Roman domination number and the differential of a weighted graph.
The trinacria graphs $T_{(b+2)b2}$ are $e$-positive
In this paper, we identify a new family of $e$-positive graphs, called the trinacria graphs $T_{(b+2)b2}$, thereby providing a partial answer to Stanley's question on which graphs are $e$-positive. The trinacria graph $T_{abc}$ is the graph on $a+b+c+3$ vertices obtained by attaching paths $P_a$, $P_b$ and~$P_c$ to the vertices of a triangle, respectively. Our proof relies on several ad hoc combinatorial ideas, and employs divide-and-conquer techniques, charging arguments, and progressive repair methods.
First-Order Logic and Twin-Width for Some Geometric Graphs
For some geometric graph classes, tractability of testing first-order formulas is precisely characterised by the graph parameter twin-width. This was first proved for interval graphs among others in [BCKKLT, IPEC '22], where the equivalence is called delineation, and more generally holds for circle graphs, rooted directed path graphs, and $H$-graphs when $H$ is a forest. Delineation is based on the key idea that geometric graphs often admit natural vertex orderings, allowing to use the very rich theory of twin-width for ordered graphs.
Answering two questions raised in their work, we prove that delineation holds for intersection graphs of non-degenerate axis-parallel unit segment graphs, but fails for visibility graphs of 1.5D terrains. We also prove delineation for intersection graphs of circular arcs.
Benign Nonconvexity of Synchronization Landscape Induced by Graph Skeletons
We consider the homogeneous Kuramoto model on a graph and study the geometry of its associated nonconvex energy landscape. This problem admits a dual interpretation. On the one hand, it can be viewed as a geometric optimization problem, seeking configurations of phases that minimize the energy function $E(\boldsymbolθ):=-\sum_{1\leq i,j\neq n}A_{ij}\cos(θ_i-θ_j)$. On the other hand, the same function serves as the potential governing the dynamics of the classical homogeneous Kuramoto model. A central question is to identify which graphs induce a benign energy landscape, in the sense that every second-order stationary point is a global minimizer, corresponding to the fully synchronized state. In this case, the graph is said to be globally synchronizing. Most existing results establish global synchronization by relating a given graph to the complete graph, which is known to be globally synchronizing, and by showing that graphs sufficiently close to it inherit this property. In contrast, we uncover a fundamentally different mechanism: global synchronization, despite being a collective phenomenon, unfolds on these graphs through a sequential process of local synchronization that propagates along their structural skeletons. Our approach is based on a detailed analysis of the phasor geometry at second-order stationary points of the nonconvex energy landscape.
An alternative characterisation of graphs quasi-isometric to graphs of bounded treewidth
Quasi-isometry is a measure of how similar two graphs are at `large-scale'. Nguyen, Scott, and Seymour [arXiv:2501.09839] and Hickingbotham [arXiv:2501.10840] independently gave a characterisation of graphs quasi-isometric to graphs of treewidth $k$. In this paper, we give a new characterisation of such graphs. Specifically, we show that such graphs $G$ are characterised by the existence of a partition whose quotient has treewidth at most $k$ and such that each part has bounded weak diameter in $G$. The primary contribution of our characterisation is a structural description of graphs that admit such a quasi-isometry. This differs from the characterisation mentioned above, which primarily shows the existence of such a quasi-isometry. The characterisations are complementary, and neither immediately implies the other.
Acyclic subgraphs of digraphs with high chromatic number
Published in European Journal of Combinatorics, 2026
• View Publication
• BIB
For a digraph $G$, let $f(G)$ be the maximum chromatic number of an acyclic subgraph of $G$. For an $n$-vertex digraph $G$ it is proved that $f(G) \ge n^{5/9-o(1)}s^{-14/9}$ where $s$ is the bipartite independence number of $G$, i.e., the largest $s$ for which there are two disjoint $s$-sets of vertices with no edge between them. This generalizes a result of Fox, Kwan and Sudakov, who proved this for the case $s=0$ (i.e., tournaments and semicomplete digraphs). Consequently, if $s=n^{o(1)}$, then $f(G) \ge n^{5/9-o(1)}$ which polynomially improves the folklore bound $f(G) \ge n^{1/2-o(1)}$. As a corollary, with high probability, all orientations of the random $n$-vertex graph with edge probability $p=n^{-o(1)}$ (in particular, constant $p$, hence almost all $n$-vertex graphs) satisfy $f(G) \ge n^{5/9-o(1)}$. Our proof uses a theorem of Gallai and Milgram that together with several additional ideas, essentially reduces to the proof of Fox, Kwan and Sudakov.
Topological properties of generalized Markoff mod $p$ graphs
The generalized Markoff mod $p$ graph is defined via the equation $x^2+y^2+z^2=xyz+κ$ over the finite field $\mathbb{F}_p$ of prime order $p$. In this paper, we investigate the topological properties of the graph such as non-planarity, surface embeddability, and the existence of short cycles. Our approach is based on a systematic construction of $K_{3,3}$-subdivisions, integrating techniques from graph theory, computer algebra, and number theory.
Repeat times and a two-weight UST model
We study a model of random weighted uniform spanning trees on the complete graph with $n$ vertices, where each edge is assigned a weight of $n^{1+γ}$ with probability $1/n$ and $1$ otherwise. Whenever $γ$ is large enough, we prove that the diameter of the resulting tree is typically of order $n^{1/3} \log n$, up to a $\log \log n$ correction. Our approach uses estimates on repeat times for selecting components in a critical Erdős-Rényi graph, as well as concentration bounds on the sums of diameters of these components.
Generalized binomial edge ideals are Cartwright-Sturmfels
Published
• View Publication
• BIB
Binomial edge ideals associated to a simple graph G were introduced by Herzog and collaborators and, independently, by Ohtani. They became an ``instant classic" in combinatorial commutative algebra with more than 100 papers devoted to their investigation over the past 15 years. They exhibit many striking properties, including being radical and, moreover, Cartwright-Sturmfels. Using the fact that binomial edge ideals can be seen as ideals of 2-minors of a matrix of variables with two rows, generalized binomial edge ideals of 2-minors of matrices of m rows were introduced by Rauh and proved to be radical. The goal of this paper is to prove that generalized binomial edge ideals are Cartwright-Sturmfels. On the way we provide results on ideal constructions preserving the Cartwright-Sturmfels property. We also give examples and counterexamples to the Cartwright-Sturmfels property for higher minors.
On distance transitive graphs and $4$-geodesic transitive graphs
For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ composed of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path between $u_0$ and $u_s$. We say that $Γ$ is {\em $s$-geodesic transitive} if for each $i\leq s$, $Γ$ contains at least one $i$-geodesic, and its automorphism group acts transitively on the set of all $i$-geodesics. In this paper, by using the classification of almost simple primitive groups of rank $4$, we first classify all distance transitive graphs of diameter $3$. The resulting classification encompasses $73$ classes of graphs. As an application of this result, we have extended the main result of Jin and Tan [J. Algebra Combin. 60 (2024) 949--963]. More precisely, for a connected $(G,4)$-geodesic transitive graph with a nontrivial intransitive normal subgroup $N$ of $G$ that has at least $3$ orbits, where $G$ is an automorphism group of $Γ$, it is shown that either both $Γ$ and $Γ_N$ are known, or $Γ$ and $Γ_N$ have the same girth and $Γ_N$ is $(G/N,4)$-geodesic transitive.
On the Density of Self-identifying Codes in $K_m \times P_n$ and $K_m \times C_n$
We study the asymptotic density of self-identifying codes in the direct product graphs $K_m \times P_n$ and $K_m \times C_n$ (the direct product of complete graphs with paths and cycles). A self-identifying code is a dominating set $S$ where each vertex $u$ (in $G$) is uniquely determined by the intersection $\bigcap_{c \in N[u] \cap S} N[c]$. Let $γ^{\rm SID}(G)$ denote its minimum size. For these product graphs, we establish new lower and upper bounds on $γ^{\rm SID}$. Crucially, from these bounds we prove that the asymptotic density $γ^{\rm SID}(G) / |V(G)|$ of a smallest self-identifying code converges to 1/3 for both families of graphs. This value matches the known asymptotic density of standard identifying codes in the same graphs, as established by Shinde and Waphare. Our result therefore shows that the stronger self-identifying constraint does not necessitate a higher density of vertices in this product setting.
On automorphism groups of half-arc-transitive tetravalent graphs
Published
• View Publication
• BIB
We characterize connected tetravalent graphs $Γ$ which admit groups $M<H$ of automorphisms such that $Γ$ is $M$-half-arc-transitive and $H$-arc-transitive. Examples for each case are constructed, including a counter-example to a question asked by A. R. Rivera and P. Šparl in 2019 as well as the first example of tetravalent normal-edge-transitive non-normal Cayley graph on a nonabelian simple group.
On the size edge-ordered Ramsey numbers of graphs
For edge-ordered graphs $G^{\prec}$ and $H^{\prec}$, the size edge-ordered Ramsey number $\hat{r}_{\text{edge}}(G^{\prec}, H^{\prec})$ is defined as the smallest integer $m$ for which there exists an edge-ordered graph $F^{\prec}$ (with underlying graph $F$) having $m$ edges, such that every $2$-coloring of the edges of $F^{\prec}$ contains a monochromatic edge-ordered subgraph isomorphic to $G^{\prec}$ or a monochromatic edge-ordered subgraph isomorphic to $H^{\prec}$. Fox and Li posed a foundational question: which families of edge-ordered graphs have linear or near-linear size edge-ordered Ramsey numbers? In this paper, we apply Szemerédi's regularity lemma to prove that, even for sparse graph families, specifically the well-defined class of edge-ordered book graphs, the size edge-ordered Ramsey numbers of this family exhibit non-linear growth. Furthermore, we show that three families of edge-ordered graphs exhibit linear or near-linear size edge-ordered Ramsey numbers.
On Shellability of 3-Cut Complexes of Hexagonal Grid Graphs
The $k$-cut complex was recently introduced by Bayer et al. as a generalization of earlier work of Fr{ö}berg (1990) and Eagon and Reiner (1998), and was shown to be shellable for several classes of graphs. In this article, we prove that the $3$-cut complexes of the hexagonal grid graphs $H_{1 \times m \times n}$ are shellable for all $m,n \geq 1$, by constructing an explicit shelling order using reverse lexicographic ordering. From this shelling, we determine the number of spanning facets, denoted by $ψ_{m,n}$, and deduce that the complex is homotopy equivalent to a wedge of $ψ_{m,n}$ spheres of dimension $\left( 2m + 2n + 2mn - 4 \right)$, where $$ψ_{m,n} = \binom{2m+2n+2mn-1}{2} - \left[ \left( 6m+2 \right) n + (2m-4) \right].$$
While these topological properties can be obtained from general results of Bayer et al., we provide an explicit combinatorial construction of a shelling order, yielding a direct counting formula for the number of spheres in the wedge sum decomposition.
Chromatic numbers from edge ideals: Graph classes with vanishing syzygies are polynomially $χ$-bounded
The chromatic number $χ$ of a graph is bounded from below by its clique number $ω,$ but it can be arbitrary large. Perfect graphs are defined by $χ=ω$ for all induced subgraphs. An interesting relaxation are $χ$-bounded graph classes, where $χ\leq f(ω).$ It is not always possible to achieve this with a polynomial $f.$
The edge ideal $I_G$ of a graph $G$ is generated by monomials $x_ux_v$ for each edge $uv$ of $G.$ The bi-graded betti numbers $β_{i,j}(I)$ are central algebraic geometric invariants. We study the graph classes where for some fixed $i,j$ that syzygy vanishes, that is, $β_{i,j}(I_G)=0.$
We prove that $χ\leq f(ω),$ where $f$ is a polynomial of degree $2j-2i-4.$ For the elementary special case $β_{i,2i+2}(I_G)=0,$ this amounts to that $(i+1)K_2$-free graphs are ${ω-1+2i \choose 2i}$-colorable, improving on an old combinatorial result by Wagon. We also show that triangle-free graphs with $β_{i,j}(I_G)=0$ are $(j-1)$-colorable.
Complexity wise, we show that these colorings can be derived in time $O(n^3)$ for graphs on $n$ vertices. Moreover, we show that for almost all graphs with parabolic $i,j,$ there are better bounds on $χ.$
Total colouring of circulant graphs $C_{n}(1, 3)$
Total colouring of 4-regular circulant graphs is an interesting but challenging topic, and has attracted much attention. However, it still remains an open question to determine the total chromatic numbers of $C_{n}(1, 3)$, a subclass of 4-regular circulant graphs, even after many efforts. In this paper, we investigate the total colouring of these graphs and determine their total chromatic numbers. Our results show that the total chromatic numbers of $C_{n}(1, 3)$ are 6 for $n=7,8,12,13,17$, and 5 for all others.
Towards a General Framework for Predicting and Explaining the Hardness of Graph-based Combinatorial Optimization Problems using Machine Learning and Association Rule Mining
Published
• View Publication
• BIB
This study introduces GCO-HPIF, a general machine-learning-based framework to predict and explain the computational hardness of combinatorial optimization problems that can be represented on graphs. The framework consists of two stages. In the first stage, a dataset is created comprising problem-agnostic graph features and hardness classifications of problem instances. Machine-learning-based classification algorithms are trained to map graph features to hardness categories. In the second stage, the framework explains the predictions using an association rule mining algorithm. Additionally, machine-learning-based regression models are trained to predict algorithmic computation times. The GCO-HPIF framework was applied to a dataset of 3287 maximum clique problem instances compiled from the COLLAB, IMDB, and TWITTER graph datasets using five state-of-the-art algorithms, namely three exact branch-and-bound-based algorithms (Gurobi, CliSAT, and MOMC) and two graph-neural-network-based algorithms (EGN and HGS). The framework demonstrated excellent performance in predicting instance hardness, achieving a weighted F1 score of 0.9921, a minority-class F1 score of 0.878, and an ROC-AUC score of 0.9083 using only three graph features. The best association rule found by the FP-Growth algorithm for explaining the hardness predictions had a support of 0.8829 for hard instances and an overall accuracy of 87.64 percent, underscoring the framework's usefulness for both prediction and explanation. Furthermore, the best-performing regression model for predicting computation times achieved a percentage RMSE of 5.12 and an R2 value of 0.991.