graph
35150 papers tagged with this keyword
Rank Contributions of Vertices in Rigidity Matroids of Clique Covered Graphs
The problems of characterizing the graphs $G$ which are generically rigid in ${\mathbb R}^d$, or more generally, determining the rank function of the $d$-dimensional rigidity matroid ${\cal R}_d(G)$ of an arbitrary graph $G$, have been solved when $d\leq 2$ but are major open problems in discrete geometry when $d\geq 3$. In this paper we shall concentrate on the case when $d=3$. We first revisit a conjecture of Dress from 1987 that the rank of the ${\cal R}_3$-closure of a graph $G$ is determined by its maximal complete subgraphs of size at least five. We show that his conjectured value for the rank of the closure gives an upper bound on the actual value. We also deduce that the truth of this conjecture would imply a good characterization of the rank of ${\cal R}_3(G)$ for all graphs $G$. The rank formula in Dress's conjecture leads us to consider the family of $K_t$-covered graphs, i.e., graphs in which every edge belongs to a complete subgraph $K_t$, for some $t\geq 3$. This family contains several well-studied graph classes such as body-pin graphs, combinatorial zeolites, and molecular graphs.
We introduce a new notion of rank contributions of vertices in an arbitrary matroid on the edge set of a graph $G$, and use it to obtain lower bounds on the rank contributions of vertices in ${\cal R}_3(G)$ and ${\cal C}^1_2(G)$ when $G$ is $K_t$-covered. We use these bounds to show that a conjectured min-max formula for the rank of body-pin graphs in ${\cal R}_3$ holds for the $C_2^1$-cofactor matroid (which is conjectured by Whiteley to be equal to ${\cal R}_3$), and to obtain new sufficient connectivity conditions for the (global) rigidity of $K_4$- and $K_5$-covered graphs in ${\mathbb R}^3$.
Sharp bounds for the fractional chromatic number of high-girth $d$-degenerate graphs
Martinsson and Steiner recently proved that the fractional chromatic number of any $d$-degenerate triangle-free graph $G$ satisfies $χ_f(G) = O\left(\frac{d}{\log d}\right)$. They further conjectured a sharp leading constant $1 + o(1)$. In this paper, we confirm their upper bound conjecture for graphs having girth at least $5$. Our proof is constructive: it gives an efficient randomized algorithm that, with high probability, computes a fractional coloring of weight at most $(1 + o(1))\frac{d}{\log d}$ in such graphs.
Furthermore, we establish their conjectured lower bound in a stronger form: for any constant $g \ge 4$, there exist $d$-degenerate graphs having girth at least $g$ with $χ_f(G) \ge (1 - o(1))\frac{d}{\log d}$. This lower bound is achieved by analyzing a random graph based on the uniform attachment model. Notably, our results reveal that this model lacks the typical computational complexity barriers found in Erdős-Rényi graphs, where there is a conjectured factor-$2$ algorithmic gap for this problem.
Nordhaus-Gaddum Inequalities for Dominating-Set Counts in Bipartite Graphs
A dominating set in a graph $G$ is a subset $S$ of its vertices such that each vertex in $G$ is either in $S$ or adjacent to a vertex in $S$. Nordhaus-Gaddum inequalities relate the values of a graph parameter on a graph and its complement. In this setting, Keough and Shane conjecture that any graph $G$ on $n$ vertices satisfies $\partial(G) + \partial(\bar{G}) \leq 2(2^{\lfloor n/2 \rfloor} - 1)(2^{\lceil n/2 \rceil} - 1) + 2$, where $\partial(G)$ is the number of dominating sets in $G$. We partially resolve this conjecture for the bipartite case by proving the stronger bound: for a bipartite graph $G$ with nonempty bipartition $(A,B)$, it holds that $\partial(G) + \partial(\bar{G}) \leq 2(2^{|A|} - 1)(2^{|B|} - 1) + 2$. We also characterize the bipartite graphs for which equality holds.
Diamond-free, claw-free cubic graphs are (1, 1, 2, 3)-packing colorable
A $(1, 1, 2, k)$-packing coloring of a graph $G$ is a partition of $V(G)$ into two independent sets, a 2-packing, and a $k$-packing. Recently, the question was posed in [A short proof that every claw-free cubic graph is (1, 1, 2, 2)-packing colorable, arXiv:2512.24001v1] as to whether every claw-free cubic graph is $(1, 1, 2, 3)$-packing colorable. We provide an answer in the affirmative in the case that $G$ is a diamond-free, claw-free cubic graph.
Some Spectral Properties of the $B_α$ Matrix of a Graph
Recently, Samanta et al. introduced a unifying perspective to common graph-associated matrices through the matrix $B_α(G)=αA(G)+(1-α)L(G)$ where $α\in [0,1]$. We resolve an open problem regarding the positive semi-definiteness of $B_α$ and similar matrices. We also explore eigenvector properties of $B_α$ through edge and vertex removal. As a consequence, we provide a basis for results on the common graph-associated matrices.
Optimization of the directed spanning trees using the weighted matroid intersection algorithm
Published in Discrete Applied Mathematics, Volume 393, 2026, Pages 301-315
• View Publication
• BIB
In this paper, we consider the problem of updating the directed minimum spanning tree (DMST), when the given sample tree is subject to the weight changes, edge deletions and edge insertions. We present an implementation for updating the tree to a DMST using the weighted matroid intersection algorithm. Our algorithm focuses on maintaining a dynamic auxiliary graph, which plays a central role in the matroid intersection algorithm, and governs the iterations from the given tree to a DMST. Each iteration is guaranteed to yield an improved solution. We also provide an implementation of this algorithm and some experimental analysis.
Proper Hat-Guessing on Two-Spine Book Graphs
In the proper variant of the classical hat-guessing game on a graph, an adversary properly colors the vertices from a palette of $q$ colors. Each vertex sees only the colors of its neighbors and simultaneously guesses its own color; the players win if at least one guess is correct. We study this game on the book graph $B_{k,n}=K_k\vee\overline{K_n}$, with $k$ mutually adjacent spine vertices and $n$ independent pages.
We give a coverability characterization valid for every fixed spine size. Let $C_k$ be the minimum of $|P|+|\operatorname{supp}(P)|$ over all non-coverable finite configurations $P$ of proper $k$-tuples. We prove $\sup_{n\geq 1}\operatorname{HGP}(B_{k,n})=C_k$ and $\operatorname{HGP}(B_{k,n})=C_k$ for all sufficiently large $n$. Thus the asymptotic problem for fixed $k$ reduces to a finite extremal invariant. For two spines, coverability is equivalent to pseudoforestness, and we determine the associated extremal problem exactly: $C_2=11$, with precisely two types of extremal obstruction. Consequently, $\operatorname{HGP}(B_{2,n})\leq 11$ for every $n$, with equality for all sufficiently large $n$; an explicit probabilistic estimate gives a stabilization threshold of at most $4\times 10^8$.
We also resolve the first two previously open finite cases. An explicit seven-color construction with affine symmetry proves $\operatorname{HGP}(B_{2,3})=7$. A counting-rigidity argument establishes $\operatorname{HGP}(B_{2,n})\leq n+3$ for all $n\geq 4$, which together with monotonicity yields $\operatorname{HGP}(B_{2,4})=7$. Finally, a general box obstruction gives explicit uniform bounds on $C_k$.
Optimal coloring of $\{\mathrm{cap},\mathrm{even\ hole}\}$-free graphs with no short odd holes
A \emph{hole} is an induced cycle of length at least four, and an \emph{even hole} is a hole of even length. A \emph{cap} is obtained from a hole by adding a vertex adjacent to exactly two consecutive vertices of the hole. Chen, Xu, and Xu proved that every $\{\mathrm{cap},\mathrm{even\ hole}\}$-free graph $G$ satisfies $χ(G)\leq \left\lceil\frac{5}{4}ω(G)\right\rceil$, and improved this bound to $χ(G)\leq \left\lceil\frac{7}{6}ω(G)\right\rceil$ when $5$-holes are also excluded. They asked whether, for every integer $q\geq3$, every $\{\mathrm{cap},\mathrm{even\ hole}\}$-free graph $G$ with no odd hole of length at most $2q-1$ satisfies $$ χ(G)\leq \left\lceil\frac{2q+1}{2q}ω(G)\right\rceil. $$ We answer this question affirmatively and show that the bound is sharp for every $q\geq3$.
On the Genus Polynomial of Cubic Graphs
The orientable genus polynomial of a graph counts its cellular embeddings by genus. For finite simple $2$-connected cubic graphs it is a cycle-matroid invariant: $M(G)\cong M(H)$ implies $Γ_G=Γ_H$. The adjacency spectrum and the genus polynomial are incomparable: neither determines the other. We exhibit connected cubic graphs on $16$ vertices sharing the adjacency spectrum, spanning-tree count, girth, diameter, vertex and edge connectivity, automorphism-group order, and cycle counts through length $10$, yet with pairwise distinct genus polynomials. Splitting the expected face count at twice the girth explains the difference: short faces are spectral, long faces are not. We construct an explicit infinite family of connected cospectral cubic pairs $(G_t,H_t)$ on $14+2t$ vertices whose minimum genera differ. We also compute the genus polynomials of all $7,875,918$ connected cubic graphs through $22$ vertices and derive from short-cycle counts a deterministic lower bound on the minimum genus.
A minimally nonperfectly divisible graph with a bisimplicial vertex
We disprove Hoàng's conjecture that a minimally nonperfectly divisible graph cannot contain a bisimplicial vertex. Our counterexample has 93 vertices, 320 edges, clique number three, and a bisimplicial vertex of degree four. A perfect division of a graph $H$ is a partition $V(H)=A\mathbin{\dot\cup}B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$; a graph is perfectly divisible when each of its induced subgraphs with at least one edge has such a division. The constructed graph has no perfect division, whereas every proper induced subgraph is perfectly divisible. Its construction uses a forcing mechanism based on rooted graphs: six 15-vertex rooted graphs force their roots into $A$, and a nine-vertex auxiliary graph then forces a triangle into $B$. We isolate this mechanism in a rooted composition lemma, which proves symbolically that every proper induced subgraph is perfectly divisible. All finite assertions concerning the rooted and auxiliary graphs are verified by exact exhaustive computation, with an independent implementation providing a cross-check. The same construction gives a negative answer to a prescribed-vertex problem of Hu, Xu and Zhuang.
A matroidal criterion for flow polytopes to be order polytopes
Flow polytopes of directed acyclic graphs form a central class of lattice polytopes in algebraic, geometric, and enumerative combinatorics. Order polytopes are one of the best understood families of lattice polytopes; their Ehrhart theory, triangulations, volumes, and face structures are closely controlled by the combinatorics of the underlying posets. Mészáros--Morales--Striker proved that the flow polytope of an $st$-planar directed acyclic graph is unimodularly equivalent to an order polytope. In this paper, we prove a converse after contracting idle edges. More precisely, for a directed acyclic graph $G$ with a unique source and a unique sink, let $\widetilde G$ be the graph obtained from $G$ by successively contracting idle edges until none remain. We prove that $\mathcal{F}(G)$ is unimodularly equivalent to an order polytope if and only if $\widetilde G$ is $st$-planar. In addition, under a local three-good-neighbor condition, we prove that for a directed acyclic graph with a unique source, a unique sink, and no idle edges, the graph is $st$-planar if and only if it avoids an explicit list of forbidden butterfly minors.
Oriented Minimum spanning tree looks like the Uniform spanning tree on the complete graph (at least locally)
We prove that the local limit of the minimum spanning arborescence in the complete graph (which is an oriented cousin of the minimum spanning tree in the complete graph) is the same as that of the uniform random tree, oriented towards infinity. The latter is known to be the critical Poisson Galton--Watson tree conditioned to survive. This is in sharp contrast with the local limit of the minimum spanning tree, which is known to be different from that of the uniform spanning tree (due to results of Addario--Berry \cite{AddarioBerry2013} and Addario--Berry, Griffiths and Kang \cite{PWIT_local_minimum}). Thus we demonstrate that introducing orientations changes the local geometry of the minimum spanning tree in a non-trivial manner.
On an asymmetric additive energy inequality
Let $d \geq 1$ be an integer, $G$ be an abelian group and $ν, w_1, \dots, w_{2d}: G \to [0, \infty)$ be functions with finite, non-empty supports. Define the generalised additive energy \[ E_{2d, ν}(w_1, \dots, w_{2d}) = \sum_{y,y' \in G}\sum_{a_1, \dots, a_{2d} \in G } w_1(a_1) \dots w_{2d}(a_{2d}) ν(y) ν(y') 1_{\sum_{i=1}^d (a_i - a_{i+d}) = y-y'} .\] Moreover, for every $1 \leq i \leq 2d$, let $E_{2d, ν}(w_i) = E_{2d, ν}(w_i, \dots, w_i)$. A standard Fourier analytic argument delivers the estimate \[ E_{2d,ν}(w_1, \dots, w_{2d}) \leq \prod_{1 \leq i \leq 2d} E_{2d, ν}(w_i)^{1/2d}.\] In this note, we present a purely combinatorial proof of the above inequality. In particular, our proof does not use any Fourier or spectral analysis and relies on repeated applications of Cauchy--Schwarz inequality combined with a discrete convexity extension type argument. We also record a variation of this upper bound in the non-abelian setting via spectral inequalities following work of Hatami on graph norms, as well as a relevant sumset analogue obtained via iterative applications of the Plünnecke--Ruzsa inequality.
On t-colorable k-plane drawings
In this work, we introduce $t$-colorable $k$-plane drawings, that is, drawings of graphs with a $t$-edge-coloring where every edge is crossed by at most $k$ edges of each color. We give tight upper bounds on the edge- and crossing density for small values of $t$ and $k$ and show that the recognition of such drawings is NP-complete if $t\geq 2$ and $k\geq1$.
Recent progress in graph theory using expansion
Graph expansion has long been recognised as an important and desirable property with applications in a wide range of areas in computer science and mathematics. A particular form of expansion known as `sublinear expansion' has recently been used particularly effectively in extremal graph theory, leading to the resolution of many long-standing and notable problems over the last decade and an improved understanding of the structure of sparse graphs. This survey will cover these advances.
The homomorphism threshold of odd cycle $C_{2k-1}$ is below $\frac{1}{2k-1}$
The homomorphism threshold $δ_{\text{hom}}(H)$ of a graph $H$ asks how large the minimum degree of an $H$-free graph has to be in order to force a homomorphism to a bounded $H$-free graph. Determining this threshold is in general very difficult, and the odd cycles $C_{2k-1}$ are among the most important open cases for $k\ge 3$. Ebsen and Schacht proved the general upper bound $δ_{\text{hom}}(C_{2k-1})\le\frac{1}{2k-1}$, while a breakthrough of Sankar, using topological methods and a graph-theoretic analogue of homotopy equivalence, gave the first positive lower bound. The value $\frac{1}{2k-1}$ appeared particularly compelling: Ebsen and Schacht obtained the same exact threshold when all odd cycles of length at most $2k-1$ are forbidden, Huang, Liu, Rong and Xu later proved that it is the exact blowup threshold of $C_{2k-1}$, and Letzter and Snyder also explicitly asked whether $δ_{\text{hom}}(C_{5})=\frac{1}{5}$. Surprisingly, we show that the upper bound can be improved. More precisely, for every integer $k\ge3$, we prove $$ \frac{1}{2\left((k-1)^{4k-5}(2k-1)+\frac{(k-1)^{4k-5}-1}{k-2}\right)} \le δ_{\text{hom}}(C_{2k-1}) \le \frac{4(k-1)}{4(k-1)(2k-1)+1} <
\frac{1}{2k-1}. $$ The new lower bound comes from a new graph-theoretic construction based on a sparse homomorphism theorem of Nešetřil and Zhu, and it improves Sankar's quantitative bound. The improved upper bound follows from a new structural argument that controls common neighborhoods along short odd paths. Our results have various consequences, in particular, every odd cycle of length at least five has pairwise distinct chromatic, homomorphism, polynomial removal, and linear removal thresholds, resolving two conjectures of Fox and Wigderson.
Some Central Digraphs and their Automorphisms
We define a family of finite directed graphs $G(k,c,w)$ on vertex set ${\mathbb{Z}/k\mathbb{Z}}\times {\mathbb{Z}/k\mathbb{Z}}$, where $w\in{\mathbb{Z}/k\mathbb{Z}}^\times$ has multiplicative order $c$, which divides $k$. We show that each $G(k,c,w)$ is a central digraph (its adjacency matrix squares to the all-ones matrix). We deduce explicit descriptions of the graph automorphism groups for graphs of type $G(k,1,1)$; $G(k,2,-1)$ when $k$ is even; and $G(p^2, p, 1+p)$, when $p$ is prime.
On efficient graph covers and steered random walks
We prove that the vertices of any $n$-vertex graph can be partitioned into pieces of radius $r = O(\log n)$ such that the sum of the sizes of their closed neighborhoods is at most $4n$. This answers a recent question of Bukh and Dubroff and directly yields an improvement to their upper bound on the optimal cover time of the $ε$-steered random walk. We also demonstrate that our bound on $r$ is best possible up to a constant factor for graphs with strong vertex expansion.
Schrijver Number Quasi-Tensorization and Multicolor Ramsey Bounds via Robust OR Polynomials
We introduce a robust OR polynomial framework for composing positive semidefinite certificates across OR constraints. We demonstrate the power of this method in two applications.
The first is on acute-free families. A set $\mathcal F=\{(x_i^{(1)},\ldots,x_i^{(r)})\}_{i=1}^M \subseteq (S^{n-1})^r$ is $r$-way acute-free if, for every $i\neq j$, there is a coordinate $t\in[r]$ such that $\langle x_i^{(t)},x_j^{(t)}\rangle\leq 0$. We write $M_r(n)$ for the maximum size of such a set, and $M_r^{\pm}(n)$ for the hypercube restriction. On the hypercube, $r$-way acute-free sets are independent sets for some strong power graph $G_n^{\boxtimes r}$. The Lovász theta number $\vartheta(G_n)$ is multiplicative but exponentially loose, whereas the Schrijver number $\vartheta'(G_n)$ gives the correct order, but is not multiplicative. We bypass this obstruction by proving a general quasi-tensorization result for the Schrijver number. That is, for every collection of graphs $G_1,\ldots, G_r$ satisfying $\vartheta'(G_i)\geq 2$, there is an absolute constant $C$ such that $\vartheta'(G_1\boxtimes \cdots \boxtimes G_r) \leq \prod_{i=1}^r \vartheta'(G_i)^{C\log r \log \vartheta'(G_i)}$. Applying this result gives that $M_r^{\pm}(n) \le M_r(n) \le (2n)^{C_0 r\log r\log(2n)}$ for some absolute constant $C_0$.
The second application is on multicolor Ramsey numbers. The $r$-color Ramsey number $R_r(k)$ is the minimum $n$ such that every $r$-coloring of the edges of the complete graph on $n$ vertices contains a monochromatic copy of $K_k$. In a breakthrough result, Balister et al. [arXiv:2410.17197] showed that $R_r(k)\le \exp(-Ω(k/r^{12}))r^{rk}$ via a geometric lemma. By improving the $r$ dependency in their geometric lemma via the OR polynomial framework, we prove that $R_r(k)\le \exp(-Ω(k/(r^9(\log r)^6)))r^{rk}$.
A sharp Randić bound for König--Egerváry graphs and a conjecture of Aouchiche, Hansen, and Zheng
The Randić index of a graph $G$ is $R(G)=\sum_{uv\in E(G)}1/\!\sqrt{d(u)d(v)}$, where $d(v)$ is the degree of $v$, and the matching number $α'(G)$ is the maximum size of a matching in $G$. We prove that every $n$-vertex König--Egerváry graph, and in particular every bipartite graph, satisfies
\[
R(G)\le\sqrt{α'(G)\left(n-α'(G)\right)},
\] and we characterize the graphs attaining equality. Combining this with the Berge--Tutte formula, we determine the maximum of $R(G)-α'(G)$ over all $n$-vertex graphs with $n\ge4$, together with every extremal graph. This settles a conjecture of Aouchiche, Hansen, and Zheng from 2006 in the negative: the smallest counterexample is $K_{10,55}$, the optimal part size is determined by the proportion $\frac{2-\sqrt2}{4}$ rather than by $\frac17$, and the extremal graphs are not only the complete bipartite ones, so that the equality statement fails already for $n=10$. The two proportions give asymptotic slopes differing by $3.7\cdot10^{-5}$, which explains why the conjecture resisted searches over graphs of small order, and the orders admitting two optimal part sizes are those arising from the Pell equation $x^2-2y^2=1$.