bipartite graph
2604 papers tagged with this keyword
Kempe equivalence of almost bipartite graphs
Two vertex colorings of a graph are Kempe equivalent if they can be transformed into each other by a sequence of switchings of two colors of vertices. It is PSPACE-complete to determine whether two given vertex $k$-colorings of a graph are Kempe equivalent for any fixed $k\geq 3$, and it is easy to see that every two vertex colorings of any bipartite graph are Kempe equivalent. In this paper, we consider Kempe equivalence of {\it almost} bipartite graphs which can be obtained from a bipartite graph by adding several edges to connect two vertices in the same partite set. We give a conjecture of Kempe equivalence of such graphs, and we prove several partial solutions and best possibility of the conjecture, but it is more lately proved by Cranston and Feghali that this conjecture is false in general.
On the girth cycles of the bipartite graph $D(k,q)$
Published
• View Publication
• BIB
For integer $k\geq2$ and prime power $q$, the algebraic bipartite graph $D(k,q)$ proposed by Lazebnik and Ustimenko (1995) is meaningful not only in extremal graph theory but also in coding theory and cryptography. This graph is $q$-regular, edge-transitive and of girth at least $k+4$. For its exact girth $g=g(D(k,q))$,
Füredi et al. (1995) conjectured $g=k+5$ for odd $k$ and $q\geq4$.
This conjecture was shown to be valid in 2016 when $(k+5)/2$ is the product of an arbitrary factor of $q-1$ and an arbitrary power of the characteristic of $\mathbb{F}_q$.
In this paper, we determine all the girth cycles of $D(k,q)$ for $3\leq k\leq 5$, $q>3$, and those for $3\leq k\leq8$, $q=3$.
A bipartite version of the Erdős $-$ McKay conjecture
Published
• View Publication
• BIB
An old conjecture of Erdős and McKay states that if all homogeneous sets in an $n$-vertex graph are of order $O(\log n)$ then the graph contains induced subgraphs of each size from $\{0,1,\ldots, Ω(n^2)\}$. We prove a bipartite analogue of the conjecture: if all balanced homogeneous sets in an $n \times n$ bipartite graph are of order $O(\log n)$ then the graph contains induced subgraphs of each size from $\{0,1,\ldots, Ω(n^2)\}$.
Evasive sets, covering by subspaces, and point-hyperplane incidences
Published
• View Publication
• BIB
Given positive integers $k\leq d$ and a finite field $\mathbb{F}$, a set $S\subset\mathbb{F}^{d}$ is $(k,c)$-subspace evasive if every $k$-dimensional affine subspace contains at most $c$ elements of $S$. By a simple averaging argument, the maximum size of a $(k,c)$-subspace evasive set is at most $c |\mathbb{F}|^{d-k}$. When $k$ and $d$ are fixed, and $c$ is sufficiently large, the matching lower bound $Ω(|\mathbb{F}|^{d-k})$ is proved by Dvir and Lovett. We provide an alternative proof of this result using the random algebraic method. We also prove sharp upper bounds on the size of $(k,c)$-evasive sets in case $d$ is large, extending results of Ben-Aroya and Shinkar.
The existence of optimal evasive sets has several interesting consequences in combinatorial geometry. We show that the minimum number of $k$-dimensional linear hyperplanes needed to cover the grid $[n]^{d}\subset \mathbb{R}^{d}$ is $Ω_{d}\big(n^{\frac{d(d-k)}{d-1}}\big)$, which matches the upper bound proved by Balko, Cibulka, and Valtr, and settles a problem proposed by Brass, Moser, and Pach. Furthermore, we improve the best known lower bound on the maximum number of incidences between points and hyperplanes in $\mathbb{R}^{d}$ assuming their incidence graph avoids the complete bipartite graph $K_{c,c}$ for some large constant $c=c(d)$.
On weakly Turán-good graphs
Published
• View Publication
• BIB
Given graphs $H$ and $F$ with $χ(H)<χ(F)$, we say that $H$ is weakly $F$-Turán-good if among $n$-vertex $F$-free graphs, a $(χ(F)-1)$-partite graph contains the most copies of $H$. Let $H$ be a bipartite graph that contains a complete bipartite subgraph $K$ such that each vertex of $H$ is adjacent to a vertex of $K$. We show that $H$ is weakly $K_3$-Turán-good, improving a very recent asymptotic bound due to Grzesik, Gy\H ori, Salia and Tompkins. They also showed that for any $r$ there exist graphs that are not weakly $K_r$-Turán-good. We show that for any non-bipartite $F$ there exists graphs that are not weakly $F$-Turán-good. We also show examples of graphs that are $C_{2k+1}$-Turán-good but not $C_{2\ell+1}$-Turán-good for every $k>\ell$.
Two-geodesic transitive graphs of order $p^n$ with $n\leq3$
Published
• View Publication
• BIB
A vertex triple $(u,v,w)$ of a graph is called a $2$-geodesic if $v$ is adjacent to both $u$ and $w$ and $u$ is not adjacent to $w$. A graph is said to be $2$-geodesic transitive if its automorphism group is transitive on the set of $2$-geodesics. In this paper, a complete classification of $2$-geodesic transitive graphs of order $p^n$ is given for each prime $p$ and $n\leq 3$. It turns out that all such graphs consist of three small graphs: the complete bipartite graph $K_{4,4}$ of order $8$, the Schläfli graph of order $27$ and its complement, and fourteen infinite families: the cycles $C_p, C_{p^2}$ and $C_{p^3}$, the complete graphs $K_p, K_{p^2}$ and $K_{p^3}$, the complete multipartite graphs $K_{p[p]}$, $K_{p[p^2]}$ and $K_{p^2[p]}$, the Hamming graph $H(2,p)$ and its complement, the Hamming graph $H(3,p)$, and two infinite families of normal Cayley graphs on extraspecial group of order $p^3$ and exponent $p$.
A construction for a counterexample to the pseudo 2-factor isomorphic graph conjecture
Published
• View Publication
• BIB
A graph $G$ admiting a $2$-factor is \textit{pseudo $2$-factor isomorphic} if the parity of the number of cycles in all its $2$-factors is the same. In [M. Abreu, A.A. Diwan, B. Jackson, D. Labbate and J. Sheehan. Pseudo $2$-factor isomorphic regular bipartite graphs. Journal of Combinatorial Theory, Series B, 98(2) (2008), 432-444.] some of the authors of this note gave a partial characterisation of pseudo $2$-factor isomorphic bipartite cubic graphs and conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially $4$-edge-connected ones. In [J. Goedgebeur. A counterexample to the pseudo $2$-factor isomorphic graph conjecture. Discr. Applied Math., 193 (2015), 57-60.] Jan Goedgebeur computationally found a graph $\mathscr{G}$ on $30$ vertices which is pseudo $2$-factor isomorphic cubic and bipartite, essentially $4$-edge-connected and cyclically $6$-edge-connected, thus refuting the above conjecture. In this note, we describe how such a graph can be constructed from the Heawood graph and the generalised Petersen graph $GP(8,3)$, which are the Levi graphs of the Fano $7_3$ configuration and the Möbius-Kantor $8_3$ configuration, respectively. Such a description of $\mathscr{G}$ allows us to understand its automorphism group, which has order $144$, using both a geometrical and a graph theoretical approach simultaneously. Moreover we illustrate the uniqueness of this graph.
Crux, space constraints and subdivisions
Published
• View Publication
• BIB
For a given graph $H$, its subdivisions carry the same topological structure. The existence of $H$-subdivisions within a graph $G$ has deep connections with topological, structural and extremal properties of $G$. One prominent example of such a connection, due to Bollobás and Thomason and independently Komlós and Szemerédi, asserts that the average degree of $G$ being $d$ ensures a $K_{Ω(\sqrt{d})}$-subdivision in $G$. Although this square-root bound is best possible, various results showed that much larger clique subdivisions can be found in a graph for many natural classes. We investigate the connection between crux, a notion capturing the essential order of a graph, and the existence of large clique subdivisions. This reveals the unifying cause underpinning all those improvements for various classes of graphs studied. Roughly speaking, when embedding subdivisions, natural space constraints arise; and such space constraints can be measured via crux.
Our main result gives an asymptotically optimal bound on the size of a largest clique subdivision in a generic graph $G$, which is determined by both its average degree and its crux size. As corollaries, we obtain (1) a characterisation of extremal graphs for which the square-root bound above is tight: they are essentially disjoint unions of graphs having crux size linear in $d$; (2) a unifying approach to find a clique subdivision of almost optimal size in graphs which do not contain a fixed bipartite graph as a subgraph; (3) and that the clique subdivision size in random graphs $G(n,p)$ witnesses a dichotomy: when $p = ω(n^{-1/2})$, the barrier is the space, while when $p=o( n^{-1/2})$, the bottleneck is the density.
2-Layer Graph Drawings with Bounded Pathwidth
Published
• View Publication
• BIB
We determine which properties of 2-layer drawings characterise bipartite graphs of bounded pathwidth.
Induced subgraphs and tree decompositions VI. Graphs with 2-cutsets
Published in Discrete Mathematics, Volume 348, Issue 1, January 2025, 114195
• View Publication
• BIB
This paper continues a series of papers investigating the following question: which hereditary graph classes have bounded treewidth? We call a graph $t$-clean if it does not contain as an induced subgraph the complete graph $K_t$, the complete bipartite graph $K_{t, t}$, subdivisions of a $(t \times t)$-wall, and line graphs of subdivisions of a $(t \times t)$-wall. It is known that graphs with bounded treewidth must be $t$-clean for some $t$; however, it is not true that every $t$-clean graph has bounded treewidth. In this paper, we show that three types of cutsets, namely clique cutsets, 2-cutsets, and 1-joins, interact well with treewidth and with each other, so graphs that are decomposable by these cutsets into basic classes of bounded treewidth have bounded treewidth. We apply this result to two hereditary graph classes, the class of ($ISK_4$, wheel)-free graphs and the class of graphs with no cycle with a unique chord. These classes were previously studied and decomposition theorems were obtained for both classes. Our main results are that $t$-clean ($ISK_4$, wheel)-free graphs have bounded treewidth and that $t$-clean graphs with no cycle with a unique chord have bounded treewidth.
A lower bound of the energy of non-singular graphs in terms of average degree
Let $G$ be a graph of order $n$ with adjacency matrix $A(G)$. The \textit{energy} of graph $G$, denoted by $\mathcal{E}(G)$, is defined as the sum of absolute value of eigenvalues of $A(G)$. It was conjectured that if $A(G)$ is non-singular, then $\mathcal{E}(G)\geqΔ(G)+δ(G)$. In this paper we propose a stronger conjecture as for $n \geq 5$, $\mathcal{E}(G)\geq n-1+ d$, where $d$ is the average degree of $G$. Here, we show that conjecture holds for bipartite graphs, planar graphs and for the graphs with $d \leq n-2\ln n -3$
Bounding the List Color Function Threshold from Above
Published in Involve 16 (2023) 849-882
• View Publication
• BIB
The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$ for each $m \in \mathbb{N}$. In 1990, Kostochka and Sidorenko introduced the list color function of graph $G$, denoted $P_{\ell}(G,m)$, which is a list analogue of the chromatic polynomial. The list color function threshold of $G$, denoted $τ(G)$, is the smallest $k \geq χ(G)$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. It is known that for every graph $G$, $τ(G)$ is finite, and in fact, $τ(G) \leq (|E(G)|-1)/\ln(1+ \sqrt{2}) + 1$. It is also known that when $G$ is a cycle or chordal graph, $G$ is enumeratively chromatic-choosable which means $τ(G) = χ(G)$. A recent paper of Kaul et al. suggests that understanding the list color function threshold of complete bipartite graphs is essential to the study of the extremal behavior of $τ$. In this paper we show that for any $n \geq 2$, $τ(K_{2,n}) \leq \lceil (n+2.05)/1.24 \rceil$ which gives an improvement on the general upper bound for $τ(G)$ when $G = K_{2,n}$. We also develop additional tools that allow us to show that $τ(K_{2,3}) = χ(K_{2,3})$ and $τ(K_{2,4}) = τ(K_{2,5}) = 3$.
Isospectral graphs via spectral bracketing
In this article, we develop a perturbative technique to construct families of non-isomorphic discrete graphs which are isospectral for the standard (also called normalised) Laplacian and its signless version. We use vertex contractions as a graph perturbation and spectral bracketing with auxiliary graphs which have certain eigenvalues with high multiplicity. There is no need to know explicitly the eigenvalues or eigenfunctions of the corresponding graphs. We illustrate the method by presenting several families of examples of isospectral graphs including fuzzy complete bipartite graphs and subdivision graphs obtained from the previous examples. All the examples constructed turn out to be also isospectral for the standard (Kirchhoff) Laplacian on the associated equilateral metric graph.
The spread of generalized reciprocal distance matrix
The generalized reciprocal distance matrix $RD_α(G)$ was defined as $RD_α(G)=αRT(G)+(1-α)RD(G),\quad 0\leq α\leq 1.$ Let $λ_{1}(RD_α(G))\geq λ_{2}(RD_α(G))\geq \cdots \geq λ_{n}(RD_α(G))$ be the eigenvalues of $RD_α$ matrix of graphs $G$. Then the $RD_α$-spread of graph $G$ can be defined as $S_{RD_α}(G)=λ_{1}(RD_α(G))-λ_{n}(RD_α(G))$. In this paper, we first obtain some sharp lower and upper bounds for the $RD_α$-spread of graphs. Then we determine the lower bounds for the $RD_α$-spread of bipartite graphs and graphs with given clique number. At last, we give the $RD_α$-spread of double star graphs. Our results generalize the related results of the reciprocal distance matrix and reciprocal distance signless Laplacian matrix.
Extremal graphs for odd-ballooning of bipartite graphs
Given a graph $H$ and an odd integer $t$ ($t\geq 3$), the odd-ballooning of $H$, denoted by $H(t)$, is the graph obtained from replacing each edge of $H$ by an odd cycle of length at least $t$ where the new vertices of the cycles are all distinct. In this paper, we determine the range of Turán numbers for odd-ballooning of bipartite graphs when $t\geq 5$. As applications, we may deduce the Turán numbers for odd-ballooning of stars, paths and even cycles.
Hamiltonians of Bipartite Walks
Published
• View Publication
• BIB
In this paper, we introduce a discrete quantum walk model called bipartite walks. Bipartite walks include many known discrete quantum walk models, like arc-reversal walks, vertex-face walks. For the transition matrix of a quantum walk, there is a Hamiltonian associated with it. We will study the Hamiltonians of the bipartite walks. Let $S$ be a skew-symmetric matrix. We are mainly interested in the Hamiltonians of the form $iS$. We show that the Hamiltonian can be written as $iS$ if and only if the adjacency matrix of the bipartite graph is invertible. We show that arc-reversal walks and vertex-face walks are special cases of bipartite walks. Via the Hamiltonians, phenomena of bipartite walks lead to phenomena of continuous walks. We show in detail how we use bipartite walks on paths to construct universal perfect state transfer in continuous walks.
Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure
Published
• View Publication
• BIB
We continue the study of $(\mathrm{tw},ω)$-bounded graph classes, that is, hereditary graph classes in which the treewidth can only be large due to the presence of a large clique, with the goal of understanding the extent to which this property has useful algorithmic implications for the Independent Set and related problems. In the previous paper of the series [Dallard, Milanič, and Štorgel, Treewidth versus clique number. II. Tree-independence number], we introduced the tree-independence number, a min-max graph invariant related to tree decompositions. Bounded tree-independence number implies both $(\mathrm{tw},ω)$-boundedness and the existence of a polynomial-time algorithm for the Maximum Weight Independent Set problem, provided that the input graph is given together with a tree decomposition with bounded independence number.
In this paper, we consider six graph containment relations and for each of them characterize the graphs $H$ for which any graph excluding $H$ with respect to the relation admits a tree decomposition with bounded independence number. The induced minor relation is of particular interest: we show that excluding either a $K_5$ minus an edge or the $4$-wheel implies the existence of a tree decomposition in which every bag is a clique plus at most $3$ vertices, while excluding a complete bipartite graph $K_{2,q}$ implies the existence of a tree decomposition with independence number at most $2(q-1)$. Our constructive proofs are obtained using a variety of tools, including $\ell$-refined tree decompositions, SPQR trees, and potential maximal cliques. They imply polynomial-time algorithms for the Independent Set and related problems in an infinite family of graph classes; in particular, the results apply to the class of $1$-perfectly orientable graphs, answering a question of Beisegel, Chudnovsky, Gurvich, Milanič, and Servatius from 2019.
Thresholds for Latin squares and Steiner triple systems: Bounds within a logarithmic factor
Published
• View Publication
• BIB
We prove that for $n \in \mathbb N$ and an absolute constant $C$, if $p \geq C\log^2 n / n$ and $L_{i,j} \subseteq [n]$ is a random subset of $[n]$ where each $k\in [n]$ is included in $L_{i,j}$ independently with probability $p$ for each $i, j\in [n]$, then asymptotically almost surely there is an order-$n$ Latin square in which the entry in the $i$th row and $j$th column lies in $L_{i,j}$. The problem of determining the threshold probability for the existence of an order-$n$ Latin square was raised independently by Johansson, by Luria and Simkin, and by Casselgren and H{ä}ggkvist; our result provides an upper bound which is tight up to a factor of $\log n$ and strengthens the bound recently obtained by Sah, Sawhney, and Simkin. We also prove analogous results for Steiner triple systems and $1$-factorizations of complete graphs, and moreover, we show that each of these thresholds is at most the threshold for the existence of a $1$-factorization of a nearly complete regular bipartite graph.
Linearizing Partial Search Orders
Published
• View Publication
• BIB
In recent years, questions about the construction of special orderings of a given graph search were studied by several authors. On the one hand, the so called end-vertex problem introduced by Corneil et al. in 2010 asks for search orderings ending in a special vertex. On the other hand, the problem of finding orderings that induce a given search tree was introduced already in the 1980s by Hagerup and received new attention most recently by Beisegel et al. Here, we introduce a generalization of some of these problems by studying the question whether there is a search ordering that is a linear extension of a given partial order on a graph's vertex set. We show that this problem can be solved in polynomial time on chordal bipartite graphs for LBFS, which also implies the first polynomial-time algorithms for the end-vertex problem and two search tree problems for this combination of graph class and search. Furthermore, we present polynomial-time algorithms for LBFS and MCS on split graphs which generalize known results for the end-vertex and search tree problems.
Line graphs of simplicial complexes
We consider the line graph of a pure simplicial complex. We prove that, as in the case of line graphs of simple graphs, one can compute the second graded Betti number of the facet ideal of a pure simplicial complex in terms of the combinatorial structure of its line graph. We characterize those pure simplicial complexes whose line graph is a complete (bipartite) graph. We give conditions that line graphs of simplicial complexes should fulfill.