bipartite graph
2574 papers tagged with this keyword
Extremal numbers and Sidorenko's conjecture
Published
• View Publication
• BIB
Sidorenko's conjecture states that, for all bipartite graphs $H$, quasirandom graphs contain asymptotically the minimum number of copies of $H$ taken over all graphs with the same order and edge density. While still open for graphs, the analogous statement is known to be false for hypergraphs. We show that there is some advantage in this, in that if Sidorenko's conjecture does not hold for a particular $r$-partite $r$-uniform hypergraph $H$, then it is possible to improve the standard lower bound, coming from the probabilistic deletion method, for its extremal number $\mathrm{ex}(n,H)$, the maximum number of edges in an $n$-vertex $H$-free $r$-uniform hypergraph. With this application in mind, we find a range of new counterexamples to the conjecture for hypergraphs, including all linear hypergraphs containing a loose triangle and all $3$-partite $3$-uniform tight cycles.
Winding number and circular 4-coloring of signed graphs
Concerning the recent notion of circular chromatic number of signed graphs, for each given integer $k$ we introduce two signed bipartite graphs, each on $2k^2-k+1$ vertices, having shortest negative cycle of length $2k$, and the circular chromatic number 4.
Each of the construction can be viewed as a bipartite analogue of the generalized Mycielski graphs on odd cycles, $M_{\ell}(C_{2k+1})$. In the course of proving our result, we also obtain a simple proof of the fact that $M_{\ell}(C_{2k+1})$ and some similar quadrangulations of the projective plane have circular chromatic number 4. These proofs have the advantage that they illuminate, in an elementary manner, the strong relation between algebraic topology and graph coloring problems.
Some results on the rainbow vertex-disconnection colorings of graphs
Published
• View Publication
• BIB
Let $G$ be a nontrivial connected and vertex-colored graph. A vertex subset $X$ is called rainbow if any two vertices in $X$ have distinct colors. The graph $G$ is called \emph{rainbow vertex-disconnected} if for any two vertices $x$ and $y$ of $G$, there exists a vertex subset $S$ such that when $x$ and $y$ are nonadjacent, $S$ is rainbow and $x$ and $y$ belong to different components of $G-S$; whereas when $x$ and $y$ are adjacent, $S+x$ or $S+y$ is rainbow and $x$ and $y$ belong to different components of $(G-xy)-S$. For a connected graph $G$, the \emph{rainbow vertex-disconnection number} of $G$, $rvd(G)$, is the minimum number of colors that are needed to make $G$ rainbow vertex-disconnected.
In this paper, we prove for any $K_4$-minor free graph, $rvd(G)\leq Δ(G)$ and the bound is sharp. We show it is $NP$-complete to determine the rainbow vertex-disconnection number for bipartite graphs and split graphs. Moreover, we show for every $ε>0$, it is impossible to efficiently approximate the rainbow vertex-disconnection number of any bipartite graph and split graph within a factor of $n^{\frac{1}{3}-ε}$ unless $ZPP=NP$.
Cops and robber on variants of retracts and subdivisions of oriented graphs
Published
• View Publication
• BIB
\textsc{Cops and Robber} is one of the most studied two-player pursuit-evasion games played on graphs, where multiple \textit{cops}, controlled by one player, pursue a single \textit{robber}. The main parameter of interest is the \textit{cop number} of a graph, which is the minimum number of cops that can ensure the \textit{capture} of the robber.
\textsc{Cops and Robber} is also well-studied on directed/oriented graphs. In directed graphs, two kinds of moves are defined for players: \textit{strong move}, where a player can move both along and against the orientation of an arc to an adjacent vertex; and \textit{weak move}, where a player can only move along the orientation of an arc to an \textit{out-neighbor}. We study three variants of \textsc{Cops and Robber} on oriented graphs: \textit{strong cop model}, where the cops can make strong moves while the robber can only make weak moves; \textit{normal cop model}, where both cops and the robber can only make weak moves; and \textit{weak cop model}, where the cops can make weak moves while the robber can make strong moves. We study the cop number of these models with respect to several variants of retracts on oriented graphs and establish that the strong and normal cop number of an oriented graph remains invariant in their strong and distributed retracts, respectively. Next, we go on to study all three variants with respect to the subdivisions of graphs and oriented graphs. Finally, we establish that all these variants remain computationally difficult even when restricted to the class of 2-degenerate bipartite graphs.
Complete bipartite graphs without small rainbow stars
Published
• View Publication
• BIB
The $k$-edge-colored bipartite Gallai-Ramsey number $\operatorname{bgr}_k(G:H)$ is defined as the minimum integer $n$ such that $n^2\geq k$ and for every $N\geq n$, every edge-coloring (using all $k$ colors) of complete bipartite graph $K_{N,N}$ contains a rainbow copy of $G$ or a monochromatic copy of $H$. In this paper, we first study the structural theorem on the complete bipartite graph $K_{n,n}$ with no rainbow copy of $K_{1,3}$. Next, we utilize the results to prove the exact values of $\operatorname{bgr}_{k}(P_4: H)$, $\operatorname{bgr}_{k}(P_5: H)$, $\operatorname{bgr}_{k}(K_{1,3}: H)$, where $H$ is a various union of cycles and paths and stars.
Spectral extremal graphs for edge blow-up of star forests
Published
• View Publication
• BIB
The edge blow-up of a graph $G$, denoted by $G^{p+1}$, is obtained by replacing each edge of $G$ with a clique of order $p+1$, where the new vertices of the cliques are all distinct. Yuan [J. Comb. Theory, Ser. B, 152 (2022) 379-398] determined the range of the Turán numbers for edge blow-up of all bipartite graphs and the exact Turán numbers for edge blow-up of all non-bipartite graphs. In this paper we prove that the graphs with the maximum spectral radius in an $n$-vertex graph without any copy of edge blow-up of star forests are the extremal graphs for edge blow-up of star forests when $n$ is sufficiently large.
On the Extremal Functions of Acyclic Forbidden 0-1 Matrices
Published
• View Publication
• BIB
The extremal theory of forbidden 0-1 matrices studies the asymptotic growth of the function $\mathrm{Ex}(P,n)$, which is the maximum weight of a matrix $A\in\{0,1\}^{n\times n}$ whose submatrices avoid a fixed pattern $P\in\{0,1\}^{k\times l}$. This theory has been wildly successful at resolving problems in combinatorics, discrete and computational geometry, structural graph theory, and the analysis of data structures, particularly corollaries of the dynamic optimality conjecture.
All these applications use acyclic patterns, meaning that when $P$ is regarded as the adjacency matrix of a bipartite graph, the graph is acyclic. The biggest open problem in this area is to bound $\mathrm{Ex}(P,n)$ for acyclic $P$. Prior results have only ruled out the strict $O(n\log n)$ bound conjectured by Furedi and Hajnal. It is consistent with prior results that $\forall P. \mathrm{Ex}(P,n)\leq n\log^{1+o(1)} n$, and also consistent that $\forall ε>0.\exists P. \mathrm{Ex}(P,n) \geq n^{2-ε}$.
In this paper we establish a stronger lower bound on the extremal functions of acyclic $P$. Specifically, we give a new construction of relatively dense 0-1 matrices with $Θ(n(\log n/\log\log n)^t)$ 1s that avoid an acyclic $X_t$. Pach and Tardos have conjectured that this type of result is the best possible, i.e., no acyclic $P$ exists for which $\mathrm{Ex}(P,n)\geq n(\log n)^{ω(1)}$.
Extremal Bounds on Peripherality Measures
We investigate several measures of peripherality for vertices and edges in networks. We improve asymptotic bounds on the maximum value achieved by edge peripherality, edge sum peripherality, and the Trinajstić index over $n$ vertex graphs. We also prove similar results on the maxima over $n$-vertex bipartite graphs, trees, and graphs with a fixed diameter. Finally, we refute two conjectures of Furtula, the first on necessary conditions for minimizing the Trinajstić index and the second about maximizing the Trinajstić index.
Normality of $k$-Matching Polytopes of Bipartite Graphs
Published
• View Publication
• BIB
The $k$-matching polytope of a graph is the convex hull of all its matchings of a given size $k$ when they are considered as indicator vectors. In this paper, we prove that the $k$-matching polytope of a bipartite graph is normal, that is, every integer point in its $t$-dilate is the sum of $t$ integers points of the original polytope. This generalizes the known fact that Birkhoff polytopes are normal. As a preliminary result, we prove that for bipartite graphs the $k$-matching polytope is equal to the fractional $k$-matching polytope, having thus the $H$-representation of the polytope. This generalizes the Birkhoff-Von Neumann Theorem which establish that every doubly stochastic matrix can be written as a convex combination of permutation matrices.
Weak saturation numbers in random graphs
For two given graphs $G$ and $F$, a graph $ H$ is said to be weakly $ (G, F) $-saturated if $H$ is a spanning subgraph of $ G$ which has no copy of $F$ as a subgraph and one can add all edges in $ E(G)\setminus E(H)$ to $ H$ in some order so that a new copy of $F$ is created at each step. The weak saturation number $ wsat(G, F)$ is the minimum number of edges of a weakly $(G, F)$-saturated graph. In this paper, we deal with the relation between $ wsat(G(n,p), F)$ and $ wsat(K_n, F)$, where $G(n,p)$ denotes the Erdős--Rényi random graph and $ K_n$ denotes the complete graph on $ n$ vertices. For every graph $ F$ and constant $ p$, we prove that $ wsat( G(n,p),F)= wsat(K_n,F)(1+o(1))$ with high probability. Also, for some graphs $ F$ including complete graphs, complete bipartite graphs, and connected graphs with minimum degree $ 1$ or $ 2$, it is shown that there exists an $ \varepsilon(F)>0$ such that, for any $ p\geqslant n^{-\varepsilon(F)}\log n$, $ wsat( G(n,p),F)= wsat(K_n,F)$ with high probability.
Partitioning graphs with linear minimum degree
Published
• View Publication
• BIB
We prove that there exists an absolute constant $C>0$ such that, for any positive integer $k$, every graph $G$ with minimum degree at least $Ck$ admits a vertex-partition $V(G)=S\cup T$, where both $G[S]$ and $G[T]$ have minimum degree at least $k$, and every vertex in $S$ has at least $k$ neighbors in $T$. This confirms a question posted by Kühn and Osthus and is tight up to a constant factor. Our proof combines probabilistic methods with structural arguments based on Ore's Theorem on $f$-factors of bipartite graphs.
Outerplane bipartite graphs with isomorphic resonance graphs
Published in Discrete Appl. Math. 343 (2024) 340-349
• View Publication
• BIB
We present novel results related to isomorphic resonance graphs of 2-connected outerplane bipartite graphs. As the main result, we provide a structure characterization for 2-connected outerplane bipartite graphs with isomorphic resonance graphs. Moreover, two additional characterizations are expressed in terms of resonance digraphs and via local structures of inner duals of 2-connected outerplane bipartite graphs, respectively.
The Maker-Maker domination game in forests
We study the Maker-Maker version of the domination game introduced in 2018 by Duchêne et al. Given a graph, two players alternately claim vertices. The first player to claim a dominating set of the graph wins. As the Maker-Breaker version, this game is PSPACE-complete on split and bipartite graphs. Our main result is a linear time algorithm to solve this game in forests. We also give a characterization of the cycles where the first player has a winning strategy.
Matrix Schubert varieties, binomial ideals, and reduced Gröbner bases
Published
• View Publication
• BIB
We prove a sharp lower bound on the number of terms in an element of the reduced Gröbner basis of a Schubert determinantal ideal $I_w$ under the term order of [Knutson-Miller '05]. We give three applications. First, we give a pattern-avoidance characterization of the matrix Schubert varieties whose defining ideals are binomial. This complements a result of [Escobar-Mészáros '16] on matrix Schubert varieties that are toric with respect to their natural torus action. Second, we give a combinatorial proof that the recent formulas of [Rajchgot-Robichaux-Weigandt '23] and [Almousa-Dochtermann-Smith '22] computing the Castelnuovo-Mumford regularity of vexillary $I_w$ and toric edge ideals of bipartite graphs respectively agree for binomial $I_w$. Third, we demonstrate that the Gröbner basis for $I_w$ given by minimal generators [Gao-Yong '22] is reduced if and only if the defining permutation $w$ is vexillary.
Integer k-matching preclusion of graphs
Published
• View Publication
• BIB
As a generalization of matching preclusion number of a graph, we provide the (strong) integer $k$-matching preclusion number, abbreviated as $MP^{k}$ number ($SMP^{k}$ number), which is the minimum number of edges (vertices and edges) whose deletion results in a graph that has neither perfect integer $k$-matching nor almost perfect integer $k$-matching. In this paper, we show that when $k$ is even, the ($SMP^{k}$) $MP^{k}$ number is equal to the (strong) fractional matching preclusion number. We obtain a necessary condition of graphs with an almost-perfect integer $k$-matching and a relational expression between the matching number and the integer $k$-matching number of bipartite graphs. Thus the $MP^{k}$ number and the $SMP^{k}$ number of complete graphs, bipartite graphs and arrangement graphs are obtained, respectively.
Induced subgraphs and tree decompositions IX. Grid theorem for perforated graphs
Published in Advances in Combinatorics 2025:3, 40pp
• View Publication
• BIB
The celebrated Erdős-Pósa Theorem, in one formulation, asserts that for every $c\geq 1$, graphs with no subgraph (or equivalently, minor) isomorphic to the disjoint union of $c$ cycles have bounded treewidth. What can we say about the treewidth of graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles?
Let us call these graphs $c$-perforated. While $1$-perforated graphs have treewidth one, complete graphs and complete bipartite graphs are examples of $2$-perforated graphs with arbitrarily large treewidth. But there are sparse examples, too: Bonamy, Bonnet, Déprés, Esperet, Geniet, Hilaire, Thomassé and Wesolek constructed $2$-perforated graphs with arbitrarily large treewidth and no induced subgraph isomorphic to $K_3$ or $K_{3,3}$; we call these graphs occultations. Indeed, it turns out that a mild (and inevitable) adjustment of occultations provides examples of $2$-perforated graphs with arbitrarily large treewidth and arbitrarily large girth, which we refer to as full occultations.
Our main result shows that the converse also holds: for every $c\geq 1$, a $c$-perforated graph has large treewidth if and only if it contains, as an induced subgraph, either a large complete graph, or a large complete bipartite graph, or a large full occultation. This distinguishes $c$-perforated graphs, among graph classes purely defined by forbidden induced subgraphs, as the first to admit a grid-type theorem incorporating obstructions other than subdivided walls and their line graphs.
More generally, for all $c,o\geq 1$, we establish a full characterization of induced subgraph obstructions to bounded treewidth in graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles, each of length at least $o+2$.
Settling the nonorientable genus of the nearly complete bipartite graphs
Published
• View Publication
• BIB
A graph is said to be nearly complete bipartite if it can be obtained by deleting a set of independent edges from a complete bipartite graph. The nonorientable genus of such graphs is known except in a few cases where the sizes of the partite classes differ by at most one, and a maximum matching is deleted. We resolve these missing cases using three classic tools for constructing genus embeddings of the complete bipartite graphs: current graphs, diamond sums, and the direct rotation systems of Ringel.
Complexity of Near-3-Choosability Problem
Published
• View Publication
• BIB
It is currently an unsolved problem to determine whether a $\triangle$-free planar graph $G$ contains an independent set $A$ such that $G[V_G\setminus A]$ is $2$-choosable. However, in this paper, we take a slightly different approach by relaxing the planarity condition. We prove the $\mathbb{NP}$-completeness of the above decision problem when the graph is $\triangle$-free, $4$-colorable, and of diameter $3$. Building upon this notion, we examine the computational complexity of two optimization problems: minimum near $3$-choosability and minimum $2$-choosable deletion. In the former problem, the goal is to find an independent set $A$ of minimum size in a given graph $G$, such that the induced subgraph $G[V_G \setminus A]$ is $2$-choosable. We establish that this problem is $\mathbb{NP}$-hard to approximate within a factor of $|V_G|^{1-ε}$ for any $ε> 0$, even for planar bipartite graphs. On the other hand, the problem of minimum $2$-choosable deletion involves determining a vertex set $A \subseteq V_G$ of minimum cardinality such that the induced subgraph $G[V_G \setminus A]$ is $2$-choosable. We prove that this problem is $\mathbb{NP}$-complete, but can be approximated within a factor of $O(\log |V_G|)$.
Equitable coloring of planar graphs with maximum degree at least eight
Published
• View Publication
• BIB
The Chen-Lih-Wu Conjecture states that each connected graph with maximum degree $Δ\geq 3$ that is not the complete graph $K_{Δ+1}$ or the complete bipartite graph $K_{Δ,Δ}$ admits an equitable coloring with $Δ$ colors. For planar graphs, the conjecture has been confirmed for $Δ\geq 13$ by Yap and Zhang and for $9\leq Δ\leq 12$ by Nakprasit. In this paper, we present a proof that confirms the conjecture for graphs embeddable into a surface with non-negative Euler characteristic with maximum degree $Δ\geq 9$ and for planar graphs with maximum degree $Δ\geq 8$.
Nonorientable genus embedding of nearly complete bipartite graphs
The nearly complete bipartite graph $G(m,n,k)$ is obtained by removing $k$ independent edges from the complete bipartite graph $K_{m,n}$. In this paper, we prove that for any nearly complete bipartite graph $G(m,n,k)$ with $m, n\geq 3$, and $(m,n,k)\notin\{(5,4,4)$, $(4,5,4)$, $(5,5,5)\}$, there exists a nonorientable genus embedding $Π$ satisfying $\tildeγ(Π)=\max\{\lceil \big((m-2)(n-2)-k\big)/2\rceil, 1\}$. This embedding can be constructed by starting from an embedding of some $G(p,q,h)$ with $h\leq 6$ and $p,q\leq 7$, and then iteratively adding multiple copies of $G(2,2,2)$, $G(2,0,0)$ and $G(0,2,0)$. As a consequence, the previously unresolved nonorientable genus $\tildeγ(G(n+1,n,n))$ for even $n$ and $\tildeγ(G(n,n,n))$ for arbitrary $n$ are now determined.