bipartite graph
2604 papers tagged with this keyword
Transparent Rectangle Visibility Graphs
A transparent rectangle visibility graph (TRVG) is a graph whose vertices can be represented by a collection of non-overlapping rectangles in the plane whose sides are parallel to the axes such that two vertices are adjacent if and only if there is a horizontal or vertical line intersecting the interiors of their rectangles.
We show that every threshold graph, tree, cycle, rectangular grid graph, triangular grid graph and hexagonal grid graph is a TRVG. We also obtain a maximum number of edges of a bipartite TRVG and characterize complete bipartite TRVGs. More precisely, a bipartite TRVG with $n$ vertices has at most $2n-2$ edges. The complete bipartite graph $K_{p,q}$ is a TRVG if and only if $\min\{p,q\} \le 2$ or $(p,q) \in \{(3,3), (3,4)\}$. We prove similar results for the torus. Moreover, we study whether powers of cycles and their complements are TRVGs.
Counting homomorphisms in antiferromagnetic graphs via Lorentzian polynomials
An edge-weighted graph $G$, possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The number of graph homomorphisms from a graph $H$ to an antiferromagnetic graph $G$ generalises various important parameters in graph theory, including the number of independent sets and proper vertex-colourings, as well as their relaxations in statistical physics.
We obtain homomorphism inequalities for various graphs $H$ and antiferromagnetic graphs~$G$ of the form \[ \lvert\operatorname{Hom}(H,G)\rvert^2 \leq \lvert\operatorname{Hom}(H\times K_2,G)\rvert, \] where $H\times K_2$ denotes the tensor product of $H$ and $K_2$. Firstly, we show that the inequality holds for any $H$ obtained by blowing up vertices of a bipartite graph into complete graphs and any antiferromagnetic $G$. In particular, one can take $H=K_{d+1}$, which already implies a new result for the Sah--Sawhney--Stoner--Zhao conjecture on the maximum number of $d$-regular graphs in antiferromagnetic graphs. Secondly, the inequality also holds for $G=K_q$ and those $H$ obtained by blowing up vertices of a bipartite graph into complete multipartite graphs, paths or even cycles.
Both results can be seen as the first progress towards Zhao's conjecture on $q$-colourings, which states that the inequality holds for any $H$ and $G=K_q$, after his own work. Our method leverages on the emerging theory of Lorentzian polynomials due to Brändén and Huh and log-concavity of the list colourings of bipartite graphs, which may be of independent interest.
The multinomial dimer model
An $N$-dimer cover of a graph is a collection of edges (with multiplicity) such that each vertex is contained in exactly $N$ edges in the collection. The multinomial dimer model is a natural probability measure on $N$-dimer covers. We study the behavior of these measures on periodic bipartite graphs in ${\mathbb R}^d$, in the scaling limit as the multiplicity $N$ and then the size of the graph go to infinity.
In this iterated limit, we prove a large deviation principle, where the rate function is the integral of an explicit surface tension, and show that random configurations concentrate on a limit shape which is the unique solution to an associated Euler-Lagrange equation. We further show that the associated critical gauge functions, which exist in the $N\to\infty$ limit on each finite graph, converge in the scaling limit to a limiting gauge function which solves a dual Euler-Lagrange equation.
We use our techniques to compute explicit limit shapes in some two and three dimensional examples, such as the Aztec diamond and ``Aztec cuboid". These $3d$ examples are the first stat mech models in dimensions $d\ge3$ where limit shapes can be computed explicitly.
On the $4$-clique cover number of graphs
In 1966, Erdős, Goodman, and Pósa proved that $\lfloor n^2/4 \rfloor$ cliques are sufficient to cover all edges in any $n$-vertex graph, with tightness achieved by the balanced complete bipartite graph. This result was generalized by Dau, Milenkovic, and Puleo, who showed that at most $\lfloor \frac n 3 \rfloor \lfloor \frac {n+1} 3 \rfloor \lfloor \frac {n+2} 3 \rfloor$ cliques are needed to cover all triangles in any $n$-vertex graph $G$, and the bound is best possible as witnessed by the balanced complete tripartite graph. They further conjectured that for $t \geq 4$, the $t$-clique cover number is maximized by the Turán graph $T_{n,t}$. We confirm their conjecture for $t=4$ using novel techniques, including inductive frameworks, greedy partition method, local adjustments, and clique-counting lemmas by Erdős and by Moon and Moser.
Turán Number of Subdivisions of Multipartite Graphs
Published
• View Publication
• BIB
In this paper, we investigate the Turán exponent for $1$-subdivisions of graphs that are neither bipartite nor complete. Specifically, we establish an upper bound on the Turán number of the 1-subdivision of $K_{s,t}^+$, where $K_{s,t}^+$ is obtained by adding a single edge within the part of size $s$ of the complete bipartite graph $K_{s,t}$, with $4\leq s \leq t$. In addition, we derive an upper bound for the extremal number of a family of graphs formed by (possibly degenerate) 1-subdivisions of certain tripartite graphs.
Induced rational exponents and bipartite subgraphs in $K_{s, s}$-free graphs
In this paper, we study a general phenomenon that many extremal results for bipartite graphs can be transferred to the induced setting when the host graph is $K_{s, s}$-free. As manifestations of this phenomenon, we prove that every rational $\frac{a}{b} \in (1, 2), \, a, b \in \mathbb{N}_+$, can be achieved as Turán exponent of a family of at most $2^a$ induced forbidden bipartite graphs, extending a result of Bukh and Conlon [JEMS 2018]. Our forbidden family is a subfamily of theirs which is substantially smaller. A key ingredient, which is yet another instance of this phenomenon, is supersaturation results for induced trees and cycles in $K_{s, s}$-free graphs. We also provide new evidence to a recent conjecture of Hunter, Milojević, Sudakov, and Tomon [JCTB 2025] by proving optimal bounds for the maximum size of $K_{s, s}$-free graphs without an induced copy of theta graphs or prism graphs, whose Turán exponents were determined by Conlon [BLMS 2019] and by Gao, Janzer, Liu, and Xu [IJM 2025+].
The $k$-Total Bondage Number of a Graph
Published
• View Publication
• BIB
Let $G=(V,E)$ be a connected, finite undirected graph. A set $S \subseteq V$ is said to be a total dominating set of $G$ if every vertex in $V$ is adjacent to some vertex in $S$. The total domination number, $γ_{t}(G)$, is the minimum cardinality of a total dominating set in $G$. We define the $k$-total bondage of $G$ to be the minimum number of edges to remove from $G$ so that the resulting graph has a total domination number at least $k$ more than $γ_{t}(G)$. We establish general properties of $k$-total bondage and find exact values for certain graph classes including paths, cycles, wheels, complete and complete bipartite graphs.
Cubic graphs with no eigenvalues in the interval (-2,0)
We give a complete characterisation of the cubic graphs with no eigenvalues in the interval $(-2,0)$. There is one thin infinite family consisting of a single graph on $6n$ vertices for each $n \geqslant 2$, and five ``sporadic'' graphs, namely the $3$-prism $K_3 \mathbin{\square} K_2$, the complete bipartite graph $K_{3,3}$, the Petersen graph, the dodecahedron and Tutte's $8$-cage. The proof starts by observing that if a cubic graph has no eigenvalues in $(-2,0)$ then its local structure around a girth-cycle is very constrained. Then a separate case analysis for each possible girth shows that these constraints can be satisfied only by the known examples. All but one of these case analyses can be completed by hand, but for girth five there are sufficiently many cases that it is necessary to use a computer for the analysis.
Perfect $1$-factorisations of $K_{11,11}$
A perfect $1$-factorisation of a graph is a decomposition of that graph into $1$-factors such that the union of any two $1$-factors is a Hamiltonian cycle. A Latin square of order $n$ is row-Hamiltonian if for every pair $(r,s)$ of distinct rows, the permutation mapping $r$ to $s$ has a single cycle of length $n$. We report the results of a computer enumeration of the perfect $1$-factorisations of the complete bipartite graph $K_{11,11}$. This also allows us to find all row-Hamiltonian Latin squares of order $11$. Finally, we plug a gap in the literature regarding how many row-Hamiltonian Latin squares are associated with the classical families of perfect $1$-factorisations of complete graphs.
Strongly regular and strongly walk-regular graphs that admit perfect state transfer
We study perfect state transfer in Grover walks on two important classes of graphs: strongly regular graphs and strongly walk-regular graphs. The latter class is a generalization of the former. We first give a complete classification of strongly regular graphs that admit perfect state transfer. The only such graphs are the complete bipartite graph $K_{2,2}$ and the complete tripartite graph $K_{2,2,2}$. We then show that, if a connected strongly walk-regular graph that is not a strongly regular graph admits perfect state transfer, then its spectrum must be of the form $\{[k]^1, [\frac{k}{2}]^α, [0]^β, [-\frac{k}{2}]^γ\}$, and we enumerate all feasible spectra of this form up to $k=20$ with the help of a computer. These results are obtained using techniques from algebraic number theory and spectral graph theory, particularly through the analysis of eigenvalues and eigenprojections of a normalized adjacency matrix. While the setting is in quantum walks, the core discussion is developed entirely within the framework of spectral graph theory.
On the Conjecture of the Representation Number of Bipartite Graphs
While the problem of determining the representation number of an arbitrary word-representable graph is NP-hard, this problem is open even for bipartite graphs. The representation numbers are known for certain bipartite graphs including all the graphs with at most nine vertices. For bipartite graphs with partite sets of sizes $m$ and $n$, Glen et al. conjectured that the representation number is at most $\lceil \frac{m+n}{4}\rceil$, where $m+n \ge 9$.
In this paper, we show that every bipartite graph is $\left( 1+ \lceil \frac{m}{2} \rceil \right)$-representable, where $m$ is the size of its smallest partite set. Furthermore, if $m$ is odd then we prove that the bipartite graphs are $\lceil \frac{m}{2} \rceil $-representable. Accordingly, we establish that the conjecture by Glen et al. holds good for all bipartite graphs leaving the bipartite graphs whose partite sets are of equal and even size. In case of the bipartite graphs with partite sets of equal and even size, we prove the conjecture for certain subclasses using the neighborhood inclusion graph approach.
The stability of independence polynomials of complete bipartite graphs
The independence polynomial of a graph is termed {\it stable} if all its roots are located in the left half-plane $\{z \in \mathbb{C} : \mathrm{Re}(z) \leq 0\}$, and the graph itself is also referred to as stable. Brown and Cameron (Electron. J. Combin. 25(1) (2018) \#P1.46) proved that the complete bipartite graph $K_{1,n}$ is stable and posed the question: \textbf{Are all complete bipartite graphs stable?}
We answer this question by establishing the following results:
\begin{itemize}
\item The complete bipartite graphs $K_{2,n}$ and $K_{3,n}$ are stable.
\item For any integer $k\geq0$, there exists an integer $N(k)\in \mathbb{N}$ such that $K_{m,m+k}$ is stable for all $m>N(k)$.
\item For any rational $\ell> 1$, there exists an integer $N(\ell) \in \mathbb{N}$ such that whenever $m >N(\ell)$ and $\ell \cdot m$ is an integer, $K_{m, \ell \cdot m}$ is \textbf{not} stable.
\end{itemize}
Circular Game Coloring of Signed Graphs
We extend the theory of circular game chromatic numbers to signed graphs by defining the invariant $χ_c^g(G,σ)$ for signed graphs $(G,σ)$. Our analysis establishes tight bounds dependent on the structural properties of the underlying graph $G$ and its signature $σ$. Building on the foundational framework of Lin and Zhu \cite{LinZhu2009}, we demonstrate that the circular game chromatic number of a balanced signed graph $(G, σ)$ equals that of its underlying graph $G$, i.e., $χ_c^g(G,σ) = χ_c^g(G)$. For antibalanced signed graphs, we prove that $χ_c^g(G,σ)$ does not exceed the chromatic number of $G$ plus one, with tightness demonstrated for odd cycles. A dichotomy emerges for bipartite graphs: $χ_c^g(G,σ)$ equals $2$ when the graph is balanced, and otherwise remains bounded above by $3$. These results rely on switching equivalence principles (Lemma \ref{lem:Zaslavsky}) and critical properties of fundamental cycles (Lemma \ref{lem:ForcingTree}), adapting classical techniques from unsigned graph theory to the signed context. We further highlight open questions regarding computational complexity and planar graph extensions, creating new bridges between combinatorial game theory and signed graph structural analysis.
On the distinguishing chromatic number in hereditary graph classes
The distinguishing chromatic number of a graph $G$, denoted $χ_D(G)$, is the minimum number of colours in a proper vertex colouring of $G$ that is preserved by the identity automorphism only. Collins and Trenk proved that $χ_D(G)\le 2Δ(G)$ for any connected graph $G$, and the equality holds for complete balanced bipartite graphs $K_{p,p}$ and for $C_6$. In this paper, we show that the upper bound on $χ_D(G)$ can be substantially reduced if we forbid some small graphs as induced subgraphs of $G$, that is, we study the distinguishing chromatic number in some hereditary graph classes.
$λ$-matchability in cubic graphs
Published
• View Publication
• BIB
A vertex $v$ of a 2-connected cubic graph $G$ is $λ$-matchable if $G$ has a spanning subgraph in which $v$ has degree three whereas every other vertex has degree one, and we let $λ(G)$ denote the number of such vertices. Clearly, $λ=0$ for bipartite graphs; ergo, we define $λ$-matchable pairs analogously, and we let $ρ(G)$ denote the number of such pairs.
We improve the constant lower bounds on both $λ$ and $ρ$ established recently by Chen, Lu and Zhang [Discrete Math., 2025] using matching-theoretic parameters arising from the seminal work of Lovász [J. Combin. Theory Ser. B, 1987], and we characterize all of the tight examples. We also solve the problem posed by Chen, Lu and Zhang: characterize 2-connected cubic graphs that satisfy $λ=n$.
Generalized spectral characterization of signed bipartite graphs
Published
• View Publication
• BIB
Let $Σ$ be an $n$-vertex controllable or almost controllable signed bipartite graph, and let $Δ_Σ$ denote the discriminant of its characteristic polynomial $χ(Σ; x)$. We prove that if (\rmnum{1}) the integer $2^{ -\lfloor n/2 \rfloor }\sqrt{Δ_Σ}$ is squarefree, and (\rmnum{2}) the constant term (even $n$) or linear coefficient (odd $n$) of $χ(Σ; x)$ is $\pm 1$, then $Σ$ is determined by its generalized spectrum. This result extends a recent theorem of Ji, Wang, and Zhang [Electron. J. Combin. 32 (2025), \#P2.18], which established a similar criterion for signed trees with irreducible characteristic polynomials.
Configurations, Tessellations and Tone Networks
Published
• View Publication
• BIB
The Eulerian tonnetz, which associates three minor chords to each major chord and three major chords to each minor chord, can be represented by a bipartite graph with twelve white vertices denoting major chords and twelve black vertices denoting minor chords. This so-called Levi graph determines a configuration of twelve points and twelve lines in $\mathbb R^2$ with the property that three points lie on each line and three lines pass through each point. Interesting features of the tonnetz, such as the existence of the four hexatonic cycles and the three octatonic cycles, crucial for the understanding of nineteenth-century harmony and voice leading, can be read off directly as properties of this configuration $\{12_3\}$ and its Levi graph. Analogous tone networks together with their Levi graphs and configurations can be constructed for pentatonic music and twelve-tone music. These and other new tonnetze offer the promise of new methods of composition. If the constraints of the Eulerian tonnetz are relaxed so as to allow movements between major and minor triads with variations at exactly two tones, the resulting bipartite graph has two components, each generating a tessellation of the plane, of a type known to Kepler, based on hexagons, squares and dodecagons. When the same combinatorial idea is applied to tetrachords of the 'Tristan' genus (dominant sevenths and half-diminished sevenths) the cycles of the resulting bipartite graph are sufficiently ample in girth to ensure the existence of a second configuration $\{12_3\}$, distinct from the Eulerian tonnetz as an incidence geometry, which can be used for a new approach to the analysis of the rich tetradic harmonies of the nineteenth century common practice.
Perfect state transfer on graphs with clusters
Using graphs with clusters, we provide a unified approach for constructing graphs with pair state transfer-relative to the adjacency, Laplacian, and signless Laplacian matrix-between the same pair of states at the same time, despite being non-regular. We show that for each $k\geq 5$, there are infinitely many connected graphs with maximum valency $k$ admitting this property. This framework also aids in establishing sufficient conditions for pair state transfer in edge-perturbed graphs, including complete graphs and complete bipartite graphs. Furthermore, we utilize graph products to generate new infinite families of graphs with the above property.
A decomposition structure of resonance graphs that are daisy cubes
Published
• View Publication
• BIB
It has recently been shown in [\emph{Discrete Appl. Math.} {\bf 366} (2025) 75--85] that the resonance graph of a plane elementary bipartite graph $G$ is a daisy cube if and only if $G$ is peripherally 2-colorable. Let $G$ be a peripherally 2-colorable graph and $R(G)$ be its resonance graph. We provide a decomposition structure of $R(G)$ with respect to an arbitrary finite face of $G$ together with a proper labelling for the vertex set of $R(G)$. An algorithm is obtained to generate a proper labelling for all perfect matchings of $G$ which induces an isometric embedding of $R(G)$ as a daisy cube into an $n$-dimensional hypercube, where $n$ is the isometric dimension of $R(G)$. Moreover, the algorithm can be applied to generate such a proper labelling for all perfect matchings of any plane weakly elementary bipartite graph whose each elementary component with more than two vertices is peripherally 2-colorable. We also compare two binary codings for all perfect matchings of $G$ which induces distinct structures on $R(G)$: one as a daisy cube and the other as a finite distributive, respectively.
On Unique Neighborhoods in Bipartite and Expander Graphs
An undirected graph is said to have \emph{unique neighborhoods} if any two distinct nodes have also distinct sets of neighbors. In this way, the connections of a node to other nodes can characterize a node like an "identity", irrespectively of how nodes are named, as long as two nodes are distinguishable. We study the uniqueness of neighborhoods in (random) bipartite graphs, and expander graphs.