bipartite graph
2511 papers tagged with this keyword
Coupling Functions for Domino tilings of Aztec diamonds
Published
• View Publication
• BIB
The inverse Kasteleyn matrix of a bipartite graph holds much information about the perfect matchings of the system such as local statistics which can be used to compute local and global asymptotics. In this paper, we consider three different weightings of domino tilings of the Aztec diamond and show using recurrence relations, we can compute the inverse Kasteleyn matrix. These weights are the one-periodic weighting where the horizontal edges have one weight and the vertical edges have another weight, the q^{vol} weighting which corresponds to multiplying the product of tile weights by q if we add a `box' to the height function and the two-periodic weighting which exhibits a flat region with defects in the center.
Cohen-Macaulay-ness in codimension for bipartite graphs
Published
• View Publication
• BIB
Let $G$ be an unmixed bipartite graph of dimension $d-1$. Assume that $K_{n,n}$, with $n\ge 2$, is a maximal complete bipartite subgraph of $G$ of minimum dimension. Then $G$ is Cohen-Macaulay in codimension $d-n+1$. This generalizes a characterization of Cohen-Macaulay bipartite graphs by Herzog and Hibi and a result of Cook and Nagel on unmixed Buchsbaum graphs. Furthermore, we show that any unmixed bipartite graph $G$ which is Cohen-Macaulay in codimension $t$, is obtained from a Cohen-Macaulay graph by replacing certain edges of $G$ with complete bipartite graphs. We provide some examples.
Constructing, sampling and counting graphical realizations of restricted degree sequences
Published in PLOS ONE 2015. e0131300
• View Publication
• BIB
With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sample uniformly and efficiently all these possible realizations. (This problem can be considered as a special case of Tutte's $f$-factor problem, however it has a favorable sampling speed.)
We solve this {\em restricted degree sequence} (or RDS for short) problem completely if the forbidden edges form a bipartite graph, which consist of the union of a (not necessarily maximal) 1-factor and a (possible empty) star. Then we show how one can sample the space of all realizations of these RDSs uniformly and efficiently when the degree sequence describes a {\em half-regular} bipartite graph. Our result contains, as special cases, the well-known result of Kannan, Tetali and Vempala on sampling regular bipartite graphs and a recent result of Greenhill on sampling regular directed graphs (so it also provides new proofs of them).
The RDS problem descried above is self-reducible, therefore our {\em fully polynomial almost uniform sampler} (a.k.a. FPAUS) on the space of all realizations also provides a {\em fully polynomial randomized approximation scheme} (a.k.a. FPRAS) for approximate counting of all realizations.
Rainbow C_4's and Directed C_4's: the Bipartite Case Study
Published in Bull. Malays. Math. Sci. Soc, 39(2) (2016), 563--570
• View Publication
• BIB
In this paper we obtain a new sufficient condition for the existence of directed cycles of length 4 in oriented bipartite graphs. As a corollary, a conjecture of H. Li is confirmed. As an application, a sufficient condition for the existence of rainbow cycles of length 4 in bipartite edge-colored graphs is obtained.
Uniform Mixing and Association Schemes
Published
• View Publication
• BIB
We consider continuous-time quantum walks on distance-regular graphs of small diameter. Using results about the existence of complex Hadamard matrices in association schemes, we determine which of these graphs have quantum walks that admit uniform mixing.
First we apply a result due to Chan to show that the only strongly regular graphs that admit instantaneous uniform mixing are the Paley graph of order nine and certain graphs corresponding to regular symmetric Hadamard matrices with constant diagonal. Next we prove that if uniform mixing occurs on a bipartite graph X with n vertices, then n is divisible by four. We also prove that if X is bipartite and regular, then n is the sum of two integer squares. Our work on bipartite graphs implies that uniform mixing does not occur on C_{2m} for m >= 3. Using a result of Haagerup, we show that uniform mixing does not occur on C_p for any prime p such that p >= 5. In contrast to this result, we see that epsilon-uniform mixing occurs on C_p for all primes p.
On the Biclique cover of the complete graph
Published
• View Publication
• BIB
Let $K$ be a set of $k$ positive integers. A biclique cover of type $K$ of a graph $G$ is a collection of complete bipartite subgraphs of $G$ such that for every edge $e$ of $G$, the number of bicliques need to cover $e$ is a member of $K$. If $K=\{1,2,..., k\}$ then the maximum number of the vertices of a complete graph that admits a biclique cover of type $K$ with $d$ bicliques, $n(k,d)$, is the maximum possible cardinality of a $k$-neighborly family of standard boxes in $\mathbb{R}^d$.
In this paper, we obtain an upper bound for $n(k,d)$. Also, we show that the upper bound can be improved in some special cases. Moreover, we show that the existence of the biclique cover of type $K$ of the complete bipartite graph with a perfect matching removed is equivalent to the existence of a cross $K$-intersection family.
A Counting Function
We define a counting function that is related to the binomial coefficients.
An explicit formula for this function is proved.
In some particular cases, simpler explicit formuls are derived. We also derive a formula for the number of (0,1)-matrices, having a fixed number of 1's, and having no zero rows and zero columns.
Further, we show that our function satisfies several recurrence relations.
The relationship of our counting function with different classes of integers is then examined. These classes include: different kind of figurate numbers, the number of points on the surface of a square pyramid, the magic constants, the truncated square numbers, the coefficients of the Chebyshev polynomials, the Catalan numbers, the Dellanoy numbers, the Sulanke numbers, the numbers of the coordination sequences, and the number of the crystal ball sequences of a cubic lattice.
In the last part of the paper, we prove that several configurations are counted by our function. Some of these are: the number of spanning subgraphs of the complete bipartite graph, the number of square containing in a square, the number of coloring's of points on a line, the number of divisors of some particular numbers, the number of all parts in the compositions of an integer, the numbers of the weak compositions of integers, and the number of particular lattice paths.
We conclude by counting the number of possible moves of the rook, bishop, and queen on a chessboard.
The most statements in the paper are provided by bijective proofs in terms of insets, which are defined in the paper. With this we want to show that different configurations may be counted by the same method.
Interval non-edge-colorable bipartite graphs and multigraphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with colors $1,...,t$ is called an interval $t$-coloring if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. In 1991 Erdős constructed a bipartite graph with 27 vertices and maximum degree 13 which has no interval coloring. Erdős's counterexample is the smallest (in a sense of maximum degree) known bipartite graph which is not interval colorable. On the other hand, in 1992 Hansen showed that all bipartite graphs with maximum degree at most 3 have an interval coloring. In this paper we give some methods for constructing of interval non-edge-colorable bipartite graphs. In particular, by these methods, we construct three bipartite graphs which have no interval coloring, contain 20,19,21 vertices and have maximum degree 11,12,13, respectively. This partially answers a question that arose in [T.R. Jensen, B. Toft, Graph coloring problems, Wiley Interscience Series in Discrete Mathematics and Optimization, 1995, p. 204]. We also consider similar problems for bipartite multigraphs.
A Study on the Amount of Random Graph Groupies
In 1980, Ajtai, Komlos and Szemer{é}di defined "groupie": Let $G=(V,E)$ be a simple graph, $|V|=n$, $|E|=e$. For a vertex $v\in V$, let $r(v)$ denote the sum of the degrees of the vertices adjacent to $v$. We say $v\in V$ is a {\it groupie}, if $\frac{r(v)}{°(v)}\geq\frac{e}{n}.$ In this paper, we prove that in random graph $B(n,p)$, $0<p<1$, the proportion of groupies converges in probability towards $Φ(1)\approx0.8413$ as $n$ approaches infinity, where $Φ(x)$ is the distribution function of standard normal distribution N(0,1). We also discuss the asymptotic behavior of the proportion of groupies in complete bipartite graph $B(n_1,n_2,p)$.
Clique versus Independent Set
Published in European Journal of Combinatorics, 40:73-92, 2014
• View Publication
• BIB
Yannakakis' Clique versus Independent Set problem (CL-IS) in communication complexity asks for the minimum number of cuts separating cliques from stable sets in a graph, called CS-separator. Yannakakis provides a quasi-polynomial CS-separator, i.e. of size $O(n^{\log n})$, and addresses the problem of finding a polynomial CS-separator. This question is still open even for perfect graphs. We show that a polynomial CS-separator almost surely exists for random graphs. Besides, if H is a split graph (i.e. has a vertex-partition into a clique and a stable set) then there exists a constant $c_H$ for which we find a $O(n^{c_H})$ CS-separator on the class of H-free graphs. This generalizes a result of Yannakakis on comparability graphs. We also provide a $O(n^{c_k})$ CS-separator on the class of graphs without induced path of length k and its complement. Observe that on one side, $c_H$ is of order $O(|H| \log |H|)$ resulting from Vapnik-Chervonenkis dimension, and on the other side, $c_k$ is exponential.
One of the main reason why Yannakakis' CL-IS problem is fascinating is that it admits equivalent formulations. Our main result in this respect is to show that a polynomial CS-separator is equivalent to the polynomial Alon-Saks-Seymour Conjecture, asserting that if a graph has an edge-partition into k complete bipartite graphs, then its chromatic number is polynomially bounded in terms of k. We also show that the classical approach to the stubborn problem (arising in CSP) which consists in covering the set of all solutions by $O(n^{\log n})$ instances of 2-SAT is again equivalent to the existence of a polynomial CS-separator.
A bipartite graph with non-unimodal independent set sequence
Published
• View Publication
• BIB
We show that the independent set sequence of a bipartite graph need not be unimodal.
On Murty-Simon Conjecture II
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 [7-9], 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. In this paper, we completely prove the Murty-Simon Conjecture for the graphs whose complements have vertex connectivity $\ell$, where $\ell = 1, 2, 3$; and for the graphs whose complements have an independent vertex cut of cardinality at least three.
Cluster Transformations from Bipartite Field Theories
Published
• View Publication
• BIB
Bipartite field theories (BFTs) are a new class of 4d N=1 quantum field theories defined by bipartite graphs on bordered Riemann surfaces. In this paper we derive, purely in terms of the gauge theory, the cluster transformations of face weights under square moves in the graph. In this context, we obtain them by connecting regular parametrizations of the master space of the associated BFTs. For BFTs on a disk, these transformations follow from the properties of coordinates in the Grassmannian. This represents a new addition to the list of combinatorial objects for the Grassmannian, such as matching and matroid polytopes, that have been shown to emerge from BFT dynamics.
Around a biclique cover conjecture
We address an old (1977) conjecture of a subset of the authors (a variant of Ryser's conjecture): in every r-coloring of the edges of a biclique [A,B] (complete bipartite graph), the vertex set can be covered by the vertices of at most 2r-2 monochromatic connected components. We reduce this conjecture to design-like conjectures, where the monochromatic components of the color classes are bicliques [X,Y] with nonempty blocks X and Y. We prove this conjecture for r<6.
We show that the width (the number of bicliques) in every color class of any spanning r-coloring is at most 2^{r-1} (and this is best possible).
Regular Bipartite Graphs And Their Properties
We introduce a new notation for representing labeled regular bipartite graphs of arbitrary degree. Several enumeration problems for labeled and unlabeled regular bipartite graphs have been introduced. A general algorithm for enumerating all non-isomorphic 2-regular bipartite graphs for a specified number of vertices has been described and a mathematical proof has been provided for its completeness. An abstraction of m Symmetric Permutation Tree in order to visualize a labeled r-Regular Bipartite Graph with 2m vertices and enumerate its automorphism group has been introduced. An algorithm to generate the partition associated with two compatible permutations has been introduced. The relationship between Automorphism Group and permutation enumeration problem has been used to derive formulae for the number of compatible permutations corresponding to a specified partition.
Signed a-polynomials of graphs and Poincaré polynomials of real toric manifolds
Published in Bulletin of the Korean Mathematical Society, 52(2), 467-481, 2015
• View Publication
• BIB
Recently, Choi and Park introduced an invariant of a finite simple graph, called signed a-number, arising from computing certain topological invariants of some specific kinds of real toric manifolds. They also found the signed a-numbers of path graphs, cycle graphs, complete graphs, and star graphs.
We introduce a signed a-polynomial which is a generalization of the signed a-number and gives a-, b-, and c-numbers. The signed a-polynomial of a graph $G$ is related to the Poincaré polynomial $P_{M(G)}(z)$, which is the generating function for the Betti numbers of the real toric manifold $M(G)$. We give the generating functions for the signed a-polynomials of not only path graphs, cycle graphs, complete graphs, and star graphs, but also complete bipartite graphs and complete multipartite graphs. As a consequence, we find the Euler characteristic number and the Betti numbers of the real toric manifold $M(G)$ for complete multipartite graphs $G$.
Rainbow $k$-connectivity of random bipartite graphs
Published
• View Publication
• BIB
A path in an edge-colored graph $G$ is called a rainbow path if no two edges of the path are colored the same. The minimum number of colors required to color the edges of $G$ such that every pair of vertices are connected by at least $k$ internally vertex-disjoint rainbow paths is called the rainbow $k$-connectivity of the graph $G$, denoted by $rc_k(G)$. For the random graph $G(n,p)$, He and Liang got a sharp threshold function for the property $rc_k(G(n,p))\leq d$. In this paper, we extend this result to the case of random bipartite graph $G(m,n,p)$.
Perfect partition of some regular bipartite graphs
A graph has a perfect partition if all its perfect matchings can be partitioned so that each part is a 1-factorization of the graph. Let $L_{rm, r}=K_{rm,rm}-mK_{r,r}$. We first give a formula to count the number of perfect matchings of $L_{rm, r}$, then show that $L_{6,1}$ and $L_{8,2}$ have perfect partitions.
Structure and enumeration of (3+1)-free posets (extended abstract)
Published in 25th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2013), Discrete Mathematics & Theoretical Computer Science Proceedings (2013) 253-264
• 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 are the subject of the (3+1)-free conjecture of Stanley and Stembridge. Recently, Lewis and Zhang have enumerated \emph{graded} (3+1)-free posets, but until now the general enumeration problem has remained open. We enumerate all (3+1)-free posets by giving a decomposition into bipartite graphs, and obtain generating functions for (3+1)-free posets with labelled or unlabelled vertices.
The Connection between the Number of Realizations for Degree Sequences and Majorization
The \emph{graph realization problem} is to find for given nonnegative integers $a_1,\dots,a_n$ a simple graph (no loops or multiple edges) such that each vertex $v_i$ has degree $a_i.$ Given pairs of nonnegative integers $(a_1,b_1),\dots,(a_n,b_n),$ (i) the \emph{bipartite realization problem} ask whether there is a bipartite graph (no loops or multiple edges) such that vectors $(a_1,...,a_n)$ and $(b_1,...,b_n)$ correspond to the lists of degrees in the two partite sets, (ii) the \emph{digraph realization problem} is to find a digraph (no loops or multiple arcs) such that each vertex $v_i$ has indegree $a_i$ and outdegree $b_i.$\\ The classic literature provides characterizations for the existence of such realizations that are strongly related to the concept of majorization. Aigner and Triesch (1994) extended this approach to a more general result for graphs, leading to an efficient realization algorithm and a short and simple proof for the Erdős-Gallai Theorem. We extend this approach to the bipartite realization problem and the digraph realization problem.\\ Our main result is the connection between majorization and the number of realizations for a degree list in all three problems. We show: if degree list $S'$ majorizes $S$ in a certain sense, then $S$ possesses more realizations than $S'.$ We prove that constant lists possess the largest number of realizations for fixed $n$ and a fixed number of arcs $m$ when $n$ divides $m.$ So-called \emph{minconvex lists} for graphs and bipartite graphs or \emph{opposed minconvex lists} for digraphs maximize the number of realizations when $n$ does not divide $m$.