arXiv++ Combinatorics

The Non-Cancelling Intersections (NCI) conjecture of Amarilli, Monet and Suciu [arXiv:2401.16210] states that the union of a finite family of sets can always be built from its algebraically non-cancelling intersections using only disjoint unions and subset complements. In Wilhelm [arXiv:2608.19414] the conjecture was shown to fail when the witnessing dot-algebra expression is required to be left-linear. Here we remove that restriction and show that the conjecture is false in general: there is a finite lattice admitting no dot-algebra representation of its top element whatsoever. The counterexample is a lattice $P_{p,\mathfrak{m}}$ as in Wilhelm [arXiv:2608.19414], and the argument differs in only two ways. First, we replace the sequential "toggle game" of Wilhelm [arXiv:2608.19414] by a corresponding tree-shaped object, the plane tree, which stands to dot-algebra trees as the toggle game stands to left-linear ones. Second, we use a marked plane in which there is no admissible set of any size between $2p$ and $4p$, which also removes the need for the Erdős--Beck theorem and for the arithmetic Nullstellensatz. Consequently $p$ need not be astronomically large: every prime $p \ge 10^{5}$ works.

We define an involution $h$ on Catalan structures through an abstract framework, prove an equidistribution theorem for four canonical statistics and present a generating function carrying these. This framework encompasses all combinatorial structures with a decomposition mirroring the first-return decomposition of Dyck paths. The fixed points of~$h$ are counted by Catalan numbers. Canonical bijections transport the equidistribution to eight well known concrete families, identifying the canonical statistics with native ones on each. In addition to its primary structure, each Catalan structure has a derived \emph{secondary structure}, and $h$~interchanges primary and secondary structure. The involution factors as $h = \rev \circ \corev \circ \rev$, where $\rev$ and $\corev$ are two simpler involutions, and the composition $M = h \circ \rev$ coincides with Donaghey's automorphism on plane trees. This yields $M^{-1} = \rev \circ M \circ \rev$ and a period theorem: Iterating the secondary structure construction produces a sequence that repeats with period equal to the order of~$M$. It is an open problem to describe $h$ and the canonical statistics explicitly on most of the more than two hundred known families of Catalan structures.

We present a simple trimming algorithm that generates nested uniform binary plane trees by removing leaves one-by-one using a best-of-three-match procedure. While its one-step transition specializes to the Luczak-Winkler & Caraceni-Stauffer coupling, its scaling limit provides a suprising càdlàg erasure of Brownian trees, reminiscent of SLE theory.

This paper extends the study of fringe trees in random plane trees with a given degree statistic. While previous work established the asymptotic normality of the count of fringe trees isomorphic to a fixed tree, we investigate the case where the target tree grows with the size of the random tree. We consider three primary subtree counts: the number of fringe trees isomorphic to a specific growing tree, the number of fringe trees sharing a given growing degree statistic, and the number of fringe trees of a specific growing size. To establish our results, we employ and compare four distinct probabilistic frameworks: the method of moments with the Gao-Wormald theorem, Stein's method with coupling (to provide explicit error bounds in total variation distance), the Cai-Devroye method, and Stein's method with exchangeable pairs. Our findings provide conditions for Poisson and normal convergence for these subtree counts. Additionally, we provide a local limit theorem for sums of values obtained via sampling without replacement that may be of independent interest. Finally, our results and methods are also applied to conditioned critical Galton-Watson trees.

Let $\mathcal{T}$ denote a Galton--Watson tree with offspring distribution $ξ$ satisfying $\mathbb{E}(ξ) = 1$, and let $\mathcal{T}_n$ be the Galton--Watson tree conditioned to have exactly $n$ nodes. We show that, under a mild moment condition on $ξ$, the number of occurrences of a fixed rooted plane tree $\mathbf{t}$ as a general subtree in $\mathcal{T}_n$ is asymptotically normal as $n \to \infty$, with both mean and variance linear in $n$. In addition, we prove that this limiting distribution is nondegenerate except for some special cases where the variance remains bounded. These results confirm a conjecture of Janson in recent work on the same topic. Finally, we present examples showing that if the proposed moment condition on $ξ$ is violated, the conclusion may fail.

In an effort to further understanding $q,t$-Catalan statistics, a new statistic on Dyck paths called $\mathtt{depth}$ was proposed in Pappe, Paul and Schilling (2022) and was shown to be jointly equi-distributed with the well-known $\mathtt{area}$ statistics. In a recent preprint, Qu and Zhang (2025) generalized $\mathtt{depth}$ to so-called ``$\vec{k}$-Dyck paths''. They showed that $\mathtt{area}$ and $\mathtt{depth}$ are also jointly equi-distributed over such paths with a fixed multiset of up-steps and a given first up-step, and they conjectured that the same holds when also fixing the last up-step. In this short note, we settle this conjecture on the more general context of Łukasiewicz paths by interpreting $\mathtt{area}$ and $\mathtt{depth}$ under the classical bijection between Łukasiewicz paths and plane trees, through which the symmetry is transparent.

This work addresses an enumeration problem on weighted bi-colored plane trees with prescribed vertex data, with all vertices labeled distinctly. We give a bijection proof of the enumeration formula originally due to Kochetkov, hence affirmatively answer a question of Adrianov-Pakovich-Zvonkin. The argument is purely combinatorial and totally constructive, remaining valid for real-valued edge weights. A central process is a geometric construction that directly encodes each tree as a permutation. We also exhibit algebraic relationships between the enumeration problem, the partial order on partitions of vertices and the Stirling numbers of the second kind. Some computation examples are presented as appendices.

We prove cyclic sieving phenomena satisfied by corner-rooted plane trees (alias ordered trees). The sets of rooted plane trees that we consider are: (1) all trees with $n$ nodes; (2) all trees with $n$ nodes and $k$ leaves; (3) all trees with a given degree distribution of the nodes. Moreover, we consider four different cyclic group actions: (1) the root is moved to the next corner along a tour of the tree; (2) only trees in which the root is at a leaf are considered, and the action moves the root to the next leaf; (3) only trees in which the root is at a non-leaf are considered, and the action moves the root to the next non-leaf corner; (4) only trees in which the root is at a node of degree $δ$ are considered, for a fixed $δ$, and the action moves the root to the next corner of this type. We prove a cyclic sieving phenomenon for each meaningful combination of these sets and actions. As a bonus, we also establish corresponding cyclic sieving phenomena for tree-rooted planar maps.

Given $n \in \mathbb{N}$ and $μ\in \mathbb{R}$, a $\textit{$μ$-height-biased tree of size $n$}$ is a random plane tree $\mathbf{\mathbf{T}}_n$ with $n$ vertices with law given by $\mathbb{P}(\mathbf{T}=t) \propto e^{-μh(t)}$, where $t$ ranges over fixed plane trees with $n$ vertices, and $h(t)$ is the height of $t$. Fix a sequence $(μ_n)_{n \ge 1}$ of real numbers, and for $n \ge 1$ let $\mathbf{T}_n$ be a $μ$-height-biased tree of size $n$. Durhuus and Ünel (2023) described the asymptotic behaviour of $h(\mathbf{T}_n)$ when $μ_n \equiv μ\in \mathbb{R}$ is fixed. In this work, we extend their results to arbitrary sequences of positive parameters depending on $n$. Most notably, we show that such a tree behaves like a height-biased Continuum Random Tree (CRT) when $μ_n$ is of order $1/\sqrt{n}$; that its height is asymptotically $(2π^2n/μ_n)^{1/3}$ when $μ_n$ is of larger order than $1/\sqrt{n}$ and of smaller order than $n$; and that its height converges to a fixed constant when $μ_n$ is of order at least $n$, with some random jumps under specific conditions on $μ_n$. We additionally prove various results on second order behaviours, and large deviation principles for the height, for different regimes of $μ_n$. Finally, we describe new statistics of these trees, covering their widths, their root degrees, and the local structure around their roots.

Triangulations of the 5-gon with no separating triangle nor quadrangle, so called 5c-triangulations, are a planar map family closely related to 5-connected planar triangulations. We show that 5c-triangulations are in bijection with 5-regular plane trees satisfying a simple local constraint at inner edges. It yields explicit expressions for the generating functions of rooted 5c-triangulations, and of rooted 5-connected planar triangulations with root-vertex degree 5, these belonging to the same algebraic extension as the generating function of rooted 5-connected planar triangulations computed by Gao, Wanless and Wormald. The bijection also makes it possible to obtain efficient uniform random generation and succinct encoding procedures for 5-connected planar triangulations.

Coverings of the Riemann sphere by itself, ramified over two points, are given by so-called Shabat polynomials. The correspondence between Grothendieck's dessins d'enfants and Belyi maps then implies a bijection between Shabat polynomials and tree dessins (bicolored plane trees). Dessins can be assigned a combinatorial invariant known as their passport, which records the degrees of their vertices. We consider all possible passports determining a pair of tree dessins, determining the associated Shabat polynomials and monodromy groups.

Pappe, Paul, and Schilling introduced two combinatorial statistics, depth and ddinv, associated with classical Dyck paths, and proved that the distributions of (area, depth) and (dinv, ddinv) are $q,t$-symmetric by constructing an involution on plane trees. They also provided a new formula for the original $q,t$-Catalan polynomials $C_{n}(q,t)$. We observe that depth is a slight modification of bounce, which was defined by the filling algorithm and ranking algorithm of Xin and the second author in their study of $\vec{k}$-Dyck paths. In this article, we generalize depth of classical Dyck paths to the case of $\vec{k}$-Dyck paths and prove $q,t$-symmetry of the pair of statistics (area, depth) for $\mathcal{K}$-Dyck paths. We provide an alternative description of the higher $q,t$-Catalan polynomials $C_{n}^{(k)}(q,t)$.

This note is dedicated to presenting a polynomial analogue of $(n+1)!C_n=2^n(2n-1)!!$ (with $C_n$ as the $n$-th Catalan number) in the context of labeled plane trees and increasing plane trees, based on the definition of improper edges in labeled plane trees. A new involution on labeled plane trees is constructed to establish this identity, implying that the number of improper edges and the number of proper edges are equidsitributed over the set of labeled plane trees.

A tanglegram of size n is a graph formed from two rooted binary trees with n leaves each and a perfect matching between their leaf sets. Tanglegrams are used to model co-evolution in various settings. A tanglegram layout is a straight line drawing where the two trees are drawn as plane trees with their leaf-sets on two parallel lines, and only the edges of the matching may cross. The tangle crossing number of a tanglegram is the minimum crossing number among its layouts. It is known that tanglegrams have crossing number at least one precisely when they contain one of two size 4 subtanglegrams, which we refer to as cross-inducing subtanglegrams. We show here that a tanglegram with exactly one cross inducing subtanglegram must have tangle crossing number exactly one, and ask the question whether the tangle-crossing number of tanglegrams with exactly k cross-inducing subtanglegrams is bounded for every k.

We study an alternating sum involving factorials and Stirling numbers of the first kind. We give an exponential generating function for these numbers and show they are nonnegative and enumerate the number of increasing trees on $n$ vertices that are won by the second of two players when interpreted as a game tree. We also give a simple description of the quotient from the weak order to the Tamari lattice in terms of plane trees, and give bijections between plane trees, 213-avoiding permutations, and 312-avoiding permutations. Finally, for a rooted tree, we give equivalent characterizations of when it describes a game won by the first or second player in terms of the rank-generating function of the lattice of prunings and the Euler characteristic of an associated real variety.

We establish a general bijective framework for encoding faces of some classical hyperplane arrangements. Precisely, we consider hyperplane arrangements in $\mathbb{R}^n$ whose hyperplanes are all of the form $\{x_i-x_j=s\}$ for some $i,j\in[n]$ and $s\in \mathbb{Z}$. Such an arrangement $A$ is \emph{strongly transitive} if it satisfies the following condition: if $\{x_i-x_j=s\}\notin A$ and $\{x_j-x_k=t\}\notin A$ for some $i,j,k\in [n]$ and $s,t\geq 0$, then $\{x_i-x_k=s+t\}\notin A$. For any strongly transitive arrangement $A$, we establish a bijection between the faces of $A$ and some set of decorated plane trees.

This note derives asymptotic upper and lower bounds for the number of planted plane trees on $n$ nodes assigned labels from the set $\{1,2,\ldots, k\}$ with the restriction that on any path from the root to a leaf, the labels must strictly decrease. We illustrate an application to calculating the largest eigenvalue of the adjacency matrix of a tree.

This paper constructs two involutions on tip-augmented plane trees, as defined by Donaghey, that interchange two distinct types of leaves while preserving all other leaves. These two involutions provide bijective explanations addressing a question posed by Dong, Du, Ji, and Zhang in their work.

As a unification of increasing trees and plane trees, the weakly increasing trees labeled by a multiset was introduced by Lin-Ma-Ma-Zhou in 2021. Motived by some symmetries in plane trees proved recently by Dong, Du, Ji and Zhang, we construct four bijections on weakly increasing trees in the same flavor via switching the role of left child and right child of some specified nodes in their corresponding binary trees. Consequently, bijective proofs of the aforementioned symmetries found by Dong et al. and a non-recursive construction of a bijection on plane trees of Deutsch are provided. Applications of some symmetries in weakly increasing trees to permutation patterns and statistics will also be discussed.

Each rooted plane tree $\mathsf{T}$ has an associated ornamentation lattice $\mathcal{O}(\mathsf{T})$. The ornamentation lattice of an $n$-element chain is the $n$-th Tamari lattice. We study the pop-stack operator $\mathsf{Pop}\colon\mathcal{O}(\mathsf{T})\to\mathcal{O}(\mathsf{T})$, which sends each element $δ$ to the meet of the elements covered by or equal to $δ$. We compute the maximum size of a forward orbit of $\mathsf{Pop}$ on $\mathcal{O}(\mathsf{T})$, generalizing a result of Defant for Tamari lattices. We also characterize the image of $\mathsf{Pop}$ on $\mathcal{O}(\mathsf{T})$, generalizing a result of Hong for Tamari lattices. For each integer $k\geq 0$, we provide necessary conditions for an element of $\mathcal{O}(\mathsf{T})$ to be in the image of $\mathsf{Pop}^k$. This allows us to completely characterize the image of $\mathsf{Pop}^k$ on a Tamari lattice.