Skip to main content
2 of 2
edited tags
RobPratt
  • 5.4k
  • 1
  • 15
  • 25

Terminology for a subtree of a rooted tree with a path boundedness property

I'm not a graph theorist, so I apologize if some of the following terminology isn't quite correct.

Let $(T,f,v_0)$ be a complete degree $d$ rooted tree (definition at the end).

Definition. Let $m\ge0$. I'll say that a subtree $S\subset T$ has Property $\boldsymbol m$ if for all vertices $v,w\in S$, the following implication holds: $$ \text{($f^n(v)=f^n(w)$ for some $n\ge0$)} \quad\Longrightarrow\quad f^m(v)=f^m(w). $$

I am interested in knowing:

  1. Is there is a name for a subtree $S\subset T$ (that includes the root $v_0$) having Property $m$?
  2. Is there a standard classification theorem or description for subtrees having Property $m$?

I've partially worked out the answer to (2), but would be happy to simply cite a result in the literature.

For example, if $S$ has Property $0$, then $S$ is what I think is called a branch of the tree.

Definition. A complete degree $d$ rooted tree is a triple $(T,f,v_0)$, where $T$ is a set of vertices, where $v_0\in T$ is the root vertex, where $f:T\setminus\{v_0\}\to T$ is a function that's used to define the directed edges $v\to f(v)$, and where $\#f^{-1}(v)=d$ for every vertex $v\in T$.

Joe Silverman
  • 47.4k
  • 2
  • 149
  • 241