bipartite graph
2514 papers tagged with this keyword
Density of $C_{-4}$-critical signed graphs
Published
• View Publication
• BIB
A signed bipartite (simple) graph $(G, σ)$ is said to be $C_{-4}$-critical if it admits no homomorphism to $C_{-4}$ (a negative 4-cycle) but every proper subgraph of it does. In this work, first of all we show that the notion of 4-coloring of graphs and signed graphs is captured, through simple graph operations, by the notion of homomorphism to $C_{-4}$. In particular, the 4-color theorem is equivalent to: Given a planar graph $G$, the signed bipartite graph obtained from $G$ by replacing each edge with a negative path of length 2 maps to $C_{-4}$.
We prove that, except for one particular signed bipartite graph on 7 vertices and 9 edges, any $C_{-4}$-critical signed graph on $n$ vertices must have at least $\lceil\frac{4n}{3}\rceil$ edges, and that this bound or $\lceil\frac{4n}{3}\rceil+1$ is attained for each value of $n\geq 9$. As an application, we conclude that all signed bipartite planar graphs of negative girth at least $8$ map to $C_{-4}$. Furthermore, we show that there exists an example of a signed bipartite planar graph of girth $6$ which does not map to $C_{-4}$, showing $8$ is the best possible and disproving a conjecture of Naserasr, Rollova and Sopena, in extension of the above mentioned restatement of the 4CT.
Generalized Turán problems for complete bipartite graphs
Published
• View Publication
• BIB
For graph $G$, $F$ and integer $n$, the generalized Tuán number $ex(n,G,F)$ denotes the maximum number of copies of $G$ that an $F$-free $n$-vertex graph can have. We study this parameter when both $G$ and $F$ are complete bipartite graphs.
Revisiting the Auction Algorithm for Weighted Bipartite Perfect Matchings
We study the classical weighted perfect matchings problem for bipartite graphs or sometimes referred to as the assignment problem, i.e., given a weighted bipartite graph $G = (U\cup V,E)$ with weights $w : E \rightarrow \mathcal{R}$ we are interested to find the maximum matching in $G$ with the minimum/maximum weight. In this work we present a new and arguably simpler analysis of one of the earliest techniques developed for solving the assignment problem, namely the auction algorithm. Using our analysis technique we present tighter and improved bounds on the runtime complexity for finding an approximate minumum weight perfect matching in $k$-left regular sparse bipartite graphs.
Bipartite Graft II: Cathedral Decomposition for Combs
We provide a canonical decomposition for a class of bipartite grafts known as combs. As every bipartite graft is a recursive combination of combs, our results provides a canonical decomposition for general bipartite grafts. Our new decomposition is by definition a generalization of the classical canonical decomposition in matching theory, that is, the Dulmage-Mendelsohn decomposition for bipartite graphs with perfect matchings. However, it exhibits much more complicated structure than its classical counterpart. It is revealed from our results that bipartite grafts has a canonical structure that is analogous to the cathedral decomposition for nonbipartite graphs with perfect matchings.
A construction for bipatite Turán numbers
We consider in detail the well-known family of graphs $G(q,t)$ that establish an asymptotic lower bound for Turán numbers $\mathrm{ex}(n,K_{2,t+1})$. We prove that $G(q,t)$ for some specific $q$ and $t$ also gives an asymptotic bound for $K_{3,3}$ and for some higher complete bipartite graphs as well. The asymptotic bounds we prove are the same as provided by the well-known Norm-graphs.
Extremal Numbers of Hypergraph Suspensions of Even Cycles
Published in European Journal of Combinatorics, Volume 118, 2024, 103935
• View Publication
• BIB
For fixed $k\ge 2$, determining the order of magnitude of the number of edges in an $n$-vertex bipartite graph not containing $C_{2k}$, the cycle of length $2k$, is a long-standing open problem. We consider an extension of this problem to triple systems. In particular, we prove that the maximum number of triples in an $n$-vertex triple system which does not contain a $C_6$ in the link of any vertex, has order of magnitude $n^{7/3}$. Additionally, we construct new families of dense $C_6$-free bipartite graphs with $n$ vertices and $n^{4/3}$ edges in order of magnitude.
Characterizing extremal graphs for open neighbourhood location-domination
Published in Discrete Applied Mathematics 302:76-79, 2021
• View Publication
• BIB
An open neighbourhood locating-dominating set is a set $S$ of vertices of a graph $G$ such that each vertex of $G$ has a neighbour in $S$, and for any two vertices $u,v$ of $G$, there is at least one vertex in $S$ that is a neighbour of exactly one of $u$ and $v$. We characterize those graphs whose only open neighbourhood locating-dominating set is the whole set of vertices. More precisely, we prove that these graphs are exactly the graphs all whose connected components are half-graphs (a half-graph is a special bipartite graph with both parts of the same size, where each part can be ordered so that the open neighbourhoods of consecutive vertices differ by exactly one vertex). This corrects a wrong characterization from the literature.
On finite subnormal Cayley graphs
Published
• View Publication
• BIB
In this paper we introduce and study a type of Cayley graph -- subnormal Cayley graph. We prove that a subnormal 2-arc transitive Cayley graph is a normal Cayley graph or a normal cover of a complete bipartite graph $K_{p^d,p^d}$ with $p$ prime. Then we obtain a generic method for constructing half-symmetric (namely edge transitive but not arc transitive) Cayley graphs.
Perfect matching and distance spectral radius in graphs and bipartite graphs
Published
• View Publication
• BIB
A perfect matching in a graph $G$ is a set of nonadjacent edges covering every vertex of $G$. Motivated by recent progress on the relations between the eigenvalues and the matching number of a graph, in this paper, we aim to present a distance spectral radius condition to guarantee the existence of a perfect matching. Let $G$ be an $n$-vertex connected graph where $n$ is even and $λ_{1}(D(G))$ be the distance spectral radius of $G$. Then the following statements are true.
\noindent$\rm{I)}$ If $4\le n\le10$ and ${λ}_{1} (D\left(G\right))\le {λ}_{1} (D(S_{n,{\frac{n}{2}}-1}))$, then $G$ contains a perfect matching unless $G\cong S_{n,{\frac{n}{2}-1}}$ where $S_{n,{\frac{n}{2}-1}}\cong K_{{\frac{n}{2}-1}}\vee ({\frac{n}{2}+1})K_1$.
\noindent$\rm{II)}$ If $n\ge 12$ and ${λ}_{1} (D\left(G\right))\le {λ}_{1} (D(G^*))$, then $G$ contains a perfect matching unless $G\cong G^*$ where $G^*\cong K_1\vee (K_{n-3}\cup2K_1)$.
Moreover, if $G$ is a connected $2n$-vertex balanced bipartite graph with $λ_{1}(D(G))\le λ_{1}(D(B_{n-1,n-2})) $, then $G$ contains a perfect matching, unless $G\cong B_{n-1,n-2}$ where $B_{n-1,n-2}$ is obtained from $K_{n,n-2}$ by attaching two pendent vertices to a vertex in the $n$-vertex part.
Pure pairs. VII. Homogeneous submatrices in 0/1-matrices with a forbidden submatrix
Published
• View Publication
• BIB
For integer $n>0$, let $f(n)$ be the number of rows of the largest all-0 or all-1 square submatrix of $M$, minimized over all $n\times n$ $0/1$-matrices $M$. Thus $f(n)= O(\log n)$. But let us fix a matrix $H$, and define $f_H(n)$ to be the same, minimized over over all $n\times n$ $0/1$-matrices $M$ such that neither $M$ nor its complement (that is, change all $0$'s to $1$'s and vice versa) contains $H$ as a submatrix. It is known that $f_H(n)\ge εn^c$, where $c, ε>0$ are constants depending on $H$. When can we take $c=1$? If so, then one of $H$ and its complement must be an acyclic matrix (that is, the corresponding bipartite graph is a forest). Korandi, Pach, and Tomon conjectured the converse, that $f_H(n)$ is linear in $n$ for every acyclic matrix $H$; and they proved it for certain matrices $H$ with only two rows.
Their conjecture remains open, but we show $f_H(n)=n^{1-o(1)}$ for every acyclic matrix $H$; and indeed there is a $0/1$-submatrix that is either $Ω(n)\times n^{1-o(1)}$ or $n^{1-o(1)}\times Ω(n)$.
Beyond Helly graphs: the diameter problem on absolute retracts
Published
• View Publication
• BIB
Characterizing the graph classes such that, on $n$-vertex $m$-edge graphs in the class, we can compute the diameter faster than in ${\cal O}(nm)$ time is an important research problem both in theory and in practice. We here make a new step in this direction, for some metrically defined graph classes. Specifically, a subgraph $H$ of a graph $G$ is called a retract of $G$ if it is the image of some idempotent endomorphism of $G$. Two necessary conditions for $H$ being a retract of $G$ is to have $H$ is an isometric and isochromatic subgraph of $G$. We say that $H$ is an absolute retract of some graph class ${\cal C}$ if it is a retract of any $G \in {\cal C}$ of which it is an isochromatic and isometric subgraph. In this paper, we study the complexity of computing the diameter within the absolute retracts of various hereditary graph classes. First, we show how to compute the diameter within absolute retracts of bipartite graphs in randomized $\tilde{\cal O}(m\sqrt{n})$ time. For the special case of chordal bipartite graphs, it can be improved to linear time, and the algorithm even computes all the eccentricities. Then, we generalize these results to the absolute retracts of $k$-chromatic graphs, for every fixed $k \geq 3$. Finally, we study the diameter problem within the absolute retracts of planar graphs and split graphs, respectively.
Completeness-resolvable graphs
Published
• View Publication
• BIB
Given a connected graph $G=(V(G), E(G))$, the length of a shortest path from a vertex $u$ to a vertex $v$ is denoted by $d(u,v)$. For a proper subset $W$ of $V(G)$, let $m(W)$ be the maximum value of $d(u,v)$ as $u$ ranging over $W$ and $v$ ranging over $V(G)\setminus W$. The proper subset $W=\{w_1,\ldots,w_{|W|}\}$ is a {\em completeness-resolving set} of $G$ if
$$
Ψ_W: V(G)\setminus W \longrightarrow [m(W)]^{|W|},\qquad u\longmapsto (d(w_1,u),\ldots,d(w_{|W|},u))
$$ is a bijection, where
$$
[m(W)]^{|W|}=\{(a_{(1)},\ldots,a_{(|W|)})\mid 1\leq a_{(i)}\leq m(W)\text{ for each }i=1,\ldots,|W|\}.
$$ A graph is {\em completeness-resolvable} if it admits a completeness-resolving set.
In this paper, we first construct the set of all completeness-resolvable graphs by using the edge coverings of some vertices in given bipartite graphs, and then establish posets on some subsets of this set by the spanning subgraph relationship. Based on each poset, we find the maximum graph and give the lower and upper bounds for the number of edges in a minimal graph. Furthermore, minimal graphs satisfying the lower or upper bound are characterized.
A New Formula for the Minimum Distance of an Expander Code
Published
• View Publication
• BIB
An expander code is a binary linear code whose parity-check matrix is the bi-adjacency matrix of a bipartite expander graph. We provide a new formula for the minimum distance of such codes. We also provide a new proof of the result that $2(1-\varepsilon) γn$ is a lower bound of the minimum distance of the expander code given by a $(m,n,d,γ,1-\varepsilon)$ expander bipartite graph.
Minimizing the number of complete bipartite graphs in a $K_s$-saturated graph
Published
• View Publication
• BIB
A graph $G$ is $F$-saturated if it contains no copy of $F$ as a subgraph but the addition of any new edge to $G$ creates a copy of $F$. We prove that for $s \geq 3$ and $t \geq 2$, the minimum number of copies of $K_{1,t}$ in a $K_s$-saturated graph is $Θ( n^{t/2})$. More precise results are obtained when $t = 2$ where the problem is related to Moore graphs with diameter 2 and girth 5. We prove that for $s \geq 4$ and $t \geq 3$, the minimum number of copies of $K_{2,t}$ in an $n$-vertex $K_s$-saturated graph is at least $Ω( n^{t/5 + 8/5})$ and at most $O(n^{t/2 + 3/2})$. These results answer a question of Chakraborti and Loh. General estimates on the number of copies of $K_{a,b}$ in a $K_s$-saturated graph are also obtained, but finding an asymptotic formula remains open.
Formalizing Hall's Marriage Theorem in Lean
We formalize Hall's Marriage Theorem in the Lean theorem prover for inclusion in mathlib, which is a community-driven effort to build a unified mathematics library for Lean. One goal of the mathlib project is to contain all of the topics of a complete undergraduate mathematics education.
We provide three presentations of the main theorem statement: in terms of indexed families of finite sets, of relations on types, and of matchings in bipartite graphs. We also formalize a version of Kőnig's lemma (in terms of inverse limits) to boost the theorem to the case of countably infinite index sets. We give a description of the design of the recent mathlib library for simple graphs, and we also give a necessary and sufficient condition for a simple graph to carry a function.
Kasteleyn theorem, geometric signatures and KP-II divisors on planar bipartite networks in the disk
Published
• View Publication
• BIB
Maximal minors of Kasteleyn sign matrices on planar bipartite graphs in the disk count dimer configurations with prescribed boundary conditions, and the weighted version of such matrices provides a natural parametrization of the totally non--negative part of real Grassmannians (see Refs. [54,43,44,58,7]). In this paper we provide a geometric interpretation of such variant of Kasteleyn theorem: a signature is Kasteleyn if and only if it is geometric in the sense of Ref. [5]. We apply this geometric characterization to explicitly solve the associated system of relations and provide a new proof that the parametrization of positroid cells induced by Kasteleyn weighted matrices coincides with that of Postnikov boundary measurement map. Finally we use Kasteleyn system of relations to associate algebraic geometric data to KP multi-soliton solutions. Indeed the KP wave function solves such system of relations at the nodes of the spectral curve if the dual graph of the latter represents the soliton data. Therefore the construction of the divisor is automatically invariant, and finally it coincides with that in Refs. [4,6] for the present class of graphs.
A Generalized Information-Theoretic Approach for Bounding the Number of Independent Sets in Bipartite Graphs
Published
• View Publication
• BIB
This paper studies the problem of upper bounding the number of independent sets in a graph, expressed in terms of its degree distribution. For bipartite regular graphs, Kahn (2001) established a tight upper bound using an information-theoretic approach, and he also conjectured an upper bound for general graphs. His conjectured bound was recently proved by Sah et al. (2019), using different techniques not involving information theory. The main contribution of this work is the extension of Kahn's information-theoretic proof technique to handle irregular bipartite graphs. In particular, when the bipartite graph is regular on one side, but it may be irregular in the other, the extended entropy-based proof technique yields the same bound that was conjectured by Kahn (2001) and proved by Sah et al. (2019).
A PROOF of Weak Graph Positivity, for a Large Range of the Parameters
One deals with r-regular bipartite graphs with 2n vertices. In a previous paper Butera, Pernici, and the author have introduced a quantity d(i), a function of the number of i-matchings, and conjectured that as n goes to infinity the fraction of graphs that satisfy Delta^k( d(i)) is non-negative, for all k and i, approaches 1. Here Delta is the finite difference operator. This conjecture we called the "graph positivity conjecture". "Weak graph positivity" is the conjecture that for each i and k the probability that Delta^k (d(i) is non-negative goes to 1 as n goes to infinity. Here we prove this for the range of parameters where r < 11, i+k < 101, k < 21, or i+k < 30 all r. A formalism of Wanless as systematized by Pernici is central to this effort.
Stability from graph symmetrisation arguments with applications to inducibility
Published in J. London Math. Soc.(2) 2023, 108:1121--1162
• View Publication
• BIB
We present a sufficient condition for the stability property of extremal graph problems that can be solved via Zykov's symmetrisation. Our criterion is stated in terms of an analytic limit version of the problem. We show that, for example, it applies to the inducibility problem for an arbitrary complete bipartite graph $B$, which asks for the maximum number of induced copies of $B$ in an $n$-vertex graph, and to the inducibility problem for $K_{2,1,1,1}$ and $K_{3,1,1}$, the only complete partite graphs on at most five vertices for which the problem was previously open.
On monophonic position sets in graphs
Published
• View Publication
• BIB
The general position problem in graph theory asks for the largest set $S$ of vertices of a graph $G$ such that no shortest path of $G$ contains more than two vertices of $S$. In this paper we consider a variant of the general position problem called the \emph{monophonic position problem}, obtained by replacing `shortest path' by `induced path'. We prove some basic properties and bounds for the monophonic position number of a graph and determine the monophonic position number of some graph families, including unicyclic graphs, complements of bipartite graphs and split graphs. We show that the monophonic position number of triangle-free graphs is bounded above by the independence number. We present realisation results for the general position number, monophonic position number and monophonic hull number. Finally we discuss the complexity of the monophonic position problem.