Search arXivSearch

arXiv · 2509.01825

Size of bipartite graphs with given diameter and connectivity constraints

Abstract

In the first part of this paper we determine the maximum size of a (finite, simple, connected) bipartite graph of given order, diameter $d$, and connectivity $κ$. It was shown by Ali, Mazorodze, Mukwembi and Vetrík [On size, order, diameter and edge-connectivity of graphs. Acta Math. Hungar. {\bf 152}, (2017)] that for a connected triangle-free graph of order $n$, diameter $d$ and edge-connectivity $λ$, the size is bounded from above by about $\frac{1}{4}\left(n-\frac{(λ+c) d}{2}\right)^2+O(n)$, where $c\in\{0, \frac{1}{3}, 1\}$ for different values of $λ$. In the second part of this paper we show that this bound by Ali et al. on the size can be improved significantly for a much larger subclass of triangle-free graphs, namely, bipartite graphs of order $n$, diameter $d$ and edge-connectivity $λ$. We prove our result only for $λ= 2, 3, 4$ because it can be observed from this paper by Ali et al. that for $λ\geq 5$, there exists $\ell$-edge-connected bipartite graphs of given order and diameter whose size differs from the maximal size for given minimum degree $\ell$ only by at most a constant. Also, unlike the approach in the proof on the size of triangle-free graphs by Ali et al., our proof employs a completely different technique, which enables us to identify the extremal graphs; hence the bounds presented here are sharp.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sonwabile Mafunda. 2025-09-01. Size of bipartite graphs with given diameter and connectivity constraints. https://arxiv.org/abs/2509.01825

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Rooted Spider Embeddings and the Erd\H os-Sós Conjecture

Under a local density condition, we prove that every $k$-edge spider embeds at any prescribed center of degree at least $k$, unless all legs are even and the host graph has one of two specified structures. These structures contain complete bipartite subgraphs with prescribed neighborhoods. The proof uses path rerouting and three exchange lemmas that describe equality in neighborhood estimates. As a consequence, we recover the Erd\H os-Sós bound for all spiders.

math.CO

Generalized Goulden-Yong duals and signed minimal factorizations

In this paper, we give two combinatorial ways to study signed exceptional sequences. First, we show the equivalence between one-way reflections and relatively projective representations. Secondly, we construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We then give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.

math.CO

Explicit expressions for iterates of power series

We present several formulas for both the discrete and fractional iterates of an invertible power series $f$, using a new unifying approach based on umbral calculus. Known formulas are extended, and their proofs simplified, while new expressions are introduced. In particular, by employing $q$-calculus identities, we eliminate the requirement for $f'(0)$ to equal $1$ and the resulting general expressions for the iterative logarithm are obtained as well.

math.CO