Variations of the eccentricity and their properties in trees
Ya-Hong Chen, Hua Wang, Xiao-Dong Zhang

TL;DR
This paper introduces new distance-based functions in trees related to eccentricity and uniformity, explores extremal problems, compares these functions with classical measures, and analyzes their properties and bounds.
Contribution
It proposes novel distance-based functions in trees, studies their extremal properties, and compares them with traditional eccentricity measures, revealing similarities and bounds.
Findings
New distance-based functions are introduced and analyzed.
Sharp bounds for these functions are established.
The difference between eccentricity and uniformity behaves similarly to eccentricity.
Abstract
Motivated from the study of eccentricity, center, and sum of eccentricities in graphs and trees, we introduce several new distance-based global and local functions based on the smallest distance from a vertex to some leaf (called the `uniformity' at that vertex). Some natural extremal problems on trees are considered. Then the middle parts of a tree is discussed and compared with the well-known center of a tree. The values of the global functions are also compared with the sum of eccentricities and some sharp bounds are established. Last but not the least, we show that the difference between the eccentricity and the uniformity, when considered as a local function, behaves in a very similar way as the eccentricity itself.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGraph theory and applications · Advanced Optimization Algorithms Research · Computational Drug Discovery Methods
Variations of the eccentricity and their properties in trees††thanks:
This work is supported by the National Natural Science Foundation of China (Nos.11601208,11531001 and 11601337), the Joint NSFC-ISF Research Program (jointly funded by the National Natural Science Foundation of China and the Israel Science Foundation (No.11561141001)) and the Montenegrin-Chinese Science and Technology Cooperation Project (No.3-12).
Ya-Hong Chen1, Hua Wang2,3, Xiao-Dong Zhang4
1Department of Mathematics, Lishui University
Lishui, Zhejiang 323000, PR China
2 College of Software, Nankai University
Tianjin 300071, P.R. China
3Department of Mathematical Sciences, Georgia Southern University
Statesboro, GA 30460 USA
4 School of Mathematical Sciences, MOE-LSC, SHL-MAC, Shanghai Jiao Tong University
800 Dongchuan road, Shanghai, 200240, P.R. China Corresponding author (E-mail address: [email protected])
Abstract
Motivated from the study of eccentricity, center, and sum of eccentricities in graphs and trees, we introduce several new distance-based global and local functions based on the smallest distance from a vertex to some leaf (called the “uniformity” at that vertex). Some natural extremal problems on trees are considered. Then the middle parts of a tree is discussed and compared with the well-known center of a tree. The values of the global functions are also compared with the sum of eccentricities and some sharp bounds are established. Last but not the least, we show that the difference between the eccentricity and the uniformity, when considered as a local function, behaves in a very similar way as the eccentricity itself.
Key words: Eccentricity; Uniformity; Center; Tree
AMS Classifications: 05C12, 05C07.
1 Introduction
Graph invariants used as topological indices have been extensively studied in mathematics and many related fields. Among numerous graph invariants many are defined on the distances between vertices. One well-known such “distance-based” graph invariant is the Wiener index, defined as the sum of distances between all pairs of vertices in a graph [9, 10]. Denoted by , it can also be represented as
[TABLE]
where
[TABLE]
is often called the distance function at , considered as the local version of the global function . Here is the distance between two vertices and in a graph . We often simply write when it is clear what the underlying graph is.
Analogous to , another well studied distance-based concept is called the eccentricity, defined as
[TABLE]
Again we often write (instead of ) when there is no confusion. Treating as a local function, the global function is naturally defined as the sum of eccentricities
[TABLE]
and is introduced in [5].
Examining the behaviors of various graph invariants in trees has been of interest. The sum of eccentricities in trees was extensively studied in [5]. We will also focus on trees in this paper.
1.1 Variations of and
We start with introducing some natural variations that we will study throughout this paper. First note that the eccentricity of a vertex must be obtained by the distance between and a leaf (since it is the largest distance from ), and consequently one could write
[TABLE]
where is the set of leaves of . It is then natural to consider, for any vertex in a tree , the function
[TABLE]
We will call (or simply ) the uniformity of in . Note that the uniformity of a leaf is, by definition, zero.
Consequently, the sum of uniformities of a tree is denoted by
[TABLE]
We denote the difference between the eccentricity and uniformity at a vertex by
[TABLE]
and its sum by
[TABLE]
Lastly, note that is the sum of the largest distances from vertices. The natural analogue is the largest sum of distances from vertices, i.e.
[TABLE]
1.2 Extremal problems for global functions
The so-called extremal problems ask for the extremal structures that maximize or minimize a graph invariant within a collection of graphs. For instance, the extremal trees that minimize or maximize the Wiener index in various classes of trees have been studied. One may see [2, 3, 4, 11] for surveys of such studies on the Wiener index and distance-based indices in general. The extremal problems with respect to the sum of eccentricities have been studied in [5]. We will, in Section 2, consider such problems with respect to and among trees and trees with a given number of internal vertices.
1.3 Middle parts of a tree
The “middle part” of a tree is usually defined as the collection of vertices that maximize or minimize a certain local graph invariant in a tree. The collection of vertices that minimize is called the centroid of and the collection of vertices that minimize is called the center of [1]. It is well known that these two middle parts share the common property that each contains one or two adjacent vertices. It is also known that they do not need to be the same. The study of different middle parts and their relations has received some attention in the recent years [6, 7, 8].
From a natural middle part can be defined as the collection of vertices that maximize , denoted by . In Section 3 we briefly examine the property of and compare it with . In addition, as the vertices in achieves the radius
[TABLE]
while vertices in achieves
[TABLE]
It is also a natural question to compare their values. We will see in Section 3 that the radius is always larger.
1.4 Comparison between different concepts
As our study is motivated from the eccentricities, it makes sense to compare and with . This is done in Section 4. Also note that
[TABLE]
and
[TABLE]
In fact, when is considered as a local function, it behaves in a very similar way as . We will discuss related observations in Section 5.
2 Extremal trees with respect to and
We first note the following simple observation.
Proposition 2.1
For a tree of order ,
[TABLE]
where and are the star and path on vertices, respectively.
Proof. By definition we have
[TABLE]
for any leaf , as has a unique neighbor and is at distance at least 2 from any other vertex. Thus
[TABLE]
with equality if and only if is a star.
On the other hand, given a vertex , for every vertex such that there exists at least one vertex such that , hence
[TABLE]
with equality if and only if is one end of a path. Then
[TABLE]
Next, for , we will show that the path also maximizes it among trees of order .
Theorem 2.1
Among all trees of order , is maximized by the path . More specifically,
[TABLE]
with equality if and only if .
Proof. We will focus on the case of even . The odd case can be handled in exactly the same way.
Let be such a tree of order with maximum , and suppose (for contradiction) that is not a path. Let be a longest path in and let denote the component containing in for . Let be the smallest subscript such that .
We consider the tree obtained from by “moving” from to . That is, we remove all edges between and its neighbors in and connect these neighbors to (Figure 1).
Furthermore, let
[TABLE]
It is easy to see that as was defined to be a longest path.
We will consider, from to , the possible change in for every vertex.
- •
First, for any vertex , if was obtained with a leaf in then . Otherwise, if was obtained with a leaf outside of , then .
- •
For any vertex , since the leaves of are moved further away from , we must have .
- •
For any vertex :
- –
If was obtained by and , then as is no longer a leaf in .
- –
If was obtained by and a leaf not in , then by the first case the uniformity can not decrease. In particular, we have .
- –
If was obtained by and a leaf in , then must be closer to than to in , and consequently for some leaf not in .
if , then as is closer to than to ;
- *
if , then by the definition of we have , then .
Consequently we have , a contradiction.
Thus is maximized by a path, it is easy to compute the exact value depending on the parity of .
On the other hand, it is easy to see that the uniformity is at least 1 for any internal vertex and as the star has only one internal vertex with , we have the following observation.
Proposition 2.2
For any tree of order we have
[TABLE]
with equality if and only if .
Since largely depends on the number of internal vertices, it makes sense to consider the extremal problem among trees (of order ) with a given number of internal vertices (or equivalently, with a given number of leaves). Through analogous argument as the proof of Theorem 2.1, we have the following.
Proposition 2.3
Among trees of order with internal vertices, is maximized by a tree (not unique) obtained through attaching a total of pendant edges to the two ends of a path with at least one pendant edge at each end. See Figure 2. More specifically, we have
[TABLE]
To minimize the conclusion depends on the number of internal vertices (compared with the total order of the tree). Recall that a starlike tree is the tree with exactly one vertex of degree formed by identifying the ends of paths of length , respectively. See Figure 3 for an example.
Proposition 2.4
Let be a tree of order with internal vertices:
- •
If , then
[TABLE]
with equality if and only if every internal vertex is adjacent to some leaf. Such an extremal tree is obviously not unique.
- •
If , then is minimized by a starlike tree where for any .
Proof. The first case is trivial, as for each of the internal vertices and this can be achieved when there are more leaves than internal vertices.
In the second case, we have , the number of leaves. Then there are at most internal vertices with , then at most internal vertices with , etc. It is easy to see that the described starlike tree (again, not unique) achieves this.
3 Middle parts of a tree
First we note that there is no obvious connection between the center and . As one can see from Figure 4, may not induce a connected subgraph (recall that contains one or two adjacent vertices, hence always connected). In this particular case we also have the two middle parts being disjoint from each other.
Furthermore, may contain many vertices, as in a binary caterpillar shown in Figure 5, all internal vertices are in .
Also note that vertices of and need not be adjacent, as can be seen by an example similar to Figure 4 but with a longer diameter. Furthermore, does not need to lie “between” vertices of as shown in Figure 6.
Related to the middle parts, recall that we defined and in (1) and (2). It is easy to show that the radius is always larger.
Proposition 3.1
For any tree , we must have
[TABLE]
Proof. Let and , then
[TABLE]
Now pick a leaf that is closer to than , then
[TABLE]
4 Comparing and with
In this section we study the difference between and the new distance-based graph invariants.
4.1 The difference between and
First of all it is easy to see, by definition, that is at least as large as as
[TABLE]
where we assume to be obtained at the vertex .
The next observation states that is at least two more than .
Proposition 4.1
For any tree of order at least 3,
[TABLE]
with equality if and only if is a star.
Proof. Again let be the vertex where is obtained. Note that has to be a leaf vertex. Then
[TABLE]
It is easy to see that equality holds in both inequalities if and only if is a leaf of a star.
Proposition 4.1 states that the difference is at least 2 in trees. It is natural to expect the path to maximize this difference. We have, however, not yet been able to find a proof.
Question 4.1
Is it true that we always have
[TABLE]
for any tree of order ?
4.2 The difference
Similarly, it makes sense to consider the extremal values of . By definition one immediately has for any . We now show that the minimum is achieved by the star.
Theorem 4.1
Among all trees of order , .
Proof. First it is easy to see that in , at the center and for any other vertex . Hence as claimed.
On the other hand, for any tree , it is well known that the center may contain one vertex or two adjacent vertices.
- •
If contains only one vertex, say , then . And for any vertex , we have
[TABLE]
This can be seen by considering a maximal path containing both and .
Consequently ;
- •
If contains two adjacent vertices and , it is easy to see that the edge lies in the middle of a longest path. Then we have
[TABLE]
For any vertex , we have following similar reasoning as above.
In both case we have
[TABLE]
Now to maximize , like before it may be natural to expect the path to be extremal. The following example shows that this is not the case. We have not yet been able identify the extremal structure in this sense.
Consider the trees and on 14 vertices in Figure 7, simple computation shows that
[TABLE]
5 The behavior of
Last but not least, we treat as a local function and study its properties. Recall that the maximum is obtained at some leaf and the minimum is obtained at the center vertices in (consisting of one or two adjacent vertices). Also recall that behaves very differently from . It is interesting to see, as we will show in this section, that behaves very much like in terms of these extremal cases.
First since is maximized at the end vertices of paths of maximum length, and at leaves. The following is trivial.
Proposition 5.1
In a tree the maximum is obtained at the end vertices of paths of maximum length, exactly those that maximize .
Next we consider the minimum value of in a tree , denoted by . It turns out that, depending on the parity of the diameter the center vertices either achieves or is very close.
Theorem 5.1
For a tree with center :
if consists of a single vertex , then ; 2. 2.
if contains two vertices, then for any .
Proof. For Case (1), it is easy to see that the center vertex must be in the middle of the longest path for some even . Similar to before, let denote the component containing in for .
Let and for some leaf in . Suppose, without loss of generality, that (Figure 8).
Then
[TABLE]
On the other hand, for a vertex :
- •
if is in (i.e. to the right of ), we have
[TABLE]
- •
if is in , we have
[TABLE]
For Case (2), following similar notations we have the center vertices on a longest path . We also define accordingly for ( and are single vertex components).
For , let for some leaf in .
- •
If , then exactly the same argument as Case (1) leads to .
- •
If , then
[TABLE]
For any other vertex similar arguments as Case (1) shows that . Hence .
The argument for is completely the same.
Remark 5.2
The center vertex or vertices are not necessarily the only ones achieving the minimum . As can be easily seen from Figure 4, that in the tree .
6 Concluding remarks
For any vertex in a tree, when taking the minimum instead of maximum distance to any leaf vertex, we have the uniformity (as opposed to the eccentricity) at a vertex. Similarly, instead of taking the sum of eccentricities in a tree (as was previously studied), one may take the sum of smallest distance from each vertex to leaves, or take the largest sum of distance from a vertex to others (i.e. the largest value of distance function). These concepts appear to be natural variations of eccentricity and sum of eccentricities. We studied the extremal problems, middle parts of a tree with respect to the new global and local functions. We also compared their behaviors with the eccentricity, center, and sum of eccentricities.
Some of the extremal structures, although natural to expect, does not seem easy to prove. We proposed some related questions along this line.
In addition, in case (2) of Theorem 5.1 we simply claimed that . But it seems that , although not necessarily achieved by both center vertices, can only be achieved at center vertices. Confirming this statement either way would be interesting.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] A. Ádám, The centrality of vertices in trees, Studia Sci. Math. Hung. 9 (1974) 285–303.
- 2[2] A. A. Dobrynin, R. Entringer and I. Gutman, Wiener index of trees: theory and applications, Acta Appl. Math. 66 (2001) 211–249.
- 3[3] I. Gutman, S. Klavzar, B. Mohar (eds.), Fiftieth anniversary of the Wiener index, Discrete Appl. Math. 80 (1997) 1-113.
- 4[4] M. Knor, R. Škrekovski, A. Tepeh, Mathematical aspects of Wiener index, Ars Math. Contemp. 11 (2016) 327–352.
- 5[5] H. Smith, L.A. Székely, H. Wang, Eccentricity sums in trees, Discrete Appl. Math. 207 (2016) 120–131.
- 6[6] H. Smith, L.A. Székely, H. Wang, S. Yuan, On different “middle parts” of a tree, to appear.
- 7[7] H. Wang, The distances between internal vertices and leaves of a tree, Eur. J. Combin. 41 (2014) 79–99.
- 8[8] H. Wang, Centroid, leaf-centroid, and internal-centroid, Graphs Combin. 31 (2015) 783–793.
