graph
35150 papers tagged with this keyword
Analysis of Polynomial Threshold Functions on Random Regular Graphs: Computational Complexity of Detecting Noisy Random Lift
In this work, we present the first analysis of low degree polynomial threshold functions for the natural hypothesis testing problem of detecting the noisy random lift of a base $d$-regular graph from a uniformly random $d$-regular graph. Along the way, we obtain a new result for the distribution of short cycle counts in noisy random lift up to logarithmic lengths, which generalizes results by McKay, Wormald, and Wysocka and by Johnson in the case of random regular graphs, and the result by Fortin and Rudinsky in the case of random lift.
The Erdős-Hajnal Property for the six-vertex Graph with Edge Set $\{ab,bc,cd,de,af,bf,df\}$
We prove that the six-vertex graph with edge set $\{ab,bc,cd,de,af,bf,df\}$ has the Erdős-Hajnal property. The proof adapts the iterative-sparsification method of Nguyen, Scott, and Seymour within the comb-based framework of Huang, Ju, and Zhou.
Every graph is eventually Turán-good and Turán-stable
Let $T_r(n)$ denote the complete $r$-partite graph on $n$ vertices whose part sizes differ by at most one. A graph $H$ is called $K_{r+1}$-Turán-good if, for all sufficiently large $n$, the graph $T_r(n)$ contains the maximum number of copies of $H$ among all $n$-vertex $K_{r+1}$-free graphs. We say that $H$ is $K_{r+1}$-Turán-stable if, for every $\varepsilon>0$, there exist $δ>0$ and $n_0$ such that, whenever $n\ge n_0$ and an $n$-vertex $K_{r+1}$-free graph $G$ contains at least $\mathrm{ex}(n,H,K_{r+1})-δn^{v(H)}$ copies of $H$, the edit distance between $G$ and $T_r(n)$ is at most $\varepsilon n^2$, where $v(H)$ denotes the order of $H$.
In this paper, we prove that every graph $H$ is both $K_{r+1}$-Turán-good and $K_{r+1}$-Turán-stable for $r\ge 4v(H)^3+11v(H)^2$. This strengthens results of Morrison, Nir, Norin, Rzążewski, and Wesolek~[J. Combin. Theory Ser. B, 2023] and Gerbner and Hama Karim~[J. Graph Theory, 2024], and gives a positive answer to a question of Morrison, Nir, Norin, Rzążewski, and Wesolek. We also prove that $\inj(H,G)\le \inj(H,T_r(n))$ for every $n$-vertex $K_{r+1}$-free graph $G$ and for $r\ge 40v(H)^3$, where $\inj(H,G)$ denotes the number of injective homomorphisms from $H$ to $G$. Finally, we give a negative answer to another question of Morrison, Nir, Norin, Rzążewski, and Wesolek.
On identifying codes on oriented graphs
This article studies identifying codes in oriented graphs from a computational complexity perspective. We investigate the $\mathcal{F}$-Id Code problem, where given a simple graph $G$ and a vertex subset $C$, which induces a subgraph in the family $\mathcal{F}$, as inputs
and ask whether it is possible to orient $G$ in such a way that $C$ becomes its oriented identifying code.
Focusing on the family $\mathcal{F}_d$ of $d$-regular graphs, we establish a complete dichotomy by proving that the problem is polynomial-time solvable for $d\leq1$ and NP-complete for all $d\geq2$.
Signless Laplacian spectral conditions for rainbow matchings in a collection of bipartite graphs
Let ${\cal G}=\{{G_1},\ldots,{G_k}\}$ be a collection of (not necessarily distinct) bipartite graphs on the same vertex bipartition $(X,Y)$ with $|X|=a$ and $|Y|=b$, where $k$, $a$ and $b$ are positive integers. A collection ${\cal G}$ of bipartite graphs admits a rainbow matching if there exists a set of pairwise disjoint edges such that any two edges are from distinct bipartite graphs of ${\cal G}$. Denote by $q({G})$ the signless Laplacian spectral radius of a bipartite graph $G$. In this paper, we prove that if $q({G_i})\ge b+k-1+\sqrt{(k-1)b} $ for each ${G_i}\in{\cal G}=\{{G_1}, \ldots, {G_k}\}$, where $2\leq k\leq a\leq b$, then ${\cal G}$ admits a rainbow matching of size $k$ unless ${G_1}={G_2}=\cdots={G_k}\cong{K_{k-1,b}}\cup\overline{K_{a-k+1}}$, by using the shifting technique.
Packing and Covering Cycles Through Prescribed Vertices
Let $G$ be a finite simple graph and let $S\subseteq V(G)$. We prove that the minimum number of vertices meeting every cycle that intersects $S$ is at most the maximum number of vertices of $S$ covered by a collection of vertex-disjoint cycles. This answers a question posed by Bowler, Ghorbani, Gut, Jacobs, and Reich [\emph{SIAM Journal on Discrete Mathematics} \textbf{40} (2026), 988--999]. An incidence-based reduction to their bidirected packing--covering theorem preserves the packing value and projects transversals without increasing their cardinality.
On orientability, Poincaré duality, and connectivity of GKM graphs
We investigate a combinatorial notion of orientability for abstract GKM graphs and its connections to graph cohomology in the sense of Guillemin--Zara. In particular, we prove that orientability of the GKM graph is equivalent to Poincaré duality of the rational (non-equivariant) graph cohomology algebra. As an application, we prove that orientable GKM graphs remain connected after removing any single vertex.
The Bounded-VC chromatic thresholds of graphs
For a graph $H$, the chromatic threshold $δ_χ(H)$ is the infimum of $c>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $cn$ is bounded by a constant depending only on $H$ and $c$. Allen, Böttcher, Griffiths, Kohayakawa, and Morris proved that if $χ(H)=r\geq 3$, then $δ_χ(H)\in\{\frac{r-3}{r-2}, \frac{2r-5}{2r-3}, \frac{r-2}{r-1}\}$. Liu, Shangguan, Skokan, and Xu introduced the bounded-VC chromatic threshold $\text{VC}(H)$ by restricting the host graphs to have bounded VC-dimension. We determine this parameter for graph $H$ with $χ(H)\ge 3$. More precisely, let $\mathcal{M}(H)$ be the decomposition family of an $r$-chromatic graph $H$, then \[ \text{VC}(H)= \begin{cases}
\dfrac{r-3}{r-2},&\text{if $\mathcal{M}(H)$ contains a forest},\\[4pt]
\dfrac{r-2}{r-1},&\text{otherwise}. \end{cases} \]
On the spherical design properties of a $P$- and $Q$-polynomial association scheme
We show that the strength as a spherical design of the spherical embedding of a $P$- and $Q$-polynomial association scheme with at least three classes with respect to a $Q$-polynomial idempotent is at most five, provided that the multiplicity is at least three. We also identify the examples that attain this upper bound on the strength. Our result improves on Suda's earlier upper bound of eight [J. Combin. Des. 19 (2011)], and is considered dual to the results of Lewis [Discrete Math. 223 (2000)] and Miklavič [Electron. J. Combin. 32 (2025)] concerning the girth of a $Q$-polynomial distance-regular graph with diameter and valency both at least three. To establish our upper bound, we introduce and discuss a polynomial method that works by constructing an appropriate polynomial that vanishes at every point of the spherical embedding.
Counting Successor-Closed Subsets of Functional Digraphs
A functional digraph is a directed graph where each vertex has an out-degree of at most 1. We study the number of successor-closed subsets of a functional digraph, that is, subsets from which no edge leaves, and show that this decomposition yields a simple recursive formula for the corresponding generating function. Using this formula, we determine, among all functional digraphs with a fixed number of vertices and edges, the one maximizing the number of successor-closed subsets of every size simultaneously. Somewhat unexpectedly, this extremal result yields a quantitative strengthening of the set-pairs inequality of Bollobas: rather than merely guaranteeing that some pair of a large enough family must violate the hypothesis of the theorem, we show that a uniformly random subset of the family witnesses a violation with high probability, quantitatively in terms of how far the family size exceeds the classical threshold. We further show that the same approach applies to the skew variant of Bollobas's inequality due to Hegedus and Frankl, yielding an analogous probabilistic strengthening.
On di-Cayley graphs and their spectrum
Given a group $G$ and three subsets $S_\ell, S_r, S_m \subset G$, we consider di-Cayley graphs $DX(G;S_\ell,S_r,S_m)$ and di-Cayley sum graphs $DX^+(G;S_\ell,S_r,S_m)$, directed generalizations of the bi-Cayley (sum) graphs $BX(G;S_\ell,S_r,S_m)$ and $BX^+(G;S_\ell,S_r,S_m)$. We refer to these four kinds of graphs collectively as $X^*(G;S_\ell,S_r,S_m)$. First, we give the basic properties of these graphs and compute their adjacency matrices. Then, we obtain the eigenvalues of $X^*(G;S_\ell,S_r,S_m)$ in terms of the spectra of the associated Cayley graphs $X(G,S)$ with $S\in \{S_\ell,S_r,S_m\}$ in two ways, using adjacency matrices and using irreducible characters of $G$.
Kronecker Products, Polarity Quotients and Large Graph Constructions
In this paper, we establish a structural compatibility between the Kronecker product of bipartite graphs that admit polarity and their polarity quotient, and provide a sharp upper bound on the diameter of these graphs.
For certain factor graphs, the diameter of the Kronecker product meets the upper bound on diameter, among them the generalized polygons. Generalized polygons with their polarity quotients have been notably used in the past to construct very large graphs. We apply the structural theorems in the paper to generalized polygons $\mathbb{G}_n(q,q)$ used as factor graphs, and build three new families of graphs of large order covering an infinite but sparse set of degrees, one of diameter $2$, one of diameter $3$ and one of diameter $5$.
These asymptotically approach a theoretical upper bound on graph size as orders $q$ and $r$ of the generalized polygon factors increase. As an example, we develop one such family, derived from generalized quadrangles, and construct new diameter-$3$ graphs of low degree that are larger than any previously known at their degrees.
Sharp Same-Color Cycle Covers in Two-Colored Complete Graphs
We extend the conjecture of Erdős and Gyárfás on monochromatic path covers to the setting of monochromatic cycle covers. We prove that, for all $n$, every 2-edge-coloring of the complete graph on $n$ vertices contains a collection of at most $\lceil\sqrt{n}\rceil$ monochromatic cycles, all of the same color, that together cover all vertices. The order of the bound is best possible, and the ceiling is necessary for infinitely many $n$.
Boxicity and Threshold Dimension of Zero Divisor Graphs
The zero divisor graph $Γ(R)$ of a finite commutative ring $R$ has as vertices the non-zero zero divisors of $R$, with an edge between two elements exactly when their product is zero.
We determine the boxicity and threshold dimension of $Γ(R)$ for two classes of finite commutative rings: reduced rings and quotients of principal ideal domains.
Our proofs use a new combinatorial gadget, the integral covering graph, that captures the structure shared by both ring families and generalizes the disjointness graph on subsets of $[n]$, where two subsets are adjacent if and only if they are disjoint.
In doing so, we answer two questions recently posed by L.~Sunil Chandran and Suraj Kumar Sahoo in Boxicity of Zero Divisor Graphs, Discrete Applied Mathematics 391 (2026).
Sharp quadratic $χ$-binding functions for powers of bipartite graphs
For every natural number $r\geq 2$, we construct $r^{th}$ powers of bipartite graphs whose chromatic number is quadratic in their clique number, showing that the straightforward quadratic upper bound is best possible. We thereby settle an open problem posed by Chakraborty, Chandran, Jacob and Pillai [J. Graph Theory 112(3) (2026), 235-254] by establishing the sharpness of the quadratic bound for squares of bipartite graphs.
The Erdos--Gallai bound for consecutive even cycle lengths
Erdős and Gallai in 1959 proved the seminal result that every $n$-vertex graph with no cycle of length at least $2t+2$ has at most $\frac{2t+1}{2}(n-1)$ edges. We prove the extension that, for every sufficiently large $t$, the same quantity is also the sharp extremal bound for graphs with no $t$ consecutive even cycle lengths, resolving a conjecture of Verstraëte. Thus, at the Erdős--Gallai threshold, forcing an entire interval of even cycle lengths costs no more than forcing its longest member. More precisely, every $n$-vertex graph $G$ with \[
e(G)\ge \frac{(2t+1)(n-1)}2 \] either contains $t$ consecutive even cycle lengths, or equality holds and $G$ is connected with every block isomorphic to $K_{2t+1}$.
As consequences, for every sufficiently large even $k$ we determine the sharp edge thresholds forcing a cycle of length $0\pmod k$ or $2\pmod k$, answering questions of Bai, Grzesik, Li, and Prorok and of Gao, Li, Ma and Xie, respectively. The proof develops a stability-enhanced sublinear-expander method. Its main new ingredient is a dense-case decomposition that recovers the lengths lost in the expander extraction by combining a flexible dense core with rooted cycle families in the vertices outside the core.
Asymptotic Bounds for Online Ramsey Numbers of Stars versus Long Paths and Cycles
The online Ramsey game for graphs $G$ and $H$ is played on the infinite complete graph $K_\mathbb{N}$. In each round, Builder chooses an edge, and Painter colors it red or blue. The online Ramsey number $\tilde{r}(G,H)$ is the smallest integer $t$ for which Builder has a strategy guaranteeing a red copy of $G$ or a blue copy of $H$ within $t$ rounds. For every fixed integer $k\ge4$, the best-known lower bounds for $\tilde{r}(K_{1,k},P_n)$ and $\tilde{r}(K_{1,k},C_n)$ are $\left(\frac{k+3}{4}+o(1)\right)n$ as $n\to\infty$. We improve the corresponding asymptotic upper bounds from $(k+o(1))n$ to $\left(\frac{2k+4}{5}+o(1)\right)n$ as $n\to\infty$.
Leading term strandings for webs
A web is a plane graph encoding an invariant vector in a tensor product of fundamental representations of a quantum group. A stranding of an $\mathfrak{sl}_n$ web is a system of colored oriented curves recording one monomial of the vector it encodes. This article focuses on identifying and constructing leading term strandings, those recording the leading term of a web's vector with respect to a lexicographic order on monomials. We show that every open strand of a leading term stranding is clockwise, which constrains the boundary data of such strandings enough to yield a sufficient criterion for a set of webs to form a web basis. From a row-strict tableau, we construct a web with a prescribed leading term, and the resulting webs form a web basis, giving a non-recursive construction of Fontaine's $\mathfrak{sl}_n$ web bases. For $\mathfrak{sl}_3$ webs with no flat vertices, we identify a leading term stranding using the depths of the faces of the web. Finally, we show a leading term stranding for any $\mathfrak{sl}_3$ web can be reached from an arbitrary stranding via a sequence of operations called strand reversals.
The giant component of complex hypergraphs: automated generating function calculations
Complex hypergraphs (chygraphs) contain graphs, hypergraphs, multiplex and interacting networks as special cases, and the percolation threshold of all of them follows from one symbolic calculation: the spectrum of a tensor $A$ built from four matrices of first moments. That calculation stops at the threshold. Here I show that $A$ is the Jacobian, at its trivial fixed point, of a non-linear self-consistency map whose non-trivial fixed point is the giant component fraction, so threshold and order parameter are two orders of one object on one index set. Carrying the expansion one order further gives the critical amplitude $B$ in $S=BΛ+O(Λ^2)$ in closed form, and exposes a hierarchy: first moments fix the threshold, second moments the amplitude, and only the generating functions themselves the order parameter away from it. Dropping the assumption that a complex's participation in different layers is independent generalises the tensor again, replacing unconditional first moments by inclusion-biased second moments: distributions with identical marginals have different thresholds and different order parameters. Six constructions from the literature are then solved by substitution, among them AND- against OR-logic hypergraph percolation, which share a chygraph and differ in one generating function, and SIR epidemics with two levels of mixing, whose household reproduction number falls out of the tensor. A reported failure of mean-field theory on strongly clustered graphs is shown to be a failure of applying it to the wrong object: mapped onto the treelike backbone rather than the clustered graph, the same calculation reproduces the exact threshold, order parameter and critical exponents. Everything is implemented in one class, in which a chygraph is specified once by its generating functions and then returns all three, and validated against Monte Carlo simulation.
Genlex Gray codes for $S_n$ with the fewest operations: classification and symmetry
A Gray code for $S_n$ is \emph{genlex} when words sharing a suffix are consecutive. We determine the genlex Gray codes for $S_n$ that use the fewest possible operations: Zaks' recursion generalises to a superfactorial family of such codes, and no code outside this family attains the minimum. Every code in the family closes into a cycle, and the cycle is invariant under a group of left translations, cyclic of order $n$ or dihedral of order $2n$ according to an explicit criterion on the operations. In the pancake graph the family reduces to a single member, the classical Zaks order; with respect to the standard parabolic chain of $W(A_{n-1})$, that order attains one extreme of total Coxeter length.