bipartite graph
2604 papers tagged with this keyword
Average degree conditions forcing a minor
Published in Electronic J. Combinatorics 23:1.42, 2016
• View Publication
• BIB
Mader first proved that high average degree forces a given graph as a minor. Often motivated by Hadwiger's Conjecture, much research has focused on the average degree required to force a complete graph as a minor. Subsequently, various authors have consider the average degree required to force an arbitrary graph $H$ as a minor. Here, we strengthen (under certain conditions) a recent result by Reed and Wood, giving better bounds on the average degree required to force an $H$-minor when $H$ is a sparse graph with many high degree vertices. This solves an open problem of Reed and Wood, and also generalises (to within a constant factor) known results when $H$ is an unbalanced complete bipartite graph.
Chip games and paintability
Published
• View Publication
• BIB
We prove that the difference between the paint number and the choice number of a complete bipartite graph $K_{N,N}$ is $Θ(\log \log N )$. That answers the question of Zhu (2009) whether this difference, for all graphs, can be bounded by a common constant. By a classical correspondence, our result translates to the framework of on-line coloring of uniform hypergraphs. This way we obtain that for every on-line two coloring algorithm there exists a k-uniform hypergraph with $Θ(2^k )$ edges on which the strategy fails. The results are derived through an analysis of a natural family of chip games.
On the Equitable Vertex Arboricity of Graphs
The equitable coloring problem, introduced by Meyer in 1973, has received considerable attention and research. Recently, Wu, Zhang and Li introduced the concept of equitable $(t,k)$-tree-coloring, which can be regarded as a generalization of proper equitable $t$-coloring. The \emph{strong equitable vertex $k$-arboricity} of $G$, denoted by ${va_k}^\equiv(G)$, is the smallest integer $t$ such that $G$ has an equitable $(t', k)$-tree-coloring for every $t'\geq t$. The exact value of strong equitable vertex $k$-arboricity of complete equipartition bipartite graph $K_{n,n}$ was studied by Wu, Zhang and Li. In this paper, we first get a sharp upper bound of strong equitable vertex arboricity of complete bipartite graph$K_{n,n+\ell} \ (1\leq \ell\leq n)$, that is, ${va_2}^\equiv(K_{n,n+\ell})\leq2\left\lfloor{\frac{n+\ell+1}{3}}\right\rfloor$. Next, we obtain a sufficient and necessary condition on an equitable $(q,\infty)$-tree coloring of a complete equipartition tripartite graph, and study the strong equitable vertex arboricity of forests. For a simple graph $G$ of order $n$, we show that $1\leq {va_k}^\equiv(G)\leq \lceil n/2 \rceil$. Furthermore, graphs with ${va_k}^\equiv(G)=1,\lceil\frac{n}{2}\rceil,\lceil\frac{n}{2}\rceil-1$ are characterized, respectively. In the end, we obtain the Nordhaus-Gaddum type results of strong equitable vertex $k$-arboricity for general $k$.
Extremal results for Berge-hypergraphs
Published
• View Publication
• BIB
Let $G$ be a graph and $\mathcal{H}$ be a hypergraph both on the same vertex set. We say that a hypergraph $\mathcal{H}$ is a \emph{Berge}-$G$ if there is a bijection $f : E(G) \rightarrow E(\mathcal{H})$ such that for $e \in E(G)$ we have $e \subset f(e)$. This generalizes the established definitions of "Berge path" and "Berge cycle" to general graphs. For a fixed graph $G$ we examine the maximum possible size (i.e.\ the sum of the cardinality of each edge) of a hypergraph with no Berge-$G$ as a subhypergraph. In the present paper we prove general bounds for this maximum when $G$ is an arbitrary graph. We also consider the specific case when $G$ is a complete bipartite graph and prove an analogue of the K\H ovári-Sós-Turán theorem.
A note on $\mathtt{V}$-free $2$-matchings
Motivated by a conjecture of Liang [Y.-C. Liang. {\em Anti-magic labeling of graphs}. PhD thesis, National Sun Yat-sen University, 2013.], we introduce a restricted path packing problem in bipartite graphs that we call a $\mathtt{V}$-free $2$-matching. We verify the conjecture through a weakening of the hypergraph matching problem. We close the paper by showing that it is NP-complete to decide whether one of the color classes of a bipartite graph can be covered by a $\mathtt{V}$-free $2$-matching.
$χ_D(G)$, $|Aut(G)|$, and a variant of the Motion Lemma
Published
• View Publication
• BIB
The \textit{Distinguishing Chromatic Number} of a graph $G$, denoted $χ_D(G)$, was first defined in \cite{collins} as the minimum number of colors needed to properly color $G$ such that no non-trivial automorphism $φ$ of the graph $G$ fixes each color class of $G$. In this paper, 1. We prove a lemma that may be considered a variant of the Motion lemma of \cite{RS} and use this to give examples of several families of graphs which satisfy $χ_D(G)=χ(G)+1$. 2.We give an example of families of graphs that admit large automorphism groups in which every proper coloring is distinguishing. We also describe families of graphs with (relatively) very small automorphism groups which satisfy $χ_D(G)=χ(G)+1$, for arbitrarily large values of $χ(G)$. 3. We describe non-trivial families of bipartite graphs that satisfy $χ_D(G)>r$ for any positive integer $r$.
New Proofs of Königs Theorem
Published in Indonesian Journal of Combinatorics 1 (2): 78-81 (2017)
• View Publication
• BIB
We introduce four new elementary short proofs of the famous König's theorem which characterizes bipartite graphs by absence of odd cycles.
An exact Turán result for tripartite 3-graphs
Published
• View Publication
• BIB
Mantel's theorem says that among all triangle-free graphs of a given order the balanced complete bipartite graph is the unique graph of maximum size. We prove an analogue of this result for 3-graphs. Let $K_4^-=\{123,124,134\}$, $F_6=\{123,124,345,156\}$ and $\mathcal{F}=\{K_4^-,F_6\}$: for $n\neq 5$ the unique $\mathcal{F}$-free 3-graph of order $n$ and maximum size is the balanced complete tripartite 3-graph $S_3(n)$ (for $n=5$ it is $C_5^{(3)}=\{123,234,345,145,125\}$). This extends an old result of Bollobás that $S_3(n) $ is the unique 3-graph of maximum size with no copy of $K_4^-=\{123,124,134\}$ or $F_5=\{123,124,345\}$.
A transference principle for Ramsey numbers of bounded degree graphs
We investigate Ramsey numbers of bounded degree graphs and provide an interpolation between known results on the Ramsey numbers of general bounded degree graphs and bounded degree graphs of small bandwidth. Our main theorem implies that there exists a constant $c$ such that for every $Δ$, there exists $β$ such that if $G$ is an $n$-vertex graph with maximum degree at most $Δ$ having a homomorphism $f$ into a graph $H$ of maximum degree at most $d$ where $|f^{-1}(v)| \le βn$ for all $v \in V(H)$, then the Ramsey number of $G$ is at most $c^{d \log d} n$. A construction of Graham, Rödl, and Ruciński shows that the statement above holds only if $β\le (c')^Δ$ for some constant $c' < 1$. We further study the parameter $β$ using a density-type embedding theorem for bipartite graphs of small bandwidth. This theorem may be of independent interest.
The stable regularity lemma revisited
Published in Proceedings of the American Mathematical Society, 144 (4), 2016, 1761-1765
• View Publication
• BIB
We prove a regularity lemma with respect to arbitrary Keisler measures mu on V, nu on W where the bipartite graph (V,W,R) is definable in a saturated structure M and the formula R(x,y) is stable. The proof is rather quick and uses local stability theory. The special case where (V,W,R) is pseudofinite, mu, nu are the counting measures and M is suitably chosen (for example a nonstandard model of set theory), yields the stable regularity theorem of Malliaris-Shelah (Transactions AMS, 366, 2014, 1551-1585), though without explicit bounds or equitability.
Rainbow matchings and rainbow connectedness
Published
• View Publication
• BIB
Aharoni and Berger conjectured that every bipartite graph which is the union of n matchings of size n + 1 contains a rainbow matching of size n. This conjecture is a generalization of several old conjectures of Ryser, Brualdi, and Stein about transversals in Latin squares. There have been many recent partial results about the Aharoni-Berger Conjecture. In the case when the matchings are much larger than n + 1, the best bound is currently due to Clemens and Ehrenmüller who proved the conjecture when the matchings are of size at least 3n/2 + o(n). When the matchings are all edge-disjoint and perfect, then the best result follows from a theorem of Häggkvist and Johansson which implies the conjecture when the matchings have size at least n + o(n).
In this paper we show that the conjecture is true when the matchings have size n + o(n) and are all edge-disjoint (but not necessarily perfect). We also give an alternative argument to prove the conjecture when the matchings have size at least $φn + o(n)$ where $φ\approx 1.618$ is the Golden Ratio.
Our proofs involve studying connectedness in coloured, directed graphs. The notion of connectedness that we introduce is new, and perhaps of independent interest.
Dimers on Rail Yard Graphs
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 4 (2017), 479-539
• View Publication
• BIB
We introduce a general model of dimer coverings of certain plane bipartite graphs, which we call rail yard graphs (RYG). The transfer matrices used to compute the partition function are shown to be isomorphic to certain operators arising in the so-called boson-fermion correspondence. This allows to reformulate the RYG dimer model as a Schur process, i.e. as a random sequence of integer partitions subject to some interlacing conditions.
Beyond the computation of the partition function, we provide an explicit expression for all correlation functions or, equivalently, for the inverse Kasteleyn matrix of the RYG dimer model. This expression, which is amenable to asymptotic analysis, follows from an exact combinatorial description of the operators localizing dimers in the transfer-matrix formalism, and then a suitable application of Wick's theorem.
Plane partitions, domino tilings of the Aztec diamond, pyramid partitions, and steep tilings arise as particular cases of the RYG dimer model. For the Aztec diamond, we provide new derivations of the edge-probability generating function, of the biased creation rate, of the inverse Kasteleyn matrix and of the arctic circle theorem.
Critical exponents of graphs
Published in Journal of Combinatorial Theory, Series A 139 (2016), 30-58
• View Publication
• BIB
The study of entrywise powers of matrices was originated by Loewner in the pursuit of the Bieberbach conjecture. Since the work of FitzGerald and Horn (1977), it is known that $A^{\circ α} := (a_{ij}^α)$ is positive semidefinite for every entrywise nonnegative $n \times n$ positive semidefinite matrix $A = (a_{ij})$ if and only if $α$ is a positive integer or $α\geq n-2$. This surprising result naturally extends the Schur product theorem, and demonstrates the existence of a sharp phase transition in preserving positivity. In this paper, we study when entrywise powers preserve positivity for matrices with structure of zeros encoded by graphs. To each graph is associated an invariant called its "critical exponent", beyond which every power preserves positivity. In our main result, we determine the critical exponents of all chordal/decomposable graphs, and relate them to the geometry of the underlying graphs. We then examine the critical exponent of important families of non-chordal graphs such as cycles and bipartite graphs. Surprisingly, large families of dense graphs have small critical exponents that do not depend on the number of vertices of the graphs.
Spectral analogues of Erdős' and Moon-Moser's theorems on Hamilton cycles
Published in Linear Multilinear Algebra 64(2016), no.11, 1152--1169
• View Publication
• BIB
In 1962, Erdős gave a sufficient condition for Hamilton cycles in terms of the vertex number, edge number, and minimum degree of graphs which generalized Ore's theorem. One year later, Moon and Moser gave an analogous result for Hamilton cycles in balanced bipartite graphs. In this paper we present the spectral analogues of Erdős' theorem and Moon-Moser's theorem, respectively. Let $\mathcal{G}_n^k$ be the class of non-Hamiltonian graphs of order $n$ and minimum degree at least $k$. We determine the maximum (signless Laplacian) spectral radius of graphs in $\mathcal{G}_n^k$ (for large enough $n$), and the minimum (signless Laplacian) spectral radius of the complements of graphs in $\mathcal{G}_n^k$. All extremal graphs with the maximum (signless Laplacian) spectral radius and with the minimum (signless Laplacian) spectral radius of the complements are determined, respectively. We also solve similar problems for balanced bipartite graphs and the quasi-complements.
On the number of k-dominating independent sets
Published
• View Publication
• BIB
We study the existence and the number of $k$-dominating independent sets in certain graph families. While the case $k=1$ namely the case of maximal independent sets - which is originated from Erdős and Moser - is widely investigated, much less is known in general. In this paper we settle the question for trees and prove that the maximum number of $k$-dominating independent sets in $n$-vertex graphs is between $c_k\cdot\sqrt[2k]{2}^n$ and $c_k'\cdot\sqrt[k+1]{2}^n$ if $k\geq 2$, moreover the maximum number of $2$-dominating independent sets in $n$-vertex graphs is between $c\cdot 1.22^n$ and $c'\cdot1.246^n$. Graph constructions containing a large number of $k$-dominating independent sets are coming from product graphs, complete bipartite graphs and with finite geometries. The product graph construction is associated with the number of certain MDS codes.
Sparse graph limits, entropy maximization and transitive graphs
In this paper we describe a triple correspondence between graph limits, information theory and group theory. We put forward a new graph limit concept called log-convergence that is closely connected to dense graph limits but its main applications are in the study of sparse graph sequences. We present an information theoretic limit concept for $k$-tuples of random variables that is based on the entropy maximization problem for joint distributions of random variables where a system of marginal distributions is prescribed. We give a fruitful correspondence between the two limit concepts that has a group theoretic nature. Our applications are in graph theory and information theory. We shows that if $H$ is a bipartite graph, $P_1$ is the edge and $t$ is the homomorphism density function then the supremum of $\log t(H,G)/\log t(P_1,G)$ in the set of all graphs $G$ is the same as in the set of graphs that are both edge and vertex transitive. This result gives a group theoretic approach to Sidorenko's famous conjecture. We obtain information theoretic inequalities regarding the entropy maximization problem. We investigate the limits of sparse random graphs and discuss quasi-randomness in our framework.
A semidefinite programming approach to a cross-intersection problem with measures
Published in Math. Program. 166 (2017) 113-130
• View Publication
• BIB
We present a semidefinite programming approach to bound the measures of cross-independent pairs in a bipartite graph. This can be viewed as a far-reaching extension of Hoffman's ratio bound on the independence number of a graph. As an application, we solve a problem on the maximum measures of cross-intersecting families of subsets with two different product measures, which is a generalized measure version of the Erdős-Ko-Rado theorem for cross-intersecting families with different uniformities.
Minimum-cost matching in a random graph with random costs
Published
• View Publication
• BIB
Let $G_{n,p}$ be the standard Erdős-Rényi-Gilbert random graph and let $G_{n,n,p}$ be the random bipartite graph on $n+n$ vertices, where each $e\in [n]^2$ appears as an edge independently with probability $p$. For a graph $G=(V,E)$, suppose that each edge $e\in E$ is given an independent uniform exponential rate one cost. Let $C(G)$ denote the random variable equal to the length of the minimum cost perfect matching, assuming that $G$ contains at least one. We show that w.h.p. if $d=np\gg(\log n)^2$ then w.h.p. ${\bf E}[C(G_{n,n,p})] =(1+o(1))\frac{\p^2}{6p}$. This generalises the well-known result for the case $G=K_{n,n}$. We also show that w.h.p. ${\bf E}[C(G_{n,p})] =(1+o(1))\frac{\p^2}{12p}$ along with concentration results for both types of random graph.
On 1-sum flows in undirected graphs
Published
• View Publication
• BIB
Let G=(V,E) be a simple undirected graph. For a given set L of the real line, a function omega from E to L is called an L-flow. Given a vector gamma whose coordinates are indexed by V, we say that omega is a gamma-L-flow if for each v in V, the sum of the values on the edges incident to v is gamma(v). If gamma(v)=c, for all v in V, then the gamma-L-flow is called a c-sum L-flow. In this paper we study the existence of gamma-L-flows for various choices of sets L of real numbers, with an emphasis on 1-sum flows.
Given a natural k number, a c-sum k-flow is a c-sum flow with values from the set {-1,1,...,1-k, k-1}. Let L be a subset of real numbers containing 0 and let L* be L minus 0 by L*. Answering a question from a recent paper we characterize which bipartite graphs admit a 1-sum R*-flow or a 1-sum Z*-flow. We also show that that every k-regular graph, with k either odd or congruent to 2 modulo 4, admits a 1-sum {-1, 0, 1}-flow.
An Extension of hibi's palindromic theorem
Hibi showed that the polynomial in the numerator of the Ehrhart series of a reflexive polytope is palindromic. We proved that those in the numerator of the Ehrhart series of every graph polytope (defined later) of the bipartite graph is palindromic. From this, one of the conjectures (raised in the A205497 of OEIS \cite{[O]}) follows immediately.