arXiv++ Combinatorics

The character theory of symmetric groups, and the theory of symmetric functions, both make use of the combinatorics of Young tableaux, such as the Robinson-Schensted algorithm, Schuetzenberger's "jeu de taquin", and evacuation. In 1995 Poirier and the second author introduced some algebraic structures, different from the plactic monoid, which induce some products and coproducts of tableaux, with homomorphisms. Their starting point are the two dual Hopf algebras of permutations, introduced by the authors in 1995. In 2006 Aguiar and Sottile studied in more detail the Hopf algebra of permutations: among other things, they introduce a new basis, by Moebius inversion in the poset of weak order, that allows them to describe the primitive elements of the Hopf algebra of permutations. In the present note, by a similar method, we determine the primitive elements of the Poirier-Reutenauer algebra of tableaux, using a partial order on tableaux defined by Taskin.

Logical transductions provide a very useful tool to encode classes of structures inside other classes of structures. In this paper we study first-order (FO) transductions and the quasiorder they induce on infinite classes of finite graphs. Surprisingly, this quasiorder is very complex, though shaped by the locality properties of first-order logic. This contrasts with the conjectured simplicity of the monadic second order (MSO) transduction quasiorder. We first establish a local normal form for FO transductions, which is of independent interest. Then we prove that the quotient partial order is a bounded distributive join-semilattice, and that the subposet of \emph{additive} classes is also a bounded distributive join-semilattice. The FO transduction quasiorder has a great expressive power, and many well studied class properties can be defined using it. We apply these structural properties to prove, among other results, that FO transductions of the class of paths are exactly perturbations of classes with bounded bandwidth, that the local variants of monadic stability and monadic dependence are equivalent to their (standard) non-local versions, and that the classes with pathwidth at most $k$, for $k\geq 1$ form a strict hierarchy in the FO transduction quasiorder.

Ceballos and Pons generalized weak order on permutations to a partial order on certain labeled trees, thereby introducing a new class of lattices called $s$-weak order. They also generalized the Tamari lattice by defining a particular sublattice of $s$-weak order called the $s$-Tamari lattice. We prove that the homotopy type of each open interval in $s$-weak order and in the $s$-Tamari lattice is either a ball or sphere. We do this by giving $s$-weak order and the $s$-Tamari lattice a type of edge labeling known as an SB-labeling. We characterize which intervals are homotopy equivalent to spheres and which are homotopy equivalent to balls; we also determine the dimension of the spheres for the intervals yielding spheres.

We show that the universal homogeneous partial order has finite big Ramsey degrees and discuss several corollaries. Our proof relies on parameter spaces and the Carlson-Simpson theorem rather than on (a strengthening of) the Halpern-Läuchli theorem and the Milliken tree theorem, which are typically used to bound big Ramsey degrees in the existing literature (originating from the work of Laver and Milliken). This new technique has many additional applications. We show that the homogeneous universal triangle-free graph has finite big Ramsey degrees, providing a short proof of a recent result by Dobrinen. Moreover, generalizing an indivisibility (vertex partition) result of Nguyen van Thé and Sauer, we give an upper bound on big Ramsey degrees of metric spaces with finitely many distances. This leads to a new combinatorial argument for the oscillation stability of the Urysohn Sphere.

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.

A family of partial orders in the free monoid of words, induced from a partial order in alphabet, is presented. The induced orders generalize the chronological posets that have been defined for the two-letter alphabet only, and the morphological order. We show that the induced orders are natural with respect to alphabet homomorphisms.

Contrary to the expectation arising from the tanglegram Kuratowski theorem of É. Czabarka, L.A. Székely and S. Wagner [SIAM J. Discrete Math. 31(3): 1732--1750, (2017)], we construct an infinite antichain of planar tanglegrams with respect to the induced subtanglegram partial order. R.E. Tarjan, R. Laver, D.A. Spielman and M. Bóna, and possibly others, showed that the partially ordered set of finite permutations ordered by deletion of entries contains an infinite antichain, i.e. there exists an infinite collection of permutations, such that none of them contains another as a pattern. Our construction adds a twist to the construction of Spielman and Bóna [Electr. J. Comb, Vol. 7. N2.]

Combinatorial games are two-player games of pure strategy where the players, usually called Left and Right, move alternately. In this paper, we introduce Cheating Robot games. These arise from simultaneous-play combinatorial games where one player has insider information ('cheats'). Play occurs in rounds. At the beginning of a round, both players know the moves that are available to them. Left chooses a move. Knowing Left's move, Right then chooses a move. Right's move is not constrained by Left's choice. The round is not completed until both players have made a choice. A game is finished only when one or both players do not have a move at the beginning of a round. Right choosing a move, knowing Left's, makes the games deterministic, distinguishing them from simultaneous games. Also, the ending condition distinguishes this class of games from combinatorial games, since the outcomes are now Left-win, Right-win and draw. The basic theory and properties are developed, including showing that there is an equivalence relation and partial order on the games. Whilst there are no inverses in the class of all games, we show that there is a sub-class, simple hot games, in which the integers have inverses. In this sub-class, the optimal strategies are obtained by the solutions to a minimum-weight matching problem on a graph whose number of vertices equals the number of summands in the disjunctive sum.

Webs are planar graphs with boundary that describe morphisms in a diagrammatic representation category for $\mathfrak{sl}_k$. They are studied extensively by knot theorists because braiding maps provide a categorical way to express link diagrams in terms of webs, producing quantum invariants like the well-known Jones polynomial. One important question in representation theory is to identify the relationships between different bases; coefficients in the change-of-basis matrix often describe combinatorial, algebraic, or geometric quantities (like, e.g., Kazhdan-Lusztig polynomials). By "flattening" the braiding maps, webs can also be viewed as the basis elements of a symmetric-group representation. In this paper, we define two new combinatorial structures for webs: band diagrams and their one-dimensional projections, shadows, that measure depths of regions inside the web. As an application, we resolve an open conjecture that the change-of-basis between the so-called Specht basis and web basis of this symmetric-group representation is unitriangular for $\mathfrak{sl}_3$-webs. We do this using band diagrams and shadows to construct a new partial order on webs that is a refinement of the usual partial order. In fact, we prove that for $\mathfrak{sl}_2$-webs, our new partial order coincides with the tableau partial order on webs studied by the authors and others. We also prove that though the new partial order for $\mathfrak{sl}_3$-webs is a refinement of the previously-studied tableau order, the two partial orders do not agree for $\mathfrak{sl}_3$.

Majorization is a partial order on real vectors which plays an important role in a variety of subjects, ranging from algebra and combinatorics to probability and statistics. In this paper, we consider a generalized notion of majorization associated to an arbitrary root system $Φ,$ and show that it admits a natural characterization in terms of the values of spherical functions on any Riemannian symmetric space with restricted root system $Φ.$

In this paper we consider the classical problem of computing linear extensions of a given poset which is well known to be a difficult problem. However, in our setting the elements of the poset are multivariate polynomials, and only a small "admissible" subset of these linear extensions, determined implicitly by the evaluation map, are of interest. This seemingly novel problem arises in the study of global dynamics of gene regulatory networks in which case the poset is a Boolean lattice. We provide an algorithm for solving this problem using linear programming for arbitrary partial orders of linear polynomials. This algorithm exploits this additional algebraic structure inherited from the polynomials to efficiently compute the admissible linear extensions. The biologically relevant problem involves multilinear polynomials and we provide a construction for embedding it into an instance of the linear problem.

The $k$-th spectral moment $M_k(G)$ of the adjacency matrix of a graph~$G$ represents the number of closed walks of length~$k$ in~$G$. We study here the partial order $\preceq$ of graphs, defined by $G\preceq H$ if $M_k(G)\leq M_k(H)$ for all $k\geq 0$, and are interested in the question when is $\preceq$ a linear order within a specified set of graphs? Our main result is that $\preceq$ is a linear order on each set of starlike trees with constant number of vertices. Recall that a connected graph $G$ is a starlike tree if it has a vertex~$u$ such that the components of $G-u$ are paths, called the branches of~$G$. It turns out that the $\preceq$ ordering of starlike trees with constant number of vertices coincides with the shortlex order of sorted sequence of their branch lengths.

The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study two partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes, and has representation-theoretic consequences, both for the symmetric group and for Shephard-Todd groups. In a different direction, we consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, "aft," generalizing earlier results of Canfield-Janson-Zeilberger, Chen-Wang-Wang, and others. We also study unimodality, log-concavity, and local limit properties.

Combinatorial Game Theory(CGT)is a branch of Game Theory that has developed largely independently of Economic Game Theory (EGT), and is concerned with deep mathematical properties of two-player zero-sum games recursively defined over various combinatorial structures. The aim of this work is to lay the foundations for bridging the conceptual and technical gaps between CGT and EGT, here interpreted as multiplayer Extensive Form Games, so that they can be treated within a unified framework. More specifically, we introduce a class of $n$-player, general-sum games, called {\sc Cumulative Games}, which can be analyzed using tools from both CGT and EGT. We show how two of the most fundamental definitions of CGT, the outcome function and the disjunctive sum operator, naturally extend to the class of {\sc Cumulative Games}. The outcome function allows for efficient equilibrium computation under certain restrictions, while the disjunctive sum operator lets us define a partial order over games according to the advantage that a given player has. Finally, we show that any Extensive Form Game can be written as a {\sc Cumulative Game}.

A quasi-hereditary algebra is an Artin algebra together with a partial order on its set of isomorphism classes of simple modules which satisfies certain conditions. In this article we investigate all the possible choices that yield to quasi-hereditary structures on a given algebra, in particular we introduce and study what we call the poset of quasi-hereditary structures. Our techniques involve certain quiver decompositions and idempotent reductions. For a path algebra of Dynkin type $\mathbb{A}$, we provide a full classification of its quasi-hereditary structures. For types $\mathbb{D}$ and $\mathbb{E}$, we give a counting method for the number of quasi-hereditary structures. In the case of a hereditary incidence algebra, we present a necessary and sufficient condition for its poset of quasi-hereditary structures to be a lattice.

In this paper we're considering the question of whether or not a partial order on a finite set is realisable as a Smale order of a structurally stable diffeomorphism or flow acting on a closed manifold. We classify the orders that are realisable by 1) an $Ω$-stable diffeomorphism acting on a closed surface 2) an Anosov flow on a closed 3-manifold 3) a stable diffeomorphism with trivial attractors and repellers acting on a closed surface.

For a partially ordered set $(A, \le)$, let $G_A$ be the simple, undirected graph with vertex set $A$ such that two vertices $a \neq b\in A$ are adjacent if either $a \le b$ or $b \le a$. We call $G_A$ the \emph{partial order graph} or \emph{comparability graph} of $A$. Further, we say that a graph $G$ is a partial order graph if there exists a partially ordered set $A$ such that $G = G_A$. For a class $\mathcal{C}$ of simple, undirected graphs and $n$, $m \ge 1$, we define the Ramsey number $\mathcal{R}_{\mathcal{C}}(m,n)$ with respect to $\mathcal{C}$ to be the minimal number of vertices $r$ such that every induced subgraph of an arbitrary partial order graph consisting of $r$ vertices contains either a complete $n$-clique $K_n$ or an independent set consisting of $m$ vertices. In this paper, we determine the Ramsey number with respect to some classes of partial order graphs. Furthermore, some implications of Ramsey numbers in ring theory are discussed.

A combinatorial neural code $\mathscr C\subseteq 2^{[n]}$ is convex if it arises as the intersection pattern of convex open subsets of $\mathbb R^d$. We relate the emerging theory of convex neural codes to the established theory of oriented matroids, both categorically and with respect to geometry and computational complexity. On the categorical side, we show that the map taking an acyclic oriented matroid to the code of positive parts of its topes is a faithful functor. We adapt the oriented matroid ideal introduced by Novik, Postnikov, and Sturmfels into a functor from the category of oriented matroids to the category of rings; then, we show that the resulting ring maps naturally to the neural ring of the matroid's neural code. For geometry and computational complexity, we show that a code has a realization with convex polytopes if and only if it lies below the code of a representable oriented matroid in the partial order of codes introduced by Jeffs. We show that previously published examples of non-convex codes do not lie below any oriented matroids, and we construct examples of non-convex codes lying below non-representable oriented matroids. By way of this construction, we can apply Mnëv-Sturmfels universality to show that deciding whether a combinatorial code is convex is NP-hard.

The minimal bad sequence argument due to Nash-Williams is a powerful tool in combinatorics with important implications for theoretical computer science. In particular, it yields a very elegant proof of Kruskal's theorem. At the same time, it is known that Kruskal's theorem does not require the full strength of the minimal bad sequence argument. This claim can be made precise in the framework of reverse mathematics, where the existence of minimal bad sequences is equivalent to a principle known as $Π^1_1$-comprehension, which is much stronger than Kruskal's theorem. In the present paper we give a uniform version of Kruskal's theorem by relativizing it to certain transformations of well partial orders. We show that $Π^1_1$-comprehension is equivalent to our uniform Kruskal theorem (over $\mathbf{RCA}_0$ together with the chain-antichain principle). This means that any proof of the uniform Kruskal theorem must entail the existence of minimal bad sequences. As a by-product of our investigation, we obtain uniform proofs of several Kruskal-type independence results.

Let $G$ be a reductive algebraic group and let $Z$ be the stabilizer of a nilpotent element $e$ of the Lie algebra of $G$. We consider the action of $Z$ on the flag variety of $G$, and we focus on the case where this action has a finite number of orbits (i.e., $Z$ is a spherical subgroup). This holds for instance if $e$ has height $2$. In this case we give a parametrization of the $Z$-orbits and we show that each $Z$-orbit has a structure of algebraic affine bundle. In particular, in type $A$, we deduce that each orbit has a natural cell decomposition. In the aim to study the (strong) Bruhat order of the orbits, we define an abstract partial order on certain quotients associated to a Coxeter system. In type $A$, we show that the Bruhat order of the $Z$-orbits can be described in this way.