Search

We express the matroid polytope $P_M$ of a matroid $M$ as a signed Minkowski sum of simplices, and obtain a formula for the volume of $P_M$. This gives a combinatorial expression for the degree of an arbitrary torus orbit closure in the Grassmannian $Gr_{k,n}$. We then derive analogous results for the independent set polytope and the associated flag matroid polytope of $M$. Our proofs are based on a natural extension of Postnikov's theory of generalized permutohedra., On exprime le polytope matroïde $P_M$ d'un matroïde $M$ comme somme signée de Minkowski de simplices, et on obtient une formule pour le volume de $P_M$. Ceci donne une expression combinatoire pour le degré d'une clôture d'orbite de tore dans la Grassmannienne $Gr_{k,n}$. Ensuite, on déduit des résultats analogues pour le polytope ensemble indépendant et pour le polytope matroïde drapeau associé à $M$. Nos preuves sont fondées sur une extension naturelle de la théorie de Postnikov de permutoèdres généralisés.

In this paper we analyze O'Hara's partition bijection. We present three type of results. First, we show that O'Hara's bijection can be viewed geometrically as a certain scissor congruence type result. Second, we obtain a number of new complexity bounds, proving that O'Hara's bijection is efficient in several special cases and mildly exponential in general. Finally, we prove that for identities with finite support, the map of the O'Hara's bijection can be computed in polynomial time, i.e. much more efficiently than by O'Hara's construction., 20 pages, 4 figures

The election is a classical problem in distributed algorithmic. It aims to design and to analyze a distributed algorithm choosing a node in a graph, here, in a tree. In this paper, a class of randomized algorithms for the election is studied. The election amounts to removing leaves one by one until the tree is reduced to a unique node which is then elected. The algorithm assigns to each leaf a probability distribution (that may depends on the information transmitted by the eliminated nodes) used by the leaf to generate its remaining random lifetime. In the general case, the probability of each node to be elected is given. For two categories of algorithms, close formulas are provided.

The polymake software system deals with convex polytopes and related objects from geometric combinatorics. This note reports on a new implementation of a subclass for lattice polytopes. The features displayed are enabled by recent changes to the polymake core, which will be discussed briefly., 12 pages, 1 figure

Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We put ASMs into a larger context by studying the order ideals of subposets of a certain poset, proving that they are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self―complementary plane partitions (TSSCPPs), Catalan objects, tournaments, semistandard Young tableaux, and totally symmetric plane partitions. We use this perspective to prove an expansion of the tournament generating function as a sum over TSSCPPs which is analogous to a known formula involving ASMs., Les matrices à signe alternant (ASMs) sont des matrices carrées dont les coefficients sont 0,1 ou -1, telles que dans chaque ligne et chaque colonne la somme des entrées vaut 1 et les entrées non nulles ont des signes qui alternent. Nous incluons les ASMs dans un cadre plus vaste, en étudiant les idéaux des sous-posets d'un certain poset, dont nous prouvons qu'ils sont en bijection avec de nombreux objets combinatoires intéressants, tels que les ASMs, les partitions planes totalement symétriques autocomplémentaires (TSSCPPs), des objets comptés par les nombres de Catalan, les tournois, les tableaux semistandards, ou les partitions planes totalement symétriques. Nous utilisons ce point de vue pour démontrer un développement de la série génératrice des tournois en une somme portant sur les TSSCPPs, analogue à une formule déjà connue faisant appara\^ıtre les ASMs.

In this article, we investigate the asymptotic occurrence rates of specific subwords in any infinite binary word. We prove that the asymptotic occurrence rate for the subwords is upper- and lower-bounded in the same way for every infinite binary word, in terms of the asymptotic occurrence rate of the zeros. We also show that both of the bounds are best-possible by constructing, for each bound, a concrete infinite binary word such that the bound is reached. Moreover, we apply the result to analyses of recently-proposed pseudorandom number generators that are based on integer-valued variants of logistic maps., Dans cet article, nous étudions les fréquences asymptotiques d’occurrence de suites spécifiques dans tout mot binaire infini. Nous prouvons que la fréquence asymptotique d’occurrence pour ces suites est borné supérieurement et inférieurement de la même façon pour chaque mot binaire infini, en termes des fréquences asymptotiques d’occurrence de zéros. Nous montrons aussi que les deux limites sont les meilleures possibles en construisant concrètement, pour chaque limite, un mot binaire infini tel que la borne est atteinte à la limite. De plus, nous appliquons ce résultat à des analyses de générateurs de nombres pseudo-aléatoires proposés récemment qui sont basés sur des variantes des fonctions logistiques à valeurs entières.

A new class of functions is studied. We define the Brauer-Schur functions $B^{(p)}_{\lambda}$ for a prime number $p$, and investigate their properties. We construct a basis for the space of symmetric functions, which consists of products of $p$-Brauer-Schur functions and Schur functions. We will see that the transition matrix from the natural Schur function basis has some interesting numerical properties.

We study the Gilbert-Shannon-Reeds model for riffle shuffles and ask 'How many times must a deck of cards be shuffled for the deck to be in close to random order?'. In 1992, Bayer and Diaconis gave a solution which gives exact and asymptotic results for all decks of practical interest, e.g. a deck of 52 cards. But what if one only cares about the colors of the cards or disregards the suits focusing solely on the ranks? More generally, how does the rate of convergence of a Markov chain change if we are interested in only certain features? Our exploration of this problem takes us through random walks on groups and their cosets, discovering along the way exact formulas leading to interesting combinatorics, an 'amazing matrix', and new analytic methods which produce a completely general asymptotic solution that is remarkable accurate., 11 pages; To appear in DMTCS as part of the conference proceedings for FPSAC 2009

We define a poset using the shortest paths in the Bruhat graph of a finite Coxeter group $W$ from the identity to the longest word in $W, w_0$. We show that this poset is the union of Boolean posets of rank absolute length of $w_0$; that is, any shortest path labeled by reflections $t_1,\ldots,t_m$ is fully commutative. This allows us to give a combinatorial interpretation to the lowest-degree terms in the complete $\textbf{cd}$-index of $W$., Nous définissons un poset en utilisant le plus court chemin entre l'identité et le plus long mot de $W, w_0$, dans le graph de Bruhat du groupe finie Coxeter, $W$. Nous prouvons que ce poset est l'union de posets Boolean du même rang que la longueur absolute de $w_0$; ça signifie que tous les plus courts chemins, étiquetés par réflexions $t_1,\ldots, t_m$ sont totalement commutatives. Ça nous permet de donner une interprétation combinatoire aux termes avec le moindre grade dans le $\textbf{cd}$-index complet de $W$.

The aim of this work is to enumerate alternating sign matrices (ASM) that are quasi-invariant under a quarter-turn. The enumeration formula (conjectured by Duchon) involves, as a product of three terms, the number of unrestrited ASm's and the number of half-turn symmetric ASM's., L'objet de ce travail est d'énumérer les matrices à signes alternants (ASM) quasi-invariantes par rotation d'un quart-de-tour. La formule d'énumération, conjecturée par Duchon, fait apparaître trois facteurs, comprenant le nombre d'ASM quelconques et le nombre d'ASM invariantes par demi-tour.

We consider Buch's rule for K-theory of the Grassmannian, in the Schur multiplicity-free cases classified by Stembridge. Using a result of Knutson, one sees that Buch's coefficients are related to Möbius inversion. We give a direct combinatorial proof of this by considering the product expansion for Grassmannian Grothendieck polynomials. We end with an extension to the multiplicity-free cases of Thomas and Yong., On examine la règle de Buch pour la K-théorie de la variété grassmannienne dans les cas sans multiplicité de Schur, qui ont étés classifiés par Stembridge. En utilisant un résultat de Knutson, on démontre que les coefficients de Buch sont liés à l'inversion de Möbius. On en fait une preuve directe et combinatoire qui passe par le developpement de produits de polynômes de Grothendieck. Pour conclure, on donne une application de cette théorie aux cas sans multiplicité de Thomas et Yong.

We propose an $\textit{experimental mathematics approach}$ leading to the computer-driven $\textit{discovery}$ of various conjectures about structural properties of generating functions coming from enumeration of restricted lattice walks in 2D and in 3D.

Let $V$ be a complex vector space with basis $\{x_1,x_2,\ldots,x_n\}$ and $G$ be a finite subgroup of $GL(V)$. The tensor algebra $T(V)$ over the complex is isomorphic to the polynomials in the non-commutative variables $x_1, x_2, \ldots, x_n$ with complex coefficients. We want to give a combinatorial interpretation for the decomposition of $T(V)$ into simple $G$-modules. In particular, we want to study the graded space of invariants in $T(V)$ with respect to the action of $G$. We give a general method for decomposing the space $T(V)$ into simple $G$-module in terms of words in a particular Cayley graph of $G$. To apply the method to a particular group, we require a surjective homomorphism from a subalgebra of the group algebra into the character algebra. In the case of the symmetric group, we give an example of this homomorphism from the descent algebra. When $G$ is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words., Soit V un espace vectoriel complexe de base $\{x_1,x_2,\ldots,x_n\}$ et $G$ un sous-groupe fini de $GL(V)$. L'algèbre $T(V)$ des tenseurs de $V$ sur les complexes est isomorphe aux polynômes à coefficients complexes en variables non-commutatives $x_1, x_2, \ldots, x_n$. Nous voulons donner une décomposition de $T(V)$ en $G$-modules simples de manière combinatoire. Plus particulièrement, nous étudions l'espace gradué des invariants de $T(V)$ sous l'action de $G$. Nous présentons une méthode générale donnant la décomposition de $T(V)$ en modules simples via certains mots dans un graphe de Cayley donné. Pour appliquer la méthode à un groupe particulier, nous avons besoin d'un homomorphisme surjectif entre une sous-algèbre de l'algèbre de groupe et l'algèbre des caractères. Pour le cas du groupe symétrique, nous donnons un exemple de cet homomorphisme qui provient de la théorie de l'algèbre des descentes. Pour le groupe diédral, nous avons une réalisation de l'algèbre des caractères comme une sous-algèbre de l'algèbre de groupe. Dans ces deux cas, nous avons une interprétation des dimensions graduées de l'espace des invariants en terme de ces mots.

For nonexceptional types, we prove a conjecture of Hatayama et al. about the prefectness of Kirillov―Reshetikhin crystals., Pour les types non-exceptionnels, on démontre une conjecture de Hatayama et al. concernant la perfection des cristaux de Kirillov―Reshetikhin.

Algebraic complexes whose "faces'' are indexed by partitions and plane partitions are introduced, and their homology is proven to be concentrated in even dimensions with homology basis indexed by fixed points of an involution, thereby explaining topologically two quite important instances of Stembridge's $q=-1$ phenomenon. A more general framework of invariant and coinvariant complexes with coefficients taken $\mod 2$ is developed, and as a part of this story an analogous topological result for necklaces is conjectured., Complexes algébriques dont les "faces'' sont indexées par des partitions et des partitions planes sont introduits. Il est démontré que leur homologie est concentrée en dimensions paires, avec base de homologie indexée par des points fixes d'une involution. Ce résultat explique d'une manière topologique deux instances du phénomène $q=-1$ dû a Stembridge. De plus, un cadre plus général des complexes invariants et coinvariants dont les coefficients sont pris modulo $2$ est développé. Comme part de cette histoire, nous conjecturons un résultat analogue pour des colliers.

In this article we study a class of monoids that includes Garside monoids, and give a simple combinatorial proof of a formula for the formal sum of all elements of the monoid. This leads to a formula for the growth function of the monoid in the homogeneous case, and can also be lifted to a resolution of the monoid algebra. These results are then applied to known monoids related to Coxeter systems: we give the growth function of the Artin-Tits monoids, and do the same for the dual braid monoids. In this last case we show that the monoid algebras of the dual braid monoids of type A and B are Koszul algebras., Nous étudions une classe de monoïdes incluant les monoïdes de Garside, et donnons une preuve combinatoire simple d'une formule pour la somme formelle de leurs éléments. Cela mène à une formule pour la fonction de croissance du monoïde dans le cas homogène, et peut être aussi relevé en une résolution de l'algèbre de monoïdes. Ces résultats sont ensuite appliqués aux monoïdes liés aux systèmes de Coxeter : nous donnons la fonction de croissance des monoïdes d'Artin-Tits ainsi que des monoïdes duaux ; pour ces derniers nous montrons que leur algèbre de monoïde en types A et B est une algèbre de Koszul.

For a fixed sequence of $n$ positive integers $(a,\bar{b}) := (a, b, b,\ldots, b)$, an $(a,\bar{b})$-parking function of length $n$ is a sequence $(p_1, p_2, \ldots, p_n)$ of positive integers whose nondecreasing rearrangement $q_1 \leq q_2 \leq \cdots \leq q_n$ satisfies $q_i \leq a+(i-1)b$ for any $i=1,\ldots, n$. A $(a,\bar{b})$-forest on $n$-set is a rooted vertex-colored forests on $n$-set whose roots are colored with the colors $0, 1, \ldots, a-1$ and the other vertices are colored with the colors $0, 1, \ldots, b-1$. In this paper, we construct a bijection between $(bc,\bar{b})$-parking functions of length $n$ and $(bc,\bar{b})$-forests on $n$-set with some interesting properties. As applications, we obtain a generalization of Gessel and Seo's result about $(c,\bar{1})$-parking functions [Ira M. Gessel and Seunghyun Seo, Electron. J. Combin. $\textbf{11}$(2)R27, 2004] and a refinement of Yan's identity [Catherine H. Yan, Adv. Appl. Math. $\textbf{27}$(2―3):641―670, 2001] between an inversion enumerator for $(bc,\bar{b})$-forests and a complement enumerator for $(bc,\bar{b})$-parking functions., Soit $(a,\bar{b}) := (a, b, b,\ldots, b)$ une suite d'entiers positifs. Une $(a,\bar{b})$-fonction de parking est une suite $(p_1, p_2, \ldots, p_n)$ d'entiers positives telle que son réarrangement non décroissant $q_1 \leq q_2 \leq \cdots \leq q_n$ satisfait $q_i \leq a+(i-1)b$ pour tout $i=1,\ldots, n$. Une $(a,\bar{b})$-forêt enracinée sur un $n$-ensemble est une forêt enracinée dont les racines sont colorées avec les couleurs $0, 1, \ldots, a-1$ et les autres sommets sont colorés avec les couleurs $0, 1, \ldots, b-1$. Dans cet article, on construit une bijection entre $(bc,\bar{b})$-fonctions de parking et $(bc,\bar{b})$-forêts avec des des propriétés intéressantes. Comme applications, on obtient une généralisation d'un résultat de Gessel-Seo sur $(c,\bar{1})$-fonctions de parking [Ira M. Gessel and Seunghyun Seo, Electron. J. Combin. $\textbf{11}$(2)R27, 2004] et une extension de l'identité de Yan [Catherine H. Yan, Adv. Appl. Math. $\textbf{27}$(2―3):641―670, 2001] entre l'énumérateur d'inversion de $(bc,\bar{b})$-forêts et l'énumérateur complémentaire de $(bc,\bar{b})$-fonctions de parking.

In this article, we propose a generalization of the notion of chordal graphs to signed graphs, which is based on the existence of a perfect elimination ordering for a chordal graph. We give a special kind of filtrations of the generalized chordal graphs, and show a characterization of those graphs. Moreover, we also describe a relation between signed graphs and a certain class of multiarrangements of hyperplanes, and show a characterization of free multiarrangements in that class in terms of the generalized chordal graphs, which generalizes a well-known result by Stanley on free hyperplane arrangements. Finally, we give a remark on a relation of our results with a recent conjecture by Athanasiadis on freeness characterization for another class of hyperplane arrangements., Dans cet article, nous proposons une généralisation de la notion des graphes triangulés à graphes signés, qui est basée sur l'existence d'un ordre d'élimination simplicial à un graphe triangulé. Nous donnons un genre spécial de filtrations des graphes triangulés généralisés, et montrons une caractérisation de ces graphes. De plus, nous décrivons aussi une relation entre graphes signés et une certaine classe de multicompositions d'hyperplans, et montrons une caractérisation de multicompositions libres dans cette classe en termes des graphes triangulés généralisés, qui généralise un résultat célèbre de Stanley sur compositions libres d'hyperplans. Finalement, nous donnons une remarque sur une relation de nos résultats avec une conjecture récente d'Athanasiadis sur une caractérisation du freeness d'une autre classe de compositions d'hyperplans.

We define a new lattice structure on the elements of a finite Coxeter group W. This lattice, called the shard intersection order, is weaker than the weak order and has the noncrossing partition lattice NC(W) as a sublattice. The new construction of NC(W) yields a new proof that NC(W) is a lattice. The shard intersection order is graded and its rank generating function is the W-Eulerian polynomial. Many order-theoretic properties of the shard intersection order, like Mobius number, number of maximal chains, etc., are exactly analogous to the corresponding properties of NC(W). There is a natural dimension-preserving bijection between simplices in the order complex of the shard intersection order (i.e. chains in the shard intersection order) and simplices in a certain pulling triangulation of the W-permutohedron. Restricting the bijection to the order complex of NC(W) yields a bijection to simplices in a pulling triangulation of the W-associahedron. The shard intersection order is defined indirectly via the polyhedral geometry of the reflecting hyperplanes of W. Indeed, most of the results of the paper are proven in the more general setting of simplicial hyperplane arrangements., 44 pages, 15 figures

The absolute order on the hyperoctahedral group $B_n$ is investigated. It is shown that every closed interval in this order is shellable, those closed intervals which are lattices are characterized and their zeta polynomials are computed. Moreover, using the notion of strong constructibility, it is proved that the order ideal generated by the Coxeter elements of $B_n$ is homotopy Cohen-Macaulay and the Euler characteristic of the order complex of the proper part of this ideal is computed. Finally, an example of a non Cohen-Macaulay closed interval in the absolute order on the group $D_4$ is given and the closed intervals of $D_n$ which are lattices are characterized., Nous étudions l'ordre absolu sur le groupe hyperoctahédral $B_n$. Nous montrons que chaque intervalle fermé de cet ordre est shellable, caractérisons les treillis parmi ces intervalles et calculons les polynômes zêta de ces derniers. De plus, en utilisant la notion de constructibilité forte, nous prouvons que l'idéal engendré par les éléments de Coxeter de $B_n$ est Cohen-Macaulay pour l'homotopie, et nous calculons la caractéristique d'Euler du complexe associé à cet idéal. Pour finir, nous exhibons un exemple d'intervalle fermé non Cohen-Macaulay dans l'ordre absolu du groupe $D_4$, et caractérisons les intervalles fermés de $D_n$ qui sont des treillis.

Free cumulants are nice and useful functionals of the shape of a Young diagram, in particular they give the asymptotics of normalized characters of symmetric groups $\mathfrak{S}(n)$ in the limit $n \to \infty$. We give an explicit combinatorial formula for normalized characters of the symmetric groups in terms of free cumulants. We also express characters in terms of Frobenius coordinates. Our formulas involve counting certain factorizations of a given permutation. The main tool are Stanley polynomials which give values of characters on multirectangular Young diagrams., Les cumulants libres sont des fonctions agréables et utiles sur l'ensemble des diagrammes de Young, en particulier, ils donnent le comportement asymptotiques des caractères normalisés du groupe symétrique $\mathfrak{S}(n)$ dans la limite $n \to \infty$. Nous donnons une formule combinatoire explicite pour les caractères normalisés du groupe symétrique en fonction des cumulants libres. Nous exprimons également les caractères en fonction des coordonnées de Frobenius. Nos formules font intervenir le nombre de certaines factorisations d'une permutation donnée. L'outil principal est la famille de polynômes de Stanley donnant les valeurs des caractères sur les diagrammes de Young multirectangulaires.

A permutation $a_1a_2 \ldots a_n$ is $\textit{indecomposable}$ if there does not exist $p \lt n$ such that $a_1a_2 \ldots a_p$ is a permutation of $\{ 1,2, \ldots ,p\}$. We compute the asymptotic probability that a permutation of $\mathbb{S}_n$ with $m$ cycles is indecomposable as $n$ goes to infinity with $m/n$ fixed. The error term is $O(\frac{\log(n-m)}{ n-m})$. The asymptotic probability is monotone in $m/n$, and there is no threshold phenomenon: it degrades gracefully from $1$ to $0$. When $n=2m$, a slight majority ($51.1 \ldots$ percent) of the permutations are indecomposable. We also consider indecomposable fixed point free involutions which are in bijection with maps of arbitrary genus on orientable surfaces, for these involutions with $m$ left-to-right maxima we obtain a lower bound for the probability of being indecomposable., Une permutation $a_1a_2 \ldots a_n$ est $\textit{indécomposable}$, s’il n’existe pas de $p \lt n$ tel que $a_1a_2 \ldots a_p$ est une permutation de $\{ 1,2, \ldots ,p\}$. Nous calculons la probabilité pour qu’une permutation de $\mathbb{S}_n$ ayant $m$ cycles soit indécomposable et plus particulièrement son comportement asymptotique lorsque $n$ tend vers l’infini et que $m=n$ est fixé. Cette valeur décroît régulièrement de $1$ à $0$ lorsque $m=n$ croît, et il n’y a pas de phénomène de seuil. Lorsque $n=2m$, une faible majorité ($51.1 \ldots$ pour cent) des permutations sont indécomposables. Nous considérons aussi les involutions sans point fixe indécomposables qui sont en bijection avec les cartes de genre quelconque plongées dans une surface orientable, pour ces involutions ayant $m$ maxima partiels (ou records) nous obtenons une borne inférieure pour leur probabilité d’êtres indécomposables.

The $\textit{hiring problem}$ has been recently introduced by Broder et al. in last year's ACM-SIAM Symp. on Discrete Algorithms (SODA 2008), as a simple model for decision making under uncertainty. Candidates are interviewed in a sequential fashion, each one endowed with a quality score, and decisions to hire or discard them must be taken on the fly. The goal is to maintain a good rate of hiring while improving the "average'' quality of the hired staff. We provide here an alternative formulation of the hiring problem in combinatorial terms. This combinatorial model allows us the systematic use of techniques from combinatorial analysis, e. g., generating functions, to study the problem. Consider a permutation $\sigma :[1,\ldots, n] \to [1,\ldots, n]$. We process this permutation in a sequential fashion, so that at step $i$, we see the score or quality of candidate $i$, which is actually her face value $\sigma (i)$. Thus $\sigma (i)$ is the rank of candidate $i$; the best candidate among the $n$ gets rank $n$, while the worst one gets rank $1$. We define $\textit{rank-based}$ strategies, those that take their decisions using only the relative rank of the current candidate compared to the score of the previous candidates. For these strategies we can prove general theorems about the number of hired candidates in a permutation of length $n$, the time of the last hiring, and the average quality of the last hired candidate, using techniques from the area of analytic combinatorics. We apply these general results to specific strategies like hiring above the best, hiring above the median or hiring above the $m$th best; some of our results provide a complementary view to those of Broder et al., but on the other hand, our general results apply to a large family of hiring strategies, not just to specific cases.

We give two combinatorial interpretations of the Matrix Ansatz of the PASEP in terms of lattice paths and rook placements. This gives two (mostly) combinatorial proofs of a new enumeration formula for the partition function of the PASEP. Besides other interpretations, this formula gives the generating function for permutations of a given size with respect to the number of ascents and occurrences of the pattern $13-2$, the generating function according to weak exceedances and crossings, and the $n^{\mathrm{th}}$ moment of certain $q$-Laguerre polynomials., Nous donnons deux interprétations combinatoires du Matrix Ansatz du PASEP en termes de chemins et de placements de tours. Cela donne deux preuves (presque) combinatoires d'une nouvelle formule pour la fonction de partition du PASEP. Cette formule donne aussi par exemple la fonction génératrice des permutations de taille donnée par rapport au nombre de montées et d'occurrences du motif $13-2$, la fonction génératrice par rapport au nombre d'excédences faibles et de croisements, et le $n^{\mathrm{ième}}$ moment de certains polynômes de $q$-Laguerre.

We construct unital extensions of the higher order peak algebras defined by Krob and the third author in [Ann. Comb. 9 (2005), 411―430], and show that they can be obtained as homomorphic images of certain subalgebras of the Mantaci-Reutenauer algebras of type $B$. This generalizes a result of Bergeron, Nyman and the first author [Trans. AMS 356 (2004), 2781―2824]., Nous construisons des extensions unitaires des algèbres de pics d'ordre supérieur définies par Krob et le troisième auteur dans [Ann. Comb. 9 (2005), 411―430], et nous montrons qu'elles peuvent être obtenues comme images homomorphes de certaines sous-algèbres des algèbres de Mantaci-Reutenauer de type $B$. Ceci généralise un résultat dû à Bergeron, Nyman et au premier auteur [Trans. AMS 356 (2004), 2781―2824].

In the prequel to this paper, we showed how results of Mason involving a new combinatorial formula for polynomials that are now known as Demazure atoms (characters of quotients of Demazure modules, called standard bases by Lascoux and Schutzenberger) could be used to define a new basis for the ring of quasisymmetric functions we call Quasisymmetric Schur functions (QS functions for short). In this paper we develop the combinatorics of these polynomials futher, by showing that the product of a Schur function and a Demazure atom has a positive expansion in terms of Demazure atoms. As a by-product, using the fact that both a QS function and a Demazure character have explicit expressions as a positive sum of atoms, we obtain the expansion of a product of a Schur function with a QS function (Demazure character) as a positive sum of QS functions (Demazure characters). Our formula for the coefficients in the expansion of a product of a Demazure character and a Schur function into Demazure characters is similar to known results and includes in particular the famous Littlewood-Richardson rule for the expansion of a product of Schur functions in terms of the Schur basis., 16 pages; addressed referee comments; version as accepted by Transactions of the AMS

To a word $w$, we associate the rational function $\Psi_w = \prod (x_{w_i} - x_{w_{i+1}})^{-1}$. The main object, introduced by C. Greene to generalize identities linked to Murnaghan-Nakayama rule, is a sum of its images by certain permutations of the variables. The sets of permutations that we consider are the linear extensions of oriented graphs. We explain how to compute this rational function, using the combinatorics of the graph $G$. We also establish a link between an algebraic property of the rational function (the factorization of the numerator) and a combinatorial property of the graph (the existence of a disconnecting chain)., À un mot $w$, nous associons la fonction rationnelle $\Psi_w = \prod (x_{w_i} - x_{w_{i+1}})^{-1}$. L'objet principal, introduit par C. Greene pour généraliser des identités rationnelles liées à la règle de Murnaghan-Nakayama, est une somme de ses images par certaines permutations des variables. Les ensembles de permutations considérés sont les extensions linéaires des graphes orientés. Nous expliquons comment calculer cette fonction rationnelle à partir de la combinatoire du graphe $G$. Nous établissons ensuite un lien entre une propriété algébrique de la fonction rationnelle (la factorisation du numérateur) et une propriété combinatoire du graphe (l'existence d'une chaîne le déconnectant).

The median problem seeks a permutation whose total distance to a given set of permutations (the base set) is minimal. This is an important problem in comparative genomics and has been studied for several distance measures such as reversals. The transposition distance is less relevant biologically, but it has been shown that it behaves similarly to the most important biological distances, and can thus give important information on their properties. We have derived an algorithm which solves the transposition median problem, giving all transposition medians (the median cloud). We show that our algorithm can be modified to accept median clouds as elements in the base set and briefly discuss the new concept of median iterates (medians of medians) and limit medians, that is the limit of this iterate., Le problème de la médiane est de trouver une permutation dont la distance totale à un ensemble donné de permutations (l´ensemble de base) est minimale. C'est un problème important en génomique comparative et il a été étudié pour certaines mesures de distance. La distance de transposition n'est pas directement liée à la biologie, mais il a été démontré que son comportement est similaire à celui des distances biologiques essentielles, et elle peut donc donner des indications sur leurs propriétés. Nous construisons un algorithme qui résout le problème de la médiane pour la transposition, et donne toutes les transpositions médianes (le nuage des médianes). Nous démontrons que notre algorithme peut être modifié pour admettre des nuages de médianes comme éléments de l´ensemble de base et introduisons le concept de médianes itérées (médianes de médianes) et de médianes limites, c-à-d de limites de ces itérations.

We enumerate derangements with descents in prescribed positions. A generating function was given by Guo-Niu Han and Guoce Xin in 2007. We give a combinatorial proof of this result, and derive several explicit formulas. To this end, we consider fixed point $\lambda$-coloured permutations, which are easily enumerated. Several formulae regarding these numbers are given, as well as a generalisation of Euler's difference tables. We also prove that except in a trivial special case, if a permutation $\pi$ is chosen uniformly among all permutations on $n$ elements, the events that $\pi$ has descents in a set $S$ of positions, and that $\pi$ is a derangement, are positively correlated.

We present statistic-preserving bijections between four classes of combinatorial objects. Two of them, the class of unlabeled $(\textrm{2+2})$-free posets and a certain class of chord diagrams (or involutions), already appeared in the literature, but were apparently not known to be equinumerous. The third one is a new class of pattern avoiding permutations, and the fourth one consists of certain integer sequences called $\textit{ascent sequences}$. We also determine the generating function of these classes of objects, thus recovering a non-D-finite series obtained by Zagier for chord diagrams. Finally, we characterize the ascent sequences that correspond to permutations avoiding the barred pattern $3\bar{1}52\bar{4}$, and enumerate those permutations, thus settling a conjecture of Pudwell., Nous présentons des bijections, transportant de nombreuses statistiques, entre quatre classes d'objets. Deux d'entre elles, la classe des EPO (ensembles partiellement ordonnés) sans motif $(\textrm{2+2})$ et une certaine classe d'involutions, sont déjà apparues dans la littérature. La troisième est une classe de permutations à motifs exclus, et la quatrième une classe de suites que nous appelons $\textit{suites à montées}$. Nous déterminons ensuite la série génératrice de ces classes, retrouvant ainsi un résultat prouvé par Zagier pour les involutions sus-mentionnées. La série obtenue n'est pas D-finie. Apparemment, le fait qu'elle compte aussi les EPO sans motif $(\textrm{2+2})$ est nouveau. Finalement, nous caractérisons les suites à montées qui correspondent aux permutations évitant le motif barré $3\bar{1}52\bar{4}$ et énumérons ces permutations, ce qui démontre une conjecture de Pudwell.

The recent work of Bonnafé et al. (2007) shows through two conjectures that $r$-domino tableaux have an important role in Kazhdan-Lusztig theory of type $B$ with unequal parameters. In this paper we provide plactic relations on signed permutations which determine whether given two signed permutations have the same insertion $r$-domino tableaux in Garfinkle's algorithm (1990). Moreover, we show that a particular extension of these relations can describe Garfinkle's equivalence relation on $r$-domino tableaux which is given through the notion of open cycles. With these results we enunciate the conjectures of Bonnafé et al. and provide necessary tool for their proofs.