arXiv++ Combinatorics

Two independent edges in ordered graphs can be nested, crossing or separated. These relations define six types of subgraphs, depending on which relations are forbidden. We refine a remark by Erdős and Rado that every 2-coloring of the edges of a complete graph contains a monochromatic spanning tree. We show that forbidding one relation we always have a monochromatic (non-nested, non-crossing, non-separated) spanning tree in a 2-edge-colored ordered complete graph. On the other hand, if two relations are forbidden, then it is possible that we have monochromatic (nested, separated, crossing) subtrees of size only half the number of vertices. The existence of a monochromatic non-nested spanning tree in 2-colorings of ordered complete graphs verifies a more general conjecture for twisted drawings. Our second subject is to refine the Ramsey number of matchings for ordered complete graphs. Cockayne and Lorimer proved that for given positive integers t, n, m=(t-1)(n-1)+2n is the smallest integer with the following property: every t-coloring of the edges of a complete graph Km contains a monochromatic matching with n edges. We conjecture a strengthening: t-colored ordered complete graphs on m vertices contain monochromatic non-nested and also non-separated matchings with n edges. We prove this conjecture for some special cases. (i) Every t-colored ordered complete graph on t+3 vertices contains a monochromatic non-nested matching of size two. (ii) Every 2-colored ordered complete graph on 3n-1 vertices contains a monochromatic non-separated matching of size n. For nested, separated, and crossing matchings the situation is different. The smallest m ensuring a monochromatic matching of size n in every t-coloring is 2(t(n-1))+1) in the first two cases and one less in the third case.

For a finite irreducible Coxeter group $(W,S)$ with a fixed Coxeter element $c$ and set of reflections $T$, Defant and Williams define a pop-tsack torsing operation $\mathrm{Popt}\colon W \to W$ given by $\mathrm{Popt}(w) = w \cdot π_T(w)^{-1}$ where $π_T(w) = \bigvee_{t \leq_{T}w, \ t \in T}^{NC(w,c)}t$ is the join of all reflections lying below $w$ in the absolute order in the non-crossing partition lattice $NC(w,c)$. This is a "dual" notion of the pop-stack sorting operator $\mathrm{Pops}$ introduced by Defant as a way to generalize the pop-stack sorting operator on $\mathfrak{S}_n$ to general Coxeter groups. Define the forward orbit of an element $w \in W$ to be $O_{\mathrm{Popt}}(w) = \{w, \mathrm{Popt}(w), \mathrm{Popt}^2(w), \ldots \}$. Defant and Williams established the length of the longest possible forward orbits $\max_{w \in W}|O_{\mathrm{Popt}}(w)|$ for Coxeter groups of coincidental types and type $D$ in terms of the corresponding Coxeter number of the group. In their paper, they also proposed multiple conjectures about enumerating elements with near maximal orbit length. We resolve all the conjectures that they have put forth about enumeration, and in the process we give complete classifications of these elements of Coxeter groups of types $A,B$ and $D$ with near maximal orbit lengths.

In this paper, we introduce and analyze a new operation $\circ_{R}$ which mixes two distributions $Ω$ and $Ω'$ via a random orthogonal matrix. In particular, we take $Ω\circ_R Ω'$ to be the limit as $n \to \infty$ of the distribution of singular values of $DRD'$ where $D$ and $D'$ are $n \times n$ diagonal matrices whose diagonal entries have distributions $Ω$ and $Ω'$ respectively and $R$ is a random $n \times n$ orthogonal matrix. We show that $\circ_R$ has several nice properties. We first observe that $\circ_R$ is commutative and associative and compute the moments of $Ω\circ_R Ω'$ in terms of the moments of $Ω$ and $Ω'$. We then show that $\circ_R$ interacts very nicely with the spectrum of the singular values of Z-shaped and multi-Z-shaped graph matrices. This allows us to answer the question posed by our previous paper of how to describe the spectrum of the singular values of Z-shaped and multi-Z-shaped graph matrices when the input distribution is not $\{-1,1\}$. In our analysis, we show that the moments of our distributions are closely connected to non-crossing partitions and prove a number of new results on non-crossing partitions which may be of independent interest.

We compute the third order moments of a complex Wigner matrix. We provide a formula for the third order moments $α_{m_1,m_2,m_3}$ in terms of quotient graphs $T_{m_1,m_2,m_3}^π$ where $π$ is the Kreweras complement of a non-crossing pairing on the annulus. We prove that these graphs can be counted using the set of partitioned permutations, this permits us to write the third order moments in terms of the high order free cumulants which have a simple expression.

The biadjoint scalar partial amplitude, $m_n(\mathbb{I},\mathbb{I})$, can be expressed as a single integral over the positive tropical Grassmannian thus producing a Global Schwinger Parameterization. The first result in this work is an extension to all partial amplitudes $m_n(α,β)$ using a limiting procedure on kinematic invariants that produces indicator functions in the integrand. The same limiting procedure leads to an integral representation of $φ^4$ amplitudes where indicator functions turn into Dirac delta functions. Their support decomposes into $\textrm{C}_{n/2-1}$ regions, with $\textrm{C}_q$ the $q^{\rm th}$-Catalan number. The contribution from each region is identified with a $m_{n/2+1}(α,\mathbb{I})$ amplitude. We provide a combinatorial description of the regions in terms of non-crossing chord diagrams and propose a general formula for $φ^4$ amplitudes using the Lagrange inversion construction. We start the exploration of $φ^p$ theories, finding that their regions are encoded in non-crossing $(p-2)$-chord diagrams. The structure of the expansion of $φ^p$ amplitudes in terms of $φ^3$ amplitudes is the same as that of Green functions in terms of connected Green functions in the planar limit of $Φ^{p-1}$ matrix models. We also discuss possible connections to recent constructions based on Stokes polytopes and accordiohedra.

A hole in a graph $G$ is an induced cycle of length at least four, and an even hole is a hole of even length. The diamond is the graph obtained from the complete graph $K_4$ by removing an edge. A pyramid is a graph consisting of a triangle called the base, a vertex called the apex, and three internally disjoint paths starting at the apex and disjoint otherwise, each joining the apex to a vertex of the base. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Cameron, da Silva, Huang, and Vušković proved that (even hole, triangle)-free graphs have treewidth at most five, which motivates studying the treewidth of even-hole-free graphs of larger clique number. Sintiari and Trotignon provided a construction of (even hole, pyramid, $K_4$)-free graphs of arbitrarily large treewidth. Here, we show that for every $t$, (even hole, pyramid, diamond, $K_t$)-free graphs have bounded treewidth. The graphs constructed by Sintiari and Trotignon contain diamonds, so our result is sharp in the sense that it is false if we do not exclude diamonds. Our main result is in fact more general, that treewidth is bounded in graphs excluding certain wheels and three-path-configurations, diamonds, and a fixed complete graph. The proof uses "non-crossing decompositions" methods similar to those in previous papers in this series. In previous papers, however, bounded degree was a necessary condition to prove bounded treewidth. The result of this paper is the first to use the method of "non-crossing decompositions" to prove bounded treewidth in a graph class of unbounded maximum degree.

In this extended abstract, we show how a bijection between parking functions and regions of the Shi arrangement from [Athanasiadis, Linusson '99] (in type $A_n$) and [Armstrong, Reiner, Rhoades '15] (in type $B_n, C_n, D_n$) allows for the computation of the minimal elements of the Shi regions. This gives a combinatorial interpretation of these minimal elements: they can be seen as counting non-crossing arcs in non-nesting arc diagrams.

Let $X_N$ be a $N \times N$ real Wishart random matrix with aspect ratio $M/N$. The limit eigenvalue distribution of $X_N$ is the Marchenko-Pastur law with parameter $c = \lim_N M/N$. The limit moments $\{m_n\}_n$ are given by $m_n = \sum_π c^{\#(π)}$ where the sum runs over $NC(n)$. Let $m_n'$ be the limit of $N( \mathrm{E}(\mathrm {tr}(X_N^n)) - m_n)$. These are the asymptotic infinitesimal moments of a real Wishart matrix. We show that $m'_n$ can be written as a sum over planar diagrams with two terms, $\sum_π c'(\#(π) -1) c^{\#(π)-1}$, and $\sum_{π\in S_{NC}^δ(n,-n)} c^{\#(π)/2}$, where $S_{NC}^δ(n,-n)$ is a set of non-crossing annular permutations satisfying a symmetry condition. Moreover we present a recursion formula for the second term which is related to one for higher order freeness.

We prove that the acyclic reorientation poset of a directed acyclic graph $D$ is a lattice if and only if the transitive reduction of any induced subgraph of $D$ is a forest. We then show that the acyclic reorientation lattice is always congruence normal, semidistributive (thus congruence uniform) if and only if $D$ is filled, and distributive if and only if $D$ is a forest. When the acyclic reorientation lattice is semidistributive, we introduce the ropes of $D$ that encode the join irreducibles acyclic reorientations and exploit this combinatorial model in three directions. First, we describe the canonical join and meet representations of acyclic reorientations in terms of non-crossing rope diagrams. Second, we describe the congruences of the acyclic reorientation lattice in terms of lower ideals of a natural subrope order. Third, we use Minkowski sums of shard polytopes of ropes to construct a quotientope for any congruence of the acyclic reorientation lattice.

We define and study the canonical complex of a finite semidistributive lattice $L$. It is the simplicial complex on the join or meet irreducible elements of $L$ which encodes each interval of $L$ by recording the canonical join representation of its bottom element and the canonical meet representation of its top element. This complex behaves properly with respect to lattice quotients of $L$, in the sense that the canonical complex of a quotient of $L$ is the subcomplex of the canonical complex of $L$ induced by the join or meet irreducibles of $L$ uncontracted in the quotient. We then describe combinatorially the canonical complex of the weak order on permutations in terms of semi-crossing arc bidiagrams, formed by the superimposition of two non-crossing arc diagrams of N. Reading. We provide explicit direct bijections between the semi-crossing arc bidiagrams and the weak order interval posets of G. Châtel, V. Pilaud and V. Pons. Finally, we provide an algorithm to describe the Kreweras maps in any lattice quotient of the weak order in terms of semi-crossing arc bidiagrams.

We introduce the category of finite strings and study its basic properties. The category is closely related to the augmented simplex category, and it models categories of linear representations. Each lattice of non-crossing partitions arises naturally as a lattice of subobjects.

This paper studies a generalization of parking functions named $k$-Naples parking functions, where backward movement is allowed. One consequence of backward movement is that the number of ascending $k$-Naples is not the same as the number of descending $k$-Naples. This paper focuses on generalizing the bijections of ascending parking functions with combinatorial objects enumerated by the Catalan numbers in the setting of both ascending and descending $k$-Naples parking functions. These combinatorial objects include Dyck paths, binary trees, triangulations of polygons, and non-crossing partitions. Using these bijections, we enumerate both ascending and descending $k$-Naples parking functions.

Given two polynomials $p(x), q(x)$ of degree $d$, we give a combinatorial formula for the finite free cumulants of $p(x)\boxtimes_d q(x)$. We show that this formula admits a topological expansion in terms of non-crossing multi-annular permutations on surfaces of different genera. This topological expansion, on the one hand, deepens the connection between the theories of finite free probability and free probability, and in particular proves that $\boxtimes_d$ converges to $\boxtimes$ as $d$ goes to infinity. On the other hand, borrowing tools from the theory of second order freeness, we use our expansion to study the infinitesimal distribution of certain families of polynomials which include Hermite and Laguerre, and draw some connections with the theory of infinitesimal distributions for real random matrices. Finally, building off our results we give a new short and conceptual proof of a recent result [Steinerberger (2020), Hoskins and Kabluchko (2020)] that connects root distributions of polynomial derivatives with free fractional convolution powers.

A $k$-stack layout (or $k$-page book embedding) of a graph consists of a total order of the vertices, and a partition of the edges into $k$ sets of non-crossing edges with respect to the vertex order. The stack number of a graph is the minimum $k$ such that it admits a $k$-stack layout. In this paper we study a long-standing problem regarding the stack number of planar directed acyclic graphs (DAGs), for which the vertex order has to respect the orientation of the edges. We investigate upper and lower bounds on the stack number of several families of planar graphs: We improve the constant upper bounds on the stack number of single-source and monotone outerplanar DAGs and of outerpath DAGs, and improve the constant upper bound for upward planar 3-trees. Further, we provide computer-aided lower bounds for upward (outer-) planar DAGs.

A linear layout of a graph typically consists of a total vertex order, and a partition of the edges into sets of either non-crossing edges, called stacks, or non-nested edges, called queues. The stack (queue) number of a graph is the minimum number of required stacks (queues) in a linear layout. Mixed linear layouts combine these layouts by allowing each set of edges to form either a stack or a queue. In this work we initiate the study of the mixed page number of a graph which corresponds to the minimum number of such sets. First, we study the edge density of graphs with bounded mixed page number. Then, we focus on complete and complete bipartite graphs, for which we derive lower and upper bounds on their mixed page number. Our findings indicate that combining stacks and queues is more powerful in various ways compared to the two traditional layouts.

We consider the group $(\mathcal{G},*)$ of unitized multiplicative functions in the incidence algebra of non-crossing partitions, where ``$*$'' denotes the convolution operation. We introduce a larger group $(\widetilde{\mathcal{G}},*)$ of unitized functions from the same incidence algebra, which satisfy a weaker condition of being ``semi-multiplicative''. The natural action of $\widetilde{\mathcal{G}}$ on sequences of multilinear functionals of a non-commutative probability space captures the combinatorics of transitions between moments and some brands of cumulants that are studied in the non-commutative probability literature. We use the framework of $\widetilde{\mathcal{G}}$ in order to explain why the multiplication of free random variables can be very nicely described in terms of Boolean cumulants and more generally in terms of $t$-Boolean cumulants, a one-parameter interpolation between free and Boolean cumulants arising from work of Bozejko and Wysoczanski. It is known that the group $\mathcal{G}$ can be naturally identified as the group of characters of the Hopf algebra Sym of symmetric functions. We show that $\widetilde{\mathcal{G}}$ can also be identified as group of characters of a Hopf algebra $\mathcal{T}$, which is an incidence Hopf algebra in the sense of Schmitt. Moreover, the inclusion of $\mathcal{G}$ into $\widetilde{\mathcal{G}}$ turns out to be the dual of a natural bialgebra homomorphism from $\mathcal{T}$ onto Sym.

Given a Jordan domain $Ω\subset\mathbb{C}$ and two disjoint arcs $A, B$ on $\partialΩ$, the modulus $m$ of the curve family connecting $A$ and $B$ in $Ω$ is equal to the modulus of the curve family connecting the vertical sides in the rectangle $R=[0,1]\times[0,m]$. Also, $m>0$ is the unique value such that there is a conformal map $ψ$ mapping $Ω$ to ${\rm int}(R)$ so that $ψ$ extends continuously to a homeomorphism of $\partial Ω$ onto $\partial R$ and the arcs $A$ and $B$ are sent to the vertical sides of $R$. Moreover, in the case of the rectangle the family of horizontal segments connecting the two sides has the same modulus as the entire connecting family. Pulling these segments back to $Ω$ via $ψ$ yields a family of extremal curves (also known as horizontal trajectories) connecting $A$ to $B$ in $Ω$. In this paper, we show that these extremal curves can be approximated by some discrete paths arising from an orthodiagonal approximation of $Ω$. Moreover, we show that there is a natural probability mass function (pmf) on these paths, deriving from the theory of discrete modulus, which converges to the transverse measure on the set of extremal curves. The key ingredient is an algorithm that, for an embedded planar graph, takes the current flow between two sets of nodes, and produces a unique path decomposition with non-crossing paths. Moreover, some care was taken to adapt recent results for harmonic convergence on orthodiagonal maps, due to Gurel-Gurevich, Jerison, and Nachmias, to our context. Finally, we generalize a result of N.~Alrayes from the square grid setting to the orthodiagonal setting, and prove that the discrete modulus of the approximating non-crossing paths converges to the continuous modulus.

An edge-colored graph $G$ is called \textit{rainbow} if every edge of $G$ receives a different color. Given any host graph $G$, the \textit{anti-Ramsey} number of $t$ edge-disjoint rainbow spanning trees in $G$, denoted by $r(G,t)$, is defined as the maximum number of colors in an edge-coloring of $G$ containing no $t$ edge-disjoint rainbow spanning trees. For any vertex partition $P$, let $E(P,G)$ be the set of non-crossing edges in $G$ with respect to $P$. In this paper, we determine $r(G,t)$ for all host graphs $G$: $r(G,t)=|E(G)|$ if there exists a partition $P_0$ with $|E(G)|-|E(P_0,G)|<t(|P_0|-1)$; and $r(G,t)=\max_{P\colon |P|\geq 3} \{|E(P,G)|+t(|P|-2)\}$ otherwise. As a corollary, we determine $r(K_{p,q},t)$ for all values of $p,q, t$, improving a result of Jia, Lu and Zhang.

In this article, we investigate meandric systems having one shallow side: the arch configuration on that side has depth at most two. This class of meandric systems was introduced and extensively examined by I. P. Goulden, A. Nica, and D. Puder in 2020. Shallow arch configurations are in bijection with the set of interval partitions. We study meandric systems by using moment-cumulant transforms for non-crossing and interval partitions, corresponding to the notions of free and boolean independence, respectively, in non-commutative probability. We obtain formulas for the generating series of different classes of meandric systems with one shallow side, by explicitly enumerating the simpler, irreducible objects. In addition, we propose random matrix models for the corresponding meandric polynomials, which can be described in the language of quantum information theory, in particular that of quantum channels.

Let $(κ_n(a))_{n\geq 1}$ denote the sequence of free cumulants of a random variable $a$ in a non-commutative probability space $(\mathcal{A},\varphi)$. Based on some considerations on bipartite graphs, we provide a formula to compute the cumulants $(κ_n(ab+ba))_{n\geq 1}$ in terms of $(κ_n(a))_{n\geq 1}$ and $(κ_n(b))_{n\geq 1}$, where $a$ and $b$ are freely independent. Our formula expresses the $n$-th free cumulant of $ab+ba$ as a sum indexed by partitions in the set $\mathcal{Y}_{2n}$ of non-crossing partitions of the form \[ σ=\{B_1,B_3,\dots, B_{2n-1},E_1,\dots,E_r\}, \quad \text{with }r\geq 0, \] such that $i\in B_{i}$ for $i=1,3,\dots,2n-1$ and $|E_j|$ even for $j\leq r$. Therefore, by studying the sets $\mathcal{Y}_{2n}$ we obtain new results regarding the distribution of $ab+ba$. For instance, the size $|\mathcal{Y}_{2n}|$ is closely related to the case when $a,b$ are free Poisson random variables of parameter 1. Our formula can also be expressed in terms of cacti graphs. This graph theoretic approach suggests a natural generalization that allows us to study quadratic forms in $k$ free random variables.