arXiv++ Combinatorics

Browse math.CO papers from arXiv

bipartite graph

2514 papers tagged with this keyword
2022-02-08
Defective incidence coloring of graphs
Published • View PublicationBIB
We define the $d$-defective incidence chromatic number of a graph, generalizing the notion of incidence chromatic number, and determine it for some classes of graphs including trees, complete bipartite graphs, complete graphs, and outerplanar graphs. Fast algorithms for constructing the optimal $d$-defective incidence colorings of those graphs are presented.
2022-02-05
Path eccentricity of graphs
Let $G$ be a connected graph. The eccentricity of a path $P$, denoted by ecc$_G(P)$, is the maximum distance from $P$ to any vertex in $G$. In the \textsc{Central path} (CP) problem our aim is to find a path of minimum eccentricity. This problem was introduced by Cockayne et al., in 1981, in the study of different centrality measures on graphs. They showed that CP can be solved in linear time in trees, but it is known to be NP-hard in many classes of graphs such as chordal bipartite graphs, planar 3-connected graphs, split graphs, etc. We investigate the path eccentricity of a connected graph~$G$ as a parameter. Let pe$(G)$ denote the value of ecc$_G(P)$ for a central path $P$ of $G$. We obtain tight upper bounds for pe$(G)$ in some graph classes. We show that pe$(G) \leq 1$ on biconvex graphs and that pe$(G) \leq 2$ on bipartite convex graphs. Moreover, we design algorithms that find such a path in linear time. On the other hand, by investigating the longest paths of a graph, we obtain tight upper bounds for pe$(G)$ on general graphs and $k$-connected graphs. Finally, we study the relation between a central path and a longest path in a graph. We show that on trees, and bipartite permutation graphs, a longest path is also a central path. Furthermore, for superclasses of these graphs, we exhibit counterexamples for this property.
2022-02-05
Graphical parameters for classes of tumbling block graphs
Published in Congressus Numerantium 213 (2012), pp. 155-168 • Search Publication
The infinite tumbling block graph is a bipartite graph, where each vertex in one partite set is of degree 3 and each vertex in the other partite set is of degree 6. It is a 2-dimensional array of blocks of seven vertices and nine edges, a planar graph that has 3-D looks. This paper introduces tumbling block graphs and considers various graphical parameters for different classes of infinite and finite tumbling blocks.
Inverse eigenvalue and related problems for hollow matrices described by graphs
Published in Electronic Journal of Linear Algebra. 38 (2022) 661-679 • View PublicationBIB
A hollow matrix described by a graph $G$ is a real symmetric matrix having all diagonal entries equal to zero and with the off-diagonal entries governed by the adjacencies in $G$. For a given graph $G$, the determination of all possible spectra of matrices associated with $G$ is the hollow inverse eigenvalue problem for $G$. Solutions to the hollow inverse eigenvalue problems for paths and complete bipartite graphs are presented. Results for related subproblems such as possible ordered multiplicity lists, maximum multiplicity of an eigenvalue, and minimum number of distinct eigenvalues are presented for additional families of graphs.
Relating dissociation, independence, and matchings
Published • View PublicationBIB
A dissociation set in a graph is a set of vertices inducing a subgraph of maximum degree at most $1$. Computing the dissociation number ${\rm diss}(G)$ of a given graph $G$, defined as the order of a maximum dissociation set in $G$, is algorithmically hard even when $G$ is restricted to be bipartite. Recently, Hosseinian and Butenko proposed a simple $\frac{4}{3}$-approximation algorithm for the dissociation number problem in bipartite graphs. Their result relies on the inequality ${\rm diss}(G)\leq\frac{4}{3}α(G-M)$ implicit in their work, where $G$ is a bipartite graph, $M$ is a maximum matching in $G$, and $α(G-M)$ denotes the independence number of $G-M$. We show that the pairs $(G,M)$ for which this inequality holds with equality can be recognized efficiently, and that a maximum dissociation set can be determined for them efficiently. The dissociation number of a graph $G$ satisfies $\max\{ α(G),2ν_s(G)\} \leq {\rm diss}(G)\leq α(G)+ν_s(G)\leq 2α(G)$, where $ν_s(G)$ denotes the induced matching number of $G$. We show that deciding whether ${\rm diss}(G)$ equals any of the four terms lower and upper bounding ${\rm diss}(G)$ is NP-hard.
2022-02-01 v2
Tight Cuts in Bipartite Grafts I: Capital Distance Components
This paper is the first from a series of papers that provide a characterization of maximum packings of $T$-cuts in bipartite graphs. Given a connected graph, a set $T$ of an even number of vertices, and a minimum $T$-join, an edge weighting can be defined, from which distances between vertices can be defined. Furthermore, given a specified vertex called root, vertices can be classified according to their distances from the root, and this classification of vertices can be used to define a family of subgraphs called {\em distance components}. Sebö provided a theorem that revealed a relationship between distance components, minimum $T$-joins, and $T$-cuts. In this paper, we further investigate the structure of distance components in bipartite graphs. Particularly, we focus on {\em capital} distance components, that is, those that include the root. We reveal the structure of capital distance components in terms of the $T$-join analogue of the general Kotzig-Lovász canonical decomposition.
2022-01-30
Another view of Bipartite Ramsey numbers
For bipartite graphs $G$ and $H$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(G, H)$ of $G$ and $H$ is the smallest integer $n$, such that every red-blue coloring of $K_{m,n}$ results in a red $G$ or a blue $H$. Zhenming Bi, Gary Chartrand and Ping Zhang in \cite{bi2018another} evaluate this numbers for all positive integers $m$ when $G= K_{2,2}$ and $H \in \{K_{2,3}, K_{3,3}\}$, especially in a long and hard argument they showed that $BR_5(K_{2,2}, K_{3,3}) = BR_6(K_{2,2}, K_{3,3}) = 12$ and $BR_7(K_{2,2}, K_{3,3}) = BR_8(K_{2,2}, K_{3,3}) = 9$. In this article, by a short and easy argument we determine the exact value of $BR_m(K_{2,2}, K_{3,3})$ for each $m\geq 1$.
2022-01-30
Extremal results on stepwise transmission irregular graphs
Published • View PublicationBIB
The transmission ${\rm Tr}_G(v)$ of a vertex $v$ of a connected graph $G$ is the sum of distances between $v$ and all other vertices in $G$. $G$ is a stepwise transmission irregular (STI) graph if $|{\rm Tr}_G(u) - {\rm Tr}_G(v)| =1$ holds for each edge $uv \in E(G)$. In this paper, extremal results on STI graphs with respect to the size and different metric properties are proved. Two extremal families appear in all the cases, balanced complete bipartite graphs of odd order and the so called odd hatted cycles.
2022-01-29
On coefficients of the interior and exterior polynomials
The interior polynomial and the exterior polynomial are generalizations of valuations on $(1/ξ,1)$ and $(1,1/η)$ of the Tutte polynomial $T_G(x,y)$ of graphs to hypergraphs, respectively. The pair of hypergraphs induced by a connected bipartite graph are abstract duals and are proved to have the same interior polynomial, but may have different exterior polynomials. The top of the HOMFLY polynomial of a special alternating link coincides with the interior polynomial of the pair of hypergraphs induced by the Seifert graph of the link. Let $G=(V\cup E, \varepsilon)$ be a connected bipartite graph. In this paper, we mainly study the coefficients of the interior and exterior polynomials. We prove that the interior polynomial of a connected bipartite graph is interpolating. We strengthen the known result on the degree of the interior polynomial for connected bipartite graphs with 2-vertex cuts in $V$ or $E$. We prove that interior polynomials for a family of balanced bipartite graphs are monic and the interior polynomial of any connected bipartite graph can be written as a linear combination of interior polynomials of connected balanced bipartite graphs. The exterior polynomial of a hypergraph is also proved to be interpolating. It is known that the coefficient of the linear term of the interior polynomial is the nullity of the bipartite graph, we obtain a `dual' result on the coefficient of the linear term of the exterior polynomial: if $G-e$ is connected for each $e\in E$, then the coefficient of the linear term of the exterior polynomial is $|V|-1$. Interior and exterior polynomials for some families of bipartite graphs are computed.
2022-01-26
Tree-degenerate graphs and nested dependent random choice
Published • View PublicationBIB
The celebrated dependent random choice lemma states that in a bipartite graph an average vertex (weighted by its degree) has the property that almost all small subsets $S$ in its neighborhood has common neighborhood almost as large as in the random graph of the same edge-density. Two well-known applications of the lemma are as follows. The first is a theorem of Füredi and of Alon, Krivelevich, and Sudakov showing that the maximum number of edges in an $n$-vertex graph not containing a fixed bipartite graph with maximum degree at most $r$ on one side is $O(n^{2-1/r})$. This was recently extended by Grzesik, Janzer and Nagy to the family of so-called $(r,t)$-blowups of a tree. A second application is a theorem of Conlon, Fox, and Sudakov, confirming a special case of a conjecture of Erdős and Simonovits and of Sidorenko, showing that if $H$ is a bipartite graph that contains a vertex complete to the other part and $G$ is a graph then the probability that the uniform random mapping from $V(H)$ to $V(G)$ is a homomorphismis at least $\left[\frac{2|E(G)|}{|V(G)|^2}\right]^{|E(H)|}$. In this note, we introduce a nested variant of the dependent random choice lemma, which might be of independent interest. We then apply it to obtain a common extension of the theorem of Conlon, Fox, and Sudakov and the theorem of Grzesik, Janzer, and Nagy, regarding Turán and Sidorenko properties of so-called tree-degenerate graphs.
2022-01-24
Bounding twin-width for bounded-treewidth graphs, planar graphs, and bipartite graphs
Published • View PublicationBIB
Twin-width is a newly introduced graph width parameter that aims at generalizing a wide range of "nicely structured" graph classes. In this work, we focus on obtaining good bounds on twin-width $\text{tww}(G)$ for graphs $G$ from a number of classic graph classes. We prove the following: - $\text{tww}(G) \leq 3\cdot 2^{\text{tw}(G)-1}$, where $\text{tw}(G)$ is the treewidth of $G$, - $\text{tww}(G) \leq \max(4\text{bw}(G),\frac{9}{2}\text{bw}(G)-3)$ for a planar graph $G$ with $\text{bw}(G) \geq 2$, where $\text{bw}(G)$ is the branchwidth of $G$, - $\text{tww}(G) \leq 183$ for a planar graph $G$, - the twin-width of a universal bipartite graph $(X,2^X,E)$ with $|X|=n$ is $n - \log_2(n) + \mathcal{O}(1)$ . An important idea behind the bounds for planar graphs is to use an embedding of the graph and sphere-cut decompositions to obtain good bounds on neighbourhood complexity.
2022-01-21
On Meyniel extremal families of graphs
Published • View PublicationBIB
We provide new constructions of Meyniel extremal graphs, which are families of graphs with the conjectured largest asymptotic cop number. Using spanning subgraphs, we prove that there are an exponential number of new Meyniel extremal families with specified degrees. Using a linear programming problem on hypergraphs, we explore the degrees in families that are not Meyniel extremal. We give the best-known upper bound on the cop number of vertex-transitive graphs with a prescribed degree. We find new Meyniel extremal families of regular graphs with large chromatic number, large diameter, and explore the connection between Meyniel extremal graphs and bipartite graphs.
2022-01-21 v3
Upper density of monochromatic paths in edge-coloured infinite complete graphs and bipartite graphs
Published in European Journal of Combinatorics 2022 • View PublicationBIB
The upper density of an infinite graph $G$ with $V(G) \subseteq \mathbb{N}$ is defined as $\overline{d}(G) = \limsup_{n \rightarrow \infty}{|V(G) \cap \{1,\ldots,n\}|}/{n}$. Let $K_{\mathbb{N}}$ be the infinite complete graph with vertex set $\mathbb{N}$. Corsten, DeBiasio, Lamaison and Lang showed that in every $2$-edge-colouring of $K_{\mathbb{N}}$, there exists a monochromatic path with upper density at least $(12 + \sqrt{8})/17$, which is best possible. In this paper, we extend this result to $k$-edge-colouring of $K_{\mathbb{N}}$ for $k \ge 3$. We conjecture that every $k$-edge-coloured $K_{\mathbb{N}}$ contains a monochromatic path with upper density at least $1/(k-1)$, which is best possible (when $k-1$ is a prime power). We prove that this is true when $k = 3$ and asymptotically when $k =4$. Furthermore, we show that this problem can be deduced from its bipartite variant, which is of independent interest.
2022-01-18 v3
Shuffles of deformed permutahedra, multiplihedra, constrainahedra, and biassociahedra
Published in Ann. Henri Lebesgue, 7:1535-1601, 2024 • View PublicationBIB
We introduce the shuffle of deformed permutahedra (a.k.a. generalized permutahedra), a simple associative operation obtained as the Cartesian product followed by the Minkowski sum with the graphical zonotope of a complete bipartite graph. Besides preserving the class of graphical zonotopes (the shuffle of two graphical zonotopes is the graphical zonotope of the join of the graphs), this operation is particularly relevant when applied to the classical permutahedra and associahedra. First, the shuffle of an $m$-permutahedron with an $n$-associahedron gives the $(m,n)$-multiplihedron, whose face structure is encoded by $m$-painted $n$-trees, generalizing the classical multiplihedron. We show in particular that the graph of the $(m,n)$-multiplihedron is the Hasse diagram of a lattice generalizing the weak order on permutations and the Tamari lattice on binary trees. Second, the shuffle of an $m$-associahedron with an $n$-associahedron gives the $(m,n)$-constrainahedron, whose face structure is encoded by $(m,n)$-cotrees, and reflects collisions of particles constrained on a grid. Third, the shuffle of an $m$-anti-associahedron with an $n$-associahedron gives the $(m,n)$-biassociahedron, whose face structure is encoded by $(m,n)$-bitrees, with relevant connections to bialgebras up to homotopy. We provide explicit vertex, facet, and Minkowski sum descriptions of these polytopes, as well as summation formulas for their $f$-polynomials based on generating functionology of decorated trees.
2022-01-14
On (almost) $2$-$Y$-homogeneous distance-biregular graphs
Let $Γ$ denote a bipartite graph with vertex set $X$, color partitions $Y$, $Y'$, and assume that every vertex in $Y$ has eccentricity $D\ge 3$. For $z\in X$ and a non-negative integer $i$, let $Γ_{i}(z)$ denote the set of vertices in $X$ that are at distance $i$ from $z$. Graph $Γ$ is almost $2$-$Y$-homogeneous whenever for all $i \; (1\leq i \leq D-2)$ and for all $x\in Y$, $y \in Γ_2(x)$ and $z \in Γ_{i}(x)\capΓ_i(y)$, the number of common neighbours of $x$ and $y$ which are at distance $i-1$ from $z$ is independent of the choice of $x$, $y$ and $z$. In addition, if the above condition holds also for $i=D-1$, then we say that $Γ$ is $2$-$Y$-homogeneous. Now, let $Γ$ denote a distance-biregular graph. In this paper we study the intersection arrays of $Γ$ and we give sufficient and necessary conditions under which $Γ$ is (almost) $2$-$Y$-homogeneous. In the case when $Γ$ is $2$-$Y$-homogeneous we write the intersection numbers of the color class $Y$ in terms of three parameters.
2022-01-12 v2
Uniqueness of best proximity pairs and rigidity of semimetric spaces
Published • View PublicationBIB
For arbitrary semimetric space $(X, d)$ and disjoint proximinal subsets $A$, $B$ of $X$ we define the proximinal graph as a bipartite graph with parts $A$ and $B$ whose edges $\{a, b\}$ satisfy the equality $d(a, b) = \operatorname{dist}(A, B)$. We characterize the semimetric spaces whose proximinal graphs have at most one edge and the semimetric spaces whose proximinal graphs have the vertices with degree at most $1$ only. This allows us to describe the necessary and sufficient conditions for uniqueness of the best proximity pairs and best approximations.
2022-01-08
An extension on neighbor sum distinguishing total coloring of graphs
Let $f: V(G)\cup E(G)\rightarrow \{1,2,\dots,k\}$ be a non-proper total $k$-coloring of $G$. Define a weight function on total coloring as $$φ(x)=f(x)+\sum\limits_{e\ni x}f(e)+\sum\limits_{y\in N(x)}f(y),$$ where $N(x)=\{y\in V(G)|xy\in E(G)\}$. If $φ(x)\neq φ(y)$ for any edge $xy\in E(G)$, then $f$ is called a neighbor full sum distinguishing total $k$-coloring of $G$. The smallest value $k$ for which $G$ has such a coloring is called the neighbor full sum distinguishing total chromatic number of $G$ and denoted by fgndi$_{\sum}(G)$. The coloring is an extension of neighbor sum distinguishing non-proper total coloring. In this paper we conjecture that fgndi$_{\sum}(G)\leq 3$ for any connected graph $G$ of order at least three. We prove that the conjecture is true for (i) paths and cycles; (ii) 3-regular graphs and (iii) stars, complete graphs, trees, hypercubes, bipartite graphs and complete $r$-partite graphs. In particular, complete graphs can achieve the upper bound for the above conjecture.
On f-Derangements and Decomposing Bipartite Graphs into Paths
Published • View PublicationBIB
Let $f: \{1, ..., n\} \rightarrow \{1, ..., n\}$ be a function (not necessarily one-to-one). An $f-derangement$ is a permutation $ g:\{1,...,n\} \rightarrow \{1,...,n\}$ such that $g(i) \neq f(i)$ for each $ i = 1, ..., n$. When $f$ is itself a permutation, this is a standard derangement. We examine properties of f-derangements, and show that when we fix the maximum number of preimages for any item under $f$, the fraction of permutations that are f-derangements tends to $ 1/e$ for large $n$, regardless of the choice of $f$. We then use this result to analyze a heuristic method to decompose bipartite graphs into paths of length 5
Block-transitive two-designs based on grids
Published • View PublicationBIB
We study point-block incidence structures $(\mathcal{P},\mathcal{B})$ for which the point set $\mathcal{P}$ is an $m\times n$ grid. Cameron and the fourth author showed that each block $B$ may be viewed as a subgraph of a complete bipartite graph $\mathbf{K}_{m,n}$ with bipartite parts (biparts) of sizes $m, n$. In the case where $\mathcal{B}$ consists of all the subgraphs isomorphic to $B$, under automorphisms of $\mathbf{K}_{m,n}$ fixing the two biparts, they obtained necessary and sufficient conditions for $(\mathcal{P},\mathcal{B})$ to be a $2$-design, and to be a $3$-design. We first re-interpret these conditions more graph theoretically, and then focus on square grids, and designs admitting the full automorphism group of $\mathbf{K}_{m,m}$. We find necessary and sufficient conditions, again in terms of graph theoretic parameters, for these incidence structures to be $t$-designs, for $t=2, 3$, and give infinite families of examples illustrating that block-transitive, point-primitive $2$-designs based on grids exist for all values of $m$, and flag-transitive, point-primitive examples occur for all even $m$. This approach also allows us to construct a small number of block-transitive $3$-designs based on grids.
The bipartite Turan number and spectral extremum for linear forests
Published • View PublicationBIB
The bipartite Turán number of a graph $H$, denoted by $ex(m,n; H)$, is the maximum number of edges in any bipartite graph $G=(X,Y; E)$ with $|X|=m$ and $|Y|=n$ which does not contain $H$ as a subgraph. In this paper, we determined $ex(m,n; F_{\ell})$ for arbitrary $\ell$ and appropriately large $n$ with comparing to $m$ and $\ell$, where $F_\ell$ is a linear forest which consists of $\ell$ vertex disjoint paths. Moreover, the extremal graphs have been characterized. Furthermore, these results are used to obtain the maximum spectral radius of bipartite graphs which does not contain $F_{\ell}$ as a subgraph and characterize all extremal graphs which attain the maximum spectral radius.