--- title: Tree-of-Stars in Graph Theory and Astrophysics url: https://www.emergentmind.com/topics/tree-of-stars type: topic --- # Tree-of-Stars in Graph Theory and Astrophysics Searching arXiv for the cited works and related uses of “Tree-of-Stars.” In the cited arXiv literature, **Tree-of-Stars** is best understood as a family of related constructions rather than a single standardized term. The common motif is a hub-and-branches object represented directly as a tree, or a tree used to organize stars, star-like configurations, or star-shaped obstructions. In graph theory, the central object is the **starlike tree**, a tree with a unique high-degree vertex; in astrophysics, tree-based formalisms organize stellar positions, kinematics, or chemical abundances; in probability, an explosive genealogy may collapse onto a unique infinite-degree hub; and in infinite-graph theory and metric geometry, “stars” appear as separations or asymptotic incidence structures rather than celestial bodies [1709.08871, 2106.00684, 2311.14664, 2603.17756]. ## 1. Core graph-theoretic object A **starlike tree** is defined as a tree with exactly one vertex of degree greater than \(2\). Equivalently, if one removes the central vertex \(v_1\), the graph splits into disjoint paths, and the tree is written \[ S(n_1,n_2,\dots,n_k), \] with \[ S(n_1,n_2,\dots,n_k)-v_1=P_{n_1}\cup P_{n_2}\cup\cdots\cup P_{n_k}, \] where \(P_n\) is a path on \(n\) vertices. The integers \(n_1,\dots,n_k\) are the branch lengths [1709.08871]. A particularly important family is \[ S(n,k\cdot 1), \] which has one long arm of length \(n\) and \(k\) additional branches of length \(1\). In that case the tree has \(k+1\) arms in total and \(n+k+1\) vertices. This is the graph-theoretic setting in which the “Tree-of-Stars” label is used most literally: a central hub with one extended path and several pendant edges [1709.08871]. A second notation writes a starlike tree as \[ S(y_1,\dots,y_r), \] where \(y_i\) is the number of vertices in the \(i\)-th path attached to the center. If \[ 01\) is defined by \[ \sqrt{t}+\frac{1}{\sqrt{t}}=\lambda_1, \] then \(t\) is a **Salem number**. Writing \[ Q_n(t)= t^{n+3}-(k-1)t^{n+2}+(k-1)t-1, \] its largest real root satisfies \[ \lim_{n\to\infty}\rho(Q_n)=k-1, \] and the paper concludes that there is a sequence of Salem numbers converging to every integer greater than \(1\) [1709.08871]. A complementary spectral result shows that starlikes of fixed order are completely separated by their indices. For \(n\ge 4\), any two non-isomorphic starlike trees on \(n\) vertices have different largest adjacency eigenvalues. More strongly, the starlike trees with \(n\) vertices can be totally ordered by index, and that order agrees with the lexicographic order of the corresponding partitions. The proof uses the Jacobs–Trevisan diagonalization algorithm together with the recurrence \[ b_1=\frac{1}{\lambda},\qquad b_{k+1}=\frac{1}{\lambda-b_k}, \] and the characterization \[ b_{y_1}+b_{y_2}+\cdots+b_{y_r}=\lambda \] when \(\lambda=-\lambda_1(T)\) [1704.01663]. The matrix-theoretic generalization replaces the adjacency viewpoint by a symmetric integral \(Z\)-matrix attached to a weighted star tree, \[ B(k;r_1,\ldots,r_m), \] whose arms are ordinary type-\(A\) chains and whose central diagonal entry is \(k\). Its determinant and inertia are controlled by the Schur complement scalar \[ S(k;r_1,\ldots,r_m)=k-m+\sum_{i=1}^m \frac{1}{r_i+1}. \] Accordingly, \(B\) is positive definite iff \(S>0\), positive semidefinite of corank one iff \(S=0\), and has exactly one negative eigenvalue iff \(S<0\). The affine condition \[ \sum_{i=1}^m \frac{1}{r_i+1}=m-k \] reduces classification to an Egyptian-fraction problem. The classical affine diagrams \(D_4^{(1)}, E_6^{(1)}, E_7^{(1)}, E_8^{(1)}\) occur as small subfamilies, while higher-arm cases produce further positive-semidefinite weighted star matrices with explicit Coxeter labels [2605.23011]. ## 3. Labeled starlikes and palindromic complexity In combinatorics on words, the starlike tree becomes an **edge-labeled** object. A \((k,n)\)-starlike tree has \(k\) branches, each of length \(n\), and each edge carries a letter from an alphabet \(A\). Every simple path determines a word by reading edge labels along that path. A palindrome is a word \(x\) such that \[ x=R(x), \] where \(R(x)\) is the reverse of \(x\). The extremal quantity of interest is \(P(k,n)\), the maximum number of distinct non-empty palindromes that can appear in a \((k,n)\)-starlike tree [1805.10646]. The main counting tool is the Droubay–Justin–Pirillo lemma: a word of length \(n\) contains at most \(n\) distinct non-empty palindromes. Using that lemma, the paper proves that if the branches \(b_1,\dots,b_k\) are ordered by \[ |b_1|\ge |b_2|\ge \cdots \ge |b_k|, \] then the tree contains at most \[ |b_1| + \sum_{i=2}^k (i-1)|b_i| \] distinct non-empty palindromes. For equal branch lengths this yields \[ P(k,n)\le \left(1+\binom{k}{2}\right)n. \] When \(k=3\), the bound becomes \[ P(3,n)\le 4n. \] Over a binary alphabet, the bound sharpens to \[ P(3,n)\le 4n-1. \] The argument labels the branches \(x,y,z\) and uses the fact that two of the three last letters must coincide. The paper further conjectures that for all \(n\ge 2\), \[ P(3,n)=4n-2, \] and gives explicit examples, including branch labels \[ a^n,\quad ba^{n-1},\quad bba^{n-2}, \] that attain \(4n-2\). The noteworthy point is that a straightforward global upper bound is available, while the exact extremal value appears harder to determine [1805.10646]. ## 4. Stellar-cluster and Galactic applications In observational and computational astrophysics, the phrase “Tree-of-Stars” is applied to tree-based descriptions of spatial, kinematic, or chemical structure. One line of work uses the **minimum spanning tree** (MST) to detect and quantify **mass segregation** in star clusters. An MST is the shortest network connecting a set of points with no closed loops, and the method compares the MST length of the \(N_{\rm MST}\) most massive stars with the MST lengths of many random sets of the same size. The mass segregation ratio \(\Lambda_{MSR}\) is the ratio of the mean random MST length to the massive-star MST length, with uncertainty derived from the dispersion of the random samples. The method is explicitly motivated as model independent, does not require defining a cluster center, and can reveal multiple segregation levels as \(N_{\rm MST}\) varies. Applied to the Orion Nebula Cluster, it detects the Trapezium at \(N_{\rm MST}=4\) with \[ \Lambda_{MSR}=8.0\pm 3.5, \] finds broader segregation for stars above about \(5\,M_\odot\) at roughly \[ \Lambda_{MSR}\sim 2.0\pm 0.5, \] and finds no evidence for further mass segregation below \(5\,M_\odot\) [0901.2047]. A second line of work turns a stellar cluster itself into a learned tree. A hierarchical generative model is built from sink particles in \(10\) SPH simulations of molecular clouds from Ballone et al. (2020), with cloud masses \(10^4\le M_{\rm mc}/{\rm M}_\odot\le 10^5\), initial temperature \(T_0=10\) K, initial density \(\rho_0 = 2.5\times10^2\,\mathrm{cm}^{-3}\), a Burgers-spectrum turbulent field, and initial virial ratio \[ \alpha_{\rm vir}\equiv \frac{2K}{|W|}=2. \] Agglomerative clustering in phase space produces a dendrogram \(\mathcal T\) whose internal nodes store a relative separation vector \(\mathbf l_i\), a relative velocity vector \(\mathbf u_i\), and a mass ratio \[ q_i=\frac{\min(M_{i,1},M_{i,2})}{M_i}. \] Ward linkage performs best. New clusters are then generated recursively, with optional **grafting** of upper-level nodes from another tree. For the m1e4 cluster, \(k=3\) is identified as a good compromise: large-scale organization changes while small-scale structure remains broadly consistent. The generated systems reproduce the original pairwise-distance distribution \(f(d)\), mass spectrum \(f(m)\), velocity distribution \(f(v)\), and multiscale fractal behavior, and direct \(N\)-body integrations with NBODY6++GPU over \(10\) Myr give qualitatively similar evolution [2106.00684]. A third astronomical use is **Galactic phylogenetics**, where elemental abundances play the role of inherited markers. Jofré et al. treat the interstellar medium as the shared ancestral environment and stellar abundances as a proxy for DNA, extending the logic of chemical tagging. Using solar twins from Nissen (2015) with accurate abundances for \(17\) elements, together with ages and kinematics, they build an evolutionary tree in chemical-abundance space. The resulting tree reveals three main branches, interpreted as the thick disk, thin disk, and an intermediate population, and branch lengths are used to estimate total chemical enrichment rates, with the thick disk branch showing a faster enrichment / star formation rate than the thin disk branch. The proceedings paper also stresses the method’s assumptions: chemical tagging must retain birth-environment information, the Galaxy may not be strictly hierarchical, and the sample was very small, so the result is presented as a proof of concept [1709.09338]. ## 5. Stars, separations, and asymptotic geometry In infinite graph theory, a **star attached to \(U\)** is a subdivided infinite star whose leaves all lie in a specified vertex set \(U\), while a **comb attached to \(U\)** consists of a ray together with infinitely many pairwise disjoint finite teeth ending in \(U\). The classical star-comb lemma says that if \(U\) is infinite in a connected graph \(G\), then \(G\) contains either a comb attached to \(U\) or a star attached to \(U\). The duality theory developed from this starting point characterizes the **absence** of such objects. For combs, the complementary structures include a rayless normal tree containing \(U\), a rayless tree-decomposition into parts each containing at most finitely many vertices of \(U\), critical vertex sets, and a recursive \(U\)-rank. For stars, the complementary structure is a locally finite normal tree containing \(U\) whose rays are undominated, or a locally finite tree-decomposition with finite and pairwise disjoint adhesion sets such that each part contains at most finitely many vertices of \(U\) [2004.00594]. The third paper in the same series isolates the **undominated comb**. If \(U\) is normally spanned in \(G\), then the following are complementary: \(G\) contains an undominated comb attached to \(U\), or there exists a rayless tree \(T\subseteq G\) containing \(U\). In connected graphs, the same obstruction is equivalent to the existence of a **star-decomposition with finite adhesion sets** in which \(U\) lies in the central part and all undominated ends lie in leaf parts. A further corollary states that if a graph has a normal spanning tree, then it has a rayless spanning tree if and only if every ray of the graph is dominated [2004.00592]. The vocabulary of **stars of separations** arises in tangle theory. There, a star is a set of non-degenerate oriented separations that point towards each other. An \(F\)-tangle structure tree is a rooted separation tree whose leaves encode tangles or forbidden obstructions, and whose internal nodes certify that no \(F\)-tangle extends through them. This object unifies a **tree of tangles** with a certificate of non-existence of tangles. When \(F\) consists of stars, as in classical tangle-tree duality, the paper shows how an irreducible \(F\)-tree can be converted into a classical \(S\)-tree over \(F\), recovering the usual decomposition-theoretic certificate [2603.17756]. A different generalization appears in Karlsson’s **stars at infinity**. For a based metric space \((X,x_0)\), a subset \(W\subset X\), and \(C\ge 0\), the halfspace is \[ H(W,C)=\{z \mid d(z,W)\le d(z,x_0)+C\}, \] and the star of a boundary point \(\xi\) is \[ S(\xi)=\overline{\bigcup_{C\ge 0}\bigcap_{U\in\mathscr U}\overline{H(U,C)}}. \] In hyperbolic spaces, stars are singletons; in CAT(0) spaces they are closed angular balls of radius \(\pi/2\); and in bounded convex domains with the Hilbert metric the incidence relation is symmetric. The Diestel–Leader graph \(DL_3(q)\) provides a counterexample to symmetry: the paper constructs horofunction boundary points \(\alpha\) and \(\beta\) with \[ \beta\in S(\alpha)\qquad\text{but}\qquad \alpha\notin S(\beta). \] This shows that the boundary relation “\(\xi\in S(\eta)\)” need not be symmetric in general [2001.06411]. ## 6. Explosive genealogies and probabilistic tree-of-stars In the theory of explosive Crump–Mode–Jagers branching processes, the genealogical tree at explosion time, \[ \mathcal T_\infty, \] is the tree of all individuals born before the explosion time \[ \tau_\infty=\inf\{t>0:|\mathscr T_t|=\infty\}. \] A **star** in this setting means a node of **infinite degree**, and an **infinite path** means a ray \(v_0\to v_1\to v_2\to\cdots\). Kőnig’s Lemma implies that any infinite tree contains either a node of infinite degree or an infinite path, and the paper shows that explosive genealogies satisfy a strong version of this dichotomy [2311.14664]. Under Assumption \(\ref{ass:star}\), almost surely the infinite tree \(T_\infty\) contains a node of infinite degree. Under Assumption \(\ref{ass:path}\), the tree \(T_\infty\) contains an infinite path almost surely on survival. Under Assumption \(\ref{ass:uniqueness}\), almost surely on survival, \(\mathcal T_\infty\) contains **exactly one** of the following: a node of infinite degree or an infinite path. The paper also proves a non-\(0\)-or-\(1\) phenomenon: the event that there is a star can have strictly positive probability less than \(1\) [2311.14664]. When a star exists, the local structure around it is not arbitrary. For a finite rooted tree \(T\), Theorem \(\ref{thm:structure}\) identifies conditions under which \(T\) appears infinitely often, or only finitely often, as a rooted subtree of children of the infinite-degree node. This is the formal probabilistic “Tree-of-Stars” phenomenon: a unique infinite hub surrounded by infinitely many child-subtrees, with sharp recurrence criteria [2311.14664]. The framework is applied to explosive recursive trees with fitness, where \[ X_w(i)\sim \mathrm{Exp}(f(i-1,w)). \] For super-linear preferential attachment with fitness, the paper derives phase transitions. In the additive-weight case with power-law weights, there is a unique star if \[ p(\alpha-1)>1, \] and a unique infinite path if \[ p(\alpha-1)<1. \] In the mixed-weight, super-linear case with power-law weights, the threshold becomes \[ (p-1)(\alpha-1)\gtrless \big(\gamma-\tfrac{\gamma-1}{p}\big)\vee 1, \] and in the mixed-weight, log-stretched setting it is \[ \beta\nu \gtrless 1. \] These statements formalize a winner-takes-all versus eternal-lineage dichotomy [2311.14664]. ## 7. Inverted world tree and circumpolar symbolism A much older and symbolic usage appears in the study of the Varvarinsky I stone slab from Rostov Oblast. The slab was found about \(30\) m southeast of kurgan \(1\), at about \(49.5^\circ\) N, \(41.4^\circ\) E, and weighs about \(70\) kg. The authors argue that the petroglyph “tree” on the slab is simultaneously an astronomical sign, an orientation mark, and an image of the **inverted World Tree**. On their interpretation, the slab models the Earth’s surface, the tree marks the direction to the North, and the trunk corresponds to the astronomical world axis [1612.09311]. The astronomical component is tied to the geometry of **analemmatic sundials**. Using \[ m=M\cdot \sin\varphi \] and \[ \varphi=\arccos \left(\frac{Z}{M\cdot \tan \delta_{ss}}\right), \] the paper treats the branches as reference points for semi-minor semiaxes. For \(M=24.2\) cm, the values \[ Z=6.5,\ 6.1,\ 5.0,\ 4.2\ \text{cm} \] correspond to \[ \varphi=52.61^\circ,\ 55.26^\circ,\ 62.15^\circ,\ 66.90^\circ, \] with \[ m=19.3,\ 20.0,\ 21.5,\ 22.3\ \text{cm}. \] The lowest branch is associated with the North Pole case, where \[ m=M\approx 24.2\ \text{cm}, \] so the ellipse becomes a circle [1612.09311]. The interpretive claim is explicitly mythological. Viewed from the position of the gnomon or human observer, the tree is said to be inverted: roots toward the edge of the slab and crown toward the center. The trunk is identified with the axis mundi, and the branches symbolize the visible daily path of the Sun and perhaps the night paths of stars across the sky at different latitudes. Comparison with Srubna vessels leads the authors to suggest that the mythical World Tree was likely a tree of the pine family, and that the inverted tree signified the North and/or the north pole of the world, while accompanying six-pointed and four-pointed stars referred to the polar star and nearby circumpolar asterisms. In this setting, “Tree-of-Stars” is not a formal mathematical object but a symbolic coupling of world-axis imagery, northward orientation, and circumpolar stellar motion [1612.09311]. Source: https://www.emergentmind.com/topics/tree-of-stars