arXiv++ Combinatorics

We give series solutions to single insertion place propagator-type systems of Dyson--Schwinger equations using binary tubings of rooted trees. These solutions are combinatorially transparent in the sense that each tubing has a straightforward contribution. The Dyson--Schwinger equations solved here are more general than those previously solved by chord diagram techniques, including systems and non-integer values of the insertion parameter $s$. We remark on interesting combinatorial connections and properties.

We develop a probabilistic approach to the celebrated Jacobian conjecture, which states that any Keller map (i.e. any polynomial mapping $F\colon \mathbb{C}^n \to \mathbb{C}^n$ whose Jacobian determinant is a nonzero constant) has a compositional inverse which is also a polynomial. The Jacobian conjecture may be formulated in terms of a problem involving labellings of rooted trees; we give a new probabilistic derivation of this formulation using multi-type branching processes. Thereafter, we develop a simple and novel approach to the Jacobian conjecture in terms of a problem involving shuffling subtrees of $d$-Catalan trees, i.e. planar $d$-ary trees. We also show that, if one can construct a certain Markov chain on large $d$-Catalan trees which updates its value by randomly shuffling certain nearby subtrees, and in such a way that the stationary distribution of this chain is uniform, then the Jacobian conjecture is true. Finally, we use the local limit theory of large random trees to show that the subtree shuffling conjecture is true in a certain asymptotic sense, and thereafter use our machinery to prove an approximate version of the Jacobian conjecture, stating that inverses of Keller maps have small power series coefficients for their high degree terms.

An integral equation is a way to encapsulate the relationships between a function and its integrals. We develop a systematic way of describing Volterra integral equations -- specifically an algorithm that reduces any separable Volterra integral equation into an equivalent one in operator-linear form, i.e. one that only contains iterated integrals. This serves to standardize the presentation of such integral equations so as to only consider those containing iterated integrals. We use the algebraic object of the integral operator, the twisted Rota-Baxter identity, and vertex-edge decorated rooted trees to construct our algorithm.

Bukh and Conlon used random polynomial graphs to give effective lower bounds on $\mathrm{ex}(n,\mathcal{T}^\ell)$, where $\mathcal{T}^\ell$ is the $\ell$th power of a balanced rooted tree $T$. We extend their result to give effective lower bounds on $\mathrm{ex}(G_{n,p},\mathcal{T}^\ell)$, which is the maximum number of edges in a $\mathcal{T}^\ell$-free subgraph of the random graph $G_{n,p}$. Analogous bounds for generalized Turán numbers in random graphs are also proven.

For every sufficiently well-behaved function $g:\mathbb{R}_{\ge 0}\rightarrow\mathbb{R}_{\ge 0}$ that grows at least linearly and at most exponentially we construct a tree $T$ of uniform volume growth $g$, that is, $$C_1\cdot g(r/4)\le |B_{T}(v,r)| \le C_2\cdot g(4r),\quad\text{for all $r\ge 0$ and $v\in V(T)$},$$ where $B_{T}(v,r)$ denotes the ball of radius $r$ centered at a vertex $v$. In particular, this yields examples of trees of uniform intermediate (i.e. super-polynomial and sub-exponential) volume growth. We use this construction to provide first examples of unimodular random rooted trees of uniform intermediate growth, answering a question by Itai Benjamini. We find a peculiar change in structural properties for these trees at growth $r^{\log\log r}$.

We introduce the notion of directed hereditary species and show that they have associated monoidal decomposition spaces, comodule bialgebras, and operadic categories. The notion subsumes Schmitt's hereditary species, Gálvez--Kock--Tonks directed restrictions species, and a directed version of Carlier's construction of monoidal decomposition spaces and comodule bialgebras. In addition to all the examples of Schmitt, Gálvez--Kock--Tonks and Carlier, the new construction covers also the Fauvet--Foissy--Manchon comodule bialgebra of finite topological spaces, the Calaque--Ebrahimi-Fard--Manchon comodule bialgebra of rooted trees, and the Faà di Bruno comodule bialgebra of linear trees.

In this paper we introduce a particular semigroup transform $\mathcal{A}$ that fixes the invariants involved in Wilf's conjecture, except the embedding dimension. It also allows one to arrange the set of not ordinary and not irreducible numerical semigroups in a family of rooted trees. We study also another transform, having similar features, that has been introduced by Bras-Amorós, and we make a comparison of them. In particular we study the behaviour of the embedding dimension under the action of such transforms, providing some consequences concerning Wilf's conjecture.

The interior and exterior activities of bases of a matroid are well-known notions that for instance permit one to define the Tutte polynomial. Recently, we have discovered correspondences between the regions of gainic hyperplane arrangements and coloredlabeled rooted trees. Here we define a general activity theory that applies in particular to no-broken circuit (NBC) sets and labeled colored trees. The special case of activity \textsf{0} was our motivating case. As a consequence, in a gainic hyperplane arrangement the number of bounded regions is equal to the number of the corresponding colored labeled rooted trees of activity \textsf{0}.

A rooted tree T is a poset whose Hasse diagram is a graph-theoretic tree having a unique minimal element. We study rowmotion on antichains and lower order ideals of T. Recently Elizalde, Roby, Plante and Sagan considered rowmotion on fences which are posets whose Hasse diagram is a path (but permitting any number of minimal elements). They showed that in this case, the orbits could be described in terms of tilings of a cylinder. They also defined a new notion called homometry which means that a statistic takes a constant value on all orbits of the same size. This is a weaker condition than the well-studied concept of homomesy which requires a constant value for the average of the statistic over all orbits. Rowmotion on fences is often homometric for certain statistics, but not homomesic. We introduce a tiling model for rowmotion on rooted trees. We use it to study various specific types of trees and show that they exhibit homometry, although not homomesy, for certain statistics.

In 2022, Defant and Kravitz introduced extended promotion (denoted $\partial$), a map that acts on the set of labelings of a poset. Extended promotion is a generalization of Schützenberger's promotion operator, a well-studied map that permutes the set of linear extensions of a poset. It is known that if $L$ is a labeling of an $n$-element poset $P$, then $\partial^{n-1}(L)$ is a linear extension. This allows us to regard $\partial$ as a sorting operator on the set of all labelings of $P$, where we think of the linear extensions of $P$ as the labelings which have been sorted. The labelings requiring $n-1$ applications of $\partial$ to be sorted are called tangled; the labelings requiring $n-2$ applications are called quasi-tangled. In addition to computing the sizes of the fibers of promotion for rooted tree posets, we count the quasi-tangled labelings of a relatively large class of posets called inflated rooted trees with deflated leaves. Given an $n$-element poset with a unique minimal element with the property that the minimal element has exactly one parent, it follows from the aforementioned enumeration that this poset has $2(n-1)!-(n-2)!$ quasi-tangled labelings. Using similar methods, we outline an algorithmic approach to enumerating the labelings requiring $n-k-1$ applications to be sorted for any fixed $k\in\{1,\ldots,n-2\}$. We also make partial progress towards proving a conjecture of Defant and Kravitz on the maximum possible number of tangled labelings of an $n$-element poset.

In this paper, we present monotone sequences of lower and upper bounds on the Perron value of a nonngeative matrix, and we study their strict monotonicity. Using those sequences, we provide two combinatorial applications. One is to improve bounds on Perron values of rooted trees in combinatorial settings, in order to find characteristic sets of trees. The other is to generate log-concave and log-convex sequences through the monotone sequences.

The ability of a chemical reaction network to generate itself by catalyzed reactions from constantly present environmental food sources is considered a fundamental property in origin-of-life research. Based on Kaufmann's autocatalytic sets, Hordijk and Steel have constructed the versatile formalism of catalytic reaction systems (CRS) to model and to analyze such self-generating networks, which they named reflexively autocatalytic and food generated (RAF). Previously, it was established that the subsequent and simultaenous catalytic functions of the chemicals of a CRS give rise to an algebraic structure, termed a semigroup model. The semigroup model allows to naturally consider the function of any subset of chemicals on the whole CRS. This gives rise to a generative dynamics by iteratively applying the function of a subset to the externally supplied food set. The fixed point of this dynamics yields the maximal self-generating set of chemicals. Moreover, the lattice of all functionally closed self-generating sets of chemicals is discussed and a structure theorem for this lattice is proven. It is also shown that a CRS which contains self-generating sets of chemicals cannot be nilpotent and thus a useful link to the combinatorial theory of finite semigroups is established. The main technical tool introduced and utilized in this work is the representation of the semigroup elements as decorated rooted trees, allowing to translate the generation of chemicals from a given set of resources into the semigroup language.

A subtree can be induced in a natural way by a subset of leaves of a rooted tree. We study the number of nonisomorphic such subtrees induced by leaves (leaf-induced subtrees) of a rooted tree with no vertex of outdegree 1 (topological tree). We show that only stars and binary caterpillars have the minimum nonisomorphic leaf-induced subtrees among all topological trees with a given number of leaves. We obtain a closed formula and a recursive formula for the families of $d$-ary caterpillars and complete $d$-ary trees, respectively. An asymptotic formula is found for complete $d$-ary trees using polynomial recurrences. We also show that the complete binary tree of height $h>1$ contains precisely $\lfloor 2(1.24602...)^{2^h}\rfloor$ nonisomorphic leaf-induced subtrees.

Richard Stanley defined the chromatic symmetric function $X_G$ of a graph $G$ and asked whether there are non-isomorphic trees $T$ and $U$ with $X_T=X_U$. We study variants of the chromatic symmetric function for rooted graphs, where we require the root vertex to either use or avoid a specified color. We present combinatorial identities and recursions satisfied by these rooted chromatic polynomials, explain their relation to pointed chromatic functions and rooted $U$-polynomials, and prove three main theorems. First, for all non-empty connected graphs $G$, Stanley's polynomial $X_G(x_1,\ldots,x_N)$ is irreducible in $\mathbb{Q}[x_1,\ldots,x_N]$ for all large enough $N$. The same result holds for our rooted variant where the root node must avoid a specified color. We prove irreducibility by a novel combinatorial application of Eisenstein's Criterion. Second, we prove the rooted version of Stanley's Conjecture: two rooted trees are isomorphic as rooted graphs if and only if their rooted chromatic polynomials are equal. In fact, we prove that a one-variable specialization of the rooted chromatic polynomial (obtained by setting $x_0=x_1=q$, $x_2=x_3=1$, and $x_n=0$ for $n>3$) already distinguishes rooted trees. Third, we answer a question of Pawlowski by providing a combinatorial interpretation of the monomial expansion of pointed chromatic functions.

The number of rooted spanning forests divided by the number of spanning rooted trees in a graph G with Kirchhoff matrix K is the spectral quantity tau(G)= det(1+K)/det(K) of G by the matrix tree and matrix forest theorems. We prove that that under Barycentric refinements, the tree index T(G)=log(det(K))/n and forest index F(G)=log(det(1+K))/n and so the tree-forest index i=F-G=log(tau(G))/n converge to numbers that only depend on the size of the maximal clique in the graph. In the 1-dimensional case, all numbers are known: T(G)=0, F(G)=i(G) =2 log(phi), where phi is the golden ratio. The convergent proof uses the Barycentral limit theorem assuring the Kirchhoff spectrum converges weakly to a measure dk on the positive real axis that only depends on dimension of G. Trees and forests indices are potential values i = U(-1)-U(0) for the subharmonic function U(z)=int_R log|x-z| dk(x) defined by the Riesz measure dk=Delta U which only depends on the dimension of G. The potential U(z) is defined for all z away from the support of dk and finite at z=0. Convergence follows from the tail estimate k[x,infty] < C exp(-a x) where the decay rate a only depends on the maximal dimension. With the normalized zeta function zeta(s) = (1/n) sum_k lambda_k^-s, we have for all finite graphs of maximal dimension larger than 1 the identity i(G) = sum_t (-1)^(s+1) zeta(s)/s. The limiting zeta function zeta(s) = int_R x^(-s) dk(x) is analytic in s for s<0. The Hurwitz spectral zeta function zeta_z(s)=U_s(z) = int_R (x-z)^(-s) dk(x) complements U(z) = int_R log(x-z) dk(x) and is analytic for z in C - R^+ and for fixed z in C-R^+ is an entire function in s in C.

Recently we introduced the hypergraph matrix model (HMM), a Hermitian matrix model generalizing the classical Gaussian Unitary Ensemble (GUE). In this model the Gaussians of the GUE, whose moments count partitions of finite sets into pairs, are replaced by formal measures whose moments count set partitions into parts of a fixed even size 2m >= 2. Just as the expectations of the trace polynomials Tr X^{2r} in the GUE produce polynomials counting unicellular orientable maps of different genera, in the HHM these expectations give polynomials counting certain unicelled edge-ramified CW complexes with extra data that we call (orientable CW) maps with instructions. In this paper we describe generating functions for maps with instructions of fixed genus and with the number of vertices arbitrary. Our results are motivated by work of Wright. In particular Wright computed generating functions of connected graphs of fixed first Betti number as rational functions in the rooted tree function T (x), given as the solution to the functional relation x = T e^{-T}.

We consider an infinite sequence of rooted trees naturally emerging in a number-theoretical context. We advance some ideas on its structure by discussing some elementary properties. Some of those properties are shown to be related to classical results or conjectures in number theory.

Let $G = (V, E)$ be a finite simple undirected graph without $K_2$ components. A bijection $f : E \rightarrow \{1, 2,\cdots, |E|\}$ is called a local antimagic labeling if for any two adjacent vertices $u$ and $v$, they have different vertex sums, i.e., $w(u) \neq w(v)$, where the vertex sum $w(u) = \sum_{e \in E(u)} f(e)$, and $E(u)$ is the set of edges incident to $u$. Thus any local antimagic labeling induces a proper vertex coloring of $G$ where the vertex $v$ is assigned the color (vertex sum) $w(v)$. The local antimagic chromatic number $χ_{la}(G)$ is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. It was conjectured \cite{Aru-Wang} that for every tree $T$ the local antimagic chromatic number $l+ 1 \leq χ_{la} ( T )\leq l+2$, where $l$ is the number of leaves of $T$. In this article we verify the above conjecture for complete full $t$-ary trees, for $t \geq 2$. A complete full $t$-ary tree is a rooted tree in which all nodes have exactly $t$ children except leaves and every leaf is of the same depth. In particular we obtain that the exact value for the local antimagic chromatic number of all complete full $t$-ary trees is $ l+1$ for odd $t$.

A dissection of a polygon is obtained by drawing diagonals such that no two diagonals intersect in their interiors. In this paper, we define a toric variety of Schröder type as a smooth toric variety associated with a polygon dissection. Toric varieties of Schröder type are Fano generalized Bott manifolds, and they are isomorphic if and only if the associated Schröder trees are the same as unordered rooted trees. We describe the cohomology ring of a toric variety of Schröder type using the associated Schröder tree and discuss the cohomological rigidity problem.

We investigate the spectral properties of rooted trees with the intention of improving the currently existing results that deal with this matter. The concept of an assigned rational function is recursively defined for each vertex of a rooted tree. Afterwards, two mathematical formulas are given which show how the characteristic polynomials of the adjacency and Laplacian matrix can be represented as products of the aforementioned rational functions. In order to demonstrate their general use case scenario, the obtained formulas are subsequently implemented on balanced trees, with a special focus on the Bethe trees. In the end, some of the previously derived results are used in order to construct a tree merging procedure which preserves the spectra of all of the starting trees.