<p>We define a partial order <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2885_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {P}}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">P</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> on permutations of any given size <i>n</i>, which is the image of a natural partial order on inversion sequences. We call this the “middle order.” We demonstrate that the poset <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2885_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {P}}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">P</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> refines the weak order on permutations and admits the Bruhat order as a refinement, justifying the terminology. These middle orders are distributive lattices and we establish some of their combinatorial properties, including characterization and enumeration of intervals and boolean intervals (in general, or of any given rank), and a combinatorial interpretation of their Euler characteristic. We further study the (not so well-behaved) restriction of this poset to involutions, obtaining a simple formula for the Möbius function of principal order ideals there. Finally, we offer further directions of research, initiating the study of the canonical Heyting algebra associated with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2885_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {P}}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">P</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>, and defining a parking function analogue of&#xa0;<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2024_2885_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {P}}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">P</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Between Weak and Bruhat: The Middle Order on Permutations

  • Mathilde Bouvel,
  • Luca Ferrari,
  • Bridget Eileen Tenner

摘要

We define a partial order \({\mathcal {P}}_n\) P n on permutations of any given size n, which is the image of a natural partial order on inversion sequences. We call this the “middle order.” We demonstrate that the poset \({\mathcal {P}}_n\) P n refines the weak order on permutations and admits the Bruhat order as a refinement, justifying the terminology. These middle orders are distributive lattices and we establish some of their combinatorial properties, including characterization and enumeration of intervals and boolean intervals (in general, or of any given rank), and a combinatorial interpretation of their Euler characteristic. We further study the (not so well-behaved) restriction of this poset to involutions, obtaining a simple formula for the Möbius function of principal order ideals there. Finally, we offer further directions of research, initiating the study of the canonical Heyting algebra associated with \({\mathcal {P}}_n\) P n , and defining a parking function analogue of  \({\mathcal {P}}_n\) P n .