bipartite graph
2511 papers tagged with this keyword
Two problems on independent sets in graphs
Published
• View Publication
• BIB
Let $i_t(G)$ denote the number of independent sets of size $t$ in a graph $G$. Levit and Mandrescu have conjectured that for all bipartite $G$ the sequence $(i_t(G))_{t \geq 0}$ (the {\em independent set sequence} of $G$) is unimodal. We provide evidence for this conjecture by showing that is true for almost all equibipartite graphs. Specifically, we consider the random equibipartite graph $G(n,n,p)$, and show that for any fixed $p\in(0,1]$ its independent set sequence is almost surely unimodal, and moreover almost surely log-concave except perhaps for a vanishingly small initial segment of the sequence. We obtain similar results for $p=\tildeΩ(n^{-1/2})$.
We also consider the problem of estimating $i(G)=\sum_{t \geq 0} i_t(G)$ for $G$ in various families. We give a sharp upper bound on the number of independent sets in an $n$-vertex graph with minimum degree $δ$, for all fixed $δ$ and sufficiently large $n$. Specifically, we show that the maximum is achieved uniquely by $K_{δ, n-δ}$, the complete bipartite graph with $δ$ vertices in one partition class and $n-δ$ in the other.
We also present a weighted generalization: for all fixed $x>0$ and $δ>0$, as long as $n=n(x,δ)$ is large enough, if $G$ is a graph on $n$ vertices with minimum degree $δ$ then $\sum_{t \geq 0} i_t(G)x^t \leq \sum_{t \geq 0} i_t(K_{δ, n-δ})x^t$ with equality if and only if $G=K_{δ, n-δ}$.
Matchings and Independent Sets of a Fixed Size in Regular Graphs
We use an entropy based method to study two graph maximization problems. We upper bound the number of matchings of fixed size $\ell$ in a $d$-regular graph on $N$ vertices. For $\frac{2\ell}{N}$ bounded away from 0 and 1, the logarithm of the bound we obtain agrees in its leading term with the logarithm of the number of matchings of size $\ell$ in the graph consisting of $\frac{N}{2d}$ disjoint copies of the complete bipartite graph $K_{d,d}$. This provides asymptotic evidence for a conjecture of S. Friedland {\it et al.}.
We also obtain an analogous result for independent sets of a fixed size in regular graphs, giving asymptotic evidence for a conjecture of J. Kahn. Our bounds on the number of matchings and independent sets of a fixed size are derived from bounds on the partition function (or generating polynomial) for matchings and independent sets.
Semisymmetric graphs of order $2p^3$
A simple undirected graph is said to be {\em semisymmetric} if it is regular and edge-transitive but not vertex-transitive. Every semisymmetric graph is a bipartite graph with two parts of equal size. It was proved in [{\em J. Combin. Theory Ser. B} {\bf 3}(1967), 215-232] that there exist no semisymmetric graphs of order $2p$ and $2p^2$, where $p$ is a prime. The classification of semisymmetric graphs of order $2pq$ was given in [{\em Comm. in Algebra} {\bf 28}(2000), 2685-2715], for any distinct primes $p$ and $q$. Our long term goal is to determine all the semisymmetric graphs of order $2p^3$, for any prime $p$. All these graphs $\G$ are divided into two subclasses: (I) $\Aut(\G)$ acts unfaithfully on at least one bipart; and (II) $\Aut(\G)$ acts faithfully on both biparts. This paper gives a group theoretical characterization for Subclass (I) and based on this characterization, we shall give a complete classification for this subclass in our further research.
The characteristic imset polytope of Bayesian networks with ordered nodes
Published
• View Publication
• BIB
In 2010, M. Studený, R. Hemmecke, and S. Linder explored a new algebraic description of graphical models, called characteristic imsets. Compare with standard imsets, characteristic imsets have several advantages: they are still unique vector representative of conditional independence structures, they are 0-1 vectors, and they are more intuitive in terms of graphs than standard imsets. After defining a characteristic imset polytope (cim-polytope) as the convex hull of all characteristic imsets with a given set of nodes, they also showed that a model selection in graphical models, which maximizes a quality criterion, can be converted into a linear programming problem over the cim-polytope. However, in general, for a fixed set of nodes, the cim-polytope can have exponentially many vertices over an exponentially high dimension. Therefore, in this paper, we focus on the family of directed acyclic graphs (DAGs) whose nodes have a fixed order. This family includes diagnosis models which can be described by Bipartite graphs with a set of $m$ nodes and a set of $n$ nodes for any $m, n \in \Z_+$. In this paper, we first consider cim-polytopes for all diagnosis models and show that these polytopes are direct products of simplices. Then we give a combinatorial description of all edges and all facets of these polytopes. Finally, we generalize these results to the cim-polytopes for all Bayesian networks with a fixed underlying ordering of nodes with or without fixed (or forbidden) edges.
Algebraic characterizations of regularity properties in bipartite graphs
Published
• View Publication
• BIB
Regular and distance-regular characterizations of general graphs are well-known. In particular, the spectral excess theorem states that a connected graph G is distance-regular if and only if its spectral excess (a number that can be computed from the spectrum) equals the average excess (the mean of the numbers of vertices at extremal distance from every vertex). The aim of this paper is to derive new characterizations of regularity and distance-regularity for the more restricted family of bipartite graphs. In this case, some characterizations of (bi)regular bipartite graphs are given in terms of the mean degrees in every partite set and the Hoffman polynomial. Moreover, it is shown that the conditions for having distance-regularity in such graphs can be relaxed when compared with general graphs. Finally, a new version of the spectral excess theorem for bipartite graphs is presented.
Partitioning edge-coloured complete graphs into monochromatic cycles and paths
Published
• View Publication
• BIB
A conjecture of Erdős, Gyárfás, and Pyber says that in any edge-colouring of a complete graph with r colours, it is possible to cover all the vertices with r vertex-disjoint monochromatic cycles. So far, this conjecture has been proven only for r = 2. In this paper we show that in fact this conjecture is false for all r > 2. In contrast to this, we show that in any edge-colouring of a complete graph with three colours, it is possible to cover all the vertices with three vertex-disjoint monochromatic paths, proving a particular case of a conjecture due to Gyárfás. As an intermediate result we show that in any edge-colouring of the complete graph with the colours red and blue, it is possible to cover all the vertices with a red path, and a disjoint blue balanced complete bipartite graph.
On Murty-Simon Conjecture
A graph is diameter two edge-critical if its diameter is two and the deletion of any edge increases the diameter. Murty and Simon conjectured that the number of edges in a diameter two edge-critical graph on $n$ vertices is at most $\lfloor \frac{n^{2}}{4} \rfloor$ and the extremal graph is the complete bipartite graph $K_{\lfloor \frac{n}{2} \rfloor, \lceil \frac{n}{2} \rceil}$. In the series papers [8-10], the Murty-Simon Conjecture stated by Haynes et al is not the original conjecture, indeed, it is only for the diameter two edge-critical graphs of even order. Haynes et al proved the conjecture for the graphs whose complements have diameter three but only with even vertices. In this paper, we prove the Murty-Simon Conjecture for the graphs whose complements have diameter three, not only with even vertices but also odd ones.
Asymptotics of the Upper Matching Conjecture
Published
• View Publication
• BIB
We give upper bounds for the number $Φ_\ell(G)$ of matchings of size $\ell$ in (i) bipartite graphs $G=(X\cup Y, E)$ with specified degrees $d_x$ ($x\in X$), and (ii) general graphs $G=(V,E)$ with all degrees specified. In particular, for $d$-regular, $N$-vertex graphs, our bound is best possible up to an error factor of the form $\exp[o_d(1)N]$, where $o_d(1) \rightarrow 0$ as $d \rightarrow \infty$. This represents the best progress to date on the "Upper Matching Conjecture" of Friedland, Krop, Lundow and Markström. Some further possibilities are also suggested.
Matchings in Random Biregular Bipartite Graphs
Published in Electron. J. Combin. 20 (1), 2013, P60
• View Publication
• BIB
We study the existence of perfect matchings in suitably chosen induced subgraphs of random biregular bipartite graphs. We prove a result similar to a classical theorem of Erdos and Renyi about perfect matchings in random bipartite graphs. We also present an application to commutative graphs, a class of graphs that are featured in additive number theory.
Symmetries of embedded complete bipartite graphs
Published in Fundamenta Mathematicae, vol. 226, 2014, pp. 1-16
• View Publication
• BIB
We characterize which automorphisms of an arbitrary complete bipartite graph $K_{n,m}$ can be induced by a homeomorphism of some embedding of the graph in $S^3$.
Reduced Criteria for Degree Sequences
Published in Discrete Mathematics, Volume 313, Issue 4, 28 February 2013, Pages 550-562
• View Publication
• BIB
For many types of graphs, criteria have been discovered that give necessary and sufficient conditions for an integer sequence to be the degree sequence of such a graph. These criteria tend to take the form of a set of inequalities, and in the case of the Erdős-Gallai criterion (for simple undirected graphs) and the Gale-Ryser criterion (for bipartite graphs), it has been shown that the number of inequalities that must be checked can be reduced significantly. We show that similar reductions hold for the corresponding criteria for many other types of graphs, including bipartite r-multigraphs, bipartite graphs with structural edges, directed graphs, r-multigraphs, and tournaments. We also prove a reduction for imbalance sequences.
Counting colorings of a regular graph
Published
• View Publication
• BIB
At most how many (proper) q-colorings does a regular graph admit? Galvin and Tetali conjectured that among all n-vertex, d-regular graphs with 2d|n, none admits more q-colorings than the disjoint union of n/2d copies of the complete bipartite graph K_{d,d}. In this note we give asymptotic evidence for this conjecture, giving an upper bound on the number of proper q-colorings admitted by an n-vertex, d-regular graph of the form a^n b^{n(1+o(1))/d} (where a and b depend on q and where o(1) goes to 0 as d goes to infinity) that agrees up to the o(1) term with the count of q-colorings of n/2d copies of K_{d,d}.
An auxiliary result is an upper bound on the number of colorings of a regular graph in terms of its independence number. For example, we show that for all even q and fixed ε> 0 there is δ=δ(ε,q) such that the number of proper q-colorings admitted by an n-vertex, d-regular graph with no independent set of size n(1-ε)/2 is at most (a-δ)^n.
Signed and Minus Domination in Complete Multipartite Graphs
In this paper we determine the exact values of the signed domination number, signed total domination number, and minus domination number of complete multipartite graphs, which substantially generalizes some previous results obtained for special subclasses of complete multipartite graphs such as cliques and complete bipartite graphs.
On the parameter $μ_{21}$ of a complete bipartite graph
A proper edge $t$-coloring of a graph $G$ is a coloring of edges of $G$ with colors $1,2,...,t$ such that all colors are used, and no two adjacent edges receive the same color. The set of colors of edges incident with a vertex $x$ is called a spectrum of $x$. An arbitrary nonempty subset of consecutive integers is called an interval.
Suppose that all edges of a graph $G$ are colored in the game of Alice and Bob with asymmetric distribution of roles. Alice determines the number $t$ of colors in the future proper edge coloring of $G$ and aspires to minimize the number of vertices with an interval spectrum in it. Bob colors edges of $G$ with $t$ colors and aspires to maximize that number. $μ_{21}(G)$ is equal to the number of vertices of $G$ with an interval spectrum at the finish of the game on the supposition that both players choose their best strategies.
In this paper, for arbitrary positive integers $m$ and $n$, the exact value of the parameter $μ_{21}(K_{m,n})$ is found.
On one-sided interval edge colorings of biregular bipartite graphs
A proper edge $t$-coloring of a graph $G$ is a coloring of edges of $G$ with colors $1,2,...,t$ such that all colors are used, and no two adjacent edges receive the same color. The set of colors of edges incident with a vertex $x$ is called a spectrum of $x$. An arbitrary nonempty subset of consecutive integers is called an interval. We say that a proper edge $t$-coloring of a graph $G$ is interval in the vertex $x$ if the spectrum of $x$ is an interval. We say that a proper edge $t$-coloring $\varphi$ of a graph $G$ is interval on a subset $R_0$ of vertices of $G$, if for an arbitrary $x\in R_0$, $\varphi$ is interval in $x$. We say that a subset $R$ of vertices of $G$ has an $i$-property if there is a proper edge $t$-coloring of $G$ which is interval on $R$. If $G$ is a graph, and a subset $R$ of its vertices has an $i$-property, then the minimum value of $t$ for which there is a proper edge $t$-coloring of $G$ interval on $R$ is denoted by $w_R(G)$.
In this paper, for some bipartite graphs, we estimate the value of this parameter in that cases when $R$ coincides with the set of all vertices of one part of the graph.
The Number of Ways to Assemble a Graph
Published
• View Publication
• BIB
Motivated by the question of how macromolecules assemble, the notion of an {\it assembly tree} of a graph is introduced. Given a graph $G$, the paper is concerned with enumerating the number of assembly trees of $G$, a problem that applies to the macromolecular assembly problem. Explicit formulas or generating functions are provided for the number of assembly trees of several families of graphs, in particular for what we call $(H,φ)$-graphs. In some natural special cases, we apply powerful recent results of Zeilberger and Apagodu on multivariate generating functions, and results of Wimp and Zeilberger, to deduce recurrence relations and very precise asymptotic formulas for the number of assembly trees of the complete bipartite graphs $K_{n,n}$ and the complete tripartite graphs $K_{n,n,n}$. Future directions for reseach, as well as open questions, are suggested.
Decomposing various graphs into short even-length cycles
Published
• View Publication
• BIB
We prove that a complete bipartite graph can be decomposed into cycles of arbitrary specified lengths provided that the obvious necessary conditions are satisfied, the length of each cycle is at most the size of the smallest part, and the longest cycle is at most three times as long as the second longest. We then use this result to obtain results on incomplete even cycle systems with a hole and on decompositions of complete multipartite graphs into cycles of uniform even length.
Counting independent sets of a fixed size in graphs with a given minimum degree
Published
• View Publication
• BIB
Galvin showed that for all fixed $δ$ and sufficiently large $n$, the $n$-vertex graph with minimum degree $δ$ that admits the most independent sets is the complete bipartite graph $K_{δ,n-δ}$. He conjectured that except perhaps for some small values of $t$, the same graph yields the maximum count of independent sets of size $t$ for each possible $t$. Evidence for this conjecture was recently provided by Alexander, Cutler, and Mink, who showed that for all triples $(n,δ, t)$ with $t\geq 3$, no $n$-vertex {\em bipartite} graph with minimum degree $δ$ admits more independent sets of size $t$ than $K_{δ,n-δ}$.
Here we make further progress. We show that for all triples $(n,δ,t)$ with $δ\leq 3$ and $t\geq 3$, no $n$-vertex graph with minimum degree $δ$ admits more independent sets of size $t$ than $K_{δ,n-δ}$, and we obtain the same conclusion for $δ> 3$ and $t \geq 2δ+1$. Our proofs lead us naturally to the study of an interesting family of critical graphs, namely those of minimum degree $δ$ whose minimum degree drops on deletion of an edge or a vertex.
On the Roman bondage number of a graph
Published
• View Publication
• BIB
A Roman dominating function on a graph $G=(V,E)$ is a function $f:V\rightarrow\{0,1,2\}$ such that every vertex $v\in V$ with $f(v)=0$ has at least one neighbor $u\in V$ with $f(u)=2$. The weight of a Roman dominating function is the value $f(V(G))=\sum_{u\in V(G)}f(u)$. The minimum weight of a Roman dominating function on a graph $G$ is called the Roman domination number, denoted by $γ_{R}(G)$. The Roman bondage number $b_{R}(G)$ of a graph $G$ with maximum degree at least two is the minimum cardinality of all sets $E'\subseteq E(G)$ for which $γ_{R}(G-E')>γ_R(G)$. In this paper, we first show that the decision problem for determining $b_{\rm R}(G)$ is NP-hard even for bipartite graphs and then we establish some sharp bounds for $b_{\rm R}(G)$ and characterizes all graphs attaining some of these bounds.
On the 3-torsion Part of the Homology of the Chessboard Complex
Published in Ann. Combin. 14 (2010), no. 4, 487-505
• Search Publication
Let $1 \le m \le n$. We prove various results about the chessboard complex $M_{m,n}$, which is the simplicial complex of matchings in the complete bipartite graph $K_{m,n}$. First, we demonstrate that there is nonvanishing 3-torsion in $H_d(M_{m,n};Z)$ whenever $\frac{m+n-4}{3} \le d \le m-4$ and whenever $6 \le m < n$ and $d=m-3$. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples $(m,n,d)$ satisfying $H_{d}(M_{m,n};Z) \neq 0$. Second, for each $k \ge 0$, we show that there is a polynomial $f_k(a,b)$ of degree 3k such that the dimension of $H_{k+a+2b-2}(M_{k+a+3b-1,k+2a+3b-1};Z_3)$, viewed as a vector space over $Z_3$, is at most $f_k(a,b)$ for all $a \ge 0$ and $b \ge k+2$. Third, we give a computer-free proof that $H_2(M_{5,5};Z) \cong Z_3$. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of $M_{m,n}$ to the homology of $M_{m-2,n-1}$ and $M_{m-2,n-3}$.