bipartite graph
2574 papers tagged with this keyword
The distance spectrum of the line graph of the crown graph
The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. The crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. Using the equitable partition method, the set of distinct distance eigenvalues of the graph $L(Cr(n))$ has been determined which shows that this graph is distance integral [S.Morteza Mirafzal, The line graph of the crown graph is distance integral, Linear and Multilinear Algebra 71, no. 4 (2023): 662-672]. The distance spectrum of the graph $L(Cr(n))$ has not been found yet. In this paper, having the set of distance eigenvalues of $L(Cr(n))$ in the hand, we determine the distance spectrum of this graph.
Matchings with Prescribed Color Counts
In this note, we prove an interesting result about perfect matchings in a complete bipartite graph with 2n vertices on each side, whose edges are colored in red and blue such that each vertex is part of n red edges and n blue edges.
Spectral Turán problem for $\mathcal{K}_{3,3}^{-}$-free signed graphs
The classical spectral Turán problem is to determine the maximum spectral radius of an $\mathcal{F}$-free graph of order $n$. Zhai and Wang [Linear Algebra Appl, 437 (2012) 1641-1647] determined the maximum spectral radius of ${C}_{4}$-free graphs of given order. Additionally, Nikiforov obtained spectral strengthenings of the Kővari-Sós-Turán theorem [Linear Algebra Appl, 432 (2010) 1405-1411] when the forbidden graphs are complete bipartite. The spectral Turán problem concerning forbidden complete bipartite graphs in signed graphs has also attracted considerable attention. Let $\mathcal{K}_{s,t}^-$ be the set of all unbalanced signed graphs with underlying graphs $K_{s,t}$. Since the cases where $s=1$ or $t=1$ do not conform to the definition of $\mathcal{K}_{s,t}^-$, it follows that $s,t\geq 2$. Wang and Lin [Discrete Appl. Math, 372 (2025) 164-172] have solved the case of $s=t=2$ since $\mathcal{K}_{2,2}^-$ is $\mathcal{C}_{4}^{-}$ in this situation. This paper gives an answer for $s=t=3$ and completely characterizes the corresponding extremal signed graphs.
Backbone colouring of chordal graphs
Published
• View Publication
• BIB
A proper $k$-colouring of a graph $G=(V,E)$ is a function $c: V(G)\to \{1,\ldots,k\}$ such that $c(u)\neq c(v)$ for every edge $uv\in E(G)$. The chromatic number $χ(G)$ is the minimum $k$ such that there exists a proper $k$-colouring of $G$. Given a spanning subgraph $H$ of $G$, a $q$-backbone $k$-colouring of $(G,H)$ is a proper $k$-colouring $c$ of $G$ such that $\lvert c(u)-c(v)\rvert \ge q$ for every edge $uv\in E(H)$. The $q$-backbone chromatic number ${\rm BBC}_q(G,H)$ is the smallest $k$ for which there exists a $q$-backbone $k$-colouring of $(G,H)$. In their seminal paper, Broersma et al.~\cite{BFGW07} ask whether, for any chordal graph $G$ and any spanning forest $H$ of $G$, we have that ${\rm BBC}_2(G,H)\leq χ(G)+O(1)$.
In this work, we first show that this is true as long as $H$ is bipartite and $G$ is an interval graph in which each vertex belongs to at most two maximal cliques. We then show that this does not extend to bipartite graphs as backbone by exhibiting a family of chordal graphs $G$ with spanning bipartite subgraphs $H$ satisfying ${\rm BBC}_2(G,H)\geq \frac{5χ(G)}{3}$. Then, we show that if $G$ is chordal and $H$ has bounded maximum average degree (in particular, if $H$ is a forest), then ${\rm BBC}_2(G,H)\leq χ(G)+O(\sqrt{χ(G)})$. We finally show that ${\rm BBC}_2(G,H)\leq \frac{3}{2}χ(G)+O(1)$ holds whenever $G$ is chordal and $H$ is $C_4$-free.
A spectral condition for Hamilton cycles in tough bipartite graphs
Published
• View Publication
• BIB
Let $G$ be a graph. The {\em spectral radius} of $G$ is the largest eigenvalue of its adjacency matrix. For a non-complete bipartite graph $G$ with parts $X$ and $Y$, the {\em bipartite toughness} of $G$ is defined as $t^{B}(G)=\min\left\{\frac{|S|}{c(G-S)}\right\}$, where the minimum is taken over all proper subsets $S\subset X$ (or $S\subset Y$) such that $c(G-S)>1$. In this paper, we give a sharp spectral radius condition for balanced bipartite graphs $G$ with $t^{B}(G)\geq1$ to guarantee that $G$ contains Hamilton cycles. This solves a problem proposed in \cite{CFL}.
Slow graph bootstrap percolation III: Chain constructions
Published
• View Publication
• BIB
For graphs $H$, we study the extremal function $M_H(n)$ which is the maximum running time (until stabilisation) of an $H$-bootstrap percolation process on $n$ vertices. Building on previous work in the clique case $H=K_k$, we develop a general framework of chain constructions. We demonstrate the flexibility of this framework by applying several variations of the method to give lower bounds on $M_H(n)$ for a wide variety of different graphs $H$ including dense graphs, random graphs and complete bipartite graphs. In particular, we focus on the question of whether $M_H(n)$ is (almost) quadratic or not and our lower bounds develop connections with additive combinatorics, utilising constructions of sets free of solutions to certain linear equations. Finally, our lower bounds are complemented by upper bounds which connect $M_H(n)$ to other problems in extremal graph theory such as the Ruzsa-Szemerédi (6,3)-Theorem.
On the Equivalence of the Graph-Structural and Optimization-Based Characterizations of Popular Matchings
Popular matchings provide a model of matching under preferences in which a solution corresponds to a Condorcet winner in voting systems. In a bipartite graph in which the vertices have preferences over their neighbours, a matching is defined to be popular if it does not lose in a majority vote against any matching. In this paper, we study the following three primary problems: only the vertices on one side have preferences; a generalization of this problem allowing ties in the preferences; and the vertices on both sides have preferences. A principal issue in the algorithmic aspects of popular matchings is how to determine the popularity of a matching, because it requires exponential time if the definition is simply applied. In the literature, we have the following two types of characterizations: a graph-structural characterization; and an optimization-based characterization described by maximum-weight matchings. The graph-structural characterizations are specifically designed for each problem and provide a combinatorial structure of the popular matchings. The optimization-based characterizations work in the same manner for all problems, while they do not reveal the structure of the popular matchings. A main contribution of this paper is to provide a direct connection of the above two types of characterizations for all of the three problems. Specifically, we prove that each characterization can be derived from the other, without relying on the fact that they characterize popular matchings. Our proofs offer a comprehensive understanding of the equivalence of the two types of characterizations, and suggest a new interpretation of the graph-structural characterization in terms of the dual optimal solution for the maximum-weight matching problem.
A family of regular integral graphs and its application to the $n$-Queens' graph
A family of regular integral graphs introduced in [I.F.S. Costa, The $n$-Queens graph and its generalizations, Ph.D. Thesis, University of Aveiro 2024], denoted by ${\cal T}(n)$ and herein called triangular graphs, is analysed. In this analysis, the consistent structure of the graph spectra and the patterns of the corresponding eigenvectors are highlighted. The properties of these graphs are examined and applied to the decomposition of the $n$-Queens' graph into three distinct families: a family of a single graph whose components are two triangular graphs, ${\cal T}(n)$ and ${\cal T}(n-1)$, a family of a single graph whose components are cliques and a family of complete bipartite graphs. Finally, using Weyl's inequalities, we introduce some techniques to establish lower and upper bounds on the eigenvalues of the $n$-Queens' graph.
Binary matroids and degree-boundedness for pivot-minors
We prove that for every bipartite graph $H$ and positive integer $s$, the class of $K_{s,s}$-subgraph-free graphs excluding $H$ as a pivot-minor has bounded average degree. Our proof relies on the announced binary matroid structure theorem of Geelen, Gerards, and Whittle.
Along the way, we also prove that every $K_{s,t}$-free bipartite circle graph with $s\le t$ has a vertex of degree at most $\max\{2s-2, t-1\}$ and provide examples showing that this is tight.
On $k$-coalition in graphs: bounds and exact values
Given a graph $G=\big{(}V(G),E(G)\big{)}$, a set $S\subseteq V(G)$ is called a $k$-dominating set if every vertex in $V(G)\setminus S$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a $k$-coalition in $G$ if neither set is a $k$-dominating set in $G$ but their union $A\cup B$ is a $k$-dominating set. A partition $Ω$ of $V(G)$ is a $k$-coalition partition if each set in $Ω$ is either a $k$-dominating set of cardinality $k$ or forms a $k$-coalition with another set in $Ω$. The $k$-coalition number $C_{k}(G)$ equals the maximum cardinality of a $k$-coalition partition of $G$. In this work, we give general upper and lower bounds on this parameter. In particular, we show that if $G$ has minimum degree $δ\ge 2$ and maximum degree $Δ\ge 4 \lfloor δ/2 \rfloor$, then $C_{2}(G) \leq (Δ-2\lfloor δ/2 \rfloor+1)(\lfloor δ/2 \rfloor+1) + \lceil δ/2 \rceil+1$, and this bound is sharp. If $T$ is a tree of order~$n \ge 2$, then we prove the upper bound $C_{2}(T) \leq \big\lfloor \frac{n}{2}\big\rfloor+1$ and we characterize the extremal trees achieving equality in this bound. We determine the exact value of $C_{k}(G)$ for any cubic graph $G$ and $k\geq2$. Finally, we give the exact value of $C_{k}$ for any complete bipartite graph, which completes a partial result and resolves an issue from an earlier paper.
Bipartite graphs with minimum degree at least 15 are antimagic
Published
• View Publication
• BIB
An antimagic {labeling} of a graph $G=(V,E)$ is a one-to-one mapping $f: E\rightarrow\{1,2,\ldots,|E|\}$, ensuring that the vertex sums in $V$ are pairwise distinct, where a vertex sum of a vertex $v$ is defined as the sum of the labels of the edges incident to $v$. A graph is called antimagic if it admits an antimagic labeling. The Antimagic Labeling Conjecture, proposed by Hartsfield and Ringel in 1990, posits that every connected graph other than $K_2$ is antimagic. The conjecture was confirmed for graphs of average degree at least 4,182 in 2016 by Eccles, where it was stated that a similar approach could not reduce the bound below 1,000 from 4,182.
This paper shows that every bipartite graph with minimum degree at least 15 is antimagic. Our approach relies on three tools: a consequence of König's Theorem, the existence of a subgraph of a specific size that avoids Eulerian components, and a labeling lemma that ensures some vertex sums are divisible by three while others are not.
Supersaturation via edge-gluing
In 1984, Erdős and Simonovits conjectured the following: given a bipartite graph $H$, there exist constants $β, C > 0$ such that any graph $G$ on $n$ vertices and $pn^2\geq C \mathrm{ex}(n, H)$ edges contains at least $βn^{\mathrm{v}(H)} p^{\mathrm{e}(H)}$ copies of $H$. We show that edge-gluing preserves the satisfiability of this conjecture under some mild symmetry conditions. Namely, if two graphs $H_1$ and $H_2$ satisfy this conjecture, and if furthermore, gluing them along a fixed edge produces a unique graph then the resulting graph satisfies the conjecture as well.
In the same paper, Erdős and Simonovits conjectured a weaker statement: for every $H$, there is some $α, β, C > 0$ such that any graph $G$ on $n$ vertices and $pn^2\geq C n^{1+ α}$ edges contains at least $βn^{\mathrm{v}(H)} p^{\mathrm{e}(H)}$ copies of $H$. We show that if $H$ satisfies this conjecture then by gluing several copies of labeled $H$ along the same copy of a subforest of $H$ produces a graph that also satisfies the conjecture.
Sidorenko-Type Inequalities for Even Subdivisions over Finite Abelian Groups
Sidorenko's conjecture asserts that every bipartite graph $H$ has the property that, for any host graph $G$, the homomorphism density from $H$ to $G$ is asymptotically at least as large as in a quasirandom graph with the same edge density as $G$. While the conjecture remains still very open, Szegedy showed that it suffices to verify the inequality when the host graph is a Cayley graph over a finite group.
In this paper, we prove that Sidorenko's conjecture holds for all even subdivisions of arbitrary graphs when the host graph is a Cayley graph over an abelian group. That is, if each edge of a graph is replaced by a path of even length (allowing different lengths for different edges), then the resulting graph satisfies the Sidorenko's inequality in any abelian Cayley host graph.
Our approach reduces the homomorphism count to the evaluation of certain averages over solution sets of linear systems over finite abelian groups, and proceeds using Fourier-analytic techniques.
Extremal Degree Irregularity Bounds for Albertson and Sigma Indices in Trees and Bipartite Graphs
In this paper, the study of extreme value bounds for topological indices is crucial for understanding their influence on trees and bipartite graphs. For integers $α, p$ satisfying $1 \leq p \leq α\leq Δ- 3$, the minimum Albertson index $\operatorname{irr}_{\min}$ has the following lower bound: $$ \operatorname{irr}_{\min} \geq Δ^2 (Δ- 1) \frac{2^α}{(Δ- p)^2}. $$ This work examines the maximum and minimum values of the Albertson index in bipartite graphs, depending on the sizes of their bipartition sets. Utilizing a known corollary, explicit formulas and bounds are derived to characterize the irregularity measure under various vertex size conditions. Additionally, upper bounds for the Albertson and Sigma indices are established using graph parameters such as degrees and edge counts. The theoretical findings are illustrated with examples and inequalities involving degree sequences, advancing the understanding of extremal irregularity behavior in bipartite graphs.
Spectral extremal problems for degenerate graphs
A family of graphs is called degenerate if it contains at least one bipartite graph. In this paper, we investigate the spectral extremal problems for a degenerate family of graphs $\mathcal{F}$. By employing covering and independent covering of graphs, we establish a spectral stability result for $\mathcal{F}$. Using this stability result, we prove two general theorems that characterize spectral extremal graphs for a broad class of graph families $\mathcal{F}$ and imply several new and known results. Meanwhile, we establish the correlation between extremal graphs and spectral extremal graphs for $\mathcal{F}$.
New Sufficient Conditions for Linear-Sized Epsilon-Nets and $(p,2)$-Theorems
An $ε$-net theorem for a hypergraph upper bounds the minimum size of a vertex set that pierces all $ε$-heavy hyperedges. A $(p,2)$-theorem bounds from above the minimum size of a vertex set that pierces all hyperedges, in terms of the maximum size of a set of pairwise disjoint hyperedges. Numerous works studied $ε$-net theorems and $(p,2)$-theorems that guarantee the existence of small-sized piercing sets.
We focus on the question: In which settings the asymptotically smallest possible piercing sets -- i.e., $ε$-nets of size $O(\frac{1}ε)$ and piercing sets of size $O(p)$ in $(p,2)$-theorems, are guaranteed? We obtain several sufficient criteria for the existence of such linear $ε$-net theorems and $(p,2)$-theorems that unveil interesting connections to graph theory and improve and generalize several previous results. Most notably, we exhibit an unexpected relation of $ε$-nets to the classical Zarankiewicz's problem in graph theory. We show that a linear bound in the Zarankiewicz-type problem that asks for the maximum size of a bipartite graph with no copy of $K_{2,t}$, implies a linear $ε$-net theorem for the corresponding neighborhood hypergraph. We also show that hypergraphs with a hereditarily linear-sized Delaunay graph admit an almost linear $(p,2)$-theorem, and deduce that incidence hypergraphs of non-piercing regions in the plane admit a linear $(p,2)$-theorem, significantly improving previous results on such hypergraphs.
Our work presents a landscape of sufficient conditions for the existence of linear $ε$-net theorems and $(p,2)$-theorems, with complex interrelations between them. Many of the interrelations are still unknown and call for future research.
A Study of the Binary and Boolean Rank of Matrices with Small Constant Real Rank
Published
• View Publication
• BIB
We initiate the study of the binary and Boolean rank of $0,1$ matrices that have a small rank over the reals. The relationship between these three rank functions is an important open question, and here we prove that when the real rank $d$ is a small constant, the gap between the real and the binary and Boolean rank is a small constant. We give tight upper and lower bounds on the Boolean and binary rank of matrices with real rank $1 \leq d \leq 4$, as well as determine the size of the largest isolation set in each case. Furthermore, we prove that for $d = 3,4$, the circulant matrix defined by a row with $d-1$ consecutive ones followed by $d-1$ zeros, is the only matrix of size $(2d-2)\times (2d-2)$ with real rank $d$ and Boolean and binary rank and isolation set of size $2d-2$, and this matrix achieves the maximal gap possible between the real and the binary and Boolean rank for these values of $d$.
Our results can also be interpreted in other equivalent terms, such as finding the minimal number of bicliques needed to partition or cover the edges of a bipartite graph whose reduced adjacency matrix has real rank $1 \leq d \leq 4$. We use a combination of combinatorial and algebraic techniques combined with the assistance of a computer program.
A simple layered-wheel-like construction
Published
• View Publication
• BIB
In recent years, there has been significant interest in characterizing the induced subgraph obstructions to bounded treewidth and pathwidth. While this has recently been resolved for pathwidth, the case of treewidth remains open, and prior work has reduced the problem to understanding the layered-wheel-like obstructions -- graphs that contain large complete minor models with each branching set inducing a path; exclude large walls as induced minors; exclude large complete bipartite graphs as induced minors; and exclude large complete subgraphs.
There are various constructions of such graphs, but they are all rather involved. In this paper, we present a simple construction of layered-wheel-like graphs with arbitrarily large treewidth. Three notable features of our construction are: (a) the vertices of degree at least four can be made to be arbitrarily far apart; (b) the girth can be made to be arbitrarily large; and (c) every outerstring induced subgraph of the graphs from our construction has treewidth bounded by an absolute constant. In contrast, among several previously known constructions of layered wheels, none achieves (a); at most one satisfies either (b) or (c); and none satisfies both (b) and (c) simultaneously.
In particular, this is related to a former conjecture of Trotignon, that every graph with large enough treewidth, excluding large walls and large complete bipartite graphs as induced minors, and large complete subgraphs, must contain an outerstring induced subgraph of large treewidth. Our construction provides the first counterexample to this conjecture that can also be made to have arbitrarily large girth.
Regularization and asymmetric extremal numbers of subdivisions
Given a real $μ\geq 1$, a graph $H$ is $μ$-almost-regular if $Δ(H)\leq μδ(H)$. The celebrated regularization theorem of Erdős and Simonovits states that for every real $0<\varepsilon<1$ there exists a real $μ=μ(\varepsilon)$ such that every $n$-vertex graph $G$ with $Ω(n^{1+\varepsilon})$ edges contains an $m$-vertex $μ$-almost-regular subgraph $H$ with $Ω(m^{1+\varepsilon})$ edges for some $n^{\varepsilon\frac{1-\varepsilon}{1+\varepsilon}}\leq m\leq n$. We develop an enhanced version of it in which the subgraph $H$ also has average degree at least $Ω(\frac{d(G)}{\log n})$, where $d(G)$ is the average degree of $G$. We then give a bipartite analogue of the enhanced regularization theorem.
Using the bipartite regularization theorem, we establish upper bounds on the maximum number of edges in a bipartite graph with part sizes $m$ and $n$ that does not contain a $2k$-subdivision of $K_{s,t}$ or $2k$-multi-subdivisions of $K_p$, thus extending the corresponding work of Janzer to the bipartite setting for even subdivisions. We show these upper bounds are tight up to a constant factor for infinitely many pairs $(m,n)$. The problem for estimating the maximum number of edges in a bipartite graph with part sizes $m$ and $n$ that does not contain a $(2k+1)$-subdivision of $K_{s,t}$ remains open.
On a magneto-spectral invariant on finite graphs
In this paper, we introduce a magneto-spectral invariant for finite graphs. This invariant vanishes on trees and is maximized by complete graphs. We compute this invariant for cycles, complete graphs, wheel graphs, hypercubes, complete bipartite graphs and suspensions of trees and derive various lower and upper bounds. In particular, we provide a sharp upper bound for regular bipartite graphs and derive a direct relation between the class of graphs assuming this upper bound and the class of unit weighing matrices, which are generalizations of complex Hadamard matrices. Moreover, this class of bipartite graphs has non-negative magnetic Bakry-Émery curvature and is preserved under both the Cartesian product and a partial tensor product for bipartite graphs. The study of our invariant for certain pairs of cospectral graphs indicates also that this invariant allows us to distinguish between them. Finally, we discuss the behaviour of this invariant under various graph operations and investigate relations to the spectral gap.