bipartite graph
2514 papers tagged with this keyword
Plattenbauten: Touching Rectangles in Space
Published
• View Publication
• BIB
Planar bipartite graphs can be represented as touching graphs of horizontal and vertical segments in $\mathbb{R}^2$. We study a generalization in space: touching graphs of axis-aligned rectangles in $\mathbb{R}^3$, and prove that planar 3-colorable graphs can be represented this way. The result implies a characterization of corner polytopes previously obtained by Eppstein and Mumford. A by-product of our proof is a distributive lattice structure on the set of orthogonal surfaces with given skeleton. Further, we study representations by axis-aligned non-coplanar rectangles in $\mathbb{R}^3$ such that all regions are boxes. We show that the resulting graphs correspond to octahedrations of an octahedron. This generalizes the correspondence between planar quadrangulations and families of horizontal and vertical segments in $\mathbb{R}^2$ with the property that all regions are rectangles.
Target set selection with maximum activation time
Published
• View Publication
• BIB
A target set selection model is a graph $G$ with a threshold function $τ:V\to \mathbb{N}$ upper-bounded by the vertex degree. For a given model, a set $S_0\subseteq V(G)$ is a target set if $V(G)$ can be partitioned into non-empty subsets $S_0,S_1,\dotsc,S_t$ such that, for $i \in \{1, \ldots, t\}$, $S_i$ contains exactly every vertex $v$ having at least $τ(v)$ neighbors in $S_0\cup\dots\cup S_{i-1}$. We say that $t$ is the activation time $t_τ(S_0)$ of the target set $S_0$. The problem of, given such a model, finding a target set of minimum size has been extensively studied in the literature. In this article, we investigate its variant, which we call TSS-time, in which the goal is to find a target set $S_0$ that maximizes $t_τ(S_0)$. That is, given a graph $G$, a threshold function $τ$ in $G$, and an integer $k$, the objective of the TSS-time problem is to decide whether $G$ contains a target set $S_0$ such that $t_τ(S_0)\geq k$. Let $τ^* = \max_{v \in V(G)} τ(v)$. Our main result is the following dichotomy about the complexity of TSS-time when $G$ belongs to a minor-closed graph class ${\cal C}$: if ${\cal C}$ has bounded local treewidth, the problem is FPT parameterized by $k$ and $τ^{\star}$; otherwise, it is NP-complete even for fixed $k=4$ and $τ^{\star}=2$. We also prove that, with $τ^*=2$, the problem is NP-hard in bipartite graphs for fixed $k=5$, and from previous results we observe that TSS-time is NP-hard in planar graphs and W[1]-hard parameterized by treewidth. Finally, we present a linear-time algorithm to find a target set $S_0$ in a given tree maximizing $t_τ(S_0)$.
Sharp Poincaré and log-Sobolev inequalities for the switch chain on regular bipartite graphs
Published
• View Publication
• BIB
Consider the switch chain on the set of $d$-regular bipartite graphs on $n$ vertices with $3\leq d\leq n^{c}$, for a small universal constant $c>0$. We prove that the chain satisfies a Poincaré inequality with a constant of order $O(nd)$; moreover, when $d$ is fixed, we establish a log-Sobolev inequality for the chain with a constant of order $O_d(n\log n)$. We show that both results are optimal. The Poincaré inequality implies that in the regime $3\leq d\leq n^c$ the mixing time of the switch chain is at most $O\big((nd)^2 \log(nd)\big)$, improving on the previously known bound $O\big((nd)^{13} \log(nd)\big)$ due to Kannan, Tetali and Vempala and $O\big(n^7d^{18} \log(nd)\big)$ obtained by Dyer et al. The log-Sobolev inequality that we establish for constant $d$ implies a bound $O(n\log^2 n)$ on the mixing time of the chain which, up to the $\log n$ factor, captures a conjectured optimal bound. Our proof strategy relies on building, for any fixed function on the set of $d$-regular bipartite simple graphs, an appropriate extension to a function on the set of multigraphs given by the configuration model. We then establish a comparison procedure with the well studied random transposition model in order to obtain the corresponding functional inequalities. While our method falls into a rich class of comparison techniques for Markov chains on different state spaces, the crucial feature of the method - dealing with chains with a large distortion between their stationary measures - is a novel addition to the theory.
On $B_1$-EPG and EPT graphs
This research contains as a main result the prove that every Chordal $B_1$-EPG graph is simultaneously in the graph classes VPT and EPT. In addition, we describe structures that must be present in any $B_1$-EPG graph which does not admit a Helly-$B_1$-EPG representation. In particular, this paper presents some features of non-trivial families of graphs properly contained in Helly-$B_1$ EPG, namely Bipartite, Block, Cactus and Line of Bipartite graphs.
A simple bipartite graph projection model for clustering in networks
Graph datasets are frequently constructed by a projection of a bipartite graph, where two nodes are connected in the projection if they share a common neighbor in the bipartite graph; for example, a coauthorship graph is a projection of an author-publication bipartite graph. Analyzing the structure of the projected graph is common, but we do not have a good understanding of the consequences of the projection on such analyses. Here, we propose and analyze a random graph model to study what properties we can expect from the projection step. Our model is based on a Chung-Lu random graph for constructing the bipartite representation, which enables us to rigorously analyze the projected graph. We show that common network properties such as sparsity, heavy-tailed degree distributions, local clustering at nodes, the inverse relationship between node degree, and global transitivity can be explained and analyzed through this simple model. We also develop a fast sampling algorithm for our model, which we show is provably optimal for certain input distributions. Numerical simulations where model parameters come from real-world datasets show that much of the clustering behavior in some datasets can just be explained by the projection step.
Short survey on stable polynomials, orientations and matchings
This is a short survey about the theory of stable polynomials and its applications. It gives self-contained proofs of two theorems of Schrijver. One of them asserts that for a $d$--regular bipartite graph $G$ on $2n$ vertices, the number of perfect matchings, denoted by $\mathrm{pm}(G)$, satisfies $$\mathrm{pm}(G)\geq \bigg( \frac{(d-1)^{d-1}}{d^{d-2}} \bigg)^{n}.$$ The other theorem claims that for even $d$ the number of Eulerian orientations of a $d$--regular graph $G$ on $n$ vertices, denoted by $\varepsilon(G)$, satisfies $$\varepsilon(G)\geq \bigg(\frac{\binom{d}{d/2}}{2^{d/2}}\bigg)^n.$$ To prove these theorems we use the theory of stable polynomials, and give a common generalization of the two theorems.
Asymptotic enumeration of digraphs and bipartite graphs by degree sequence
Published
• View Publication
• BIB
We provide asymptotic formulae for the numbers of bipartite graphs with given degree sequence, and of loopless digraphs with given in- and out-degree sequences, for a wide range of parameters. Our results cover medium range densities and close the gaps between the results known for the sparse and dense ranges. In the case of bipartite graphs, these results were proved by Greenhill, McKay and Wang in 2006 and by Canfield, Greenhill and McKay in 2008, respectively. Our method also essentially covers the sparse range, for which much less was known in the case of loopless digraphs. For the range of densities which our results cover, they imply that the degree sequence of a random bipartite graph with m edges is accurately modelled by a sequence of independent binomial random variables, conditional upon the sum of variables in each part being equal to m. A similar model also holds for loopless digraphs.
Conditions for a bigraph to be super-cyclic
Published
• View Publication
• BIB
A hypergraph $\mathcal H$ is super-pancyclic if for each $A \subseteq V(\mathcal H)$ with $|A| \geq 3$, $\mathcal H$ contains a Berge cycle with base vertex set $A$. We present two natural necessary conditions for a hypergraph to be super-pancyclic, and show that in several classes of hypergraphs these necessary conditions are also sufficient for this. In particular, they are sufficient for every hypergraph $\mathcal H$ with $ δ(\mathcal H)\geq \max\{|V(\mathcal H)|, \frac{|E(\mathcal H)|+10}{4}\}$.
We also consider super-cyclic bipartite graphs: those are $(X,Y)$-bigraphs $G$ such that for each $A \subseteq X$ with $|A| \geq 3$, $G$ has a cycle $C_A$ such that $V(C_A)\cap X=A$. Such graphs are incidence graphs of super-pancyclic hypergraphs, and our proofs use the language of such graphs.
Splits with forbidden subgraphs
Published
• View Publication
• BIB
In this note, we fix a graph $H$ and ask into how many vertices can each vertex of a clique of size $n$ can be "split" such that the resulting graph is $H$-free. Formally: A graph is an $(n,k)$-graph if its vertex sets is a pairwise disjoint union of $n$ parts of size at most $k$ each such that there is an edge between any two distinct parts. Let
$$ f(n,H) = \min \{k \in \mathbb N : \mbox{there is an $(n,k)$-graph $G$ such that $H\not\subseteq G$}\} . $$
Barbanera and Ueckerdt observed that $f(n, H)=2$ for any graph $H$ that is not bipartite. If a graph $H$ is bipartite and has a well-defined Turán exponent, i.e., ${\rm ex}(n, H) = Θ(n^r)$ for some $r$, we show that $Ω(n^{2/r -1}) = f(n, H) = O (n^{2/r-1} \log ^{1/r} n)$. We extend this result to all bipartite graphs for which an upper and a lower Turán exponents do not differ by much. In addition, we prove that $f(n, K_{2,t}) =Θ(n^{1/3})$ for any fixed $t$.
Higher matching complexes of complete graphs and complete bipartite graphs
Published
• View Publication
• BIB
For $r\geq 1$, the $r$-matching complex of a graph $G$, denoted $M_r(G)$, is a simplicial complex whose faces are the subsets $H \subseteq E(G)$ of the edge set of $G$ such that the degree of any vertex in the induced subgraph $G[H]$ is at most $r$. In this article, we give a closed form formula for the homotopy type of the $(n-2)$-matching complex of complete graph on $n$ vertices. We also prove that the $(n-1)$-matching complex of complete bipartite graph $K_{n,n}$ is homotopy equivalent to a sphere of dimension $(n-1)^2-1$.
Automorphisms of linear functional graphs over vector spaces
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field with $q$ elements, $n\geq2$ a positive integer, $\mathbb{V}_0$ a $n$-dimensional vector space over $\mathbb{F}_q$ and $\mathbb{T}_0$ the set of all linear functionals from $\mathbb{V}_0$ to $\mathbb{F}_q$. Let $\mathbb{V}=\mathbb{V}_0\setminus\{0\}$ and $\mathbb{T}=\mathbb{T}_0\setminus\{0\}$. The \emph{linear functional graph} of $\mathbb{V}_0$ dented by $\digamma(\mathbb{V})$, is an undirected bipartite graph, whose vertex set $V$ is partitioned into two sets as $V=\mathbb{V}\cup \mathbb{T}$ and two vertices $v\in \mathbb{V}$ and $f\in \mathbb{T}$ are adjacent if and only if $f$ sends $v$ to the zero element of $\mathbb{F}_q$ (i.e. $f(v)=0$). In this paper, the structure of all automorphisms of this graph is characterized and formolized. Also the cardinal number of automorphisms group
for this graph is determined.
A BK inequality for random matchings
Let $G=(S,T,E)$ be a bipartite graph. For a matching $M$ of $G$, let $V(M)$ be the set of vertices covered by $M$, and let $B(M)$ be the symmetric difference of $V(M)$ and $S$. We prove that if $M$ is a uniform random matching of $G$, then $B(M)$ satisfies the BK inequality for increasing events.
Quasi-independence models with rational maximum likelihood estimator
Published
• View Publication
• BIB
We classify the two-way independence quasi-independence models (or independence models with structural zeros) that have rational maximum likelihood estimators, or MLEs. We give a necessary and sufficient condition on the bipartite graph associated to the model for the MLE to be rational. In this case, we give an explicit formula for the MLE in terms of combinatorial features of this graph. We also use the Horn uniformization to show that for general log-linear models $\mathcal{M}$ with rational MLE, any model obtained by restricting to a face of the cone of sufficient statistics of $\mathcal{M}$ also has rational MLE.
On the Turán number of the blow-up of the hexagon
Published
• View Publication
• BIB
The $r$-blowup of a graph $F$, denoted by $F[r]$, is the graph obtained by replacing the vertices and edges of $F$ with independent sets of size $r$ and copies of $K_{r,r}$, respectively. For bipartite graphs $F$, very little is known about the order of magnitude of the Turán number of $F[r]$. In this paper we prove that $\mathrm{ex}(n,C_6[2])=O(n^{5/3})$ and, more generally, for any positive integer $t$, $\mathrm{ex}(n,θ_{3,t}[2])=O(n^{5/3})$. This is tight when $t$ is sufficiently large.
A note on the largest induced matching in graphs avoiding a fixed bipartite graph
We give a simple proof that every $n$-vertex graph $d$-regular graph that does not contain a fixed bipartite graph as a subgraph has an induced matching of size $Ω((n/d)(\log d))$.
Characterizations of Some Parity Signed Graphs
We describe parity labelings of signed graphs; equivalently, cuts of the underlying graph that have nearly equal sides. We characterize the balanced signed graphs which are parity signed graphs. We give structural characterizations of all parity signed stars, bistars, cycles, paths and complete bipartite graphs. The rna number of a graph is the smallest cut size that has nearly equal sides; we find it for a few classes of parity signed graphs.
List-three-coloring $ P_t $-free graphs with no induced 1-subdivision of $ K_{1,s} $
Let $s$ and $t$ be positive integers. We use $P_t$ to denote the path with $t$ vertices and $K_{1,s}$ to denote the complete bipartite graph with parts of size $1$ and $s$ respectively. The one-subdivision of $K_{1,s}$ is obtained by replacing every edge $\{u,v\}$ of $K_{1,s}$ by two edges $\{u,w\}$ and $\{v,w\}$ with a new vertex $w$. In this paper, we give a polynomial-time algorithm for the list-three-coloring problem restricted to the class of $P_t$-free graph with no induced 1-subdivision of $K_{1,s}$.
The harmonic polytope
Published
• View Publication
• BIB
We study the harmonic polytope, which arose in Ardila, Denham, and Huh's work on the Lagrangian geometry of matroids. We describe its combinatorial structure, showing that it is a $(2n-2)$-dimensional polytope with $(n!)^2(1+\frac12+\cdots+\frac1n)$ vertices and $3^n-3$ facets. We also give a formula for its volume: it is a weighted sum of the degrees of the projective varieties of all the toric ideals of connected bipartite graphs with $n$ edges; or equivalently, a weighted sum of the lattice point counts of all the corresponding trimmed generalized permutahedra.
The Weisfeiler-Leman dimension of chordal bipartite graphs without bipartite claw
Published in Graphs and Combinatorics, Vol. 37, No. 3 (2021), 1089-1102
• View Publication
• BIB
A graph $X$ is said to be chordal bipartite if it is bipartite and contains no induced cycle of length at least $6$. It is proved that if $X$ does not contain bipartite claw as an induced subgraph, then the Weisfeiler-Leman dimension of $X$ is at most $3$. The proof is based on the theory of coherent configurations.
On the maximum Zagreb indices of bipartite graphs with given connectivity
Published in S.C. Li, H.B. Zhou, On the maximum and minimum Zagreb indices of graphs with connectivity at most $k$, Appl. Math. Lett. 23 (2) (2010) 128-132
• Search Publication
The first Zagreb index $M_{1}$ of a graph is defined as the sum of the square of every vertex degree, and the second Zagreb index $M_{2}$ of a graph is defined as the sum of the product of vertex degrees of each pair of adjacent vertices. In this paper, we study the Zagreb indices of bipartite graphs of order $n$ with $κ(G)=k$ (resp. $κ'(G)=s$) and sharp upper bounds are obtained for $M_1(G)$ and $M_2(G)$ for $G\in \mathcal{V}^k_n$ (resp. $\mathcal{E}^s_n$), where $\mathcal{V}^k_n$ is the set of bipartite graphs of order $n$ with $κ(G)=k$, and $\mathcal{E}^s_n$ is the set of bipartite graphs of order $n$ with $κ'(G)=s$.