bipartite graph
2604 papers tagged with this keyword
The domination number of the 2-token graph of the complete bipartite graph
For a graph $G$, the $2$-token graph $F_2(G)$ has as vertices all $2$-subsets of $V(G)$, with two such subsets adjacent whenever their symmetric difference is an edge of $G$. In this paper, we determine the domination number of the $2$-token graph of the complete bipartite graph $K_{m,n}$, for all integers $2\le m\le n$. We show that it equals $\lceil m/2\rceil+n-1$, except when $m=3$, or when $m\ge5$ is odd and $n=m+1$; in these two exceptional situations it is one less. Our arguments rely on an explicit characterization of the dominating sets of the $2$-token graph of $K_{m,n}$.
Abelian maximal pattern complexity and extremal words
In this paper, we study the Abelian maximal pattern complexity $p_α^{\ast \mathrm{ab}}(k)$, introduced by Kamae, Widmer and Zamboni, of infinite words $α\in \mathbb{A}^{\mathbb{N}_{0}}$ over finite alphabets $\mathbb{A}$.
For recurrent aperiodic words, we determine a lower bound and prove its sharpness. We further give a structural characterization of the words with minimal Abelian maximal pattern complexity.
In the general case, we prove that an infinite word $α$ is aperiodic if and only if $\binom{p_{α}^{\ast \mathrm{ab}}(k)}{2}\geq k$ for every $k.$ For aperiodic words over $\ell \geq 2$ letters, each occurring infinitely often, we further prove that $p_{α}^{\ast \mathrm{ab}}(k)\geq m$ whenever $\binom{m}{2}\leq (\ell -1)(k-\ell +2)$, for all $m,k$. Together with a matching construction, this shows that the minimum Abelian maximal pattern complexity in this class is $\sqrt{2(\ell -1)k}+O_{\ell }(1)$.
We call a word an Abelian pattern Sturmian word if, at every $k$, its Abelian maximal pattern complexity is the least positive integer $m$ satisfying $\binom{m}{2}\geq k$. We show that a word is Abelian pattern Sturmian if and only if, after relabeling its alphabet, it is the characteristic word of an infinite set $E\subset \mathbb{N}_{0}$ for which the bipartite graph on two disjoint copies of $\mathbb{N}_{0}$, with a left vertex $r$ adjacent to a right vertex $s$ exactly when $r+s\in E$, is a forest.
Kronecker Products, Polarity Quotients and Large Graph Constructions
In this paper, we establish a structural compatibility between the Kronecker product of bipartite graphs that admit polarity and their polarity quotients, and provide a sharp upper bound on the diameter of these graphs. We use these properties to construct new families of graphs, all of which have orders that asymptotically approach the Moore bound.
We show that the bipartite compatibility graphs have a natural polarity, and that the corresponding polarity quotients comprise a new family of graphs of any even diameter $2k$ with degree $(q+1)^k$ for any prime power $q$, much smaller than those of other known families of that diameter and field order $q$. These families generalize the Erdős-Rényi-Brown polarity graphs. Kronecker products of these polarity quotients give another new family of graphs of any even diameter for every pair of prime powers $q,r$.
Certain generalized polygons are known to admit polarity with polarity quotients approaching the Moore bound asymptotically. Kronecker products of these polarity quotients give another new family of graphs of diameters $2$, $3$ and $5$, including a diameter-$3$ degree-$18$ graph of order larger than any previously known for that degree and diameter.
The three-colour bipartite Ramsey number of sufficiently long even cycles
For a bipartite graph $H$, let $\operatorname{br}_3(H)$ be the least integer $N$ such that every three-colouring of $K_{N,N}$ contains a monochromatic copy of $H$. We prove that $\operatorname{br}_3(C_{2n})=3n$ for all sufficiently large $n$, and give the lower bound for every $n\ge2$. For the upper bound, we reduce a counterexample to a finite rational weighted profile. Cycle extension and vertex-cover arguments force the critical components to have six unique minimum covers which partition the profile. The remaining component supports give a contradiction.
The domination number of the $k$-token graph of the complete bipartite graph $K_{m,n}$
This paper is about token graphs and domination number. Let $G=(X,E)$ denote an undirected graph that is connected, with no loops or multiple edges, vertex set $X$, and edge set $E$. Pick a positive integer $k\leq \vert X\vert$. The $k$-token graph of $G$, denoted by $F_k(G)$, is defined as follows. The vertex set $\mathcal{X}$ consists of all $k$-subsets of $X$. Two vertices $x,y\in \mathcal{X}$ are adjacent whenever the symmetric difference of $x$ and $y$ consists of two vertices that form an edge in $E$. In this paper, we compute the exact value for the domination number of $F_2(K_{m,n})$ where $K_{m,n}$ is the complete bipartite graph with parameters $m,n$. We present some bounds for the domination number of $F_k(K_{m,n})$ when $k\geq 3$.
Counting connected multitype graphs with prescribed edge counts
We determine the exponential asymptotics of the number of connected labelled graphs with finitely many vertex types, prescribed numbers of vertices of each type, and prescribed edge counts between each pair of types. Under an irreducibility and strict surplus condition, we express the count for linear surplus of edges as the unrestricted count multiplied by an explicit exponential connectivity factor, up to a multiplicative error \(\exp\{o(n)\}\). The factor is characterized by a finite-dimensional nonlinear system whose solution exists and is unique. We use a probabilistic method, exploiting large-deviation principles and asymptotic estimates for connectedness probabilities to relate the counting problem to the emergence of giant components in suitably tuned supercritical random graphs. For connected bipartite graphs, we determine the exponential rate throughout the regime of positive linear excess and fixed positive limiting proportions of the two vertex classes. In the parameter ranges where the existing upper and lower bounds apply, this identifies the exponential rate left undetermined by those estimates.
The distinguishing number of complete bipartite and crown graphs
The distinguishing number of a permutation group $G\leqslant\Sym(Ω)$ is the minimum number of colours needed to colour $Ω$ in such a way that the only colour preserving element of $G$ is the identity. The distinguishing number of a graph is the distinguishing number of its automorphism group (as a permutation group on vertices). We determine the distinguishing number of the complete bipartite graphs $K_{n,n}$ and the crown graphs $K_{n,n}-nK_2$, as well as the distinguishing number of some `large' subgroups of their automorphism groups, that is, the subgroups that are vertex- and edge-transitive and such that the induced action on each bipart is $\Alt(n)$ or $\Sym(n)$. We show that, if $G$ is a `large' group of automorphisms of $K_{n,n}$, then $n-1\leqslant D(G) \leqslant n+1$. Similarly, if $G$ is a `large' group of automorphisms of a crown graph, then $\lceil \sqrt{n-1}\rceil \leqslant D(G)\leqslant \lfloor \sqrt{n}\rfloor+1$.
\smallskip
\textit{Keywords:} complete bipartite graph; crown graph; distinguishing number; symmetric group; alternating group
An $8+9$ gluing computation for the Ramsey number $R(F_3,F_4)$
Let $F_t$ be the graph consisting of $t$ triangles with a common vertex and otherwise disjoint vertices. We prove that $R(F_3,F_4)=17$ using an $8+9$ gluing computation. Neighbourhood matching arguments give degree and clique restrictions that reduce the search on seventeen vertices to $88,294,674$ ordered seed pairs. The verified main computation excludes $88,294,634$ pairs. A cross-edge counting argument excludes thirty-four of the forty exceptional pairs, and independently checked finite-domain certificates exclude the remaining six. Together with the construction whose red graph is the complete bipartite graph $K_{8,8}$, these results establish $R(F_3,F_4)=17$.
Single-graph rational exponents in mixed multicolour Ramsey theory
For every rational number $γ>1$, we construct a fixed bipartite graph $H_γ$ such that $r_k(H_γ;K_N)=Θ_{γ,k}((N/\log N)^γ)$ for every fixed $k\ge 3$. Here $r_k(H;K_N)=r(H,\ldots,H,K_N)$, with $k$ copies of $H$. The lower bound uses a symmetric random algebraic graph which avoids a fixed rooted power and has sufficiently strong local density for the Alon-Rodl method. The main algebraic step establishes a nonzero obstruction within the full symmetric coefficient space; the upper bound uses the rooted graphs from the proof of the rational exponents conjecture. We also obtain induced even-cycle asymptotics in the same construction.
Exact extremizers for $\ell_p$-judicious bisections of triangle-free graphs
Balogh, Clemen and Lidický asked how large the minimum $\ell_p$-norm of the internal-edge counts over balanced partitions of an $n$-vertex triangle-free graph can be. For each fixed $2<p<\infty$ and all sufficiently large even $n$, we determine this value exactly for bisections and characterize all extremal graphs. They are precisely the complete bipartite graphs $K_{a,n-a}$ for which $a\le n/2$ maximizes an explicit integer objective. All maximizing values of $a$ lie in an interval of length bounded in terms of $p$ alone. We also prove quantitative stability for the same range of $p$ and $n$: for sufficiently small $δ\ge 0$, every $n$-vertex triangle-free graph with bisection value at least the asymptotic optimum minus $δn^2$ is within $O_p(δn^2+n)$ edge edits of a complete bipartite graph with the optimal limiting class ratio.
Extremal arborescences in graph orientations
In this paper, we study the extremal number of arborescences over orientations of a fixed graph. We prove that every alternating orientation of a plane Eulerian multigraph minimizes the rooted arborescence count among its Eulerian orientations. We also prove that every tournament of odd order maximizing the total number of arborescences is regular, and hence Eulerian. These results resolve Conjectures 5.1 and 5.4 of Bandekar et al. We further establish upper bounds for arborescence counts in orientations of complete bipartite graphs and characterize the orientations attaining them.
Crossing numbers of complete bipartite graphs
Zarankiewicz's long standing conjecture states that the crossing number $cr(K_{m,n})$ of the complete bipartite graph is \[ Z(m,n):=\bigg\lfloor{\frac{m}{2}}\bigg\rfloor \bigg\lfloor{\frac{m-1}{2}}\bigg\rfloor \bigg\lfloor{\frac{n}{2}}\bigg\rfloor \bigg\lfloor{\frac{n-1}{2}}\bigg\rfloor. \] Using flag algebras, we show that $cr(K_{n,n}) \geq 0.96936 \cdot Z(n,n) + o(n^4)$. We also show that the rectilinear crossing number $\overline{cr}(K_{n,n})$ of $K_{n,n}$ is at least $0.987\cdot Z(n,n) + o(n^4)$. Additionally, we prove the following for complete bipartite graphs: if a drawing of $K_{n,n}$ contains no induced subdrawing of $K_{3,4}$ with exactly two crossings whose endpoints intersect in exactly one vertex, then it has at least $Z(n,n)+o(n^4)$ crossings. This is a local restriction inspired by Turán-type problems that gives an asymptotically tight result.
A closely related conjecture is Hill's conjecture stating that the crossing number $cr(K_{n})$ of the complete graph $K_n$ is \[ H(n):= \frac14 \left\lfloor \frac{n}{2} \right\rfloor \left\lfloor \frac{n-1}{2} \right\rfloor \left\lfloor \frac{n-2}{2} \right\rfloor \left\lfloor \frac{n-3}{2} \right\rfloor \] for all $n \geq 3$. By an averaging argument, the asymptotic Zarankiewicz conjecture implies the asymptotic Hill conjecture. We improve the lower bound on $cr(K_{n})$ from $(0.985+o(1)) H(n)$ to $(0.9899+o(1)) H(n)$.
Both conjectures were claimed to be true in manuscripts by OpenAI dated Sep 23, 2026 and made public on Oct 6, 2026. This paper represents the state of knowledge before those publications and shows how far we can push the flag algebra method.
Local energy and vertex deletion for $A_α$-matrices
We study the change in the trace norm and the centred energy of the $A_α$-matrix of a graph under vertex deletion. A pinching argument proves that the trace norm is nondecreasing under passage from an induced subgraph to the original graph, and gives a lower bound in terms of the edges induced by the deleted vertices. Exact perturbation spectra yield sharp upper bounds for deleting a vertex or an independent set of vertices with a common neighbourhood. For $0<α<1/2$, equality in these upper bounds is characterized by star and complete bipartite components, respectively. For the centred energy, we derive explicit deletion bounds and classify all connected equality graphs for $0\leα<1$: the extremal graphs are stars and complete bipartite graphs for single-vertex and independent-twin deletion, respectively. We also characterize equality in the general-set trace-norm lower bound and prove strictness of the total centred-energy inequality for connected nonregular graphs when $0<α<1$. Examples show that centred local energy can be negative and that the degree deviation term cannot be omitted in general.
Bounded powers of edge ideals: Nearly Gorenstein polytopes
A lattice polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called nearly Gorenstein if $\mathcal{P}$ is normal and if its Ehrhart ring is a nearly Gorenstein ring. We study nearly Gorenstein polytopes arising from discrete polymatroids of bounded powers of edge ideals. Especially, it is shown that every nearly Gorenstein polytope coming from either a complete graph or a complete bipartite graph is level.
Local Ore Conditions for Rainbow Pancyclicity and Vertex-Pancyclicity in Graph Systems
We investigate rainbow pancyclicity and vertex-pancyclicity of graph systems satisfying a local Ore-type degree condition. All graphs in the system share the same vertex set. We prove that if each graph is 2-connected and satisfies our local Ore condition, then the graph system is either rainbow pancyclic and vertex-pancyclic for cycles of length from 4 to n, or all graphs are identical balanced complete bipartite graphs on an even vertex set. A stronger degree threshold ensures full rainbow vertex-pancyclicity. All thresholds we obtain are tight. Our proofs rely on cycle extension techniques and neighborhood separation arguments.
Reconfiguration graphs of mutual-visibility sets
A set $S\subseteq V(G)$ is a mutual-visibility set if every pair of vertices in $S$ is joined by a geodesic whose internal vertices do not belong to $S$. We define a reconfiguration graph whose vertices are the mutual-visibility sets of $G$. Two configurations are adjacent if one is obtained from the other by adding or removing one vertex or by sliding one token along an edge of $G$. The subgraphs induced by configurations of a fixed cardinality are called layers. The spanning subgraph formed by token-addition and token-removal edges is a daisy cube. We study the effects of token-sliding edges on distances and connectivity to this skeleton. For a connected host of order $n\ge3$, the vertex connectivity of the reconfiguration graph lies between $3$ and $n$, and both bounds are attained. We determine several parameters of $\mathcal{R}_{\mathcal{M}}(K_n)$ and describe the behavior of the model for disconnected hosts and for isometric or convex subgraphs. We also give a component-based criterion for mobile mutual visibility. For complete bipartite graphs, we use a description of feasible configurations to determine connectivity and distance bounds for fixed-cardinality layers. For trees, we show that every component of a layer of cardinality at least three is isomorphic to a Cartesian product of subtrees, obtaining exact metric formulas and characterizing the connected layers. Finally, we prove that every layer of a cycle is connected.
T-embeddings as stationary measures on T-graphs
In this paper, we investigate the relation between t-embeddings and T-graphs associated with the same weighted planar bipartite graph. We prove that, given such a T-graph, the corresponding t-embeddings are classified by positive stationary measures on this T-graph and describe a reconstruction procedure of the t-embedding given such a measure. As an application, we develop an approach for constructing t-embeddings of arbitrary sufficiently non-degenerate planar bipartite graphs.
The Strong Total Cover Problem
The Strong Total Cover Problem (STCP) is a novel covering problem defined on a graph $G = (V, E)$, where the objective is to find a minimum-cardinality subset $T \subseteq V \cup E$ such that every element of $V \cup E$ is covered. In this setting, a vertex covers itself and all its incident edges, while an edge covers itself together with its two endpoints. The STCP resembles classical covering problems such as Vertex Cover and Edge Cover problems, and naturally arises as the dual of the total matching problem. In this paper, we investigate the STCP from algorithmic, complexity, and polyhedral perspectives. We first establish close connections between STCP, the Dominating Set Problem, and the Maximum Induced Matching Problem. These relationships provide structural insights, imply the NP-hardness of STCP, and identify graph classes for which the problem is polynomial-time solvable. We then investigate the weighted version of STCP, showing that it remains NP-hard even on complete graphs with binary weights. On the other hand, we present a 2-approximation algorithm, and a polynomial-time algorithm for complete bipartite graphs. On the polyhedral side, we introduce the Strong Total Cover Polytope and derive several families of valid inequalities, some of which are shown to define facets. Finally, we provide a complete linear description of the associated polytope for triangular cactus graphs, revealing an interesting contrast with the considerably more intricate facial structure of the dominating set polytope on cactus graphs.
A deterministic polynomial-time algorithm for the Bilu--Linial signing problem on bipartite graphs
We give a deterministic polynomial-time algorithm for the Bilu--Linial signing problem on bipartite graphs. For every finite simple bipartite graph of maximum degree at most an integer $Δ\ge3$, the algorithm assigns signs to its edges so that the signed adjacency matrix has operator norm strictly less than $2\sqrt{Δ-1}$. Our algorithm builds on the randomized recursive repair framework of Jadbabaie, Saberi, and Sra~\cite{JSS26}, with deterministic rules for sign selection and vertex deletion.
Wild number for spanning trees in complete and complete bipartite graphs
Given an edge-colored graph, the wild number measures how close the graph is to having a spanning tree in every color. We investigate this parameter for complete graphs and complete bipartite graphs, with particular emphasis on minimum proper colorings and equitable $2$-colorings. For complete graphs, we determine the full range of wild numbers attainable by equitable $2$-colorings and show that, although every value in this range occurs, the expected wild number of a uniformly random equitable $2$-coloring tends to $0$ as the order of the graph grows. For minimum proper colorings of $K_n$, we establish a general lower bound, determine the exact wild number for $3 \le n \le 12$, and conjecture that the lower bound is sharp for all $n$. We also develop structural conditions on ideal wild sets and use them to obtain upper bounds and analyze the performance of a natural greedy algorithm. For complete bipartite graphs, we prove a sharp upper bound for equitable $2$-colorings and determine the wild number exactly for minimum proper colorings. Finally, we apply these results to Cartesian products of complete graphs and complete bipartite graphs, obtaining lower bounds for the wild number under minimum proper and product colorings.