bipartite graph
2604 papers tagged with this keyword
Balanced independent sets in graphs omitting large cliques
Published
• View Publication
• BIB
Our goal is to investigate a close relative of the independent transversal problem in the class of infinite $K_n$-free graphs: we show that for any infinite $K_n$-free graph $G=(V,E)$ and $m\in \mathbb N$ there is a minimal $r=r(G,m)$ such that for any balanced $r$-colouring of the vertices of $G$ one can find an independent set which meets at least $m$ colour classes in a set of size $|V|$. Answering a conjecture of S. Thomassé, we express the exact value of $r(H_n,m)$ (using Ramsey-numbers for finite digraphs), where $H_n$ is Henson's countable universal homogeneous $K_n$-free graph. In turn, we deduce a new partition property of $H_n$ regarding balanced embeddings of bipartite graphs: for any finite bipartite $G$ with bipartition $A,B$, if the vertices of $H_n$ are partitioned into two infinite classes then there is an induced copy of $G$ in $H_n$ such that the images of $A$ and $B$ are contained in different classes.
Finite reflection groups and graph norms
Published
• View Publication
• BIB
Given a graph $H$ on vertex set $\{1,2,\cdots, n\}$ and a function $f:[0,1]^2 \rightarrow \mathbb{R}$, define \begin{align*} \|f\|_{H}:=\left\vert\int \prod_{ij\in E(H)}f(x_i,x_j)dμ^{|V(H)|}\right\vert^{1/|E(H)|}, \end{align*} where $μ$ is the Lebesgue measure on $[0,1]$. We say that $H$ is norming if $\|\cdot\|_H$ is a semi-norm. A similar notion $\|\cdot\|_{r(H)}$ is defined by $\|f\|_{r(H)}:=\||f|\|_{H}$ and $H$ is said to be weakly norming if $\|\cdot\|_{r(H)}$ is a norm. Classical results show that weakly norming graphs are necessarily bipartite. In the other direction, Hatami showed that even cycles, complete bipartite graphs, and hypercubes are all weakly norming. We demonstrate that any graph whose edges percolate in an appropriate way under the action of a certain natural family of automorphisms is weakly norming. This result includes all previously known examples of weakly norming graphs, but also allows us to identify a much broader class arising from finite reflection groups. We include several applications of our results. In particular, we define and compare a number of generalisations of Gowers' octahedral norms and we prove some new instances of Sidorenko's conjecture.
On graphs with three or four distinct normalized Laplacian eigenvalues
Published
• View Publication
• BIB
In this paper, we characterize all connected graphs with exactly three distinct normalized Laplacian eigenvalues of which one is equal to $1$, determine all connected bipartite graphs with at least one vertex of degree $1$ having exactly four distinct normalized Laplacian eigenvalues, and find all unicyclic graphs with three or four distinct normalized Laplacian eigenvalues.
New Characterisations of Tree-Based Networks and Proximity Measures
Published
• View Publication
• BIB
Phylogenetic networks are a type of directed acyclic graph that represent how a set $X$ of present-day species are descended from a common ancestor by processes of speciation and reticulate evolution. In the absence of reticulate evolution, such networks are simply phylogenetic (evolutionary) trees. Moreover, phylogenetic networks that are not trees can sometimes be represented as phylogenetic trees with additional directed edges placed between their edges. Such networks are called {\em tree based}, and the class of phylogenetic networks that are tree based has recently been characterised. In this paper, we establish a number of new characterisations of tree-based networks in terms of path partitions and antichains (in the spirit of Dilworth's theorem), as well as via matchings in a bipartite graph. We also show that a temporal network is tree based if and only if it satisfies an antichain-to-leaf condition. In the second part of the paper, we define three indices that measure the extent to which an arbitrary phylogenetic network deviates from being tree based. We describe how these three indices can be described exactly and computed efficiently using classical results concerning maximum-sized matchings in bipartite graphs.
Large rainbow matchings in general graphs
Published
• View Publication
• BIB
By a theorem of Drisko, any $2n-1$ matchings of size $n$ in a bipartite graph have a partial rainbow matching of size $n$. Inspired by discussion of Barát, Gyárfás and Sárközy, we conjecture that if $n$ is odd then the same is true also in general graphs, and that if $n$ is even then $2n$ matchings of size $n$ suffice. We prove that any $3n-2$ matchings of size $n$ have a partial rainbow matching of size $n$.
On the algorithmic complexity of adjacent vertex closed distinguishing colorings number of graphs
Published
• View Publication
• BIB
An assignment of numbers to the vertices of graph G is closed distinguishing if for any two adjacent vertices v and u the sum of labels of the vertices in the closed neighborhood of the vertex v differs from the sum of labels of the vertices in the closed neighborhood of the vertex u unless they have the same closed neighborhood (i.e. N[u]=N[v]). The closed distinguishing number of G, denoted by dis[G], is the smallest integer k such that there is a closed distinguishing labeling for G using integers from the set[k].Also, for each vertex $v \in V(G)$, let L(v) denote a list of natural numbers available at v. A list closed distinguishing labeling is a closed distinguishing labeling f such that $f(v)\in L(v)$ for each $v \in V(G)$.A graph G is said to be closed distinguishing k-choosable if every k-list assignment of natural numbers to the vertices of G permits a list closed distinguishing labeling of G. The closed distinguishing choice number of G, $dis_{\ell}[G]$, is the minimum number k such that G is closed distinguishing k-choosable. We show that for each integer t there is a bipartite graph G such that $dis[G] > t$.It was shown that for every graph G with $Δ\geq 2$, $dis[G]\leq dis_{\ell}[G]\leq Δ^2-Δ+1$ and there are infinitely values of $Δ$ for which G might be chosen so that $dis[G] =Δ^2-Δ+1$. We show that the difference between $dis[G]$ and $dis_{\ell}[G]$ can be arbitrary large and for every positive integer t there is a graph G such that $dis_{\ell}[G]-dis[G]\geq t$. We improve the current upper bound and give some number of upper bounds for the closed distinguishing choice number by using the Combinatorial Nullstellensatz. We show that it is $\mathbf{NP}$-complete to decide for a given planar subcubic graph G, whether dis[G]=2. Also, we prove that for every $k\geq 3$, it is {\bf NP}-complete to decide whether $dis[G]=k$ for a given graph G
Bipartite graphs and their dessins d'enfants
Each finite and connected bipartite graph induces a finite collection of non-isomorphic dessins d'enfants, that is, $2$-cell embeddings of it into some closed orientable surface. We describe an algorithm to compute all these dessins d'enfants, together their automorphims group, monodromy group and duality type.
Regular bipartite graphs and intersecting families
Published
• View Publication
• BIB
In this paper we present a simple unifying approach to prove several statements about intersecting and cross-intersecting families, including the Erd\H os--Ko--Rado theorem, the Hilton--Milner theorem, a theorem due to Frankl concerning the size of intersecting families with bounded maximal degree, and versions of results on the sum of sizes of non-empty cross-intersecting families due to Frankl and Tokushige. Several new stronger results are also obtained.
Our approach is based on the use of regular bipartite graphs. These graphs are quite often used in Extremal Set Theory problems, however, the approach we develop proves to be particularly fruitful.
On $(1,2)$-step competition graphs of bipartite tournaments
Published
• View Publication
• BIB
In this paper, we study $(1,2)$-step competition graphs of bipartite tournaments. A bipartite tournament means an orientation of a complete bipartite graph. We show that the $(1,2)$-step competition graph of a bipartite tournament has at most one non-trivial component or consists of exactly two complete components of size at least three and, especially in the former, the diameter of the nontrivial component is at most three if it exists. Based on this result, we show that, among the connected non-complete graphs which are triangle-free or the cycles of which are edge-disjoint, $K_{1,4}$ is the only graph that can be represented as the $(1,2)$-step competition graph of a bipartite tournament. We also completely characterize a complete graph and the disjoint union of two complete graphs, respectively, which can be represented as the $(1,2)$-step competition graph of a bipartite tournament. Finally we present the maximum number of edges and the minimum number of edges which the $(1,2)$-step competition graph of a bipartite tournament might have.
Hyperfiniteness and Borel combinatorics
Published
• View Publication
• BIB
We study the relationship between hyperfiniteness and problems in Borel graph combinatorics by adapting game-theoretic techniques introduced by Marks to the hyperfinite setting. We compute the possible Borel chromatic numbers and edge chromatic numbers of bounded degree acyclic hyperfinite Borel graphs and use this to answer a question of Kechris and Marks about the relationship between Borel chromatic number and measure chromatic number. We also show that for every $d > 1$ there is a $d$-regular acyclic hyperfinite Borel bipartite graph with no Borel perfect matching. These techniques also give examples of hyperfinite bounded degree Borel graphs for which the Borel local lemma fails, in contrast to the recent results of Csóka, Grabowski, Máthé, Pikhurko, and Tyros.
Related to the Borel Ruziewicz problem, we show there is a continuous paradoxical action of $(\mathbb{Z}/2\mathbb{Z})^{*3}$ on a Polish space that admits a finitely additive invariant Borel probability measure, but admits no countably additive invariant Borel probability measure. In the context of studying ultrafilters on the quotient space of equivalence relations under $\mathrm{AD}$, we also construct an ultrafilter $U$ on the quotient of $E_0$ which has surprising complexity. In particular, Martin's measure is Rudin-Kiesler reducible to $U$.
We end with a problem about whether every hyperfinite bounded degree Borel graph has a witness to its hyperfiniteness which is uniformly bounded below in size.
New bounds for locally irregular chromatic index of bipartite and subcubic graphs
Published in J. Combin. Optim. 2018
• View Publication
• BIB
A graph is \textit{locally irregular} if the neighbors of every vertex $v$ have degrees distinct from the degree of $v$. \textit{locally irregular edge-coloring} of a graph $G$ is an (improper) edge-coloring such that the graph induced on the edges of any color class is locally irregular. It is conjectured that $3$ colors suffice for a locally irregular edge-coloring. Recently, Bensmail et al. (Bensmail, Merker, Thomassen: Decomposing graphs into a constant number of locally irregular subgraphs, {\em European J. Combin.}, 60:124--134, 2017) settled the first constant upper bound for the problem to $328$ colors. In this paper, using a combination of existing results, we present an improvement of the bounds for bipartite graphs and general graphs, setting the best upper bounds to $7$ and $220$, respectively. In addition, we also prove that $4$ colors suffice for locally irregular edge-coloring of any subcubic graph.
Some characteristics of the simple Boolean quadric polytope extension
Published
• View Publication
• BIB
Following the seminal work of Padberg on the Boolean quadric polytope $BQP$ and its LP relaxation $BQP_{LP}$, we consider a natural extension: $SATP$ and $SATP_{LP}$ polytopes, with $BQP_{LP}$ being projection of the $SATP_{LP}$ face (and $BQP$ -- projection of the $SATP$ face). We consider a problem of integer recognition: determine whether a maximum of a linear objective function is achieved at an integral vertex of a polytope. Various special instances of 3-SAT problem like NAE-3-SAT, 1-in-3-SAT, weighted MAX-3-SAT, and others can be solved by integer recognition over $SATP_{LP}$. We describe all integral vertices of $SATP_{LP}$. Like $BQP_{LP}$, polytope $SATP_{LP}$ has the Trubin-property being quasi-integral (1-skeleton of $SATP$ is a subset of 1-skeleton of $SATP_{LP}$). However, unlike $BQP$, not all vertices of $SATP$ are pairwise adjacent, the diameter of $SATP$ equals 2, and the clique number of 1-skeleton is superpolynomial in dimension. It is known that the fractional vertices of $BQP_{LP}$ are half-integer (0, 1 or 1/2 valued). We show that the denominators of $SATP_{LP}$ fractional vertices can take any integral value. Finally, we describe polynomially solvable subproblems of integer recognition over $SATP_{LP}$ with constrained objective functions. Based on that, we solve some cases of edge constrained bipartite graph coloring.
Counting independent sets in cubic graphs of given girth
Published
• View Publication
• BIB
We prove a tight upper bound on the independence polynomial (and total number of independent sets) of cubic graphs of girth at least 5. The bound is achieved by unions of the Heawood graph, the point/line incidence graph of the Fano plane.
We also give a tight lower bound on the total number of independent sets of triangle-free cubic graphs. This bound is achieved by unions of the Petersen graph.
We conjecture that in fact all Moore graphs are extremal for the scaled number of independent sets in regular graphs of a given minimum girth, maximizing this quantity if their girth is even and minimizing if odd. The Heawood and Petersen graphs are instances of this conjecture, along with complete graphs, complete bipartite graphs, and cycles.
Distance signless Laplacian spectral radius and Hamiltonian properties of graphs
Published
• View Publication
• BIB
In this paper, first, we establish a sufficient condition for a bipartite graph to be Hamilton-connected. Furthermore, we also give two sufficient conditions on distance signless Laplacian spectral radius for a graph to be Hamilton-connected and traceable from every vertex, respectively. Last, we obtain a sufficient condition for a graph to be Hamiltonian in terms of the distance signless Laplacian spectral radius of $G^{C}$.
P_3-Games on Chordal Bipartite Graphs
Let G=(V,E) be a connected graph. A set U subseteq V is convex if G[U] is connected and all vertices of V\U have at most one neighbor in U. Let sigma(W) denote the unique smallest convex set that contains W subseteq V. Two players play the following game. Consider a convex set U and call it the `playground.' Initially, U = emptyset. When U=V, the player to move loses the game. Otherwise, that player chooses a vertex x in V\U which is at distance at most two from U. The effect of the move is that the playground U changes into sigma(U cup {x}) and the opponent is presented with this new playground.
A graph is chordal bipartite if it is bipartite and has no induced cycle of length more than four. In this paper we show that, when G is chordal bipartite, there is a polynomial-time algorithm that computes the Grundy number of the P_3-game played on G. This implies that there is an efficient algorithm to decide whether the first player has a winning strategy.
Coloring Graphs to Produce Properly Colored Walks
Published
• View Publication
• BIB
For a connected graph, we define the proper-walk connection number as the minimum number of colors needed to color the edges of a graph so that there is a walk between every pair of vertices without two consecutive edges having the same color. We show that the proper-walk connection number is at most three for all cyclic graphs, and at most two for bridgeless graphs. We also characterize the bipartite graphs that have proper-walk connection number equal to two, and show that this characterization also holds for the analogous problem where one is restricted to properly colored paths.
A note on a generalization of eigenvector centrality for bipartite graphs and applications
Published
• View Publication
• BIB
Eigenvector centrality is a linear algebra based graph invariant used in various rating systems such as webpage ratings for search engines. A generalization of the eigenvector centrality invariant is defined which is motivated by the need to design rating systems for bipartite graph models of time-sensitive and other processes. The linear algebra connection and some applications are described.
Constrained Hitting Set and Steiner Tree in $SC_k$ and $2K_2$-free Graphs
Published
• View Publication
• BIB
\emph{Strictly Chordality-$k$ graphs ($SC_k$)} are graphs which are either cycle-free or every induced cycle is of length exactly $k, k \geq 3$. Strictly chordality-3 and strictly chordality-4 graphs are well known chordal and chordal bipartite graphs, respectively. For $k\geq 5$, the study has been recently initiated in \cite{sadagopan} and various structural and algorithmic results are reported. In this paper, we show that maximum independent set (MIS), minimum vertex cover, minimum dominating set, feedback vertex set (FVS), odd cycle transversal (OCT), even cycle transversal (ECT) and Steiner tree problem are polynomial time solvable on $SC_k$ graphs, $k\geq 5$. We next consider $2K_2$-free graphs and show that FVS, OCT, ECT, Steiner tree problem are polynomial time solvable on subclasses of $2K_2$-free graphs.
Proper Orientations of Planar Bipartite Graphs
Published
• View Publication
• BIB
An orientation of a graph $G$ is proper if any two adjacent vertices have different indegrees. The proper orientation number $\overrightarrowχ(G)$ of a graph $G$ is the minimum of the maximum indegree, taken over all proper orientations of $G$. In this paper, we show that a connected bipartite graph may be properly oriented even if we are only allowed to control the orientation of a specific set of edges, namely, the edges of a spanning tree and all the edges incident to one of its leaves. As a consequence of this result, we prove that 3-connected planar bipartite graphs have proper orientation number at most 6. Additionally, we give a short proof that $\overrightarrowχ(G) \leq 4$, when $G$ is a tree and this proof leads to a polynomial-time algorithm to proper orient trees within this bound.
A unifying framework for fast randomization of ecological networks with fixed (node) degrees
Published in Corrie Jacobien Carstens, Annabell Berger, Giovanni Strona, A unifying framework for fast randomization of ecological networks with fixed (node) degrees, MethodsX, Volume 5, 2018, Pages 773-780
• View Publication
• BIB
The switching model is a Markov chain approach to sample graphs with fixed degree sequence uniformly at random. The recently invented Curveball algorithm for bipartite graphs applies several switches simultaneously (`trades'). Here, we introduce Curveball algorithms for simple (un)directed graphs which use single or simultaneous trades. We show experimentally that these algorithms converge magnitudes faster than the corresponding switching models.