2025-11-20T01:25:14.607341

Longest paths in trees and isometricity of ultrametric spaces

Dovgoshey, Rovenska
Let $T$ be a tree of arbitrary finite or infinite order and let $U(T)$ be the set of all ultrametric spaces generated by vertex labelings of $T$. Let ${\bf US}$ denote the class of all ultrametric spaces generated by vertex labelings of star graphs. We prove that the inclusion $U(T)\subseteq {\bf US}$ holds if and only if the longest path in $T$ has a length not exceeding three.
academic

Caminos más largos en árboles e isometría de espacios ultramétricos

Información Básica

  • ID del Artículo: 2510.10038
  • Título: Longest paths in trees and isometricity of ultrametric spaces
  • Autores: Oleksiy Dovgoshey, Olga Rovenska
  • Clasificación: math.GN (Topología General)
  • Fecha de Publicación: 14 de octubre de 2025
  • Enlace del Artículo: https://arxiv.org/abs/2510.10038v1

Resumen

Sea TT un árbol de orden finito o infinito arbitrario, y sea U(T)U(T) el conjunto de todos los espacios ultramétricos generados por etiquetados de vértices de TT. Sea US\mathbf{US} la clase de todos los espacios ultramétricos generados por etiquetados de vértices de grafos estrella. Demostramos que la relación de inclusión U(T)USU(T) \subseteq \mathbf{US} se cumple si y solo si la longitud del camino más largo en TT no excede 3.

Contexto de Investigación y Motivación

  1. Problema a Resolver: Esta investigación tiene como objetivo caracterizar las propiedades estructurales de los árboles que satisfacen condiciones de isometría específicas. Concretamente, determinar cuáles árboles TT satisfacen que: cualquier espacio ultramétrico generado por etiquetados de vértices de TT es isométricamente isomorfo a algún espacio ultramétrico generado por etiquetados de vértices de un grafo estrella.
  2. Importancia del Problema:
    • Los espacios ultramétricos ocupan un lugar importante en análisis matemático, topología y matemática aplicada
    • Los espacios ultramétricos generados por árboles etiquetados proporcionan una nueva perspectiva para estudiar la relación entre estructuras discretas y espacios métricos
    • Comprender la relación entre grafos estrella, como una de las estructuras de árbol más simples, y árboles generales ayuda a simplificar problemas complejos
  3. Limitaciones de Métodos Existentes:
    • Investigaciones previas se han concentrado principalmente en tipos específicos de árboles etiquetados (como grafos estrella y grafos de rayos)
    • Falta una caracterización completa de la equivalencia entre estructuras de árbol general y grafos estrella
    • La conexión entre propiedades combinatorias de árboles y propiedades geométricas de espacios ultramétricos generados permanece poco clara
  4. Motivación de la Investigación: Establecer una correspondencia exacta entre la estructura combinatoria de árboles (particularmente la longitud del camino más largo) y la categoría de espacios ultramétricos que generan.

Contribuciones Principales

  1. Teorema Principal: Se demuestra que U(T)USU(T) \subseteq \mathbf{US} si y solo si cada camino en TT tiene longitud no superior a 3
  2. Caracterización Estructural: Se describe completamente la estructura de árboles que satisfacen la condición—son precisamente grafos estrella o biestrellas
  3. Conexiones Teóricas: Se establece una nueva relación mutua entre grafos estrella y biestrellas (Corolario 3.5)
  4. Innovación Metodológica: Se utiliza la construcción de etiquetados de contraejemplos específicos y propiedades características de espacios ultramétricos para demostrar el resultado principal

Explicación Detallada de Métodos

Definición de la Tarea

Dado un árbol TT, estudiar la relación de inclusión entre el conjunto U(T)U(T) de espacios ultramétricos generados por etiquetados de sus vértices y la clase US\mathbf{US} de espacios ultramétricos generados por grafos estrella.

Conceptos Centrales

Espacios Ultramétricos: Una función d:X×XR+d: X \times X \to \mathbb{R}_+ en un conjunto no vacío XX que satisface:

  • Simetría: d(x,y)=d(y,x)d(x,y) = d(y,x)
  • Positividad Definida: d(x,y)=0x=yd(x,y) = 0 \Leftrightarrow x = y
  • Desigualdad Triangular Fuerte: d(x,y)max{d(x,z),d(z,y)}d(x,y) \leq \max\{d(x,z), d(z,y)\}

Ultramétrica Generada por Árbol Etiquetado: Para un árbol etiquetado T(l)T(l), donde l:V(T)R+l: V(T) \to \mathbb{R}_+, se define

undefined