bipartite graph
2604 papers tagged with this keyword
Bipartite graphs are weak antimagic
The \emph{Antimagic Graph Conjecture} asserts that every connected graph $G = (V, E)$ except $K_2$ admits an edge labeling such that each label $1, 2, ..., |E|$ is used exactly once and the sums of the labels on all edges incident with a given node are distinct. We study an associated counting function (replacing the upper bound on the possible labels by a variable) and prove that a variant of this counting function, when we do not require the labels to be distinct, is a polynomial if $G$ is bipartite. As a consequence, we show that every connected bipartite graph $G = (V, E)$ except $K_2$ admits a \emph{weakly} antimagic labeling, that is, each edge label is among $1, 2, ..., |E|$ (repetition allowed) and the sums of the labels on all edges incident with a given node are distinct. We also present a natural extension of these results to directed and bidirected graphs; this extension gives rise to a (bi-)directed version of the Antimagic Graph Conjecture, which might be of independent interest.
Non-vanishing of Betti numbers of edge ideals and complete bipartite subgraphs
Published
• View Publication
• BIB
Given a finite simple graph one can associate the edge ideal. In this paper we prove that a graded Betti number of the edge ideal does not vanish if the original graph contains a set of complete bipartite subgraphs with some conditions. Also we give a combinatorial description for the projective dimension of the edge ideals of unmixed bipartite graphs.
Notes on the sum of powers of the signless Laplacian eigenvalues of graphs
For a graph $G$ and a non-zero real number $α$, the graph invariant $S_α(G)$ is the sum of the $α^{th}$ power of the non-zero signless Laplacian eigenvalues of $G$. In this paper, we obtain the sharp bounds of $S_α(G)$ for a connected bipartite graph $G$ on $n$ vertices and a connected graph $G$ on $n$ vertices having a connectivity less than or equal to $k$, respectively, and propose some open problems for future research.
Colorful hypergraphs in Kneser hypergraphs
Published
• View Publication
• BIB
Using a $Z_q$-generalization of a theorem of Ky Fan, we extend to Kneser hypergraphs a theorem of Simonyi and Tardos that ensures the existence of multicolored complete bipartite graphs in any proper coloring of a Kneser graph. It allows to derive a lower bound for the local chromatic number of Kneser hypergraphs (using a natural definition of what can be the local chromatic number of a hypergraph).
Skew-spectra and skew energy of various products of graphs
Given a graph $G$, let $G^σ$ be an oriented graph of $G$ with the orientation $σ$ and skew-adjacency matrix $S(G^σ)$. Then the spectrum of $S(G^σ)$ consisting of all the eigenvalues of $S(G^σ)$ is called the skew-spectrum of $G^σ$, denoted by $Sp(G^σ)$. The skew energy of the oriented graph $G^σ$, denoted by $\mathcal{E}_S(G^σ)$, is defined as the sum of the norms of all the eigenvalues of $S(G^σ)$. In this paper, we give orientations of the Kronecker product $H\otimes G$ and the strong product $H\ast G$ of $H$ and $G$ where $H$ is a bipartite graph and $G$ is an arbitrary graph. Then we determine the skew-spectra of the resultant oriented graphs. As applications, we construct new families of oriented graphs with maximum skew energy. Moreover, we consider the skew energy of the orientation of the lexicographic product $H[G]$ of a bipartite graph $H$ and a graph $G$.
Examples of cyclically-interval non-colorable bipartite graphs
For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $\varphi:E(G)\rightarrow\{1,2,\ldots,t\}$ is called a proper edge $t$-coloring of a graph $G$ if adjacent edges are colored differently and each of $t$ colors is used. An arbitrary nonempty subset of consecutive integers is called an interval. If $\varphi$ is a proper edge $t$-coloring of a graph $G$ and $x\in V(G)$, then $S_G(x,\varphi)$ denotes the set of colors of edges of $G$ which are incident with $x$. A proper edge $t$-coloring $\varphi$ of a graph $G$ is called a cyclically-interval $t$-coloring if for any $x\in V(G)$ at least one of the following two conditions holds: a) $S_G(x,\varphi)$ is an interval, b) $\{1,2,\ldots,t\}\setminus S_G(x,\varphi)$ is an interval. For any $t\in \mathbb{N}$, let $\mathfrak{M}_t$ be the set of graphs for which there exists a cyclically-interval $t$-coloring, and let $$\mathfrak{M}\equiv\bigcup_{t\geq1}\mathfrak{M}_t.$$ Examples of bipartite graphs that do not belong to the class $\mathfrak{M}$ are constructed.
Infinite Turán problems for bipartite graphs
Published
• View Publication
• BIB
We consider an infinite version of the bipartite Turán problem. Let $G$ be an infinite graph with $V(G) = \mathbb{N}$ and let $G_n$ be the $n$-vertex subgraph of $G$ induced by the vertices $\{1,2, \dots, n \}$. We show that if $G$ is $K_{2,t+1}$-free then for infinitely many $n$, $e(G_n) \leq 0.471 \sqrt{t} n^{3/2}$. Using the $K_{2,t+1}$-free graphs constructed by Füredi, we construct an infinite $K_{2,t+1}$-free graph with $e(G_n) \geq 0.23 \sqrt{t}n^{3/2}$ for all $n \geq n_0$.
Regularity and projective dimension of edge ideal of $C_5$-free vertex decomposable graphs
Published in Proc. Amer. Math. Soc. 142, no. 5 (2014) 1567-1576
• View Publication
• BIB
In this paper, we explain the regularity, projective dimension and depth of edge ideal of some classes of graphs in terms of invariants of graphs. We show that for a $C_5$-free vertex decomposable graph $G$, $\T{reg}(R/I(G))= c_G$, where $c_G$ is the maximum number of 3-disjoint edges in $G$. Moreover for this class of graphs we characterize $\T{pd}(R/I(G))$ and $\T{depth}(R/I(G))$. As a corollary we describe these invariants in forests and sequentially Cohen-Macaulay bipartite graphs.
Mirror bipartite graphs
Intuitively speaking, a bipartite graph is mirror if it can be drawn in the Cartesian plane in such a way that, the vertices of one stable are points in x=0, the vertices of the other stable set are points in x=1, the edges are straight line segments joining adjacent vertices and the resulting configuration is symmetric with respect to the line x=1/2. The concept of mirror bipartite graph appears naturally when studying certain types of products of graphs as for instance the Kronecker product. Motivated by this fact, we study mirror bipartite graphs from the point of view of their degree sequences and of their degree sets. We characterize the sequences of degrees of mirror bipartite graphs. We also show that from a given set P of positive integers, we can construct a bipartite graph of order 2max P, which is mirror. Furthermore, very little is known for the degree sequences of graphs with loops attached, when the number of loops attached is limited. We show in this paper that mirror bipartite graphs constitute a powerful tool to study the degree sequences of these graphs when the number of loops attached at each vertex is at most $1$.
More on the skew-spectra of bipartite graphs and Cartesian products of graphs
Given a graph $G$, let $G^σ$ be an oriented graph of $G$ with the orientation $σ$ and skew-adjacency matrix $S(G^σ)$. Then the spectrum of $S(G^σ)$ is called the skew-spectrum of $G^σ$, denoted by $Sp_S(G^σ)$. It is known that a graph $G$ is bipartite if and only if there is an orientation $σ$ of $G$ such that $Sp_S(G^σ)=iSp(G)$. In [D. Cui, Y. Hou, On the skew spectra of Cartesian products of graphs, Electron. J. Combin. 20(2013), #P19], Cui and Hou conjectured that such orientation of a bipartite graph is unique under switching-equivalence. In this paper, we prove that the conjecture is true. Moreover, we give an orientation of the Cartesian product of a bipartite graph and a graph, and then determine the skew-spectrum of the resulting oriented product graph, which generalizes Cui and Hou's result, and can be used to construct more oriented graphs with maximum skew energy.
Large matchings in bipartite graphs have a rainbow matching
Published in European Journal of Combinatorics. Vol. 38, 97-101 (2013)
• View Publication
• BIB
Let $g(n)$ be the least number such that every collection of $n$ matchings, each of size at least $g(n)$, in a bipartite graph, has a full rainbow matching. Aharoni and Berger \cite{AhBer} conjectured that $g(n)=n+1$ for every $n>1$. This generalizes famous conjectures of Ryser, Brualdi and Stein. Recently, Aharoni, Charbit and Howard \cite{ACH} proved that $g(n)\le\lfloor\frac{7}{4}n\rfloor$. We prove that $g(n)\le\lfloor\frac{5}{3} n\rfloor$.
Analysis of Odd/odd vertex removal games on special graphs
We analyze the Odd/odd vertex removal game introduced by P. Ottaway. We prove that every bipartite graph has Grundy value 0 or 1 only depending on the parity of the number of edges in the graph, which is a generalization of a conjecture of K. Shelton. We also answer a question originally posed by both Shelton and Ottaway about the existance of graphs for every Grundy value. We prove that this is indeed the case.
The spectral excess theorem for distance-biregular graphs
Published
• View Publication
• BIB
The spectral excess theorem for distance-regular graphs states that a regular (connected) graph is distance-regular if and only if its spectral-excess equals its average excess. A bipartite graph is distance-biregular when it is distance-regular around each vertex and the intersection array only depends on the stable set such a vertex belongs to. In this note we derive a new version of the spectral excess theorem for bipartite distance-biregular graphs.
Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees
Published
• View Publication
• BIB
We prove that there exist infinite families of regular bipartite Ramanujan graphs of every degree bigger than 2. We do this by proving a variant of a conjecture of Bilu and Linial about the existence of good 2-lifts of every graph.
We also establish the existence of infinite families of `irregular Ramanujan' graphs, whose eigenvalues are bounded by the spectral radius of their universal cover. Such families were conjectured to exist by Linial and others. In particular, we prove the existence of infinite families of (c,d)-biregular bipartite graphs with all non-trivial eigenvalues bounded by sqrt{c-1}+sqrt{d-1}, for all c, d \geq 3.
Our proof exploits a new technique for demonstrating the existence of useful combinatorial objects that we call the "method of interlacing polynomials'".
Degree powers in $C_5$-free graphs
Published
• View Publication
• BIB
Let $G$ be a graph with degree sequence $d_1,d_2,\ldots,d_n$. Given a positive integer $p$, denote by $e_p(G)=\sum_{i=1}^n d_i^p$. Caro and Yuster introduced a Turán-type problem for $e_p(G)$: given an integer $p$, how large can $e_p(G)$ be if $G$ has no subgraph of a particular type. They got some results for the subgraph of particular type to be a clique of order $r+1$ and a cycle of even length, respectively. Denote by $ex_p(n,H)$ the maximum value of $e_p(G)$ taken over all graphs with $n$ vertices that do not contain $H$ as a subgraph. Clearly, $ex_1(n,H)=2ex(n,H)$, where $ex(n,H)$ denotes the classical Turán number. In this paper, we consider $ex_p(n, C_5)$ and prove that for any positive integer $p$ and sufficiently large $n$, there exists a constant $c=c(p)$ such that the following holds: if $ex_p(n, C_5)=e_p(G)$ for some $C_5$-free graph $G$ of order $n$, then $G$ is a complete bipartite graph having one vertex class of size $cn+o(n)$ and the other $(1-c)n+o(n)$.
Minimum number of distinct eigenvalues of graphs
Published
• View Publication
• BIB
The minimum number of distinct eigenvalues, taken over all real symmetric matrices compatible with a given graph $G$, is denoted by $q(G)$. Using other parameters related to $G$, bounds for $q(G)$ are proven and then applied to deduce further properties of $q(G)$. It is shown that there is a great number of graphs $G$ for which $q(G)=2$. For some families of graphs, such as the join of a graph with itself, complete bipartite graphs, and cycles, this minimum value is obtained. Moreover, examples of graphs $G$ are provided to show that adding and deleting edges or vertices can dramatically change the value of $q(G)$. Finally, the set of graphs $G$ with $q(G)$ near the number of vertices is shown to be a subset of known families of graphs with small maximum multiplicity.
Enumeration of bipartite graphs and bipartite blocks
Published in The Electronic Journal of Combinatorics 21.2 (2014): P2-40
• View Publication
• BIB
Using the theory of combinatorial species, we compute the cycle index for bipartite graphs, which we use to count unlabeled bipartite graphs and bipartite blocks.
Structure and enumeration of (3+1)-free posets
Published in Annals of Combinatorics 18 (2014) 645-674
• View Publication
• BIB
A poset is (3+1)-free if it does not contain the disjoint union of chains of length 3 and 1 as an induced subposet. These posets play a central role in the (3+1)-free conjecture of Stanley and Stembridge. Lewis and Zhang have enumerated (3+1)-free posets in the graded case by decomposing them into bipartite graphs, but until now the general enumeration problem has remained open. We give a finer decomposition into bipartite graphs which applies to all (3+1)-free posets and obtain generating functions which count (3+1)-free posets with labelled or unlabelled vertices. Using this decomposition, we obtain a decomposition of the automorphism group and asymptotics for the number of (3+1)-free posets.
A note on the Weiss conjecture
Published
• View Publication
• BIB
Let $G$ be a finite group acting vertex-transitively on a graph. We show that bounding the order of a vertex stabilizer is equivalent to bounding the second singular value of a particular bipartite graph. This yields an alternative formulation of the Weiss Conjecture.
Inverses of triangular matrices and bipartite graphs
Published
• View Publication
• BIB
To a given nonsingular triangular matrix A with entries from a ring, we associate a weighted bipartite graph G(A) and give a combinatorial description of the inverse of A by employing paths in G(A). Under a certain condition, nonsingular triangular matrices A such that A and A^{-1} have the same zero-nonzero pattern are characterized. A combinatorial construction is given to construct outer inverses of the adjacency matrix of a weighted tree.