arXiv++ Combinatorics

It is well known that the Young lattice is the Bratelli diagram of the symmetric groups, expressing how irreducible representations restrict from $\mathfrak{S}_{N}$ to $\mathfrak{S}_{N-1}$. In 1975, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was identified as the Bratelli diagram of a family of algebras $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ by Okada in 1994. In this paper, we first realize the Okada algebra $\mathbf{O}_N(X,Y)$ and the associated monoid $\mathbf{O}_N$ using a labelled version of non-crossing arc-diagrams appearing in the description of the Temperley-Lieb algebra and Jones monoid. We establish, for general parameters $(X,Y)$, that the dimension of the Okada algebra $\mathbf{O}_N(X,Y)$ is $N!$, noting that Okada proved this result only in the semisimple case. We interpret a natural bijection between permutations and labelled arc-diagrams as an incarnation of Fomin's version of the Robinson-Schensted correspondence associated to the Young-Fibonacci lattice. The arc-diagram formalism allow us to probe the structure of the Okada monoid and algebra. In particular we prove that the Okada monoid is a regular, aperiodic $*$-monoid and we describe its Green relations and order. These results allow us to construct a cellular basis of the Okada algebra and to show that $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ forms a coherent tower of cellular algebras in the sense of Goodman and Graber. We present some conjectures expressing the Gram determinant of the invariant bilinear form attached to each cell module in terms of Okada's clone Schur functions. We conclude the paper by presenting two follow-up, ongoing projects along with a series of questions pushing further the analogy between the symmetric groups and the Okada algebras.

The \emph{Minimum Matching Problem} consists of finding an independent edge set of minimum weight $M_{\star}(G)$ in a given edge-weighted graph $G$. When $G$ is bipartite, this reduces to the \emph{Assignment Problem}. We consider a variant of this problem defined by taking the union of optimal matchings across various slightly modified versions of the base graph: $H_{\mathcal{J}}(G)=\bigcup_{U \in \mathcal{J}} M_{\star}(G_{U})$. We establish two families of results: (1) In two distinct settings for the Assignment Problem, we prove that the resulting graphs $H_{\mathcal{J}}$, as well as certain associated graphs $\bar{H}_{\mathcal{J}}$, are spanning trees on the relevant base graphs $G$ and $\bar{G}$. (2) In these same settings, assuming the edge weights are given by the $p$-th power of Euclidean distances for point configurations in the plane, we show that for $p=1$ the tree $H_{\mathcal{J}}$ is non-crossing (i.e., its planar embedding has no crossing edges), whereas, remarkably, for $p=2$ the associated tree $\bar{H}_{\mathcal{J}}$ is non-crossing. Finally, we introduce novel conjectures in Statistical Mechanics, to be explored in future work: in the Random Euclidean Assignment Problem (where points are i.i.d.\ on a planar domain), we conjecture that for $p=2$ the trees $\bar{H}_{\mathcal{J}}$ are asymptotically distributed as Uniform Spanning Trees with free and wired boundary conditions in the two respective settings. In particular, suitable paths on the tree in the second setting, and on its planar dual in the first setting, are asymptotically distributed as $\text{SLE}_κ$ with $κ=2$.

We show that isoclasses of iterated tilted algebras in type $A_n$ are in bijection with non-crossing spanning trees up to rotation on a convex n+1-gon. This is done by constructing a relationship between iterated tilted algebras up to isomorphism and exceptional sets up to isomorphic Hom-Ext quiver.

A symmetric function is called Schur-positive if it admits an expansion in the Schur basis with nonnegative coefficients. In this paper, we study the Schur positivity of symmetric functions naturally associated with set partitions, with respect to two different notions of descent. In the first case, the Schur expansion involves hook-shaped Young diagrams, and the corresponding coefficients are given by Touchard-Riordan polynomials, which enumerate matchings by their number of crossings. In the second case, the Schur functions correspond to two-rows Young diagrams, and the coefficients are partial sums of associated Bell numbers. A key ingredient of our approach in the second case is the notion of a removable singleton, defined algebraically and shown to admit an equivalent combinatorial interpretation via jeu-de-taquin rectification of skew tableaux. As an application, we establish Schur positivity for various classes of symmetric functions indexed by non-crossing partitions and partitions with a given number of parts. We provide an explicit combinatorial description of the tableaux that contribute to the Schur expansion, and we connects the obtained coefficients to some known integer sequences.

We give a near-linear time 4-coloring algorithm for planar graphs, improving on the previous quadratic time algorithm by Robertson et al. from 1996. Such an algorithm cannot be achieved by the known proofs of the Four Color Theorem (4CT). Technically speaking, we show the following significant generalization of the 4CT: every planar triangulation contains linearly many pairwise non-touching reducible configurations or pairwise non-crossing obstructing cycles of length at most 5 (which all allow for making effective 4-coloring reductions). The known proofs of the 4CT only show the existence of a single reducible configuration or obstructing cycle in the above statement. The existence is proved using the discharging method based on combinatorial curvature. It identifies reducible configurations in parts where the local neighborhood has positive combinatorial curvature. Our result significantly strengthens the known proofs of 4CT, showing that we can also find reductions in large ``flat" parts where the curvature is zero, and moreover, we can make reductions almost anywhere in a given planar graph. An interesting aspect of this is that such large flat parts are also found in large triangulations of any fixed surface. From a computational perspective, the old proofs allowed us to apply induction on a problem that is smaller by some additive constant. The inductive step took linear time, resulting in a quadratic total time. With our linear number of reducible configurations or obstructing cycles, we can reduce the problem size by a constant factor. Our inductive step takes $O(n\log n)$ time, yielding a 4-coloring in $O(n\log n)$ total time. In order to efficiently handle a linear number of reducible configurations, we need them to have certain robustness that could also be useful in other applications. All our reducible configurations are what is known as D-reducible.

We consider the problem of reconfiguring non-crossing spanning trees on point sets. For a set $P$ of $n$ points in general position in the plane, the flip graph $F(P)$ has a vertex for each non-crossing spanning tree on $P$ and an edge between any two spanning trees that can be transformed into each other by the exchange of a single edge. This flip graph has been intensively studied, lately with an emphasis on determining its diameter diam$(F(P))$ for sets $P$ of $n$ points in convex position. The current best bounds are $\frac{14}{9}n-O(1) \leq$ diam$(F(P))<\frac{15}{9}n-3$ [Bjerkevik, Kleist, Ueckerdt, and Vogtenhuber; SODA 2025]. The crucial tool for both the upper and lower bound are so-called *conflict graphs*, which the authors stated might be the key ingredient for determining the diameter (up to lower-order terms). In this paper, we pick up the concept of conflict graphs and show that this tool is even more versatile than previously hoped. As our first main result, we use conflict graphs to show that computing the flip distance between two non-crossing spanning trees is NP-hard, even for point sets in convex position. Interestingly, the result still holds for more constrained flip operations, concretely, compatible flips (where the removed and the added edge do not cross) and rotations (where the removed and the added edge share an endpoint). Extending the line of research from [BKUV SODA25], we present new insights on the diameter of the flip graph. Their lower bound is based on a constant-size pair of trees, one of which is *stacked*. We show that if one of the trees is stacked, then the lower bound is indeed optimal up to a constant term, that is, there exists a flip sequence of length at most $\frac{14}{9}(n-1)$ to any other tree. Lastly, we improve the lower bound on the diameter of the flip graph $F(P)$ for $n$ points in convex position to $\frac{11}{7}n-o(n)$.

We study four bijections, which are promotion, evacuation, rowmotion, and rowvacuation, on generalized Dyck paths in rational Catalan combinatorics. We define the maps on generalized Dyck paths, which have their origins in maps on Dyck paths and non-crossing partitions. They include rotation, Kreweras complement map, Simion--Ullman involution on non-crossing partitions, and Lalanne--Kreweras involution on Dyck paths. These maps have an expression in terms of the four combinatorial bijections. By extending the bijection studied by D. Armstrong, C. Stump, and H. Thomas on one hand, and the correspondence of RSK type studied by B. Adenbaum and S. Elizalde on the other, we present the equivalence between the two bijections, promotion and rowmotion, on generalized Dyck paths through these bijection and correspondence. For this purpose, we provide an alternative description of the correspondence of RSK type in terms of Dyck tilings.

Flips in triangulations of convex polygons arise in many different settings. They are isomorphic to rotations in binary trees, define edges in the 1-skeleton of the Associahedron and cover relations in the Tamari Lattice. The complexity of determining the minimum number of flips that transform one triangulation of a convex point set into another remained a tantalizing open question for many decades. We settle this question by proving that computing shortest flip sequences between triangulations of convex polygons, and therefore also computing the rotation distance of binary trees, is NP-hard. For our proof we develop techniques for flip sequences of triangulations whose counterparts were introduced for the study of flip sequences of non-crossing spanning trees by Bjerkevik, Kleist, Ueckerdt, and Vogtenhuber~[SODA25] and Bjerkevik, Dorfer, Kleist, Ueckerdt, and Vogtenhuber~[SoCG26].

A {\it vertex-ordered} graph is a graph equipped with a linear ordering of its vertices. A pair of independent edges in an ordered graph can exhibit one of the following three patterns: separated, nested or crossing. We say a pair of independent edges is non-separated if it is either crossing or nested. Non-nested and non-crossing pairs are defined analogously. We are interested in the following Turán-type problems: for each of the aforementioned six patterns, determine the maximum number of edges of an $n$-vertex ordered graph that does not contain a $k$-matching such that every pair of edges exhibit the fixed pattern. Exact answers have already been obtained for four of the six cases. The main objective of this paper is to investigate the two remaining open cases, namely non-separated and non-nested matchings. We determine the exact maximum number of edges of an $n$-vertex ordered graph that does not contain a non-separated $k$-matching, which has the form $\frac{3}{2}(k-1)n+Θ(k^2)$. For the non-nested case, we show the maximum number of edges lies between $(k-1)n$ and $(k-1)n+\binom{k-1}{2}$. We also determine the exact maximum number of edges of an $n$-vertex ordered graph that does not contain an alternating path of given length. We discuss some related problems and raise several conjectures. Furthermore, our results and conjectures yield consequences to certain Ramsey-type problems for non-nested matchings and alternating paths.

It is known when we call a poset P, a $\mathcal{P}$-chain permutational poset, given a subset of permutations $\mathcal{P}$ of the symmetric group $S_{n}$. In this work, we use the same idea to study subsets of words of length $n$, that are not necessarily permutations, for example: especially when they are certain classes of restricted growth functions induced by set partitions in standard form over $[n]=\{1,2\cdots n\}$. Varying $n$ only, and also varying $n$ and $k$ (the number of blocks of the set partitions) simultaneously, we can show that those posets form a projective system of trees and lattices (after giving a lattice structure in a natural way). These poset structures can be extended over signed restricted growth functions for standard type B set partitions over $\langle n\rangle=\{-1,-2,\cdots n,0,1,2\cdots n\}$ as well. We investigate properties of the tree and lattice structures of these projective systems. In this scenario we further bring up some other posets like $\mathcal{P}$-Partition posets of snake graph of continued fractions, Ascent lattices on Dyck Paths, certain type of lattice induced by generalisec fibonnaci number and Stanley order, lattices induced by non-crossing set partitions.

We introduce a spoke-arc decomposition of non-crossing annular pair partitions $NC_2(p,q)$ that records spoke type and orientation, isolates spoke-level contributions, and factorizes the dependence on the ellipticity parameter $γ$ into a spoke factor and arc weights. This yields closed-form descriptions of the limiting covariance of Gaussian elliptic matrices. As a corollary, we show that an independent family of Gaussian elliptic random matrices is asymptotically second-order free.

The family of $(k, \ell)$-sparse graphs, introduced by Lorea, plays a central role in combinatorial optimization and has a wide range of applications, particularly in rigidity theory. A key algorithmic challenge is to compute a maximum-weight $(k, \ell)$-sparse subgraph of a given edge-weighted graph. Although prior approaches have long provided an $O(nm)$-time solution, a previously proposed $O(n^2 + m)$ method was based on an incorrect analysis, leaving open whether this bound is achievable. We answer this question affirmatively by presenting the first $O(n^2 + m)$-time algorithm for computing a maximum-weight $(k, \ell)$-sparse subgraph, which combines an efficient data structure with a refined analysis. This quadratic-time algorithm enables faster solutions to key problems in rigidity theory, including computing minimum-weight redundantly rigid and globally rigid subgraphs. Further applications include enumerating non-crossing minimally rigid frameworks and recognizing kinematic joints. Our implementation of the proposed algorithm is publicly available online.

We elucidate a bijection between ribbon graphs on the real projective plane and non-crossing annular pairings that relate to the $1/N$ correction term of the GOE and LOE spectral moments. We also derive analogous objects for the $1/N^2$ correction terms of said moments and their equivalents for the GUE and LUE.

In any graph, the maximum size of an induced path is bounded by the maximum size of a path. However, in the general case, one cannot find a converse bound, even up to an arbitrary function, as evidenced by the case of cliques. Galvin, Rival and Sands proved in 1982 that, when restricted to weakly sparse graphs, such a converse property actually holds. In this paper, we consider the maximal function $f$ such that any planar graph (and in general, any graph of bounded genus) containing a path on $n$ vertices contains an induced path of size $f(n)$, and prove that $f(n) \in Θ\left(\frac{\log n}{\log \log n}\right)$ by providing a lower bound matching the upper bound obtained by Esperet, Lemoine and Maffray, up to a constant factor. We obtain these tight bounds by analyzing graphs ordered along a Hamiltonian path that admit an edge partition into a bounded number of sets without crossing edges. In particular, we prove that when such an ordered graph can be partitioned into $2k$ sets of non-crossing edges, then it contains an induced path of size $Ω_k\left(\left(\frac{\log n}{\log \log n}\right)^{1/k} \right)$ and provide almost matching upper bounds.

This paper will be devoted to study weighted (deformed) free Poisson random variables from the viewpoint of orthogonal polynomials and statistics of non-crossing partitions. A family of weighted (deformed) free Poisson random variables will be defined in a sense by the sum of weighted (deformed) free creation, annihilation, scalar, and intermediate operators with certain parameters on a weighted (deformed) free Fock space together with the vacuum expectation. We shall provide a combinatorial moment formula of non-commutative Poisson random variables. This formula gives us a very nice combinatorial interpretation to two parameters of weights. One can see that the deformation treated in this paper interpolates free and boolean Poisson random variables, their distributions and moments, and yields some conditionally free Poisson distribution by taking limit of the parameter.

For a finite set $P$ of points in the plane in general position, a \emph{crossing family} of size $k$ in $P$ is a collection of $k$ line segments with endpoints in $P$ that are pairwise crossing. It is a long-standing open problem to determine the largest size of a crossing family in any set of $n$ points in the plane in general position. It is widely believed that this size should be linear in $n$. Motivated by results from the theory of partitioning complete geometric graphs, we study a variant of this problem for point sets $P$ that do not contain a \emph{non-crossing family} of size $m$, which is a collection of 4 disjoint subsets $P_1$, $P_2$, $P_3$, and $P_4$ of $P$, each containing $m$ points of $P$, such that for every choice of 4 points $p_i \in P_i$, the set $\{p_1,p_2,p_3,p_4\}$ is such that $p_4$ is in the interior of the triangle formed by $p_1,p_2,p_3$. We prove that, for every $m \in \mathbb{N}$, each set $P$ of $n$ points in the plane in general position contains either a crossing family of size $n/2^{O(\sqrt{\log{m}})}$ or a non-crossing family of size $m$, by this strengthening a recent breakthrough result by Pach, Rubin, and Tardos (2021). Our proof is constructive and we show that these families can be obtained in expected time $O(nm^{1+o(1)})$. We also prove that a crossing family of size $Ω(n/m)$ or a non-crossing family of size $m$ in $P$ can be found in expected time $O(n)$.

We study the Fuss--Catalan algebras, which are generalizations of the Temperley--Lieb algebra and act on generalized Dyck paths, through non-crossing partitions. First, the Temperley--Lieb algebra is defined on non-crossing partitions, and a bijection between a Dyck path and a non-crossing partition is shown to be compatible with the Temperley--Lieb algebra on Dyck paths, or equivalently chord diagrams. We show that the Kreweras endomorphism on non-crossing partitions is equivalent to the rotation of chord diagrams under the bijection. Secondly, by considering an increasing $r$-chain in the graded lattice of non-crossing partitions, we define the Fuss--Catalan algebras on increasing $r$-chains. Through a bijection between an increasing $r$-chain and a generalized Dyck path, one naturally obtains the Fuss--Catalan algebra on generalized Dyck paths. As generalizations of the Fuss--Catalan algebra, we introduce the one- and two-boundary Fuss--Catalan algebras. Increasing $r$-chains of symmetric non-crossing partitions give symmetric generalized Dyck paths by the bijection, and the boundary Fuss--Catalan algebras naturally act on them. We show that these representations are compatible with the diagrammatic representations of the algebras by use of generalized chord diagrams. Thirdly, we discuss the integrability of the Fuss--Catalan algebras. For the Fuss--Catalan algebras with boundaries, we obtain a new solution of the reflection equation in the case of $r=2$.

We consider a family of infinite sums of products of Catalan numbers, indexed by trees. We show that these sums are polynomials in $1/π$ with rational coefficients; the proof is effective and provides an algorithm to explicitly compute these sums. Along the way we introduce parametric liftings of our sums, and show that they are polynomials in the complete elliptic integrals of the first and second kind. Moreover, the degrees of these polynomials are at most half of the number of vertices of the tree. The computation of these tree-indexed sums is motivated by the study of large meandric systems, which are non-crossing configurations of loops in the plane.

Given two second order free random variables $a$ and $b$, we study the second order free cumulants of their product $ab$, their commutator $ab-ba$, and their anti-commutator $ab+ba$. Let $(κ_n^a)_{n\geq 1}$ and $(κ_{n,m}^a)_{n,m\geq 1}$ denote the sequence of free cumulants of first and second order, respectively, of a random variable $a$ in a second order non-commutative probability space $(\mathcal{A},\varphi,\varphi^2)$. Given $a$ and $b$ two second order freely independent random variables, we provide formulas to compute each of the cumulants $(κ_{n,m}^{ab})_{n,m\geq 1}$, $(κ_{n,m}^{ab-ba})_{n,m\geq 1}$, and $(κ_{n,m}^{ab+ba})_{n,m\geq 1}$ in terms of the individual cumulants $(κ_{n}^{a})_{n\geq 1}$, $(κ_{n,m}^{a})_{n,m\geq 1}$, $(κ_{n}^{b})_{n\geq 1}$, and $(κ_{n,m}^{b})_{n,m\geq 1}$. For $n=m=1$ our formulas read: \begin{align*} κ_{1,1}^{ab} &= κ_{2}^{a}κ_{2}^{b} +κ_{1,1}^{a}(κ_{1}^{b})^2+κ_{1,1}^{b}(κ_{1}^{a})^2,\\ κ_{1,1}^{ab-ba} &= 2κ_{2}^{a}κ_{2}^{b},\\ κ_{1,1}^{ab+ba} &= 2κ_{2}^{a}κ_{2}^{b} +4κ_{1,1}^{a}(κ_{1}^{b})^2+4κ_{1,1}^{b}(κ_{1}^{a})^2. \end{align*} In general, our formulas express the cumulants $κ_{n,m}^{ab}$, $κ_{n,m}^{ab-ba}$, and $κ_{n,m}^{ab+ba}$ as sums indexed by special subsets of non-crossing partitioned permutations. The formulas for the commutator and anti-commutator where not studied before, while the formula for the product was only known in the case the where the individual second order free cumulants vanish. As an application, we compute explicitly the cumulants of the anti-commutator and product of two second order free semicircular variables.

The \emph{max-flow min-cut theorem} has been recently used in the theory of random tensor networks in quantum information theory, where it is helpful for computing the behavior of important physical quantities, such as the entanglement entropy. In this paper, we extend the max-flow min-cut theorem to a relation among different \emph{partial orders} on the set of vertices of a network and introduce a new partial order for the vertices based on the \emph{min-cut structure} of the network. We apply the extended max-flow min-cut theorem to random tensor networks and find that the \emph{finite correction} to the entanglement Rényi entropy arising from the degeneracy of the min-cuts is given by the number of \emph{order morphisms} from the min-cut partial order to the partial order induced by non-crossing partitions on the symmetric group. Moreover, we show that the number of order morphisms corresponds to moments of a graph-dependent measure which generalizes the free Bessel law in some special cases in free probability theory.