bipartite graph
2511 papers tagged with this keyword
Colour-balanced subgraphs
A $k$-edge-coloured graph is colour-balanced if each colour appears equally often. Resolving a conjecture of Pardey and Rautenbach, we show that any colour-balanced $k$-edge-coloured complete graph $K_{2kt}$ contains a perfect matching that can be made colour-balanced by recolouring $O(k^2)$ edges. More generally, we obtain analogous bounds for arbitrary bounded-degree spanning subgraphs of edge-coloured complete graphs and for perfect matchings in edge-coloured $r$-uniform complete hypergraphs in a more general vector-label setting. The former result answers a question recently posed by Banerjee and Hollom, and significantly improves earlier bounds for all previously studied classes of subgraph. Our proofs reduce each of these problems to a setting in which we can apply a bound for perfect matchings in the complete bipartite graph, established via a linear relaxation and a necklace-splitting argument.
Induced rational exponents near two
Given a bipartite graph $H$ and a natural number $s$, let $\mathrm{ex}^*(n,H,s)$ denote the maximum number of edges in an $n$-vertex graph that contains neither $K_{s,s}$ nor an induced copy of $H$. Hunter, Milojević, Sudakov, and Tomon conjectured that $\mathrm{ex}^*(n,H,s)=O_{H,s}(\mathrm{ex}(n,H))$ whenever $H$ is connected. Motivated by this conjecture and the rational exponents conjecture, Dong, Gao, Li, and Liu conjectured that for every rational $r\in (1,2)$ there is a bipartite graph $H$ and an $s_0$ such that $\mathrm{ex}^*(n,H,s)=Θ(n^r)$ for all $s\geq s_0$.
We prove that the latter conjecture holds for all rationals $r=2-a/b$, where $a,b\in\mathbb{N}$ satisfy $b\geq \max\{a,(a-1)^2\}$. Our result extends a well-known result of Conlon and Janzer to the induced setting and adds more evidence to support the former conjecture.
Equitable coloring of large bipartite graphs
For a graph $G$, the \emph{equitable chromatic number} of $G$, denoted by $χ_e(G)$, is the smallest integer $k$ such that $G$ admits a proper $k$-coloring whose color classes differ in size by at most one. We prove that for every $ζ>41/2$, there exists a constant $c=c(ζ)\in\mathbb{N}$ such that every bipartite graph $G$ with maximum degree $Δ(G)\ge c$ and $|V(G)|\ge ζΔ(G)$ satisfies $χ_e(G)\le \left\lceilΔ(G)/2\right\rceil+1$. The leading term $Δ(G)/2$ in this bound is best possible for upper bounds stated solely in terms of $Δ(G)$ for bipartite graphs. Our proof yields an $O(|V(G)|^2)$-time algorithm for constructing such a coloring.
Immanantal polynomials of the linear combination matrices of graphs
In this paper, we focus on the study of immanantal polynomials for linear combination matrices composed of the degree matrix and adjacency matrix of a graph. First, applying the concept of vertex orientation for general graphs, we provide a combinatorial interpretation of the coefficients of the immanantal polynomials for the linear combination matrices of graphs, and we also characterize the bounds of these coefficients. These bounds implicitly encompass the existing results of Chan and Lam on trees and bipartite graphs. Furthermore, we give a solution to the open problem posed by Merris. Second, we characterize the first six coefficients of the hook immanantal polynomial. And the necessary and sufficient condition under which the linear combination matrices of two regular graphs have the same hook immanantal polynomial is proved. Third, we generalize the Frobenius--König theorem and the Laplace expansion theorem to immanants. Using these two theorems, we show that the star degree of a graph is always a lower bound for the multiplicity of a certain root of the immanantal polynomial of its linear combination matrix. Finally, we derive formulas for the first six coefficients of the hook immanantal polynomial for several important graph matrices.
The matching book embedding of the $F$-sum of two graphs
The $F$-sum is a new graph operation defined by combining four graph transformation operations with the Cartesian product operation. A matching book embedding of a graph $G$ is a book embedding in which the vertices of $G$ are placed on a fixed linear order along the spine, and the edges are assigned to pages such that (i) no two edges on the same page cross, and (ii) each vertex has degree at most one on every page. The minimum number of pages required for such a matching book embedding is called the \emph{matching book thickness} of $G$, denoted by $mbt(G)$. A graph $G $ is dispersable if and only if $ mbt(G) = Δ(G) $, and nearly dispersable if and only if $mbt(G) = Δ(G) + 1 $. In this paper, we determine the dispersability of outerplanar graphs and establish an upper bound on the matching book thickness of the $F$-sum of any simple graph with any dispersable bipartite graph.
On Realizing Reconfiguration Graphs of Cliques
For a graph $H$ and an integer $k\ge 1$, the \emph{Token Sliding reconfiguration graph} $\mathsf{TS}_k(H)$ and the \emph{Token Jumping reconfiguration graph} $\mathsf{TJ}_k(H)$ have as vertices the $k$-cliques of $H$, with two vertices adjacent when one clique is obtained from the other by replacing one vertex with an adjacent non-member, and respectively by an arbitrary non-member. For a target graph $G$, we study the feasibility sets $\mathcal{K}^{\mathsf{TS}}(G)$ and $\mathcal{K}^{\mathsf{TJ}}(G)$, consisting of all integers $k$ for which $G$ is isomorphic to $\mathsf{TS}_k(H)$ and $\mathsf{TJ}_k(H)$, respectively, for some graph $H$. We determine the exact feasibility sets for complete graphs, paths, cycles, complete bipartite graphs, book graphs, friendship graphs, and their complements, and give complete classifications for all Johnson graphs.
Range of random $\mathbb Z$-homomorphisms on weak expanders
We prove that random $\mathbb{Z}$-homomorphisms on weakly expanding bipartite graphs exhibit a strong "flatness" phenomenon. Extending prior work of Peled, Samotij, and Yehudayoff for expanders, we first show that on any bipartite $(n, d, λ)$-graph with $λ\leq (1-δ)d$, a uniformly chosen $\mathbb{Z}$-homomorphism has a range at most $O(\log \log n)$ with high probability, which is tight up to a constant factor. This provides an affirmative answer to their question in the spectral setting. As a concrete application, we prove that a random $\mathbb{Z}$-homomorphism on the middle layers of the Hamming cube takes at most $5$ values with high probability. This shows that the $O(1)$-flatness for the full Hamming cube, proved by Kahn and Galvin, persists even when the rigid structural properties are relaxed.
Tree-independence number and forbidden induced subgraphs: excluding a $6$-vertex path and a $(2,t)$-biclique
We show that for every positive integer ${t \geq 2}$ there exists an integer $s$ such that every graph that contains no induced subgraph isomorphic to either the $6$-vertex path or the $(2,t)$-biclique, the complete bipartite graph $K_{2,t}$, has tree-independence number at most $s$. This result makes partial progress on a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht.
Sufficient conditions for Hamiltonianity in terms of the Zeroth-order General Randić Index
For a (molecular) graph $G$ and any real number $α\ne 0$ , the zero-order general Randić index , denote by $^0R_α$, is defined by the following equation: \begin{align*}
{^0R_α} (G) =\sum_{v\in G}d_G (v) ^α (α\in \mathbb{R}-\left\{0\right\}) . \end{align*}
In this paper, we use this index to give sufficient conditions for a graph $G$ to satisfy the Hamiltonian (or $k$-Hamiltonian) property, and show that none of these conditions can be dropped.
Finally we give similar results for the case when $G$ is a balanced bipartite graph.
Random Turán Problems for Graphs with a Vertex Complete to One Part
Given a graph $F$, the random Turán problem asks to determine the maximum number of edges in an $F$-free subgraph of $G_{n,p}$. Prior to this work, the only bipartite graphs $F$ with known tight bounds included certain classes of complete bipartite graphs and theta graphs. We greatly expand upon these examples by proving tight bounds for a number of bipartite graphs which have a vertex complete to one part. We also prove new general upper bounds for this problem which in many cases do significantly better than the only previous known general upper bound due to Jiang and Longbrake. Our proofs utilize dependent random choice together with the recent technique of balanced vertex supersaturation in conjunction with hypergraph containers.
Extremal graph theory and point configurations in Ahlfors-David regular sets
We study the problem of embedding bipartite graphs in Ahlfors-David regular sets of large dimension using results from extremal graph theory. Our main theorem states that any graph satisfying a power-improving bound on the extremal number can be found in the distance graph of a sufficiently high-dimensional AD-regular set. In particular, we show that AD-regular sets of dimension greater than $\frac{d+1}{2}$ must contain even cycles of all lengths if $d\geq 3$, and must contain even cycles of length at least 6 if $d=2$. This improves the best known threshold for the problem in $d\geq 4$, and yields entirely new results in $d=2,3$, under the extra assumption of AD-regularity. We also prove analogous results for large subsets of vector spaces over finite fields, which improve the best known exponent for even cycles in all dimensions.
Adjacent vertices of small degree in minimal matching covered graphs
A connected graph $G$ with at least two vertices is matching covered if each of its edges lies in a perfect matching. A matching covered graph is minimal if the removal of any edge results in a graph that is no longer matching covered. An edge is called a $k$-line if both of its end vertices are of degree $k$. Lovász and Plummer [J. Combin. Theory, Ser. B 23 (1977) 127--138] proved that a minimal matching covered bipartite graph different from $K_2$ has minimum degree 2 and contains at least $[(|V(G)|+15)/6]$ 2-lines by ear decompositions. He et al. [J. Graph Theory 111 (2026) 5--16] showed that the minimum degree of a minimal matching covered graph different from $K_2$ is either 2 or 3. In this paper, we prove that every minimal matching covered graph with at least 4 vertices contains at least two nonadjacent edges, each of which is either a 2-line or a 3-line. Consequently, we show that every minimal matching covered graph with at least 4 vertices and minimum degree 3 contains at least 4 vertices of degree 3. Furthermore, the lower bounds for both the number of 3-lines and the number of cubic vertices are sharp.
Sparse counting lemma for $K_4$
The sparse analogue of Szemerédi's regularity method has played a central role in the development of extremal results for random graphs. While the sparse embedding lemma (the KLR conjecture) has been resolved, the corresponding sparse counting lemma remains widely open. The conjecture, formulated by Gerke, Marciniszyn, and Steger, states that for every fixed graph $H$ and any $β>0$, there exists $\varepsilon>0$ such that the following holds. Consider a balanced blow-up of $H$ with vertex classes of size $n$, where each pair corresponding to an edge of $H$ forms an $(\varepsilon)$-regular bipartite graph with exactly $m$ edges. Assume that $m$ is above the natural threshold $m \gg n^{2-1/m_2(H)}$, then all but a $β^m$ proportion of such graphs contain at least $(1-δ)$ times the expected number of copies of $H$.
At present, among the complete graphs, the conjecture is known only for $H=K_3$. In this paper, we establish the $H=K_4$ case of the conjecture.
On the critical fugacity of the hard-core model on regular bipartite graphs
We establish long-range order for the hard-core model on a finite, regular bipartite graph above a threshold fugacity given in terms of expansion parameters of the graph. The result applies to the $d$-dimensional hypercube graph and, more generally, to $d$-dimensional discrete tori of fixed side length, proving long-range order at fugacities $λ\geΩ(\frac{\log d}{d})$. Furthermore, we use reflection positivity to transfer the result to the lattice $\mathbb{Z}^{d}$, verifying the long-standing belief that its critical fugacity is of the form $d^{-1+o(1)}$ as $d\to\infty$.
Isomorphic daisy cubes based on their $τ$-graphs
We prove that if $A$ and $B$ are daisy cubes whose $τ$-graphs are forests, then $A$ and $B$ are isomorphic if and only if their $τ$-graphs are isomorphic. The result is applied to show that a daisy cube with at least one edge is the resonance graph of a plane bipartite graph $G$ if and only if its $τ$-graph is a forest which is isomorphic to the inner dual of the subgraph of $G$ obtained by removing all forbidden edges. As a consequence, some well known properties of Fibonacci cubes and Lucas cubes are provided as examples with different proofs.
Spectral radius and rainbow $k$-factors in a bipartite graph family
Let $\mathcal{G}=\{G_1, G_2, \ldots , G_{kn}\}$ be a family of balanced bipartite graphs on the same vertex set $[2n]$. A rainbow $k$-factor of $\mathcal{G}$ is defined as a $k$-factor such that any two distinct edges come from different graphs in $\mathcal{G}.$ In this paper, we provide a tight sufficient condition in terms of the spectral radius for a family of balanced bipartite graphs $\mathcal{G}$ to contain a rainbow $k$-factor. Furthermore, we completely characterize the corresponding spectral extremal graph.
Local Morphology of the Partition Graph
For a fixed integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with adjacency defined by a single elementary transfer of a cell in the Ferrers diagram. In a previous paper, the clique complex $K_n = \mathrm{Cl}(G_n)$ was studied from a global homotopy-theoretic point of view. This paper studies instead the local combinatorics of the graph $G_n$ itself. For a partition $λ=(s_1^{m_1},\dots,s_t^{m_t})$, where $s_1>\dots>s_t>0$, we describe the admissible transfers from $λ$ in terms of its block structure. This yields a bipartite graph $B(λ)$ obtained from $K_{t,t+1}$ by deleting two explicitly determined families of edges, corresponding to singleton support blocks and unit support gaps. We prove that the graph induced on the neighborhood of $λ$ in $G_n$ is isomorphic to the line graph $L(B(λ))$. As consequences, we obtain an explicit formula for the degree of $λ$, a classification of all cliques through $λ$, and a formula for the maximal dimension of a simplex of $K_n$ containing $λ$. These local invariants are shown to depend only on an ordered binary datum associated with the support of $λ$. The results provide a local structural description of the partition graph and a combinatorial language for the study of larger-scale features of $G_n$.
Biregular bipartite labeled multigraphs and perfect matchings in bipartite tensor products
In 2019, P. Higgins formulated [1] a question about bipartite graphs (see Conjecture 1 below); this question arises in the study of regular finite semigroups. F. V. Petrov formulated [2] another combinatorial conjecture (Conjecture 3); Conjecture 3 implies Conjecture 1 and seems simple itself. However, both conjectures remain unproven in the general case. In the present paper, some special cases are proved, Conjecture 4 is formulated in the same spirit, and some of its special cases are proved. In addition, Conjecture 1 is reduced to a matrix inequality (Conjecture 5); this inequality is, in turn, also proved in a special case.
The Ferrers bound for spanning trees in bipartite graphs
We prove Ehrenborg's conjecture that every connected bipartite graph $G$ with parts of size $m$ and $n$ has at most $\frac{1}{mn}\prod_{v\in V(G)} \operatorname{deg}(v)$ spanning trees, and that equality holds if and only if $G$ is a Ferrers graph. The proof is fully formalized in Lean 4.
Counting color-critical subgraphs under Nikiforov's condition
For a graph $G$ with $m$ edges, let $ρ(G)$ be its spectral radius, and let $N_F(G)$ denote the number of copies of $F$ in $G$. Nikiforov [Combin. Probab.\,Comput., 2002] proved that for $r\geq 2$, if $ρ(G)>\sqrt{(1-1/r)2m}$, then $N_{K_{r+1}}(G)\geq 1$. Furthermore, Bollobás and Nikiforov [J. Combin. Theory, Ser. B, 2007] used $ρ(G)$ to establish a counting inequality for complete subgraphs. In this paper, we generalize and strengthen the above results to any color-critical graph $F$ with chromatic number at least four. More precisely, we demonstrated that under Nikiforov's condition, the number of copies of $F$ in $G$ satisfies $N_F(G)\geq\big(γ_F-o(1)\big)m^{(|F|-2)/2},$ where both the leading item and the constant $γ_F$ are optimal.
Let $F$ be a non-star graph with $χ(F)=r+1$, and let $G$ be any graph of sufficiently large size $m$ satisfying $N_F(G)=o(m^{|F|/2})$. To support the aforementioned counting arguments, we initially employ the method of progressive induction to tackle spectral problems, proving that $ρ(G)\leq\sqrt{(1-1/r+o(1))2m}$ for $r\geq 3$, and $ρ(G)\leq\sqrt{(1+o(1))m}$ for $r\in \{1,2\}$. Furthermore, we establish a stability result for edge-spectral supersaturation: specifically, if $r\geq 3$ and $ρ(G)\geq\sqrt{(1-1/r-o(1))2m}$, then $G$ differs from an $r$-partite Turán graph by $o(m)$ edges; if $r\in \{1,2\}$ and $ρ(G)\geq\sqrt{(1-o(1))m}$, then $G$ differs from a complete bipartite graph by $o(m)$ edges. This implies the well-known Erdos-Simonovits stability theorem and existing spectral stability theorems, by strengthening the setting from $F$-free graphs to graphs containing only a limited number of copies of $F$. Finally, we propose several counting-related open problems for further investigation.