arXiv++ Combinatorics

A graph $G$ is universal for a class of graphs $\mathcal{C}$, if, up to isomorphism, $G$ contains every graph in $\mathcal{C}$ as a subgraph. In 1978, Chung and Graham asked for the minimal number $s(n)$ of edges in a graph with $n$ vertices that is universal for all trees with $n$ vertices. The currently best bounds assert that $n\ln n-O(n)\le s(n) \le C n\ln n+O(n)$, where $C = \frac{14}{5\ln 2} \approx 4.04$. Here, we improve the upper bound to $c n\ln n + O(n)$, where $c = \frac{19}{6\ln 3} \approx 2.88$. We develop in the proof a strategy that, broadly speaking, is based on separating trees into three parts, thus enabling us to embed them in a structure that originates from ternary trees. Our method also applies to graphs that are close to being trees, measured by their treewidth. Let $s_w(n)$ be the minimum number of edges in a $n$-vertex graph that is universal for graphs with treewidth $w$. By performing a graph blow-up to our universal structure and counting necessary edges carefully, we establish that $nw \ln(n/w) -O(nw) \leq s_w(n) \leq \frac{19}{6\ln3} n (w+1) \ln(n/w) + O(nw)$.

Fighting fish is a combinatorial configuration introduced by Duchi et al. as a new model of branching surfaces that generalizes directed convex polyominoes. We come up with an alternative construction of fighting fish, using a tree structure built on the so-called stem cells of fighting fish. From this perspective, we establish a bijection between ternary trees and fighting fish with a marked strip of cells, which specializes to a direct bijection between left ternary trees and fighting fish. Using these results, we obtain a combinatorial enumeration of the fighting fish of size $n$ by establishing a $(n+1)$-to-2 bijection with the ternary trees having $n$ nodes. We present some additional enumerative results including that the fighting fish with a marked tail and the horizontally symmetric fighting fish are equinumerous with the ordered pairs of ternary trees having a total of a prescribed number of nodes.

We introduce a subfamily of skew Dyck paths called box paths and show that they are in bijection with pairs of ternary trees, confirming an observation stated previously on the On-Line Encyclopedia of Integer Sequences. More generally, we define $k$-box paths, which are in bijection with $(k+1)$-tuples of $(k+2)$-ary trees. A bijection is given between $k$-box paths and a subfamily of $k_{t}$-Dyck paths, as well as a bijection with a subfamily of $(k,\ell)$-threshold sequences. We also study the refined enumeration of $k$-box paths by the number of returns and the number of long ascents. Notably, the distribution of long ascents over $k$-box paths generalizes the Narayana distribution on Dyck paths, and we find that $(k-3)$-box paths with exactly two long ascents provide a combinatorial model for the second $k$-gonal numbers.

Using the Lagrange inversion formula, $t$-ary trees are enumerated with respect to edge type (left, middle, right for ternary trees).

Given two $n$-vertex graphs $G_1$ and $G_2$ of bounded treewidth, is there an $n$-vertex graph $G$ of bounded treewidth having subgraphs isomorphic to $G_1$ and $G_2$? Our main result is a negative answer to this question, in a strong sense: we show that the answer is no even if $G_1$ is a binary tree and $G_2$ is a ternary tree. We also provide an extensive study of cases where such `gluing' is possible. In particular, we prove that if $G_1$ has treewidth $k$ and $G_2$ has pathwidth $\ell$, then there is an $n$-vertex graph of treewidth at most $k + 3 \ell + 1$ containing both $G_1$ and $G_2$ as subgraphs.

Various lattice path models are reviewed. The enumeration is done using generating functions. A few bijective considerations are woven in as well. The kernel method is often used. Computer algebra was an essential tool. Some results are new, some have appeared before. The lattice path models we treated, are: Hoppy's walks, the combinatorics of sequence A002212 in \cite{OEIS} (skew Dyck paths, Schröder paths, Hex-trees, decorated ordered trees, multi-edge trees, etc.) Weighted unary-binary trees also occur, and we could improve on our old paper on Horton-Strahler numbers \cite{FlPr86}, by using a different substitution. Some material on ternary trees appears as well, as on Motzkin numbers and paths (a model due to Retakh), and a new concept called amplitude that was found in \cite{irene}. Some new results on Deutsch paths in a strip are included as well. During the Covid period, I spent much time with this beautiful concept that I dare to call Deutsch paths, since Emeric Deutsch stands at the beginning with a problem that he posted in the American Mathematical Monthly some 20 years ago. Peaks and valleys, studied by Rainer Kemp 40 years under the names \textsc{max}-turns and \textsc{min}-turns, are revisited with a more modern approach, streamlining the analysis, relying on the `subcritical case' (named so by Philippe Flajolet), the adding a new slice technique and once again the kernel method.

We construct an infinite ternary tree $\mathfrak{L}$ whose root is the knight and whose vertices are all skew free leapers. We define the descent of a skew free leaper to be its "address" within $\mathfrak{L}$. We introduce three transformations which relate the leaper graphs of a skew free leaper to the leaper graphs of its three children in $\mathfrak{L}$. By starting with the knight and then applying these transformations so as to advance throughout $\mathfrak{L}$, we can establish theorems about all skew free leapers. We call this proof technique induction on descent and with its help we resolve a number of questions about leaper graphs.

Ma-Ma-Yeh made a beautiful observation that a transformation of the grammar of Dumont instantly leads to the $γ$-positivity of the Eulerian polynomials. We notice that the transformed grammar bears a striking resemblance to the grammar for 0-1-2 increasing trees also due to Dumont. The appearance of the factor of two fits perfectly in a grammatical labeling of 0-1-2 increasing plane trees. Furthermore, the grammatical calculus is instrumental to the computation of the generating functions. This approach can be adapted to study the $e$-positivity of the trivariate second-order Eulerian polynomials first introduced by Dumont in the contexts of ternary trees and Stirling permutations, and independently defined by Janson, in connection with the joint distribution of the numbers of ascents, descents and plateaux over Stirling permutations.

S-Motzkin paths (bijective to ternary trees) and partial version of them are calculated using only elementary methods from linear algebra.

The sequence A120986 in the Encyclopedia of Integer Sequences counts ternary trees according to the number of nodes and the number of middle edges. Using a certain substition, the underlying cubic equation can be factored. This leads to an extension of the concept of $(3/2)$-ary trees, introduced by Knuth in his christmas lecture from 2014.

A matching of the set $[2n]=\{ 1,2,\ldots ,2n\}$ is a partition of $[2n]$ into blocks with two elements, i.e. a graph on $[2n]$ such that every vertex has degree one. Given two matchings $σ$ and $τ$ , we say that $σ$ is a pattern of $τ$ when $σ$ can be obtained from $τ$ by deleting some of its edges and consistently relabelling the remaining vertices. This is a partial order relation turning the set of all matchings into a poset, which will be called the matching pattern poset. In this paper, we continue the study of classes of pattern avoiding matchings, initiated by Chen, Deng, Du, Stanley and Yan (2007), Jelinek and Mansour (2010), Bloom and Elizalde (2012). In particular, we work out explicit formulas to enumerate the class of matchings avoiding two new patterns, obtained by juxtaposition of smaller patterns, and we describe a recursive formula for the generating function of the class of matchings avoiding the lifting of a pattern and two additional patterns. Finally, we introduce the notion of unlabeled pattern, as a combinatorial way to collect patterns, and we provide enumerative formulas for two classes of matchings avoiding an unlabeled pattern of order three. In one case, the enumeration follows from an interesting bijection between the matchings of the class and ternary trees.

Two subfamilies of Motzkin paths, with the same numbers of up, down, horizontal steps were known to be equinumerous with ternary trees and related objects. We construct a bijection between these two families that does not use any auxiliary objects, like ternary trees.

The lattice path model suggested by E. Deutsch is derived from ordinary Dyck paths, but with additional down-steps of size -3,-5,-7,... . For such paths, we find the generating functions of them, according to length, ending at level $i$, both, when considering them from left to right and from right to left. The generating functions are intrinsically cubic, and thus (for $i=0$) in bijection to various objects, like even trees, ternary trees, etc.

In this paper, we study the area requirements of planar straight-line orthogonal drawings of ternary trees. We prove that every ternary tree admits such a drawing in sub-quadratic area. Further, we present upper bounds, the outcomes of an experimental evaluation, and a conjecture on the area requirements of planar straight-line orthogonal drawings of complete ternary trees. Finally, we present a polynomial lower bound on the length of the minimum side of any planar straight-line orthogonal drawing of a complete ternary tree.

Two subclasses of Motzkin paths, S-Motzkin and T-Motzkin paths, are introduced. We provide bijections between S-Motzkin paths and ternary trees, S-Motzkin paths and non-crossing trees, and T-Motzkin paths and ordered pairs of ternary trees. Symbolic equations for both paths, and thus generating functions for the paths, are provided. Using these, various parameters involving the two paths are analyzed.

A bijection between ternary trees with $n$ nodes and a subclass of Motzkin paths of length $3n$ is given. This bijection can then be generalized to $t$-ary trees.

Using the theory of Properly Embedded Graphs developed in an earlier work we define an involutory duality on the set labeled non-crossing trees that lifts the obvious duality in the set of unlabeled non-crossing trees. The set of non-crossing trees is a free ternary magma with one generator and this duality is an instance of a duality that is defined in any such magma. Any two free ternary magmas with one generator are isomorphic via a unique isomorphism that we call the structural bijection. Besides the set of non-crossing trees we also consider as free ternary magmas with one generator the set of ternary trees, the set of quadrangular dissections, and the set of flagged Perfectly Chain Decomposed Ditrees, and we give topological and/or combinatorial interpretations of the structural bijections between them. In particular the bijection from the set of quadrangular dissections to the set of non-crossing trees seems to be new. Further we give explicit formulas for the number of self-dual labeled and unlabeled non-crossing trees and the set of quadrangular dissections up to rotations and up to rotations and reflections.

In this article we use the theory of interval-posets recently introduced by Ch{â}tel and Pons in order to describe some interesting families of intervals in the Tamari lattices. These families are defined as interval-posets avoiding specific configurations. At first, we consider what we call exceptional interval-posets and show that they correspond to the intervals which are obtained as images of noncrossing trees in the Dendriform operad. We also show that the exceptional intervals are exactly the intervals of the Tamari lattice induced by intervals in the poset of noncrossing partitions. In the second part we introduce the notion of modern and infinitely modern interval-posets. We show that the modern intervals are in bijection with the new intervals of the Tamari lattice in the sense of Chapoton. We deduce an intrinsic characterization of the new intervals in the Tamari lattice. Finally, we consider the family of what we call infinitely modern intervals and we we prove that there are as many infinitely modern interval-posets of size n as there are ternary trees with n inner vertices.

Fighting fish were very recently introduced by the authors as combinatorial structures made of square tiles that form two dimensional branching surfaces. A main feature of these fighting fish is that the area of uniform random fish of size $n$ scales like $n^{5/4}$ as opposed to the typical $n^{3/2}$ area behavior of the staircase or direct convex polyominoes that they generalize. In this extended abstract we concentrate on enumerative properties of fighting fish: in particular we provide a new decomposition and we show that the number of fighting fish with $i$ left lower free edges and $j$ right lower free edges is equal to \begin{equation*} \frac{(2i+j-2)!(2j+i-2)!}{i!j!(2i-1)!(2j-1)!}. \end{equation*} These numbers are known to count rooted planar non-separable maps with $i+1$ vertices and $j+1$ faces, or two-stack-sortable permutations with respect to ascending and descending runs, or left ternary trees with respect to vertices with even and odd abscissa. However we have been unable until now to provide any explicit bijection between our fish and such structures. Instead we provide new refined generating series for left ternary trees to prove further equidistribution results.

This paper considers the enumeration of ternary trees (i.e. rooted ordered trees in which each vertex has 0 or 3 children) avoiding a contiguous ternary tree pattern. We begin by finding recurrence relations for several simple tree patterns; then, for more complex trees, we compute generating functions by extending a known algorithm for pattern-avoiding binary trees. Next, we present an alternate one-dimensional notation for trees which we use to find bijections that explain why certain pairs of tree patterns yield the same avoidance generating function. Finally, we compare our bijections to known "replacement rules" for binary trees and generalize these bijections to a larger class of trees.