\publicationdata

vol. 26:22024210.46298/dmtcs.108372023-01-20; 2023-01-20; 2024-01-152024-01-30

Bijective proof of a conjecture on unit interval posets

Wenjie Fang LIGM, Univ Gustave Eiffel, CNRS, ESIEE Paris, Marne-la-Vallée, France

Abstract

In a recent preprint, Matherne, Morales and Selover conjectured that two different representations of unit interval posets are related by the famous zeta map in $q,t$ -Catalan combinatorics. This conjecture was proved recently by Gélinas, Segovia and Thomas using induction. In this short note, we provide a bijective proof of the same conjecture with a reformulation of the zeta map using left-aligned colored trees, first proposed in the study of parabolic Tamari lattices.

keywords:

Dyck path, zeta map, unit interval poset, plane tree

1 Introduction

The study of unit interval posets started in statistics (Wine and Freund, 1957) and psychology (Scott, 1964). However, it has since been connected to other objects in algebraic combinatorics, such as $(3+1)$ -free posets Skandera and Reed (2003) and positroids Chavez and Gotti (2018). The connection to $(3+1)$ -free posets is particularly important, as these posets are at the center of the Stanley–Stembridge conjecture in Stanley and Stembridge (1993), which states that the chromatic symmetric function of the incomparability graph of a $(3+1)$ -free poset has only positive coefficients when expanded in the basis of elementary symmetric functions. Unit interval posets thus receive some attention as it can be used to study the structure of $(3+1)$ -free posets (Skandera and Reed, 2003; Guay-Paquet, Morales, and Rowland, 2014; Lewis and Zhang, 2013).

It is known in Wine and Freund (1957) that unit interval posets are counted by Catalan numbers, and researchers have given two different bijections to represent a unit interval poset by Dyck paths (Skandera and Reed, 2003; Guay-Paquet, Morales, and Rowland, 2014). In a recent preprint (Matherne, Morales, and Selover, ), it was conjectured that the two bijections are related by the famous zeta map in $q,t$ -Catalan combinatorics (Haglund, 2008), which was first given in (Andrews, Krattenthaler, Orsina, and Papi, 2002). In this short note, we settle this conjecture using bijections (see 4.6), in contrast to a recent inductive proof of the same conjecture by Gélinas, Segovia, and Thomas . To this end, we first introduce a bijection $\Xi_{\mathrm{poset}}$ between unit interval posets and plane trees. We then show that the two different known bijections from unit interval posets are conjugates of special cases of some bijections $\Xi_{\mathrm{steep}}$ and $\Xi_{\mathrm{bounce}}$ from Ceballos, Fang, and Mühle (2020) constructed for the study of parabolic Tamari lattices. Using the link between $\Xi_{\mathrm{steep}},\Xi_{\mathrm{bounce}}$ and the zeta map established in the same article, we conclude our proof.

The rest of the article is organized as follows. In Section 2 we give the basic definitions. Then we give our bijection between unit interval posets and plane trees in Section 3, along with the related bijections from Ceballos, Fang, and Mühle (2020). Finally in Section 4 we recall the two known bijections between unit interval posets and Dyck paths, and then establish their link with the bijections in Section 3, leading to a bijective proof of our main result (4.6).

Acknowledgment

We thank Adrien Segovia for bringing this conjecture to our attention. We also thank the anonymous reviewers for their detailed and helpful comments. This work is not supported by any funding with precise predefined goal, but it is supported by the publicly funded laboratory LIGM of Université Gustave Eiffel.

2 Preliminary

For convenience, we write $[n]$ for the set $\{1,2,\ldots,n\}$ . We consider finite partially order sets (or poset for short) of the form $P=(P_{\mathrm{elem}},\preceq)$ , where $P_{\mathrm{elem}}$ is a finite set and $\preceq$ a partial order on $P_{\mathrm{elem}}$ . Given a set $S$ of real numbers $x_{1}<x_{2}<\cdots<x_{n}$ , we define a partial order $\preceq_{S}$ on $[n]$ by taking $i\preceq_{S}j$ if and only if $x_{i}+1<x_{j}$ . The order $\preceq_{S}$ can also be seen as defined on intervals of unit length starting at the $x_{i}$ ’s, where $i\preceq_{S}j$ if the interval starting with $x_{i}$ is on the left of that with $x_{j}$ without overlap. A poset $P$ with $n$ elements is a unit interval order if there is some $S\subset\mathbb{R}$ with $n$ elements such $P\cong([n],\preceq_{S})$ . In this case, we call $S$ a starting set of $P$ . We sometimes represent unit interval orders as $([n],\preceq_{S})$ for some $S$ hereinafter.

We have the following characterization of unit interval orders.

Theorem 2.1 (Scott (1964, Theorem 2.1)).

A poset $P$ is a unit interval poset if and only if it is $(3+1)$ -free and $(2+2)$ -free, that is, the order induced on any four elements cannot be a chain of $3$ elements plus an incomparable element, or two disjoint chains each containing $2$ elements.

Unit interval orders are counted by Catalan numbers.

Proposition 2.2 (Wine and Freund (1957)).

The number of unit interval posets with $n$ elements is the $n$ -th Catalan number $\mathrm{Cat}_{n}=\frac{1}{2n+1}\binom{2n+1}{n}$ .

By definition, we may represent a unit interval poset $P$ by a set of real numbers $S$ , though the choice of $S$ is clearly not unique. In the following, for convenience, we use this perspective of (starting points of) intervals, which is arguably easier to manipulate. We denote by $\mathcal{P}_{n}$ the set of unit interval posets with $n$ elements.

There are many other families of combinatorial objects counted by Catalan numbers, such as Dyck paths and plane trees. A Dyck path is a lattice path formed by north steps $\uparrow\;=(0,1)$ and east steps $\rightarrow\;=(1,0)$ , starting at $(0,0)$ and ending on the diagonal $y=x$ while staying weakly above it. The size of a Dyck path is the number of its north steps. We denote by $\mathcal{D}_{n}$ the set of Dyck paths of size $n$ . We define plane trees recursively: a plane tree $T$ is either a single node (a leaf) or an internal node $u$ linked by edges to a sequence of plane trees called sub-trees. In the latter case, the node $u$ is also called the root of $T$ , and the roots of sub-trees are called children of $u$ . We denote by $\mathcal{T}_{n}$ the set of plane trees with $n$ non-root nodes. We recall the well-known fact that $|\mathcal{T}_{n}|=|\mathcal{D}_{n}|=\mathrm{Cat}_{n}$ . For a node $u$ in a plane tree $T$ , its depth, denoted by $d(u)$ , is the distance (number of edges) between $u$ and the root of $T$ .

3 Unit interval posets and plane trees

We start by a new bijection between unit interval posets and plane trees.

Construction 3.1.

Let $S=\{x_{1}<\cdots<x_{n}\}$ be a starting set of a unit interval poset $P=([n],\preceq_{S})$ . We define a plane tree $T$ as follows (see Figure 1 for an example). We set $x_{0}=x_{1}-2$ . We denote by $v_{i}$ the node of $T$ corresponding to $x_{i}$ . For $i\in[n]$ , the parent of $v_{i}$ is $v_{j}$ if and only if $j$ is the largest index such that $j\preceq_{S}i$ . By the definition of $x_{0}$ , the parent of each $v_{i}$ is well-defined, and all nodes are descendants of $x_{0}$ . We then order children of the same node from left to right with decreasing index. We thus conclude that $T$ is a well-defined plane tree. We note that $T$ depends only on $\preceq_{S}$ . We define $\Lambda_{\mathrm{poset}}(P)=T$ .

Refer to caption — Figure 1: Example of $\Lambda_{\mathrm{poset}}$ from a unit interval poset defined by a set of unit intervals to a plane tree

Construction 3.2.

Given a plane tree $T$ with $n$ non-root nodes, we define an order relation $\preceq_{S}$ on $[n]$ induced by some $S\subset\mathbb{R}$ . Let $r_{T}$ be the root of $T$ , and $m$ the maximal arity of $T$ , i.e., the maximal number of children of nodes in $T$ . Given a node $u$ in $T$ , if it is the $i$ -th child of its parent from right to left, then we define $c(u)=i$ . We observe that $1\leq c(u)\leq m$ . For a non-root node $u$ in $T$ , let $u_{0}=r_{T},u_{1},\ldots,u_{d(u)}=u$ be the nodes on the unique path from the root $u_{0}=r_{T}$ to $u_{d(u)}=u$ , where $d(u)$ is the depth of $u$ . We then define a real number $x_{u}$ associated to $u$ using base $(m+2)$ :

x_{u}=d(u)+(0.c(u_{1})c(u_{2})\cdots c(u_{d(u)}))_{(m+2)}=\ell+\sum_{i=1}^{d(u)}c(u_{i})(m+2)^{-i}.

(1)

It is clear from (1) that $x_{u}$ is strictly decreasing from left to right for nodes of the same depth in $T$ . Let $S$ be the set of $x_{u}$ for non-root nodes $u$ in $T$ . We define $\Xi_{\mathrm{poset}}(T)=([n],\preceq_{S})$ .

As an example of 3.2, let $T$ be the tree on the right part of Figure 1, with nodes labeled as in the figure, and $S$ the set of numbers in the construction. The maximal arity of $T$ is $m=4$ , achieved by the root. The number $x_{v_{12}}\in S$ for the node $v_{12}$ is thus $x_{v_{12}}=3+(0.321)_{6}=769/216$ , as $v_{12}$ is of depth $3$ , and it is the first child from right to left of its parent $v_{8}$ , itself the second child from right to left of its parent $v_{3}$ , which is the third child from right to left of the root.

The following lemma gives a direct connection between a plane tree and its corresponding unit interval poset obtained from $\Xi_{\mathrm{poset}}$ .

Lemma 3.3.

For $T\in\mathcal{T}_{n}$ , we take $S$ to be the set constructed in 3.2, and $x_{u}$ the number constructed from a non-root node $u$ of $T$ . Then for non-root nodes $u,v$ , the parent of $u$ in $T$ is $v$ if and only if $x_{v}$ is the largest element in $S$ smaller than $1+x_{u}$ .

Proof.

Suppose that $T$ has maximal arity $m$ . Let $v^{\prime}$ be the parent of $u$ . By (1), we have $1<x_{u}-x_{v^{\prime}}<1+(m+2)^{-\ell+1}$ , with $\ell$ the distance from $v^{\prime}$ to the root. Then, $x_{v}$ satisfying $x_{v^{\prime}}\leq x_{v}<1+x_{u}$ means $0\leq x_{v}-x_{v^{\prime}}<(m+2)^{-\ell+1}$ , which means $v=v^{\prime}$ by (1), as it requires $v$ and $v^{\prime}$ to have the same distance to the root, but in this case $|x_{v}-x_{v^{\prime}}|$ cannot be smaller than $(m+2)^{-\ell+1}$ if $v\neq v^{\prime}$ . We thus have the equivalence. ∎

We now show that $\Lambda_{\mathrm{poset}}$ and $\Xi_{\mathrm{poset}}$ are bijections and are inverse to each other.

Proposition 3.4.

For all $n\geq 1$ , the map $\Lambda_{\mathrm{poset}}$ is a bijection from $\mathcal{P}_{n}$ to $\mathcal{T}_{n}$ , with $\Xi_{\mathrm{poset}}$ its inverse.

Proof.

By 2.2, we have $|\mathcal{P}_{n}|=\mathrm{Cat}_{n}=|\mathcal{T}_{n}|$ . We thus only need to show that $\Lambda_{\mathrm{poset}}\circ\Xi_{\mathrm{poset}}=\operatorname{id}$ . Given a plane tree $T\in\mathcal{T}_{n}$ , let $P=([n],\preceq_{S})=\Xi_{\mathrm{poset}}(T)$ and $T^{\prime}=\Lambda_{\mathrm{poset}}(P)$ . Let $S=\{x_{1}<\cdots<x_{n}\}$ be the set of real numbers constructed in 3.2 for $\preceq_{S}$ . Given $i\in[n]$ , let $u_{i}$ be the node in $T$ that gives rise to $x_{i}$ in $S$ , and $u^{\prime}_{i}$ the node in $T^{\prime}$ that represents $x_{i}$ . By 3.3 and 3.1, for any $i,j\in[n]$ , the node $u_{i}$ is the parent of $u_{j}$ in $T$ if and only if $u^{\prime}_{i}$ is the parent of $u^{\prime}_{j}$ in $T^{\prime}$ . Then, $T^{\prime}$ has the same order of siblings as $T$ , as in both we order siblings with decreasing order in their corresponding real numbers in $S$ . We thus conclude that $T=T^{\prime}$ . ∎

We now restate two previously known bijections between plane trees and Dyck paths that will be used to prove our main result.

Construction 3.5.

Let $n\geq 1$ and $T\in\mathcal{T}_{n}$ , we construct a Dyck path $D$ by taking the clockwise contour walk starting from the top of the root of $T$ (see the Dyck path on the right of Figure 2). During the walk, when we pass an edge for the first (resp. second) time, we append $\uparrow$ (resp. $\rightarrow$ ) to $D$ . We define $\Xi_{\mathrm{steep}}(T)=D$ . The map $\Xi_{\mathrm{steep}}$ is a bijection from $\mathcal{T}_{n}$ to $\mathcal{D}_{n}$ for all $n\geq 1$ , and we denote its inverse by $\Lambda_{\mathrm{steep}}$ .

Construction 3.6.

Let $n\geq 1$ and $T\in\mathcal{T}_{n}$ , we construct a Dyck path $D$ by appointing the number of north steps at each $x$ -coordinate (see the Dyck path on the left of Figure 2). Let $\alpha_{\ell}$ be the number of nodes of depth $\ell$ (thus distance $\ell$ to the root), and $\ell_{\max}$ the maximal depth of nodes in $T$ . We take $s_{\ell}=\alpha_{1}+\cdots+\alpha_{\ell}$ . Given $1\leq k\leq n-1$ , there is a unique way to write $k=s_{\ell}-r$ with $0\leq r<\alpha_{\ell}$ and $1\leq\ell\leq\ell_{\max}$ . In this case, the number of north steps in $D$ on $x=k$ is the number of children of the $(r+1)$ -st node of depth $\ell$ . The number of north steps in $D$ on $x=0$ is the number of children of the root. We define $\Xi_{\mathrm{bounce}}(T)=D$ . The map $\Xi_{\mathrm{bounce}}$ is a bijection from $\mathcal{T}_{n}$ to $\mathcal{D}_{n}$ for all $n\geq 1$ , see Ceballos, Fang, and Mühle (2020, Lemma 3.18), and we denote its inverse by $\Lambda_{\mathrm{bounce}}=\Xi_{\mathrm{bounce}}^{-1}$ .

Proposition 3.7 (Ceballos, Fang, and Mühle (2020, Theorem IV)).

Let $\zeta$ be the zeta map from $\mathcal{D}_{n}$ to $\mathcal{D}_{n}$ with $n\geq 1$ . We have $\zeta=\Xi_{\mathrm{bounce}}\circ\Lambda_{\mathrm{steep}}$ .

See Figure 2 for an illustration of 3.7. Here, we do not give the original definition of the zeta map $\zeta$ in Andrews, Krattenthaler, Orsina, and Papi (2002), and will instead be using 3.7 in the following, as it is better suited to our approach.

Remark 3.8.

Albeit the same notation, the maps $\Xi_{\mathrm{steep}}$ and $\Xi_{\mathrm{bounce}}$ are only special cases of the ones from Ceballos, Fang, and Mühle (2020, Construction 3.10 and Equation 14). More precisely, the central objects of Ceballos, Fang, and Mühle (2020) are called LAC trees, which are plane trees with non-root nodes divided into regions algorithmically. We are only using the special case where the region $d$ consists of nodes of depth $d$ , which is also the one used in Ceballos, Fang, and Mühle (2020, Section 3.3) to prove 3.7. In full generality, the map $\Xi_{\mathrm{steep}}$ maps a LAC tree to a steep pair, which is a pair of nested Dyck paths with a steep upper path, i.e.,without two consecutive east steps except on the maximal height. The map $\Xi_{\mathrm{bounce}}$ sends a LAC tree to a bounce pair, which is a pair of nested Dyck path with a bounce lower path, i.e., a concatenation of sub-paths of the form $\uparrow^{k}\rightarrow^{k}$ for all $k$ . This explains the words “steep” and “bounce” in their notation.

Remark 3.9.

The bijection $\Xi_{\mathrm{steep}}$ is classical, except that we do the contour walk from right to left instead of from left to right. The bijection $\Xi_{\mathrm{bounce}}$ is quite close to the classical bijection between plane trees and Łukasiewicz words, as given in Flajolet and Sedgewick (2009, Section I.5.3)), which can be seen as sequences $(z_{0},z_{1},\ldots,z_{n-1})$ with $z_{i}\geq-1$ such that $\sum_{i=0}^{k}z_{i}\geq 0$ for $0\leq k<n-1$ , and the sum of all $z_{i}$ ’s is $-1$ . However, in the classical bijection of Łukasiewicz, we deal with nodes in a depth-first order, but in $\Xi_{\mathrm{bounce}}$ they are processed in a breadth-first order.

4 Unit interval posets and the zeta map

In the following, we give the two representations of unit interval posets as Dyck paths, and we detail how they are related to the bijections detailed in Section 3, leading to a proof of our main result (4.6).

We start by the first representation, which was first defined implicitly using anti-adjacency matrices of unit interval posets in Skandera and Reed (2003), only involving the poset structure. The following form was first given in Chavez and Gotti (2018).

Construction 4.1.

Given $P=([n],\preceq_{S})$ a unit interval poset with $S\subset\mathbb{R}$ , we define a Dyck path $D$ as follows. Let $S^{+}=\{x+1\mid x\in S\}$ . Without loss of generality, we can choose $S$ such that $S\cap S^{+}=\varnothing$ . Then suppose that $S\cup S^{+}=\{y_{1}<\cdots<y_{2n}\}$ . For $i\in[2n]$ , the $i$ -th step of $D$ is $\uparrow$ if $y_{i}\in S$ , and is $\rightarrow$ otherwise. We define $\varphi(P)=D$ . See Figure 3 for an example.

This form of the map $\varphi$ in 4.1 was given in Chavez and Gotti (2018, Section 5) and proved in Lemma 5.7 therein to be equivalent to the original definition, which is the one used in Matherne, Morales, and Selover (, Section 2.3). Although defined here using the set $S$ , the map $\varphi$ does not depend on the choice of $S$ .

Proposition 4.2.

We have $\varphi\circ\Xi_{\mathrm{poset}}=\Xi_{\mathrm{bounce}}$ , and $\varphi$ is a bijection from $\mathcal{P}_{n}$ to $\mathcal{D}_{n}$ for all $n\geq 1$ .

Proof.

Let $T\in\mathcal{T}_{n}$ and $D=\Xi_{\mathrm{bounce}}(T)$ . We take $P=\Xi_{\mathrm{poset}}(T)=([n],\preceq_{S})\in\mathcal{P}_{n}$ with $S=\{x_{1}<\cdots<x_{n}\}$ given in 3.2. Let $D^{\prime}=\varphi(P)$ . To show that $D^{\prime}=D$ , we first notice that a Dyck path is determined by the number of north steps on each line $x=k$ for $0\leq k\leq n-1$ . Thus, we only need to show that for each $k$ , $D^{\prime}$ has the same number of north steps on $x=k$ as $D$ has according to 3.6.

For the line $x=0$ , we observe that the number of elements in $S$ strictly smaller than $x_{1}+1$ must be those with integer part equal to $1$ , thus those from the children of the root of $T$ . For $1\leq k\leq n-1$ , from 4.1, we know that the number of north steps on the line $x=k$ is the number of elements $x_{i}$ such that $x_{k-1}+1<x_{i}<x_{k}+1$ , as $x_{k}+1$ corresponds to the $k$ -th east step in $D$ . Let $u_{k}$ be the node in $T$ corresponding to $x_{k}$ . By 3.3, the nodes in $T$ corresponding to such $x_{i}$ are children of $u_{k}$ , meaning that the total number of north steps on $x=k$ is the number of children of $u_{k}$ . Furthermore, suppose that $u_{k}$ is of depth $\ell$ , then we can write $k=s_{\ell}-r$ with $0\leq r<\alpha_{\ell}$ as in 3.6. We know that $u_{k}$ is the $(r+1)$ -st node of depth $\ell$ in $T$ , as in 3.1 the values corresponding to nodes of the same depth are decreasing from left to right. We thus conclude that $D=D^{\prime}$ , and $\varphi\circ\Xi_{\mathrm{poset}}=\Xi_{\mathrm{bounce}}$ . As both $\Xi_{\mathrm{bounce}}$ (Ceballos, Fang, and Mühle, 2020, Lemma 3.18) and $\Xi_{\mathrm{poset}}$ (3.4) are bijections, we conclude that $\varphi$ is also a bijection. ∎

The second presentation was first defined in Guay-Paquet, Morales, and Rowland (2014) for $(3+1)$ -free posets, and it takes a simpler form for unit interval posets. A more explicit presentation is given in Guay-Paquet (2013, Section 2).

Construction 4.3.

For $n\geq 1$ , let $D\in\mathcal{D}_{n}$ be a Dyck path of size $n$ . Its area vector, denoted by $\operatorname{Area}(D)$ , is a vector $(a_{1},\ldots,a_{n})$ with $a_{i}$ the number of full unit squares with the upper edge on $y=i$ between $D$ and the diagonal $y=x$ . Such area vectors are characterized by the conditions $a_{1}=0$ and $a_{i}\leq a_{i-1}+1$ for $2\leq i\leq n$ . It is clear that the area vector determines the Dyck path. We then define a poset $P=([n],\preceq)$ by taking $i\prec j$ for $i,j\in[n]$ such that

•

Either $a_{i}+2\leq a_{j}$ ;
•

Or $a_{i}+1=a_{j}$ and $i<j$ .

We define $\psi(D)=P$ , and its inverse $\psi^{-1}(P)=D$ . See Figure 3 for an example.

The following result ensures that $\psi$ is well-defined. It is a special case of Matherne, Morales, and Selover (, Theorem 5.2), which is obtained by combining Guay-Paquet, Morales, and Rowland (2014, Remark 3.2, Proposition 3.11). A self-contained direct proof of this special case can be found in Gélinas, Segovia, and Thomas (, Section 6).

Proposition 4.4 (Special case of Matherne, Morales, and Selover (, Theorem 5.2)).

The map $\psi$ is a bijection from Dyck paths to unit interval posets preserving sizes.

Proposition 4.5.

We have $\psi=\Xi_{\mathrm{poset}}\circ\Lambda_{\mathrm{steep}}$ .

Proof.

Let $P=\psi(D)$ , $T=\Lambda_{\mathrm{steep}}(D)$ and $P^{\prime}=\Xi_{\mathrm{poset}}(D)$ . We write $P=([n],\preceq)$ and $P^{\prime}=([n],\preceq_{S})$ , with $S$ given in 3.2. We show that $P$ is isomorphic to $P^{\prime}$ after an implicit relabeling.

For $i\in[n]$ , let $u_{i}$ be the $i$ -th non-root node in $T$ that is visited in the clockwise contour walk of $T$ . We note that this order on nodes of $T$ is different from the one used before, for instance in 3.1. Suppose that $\operatorname{Area}(D)=(a_{1},\ldots,a_{n})$ . By 3.5, the depth of $u_{i}$ is $a_{i}+1$ . We now define a partial order $\preceq_{T}$ on non-root nodes in $T$ by taking $u_{i}\preceq_{T}u_{j}$ if and only if $i\preceq j$ in $P$ . We recall that the depth of $v$ in $T$ is denoted by $d(v)$ . By 4.3, two non-root nodes $v,w$ in $T$ satisfy $v\prec_{T}w$ if and only if

•

Either $d(v)+2\leq d(w)$ ;
•

Or $d(v)+1=d(w)$ , and the parent of $w$ is either $v$ or on the left of $v$ .

Now, for $v$ a non-root node in $T$ , we take $x_{v}$ defined in (1). Suppose that there are two non-root nodes $v,w$ of $T$ such that $x_{v}+1<x_{w}$ . Then we have $d(v)+1\leq d(w)$ . There are two possibilities: either $d(v)+1=d(w)$ , or $d(v)+2\leq d(w)$ . In the first case, let $w^{\prime}$ be the parent of $w$ , we have $x_{w^{\prime}}+1<x_{w}$ . By 3.3, we know that $x_{v}\leq x_{w^{\prime}}$ . From (1), we know that either $v=w^{\prime}$ or $v$ is on the right of $w^{\prime}$ , as $x_{v}$ is decreasing from left to right for nodes in $T$ of the same depth. Combining with the second case, we conclude that $x_{v}+1<x_{w}$ if and only if $v\prec_{T}w$ . By 3.2, we have $P\cong P^{\prime}$ , which concludes the proof. ∎

Theorem 4.6 (Matherne, Morales, and Selover (, Conjecture 7.1)).

We have $\varphi\circ\psi=\zeta$ .

Proof.

Combining 4.2 and 4.5, we have $\varphi\circ\psi=\Xi_{\mathrm{bounce}}\circ\Lambda_{\mathrm{steep}}$ , and we conclude by 3.7. ∎

References

Andrews et al. (2002) G. E. Andrews, C. Krattenthaler, L. Orsina, and P. Papi. ad-nilpotent $\mathfrak{b}$ -ideals in ${\rm sl}(n)$ having a fixed class of nilpotence: Combinatorics and enumeration. Trans. Amer. Math. Soc., 354(10):3835–3853, 2002.
Ceballos et al. (2020) C. Ceballos, W. Fang, and H. Mühle. The Steep-Bounce Zeta Map in Parabolic Cataland. J. Combin. Theory Ser. A, 172:105210, 2020. 10.1016/j.jcta.2020.105210.
Chavez and Gotti (2018) A. Chavez and F. Gotti. Dyck paths and positroids from unit interval orders. J. Combin. Theory Ser. A, 154:507–532, 2018. 10.1016/j.jcta.2017.09.005.
Flajolet and Sedgewick (2009) P. Flajolet and R. Sedgewick. Analytic combinatorics. Cambridge University Press, Cambridge, 2009. ISBN 978-0-521-89806-5. 10.1017/CBO9780511801655.
Guay-Paquet (2013) M. Guay-Paquet. A modular relation for the chromatic symmetric functions of $(3+1)$ -free posets. arXiv:1306.2400 [math.CO], 2013.
Guay-Paquet et al. (2014) M. Guay-Paquet, A. H. Morales, and E. Rowland. Structure and Enumeration of $(3+1)$ -Free Posets. Ann. Comb., 18(4):645–674, 2014. 10.1007/s00026-014-0249-2.
(7) F. Gélinas, A. Segovia, and H. Thomas. Proof of a conjecture of Matherne, Morales, and Selover on encodings of unit interval orders. arXiv:2212.12171 [math.CO].
Haglund (2008) J. Haglund. The $q,t$ -Catalan Numbers and the Space of Diagonal Harmonics, volume 41. American Mathematical Society, Providence, RI, 2008.
Lewis and Zhang (2013) J. B. Lewis and Y. X. Zhang. Enumeration of graded $(\mathbb{3}+\mathbb{1})$ -avoiding posets. J. Combin. Theory Ser. A, 120(6):1305–1327, 2013. 10.1016/j.jcta.2013.03.012.
(10) J. P. Matherne, A. H. Morales, and J. Selover. The Newton polytope and Lorentzian property of chromatic symmetric functions. arXiv:2201.07333 [math.CO].
Scott (1964) D. Scott. Measurement structures and linear inequalities. J. Math. Psychol., 1(2):233–247, 1964.
Skandera and Reed (2003) M. Skandera and B. Reed. Total nonnegativity and $(3+1)$ -free posets. J. Combin. Theory Ser. A, 103(2):237–256, 2003. 10.1016/s0097-3165(03)00072-4.
Stanley and Stembridge (1993) R. P. Stanley and J. R. Stembridge. On immanants of Jacobi-Trudi matrices and permutations with restricted position. J. Combin. Theory Ser. A, 62(2):261–279, 1993. 10.1016/0097-3165(93)90048-d.
Wine and Freund (1957) R. L. Wine and J. E. Freund. On the Enumeration of Decision Patterns Involving $n$ Means. Ann. Math. Stat., 28(1):256–259, 1957. 10.1214/aoms/1177707051.