graph
34516 papers tagged with this keyword
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 the Realizability of Edge-Girth Sequences
The edge-girth of an edge $e$ in a simple connected graph is the length of a shortest cycle containing $e$, with $g_e = \infty$ if no such cycle exists. The edge-girth sequence of a graph is the nondecreasing sequence of edge-girth values over all its edges. We prove that a sequence $S$ is realizable as the edge-girth sequence of a simple connected graph if and only if it satisfies a recursive criterion: writing $S = S_0 \uplus (g^{(m)})$ where $g$ is the maximum edge-girth value of $S$ with multiplicity $m$ and $S_0$ is the prefix subsequence, $S$ is realizable if and only if $S_0$ is realizable and the multiplicity $m$ lies in a set entirely determined by $g$ and the maximum diameter $d^*_{S_0}$ achievable by graphs realizing $S_0$. We further determine $d^*_S$ for any realizable sequence: for constant sequences $(g^{(m)})$, we obtain a closed-form formula when $g$ is even and a recursive formula when $g$ is odd. For general sequences, we provide a recursive algorithm computing $d^*_S$ together with explicit constructions of diameter-achieving graphs.
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.
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$.
A note on matchings and co-matchings in bipartite graphs
A class of bipartite graphs is said to have the strong Erdős-Hajnal property if there exists $\varepsilon > 0$ such that every graph $((A, B), E)$ in the class contains a complete or empty induced subgraph with parts $X \subseteq A$, $Y \subseteq B$ where $|X| \ge \varepsilon|A|$ and $|Y| \ge \varepsilon|B|$. Scott, Seymour and Spirkl \cite{scott2023} proved that it is enough to forbid a forest and the bipartite complement of a forest. In this paper, we provide quantitative bounds on $\varepsilon$ when we restrict to matchings.
A note on zero-sum Ramsey numbers of complete graphs
For a graph $H$ with $3\mid e(H)$, the zero-sum Ramsey number $R(H,\Z_3)$ is the least integer $N$ such that every labeling of the edges of $K_N$ by elements of $\Z_3$ contains a copy of $H$ whose edge labels sum to zero. We determine the last previously unresolved infinite family in the complete-graph case modulo $3$. More precisely, we prove that \(R(K_n,\Z_3)=n+3\) for every $n\ge 10$ satisfying $n\equiv 1\pmod 3$. Consequently, for $k\ge 1$, \(R(K_{9k+7},\Z_3)=9k+10\), resolving a problem of Caro and Mifsud.
Counting large cliques in graphs with a forbidden tree
Given graphs $H$ and $F$, the generalized Turán number ${\rm ex}(n,H,F)$ is the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Alon and Shikhelman (J. Combin. Theory Ser. B, 2016) initiated the systematic study of generalized Turán problems. Let $T$ be a tree on $k$ vertices, and write $n=a(k-1)+b$, where $0\leq b<k-1$. Recently, Gerbner and Palmer (Electron. J. Combin., 2026) proposed the following conjecture: for every $r\geq3$, the graph $aK_{k-1}\cup K_b$ maximizes the number of copies of $K_r$ among all $n$-vertex $T$-free graphs. In this paper, we verify their conjecture when $r=k-2$ or $r=k-3\geq5$. More precisely, we show that ${\rm ex}(n,K_r,T)=a\binom{k-1}{r}+\binom{b}{r}$ and characterize all extremal graphs.
Average Local Independence and the Spanning-Tree Leaf Number: A Proof of Graffiti.pc Conjecture 2
We prove Graffiti.pc Conjecture 2, a 1996 conjecture listed as open on the \emph{Written on the Wall II} page marked ``Last update 7/23/26.'' Let $G$ be a finite simple connected graph. For $v\in V(G)$, let $I(v)=α(G[N_G(v)])$, and let $I_{\mathrm{avg}}(G)$ be the average of these local independence numbers. The conjecture states that the maximum number $L_s(G)$ of leaves in a spanning tree of $G$ satisfies $L_s(G)\ge 2\bigl(I_{\mathrm{avg}}(G)-1\bigr)$. We establish this inequality by extracting a triangle-free spanning subgraph that retains at least half of the total local-independence mass. A degree-square argument then produces a double star with sufficiently many leaves, and this tree extends to a spanning tree without losing leaves. Balanced complete bipartite graphs show that the bound is sharp.
Complex Analysis and Existence Problems for plane Graphs
We show that a variety of known and new results concerning connected plane graphs whose vertex and face degrees satisfy prescribed uniformity conditions with at most two exceptions can be deduced from recent results on the Hurwitz existence problem regarding the realizability of branch patterns of rational functions. Our method also yields a description of the Belyi functions corresponding to such graphs.
Nerve-type and invariance theorems for asymptotic dimension
Asymptotic dimension of metric spaces is a large-scale analog of covering dimension of topological spaces. An intersection graph of a family of sets is the graph whose vertices are the members of the family and whose edges correspond to pairs of members with non-empty intersection.
Our first main result connects the asymptotic dimension of the intersection graph of a family ${\mathcal F}$ and the Assouad-Nagata dimension of the ambient metric space containing members of ${\mathcal F}$ under some mild and necessary assumptions. We prove that if ${\mathcal F}$ is a family of subsets of a metric space of Assouad-Nagata dimension $n$ such that every ball of radius $r$ intersects at most $f(r/s)$ pairwise disjoint members of ${\mathcal F}$ of diameter at least $s$ for some function $f$, then the asymptotic dimension of the intersection graph of ${\mathcal F}$ is at most $n+1$. This result is optimal both quantitatively and qualitatively in several senses. As a corollary of this result, the asymptotic dimension of the intersection graph of any family of compact convex sets of bounded aspect ratio in ${\mathbb R}^n$, such as a family of balls in ${\mathbb R}^n$, is at most $n+1$.
Our second main result states that the asymptotic dimension of the intersection graph of a family ${\mathcal F}$ of connected closed sets of a connected topological space with connected boundary equals the asymptotic dimension of the intersection graph of the family of the boundary of the sets in ${\mathcal F}$, under a mild condition. In particular, the asymptotic dimension of the intersection graphs of families of spheres in ${\mathbb R}^n$ equals $n$ or $n+1$ when $n \geq 2$.
$\mathfrak{sl}(2)$-weight system does not extend to a graph 4-invariant
A long-standing question by S. Lando asks whether the $\mathfrak{sl}(2)$-weight system extends to a unique 4-invariant of graphs. We show that, in full generality, the answer to this question is negative. However, for certain specializations of the weight system, extensions do exist. Explicit formulae for computing two such specializations of the weight system are already known. We construct recurrence relations for one additional such extension and discuss the last remaining specialization, which conjecturally admits an extension. We also study the polynomial coefficients of the $\mathfrak{sl}(2)$-weight system and resolve the questions concerning their extension.
The cyclic diagnosability of Cayley graphs generated by transposition triangle-free unicyclic graphs under the PMC and MM* models
Diagnosability is a critical parameter for evaluating the reliability and self-diagnostic capacity of multiprocessor systems. As an advanced extension of traditional diagnosability, cyclic diagnosability has been proposed to enable more comprehensive assessment of the diagnostic capabilities of interconnection networks. In this paper, we prove that under both the PMC and MM* models, the cyclic diagnosability of Cayley graphs generated by triangle-free unicyclic graphs is 5n-10 for n\ge11.
Nikiforov's spectral consecutive cycle problem and the connected-matching method
Let $ρ(G)$ denote the adjacency spectral radius of a graph $G$ of order $n$. We determine the sharp constant in an open problem of Nikiforov (2008) on cycles of consecutive lengths. For every $\varepsilon>0$ and all sufficiently large $n$, if $G$ is an $n$-vertex graph with $ρ(G)>\sqrt{\lfloor{n^2/4}\rfloor},$ then $G$ contains a cycle $C_\ell$ for every integer length $3\le \ell\le (\frac{3-\sqrt5}{2}-\varepsilon)n.$ The constant $(3-\sqrt5)/2$ is best possible, as shown by the split graph $K_k\vee\overline K_{n-k}$ with $k\sim(3-\sqrt5)n/4$. Our result improves all previous results [LAA2008, CPC2020, JGT2023, JGT2023, GC2024]. The proof combines the degree form of Szemerédi's regularity lemma, a spectral matching theorem of Feng-Yu-Zhang, Weyl's inequality, a refinement of Łuczak's connected-matching embedding method, and other ideas.
Spectral Turán problems for suspensions of balanced trees
A central problem in spectral Turán theory is to understand the relationship between the spectral extremal family ${\rm SPEX}(n,F)$ and the ordinary extremal family ${\rm EX}(n,F)$. For many forbidden graphs $F$, it is known that ${\rm SPEX}(n,F)\subseteq{\rm EX}(n,F)$ holds for infinitely many $n$, while only a few examples have been identified where the two families are disjoint. In this paper, we study this problem for suspensions of balanced trees. A tree is balanced if its two bipartition classes differ in size by at most one. Let $T$ be a balanced tree on $2k$ or $2k+1$ vertices and $\widehat T$ be its suspension which is obtained from $T$ by adding one new vertex adjacent to every vertex of $T$. Our first main result establishes a tight upper bound for the spectral Turán number of $\widehat T$ for sufficiently large $n$ provided that $T$ satisfies some mild assumptions. Our second result determines for which integers $k$ and which non-path balanced trees $T$ on $2k$ or $2k+1$ vertices there are infinitely many integers $n$ such that ${\rm EX}(n,\widehat{T})\cap {\rm SPEX}(n,\widehat{T})=\emptyset$.