bipartite graph
2514 papers tagged with this keyword
On the Dual of the Solvency Cone
Published in Discrete Applied Mathematics 186, 176-185, (2015)
• View Publication
• BIB
A solvency cone is a polyhedral convex cone which is used in Mathematical Finance to model proportional transaction costs. It consists of those portfolios which can be traded into nonnegative positions. In this note, we provide a characterization of its dual cone in terms of extreme directions and discuss some consequences, among them: (i) an algorithm to construct extreme directions of the dual cone when a corresponding "contribution scheme" is given; (ii) estimates for the number of extreme directions; (iii) an explicit representation of the dual cone for special cases. The validation of the algorithm is based on the following easy-to-state but difficult-to-solve result on bipartite graphs: Running over all spanning trees of a bipartite graph, the number of left degree sequences equals the number of right degree sequences.
Reduction of constraint systems
Geometric modeling by constraints leads to large systems of algebraic equations. This paper studies bipartite graphs underlaid by systems of equations. It shows how these graphs make possible to polynomially decompose these systems into well constrained, over-, and underconstrained subsystems. This paper also gives an efficient method to decompose well constrained systems into irreducible ones. These decompositions greatly speed up the resolution in case of reducible systems. They also allow debugging systems of constraints.
Decomposition of random graphs into complete bipartite graphs
Published
• View Publication
• BIB
We consider the problem of partitioning the edge set of a graph $G$ into the minimum number $τ(G)$ of edge-disjoint complete bipartite subgraphs. We show that for a random graph $G$ in $G(n,p)$, for $p$ is a constant no greater than $1/2$, almost surely $τ(G)$ is between $n- c(\ln_{1/p} n)^{3+ε}$ and $n - 2\ln_{1/(1-p)} n$ for any positive constants $c$ and $ε$.
On Path-Pairability of Cartesian Product of Complete Bipartite Graphs
We study inheritance of path-pairability in the Cartesian product of graphs, and prove different (such as additive and multiplicative) inheritance patterns of path-pairability, depending on the size of the Cartesian product. We present path-pairable graph families, that improve the known upper bound on the minimal maximum degree of a path-pairable graph. Further results and open questions about path-pairability are also presented.
Large subgraphs without complete bipartite graphs
In this note, we answer the following question of Foucaud, Krivelevich and Perarnau. What is the size of the largest $K_{r,s}$-free subgraph one can guarantee in every graph $G$ with $m$ edges? We also discuss the analogous problem for hypergraphs.
Large subgraphs without short cycles
Published in SIAM Journal on Discrete Mathematics 29(1):65-78, 2015
• View Publication
• BIB
We study two extremal problems about subgraphs excluding a family $\F$ of graphs. i) Among all graphs with $m$ edges, what is the smallest size $f(m,\F)$ of a largest $\F$--free subgraph? ii) Among all graphs with minimum degree $δ$ and maximum degree $Δ$, what is the smallest minimum degree $h(δ,Δ,\F)$ of a spanning $\F$--free subgraph with largest minimum degree? These questions are easy to answer for families not containing any bipartite graph. We study the case where $\F$ is composed of all even cycles of length at most $2r$, $r\geq 2$. In this case, we give bounds on $f(m,\F)$ and $h(δ,Δ,\F)$ that are essentially asymptotically tight up to a logarithmic factor. In particular for every graph $G$, we show the existence of subgraphs with arbitrarily high girth, and with either many edges or large minimum degree. These subgraphs are created using probabilistic embeddings of a graph into extremal graphs.
Proof of the 1-factorization and Hamilton decomposition conjectures II: the bipartite case
Published
• View Publication
• BIB
In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$:
(i) [1-factorization conjecture] Suppose that $n$ is even and $D \geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$.
(ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching.
(iii) [Optimal packings of Hamilton cycles] Suppose that $G$ is a graph on $n$ vertices with minimum degree $δ\ge n/2$. Then $G$ contains at least ${\rm reg}_{\rm even}(n,δ)/2 \ge (n-2)/8$ edge-disjoint Hamilton cycles. Here ${\rm reg}_{\rm even}(n,δ)$ denotes the degree of the largest even-regular spanning subgraph one can guarantee in a graph on $n$ vertices with minimum degree $δ$.
According to Dirac, (i) was first raised in the 1950s. (ii) and the special case $δ= \lceil n/2 \rceil$ of (iii) answer questions of Nash-Williams from 1970. All of the above bounds are best possible. In the current paper, we prove the above results for the case when $G$ is close to a complete balanced bipartite graph.
Proof of the 1-factorization and Hamilton decomposition conjectures III: approximate decompositions
Published
• View Publication
• BIB
In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$:
(i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$.
(ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching.
(iii) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree.
According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we show the following: suppose that $G$ is close to a complete balanced bipartite graph or to the union of two cliques of equal size. If we are given a suitable set of path systems which cover a set of `exceptional' vertices and edges of $G$, then we can extend these path systems into an approximate decomposition of $G$ into Hamilton cycles (or perfect matchings if appropriate).
More on the normalized Laplacian Estrada index
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $N$. The normalized Laplacian Estrada index of $G$ is defined as $NEE(G)=\sum_{i=1}^Ne^{λ_i}$, where $λ_1,λ_2,\cdots,λ_N$ are the normalized Laplacian eigenvalues of $G$. In this paper, we give a tight lower bound for $NEE$ of general graphs. We also calculate $NEE$ for a class of treelike fractals, which contain some classical chemical trees as special cases. It is shown that $NEE$ scales linearly with the order of the fractal, in line with a best possible lower bound for connected bipartite graphs.
On the Complexity of the Misère Version of Three Games Played on Graphs
Published
• View Publication
• BIB
We investigate the complexity of finding a winning strategy for the misère version of three games played on graphs : two variants of the game $\text{NimG}$, introduced by Stockmann in 2004 and the game $\text{Vertex Geography}$ on both directed and undirected graphs. We show that on general graphs those three games are $\text{PSPACE}$-Hard or Complete. For one $\text{PSPACE}$-Hard variant of $\text{NimG}$, we find an algorithm to compute an effective winning strategy in time $\mathcal{O}(\sqrt{|V(G)|}.|E(G)|)$ when $G$ is a bipartite graph.
Extremal Hypergraphs for Ryser's Conjecture: Connectedness of Line Graphs of Bipartite Graphs
In this paper we consider a natural extremal graph theoretic problem of topological sort, concerning the minimization of the (topological) connectedness of the independence complex of graphs in terms of its dimension. We observe that the lower bound $\frac{\dim(\mathcal{I}(G))}{2} - 2$ on the connectedness of the independence complex $\mathcal{I}(G)$ of line graphs of bipartite graphs $G$ is tight. In our main theorem we characterize the extremal examples. Our proof of this characterization is based on topological machinery.
Our motivation for studying this problem comes from a classical conjecture of Ryser. Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $(r - 1)$-times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem. It has also been proven for $r = 3$ by Aharoni using a beautiful topological argument. In a separate paper we characterize the extremal examples for the $3$-uniform case of Ryser's Conjecture (i.e., Aharoni's Theorem), and in particular resolve an old conjecture of Lovász for the case of Ryser-extremal $3$-graphs.
Our main result in this paper will provide us with valuable structural information for that characterization. Its proof is based on the observation that link graphs of Ryser-extremal $3$-uniform hypergraphs are exactly the bipartite graphs we study here.
Extremal Hypergraphs for Ryser's Conjecture: Home-Base Hypergraphs
Published
• View Publication
• BIB
Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $r - 1$ times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem and every bipartite graph is a witness for its tightness. The conjecture has also been proven for $r = 3$ by Aharoni using topological methods, but the proof does not give information on the extremal $3$-uniform hypergraphs. Our goal in this paper is to characterize those hypergraphs which are tight for Aharoni's Theorem.
Our proof of this characterization is also based on topological machinery, particularly utilizing results on the (topological) connectedness of the independence complex of the line graph of the link graphs of $3$-uniform Ryser-extremal hypergraphs, developed in a separate paper. The current paper contains the second, structural hypergraph-theoretic part of the argument, where we use the information on the line graph of the link graphs to nail down the elements of a structure we call \emph{home-base hypergraph}. While there is a single minimal home-base hypergraph with matching number $k$ for every positive integer $k \in \mathbb{N}$, home-base hypergraphs with matching number $k$ are far from being unique. There are infinitely many of them and each of them is composed of $k$ copies of two different kinds of basic structures, whose hyperedges can intersect in various restricted, but intricate ways.
Our characterization also proves an old and wide open strengthening of Ryser's Conjecture, due to Lovász, for the $3$-uniform extremal case, that is, for hypergraphs with $τ= 2 ν$.
Trees in Random Sparse Graphs with a Given Degree Sequence
Let $\mathbb{G}^{D}$ be the set of graphs $G(V,\, E)$ with $\left|V\right|=n$, and the degree sequence equal to $D=(d_{1},\, d_{2},\,\dots,\, d_{n})$. In addition, for $\frac{1}{2}<a<1$, we define the set of graphs with an almost given degree sequence $D$ as follows, \[ \mathbb{G}_{a}^{D}:=\cup\,\mathbb{G}^{\bar{D}}, \] where the union is over all degree sequences $\bar{D}$ such that, for $1\leq i\leq n$, we have $\left|d_{i}-\bar{d}_{i}\right|<d_{i}^{a}$.
Now, if we chose random graphs $\mathcal{G}_{\mathbf{g}}\left(D\right)$ and $\mathcal{G}_{\mathbf{a}}\left(D\right)$ uniformly out of the sets $\mathbb{G}^{D}$ and $\mathbb{G}_{a}^{D}$, respectively, what do they look like? This has been studied when $\mathcal{G}_{\mathbf{g}}\left(D\right)$ is a dense graph, i.e. $\left|E\right|=Θ(n^{2})$, in the sense of graphons, or when $\mathcal{G}_{\mathbf{g}}\left(D\right)$ is very sparse, i.e. $d_{n}^{2}=o(\left|E\right|)$. In the case of sparse graphs with an almost given degree sequence, we investigate this question, and give the finite tree subgraph structure of $\mathcal{G}_{\mathbf{a}}\left(D\right)$ under some mild conditions. For the random graph $\mathcal{G}_{\mathbf{g}}\left(D\right)$ with a given degree sequence, we re-derive the finite tree structure in dense and very sparse cases to give a continuous picture.
Moreover, for a pair of vectors $\left(D_{1},D_{2}\right)\in\mathbb{Z}^{n_{1}}\times\mathbb{Z}^{n_{2}}$, we let $\mathcal{G}_{\mathbf{b}}\left(D_{1},D_{2}\right)$ be the random bipartite graph that is chosen uniformly out of the set $\mathbb{G}^{D_{1},D_{2}}$, where $\mathbb{G}^{D_{1},D_{2}}$ is the set of all bipartite graphs with the degree sequence $\left(D_{1},D_{2}\right)$. We are able to show the result for $\mathcal{G}_{\mathbf{b}}\left(D_{1},D_{2}\right)$ without any further conditions.
Maximal induced matchings in triangle-free graphs
Published
• View Publication
• BIB
An induced matching in a graph is a set of edges whose endpoints induce a $1$-regular subgraph. It is known that any $n$-vertex graph has at most $10^{n/5} \approx 1.5849^n$ maximal induced matchings, and this bound is best possible. We prove that any $n$-vertex triangle-free graph has at most $3^{n/3} \approx 1.4423^n$ maximal induced matchings, and this bound is attained by any disjoint union of copies of the complete bipartite graph $K_{3,3}$. Our result implies that all maximal induced matchings in an $n$-vertex triangle-free graph can be listed in time $O(1.4423^n)$, yielding the fastest known algorithm for finding a maximum induced matching in a triangle-free graph.
2-connected equimatchable graphs on surfaces
Published
• View Publication
• BIB
A graph $G$ is equimatchable if any matching in $G$ is a subset of a maximum-size matching. It is known that any $2$-connected equimatchable graph is either bipartite or factor-critical. We prove that for any vertex $v$ of a $2$-connected factor-critical equimatchable graph $G$ and a minimal matching $M$ that isolates $v$ the graph $G\setminus(M\cup\{ v\})$ is either $K_{2n}$ or $K_{n,n}$ for some $n$. We use this result to improve the upper bounds on the maximum size of $2$-connected equimatchable factor-critical graphs embeddable in the orientable surface of genus $g$ to $4\sqrt g+17$ if $g\le 2$ and to $12\sqrt g+5$ if $g\ge 3$. Moreover, for any nonnegative integer $g$ we construct a $2$-connected equimatchable factor-critical graph with genus $g$ and more than $4\sqrt{2g}$ vertices, which establishes that the maximum size of such graphs is $Θ(\sqrt g)$. Similar bounds are obtained also for nonorientable surfaces. Finally, for any nonnegative integers $g$, $h$ and $k$ we provide a construction of arbitrarily large $2$-connected equimatchable bipartite graphs with orientable genus $g$, respectively nonorientable genus $h$, and a genus embedding with face-width $k$.
A counterexample to sparse removal
Published
• View Publication
• BIB
The Turán number of a graph $H$, denoted $\mbox{ex}(n,H)$, is the maximum number of edges in an $n$-vertex graph with no subgraph isomorphic to $H$. Solymosi conjectured that if $H$ is any graph and $\mbox{ex}(n,H) = O(n^α)$ where $α> 1$, then any $n$-vertex graph with the property that each edge lies in exactly one copy of $H$ has $o(n^α)$ edges. This can be viewed as conjecturing a possible extension of the removal lemma to sparse graphs, and is well-known to be true when $H$ is a non-bipartite graph, in particular when $H$ is a triangle, due to Ruzsa and Szemerédi. Using Sidon sets we exhibit infinitely many bipartite graphs $H$ for which the conjecture is false.
Some possible numbers of edge coverings of a bipartite graph or shortest paths with fixed ends in a space of compact sets in $R^n$
Published
• View Publication
• BIB
In this paper we provide a method of finding possible numbers of shortest paths between two points in a space of compact sets in Euclidean space with Hausdorff distance. We also prove that there cannot be some of the numbers of shortest paths, thus expanding previous works [1][2]
Median eigenvalues of bipartite graphs
Published
• View Publication
• BIB
For a graph $G$ of order $n$ and with eigenvalues $λ_1\geqslant\cdots\geqslantλ_n$, the HL-index $R(G)$ is defined as $R(G) ={\max}\left\{|λ_{\lfloor(n+1)/2\rfloor}|, |λ_{\lceil(n+1)/2\rceil}|\right\}.$ We show that for every connected bipartite graph $G$ with maximum degree $Δ\geqslant3$, $R(G)\leqslant\sqrt{Δ-2}$ unless $G$ is the the incidence graph of a projective plane of order $Δ-1$. We also present an approach through graph covering to construct infinite families of bipartite graphs with large HL-index.
Combinatorial species and graph enumeration
In enumerative combinatorics, it is often a goal to enumerate both labeled and unlabeled structures of a given type. The theory of combinatorial species is a novel toolset which provides a rigorous foundation for dealing with the distinction between labeled and unlabeled structures. The cycle index series of a species encodes the labeled and unlabeled enumerative data of that species. Moreover, by using species operations, we are able to solve for the cycle index series of one species in terms of other, known cycle indices of other species. Section 3 is an exposition of species theory and Section 4 is an enumeration of point-determining bipartite graphs using this toolset. In Section 5, we extend a result about point-determining graphs to a similar result for point-determining Φ-graphs, where Φ is a class of graphs with certain properties. Finally, Appendix A is an expository on species computation using the software Sage [9] and Appendix B uses Sage to calculate the cycle index series of point-determining bipartite graphs.
Bipartite Rigidity
Published
• View Publication
• BIB
We develop a bipartite rigidity theory for bipartite graphs parallel to the classical rigidity theory for general graphs, and define for two positive integers $k,l$ the notions of $(k,l)$-rigid and $(k,l)$-stress free bipartite graphs. This theory coincides with the study of Babson--Novik's balanced shifting restricted to graphs. We establish bipartite analogs of the cone, contraction, deletion, and gluing lemmas, and apply these results to derive a bipartite analog of the rigidity criterion for planar graphs. Our result asserts that for a planar bipartite graph $G$ its balanced shifting, $G^b$, does not contain $K_{3,3}$; equivalently, planar bipartite graphs are generically $(2,2)$-stress free. We also discuss potential applications of this theory to Jockusch's cubical lower bound conjecture and to upper bound conjectures for embedded simplicial complexes.