scholarly journals A preorder-free construction of the Kazhdan-Lusztig representations of $S_n$, with connections to the Clausen representations

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Charles Buehrle ◽  
Mark Skandera
Keyword(s):  
Polynomial Ring ◽  
Transition Matrices ◽  
Free Construction ◽  
Nous Montrons ◽  
International Audience ◽  
Original Construction ◽  
Nous Utilisons ◽  
Invent Math

International audience We use the polynomial ring $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$ to modify the Kazhdan-Lusztig construction of irreducible $S_n$-modules. This modified construction produces exactly the same matrices as the original construction in [$\textit{Invent. Math}$ $\mathbf{53}$ (1979)], but does not employ the Kazhdan-Lusztig preorders. We also show that our modules are related by unitriangular transition matrices to those constructed by Clausen in [$\textit{J. Symbolic Comput.}$ $\textbf{11}$ (1991)]. This provides a $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$-analog of results of Garsia-McLarnan in [$\textit{Adv. Math.}$ $\textbf{69}$ (1988)]. Nous utilisons l'anneau $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$ pour modifier la construction Kazhdan-Lusztig des modules-$S_n$ irréductibles dans $\mathbb{C}[S_n]$. Cette construction modifiée produit exactement les mêmes matrices que la construction originale dans [$\textit{Invent. Math}$ $\mathbf{53}$ (1979)], mais sans employer les préordres de Kazhdan-Lusztig. Nous montrons aussi que nos modules sont reliés par des matrices unitriangulaires aux modules construits par Clausen dans [$\textit{J. Symbolic Comput.}$ $\textbf{11}$ (1991)]. Ce résultat donne un $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$-analogue des résultats de Garsia-McLarnan dans [$\textit{Adv. Math.}$ $\textbf{69}$ (1988)].

scholarly journals A preorder-free construction of the Kazhdan-Lusztig representations of Hecke algebras $H_n(q)$ of symmetric groups

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Charles Buehrle ◽  
Mark Skandera
Keyword(s):  
Polynomial Ring ◽  
Hecke Algebras ◽  
Symmetric Groups ◽  
Free Construction ◽  
International Audience ◽  
Quantum Analog ◽  
Quantum Polynomial ◽  
Original Construction ◽  
Nous Utilisons ◽  
Invent Math

International audience We use a quantum analog of the polynomial ring $\mathbb{Z}[x_{1,1},\ldots, x_{n,n}]$ to modify the Kazhdan-Lusztig construction of irreducible $H_n(q)$-modules. This modified construction produces exactly the same matrices as the original construction in [$\textit{Invent. Math.}$ $\textbf{53}$ (1979)], but does not employ the Kazhdan-Lusztig preorders. Our main result is dependent on new vanishing results for immanants in the quantum polynomial ring. Nous utilisons un analogue quantique de l'anneau $\mathbb{Z}[x_{1,1},\ldots,x_{n,n}]$ pour modifier la construction Kazhdan-Lusztig des modules-$H_n(q)$ irréductibles. Cette construction modifiée produit exactement les mêmes matrices que la construction originale dans [$\textit{Invent. Math.}$ $\textbf{53}$ (1979)], mais sans employer les préordres de Kazhdan-Lusztig. Notre résultat principal dépend de nouveaux résultats de disparition pour des immanants dans l'anneau polynôme de quantique.

scholarly journals The cluster and dual canonical bases of Z [x_11, ..., x_33] are equal

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Brendon Rhoades
Keyword(s):  
Quantum Group ◽  
Polynomial Ring ◽  
Geometric Model ◽  
Cluster Algebra ◽  
Canonical Basis ◽  
The Other ◽  
Monomial Basis ◽  
Dual Canonical Basis ◽  
Nous Montrons ◽  
International Audience

International audience The polynomial ring $\mathbb{Z}[x_{11}, . . . , x_{33}]$ has a basis called the dual canonical basis whose quantization facilitates the study of representations of the quantum group $U_q(\mathfrak{sl}3(\mathbb{C}))$. On the other hand, $\mathbb{Z}[x_{11}, . . . , x_{33}]$ inherits a basis from the cluster monomial basis of a geometric model of the type $D_4$ cluster algebra. We prove that these two bases are equal. This extends work of Skandera and proves a conjecture of Fomin and Zelevinsky. This also provides an explicit factorization of the dual canonical basis elements of $\mathbb{Z}[x_{11}, . . . , x_{33}]$ into irreducible polynomials. L'anneau de polynômes $\mathbb{Z}[x_{11}, . . . , x_{33}]$ a une base appelée base duale canonique, et dont une quantification facilite l'étude des représentations du groupe quantique $U_q(\mathfrak{sl}3(\mathbb{C}))$. D'autre part, $\mathbb{Z}[x_{11}, . . . , x_{33}]$ admet une base issue de la base des monômes d'amas de l'algèbre amassée géométrique de type $D_4$. Nous montrons que ces deux bases sont égales. Ceci prolonge les travaux de Skandera et démontre une conjecture de Fomin et Zelevinsky. Ceci fournit également une factorisation explicite en polynômes irréductibles des éléments de la base duale canonique de $\mathbb{Z}[x_{11}, . . . , x_{33}]$ .

scholarly journals Partition and composition matrices: two matrix analogues of set partitions

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Anders Claesson ◽  
Mark Dukes ◽  
Martina Kubitzke
Keyword(s):  
Transfer Matrix ◽  
Transfer Matrix Method ◽  
Matrix Method ◽  
Set Partitions ◽  
Nous Montrons ◽  
International Audience ◽  
One To One ◽  
Natural Result ◽  
Ascent Sequences ◽  
Nous Utilisons

International audience This paper introduces two matrix analogues for set partitions; partition and composition matrices. These two analogues are the natural result of lifting the mapping between ascent sequences and integer matrices given in Dukes & Parviainen (2010). We prove that partition matrices are in one-to-one correspondence with inversion tables. Non-decreasing inversion tables are shown to correspond to partition matrices with a row ordering relation. Partition matrices which are s-diagonal are classified in terms of inversion tables. Bidiagonal partition matrices are enumerated using the transfer-matrix method and are equinumerous with permutations which are sortable by two pop-stacks in parallel. We show that composition matrices on the set $X$ are in one-to-one correspondence with (2+2)-free posets on $X$.We show that pairs of ascent sequences and permutations are in one-to-one correspondence with (2+2)-free posets whose elements are the cycles of a permutation, and use this relation to give an expression for the number of (2+2)-free posets on $\{1,\ldots,n\}$. Ce papier introduit deux analogues matriciels des partitions d'ensembles: les matrices de composition et de partition. Ces deux analogues sont le produit naturel du relèvement de l'application entre suites de montées et matrices d'entiers introduite dans Dukes & Parviainen (2010). Nous démontrons que les matrices de partition sont en bijection avec les tables d'inversion, les tables d'inversion croissantes correspondant aux matrices de partition avec une relation d'ordre sur les lignes. Les matrices de partition s-diagonales sont classées en fonction de leurs tables d'inversion. Les matrices de partition bidiagonales sont énumérées par la méthode de matrices de transfert et ont même cardinalité que les permutations triables par deux piles en parallèle. Nous montrons que les matrices de composition sur l'ensemble $X$ sont en bijection avec les ensembles ordonnés (2+2)-libres sur $X$. Nous prouvons que les paires de suites de montées et de permutations sont en bijection avec les ensembles ordonnés (2+2)-libres dont les éléments sont les cycles d'une permutation, et nous utilisons cette relation pour exprimer le nombre d'ensembles ordonnés (2+2)-libres sur $\{1,\ldots,n\}$.

scholarly journals Factoring peak polynomials

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Sara Billey ◽  
Matthew Fahrbach ◽  
Alan Talmage
Keyword(s):  
Explicit Formula ◽  
Binomial Coefficient ◽  
Large N ◽  
Nous Montrons ◽  
International Audience ◽  
Positive Integers ◽  
Nous Utilisons

International audience Given a permutation $\pi=\pi_1\pi_2\cdots \pi_n \in S_n$, we say an index $i$ is a peak if $\pi_{i-1} < \pi_i > \pi_{i+1}$. Let $P(\pi)$ denote the set of peaks of $\pi$. Given any set $S$ of positive integers, define ${P_S(n)=\{\pi\in S_n:P(\pi)=S\}}$. Billey-Burdzy-Sagan showed that for all fixed subsets of positive integers $S$ and sufficiently large $n$, $|P_S(n)|=p_S(n)2^{n-|S|-1}$ for some polynomial $p_S(x)$ depending on $S$. They conjectured that the coefficients of $p_S(x)$ expanded in a binomial coefficient basis centered at $max(S)$ are all positive. We show that this is a consequence of a stronger conjecture that bounds the modulus of the roots of $p_S(x)$. Furthermore, we give an efficient explicit formula for peak polynomials in the binomial basis centered at $0$, which we use to identify many integer roots of peak polynomials along with certain inequalities and identities. Etant donné une permutation $\pi=\pi_1\pi_2\cdots \pi_n \in S_n$ du groupe symétrique, nous disons qu’un indice i est unsommet si $\pi_{i-1} < \pi_i > \pi_{i+1}$. Soit $P(\pi)$ l’ensemble des sommets de $\pi$. Billey-Burdzy-Sagan ont montré que,pour tout sous-ensemble d’entiers positifs S et n suffisamment grand, le nombre de permutations de $n$ éléments avecensemble de sommets $S$ est $|P_S(n)|=p_S(n)2^{n-|S|-1}$ pour un certain polynôme $p_S(x)$ dépendant de $S$.. Ils ont fait la conjectureque les coefficients du polynôme $p_S(x)$ exprimé dans une base de coefficients binomiaux centrée en $max(S)$ sont touspositifs. Nous montrons que cela découle d’une conjecture plus forte qui borne le module des racines du polynôme$p_S(x)$. De plus, nous donnons une formule explicite efficace pour les polynômes sommets dans la base binomialecentrée en $0$, que nous utilisons pour identifier plusieurs racines entières de polynômes sommets, ainsi que certainesinégalités et identités.

scholarly journals The cluster basis $\mathbb{Z}[x_{1,1},…,x_{3,3}]

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Mark Skandera
Keyword(s):  
Cluster Algebra ◽  
Canonical Basis ◽  
Transition Matrices ◽  
Canonical Bases ◽  
Basis Element ◽  
Dual Canonical Basis ◽  
Nous Montrons ◽  
International Audience

International audience We show that the set of cluster monomials for the cluster algebra of type $D_4$ contains a basis of the $\mathbb{Z}$-module $\mathbb{Z}[x_{1,1},\ldots ,x_{3,3}]$. We also show that the transition matrices relating this cluster basis to the natural and the dual canonical bases are unitriangular and nonnegative. These results support a conjecture of Fomin and Zelevinsky on the equality of the cluster and dual canonical bases. In the event that this conjectured equality is true, our results also imply an explicit factorization of each dual canonical basis element as a product of cluster variables. Nous montrons que l'ensemble des monômes de l'algebre "cluster'' $D_4$ contient une base-$\mathbb{Z}$ pour le module $\mathbb{Z}[x_{1,1},\ldots ,x_{3,3}]$. Nous montrons aussi que les matrices transitoires qui relient cette base à la base canonique duale sont unitriangulaires. Ces résultats renforcent une conjecture de Fomin et de Zelevinsky sur l'égalité de ces deux bases. Si cette égalité s'avérait être vraie, notre résultat donnerait aussi une factorisation des éléments de la base canonique duale.

scholarly journals Bijections of dominant regions in the $m$-Shi arrangements of type $A$, $B$ and $C$

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Myrto Kallipoliti ◽  
Eleni Tzanaki
Keyword(s):  
Type A ◽  
Lattice Paths ◽  
Nous Montrons ◽  
International Audience ◽  
Shi Arrangement ◽  
Nous Utilisons

International audience In the present paper, the relation between the dominant regions in the $m$-Shi arrangement of types $B_n/C_n$, and those of the $m$-Shi arrangement of type $A_{n-1}$ is investigated. More precisely, it is shown explicitly how the sets $R^m(B_n)$ and $R^m(C_n)$, of dominant regions of the $m$-Shi arrangement of types $B_n$ and $C_n$ respectively, can be projected to the set $R^m(A_{n-1})$ of dominant regions of the $m$-Shi arrangement of type $A_{n-1}$. This is done by using two different viewpoints for the representative alcoves of these regions: the Shi tableaux and the abacus diagrams. Moreover, bijections between the sets $R^m(B_n)$, $R^m(C_n)$, and lattice paths inside a rectangle $n\times{mn}$ are provided. Dans cet article, nous étudions la relation entre les régions dominantes du $m$-arrangement de Shi de types $B_n/C_n$ et ceux du $m$-arrangement de Shi de type $A_{n-1}$. Plus précisément, nous montrons comment les ensembles $R^m(B_n)$ et $R^m(C_n)$, des régions dominantes du $m$ -arrangement de Shi de types $B_n$ et $C_n$ respectivement, peuvent être projetés sur l’ensemble $R^m(A_{n-1})$ des régions dominantes du $m$-arrangement de Shi de types $A_{n-1}$. Pour cela nous utilisons deux points de vue différents sur les alcôves représentatives de ces régions: les tableaux de Shi et les diagrammes d’abaques. De plus, nous fournissons des bijections entre les ensembles $R^m(B_n)$, $R^m(C_n)$, et les chemins à l’intérieur d’un rectangle $n\times{mn}$.

The consistency problem for positive comprehension principles

1989 ◽  
Vol 54 (4) ◽  
pp. 1401-1418 ◽  
Author(s):  
M. Forti ◽  
R. Hinnion
Keyword(s):  
Set Theory ◽  
Difficult Problem ◽  
Large Cardinal ◽  
Positive Theory ◽  
Construction Principle ◽  
Short Summary ◽  
Free Construction ◽  
Unpublished Thesis ◽  
Consistency Problem ◽  
Original Construction

Since Gilmore showed that some theory with a positive comprehension scheme is consistent when the axiom of extensionality is dropped and inconsistent with it (see [1] and [2]), the problem of the consistency of various positive comprehension schemes has been investigated. We give here a short classification, which shows clearly the importance of the axiom of extensionality and of the abstraction operator in these consistency problems. The most difficult problem was to show the consistency of the comprehension scheme for positive formulas, with extensionality but without abstraction operator. In his unpublished thesis, Set theory in which the axiom of foundation fails [3], Malitz solved partially this problem but he needed to assume the existence of some unusual kind of large cardinal; as his original construction is very interesting and his thesis is unpublished, we give a short summary of it. M. Forti solved the problem completely by working in ZF with a free-construction principle (sometimes called an anti-foundation axiom), instead of ZF with the axiom of foundation, as Malitz did.This permits one to obtain the consistency of this positive theory, relative to ZF. In his general investigations about “topological set theories” (to be published), E. Weydert has independently proved the same result. The authors are grateful to the Mathematisches Forshungsinstitut Oberwolfach for giving them the opportunity of discussing these subjects and meeting E. Weydert during the meeting “New Foundations”, March 1–7, 1987.

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

Sign in / Sign up

Export Citation Format

Share Document