bipartite graph
2514 papers tagged with this keyword
Antimagic orientation of subdivided caterpillars
Published
• View Publication
• BIB
Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\ldots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $v$ in $D$ under $τ$ is the sum of labels of all arcs entering $v$ minus the sum of labels of all arcs leaving $v$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as regular graphs, graphs with minimum degree at least 33, bipartite graphs with no vertex of degree zero or two, and trees including caterpillars and complete $k$-ary trees. We prove that every subdivided caterpillar admits an antimagic orientation, where a subdivided caterpillar is a subdivision of a caterpillar $T$ such that the edges of $T$ that are not on the central path of $T$ are subdivided the same number of times.
Entropy-Based Proofs of Combinatorial Results on Bipartite Graphs
Published
• View Publication
• BIB
This work considers new entropy-based proofs of some known, or otherwise refined, combinatorial bounds for bipartite graphs. These include upper bounds on the number of the independent sets, lower bounds on the minimal number of colors in constrained edge coloring, and lower bounds on the number of walks of a given length in bipartite graphs. The proofs of these combinatorial results rely on basic properties of the Shannon entropy.
The Rank of the Sandpile Group of Random Directed Bipartite Graphs
Published
• View Publication
• BIB
We identify the asymptotic distribution of $p$-rank of the sandpile group of a random directed bipartite graphs which are not too imbalanced. We show this matches exactly that of the Erd{ö}s-R{é}nyi random directed graph model, suggesting the Sylow $p$-subgroups of this model may also be Cohen-Lenstra distributed. Our work builds on results of Koplewitz who studied $p$-rank distributions for unbalanced random bipartite graphs, and showed that for sufficiently unbalanced graphs, the distribution of $p$-rank differs from the Cohen-Lenstra distribution. Koplewitz \cite{K} conjectured that for random balanced bipartite graphs, the expected value of $p$-rank is $O(1)$ for any $p$. This work proves his conjecture and gives the exact distribution for the subclass of directed graphs.
Integer programs with bounded subdeterminants and two nonzeros per row
Published in Journal of the ACM, 72/1:Article 3, 2025
• View Publication
• BIB
We give a strongly polynomial-time algorithm for integer linear programs defined by integer coefficient matrices whose subdeterminants are bounded by a constant and that contain at most two nonzero entries in each row. The core of our approach is the first polynomial-time algorithm for the weighted stable set problem on graphs that do not contain more than $k$ vertex-disjoint odd cycles, where $k$ is any constant. Previously, polynomial-time algorithms were only known for $k=0$ (bipartite graphs) and for $k=1$.
We observe that integer linear programs defined by coefficient matrices with bounded subdeterminants and two nonzeros per column can be also solved in strongly polynomial-time, using a reduction to $b$-matching.
Primality of weakly connected collections of cells and weakly closed path polyominoes
Published
• View Publication
• BIB
In this paper we study the primality of weakly connected collections of cells, showing that the ideal generated by inner 2-minors attached to a weakly connected and simple collection of cells is the toric ideal of the edge ring of a weakly chordal bipartite graph. As an application of this result we characterize the primality of the polyomino ideals of weakly closed paths, a new class of non simple polyominoes.
Finite Prime Distance Graphs and 2-Odd Graphs
Published in Discrete Mathematics 313 (20) 2013, pages 2281-2291
• Search Publication
A graph $G$ is a prime distance graph (respectively, a 2-odd graph) if its vertices can be labeled with distinct integers such that for any two adjacent vertices, the difference of their labels is prime (either 2 or odd). We prove that trees, cycles, and bipartite graphs are prime distance graphs, and that Dutch windmill graphs and paper mill graphs are prime distance graphs if and only if the Twin Prime Conjecture and dePolignac's Conjecture are true, respectively. We give a characterization of 2-odd graphs in terms of edge colorings, and we use this characterization to determine which circulant graphs of the form $Circ(n, \{1,k\})$ are 2-odd and to prove results on circulant prime distance graphs.
Excluding a Planar Matching Minor in Bipartite Graphs
Published
• View Publication
• BIB
Matching minors are a specialisation of minors fit for the study of graph with perfect matchings. The notion of matching minors has been used to give a structural description of bipartite graphs on which the number of perfect matchings can becomputed efficiently, based on a result of Little, by McCuaig et al. in 1999.In this paper we generalise basic ideas from the graph minor series by Robertson and Seymour to the setting of bipartite graphs with perfect matchings. We introducea version of Erdos-Posa property for matching minors and find a direct link between this property and planarity. From this, it follows that a class of bipartite graphs withperfect matchings has bounded perfect matching width if and only if it excludes aplanar matching minor. We also present algorithms for bipartite graphs of bounded perfect matching width for a matching version of the disjoint paths problem, matching minor containment, and for counting the number of perfect matchings. From our structural results, we obtain that recognising whether a bipartite graphGcontains afixed planar graphHas a matching minor, and that counting the number of perfect matchings of a bipartite graph that excludes a fixed planar graph as a matching minor are both polynomial time solvable.
Component behaviour and excess of random bipartite graphs near the critical point
Published
• View Publication
• BIB
The binomial random bipartite graph $G(n,n,p)$ is the random graph formed by taking two partition classes of size $n$ and including each edge between them independently with probability $p$. It is known that this model exhibits a similar phase transition as that of the binomial random graph $G(n,p)$ as $p$ passes the critical point of $\frac{1}{n}$. We study the component structure of this model near to the critical point. We show that, as with $G(n,p)$, for an appropriate range of $p$ there is a unique `giant' component and we determine asymptotically its order and excess. We also give more precise results for the distribution of the number of components of a fixed order in this range of $p$. These results rely on new bounds for the number of bipartite graphs with a fixed number of vertices and edges, which we also derive.
Lattice Conditional Independence Models and Hibi Ideals
Published in Transactions of the London Mathematical Society, Volume 9, Issue 1, 2022
• View Publication
• BIB
Lattice Conditional Independence models are a class of models developed first for the Gaussian case in which a distributive lattice classifies all the conditional independence statements. The main result is that these models can equivalently be described via a transitive directed acyclic graph (TDAG) in which, as is normal for causal models, the conditional independence is in terms of conditioning on ancestors in the graph. We demonstrate that a parallel stream of research in algebra, the theory of Hibi ideals, not only maps directly to the LCI models but gives a vehicle to generalise the theory from the linear Gaussian case. Given a distributive lattice (i) each conditional independence statement is associated with a Hibi relation defined on the lattice, (ii) the directed graph is given by chains in the lattice which correspond to chains of conditional independence, (iii) the elimination ideal of product terms in the chains gives the Hibi ideal and (iv) the TDAG can be recovered from a special bipartite graph constructed via the Alexander dual of the Hibi ideal. It is briefly demonstrated that there are natural applications to statistical log-linear models, time series, and Shannon information flow.
A note on induced Turán numbers
Loh, Tait, Timmons and Zhou introduced the notion of induced Turán numbers, defining $\operatorname{ex}(n, \{H, F\text{-ind}\})$ to be the greatest number of edges in an $n$-vertex graph with no copy of $H$ and no induced copy of $F$. Their and subsequent work has focussed on $F$ being a complete bipartite graph. In this short note, we complement this focus by asymptotically determining the induced Turán number whenever $H$ is not bipartite and $F$ is not an independent set nor a complete bipartite graph.
On the Rank, Kernel, and Core of Sparse Random Graphs
Published
• View Publication
• BIB
We study the rank of the adjacency matrix $A$ of a random Erdos Renyi graph $G\sim \mathbb{G}(n,p)$. It is well known that when $p = (\log(n) - ω(1))/n$, with high probability, $A$ is singular. We prove that when $p = ω(1/n)$, with high probability, the corank of $A$ is equal to the number of isolated vertices remaining in $G$ after the Karp-Sipser leaf-removal process, which removes vertices of degree one and their unique neighbor. We prove a similar result for the random matrix $B$, where all entries are independent Bernoulli random variables with parameter $p$. Namely, we show that if $H$ is the bipartite graph with bi-adjacency matrix $B$, then the corank of $B$ is with high probability equal to the max of the number of left isolated vertices and the number of right isolated vertices remaining after the Karp-Sipser leaf-removal process on $H$. Additionally, we show that with high probability, the $k$-core of $\mathbb{G}(n, p)$ is full rank for any $k \geq 3$ and $p = ω(1/n)$. This partially resolves a conjecture of Van Vu for $p = ω(1/n)$. Finally, we give an application of the techniques in this paper to gradient coding, a problem in distributed computing.
Constructive Characterization of Critical Bipartite Grafts
Factor-critical graphs are a classical concept in matching theory that constitute an important component of the Gallai-Edmonds canonical decomposition and Edmonds' algorithm for maximum matchings. Lovász provided a constructive characterization of factor-critical graphs in terms of ear decompositions. This characterization has been a useful inductive tool for studying factor-critical graphs and also connects them with Edmonds' algorithm.
Joins in grafts, also known as $T$-joins in graphs, are a classical variant of matchings proposed in terms of parity. Minimum joins and grafts are generalizations of perfect matchings and graphs with perfect matchings, respectively. Accordingly, graft analogues of fundamental concepts and results from matching theory, such as canonical decompositions, will develop the theory of minimum join. In this paper, we propose a new concept, critical quasicombs, as a bipartite graft analogue of factor-critical graphs and provide a constructive characterization of critical quasicombs using a graft version of ear decompositions. This characterization can be considered as a bipartite graft analogue of Lovász' result. From our results, the Dulmage-Mendelsohn canonical decomposition, originally a theory for bipartite graphs, has been generalized for bipartite grafts.
On the Decycling Number of Bubble-sort Star Graphs
Bubble-sort star graphs are a combination of star graphs and bubble sort graphs. They are bipartite graphs and also form a family of Cayley graphs. The decycling number of a graph is the minimum number of vertices whose removal from the graph results in an acyclic subgraph. In this paper, we prove the decycling number D(n) of an n-dimensional bubble-sort star graph for n <= 5. We also show D(n) satisfies the inequalities for n >= 6.
Four Amazing Positivities with Dimers/i-Matchings
We collect a number of striking recent results in a study of dimers on infinite regular bipartite lattices and also on regular bipartite graphs. We clearly separate rigorously proven results from conjectures. A primary goal is to show people: here is a field which is ripe for further interesting research. We separate four classes of endeavor, of which we here extract two items to whet one's appetite. Primo,for hyper-rectangular lattices of every dimension the first 20 virial coefficients are positive. (One has no understanding of this yet!) Secondo, all regular bipartite graphs with less than $14$ vertices satisfy graph positivity, defined below. (Here there is some understanding.)
Almost color-balanced perfect matchings in color-balanced complete graphs
Published
• View Publication
• BIB
For a graph $G$ and a not necessarily proper $k$-edge coloring $c:E(G)\to \{ 1,\ldots,k\}$, let $m_i(G)$ be the number of edges of $G$ of color $i$, and call $G$ {\it color-balanced} if $m_i(G)=m_j(G)$ for every two colors $i$ and $j$. Several famous open problems relate to this notion; Ryser's conjecture on transversals in latin squares, for instance, is equivalent to the statement that every properly $n$-edge colored complete bipartite graph $K_{n,n}$ has a color-balanced perfect matching. We contribute some results on the question posed by Kittipassorn and Sinsap (arXiv:2011.00862v1) whether every $k$-edge colored color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$. For a perfect matching $M$ of $K_{2kn}$, a natural measure for the total deviation of $M$ from being color-balanced is $f(M)=\sum\limits_{i=1}^k|m_i(M)-n|$. While not every color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$, that is, a perfect matching with $f(M)=0$, we prove the existence of a perfect matching $M$ with $f(M)=O\left(k\sqrt{kn\ln(k)}\right)$ for general $k$ and $f(M)\leq 2$ for $k=3$; the case $k=2$ has already been studied earlier. An attractive feature of the problem is that it naturally invites the combination of a combinatorial approach based on counting and local exchange arguments with probabilistic and geometric arguments.
Mutual Visibility in Graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $P\subseteq V$ a set of points. Two points are mutually visible if there is a shortest path between them without further points. $P$ is a mutual-visibility set if its points are pairwise mutually visible. The mutual-visibility number of $G$ is the size of any largest mutual-visibility set. In this paper we start the study about this new invariant and the mutual-visibility sets in undirected graphs. We introduce the mutual-visibility problem which asks to find a mutual-visibility set with a size larger than a given number. We show that this problem is NP-complete, whereas, to check whether a given set of points is a mutual-visibility set is solvable in polynomial time. Then we study mutual-visibility sets and mutual-visibility numbers on special classes of graphs, such as block graphs, trees, grids, tori, complete bipartite graphs, cographs. We also provide some relations of the mutual-visibility number of a graph with other invariants.
Global rigidity of complete bipartite graphs
This note gives a detailed proof of the following statement. Let $d\in \mathbb{N}$ and $m,n \ge d + 1$, with $m + n \ge \binom{d+2}{2} + 1$. Then the complete bipartite graph $K_{m,n}$ is generically globally rigid in dimension $d$.
Sampling Colorings and Independent Sets of Random Regular Bipartite Graphs in the Non-Uniqueness Region
Published
• View Publication
• BIB
For spin systems, such as the $q$-colorings and independent-set models, approximating the partition function in the so-called non-uniqueness region, where the model exhibits long-range correlations, is typically computationally hard for bounded-degree graphs. We present new algorithmic results for approximating the partition function and sampling from the Gibbs distribution for spin systems in the non-uniqueness region on random regular bipartite graphs. We give an $\mathsf{FPRAS}$ for counting $q$-colorings for even $q=O\big(\tfracΔ{\logΔ}\big)$ on almost every $Δ$-regular bipartite graph. This is within a factor $O(\logΔ)$ of the sampling algorithm for general graphs in the uniqueness region and improves significantly upon the previous best bound of $q=O\big(\tfrac{\sqrtΔ}{(\logΔ)^2}\big)$ by Jenssen, Keevash, and Perkins (SODA'19). Analogously, for the hard-core model on independent sets weighted by $λ>0$, we present an $\mathsf{FPRAS}$ for estimating the partition function when $λ=Ω\big(\tfrac{\logΔ}Δ\big)$, which improves upon previous results by an $Ω(\log Δ)$ factor. Our results for the colorings and hard-core models follow from a general result that applies to arbitrary spin systems. Our main contribution is to show how to elevate probabilistic/analytic bounds on the marginal probabilities for the typical structure of phases on random bipartite regular graphs into efficient algorithms, using the polymer method. We further show evidence that our result for colorings is within a constant factor of best possible using current polymer-method approaches.
On the fixed-parameter tractability of the partial vertex cover problem with a matching constraint in edge-weighted bipartite graphs
Published
• View Publication
• BIB
In the classical partial vertex cover problem, we are given a graph $G$ and two positive integers $R$ and $L$. The goal is to check whether there is a subset $V'$ of $V$ of size at most $R$, such that $V'$ covers at least $L$ edges of $G$. The problem is NP-hard as it includes the Vertex Cover problem. Previous research has addressed the extension of this problem where one has weight-functions defined on sets of vertices and edges of $G$. In this paper, we consider the following version of the problem where on the input we are given an edge-weighted bipartite graph $G$, and three positive integers $R$, $S$ and $T$. The goal is to check whether $G$ has a subset $V'$ of vertices of $G$ of size at most $R$, such that the edges of $G$ covered by $V'$ have weight at least $S$ and they include a matching of weight at least $T$. In the paper, we address this problem from the perspective of fixed-parameter tractability. One of our hardness results is obtained via a reduction from the bi-objective knapsack problem, which we show to be W[1]-hard with respect to one of parameters. We believe that this problem might be useful in obtaining similar results in other situations.
Polynomial bounds for chromatic number. I. Excluding a biclique and an induced tree
Published
• View Publication
• BIB
Let H be a tree. It was proved by Rodl that graphs that do not contain H as an induced subgraph, and do not contain the complete bipartite graph $K_{t,t}$ as a subgraph, have bounded chromatic number. Kierstead and Penrice strengthened this, showing that such graphs have bounded degeneracy. Here we give a further strengthening, proving that for every tree H, the degeneracy is at most polynomial in t. This answers a question of Bonamy, Pilipczuk, Rzazewski, Thomasse and Walczak.