scholarly journals Noncrossing sets and a Graßmannian associahedron

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Francisco Santos ◽  
Christian Stump ◽  
Volkmar Welker
Keyword(s):  
Simplicial Complex ◽  
Natural Generalization ◽  
Simplicial Polytope ◽  
Weak Separability ◽  
Initial Ideal ◽  
Nous Montrons ◽  
International Audience ◽  
Order Polytope

International audience We study a natural generalization of the noncrossing relation between pairs of elements in $[n]$ to $k$-tuples in $[n]$. We show that the flag simplicial complex on $\binom{[n]}{k}$ induced by this relation is a regular, unimodular and flag triangulation of the order polytope of the poset given by the product $[k] \times [n-k]$ of two chains, and it is the join of a simplex and a sphere (that is, it is a Gorenstein triangulation). This shows the existence of a flag simplicial polytope whose Stanley-Reisner ideal is an initial ideal of the Graßmann-Plücker ideal, while previous constructions of such a polytope did not guaranteed flagness. The simplicial complex and the polytope derived from it naturally reflect the relations between Graßmannians with different parameters, in particular the isomorphism $G_{k,n} \cong G_{n-k,n}$. This simplicial complex is closely related to the weak separability complex introduced by Zelevinsky and Leclerc. Nous étudions une généralisation naturelle de la relation entre les paires d’éléments non-croisés de $[n]$ et les $k$-uplets de $[n]$. Nous montrons que le complexe simplicial de drapeau sur $\binom{[n]}{k}$ induit par cette relation est une triangulation régulière, unimodulaire et de drapeau du polytope d’ordre de l’ensemble partiellement ordonné obtenu par le produit $[k] \times [n-k]$ des deux chaînes, et c’est la jointure d’un simplexe et une sphère (c’est-à-dire qu’elle est une triangulation de Gorenstein). Cela montre l’existence d’un polytope simplicial de drapeau dont l’idéal de Stanley-Reisner est un idéal initial de l’idéal de Graßmann-Plücker, tandis que les constructions précédentes d’un tel polytope ne garantissaient pas la propriété de drapeau. Le complexe simplicial et le polytope qui en découle reflètent naturellement les relations entre les Grassmanniens avec différents paramètres, en particulier l’isomorphisme $G_{k,n} \cong G_{n-k,n}$. Ce complexe simplicial est étroitement lié au complexe de séparabilité faible étudié par Zelevinskyet Leclerc.

scholarly journals NONCROSSING SETS AND A GRASSMANN ASSOCIAHEDRON

2017 ◽  
Vol 5 ◽  
Author(s):  
FRANCISCO SANTOS ◽  
CHRISTIAN STUMP ◽  
VOLKMAR WELKER
Keyword(s):  
Simplicial Complex ◽  
Natural Generalization ◽  
Adjacency Graph ◽  
Simplicial Polytope ◽  
Acyclic Orientation ◽  
Weak Separability ◽  
Initial Ideal ◽  
Alternative Approach ◽  
Invariant Part ◽  
Order Polytope

We study a natural generalization of the noncrossing relation between pairs of elements in$[n]$to$k$-tuples in$[n]$that was first considered by Petersenet al.[J. Algebra324(5) (2010), 951–969]. We give an alternative approach to their result that the flag simplicial complex on$\binom{[n]}{k}$induced by this relation is a regular, unimodular and flag triangulation of the order polytope of the poset given by the product$[k]\times [n-k]$of two chains (also called Gelfand–Tsetlin polytope), and that it is the join of a simplex and a sphere (that is, it is a Gorenstein triangulation). We then observe that this already implies the existence of a flag simplicial polytope generalizing the dual associahedron, whose Stanley–Reisner ideal is an initial ideal of the Grassmann–Plücker ideal, while previous constructions of such a polytope did not guarantee flagness nor reduced to the dual associahedron for$k=2$. On our way we provide general results about order polytopes and their triangulations. We call the simplicial complex thenoncrossing complex, and the polytope derived from it the dualGrassmann associahedron. We extend results of Petersenet al.[J. Algebra324(5) (2010), 951–969] showing that the noncrossing complex and the Grassmann associahedron naturally reflect the relations between Grassmannians with different parameters, in particular the isomorphism$G_{k,n}\cong G_{n-k,n}$. Moreover, our approach allows us to show that the adjacency graph of the noncrossing complex admits a natural acyclic orientation that allows us to define aGrassmann–Tamari orderon maximal noncrossing families. Finally, we look at the precise relation of the noncrossing complex and the weak separability complex of Leclerc and Zelevinsky [Amer. Math. Soc. Transl.181(2) (1998), 85–108]; see also Scott [J. Algebra290(1) (2005), 204–220] among others. We show that the weak separability complex is not only a subcomplex of the noncrossing complex as noted by Petersenet al.[J. Algebra324(5) (2010), 951–969] but actually its cyclically invariant part.

scholarly journals Critical Groups of Simplicial Complexes

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Art M. Duval ◽  
Caroline J. Klivans ◽  
Jeremy L. Martin
Keyword(s):  
Simplicial Complex ◽  
Spanning Trees ◽  
Simplicial Complexes ◽  
Chow Groups ◽  
Critical Group ◽  
Critical Groups ◽  
Combinatorial Laplacian ◽  
Nous Montrons ◽  
International Audience ◽  
Laplacian Operators

International audience We generalize the theory of critical groups from graphs to simplicial complexes. Specifically, given a simplicial complex, we define a family of abelian groups in terms of combinatorial Laplacian operators, generalizing the construction of the critical group of a graph. We show how to realize these critical groups explicitly as cokernels of reduced Laplacians, and prove that they are finite, with orders given by weighted enumerators of simplicial spanning trees. We describe how the critical groups of a complex represent flow along its faces, and sketch another potential interpretation as analogues of Chow groups. Nous généralisons la théorie des groupes critiques des graphes aux complexes simpliciaux. Plus précisément, pour un complexe simplicial, nous définissons une famille de groupes abéliens en termes d'opérateurs de Laplace combinatoires, qui généralise la construction du groupe critique d'un graphe. Nous montrons comment réaliser ces groupes critiques explicitement comme conoyaux des opérateurs de Laplace réduits combinatoires, et montrons qu'ils sont finis. Leurs ordres sont obtenus en comptant (avec des poids) des arbres simpliciaux couvrants. Nous décrivons comment les groupes critiques d'un complexe représentent le flux le long de ses faces, et esquissons une autre interprétation potentielle comme analogues des groupes de Chow.

scholarly journals Generalized triangulations, pipe dreams, and simplicial spheres

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Luis Serrano ◽  
Christian Stump
Keyword(s):  
Simplicial Complex ◽  
Canonical Connection ◽  
Cyclic Sieving Phenomenon ◽  
North East ◽  
Schubert Polynomials ◽  
Dyck Paths ◽  
Nous Montrons ◽  
International Audience ◽  
Vertex Decomposable ◽  
Cyclic Sieving

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.

scholarly journals Macdonald polynomials at $t=q^k$

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Jean-Gabriel Luque
Keyword(s):  
Macdonald Polynomials ◽  
Nous Montrons ◽  
International Audience

International audience We investigate the homogeneous symmetric Macdonald polynomials $P_{\lambda} (\mathbb{X} ;q,t)$ for the specialization $t=q^k$. We show an identity relying the polynomials $P_{\lambda} (\mathbb{X} ;q,q^k)$ and $P_{\lambda} (\frac{1-q}{1-q^k}\mathbb{X} ;q,q^k)$. As a consequence, we describe an operator whose eigenvalues characterize the polynomials $P_{\lambda} (\mathbb{X} ;q,q^k)$. Nous nous intéressons aux propriétés des polynômes de Macdonald symétriques $P_{\lambda} (\mathbb{X} ;q,t)$ pour la spécialisation $t=q^k$. En particulier nous montrons une égalité reliant les polynômes $P_{\lambda} (\mathbb{X} ;q,q^k)$ et $P_{\lambda} (\frac{1-q}{1-q^k}\mathbb{X} ;q,q^k)$. Nous en déduisons la description d'un opérateur dont les valeurs propres caractérisent les polynômes $P_{\lambda} (\mathbb{X} ;q,q^k)$.

scholarly journals Affine descents and the Steinberg torus

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Kevin Dilks ◽  
T. Kyle Petersen ◽  
John R. Stembridge
Keyword(s):  
Weyl Group ◽  
Generating Functions ◽  
Cell Complex ◽  
Premier Lieu ◽  
Coxeter Complex ◽  
Affine Weyl Group ◽  
Nous Montrons ◽  
International Audience ◽  
Translation Subgroup

International audience Let $W \ltimes L$ be an irreducible affine Weyl group with Coxeter complex $\Sigma$, where $W$ denotes the associated finite Weyl group and $L$ the translation subgroup. The Steinberg torus is the Boolean cell complex obtained by taking the quotient of $\Sigma$ by the lattice $L$. We show that the ordinary and flag $h$-polynomials of the Steinberg torus (with the empty face deleted) are generating functions over $W$ for a descent-like statistic first studied by Cellini. We also show that the ordinary $h$-polynomial has a nonnegative $\gamma$-vector, and hence, symmetric and unimodal coefficients. In the classical cases, we also provide expansions, identities, and generating functions for the $h$-polynomials of Steinberg tori. Nous considérons un groupe de Weyl affine irréductible $W \ltimes L$ avec complexe de Coxeter $\Sigma$, où $W$ désigne le groupe de Weyl fini associé et $L$ le sous-groupe des translations. Le tore de Steinberg est le complexe cellulaire Booléen obtenu comme le quotient de $\Sigma$ par $L$. Nous montrons que les $h$-polynômes, ordinaires et de drapeaux, du tore de Steinberg (sans la face vide) sont des fonctions génératrices sur $W$ pour une statistique de type descente, étudiée en premier lieu par Cellini. Nous montrons également qu'un $h$-polynôme ordinaire possède un $\gamma$-vecteur positif, et par conséquent, a des coefficients symétriques et unimodaux. Dans les cas classiques, nous donnons également des développements, des identités et des fonctions génératrices pour les $h$-polynômes des tores de Steinberg.

scholarly journals Appsgate, a Programmable Domestic Eco-system: Learning from "Living in it"

2018 ◽  
Vol Volume 7, Number 1 (Research articles) ◽  
Author(s):  
Joëlle Coutaz ◽  
James L. Crowley
Keyword(s):  
Real World ◽  
Real Life ◽  
End Users ◽  
Team Members ◽  
Mise En Œuvre ◽  
Person Perspective ◽  
Nous Montrons ◽  
International Audience ◽  
Living Labs ◽  
First Person Perspective

International audience We present an experience with the development and evaluation of AppsGate, an ecosystem for the home that can be programmed by end-users. We show the benefits from using the homes of the project team members as real-life living-labs. In particular, we discuss the first person perspective experience as an effective way to conduct longitudinal experiments in real world settings. We conclude that a programmable habitat is desirable provided that attention cost is minimized Cet article présente un retour d’expérience avec la mise en oeuvre et l’évaluation d’AppsGate, un écosystème domestique programmable par l’habitant. Nous montrons l’apport de l’utilisation des domiciles de membres du projet tout au long du processus de développement, et notamment l’intérêt de « vivre avec » comme technique d’expérimentation longitudinale

scholarly journals Mixed volumes of hypersimplices

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Gaku Liu
Keyword(s):  
Catalan Numbers ◽  
Binomial Coefficients ◽  
Type B ◽  
Combinatorial Interpretation ◽  
Mixed Volumes ◽  
Eulerian Numbers ◽  
Eulerian Number ◽  
Nous Montrons ◽  
Set Of Permutations ◽  
International Audience

International audience In this extended abstract we consider mixed volumes of combinations of hypersimplices. These numbers, called mixed Eulerian numbers, were first considered by A. Postnikov and were shown to satisfy many properties related to Eulerian numbers, Catalan numbers, binomial coefficients, etc. We give a general combinatorial interpretation for mixed Eulerian numbers and prove the above properties combinatorially. In particular, we show that each mixed Eulerian number enumerates a certain set of permutations in $S_n$. We also prove several new properties of mixed Eulerian numbers using our methods. Finally, we consider a type $B$ analogue of mixed Eulerian numbers and give an analogous combinatorial interpretation for these numbers. Dans ce résumé étendu nous considérons les volumes mixtes de combinaisons d’hyper-simplexes. Ces nombres, appelés les nombres Eulériens mixtes, ont été pour la première fois étudiés par A. Postnikov, et il a été montré qu’ils satisfont à de nombreuses propriétés reliées aux nombres Eulériens, au nombres de Catalan, aux coefficients binomiaux, etc. Nous donnons une interprétation combinatoire générale des nombres Eulériens mixtes, et nous prouvons combinatoirement les propriétés mentionnées ci-dessus. En particulier, nous montrons que chaque nombre Eulérien mixte compte les éléments d’un certain sous-ensemble de l’ensemble des permutations $S_n$. Nous établissons également plusieurs nouvelles propriétés des nombres Eulériens mixtes grâce à notre méthode. Pour finir, nous introduisons une généralisation en type $B$ des nombres Eulériens mixtes, et nous en donnons une interprétation combinatoire analogue.

scholarly journals Bridge Graphs and Deodhar Parametrizations for Positroid Varieties

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Rachel Karpman
Keyword(s):  
Particle Physics ◽  
Dense Subset ◽  
Regular Map ◽  
Nous Montrons ◽  
Planar Network ◽  
International Audience ◽  
Nous Appellerons ◽  
Combinatorial Constructions ◽  
Obtient Alors ◽  
The Relationship

International audience A <i>parametrization</i> of a positroid variety $\Pi$ of dimension $d$ is a regular map $(\mathbb{C}^{\times})^{d} \rightarrow \Pi$ which is birational onto a dense subset of $\Pi$. There are several remarkable combinatorial constructions which yield parametrizations of positroid varieties. We investigate the relationship between two families of such parametrizations, and prove they are essentially the same. Our first family is defined in terms of Postnikov’s <i>boundary measurement map</i>, and the domain of each parametrization is the space of edge weights of a planar network. We focus on a special class of planar networks called <i>bridge graphs</i>, which have applications to particle physics. Our second family arises from Marsh and Rietsch’s parametrizations of Deodhar components of the flag variety, which are indexed by certain subexpressions of reduced words. Projecting to the Grassmannian gives a family of parametrizations for each positroid variety. We show that each Deodhar parametrization for a positroid variety corresponds to a bridge graph, while each parametrization from a bridge graph agrees with some projected Deodhar parametrization. Soit $\Pi$ une variété positroïde. Nous appellerons <i>paramétrisation</i> toute application régulière $(\mathbb{C}^{\times})^{d} \rightarrow \Pi$ qui est un isomorphisme birégulier sur un sous-ensemble dense de $\Pi$. On sait que plusieurs constructions combinatoires donnent des paramétrisations intéressantes. Le but du présent article est d’investiguer deux familles de telles paramétrisations et de montrer, essentiellement, qu’elles coïncident. La première famille trouve son origine dans la <i>fonction de mesure des bords</i> de Postnikov. Le domaine de chaque paramétrisation est en ce cas-ci l’ensemble de poids des arêtes d’un réseau planaire pondéré. Nous nous concentrons sur une classe particulière de réseaux planaires, les <i>graphes de ponts</i>, ayant des applications à la physique subatomique. La deuxième famille provient des paramétrisations de Marsh et de Rietsch des composantes de Deodhar (indexées par certaines sous-expressions de mots réduits de permutations) de la variété de drapeaux. On obtient alors des paramétrisations de cellules de positroïdes en appliquant la projection à la grassmannienne. Nous montrons que chaque paramétrisation de Deodhar correspond à un graphe de ponts; d’autre part, chaque paramétrisation provenant d’un graphe de ponts s’accorde avec quelque paramétrisation de Deodhar.

scholarly journals Word equations in a uniquely divisible group

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Christopher J. Hillar ◽  
Lionel Levine ◽  
Darren Rhea
Keyword(s):  
Positive Integer ◽  
Complete Classification ◽  
Irreducible Factor ◽  
Nous Obtenons ◽  
Nous Pensons ◽  
Word Equation ◽  
Nous Montrons ◽  
Finite Word ◽  
Word Equations ◽  
International Audience

International audience We study equations in groups $G$ with unique $m$-th roots for each positive integer $m$. A word equation in two letters is an expression of the form$ w(X,A) = B$, where $w$ is a finite word in the alphabet ${X,A}$. We think of $A,B ∈G$ as fixed coefficients, and $X ∈G$ as the unknown. Certain word equations, such as $XAXAX=B$, have solutions in terms of radicals: $X = A^-1/2(A^1/2BA^1/2)^1/3A^-1/2$, while others such as $X^2 A X = B$ do not. We obtain the first known infinite families of word equations not solvable by radicals, and conjecture a complete classification. To a word w we associate a polynomial $P_w ∈ℤ[x,y]$ in two commuting variables, which factors whenever $w$ is a composition of smaller words. We prove that if $P_w(x^2,y^2)$ has an absolutely irreducible factor in $ℤ[x,y]$, then the equation $w(X,A)=B$ is not solvable in terms of radicals. Nous étudions des équations dans les groupes $G$ avec les $m$-th racines uniques pour chaque nombre entier positif m. Une équation de mot dans deux lettres est une expression de la forme $w(X, A) = B$, où $w$ est un mot fini dans l'alphabet ${X, A}$. Nous pensons $A, B ∈G$ en tant que coefficients fixes, et $X ∈G$ en tant que inconnu. Certaines équations de mot, telles que $XAXAX=B$, ont des solutions en termes de radicaux: $X = A^-1/2(A^1/2BA^1/2)^1/3A^-1/2$, alors que d'autres tel que $X^2 A X = B$ ne font pas. Nous obtenons les familles infinies d'abord connues des équations de mot non solubles par des radicaux, et conjecturons une classification complété. Á un mot $w$ nous associons un polynôme $P_w ∈ℤ[x, y]$ dans deux variables de permutation, qui factorise toutes les fois que $w$ est une composition de plus petits mots. Nous montrons que si $P_w(x^2, y^2)$ a un facteur absolument irréductible dans $ℤ[x, y]$, alors l'équation $w(X, A)=B$ n'est pas soluble en termes de radicaux.

scholarly journals Enumerating (2+2)-free posets by the number of minimal elements and other statistics

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Sergey Kitaev ◽  
Jeffrey Remmel
Keyword(s):  
Generating Function ◽  
Minimal Elements ◽  
Nous Montrons ◽  
International Audience ◽  
Ascent Sequences ◽  
Special Case

International audience A poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. In a recent paper, Bousquet-Mélou et al. found, using so called ascent sequences, the generating function for the number of (2+2)-free posets: $P(t)=∑_n≥ 0 ∏_i=1^n ( 1-(1-t)^i)$. We extend this result by finding the generating function for (2+2)-free posets when four statistics are taken into account, one of which is the number of minimal elements in a poset. We also show that in a special case when only minimal elements are of interest, our rather involved generating function can be rewritten in the form $P(t,z)=∑_n,k ≥0 p_n,k t^n z^k = 1+ ∑_n ≥0\frac{zt}{(1-zt)^n+1}∏_i=1^n (1-(1-t)^i)$ where $p_n,k$ equals the number of (2+2)-free posets of size $n$ with $k$ minimal elements. Un poset sera dit (2+2)-libre s'il ne contient aucun sous-poset isomorphe à 2+2, l'union disjointe de deux chaînes à deux éléments. Dans un article récent, Bousquet-Mélou et al. ont trouvé, à l'aide de "suites de montées'', la fonction génératrice des nombres de posets (2+2)-libres: c'est $P(t)=∑_n≥ 0 ∏_i=1^n ( 1-(1-t)^i)$. Nous étendons ce résultat en trouvant la fonction génératrice des posets (\textrm2+2)-libres rendant compte de quatre statistiques, dont le nombre d'éléments minimaux du poset. Nous montrons aussi que lorsqu'on ne s'intéresse qu'au nombre d'éléments minimaux, notre fonction génératrice assez compliquée peut être simplifiée en$P(t,z)=∑_n,k ≥0 p_n,k t^n z^k = 1+ ∑_n ≥0\frac{zt}{(1-zt)^n+1}∏_i=1^n (1-(1-t)^i)$, où $p_n,k$ est le nombre de posets (2+2)-libres de taille $n$ avec $k$ éléments minimaux.

Sign in / Sign up

Export Citation Format

Share Document