arXiv++ Combinatorics

Over a decade ago, Koolen, Hayat, and Iqbal posed the problem of whether the distance spectrum determines bipartiteness within the class of connected graphs. In this paper, we resolve this problem in the negative: we explicitly construct an infinite family of counterexamples, where each pair comprises a connected bipartite graph and a connected non-bipartite graph with equal distance spectra.

Starting from the stability theorem of Erdős and Simonovits, stability problems for graphs forbidding a fixed subgraph have been studied in terms of edge numbers, spectral radii and subgraph counts. Let $\mathcal{N}(F,G)$ denote the number of unlabeled copies of $F$ in $G$. It is known that, for every fixed path $P_t$ and even cycle $C_{2a}$, the maximum number of copies in an $n$-vertex $C_{2\ell+1}$-free graph is attained by the bipartite Turán graph $T_{n,2}$. In this paper we obtain strong structural stability for $C_{2\ell+1}$-free graphs in terms of copies of paths and even cycles. For fixed $\ell\ge2$ and $3\le r\le2\ell-1$, we show that if an $n$-vertex $C_{2\ell+1}$-free graph contains at least as many copies of $P_t$ or $C_{2a}$ as the corresponding suspended extremal construction, then it has the corresponding suspension structure. This gives exact high-chromatic extremal theorems for paths and even cycles. We also prove a counting theorem for nearly complete bipartite graphs. It shows that, for every fixed matching-admissible connected bipartite graph $F$, both imbalance between the two parts and missing cross-edges decrease the number of copies of $F$ by a term with a specified main coefficient. This theorem is independent of the forbidden odd cycle and converts subgraph-count assumptions into the edge bounds needed for the structural theorem.

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$.

Bipartite Ramsey numbers is the smallest size of a complete bipartite graph $K_{N,N}$ such that every edge-coloring with a given number of colors inevitably yields a monochromatic copy of a prescribed bipartite graph. While exact values have been determined for certain specific graphs, the general asymptotic behavior of these numbers in terms of structural graph parameters remains poorly understood. In this paper, we investigate structure-dependent growth phenomena in bipartite Ramsey theory. We first establish a general lower bound for the $q$-color bipartite Ramsey number $\operatorname{br}(K_{s,t};q)$. The proof employs a probabilistic construction together with an optimization over independent set densities, adapting the approach of Nikiforov and Sawin to the bipartite context. Next, for a fixed bipartite graph $G$ with $p$ vertices and $q$ edges, we prove a lower bound of the form $\operatorname{br}(G,K_{n,n}) > C \bigl(\frac{n}{\log n}\bigr)^{(q-1)/(p-2)}$. As a corollary, we show that sufficiently dense bipartite graphs fail to be bipartite Ramsey size linear. Turning to even cycles and complete bipartite graphs, we obtain an upper bound on the multicolor bipartite Ramsey number $\operatorname{br}_k(C_{2t};K_{n,n}) \le c_{t,k}\, n^2/\log^2 n$, which follows from classical estimates for Zarankiewicz numbers together with a double-counting argument. Building on this result, we further derive a refined linear upper bound of the form $\operatorname{br}(C_{2t},G) \le \frac{m}{2} + \frac{29t\sqrt{m}}{2}$, valid for any connected bipartite graph $G$ with $m$ edges and no isolated vertices.

In 1981, Erdős and Faudree asked whether there exists an infinite family of graphs $G_N$ on $N$ vertices with $Δ(G_N)<N-1$ and $\sri(G_N)=1$, and whether every family with $|V(G_N)|=N$ and $Δ(G_N)<c$ for some fixed constant $c$ must satisfy $\sri(G_N)\to 0$. We show first that the literal forms of the two questions are controlled entirely by isolated vertices: for every nonempty graph $G$, the whole sequence $\bigl(\sr(tK_2,G)\bigr)_{t\ge 1}$ depends only on the isolate-free core $\core(G)$. Consequently, Problem 1 has a positive answer and Problem~2 has a negative answer in exactly their original form. We then turn to the genuine content behind the two problems. For Problem 1 we study connected graphs and prove a complete limit theorem: for every $α\in[0,1]$ there exists a family of connected bipartite graphs $G_N$ with $|V(G_N)|=N$ and $\sri(G_N)\toα$; in particular there are connected graphs with $Δ(G_N)=N-2$ and $\sri(G_N)\to 1$. For Problem~2 we prove a strengthened positive statement: if $Δ(G_N)<c$ for a fixed constant $c$ and the isolate-free core of $G_N$ has order tending to infinity, then $\sri(G_N)\to 0$. In particular every connected bounded-degree family satisfies $\sri(G_N)\to 0$. Thus the original Erdős-Faudree questions are resolved in their literal form, and the mechanism behind their connected and disconnected behavior is identified precisely.

We prove Ehrenborg's conjecture that every connected bipartite graph $G$ with parts of size $m$ and $n$ has at most $\frac{1}{mn}\prod_{v\in V(G)} \operatorname{deg}(v)$ spanning trees, and that equality holds if and only if $G$ is a Ferrers graph. The proof is fully formalized in Lean 4.

In "Bipartite minors," Chudnovsky etal. introduced the bipartite minor relation, a partial order on the set of bipartite graphs somewhat analogous the minor relation on general graphs and asked whether it is a well-order. We answer this question negatively by giving an infinite set of $2$-connected bipartite graphs that are pairwise incomparable with respect to the bipartite minor relation. We additionally give two sets of infinitely many pairs of bipartite graphs: one set of pairs $G,H$ such that $H$ is a bipartite minor, but not a minor, of $G$, and one set of pairs $G,H$ such that $H$ is a minor, but not a bipartite minor, of $G$.

Recently, Ali et al. posed several open problems concerning extremal graphs with respect to the ABS index. These problems involve characterizing graphs that attain the maximum ABS index within specific graph classes, including: connected graphs with n vertices and p cut-vertices; (ii) connected graphs of order n with vertex k-partiteness; and (iii) connected bipartite graphs of order n with a fixed vertex connectivity κ. In this paper, we provide complete solutions to all of these problems.

Property $(P)$, introduced in recent work and rooted in the classical theory of Parter vertices, concerns the existence of a nonsingular matrix $A\in S(G)$ for which every vertex of $G$ is a $P$-vertex. Previous investigations have fully characterized the property for trees, established it for cycles, extended it to unicyclic graphs, and shown that bipartite graphs with a perfect matching always satisfy property $(P)$. However, whether the converse holds for connected bipartite graphs remains open in general. In this paper, we make progress toward answering this question on multiple fronts. We first prove that every connected bipartite graph satisfying property $(P)$ must be balanced, providing a fundamental necessary condition. We further establish complete characterizations for several significant families of bipartite graphs. Specially, we show that every connected bipartite graph of order at most $8$ has property $(P)$ if and only if it has a perfect matching, and more generally, that a connected bipartite graph of order $8+2k$ with at least $k$ pendant edges satisfies property $(P)$ exactly when it has a perfect matching. We further prove that within the class of triangular bipartite graphs, property $(P)$ is equivalent to the existence of a perfect matching, providing a full characterization for this broad structural subclass. In addition, we introduce the threaded union over a graph, a general operation for assembling larger graphs from smaller components, and show that threaded union over a tree--cycle block graph preserves property $(P)$. This significantly generalizes earlier result about joining two graphs with property $(P)$ by a single edge preserves property $(P)$.

Caro, Patkós, and Tuza initiated a systematic study of the bipartite Turán number for trees, and in particular asked for the extremal number of edges in connected bipartite graphs with prescribed color-class sizes that contain no paths of given lengths. In this paper, we determine these numbers exactly and describe all corresponding extremal configurations. Our approach first establishes a more general result for long cycles: we determine the exact structure of all 2-connected bipartite graphs with no cycle of length at least a given constant. The proof combines Kopylov's method for long cycles with a strengthened version of Jackson's classical lemma, in which every extremal configuration is characterized. To highlight the applicability of our results, we conclude with applications yielding concise proofs of classical theorems on bipartite Turán numbers, notably rederiving the results of Gyárfás, Rousseau, and Schelp for paths and Jackson for long cycles.

In 2012, Mader conjectured that for any tree $T$ of order $m$, every $k$-connected graph $G$ with minimum degree at least $\lfloor \frac{3k}{2}\rfloor+m-1$ contains a subtree $T'\cong T$ such that $G-V(T')$ remains $k$-connected. In 2022, Luo, Tian, and Wu considered an analogous problem for bipartite graphs and conjectured that for any tree $T$ with bipartition $(X,Y)$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+\max\{|X|,|Y|\}$ contains a subtree $T'\cong T$ such that $G-V(T')$ remains $k$-connected. In this paper, we relax the bipartite assumption by considering triangle-free graphs and prove that for any tree $T$ of order $m$, every $k$-connected triangle-free graph $G$ with minimum degree at least $2k+3m-4$ contains a subtree $T' \cong T$ such that $G-V(T')$ remains $k$-connected. Furthermore, we establish refined results for specific subclasses such as bipartite graphs or graphs with girth at least five.

The widely studied edge modification problems ask how to minimally alter a graph to satisfy certain structural properties. In this paper, we introduce and study a new edge modification problem centered around transforming a given graph into a triangle-covered graph (one in which every vertex belongs to at least one triangle). We first present tight lower bounds on the number of edges in any connected triangle-covered graph of order $n$, and then we characterize all connected graphs that attain this minimum edge count. For a graph $G$, we define the notion of a $Δ$-completion set as a set of non-edges of $G$ whose addition to $G$ results in a triangle-covered graph. We prove that the decision problem of finding a $Δ$-completion set of size at most $t\geq0$ is $\mathbb{NP}$-complete and does not admit a constant-factor approximation algorithm under standard complexity assumptions. Moreover, we show that this problem remains $\mathbb{NP}$-complete even when the input is restricted to connected bipartite graphs. We then study the problem from an algorithmic perspective, providing tight bounds on the minimum $Δ$-completion set size for several graph classes, including trees, chordal graphs, and cactus graphs. Furthermore, we show that the triangle-covered problem admits an $(\ln n +1)$-approximation algorithm for general graphs. For trees and chordal graphs, we design algorithms that compute minimum $Δ$-completion sets. Finally, we show that the threshold for a random graph $\mathbb{G}(n, p)$ to be triangle-covered occurs at $n^{-2/3}$.

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.

We introduce several new concepts about graphs and investigate their basic properties. A longest path in a graph is called a detour and a longest cycle is called a cummerbund. The detour covering number of a graph is the number of vertices that lie in a detour. A graph is said to be detour covered if every vertex lies in a detour. The cummerbund covering number and cummerbund covered graphs are defined similarly. Some of the main results are as follows. (1) Minimum degree and forbidden subgraph conditions that ensure a graph to be cummerbund covered or detour covered. (2) The minimum cummerbund covering number and minimum detour covering number of a graph with connectivity or girth conditions. (3) The minimum cummerbund covering number of a $2$-connected bipartite graph and the extremal graphs.

The distance ideals of graphs are algebraic invariants that generalize the Smith normal form (SNF) and the spectrum of several distance matrices associated with a graph. In general, distance ideals are not monotone under taking induced subgraphs. However, in [7] the characterizations of connected graphs with one trivial distance ideal over $\mathbb{Z}[X]$ and over $\mathbb{Q}[X]$ were obtained in terms of induced subgraphs, where $X$ is a set of variables indexed by the vertices. Later, in [3], the first attempt was made to characterize the family of connected graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. There, it was proven that these graphs are $\{ \mathcal {F},\textsf{odd-holes}_{7}\}$-free, where $\textsf{odd-holes}_{7}$ consists of the odd cycles of length at least seven and $\mathcal{F}$ is a set of sixteen graphs. Here, we give a characterization of the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs and prove that the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs are precisely the graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. As byproduct, we also find that the determinant of the distance matrix of a connected bipartite graph is even, this suggests that it is possible to extend, to connected bipartite graphs, the Graham-Pollak-Lovász celebrated formula $\det(D(T_{n+1}))=(-1)^nn2^{n-1}$, and the Hou-Woo result stating that $\text{SNF}(D(T_{n+1}))=\textsf{I}_2\oplus 2\textsf{I}_{n-2}\oplus (2n)$, for any tree $T_{n+1}$ with $n+1$ vertices. Finally, we also give the characterizations of graphs with at most two trivial distance ideals over $\mathbb{Q}[X]$, and the graphs with at most two trivial distance univariate ideals.

We start a systematic investigation concerning bipartite Turán number for trees. For a graph $F$ and integers $1 \leq a \leq b$ we define: $(i)$\quad $ex_b(a, b, F)$ is the largest number of edges that an $F$-free bipartite graph can have with part sizes $a$ and $b$. We write $ex_b(n, F)$ for $ex_b(n, n, F)$. $(ii)$\quad $ex_{b,c}(a, b, F)$ is the largest number of edges that an $F$-free connected, bipartite graph can have with part sizes $a$ and $b$. We write $ex_{b,c}(n, F)$ for $ex{b,c}(n, n, F)$. Both definitions are similar for a family $\mathcal{F}$ of graphs. We prove general lower bounds depending on the maximum degree of $F$, as well as on the cardinalities of the two vertex classes of $F$. We derive upper and lower bounds for $ex_b(n,F)$ in terms of $ex(2n,F)$ and $ex(n, F)$, the corresponding classical (not bipartite) Turán numbers. We solve both problems for various classes of graphs, including all trees up to six vertices for any $n$, for double stars $D_{s ,t}$ if $a \geq f(s,t )$, for some families of spiders, and more. We use these results to supply an answer to a problem raised by L. T. Yuan and X. D. Zhang [{\it Graphs and Combinatorics}, 2017] concerning $ex_b( n, \mathcal{T}_{k,\ell} )$, where $\mathcal{T}_{k,\ell}$ is the family of all trees with vertex classes of respective cardinalities $k$ and $\ell$. The asymptotic worst-case ratios between Turán-type functions are also inverstigated.

Let $G$ be a graph and $T$ be a spanning tree of $G$. We use $Q(G)=D(G)+A(G)$ to denote the signless Laplacian matrix of $G$, where $D(G)$ is the diagonal degree matrix of $G$ and $A(G)$ is the adjacency matrix of $G$. The signless Laplacian spectral radius of $G$ is denoted by $q(G)$. A necessary and sufficient condition for a connected bipartite graph $G$ with bipartition $(A,B)$ to have a spanning tree $T$ with $d_T(v)\geq k$ for any $v\in A$ was independently obtained by Frank and Gyárfás (A. Frank, E. Gyárfás, How to orient the edges of a graph?, Colloq. Math. Soc. Janos Bolyai 18 (1976) 353--364), Kaneko and Yoshimoto (A. Kaneko, K. Yoshimoto, On spanning trees with restricted degrees, Inform. Process. Lett. 73 (2000) 163--165). Based on the above result, we establish a lower bound on the signless Laplacian spectral radius $q(G)$ of a connected bipartite graph $G$ with bipartition $(A,B)$, in which the bound guarantees that $G$ has a spanning tree $T$ with $d_T(v)\geq k$ for any $v\in A$.

For a family of graphs $\cal F$, a graph $G$ is $\cal F$-free if it does not contain a member of $\cal F$ as a subgraph. The Turán number $\textrm{ex}(n,{\cal F})$ is the maximum number of edges in an $n$-vertex graph which is $\cal F$-free. Let ${\cal C}_{\geq k}$ be the set of cycles with length at least $k$. In this paper, we investigate the Turán number of $\{{\cal C}_{\geq k}, F\}$ for a general graph $F$. To be precise, we determine $\textrm{ex}(n, \{{\cal C}_{\geq k}, F\})$ apart from a constant additive term, where $F$ either is a 2-connected nonbipartite graph or is a 2-connected bipartite graph under some conditions. This is an extension of a previous result on the Turán number of $\{{\cal C}_{\geq k}, K_r\}$ by the first author, Ning, and the third author.

A set of \( k \) spanning trees in a graph \( G \) is called a set of \textit{completely independent spanning trees (CISTs)} if, for every pair of vertices \( x \) and \( y \), the paths connecting \( x \) and \( y \) across different trees do not share any vertices or edges, except for \( x \) and \( y \) themselves. Hasunuma conjectured that every \(2k\)-connected graph contains exactly \(k\) completely independent spanning trees (CISTs). However, Pétérfalvi disproved this conjecture. When \( k = 2 \), the two CISTs are called a \textit{dual-CIST}. It has been shown that determining whether a graph can have \( k \) CISTs is an NP-complete problem, even when \( k = 2 \). In $2017$, Darties et al. raised the question of whether the $6-$dimensional hypercube \( Q_6 \) can have three completely independent spanning trees (CISTs). This paper provides an answer to that question. In this paper, we first present a necessary condition for \( k \)-regular, \( k \)-connected bipartite graphs to have \( \left\lfloor \frac{k}{2} \right\rfloor \) CISTs. We also investigate that the hypercube of dimension \( n \) cannot have \( \frac{n}{2} \) CISTs, which means Hasunuma's conjecture does not hold for the hypercube \( Q_n \) when \( n \) is an even integer \(2 < n \leq 10^7 \), except when \(n = 2^r\) and \( n \in \{161038, 215326, 2568226, 3020626, 7866046, 9115426 \} \). This result also resolves a question posed by Darties et al. The construction of multiple CISTs on the underlying graph of a network has practical applications in ensuring the fault tolerance of data transmission. In this context, we also provide a construction for three completely independent spanning trees in the hypercube \(Q_n\) for \(n \geq 7\). Our results show that Hasunuma's conjecture holds for odd integer \(n = 7\) in \(Q_n\), but does not hold for even integer \(n = 6\).

Let $η_{1}\ge η_{2}\ge\cdots\ge η_{n}$ be the eigenavalues of $\mathcal{ABS}$ matrix. In this paper, we characterize connected graphs with $\mathcal{ABS}$ eigenvalue $η_{n}>-1$. As a result, we determine all connected graphs with exactly two distinct $\mathcal{ABS}$ eigenvalues. We show that a connected bipartite graph has three distinct $\mathcal{ABS}$ eigenvalues if and only if it is a complete bipartite graph. Furthermore, we present some bounds for the $\mathcal{ABS}$ spectral radius (resp. $\mathcal{ABS}$ energy) and characterize extremal graphs. Also, we obtain a relation between $\mathcal{ABC}$ energy and $\mathcal{ABS}$ energy. Finally, the chemical importance of $\mathcal{ABS}$ energy is investigated and it shown that the $\mathcal{ABS}$ energy is useful in predicting certain properties of molecules.