bipartite graph
2604 papers tagged with this keyword
Extremal anti-forcing numbers of perfect matchings of graphs
Published
• View Publication
• BIB
The anti-forcing number of a perfect matching $M$ of a graph $G$ is the minimal number of edges not in $M$ whose removal to make $M$ as a unique perfect matching of the resulting graph. The set of anti-forcing numbers of all perfect matchings of $G$ is the anti-forcing spectrum of $G$. In this paper, we characterize the plane elementary bipartite graph whose minimum anti-forcing number is one. We show that the maximum anti-forcing number of a graph is at most its cyclomatic number. In particular, we characterize the graphs with the maximum anti-forcing number achieving the upper bound, such extremal graphs are a class of plane bipartite graphs. Finally, we determine the anti-forcing spectrum of an even polygonal chain in linear time.
Ideal webs, moduli spaces of local systems, and 3d Calabi-Yau categories
Published
• View Publication
• BIB
A decorated surface S is an oriented surface with punctures and a finite set of marked points on the boundary, such that each boundary component has a marked point. We introduce ideal bipartite graphs on S. Each of them is related to a group G of type A, and gives rise to cluster coordinate systems on certain spaces of G-local systems on S. These coordinate systems generalize the ones assigned to ideal triangulations of S. A bipartite graph on S gives rise to a quiver with a canonical potential. The latter determines a triangulated 3d CY category with a cluster collection of spherical objects. Given an ideal bipartite graph on S, we define an extension of the mapping class group of S which acts by symmetries of the category. There is a family of open CY 3-folds over the universal Hitchin base, whose intermediate Jacobians describe the Hitchin system. We conjecture that the 3d CY category with cluster collection is equivalent to a full subcategory of the Fukaya category of a generic threefold of the family, equipped with a cluster collection of special Lagrangian spheres. For SL(2) a substantial part of the story is already known thanks to Bridgeland, Keller, Labardini-Fragoso, Nagao, Smith, and others. We hope that ideal bipartite graphs provide special examples of the Gaiotto-Moore-Neitzke spectral networks.
New Upper Bound for Sums of Dilates
Published in The Electronic Journal of Combinatorics 24(3) (2017), #P3.37
• View Publication
• BIB
For $λ\in \mathbb{Z}$, let $λ\cdot A = \{ λa : a \in A\}$. Suppose $r, h\in \mathbb{Z}$ are sufficiently large and comparable to each other. We prove that if $|A+A| \le K |A|$ and $λ_1, \ldots, λ_h \le 2^r$, then \[ |λ_1 \cdot A + \ldots + λ_h \cdot A | \le K^{ 7 rh /\ln (r+h) } |A|. \] This improves upon a result of Bukh who shows that \[ |λ_1 \cdot A + \ldots + λ_h \cdot A | \le K^{O(rh)} |A|. \] Our main technique is to combine Bukh's idea of considering the binary expansion of $λ_i$ with a result on biclique decompositions of bipartite graphs.lique decompositions.
Complete Description of Matching Polytopes with One Linearized Quadratic Term for Bipartite Graphs
Published
• View Publication
• BIB
We consider, for complete bipartite graphs, the convex hulls of characteristic vectors of all matchings, extended by a binary entry indicating whether the matching contains two specific edges. These polytopes are associated to the quadratic matching problems with a single linearized quadratic term. We provide a complete irredundant inequality description, which settles a conjecture by Klein (Ph.D. thesis, TU Dortmund, 2015). In addition, we also derive facetness and separation results for the polytopes. The completeness proof is based on a geometric relationship to a matching polytope of a nonbipartite graph. Using standard techniques, we finally extend the result to capacitated b-matchings.
A Mysterious Cluster Expansion Associated to the Expectation Value of the Permanent of 0-1 Matrices
Published in Jour Stat Phys 167 No. 6 p.1489 (2017)
• View Publication
• BIB
We consider two ensembles of nxn matrices. The first is the set of all nxn matrices with entries zeroes and ones such that all column sums and all row sums equal r, uniformly weighted. The second is the set of nxn matrices with zero and one entries where the probability that any given entry is one is r/n, the probabilities of the set of individual entries being i.i.d.'s. Calling the two expectation values E and EB respectively, we develop a formal relation E(perm(A)) = EB(perm (A)) x exp{sum Ti}. We also use a well-known approximating ensemble to E, E1. We prove using E or E1 one obtains the same value of Ti for i < 21. (THE PUBLISHED VERSION OF THIS PAPER ONLY OBTAINS RESULTS FOR i < 8. We go beyond the results of the published version by taking much more advantage of recent work of Pernici and of Wanless on i-matchings on regular bipartite graphs.)These terms Ti, i < 21, have amazing properties. We conjecture that these properties hold also for all i.
Some Results on Cyclic Interval Edge Colorings of Graphs
Published
• View Publication
• BIB
A proper edge coloring of a graph $G$ with colors $1,2,\dots,t$ is called a \emph{cyclic interval $t$-coloring} if for each vertex $v$ of $G$ the edges incident to $v$ are colored by consecutive colors, under the condition that color $1$ is considered as consecutive to color $t$. We prove that a bipartite graph $G$ with even maximum degree $Δ(G)\geq 4$ admits a cyclic interval $Δ(G)$-coloring if for every vertex $v$ the degree $d_G(v)$ satisfies either $d_G(v)\geq Δ(G)-2$ or $d_G(v)\leq 2$. We also prove that every Eulerian bipartite graph $G$ with maximum degree at most $8$ has a cyclic interval coloring. Some results are obtained for $(a,b)$-biregular graphs, that is, bipartite graphs with the vertices in one part all having degree $a$ and the vertices in the other part all having degree $b$; it has been conjectured that all these have cyclic interval colorings. We show that all $(4,7)$-biregular graphs as well as all $(2r-2,2r)$-biregular ($r\geq 2$) graphs have cyclic interval colorings. Finally, we prove that all complete multipartite graphs admit cyclic interval colorings; this settles in the affirmative, a conjecture of Petrosyan and Mkhitaryan.
Spectral radius and Hamiltonian properties of graphs, II
Published in Linear Multilinear Algebra 68 (2020), no. 11, 2298--2315
• View Publication
• BIB
In this paper, we first present spectral conditions for the existence of $C_{n-1}$ in graphs (2-connected graphs) of order $n$, which are motivated by a conjecture of Erdős. Then we prove spectral conditions for the existence of Hamilton cycles in balanced bipartite graphs. This result presents a spectral analog of Moon-Moser's theorem on Hamilton cycles in balanced bipartite graphs, and extends a previous theorem due to Li and the second author for $n$ sufficiently large. We conclude this paper with two problems on tight spectral conditions for the existence of long cycles of given lengths.
The extremal function for cycles of length $\ell$ mod $k$
Published
• View Publication
• BIB
Burr and Erdős conjectured that for each $k,\ell \in \mathbb Z^+$ such that $k \mathbb Z + \ell$ contains even integers, there exists $c_k(\ell)$ such that any graph of average degree at least $c_k(\ell)$ contains a cycle of length $\ell$ mod $k$. This conjecture was proved by Bollobás, and many successive improvements of upper bounds on $c_k(\ell)$ appear in the literature. In this short note, for $1 \leq \ell \leq k$, we show that $c_k(\ell)$ is proportional to the largest average degree of a $C_{\ell}$-free graph on $k$ vertices, which determines $c_k(\ell)$ up to an absolute constant. In particular, using known results on Turán numbers for even cycles, we obtain $c_k(\ell) = O(\ell k^{2/\ell})$ for all even $\ell$, which is tight for $\ell \in \{4,6,10\}$. Since the complete bipartite graph $K_{\ell - 1,n - \ell + 1}$ has no cycle of length $2\ell$ mod $k$, it also shows $c_k(\ell) = Θ(\ell)$ for $\ell = Ω(\log k)$.
(Total) Domination in Prisms
Published
• View Publication
• BIB
With the aid of hypergraph transversals it is proved that $γ_t(Q_{n+1}) = 2γ(Q_n)$, where $γ_t(G)$ and $γ(G)$ denote the total domination number and the domination number of $G$, respectively, and $Q_n$ is the $n$-dimensional hypercube. More generally, it is shown that if $G$ is a bipartite graph, then $γ_t(G \square K_2) = 2γ(G)$. Further, we show that the bipartite condition is essential by constructing, for any $k \ge 1$, a (non-bipartite) graph $G$ such that $γ_t (G \square K_2 ) = 2γ(G) - k$. Along the way several domination-type identities for hypercubes are also obtained.
The Dulmage-Mendelsohn Decomposition for $b$-Matchings
We establish the theory of the Dulmage-Mendelsohn decomposition for $b$-matchings. The original Dulmage-Mendelsohn decomposition is a classical canonical decomposition of bipartite graphs, which describes the structures of the maximum $1$-matchings and the dual optimizers, i.e., the minimum vertex covers. In this paper, we develop analogical properties, and thus obtain the structure of the maximum $b$-matchings and characterizes the family of $b$-verifying set.
Enumeration of graphs with given weighted number of connected components
We give a generating function for the number of graphs with given numerical properties and prescribed weighted number of connected components. As an application, we give a generating function for the number of bipartite graphs of given order, size and number of connected components.
Characterizing graphs of maximum matching width at most 2
Published
• View Publication
• BIB
The maximum matching width is a width-parameter that is defined on a branch-decomposition over the vertex set of a graph. The size of a maximum matching in the bipartite graph is used as a cut-function. In this paper, we characterize the graphs of maximum matching width at most 2 using the minor obstruction set. Also, we compute the exact value of the maximum matching width of a grid.
Distance proper connection of graphs
Let $G$ be an edge-colored connected graph. A path $P$ in $G$ is called a distance $\ell$-proper path if no two edges of the same color appear with fewer than $\ell$ edges in between on $P$. The graph $G$ is called $(k,\ell)$-proper connected if every pair of distinct vertices of $G$ are connected by $k$ pairwise internally vertex-disjoint distance $\ell$-proper paths in $G$. For a $k$-connected graph $G$, the minimum number of colors needed to make $G$ $(k,\ell)$-proper connected is called the $(k,\ell)$-proper connection number of $G$ and denoted by $pc_{k,\ell}(G)$. In this paper, we prove that $pc_{1,2}(G)\leq 5$ for any $2$-connected graph $G$. Considering graph operations, we find that $3$ is a sharp upper bound for the $(1,2)$-proper connection number of the join and the Cartesian product of almost all graphs. In addition, we find some basic properties of the $(k,\ell)$-proper connection number and determine the values of $pc_{1,\ell}(G)$ where $G$ is a traceable graph, a tree, a complete bipartite graph, a complete multipartite graph, a wheel, a cube or a permutation graph of a nontrivial traceable graph.
A note on the independent domination number versus the domination number in bipartite graphs
Published
• View Publication
• BIB
Let $γ(G)$ and $i(G)$ be the domination number and the independent domination number of $G$, respectively. Rad and Volkmann posted a conjecture that $i(G)/ γ(G) \leq Δ(G)/2$ for any graph $G$, where $Δ(G)$ is its maximum degree (See \cite{5}: N.J. Rad, L. Volkmann, A note on the independent domination number in graphs. Discrete Appl. Math. 161(2013) 3087--3089). In this work, we verify the conjecture for bipartite graphs. Several graph classes attaining the extremal bound and graphs containing odd cycles with the ratio larger than $Δ(G)/2$ are provided as well.
Strengthening topological colorful results for graphs
Published
• View Publication
• BIB
Various results ensure the existence of large complete bipartite graphs in properly colored graphs when some condition related to a topological lower bound on the chromatic number is satisfied. We generalize three theorems of this kind, respectively due to Simonyi and Tardos (Combinatorica, 2006), Simonyi, Tardif, and Zsbán (The Electronic Journal of Combinatorics, 2013), and Chen (Journal of Combinatorial Theory, Series A, 2011). As a consequence of the generalization of Chen's theorem, we get new families of graphs whose chromatic number equals their circular chromatic number and that satisfy Hedetniemi's conjecture for the circular chromatic number.
Bakry-Émery curvature functions of graphs
Published
• View Publication
• BIB
We study the Bakry-Émery curvature function $\mathcal{K}_{G,x}:(0,\infty]\to \mathbb{R}$ of a vertex $x$ in a locally finite graph $G$ systematically. Here $\mathcal{K}_{G,x}(\mathcal{N})$ is defined as the optimal curvature lower bound $\mathcal{K}$ in the Bakry-Émery curvature-dimension inequality $CD(\mathcal{K},\mathcal{N})$ that $x$ satisfies. We prove the curvature functions of the Cartesian product of two graphs $G_1,G_2$ equal an abstract product of curvature functions of $G_1,G_2$. We relate the curvature functions of $G$ with various spectral properties of (weighted) graphs constructed from local structures of $G$. We explore the curvature functions of Cayley graphs, strongly regular graphs, and many particular (families of) examples including Johnson graphs and complete bipartite graphs. We construct an infinite family of $6$-regular graphs which satisfy $CD(0,\infty)$ but are not Cayley graphs.
On edges not in monochromatic copies of a fixed bipartite graph
Published
• View Publication
• BIB
Let $H$ be a fixed graph. Denote $f(n,H)$ to be the maximum number of edges not contained in any monochromatic copy of $H$ in a 2-edge-coloring of the complete graph $K_n$, and $ex(n,H)$ to be the {\it Turán number} of $H$. An easy lower bound shows $f(n,H)\ge ex(n,H)$ for any $H$ and $n$. In \cite{KS2}, Keevash and Sudakov proved that if $H$ is an edge-color-critical graph or $C_4$, then $f(n,H)= ex(n,H)$ holds for large $n$, and they asked if this equality holds for any graph $H$ when $n$ is sufficiently large. In this paper, we provide an affirmative answer to this problem for an abundant infinite family of bipartite graphs $H$, including all even cycles and complete bipartite graphs $K_{s,t}$ for $t>s^2-3s+3$ or $(s,t)\in\{(3,3),(4,7)\}$. In addition, our proof shows that for all such $H$, the 2-edge-coloring $c$ of $K_n$ achieves the maximum number $f(n,H)$ if and only if one of the color classes in $c$ induces an extremal graph for $ex(n,H)$. We also obtain a multi-coloring generalization for bipartite graphs. Some related problems are discussed in the final section.
Bounds on the regularity of toric ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph. We give a lower bound for the Castelnuovo-Mumford regularity of the toric ideal $I_G$ associated to $G$ in terms of the sizes and number of induced complete bipartite graphs in $G$. When $G$ is a chordal bipartite graph, we find an upper bound for the regularity of $I_G$ in terms of the size of the bipartition of $G$. We also give a new proof for the graded Betti numbers of the toric ideal associated to the complete bipartite graph $K_{2,n}$.
Perfect Matchings in Inhomogeneous Random Bipartite Graphs in Random Environment
Published
• View Publication
• BIB
In this note we study inhomogeneous random bipartite graphs in random environment. These graphs can be thought of as an extension of the classical Erdös-Rényi random graphs in a random environment. We show that the expected number of perfect matchings obeys a precise quenched asymptotic and that it can be approximated using an iterative process that converges exponentially fast.
Packing graphs of bounded codegree
Published
• View Publication
• BIB
Two graphs $G_1$ and $G_2$ on $n$ vertices are said to pack if there exist injective mappings of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollobás and Eldridge and, independently, Catlin, asserts that, if $(Δ_1(G)+1) (Δ_2(G)+1) \le n+1$, then $G_1$ and $G_2$ pack. We consider the validity of this assertion under the additional assumption that $G_1$ or $G_2$ has bounded codegree. In particular, we prove for all $t \ge 2$ that, if $G_1$ contains no copy of the complete bipartite graph $K_{2,t}$ and $Δ_1 > 17 t \cdot Δ_2$, then $(Δ_1(G)+1) (Δ_2(G)+1) \le n+1$ implies that $G_1$ and $G_2$ pack. We also provide a mild improvement if moreover $G_2$ contains no copy of the complete tripartite graph $K_{1,1,s}$, $s\ge 1$.