bipartite graph
2575 papers tagged with this keyword
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.
Bounded diameter covering of 2-colored complete bipartite graphs
Related to a bounded-diameter bipartite analogue of the Henderson--Ryser conjecture, DeBiasio, Kamel, McCourt, and Sheats proved that the vertices of every $2$-colored complete bipartite graph can be covered by two monochromatic subgraphs, each of diameter at most four. We improve this bound on the diameter to the best possible value of {\em three}.
Clique decompositions and covers for large graphs
In 1966, Erdős, Goodman, and Pósa showed that every $n$-vertex graph $G$ admits a cover of its edges using at most $\lfloor \frac{n^2}{4}\rfloor$ cliques, with tightness witnessed by the balanced complete bipartite graph. Erdős suggested the following strengthening: every $n$-vertex graph $G$ admits an edge decomposition into cliques with total cost at most $\lfloor \frac{n^2}{4}\rfloor$, where each $i$-clique has cost $i-1$. There is another generalization conjectured by Dau, Milenkovic and Puleo: for every $t\ge4$, every $n$-vertex graph $G$ admits a cover of its $t$-cliques using at most $\prod_{j=0}^{t-1}\left\lfloor\frac{n+j}{t}\right\rfloor$ cliques. Balogh, He, Krueger, Nguyen and Wigal proved asymptotic and fractional versions of these conjectures. We solve both conjectures for large $n$ and identify the equality cases. Our proof of Erdős's conjecture combines linear programming duality and the spanning-forest polytope with a weighted stability form of Mantel's theorem, followed by explicit decomposition algorithms around an almost balanced bipartition. For the $t$-clique-cover conjecture, we combine graph removal lemma and generalized Turán stability with an exact covering construction for graphs close to $T_{n,t}$.
Spectral extrema of 1-planar graphs with no short cycles or small cliques
The spectral Turán type problem, initiated by Nikiforov in 2007, aims to determine the graphs among $n$-vertex $H$-free graphs having maximum spectral radius. In this paper, we study this problem for $1$-planar graphs, i.e., graphs that admit a drawing in the plane such that each edge is crossed at most once. Recently, Xu and Chang proved that the graphs among all $n$-vertex $K_5$-free $1$-planar graphs having maximum spectral radius lie within a small family of candidates. First, this paper explicitly identifies the unique spectral extremal graph among the $n$-vertex $K_5$-free $1$-planar graphs. Second, it establishes a structural reduction theorem: For any forbidden subgraph $F$ with $δ(F)\ge2$ that is contained in $K_2\vee P_{n-2}^{2+}$ but not in $K_2\vee I_{n-2}$, every spectral extremal $F$-free $1$-planar graph contains a spanning complete bipartite graph $K_{2,n-2}$, where $P^{2+}_{n-2}$ is obtained from a path $u_1u_2\dots u_{n-2}$ by adding edge $u_1u_{n-2}$ and all edges $u_iu_{i+2}$ for $1\le i\le n-4$, and $I_{n-2}$ denotes the empty graph on $n-2$ vertices. As applications, the graph among all $n$-vertex $C_5$-free (resp. $2C_5$-free) $1$-planar graphs having maximum spectral radius is determined. These results extend spectral Turán type problems for $1$-planar graphs from cliques to cycles and their disjoint union.
Ramsey-type results for threshold graphs and beyond
A {\it threshold graph} is a graph that can be constructed from the one-vertex graph by repeatedly adding either a dominating vertex or an isolated vertex. Motivated by an induced Ramsey-type problem for this class, we define $r'_2(s)$ to be the minimum integer $n$ such that every $n$-vertex graph contains an induced threshold graph on $s$ vertices. We establish exponential upper and lower bounds for $r'_2(s)$ and determine its exact values for $s\in\{3,4,5,6\}$. To study this problem from an edge-coloring perspective, we use the notion of an orderable coloring, introduced by Richer [{\it J. Combin. Theory Ser. B}, 80(1) (2000), 172--177]. An edge-colored graph is {\it orderable} if its vertices can be ordered so that, for each vertex, all edges from it to later vertices have the same color. Equivalently, $r'_2(s)$ is the minimum $n$ such that every $2$-edge-coloring of $K_n$ contains an orderable $K_s$. We also determine the exact value of the unordered canonical Ramsey number $CR(s, 3)$ for all $s \ge 3$, where $CR(s,3)$ denotes the minimum integer $n$ such that every edge-coloring of $K_n$ contains either an orderable $K_s$ or a rainbow $K_3$. More generally, for graphs $G$ and $H$, we study $r'_2(G)$, the corresponding $2$-color Ramsey number for an orderable $G$, and $CR(G,H)$, where the alternative is a rainbow $H$. For complete bipartite graphs, we prove that for every fixed $s$, $r'_2(K_{s,t}) = CR(K_{s,t}, K_3)= \left(\frac{2^s}{s+1}+o(1)\right)t$ as $t\to\infty$. For $s\in \{2,3\}$, we further determine the exact values of these parameters for infinitely many $t$, using constructions arising from strongly regular graphs, Hadamard matrices and conference matrices.
A Proof of the B-Free Graphs Conjecture
Let $\mathcal{B}$ be the class consisting of the six-vertex bipartite graphs that possess a perfect matching and their complements. It is proved that every $\mathcal{B}$-free graph $G$ satisfies $α(G)+ω(G)\ge |V(G)|-1$. This establishes Conjecture 3.1 of Litjens, Polak and Sivaraman (B-Free Graphs Conjecture). For a smallest counterexample, Hall-type exchange arguments show that two maximum stable sets, and likewise two maximum cliques, differ in at most two vertices. A core-corona matching lemma then forces $|α(G)-ω(G)|\le 2$. Double counting between suitably dense and sparse vertices reduces the problem to twenty-one binary feasibility systems on at most fourteen vertices. Their infeasibility is verified by two independent exact encodings, with a separate exhaustive validation of the forbidden-family constraints.
A dichotomy for the number of vertex-critical ($P_5$, $H$)-free graphs when $H$ is bipartite
A graph $G$ is $k$-vertex-critical if $χ(G)=k$, but $χ(H)<k$ for every induced subgraph $H$ of $G$. A graph $G$ is $(H_1,H_2,\dots,H_m)$-free if does not contain $H_i$ as an induced subgraph for any $i\in\{1,2,\dots,m\}$.We provide the following dichotomy that for bipartite graphs $H$ and any fixed integer $k\ge 5$ , there are only finitely many $k$-vertex-critical $(P_5,H)$-free graphs if and only if $H$ is $2P_2$-free. This leads us to pose the problem about determining for which graphs $H$ with $χ(H)\ge 3$ there are infinitely many $k$-vertex-critical $(P_5,H)$-free graphs for all $k\ge 5$. Toward this problem, we show that there only finitely many $k$-vertex-critical $(P_5, K_{s,t}+e)$-free graphs for all $k,s,t\ge 1$, where $K_{s,t}+e$ is a complete bipartite graph plus a single edge. On the other hand, we show that there are infinitely many $k$-vertex-critical $(P_5,\operatorname{net},\operatorname{co-net},\overline{C_5},\overline{C_6},\dots\overline{C_{k-1}})$-free graphs for all $k\ge 5$. We also show that there are only finitely many $k$-vertex-critical $(P_4+\ell P_1,\overline{L(K_{2,n})})$-free graphs for all $\ell,n\ge 0$, providing the largest known subfamily of $(P_4+\ell P_1)$-free graphs to satisfy this property.
Our results, together with known results, imply the existence of new polynomial-time certifying algorithms to determine the $k$-colourability of many subfamilies of $P_5$-free and $(P_4+\ell P_1)$-free graphs for fixed $k\ge 5$. Our proof techniques apply a powerful theorem of Chudnovsky, Kim, Oum, and Seymour (2016) on prime graphs that we expect to be of interest and have further applications to bounding the number of $k$-vertex-critical graphs in other hereditary families of graphs.
A Canonical m-Atomic Decomposition of Bipartite Graphs via a Grid Model
We study finite, connected, simple bipartite graphs in a grid model, in which a graph is drawn as a rectangular array and its structure is read off from empty subrectangles, called holes. In this model we attach to every brick a numerical invariant, its characteristic m, the difference between the number of rows and the largest proper independent set. A brick is excessive if m > 0.
Our main results concern this invariant. We determine the characteristic of a disconnected excessive brick from those of its components, showing that m = min_i min{m_i, imb(W_i)} while the imbalance is additive; and we prove that an m-excessive brick is m-extendable, that is, every matching of size m extends to a maximum matching. Since Plummer's notion of n-extendability is defined only for graphs carrying a perfect matching, and our proof nowhere uses balance, the characteristic extends that notion canonically to unbalanced bipartite graphs. Using the characteristic we partition bipartite graphs into eleven structural classes.
The underlying decomposition into atomic blocks is the classical decomposition into elementary components, and the description of the maximum proper independent sets by ideals of the block poset is likewise classical; the paper states precisely which results are classical and are not claimed here. What the grid model adds is a single geometric framework in which holes, characteristics and the block triangular form are read off from one picture.
Kahn--Lovász-type inequalities for graph factors
The Kahn--Lovász theorem gives a sharp upper bound on the number of perfect matchings in a graph in terms of its degree sequence, extending the classical Brégman--Minc inequality for bipartite graphs. In this paper, we establish an asymptotically sharp extension of the Kahn--Lovász theorem to $F$-factors for every Hamiltonian graph $F$. As a consequence, we asymptotically determine the maximum number of $F$-factors in an $n$-vertex $m$-edge graph, yielding an $F$-factor analogue of Kruskal--Katona-type theorems.
We also prove a multigraph analogue of the Kahn--Lovász theorem. Combining this with our results for Hamiltonian graphs, we obtain an asymptotically sharp Kruskal--Katona-type bound for a further class of connected graphs $F$, including those containing two vertex-disjoint cycles of equal length whose union spans $V(F)$.
The minimum of the graph likelihood
The likelihood of a finite simple undirected graph $G$ on $n$ vertices is the probability that the uniform sequential attachment process, which at each step joins a new vertex to a uniformly random subset of uniformly random size of the vertices already present, outputs a graph isomorphic to $G$. Dervovic, Mocherla and Severini conjectured that the likelihood is minimised by the balanced complete bipartite graph. We prove that, among complete bipartite graphs of a given order, the balanced one uniquely minimises the likelihood. Exact computation shows that it also minimises over all graphs for every order from $6$ through $14$, and that the first counterexample occurs at $n=15$. The blow-up of the five cycle by independent sets of size three, equivalently the circulant on fifteen vertices with connection set $\{1,4,6\}$, has likelihood $0.20128\ldots$ times that of $K_{7,8}$, and it is again triangle-free. We show that the failure is not sporadic by proving that the likelihood of the balanced complete bipartite graph is $2^{-(1/2-1/(8\ln 2)+o(1))n^2}$, whereas the minimum over all graphs of order $n$ is $2^{-(1/2+o(1))n^2}$, so the conjectured minimiser exceeds the minimum by a factor exponential in $n^2$. We also determine the Shannon entropy of the process to leading order, namely $n^2/(4\ln 2)$ bits, which shows that the conjectured minimiser is in fact more likely than a typical output of the process. The proofs rest on a vertex deletion recurrence which evaluates the likelihood in time $O(n\,2^n)$ and which closes on the blow-ups of any fixed base graph.
Fast Algorithms for Stoquastic Spin Systems
We establish a general framework for developing fast sampling and counting algorithms for stoquastic spin systems at high temperature. Our framework is based on a rapidly mixing Markov chain for polymer models and a subcritical percolation process for sampling individual polymers. We apply our framework to obtain fast algorithms for approximating the partition function and sampling from the thermal distribution of (1) general stoquastic spin systems, (2) ferromagnetic Heisenberg models, and (3) antiferromagnetic Heisenberg models on bipartite graphs. For the Heisenberg models, we obtain an improved bound on the inverse temperature by using their respective cycle and loop representations.
Hardness of Forcing Unique Perfect Matchings in Bipartite Graphs of Maximum Degree 3
In a graph $G$, a set of edges $F$ is called a \emph{forcing set} if there exists a unique perfect matching $M$ such that $F \subseteq M$. Similarly, a set of edges $A$ is called an \emph{anti-forcing set} if the graph with edge set $ E(G)\setminus A$ has a unique perfect matching. It is known that, given a bipartite graph $G$ of maximum degree~$3$ and a perfect matching $M$, the problem of deciding whether there exists a forcing set of size at most $k$ for $M$ is NP-complete. Moreover, given a bipartite graph $G$ of maximum degree~$4$ and a perfect matching $M$, the problem of deciding whether there exists an anti-forcing set of size at most $k$ for $M$ is NP-complete. Furthermore, given a bipartite graph of maximum degree~$5$, the problem of deciding whether there exists a perfect matching $M$ that can be made unique by a forcing set of size at most $k$ is also NP-complete. In contrast, the computational complexity of deciding whether there exists a perfect matching $M$ that can be made unique by an anti-forcing set of size at most $k$ is not known, even for general graphs. In this paper, we show that all of these problems remain NP-complete even when restricted to bipartite graphs of maximum degree~$3$.
Monochromatic components in dense 2-edge-coloured balanced bipartite graphs
We prove that each $2$-edge-coloured spanning subgraph $G$ of $K_{n,n}$ with $δ(G)\ge \lfloor (2n+1)/3 \rfloor$ can be covered by at most three monochromatic components. We provide a $2$-edge-coloured spanning subgraph of $K_{n,n}$ showing this minimum degree condition is sharp.
The Distance Spectrum Does Not Determine Bipartiteness
Over a decade ago, Koolen, Hayat, and Iqbal posed the problem of whether the distance spectrum determines bipartiteness within the class of connected graphs. In this paper, we resolve this problem in the negative: we explicitly construct an infinite family of counterexamples, where each pair comprises a connected bipartite graph and a connected non-bipartite graph with equal distance spectra.
Caged Retractions of Polymatroids
We develop a unified theory of caged retractions of discrete polymatroids. Given a polymatroid and a cage $κ$, the $κ$-retraction is a canonical $κ$-caged polymatroid obtained by projecting bases into the cage and retaining the maximal projected bases. We prove that this construction agrees with an explicit rank-function formula. We show that the inclusion of the $κ$-caged polymatroids into all polymatroids and the $κ$-retraction form a Galois connection with respect to the weak-map order. As applications, we obtain caged versions of polymatroid union, the disjoint basis theorem, and induction along a bipartite graph. When $κ=\textbf{1}$, these recover the corresponding matroid constructions. We also study how caged retractions interact with Lorentzian polynomials and representations over near-idempotent tracts. In each case, the construction preserves the relevant structure.
On the finite group whose proper enhanced power graph is claw-free
Let $G$ be a finite group. The \emph{enhanced power graph} of $G$, denoted by $\mathcal{E}(G)$, is the graph with vertex set $G$ in which two vertices $u$ and $v$ are adjacent if and only if there exists an element $w \in G$ such that both $u$ and $v$ belong to $\langle w \rangle$. The \emph{proper enhanced power graph} of $G$, denoted by $\mathcal{E}^{**}(G)$, is the subgraph of $\mathcal{E}(G)$ induced by the non-dominating vertices.
The main objective of this paper is to investigate finite groups whose proper enhanced power graph is claw-free, that is, contains no induced subgraph isomorphic to the complete bipartite graph $K_{1,3}$. We first prove that $\mathcal{E}(G)$ is claw-free if and only if $G$ is cyclic. The set of dominating vertices of $\mathcal{E}(G)$ forms a cyclic subgroup of the center of $G$, namely the \emph{cyclicizer} $\cyc(G)$ of $G$. This allows us to give a precise description of the structure of $G/\cyc(G)$ when $\mathcal{E}^{**}(G)$ is claw-free. If $G$ is solvable but not nilpotent, then $G$ is metacyclic, or $G/\cyc(G)$ is either a Frobenius group or a $2$-Frobenius group. If $G$ is non-solvable, then $G/\cyc(G)$ is isomorphic to $\PSL(2,q)$ or $\PGL(2,q),$ and this allows us to give a complete classification of the non-solvable groups whose proper enhanced power graph is claw-free.
Codegree Thresholds for $λ$-Choosability of Graphs
Let $λ=\{k_1,\ldots,k_q\}$ be a partition, and let $|λ|=k_1+\cdots+k_q$. A $|λ|$-list assignment $L$ of a graph $G$ is a $λ$-assignment if its color set can be partitioned into $q$ disjoint sets $X_1,\ldots,X_q$ such that $|L(v)\cap X_i|=k_i$ for every vertex $v$ and every $i\in[q]$. This notion, introduced by Zhu [J. Combin. Theory Ser. B, 2020], puts ordinary coloring and list coloring in the same framework. A theorem of Alon [Random Structures Algorithms, 2000] states that every graph with minimum degree $d$ has choice number at least $(1/2-o(1))\log_2d$. Saxton and Thomason [Invent. Math., 2015] later used the hypergraph container method to replace $1/2$ by the sharp constant $1$. It is natural to ask whether a similar phenomenon holds for every fixed partition $λ$. Minimum degree alone is not sufficient: balanced complete bipartite graphs have arbitrarily large minimum degree but are always $\{1,1\}$-choosable. We show that the appropriate replacement is the minimum $q$-codegree, defined for $|V(G)|\geq q$ by $δ_q(G)=\min\{|N_G(S)|:S\subseteq V(G),\,|S|=q\}$.
More precisely, for every partition $λ$ there exists an integer $d$ such that every graph $G$ with $δ_q(G)\geq d$ is not $λ$-choosable. Let $f(λ)$ be the least such $d$. For every fixed $q$, we prove $f(λ)\leq2^{(2q+o(1))|λ|}$ as $|λ|\to\infty$, while $f(λ)\geq(q+1)^{-1}(1+1/q)^{|λ|}$ for every $λ$. For the partition $\{k,\ldots,k\}$ with $q$ equal parts, we determine the threshold asymptotically: $f(\{k,\ldots,k\})=ρ_q^{-(1+o(1))k}$ as $k\to\infty$, where $ρ_q$ is the unique $x\in(0,1)$ satisfying $x=(1-x)^q$. When $q=1$, our result implies $\operatorname{ch}(G)\geq(1-o(1))\log_2δ(G)$.
On spanning trees whose degrees are congruent to one modulo $\ell$
An $\ell$-congruent spanning tree of a nontrivial connected graph is a spanning tree in which every vertex has degree congruent to one modulo $\ell$. This notion provides a common generalization of classical spanning trees and odd spanning trees. We show, via a constructive greedy algorithm, that every $n$-vertex graph $G$ satisfying $n\equiv2\pmod{\ell}$ and $δ(G)>\frac{(\ell-1)n}{\ell}$ has an $\ell$-congruent spanning tree. For the special case of odd spanning trees ($\ell=2$), our algorithmic approach simplifies the original proof by Zheng and Wu. We also derive formulas for the numbers of $\ell$-congruent spanning trees in complete graphs and complete bipartite graphs. These formulas specialize to the classical spanning-tree formulas when $\ell=1$ and to the corresponding odd-spanning-tree formulas when $\ell=2$.
Complexity and algorithms for proper conflict-free coloring in graphs
A proper conflict-free (PCF) $k$-coloring of a graph $G$ is a proper $k$-coloring such that there exists a color that appears exactly once in the neighborhood of every non-isolated vertex $v\in V(G)$. The PCF chromatic number, denoted by $χ_{pcf}(G)$, is the least integer $k$ such that there exists a PCF $k$-coloring of $G$. Given a graph $G$ and a positive integer $k$, PCF $k$-COLORABILITY is to decide whether $G$ admits a PCF $k$-coloring. Ahn et al. [Discrete Appl. Math. 377 (2025) 10-17] proved that PCF $k$-COLORABILITY is NP-complete for bipartite graphs. We strengthen this result by proving that PCF $k$-COLORABILITY is NP-complete for perfect elimination bipartite graphs, which is a proper subclass of bipartite graphs. We also show that the PCF chromatic number of a graph cannot be approximated within $O(n^{1-\varepsilon})$ unless P=NP, for any $\varepsilon>0$. On the positive side, we provide linear-time algorithms for PCF $k$-COLORABILITY in block graphs, proper interval graphs, chain graphs, and pseudo-split graphs. We show that $χ_{pcf}(G)\leq ω(G)+1$ for block graphs, proper interval graphs, and pseudo-split graphs (except $C_5$), and we characterize all graphs for which the equality holds.
A higher-connectivity spectral Ore theorem for triangle-free graphs
Let $B_{n,k}$ be the graph obtained from the balanced complete bipartite graph on $n$ vertices by deleting a matching of size $k$. If $G$ is an $n$-vertex triangle-free graph with $κ(\comp G)\geq k$, we prove that $\rhoA(G)\leq\rhoA(B_{n,k})$ for $n\geq4k+2$, with equality precisely when $G\cong B_{n,k}$, and we compute $\rhoA(B_{n,k})$ explicitly. We also solve the bipartite problem for every $n\geq2k+1$, determine the boundary value $\operatorname{spex}_κ(2k,K_3;k)=k-1$, and settle the full problem for $k=2$. In particular, $B_{n,2}$ is uniquely extremal exactly from order $6$ onward. For $k=1$, equivalently when the complement is connected, $B_{n,1}=K_{\ceil{n/2},\floor{n/2}}-e$ is uniquely extremal for every $n\geq3$.