bipartite graph
2604 papers tagged with this keyword
On the edit distance from $K_{2,t}$-free graphs II: Cases $t\geq 5$
The edit distance between two graphs on the same vertex set is defined to be size of the symmetric difference of their edge sets. The edit distance function of a hereditary property, $\mathcal{H}$, is a function of $p$ and measures, asymptotically, the furthest graph with edge density $p$ from $\mathcal{H}$ under this metric.
The edit distance function has proven to be difficult to compute for many hereditary properties. Some surprising connections to extremal graph theory problems, such as strongly regular graphs and the problem of Zarankiewicz, have been uncovered in attempts to compute various edit distance functions. In this paper, we address the hereditary property $\forb(K_{2,t})$ when $t\geq5$, the property of having no induced copy of the complete bipartite graph with 2 vertices in one class and $t$ in the other.
This work continues from a prior paper by the authors. Employing an assortment of techniques and colored regularity graph constructions, we are able to extend the interval over which the edit distance function for this hereditary property is generally known and determine its maximum value for all odd $t$. We also explore several constructions to improve upon known upper bounds for the function.
Locally-finite connected-homogeneous digraphs
Published
• View Publication
• BIB
A digraph is connected-homogeneous if any isomorphism between finite connected induced subdigraphs extends to an automorphism of the digraph. We consider locally-finite connected-homogeneous digraphs with more than one end. In the case that the digraph embeds a triangle we give a complete classification, obtaining a family of tree-like graphs constructed by gluing together directed triangles. In the triangle-free case we show that these digraphs are highly arc-transitive. We give a classification in the two-ended case, showing that all examples arise from a simple construction given by gluing along a directed line copies of some fixed finite directed complete bipartite graph. When the digraph has infinitely many ends we show that the descendants of a vertex form a tree, and the reachability graph (which is one of the basic building blocks of the digraph) is one of: an even cycle, a complete bipartite graph, the complement of a perfect matching, or an infinite semiregular tree. We give examples showing that each of these possibilities is realised as the reachability graph of some connected-homogeneous digraph, and in the process we obtain a new family of highly arc-transitive digraphs without property Z.
Zero Forcing Sets and Bipartite Circulants
Published
• View Publication
• BIB
In this paper we introduce a class of regular bipartite graphs whose biadjacency matrices are circulant matrices and we describe some of their properties. Notably, we compute upper and lower bounds for the zero forcing number for such a graph based only on the parameters that describe its biadjacency matrix. The main results of the paper characterize the bipartite circulant graphs that achieve equality in the lower bound.
Bipartite graphs with a perfect matching and digraphs
Published in Advances and applications in discrete mathematics, Volume 3, Number 2, April 2009, 155-164
• Search Publication
In this paper, we introduce a corresponding between bipartite graphs with a perfect matching and digraphs, which implicates an equivalent relation between the extendibility of bipartite graphs and the strongly connectivity of digraphs. Such an equivalent relation explains the similar results on $k$-extendable bipartite graphs and $k$-strong digraphs. We also study the relation among $k$-extendable bipartite graphs, $k$-strong digraphs and combinatorial matrices. For bipartite graphs that are not 1-extendable and digraphs that are not strong, we prove that the elementary components and strong components are counterparts.
A determinant formula for the Jones polynomial of pretzel knots
Published in Journal of Knot Theory and Its Ramifications vol. 21, no. 6 (2012) 1250062 (23 pages)
• View Publication
• BIB
This paper presents an algorithm to construct a weighted adjacency matrix of a plane bipartite graph obtained from a pretzel knot diagram. The determinant of this matrix after evaluation is shown to be the Jones polynomial of the pretzel knot by way of perfect matchings (or dimers) of this graph. The weights are Tutte's activity letters that arise because the Jones polynomial is a specialization of the signed version of the Tutte polynomial. The relationship is formalized between the familiar spanning tree setting for the Tait graph and the perfect matchings of the plane bipartite graph above. Evaluations of these activity words are related to the chain complex for the Champanerkar-Kofman spanning tree model of reduced Khovanov homology.
Complete solution to a problem on the maximal energy of unicyclic bipartite graphs
Published
• View Publication
• BIB
The energy of a simple graph $G$, denoted by $E(G)$, is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix. Denote by $C_n$ the cycle, and $P_n^{6}$ the unicyclic graph obtained by connecting a vertex of $C_6$ with a leaf of $P_{n-6}$\,. Caporossi et al. conjecture that the unicyclic graph with maximal energy is $P_n^6$ for $n=8,12,14$ and $n\geq 16$. In``Y. Hou, I. Gutman and C. Woo, Unicyclic graphs with maximal energy, {\it Linear Algebra Appl.} {\bf 356}(2002), 27--36", the authors proved that $E(P_n^6)$ is maximal within the class of the unicyclic bipartite $n$-vertex graphs differing from $C_n$\,. And they also claimed that the energy of $C_n$ and $P_n^6$ is quasi-order incomparable and left this as an open problem. In this paper, by utilizing the Coulson integral formula and some knowledge of real analysis, especially by employing certain combinatorial techniques, we show that the energy of $P_n^6$ is greater than that of $C_n$ for $n=8,12,14$ and $n\geq 16$, which completely solves this open problem and partially solves the above conjecture.
Locally identifying coloring of graphs
Published in Electron. J. Combin. 19(2) (2012), #P40
• View Publication
• BIB
We introduce the notion of locally identifying coloring of a graph. A proper vertex-coloring c of a graph G is said to be locally identifying, if for any adjacent vertices u and v with distinct closed neighborhood, the sets of colors that appear in the closed neighborhood of u and v are distinct. Let $χ_{lid}(G)$ be the minimum number of colors used in a locally identifying vertex-coloring of G. In this paper, we give several bounds on $χ_{lid}$ for different families of graphs (planar graphs, some subclasses of perfect graphs, graphs with bounded maximum degree) and prove that deciding whether $χ_{lid}(G)=3$ for a subcubic bipartite graph $G$ with large girth is an NP-complete problem.
On bipartite graphs of defect at most 4
Published in Discrete Applied Mathematics 160 (2012), 140-154
• View Publication
• BIB
We consider the bipartite version of the degree/diameter problem, namely, given natural numbers Δ \geq 2 and D \geq 2, find the maximum number Nb(Δ,D) of vertices in a bipartite graph of maximum degree Δ and diameter D. In this context, the Moore bipartite bound Mb(Δ,D) represents an upper bound for Nb(Δ,D). Bipartite graphs of maximum degree Δ, diameter D and order Mb(Δ,D), called Moore bipartite graphs, have turned out to be very rare. Therefore, it is very interesting to investigate bipartite graphs of maximum degree Δ \geq 2, diameter D \geq 2 and order Mb(Δ,D) - εwith small ε> 0, that is, bipartite (Δ,D,-ε)-graphs. The parameter εis called the defect. This paper considers bipartite graphs of defect at most 4, and presents all the known such graphs. Bipartite graphs of defect 2 have been studied in the past; if Δ \geq 3 and D \geq 3, they may only exist for D = 3. However, when ε> 2 bipartite (Δ,D,-ε)-graphs represent a wide unexplored area. The main results of the paper include several necessary conditions for the existence of bipartite $(Δ,d,-4)$-graphs; the complete catalogue of bipartite (3,D,-ε)-graphs with D \geq 2 and 0 \leq ε\leq 4; the complete catalogue of bipartite (Δ,D,-ε)-graphs with Δ \geq 2, 5 \leq D \leq 187 (D /= 6) and 0 \leq ε\leq 4; and a non-existence proof of all bipartite (Δ,D,-4)-graphs with Δ \geq 3 and odd D \geq 7. Finally, we conjecture that there are no bipartite graphs of defect 4 for Δ \geq 3 and D \geq 5, and comment on some implications of our results for upper bounds of Nb(Δ,D).
Directed Domination in Oriented Graphs
Published
• View Publication
• BIB
A directed dominating set in a directed graph $D$ is a set $S$ of vertices of $V$ such that every vertex $u \in V(D) \setminus S$ has an adjacent vertex $v$ in $S$ with $v$ directed to $u$. The directed domination number of $D$, denoted by $γ(D)$, is the minimum cardinality of a directed dominating set in $D$. The directed domination number of a graph $G$, denoted $Γ_d(G)$, which is the maximum directed domination number $γ(D)$ over all orientations $D$ of $G$. The directed domination number of a complete graph was first studied by Erdös [Math. Gaz. 47 (1963), 220--222], albeit in disguised form. We extend this notion to directed domination of all graphs. If $α$ denotes the independence number of a graph $G$, we show that if $G$ is a bipartite graph, we show that $Γ_d(G) = α$. We present several lower and upper bounds on the directed domination number.
Computing the permanental polynomials of bipartite graphs by Pfaffian orientation
Published
• View Publication
• BIB
The permanental polynomial of a graph $G$ is $π(G,x)\triangleq\mathrm{per}(xI-A(G))$. From the result that a bipartite graph $G$ admits an orientation $G^e$ such that every cycle is oddly oriented if and only if it contains no even subdivision of $K_{2,3}$, Yan and Zhang showed that the permanental polynomial of such a bipartite graph $G$ can be expressed as the characteristic polynomial of the skew adjacency matrix $A(G^e)$. In this paper we first prove that this equality holds only if the bipartite graph $G$ contains no even subdivision of $K_{2,3}$. Then we prove that such bipartite graphs are planar. Further we mainly show that a 2-connected bipartite graph contains no even subdivision of $K_{2,3}$ if and only if it is planar 1-cycle resonant. This implies that each cycle is oddly oriented in any Pfaffian orientation of a 2-connected bipartite graph containing no even subdivision of $K_{2,3}$. As applications, permanental polynomials for some types of bipartite graphs are computed.
Dependence of Betti Numbers on Characteristic
Published
• View Publication
• BIB
We study the dependence of graded Betti numbers of monomial ideals on the characteristic of the base field. The examples we describe include bipartite ideals, Stanley--Reisner ideals of vertex-decomposable complexes and ideals with componentwise linear resolutions. We give a description of bipartite graphs and, using discrete Morse theory, provide a way of looking at the homology of arbitrary simplicial complexes through bipartite ideals. We also prove that the Betti table of a monomial ideal over the field of rational numbers can be obtained from the Betti table over any field by a sequence of consecutive cancellations.
Level Eulerian Posets
Published in Graphs Combin. 29 (2013), no. 4, 857-882
• View Publication
• BIB
The notion of level posets is introduced. This class of infinite posets has the property that between every two adjacent ranks the same bipartite graph occurs. When the adjacency matrix is indecomposable, we determine the length of the longest interval one needs to check to verify Eulerianness. Furthermore, we show that every level Eulerian poset associated to an indecomposable matrix has even order. A condition for verifying shellability is introduced and is automated using the algebra of walks. Applying the Skolem--Mahler--Lech theorem, the ${\bf ab}$-series of a level poset is shown to be a rational generating function in the non-commutative variables ${\bf a}$ and ${\bf b}$. In the case the poset is also Eulerian, the analogous result holds for the ${\bf cd}$-series. Using coalgebraic techniques a method is developed to recognize the ${\bf cd}$-series matrix of a level Eulerian poset.
Parity balance of the $i$-th dimension edges in Hamiltonian cycles of the hypercube
Let $n\geq 2$ be an integer, and let $i\in\{0,...,n-1\}$. An $i$-th dimension edge in the $n$-dimensional hypercube $Q_n$ is an edge ${v_1}{v_2}$ such that $v_1,v_2$ differ just at their $i$-th entries. The parity of an $i$-th dimension edge $\edg{v_1}{v_2}$ is the number of 1's modulus 2 of any of its vertex ignoring the $i$-th entry. We prove that the number of $i$-th dimension edges appearing in a given Hamiltonian cycle of $Q_n$ with parity zero coincides with the number of edges with parity one. As an application of this result it is introduced and explored the conjecture of the inscribed squares in Hamiltonian cycles of the hypercube: Any Hamiltonian cycle in $Q_n$ contains two opposite edges in a 4-cycle. We prove this conjecture for $n \le 7$, and for any Hamiltonian cycle containing more than $2^{n-2}$ edges in the same dimension. This bound is finally improved considering the equi-independence number of $Q_{n-1}$, which is a concept introduced in this paper for bipartite graphs.
On perfect k-matchings
Published
• View Publication
• BIB
In this paper, we generalize the notions of perfect matchings, perfect 2-matchings to perfect k-matchings and give a necessary and sufficient condition for existence of perfect k-matchings. For bipartite graphs, we show that this k-matching problem is equivalent to that matching question. Moreover, for regular graphs, we provide a sufficient condition of perfect k-matching in terms of edge connectivity.
Some New Bounds For Cover-Free Families Through Biclique Cover
Published
• View Publication
• BIB
An $(r,w;d)$ cover-free family $(CFF)$ is a family of subsets of a finite set such that the intersection of any $r$ members of the family contains at least $d$ elements that are not in the union of any other $w$ members. The minimum number of elements for which there exists an $(r,w;d)-CFF$ with $t$ blocks is denoted by $N((r,w;d),t)$.
In this paper, we show that the value of $N((r,w;d),t)$ is equal to the $d$-biclique covering number of the bipartite graph $I_t(r,w)$ whose vertices are all $w$- and $r$-subsets of a $t$-element set, where a $w$-subset is adjacent to an $r$-subset if their intersection is empty. Next, we introduce some new bounds for $N((r,w;d),t)$. For instance, we show that for $r\geq w$ and $r\geq 2$
$$ N((r,w;1),t) \geq c{{r+w\choose w+1}+{r+w-1 \choose w+1}+ 3 {r+w-4 \choose w-2} \over \log r} \log (t-w+1),$$ where $c$ is a constant satisfies the well-known bound $N((r,1;1),t)\geq c\frac{r^2}{\log r}\log t$. Also, we determine the exact value of $N((r,w;d),t)$ for some values of $d$. Finally, we show that $N((1,1;d),4d-1)=4d-1$ whenever there exists a Hadamard matrix of order 4d.
A construction of cospectral graphs for the normalized Laplacian
Published in S. Butler and J. Grout, A construction of cospectral graphs for the normalized Laplacian, Electronic Journal of Combinatorics 18 (2011), #231, 20pp
• View Publication
• BIB
We give a method to construct cospectral graphs for the normalized Laplacian by a local modification in some graphs with special structure. Namely, under some simple assumptions, we can replace a small bipartite graph with a cospectral mate without changing the spectrum of the entire graph. We also consider a related result for swapping out biregular bipartite graphs for the matrix $A+tD$.
We produce (exponentially) large families of non-bipartite, non-regular graphs which are mutually cospectral, and also give an example of a graph which is cospectral with its complement but is not self-complementary.
Decomposition theorem on matchable distributive lattices
Published in Discrete Applied Mathematics 166 (2014) 239--248
• View Publication
• BIB
A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a distributive lattice. It is natural to ask which lattices are MDLs. We show that if a plane bipartite graph $G$ is elementary, then ${\mathbf M}(G)$ is irreducible. Based on this result, a decomposition theorem on MDLs is obtained: a finite distributive lattice $\mathbf{L}$ is an MDL if and only if each factor in any cartesian product decomposition of $\mathbf{L}$ is an MDL. Two types of MDLs are presented: $J(\mathbf{m}\times \mathbf{n})$ and $J(\mathbf{T})$, where $\mathbf{m}\times \mathbf{n}$ denotes the cartesian product between $m$-element chain and $n$-element chain, and $\mathbf{T}$ is a poset implied by any orientation of a tree.
On the Orchard crossing number of complete bipartite graphs
Published
• View Publication
• BIB
We compute the Orchard crossing number, which is defined in a similar way to the rectilinear crossing number, for the complete bipartite graphs K_{n,n}.
The Homomorphism Poset of K_{2,n}
Published in Australasian Journal of Combinatorics, Vol. 57, (2013): pp. 79 - 108
• Search Publication
A geometric graph is a simple graph G together with a straight line drawing of G in the plane with the vertices in general position. Two geometric realizations of a simple graph are geo-isomorphic if there is a vertex bijection between them that preserves vertex adjacencies and non-adjacencies, as well as edge crossings and non-crossings. A natural extension of graph homomorphisms, geo-homomorphisms, can be used to define a partial order on the set of geo-isomorphism classes of realizations of a given simple graph. In this paper, the homomorphism poset of the complete bipartite graph K_{2,n} is determined by establishing a correspondence between realizations of K_{2,n} and permutations of S_n, in which crossing edges correspond to inversions. Through this correspondence, geo-isomorphism defines an equivalence relation on S_n, which we call geo-equivalence. The number of geo-isomorphism classes is provided for all n <= 9. The modular decomposition tree of permutation graphs is used to prove some results on the size of geo-equivalence classes. A complete list of geo-equivalence classes and a Hasse diagrams of the poset structure are given for n <= 5.
The number of independent sets in a graph with small maximum degree
Published in Graphs Combin. 27 (2011), 177-186
• View Publication
• BIB
Let ${\rm ind}(G)$ be the number of independent sets in a graph $G$. We show that if $G$ has maximum degree at most $5$ then $$ {\rm ind}(G) \leq 2^{{\rm iso}(G)} \prod_{uv \in E(G)} {\rm ind}(K_{d(u),d(v)})^{\frac{1}{d(u)d(v)}} $$ (where $d(\cdot)$ is vertex degree, ${\rm iso}(G)$ is the number of isolated vertices in $G$ and $K_{a,b}$ is the complete bipartite graph with $a$ vertices in one partition class and $b$ in the other), with equality if and only if each connected component of $G$ is either a complete bipartite graph or a single vertex. This bound (for all $G$) was conjectured by Kahn.
A corollary of our result is that if $G$ is $d$-regular with $1 \leq d \leq 5$ then $$ {\rm ind}(G) \leq \left(2^{d+1}-1\right)^\frac{|V(G)|}{2d}, $$ with equality if and only if $G$ is a disjoint union of $V(G)/2d$ copies of $K_{d,d}$. This bound (for all $d$) was conjectured by Alon and Kahn and recently proved for all $d$ by the second author, without the characterization of the extreme cases.
Our proof involves a reduction to a finite search. For graphs with maximum degree at most $3$ the search could be done by hand, but for the case of maximum degree $4$ or $5$, a computer is needed.