Enhanced negative type for finite metric trees (Q924649)

From MaRDI portal
Revision as of 15:20, 14 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: reviewed by (P1447): Item:Q394136)
scientific article
Language Label Description Also known as
English
Enhanced negative type for finite metric trees
scientific article

    Statements

    Enhanced negative type for finite metric trees (English)
    0 references
    0 references
    0 references
    19 May 2008
    0 references
    The main purpose of the paper is to prove the following result (Theorem~4.16): Let \((T,d)\) be a finite metric tree. Then for all \(n\in\mathbb{N}\), all finite subsets \(\{x_1,\dots,x_n\}\subset T\), and all choices of real numbers \(\eta_1,\dots,\eta_n\) satisfying \(\eta_1+\dots+\eta_n=0\), the inequality \[ \frac{\Gamma_T}2\left(\sum_{k=1}^n| \eta_k|\right)^2+ \sum_{1\leq i,j\leq n} d(x_i,x_j)\eta_i\eta_j\leq 0 \] holds, where \(\Gamma_T=\left(\sum_{e\in E(T)}| e| ^{-1}\right)^{-1}\), \(E(T)\) is the edge set of \(T\), and \(| e| \) is the length of the edge \(e\). This result is a quantitative enhancement of a result due to \textit{P.\,Hjorth, P.\,Lisoněk, S. Markvorsen} and \textit{C.\,Thomassen} [Linear Algebra Appl.\ 270, 255--273 (1998; Zbl 0894.51003)]. Note. The statement of the main result in the paper contains unfortunate omissions, necessary corrections were made in the corrigendum [ibid.\ 255, No.\,2, 532--533 (2008; Zbl 1147.46309)]. From the main result, the authors derive that any given finite metric tree \((T,d)\) must have strict \(p\)-negative type for all \(p\) in an open interval \((1 - \zeta ,1 + \zeta )\), where \(\zeta > 0\) may be chosen so as to depend only upon the unordered distribution of edge weights that determine the path metric \(d\) on \(T\). In particular, if the edges of the tree are not weighted, then it follows that \(\zeta \) depends only upon the number of vertices in the tree. The authors give an example of an infinite metric tree that has strict 1-negative type but does not have \(p\)-negative type for any \(p > 1\).
    0 references
    finite metric tree
    0 references
    strict negative type
    0 references
    generalized roundness
    0 references

    Identifiers