Grand Motzkin paths and $\{0,1,2\}$-trees -- a simple bijection

Helmut Prodinger

2023-08-16

Abstract:A well-known bijection between Motzkin paths and ordered trees with outdegree always $\le2$, is lifted to Grand Motzkin paths (the nonnegativity is dropped) and an ordered list of an odd number of such $\{0,1,2\}$ trees. This offers an alternative to a recent paper by Rocha and Pereira Spreafico.

Combinatorics

What problem does this paper attempt to address?

Parity Reversing Involutions on Plane Trees and 2-Motzkin Paths

William Y.C. Chen,Louis W. Shapiro,Laura L.M. Yang

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

2005-03-15

Abstract:The problem of counting plane trees with $n$ edges and an even or an odd number of leaves was studied by Eu, Liu and Yeh, in connection with an identity on coloring nets due to Stanley. This identity was also obtained by Bonin, Shapiro and Simion in their study of Schröder paths, and it was recently derived by Coker using the Lagrange inversion formula. An equivalent problem for partitions was independently studied by Klazar. We present three parity reversing involutions, one for unlabelled plane trees, the other for labelled plane trees and one for 2-Motzkin paths which are in one-to-one correspondence with Dyck paths.

Combinatorics
Words, Dyck paths, Trees, and Bijections

Helmut Prodinger

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

2019-10-25

Abstract:In \cite{BaDeFePi96} the concept of nondecreasing Dyck paths was introduced. We continue this research by looking at it from the point of view of words, rational languages, planted plane trees, and continued fractions. We construct a bijection with planted plane trees of height $\le 4$ and compute various statistics on trees that are the equivalents of nondecreasing Dyck paths.

Combinatorics
Packing $A$-paths of length zero modulo a prime

Robin Thomas,Youngho Yoo

DOI: https://doi.org/10.1016/j.jctb.2022.12.007

2024-06-24

Abstract:It is known that $A$-paths of length $0$ mod $m$ satisfy the Erdős-Pósa property if $m=2$ or $m=4$, but not if $m > 4$ is composite. We show that if $p$ is prime, then $A$-paths of length $0$ mod $p$ satisfy the Erdős-Pósa property. More generally, in the framework of undirected group-labelled graphs, we characterize the abelian groups $\Gamma$ and elements $\ell \in \Gamma$ for which the Erdős-Pósa property holds for $A$-paths of weight $\ell$.

Combinatorics
A bijection between phylogenetic trees and plane oriented recursive trees

Helmut Prodinger

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

2017-09-18

Abstract:Phylogenetic trees are binary nonplanar trees with labelled leaves, and plane oriented recursive trees are planar trees with an increasing labelling. Both families are enumerated by double factorials. A bijection is constructed, using the respective representations a 2-partitions and trapezoidal words.

Combinatorics
Enumeration of the Motzkin paths above a line of rational slope

Lin Yang,Yu-Yuan Zhang,Sheng-Liang Yang

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

IF: 0.961

2024-03-30

Discrete Mathematics

Abstract:We introduce Lm -Motzkin paths similar to m -Dyck paths. For fixed positive integer m , Lm -Motzkin paths are a generalization of Motzkin paths that start at (0,0) , use steps U=(1,1) , D=(1,−1) and L=(1,0) , remain weakly above the line y=m−1mx , and end on this line. The number Mn(m) of Lm -Motzkin paths running from (0,0) to (mn,(m−1)n) is called the n -th Lm -Motzkin number. We first prove that the generating function Mm(t) of the Lm -Motzkin numbers satisfies the equation Mm(t)=1+tMm(t)m+t2Mm(t)2m . We then use this generating function and Riordan array to discuss the enumerations of the partial Lm -Motzkin paths and the partial grand Lm -Motzkin paths. Finally, we consider the colored Lm -Motzkin paths, and present two classes of γ -positive polynomials via enumerating these paths.

mathematics
A walk in my lattice path garden

Helmut Prodinger

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

2022-01-25

Abstract: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.

Combinatorics
Product Structure and Tree-Decompositions

Chun-Hung Liu,Sergey Norin,David R. Wood

2024-10-27

Abstract:This paper explores the structure of graphs defined by an excluded minor or an excluded odd minor through the lens of graph products and tree-decompositions. We prove that every graph excluding a fixed odd minor is contained in the strong product of two graphs each with bounded treewidth. For graphs excluding a fixed minor, we strengthen the result by showing that every such graph is contained in the strong product of two digraphs with bounded indegree and with bounded treewidth. This result has the advantage that the product now has bounded degeneracy. In the setting of 3-term products, we show that every $K_t$-minor-free graph is contained in $H_1\boxtimes H_2 \boxtimes K_{c(t)}$ where $\text{tw}(H_i)\leq t-2$. This treewidth bound is close to tight: in any such result with $\text{tw}(H_i)$ bounded, both $H_1$ and $H_2$ can be forced to contain any graph of treewidth $t-5$, implying $\text{tw}(H_1)\geq t-5$ and $\text{tw}(H_2)\geq t-5$. Analogous lower and upper bounds are shown for any excluded minor, where the minimum possible bound on $\text{tw}(H_i)$ is tied to the treedepth of the excluded minor. Subgraphs of the product of two graphs with bounded treewidth have two tree-decompositions where any bag from the first decomposition intersects any bag from the second decomposition in a bounded number, $k$, of vertices, so called $k$-orthogonal tree-decompositions. We show that graphs excluding a fixed odd-minor have a tree-decomposition and a path-decomposition that are $O(1)$-orthogonal. This implies that such graphs have a tree-decomposition in which each bag has bounded pathwidth. This result is best possible in that `pathwidth' cannot be replaced by `bandwidth' or `treedepth'. Moreover, we characterize the minor-closed classes that have a tree-decomposition in which each bag has bounded bandwidth, or each bag has bounded treedepth.

Combinatorics,Discrete Mathematics
Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

Xi Chen,Alan D. Sokal

DOI: https://doi.org/10.1016/j.aam.2024.102703

2024-04-23

Abstract:We study three combinatorial models for the lower-triangular matrix with entries $t_{n,k} = \binom{n}{k} n^{n-k}$: two involving rooted trees on the vertex set $[n+1]$, and one involving partial functional digraphs on the vertex set $[n]$. We show that this matrix is totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. We then generalize to polynomials $t_{n,k}(y,z)$ that count improper and proper edges, and further to polynomials $t_{n,k}(y,\mathbf{\phi})$ in infinitely many indeterminates that give a weight $y$ to each improper edge and a weight $m! \, \phi_m$ for each vertex with $m$ proper children. We show that if the weight sequence $\mathbf{\phi}$ is Toeplitz-totally positive, then the two foregoing total-positivity results continue to hold. Our proofs use production matrices and exponential Riordan arrays.

Combinatorics,Classical Analysis and ODEs
On a new collection of words in the Catalan family

Christian Stump

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

2014-05-23

Abstract:In this note, we provide a bijection between a new collection of words on nonnegative integers of length n and Dyck paths of length 2n-2, thus proving that this collection belongs to the Catalan family. The surprising key step in this bijection is the zeta map which is an important map in the study of q,t-Catalan numbers. Finally we discuss an alternative approach to this new collection of words using two statistics on planted trees that turn out to be closely related to the Tutte polynomial on the Catalan matroid.

Combinatorics
Between Broadway and the Hudson: A Bijection of Corridor Paths

Nachum Dershowitz

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

2021-01-07

Abstract:We present a substantial generalization of the equinumeracy of grand Dyck paths and Dyck-path prefixes, constrained within a band. The number of constrained paths starting at level $i$ and ending in a window of size $2j+2$ is equal to the number starting at level $j$ and ending in a window of size $2i+2$ centered around the same point. A new encoding of lattice paths provides a bijective proof.

Combinatorics,Discrete Mathematics
The infinitesimal Hopf algebra and the poset of planar forests

Loïc Foissy

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

2008-02-04

Abstract:We introduce an infinitesimal Hopf algebra of planar trees, generalising the construction of the non-commutative Connes-Kreimer Hopf algebra. A non-degenerate pairing and a dual basis are defined, and a combinatorial interpretation of the pairing in terms of orders on the vertices of planar forests is given. Moreover, the coproduct and the pairing can also be described with the help of a partial order on the set of planar forests, making it isomorphic to the Tamari poset. As a corollary, the dual basis can be computed with a Möbius inversion.

Rings and Algebras
A remark on s-torsion pairs and on the lattice of Dyck paths

Baptiste Rognerud

2024-10-24

Abstract:There are three classical lattices on the Catalan numbers: the Tamari lattice, the lattice of noncrossing partitions and the lattice of Dyck paths. The first is known to be isomorphic to the lattice of torsion classes of the path algebra of an equioriented quiver of type $A$ and the second is known to be isomorphic to its lattice of wide subcategories. Inspired by the notion of s-torsion classes of Adachi, Enomoto and Tsukamoto, in this short note we interpret the lattice of Dyck paths as a lattice of subcategories.

Combinatorics,Representation Theory
On oriented planar trees with three leaves

Jack Morava

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

2020-05-15

Abstract:This elementary note proposes candidates for interesting continuous piecewise-smooth `Riemannian' metrics on the moduli spaces of rooted geodesic trees embedded in the Poincaré disk. A related digression observes the existence of an apparently hitherto unrecognized abelian topological group structure on the real projective line.

Geometric Topology
Markov chains on trees: almost lower and upper directed cases

Luis Fredes,Jean-François Marckert

2024-11-12

Abstract:The transition matrix of a Markov chain $(X_k,k\geq 0)$ on a finite or infinite rooted tree is said to be almost upper-directed if, given $X_k$, the node $X_{k+1}$ is either a descendant of $X_k$ or the parent of $X_k$. It is said to be almost lower-directed if given $X_k$, $X_{k+1}$ is either an ancestor of $X_k$ or a child of $X_k$. These models include nearest neighbor Markov chains on trees. Under an irreducibility assumption, we show that every almost upper-directed transition matrix on infinite (locally finite) trees has some invariant measures. An invariant measure $\pi$ is expressed thanks to a determinantal formula. We give general explicit criteria for recurrence and positive recurrence. An efficient algorithm (the leaf addition algorithm) of independent interest allows $\pi$ to be computed on many trees, without resorting to linear algebra considerations. Flajolet, in a series of papers, provided some relations between continuous fractions, generating functions of weighted Mötzkin paths, and used them in connection with the analysis of birth and death processes. These fruitful representations made it possible to establish many formulae for continuous fractions. Analogous considerations appear here: this type of study can be extended to weighted paths on trees, whose generating functions can also be expressed, this time in terms of multicontinuous fractions.

Probability,Combinatorics
Partial Graph Orientations and the Tutte Polynomial

Spencer Backman

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

2015-03-20

Abstract:Gessel and Sagan investigated the Tutte polynomial, $T(x,y)$ using depth first search, and applied their techniques to show that the number of acyclic partial orientations of a graph is $2^gT(3,1/2)$. We provide a short deletion-contraction proof of this result and demonstrate that dually, the number of strongly connected partial orientations is $2^{n-1}T(1/2,3)$. We then prove that the number of partial orientations modulo cycle reversals is $2^gT(3,1)$ and the number of partial orientations modulo cut reversals is $2^{n-1}T(1,3)$. To prove these results, we introduce cut and cycle minimal partial orientations which provide distinguished representatives for partial orientations modulo cut and cycle reversals. These extend classes of total orientations introduced by Gioan, and Greene and Zaslavksy, and we highlight a close connection with graphic and cographic Lawrence ideals. We conclude with edge chromatic generalizations of the quantities presented, which allow for a new interpretation of the reliability polynomial for all probabilities, $p$ with $0 < p <1/2$.

Combinatorics
Multipath matroids, digraph colourings, and the Tutte polynomial

Luigi Caputi,Carlo Collari,Sabino Di Trani

2024-09-23

Abstract:We characterise the digraphs for which the multipaths, that is disjoint unions of directed paths, yield a matroid. For such graphs, called MP-digraphs, we prove that the Tutte polynomial of the multipath matroid is related to counting certain digraph colourings. Finally, we prove that, for MP-forests, the decategorification of the multipath cohomology yields a specialisation of the Tutte polynomial.

Combinatorics,Algebraic Topology
Patterns in trees and quantum automorphism groups

Lucas Alger,Julie Capron,Félix de la Salle

2024-02-07

Abstract:We prove that given a fixed finite tree $P$, almost all trees contain $P$ as a subtree. Moreover, the inclusion can be made so that it induces an embedding of the corresponding (quantum) automorphism groups, thereby providing generic properties of the latter.

Combinatorics,Operator Algebras
A Bijection between Stacked Directed Polyominoes and Motzkin Paths with Alternative Catastrophes

Florian Schager,Michael Wallner

DOI: https://doi.org/10.4204/EPTCS.403.34

2024-06-24

Abstract:We present a novel bijection between stacked directed polyominoes and Motzkin paths with alternative catastrophes. Further, we show how this new connection can be used in order to obtain a better understanding of certain parameters of stacked directed animals.

Combinatorics,Discrete Mathematics
Holonomic equations and efficient random generation of binary trees

Pierre Lescanne

2024-01-23

Abstract:Holonomic equations are recursive equations which allow computing efficiently numbers of combinatoric objects. R{é}my showed that the holonomic equation associated with binary trees yields an efficient linear random generator of binary trees. I extend this paradigm to Motzkin trees and Schr{ö}der trees and show that despite slight differences my algorithm that generates random Schr{ö}der trees has linear expected complexity and my algorithm that generates Motzkin trees is in O(n) expected complexity, only if we can implement a specific oracle with a O(1) complexity. For Motzkin trees, I propose a solution which works well for realistic values (up to size ten millions) and yields an efficient algorithm.

Data Structures and Algorithms,Computational Complexity

Grand Motzkin paths and $\{0,1,2\}$-trees -- a simple bijection

Parity Reversing Involutions on Plane Trees and 2-Motzkin Paths

Words, Dyck paths, Trees, and Bijections

Packing $A$-paths of length zero modulo a prime

A bijection between phylogenetic trees and plane oriented recursive trees

Enumeration of the Motzkin paths above a line of rational slope

A walk in my lattice path garden

Product Structure and Tree-Decompositions

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

On a new collection of words in the Catalan family

Between Broadway and the Hudson: A Bijection of Corridor Paths

The infinitesimal Hopf algebra and the poset of planar forests

A remark on s-torsion pairs and on the lattice of Dyck paths

On oriented planar trees with three leaves

Markov chains on trees: almost lower and upper directed cases

Partial Graph Orientations and the Tutte Polynomial

Multipath matroids, digraph colourings, and the Tutte polynomial

Patterns in trees and quantum automorphism groups

A Bijection between Stacked Directed Polyominoes and Motzkin Paths with Alternative Catastrophes

Holonomic equations and efficient random generation of binary trees