bipartite graph
2514 papers tagged with this keyword
Pfaffian Pairs and Parities: Counting on Linear Matroid Intersection and Parity Problems
Published
• View Publication
• BIB
Spanning trees are a representative example of linear matroid bases that are efficiently countable. Perfect matchings of Pfaffian bipartite graphs are a countable example of common bases of two matrices. Generalizing these two examples, Webb (2004) introduced the notion of Pfaffian pairs as a pair of matrices for which counting of their common bases is tractable via the Cauchy-Binet formula.
This paper studies counting on linear matroid problems extending Webb's work. We first introduce "Pfaffian parities" as an extension of Pfaffian pairs to the linear matroid parity problem, which is a common generalization of the linear matroid intersection problem and the matching problem. We enumerate combinatorial examples of Pfaffian pairs and parities. The variety of the examples illustrates that Pfaffian pairs and parities serve as a unified framework of efficiently countable discrete structures. Based on this framework, we derive celebrated counting theorems, such as Kirchhoff's matrix-tree theorem, Tutte's directed matrix-tree theorem, the Pfaffian matrix-tree theorem, and the Lindström-Gessel-Viennot lemma.
Our study then turns to algorithmic aspects. We observe that the fastest randomized algorithms for the linear matroid intersection and parity problems by Harvey (2009) and Cheung-Lau-Leung (2014) can be derandomized for Pfaffian pairs and parities. We further present polynomial-time algorithms to count the number of minimum-weight solutions on weighted Pfaffian pairs and parities. Our algorithms make use of Frank's weight splitting lemma for the weighted matroid intersection problem and the algebraic optimality criterion of the weighted linear matroid parity problem given by Iwata-Kobayashi (2017).
Chen and Chvátal's Conjecture in tournaments
Published
• View Publication
• BIB
In this work we present a version of the so called Chen and Chvátal's conjecture for directed graphs. A line of a directed graph D is defined by an ordered pair (u, v), with u and v two distinct vertices of D, as the set of all vertices w such that u, v, w belong to a shortest directed path in D containing a shortest directed path from u to v. A line is empty if there is no directed path from u to v. Another option is that a line is the set of all vertices.
The version of the Chen and Chvátal's conjecture we study states that if none of previous options hold, then the number of distinct lines in D is at least its number of vertices. Our main result is that any tournament satisfies this conjecture as well as any orientation of a complete bipartite graph of diameter three.
Algebraic analysis of multiple social networks with multiplex
Published
• View Publication
• BIB
\pkg{multiplex} is a computer program that provides algebraic tools for the analysis of multiple network structures within the \proglang{R} environment. Apart from the possibility to create and manipulate multivariate data representing multiplex, signed, and two-mode networks, this package offers a collection of functions that deal with algebraic systems ---such as the partially ordered semigroup, and balance or cluster semirings--- their decomposition, and the enumeration of bundle patterns occurring at different levels of the network. Moreover, through Galois derivations between families of the pairs of subsets in different domains it is possible to analyze affiliation networks with an algebraic approach. Visualization of multigraphs, different forms of bipartite graphs, inclusion lattices, Cayley graphs is supported as well with related packages.
Matchings under distance constraints I
Published
• View Publication
• BIB
This paper introduces the \emph{$d$-distance matching problem}, in which we are given a bipartite graph $G=(S,T;E)$ with $S=\{s_1,\dots,s_n\}$, a weight function on the edges and an integer $d\in\mathbb Z_+$. The goal is to find a maximum weight subset $M\subseteq E$ of the edges satisfying the following two conditions: i) the degree of every node of $S$ is at most one in $M$, ii) if $s_it,s_jt\in M$, then $|j-i|\geq d$. The question arises naturally, for example, in various scheduling problems.
We show that the problem is NP-complete in general and admits a simple $3$-approxi\-mation. We give an FPT algorithm parameterized by $d$ and also settle the case when the size of $T$ is constant. From an approximability point of view, we show that the integrality gap of the natural integer programming model is at most $2-\frac{1}{2d-1}$, and give an LP-based approximation algorithm for the weighted case with the same guarantee. A combinatorial $(2-\frac{1}{d})$-approximation algorithm is also presented. Several greedy approaches are considered, in particular, a local search algorithm that achieves an approximation ratio of $3/2+ε$ for any constant $ε>0$ in the unweighted case. The novel approaches used in the analysis of the integrality gap and the approximation ratio of locally optimal solutions might be of independent combinatorial interest.
Alternating Signed Bipartite Graphs and Difference-1 Colourings
Published
• View Publication
• BIB
We investigate a class of 2-edge coloured bipartite graphs known as alternating signed bipartite graphs (ASBGs) that encode the information in alternating sign matrices. The central question is when a given bipartite graph admits an ASBG-colouring; a 2-edge colouring such that the resulting graph is an ASBG. We introduce the concept of a difference-1 colouring, a relaxation of the concept of an ASBG-colouring, and present a set of necessary and sufficient conditions for when a graph admits a difference-1 colouring. The relationship between distinct difference-1 colourings of a particular graph is characterised, and some classes of graphs for which all difference-1 colourings are ASBG-colourings are identified. One key step is Theorem 3.4.6, which generalises Hall's Matching Theorem by describing a necessary and sufficient condition for the existence of a subgraph $H$ of a bipartite graph in which each vertex $v$ of $H$ has some prescribed degree $r(v)$.
List colouring of two matroids through reduction to partition matroids
In the list coloring problem for two matroids, we are given matroids $M_1=(S,{\cal I}_1)$ and $M_2=(S,{\cal I}_2)$ on the same ground set $S$, and the goal is to determine the smallest number $k$ such that given arbitrary lists $L_s$ of $k$ colors for $s\in S$, it is possible to choose a color from each list so that every monochromatic set is independent in both $M_1$ and $M_2$. When both $M_1$ and $M_2$ are partition matroids, Galvin's list coloring theorem for bipartite graphs gives the answer. One of the main open questions is to decide if there exists a constant $c$ such that if the coloring number is $k$ (i.e., the ground set can be partitioned into $k$ common independent sets), then the list coloring number is at most $c\cdot k$. We consider matroid classes that appear naturally in combinatorial optimization problems, namely graphic matroids, paving matroids and gammoids. We show that if both matroids are from these fundamental classes, then the list coloring number is at most twice the coloring number.
The proof is based on a new approach that reduces a matroid to a partition matroid without increasing its coloring number too much, and might be of independent combinatorial interest. In particular, we show that if $M=(S,{\cal I})$ is a matroid in which $S$ can be partitioned into $k$ independent sets, then there exists a partition matroid $N=(S,{\cal J})$ with ${\cal J}\subseteq{\cal I}$ in which $S$ can be partitioned into (A) $k$ independent sets if $M$ is a transversal matroid, (B) $2k-1$ independent sets if $M$ is a graphic matroid, (C) $\lceil kr/(r-1)\rceil$ independent sets if $M$ is a paving matroid of rank $r$, and (D) $2k-2$ independent sets if $M$ is a gammoid. We extend our results by showing that the existence of a matroid $N$ with $χ(N)\leq 2χ(M)$ implies the existence of a matroid $N'$ with $χ(N')\leq 2χ(M')$ for every truncation $M'$ of $M$.
Colourings of star systems
Published
• View Publication
• BIB
An $e$-star is a complete bipartite graph $K_{1,e}$. An $e$-star system of order $n>1$, $S_e(n)$, is a partition of the edges of the complete graph $K_n$ into $e$-stars. An $e$-star system is said to be $k$-colourable if its vertex set can be partitioned into $k$ sets (called colour classes) such that no $e$-star is monochromatic. The system $S_e(n)$ is $k$-chromatic if $S_e(n)$ is $k$-colourable but is not $(k-1)$-colourable. If every $k$-colouring of an $e$-star system can be obtained from some $k$-colouring $φ$ by a permutation of the colours, we say that the system is uniquely $k$-colourable. In this paper, we first show that for any integer $k\geq 2$, there exists a $k$-chromatic 3-star system of order $n$ for all sufficiently large admissible $n$. Next, we generalize this result for $e$-star systems for any $e\geq 3$. We show that for all $k\geq 2$ and $e\geq 3$, there exists a $k$-chromatic $e$-star system of order $n$ for all sufficiently large $n$ such that $n\equiv 0,1$ (mod $2e$). Finally, we prove that for all $k\geq 2$ and $e\geq 3$, there exists a uniquely $k$-chromatic $e$-star system of order $n$ for all sufficiently large $n$ such that $n\equiv 0,1$ (mod $2e$).
New Bounds on the Biplanar and $k$-Planar Crossing Numbers
The biplanar crossing number of a graph $G$ is the minimum number of crossings over all possible drawings of the edges of $G$ in two disjoint planes. We present new bounds on the biplanar crossing number of complete graphs and complete bipartite graphs. In particular, we prove that the biplanar crossing number of complete bipartite graphs can be approximated to within a factor of $3$, improving over the best previously known approximation factor of $4.03$. For complete graphs, we provide a new approximation factor of $3.17$, improving over the best previous factor of $4.34$. We provide similar improved approximation factors for the $k$-planar crossing number of complete graphs and complete bipartite graphs, for any positive integer $k$. We also investigate the relation between (ordinary) crossing number and biplanar crossing number of general graphs in more depth, and prove that any graph with a crossing number of at most $10$ is biplanar.
Combinatorics of the double-dimer model
Published
• View Publication
• BIB
We prove that the partition function for tripartite double-dimer configurations of a planar bipartite graph satisfies a recurrence related to the Desnanot-Jacobi identity from linear algebra. A similar identity for the dimer partition function was established nearly 20 years ago by Kuo and has applications to random tiling theory and the theory of cluster algebras. This work was motivated in part by the potential for applications in these areas. Additionally, we discuss an application to Donaldson-Thomas and Pandharipande-Thomas theory which will be the subject of a forthcoming paper. The proof of our recurrence requires generalizing work of Kenyon and Wilson; specifically, lifting their assumption that the nodes of the graph are black and odd or white and even.
Paired Domination versus Domination and Packing Number in Graphs
Published
• View Publication
• BIB
Given a graph $G=(V(G), E(G))$, the size of a minimum dominating set, minimum paired dominating set, and a minimum total dominating set of a graph $G$ are denoted by $γ(G)$, $γ_{\rm pr}(G)$, and $γ_{t}(G)$, respectively. For a positive integer $k$, a $k$-packing in $G$ is a set $S \subseteq V(G)$ such that for every pair of distinct vertices $u$ and $v$ in $S$, the distance between $u$ and $v$ is at least $k+1$. The $k$-packing number is the order of a largest $k$-packing and is denoted by $ρ_{k}(G)$. It is well known that $γ_{\rm pr}(G) \le 2γ(G)$. In this paper, we prove that it is NP-hard to determine whether $γ_{\rm pr}(G) = 2γ(G)$ even for bipartite graphs. We provide a simple characterization of trees with $γ_{\rm pr}(G) = 2γ(G)$, implying a polynomial-time recognition algorithm. We also prove that even for a bipartite graph, it is NP-hard to determine whether $γ_{\rm pr}(G)=γ_{t}(G)$. We finally prove that it is both NP-hard to determine whether $γ_{\rm pr}(G)=2ρ_{4}(G)$ and whether $γ_{\rm pr}(G)=2ρ_{3}(G)$.
Centrosymmetric Stochastic Matrices
Published
• View Publication
• BIB
We consider the convex set $Γ_{m,n}$ of $m\times n$ stochastic matrices and the convex set $Γ_{m,n}^π\subset Γ_{m,n}$ of $m\times n$ centrosymmetric stochastic matrices (stochastic matrices that are symmetric under rotation by 180 degrees). For $Γ_{m,n}$, we demonstrate a Birkhoff theorem for its extreme points and create a basis from certain $(0,1)$-matrices. For $Γ_{m,n}^π$, we characterize its extreme points and create bases, whose construction depends on the parity of $m$, using our basis construction for stochastic matrices. For each of $Γ_{m,n}$ and $Γ_{m,n}^π$, we further characterize their extreme points in terms of their associated bipartite graphs, we discuss a graph parameter called the fill and compute it for the various basis elements, and we examine the number of vertices of the faces of these sets. We provide examples illustrating the results throughout.
Distinguishing numbers and distinguishing indices of oriented graphs
Published in Discrete Applied Mathematics, Elsevier
• View Publication
• BIB
A distinguishing r-vertex-labelling (resp. r-edge-labelling) of an undirected graph G is a mapping $λ$ from the set of vertices (resp. the set of edges) of G to the set of labels {1,. .. , r} such that no non-trivial automorphism of G preserves all the vertex (resp. edge) labels. The distinguishing number D(G) and the distinguishing index D (G) of G are then the smallest r for which G admits a distinguishing r-vertex-labelling or r-edge-labelling, respectively. The distinguishing chromatic number D $χ$ (G) and the distinguishing chromatic index D $χ$ (G) are defined similarly, with the additional requirement that the corresponding labelling must be a proper colouring. These notions readily extend to oriented graphs, by considering arcs instead of edges. In this paper, we study the four corresponding parameters for oriented graphs whose underlying graph is a path, a cycle, a complete graph or a bipartite complete graph. In each case, we determine their minimum and maximum value, taken over all possible orientations of the corresponding underlying graph, except for the minimum values for unbalanced complete bipartite graphs K m,n with m = 2, 3 or 4 and n > 3, 6 or 13, respectively, or m $\ge$ 5 and n > 2 m -- m 2 , for which we only provide upper bounds.
Some New Lower Bounds for the Estrada Index
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices and $λ_1,λ_2,\ldots,λ_n$ its eigenvalues. The Estrada index of $G$ is an invariant that is calculated from the eigenvalues of the adjacency matrix of a graph. In this paper, we present some new lower bounds obtained for the Estrada Index of graphs and in particular of bipartite graphs that only depend on the number of vertices, the number of edges, Randić index, maximum and minimum degree and diameter.
Snake graphs and their characteristic polynomials
The aim of the article is to understand the combinatorics of snake graphs by means of linear algebra. In particular, we apply Kasteleyn's and Temperley--Fisher's ideas about spectral properties of weighted adjacency matrices of planar bipartite graphs to snake graphs. First we focus on snake graphs whose set of turning vertices is monochromatic. We provide recursive sequences to compute the characteristic polynomials; they are indexed by the upper or the lower boundary of the graph and are determined by a neighbour count. As an application, we compute the characteristic polynomials for L-shaped snake graphs and staircases in terms of Fibonacci product polynomials. Next, we introduce a method to compute the characteristic polynomials as convergents of continued fractions. Finally, we show how to transform a snake graph with turning vertices of two colours into a graph with the same number of perfect matchings to which we can apply the results above.
The domination number of the graph defined by two levels of the $n$-cube, II
Published
• View Publication
• BIB
Consider all $k$-element subsets and $\ell$-element subsets $(k>\ell )$ of an $n$-element set as vertices of a bipartite graph. Two vertices are adjacent if the corresponding $\ell$-element set is a subset of the corresponding $k$-element set. Let $G_{k,\ell}$ denote this graph. The domination number of $G_{k,1}$ was exactly determined by Badakhshian, Katona and Tuza. A conjecture was also stated there on the asymptotic value ($n$ tending to infinity) of the domination number of $G_{k,2}$. Here we prove the conjecture, determining the asymptotic value of the domination number $γ(G_{k,2})={k+3\over 2(k-1)(k+1)}n^2+o(n^2)$.
Turán number of bipartite graphs with no $K_{t,t}$
Published
• View Publication
• BIB
The extremal number of a graph $H$, denoted by $\mbox{ex}(n,H)$, is the maximum number of edges in a graph on $n$ vertices that does not contain $H$. The celebrated Kővári-Sós-Turán theorem says that for a complete bipartite graph with parts of size $t\leq s$ the extremal number is $\mbox{ex}(K_{s,t})=O(n^{2-1/t})$. It is also known that this bound is sharp if $s>(t-1)!$. In this paper, we prove that if $H$ is a bipartite graph such that all vertices in one of its parts have degree at most $t$, but $H$ contains no copy of $K_{t,t}$, then $\mbox{ex}(n,H)=o(n^{2-1/t})$. This verifies a conjecture of Conlon, Janzer and Lee.
Strengthening some complexity results on toughness of graphs
Published
• View Publication
• BIB
Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough.
The main results of this paper are the following. For any positive rational number $t \le 1$ and for any $k \ge 2$ and $r \ge 6$ integers recognizing $t$-tough bipartite graphs is coNP-complete (the case $t=1$ was already known), and this problem remains coNP-complete for $k$-connected bipartite graphs, and so does the problem of recognizing 1-tough r-regular bipartite graphs. To prove these statements we also deal with other related complexity problems on toughness. % In this paper we prove the following. For any positive rational number $t$, deciding whether $τ(G)=t$ is DP-complete and if $t < 1$, this problem remains DP-complete for bipartite graphs. For any integer $k \ge 2$ and positive rational number $t \le 1$, recognizing $t$-tough $k$-connected bipartite graphs is coNP-complete. For any integer $r \ge 5$, recognizing $1/2$-tough $r$-regular graphs is coNP-complete. For any integer $r \ge 6$, recognizing 1-tough $r$-regular bipartite graphs is coNP-complete. For any positive rational number $t < 2/3$ we give a polynomial time algorithm for recognizing 3-regular graphs with toughness $t$. Finally, we prove that every connected 4-regular graph is 1/2-tough.
Bipartite complements of circle graphs
Published in Discrete Mathematics 343(6) (2020), 111834
• View Publication
• BIB
Using an algebraic characterization of circle graphs, Bouchet proved in 1999 that if a bipartite graph $G$ is the complement of a circle graph, then $G$ is a circle graph. We give an elementary proof of this result.
Convex graphon parameters and graph norms
Published
• View Publication
• BIB
Sidorenko's conjecture states that the number of copies of a bipartite graph $H$ in a graph $G$ is asymptotically minimised when $G$ is a quasirandom graph. A notorious example where this conjecture remains open is when $H=K_{5,5}\setminus C_{10}$. It was even unknown whether this graph possesses the strictly stronger, weakly norming property.
We take a step towards understanding the graph $K_{5,5}\setminus C_{10}$ by proving that it is not weakly norming. More generally, we show that 'twisted' blow-ups of cycles, which include $K_{5,5}\setminus C_{10}$ and $C_6\square K_2$, are not weakly norming. This answers two questions of Hatami. The method relies on the analysis of Hessian matrices defined by graph homomorphisms, by using the equivalence between the (weakly) norming property and convexity of graph homomorphism densities. We also prove that $K_{t,t}$ minus a perfect matching, proven to be weakly norming by Lovász, is not norming for every $t>3$.
The threshold for the full perfect matching color profile in a random coloring of random graphs
Published
• View Publication
• BIB
Consider a graph $G$ with a coloring of its edge set $E(G)$ from a set $Q = \set{c_1,c_2, \ldots, c_q}$. Let $Q_i$ be the set of all edges colored with $c_i$. Recently, Frieze defined a notion of the perfect matching color profile denoted by $\mcp(G)$, which is the set of vectors $(m_1, m_2, \ldots, m_q) \in [n]^q$ such that there exists a perfect matching $M$ in $G$ with $|Q_i \cap M| = m_i$ for all $i$. Let $\a_1, \a_2, \ldots, \a_q$ be positive constants such that $\sum_{i=1}^q \a_i = 1$. Let $G$ be the random bipartite graph $G_{n,n,p}$. Suppose the edges of $G$ are independently colored with color $c_i$ with probability $α_i$. We determine the threshold for the event $\mcp(G) = \set{(m_1, \ldots, m_q) \in [0,n]^q : m_1 + \cdots + m_q = n}$, answering a question posed by Frieze. We further extend our methods to find the threshold for the same event in a randomly colored random graph $G_{n,p}$.