bipartite graph
2511 papers tagged with this keyword
A palindromicity criterion for the $h$-polynomials of bipartite edge rings
We study a symmetry problem for the $h$-polynomials of edge rings of bipartite graphs. Let $G$ be a bipartite graph and write $h(\mathbb{k}[G];t)=h_0+h_1t+\cdots+h_st^s$. We prove that if $\Bbbk[G]$ is pseudo-Gorenstein and $h_1=h_{s-1}$, then $\Bbbk[G]$ is Gorenstein. Equivalently, under these assumptions the $h$-polynomial of $\Bbbk[G]$ is palindromic. The proof treats the $2$-connected case first by translating the numerical condition $h_1=h_{s-1}$ into a tight-separation condition for non-edges, and then passes to arbitrary bipartite graphs using the block decomposition. We also construct a blockwise Gorenstein closure, obtained by adjoining all non-edges not separated by tight acceptable sets, and show that this construction preserves the next-to-leading coefficient of the $h$-polynomial.
Spectral Sidorenko inequalities and edge-spectral supersaturation
We develop a spectral approach to Sidorenko-type inequalities and apply it to establish sharp edge-spectral supersaturation results. Let $H$ be a bipartite graph with $v$ vertices and $e$ edges, where $v\le e$, and write $M(G)=2e(G)$. We prove that Sidorenko's conjecture is equivalent to a spectral strengthening: \[
\hom(H,G)\ge M(G)^e |V(G)|^{v-2e} \quad \text{ if and only if }\quad \hom(H,G)\ge λ(G)^{2e-v}M(G)^{v-e}. \] We also introduce an operator-norm certificate which, via the Riesz--Thorin interpolation, gives direct proofs of the spectral Sidorenko inequality in several cases. The converse direction in the equivalence theorem is proved by a tensor-power spectral regularization lemma.
As an application, we obtain sharp asymptotic edge-spectral supersaturation results for complete bipartite graphs and even cycles. Let $S_{t-1,m}$ be the split graph with $m$ edges obtained by joining a clique $K_{t-1}$ with an independent set. For any $m$-edge graph $G$ with $λ(G)>λ(S_{t-1,m})$, $$\texttt{#} K_{t,t}(G)
\ge
\Big(\frac{2^{-(t-1)^2}}{(t!)^2}-o(1)\Big)m^t \quad \text{and}\quad
\texttt{#}C_{2t}(G)
\ge
\Big(\frac{(t-1)!}{2t^t}-o(1)\Big)m^t.$$ Both constants are best possible: the first is attained asymptotically by random graphs, while the second is attained by split graphs. The supersaturation proofs combine spectral Sidorenko inequalities with heavy-edge pruning process, a Perron-vector localized/delocalized dichotomy, and incidence-matrix inequalities.
A discrepancy dichotomy for 1-factorizations of signed complete bipartite graphs
Given a signing $σ\colon E(K_{n,n})\to\{-1,+1\}$ of the complete bipartite graph, when does $K_{n,n}$ admit a $1$-factorization in which every perfect matching has discrepancy bounded below by a positive absolute constant?
Unlike the complete-graph case resolved by Ai, He, Im, and Lee, the bipartite setting carries an unavoidable obstruction: any balanced one-sided signing -- one whose edge signs depend on a single bipartition class, with the two labels split as evenly as possible -- forces every perfect matching to have discrepancy at most $1/n$. We prove that this is essentially the only obstruction:
For every $\varepsilon>0$ there exists $c=c(\varepsilon)>0$ such that, for all sufficiently large $n$, every signing of $K_{n,n}$ either
(i) admits a $1$-factorization in which every perfect matching has discrepancy at least $c$, or
(ii) is $\varepsilon$-close, in normalized Hamming distance, to a balanced one-sided signing.
A key ingredient is a spectral stability argument forcing the sign matrix to be close to a balanced one-sided pattern when both the overall discrepancy and the density of local switching patterns are small.
What if we decompose a simple tone? The Chinese remainder theorem and structured Levi graphs in music
While motivated by structural problems in mathematical music theory, this article introduces a novel combinatorial framework that advances the classification of cyclic cubic bipartite graphs. We extend the classical study of Levi graphs by endowing their vertices with an internal algebraic anatomy -- specifically, treating them not as empty geometric nodes, but as defined subsets of a cyclic base space Z_n. This internal structure allows us to formalize and classify a highly restricted class of graph isomorphisms: those strictly induced by global affine bijections f(x) = ax+b (mod n) operating directly on the underlying base set. By applying this framework to generalized tone networks (Tonnetze) unrolled via the Chinese Remainder Theorem in composite dimensions -- specifically the classic 12-TET (3x4) and the decaphonic 10-TET (2x5) -- we reveal absolute geometric anchors for these spaces, namely the (9,4) and (6,5) systems respectively. We completely classify the topological orbits of these structured graphs, proving a fundamental architectural dichotomy: while the isomorphic landscape of 12-TET splits into an orientation-preserving family and an orientation-reversing chiral mirror (providing a rigorous foundation for musical Negative Harmony), the 10-TET space is unconditionally orientation-preserving. Finally, we demonstrate that these abstract combinatorial properties manifest as rigidly coherent, parallel auditory universes through explicit structural voice-leading maps and acoustic physical modeling synthesis.
Amply regular graphs with $μ$ close to half the valency and group divisible designs
In this paper, we classify connected amply regular graphs with diameter $d \geq 4$ and parameters $(v, k, λ, μ)$ satisfying $μ= \frac{k-1}{2}$, where $k\geq 5$ is odd. We prove that such a graph must be exactly one of the following: the $5$-cube, the graph $\K_2 \square Λ$, where $Λ$ is the unique bipartite $(0,2)$-graph on $14$ vertices, or the point--block incidence graph of a group divisible design with the dual property, namely a $GDDDP\left(2, k+1;\, k;\, 0, \frac{k-1}{2}\right)$. For the last family, we give equivalent characterizations in terms of bipartite $Q$-regular graphs and relation graphs of symmetric association schemes with five classes. Furthermore, we present constructions of such amply regular graphs, yielding infinite families of examples derived from Paley graphs, Peisert graphs, and Paley digraphs.
Localized Turán-type inequalities for $Q$-index
For a connected graph \(G\), let $q(G)$ denote the $Q$-index of $G$, i.e., the largest eigenvalue of its signless Laplacian matrix. Abreu and Nikiforov (2013) showed that \[
q(G) \leq 2n\left(1-\frac{1}{ω(G)}\right), \] where $ω(G)$ denotes the clique number of $G$. We first give a short algebraic proof of this result. For a vertex $v\in V(G)$, let \(c(v)\) denote the order of the largest clique of \(G\) containing \(v\). Our main result is the following vertex localized bound that refines the result of Abreu and Nikiforov: \[
q(G) \leq
2\sum_{v\in V(G)}\left(1-\frac{1}{c(v)}\right). \] Equality holds precisely for complete bipartite graphs when \(ω(G)=2\), and for regular complete \(ω(G)\)-partite graphs when \(ω(G)\geq 3\). As a consequence, we also obtain an analogous localized inequality for the $A_α$-matrix of $G$. Finally, we generalize the above localized inequality to vertex-weighted signed graphs. This contributes to the localization program for spectral Turán-type results.
Path-Minimality of $p$-Energy for Connected Graphs
Let $G$ be a simple connected graph on $n$ vertices, and let $λ_1(G),λ_2(G),\ldots,λ_n(G)$ be the eigenvalues of its adjacency matrix $A(G)$. For $p>0$, define the $p$-energy of $G$ by $\mathcal E_p(G)=\sum_{i=1}^n |λ_i(G)|^p$. We prove that, for every real number $p\ge 2$ and every simple connected graph $G$ on $n$ vertices, $$ \mathcal E_p(G)\ge \mathcal E_p(P_n), $$ where $P_n$ denotes the path on $n$ vertices. Moreover, for each fixed $p>2$, equality holds if and only if $G\cong P_n$. Together with the previously known star-minimality results, this completes the solution of two questions of Nikiforov.
The proof combines two different comparison principles. For $2<p<4$, we use a bipartite reduction, a Mellin representation of fractional powers, and a determinant comparison involving matching generating polynomials and tree shifts. For $p\ge4$, we prove a second-order stop-loss comparison for the squared singular values of bipartite graphs. This comparison is established by rank-one spectral-shift estimates, deletion-minimal counterexamples, and a finite certified analysis of the terminal sparse-sun configurations. As applications, we obtain sharp path-minimality results for positive $p$-energies in several cases, and for Laplacian and signless Laplacian power sums and related indices.
Exponential Lower Bounds for the Pfaffian Number of Graphs
Galluccio--Loebl and Tesler showed that the perfect-matching polynomial of a graph embedded in an orientable surface of genus $g$ can be written as a linear combination of at most $4^g$ Pfaffians. We show that, in general, exponentially many Pfaffians are necessary. More precisely, among all graphs of orientable genus at most $g$, the maximum possible Pfaffian number is at least $(8/3)^g$. This lower bound holds even for connected matching-covered graphs. We also obtain exponential lower bounds for the Pfaffian number of complete bipartite graphs, and hence for even complete graphs, improving asymptotically on a recent linear lower bound of Junchaya, Lucchesi, and Miranda.
Span capacities of graphs
The $d$-capacity of a graph $G$ is introduced as the maximum number of players that can simultaneously traverse $G$ such that each player visits all vertices while maintaining a distance of at least $d$ under various movement rules. We determine their values for paths and cycles and provide bounds for bipartite graphs. Furthermore, we characterize topfull graphs, where the 1-capacities reach their theoretical maximum, establishing a connection to graph factorizations and connectivity.
Structural characterization and efficient recognition of probe diamond-free graphs
A graph is probe diamond-free if its vertex set admits a partition into probes and nonprobes, where the set of nonprobes is independent, such that adding edges only between pairs of nonprobes yields a diamond-free graph. Although this class admits a characterization by forbidden induced subgraphs, such a characterization does not directly lead to an efficient recognition algorithm. In this work we introduce a new structural characterization of probe diamond-free graphs based on a local condition, called the \emph{locally union of complete split} property, together with an auxiliary bipartite graph. Using this framework, we obtain an \(O(nm)\)-time recognition algorithm for (nonpartitioned) probe diamond-free graphs.
A distinctive feature of our algorithm is that it is certificate-producing. When the input graph does not belong to the class, the algorithm outputs a negative certificate in the form of a sequence of vertices inducing a minimal forbidden subgraph, ordered according to a fixed degree--lexicographic rule. This ordered representation enables particularly simple and efficient certificate verification. When the input graph is probe diamond-free, the algorithm outputs a positive certificate consisting of a probe partition and a completion set.
To the best of our knowledge, this is the first $O(nm)$-time recognition algorithm for probe diamond-free graphs that produces explicit certificates, providing an alternative to both sandwich-based approaches and exhaustive forbidden subgraph testing.
On the Eccentricity Laplacian and Eccentricity Signless Laplacian Matrices of a Graph
In this paper, we introduce the Laplacian and the signless Laplacian for the eccentricity matrix of a connected graph, referred to as the eccentricity Laplacian and the eccentricity signless Laplacian, respectively. We establish the equivalence among the eccentricity Laplacian, eccentricity signless Laplacian, and eccentricity spectrum for different classes of graphs. We provide spectral characterization of $\mathcal{E}$-bipartite graphs by the symmetry of $\mathcal{E}$-spectrum and the similarity of these Laplacian matrices.
A merging procedure for labelings of bipartite graphs
Let $G$ a bipartite graph with vertex bipartition $\{A,B\}$ and let $m=|E(G)|$. An $(A,B)$-uniformly ordered labeling of $G$ is a labeling $f\colon V\rightarrow [0,2m]$ which, among other conditions, requires that there exists $λ\in \mathbb N$ such that $f(a)\le λ$ and $f(b)>λ$ for all $a\in A$ and $b\in B$. The existence of such a labeling for $G$ implies the existence of a cyclic $G$-decomposition of $K_{2mx+1}$ for all positive integers $x$. In this paper, as a starting point, through this type of labeling we prove the existence of a cyclic $G$-decomposition in the case that $G$ is a cycle of even length with either one or two pendant paths of any length. Then, through a merging procedure, we are able to get this type of labeling for a specific class of bipartite graphs, which are obtained by iteratively adding an even cycle and a pendant path.
Self-similar dendrites with finite boundary and P-sprouts
Each self-similar dendrite K with a finite self-similar boundary defines a finite acyclic edge-labeled bipartite graph G, called the sprout of K. The paper shows that the sprout G determines the combinatorial properties of the dendrite K and its topological structure.
Two Results on Outer-String Graphs
An \emph{outer-string representation} of a graph $G$ is an intersection representation of $G$ where vertices are represented by curves (strings) inside the unit disk and each curve has exactly one endpoint on the boundary of the unit disk (the anchor of the curve). Additionally, if each two curves are allowed to cross at most once, we call this an \emph{outer-$1$-string representation} of $G$. If we impose a cyclic ordering on the vertices of $G$ and require the cyclic order of the anchors to respect this cyclic order, such a representation is called a \emph{constrained outer-string representation}. In this paper, we present two results about graphs admitting outer-string representations.
Firstly, we show that for a bipartite graph $G$ (and, more generally, for any $\{C_3,C_5\}$-free graph $G$) with a given cyclic order of vertices, we can decide in polynomial time whether $G$ admits a constrained outer-string representation. Our algorithm follows from a characterization by a single forbidden configuration, similar to that of Biedl et al. [GD 2024] for chordal graphs. Secondly, we answer an open question from the same authors and show that determining whether a given graph admits an outer-1-string representation is NP-hard. More generally, we show that it is NP-hard to determine if a given graph $G$ admits an outer-$k$-string representation for any fixed $k\ge1$.
Generalized Andrásfai graphs and special Betti diagrams of edge ideals
Edge ideals of graphs were introduced by Villarreal in 1990, and have been the subject of many studies since then. In the same year, Fröberg characterized edge ideals with regularity 2 in combinatorial terms. This result was generalized by Fernández-Ramos and Gimenez to regularity 3 for bipartite graphs. A key ingredient in these results is the particular shape of the Betti diagrams of the edge ideals of the graphs obtained after removing a Hamiltonian cycle from either a complete graph $ K_k$ or a complete bipartite graph $K_{k,k}$.
In this work, we consider the family of Generalized Andrásfai graphs ${\rm GA}(t,k)$ with $t\geq 1 $ and $k \geq 2$. This family extends the families of complete graphs, since $K_{k+1} = {\rm GA}(1,k)$, and complete bipartite $k$-regular graphs, since $K_{k,k} = {\rm GA}(2,k)$. We show that the results known for $ K_k$ and $ K_{k,k}$ can be naturally extended to this family. More precisely, when removing a suitable Hamiltonian cycle from ${\rm GA}(t,k)$, the resulting edge ideal has regularity $t+2$, projective dimension $t(k-2)$ and a Betti diagram exhibiting a generalized version of the same special shape.
Three-Edges and the SOS Rank of Biquadratic Forms: Extending the Augmented Zarankiewicz Framework
The limited augmented Zarankiewicz number $z_L(m,n)$ corresponds to 2-edges $(i,j;k,l)$ in a $C_4$-free bipartite graph, each representing a square $(x_i y_j + x_k y_l)^2$. We introduce \emph{3-edges} $(i,j;k,l;p,q)$ representing $(x_i y_j + x_k y_l + x_p y_q)^2$, and define the numbers $z_{3L}(m,n)$ and $z_{3A}(m,n)$ by forbidding generalized $C_4$ cycles. We prove that for any 3-edge-augmented graph without such cycles, the corresponding doubly simple biquadratic form has SOS rank equal to the total number of edge contributions. As applications, we show $z_{3L}(5, 3) = 10$, $z_{3L}(6,4) \ge 16$ and $z_{3L}(5,5) \ge 16$, improving the known bounds $z_L(5, 3) = 9$, $z_L(6,4)=14$ and $z_L(5,5)=14$. The constructions in the $5 \times 5$ and $6 \times 4$ cases are naturally explained as 3-edges, providing a unified combinatorial framework for SOS rank lower bounds beyond the limited augmented Zarankiewicz number.
Independent Locating-Dominating Sets in Pseudotrees
An ILD-set in a connected graph is a subset $S$ of vertices such that it is both independent and locating-dominating. The independent locating-dominating number of a graph G is the minimum cardinality of an ILD-set set of $G$.
A well-known fact is that any graph with girth at least 5 has an ILD-set, but that is not clear for graphs with girth 3 and 4. In this work, we prove that there are graphs with no ILD-sets for any order $n\geq 9$ and girth 4, also showing some sufficient conditions for a bipartite graph to contain an ILD-set.
Moreover, we focus our attention on trees and on unicyclic graphs, showing that every tree and every unicyclic graph contains ILD-sets, whenever in the latter case, it is twin-free. Finally, a number of bounds, realization theorems and algorithms to find an ILD-set in those families of graphs are provided.
Criteria on forbidden subgraphs in the complements for positive Lin--Lu--Yau curvature
We investigate forbidden subgraph conditions in the complement of a graph that guarantee positive Lin--Lu--Yau curvature. In particular, we prove that every graph whose complement contains no $4$-cycles has positive Lin--Lu--Yau curvature, with the only exception of the $4$-vertex path. We further prove that, for any integer $t\ge2$, every graph on at least $\max\{t^2-2t+2, 8t\}$ vertices whose complement contains no $K_{2,t}$ has positive curvature. In addition, this lower bound on the number of vertices is optimal for $t\geq 10$. Finally, we construct examples showing that, in general, the forbidden subgraphs in these results cannot be replaced by cycles of length other than $4$ or by complete bipartite graphs $K_{s,t}$ with $s> 2$ and $t> 2$.
A generalization of Erdős-Hajnal problem on paths with equal-degree endpoints
Erdős and Hajnal proposed a problem that: is it true that every $(2n+1)$-vertex graph with $n^2+n+1$ edges contains two vertices of equal degree connected by a path of length three? The edge bound is sharp by the complete bipartite graph $K_{n,n+1}$. Recently, Chen and Ma [Journal of Combinatorial Theory, Series B, 179:1-18, 2026] answered this problem affirmatively for every $n \ge 600$. In the same paper, they further conjectured that for sufficiently large $n$, the statement is true if we replace the path of length three by a path of fixed odd length. In this paper, we confirm their conjecture.
Dimer models on astroidal zig-zag graphs
On a finite weighted graph, the dimer model is a probability measure on its dimer covers, that assigns to any cover a probability proportional to the product of the weights of its edges. For planar bipartite graphs, dimer correlations are encoded by the inverse of the so-called Kasteleyn matrix; for a large graph, typically taken as a finite domain in a periodic graph, this inverse matrix is known explicitly only for a handful of examples. In all previously known examples, the Newton polygon -- a convex lattice polygon that classifies periodic graphs up to local moves -- is either a triangle or a quadrilateral.
Our main results are the following.
For any (minimal) periodic planar bipartite graph, we construct an $(n-3)$-dimensional family of finite subgraphs for which we obtain an explicit inverse Kasteleyn matrix; here $n$ is the number of sides of the Newton polygon. Their boundaries are formed by zig-zag paths and their overall shape is reminiscent of an astroid; we call them astroidal zig-zag graphs (AZ graphs). If the Newton polygon is the unit square then the corresponding AZ graph is the celebrated Aztec diamond with its size as the parameter.
Our inverse Kasteleyn matrices are given by a double contour integral on the corresponding spectral curve for any Fock weighting of the graph. This includes, in particular, all periodic weightings.
For periodic weightings, we asymptotically analyze the resulting inverse Kasteleyn matrices. We establish a phase separation in large AZ graphs into asymptotically frozen, rough (liquid), and smooth (gaseous) regions, and obtain an explicit parametrization of the `arctic curve'.
We also compute the deterministic limit of the height function, known as the limit shape, and prove the convergence of the local dimer correlations to the translation-invariant Gibbs measure of the slope predicted by the limit shape.