bipartite graph
2514 papers tagged with this keyword
Spanning trees in complete bipartite graphs and resistance distance in nearly complete bipartite graphs
Published in Discrete Applied Mathematics 283 (2020) 542-554
• View Publication
• BIB
Using the theory of electrical network, we first obtain a simple formula for the number of spanning trees of a complete bipartite graph containing a certain matching or a certain tree. Then we apply the effective resistance (i.e., resistance distance in graphs) to find a formula for the number of spanning trees in the nearly complete bipartite graph $G(m,n,p)=K_{m,n}-pK_2$ $(p\leq \min\{m,n\})$, which extends a recent result by Ye and Yan who obtained the effective resistances and the number of spanning trees in $G(n,n,p)$. As a corollary, we obtain the Kirchhoff index of $G(m,n,p)$ which extends a previous result by Shi and Chen.
The Turán number of blow-ups of trees
A conjecture of Erdős from 1967 asserts that any graph on $n$ vertices which does not contain a fixed $r$-degenerate bipartite graph $F$ has at most $Cn^{2-1/r}$ edges, where $C$ is a constant depending only on $F$. We show that this bound holds for a large family of $r$-degenerate bipartite graphs, including all $r$-degenerate blow-ups of trees. Our results generalise many previously proven cases of the Erdős conjecture, including the related results of Füredi and Alon, Krivelevich and Sudakov. Our proof uses supersaturation and a random walk on an auxiliary graph.
From independent sets and vertex colorings to isotropic spaces and isotropic decompositions
In the 1970's, Lovász built a bridge between graphs and alternating matrix spaces, in the context of perfect matchings (FCT 1979). A similar connection between bipartite graphs and matrix spaces plays a key role in the recent resolutions of the non-commutative rank problem (Garg-Gurvits-Oliveira-Wigderson, FOCS 2016; Ivanyos-Qiao-Subrahmanyam, ITCS 2017). In this paper, we lay the foundation for another bridge between graphs and alternating matrix spaces, in the context of independent sets and vertex colorings. The corresponding structures in alternating matrix spaces are isotropic spaces and isotropic decompositions, both useful structures in group theory and manifold theory.
We first show that the maximum independent set problem and the vertex c-coloring problem reduce to the maximum isotropic space problem and the isotropic c-decomposition problem, respectively. Next, we show that several topics and results about independent sets and vertex colorings have natural correspondences for isotropic spaces and decompositions. These include algorithmic problems, such as the maximum independent set problem for bipartite graphs, and exact exponential-time algorithms for the chromatic number, as well as mathematical questions, such as the number of maximal independent sets, and the relation between the maximum degree and the chromatic number. These connections lead to new interactions between graph theory and algebra. Some results have concrete applications to group theory and manifold theory, and we initiate a variant of these structures in the context of quantum information theory. Finally, we propose several open questions for further exploration.
This paper is dedicated to the memory of Ker-I Ko.
Maps related to polar spaces preserving a Weyl distance or an incidence condition
Published in Journal of Combinatorial Theory, Series A 160C (2018) pp. 332-408
• View Publication
• BIB
Let $Ω_i$ and $Ω_j$ be the sets of elements of respective types $i$ and $j$ of a polar space~$Δ$ of rank at least $3$, viewed as a Tits-building. For any Weyl distance $δ$ between $Ω_i$ and $Ω_j$, we show that $δ$ is characterised by $i$ and $j$ and two additional numerical parameters $k$ and $\ell$. We consider permutations $ρ$ of $Ω_i \cup Ω_j$ that preserve a single Weyl distance $δ$. Up to a minor technical condition on $\ell$, we prove that, up to trivial cases and two classes of true exceptions, $ρ$ is induced by an automorphism of the Tits-building associated to $Δ$, which is always a type-preserving automorphism of $Δ$ (and hence preserving all Weyl-distances), unless $Δ$ is hyperbolic, in which case there are outer automorphisms. For each class of exceptions, we determine a Tits-building $Δ'$ in which $Δ$ naturally embeds and is such that $ρ$ is induced by an automorphism of $Δ'$. At the same time, we prove similar results for permutations preserving a natural incidence condition. These yield combinatorial characterisations of all groups of algebraic origin which are the full automorphism group of some polar space as the automorphism group of many bipartite graphs.
Subdivisions of vertex-disjoint cycles in bipartite graphs
Let $n\geq 6,k\geq 0$ be two integers. Let $H$ be a graph of order $n$ with $k$ components, each of which is an even cycle of length at least $6$ and $G$ be a bipartite graph with bipartition $(X,Y)$ such that $|X|=|Y|\geq n/2$. In this paper, we show that if the minimum degree of $G$ is at least $n/2-k+1$, then $G$ contains a subdivision of $H$. This generalized an older result of Wang.
More on the extremal number of subdivisions
Given a graph $H$, the extremal number $\mathrm{ex}(n,H)$ is the largest number of edges in an $H$-free graph on $n$ vertices. We make progress on a number of conjectures about the extremal number of bipartite graphs. First, writing $K'_{s,t}$ for the subdivision of the bipartite graph $K_{s,t}$, we show that $\mathrm{ex}(n, K'_{s,t}) = O(n^{3/2 - \frac{1}{2s}})$. This proves a conjecture of Kang, Kim and Liu and is tight up to the implied constant for $t$ sufficiently large in terms of $s$. Second, for any integers $s, k \geq 1$, we show that $\mathrm{ex}(n, L) = Θ(n^{1 + \frac{s}{sk+1}})$ for a particular graph $L$ depending on $s$ and $k$, answering another question of Kang, Kim and Liu. This result touches upon an old conjecture of Erdős and Simonovits, which asserts that every rational number $r \in (1,2)$ is realisable in the sense that $\mathrm{ex}(n,H) = Θ(n^r)$ for some appropriate graph $H$, giving infinitely many new realisable exponents and implying that $1 + 1/k$ is a limit point of realisable exponents for all $k \geq 1$. Writing $H^k$ for the $k$-subdivision of a graph $H$, this result also implies that for any bipartite graph $H$ and any $k$, there exists $δ> 0$ such that $\mathrm{ex}(n,H^{k-1}) = O(n^{1 + 1/k - δ})$, partially resolving a question of Conlon and Lee. Third, extending a recent result of Conlon and Lee, we show that any bipartite graph $H$ with maximum degree $r$ on one side which does not contain $C_4$ as a subgraph satisfies $\mathrm{ex}(n, H) = o(n^{2 - 1/r})$.
Bipartite Graphs as Polynomials, and Polynomials as Bipartite Graphs (with a view towards dividing in $\mathbb{N}[x],$ $\mathbb{N}[x,y]$)
The aim of this paper is to show that any finite undirected bipartite graph can be considered as a polynomial $p \in \mathbb{N}[x]$, and any directed finite bipartite graph can be considered as a polynomial $p\in\mathbb{N}[x,y]$, and vise verse. We also show that the multiplication in semirings $\mathbb{N}[x]$, $\mathbb{N}[x,y]$ correspondences to a operations of the corresponding graphs which looks like a ``perturbed'' products of graphs. As an application, we give a new point of view to dividing in semirings $\mathbb{N}[x]$, $\mathbb{N}[x,y]$. Finally, we endow the set of all bipartite graphs with the Zariski topology.
Large homogeneous subgraphs in bipartite graphs with forbidden induced subgraphs
For a bipartite graph G, let h(G) be the largest t such that either G or the bipartite complement of G contain K_{t,t}. For a class F of graphs, let h(F)= min {h(G): G\in F}. We say that a bipartite graph H is strongly acyclic if neither H nor its bipartite complement contain a cycle. By Forb(n, H) we denote a set of bipartite graphs with parts of sizes n each, that do not contain H as an induced bipartite subgraph respecting the sides. One can easily show that h(Forb(n,H))= O(n^{1-s}) for a positive s if H is not strongly acyclic. Here, we prove that h(Forb(n, H)) is linear in n for all strongly acyclic graphs except for four graphs.
Z_2-genus of graphs and minimum rank of partial symmetric matrices
The \emph{genus} $\mathrm{g}(G)$ of a graph $G$ is the minimum $g$ such that $G$ has an embedding on the orientable surface $M_g$ of genus $g$.
A drawing of a graph on a surface is \emph{independently even} if every pair of nonadjacent edges in the drawing crosses an even number of times. The \emph{$\mathbb{Z}_2$-genus} of a graph $G$, denoted by $\mathrm{g}_0(G)$, is the minimum $g$ such that $G$ has an independently even drawing on $M_g$.
By a result of Battle, Harary, Kodama and Youngs from 1962, the graph genus is additive over 2-connected blocks.
In 2013, Schaefer and Štefankovič proved that the $\mathbb{Z}_2$-genus of a graph is additive over 2-connected blocks as well, and asked whether this result can be extended to so-called 2-amalgamations, as an analogue of results by Decker, Glover, Huneke, and Stahl for the genus. We give the following partial answer. If $G=G_1\cup G_2$, $G_1$ and $G_2$ intersect in two vertices $u$ and $v$, and $G-u-v$ has $k$ connected components (among which we count the edge $uv$ if present), then $|\mathrm{g}_0(G)-(\mathrm{g}_0(G_1)+\mathrm{g}_0(G_2))|\le k+1$.
For complete bipartite graphs $K_{m,n}$, with $n\ge m\ge 3$, we prove that $\frac{\mathrm{g}_0(K_{m,n})}{\mathrm{g}(K_{m,n})}=1-O(\frac{1}{n})$. Similar results are proved also for the Euler $\mathbb{Z}_2$-genus.
We express the $\mathbb{Z}_2$-genus of a graph using the minimum rank of partial symmetric matrices over $\mathbb{Z}_2$; a problem that might be of independent interest.
Large homogeneous submatrices
A matrix is homogeneous if all of its entries are equal. Let $P$ be a $2\times 2$ zero-one matrix that is not homogeneous. We prove that if an $n\times n$ zero-one matrix $A$ does not contain $P$ as a submatrix, then $A$ has an $cn\times cn$ homogeneous submatrix for a suitable constant $c>0$. We further provide an almost complete characterization of the matrices $P$ (missing only finitely many cases) such that forbidding $P$ in $A$ guarantees an $n^{1-o(1)}\times n^{1-o(1)}$ homogeneous submatrix. We apply our results to chordal bipartite graphs, totally balanced matrices, halfplane-arrangements and string graphs.
A polynomial version of Cereceda's conjecture
Let $k$ and $d$ be such that $k \ge d+2$. Consider two $k$-colourings of a $d$-degenerate graph $G$. Can we transform one into the other by recolouring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length. However, Cereceda conjectured that there should exist one of quadratic length.
The $k$-reconfiguration graph of $G$ is the graph whose vertices are the proper $k$-colourings of $G$, with an edge between two colourings if they differ on exactly one vertex. Cereceda's conjecture can be reformulated as follows: the diameter of the $(d+2)$-reconfiguration graph of any $d$-degenerate graph on $n$ vertices is $O(n^2)$. So far, the existence of a polynomial diameter is open even for $d=2$.
In this paper, we prove that the diameter of the $k$-reconfiguration graph of a $d$-degenerate graph is $O(n^{d+1})$ for $k \ge d+2$. Moreover, we prove that if $k \ge \frac 32 (d+1)$ then the diameter of the $k$-reconfiguration graph is quadratic, improving the previous bound of $k \ge 2d+1$. We also show that the $5$-reconfiguration graph of planar bipartite graphs has quadratic diameter, confirming Cereceda's conjecture for this class of graphs.
On a perfect matching in a random bipartite digraph with average out-degree below two
Existence of a perfect matching in a random bipartite digraph with bipartition $(V_1, V_2)$, $|V_i|=n$, is studied. The graph is generated in two rounds of random selections of a potential matching partner such that the average number of selections made by each vertex overall is below $2$. More precisely, in the first round each vertex chooses a potential mate uniformly at random, and independently of all vertices. Given a fixed integer $m$, a vertex is classified as unpopular if it has been chosen by at most $m$ vertices from the other side. Each unpopular vertex makes yet another uniform/independent selection of a potential mate. The expected number of selections made by a generic vertex $v$, i.e. its out-degree, is asymptotic to $1+\Bbb P(\text{Poisson}(1)\le m)\in (1,2)$. Aided by Matlab software, we prove that for $m=1$, whence for all $m\ge 1$, the resulting bipartite graph has a perfect matching a.a.s. (asymptotically almost surely). On the other hand, for $m=0$ a.a.s. a perfect matching does not exist, and the graph consists of a single giant component of size $2n -O(n^{1/2+o(1)})$ and possibly some components of size $O(\log n)$. This is a thorough revision of the joint paper (JCT(B) 88 (2003), 1-16) by the first author and the third author.
Optimal proper connection of graphs
An edge-colored graph $G$ is called properly colored if no two adjacent edges share a color in $G$. An edge-colored connected graph $G$ is called properly connected if between every pair of distinct vertices, there exists a path that is properly colored. In this paper, we discuss how to make a connected graph properly connected efficiently. More precisely, we consider the problem to convert a given monochromatic graph into properly connected by recoloring $p$ edges with $q$ colors so that $p+q$ is as small as possible. We discuss how this can be done efficiently for some restricted graphs, such as trees, complete bipartite graphs and graphs with independence number $2$.
Bipartization of graphs
Published
• View Publication
• BIB
A dominating set of a graph $G$ is a set $D\subseteq V_G$ such that every vertex in $V_G-D$ is adjacent to at least one vertex in $D$, and the domination number $γ(G)$ of $G$ is the minimum cardinality of a dominating set of $G$. In this paper we provide a new characterization of bipartite graphs whose domination number is equal to the cardinality of its smaller partite set. Our characterization is based upon a new graph operation.
Deformations of Dimer Models
Published in SIGMA 18 (2022), 030, 53 pages
• View Publication
• BIB
The combinatorial mutation of polygons, which transforms a given lattice polygon into another one, is an important operation to understand mirror partners for two-dimensional Fano manifolds, and the mutation-equivalent polygons give ${\mathbb Q}$-Gorenstein deformation-equivalent toric varieties. On the other hand, for a dimer model, which is a bipartite graph described on the real two-torus, one can assign a lattice polygon called the perfect matching polygon. It is known that for each lattice polygon $P$ there exists a dimer model having $P$ as the perfect matching polygon and satisfying certain consistency conditions. Moreover, a dimer model has rich information regarding toric geometry associated with the perfect matching polygon. In this paper, we introduce a set of operations which we call deformations of consistent dimer models, and show that the deformations of consistent dimer models realize the combinatorial mutations of the associated perfect matching polygons.
Concatenating bipartite graphs
Let $x,y\in(0,1]$ and let $A,B,C$ be disjoint nonempty subsets of a graph $G$, where every vertex in $A$ has at least $x|B|$ neighbours in $B$, and every vertex in $B$ has at least $y|C|$ neighbours in $C$. We denote by $φ(x,y)$ the maximum $z$ such that, in all such graphs $G$, there is a vertex $v$ in $C$ that is joined to at least $z|A|$ vertices in $A$ by two-edge paths. The function $φ$ is interesting, and we investigate some of its properties. For instance, we show that it is symmetric in $x$ and $y$, and that it has a discontinuity at $x=y=1/k$ for all integers $k>1$. We raise a number of questions and conjectures.
Maximum Wiener index of unicyclic graphs with given bipartition
The \emph{Wiener index} is a widely studied topological index of graphs. One of the main problems in the area is to determine which graphs of given properties attain the extremal values of Wiener index.
In this paper we resolve an open problem posed by Du in 2012. To this end we determine the unicyclic bipartite graphs with given size of parts having the maximum Wiener index. This completes the previous research in which the minimum case was solved.
Ordered graphs and large bi-cliques in intersection graphs of curves
An ordered graph $G_<$ is a graph with a total ordering $<$ on its vertex set. A monotone path of length $k$ is a sequence of vertices $v_1<v_2<\ldots<v_k$ such that $v_iv_{j}$ is an edge of $G_<$ if and only if $|j-i|=1$. A bi-clique of size $m$ is a complete bipartite graph whose vertex classes are of size $m$.
We prove that for every positive integer $k$, there exists a constant $c_k>0$ such that every ordered graph on $n$ vertices that does not contain a monotone path of length $k$ as an induced subgraph has a vertex of degree at least $c_kn$, or its complement has a bi-clique of size at least $c_kn/\log n$. A similar result holds for ordered graphs containing no induced ordered subgraph isomorphic to a fixed ordered matching.
As a consequence, we give a short combinatorial proof of the following theorem of Fox and Pach. There exists a constant $c>0$ such the intersection graph $G$ of any collection of $n$ $x$-monotone curves in the plane has a bi-clique of size at least $cn/\log n$ or its complement contains a bi-clique of size at least $cn$. (A curve is called $x$-monotone if every vertical line intersects it in at most one point.) We also prove that if $G$ has at most $\left(\frac14 -ε\right){n\choose 2}$ edges for some $ε>0$, then $\overline{G}$ contains a linear sized bi-clique. We show that this statement does not remain true if we replace $\frac14$ by any larger constants.
A Note on Covering Young Diagrams with Applications to Local Dimension of Posets
We prove that in every cover of a Young diagram with $\binom{2k}{k}$ steps with generalized rectangles there is a row or a column in the diagram that is used by at least $k+1$ rectangles. We show that this is best-possible by partitioning any Young diagram with $\binom{2k}{k}-1$ steps into actual rectangles, each row and each column used by at most $k$ rectangles. This answers two questions by Kim et al. (2018).
Our results can be rephrased in terms of local covering numbers of difference graphs with complete bipartite graphs, which has applications in the recent notion of local dimension of partially ordered sets.
Hamiltonicity of bi-power of bipartite graphs, for finite and infinite cases
For a graph $G$, the $t$-th power $G^t$ is the graph on $V(G)$ such that two vertices are adjacent if and only if they have distance at most $t$ in $G$; and the $t$-th bi-power $G_B^t$ is the graph on $V(G)$ such that two vertices are adjacent if and only if their distance in $G$ is odd at most $t$. Fleischner's theorem states that the square of every 2-connected finite graph has a Hamiltonian cycle. Georgakopoulos prove that the square of every 2-connected infinite locally finite graph has a Hamiltonian circle. In this paper, we consider the Hamiltonicity of the bi-power of bipartite graphs. We show that for every connected finite bipartite graph $G$ with a perfect matching, $G_B^3$ has a Hamiltonian cycle. We also show that if $G$ is a connected infinite locally finite bipartite graph with a perfect matching, then $G_B^3$ has a Hamiltonian circle.