arXiv++ Combinatorics

A $k$-nearly independent vertex subset of a graph $G$ is a set of vertices that induces a subgraph containing exactly $k$ edges. For $k = 0$, this coincides with the classical notion of independent subsets. This paper investigates the average size, $av_1(G)$ of the $1$-nearly independent vertex subsets of both graphs and trees of a given order $n$. Let $E_n$ denote the $n$-vertex edgeless graph, so that $av_1(E_n) = 0$. We determine all $n$-vertex graphs $G\neq E_n$ that minimize or maximize $av_1$. Similarly, we identify the trees of order $n$ that achieve the minimum value of $av_1$, and prove that the maximum value lies between $n/2$ and $(n+1)/2$ if $n>8$. Finally, we construct a family of $n$-vertex trees which shows that the bounds are asymptotically sharp.

The rank (also known as protection number or leaf-height) of a vertex in a rooted tree is the minimum distance between the vertex and any of its leaf descendants. We consider the sum of ranks over all vertices (known as the security) in binary trees, and produce a classification of families of binary trees for which the security is maximized. In addition, extremal results relating to maximum rank among all vertices in families of trees is discussed.

Given a rooted tree $T$ with vertices $u_1,u_2,\ldots,u_n$, the level matrix $L(T)$ of $T$ is the $n \times n$ matrix for which the $(i,j)$-th entry is the absolute difference of the distances from the root to $v_i$ and $v_j$. This matrix was implicitly introduced by Balaji and Mahmoud~[{\em J. Appl. Prob.} 54 (2017) 701--709] as a way to capture the overall balance of a random class of rooted trees. In this paper, we present various bounds on the eigenvalues of $L(T)$ in terms of other tree parameters, and also determine the extremal structures among trees with a given order. Moreover, we establish bounds on the mutliplicity of any eigenvalue in the level spectrum and show that the bounds are best possible. Furthermore, we provide evidence that the level spectrum can characterise some trees. In particular, we provide an affirmative answer to a very recent conjecture on the level energy (sum of absolute values of eigenvalues).

We characterise the structure of those graphs of a given order which maximise the number of connected induced subgraphs for seven different graph classes, each with other prescribed parameters like minimum degree, independence number, vertex cover number, vertex connectivity, edge connectivity, chromatic number, number of bridges, thereby contributing to filling a gap in the literature.

A subtree can be induced in a natural way by a subset of leaves of a rooted tree. We study the number of nonisomorphic such subtrees induced by leaves (leaf-induced subtrees) of a rooted tree with no vertex of outdegree 1 (topological tree). We show that only stars and binary caterpillars have the minimum nonisomorphic leaf-induced subtrees among all topological trees with a given number of leaves. We obtain a closed formula and a recursive formula for the families of $d$-ary caterpillars and complete $d$-ary trees, respectively. An asymptotic formula is found for complete $d$-ary trees using polynomial recurrences. We also show that the complete binary tree of height $h>1$ contains precisely $\lfloor 2(1.24602...)^{2^h}\rfloor$ nonisomorphic leaf-induced subtrees.

The eccentric sequence of a connected graph $G$ is the nondecreasing sequence of the eccentricities of its vertices. The Wiener index of $G$ is the sum of the distances between all unordered pairs of vertices of $G$. The unique trees that minimise the Wiener index among all trees with a given eccentric sequence were recently determined by the present authors. In this paper we show that these results hold not only for the Wiener index, but for a large class of distance-based topological indices which we term Wiener-type indices. Particular cases of this class include the hyper-Wiener index, the Harary index, the generalised Wiener index $W^λ$ for $λ>0$ and $λ<0$, and the reciprocal complementary Wiener index. Our results imply and unify known bounds on these Wiener-type indices for trees of given order and diameter. We also present similar results for the $k$-Steiner Wiener index of trees with a given eccentric sequence. The Steiner distance of a set $A\subseteq V(G)$ is theminimum number of edges in a subtree of $G$ whose vertex set contains $A$, and the $k$-Steiner Wiener index is the sum of distances of all $k$-element subsets of $V(G)$. As a corollary, we obtain a sharp lower bound on the $k$-Steiner Wiener index of trees with given order and diameter, and determine in which cases the extremal tree is unique, thereby correcting an error in the literature.

The eccentricity of a vertex $u$ in a connected graph $G$ is the distance between $u$ and a vertex farthest from it; the eccentric sequence of $G$ is the nondecreasing sequence of the eccentricities of $G$. In this paper, we determine the unique tree that minimises the Wiener index, i.e. the sum of distances between all unordered vertex pairs, among all trees with a given eccentric sequence. We show that the same tree maximises the number of subtrees among all trees with a given eccentric sequence, thus providing another example of negative correlation between the number of subtrees and the Wiener index of trees. Furthermore, we provide formulas for the corresponding extreme values of these two invariants in terms of the eccentric sequence. As a corollary to our results, we determine the unique tree that minimises the edge Wiener index, the vertex-edge Wiener index, the Schulz index (or degree distance), and the Gutman index among all trees with a given eccentric sequence.

Cut vertices are often used as a measure of nodes' importance within a network. They are those nodes whose failure disconnects a graph. Let N(G) be the number of connected induced subgraphs of a graph $G$. In this work, we investigate the maximum of N(G) where $G$ is a unicyclic graph with $n$ nodes of which $c$ are cut vertices. For all valid $n,c$, we give a full description of those maximal (that maximise N(.)) unicyclic graphs. It is found that there are generally two maximal unicyclic graphs. For infinitely many values of $n,c$, however, there is a unique maximal unicyclic graph with $n$ nodes and $c$ cut vertices. In particular, the well-known negative correlation between the number of connected induced subgraphs of trees and the Wiener index (sum of distances) fails for unicyclic graphs with $n$ nodes and $c$ cut vertices: for instance, the maximal unicyclic graph with $n=3,4\mod 5$ nodes and $c=n-5>3$ cut vertices is different from the unique graph that was shown by Tan et al.~[{\em The Wiener index of unicyclic graphs given number of pendant vertices or cut vertices}. J. Appl. Math. Comput., 55:1--24, 2017] to minimise the Wiener index. Our main characterisation of maximal unicyclic graphs with respect to the number of connected induced subgraphs also applies to unicyclic graphs with $n$ nodes, $c$ cut vertices and girth at most $g>3$, since it is shown that the girth of every maximal graph with $n$ nodes and $c$ cut vertices cannot exceed $4$.

A vertex whose removal in a graph $G$ increases the number of components of $G$ is called a cut vertex. For all $n,c$, we determine the maximum number of connected induced subgraphs in a connected graph with order $n$ and $c$ cut vertices, and also characterise those graphs attaining the bound. Moreover, we show that the cycle has the smallest number of connected induced subgraphs among all cut vertex-free connected graphs. The general case $c>0$ remains an open task. We also characterise the extremal graph structures given both order and number of pendant vertices, and establish the corresponding formulas for the number of connected induced subgraphs. The `minimal' graph in this case is a tree, thus coincides with the structure that was given by Li and Wang~[Further analysis on the total number of subtrees of trees. \emph{Electron. J. Comb.} 19(4), #P48, 2012].

Over all graphs (or unicyclic graphs) of a given order, we characterise those graphs that minimise or maximise the number of connected induced subgraphs. For each of these classes, we find that the graphs that minimise the number of connected induced subgraphs coincide with those that are known to maximise the Wiener index (the sum of the distances between all unordered pairs of vertices), and vice versa. For every $k$, we also determine the connected graphs that are extremal with respect to the number of $k$-vertex connected induced subgraphs. We show that, in contrast to the minimum which is uniquely realised by the path, the maximum value is attained by a rich class of connected graphs.

The quantity that captures the asymptotic value of the maximum number of appearances of a given topological tree (a rooted tree with no vertices of outdegree $1$) $S$ with $k$ leaves in an arbitrary tree with sufficiently large number of leaves is called the inducibility of $S$. Its precise value is known only for some specific families of trees, most of them exhibiting a symmetrical configuration. In an attempt to answer a recent question posed by Czabarka, Székely, and the second author of this article, we provide bounds for the inducibility $J(A_5)$ of the $5$-leaf binary tree $A_5$ whose branches are a single leaf and the complete binary tree of height $2$. It was indicated before that $J(A_5)$ appears to be `close' to $1/4$. We can make this precise by showing that $0.24707\ldots \leq J(A_5) \leq 0.24745\ldots$. Furthermore, we also consider the problem of determining the inducibility of the tree $Q_4$, which is the only tree among $4$-leaf topological trees for which the inducibility is unknown.

A subset of leaves of a rooted tree induces a new tree in a natural way. The density of a tree $D$ inside a larger tree $T$ is the proportion of such leaf-induced subtrees in $T$ that are isomorphic to $D$ among all those with the same number of leaves as $D$. The inducibility of $D$ measures how large this density can be as the size of $T$ tends to infinity. In this paper, we explicitly determine the inducibility in some previously unknown cases and find general upper and lower bounds, in particular in the case where $D$ is balanced, i.e., when its branches have at least almost the same size. Moreover, we prove a result on the speed of convergence of the maximum density of $D$ in strictly $d$-ary trees $T$ (trees where every internal vertex has precisely $d$ children) of a given size $n$ to the inducibility as $n \to \infty$, which supports an open conjecture.

Given $d\geq 2$ and two rooted $d$-ary trees $D$ and $T$ such that $D$ has $k$ leaves, the density $γ(D,T)$ of $D$ in $T$ is the proportion of all $k$-element subsets of leaves of $T$ that induce a tree isomorphic to $D$, after erasing all vertices of outdegree $1$. In a recent work, it was proved that the limit inferior of this density as the size of $T$ grows to infinity is always zero unless $D$ is the $k$-leaf binary caterpillar $F^2_k$ (the binary tree with the property that a path remains upon removal of all the $k$ leaves). Our main theorem in this paper is an exact formula (involving both $d$ and $k$) for the limit inferior of $γ(F^2_k,T)$ as the size of $T$ tends to infinity.

Imitating a recently introduced invariant of trees, we initiate the study of the inducibility of $d$-ary trees (rooted trees whose vertex outdegrees are bounded from above by $d\geq 2$) with a given number of leaves. We determine the exact inducibility for stars and binary caterpillars. For $T$ in the family of strictly $d$-ary trees (every vertex has $0$ or $d$ children), we prove that the difference between the maximum density of a $d$-ary tree $D$ in $T$ and the inducibility of $D$ is of order $\mathcal{O}(|T|^{-1/2})$ compared to the general case where it is shown that the difference is $\mathcal{O}(|T|^{-1})$ which, in particular, responds positively to an existing conjecture on the inducibility in binary trees. We also discover that the inducibility of a binary tree in $d$-ary trees is independent of $d$. Furthermore, we establish a general lower bound on the inducibility and also provide a bound for some special trees. Moreover, we find that the maximum inducibility is attained for binary caterpillars for every $d$.