bipartite graph
2604 papers tagged with this keyword
Planarity and genus of sparse random bipartite graphs
Published
• View Publication
• BIB
The genus of the binomial random graph $G(n,p)$ is well understood for a wide range of $p=p(n)$. Recently, the study of the genus of the random bipartite graph $G(n_1,n_2,p)$, with partition classes of size $n_1$ and $n_2$, was initiated by Mohar and Ying, who showed that when $n_1$ and $n_2$ are comparable in size and $p=p(n_1,n_2)$ is significantly larger than $(n_1n_2)^{-\frac{1}{2}}$ the genus of the random bipartite graph has a similar behaviour to that of the binomial random graph.
In this paper we show that there is a threshold for planarity of the random bipartite graph at $p=(n_1n_2)^{-\frac{1}{2}}$ and investigate the genus close to this threshold, extending the results of Mohar and Ying. It turns out that there is qualitatively different behaviour in the case where $n_1$ and $n_2$ are comparable, when whp the genus is linear in the number of edges, than in the case where $n_1$ is asymptotically smaller than $n_2$, when whp the genus behaves like the genus of a sparse random graph $G(n_1,q)$ for an appropriately chosen $q=q(p,n_1,n_2)$.
Regular Turán numbers of complete bipartite graphs
Published
• View Publication
• BIB
Let $\mathrm{rex}(n, F)$ denote the maximum number of edges in an $n$-vertex graph that is regular and does not contain $F$ as a subgraph. We give lower bounds on $\mathrm{rex}(n, F)$, that are best possible up to a constant factor, when $F$ is one of $C_4$, $K_{2,t}$, $K_{3,3}$ or $K_{s,t}$ when $t>s!$.
On new record graphs close to bipartite Moore graphs
Published
• View Publication
• BIB
The modelling of interconnection networks by graphs motivated the study of several extremal problems that involve well known parameters of a graph (degree, diameter, girth and order) and ask for the optimal value of one of them while holding the other two fixed. Here we focus in {\em bipartite Moore graphs\/}, that is, bipartite graphs attaining the optimum order, fixed either the degree/diameter or degree/girth. The fact that there are very few bipartite Moore graphs suggests the relaxation of some of the constraints implied by the bipartite Moore bound. First we deal with {\em local bipartite Moore graphs}. We find in some cases those local bipartite Moore graphs with local girths as close as possible to the local girths given by a bipartite Moore graph. Second, we construct a family of $(q+2)$-bipartite graphs of order $2(q^2+q+5)$ and diameter $3$, for $q$ a power of prime. These graphs attain the record value for $q=9$ and improve the values for $q=11$ and $q=13$.
The $\mathcal{N}\mathcal{F}$-Number of a Simplicial Complex
Published
• View Publication
• BIB
Let $Δ$ be a simplicial complex on $[n]$. The $\mathcal{N}\mathcal{F}$-complex of $Δ$ is the simplicial complex $δ_{\mathcal{N}\mathcal{F}}(Δ)$ on $[n]$ for which the facet ideal of $Δ$ is equal to the Stanley--Reisner ideal of $δ_{\mathcal{N}\mathcal{F}}(Δ)$. Furthermore, for each $k = 2,3,\ldots$\,, we introduce {\em $k^{th}$ $\mathcal{N}\mathcal{F}$-complex} $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ)$ which is inductively defined by $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ) = δ_{\mathcal{N}\mathcal{F}}(δ^{(k-1)}_{\mathcal{N}\mathcal{F}}(Δ))$ with setting $δ^{(1)}_{\mathcal{N}\mathcal{F}}(Δ) = δ_{\mathcal{N}\mathcal{F}}(Δ)$. One can set $δ^{(0)}_{\mathcal{N}\mathcal{F}}(Δ) = Δ$. The $\mathcal{N}\mathcal{F}$-number of $Δ$ is the smallest integer $k > 0$ for which $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ) \simeq Δ$. In the present paper we are especially interested in the $\mathcal{N}\mathcal{F}$-number of a finite graph, which can be regraded as a simplicial complex of dimension one. It is shown that the $\mathcal{N}\mathcal{F}$-number of the finite graph $K_n\coprod K_m$ on $[n + m]$, which is the disjoint union of the complete graphs $K_n$ on $[n]$ and $K_m$ on $[m]$, where $n \geq 2$ and $m \geq 2$ with $(n,m) \neq (2,2)$, is equal to $n + m + 2$. Its corollary says that the $\mathcal{N}\mathcal{F}$-number of the complete bipartite graph $K_{n,m}$ on $[n+m]$ is also equal to $n + m + 2$.
Antimagic orientation of graphs with minimum degree at least 33
Published
• View Publication
• BIB
An antimagic labeling of a directed graph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to the integers $\{1, \cdots, m\}$ such that all $n$ oriented vertex sums are pairwise distinct, where an oriented vertex sum is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. A graph $G$ has an antimagic orientation if it has an orientation which admits an antimagic labeling. Hefetz, M{ü}tze, and Schwartz conjectured that every connected graph admits an antimagic orientation. In this paper, we show that every bipartite graph without both isolated and degree 2 vertices admits an antimagic orientation and every graph $G$ with $δ(G)\ge 33$ admits an antimagic orientation. Our proof relies on a newly developed structural property of bipartite graphs, which might be of independent interest.
The Generic Bipartite Graphs of Diameter 3: Their Ages and their Almost Sure Theories
In an effort to find more examples of amalgamation classes whose almost sure theories are the same as their generic theories as well as amalgamation classes whose almost sure theories are different from their generic theories, we address our attention to two new cases: the bipartite diameter 3 metrically homogeneous graphs of generic type. These graphs were identified by Cherlin, and are determined by certain forbidden configurations. In this paper, we explicitly identify and enumerate their ages, for which we then establish both unlabeled and labeled 0-1 laws. Finally, we show that for one of these bipartite graphs the almost sure theory matches its generic theory, and for the other bipartite graph it does not.
The effect of adding randomly weighted edges
Published
• View Publication
• BIB
We consider the following question. We have a dense regular graph $G$ with degree $αn$, where $α>0$ is a constant. We add $m=o(n^2)$ random edges. The edges of the augmented graph $G(m)$ are given independent edge weights $X(e)$, $e\in E(G(m))$. We estimate the minimum weight of some specified combinatorial structures. We show that in certain cases, we can obtain the same estimate as is known for the complete graph, but scaled by a factor $α^{-1}$. We consider spanning trees, shortest paths, perfect matchings in (pseudo-random) bipartite graphs.
The K-theory of the C*-algebras of 2-rank graphs associated to complete bipartite graphs
Published
• View Publication
• BIB
Using a result of Vdovina, we may associate to each complete connected bipartite graph $κ$ a $2$-dimensional square complex, which we call a tile complex, whose link at each vertex is $κ$. We regard the tile complex in two different ways, each having a different structure as a $2$-rank graph. To each $2$-rank graph is associated a universal C*-algebra, for which we compute the K-theory, thus providing a new infinite collection of $2$-rank graph algebras with explicit K-groups. We determine the homology of the tile complexes, and give generalisations of the procedures to complexes and systems consisting of polygons with a higher number of sides.
Triangles in graphs without bipartite suspensions
Published in Discrete Mathematics 346, no. 6 (2023): 113355
• View Publication
• BIB
Given graphs $T$ and $H$, the generalized Turán number ex$(n,T,H)$ is the maximum number of copies of $T$ in an $n$-vertex graph with no copies of $H$. Alon and Shikhelman, using a result of Erd\H os, determined the asymptotics of ex$(n,K_3,H)$ when the chromatic number of $H$ is greater than 3 and proved several results when $H$ is bipartite. We consider this problem when $H$ has chromatic number 3. Even this special case for the following relatively simple 3-chromatic graphs appears to be challenging.
The suspension $\widehat H$ of a graph $H$ is the graph obtained from $H$ by adding a new vertex adjacent to all vertices of $H$. We give new upper and lower bounds on ex$(n,K_3,\widehat{H})$ when $H$ is a path, even cycle, or complete bipartite graph. One of the main tools we use is the triangle removal lemma, but it is unclear if much stronger statements can be proved without using the removal lemma.
Coloring Problems on Bipartite Graphs of Small Diameter
Published
• View Publication
• BIB
We investigate a number of coloring problems restricted to bipartite graphs with bounded diameter. First, we investigate the $k$-List Coloring, List $k$-Coloring, and $k$-Precoloring Extension problems on bipartite graphs with diameter at most $d$, proving NP-completeness in most cases, and leaving open only the List $3$-Coloring and $3$-Precoloring Extension problems when $d=3$.
Some of these results are obtained through a proof that the Surjective $C_6$-Homomorphism problem is NP-complete on bipartite graphs with diameter at most four. Although the latter result has been already proved [Vikas, 2017], we present ours as an alternative simpler one. As a byproduct, we also get that $3$-Biclique Partition is NP-complete. An attempt to prove this result was presented in [Fleischner, Mujuni, Paulusma, and Szeider, 2009], but there was a flaw in their proof, which we identify and discuss here.
Finally, we prove that the $3$-Fall Coloring problem is NP-complete on bipartite graphs with diameter at most four, and prove that NP-completeness for diameter three would also imply NP-completeness of $3$-Precoloring Extension on diameter three, thus closing the previously mentioned open cases. This would also answer a question posed in [Kratochvíl, Tuza, and Voigt, 2002].
Mapping Matchings to Minimum Vertex Covers: Kőnig's Theorem Revisited
It is a celebrated result in early combinatorics that, in bipartite graphs, the size of maximum matching is equal to the size of a minimum vertex cover. Kőnig's proof of this fact gave an algorithm for finding a minimum vertex cover from a maximum matching. In this paper, we revisit the connection this algorithm induces between the two types of structures. We find that all minimum vertex covers can be found by applying this algorithm to some matching and then classify which matchings give minimum vertex covers when this algorithm is applied to them.
Longest cycles in 3-connected hypergraphs and bipartite graphs
Published
• View Publication
• BIB
In the language of hypergraphs, our main result is a Dirac-type bound: we prove that every $3$-connected hypergraph $H$ with $ δ(H)\geq \max\{|V(H)|, \frac{|E(H)|+10}{4}\}$ has a hamiltonian Berge cycle.
This is sharp and refines a conjecture by Jackson from 1981 (in the language of bipartite graphs). Our proofs are in the language of bipartite graphs, since the incidence graph of each hypergraph is bipartite.
Asymmetric list sizes in bipartite graphs
Published in Ann. Comb. 25, 913-933 (2021)
• View Publication
• BIB
Given a bipartite graph with parts $A$ and $B$ having maximum degrees at most $Δ_A$ and $Δ_B$, respectively, consider a list assignment such that every vertex in $A$ or $B$ is given a list of colours of size $k_A$ or $k_B$, respectively.
We prove some general sufficient conditions in terms of $Δ_A$, $Δ_B$, $k_A$, $k_B$ to be guaranteed a proper colouring such that each vertex is coloured using only a colour from its list. These are asymptotically nearly sharp in the very asymmetric cases. We establish one sufficient condition in particular, where $Δ_A=Δ_B=Δ$, $k_A=\log Δ$ and $k_B=(1+o(1))Δ/\logΔ$ as $Δ\to\infty$. This amounts to partial progress towards a conjecture from 1998 of Krivelevich and the first author.
We also derive some necessary conditions through an intriguing connection between the complete case and the extremal size of approximate Steiner systems. We show that for complete bipartite graphs these conditions are asymptotically nearly sharp in a large part of the parameter space. This has provoked the following.
In the setup above, we conjecture that a proper list colouring is always guaranteed
* if $k_A \ge Δ_A^\varepsilon$ and $k_B \ge Δ_B^\varepsilon$ for any $\varepsilon>0$ provided $Δ_A$ and $Δ_B$ are large enough;
* if $k_A \ge C \logΔ_B$ and $k_B \ge C \logΔ_A$ for some absolute constant $C>1$; or
* if $Δ_A=Δ_B = Δ$ and $ k_B \ge C (Δ/\logΔ)^{1/k_A}\log Δ$ for some absolute constant $C>0$.
These are asymmetric generalisations of the above-mentioned conjecture of Krivelevich and the first author, and if true are close to best possible. Our general sufficient conditions provide partial progress towards these conjectures.
Badges and rainbow matchings
Published
• View Publication
• BIB
Drisko proved that $2n-1$ matchings of size $n$ in a bipartite graph have a rainbow matching of size $n$. For general graphs it is conjectured that $2n$ matchings suffice for this purpose (and that $2n-1$ matchings suffice when $n$ is even). The known graphs showing sharpness of this conjecture for $n$ even are called badges. We improve the previously best known bound from $3n-2$ to $3n-3$, using a new line of proof that involves analysis of the appearance of badges. We also prove a "cooperative" generalization: for $t>0$ and $n \geq 3$, any $3n-4+t$ sets of edges, the union of every $t$ of which contains a matching of size $n$, have a rainbow matching of size $n$.
A proof of the Upper Matching Conjecture for large graphs
Published
• View Publication
• BIB
We prove that the `Upper Matching Conjecture' of Friedland, Krop, and Markström and the analogous conjecture of Kahn for independent sets in regular graphs hold for all large enough graphs as a function of the degree. That is, for every $d$ and every large enough $n$ divisible by $2d$, a union of $n/(2d)$ copies of the complete $d$-regular bipartite graph maximizes the number of independent sets and matchings of size $k$ for each $k$ over all $d$-regular graphs on $n$ vertices. To prove this we utilize the cluster expansion for the canonical ensemble of a statistical physics spin model, and we give some further applications of this method to maximizing and minimizing the number of independent sets and matchings of a given size in regular graphs of a given minimum girth.
On the spectral radius of bi-block graphs with given independence number $α$
Published
• View Publication
• BIB
A connected graph is called a bi-block graph if each of its blocks is a complete bipartite graph. Let $\mathcal{B}(\mathbf{k}, α)$ be the class of bi-block graph on $\mathbf{k}$ vertices with given independence number $α$. It is easy to see that every bi-block graph is a bipartite graph. For a bipartite graph $G$ on $\mathbf{k}$ vertices, the independence number $α(G)$ satisfies $\ceil*{\frac{\mathbf{k}}{2}} \leq α(G) \leq \mathbf{k}-1$. In this article, we prove that the maximum spectral radius $ρ(G)$ among all graphs $G$ in $\mathcal{B}(\mathbf{k}, α)$, is uniquely attained for the complete bipartite graph $K_{α, \mathbf{k}-α}$.
Biholes in balanced bipartite graphs
Published
• View Publication
• BIB
A bihole in a bipartite graph $G$ with partite sets $A$ and $B$ is an independent set $I$ in $G$ with $|I\cap A|=|I\cap B|$. We prove lower bounds on the largest order of biholes in balanced bipartite graphs subject to conditions involving the vertex degrees and the average degree.
Color isomorphic even cycles and a related Ramsey problem
Published
• View Publication
• BIB
In this paper, we first study a new extremal problem recently posed by Conlon and Tyomkyn~(arXiv: 2002.00921). Given a graph $H$ and an integer $k\geqslant 2$, let $f_{k}(n,H)$ be the smallest number of colors $c$ such that there exists a proper edge-coloring of the complete graph $K_{n}$ with $c$ colors containing no $k$ vertex-disjoint color-isomorphic copies of $H$. Using algebraic properties of polynomials over finite fields, we give an explicit proper edge-coloring of $K_{n}$ and show that $f_{k}(n, C_{4})=Θ(n)$ when $k\geqslant 3$ and $n\rightarrow\infty$. The methods we used in the edge-coloring may be of some independent interest. We also consider a related generalized Ramsey problem. For given graphs $G$ and $H,$ let $r(G,H,q)$ be the minimum number of edge-colors (not necessarily proper) of $G$, such that the edges of every copy of $H\subseteq G$ together receive at least $q$ distinct colors. Establishing the relation to the Turán number of specified bipartite graphs, we obtain some general lower bounds for $r(K_{n,n},K_{s,t},q)$ with a broad range of $q$.
Weak saturation numbers of complete bipartite graphs in the clique
Published in Journal of Combinatorial Theory, Series A. Volume 178, February 2021, 105357
• View Publication
• BIB
The notion of weak saturation was introduced by Bollobás in 1968. Let $F$ and $H$ be graphs. A spanning subgraph $G \subseteq F$ is weakly $(F,H)$-saturated if it contains no copy of $H$ but there exists an ordering $e_1,\ldots,e_t$ of $E(F)\setminus E(G)$ such that for each $i \in [t]$, the graph $G \cup \{e_1,\ldots,e_i\}$ contains a copy $H'$ of $H$ such that $e_i \in H'$. Define $wsat(F,H)$ to be the minimum number of edges in a weakly $(F,H)$-saturated graph. In this paper, we prove for all $t \ge 2$ and $n \ge 3t-3$, that $wsat(K_n,K_{t,t}) = (t-1)(n + 1 - t/2)$, and we determine the value of $wsat(K_n,K_{t-1,t})$ as well. For fixed $2 \le s < t$, we also obtain bounds on $wsat(K_n,K_{s,t})$ that are asymptotically tight.
Tipsy cop and drunken robber: a variant of the cop and robber game on graphs
Published
• View Publication
• BIB
Motivated by a biological scenario illustrated in the YouTube video \url{ https://www.youtube.com/watch?v=Z_mXDvZQ6dU} where a neutrophil chases a bacteria cell moving in random directions, we present a variant of the cop and robber game on graphs called the tipsy cop and drunken robber game. In this game, we place a tipsy cop and a drunken robber at different vertices of a finite connected graph $G$. The game consists of independent moves where the robber begins the game by moving to an adjacent vertex from where he began, this is then followed by the cop moving to an adjacent vertex from where she began. Since the robber is inebriated, he takes random walks on the graph, while the cop being tipsy means that her movements are sometimes random and sometimes intentional. Our main results give formulas for the probability that the robber is still free from capture after $m$ moves of this game on highly symmetric graphs, such as the complete graphs, complete bipartite graphs, and cycle graphs. We also give the expected encounter time between the cop and robber for these families of graphs. We end the manuscript by presenting a general method for computing such probabilities and also detail a variety of directions for future research.