scholarly journals Dyck path triangulations and extendability (extended abstract)

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Cesar Ceballos ◽  
Arnau Padrol ◽  
Camilo Sarmiento

International audience We introduce the Dyck path triangulation of the cartesian product of two simplices $\Delta_{n-1}\times\Delta_{n-1}$. The maximal simplices of this triangulation are given by Dyck paths, and its construction naturally generalizes to produce triangulations of $\Delta_{r\ n-1}\times\Delta_{n-1}$ using rational Dyck paths. Our study of the Dyck path triangulation is motivated by extendability problems of partial triangulations of products of two simplices. We show that whenever$m\geq k>n$, any triangulations of $\Delta_{m-1}^{(k-1)}\times\Delta_{n-1}$ extends to a unique triangulation of $\Delta_{m-1}\times\Delta_{n-1}$. Moreover, with an explicit construction, we prove that the bound $k>n$ is optimal. We also exhibit interpretations of our results in the language of tropical oriented matroids, which are analogous to classical results in oriented matroid theory. Nous introduisons la triangulation par chemins de Dyck du produit cartésien de deux simplexes $\Delta_{n-1}\times\Delta_{n-1}$. Les simplexes maximaux de cette triangulation sont donnés par des chemins de Dyck, et cette construction se généralise de façon naturelle pour produire des triangulations $\Delta_{r\ n-1}\times\Delta_{n-1}$ qui utilisent des chemins de Dyck rationnels. Notre étude de la triangulation par chemins de Dyck est motivée par des problèmes de prolongement de triangulations partielles de produits de deux simplexes. On montre que $m\geq k>n$ alors toute triangulation de $\Delta_{m-1}^{(k-1)}\times\Delta_{n-1}$ se prolonge en une unique triangulation de $\Delta_{m-1}\times\Delta_{n-1}$. De plus, avec une construction explicite, nous montrons que la borne $k>n$ est optimale. Nous présentons aussi des interprétations de nos résultats dans le langage des matroïdes orientés tropicaux, qui sont analogues aux résultats classiques de la théorie des matroïdes orientés.

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Suho Oh ◽  
Hwanchul Yoo

International audience Develin and Sturmfels showed that regular triangulations of $\Delta_{n-1} \times \Delta_{d-1}$ can be thought of as tropical polytopes. Tropical oriented matroids were defined by Ardila and Develin, and were conjectured to be in bijection with all subdivisions of $\Delta_{n-1} \times \Delta_{d-1}$. In this paper, we show that any triangulation of $\Delta_{n-1} \times \Delta_{d-1}$ encodes a tropical oriented matroid. We also suggest a new class of combinatorial objects that may describe all subdivisions of a bigger class of polytopes. Develin et Sturmfels ont montré que les triangulations de $\Delta_{n-1} \times \Delta_{d-1}$ peuvent être considérées comme des polytopes tropicaux. Les matroïdes orientés tropicaux ont été définis par Ardila et Develin, et ils ont été conjecturés être en bijection avec les subdivisions de $\Delta_{n-1} \times \Delta_{d-1}$. Dans cet article, nous montrons que toute triangulation de $\Delta_{n-1} \times \Delta_{d-1}$ encode un matroïde orienté tropical. De plus, nous proposons une nouvelle classe d'objets combinatoires qui peuvent décrire toutes les subdivisions d'une plus grande classe de polytopes.


10.37236/25 ◽  
2002 ◽  
Vol 1000 ◽  
Author(s):  
Günter M. Ziegler

This dynamic survey offers an “entry point” for current research in oriented matroids. For this, it provides updates on the 1993 monograph “Oriented Matroids” by Bjö̈rner, Las Vergnas, Sturmfels, White & Ziegler [85], in three parts: 1. a sketch of a few “Frontiers of Research” in oriented matroid theory, 2. an update of corrections, comments and progress as compared to [85], and 3. an extensive, complete and up-to-date bibliography of oriented matroids, comprising and extending the bibliography of [85].


2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Federico Ardila ◽  
Felipe Rincón ◽  
Lauren Williams

International audience We investigate the role that non-crossing partitions play in the study of positroids, a class of matroids introduced by Postnikov. We prove that every positroid can be constructed uniquely by choosing a non-crossing partition on the ground set, and then freely placing the structure of a connected positroid on each of the blocks of the partition. We use this to enumerate connected positroids, and we prove that the probability that a positroid on [n] is connected equals $1/e^2$ asymptotically. We also prove da Silva's 1987 conjecture that any positively oriented matroid is a positroid; that is, it can be realized by a set of vectors in a real vector space. It follows from this result that the positive matroid Grassmannian (or <i>positive MacPhersonian</i>) is homeomorphic to a closed ball.


2008 ◽  
Vol Vol. 10 no. 3 (Analysis of Algorithms) ◽  
Author(s):  
Helmut Prodinger

Analysis of Algorithms International audience For Dyck paths (nonnegative symmetric) random walks, the location of the first maximum within the first sojourn is studied. Generating functions and explicit resp. asymptotic expressions for the average are derived. Related parameters are also discussed.


2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Silke Horn

International audience Tropical oriented matroids were defined by Ardila and Develin in 2007. They are a tropical analogue of classical oriented matroids in the sense that they encode the properties of the types of points in an arrangement of tropical hyperplanes – in much the same way as the covectors of (classical) oriented matroids describe the types in arrangements of linear hyperplanes. Not every oriented matroid can be realised by an arrangement of linear hyperplanes though. The famous Topological Representation Theorem by Folkman and Lawrence, however, states that every oriented matroid can be represented as an arrangement of $\textit{pseudo}$hyperplanes. Ardila and Develin proved that tropical oriented matroids can be represented as mixed subdivisions of dilated simplices. In this paper I prove that this correspondence is a bijection. Moreover, I present a tropical analogue for the Topological Representation Theorem. La notion de matroïde orientè tropical a été introduite par Ardila et Develin en 2007. Ils sont un analogue des matroïdes orientés classiques dans le sens où ils codent les propriétés des types de points dans un arrangement d'hyperplans tropicaux – d'une manière très similaire à celle dont les covecteurs des matroïdes orientés (classiques) décrivent les types de points dans les arrangements d'hyperplans linéaires. Tous les matroïdes orientés ne peuvent pas être représentés par un arrangement d'hyperplans linéaires. Cependant le célèbre théorème de représentation topologique de Folkman et Lawrence affirme que tout matroïde orientè peut être représenté par un arrangement de $\textit{pseudo}$-hyperplans. Ardila et Develin ont prouvè que les matroïdes orientés tropicaux peuvent être représentés par des sous-divisions mixtes de simplexes dilatés. Je prouve dans cet article que cette correspondance est une bijection. Je présente en outre, un analogue tropical du théorème de représentation topologique.


2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Matthieu Josuat-Vergès ◽  
Jang Soo Kim

International audience Recently, Kenyon and Wilson introduced Dyck tilings, which are certain tilings of the region between two Dyck paths. The enumeration of Dyck tilings is related with hook formulas for forests and the combinatorics of Hermite polynomials. The first goal of this work is to give an alternative point of view on Dyck tilings by making use of the weak order and the Bruhat order on permutations. Then we introduce two natural generalizations: $k$-Dyck tilings and symmetric Dyck tilings. We are led to consider Stirling permutations, and define an analogue of the Bruhat order on them. We show that certain families of $k$-Dyck tilings are in bijection with intervals in this order. We enumerate symmetric Dyck tilings and show that certain families of symmetric Dyck tilings are in bijection with intervals in the weak order on signed permutations. Récemment, Kenyon et Wilson ont introduit les pavages de Dyck, qui sont des pavages de la région comprise entre deux chemins de Dyck. L’énumération des pavages de Dyck est reliée aux formules d’équerre sur les forêts et à la combinatoire des polynômes de Hermite. Le premier but de ce travail est de donner un point de vue alternatif sur les pavages de Dyck, en utilisant l’ordre faible et l’ordre de Bruhat sur les permutations. Nous introduisons ensuite deux généralisations naturelles: les $k$-pavages de Dyck et les pavages de Dyck symétriques. Nous sommes amenés àconsidérer les permutations de Stirling, et définissons un analogue de l’ordre de Bruhat. Nous montrons que certaines familles de $k$-pavages de Dyck sont en bijection avec des intervalles de cet ordre. Nous énumérons les pavages de Dyck symétriques et montrons que certaines familles de pavages de Dyck symétriques sont en bijection avec des intervalles de l’ordre faible sur les permutations signées.


2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Luis Serrano ◽  
Christian Stump

International audience We exhibit a canonical connection between maximal $(0,1)$-fillings of a moon polyomino avoiding north-east chains of a given length and reduced pipe dreams of a certain permutation. Following this approach we show that the simplicial complex of such maximal fillings is a vertex-decomposable and thus a shellable sphere. In particular, this implies a positivity result for Schubert polynomials. For Ferrers shapes, we moreover construct a bijection to maximal fillings avoiding south-east chains of the same length which specializes to a bijection between $k$-triangulations of the $n$-gon and $k$-fans of Dyck paths. Using this, we translate a conjectured cyclic sieving phenomenon for $k$-triangulations with rotation to $k$-flagged tableaux with promotion. Nous décrivons un lien canonique entre les $(0,1)$-remplissages maximaux d'un polyomino-lune évitant les chaînes Nord-Est d'une longueur donnée, et les "pipe dreams'' réduits d'une certaine permutation. En suivant cette approche nous montrons que le complexe simplicial de tels remplissages maximaux est une sphère "vertex-decomposable'' et donc "shellable''. En particulier, cela entraîne un résultat de positivité sur les polynômes de Schubert. De plus, nous construisons, dans le cas des diagrammes de Ferrers, une bijection vers les remplissages maximaux évitant les chaînes Sud-Est de même longueur, qui se spécialise en une bijection entre les $k$-triangulations d'un $n$-gone et les $k$-faisceaux de chemins de Dyck. A l'aide de celle-ci, nous traduisons une instance conjecturale du phénomène de tamis cyclique pour les $k$-triangulations avec rotation dans le cadre des tableaux $k$-marqués avec promotion.


2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Myrto Kallipoliti ◽  
Henri Mühle

International audience In the first part of this article we present a realization of the $m$-Tamari lattice $\mathcal{T}_n^{(m)}$ in terms of $m$-tuples of Dyck paths of height $n$, equipped with componentwise rotation order. For that, we define the $m$-cover poset $\mathcal{P}^{\langle m \rangle}$ of an arbitrary bounded poset $\mathcal{P}$, and show that the smallest lattice completion of the $m$-cover poset of the Tamari lattice $\mathcal{T}_n$ is isomorphic to the $m$-Tamari lattice $\mathcal{T}_n^{(m)}$. A crucial tool for the proof of this isomorphism is a decomposition of $m$-Dyck paths into $m$-tuples of classical Dyck paths, which we call the strip-decomposition. Subsequently, we characterize the cases where the $m$-cover poset of an arbitrary poset is a lattice. Finally, we show that the $m$-cover poset of the Cambrian lattice of the dihedral group is a trim lattice with cardinality equal to the generalized Fuss-Catalan number of the dihedral group. Dans la première partie de cet article nous présentons une réalisation du treillis $m$ -Tamari $\mathcal{T}_n^{(m)}$ à l’aide de $m$-uplets de chemins de Dyck de hauteur $n$, équipés de l’ordre de rotation composante par composante. Pour cela, nous définissons le poset de $m$-couverture $\mathcal{P}^{\langle m \rangle}$ d’un poset borné quelconque $\mathcal{P}$, et montrons que la plus petite complétion en treillis du poset de $m$-couverture du treillis de Tamari $\mathcal{T}_n$ est isomorphe au treillis $m$-Tamari $\mathcal{T}_n^{(m)}$. Unoutil crucial pour la preuve de cet isomorphisme est une décomposition des chemins $m$-Dyck en $m$-uplets de chemins de Dyck usuels, que nous appelons la décomposition en bandes. Par la suite, nous caractérisons les cas où le poset de $m$-couverture d’un poset donné est un treillis. Enfin nous montrons que le poset de $m$-couverture du treillis Cambrien du groupe diédral est un treillis svelte de cardinalité le nombre généralisé de Fuss-Catalan du groupe diédral.


2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Arnau Padrol

International audience A $d$-polytope $P$ is neighborly if every subset of $\lfloor\frac{d}{2}\rfloor $vertices is a face of $P$. In 1982, Shemer introduced a sewing construction that allows to add a vertex to a neighborly polytope in such a way as to obtain a new neighborly polytope. With this, he constructed superexponentially many different neighborly polytopes. The concept of neighborliness extends naturally to oriented matroids. Duals of neighborly oriented matroids also have a nice characterization: balanced oriented matroids. In this paper, we generalize Shemer's sewing construction to oriented matroids, providing a simpler proof. Moreover we provide a new technique that allows to construct balanced oriented matroids. In the dual setting, it constructs a neighborly oriented matroid whose contraction at a particular vertex is a prescribed neighborly oriented matroid. We compare the families of polytopes that can be constructed with both methods, and show that the new construction allows to construct many new polytopes. Un $d$-polytope $P$ est $\textit{neighborly}$ si tout sous-ensemble de $\lfloor\frac{d}{2}\rfloor $ sommets forme une face de $P$. En 1982, Shemer a introduit une construction de couture qui permet de rajouter un sommet à un polytope $\textit{neighborly}$ et d'obtenir un nouveau polytope $\textit{neighborly}$. Cette construction lui permet de construire un nombre super-exponentiel de polytopes $\textit{neighborly}$ distincts. Le concept de $\textit{neighborliness}$ s'étend naturellement aux matroïdes orientés. Les duaux de matroïdes orientés $\textit{neighborly}$ ont de plus une belle caractérisation: ce sont les matroïdes orientés équilibrés. Dans cet article, nous généralisons la construction de couture de Shemer aux matroïdes orientés, ce qui en fournit une démonstration plus simple. Par ailleurs, nous proposons une nouvelle technique qui permet de construire matroïdes orientés équilibrés. Dans le cadre dual, on obtient un matroïde $\textit{neighborly}$ dont la contraction à un sommet distinguè est un matroïde $\textit{neighborly}$ prescrit. Nous comparons les familles de polytopes qui peuvent être construites avec ces deux méthodes, et montrons que la nouvelle construction permet de construire plusieurs nouveaux polytopes.


2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Antonio Bernini ◽  
Luca Ferrari ◽  
Renzo Pinzani ◽  
Julian West

International audience We introduce the notion of $\textit{pattern}$ in the context of lattice paths, and investigate it in the specific case of Dyck paths. Similarly to the case of permutations, the pattern-containment relation defines a poset structure on the set of all Dyck paths, which we call the $\textit{Dyck pattern poset}$. Given a Dyck path $P$, we determine a formula for the number of Dyck paths covered by $P$, as well as for the number of Dyck paths covering $P$. We then address some typical pattern-avoidance issues, enumerating some classes of pattern-avoiding Dyck paths. Finally, we offer a conjecture concerning the asymptotic behavior of the sequence counting Dyck paths avoiding a generic pattern and we pose a series of open problems regarding the structure of the Dyck pattern poset.


Sign in / Sign up

Export Citation Format

Share Document