On the Steiner $k$-diameter and Steiner ($k,k^{\prime}$)-radius of trees

TL;DR

This paper generalizes a known inequality relating Steiner diameters and radii in trees, providing tighter bounds and extending the results to Steiner $(k,k')$-radius for various parameters.

Contribution

It extends the inequality between Steiner $k$-diameter and Steiner $k$-radius to Steiner $(k,k')$-radius in trees, including tight bounds for specific cases.

Findings

Generalized the inequality to Steiner $(k,k')$-radius for all trees.

Established tight bounds for Steiner $k$-diameter when $k'=2$ and $k'=3$.

Extended prior results from 1989 to broader parameters.

Abstract

Given a connected graph $G=(V,E)$ and a $k$-set $S\subseteq V(G)$, the $Steiner$ $distance$ $d_{G}(S)$ of $S$ is defined as the size of a minimum tree including $S$ in $G$. The $Steiner$ $k$-$eccentricity$ of a vertex $v$ in $G$ is the maximum value of $d_G(S)$ over all $S\subseteq V(G)$ with $|S|=k$ and $v\in S$. The minimum Steiner $k$-eccentricity over all vertices, denoted by $Sr_k(G)$, is called the $Steiner$ $k$-$radius$ of $G$ and the maximum Steiner $k$-eccentricity over all vertices, denoted by $Sd_k(G)$, is its $Steiner$ $k$-$diameter$. The $Steiner$ $(k,k^{\prime})$-$eccentricity$ of a $k^{\prime}$-subset $S^{\prime}$ of $V(G)$, which is an extension of the Steiner $k$-eccentricity of a vertex $v$, is defined as the maximum Steiner distance over all $k$-subsets of $V(G)$ containing $S^{\prime}$. The minimum Steiner $(k,k^{\prime})$-eccentricity among all $k^{\prime}$-subsets of $V(G)$, denoted by $Sr_{k,k^{\prime}}(G)$, is called the $Steiner$ $(k,k^{\prime})$-$radius$ of $G$. In 1989, Chartrand, Oellermann, Tian and Zou showed that for any $k\geq3$, $Sd_k(T)\leq \frac{k}{k-1}Sr_k(T)$ for any tree $T$. In this paper, we generalize this result and show that $Sd_k(T)\leq \frac{k}{k-k^{\prime}}Sr_{k,k^{\prime}}(T)$ for any $k\geq3$, $k>k^{\prime}\geq1$. Furthermore, for $k^{\prime}=2$ and $k^{\prime}=3$, we obtain a tight upper bound of the Steiner $k$-diameter by the Steiner $(k,k^{\prime})$-radius for all trees.