bipartite graph
2604 papers tagged with this keyword
Optimal Grid Drawings of Complete Multipartite Graphs and an Integer Variant of the Algebraic Connectivity
Published
• View Publication
• BIB
How to draw the vertices of a complete multipartite graph $G$ on different points of a bounded $d$-dimensional integer grid, such that the sum of squared distances between vertices of $G$ is (i) minimized or (ii) maximized? For both problems we provide a characterization of the solutions. For the particular case $d=1$, our solution for (i) also settles the minimum-2-sum problem for complete bipartite graphs; the minimum-2-sum problem was defined by Juvan and Mohar in 1992. Weighted centroidal Voronoi tessellations are the solution for (ii). Such drawings are related with Laplacian eigenvalues of graphs. This motivates us to study which properties of the algebraic connectivity of graphs carry over to the restricted setting of drawings of graphs with integer coordinates.
Toward a Nordhaus-Gaddum Inequality for the Number of Dominating Sets
Published in Involve 12 (2019) 1175-1181
• View Publication
• BIB
A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex of $G$ is either in $S$ or is adjacent to a vertex in $S$. Nordhaus-Gaddum inequailties relate a graph $G$ to its complement $\bar{G}$. In this spirit Wagner proved that any graph $G$ on $n$ vertices satisfies $\partial(G)+\partial(\bar{G})\geq 2^n$ where $\partial(G)$ is the number of dominating sets in a graph $G$. In the same paper he comments that an upper bound for $\partial(G)+\partial(\bar{G})$ among all graphs on $n$ vertices seems to be much more difficult. Here we prove an upper bound on $\partial(G)+\partial(\bar{G})$ and prove that any graph maximizing this sum has minimum degree at least $\lfloor n/2\rfloor-2$ and maximum degree at most $\lfloor n/2\rfloor+1$. We conjecture that the complete balanced bipartite graph maximizes $\partial(G)+\partial(\bar{G})$ and have verified this computationally for all graphs on at most $10$ vertices.
On the depth and Stanley depth of integral closure of powers of monomial ideals
Published
• View Publication
• BIB
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Assume that $G$ is a graph with edge ideal $I(G)$. We prove that the modules $S/\overline{I(G)^k}$ and $\overline{I(G)^k}/\overline{I(G)^{k+1}}$ satisfy Stanley's inequality for every integer $k\gg 0$. If $G$ is a non-bipartite graph, we show that the ideals $\overline{I(G)^k}$ satisfy Stanley's inequality for all $k\gg 0$. For every connected bipartite graph $G$ (with at least one edge), we prove that ${\rm sdepth}(I(G)^k)\geq 2$, for any positive integer $k\leq {\rm girth}(G)/2+1$. This result partially answers a question asked in [20]. For any proper monomial ideal $I$ of $S$, it is shown that the sequence $\{{\rm depth}(\overline{I^k}/\overline{I^{k+1}})\}_{k=0}^{\infty}$ is convergent and $\lim_{k\rightarrow\infty}{\rm depth}(\overline{I^k}/\overline{I^{k+1}})=n-\ell(I)$, where $\ell(I)$ denotes the analytic spread of $I$. Furthermore, it is proved that for any monomial ideal $I$, there exists an integer $s$ such that $${\rm depth} (S/I^{sm}) \leq {\rm depth} (S/\overline{I}),$$for every integer $m\geq 1$. We also determine a value $s$ for which the above inequality holds. If $I$ is an integrally closed ideal, we show that ${\rm depth}(S/I^m)\leq {\rm depth}(S/I)$, for every integer $m\geq 1$. As a consequence, we obtain that for any integrally closed monomial ideal $I$ and any integer $m\geq 1$, we have ${\rm Ass}(S/I)\subseteq {\rm Ass}(S/I^m)$. \end{abstract}
Connected $k$-factors in bipartite graphs
Published
• View Publication
• BIB
Let $k,l$ be two positive integers. An $S_{k,l}$ is a graph obtained from disjoint $K_{1,k}$ and $K_{1,l}$ by adding an edge between the $k$-degree vertex in $K_{1,k}$ and the $l$-degree vertex in $K_{1,l}$. An {\em $S_{k,l}$-free} graph is a graph containing no induced subgraph isomorphic to $S_{k,l}$. In this note, we show that, for any positive integers $k,l$ with $2\leqslant k\leqslant l$, there exists a constant $c=c(k,l)$ such that every connected balanced $S_{k,l}$-free bipartite graph with minimum degree at least $c$ contains a connected $k$-factor.
Combinatorial cluster expansion formulas from triangulated surfaces
Published in Electron. J. Combin. Vol. 26, 2 (2019) P2.33
• View Publication
• BIB
We give a cluster expansion formula for cluster algebras with principal coefficients defined from triangulated surfaces in terms of perfect matchings of angles. Our formula simplifies the cluster expansion formula given by Musiker-Schiffler-Williams in terms of perfect matchings of snake graphs. A key point of our proof is to give a bijection between perfect matchings of angles in some triangulated polygon and perfect matchings of the corresponding snake graph. Moreover, they also correspond bijectively with perfect matchings of the corresponding bipartite graph and minimal cuts of the corresponding quiver with potential.
Projectively unique polytopes and toric slack ideals
Published
• View Publication
• BIB
The slack ideal of a polytope is a saturated determinantal ideal that gives rise to a new model for the realization space of the polytope. The simplest slack ideals are toric and have connections to projectively unique polytopes. We prove that if a projectively unique polytope has a toric slack ideal, then it is the toric ideal of the bipartite graph of vertex-facet non-incidences of the polytope. The slack ideal of a polytope is contained in this toric ideal if and only if the polytope is morally 2-level, a generalization of the 2-level property in polytopes. We show that polytopes that do not admit rational realizations cannot have toric slack ideals. A classical example of a projectively unique polytope with no rational realizations is due to Perles. We prove that the slack ideal of the Perles polytope is reducible, providing the first example of a slack ideal that is not prime.
A Note on the Equitable Choosability of Complete Bipartite Graphs
Published
• View Publication
• BIB
In 2003 Kostochka, Pelsmajer, and West introduced a list analogue of equitable coloring called equitable choosability. A $k$-assignment, $L$, for a graph $G$ assigns a list, $L(v)$, of $k$ available colors to each $v \in V(G)$, and an equitable $L$-coloring of $G$ is a proper coloring, $f$, of $G$ such that $f(v) \in L(v)$ for each $v \in V(G)$ and each color class of $f$ has size at most $\lceil |V(G)|/k \rceil$. Graph $G$ is said to be equitably $k$-choosable if an equitable $L$-coloring of $G$ exists whenever $L$ is a $k$-assignment for $G$. In this note we study the equitable choosability of complete bipartite graphs. A result of Kostochka, Pelsmajer, and West implies $K_{n,m}$ is equitably $k$-choosable if $k \geq \max \{n,m\}$ provided $K_{n,m} \neq K_{2l+1, 2l+1}$. We prove $K_{n,m}$ is equitably $k$-choosable if $m \leq \left\lceil (m+n)/k \right \rceil(k-n)$ which gives $K_{n,m}$ is equitably $k$-choosable for certain $k$ satisfying $k < \max \{n,m\}$. We also give a complete characterization of the equitable choosability of complete bipartite graphs that have a partite set of size at most 2.
(2, 3)-bipartite graphs are strongly 6-edge-choosable
Kang and Park recently showed that every cubic (loopless) multigraph is incidence 6-choosable [On incidence choosability of cubic graphs. \emph{arXiv}, April 2018]. Equivalently, every bipartite graph obtained by subdividing once every edge of a cubic graph, is strongly 6-edge-choosable. The aim of this note is to give a shorter proof of their result by looking at the strong edge-coloring formulation of the problem.
Searching for square-complementary graphs: non-existence results and complexity of recognition
Published
• View Publication
• BIB
A graph is square-complementary (squco, for short) if its square and complement are isomorphic. We prove that there are no squco graphs with girth 6, that every bipartite graph is an induced subgraph of a squco bipartite graph, that the problem of recognizing squco graphs is graph isomorphism complete, and that no nontrivial squco graph is both bipartite and planar. These results resolve three of the open problems posed in Discrete Math. 327 (2014) 62-75.
Cycle partitions of regular graphs
Published in Combinator. Probab. Comp. 30 (2021) 526-549
• View Publication
• BIB
Magnant and Martin conjectured that the vertex set of any $d$-regular graph $G$ on $n$ vertices can be partitioned into $n / (d+1)$ paths (there exists a simple construction showing that this bound would be best possible). We prove this conjecture when $d = Ω(n)$, improving a result of Han, who showed that in this range almost all vertices of $G$ can be covered by $n / (d+1) + 1$ vertex-disjoint paths. In fact, our proof gives a partition of $V(G)$ into cycles. We also show that, if $d = Ω(n)$ and $G$ is bipartite, then $V(G)$ can be partitioned into $n / (2d)$ paths (this bound in tight for bipartite graphs).
Counting short cycles of (c,d)-regular bipartite graphs
Published
• View Publication
• BIB
Recently, working on the Tanner graph which represents a low density parity check (LDPC) code becomes an interesting research subject. Finding the number of short cycles of Tanner graphs motivated Blake and Lin to investigate the multiplicity of cycles of length girth in bi-regular bipartite graphs, by using the spectrum and degree distribution of the graph. Although there were many algorithms to find the number of cycles, they preferred to investigate in a computational way. Dehghan and Banihashemi counted the number of cycles of length $g+2$ and $g+4,$ where $G$ is a bi-regular bipartite graph and $g$ is the length of the girth $G.$ But they just proposed a descriptive technique to compute the multiplicity of cycles of length less than $2g$ for bi-regular bipartite graphs. In this paper, we find the number of cycles of length less than $2g$ by using spectrum and degree distribution of a bi-regular bipartite graph such that the formula depends only on the partitions of positive integers and the number of closed cycle-free walks from a vertex of the bi-regular bipartite graph.
Maker-Breaker domination game
We introduce the Maker-Breaker domination game, a two player game on a graph. At his turn, the first player, Dominator, select a vertex in order to dominate the graph while the other player, Staller, forbids a vertex to Dominator in order to prevent him to reach his goal. Both players play alternately without missing their turn. This game is a particular instance of the so-called Maker-Breaker games, that is studied here in a combinatorial context. In this paper, we first prove that deciding the winner of the Maker-Breaker domination game is PSPACE-complete, even for bipartite graphs and split graphs. It is then showed that the problem is polynomial for cographs and trees. In particular, we define a strategy for Dominator that is derived from a variation of the dominating set problem, called the pairing dominating set problem.
Metric dimension and pattern avoidance in graphs
Published
• View Publication
• BIB
In this paper, we prove a number of results about pattern avoidance in graphs with bounded metric dimension or edge metric dimension. We show that the maximum possible number of edges in a graph of diameter $D$ and edge metric dimension $k$ is at most $(\lfloor \frac{2D}{3}\rfloor +1)^{k}+k \sum_{i = 1}^{\lceil \frac{D}{3}\rceil } (2i)^{k-1}$, sharpening the bound of $\binom{k}{2}+k D^{k-1}+D^{k}$ from Zubrilina (2018). We also show that the maximum value of $n$ for which some graph of metric dimension $\leq k$ contains the complete graph $K_{n}$ as a subgraph is $n = 2^{k}$. We prove that the maximum value of $n$ for which some graph of metric dimension $\leq k$ contains the complete bipartite graph $K_{n,n}$ as a subgraph is $2^{Θ(k)}$. Furthermore, we show that the maximum value of $n$ for which some graph of edge metric dimension $\leq k$ contains $K_{1,n}$ as a subgraph is $n = 2^{k}$. We also show that the maximum value of $n$ for which some graph of metric dimension $\leq k$ contains $K_{1,n}$ as a subgraph is $3^{k}-O(k)$.
In addition, we prove that the $d$-dimensional grids $\prod_{i = 1}^{d} P_{r_{i}}$ have edge metric dimension at most $d$. This generalizes two results of Kelenc et al. (2016), that non-path grids have edge metric dimension $2$ and that $d$-dimensional hypercubes have edge metric dimension at most $d$. We also provide a characterization of $n$-vertex graphs with edge metric dimension $n-2$, answering a question of Zubrilina. As a result of this characterization, we prove that any connected $n$-vertex graph $G$ such that $edim(G) = n-2$ has diameter at most $5$. More generally, we prove that any connected $n$-vertex graph with edge metric dimension $n-k$ has diameter at most $3k-1$.
Arithmetic aspects of symmetric edge polytopes
Published in Mathematika 65 (2019) 763-784
• View Publication
• BIB
We investigate arithmetic, geometric and combinatorial properties of symmetric edge polytopes. We give a complete combinatorial description of their facets. By combining Gröbner basis techniques, half-open decompositions and methods for interlacing polynomials we provide an explicit formula for the $h^\ast$-polynomial in case of complete bipartite graphs. In particular, we show that the $h^\ast$-polynomial is $γ$-positive and real-rooted. This proves Gal's conjecture for arbitrary flag unimodular triangulations in this case, and, beyond that, we prove a strengthing due to Nevo and Petersen (2011).
The Limiting Eigenvalue Distribution of Iterated k-Regular Graph Cylinders
We explore the limiting empirical eigenvalue distributions arising from matrices of the form \[A_{n+1} = \begin{bmatrix} A_n & I\\ I & A_n \end{bmatrix} , \]where $A_0$ is the adjacency matrix of a $k$-regular graph. We find that for bipartite graphs, the distributions are centered symmetric binomial distributions, and for non-bipartite graphs, the distributions are asymmetric. This research grew out of our work on neural networks in $k$-regular graphs. Our original question was whether or not the graph cylinder construction would produce an expander graph that is a suitable candidate for the neural networks being developed at Nousot. This question is answered in the negative for our computational purposes. However, the limiting distribution is still of theoretical interest to us; thus, we present our results here.
The Active Bijection 2.a - Decomposition of activities for matroid bases, and Tutte polynomial of a matroid in terms of beta invariants of minors
We introduce and study filtrations of a matroid on a linearly ordered ground set, which are particular sequences of nested sets. A given basis can be decomposed into a uniquely defined sequence of bases of minors, such that these bases have an internal/external activity equal to 1/0 or 0/1 (in the sense of Tutte polynomial activities). This decomposition, which we call the active filtration/partition of the basis, refines the known partition of the ground set into internal and external elements with respect to a given basis. It can be built by a certain closure operator, which we call the active closure. It relies only on the fundamental bipartite graph of the basis and can be expressed also as a decomposition of general bipartite graphs on a linearly ordered set of vertices.
From this, first, structurally, we obtain that the set of all bases can be canonically partitioned and decomposed in terms of such bases of minors induced by filtrations. Second, enumeratively, we derive an expression of the Tutte polynomial of a matroid in terms of beta invariants of minors. This expression refines at the same time the classical expressions in terms of basis activities and orientation activities (if the matroid is oriented), and the well-known convolution formula for the Tutte polynomial. Third, in a companion paper of the same series (No. 2.b), we use this decomposition of matroid bases, along with a similar decomposition of oriented matroids, and along with a bijection in the 1/0 activity case from a previous paper (No. 1), to define the canonical active bijection between orientations/signatures/reorientations and spanning trees/simplices/bases of a graph/real hyperplane arrangement/oriented matroid, as well as various related bijections.
On maximum $k$-edge-colorable subgraphs of bipartite graphs
Published
• View Publication
• BIB
If $k\geq 0$, then a $k$-edge-coloring of a graph $G$ is an assignment of colors to edges of $G$ from the set of $k$ colors, so that adjacent edges receive different colors. A $k$-edge-colorable subgraph of $G$ is maximum if it is the largest among all $k$-edge-colorable subgraphs of $G$. For a graph $G$ and $k\geq 0$, let $ν_{k}(G)$ be the number of edges of a maximum $k$-edge-colorable subgraph of $G$. In 2010 Mkrtchyan et al. proved that if $G$ is a cubic graph, then $ν_2(G)\leq \frac{|V|+2ν_3(G)}{4}$. This result implies that if the cubic graph $G$ contains a perfect matching, in particular when it is bridgeless, then $ν_2(G)\leq \frac{ν_1(G)+ν_3(G)}{2}$. One may wonder whether there are other interesting graph-classes, where a relation between $ν_2(G)$ and $\frac{ν_1(G)+ν_3(G)}{2}$ can be proved. Related with this question, in this paper we show that $ν_{k}(G) \geq \frac{ν_{k-i}(G) + ν_{k+i}(G)}{2}$ for any bipartite graph $G$, $k\geq 0$ and $i=0,1,...,k$.
Total Colourings of Direct Product Graphs
Published
• View Publication
• BIB
A graph is k-total colourable if there is an assignment of k different colours to the vertices and edges of the graph such that no two adjacent nor incident elements receive the same colour. The total chromatic number of some direct product graphs are determined. In particular, a sufficient condition is given for direct products of bipartite graphs to have total chromatic number equal to its maximum degree plus one. Partial results towards the total chromatic number of the direct product of complete graphs are also established.
On the extremal number of subdivisions
Published
• View Publication
• BIB
One of the cornerstones of extremal graph theory is a result of Füredi, later reproved and given due prominence by Alon, Krivelevich and Sudakov, saying that if $H$ is a bipartite graph with maximum degree $r$ on one side, then there is a constant $C$ such that every graph with $n$ vertices and $C n^{2 - 1/r}$ edges contains a copy of $H$. This result is tight up to the constant when $H$ contains a copy of $K_{r,s}$ with $s$ sufficiently large in terms of $r$. We conjecture that this is essentially the only situation in which Füredi's result can be tight and prove this conjecture for $r = 2$. More precisely, we show that if $H$ is a $C_4$-free bipartite graph with maximum degree $2$ on one side, then there are positive constants $C$ and $δ$ such that every graph with $n$ vertices and $C n^{3/2 - δ}$ edges contains a copy of $H$. This answers a question of Erdős from 1988. The proof relies on a novel variant of the dependent random choice technique which may be of independent interest.
On $r$-uniform hypergraphs with circumference less than $r$
We show that for each $k\geq 4$ and $n>r\geq k+1$, every $n$-vertex $r$-uniform hypergraph with no Berge cycle of length at least $k$ has at most $\frac{(k-1)(n-1)}{r}$ edges. The bound is exact, and we describe the extremal hypergraphs. This implies and slightly refines the theorem of Győri, Katona and Lemons that for $n>r\geq k\geq 3$, every $n$-vertex $r$-uniform hypergraph with no Berge path of length $k$ has at most $\frac{(k-1)n}{r+1}$ edges. To obtain the bounds, we study bipartite graphs with no cycles of length at least $2k$, and then translate the results into the language of multi-hypergraphs.