bipartite graph
2574 papers tagged with this keyword
Bounds on Box Codes
Published
• View Publication
• BIB
Let $n_q(M,d)$ be the minimum length of a $q$-ary code of size $M$ and minimum distance $d$. Bounding $n_q(M,d)$ is a fundamental problem that lies at the heart of coding theory. This work considers a generalization $n^\bx_q(M,d)$ of $n_q(M,d)$ corresponding to codes in which codewords have \emph{protected} and \emph{unprotected} entries; where (analogs of) distance and of length are measured with respect to protected entries only. Such codes, here referred to as \emph{box codes}, have seen prior studies in the context of bipartite graph covering. Upper and lower bounds on $n^\bx_q(M,d)$ are presented.
On the extremal number of incidence graphs
Given a graph $H$ and a natural number $n$, the extremal number $\mathrm{ex}(n, H)$ is the largest number of edges in an $n$-vertex graph containing no copy of $H$. In this paper, we obtain a general upper bound for the extremal number of generalised face-incidence graphs, a family which includes the standard face-incidence graphs of regular polytopes. This builds on and generalises work of Janzer and Sudakov, who obtained the same bound for hypercubes and bipartite Kneser graphs, and allows us to confirm a conjecture of Conlon and Lee on the extremal number of $K_{r,r}$-free bipartite graphs for certain incidence graphs.
In their work, Janzer and Sudakov showed that such an upper bound on the extremal number holds whenever the graph $H$ satisfies a certain percolation property which captures an appropriate sequence of repeated applications of the Cauchy--Schwarz inequality, a property which they then verify for hypercubes and bipartite Kneser graphs. This percolation property bears close resemblance to a property that arose in earlier work of Conlon and Lee on weakly norming graphs. In this latter work, Conlon and Lee developed a method for controlling repeated applications of the Cauchy--Schwarz inequality based on the properties of reflection groups, which then allowed them to isolate a broad family of weakly norming graphs. Here, we develop this method further, casting it in a purely algebraic form that allows us not only to combine it with the Janzer--Sudakov result and obtain the desired result about the extremal number of incidence graphs, but also to simplify the proofs of both the Conlon--Lee result on weakly norming graphs and a related result of Coregliano.
Ihara zeta functions for some simple graph families
The reciprocal of the Ihara zeta function of a graph is a polynomial invariant introduced by Ihara in 1966. Scott and Storm gave a method to determine the coefficients of the polynomial. Here we simplify their calculation and determine the zeta function for all graphs of rank two. We verify that it is a complete invariant for such graphs: If $G_1$ and $G_2$ are of rank two, then $G_1$ and $G_2$ are isomorphic if and only if they have the same Ihara zeta function. We observe that the reciprocal of the zeta function is an even polynomial if the graph is bipartite. We also determine the zeta function for several graph families: complete graphs, complete bipartite graphs, Möbius ladders, cocktail party graphs, and all graphs of order five or less. We use the special value $u=1$ to count the spanning trees for these families.
On the Algebraic Connectivity of Token Graphs and Graphs under Perturbations
Published
• View Publication
• BIB
Given a graph $G=(V,E)$ on $n$ vertices and an integer $k$ between 1 and $n-1$, the $k$-token graph $F_k(G)$ has vertices representing the $k$-subsets of $V$, and two vertices are adjacent if their symmetric difference is the two end-vertices of an edge in $E$. Using the theory of Markov chains of random walks and the interchange process, it was proved that the algebraic connectivities (second smallest Laplacian eigenvalues) of $G$ and $F_k(G)$ coincide, but a combinatorial/algebraic proof has been shown elusive. In this paper, we use the latter approach and prove that such equality holds for different new classes of graphs under perturbations, such as extended cycles, extended complete bipartite graphs, kite graphs, and graphs with a cut clique. Kite graphs are formed by a graph (head) with several paths (tail) rooted at the same vertex and with exciting properties. For instance, we show that the different eigenvalues of a kite graph are also eigenvalues of its perturbed graph obtained by adding edges. Moreover, as a particular case of one of our theorems, we generalize a recent result of Barik and Verma \cite{bv24} about graphs with a cut vertex of degree $n-1$. Along the way, we give conditions under which the perturbed graph $G+uv$, with $uv\in E$, has the same algebraic connectivity as $G$.
On the complexity of finding a spanning even tree in a graph
A tree is said to be even if for every pair of distinct leaves, the length of the unique path between them is even. In this paper we discuss the problem of determining whether an input graph has a spanning even tree. Hofmann and Walsh [Australas. J Comb. 35, 2006] proved that this problem can be solved in polynomial time on bipartite graphs. In contrast to this, we show that this problem is NP-complete even on planar graphs. We also give polynomial-time algorithms for several restricted classes of graphs, such as split graphs, cographs, cobipartite graphs, unit interval graphs, and block graphs.
Wheel-like bricks and minimal matching covered graphs
Published
• View Publication
• BIB
A connected graph G with at least two vertices is matching covered if each of its edges lies in a perfect matching. We say that an edge e in a matching covered graph G is removable if G-e is matching covered. A pair {e; f} of edges of a matching covered graph G is a removable doubleton if G-e-f is matching covered, but neither G-e nor G-f is. Removable edges and removable doubletons are called removable classes, introduced by Lovasz and Plummer in connection with ear decompositions of matching covered graphs. A 3-connected graph is a brick if the removal of any two distinct vertices, the left graph has a perfect matching. A brick G is wheel-like if G has a vertex h, such that every removable class of G has an edge incident with h. Lucchesi and Murty proposed a problem of characterizing wheel-like bricks. We show that every wheel-like brick may be obtained by splicing graphs whose underlying simple graphs are odd wheels in a certain manner. A matching covered graph is minimal if the removal of any edge, the left graph is not matching covered. Lovasz and Plummer proved that the minimum degree of a minimal matching covered bipartite graph different from K2 is 2 by ear decompositions in 1977. By the properties of wheel-like bricks, we prove that the minimum degree of a minimal matching covered graph other than K2 is 2 or 3.
Shameful Inequalities for List and DP Coloring of Graphs
Published
• View Publication
• BIB
The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,k)$, it equals the number of proper $k$-colorings of graph $G$. Enumerative analogues of the chromatic polynomial of a graph have been introduced for two well-studied generalizations of ordinary coloring, namely, list colorings: $P_{\ell}$, the list color function (1990); and DP colorings: $P_{DP}$, the DP color function (2019), and $P^*_{DP}$, the dual DP color function (2021). For any graph $G$ and $k \in \mathbb{N}$, $P_{DP}(G, k) \leq P_\ell(G,k) \leq P(G,k) \leq P_{DP}^*(G,k)$. In 2000, Dong settled a conjecture of Bartels and Welsh from 1995 known as the Shameful Conjecture by proving that for any $n$-vertex graph $G$, $P(G,k+1)/(k+1)^n \geq P(G,k)/k^n$ for all $k \in \mathbb{N}$ satisfying $k \geq n-1$. In contrast, for infinitely many positive integers $n$, Seymour (1997) gave an example of an $n$-vertex graph for which the above inequality does not hold for some $k = Θ(n/ \log n)$. In this paper, we consider analogues of Dong's result for list and DP color functions. Specifically, in contrast to the chromatic polynomial, we prove that for any $n$-vertex graph $G$, $P_{\ell}(G,k+1)/(k+1)^n \geq P_{\ell}(G,k)/k^n$ and $P_{DP}(G,k+1)/(k+1)^n \geq P_{DP}(G,k)/k^n$ for all $k \in \mathbb{N}$. For the dual DP analogue of these inequalities, we show that there is a graph $G$ and $k \in \mathbb{N}$ such that $P_{DP}^*(G,k+1)/(k+1)^n < P_{DP}^*(G,k)/k^n$, and we prove $P_{DP}^*(G,k+1)/(k+1)^n \geq P_{DP}^*(G,k)/k^n$ for all $k \in \mathbb{N}$ satisfying $k \geq n-1$ when $G$ is an $n$-vertex complete bipartite graph.
Maximizing Satisfied Vertex Requests in List Coloring
Published
• View Publication
• BIB
Suppose $G$ is a graph and $L$ is a list assignment for $G$. A request of $L$ is a function $r$ with nonempty domain $D\subseteq V(G)$ such that $r(v) \in L(v)$ for each $v \in D$. The triple $(G,L,r)$ is $ε$-satisfiable if there exists a proper $L$-coloring $f$ of $G$ such that $f(v) = r(v)$ for at least $ε|D|$ vertices in $D$. We say $G$ is $(k, ε)$-flexible if $(G,L',r')$ is $ε$-satisfiable whenever $L'$ is a $k$-assignment for $G$ and $r'$ is a request of $L'$. It is known that a graph $G$ is not $(k, ε)$-flexible for any $k$ if and only if $ε> 1/ ρ(G)$ where $ρ(G)$ is the Hall ratio of $G$. The list flexibility number of a graph $G$, denoted $χ_{\ell flex}(G)$, is the smallest $k$ such that $G$ is $(k,1/ ρ(G))$-flexible. A fundamental open question on list flexibility numbers asks: Is there a graph with list flexibility number greater than its coloring number?
In this paper, we show that the list flexibility number of any complete multipartite graph $G$ is at most the coloring number of $G$. We also initiate the study of list epsilon flexibility functions of complete bipartite graphs which was first suggested by Kaul, Mathew, Mudrock, and Pelsmajer in 2024. Specifically, we completely determine the list epsilon flexibility function of $K_{m,n}$ when $m \in \{1,2\}$ and establish some additional bounds for small $m$. Our proofs reveal a connection to list coloring complete bipartite graphs with asymmetric list sizes which is a topic that was explored by Alon, Cambie, and Kang in 2021.
Partitions of Graphs into Special Bipartite Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (November 17, 2025) dmtcs:15361
• View Publication
• BIB
We study the problem of partitioning the edge set of the complete graph into bipartite subgraphs under certain constraints defined by forbidden subgraphs. These constraints lead to both classical problems, such as partitioning into independent matchings or complete bipartite subgraphs, and novel variants motivated by structural restrictions. Our theoretical framework is inspired by clustering problems in real-world transaction graphs, which can be formulated naturally as edge partitioning problems under bipartite graph constraints.
The main result of this paper is the proof of the bounds for $χ'_{2K_2}(n)$, which corresponds to the minimum number of induced $2K_2$-free bipartite subgraphs needed to partition the edges of $K_n$. In addition to this central result, we also present several similar bounds for other forbidden subgraphs on three or four vertices. Some are included primarily for the sake of completeness, to demonstrate the broad applicability of our approach, and some lead to other novel or well-known graph theoretical problems.
Stable Approximation Algorithms for Dominating Set and Independent Set
Published in SIAM Journal on Discrete Mathematics, 2025
• View Publication
• BIB
We study the Dominating set problem and Independent Set Problem for dynamic graphs in the vertex-arrival model. We say that a dynamic algorithm for one of these problems is $k$-stable when it makes at most $k$ changes to its output independent set or dominating set upon the arrival of each vertex. We study trade-offs between the stability parameter $k$ of the algorithm and the approximation ratio it achieves. We obtain the following results. 1. We show that there is a constant $\varepsilon^*>0$ such that any dynamic $(1+\varepsilon^*)$-approximation algorithm the for Dominating set problem has stability parameter $Ω(n)$, even for bipartite graphs of maximum degree 4. 2. We present algorithms with very small stability parameters for the Dominating set problem in the setting where the arrival degree of each vertex is upper bounded by $d$. In particular, we give a $1$-stable $(d+1)^2$-approximation algorithm, a $3$-stable $(9d/2)$-approximation algorithm, and an $O(d)$-stable $O(1)$-approximation algorithm. 3. We show that there is a constant $\varepsilon^*>0$ such that any dynamic $(1+\varepsilon^*)$-approximation algorithm for the Independent Set Problem has stability parameter $Ω(n)$, even for bipartite graphs of maximum degree $3$. 4. Finally, we present a $2$-stable $O(d)$-approximation algorithm for the Independent Set Problem, in the setting where the average degree of the graph is upper bounded by some constant $d$ at all times. We extend this latter algorithm to the fully dynamic model where vertices can also be deleted, achieving a $6$-stable $O(d)$-approximation algorithm.
An arithmetic algebraic regularity lemma
We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field $\mathbf{F}$, and any definable group $(G,\cdot)$ in $\mathbf{F}$ and definable subset $D\subseteq G$, each of complexity at most $M$, there is a normal definable subgroup $H\leqslant G$, of index and complexity $O_M(1)$, such that the following holds: for any cosets $V,W$ of $H$, the bipartite graph $(V,W,xy^{-1}\in D)$ is $O_M(|\mathbf{F}|^{-1/2})$-quasirandom. Various analogous regularity conditions follow; for example, for any $g\in G$, the Fourier coefficient $||\widehat{1}_{H\cap Dg}(π)||_{\mathrm{op}}$ is $O_M(|\mathbf{F}|^{-1/8})$ for every non-trivial irreducible representation $π$ of $H$.
Quantum chromatic numbers of some graphs in Hamming schemes
The study of quantum chromatic numbers of graphs is a hot research topic in recent years. However, the infinite family of graphs with known quantum chromatic numbers are rare, as far as we know, the only known such graphs (except for complete graphs, cycles, bipartite graphs and some trivial cases) are the Hadamard graphs $H_n$ with $2^n$ vertices and $n$ a multiple of $4$. In this paper, we consider the graphs in Hamming schemes, we determined the quantum chromatic numbers of one class of such graphs. Notably, this is the second known family of graphs whose quantum chromatic numbers are explicitly determined except for some cases aforementioned. We also provide some bounds for the quantum chromatic numbers of some other graphs in Hamming schemes. Consequently, we can obtain the quantum chromatic numbers of products of some graphs.
Unbalanced Zarankiewicz problem for bipartite subdivisions with applications to incidence geometry
For a bipartite graph $H$, its linear threshold is the smallest real number $σ$ such that every bipartite graph $G = (U \sqcup V, E)$ with unbalanced parts $|V| \gtrsim |U|^σ$ and without a copy of $H$ must have a linear number of edges $|E| \lesssim |V|$. We prove that the linear threshold of the complete bipartite subdivision graph $K_{s,t}'$ is at most $σ_s = 2 - 1/s$. Moreover, we show that any $σ< σ_s$ is less than the linear threshold of $K_{s,t}'$ for sufficiently large $t$ (depending on $s$ and $σ$).
Some geometric applications of this result are given: we show that any $n$ points and $n$ lines in the complex plane without an $s$-by-$s$ grid determine $O(n^{4/3 - c})$ incidences for some constant $c > 0$ depending on $s$; and for certain pairs $(p,q)$, we establish nontrivial lower bounds on the number of distinct distances determined by $n$ points in the plane under the condition that every $p$ points determine at least $q$ distinct distances.
Cover numbers by certain graph families
Published
• View Publication
• BIB
We define the cover number of a graph $G$ by a graph class $\mathcal P$ as the minimum number of graphs of class $\mathcal P$ required to cover the edge set of $G$. Taking inspiration from a paper by Harary, Hsu and Miller, we find an exact formula for the cover number by the graph classes $\{ G \mid χ(G) \leq f(ω(G))\}$ for an arbitrary non-decreasing function $f$.
After this, we establish a chain of inequalities with five cover numbers, the one by the class $\{ G \mid χ(G) = ω(G)\}$, by the class of perfect graphs, generalized split graphs, co-unipolar graphs and finally by bipartite graphs. We prove that at each inequality, the difference between the two sides can grow arbitrarily large. We also prove that the cover number by unipolar graphs cannot be expressed in terms of the chromatic or the clique number.
On a bipartite graph defined on groups
Published
• View Publication
• BIB
Let $G$ be a group and $L(G)$ be the set of all subgroups of $G$. We introduce a bipartite graph $\mathcal{B}(G)$ on $G$ whose vertex set is the union of two sets $G \times G$ and $L(G)$, and two vertices $(a, b) \in G \times G$ and $H \in L(G)$ are adjacent if $H$ is generated by $a$ and $b$. We establish connections between $\mathcal{B}(G)$ and the generating graph of $G$. We also discuss about various graph parameters such as independence number, domination number, girth, diameter, matching number, clique number, irredundance number, domatic number and minimum size of a vertex cover of $\mathcal{B}(G)$. We obtain relations between $\mathcal{B}(G)$ and certain probabilities associated to finite groups. We also obtain expressions for various topological indices of $\mathcal{B}(G)$. Finally, we realize the structures of $\mathcal{B}(G)$ for the dihedral groups of order $2p$ and $2p^2$ and dicyclic groups of order $4p$ and $4p^2$ (where $p$ is any prime) including certain other small order groups.
A simple proof of the existence of complete bipartite graph immersion in graphs with independence number two
Published
• View Publication
• BIB
Hadwiger's conjecture for the immersion relation posits that every graph $G$ contains an immersion of the complete graph $K_{χ(G)}$. Vergara showed that this is equivalent to saying that every $n$-vertex graph $G$ with $α(G)=2$ contains an immersion of the complete graph on $\lceil\frac{n}{2}\rceil$ vertices. Recently, Botler et al. showed that every $n$-vertex graph $G$ with $α(G)=2$ contains every complete bipartite graph on $\lceil\frac{n}{2}\rceil$ vertices as an immersion. In this paper, we give a much simpler proof of this result.
Hypergraph burning, matchings, and zero forcing
Published
• View Publication
• BIB
Lazy burning is a recently introduced variation of burning where only one set of vertices is chosen to burn in the first round. In hypergraphs, lazy burning spreads when all but one vertex in a hyperedge is burned. The lazy burning number is the minimum number of initially burned vertices that eventually burns all vertices. We give several equivalent characterizations of lazy burning on hypergraphs using matchings and zero forcing, and then apply these to give new bounds and complexity results.
We prove that the lazy burning number of a hypergraph $H$ equals its order minus the maximum cardinality of a certain matching on its incidence graph. Using this characterization, we give a formula for the lazy burning number of a dual hypergraph and give new bounds on the lazy burning number based on various hypergraph parameters. We show that the lazy burning number of a hypergraph may be characterized by a maximal subhypergraph that results from iteratively deleting vertices in singleton hyperedges.
We prove that lazy burning on a hypergraph is equivalent to zero forcing on its incidence graph and show an equivalence between skew zero forcing on a graph and lazy burning on its neighborhood hypergraph. As a result, we show that finding an upper bound on the lazy burning number of a hypergraph is NP-complete, which resolves a conjecture from \cite{BJR}. By applying lazy burning, we show that computing an upper bound on the skew zero forcing number for bipartite graphs is NP-complete. We finish with open problems.
A spectral condition for spanning trees with restricted degrees in bipartite graphs
Published
• View Publication
• BIB
Let $G$ be a graph and $T$ be a spanning tree of $G$. We use $Q(G)=D(G)+A(G)$ to denote the signless Laplacian matrix of $G$, where $D(G)$ is the diagonal degree matrix of $G$ and $A(G)$ is the adjacency matrix of $G$. The signless Laplacian spectral radius of $G$ is denoted by $q(G)$. A necessary and sufficient condition for a connected bipartite graph $G$ with bipartition $(A,B)$ to have a spanning tree $T$ with $d_T(v)\geq k$ for any $v\in A$ was independently obtained by Frank and Gyárfás (A. Frank, E. Gyárfás, How to orient the edges of a graph?, Colloq. Math. Soc. Janos Bolyai 18 (1976) 353--364), Kaneko and Yoshimoto (A. Kaneko, K. Yoshimoto, On spanning trees with restricted degrees, Inform. Process. Lett. 73 (2000) 163--165). Based on the above result, we establish a lower bound on the signless Laplacian spectral radius $q(G)$ of a connected bipartite graph $G$ with bipartition $(A,B)$, in which the bound guarantees that $G$ has a spanning tree $T$ with $d_T(v)\geq k$ for any $v\in A$.
Ramsey--Dirac theory for bounded degree hypertrees
Ramsey--Turán theory considers Turán type questions in Ramsey-context, asking for the existence of a small subgraph in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, such as a clique of linear size. Similarly, one can consider Dirac-type questions in Ramsey context, asking for the existence of a spanning subgraph $H$ in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, which we call a Ramsey--Dirac theory question.
When $H$ is a connected spanning subgraph, the disjoint union $K_{n/2}\cup K_{n/2}$ of two large cliques shows that it is natural to consider complete bipartite graphs $F$. Indeed, Han, Hu, Ping, Wang, Wang and Yang in 2024 proved that if $G$ is an $n$-vertex graph with $δ(G)=Ω(n)$ where the complement $\overline{G}$ does not contain any complete bipartite graph $K_{m,m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree tree $T$ as a subgraph.
Extending this result to the Ramsey--Dirac theory for hypertrees, we prove that if $G$ is an $n$-vertex $r$-uniform hypergraph with $δ(G)=Ω(n^{r-1})$ where the complement $\overline{G}$ does not contain any complete $r$-partite hypergraph $K_{m,m,\dots, m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree hypertree $T$ as a subgraph. We also prove the existence of matchings and loose Hamilton cycles in the same setting, which extends the result of Mcdiarmid and Yolov into hypergraphs.
This result generalizes the universality result on randomly perturbed graphs by Böttcher, Han, Kohayakawa, Montgomery, Parczyk and Person in 2019 into hypergraphs and also strengthen the results on quasirandom hypergraphs by Lenz, Mubayi and Mycroft in 2016 and Lenz and Mubayi in 2016 into hypergraphs satisfying a much weaker pseudorandomness condition.
Turán numbers of cycles plus a general graph
Published
• View Publication
• BIB
For a family of graphs $\cal F$, a graph $G$ is $\cal F$-free if it does not contain a member of $\cal F$ as a subgraph. The Turán number $\textrm{ex}(n,{\cal F})$ is the maximum number of edges in an $n$-vertex graph which is $\cal F$-free. Let ${\cal C}_{\geq k}$ be the set of cycles with length at least $k$. In this paper, we investigate the Turán number of $\{{\cal C}_{\geq k}, F\}$ for a general graph $F$. To be precise, we determine $\textrm{ex}(n, \{{\cal C}_{\geq k}, F\})$ apart from a constant additive term, where $F$ either is a 2-connected nonbipartite graph or is a 2-connected bipartite graph under some conditions. This is an extension of a previous result on the Turán number of $\{{\cal C}_{\geq k}, K_r\}$ by the first author, Ning, and the third author.