bipartite graph
2604 papers tagged with this keyword
$L^p$ Expander Graphs
Published in Israel Journal of Mathematics (2019)
• View Publication
• BIB
We discuss how graph expansion is related to the behavior of $L^{p}$-functions on the covering tree. We show that the non-trivial eigenvalues of the adjacency operator on aa $(q+1)$-regular graph are bounded by $q^{1/p}+q^{(p-1)/p}$ - the $L^{p}$-norm of the operator on the covering tree - if and only if properly averaged lifts of functions from the graph to the tree lie in $L^{p+ε}$ for every $ε>0$. We generalize the result to operators on edges and to bipartite graphs.
The work is based on a combinatorial interpretation of representation-theoretic ideas.
Remarks on the Graovac-Ghorbani index of bipartite graphs
Published in Applied Mathematics and Computation Volume 293, 15 January 2017, Pages 370-376
• View Publication
• BIB
The atom-bond connectivity (ABC) index is a well-known degree-based molecular structure descriptor with a variety of chemical applications. In 2010 Graovac and Ghorbani introduced a distance-based analog of this index, the Graovac-Ghorbani (GG) index, which yielded promising results when compared to analogous descriptors. In this paper, we investigate the structure of graphs that maximize and minimize the GG index. Specifically, we show that amongst all bipartite graphs, the minimum GG index is attained by a complete bipartite graph, while the maximum GG index is attained by a path or a cycle-like graph; the structure of the resulting graph depends on the number of vertices. Through the course of the research, we also derive an asymptotic estimate of the GG index of paths. In order to obtain our results, we introduce a normalized version of the GG index and call it the normalized Graovac-Ghorbani (NGG) index. Finally, we discuss some related open questions as a potential extension of our work.
Fractional and Circular Separation Dimension of Graphs
Published
• View Publication
• BIB
The separation dimension of a graph $G$, written $π(G)$, is the minimum number of linear orderings of $V(G)$ such that every two nonincident edges are "separated" in some ordering, meaning that both endpoints of one edge appear before both endpoints of the other. We introduce the fractional separation dimension $π_f(G)$, which is the minimum of $a/b$ such that some $a$ linear orderings (repetition allowed) separate every two nonincident edges at least $b$ times.
In contrast to separation dimension, fractional separation dimension is bounded: always $π_f(G)\le 3$, with equality if and only if $G$ contains $K_4$. There is no stronger bound even for bipartite graphs, since $π_f(K_{m,m})=π_f(K_{m+1,m})=\frac{3m}{m+1}$. We also compute $π_f(G)$ for cycles and some complete tripartite graphs. We show that $π_f(G)<\sqrt 2$ when $G$ is a tree and present a sequence of trees on which the value tends to $4/3$.
Finally, we consider analogous problems for circular orderings, where pairs of nonincident edges are separated unless their endpoints alternate. Let $π^\circ(G)$ be the number of circular orderings needed to separate all pairs and $π_f^\circ(G)$ be the fractional version. Among our results: (1) $π^\circ(G)=1$ if and only $G$ is outerplanar. (2) $π^\circ(G)\le2$ when $G$ is bipartite. (3) $π^\circ(K_n)\ge\log_2\log_3(n-1)$. (4) $π_f^\circ(G)\le\frac{3}{2}$, with equality if and only if $K_4\subseteq G$. (5) $π_f^\circ(K_{m,m})=\frac{3m-3}{2m-1}$.
Minimal obstructions for normal spanning trees
Published
• View Publication
• BIB
Diestel and Leader have characterised connected graphs that admit a normal spanning tree via two classes of forbidden minors. One class are Halin's $(\aleph_0,\aleph_1)$-graphs: bipartite graphs with bipartition $(\mathbb{N},B)$ such that $B$ is uncountable and every vertex of $B$ has infinite degree.
Our main result is that under Martin's Axiom and the failure of the Continuum Hypothesis, the class of forbidden $(\aleph_0,\aleph_1)$-graphs in Diestel and Leader's result can be replaced by one single instance of such a graph.
Under CH, however, the class of $(\aleph_0,\aleph_1)$-graphs contains minor-incomparable elements, namely graphs of binary type, and $\mathcal{U}$-indivisible graphs. Assuming CH, Diestel and Leader asked whether every $(\aleph_0,\aleph_1)$-graph has an $(\aleph_0,\aleph_1)$-minor that is either indivisible or of binary type, and whether any two $\mathcal{U}$-indivisible graphs are necessarily minors of each other. For both questions, we construct examples showing that the answer is in the negative.
On the representation number of a crown graph
Published
• View Publication
• BIB
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. It is known that any word-representable graph $G$ is $k$-word-representable for some $k$, that is, there exists a word $w$ representing $G$ such that each letter occurs exactly $k$ times in $w$. The minimum such $k$ is called $G$'s representation number.
A crown graph $H_{n,n}$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. In this paper we show that for $n\geq 5$, $H_{n,n}$'s representation number is $\lceil n/2 \rceil$. This result not only provides a complete solution to the open Problem 7.4.2 in \cite{KL}, but also gives a negative answer to the question raised in Problem 7.2.7 in \cite{KL} on 3-word-representability of bipartite graphs. As a byproduct we obtain a new example of a graph class with a high representation number.
Wiener index, Harary index and Hamiltonicity of graphs
Published in MATCH Commun. Math. Comput. Chem.78(2017) no.1, pp.153--162
• Search Publication
In this paper, we prove tight sufficient conditions for traceability and Hamiltonicity of connected graphs with given minimum degree, in terms of Wiener index and Harary index. We also prove some result on Hamiltonicity of balanced bipartite graphs in the similar fashion. In two recent papers \cite{LDJ2016,LDJ2017}, Liu et al. corrected some previous work on traceability of connected graphs in terms of Wiener index and Harary index, respectively, such as \cite{HW2013,Y2013}. We generalize these results and give short and unified proofs. All results in this paper are best possible.
Topological Drawings of Complete Bipartite Graphs
Published
• View Publication
• BIB
Topological drawings are natural representations of graphs in the plane, where vertices are represented by points, and edges by curves connecting the points. Topological drawings of complete graphs and of complete bipartite graphs have been studied extensively in the context of crossing number problems. We consider a natural class of simple topological drawings of complete bipartite graphs, in which we require that one side of the vertex set bipartition lies on the outer boundary of the drawing.
We investigate the combinatorics of such drawings. For this purpose, we define combinatorial encodings of the drawings by enumerating the distinct drawings of subgraphs isomorphic to $K_{2,2}$ and $K_{3,2}$, and investigate the constraints they must satisfy. We prove that a drawing of $K_{k,n}$ exists if and only if some simple local conditions are satisfied by the encodings. This directly yields a polynomial-time algorithm for deciding the existence of such a drawing given the encoding. We show the encoding is equivalent to specifying which pairs of edges cross, yielding a similar polynomial-time algorithm for the realizability of abstract topological graphs.
We also completely characterize and enumerate such drawings of $K_{k,n}$ in which the order of the edges around each vertex is the same for vertices on the same side of the bipartition. Finally, we investigate drawings of $K_{k,n}$ using straight lines and pseudolines, and consider the complexity of the corresponding realizability problems.
Total dominating sequences in trees, split graphs, and under modular decomposition
A sequence of vertices in a graph $G$ with no isolated vertices is called a total dominating sequence if every vertex in the sequence totally dominates at least one vertex that was not totally dominated by preceding vertices in the sequence, and, at the end all vertices of $G$ are totally dominated (by definition a vertex totally dominates its neighbors). The maximum length of a total dominating sequence is called the Grundy total domination number, $γ_{\rm gr}^t(G)$, of $G$, as introduced in [B. Brešar, M.A. Henning, and D. F. Rall, Total dominating sequences in graphs, Discrete Math. 339 (2016), 1165--1676]. In this paper we continue the investigation of this concept, mainly from the algorithmic point of view. While it was known that the decision version of the problem is NP-complete in bipartite graphs, we show that this is also true if we restrict to split graphs. A linear time algorithm for determining the Grundy total domination number of an arbitrary tree $T$ is presented, based on the formula $γ_{\rm gr}^t(T)=2τ(T)$, where $τ(T)$ is the vertex cover number of $T$. A similar efficient algorithm is presented for bipartite distance-hereditary graphs. Using the modular decomposition of a graph, we present a frame for obtaining polynomial algorithms for this problem in classes of graphs having relatively simple modular subgraphs. In particular, a linear algorithm for determining the Grundy total domination number of $P_4$-tidy graphs is presented. In addition, we prove a realization result by exhibiting a family of graphs $G_k$ such that $γ_{\rm gr}^t(G_k)=k$, for any $k\in{\mathbb{Z}^+}\setminus\{1,3\}$, and showing that there are no graphs $G$ with $γ_{\rm gr}^t(G)\in \{1,3\}$. We also present such a family, which has minimum possible order and size among all graphs with Grundy total domination number equal to $k$.
An elementary proof of Bevan's theorem on the growth of grid classes of permutations
Published
• View Publication
• BIB
Bevan established that the growth rate of a monotone grid class of permutations is equal to the square of the spectral radius of a related bipartite graph. We give an elementary and self-contained proof of a generalization of this result using only Stirling's Formula, the method of Lagrange multipliers, and the singular value decomposition of matrices.
Characterizing Bipartite Graphs which Admit k-NU Polymorphisms via Absolute Retracts
Published
• View Publication
• BIB
We first introduce the class of bipartite absolute retracts with respect to tree obstructions with at most $k$ leaves. Then, using the theory of homomorphism duality, we show that this class of absolute retracts coincides exactly with the bipartite graphs which admit a $(k+1)$-ary near-unanimity (NU) polymorphism. This result mirrors the case for reflexive graphs and generalizes a known result for bipartite graphs admitting a $3$-NU polymorphism.
Supermodularity in Unweighted Graph Optimization I: Branchings and Matchings
The main result of the paper is motivated by the following two, apparently unrelated graph optimization problems: (A) as an extension of Edmonds' disjoint branchings theorem, characterize digraphs comprising $k$ disjoint branchings $B_i$ each having a specified number $μ_i$ of arcs, (B) as an extension of Ryser's maximum term rank formula, determine the largest possible matching number of simple bipartite graphs complying with degree-constraints. The solutions to these problems and to their generalizations will be obtained from a new min-max theorem on covering a supermodular function by a simple degree-constrained bipartite graph. A specific feature of the result is that its minimum cost extension is already NP-complete. Therefore classic polyhedral tools themselves definitely cannot be sufficient for solving the problem, even though they make some good service in our approach.
Supermodularity in Unweighted Graph Optimization II: Matroidal Term Rank Augmentation
Ryser's max term rank formula with graph theoretic terminology is equivalent to a characterization of degree sequences of simple bipartite graphs with matching number at least $\ell$. In a previous paper by the authors, a generalization was developed for the case when the degrees are constrained by upper and lower bounds. Here two other extensions of Ryser's theorem are discussed. The first one is a matroidal model, while the second one settles the augmentation version. In fact, the two directions shall be integrated into one single framework.
Closeness Centralization Measure for Two-mode Data of Prescribed Sizes
Published
• View Publication
• BIB
We confirm a conjecture by Everett, Sinclair, and Dankelmann~[Some Centrality results new and old, J. Math. Sociology 28 (2004), 215--227] regarding the problem of maximizing closeness centralization in two-mode data, where the number of data of each type is fixed. Intuitively, our result states that among all networks obtainable via two-mode data, the largest closeness is achieved by simply locally maximizing the closeness of a node. Mathematically, our study concerns bipartite graphs with fixed size bipartitions, and we show that the extremal configuration is a rooted tree of depth~$2$, where neighbors of the root have an equal or almost equal number of children.
Sampling bipartite graphs with given vertex degrees and fixed edges and non-edges
We consider the problem of sampling a bipartite graph with given vertex degrees where a set $F$ of edges and non-edges which need to be contained is predefined. Our general result shows that the repeated swap of edges and non-edges in alternating cycles of at most size $2\ell-2$ ('$j$-swaps' with $j \leq 2 \ell-2$) in a current graph lead to an ergodic Metropolis Markov chain whenever $F$ does not contain a cycle of length $2 \ell$ with $\ell \geq 4.$ This leads to useful Markov chains whenever $\ell$ is not too large. If $F$ is a forest, $4$- and $6$-swaps are sufficient. Furthermore, we prove that $4$-swaps are sufficient when $F$ does not contain a matching of size $3.$ We extend the Curveball algorithm of Strona et al. \cite{Strona2014b} to our cases.
A conjectured bound on the spanning tree number of bipartite graphs
The Ferrers bound conjecture is a natural graph-theoretic extension of the enumeration of spanning trees for Ferrers graphs. We document the current status of the conjecture and provide a further conjecture which implies it.
The sandpile model on K_{m,n} and the rank of its configurations
We present an algorithm to compute the rank of a configuration of the sandpile model for the complete bipartite graph K_{m,n} of complexity O(m+n). Furthermore, we provide a formula for the generating function of parking sorted configurations on complete bipartite graphs K_{m,n} according to rank, degree, and the sizes m and n.
The results in the present paper are similar to those found by Robert Cori and the second named author for the complete graph K_{n+1}, and they rely on the analysis of certain operators on the stable sorted configurations of K_{m,n} developed in a previous work by the authors together with Jean-Christophe Aval and Mark Dukes.
Identities between dimer partition functions on different surfaces
Published in J. Stat. Mech. Theory Exp. (2016), 103101
• View Publication
• BIB
Given a weighted graph $G$ embedded in a non-orientable surface $Σ$, one can consider the corresponding weighted graph $\widetilde{G}$ embedded in the so-called orientation cover $\widetildeΣ$ of $Σ$. We prove identities relating twisted partition functions of the dimer model on these two graphs. When $Σ$ is the Möbius strip or the Klein bottle, then $\widetildeΣ$ is the cylinder or the torus, respectively, and under some natural assumptions, these identities imply relations between the genuine dimer partition functions $Z(G)$ and $Z(\widetilde{G})$. For example, we show that if $G$ is a locally but not globally bipartite graph embedded in the Möbius strip, then $Z(\widetilde{G})$ is equal to the square of $Z(G)$. This extends results for the square lattice previously obtained by various authors.
A forest building process on simple graphs
Published
• View Publication
• BIB
Consider the following process on a simple graph without isolated vertices: Order the edges randomly and keep an edge if and only if it contains a vertex which is not contained in some preceding edge. The resulting set of edges forms a spanning forest of the graph.
The probability of obtaining $k$ components in this process for complete bipartite graphs is determined as well as a formula for the expected number of components in any graph. A generic recurrence and some additional basic properties are discussed.
The structure and the number of $P_7$-free bipartite graphs
Published
• View Publication
• BIB
We show that the number of labelled $P_7$-free bipartite graphs with $n$ vertices grows as $n^{Θ(n)}$. This resolves an open problem posed by Allen [P. Allen, Forbidden induced bipartite graphs. J. Graph Theory 60 (2009), no. 3, 219--241.], and completes the description of speeds of monogenic classes of bipartite graphs. Our solution is based on a new decomposition scheme of bipartite graphs, which is of independent interest.
On groups and simplicial complexes
Published
• View Publication
• BIB
The theory of $k$-regular graphs is closely related to group theory. Every $k$-regular, bipartite graph is a Schreier graph with respect to some group $G$, a set of generators $S$ (depending only on $k$) and a subgroup $H$. The goal of this paper is to begin to develop such a framework for $k$-regular simplicial complexes of general dimension $d$. Our approach does not directly generalize the concept of a Schreier graph, but still presents an extensive family of $k$-regular simplicial complexes as quotients of one universal object: the $k$-regular $d$-dimensional arboreal complex, which is itself a simplicial complex originating in one specific group depending only on $d$ and $k$. Along the way we answer a question from [PR12] on the spectral gap of higher dimensional Laplacians and prove a high dimensional analogue of Leighton's graph covering theorem. This approach also suggests a random model for $k$-regular $d$-dimensional multicomplexes.