bipartite graph
2604 papers tagged with this keyword
New Bounds for the Acyclic Chromatic Index
Published in Discrete Mathematics, vol. 339 (2016), n. 10, 2543--2552
• View Publication
• BIB
An edge coloring of a graph $G$ is called an acyclic edge coloring if it is proper and every cycle in $G$ contains edges of at least three different colors. The least number of colors needed for an acyclic edge coloring of $G$ is called the acyclic chromatic index of $G$ and is denoted by $a'(G)$. Fiamčik and independently Alon, Sudakov, and Zaks conjectured that $a'(G) \leq Δ(G)+2$, where $Δ(G)$ denotes the maximum degree of $G$. The best known general bound is $a'(G)\leq 4(Δ(G)-1)$ due to Esperet and Parreau. We apply a generalization of the Lovász Local Lemma to show that if $G$ contains no copy of a given bipartite graph $H$, then $a'(G) \leq 3Δ(G)+o(Δ(G))$. Moreover, for every $\varepsilon>0$, there exists a constant $c$ such that if $g(G)\geq c$, then $a'(G)\leq(2+\varepsilon)Δ(G)+o(Δ(G))$, where $g(G)$ denotes the girth of $G$.
Sufficient spectral conditions on Hamiltonian and traceable graphs
Published in Linear Algebra and its Applications 467 (2015) 254-266
• View Publication
• BIB
In this paper, we give sufficient conditions on the spectral radius for a bipartite graph to Hamiltonian and traceable, which expand the results of Lu, Liu and Tian (2012) [10]. Furthermore, we also present tight sufficient conditions on the signless Laplacian spectral radius for a graph to Hamiltonian and traceable, which improve the results of Yu and Fan (2012) [12].
Acyclic orientations and poly-Bernoulli numbers
The main contribution of this paper is a formula for the number of acyclic orientations of a complete bipartite, $K_{n_1,n_2},$ revealing that it is equal to the poly-Bernoulli number $B_{n_1}^{(-n_2)}$ introduced in 1997 by Kaneko. We also give a simple bijective identification of acyclic orientations and lonesum matrices, confirming a 2008 result of Brewbaker, and show that the poly-Bernoulli numbers behave concavely, as well being symmetric.
A second goal is to explore the behaviour of more general complete $r$-partite graphs in the space of the number of acyclic orientations. We prove that the number of acyclic orientations of complete bipartite graphs on $n$ vertices is a unimodular concave function maximised by the Turán graph $T(2,n).$ For tripartite graphs, we derive an explicit formula for its number of its acyclic orientations, for the specific case with a single vertex partition. For more complex complete $r$-partite graphs an algorithmic approach is suggested, taking advantage of the relationship with graph colouring through the result of Stanley, namely the value of the graph colouring polynomial at the value -1.
An underlying theme is the exploration of the space of the number of acyclic orientations of graphs. We present various theoretical and computational results, with additional, conjectures for both complete $r$-partite and general graphs to guide future research.
A counterexample to the pseudo 2-factor isomorphic graph conjecture
Published
• View Publication
• BIB
A graph $G$ is pseudo 2-factor isomorphic if the parity of the number of cycles in a 2-factor is the same for all 2-factors of $G$. Abreu et al. conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially 4-edge-connected pseudo 2-factor isomorphic cubic bipartite graphs (Abreu et al., Journal of Combinatorial Theory, Series B, 2008, Conjecture 3.6).
Using a computer search we show that this conjecture is false by constructing a counterexample with 30 vertices. We also show that this is the only counterexample up to at least 40 vertices.
A graph $G$ is 2-factor hamiltonian if all 2-factors of $G$ are hamiltonian cycles. Funk et al. conjectured that every 2-factor hamiltonian cubic bipartite graph can be obtained from $K_{3,3}$ and the Heawood graph by applying repeated star products (Funk et al., Journal of Combinatorial Theory, Series B, 2003, Conjecture 3.2). We verify that this conjecture holds up to at least 40 vertices.
An Anti-Ramsey Problem Concerning Complete Bipartite Graphs
Published
• View Publication
• BIB
We consider quadruples of positive integers $(a,b,m,n)$ with $a\leq b$ and $m\leq n$ such that any proper edge-coloring of the complete bipartite graph $K_{m,n}$ contains a rainbow $K_{a,b}$ subgraph. We show that any such quadruple with $a\leq m$ and $n>(a^2-a+1)(b-1)$ satisfies this property. We also show that the quadruple $(2,3,3,6)$ satisfies this property. We end with a conjecture.
On the complexity of the vector connectivity problem
Published
• View Publication
• BIB
We study a relaxation of the Vector Domination problem called Vector Connectivity (VecCon). Given a graph $G$ with a requirement $r(v)$ for each vertex $v$, VecCon asks for a minimum cardinality set $S$ of vertices such that every vertex $v\in V\setminus S$ is connected to $S$ via $r(v)$ disjoint paths. In the paper introducing the problem, Boros et al. [Networks, 2014] gave polynomial-time solutions for VecCon in trees, cographs, and split graphs, and showed that the problem can be approximated in polynomial time on $n$-vertex graphs to within a factor of $\log n+2$, leaving open the question of whether the problem is NP-hard on general graphs. We show that VecCon is APX-hard in general graphs, and NP-hard in planar bipartite graphs and in planar line graphs. We also generalize the polynomial result for trees by solving the problem for block graphs.
Strong edge-coloring of $(3, Δ)$-bipartite graphs
A strong edge-coloring of a graph $G$ is an assignment of colors to edges such that every color class induces a matching. We here focus on bipartite graphs whose one part is of maximum degree at most $3$ and the other part is of maximum degree $Δ$. For every such graph, we prove that a strong $4Δ$-edge-coloring can always be obtained. Together with a result of Steger and Yu, this result confirms a conjecture of Faudree, Gyárfás, Schelp and Tuza for this class of graphs.
Linearized Wenger graphs
Published
• View Publication
• BIB
Motivated by recent extensive studies on Wenger graphs, we introduce a new infinite class of bipartite graphs of the similar type, called linearized Wenger graphs. The spectrum, diameter and girth of these linearized Wenger graphs are determined.
On graphs with maximum Harary spectral radius
Published
• View Publication
• BIB
Let $G$ be a simple graph with vertex set $V(G) = \{v_1 ,v_2 ,\cdots ,v_n\}$. The Harary matrix $RD(G)$ of $G$, which is initially called the reciprocal distance matrix, is an $n \times n$ matrix whose $(i,j)$-entry is equal to $\frac{1}{d_{ij}}$ if $i\not=j$ and $0$ otherwise, where $d_{ij}$ is the distance of $v_i$ and $v_j$ in $G$. In this paper, we characterize graphs with maximum spectral radius of Harary matrix in three classes of simple connected graphs with $n$ vertices: graphs with fixed matching number, bipartite graphs with fixed matching number, and graphs with given number of cut edges, respectively.
Space proof complexity for random $3$-CNFs via a $(2-ε)$-Hall's Theorem
We investigate the space complexity of refuting $3$-CNFs in Resolution and algebraic systems. No lower bound for refuting any family of $3$-CNFs was previously known for the total space in resolution or for the monomial space in algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random $3$-CNF $φ$ in $n$ variables requires, with high probability, $Ω(n/\log n)$ distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation $φ$ requires, with high probability, $Ω(n/\log n)$ clauses each of width $Ω(n/\log n)$ to be kept at the same time in memory. This gives a $Ω(n^2/\log^2 n)$ lower bound for the total space needed in Resolution to refute $φ$.
The main technical innovation is a variant of Hall's theorem. We show that in bipartite graphs $G$ with bipartition $(L,R)$ and left-degree at most 3, $L$ can be covered by certain families of disjoint paths, called $(2,4)$-matchings, provided that $L$ expands in $R$ by a factor of $(2-ε)$, for $ε< \frac{1}{23}$.
Frustrated Triangles
Published
• View Publication
• BIB
A triple of vertices in a graph is a \emph{frustrated triangle} if it induces an odd number of edges. We study the set $F_n\subset[0,\binom{n}{3}]$ of possible number of frustrated triangles $f(G)$ in a graph $G$ on $n$ vertices. We prove that about two thirds of the numbers in $[0,n^{3/2}]$ cannot appear in $F_n$, and we characterise the graphs $G$ with $f(G)\in[0,n^{3/2}]$. More precisely, our main result is that, for each $n\geq 3$, $F_n$ contains two interlacing sequences $0=a_0\leq b_0\leq a_1\leq b_1\leq \dots \leq a_m\leq b_m\sim n^{3/2}$ such that $F_n\cap(b_t,a_{t+1})=\emptyset$ for all $t$, where the gaps are $|b_t-a_{t+1}|=(n-2)-t(t+1)$ and $|a_t-b_t|=t(t-1)$. Moreover, $f(G)\in[a_t,b_t]$ if and only if $G$ can be obtained from a complete bipartite graph by flipping exactly $t$ edges/nonedges. On the other hand, we show, for all $n$ sufficiently large, that if $m\in[f(n),\binom{n}{3}-f(n)]$, then $m\in F_n$ where $f(n)$ is asymptotically best possible with $f(n)\sim n^{3/2}$ for $n$ even and $f(n)\sim \sqrt{2}n^{3/2}$ for $n$ odd. Furthermore, we determine the graphs with the minimum number of frustrated triangles amongst those with $n$ vertices and $e\leq n^2/4$ edges.
An exact characterization of tractable demand patterns for maximum disjoint path problems
Published
• View Publication
• BIB
We study the following general disjoint paths problem: given a supply graph $G$, a set $T\subseteq V(G)$ of terminals, a demand graph $H$ on the vertices $T$, and an integer $k$, the task is to find a set of $k$ pairwise vertex-disjoint valid paths, where we say that a path of the supply graph $G$ is valid if its endpoints are in $T$ and adjacent in the demand graph $H$. For a class $\mathcal{H}$ of graphs, we denote by $\mathcal{H}$-Maximum Disjoint Paths the restriction of this problem when the demand graph $H$ is assumed to be a member of $\mathcal{H}$. We study the fixed-parameter tractability of this family of problems, parameterized by $k$. Our main result is a complete characterization of the fixed-parameter tractable cases of $\mathcal{H}$-Maximum Disjoint Paths for every hereditary class $\mathcal{H}$ of graphs: it turns out that complexity depends on the existence of large induced matchings and large induced skew bicliques in the demand graph $H$ (a skew biclique is a bipartite graph on vertices $a_1$, $\dots$, $a_n$, $b_1$, $\dots$, $b_n$ with $a_i$ and $b_j$ being adjacent if and only if $i\le j$). Specifically, we prove the following classification for every hereditary class $\mathcal{H}$.
1. If $\mathcal{H}$ does not contain every matching and does not contain every skew biclique, then $\mathcal{H}$-Maximum Disjoint Paths is FPT.
2. If $\mathcal{H}$ does not contain every matching, but contains every skew biclique, then $\mathcal{H}$-Maximum Disjoint Paths is W[1]-hard, admits an FPT approximation, and the valid paths satisfy an analog of the Erdős-Pósa property.
3. If $\mathcal{H}$ contains every matching, then $\mathcal{H}$-Maximum Disjoint Paths is W[1]-hard and the valid paths do not satisfy the analog of the Erdős-Pósa property.
Packing odd $T$-joins with at most two terminals
Published
• View Publication
• BIB
Take a graph $G$, an edge subset $Σ\subseteq E(G)$, and a set of terminals $T\subseteq V(G)$ where $|T|$ is even. The triple $(G,Σ,T)$ is called a signed graft. A $T$-join is odd if it contains an odd number of edges from $Σ$. Let $ν$ be the maximum number of edge-disjoint odd $T$-joins. A signature is a set of the form $Σ\triangle δ(U)$ where $U\subseteq V(G)$ and $|U\cap T)$ is even. Let $τ$ be the minimum cardinality a $T$-cut or a signature can achieve. Then $ν\leq τ$ and we say that $(G,Σ,T)$ packs if equality holds here.
We prove that $(G,Σ,T)$ packs if the signed graft is Eulerian and it excludes two special non-packing minors. Our result confirms the Cycling Conjecture for the class of clutters of odd $T$-joins with at most two terminals. Corollaries of this result include, the characterizations of weakly and evenly bipartite graphs, packing two-commodity paths, packing $T$-joins with at most four terminals, and a new result on covering edges with cuts.
The multiplication table problem for bipartite graphs
Published
• View Publication
• BIB
We investigate the following generalisation of the 'multiplication table problem' of Erdős: given a bipartite graph with $m$ edges, how large is the set of sizes of its induced subgraphs? Erdős's problem of estimating the number of distinct products $ab$ with $a,b \le n$ is precisely the problem under consideration when the graph in question is the complete bipartite graph $K_{n,n}$. In this note, we prove that the set of sizes of the induced subgraphs of any bipartite graph with $m$ edges contains $Ω(m/(\log m)^{12})$ distinct elements.
Minimum degree thresholds for bipartite graph tiling
Published in Journal of Graph Theory. Volume 70, Issue 1, Pages 92-120, May 2012
• View Publication
• BIB
For any bipartite graph $H$, we determine a minimum degree threshold for a balanced bipartite graph $G$ to contain a perfect $H$-tiling. We show that this threshold is best possible up to a constant depending only on $H$. Additionally, we prove a corresponding minimum degree threshold to guarantee that $G$ has an $H$-tiling missing only a constant number of vertices. Our threshold for the perfect tiling depends on either the chromatic number $χ(H)$ or the critical chromatic number $χ_{cr}(H)$ while the threshold for the almost perfect tiling only depends on $χ_{cr}(H)$. Our results answer two questions of Zhao. They can be viewed as bipartite analogs to the results of Kuhn and Osthus and of Shokoufandeh and Zhao.
Computing Diffusion State Distance using Green's Function and Heat Kernel on Graphs
Published
• View Publication
• BIB
The diffusion state distance (DSD) was introduced by Cao-Zhang-Park-Daniels-Crovella-Cowen-Hescott [{\em PLoS ONE, 2013}] to capture functional similarity in protein-protein interaction networks. They proved the convergence of DSD for non-bipartite graphs. In this paper, we extend the DSD to bipartite graphs using lazy-random walks and consider the general $L_q$-version of DSD. We discovered the connection between the DSD $L_q$-distance and Green's function, which was studied by Chung and Yau [{\em J. Combinatorial Theory (A), 2000}]. Based on that, we computed the DSD $L_q$-distance for Paths, Cycles, Hypercubes, as well as random graphs $G(n,p)$ and $G(w_1,..., w_n)$. We also examined the DSD distances of two biological networks.
Cyclic inclusion-exclusion
Published in Siam J. Disc. Math., 29 (4), pp. 2284-2311, 2015
• Search Publication
Following the lead of Stanley and Gessel, we consider a morphism which associates to an acyclic directed graph (or a poset) a quasi-symmetric function. The latter is naturally defined as multivariate generating series of non-decreasing functions on the graph. We describe the kernel of this morphism, using a simple combinatorial operation that we call cyclic inclusion-exclusion. Our result also holds for the natural noncommutative analog and for the commutative and noncommutative restrictions to bipartite graphs. An application to the theory of Kerov character polynomials is given.
On consecutive edge magic total labeling of connected bipartite graphs
Published
• View Publication
• BIB
Since Sedlá$\breve{\mbox{c}}$ek introduced the notion of magic labeling of a graph in 1963, a variety of magic labelings of a graph have been defined and studied. In this paper, we study consecutive edge magic labelings of a connected bipartite graph. We make a very useful observation that there are only four possible values of $b$ for which a connected bipartite graph has a $b$-edge consecutive magic labeling. On the basis of this fundamental result, we deduce various interesting results on consecutive edge magic labelings of bipartite graphs, especially caterpillars and lobsters, which extends the results given by Sugeng and Miller.
Many $T$ copies in $H$-free graphs
Published
• View Publication
• BIB
For two graphs $T$ and $H$ with no isolated vertices and for an integer $n$, let $ex(n,T,H)$ denote the maximum possible number of copies of $T$ in an $H$-free graph on $n$ vertices. The study of this function when $T=K_2$ is a single edge is the main subject of extremal graph theory. In the present paper we investigate the general function, focusing on the cases of triangles, complete graphs, complete bipartite graphs and trees. These cases reveal several interesting phenomena. Three representative results are:
(i) $ex(n,K_3,C_5) \leq (1+o(1)) \frac{\sqrt 3}{2} n^{3/2},$
(ii) For any fixed $m$, $s \geq 2m-2$ and $t \geq (s-1)!+1 $, $ex(n,K_m,K_{s,t})=Θ(n^{m-\binom{m}{2}/s})$ and
(iii) For any two trees $H$ and $T$, $ex(n,T,H) =Θ(n^m)$ where $m=m(T,H)$ is an integer depending on $H$ and $T$ (its precise definition is given in Section 1).
The first result improves (slightly) an estimate of Bollobás and Győri.
The proofs combine combinatorial and probabilistic arguments with simple spectral techniques.
Asymptotic enumeration of sparse uniform linear hypergraphs with given degrees
Published
• View Publication
• BIB
A hypergraph is simple if it has no loops and no repeated edges, and a hypergraph is linear if it is simple and each pair of edges intersects in at most one vertex. For $n\geq 3$, let $r= r(n)\geq 3$ be an integer and let $\boldsymbol{k} = (k_1,\ldots, k_n)$ be a vector of nonnegative integers, where each $k_j = k_j(n)$ may depend on $n$. Let $M = M(n) = \sum_{j=1}^n k_j$ for all $n\geq 3$, and define the set $\mathcal{I} = \{ n\geq 3 \mid r(n) \text{ divides } M(n)\}$. We assume that $\mathcal{I}$ is infinite, and perform asymptotics as $n$ tends to infinity along $\mathcal{I}$. Our main result is an asymptotic enumeration formula for linear $r$-uniform hypergraphs with degree sequence $\boldsymbol{k}$. This formula holds whenever the maximum degree $k_{\max}$ satisfies $r^4 k_{\max}^4(k_{\max} + r) = o(M)$. Our approach is to work with the incidence matrix of a hypergraph, interpreted as the biadjacency matrix of a bipartite graph, enabling us to apply known enumeration results for bipartite graphs. This approach also leads to a new asymptotic enumeration formula for simple uniform hypergraphs with specified degrees, and a result regarding the girth of random bipartite graphs with specified degrees.