bipartite graph
2514 papers tagged with this keyword
The eigenvalues of Hessian matrices of the complete and complete bipartite graphs
In this paper, we consider the Hessian matrices $H_Γ$ of the complete and complete bipartite graphs, and the special value of $\tilde H_Γ$ at $x_{i}=1$ for all $x_{i}$. We compute the eigenvalues of $\tilde H_Γ$. We show that one of them is positive and that the others are negative. In other words, the metric with respect to the symmetric matrix $\tilde H_Γ$ is Lorentzian. Hence those Hessian $\det (H_Γ)$ are not identically zero. As an application, we show the strong Lefschetz property for the Artinian Gorenstein algebra associated to the graphic matroids of the complete and complete bipartite graphs with at most five vertices.
Graph classes and forbidden patterns on three vertices
This paper deals with graph classes characterization and recognition. A popular way to characterize a graph class is to list a minimal set of forbidden induced subgraphs. Unfortunately this strategy usually does not lead to an efficient recognition algorithm. On the other hand, many graph classes can be efficiently recognized by techniques based on some interesting orderings of the nodes, such as the ones given by traversals.
We study specifically graph classes that have an ordering avoiding some ordered structures. More precisely, we consider what we call patterns on three nodes, and the recognition complexity of the associated classes. In this domain, there are two key previous works. Damashke started the study of the classes defined by forbidden patterns, a set that contains interval, chordal and bipartite graphs among others. On the algorithmic side, Hell, Mohar and Rafiey proved that any class defined by a set of forbidden patterns can be recognized in polynomial time. We improve on these two works, by characterizing systematically all the classes defined sets of forbidden patterns (on three nodes), and proving that among the 23 different classes (up to complementation) that we find, 21 can actually be recognized in linear time.
Beyond this result, we consider that this type of characterization is very useful, leads to a rich structure of classes, and generates a lot of open questions worth investigating.
Bipartite graphs and monochromatic squares
Published in Order, vol. 36 (1), March 2019, pp. 99-106
• View Publication
• BIB
We prove that consistently every bipartite graph of size $κ^+\timesκ^+$ contains either a clique or an independent subset of size $τ\timesτ$ for every $τ\inκ^+$, where $κ$ is a successor cardinal.
On the adjacency matrix of a complex unit gain graph
A complex unit gain graph is a simple graph in which each orientation of an edge is given a complex number with modulus 1 and its inverse is assigned to the opposite orientation of the edge. In this article, first we establish bounds for the eigenvalues of the complex unit gain graphs. Then we study some of the properties of the adjacency matrix of complex unit gain graph in connection with the characteristic and the permanental polynomials. Then we establish spectral properties of the adjacency matrices of complex unit gain graphs. In particular, using Perron-Frobenius theory, we establish a characterization for bipartite graphs in terms of the set of eigenvalues of gain graph and the set of eigenvalues of the underlying graph. Also, we derive an equivalent condition on the gain so that the eigenvalues of the gain graph and the eigenvalues of the underlying graph are the same.
Map graphs having witnesses of large girth
Published
• View Publication
• BIB
A half-square of a bipartite graph $B=(X,Y,E_B)$ has one color class of $B$ as vertex set, say $X$; two vertices are adjacent whenever they have a common neighbor in $Y$. If $G=(V,E_G)$ is the half-square of a planar bipartite graph $B=(V,W,E_B)$, then $G$ is called a map graph, and $B$ is a witness of $G$. Map graphs generalize planar graphs, and have been introduced and investigated by Chen, Grigni and Papadimitriou [STOC 1998, J. ACM 2002]. They proved that recognizing map graphs is in $\mathsf{NP}$ by proving the existence of a witness. Soon later, Thorup [FOCS 1998] claimed that recognizing map graphs is in $\mathsf{P}$, by providing an $Ω(n^{120})$-time algorithm for $n$-vertex input graphs.
In this note, we give good characterizations and efficient recognition for half-squares of bipartite graphs with girth at least a given integer $g\ge 8$. It turns out that map graphs having witnesses of girth at least $g$ are precisely the graphs whose vertex-clique incidence bipartite graph is planar and of girth at least $g$. Our structural characterization implies an $O(n^2m)$-time algorithm for recognizing if a given $n$-vertex $m$-edge graph $G$ is such a map graph.
The shifting method and generalized Turán number of matchings
Given two graphs $T$ and $F$, the maximum number of copies of $T$ in an $F$-free graph on $n$ vertices is called the generalized Turán number, denoted by $ex(n,T,F)$. When $T=K_2$, it reduces to the classical Turán number $ex(n,F)$. Let $M_{k}$ be a matching with $k$ edges and $K^{*}_{s,t}$ a graph obtained from $K_{s,t}$ by replacing the part of size $s$ by a clique of the same size. In this paper, we show that for any $s\geq 2$ and $n\geq 2k+1$, \[ ex(n,K_s,M_{k+1})=\max\left\{\binom{2k+1}{s}, \binom{k}{s}+(n-k)\binom{k}{s-1}\right\}. \] For any $s\geq 1$, $t\geq 2$ and $n\geq 2k+1$, \[ ex(n,K_{s,t}^*,M_{k+1})=\max\left\{\binom{2k+1}{s+t}\binom{s+t}{t}, \binom{k}{s}\binom{n-s}{t}+(n-k)\binom{k}{s+t-1}\binom{s+t-1}{t}\right\}. \] Moreover, we also study the bipartite case of the problem. Let $ex_{bip}(n,T,F)$ be the maximum possible number of copies of $T$ in an $F$-free bipartite graph with each part of size $n$. We prove that for any $s,t\geq 1$ and $n\geq k$, \[ ex_{bip}(n,K_{s,t},M_{k+1})=\left\{ \begin{aligned} &\binom{k}{s}\binom{n}{t}+\binom{k}{t}\binom{n}{s}, & \quad s\neq t, &\binom{k}{s}\binom{n}{s},&\quad s=t. \end{aligned} \right. \] Our proof is mainly based on the shifting method.
On the König-Hall-Egerváry theorem for multidimensional matrices and multipartite hypergraphs
One of possible interpretations of the well-known König--Hall--Egerváry theorem is a full characterization of all bipartite graphs extremal for fractional matchings of a given weight (or, equivalently, a characterization of $(0,1)$-matrices extremal for partial fractional diagonals of a given length). In this paper we initiate the study of $d$-partite $d$-uniform hypergraphs that are extremal for fractional perfect matchings (or, equivalently, $d$-dimensional $(0,1)$-matrices that are extremal for polydiagonals). For this purpose, we analyze similarities and differences between $2$-dimensional and multidimensional cases and put forward a series of questions and conjectures on properties of multidimensional extremal matrices (extremal hypergraphs). We also prove these conjectures for several parameters and provide a number of supporting constructions and examples.
Defensive alliance polynomial
We introduce a new bivariate polynomial which we call the defensive alliance polynomial and denote it by da(G; x, y). It is a generalization of the alliance polynomial [Carballosa et al., 2014] and the strong alliance polynomial [Carballosa et al., 2016]. We show the relation between da(G; x, y) and the alliance, the strong alliance and the induced connected subgraph [Tittmann et al., 2011] polynomials. Then, we investigate information encoded in da(G; x, y) about G. We discuss the defensive alliance polynomial for the path graphs, the cycle graphs, the star graphs, the double star graphs, the complete graphs, the complete bipartite graphs, the regular graphs, the wheel graphs, the open wheel graphs, the friendship graphs, the triangular book graphs and the quadrilateral book graphs. Also, we prove that the above classes of graphs are characterized by its defensive alliance polynomial. A relation between induced subgraphs with order three and both subgraphs with order three and size three and two respectively, is proved to characterize the complete bipartite graphs. Finally, we present the defensive alliance polynomial of the graph formed by attaching a vertex to a complete graph. We show two pairs of graphs which are not characterized by the alliance polynomial but characterized by the defensive alliance polynomial.
Permutational powers of a graph
Published in Electron. J. Combin., Vol. 26 (4) 2019, #P4.22
• Search Publication
This paper introduces a new graph construction, the permutational power of a graph, whose adjacency matrix is obtained by the composition of a permutation matrix with the adjacency matrix of the graph. It is shown that this construction recovers the classical zig-zag product of graphs when the permutation is an involution, and it is in fact more general. We start by discussing necessary and sufficient conditions on the permutation and on the adjacency matrix of a graph to guarantee their composition to represent an adjacency matrix of a graph, then we focus our attention on the cases in which the permutational power does not reduce to a zig-zag product. We show that the cases of interest are those in which the adjacency matrix is singular. This leads us to frame our problem in the context of equitable partitions, obtained by identifying vertices having the same neighborhood. The families of cyclic and complete bipartite graphs are treated in details.
Midrange crossing constants for graphs classes
For positive integers $n$ and $e$, let $κ(n,e)$ be the minimum crossing number (the standard planar crossing number) taken over all graphs with $n$ vertices and at least $e$ edges. Pach, Spencer and Tóth [Discrete and Computational Geometry 24 623--644, (2000)] showed that $κ(n,e) n^2/e^3$ tends to a positive constant (called midrange crossing constant) as $n\to \infty$ and $n \ll e \ll n^2$, proving a conjecture of Erdős and Guy. In this note, we extend their proof to show that the midrange crossing constant exists for graph classes that satisfy a certain set of graph properties. As a corollary, we show that the the midrange crossing constant exists for the family of bipartite graphs. All these results have their analogues for rectilinear crossing numbers.
An equivalent formulation of the Fan-Raspaud Conjecture and related problems
Published in Ars Math. Contemp. 18, No. 1, 87-103 (2020)
• View Publication
• BIB
In 1994, it was conjectured by Fan and Raspaud that every simple bridgeless cubic graph has three perfect matchings whose intersection is empty. In this paper we answer a question recently proposed by Mkrtchyan and Vardanyan, by giving an equivalent formulation of the Fan-Raspaud Conjecture. We also study a possibly weaker conjecture originally proposed by the first author, which states that in every simple bridgeless cubic graph there exist two perfect matchings such that the complement of their union is a bipartite graph. Here, we show that this conjecture can be equivalently stated using a variant of Petersen-colourings, we prove it for graphs having oddness at most four and we give a natural extension to bridgeless cubic multigraphs and to certain cubic graphs having bridges.
Intersection theorems for families of matchings of complete $k$-partite $k$-graphs
The celebrated {Erdős-Ko-Rado} Theorem states that for $n \geq 2k$ a family $\mathscr{F}$ of $k$ subsets of $[n]$ for which each pair of members of $\mathscr{F}$ have a non-empty intersection has size at most $\binom{n-1}{k-1}$ and for $n >2k$ has exactly this size if and only if it is the family of all $k$-subsets of $[n]$ containing a fixed element $x\in [n]$. Since its discovery, the {Erdős-Ko-Rado} Theorem has be generalised extensively and many variants have been found for structures other than sets. One such variant is for permutations and so-called generalised permutations. These structures are equivalent to $r$-matchings of the complete bipartite graph $K_{n,m}$ with $r \leq \min\{n,m\}$ in a natural way.
The culmination of results of several groups of authors constitute an {Erdős-Ko-Rado} Theorem for families of generalised permutations and so for families of $r$-matchings of $K_{n,m}$ for all feasible values of $r,n$ and $m$. In this paper we generalise this by proving an {Erdős-Ko-Rado} Theorem for families of $r$-matchings of complete $k$-partite $k$-graphs, which can be seen as a partial generalisation of the {Erdős-Ko-Rado} Theorem itself. We also prove similar results for $t$-intersecting families, and for families of matchings whose members have sizes from some set of integers $R$, rather than a single size $r$.
On the rational Turán exponents conjecture
Published
• View Publication
• BIB
The extremal number $\mathrm{ex}(n,F)$ of a graph $F$ is the maximum number of edges in an $n$-vertex graph not containing $F$ as a subgraph. A real number $r \in [1,2]$ is realisable if there exists a graph $F$ with $\mathrm{ex}(n , F) = Θ(n^r)$. Several decades ago, Erdős and Simonovits conjectured that every rational number in $[1,2]$ is realisable. Despite decades of effort, the only known realisable numbers are $0,1, \frac{7}{5}, 2$, and the numbers of the form $1+\frac{1}{m}$, $2-\frac{1}{m}$, $2-\frac{2}{m}$ for integers $m \geq 1$. In particular, it is not even known whether the set of all realisable numbers contains a single limit point other than two numbers $1$ and $2$.
In this paper, we make progress on the conjecture of Erdős and Simonovits. First, we show that $2 - \frac{a}{b}$ is realisable for any integers $a,b \geq 1$ with $b>a$ and $b \equiv \pm 1 ~({\rm mod}\:a)$. This includes all previously known ones, and gives infinitely many limit points $2-\frac{1}{m}$ in the set of all realisable numbers as a consequence.
Secondly, we propose a conjecture on subdivisions of bipartite graphs. Apart from being interesting on its own, we show that, somewhat surprisingly, this subdivision conjecture in fact implies that every rational number between 1 and 2 is realisable.
Forbidden rainbow subgraphs that force large monochromatic or multicolored k-connected subgraphs
Published
• View Publication
• BIB
Let $n, k, m$ be positive integers with $n\gg m\gg k$, and let $\mathcal{A}$ be the set of graphs $G$ of order at least 3 such that there is a $k$-connected monochromatic subgraph of order at least $n-f(G,k,m)$ in any rainbow $G$-free coloring of $K_n$ using all the $m$ colors. In this paper, we prove that the set $\mathcal{A}$ consists of precisely $P_6$, $P_3\cup P_4$, $K_2\cup P_5$, $K_2\cup 2P_3$, $2K_2\cup K_3$, $2K_2\cup P^{+}_4$, $3K_2\cup K_{1,3}$ and their subgraphs of order at least 3. Moreover, we show that for any graph $H\in \mathcal{A}$, if $n$ sufficiently larger than $m$ and $k$, then any rainbow $(P_3\cup H)$-free coloring of $K_n$ using all the $m$ colors contains a $k$-connected monochromatic subgraph of order at least $cn$, where $c=c(H)$ is a constant, not depending on $n$, $m$ or $k$.
Furthermore, we consider a parallel problem in complete bipartite graphs. Let $s, t, k, m$ be positive integers with ${\rm min}\left\{s, t\right\}\gg m\gg k$ and $m\geq |E(H)|$, and let $\mathcal{B}$ be the set of bipartite graphs $H$ of order at least 3 such that there is a $k$-connected monochromatic subgraph of order at least $s+t-f(H,k,m)$ in any rainbow $H$-free coloring of $K_{s,t}$ using all the $m$ colors, where $f(H,k,m)$ is not depending on $s$ or $t$. We prove that the set $\mathcal{B}$ consists of precisely $2P_3$, $2K_2\cup K_{1,3}$ and their subgraphs of order at least 3.
Finally, we consider the large $k$-connected multicolored subgraph instead of monochromatic subgraph. We show that for $1\leq k \leq 3$ and $n$ sufficiently large, every Gallai-3-coloring of $K_n$ contains a $k$-connected subgraph of order at least $n-\left\lfloor\frac{k-1}{2}\right\rfloor$ using at most two colors. We also show that the above statement is false for $k=4t$, where $t$ is an positive integer.
On an Annihilation Number Conjecture
Published
• View Publication
• BIB
Let $α(G)$ denote the cardinality of a maximum independent set, while $μ(G)$ be the size of a maximum matching in the graph $G=\left(V,E\right) $. If $α(G)+μ(G)=\left\vert V\right\vert $, then $G$ is a König-Egerváry graph. If $d_{1}\leq d_{2}\leq\cdots\leq d_{n}$ is the degree sequence of $G$, then the annihilation number $h\left(G\right) $ of $G$ is the largest integer $k$ such that $\sum\limits_{i=1}^{k}d_{i}\leq\left\vert E\right\vert $ (Pepper 2004, Pepper 2009). A set $A\subseteq V$ satisfying $\sum \limits_{a\in A} deg(a)\leq\left\vert E\right\vert $ is an annihilation set, if, in addition, $ deg\left(v\right) +\sum\limits_{a\in A} deg(a)>\left\vert E\right\vert $, for every vertex $v\in V(G)-A$, then $A$ is a maximal annihilation set in $G$.
In (Larson & Pepper 2011) it was conjectured that the following assertions are equivalent:
(i) $α\left(G\right) =h\left(G\right) $;
(ii) $G$ is a König-Egerváry graph and every maximum independent set is a maximal annihilating set.
In this paper, we prove that the implication "(i) $\Longrightarrow$ (ii)" is correct, while for the opposite direction we provide a series of generic counterexamples.
Keywords: maximum independent set, matching, tree, bipartite graph, König-Egerváry graph, annihilation set, annihilation number.
Recognizing generating subgraphs revisited
Published
• View Publication
• BIB
A graph $G$ is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function $w$ is defined on its vertices. Then $G$ is $w$-well-covered if all maximal independent sets are of the same weight. For every graph $G$, the set of weight functions $w$ such that $G$ is $w$-well-covered is a vector space, denoted as $WCW(G).$ Deciding whether an input graph $G$ is well-covered is co-NP-complete. Therefore, finding $WCW(G)$ is co-NP-hard. A generating subgraph of a graph $G$ is an induced complete bipartite subgraph $B$ of $G$ on vertex sets of bipartition $B_{X}$ and $B_{Y}$, such that each of $S \cup B_{X}$ and $S \cup B_{Y}$ is a maximal independent set of $G$, for some independent set $S$. If $B$ is generating, then $w(B_{X})=w(B_{Y})$ for every weight function $w \in WCW(G)$. Therefore, generating subgraphs play an important role in finding $WCW(G)$. The decision problem whether a subgraph of an input graph is generating is known to be NP-complete. In this article, we prove NP-completeness of the problem for graphs without cycles of length 3 and 5, and for bipartite graphs with girth at least 6. On the other and, we supply polynomial algorithms for recognizing generating subgraphs and finding $WCW(G)$, when the input graph is bipartite without cycles of length 6. We also present a polynomial algorithm which finds $WCW(G)$ when $G$ does not contain cycles of lengths 3, 4, 5, and 7.
Anomaly Detection and Correction in Large Labeled Bipartite Graphs
Binary classification problems can be naturally modeled as bipartite graphs, where we attempt to classify right nodes based on their left adjacencies. We consider the case of labeled bipartite graphs in which some labels and edges are not trustworthy. Our goal is to reduce noise by identifying and fixing these labels and edges.
We first propose a geometric technique for generating random graph instances with untrustworthy labels and analyze the resulting graph properties. We focus on generating graphs which reflect real-world data, where degree and label frequencies follow power law distributions.
We review several algorithms for the problem of detection and correction, proposing novel extensions and making observations specific to the bipartite case. These algorithms range from math programming algorithms to discrete combinatorial algorithms to Bayesian approximation algorithms to machine learning algorithms.
We compare the performance of all these algorithms using several metrics and, based on our observations, identify the relative strengths and weaknesses of each individual algorithm.
Homomorphism bounds of signed bipartite $K_4$-minor-free graphs and edge-colorings of $2k$-regular $K_4$-minor-free multigraphs
Published in Discrete Applied Mathematics 261:40-51, 2019
• View Publication
• BIB
A signed graph $(G, Σ)$ is a graph $G$ and a subset $Σ$ of its edges which corresponds to an assignment of signs to the edges: edges in $Σ$ are negative while edges not in $Σ$ are positive. A closed walk of a signed graph is balanced if the product of the signs of its edges (repetitions included) is positive, and unbalanced otherwise. The unbalanced-girth of a signed graph is the length of a shortest unbalanced closed walk (if such a walk exists). A homomorphism of $(G,Σ)$ to $(H,Π)$ is a homomorphism of $G$ to $H$ which preserves the balance of closed walks.
In this work, given a signed bipartite graph $(B, Π)$ of unbalanced-girth $2k$, we give a necessary and sufficient condition for $(B, Π)$ to admit a homomorphism from any signed bipartite graph of unbalanced-girth at least $2k$ whose underlying graph is $K_4$-minor-free. The condition can be checked in polynomial time with respect to the order of $B$.
Let $SPC(2k)$ be the signed bipartite graph on vertex set $\mathbb{Z}_2^{2k-1}$ where vertices $u$ and $v$ are adjacent with a positive edge if their difference is in $\{e_1,e_2, \ldots, e_{2k-1}\}$ (where the $e_i$'s form the standard basis), and adjacent with a negative edge if their difference is $J$ (that is, the all-1 vector). As an application of our work, we prove that every signed bipartite $K_4$-minor-free graph of unbalanced-girth $2k$ admits a homomorphism to $SPC(2k)$. This supports a conjecture of Guenin claiming that every signed bipartite planar graph of unbalanced-girth $2k$ admits a homomorphism to $SPC(2k)$ (this would be an extension of the four-color theorem).
We also give an application of our work to edge-coloring $2k$-regular $K_4$-minor-free multigraphs.
List Coloring a Cartesian Product with a Complete Bipartite Factor
Published
• View Publication
• BIB
We study the list chromatic number of the Cartesian product of any graph $G$ and a complete bipartite graph with partite sets of size $a$ and $b$, denoted $χ_\ell(G \square K_{a,b})$. We have two motivations. A classic result on the gap between list chromatic number and the chromatic number tells us $χ_\ell(K_{a,b}) = 1 + a$ if and only if $b \geq a^a$. Since $χ_\ell(K_{a,b}) \leq 1 + a$ for any $b \in \mathbb{N}$, this result tells us the values of $b$ for which $χ_\ell(K_{a,b})$ is as large as possible and far from $χ(K_{a,b})=2$. In this paper we seek to understand when $χ_\ell(G \square K_{a,b})$ is far from $χ(G \square K_{a,b}) = \max \{χ(G), 2 \}$. It is easy to show $χ_\ell(G \square K_{a,b}) \leq χ_\ell (G) + a$. In 2006, Borowiecki, Jendrol, Král, and Miskuf showed that this bound is attainable if $b$ is sufficiently large; specifically, $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$ whenever $b \geq (χ_\ell(G) + a - 1)^{a|V(G)|}$. Given any graph $G$ and $a \in \mathbb{N}$, we wish to determine the smallest $b$ such that $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$. In this paper we show that the list color function, a list analogue of the chromatic polynomial, provides the right concept and tool for making progress on this problem. Using the list color function, we prove a general improvement on Borowiecki et al.'s 2006 result, and we compute the smallest such $b$ exactly for some large families of chromatic-choosable graphs.
Reflexive polytopes arising from bipartite graphs with $γ$-positivity associated to interior polynomials
Published in Selecta Mathematica. New Series 26 (2020), 59
• View Publication
• BIB
In this paper, we introduce polytopes ${\mathcal B}_G$ arising from root systems $B_n$ and finite graphs $G$, and study their combinatorial and algebraic properties. In particular, it is shown that ${\mathcal B}_G$ is reflexive if and only if $G$ is bipartite. Moreover, in the case, ${\mathcal B}_G$ has a regular unimodular triangulation. This implies that the $h^*$-polynomial of ${\mathcal B}_G$ is palindromic and unimodal when $G$ is bipartite. Furthermore, we discuss stronger properties, namely the $γ$-positivity and the real-rootedness of the $h^*$-polynomials. In fact, if $G$ is bipartite, then the $h^*$-polynomial of ${\mathcal B}_G$ is $γ$-positive and its $γ$-polynomial is given by an interior polynomial (a version of the Tutte polynomial for a hypergraph). The $h^*$-polynomial is real-rooted if and only if the corresponding interior polynomial is real-rooted. From a counterexample to Neggers--Stanley conjecture, we construct a bipartite graph $G$ whose $h^*$-polynomial is not real-rooted but $γ$-positive, and coincides with the $h$-polynomial of a flag triangulation of a sphere.