arXiv++ Combinatorics

The vertex PI index is a distance--based molecular structure descriptor, that recently found numerous chemical applications. In order to increase diversity of this topological index for bipartite graphs, we introduce weighted version defined as $PI_w (G) = \sum_{e = uv \in E} (deg (u) + deg (v)) (n_u (e) + n_v (e))$, where $deg (u)$ denotes the vertex degree of $u$ and $n_u (e)$ denotes the number of vertices of $G$ whose distance to the vertex $u$ is smaller than the distance to the vertex $v$. We establish basic properties of $PI_w (G)$, and prove various lower and upper bounds. In particular, the path $P_n$ has minimal, while the complete tripartite graph $K_{n/3, n/3, n/3}$ has maximal weighed vertex $PI$ index among graphs with $n$ vertices. We also compute exact expressions for the weighted vertex PI index of the Cartesian product of graphs. Finally we present modifications of two inequalities and open new perspectives for the future research.

Let $G=(V,E)$ be a simple graph with $n = |V|$ vertices and $m = |E|$ edges. The first and second Zagreb indices are among the oldest and the most famous topological indices, defined as $M_1 = \sum_{i \in V} d_i^2$ and $M_2 = \sum_{(i, j) \in E} d_i d_j$, where $d_i$ denote the degree of vertex $i$. Recently proposed conjecture $M_1 / n \leqslant M_2 / m$ has been proven to hold for trees, unicyclic graphs and chemical graphs, while counterexamples were found for both connected and disconnected graphs. Our goal is twofold, both in favor of a conjecture and against it. Firstly, we show that the expressions $M_1/n$ and $M_2/m$ have the same lower and upper bounds, which attain equality for and only for regular graphs. We also establish sharp lower bound for variable first and second Zagreb indices. Secondly, we show that for any fixed number $k\geqslant 2$, there exists a connected graph with $k$ cycles for which $M_1/n>M_2/m$ holds, effectively showing that the conjecture cannot hold unless there exists some kind of limitation on the number of cycles or the maximum vertex degree in a graph. In particular, we show that the conjecture holds for subdivision graphs.

The Harary index of a graph $G$ is recently introduced topological index, defined on the reverse distance matrix as $H(G)=\sum_{u,v \in V(G)}\frac{1}{d(u,v)}$, where $d(u,v)$ is the length of the shortest path between two distinct vertices $u$ and $v$. We present the partial ordering of starlike trees based on the Harary index and we describe the trees with the second maximal and the second minimal Harary index. In this paper, we investigate the Harary index of trees with $k$ pendent vertices and determine the extremal trees with maximal Harary index. We also characterize the extremal trees with maximal Harary index with respect to the number of vertices of degree two, matching number, independence number, radius and diameter. In addition, we characterize the extremal trees with minimal Harary index and given maximum degree. We concluded that in all presented classes, the trees with maximal Harary index are exactly those trees with the minimal Wiener index, and vice versa.

In theoretical chemistry molecular structure descriptors are used for modeling physico-chemical, pharmacological, toxicologic, biological and other properties of chemical compounds. In this paper we study distance-based graph invariants and present some improved and corrected sharp inequalities for PI, vertex PI, Szeged and edge Szeged topological indices, involving the number of vertices and edges, the diameter, the number of triangles and the Zagreb indices. In addition, we give a complete characterization of the extremal graphs.

We consider topological indices I that are sums of f(deg(u)) f(deg(v)), where {u,v} are adjacent vertices and f is a function. The Randi{ć} connectivity index or the Zagreb group index are examples for indices of this kind. In earlier work on topological indices that are sums of independent random variables, we identified the correlation between I and the edge set of the molecular graph as the main cause for correlated indices. We prove a necessary and sufficient condition for I having zero covariance with the edge set.