bipartite graph
2574 papers tagged with this keyword
Classification and Construction of Planar, 3-Connected Kronecker Products
We give a complete classification of the Kronecker (i.e. direct) product graphs that are planar and $3$-connected (i.e. $3$-polytopal). They are all of the form \[H\wedge K_2,\] where $H$ is a $2$-connected graph, possibly non-planar, and satisfying specific properties that we will describe.
Our proof is constructive, in the sense that we prescribe how to obtain all such graphs $H$, by adding a few edges in a specific way to a given planar, bipartite graph, that is either $3$-connected, or semi-hyper-$2$-connected.
Moreover, for $H$ planar, we also give a more precise characterisation of this graph, regarding the number of its odd regions, and how they intersect.
If $H\wedge K_2$ is a $3$-polytope, then we have $δ(H\wedge K_2)=3$, so that the connectivity of $H\wedge K_2$ is $3$, and the connectivity of $H$ is either $2$ or $3$.
We also briefly discuss which Cartesian and strong products are $3$-polytopal.
Computing the forcing spectrum of outerplanar graphs in polynomial time
Published
• View Publication
• BIB
The forcing number of a graph with a perfect matching $M$ is the minimum number of edges in $M$ whose endpoints need to be deleted, such that the remaining graph only has a single perfect matching. This number is of great interest in theoretical chemistry, since it conveys information about the structural properties of several interesting molecules. On the other hand, in bipartite graphs the forcing number corresponds to the famous feedback vertex set problem in digraphs.
Determining the complexity of finding the smallest forcing number of a given planar graph is still a widely open and important question in this area, originally proposed by Afshani, Hatami, and Mahmoodian in 2004. We take a first step towards the resolution of this question by providing an algorithm that determines the set of all possible forcing numbers of an outerplanar graph in polynomial time. This is the first polynomial-time algorithm concerning this problem for a class of graphs of comparable or greater generality.
The 1/3-conjectures for domination in cubic graphs
A set S of vertices in a graph G is a dominating set of G if every vertex not in S is adjacent to a vertex in S . The domination number of G, denoted by $γ$(G), is the minimum cardinality of a dominating set in G. In a breakthrough paper in 2008, L{ö}wenstein and Rautenbach proved that if G is a cubic graph of order n and girth at least 83, then $γ$(G) $\le$ n/3. A natural question is if this girth condition can be lowered. The question gave birth to two 1/3-conjectures for domination in cubic graphs. The first conjecture, posed by Verstraete in 2010, states that if G is a cubic graph on n vertices with girth at least 6, then $γ$(G) $\le$ n/3. The second conjecture, first posed as a question by Kostochka in 2009, states that if G is a cubic, bipartite graph of order n, then $γ$(G) $\le$n/3. In this paper, we prove Verstraete's conjecture when there is no 7-cycle and no 8-cycle, and we prove the Kostochka's related conjecture for bipartite graphs when there is no 4-cycle and no 8-cycle.
Two Laplacians for the resistance distance matrix of a graph
In this paper, we present two new matrices, namely the resistance Laplacian and resistance signless Laplacian matrix of a connected graph. We provide a generalized form of these matrices for different classes of graphs, including the complete graph, complete bipartite graph, and cycle. We investigate the spectral properties of these matrices, analyzing their eigenvalues and eigenvectors. Moreover, we introduce a concept similar to graph energy and define it as the resistance Laplacian energy of a graph and further discuss some bounds for this energy.
Extremal density for subdivisions with length or sparsity constraints
Published
• View Publication
• BIB
Given a graph $H$, a balanced subdivision of $H$ is obtained by replacing all edges of $H$ with internally disjoint paths of the same length. In this paper, we prove that for any graph $H$, a linear-in-$e(H)$ bound on average degree guarantees a balanced $H$-subdivision. This strengthens an old result of Bollobás and Thomason, and resolves a question of Gil-Fernández, Hyde, Liu, Pikhurko and Wu.
We observe that this linear bound on average degree is best possible whenever $H$ is logarithmically dense. We further show that this logarithmic density is the critical threshold: for many graphs $H$ below this density, its subdivisions are forcible by a sublinear-in-$e(H)$ bound on average degree. We provide such examples by proving that the subdivisions of any almost bipartite graph $H$ with sublogarithmic density are forcible by a sublinear-in-$e(H)$ bound on average degree, provided that $H$ satisfies some additional separability condition.
Complexity results on locally-balanced $2$-partitions of graphs
A \emph{$2$-partition of a graph $G$} is a function $f:V(G)\rightarrow \{0,1\}$. A $2$-partition $f$ of a graph $G$ is a \emph{locally-balanced with an open neighborhood} if for every $v\in V(G)$, $$\left\vert \vert \{u\in N_{G}(v)\colon\,f(u)=0\}\vert - \vert \{u\in N_{G}(v)\colon\,f(u)=1\}\vert \right\vert\leq 1.$$ A $2$-partition $f^{\prime}$ of a graph $G$ is a \emph{locally-balanced with a closed neighborhood} if for every $v\in V(G)$, $$\left\vert \vert \{u\in N_{G}[v]\colon\,f^{\prime}(u)=0\}\vert - \vert \{u\in N_{G}[v]\colon\,f^{\prime}(u)=1\}\vert \right\vert\leq 1.$$ In this paper we prove that the problem of the existence of locally-balanced $2$-partition with an open (closed) neighborhood is $NP$-complete for some restricted classes of graphs. In particular, we show that the problem of deciding if a given graph has a locally-balanced $2$-partition with an open neighborhood is $NP$-complete for biregular bipartite graphs and even bipartite graphs with maximum degree $4$, and the problem of deciding if a given graph has a locally-balanced $2$-partition with a closed neighborhood is $NP$-complete even for subcubic bipartite graphs and odd graphs with maximum degree $3$. Last results prove a conjecture of Balikyan and Kamalian.
Low-rank matrices, tournaments, and symmetric designs
Published in Linear Algebra Appl. 694 (2024) 136-147
• View Publication
• BIB
Let $\mathbf{a} = (a_{i})_{i \geq 1}$ be a sequence in a field $\mathbb{F}$, and $f \colon \mathbb{F} \times \mathbb{F} \to \mathbb{F}$ be a function such that $f(a_{i},a_{i}) \neq 0$ for all $i \geq 1$. For any tournament $T$ over $[n]$, consider the $n \times n$ symmetric matrix $M_{T}(f, \mathbf{a})$ with zero diagonal whose $(i,j)$th entry (for $i < j$) is $f(a_{i},a_{j})$ if $i \to j$ in $T$, and $f(a_{j},a_{i})$ if $j \to i$ in $T$. It is known (cf. Balachandran et al., Linear Algebra Appl. 658 (2023), 310-318) that if $T$ is a uniformly random tournament over $[n]$, then $\operatorname{rank}(M_{T}(f,\mathbf{a})) \geq (\frac{1}{2}-o(1))n$ with high probability when $\operatorname{char}(\mathbb{F}) \neq 2$ and $f$ is a linear function.
In this paper, we investigate the other extremal question: how low can the ranks of such matrices be? We work with sequences $\mathbf{a}$ that take only two distinct values, so the rank of any such $n \times n$ matrix is at least $n/2$. First, we show that the rank of any such matrix depends on whether an associated bipartite graph has certain eigenvalues of high multiplicity. Using this, we show that if $f$ is linear, then there are $n \times n$ real matrices $M_{T}(f;\mathbf{a})$ of rank at most $\frac{n}{2} + O(1)$. For rational matrices, we show that for each $\varepsilon > 0$ we can find a sequence $\mathbf{a}(\varepsilon)$ for which there are $n \times n$ matrices $M_{T}(f;\mathbf{a}(\varepsilon))$ of rank at most $(\frac{1}{2} + \varepsilon)n + O(1)$. These matrices are constructed from symmetric designs, and we also use them to produce bisection-closed families of size greater than $\lfloor 3n/2 \rfloor - 2$ for $n \leq 15$, which improves the previously best known bound (cf. Balachandran et al., Electron J. Combin. 26 (2019), #P2.40).
On stable assignments generated by choice functions of mixed type
Published
• View Publication
• BIB
We consider one variant of stable assignment problems in a bipartite graph endowed with nonnegative capacities on the edges and quotas on the vertices. It can be viewed as a generalization of the stable allocation problem introduced by BaHiou and Balinsky, which arises when strong linear orders of preferences on the vertices in the latter are replaced by weak ones. At the same time, our stability problem can be stated in the framework of a theory by Alkan and Gale on stable schedule matchings generated by choice functions of a wide scope. In our case, the choice functions are of a special, so-called mixed, type.
The main content of this paper is devoted to a study of rotations in our mixed model, functions on the edges determining ``elementary'' transformations between close stable assignments. These look more sophisticated compared with rotations in the stable allocation problem (which are generated by simple cycles). We efficiently construct a poset of rotations and show that the stable assignments are in bijection with the so-called closed functions for this poset; this gives rise to a ``compact'' affine representation for the lattice of stable assignments and leads to an efficient method to find a stable assignment of minimum cost.
Age of Gossip in Random and Bipartite Networks
Published
• View Publication
• BIB
In this paper we study gossip networks where a source observing a process sends updates to an underlying graph. Nodes in the graph communicate to their neighbors by randomly sending updates. Our interest is studying the version age of information (vAoI) metric over various classes of networks. It is known that the version age of $K_n$ is logarithmic, and the version age of $\overline{K_n}$ is linear. We study the question `how does the vAoI evolve as we interpolate between $K_n$ and $\overline{K_n}$' by studying Erdős-Reyni random graphs, random $d$-regular graphs, and bipartite networks. Our main results are proving the existence of a threshold in $G(n,p)$ from rational to logarithmic average version age, and showing $G(n,d)$ almost surely has logarithmic version age for constant $d$. We also characterize the version age of complete bipartite graphs $K_{L,R}$, when we let $L$ vary from $O(1)$ to $O(n)$.
Induced Turán problem in bipartite graphs
Published
• View Publication
• BIB
The classical extremal function for a graph $H$, $ex(K_n, H)$ is the largest number of edges in a subgraph of $K_n$ that contains no subgraph isomorphic to $H$. Note that defining $ex(K_n, H-ind)$ by forbidding induced subgraphs isomorphic to $H$ is not very meaningful for a non-complete $H$ since one can avoid it by considering a clique.
For graphs $F$ and $H$, let $ex(K_n, \{F, H-ind\})$ be the largest number of edges in an $n$-vertex graph that contains no subgraph isomorphic to $F$ and no induced subgraph isomorphic to $H$. Determining this function asymptotically reduces to finding either $ex(K_n, F)$ or $ex(K_n, H)$, unless $H$ is a biclique or both $F$ and $H$ are bipartite. Here, we consider the bipartite setting, $ex(K_{n,n}, \{F, H-ind\})$ when $K_n$ is replaced with $K_{n,n}$, $F$ is a biclique, and $H$ is a bipartite graph.
Our main result, a strengthening of a result by Sudakov and Tomon, implies that for any $d\geq 2$ and any $K_{d,d}$-free bipartite graph $H$ with each vertex in one part of degree either at most $d$ or a full degree, so that there are at most $d-2$ full degree vertices in that part, one has $ex(K_{n,n}, \{K_{t,t}, H-ind\}) = o(n^{2-1/d})$. This provides an upper bound on the induced Turán number for a wide class of bipartite graphs and implies in particular an extremal result for bipartite graphs of bounded VC-dimension by Janzer and Pohoata.
Two-Point Concentration of the Domination Number of Random Graphs
We show that the domination number of the binomial random graph G_{n,p} with edge-probability p is concentrated on two values for p \ge n^{-2/3+\eps}, and not concentrated on two values for general p \le n^{-2/3}. This refutes a conjecture of Glebov, Liebenau and Szabo, who showed two-point concentration for p \ge n^{-1/2+\eps}, and conjectured that two-point concentration fails for p \ll n^{-1/2}.
The proof of our main result requires a Poisson type approximation for the probability that a random bipartite graph has no isolated vertices, in a regime where standard tools are unavailable (as the expected number of isolated vertices is relatively large). We achieve this approximation by adapting the proof of Janson's inequality to this situation, and this adaptation may be of broader interest.
Kővári-Sós-Turán theorem for hereditary families
Published in J. Combin. Theory Ser. B, 172 (2025) 168-197
• View Publication
• BIB
The celebrated Kővári-Sós-Turán theorem states that any $n$-vertex graph containing no copy of the complete bipartite graph $K_{s,s}$ has at most $O_s(n^{2-1/s})$ edges. In the past two decades, motivated by the applications in discrete geometry and structural graph theory, a number of results demonstrated that this bound can be greatly improved if the graph satisfies certain structural restrictions. We propose the systematic study of this phenomenon, and state the conjecture that if $H$ is a bipartite graph, then an induced $H$-free and $K_{s,s}$-free graph cannot have much more edges than an $H$-free graph. We provide evidence for this conjecture by considering trees, cycles, the cube graph, and bipartite graphs with degrees bounded by $k$ on one side, obtaining in all the cases similar bounds as in the non-induced setting. Our results also have applications to the Erdős-Hajnal conjecture, the problem of finding induced $C_4$-free subgraphs with large degree and bounding the average degree of $K_{s, s}$-free graphs which do not contain induced subdivisions of a fixed graph.
A general theorem in spectral extremal graph theory
Published
• View Publication
• BIB
The extremal graphs $\mathrm{EX}(n,\mathcal F)$ and spectral extremal graphs $\mathrm{SPEX}(n,\mathcal F)$ are the sets of graphs on $n$ vertices with maximum number of edges and maximum spectral radius, respectively, with no subgraph in $\mathcal F$. We prove a general theorem which allows us to characterize the spectral extremal graphs for a wide range of forbidden families $\mathcal F$ and implies several new and existing results. In particular, whenever $\mathrm{EX}(n,\mathcal F)$ contains the complete bipartite graph $K_{k,n-k}$ (or certain similar graphs) then $\mathrm{SPEX}(n,\mathcal F)$ contains the same graph when $n$ is sufficiently large. We prove a similar theorem which relates $\mathrm{SPEX}(n,\mathcal F)$ and $\mathrm{SPEX}_α(n,\mathcal F)$, the set of $\mathcal F$-free graphs which maximize the spectral radius of the matrix $A_α=αD+(1-α)A$, where $A$ is the adjacency matrix and $D$ is the diagonal degree matrix.
Countable homogeneous ordered bipartite graphs
Published
• View Publication
• BIB
A classification is given of all the countable homogeneous ordered bipartite graphs.
Incidence bounds via extremal graph theory
The study of counting point-hyperplane incidences in the $d$-dimensional space was initiated in the 1990's by Chazelle and became one of the central problems in discrete geometry. It has interesting connections to many other topics, such as additive combinatorics and theoretical computer science. Assuming a standard non-degeneracy condition, i.e., that no $s$ points are contained in the intersection of $s$ hyperplanes, the currently best known upper bound on the number of incidences of $m$ points and $n$ hyperplanes in $\mathbb{R}^d$ is $$O_{d, s}((mn)^{1-1/(d+1)}+m+n).$$ This bound by Apfelbaum and Sharir is based on geometrical space partitioning techniques, which apply only over the real numbers.
In this paper, we propose a novel combinatorial approach to study such incidence problems over arbitrary fields. Perhaps surprisingly, this approach matches the best known bounds for point-hyperplane incidences in $\mathbb{R}^d$ for many interesting values of $m, n, d$, e.g. when $m=n$ and $d$ is odd. Moreover, in finite fields our bounds are sharp as a function of $m$ and $n$ in every dimension. We also study the size of the largest complete bipartite graph in point-hyperplane incidence graphs with a given number of edges and obtain optimal bounds as well.
Additionally, we study point-variety incidences and unit-distance problem in finite fields, and give tight bounds for both problems under a similar non-degeneracy assumption. We also resolve Zarankiewicz type problems for algebraic graphs. Our proofs use tools such as induced Turán problems, VC-dimension theory, evasive sets and Hilbert polynomials. Also, we extend the celebrated result of Rónyai, Babai and Ganapathy on the number of zero-patterns of polynomials to the context of varieties, which might be of independent interest.
Graphs that admit a Hamilton path are cup-stackable
Published
• View Publication
• BIB
Fay, Hurlbert and Tennant recently introduced a one-player game on a finite connected graph $G$, which they called cup stacking. Stacks of cups are placed at the vertices of $G$, and are transferred between vertices via stacking moves, subject to certain constraints, with the goal of stacking all cups at a single target vertex. If this is possible for every target vertex of $G$, then $G$ is called stackable. In this paper, we prove that if $G$ admits a Hamilton path, then $G$ is stackable, which confirms several of the conjectures raised by Fay, Hurlbert and Tennant. Furthermore, we prove stackability for certain powers of bipartite graphs, and we construct graphs of arbitrarily large minimum degree and connectivity that do not allow stacking onto any of their vertices.
On the Number of Vertices/Edges whose Deletion Preserves the Konig-Egervary Property
Published
• View Publication
• BIB
The graph G=(V,E) is called Konig-Egervary if the sum of its independence number and its matching number equals its order. Let RV(G) denote the number of vertices v such that G-v is Konig-Egervary, and let RE(G) denote the number of edges e such that G-e is Konig-Egervary. Clearly, RV(G) = |V| and RE(G) = |E| for bipartite graphs. Unlike the bipartiteness, the property of being a Konig-Egervary graph is not hereditary. In this paper, we present an equality expressing RV(G) in terms of some graph parameters, and a tight inequality bounding RE(G) in terms of the same parameters, when G is Konig-Egervary.
On combinatorial properties of Gruenberg--Kegel graphs of finite groups
Published
• View Publication
• BIB
If $G$ is a finite group, then the spectrum $ω(G)$ is the set of all element orders of $G$. The prime spectrum $π(G)$ is the set of all primes belonging to $ω(G)$. A simple graph $Γ(G)$ whose vertex set is $π(G)$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if $rs \in ω(G)$ is called the Gruenberg-Kegel graph or the prime graph of $G$.
In this paper, we prove that if $G$ is a group of even order, then the set of vertices which are non-adjacent to $2$ in $Γ(G)$ form a union of cliques. Moreover, we decide when a strongly regular graph is isomorphic to the Gruenberg-Kegel graph of a finite group. Besides this, we prove that a complete bipartite graph with each part of size at least $3$ can not be isomorphic to the Gruenberg-Kegel graph of a finite group.
Constructing cospectral graphs by unfolding non-bipartite graphs
Published in Discrete Applied Mathematics, 357: 264-273, (2024)
• View Publication
• BIB
In 2010, Butler introduced the unfolding operation on a bipartite graph to produce two bipartite graphs, which are cospectral for the adjacency and the normalized Laplacian matrices. In this article, we describe how the idea of unfolding a bipartite graph with respect to another bipartite graph can be extended to nonbipartite graphs. In particular, we describe how unfoldings involving reflexive bipartite, semi-reflexive bipartite, and multipartite graphs are used to obtain cospectral nonisomorphic graphs for the adjacency matrix.
Mutual-visibility problems on graphs of diameter two
Published
• View Publication
• BIB
The mutual-visibility problem in a graph $G$ asks for the cardinality of a largest set of vertices $S\subseteq V(G)$ so that for any two vertices $x,y\in S$ there is a shortest $x,y$-path $P$ so that all internal vertices of $P$ are not in $S$. This is also said as $x,y$ are visible with respect to $S$, or $S$-visible for short. Variations of this problem are known, based on the extension of the visibility property of vertices that are in and/or outside $S$. Such variations are called total, outer and dual mutual-visibility problems. This work is focused on studying the corresponding four visibility parameters in graphs of diameter two, throughout showing bounds and/or closed formulae for these parameters.
The mutual-visibility problem in the Cartesian product of two complete graphs is equivalent to (an instance of) the celebrated Zarankievicz's problem. Here we study the dual and outer mutual-visibility problem for the Cartesian product of two complete graphs and all the mutual-visibility problems for the direct product of such graphs as well. We also study all the mutual-visibility problems for the line graphs of complete and complete bipartite graphs. As a consequence of this study, we present several relationships between the mentioned problems and some instances of the classical Turán problem. Moreover, we study the visibility problems for cographs and several non-trivial diameter-two graphs of minimum size.