On a family of relations of rooted tree maps

Hideki Murahara,Tatsushi Tanaka,Noriko Wakabayashi

2024-03-07

Abstract:This paper is devoted to proving an infinite sequence of relations for rooted tree maps. On the way, we also give a basis for the space of rooted tree maps.

Combinatorics

What problem does this paper attempt to address?

On locally finite ordered rooted trees and their rooted subtrees

Geir Agnarsson,Elie Alhajjar,Aleyah Dawkins

DOI: https://doi.org/10.1016/j.dam.2024.08.014

IF: 1.254

2024-09-03

Discrete Applied Mathematics

Abstract:We first revisit and generalize a known result about a doubly exponential sequence that describes the number of k -ary ordered rooted trees of height h where k≥2 is a fixed integer. Such a sequence has the form (tk(h))h≥0 where tk(h)=c(k)kh−1 for each given k and c(k)∈ R . We provide the first detailed analysis of the real number sequence (c(k))k≥2 and show, in particular, that this sequence is strictly decreasing and has a limit 2 when k tends to infinity. We then turn our attention to a more general setting for sequences that describe the number of ordered rooted trees of a given height. This has applications in algorithm analyses where searches in rooted trees are performed. We consider infinite ordered rooted trees in which each ordered rooted subtree induced by all the vertices on levels h∈ N or less is a finite ordered rooted tree of height h of a certain type. In particular, we study those infinite trees T in which each vertex has infinitely many descendants. We first give a complete characterization of those infinite trees for which the number s(Th) of ordered rooted subtrees Tn of height at most h of T is bounded by a polynomial in h . We then present natural lower and upper bounds for s(Th) and use those to obtain a tight threshold function f(h) for which we have s(Th)=Θ(hf(h)) for infinitely many h∈N . This threshold function can be presented in terms of the Lambert W function; the upper branch of the two inverses of the function w↦wew . Finally, we investigate some theoretical properties of s(Th) for those infinite trees T that have a finite width when viewed as partially ordered sets (posets) with the root as the sole maximum element. In particular, we show that for large enough h the function s(Th) is given by a polynomial in h and we determine the degree and the leading coefficient of this polynomial.

mathematics, applied
Rooted trees with level structures, $Ω$-classes and double ramification cycles

Xavier Blot,Danilo Lewański,Sergey Shadrin

2024-06-10

Abstract:We prove a new system of relations in the tautological ring of the moduli space of curves involving stable rooted trees with level structure decorated by the top Chern class of the Hodge bundle and $\Omega$-classes and double ramification structures. In particular, this resolves a recent conjecture on these relations as well as connects with one of the two sides of the recently established DR/DZ equivalence between the integrable hierarchies constructions of Buryak and of Dubrovin--Zhang.

Algebraic Geometry
Roots of Iterates of Maps

RF BROWN,BJ JIANG,H SCHIRMER

DOI: https://doi.org/10.1016/0166-8641(95)00024-b

IF: 0.583

1995-01-01

Topology and its Applications

Abstract:Let f : X → X be a selfmap of a path-connected space and let a ϵ X. We call x ϵ X an irreducible root of, fn, at a if fn(x) = a but fm(x) ≠ a for all m < n, where fn denotes the nth iterate of f. A lower bound N In(f;a) for the number of irreducible roots of fn is defined that is homotopy invariant under suitable hypotheses and, in many cases, can be calculated algebraically from the homomorphism of the fundamental group of X induced by f. In particular, this is true when X is a compact orientable manifold without boundary and f has nonzero degree. The geometric content of these calculations is described in concrete examples in terms of the discrete semidynamical system determined by f. We apply the theory of roots of iterates to primitive roots of unity in H-spaces.
A Family of Invariants of Rooted Forests

Wenhua Zhao

DOI: https://doi.org/10.48550/arXiv.math/0211095

2003-05-25

Abstract:Let $A$ be a commutative $k$-algebra over a field of $k$ and $\Xi$ a linear operator defined on $A$. We define a family of $A$-valued invariants $\Psi$ for finite rooted forests by a recurrent algorithm using the operator $\Xi$ and show that the invariant $\Psi$ distinguishes rooted forests if (and only if) it distinguishes rooted trees $T$, and if (and only if) it is {\it finer} than the quantity $\alpha (T)=|\text{Aut}(T)|$ of rooted trees $T$. We also consider the generating function $U(q)=\sum_{n=1}^\infty U_n q^n$ with $U_n =\sum_{T\in \bT_n} \frac 1{\alpha (T)} \Psi (T)$, where $\bT_n$ is the set of rooted trees with $n$ vertices. We show that the generating function $U(q)$ satisfies the equation $\Xi \exp U(q)= q^{-1} U(q)$. Consequently, we get a recurrent formula for $U_n$ $(n\geq 1)$, namely, $U_1=\Xi(1)$ and $U_n =\Xi S_{n-1}(U_1, U_2, >..., U_{n-1})$ for any $n\geq 2$, where $S_n(x_1, x_2, ...)$ $(n\in \bN)$ are the elementary Schur polynomials. We also show that the (strict) order polynomials and two well known quasi-symmetric function invariants of rooted forests are in the family of invariants $\Psi$ and derive some consequences about these well-known invariants from our general results on $\Psi$. Finally, we generalize the invariant $\Psi$ to labeled planar forests and discuss its certain relations with the Hopf algebra $\mathcal H_{P, R}^D$ in \cite{F} spanned by labeled planar forests.

Combinatorics
A recursive algorithm for trees and forests

Song Guo,Victor J. W. Guo

DOI: https://doi.org/10.1016/j.disc.2016.12.012

2017-02-06

Abstract:Trees or rooted trees have been generously studied in the literature. A forest is a set of trees or rooted trees. Here we give recurrence relations between the number of some kind of rooted forest with $k$ roots and that with $k+1$ roots on $\{1,2,\ldots,n\}$. Classical formulas for counting various trees such as rooted trees, bipartite trees, tripartite trees, plane trees, $k$-ary plane trees, $k$-edge colored trees follow immediately from our recursive relations.

Combinatorics
On primary relations at tree-level in string theory and field theory

Qian Ma,Yi-Jian Du,Yi-Xin Chen

DOI: https://doi.org/10.1007/JHEP02(2012)061

IF: 6.379

2012-01-01

Journal of High Energy Physics

Abstract:bstract By the use of cyclic symmetry, KK relations and BCJ relations, one can reduce the number of independent N -point color-ordered tree amplitudes in gauge theory and string theory from N ! to ( N − 3)!. In this paper, we investigate these relations at tree-level in both string theory and field theory. We will show that there are two primary relations. All other relations can be generated by the primary relations. In string theory, the primary relations can be chosen as cyclic symmetry as well as either the fundamental KK relation or the fundamental BCJ relation. In field theory, the primary relations can only be chosen as cyclic symmetry and the fundamental BCJ relation. We will further show a kind of more general relation which can also be generated by the primary relations. The general formula of the explicit minimal-basis expansions for color-ordered open string tree amplitudes will be given and proven in this paper.
Multiple Cylinder of Relations for Finite Spaces and Nerve Theorem for Strong-Good Cover

Ponaki Das,Sainkupar Marwein Mawiong

2024-11-14

Abstract:In this paper, we develop the concept of multiple cylinder of relations which is a generalization of the relation cylinder, extending the multiple non-Hausdorff mapping cylinder to sequences of finite T0-spaces linked by a series of relations. This construction is important in capturing complex homotopical structures across chains of finite spaces and, when the relations are induced by maps, it serves as a third space that collapses to two distinct finite spaces. Additionally, we introduce the concept of a strong-good cover for simplicial complexes and finite spaces, char acterized by collapsible (rather than merely contractible) intersections. This leads to a strengthened version of the Nerve Theorem, which we develop for simplicial complexes as well as for finite spaces with strong-good covers, demonstrating that these complexes and spaces and their associated nerves maintain the same simple homotopy type, thereby refining classical results for finite simplicial complexes and finite topological structures.

Algebraic Topology,Combinatorics
A Cantor-Bendixson Rank for Siblings of Trees

Davoud Abdi

DOI: https://doi.org/10.48550/arXiv.2209.04124

2022-09-09

Abstract:Similar to topological spaces, we introduce the Cantor-Bendixson rank of a tree $T$ by repeatedly removing the leaves and the isolated vertices of $T$ using transfinite recursion. Then, we give a representation of a tree $T$ as a leafless tree $T^\infty$ with some leafy trees attached to $T^\infty$. With this representation at our disposal, we count the siblings of a tree and obtain partial results towards a conjecture of Bonato and Tardif.

Combinatorics
A Farey tree structure on a family of pseudo-Anosovs

Ethan Farber

2023-03-02

Abstract:We introduce a new perspective on a procedure for generating pseudo-Anosov homemorphisms from postcritically finite interval maps. The central idea is the realization of a tree structure on one such family of pseudo-Anosovs: individual systems, represented by the rational number measuring their rotation at infinity, are the vertices of the tree, while the edges encode dynamical relations between them. We also deepen the dictionary between one-, two- and three-dimensional invariants associated with these systems.

Geometric Topology
Tautological relations and integrable systems

Alexandr Buryak,Sergey Shadrin

DOI: https://doi.org/10.46298/epiga.2024.10382

2024-08-22

Abstract:We present a family of conjectural relations in the tautological cohomology of the moduli spaces of stable algebraic curves of genus $g$ with $n$ marked points. A large part of these relations has a surprisingly simple form: the tautological classes involved in the relations are given by stable graphs that are trees and that are decorated only by powers of the psi-classes at half-edges. We show that the proposed conjectural relations imply certain fundamental properties of the Dubrovin-Zhang (DZ) and the double ramification (DR) hierarchies associated to F-cohomological field theories. Our relations naturally extend a similar system of conjectural relations, which were proposed in an earlier work of the first author together with Guéré and Rossi and which are responsible for the normal Miura equivalence of the DZ and the DR hierarchy associated to an arbitrary cohomological field theory. Finally, we prove all the above mentioned relations in the case $n=1$ and arbitrary $g$ using a variation of the method from a paper by Liu and Pandharipande, this can be of independent interest. In particular, this proves the main conjecture from our previous joined work together with Hernández Iglesias. We also prove all the above mentioned relations in the case $g=0$ and arbitrary $n$.

Algebraic Geometry,Mathematical Physics
Non-wandering Sets of the Powers of Maps of a Tree

Wen Huang,Xiangdong Ye

DOI: https://doi.org/10.1007/bf02872280

2001-01-01

Science in China Series A Mathematics

Abstract:Let T be a tree and let Ω ( f ) be the set of non-wandering points of a continuous map f: T→ T. We prove that for a continuous map f: T→ T of a tree T: ( i) if x∈ Ω( f) has an infinite orbit, then x∈ Ω( f n ) for each n∈ ℕ; (ii) if the topological entropy of f is zero, then Ω( f) = Ω( f n ) for each n∈ ℕ. Furthermore, for each k∈ ℕ we characterize those natural numbers n with the property that Ω(f k ) = Ω(f kn ) for each continuous map f of T.
No division and the set of periods for tree maps

Lluís Alsedà,Xiangdong Ye

DOI: https://doi.org/10.1017/S0143385700008348

1995-01-01

Ergodic Theory and Dynamical Systems

Abstract:We extend the notion of no division for star maps to tree maps and prove that the set of periods of a tree map is cofinite if there exists some periodic orbit of the given map with period larger than one having no division. Using this result we obtain some simple proofs of known results about the set of periods of a tree map. Also we show that this set is a union of initial segments of a finite number of linear orderings which depend only on the given tree minus a finite subset of N.
Tree-like graphings of countable Borel equivalence relations

Zhaoshen Zhai

2024-09-16

Abstract:We present a streamlined exposition of a construction by R. Chen, A. Poulin, R. Tao, and A. Tserunyan, which proves the treeability of equivalence relations generated by any locally-finite Borel graph such that each component is a quasi-tree. More generally, we show that if each component of a locally-finite Borel graph admits a finitely-separating Borel family of cuts, then we may 'canonically' construct a forest of special ultrafilters; moreover, if the cuts are dense towards ends, then this forest is a Borel treeing.

Logic
Stable tree expressions with Omega-classes and Double Ramification cycles

Xavier Blot,Danilo Lewański,Paolo Rossi,Sergei Shadrin

2024-03-08

Abstract:We propose a new system of conjectural relations in the tautological ring of the moduli space of curves involving stable rooted trees with level structure decorated by Hodge and {\Omega}-classes and prove these conjectures in different cases.

Algebraic Geometry,Mathematical Physics
A proof of a conjecture of Gukov-Pei-Putrov-Vafa

Yuya Murakami

2024-09-03

Abstract:In this paper, we prove Gukov-Pei-Putrov-Vafa's conjecture that the Witten-Reshetikhin-Turaev invariants are radial limits of homological blocks, which are $ q $-series introduced by them for plumbed $ 3 $-manifolds with negative definite linking matrices. In our previous work, the author attributed this conjecture to the holomorphy of certain rational functions by developing an asymptotic formula based on the Euler-Maclaurin summation formula. However, it is challenging to prove holomorphy for general plumbed manifolds. In this paper, we address this challenge using induction on a sequence of trees obtained by repeating "pruning trees."

Geometric Topology,High Energy Physics - Theory,Mathematical Physics,Number Theory,Quantum Algebra
Transversality for critical relations of families of rational maps: an elementary proof

Genadi Levin,Weixiao Shen,Sebastian van Strien

DOI: https://doi.org/10.1007/978-3-030-16833-9_11

2017-01-01

Abstract:In this paper we will give a short and elementary proof that critical relations unfold transversally in the space of rational maps.
Characterising path-, ray- and branch spaces of order trees, and end spaces of infinite graphs

Max Pitz

2023-03-01

Abstract:We investigate path-, ray- and branch spaces of trees, certain topological spaces naturally associated with order theoretic trees, and provide topological characterisations for these spaces in terms of the existence of certain kinds of (sub-)bases. Our results yield a solution to a problem due to Diestel from 1992, by establishing the following equivalences for any Hausdorff space $X$: (1) $X$ is homeomorphic to the end space of a graph, (2) $X$ is homeomorphic to the ray space of a special order tree, (3) $X$ admits a nested clopen subbase that is noetherian, hereditarily complete and $\sigma$-disjoint.

General Topology,Combinatorics
Finite trees are Ramsey under topological embeddings

Manuel Bodirsky,Diana Piguet

DOI: https://doi.org/10.48550/arXiv.1002.1557

2010-02-08

Abstract:We show that the class of finite rooted binary plane trees is a Ramsey class (with respect to topological embeddings that map leaves to leaves). That is, for all such trees P,H and every natural number k there exists a tree T such that for every k-coloring of the (topological) copies of P in T there exists a (topological) copy H' of H in T such that all copies of P in H' have the same color. When the trees are represented by the so-called rooted triple relation, the result gives rise to a Ramsey class of relational structures with respect to induced substructures.

Combinatorics
On an extension of Knuth's rotation correspondence to reduced planar trees

Kurusch Ebrahimi-Fard,Dominique Manchon

DOI: https://doi.org/10.4171/JNCG/157

2012-03-02

Abstract:We present a bijection from planar reduced trees to planar rooted hypertrees, which extends Knuth's rotation correspondence between planar binary trees and planar rooted trees. The operadic counterpart of the new bijection is explained. Related to this, the space of planar reduced forests is endowed with a combinatorial Hopf algebra structure. The corresponding structure on the space of planar rooted hyperforests is also described.

Combinatorics
Rooted labeled trees and exceptional sequences of type $B_n/C_n$

Kiyoshi Igusa,Emre Sen

2024-01-20

Abstract:We show that exceptional sequences in the abelian tube of rank $n$, which we denote $\mathscr{ W}_n$, are related to exceptional sequences of type $B_n$ and $C_n$ and to those of type $B_{n-1}$ and $C_{n-1}$. $\mathscr{W}_n$ has $n^{n-1}$ exceptional sequences. These are in $1$-to-$n$ correspondence from the $n^n$ "augmented" rooted labeled trees with $n$ vertices which, in turn, are in bijection with exceptional sequences of type $B_n$ and $C_n$. By determining the probability distribution of relative projectives in these exceptional sequences, we show there are $(2n)!/n!$ signed exceptional sequences in $\mathscr{W}_n$ and we show that these are in bijection with signed exceptional sequences of type $B_{n-1}$ and $C_{n-1}$ by combining the results of Buan-Marsh-Vatne and Igusa-Todorov.

Representation Theory,Combinatorics

On a family of relations of rooted tree maps

On locally finite ordered rooted trees and their rooted subtrees

Rooted trees with level structures, $Ω$-classes and double ramification cycles

Roots of Iterates of Maps

A Family of Invariants of Rooted Forests

A recursive algorithm for trees and forests

On primary relations at tree-level in string theory and field theory

Multiple Cylinder of Relations for Finite Spaces and Nerve Theorem for Strong-Good Cover

A Cantor-Bendixson Rank for Siblings of Trees

A Farey tree structure on a family of pseudo-Anosovs

Tautological relations and integrable systems

Non-wandering Sets of the Powers of Maps of a Tree

No division and the set of periods for tree maps

Tree-like graphings of countable Borel equivalence relations

Stable tree expressions with Omega-classes and Double Ramification cycles

A proof of a conjecture of Gukov-Pei-Putrov-Vafa

Transversality for critical relations of families of rational maps: an elementary proof

Characterising path-, ray- and branch spaces of order trees, and end spaces of infinite graphs

Finite trees are Ramsey under topological embeddings

On an extension of Knuth's rotation correspondence to reduced planar trees

Rooted labeled trees and exceptional sequences of type $B_n/C_n$