bipartite graph
2511 papers tagged with this keyword
On the Spectrum of the Line Graph of a Family of Bipartite Graphs Arising from the Boolean Lattice
The Boolean lattice $BL_n$, $n\geq 3$, is the graph whose vertex set is the collection of all subsets of $[n]=\{1,2,\ldots,n\}$, where two subsets $U$ and $W$ are adjacent if and only if their symmetric difference has precisely one element. In the graph $BL_n$, the \emph{layer} $L_k$ is the family of all $k$-element subsets of $[n]$. The subgraph $BL_n(k-1,k)$ is the induced subgraph of $BL_n$ on layers $L_{k-1}$ and $L_{k}$. This graph is bipartite and, when $n=2k-1$, is $k$-regular and isomorphic to the bipartite double cover $2{\cdot}O_k$ of the odd graph $O_k$. In this paper, we determine the full adjacency spectrum -- eigenvalues together with their multiplicities -- of the line graph $L(BL_n(k-1,k))$ for all admissible values of $n$ and $k$. As a consequence, we show that $L(BL_n(k-1,k))$ is an integral graph whenever $n = 2k-1$, and we recover as a special case the spectrum of the line graph $L(n)$ of $BL_n(1,2)$ established by Mirafzal~\cite{pap-sm-1}.
Path-Minimality for Positive $p$-Energies, Laplacian-Type Spectra, and Line Graphs
We derive several applications of the path-minimality theorem for adjacency $p$-energy proved in the companion paper. First, we prove the sharp inequality $$
\mathcal E_p^+(G)\ge \mathcal E_p^+(P_n), $$ where $P_n$ is the path on $n$ vertices, in three settings: connected bipartite graphs for every real $p\ge2$, all connected graphs for every odd integer $p\ge3$, and all connected graphs for $p=4$. Second, using subdivision graphs, we prove path-minimality for Laplacian and signless Laplacian-type spectral sums, including power sums, Estrada-type quantities, resolvent energies, and thresholded tails. Third, we prove an edge-count second-order stop-loss comparison for the signless Laplacian above the threshold $2$. This yields the sharp line-graph inequality $$
\mathcal E_p^+(\mathcal L(G))\ge \mathcal E_p^+(P_m) $$ for every connected graph $G$ with $m$ edges and every real $p\ge2$.
On the Complexity of Counting Orderings in Graphs
We study the computational complexity of several counting problems on graphs. Each of these problems consists of counting orderings of the vertices or edges with adjacency constraints. We show $\#P$-completeness for all of them via a common new technique. Given a counting function $C$ of interest, we define a parameterized family of instances $G_q$, where the parameter $q$ controls the amplification of a simple gadget. After multiplying by an explicit factor $f(q)$, we show that the values of $f(q) \cdot C(G_q)$, for positive integers $q$, agree with a rational function in $q$ whose numerator and denominator can be interpolated in polynomial time. We then recover a $\#P$-hard function by evaluating this rational function symbolically at a limiting value $L \in \mathbb{Q} \cup \{\infty, -\infty\}$. With this methodology, we show $\#P$-completeness for the following counting problems: (a) successive vertex orderings of bipartite graphs, (b) st-numberings of graphs, (c) shellings of bipartite graphs, (d) linear extensions of N-free posets of height $3$, and (e) linear extensions of posets of height $2$. Result (d) settles a conjecture of Felsner and Manneville (2015). Although result (e) was first proved by Dittmer and Pak (2018), we include an alternative proof, using our technique, that does not rely on the result of Brightwell and Winkler (1991) about the hardness of counting linear extensions for general posets.
On Zero-sum Ramsey numbers of complete bipartite graphs
For an integer $q\ge 2$ and a graph $F$ satisfying $q\mid e(F)$, the zero-sum Ramsey number $R(F,\mathbb Z_q)$ is the least integer $n$ such that every edge-labeling $w\colon E(K_n)\to \mathbb Z_q$ contains a copy of $F$ whose edge-label sum is zero in $\mathbb Z_q$. Write $K_{s,t}$ for the complete bipartite graph with $s$ vertices on one side and $t$ vertices on the other side.
We prove that for every $q\ge2$, there is an explicit threshold $S(q)$ such that $R(K_{s,qk},\mathbb Z_q)=s+qk$ for all $s\ge S(q)$ and all $k\ge1$. We also determine the zero-sum Ramsey number of $K_{s,3k}$ over $\mathbb Z_3$ for all $s\ge2$ and $k\ge1$. We prove that $R(K_{s,3k},\mathbb Z_3)=s+3k$, except when $s=2$ and $k\ge1$, or when $s\in\{3,4,5,7\}$ and $k=1$. In these exceptional cases, $R(K_{s,3k},\mathbb Z_3)=s+3k+1$. In particular, this shows that the threshold $S(q)$ is best possible for \(q=3\).
An Improved Upper Bound for the Bilu-Linial Conjecture via Interlacing Families
The Bilu-Linial conjecture asserts that every $d$-regular graph admits a signing $σ$ such that the spectral radius of the signed adjacency matrix $A_σ$ satisfies $ρ(A_σ)\le 2\sqrt{d-1}$. Bilu and Linial also proved the weaker bound $O(\sqrt{d\log^3 d})$ for graphs of maximum degree $d$. Marcus, Spielman, and Srivastava confirmed the conjecture in the case of $d$-regular bipartite graphs. In this paper, we prove that every graph of maximum degree $d$ has a signing $σ$ such that $$ρ(A_σ)\le 2\sqrt{3(d-1)}.$$ This removes the polylogarithmic factor from the estimate of Bilu and Linial and gives an explicit $2\sqrt{3(d-1)}$ two-sided spectral bound.
The proof builds on the method of interlacing polynomials introduced by Marcus, Spielman, and Srivastava, together with results on mixed characteristic polynomials established by Marcus, Spielman, and Srivastava and by Bownik.
Algorithms for the Maximum Edge Open Packing Problem
Packing problems form a central theme in graph theory, owing to their relevance in
modeling conflict-free resource allocation, network design, and communication
constraints. Motivated by applications in wireless networks where each device can
participate in at most one communication at a time and simultaneous links must
avoid interference we consider a generalization of induced matching known as
\emph{edge open packing}. Two edges of a graph are said to conflict if a third
edge connects one endpoint of each; an \emph{edge open packing set} is a set of
edges containing no such conflicting pair. The largest cardinality of such a set
is the \emph{edge open packing number} of a graph.
In this work, we study the computational complexity of the Maximum Edge Open
Packing Problem. We give a polynomial-time algorithm for the problem in
\emph{distance-hereditary graphs}, exploiting their canonical decomposition via
twin-set interactions. We further show that the problem remains polynomial-time
solvable on \emph{biconvex bipartite graphs}, thereby identifying a tractable
subclass within bipartite graphs, in contrast to the known NP-hardness of the
problem on Eulerian bipartite graphs. Finally, we initiate the parameterized
complexity study of the problem and present a fixed-parameter tractable algorithm
for \emph{chordal graphs}, parameterized by the clique number $ω$, running
in $O(2^ω\cdot\mathrm{poly}(n))$ time.
Structural Properties and Applications of the Augmented Sombor Index
Topological indices are key quantitative descriptors in mathematical chemistry, unchanged under symmetry operations and retaining graph connectivity; they capture molecular structural features to provide insights into molecular stability and chemical properties, becoming indispensable in cheminformatics and theoretical chemistry. Among degree-based indices, the \textbf{Sombor index} is widely concerned for capturing structural information, and motivated by enhanced structural discrimination, the \textbf{augmented Sombor index} ($ASO$) is defined for a connected graph $Ω$ with $|V(Ω)|\geq 3$ as $$ASO(Ω) = \sum_{v_iv_j\in E(Ω)} \sqrt{\frac{d_i^2 + d_j^2}{d_i + d_j - 2}},$$ where $d_i$ and $d_j$ are the degrees of vertices $v_i$ and $v_j$, respectively. Within the scope of this study, we first establish several sharp bounds for the augmented Sombor index and characterize the extremal graphs attaining these bounds. In particular, we determine the minimum value of the $ASO$ index for unicyclic graphs with a prescribed girth and characterize all graphs achieving this minimum. We also identify the second maximum $ASO$ value among trees and characterize the corresponding extremal tree structures. Furthermore, the minimum and maximum values of the $ASO$ index for bipartite graphs and chemical graphs are obtained, together with a complete characterization of the associated extremal graphs. In addition, we characterize the chemical trees that maximize the $ASO$ index. The chemical applicability of the $ASO$ index is investigated through quantitative structure-property relationship (QSPR) analysis, supported by a comparative assessment of several variants of the Sombor index. Finally, we present concluding remarks and outline potential directions for future research on the augmented Sombor index of graphs.
Maximum Forest Number of General Bipartite Graphs: Structural and Complexity Results
Recent results established the maximum forest number $f(B)$ for balanced bipartite graphs under Ore-type degree sum conditions. In this paper, we extend these results by determining the exact value of the maximum forest number as a closed-form formula for general bipartite graphs under Ore-type conditions, answering an open question posed by Yu. We prove that the maximum forest number is bounded by a discrete optimization over at most six critical structural coordinate points dictated by hyperbolic density constraints. Furthermore, we establish that deciding whether a specific balanced bipartite graph on $2n$ vertices has a forest number of at least $n+2$ is NP-complete. This implies that while the maximum possible forest number can be exactly bounded, computing the exact forest number for a given graph remains computationally intractable, and a simple structural characterization via finite forbidden induced subgraphs cannot exist unless P = NP.
Maker-Breaker Sabotage Game
The Maker-Breaker sabotage game is played on a graph $G$ by Runner and Blocker. They play in turns, Runner first moves along a not yet traversed edge from her current position, afterwards Blocker removes one edge. The goal of Runner is to visit as many vertices of $G$ as possible, Blocker's goal is opposite. Assuming that both players use optimal strategies, the number of vertices visited by Runner determines an invariant called the sabotage number ${\rm sab}(G)$ of $G$. A formula for the sabotage number of an arbitrary tree is proved which can be evaluated in polynomial time. For a unicyclic graph $G$ it is proved that ${\rm sab}(G)\in \{{\rm sab}^-(G), {\rm sab}^-(G)+1\}$, where ${\rm sab}^-(G)$ is the lower sabotage number of $G$. The sabotage number of a bridgeless subcubic graph is sharply bounded from the above by the maximum girth. The sabotage number is also bounded for complete bipartite graphs and generalized Sierpiński graphs, and determined exactly in some special cases.
On the homology groups of clique complexes of strongly regular graphs
In this paper, we study the first homology groups of clique complexes of strongly regular graphs over arbitrary fields and prove that most of these graphs have trivial first clique homology groups. Using Neumaier's classification of strongly regular graphs with smallest integral eigenvalue, we show that a non-vanishing first homology group may occur only in a short collection of cases: the Petersen graph, the Shrikhande graph, the complete bipartite graphs, the conference graphs on at most $255$ vertices, the lattice graphs, and the exceptional families $E_m$ in Neumaier's classification of strongly regular graphs with smallest adjacency eigenvalue $-m$, for some integer $m \geq 3$. Let $\text{Cl}(G)$ denote the clique complex of a graph $G$, $H_i(\text{Cl}(G),\mathbb{F})$ be the $i$-th homology group of $\text{Cl}(G)$ over the field $\mathbb{F}$, for some $i\geq 1$, and $λ_{min}(G)$ denote the smallest eigenvalue of the adjacency matrix of $G$. We prove that if $(G_n)_{n\geq 1}$ is an infinite family of pairwise distinct strongly regular graphs and $(\mathbb{F}_n)_{n\geq 1}$ is a sequence of fields such that $H_1(\text{Cl}(G_n), \mathbb{F}_n)\not=0$ for every $n$, then either $G_n$ is a lattice graph for infinitely many $n$, or $\lim_{n\rightarrow +\infty} λ_{\min}(G_n)=-\infty$.
For Latin square graphs, we determine the clique homologies over arbitrary fields and show that if $G$ is the strongly regular graph associated with a Latin square $M$ of order $n \geq 5$ and $\mathbb{F}$ is any field, then $H_i(\text{Cl}(G),\mathbb{F})=0$ for $i=1$ or $i \geq 3$, and $\dim H_2(\text{Cl}(G),\mathbb{F})=(n-1)^3-I(M),$ where $I(M)$ is the number of $2 \times 2$ Latin subsquares or intercalates in $M$.
Pseudoshattering Pairs
For two vectors $x,y\in [b]^k$, consider the bipartite graph with two copies of $[b]$ in which $i$ on the left is joined to $j$ on the right if $(x_t,y_t)=(i,j)$ for some coordinate $t$. We study the largest size of a family $C\subseteq [b]^k$ such that, for every two distinct $x,y\in C$, this bipartite graph contains a cycle.
We give a natural construction for such families and conjecture that it is optimal whenever $k$ is large relative to $b$. We prove an LYM-type upper bound that is asymptotically tight with respect to this construction, and is exact when $k$ is large and divisible by $b$. We then refine the argument using a circular ordering, obtaining the sharp full-support bound when $k\equiv -1\pmod b$. In the case $b=3$, we prove the exact general result when $k\equiv -1\pmod 3$ and $k$ is sufficiently large. The problem is motivated by the Daniely--Shalev-Shwartz dimension and the pseudocube formulation of a higher-alphabet Sauer-Shelah-Perles lemma.
Reconfiguration of Nowhere-zero Flows
Fix an abelian group $A$, a graph $G$, and nowhere-zero $A$-flows $f'$ and $f''$ on $G$. Now $f'$ and $f''$ are \emph{$A$-flow-adjacent} if there exists a cycle $C$ in $G$ such that $f'(e)-f''(e)=0$ for all edges $e\notin E(C)$. And $f'$ and $f''$ are \emph{$A$-flow-equivalent} if there exists a sequence $f_0,\ldots,f_s$ of $A$-flows such that $f_0=f'$, $f_s=f''$, and $f_i$ and $f_{i-1}$ are $A$-flow-adjacent for all $i\in[s]$. Given a group $A$, we seek conditions on a graph $G$ such that all $A$-flows on $G$ are pairwise $A$-flow-equivalent; in this case, we say that $G$ is \emph{$A$-flow-connected}. Analogously, we define $k$-flow-connectedness for nowhere-zero (integer) $k$-flows. The notions of $A$-flow-connectedness and $k$-flow-connectedness were first investigated by Esperet et al., who showed, among other results, that every $2$-edge-connected graph is $A$-flow-connected whenever $A=\mathbb{Z}_2^8$ or $|A| \ge 1.15\times 10^{694}$.
In this paper, we first characterize the graphs that are $\mathbb{Z}_3$-flow-connected and that are $3$-flow-connected. We show that every 2-edge-connected graph is $A$-flow-connected if and only if this is true for every 2-edge-connected cubic graphs. We show that all cubic bipartite graphs are $\mathbb{Z}_4$-flow-connected, and construct other cubic graphs that are and are not $\mathbb{Z}_4$-flow-connected. We conjecture that every Eulerian graph is $k$-flow-connected and $A$-flow-connected whenever $k$ or $|A|$ is even; and provide evidence for this conjecture. Finally, we consider $4$-edge-connected graphs $G$. Here, we show that $G$ is $A$-flow-connected whenever $|A|\ge 5.3\times 10^6$.
Asymmetric induced saturation
For which graphs $H$ does there exist a graph $G$ with at least one edge and no induced subgraph isomorphic to $H$, such that deleting any edge of $G$ creates an induced copy of $H$? We call such a graph "$H$-deletion-saturated". This version of the well-studied notion of "$H$-induced-saturated" graphs -- where both adding and deleting any edge creates an induced copy of $H$ -- appears more tractable. For example, while it remains wide open whether $H$-induced-saturated graphs exist for every even cycle $H$, we proved recently that deletion-saturated graphs exist for all even cycles. In fact, apart from complete graphs, no graph $H$ is known for which $H$-deletion-saturated graphs do not exist. We conjecture that $H$-deletion-saturated graphs exist for every non-complete graph $H$, and prove this conjecture for several types of graphs, including: complete bipartite graphs with parts of unequal size, triangle-free graphs with one cycle, graphs with two leaves at distance at most three, and line graphs of trees. In fact, in all cases, we prove the conjecture for substantially more general families. We also verify our conjecture for every graph $H$ on at most six vertices.
Structural Reductions for Monochromatic Matchings and Ramsey Tilings
The Alon--Frankl--Lovász theorem determines the chromatic number of Kneser hypergraphs; equivalently, it gives the sharp minimum size of a monochromatic matching in every \(r\)-edge-colouring of the complete \(t\)-uniform hypergraph. The known proofs of the exact theorem are topological. We develop a topology-free structural framework for its asymptotic form and for related sparse and tiling problems.
Our main theorem shows that every \(r\)-colouring of a sufficiently pseudo-random \(t\)-graph can be reduced, with only \(o(n)\) loss in the largest monochromatic matching, to a colouring of \(K_n^{(t)}\) whose vertex set is partitioned into at most \(r\) parts and whose edge colours depend only on intersection profiles. The proof combines hypergraph regularity, LP duality, and convex-geometric compression. As consequences, we obtain a topology-free proof of the asymptotic AFL theorem, a sparse random transference theorem, and near-exact bounds in a linear-uniformity regime of Meunier's stable Kneser conjecture.
For a graph \(H\), let \(Rt_r(H;K_n)\) be the minimum, over all \(r\)-edge-colourings of \(K_n\), of the largest monochromatic \(H\)-tiling. We prove \[ Rt_r(H;K_n)=(β_{r,H}+o(1))n, \] where \(β_{r,H}\) is effectively computable from finitely many linear programs depending only on \(H\) and \(r\). An additional multipartite Ramsey extraction is the key ingredient needed to reconstruct consistent graph templates. This gives an effective asymptotic solution to the complete-host multicolour Ramsey-tiling problem, extending the classical two-colour theorem of Burr, Erdős and Spencer. We also determine explicit constants for several natural families, including connected non-bipartite graphs, balanced Hall-type bipartite graphs, complete bipartite graphs with three, four, and five colours, and a non-Hall bipartite example.
A Resolution of Erdős Problems 593 and 1177: Obligatory Triple Systems and Exact Spectra
We resolve Erdős Problems #593 and #1177. Problem #593 asks which finite triple systems occur in every uncountably chromatic triple system; the answer is exactly the class generated from private-vertex expansions of finite bipartite graphs by finite disjoint unions and one-point amalgamations. Equivalently, after isolated vertices are removed, a finite triple system is obligatory precisely when it is linear, every hyperedge-node of its Levi graph has an incident bridge, and every Berge cycle is even.
The proof uses an exact bridge-trace theorem for complete-rank one-apex sequence lifts. We also prove that, for every uncountable cardinal kappa, there is a linear triple system of chromatic number exactly kappa, with at most 2^{2^mu} vertices when kappa=mu^+. These two ingredients give a class-valued exact avoidance-spectrum dichotomy for every finite forbidden triple system. As a consequence, Erdős Problem #1177 has truth values yes, no, and yes.
Strong chromatic index of bipartite graphs
An edge-coloring of a graph $G$ is called a strong edge-coloring if all its color classes are induced matchings in $G$; the minimum number of colors required for such a coloring, denoted by $χ_{s}'(G)$, is known as the strong chromatic index of $G$. For each vertex $v$ of a graph $G$, let $d_G(v)$ denote the degree of $v$ in $G$. Let $G$ be a bipartite graph with partite sets $A$ and $B$, and let $Δ_A=\max\{d_G(a): a\in A\}$ and $Δ_B=\max\{d_G(b): b\in B\}$. A conjecture of Brualdi and Quinn Massey asserts that \( χ_s'(G) \le Δ_A Δ_B\). In this paper, we show that \(χ_s'(G) \le 1.676\, Δ_A Δ_B\) provided that the product $Δ_AΔ_B$ is sufficiently large.
Sidorenko Inequalities for Two-Sided Group Correlation Kernels
Sidorenko's conjecture asserts that every bipartite graph has at least the expected homomorphism density in every graph of a given edge density. Motivated by Cayley-type formulations of Sidorenko-type inequalities, we study a two-sided correlation construction on finite groups.
Let $Γ$ be a finite group and let $f:Γ\to\mathbb{R}$ be a real-valued function. We define a directed kernel on $Γ$ by $$\mathcal C_f(x,y)=|Γ|^{-1}\sum_{a_1,a_2\inΓ:\, xa_1=a_2y} f(a_1)f(a_2)=\mathbb{E}_{z\inΓ} f(x^{-1}z)f(zy^{-1}).$$ When $f=\mathbf{1}_A$, this is the normalized size of the intersection $xA\cap Ay$.
We prove that, for every finite directed graph $F$, $$t(F,\mathcal C_f)\geq t(\overrightarrow{K_2},\mathcal C_f)^{e(F)}=(\mathbb{E}_{g\inΓ}f(g))^{2e(F)}.$$ Equivalently, if $W_f^\times(x,y)=f(xy)$ is the directed product Cayley kernel on $Γ$, then the directed $1$-subdivision of every finite directed graph satisfies the same homomorphism-density lower bound in $W_f^\times$.
Optimal Small Set Expanders and Their Codes
A left-regular bipartite graph $G$ of degree $d$ is called a $(t,α)$-small-set-expander if every subset $X$ of left vertices of size at most $t$ has at least $α|X|$ neighbors. Such a graph is an optimal small-set expander if small subsets have as many neighbors as possible. We characterize optimal expanders combinatorially via girth and prove the existence of $s$-optimal expanders for every $s$. We also prove that $s$-optimality yields new "transfer" lower bounds on the number of neighbors of sets of size $h\geq s$. Finally, as an application, we discuss the use of optimal small-set expanders in building good codes for key exchange protocols in post-quantum cryptography.
Finite-Kernel Extremizers in Sparse Extremal Graph Counting
We develop a finite-kernel framework for sparse extremal graph counting. The problems considered here ask for the maximum number of copies or homomorphisms of a fixed graph under sparse edge constraints. In this regime, the leading term need not be governed by a single dense block. Instead, the extremal mass may be supported on several interacting asymptotic scales. Our framework identifies these scales via a finite-dimensional linear program, separates the leading contributions through a finite state decomposition, and synchronizes or realizes them inside a finite kernel.
We apply this framework in three settings. First, we prove the sparse threshold conjecture of Day and Sarkar for graphons. For every fixed graph $H$ without isolated vertices, we prove that \[ \sup_{t(K_2,W)\le β} t(H,W)=β^{|V(H)|-α^*(H)}(C_T(H)+o(1)) \] as $β\to0$, where $α^*(H)$ is the fractional independence number of $H$ and $C_T(H)$ is an explicit sharp constant attained by a three-step threshold graphon. Second, we affirmatively answer a question of Blekherman and Patel by showing that, for every graph $H$, whenever $m\to\infty$ and $m=o(n^{3/2})$, threshold graphs asymptotically maximize $\hom(H,G)$ among all graphs with at most $n$ vertices and at most $m$ edges. Third, Gerbner, Nagy, Patkós, and Vizer conjectured that, among all bipartite graphs with $n$ vertices and $m$ edges, the quasi-complete bipartite graph asymptotically maximizes the number of copies of every fixed bipartite graph $H$ whenever $m=ω(n)$ and $m\le n^2/4$. We disprove this conjecture in the subquadratic range and give the correct order of magnitude in terms of $κ_H(n,m)$, a finite-kernel scale defined by a finite-dimensional variational problem.
Intersecting Families of Spanning Trees of $K_{n,n}$
A family of spanning trees of a graph is $t$-intersecting if any pair of spanning trees in the family has $t$ or more edges in common. For sufficiently large $n$ and $t \leq n/C\log_2 n$ for some absolute constant $C>0$, we give a nearly complete characterization of the extremal $t$-intersecting families of spanning trees in balanced complete bipartite graphs with parts of order $n$. In particular, for $t=1$, we give exact bounds and a full characterization of the extremal families. For $t \geq 2$, our bounds are tight up to lower-order terms, and we show that any extremal $t$-intersecting family is of the form $\mathcal{F} \cup \mathcal{S}'$ where $\mathcal{F}$ is a family of all trees containing a fixed $t$-matching, and $\mathcal{S}'$ is a distinguished set of exceptional trees of size $|\mathcal{S}'| = o(|\mathcal{F}|)$.