arXiv++ Combinatorics

The Randić index of a graph $G$ is $R(G)=\sum_{uv\in E(G)}1/\!\sqrt{d(u)d(v)}$, where $d(v)$ is the degree of $v$, and the matching number $α'(G)$ is the maximum size of a matching in $G$. We prove that every $n$-vertex König--Egerváry graph, and in particular every bipartite graph, satisfies \[ R(G)\le\sqrt{α'(G)\left(n-α'(G)\right)}, \] and we characterize the graphs attaining equality. Combining this with the Berge--Tutte formula, we determine the maximum of $R(G)-α'(G)$ over all $n$-vertex graphs with $n\ge4$, together with every extremal graph. This settles a conjecture of Aouchiche, Hansen, and Zheng from 2006 in the negative: the smallest counterexample is $K_{10,55}$, the optimal part size is determined by the proportion $\frac{2-\sqrt2}{4}$ rather than by $\frac17$, and the extremal graphs are not only the complete bipartite ones, so that the equality statement fails already for $n=10$. The two proportions give asymptotic slopes differing by $3.7\cdot10^{-5}$, which explains why the conjecture resisted searches over graphs of small order, and the orders admitting two optimal part sizes are those arising from the Pell equation $x^2-2y^2=1$.

For integers \(r\ge 2\), \(t\ge 1\) and a real number \(a\in(3/2,2]\), we study the typical structure of oriented graphs and digraphs that do not contain a blow-up \(T_{r+1}^t\) of a transitive tournament. We prove that almost every \(T_{r+1}^t\)-free oriented graph on n vertices admits an r-partition \(V_1\cup\cdots\cup V_r\) such that each induced subgraph \(G[V_i]\) is \(T_2^t\)-free, and the same holds for almost every \(T_{r+1}^t\)-free digraph.Consequently, the number \(f(n,T_{r+1}^t)\) of labelled \(T_{r+1}^t\)-free oriented graphs satisfies \(f(n,T_{r+1}^t)=|\mathcal{P}_{n,r,t}|(1+o(1))\), where \(\mathcal{P}_{n,r,t}\) is the family of oriented graphs admitting such an r-partition with each part \(T_2^t\)-free; an analogous statement holds for digraphs.When \(t=1\) this recovers the result of K"uhn, Osthus, Townsend and Zhao (2017) that almost all \(T_{r+1}\)-free oriented graphs (resp. digraphs) are r-partite, thereby confirming a generalised form of Cherlin's conjecture. Our proof combines the hypergraph container method, a weighted Erdős-Stone theorem, and a stability analysis for near-extremal \(T_{r+1}^t\)-free digraphs.

A graph is sad to be $H$-free if it does not contain $H$ as a subgraph. Let $H(k,3)$ be the graph formed by taking a cycle of length $k$ and a triangle on a common vertex. Li, Lu and Peng [Discrete Math. 346 (2023) 113680] proved that if $G$ is an $H(3,3)$-free graph of size $m \geq 8$, then the spectral radius $ρ(G) \leq \frac{1+\sqrt{4 m-3}}{2}$ with equality if and only if $G \cong S_{\frac{m+3}{2}, 2}$, where $S_{\frac{m+3}{2}, 2}=K_2 \vee \frac{m-1}{2}K_1$. Note that the bound is attainable only when $m$ is odd. Recently, Pirzada and Rehman [Comput. Appl. Math. 44 (2025) 295] proved that if $G$ is an $\{H(3,3),H(4,3)\}$-free graph of even size $m \geq 10$, then $ρ(G) \leq ρ^{\prime}(m)$ with equality if and only if $G \cong S_{\frac{m+4}{2}, 2}^{-}$, where $ρ^{\prime}(m)$ is the largest root of $x^4-m x^2-(m-2) x+\frac{m}{2}-1=0$, and $S_{\frac{m+4}{2}, 2}^{-}$ is the graph obtained from $S_{\frac{m+4}{2}, 2}$ by deleting an edge incident to a vertex of degree two. In this paper, we improve the result of Pirzada and Rehman by showing that if $G$ is an $H(4,3)$-free graph of even size $m \geq 38$ without isolated vertices, then $ρ(G) \leq ρ^{\prime}(m)$ with equality if and only if $G \cong S_{\frac{m+4}{2}, 2}^{-}$.

For a graph $G=(V,E)$ and $v_{i}\in V$, denote by $d_{v_{i}}$ (or $d_{i}$ for short) the degree of vertex $v_{i}$. The $p$-Sombor matrix $\textbf{S}_{\textbf{p}}(G)$ ($p\neq0$) of a graph $G$ is a square matrix, where the $(i,j)$-entry is equal to $\displaystyle (d_{i}^{p}+d_{j}^{p})^{\frac{1}{p}}$ if the vertices $v_{i}$ and $v_{j}$ are adjacent, and 0 otherwise. The $p$-Sombor spectral radius of $G$, denoted by $\displaystyle ρ(\textbf{S}_{\textbf{p}}(G))$, is the largest eigenvalue of the $p$-Sombor matrix $\textbf{S}_{\textbf{p}}(G)$. In this paper, we consider the extremal trees, unicyclic and bicyclic graphs with respect to the $p$-Sombor spectral radii. We characterize completely the extremal graphs with the first three maximum Sombor spectral radii, which answers partially a problem posed by Liu et al. in [MATCH Commun. Math. Comput. Chem. 87 (2022) 59-87].

The spectral radius and rank of a graph are defined to be the spectral radius and rank of its adjacency matrix, respectively. It is an important problem in spectral extremal graph theory to determine the extremal graph that has the maximum or minimum spectral radius over certain families of graphs. Monsalve and Rada [Extremal spectral radius of graphs with rank 4, Linear Algebra Appl. 609 (2021) 1-11] obtained the extremal graphs with maximum and minimum spectral radii among all graphs with order n and rank 4. In this paper, we first determine the extremal graph which attains the maximum spectral radius among all graphs with any given order n and rank r, and further determine the extremal graph which attains the minimum spectral radius among all graphs with order n and rank 5.

For a graph $G=(V,E)$ and $v_{i}\in V$, denote by $d_{i}$ the degree of vertex $v_{i}$. Let $f(x, y)>0$ be a real symmetric function in $x$ and $y$. The weighted adjacency matrix $A_{f}(G)$ of a graph $G$ is a square matrix, where the $(i,j)$-entry is equal to $\displaystyle f(d_{i}, d_{j})$ if the vertices $v_{i}$ and $v_{j}$ are adjacent and 0 otherwise. Li and Wang \cite{U9} tried to unify methods to study spectral radius of weighted adjacency matrices of graphs weighted by various topological indices. If $\displaystyle f'_{x}(x, y)\geq0$ and $\displaystyle f''_{x}(x, y)\geq0$, then $\displaystyle f(x, y)$ is said to be increasing and convex in variable $x$, respectively. They obtained the tree with the largest spectral radius of $A_{f}(G)$ is a star or a double star when $f(x, y)$ is increasing and convex in variable $x$. In this paper, we add the following restriction: $f(x_{1},y_{1})\geq f(x_{2},y_{2})$ if $x_{1}+y_{1}=x_{2}+y_{2}$ and $\mid x_{1}-y_{1}\mid>\mid x_{2}-y_{2}\mid$ and call $A_f(G)$ the restrictedly weighted adjacency matrix of $G$. The restrictedly weighted adjacency matrix contains weighted adjacency matrices weighted by first Zagreb index, first hyper-Zagreb index, general sum-connectivity index, forgotten index, Somber index, $p$-Sombor index and so on. We obtain the extremal trees with the smallest and the largest spectral radius of $A_{f}(G)$. Our results push ahead Li and Wang's research on unified approaches.

The arithmetic-geometric matrix $A_{ag}(G)$ of a graph $G$ is a square matrix, where the $(i,j)$-entry is equal to $\displaystyle \frac{d_{i}+d_{j}}{2\sqrt{d_{i}d_{j}}}$ if the vertices $v_{i}$ and $v_{j}$ are adjacent, and 0 otherwise. The arithmetic-geometric spectral radius of $G$, denoted by $ρ_{ag}(G)$, is the largest eigenvalue of the arithmetic-geometric matrix $A_{ag}(G)$. Let $S_{n}$ be the star of order $n\geq3$ and $S_{n}+e$ be the unicyclic graph obtained from $S_{n}$ by adding an edge. In this paper, we prove that for any tree $T$ of order $n\geq2$, $\displaystyle 2\cos\fracπ{n+1}\leqρ_{ag}(P_{n})\leqρ_{ag}(T)\leqρ_{ag}(S_{n})=\frac{n}{2},$ with equality if and only if $T\cong P_{n}$ for the lower bound, and if and only if $T\cong S_{n}$ for the upper bound. We also prove that for any unicyclic graph $G$ of order $n\geq3$, $\displaystyle 2=ρ_{ag}(C_{n})\leqρ_{ag}(G)\leqρ_{ag}(S_{n}+e),$ the lower (upper, respectively) bound is attained if and only if $T\cong C_{n}$ ($T\cong S_{n}+e$, respectively) and $\displaystyleρ_{ag}(S_{n}+e)<\frac{n}{2}$ for $n\geq7$.