A generalization in affine type A of Coxeter sortable elements and Reading's bijection with noncrossing partitions
Pith reviewed 2026-05-08 18:35 UTC · model grok-4.3
The pith
In the affine symmetric group, c-sortable elements are those whose one-line notations avoid certain patterns, with a bijection to c-noncrossing partitions via biclosed sets.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper claims that an affine permutation is c-sortable precisely when its one-line notation avoids a specific collection of patterns. It defines c-sortable biclosed sets as those biclosed sets of reflections whose associated translation-invariant total orders on the integers avoid the same patterns. It then proves that these c-sortable biclosed sets stand in bijection with the c-noncrossing partitions by composing three known or constructed correspondences: biclosed sets with TITOs, c-noncrossing partitions with partitions of an annulus, and a distinguished subset of cyclic noncrossing arc diagrams with both collections.
What carries the argument
The translation-invariant total order (TITO) on the integers attached to each biclosed set of reflections, which coincides with the one-line notation of affine permutations and makes pattern avoidance a well-defined test for sortability.
If this is right
- The pattern-avoidance test supplies a direct, length-independent way to decide whether a given affine permutation is c-sortable.
- Enumerative or structural results about c-noncrossing partitions transfer immediately to statements about c-sortable biclosed sets.
- A natural subset of cyclic noncrossing arc diagrams is placed in bijection with both the sortable biclosed sets and the noncrossing partitions.
- The classical finite-type bijection of Reading is recovered as the restriction of the affine construction to the finite symmetric group.
Where Pith is reading between the lines
- Analogous pattern-avoidance characterizations may exist for sortable elements in other affine Coxeter groups once suitable total orders on their reflections are identified.
- The c-sortable biclosed sets might admit a Cambrian-like lattice structure whose cover relations are visible in the arc-diagram or TITO representation.
- Counting the pattern-avoiding TITOs could yield new generating functions for affine noncrossing partitions.
Load-bearing premise
The biclosed sets of reflections in the affine symmetric group admit a translation-invariant total order that matches the usual one-line notation and on which pattern avoidance exactly isolates the c-sortable elements.
What would settle it
An explicit affine permutation whose one-line notation avoids the stated patterns yet fails to be c-sortable, or a pair of c-sortable biclosed sets and c-noncrossing partitions whose images under the constructed maps are not in one-to-one correspondence.
Figures
read the original abstract
This paper generalizes in the affine symmetric group the notion of Coxeter sortable (or c-sortable for short) elements, as well as the classical bijection between c-sortable elements and c-noncrossing partitions defined by Reading in finite Coxeter groups. The generalization to the affine symmetric group of the c-sortable elements is achieved by using biclosed sets of reflections. Using recent works from Barkley and Speyer, these biclosed sets admit a sort of "one-line notation" called a TITO on $\mathbb{Z}$ (translation-invariant total order on $\mathbb{Z}$) that coincides with the usual one-line notation in the case of an affine permutation. We characterize the c-sortable elements of the affine symmetric group by pattern avoidance on their one-line notation, mirroring the well-known characterizations of c-sortable elements in the classical finite types. Based on this criterion, we then define the c-sortable biclosed sets, generalizing the c-sortable elements, as biclosed sets such that their TITOs on $\mathbb{Z}$ avoid certain patterns. We also build a bijection from our set of c-sortable biclosed sets to the set of c-noncrossing partitions using various combinatorial objects and their one-to-one correspondences. First, the TITOs, in bijection with the biclosed sets of the affine symmetric group using results from Barkley and Speyer. Second, the c-noncrossing partitions of an annulus, in bijection with the c-noncrossing partitions of the affine symmetric group, using results from Digne and Reading. Finally, the cyclic noncrossing arc diagrams, defined by Barkley, for which we exhibit a subset in bijection with both the set of c-sortable biclosed sets and the set of c-noncrossing partitions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper generalizes c-sortable elements of the affine symmetric group via biclosed sets of reflections. It first characterizes the c-sortable affine permutations by pattern avoidance in one-line notation (equivalently, in their associated TITOs), then defines c-sortable biclosed sets as those whose TITOs avoid the same patterns. A bijection is constructed from these c-sortable biclosed sets to c-noncrossing partitions of an annulus by composing known correspondences (Barkley-Speyer for TITOs/biclosed sets, Digne-Reading for annular partitions, and Barkley for cyclic noncrossing arc diagrams) and exhibiting a suitable subset of arc diagrams.
Significance. If the pattern-avoidance characterization extends correctly and the bijection is verified, the work supplies a combinatorial model for sortable elements and noncrossing partitions in affine type A that mirrors the finite-type case. The explicit use of external bijections from Barkley-Speyer and Digne-Reading, together with the new arc-diagram subset, provides a clean chain of combinatorial equivalences without introducing fitted parameters.
major comments (2)
- [Definition of c-sortable biclosed sets] The section defining c-sortable biclosed sets (immediately after the pattern-avoidance characterization of affine permutations): the claim that avoidance of the listed patterns on the TITO exactly recovers the biclosed sets that are c-sortable under the affine Coxeter action is load-bearing for both the generalization and the subsequent bijection. The manuscript must supply an explicit argument (or exhaustive check on generators) showing that the finite-type patterns lift without adding or omitting affine-periodic configurations; the current reliance on the TITO bijection alone leaves this equivalence unverified.
- [Bijection via arc diagrams] The bijection construction via cyclic noncrossing arc diagrams: while the three external correspondences are cited, the paper must demonstrate that the subset of arc diagrams corresponding to pattern-avoiding TITOs is closed under the relevant operations and maps bijectively onto the c-noncrossing partitions without circular appeal to the original sortable definition.
minor comments (2)
- [Preliminaries on TITOs] Notation for TITOs and the precise list of avoided patterns should be collected in a single preliminary subsection for easier reference when reading the definition of c-sortable biclosed sets.
- [Abstract and introduction] The abstract states that the TITO 'coincides with the usual one-line notation in the case of an affine permutation'; a short sentence confirming that the pattern-avoidance condition reduces to the known finite-type condition on this overlap would improve readability.
Simulated Author's Rebuttal
We thank the referee for their thorough review and valuable suggestions. We address each major comment below and will incorporate the necessary clarifications and arguments into the revised version of the manuscript.
read point-by-point responses
-
Referee: [Definition of c-sortable biclosed sets] The section defining c-sortable biclosed sets (immediately after the pattern-avoidance characterization of affine permutations): the claim that avoidance of the listed patterns on the TITO exactly recovers the biclosed sets that are c-sortable under the affine Coxeter action is load-bearing for both the generalization and the subsequent bijection. The manuscript must supply an explicit argument (or exhaustive check on generators) showing that the finite-type patterns lift without adding or omitting affine-periodic configurations; the current reliance on the TITO bijection alone leaves this equivalence unverified.
Authors: We agree that an explicit verification is necessary to confirm that the pattern avoidance criterion extends correctly from the finite to the affine case. In the revised manuscript, we will add a new subsection or paragraph immediately following the pattern-avoidance characterization, providing a detailed argument. This will include showing how the finite-type patterns lift to the periodic setting of TITOs on Z, with an exhaustive check on the generators of the affine symmetric group to ensure that no extraneous affine-periodic configurations are introduced or valid ones omitted. This strengthens the foundation for defining c-sortable biclosed sets via pattern avoidance. revision: yes
-
Referee: [Bijection via arc diagrams] The bijection construction via cyclic noncrossing arc diagrams: while the three external correspondences are cited, the paper must demonstrate that the subset of arc diagrams corresponding to pattern-avoiding TITOs is closed under the relevant operations and maps bijectively onto the c-noncrossing partitions without circular appeal to the original sortable definition.
Authors: We will revise the bijection section to explicitly verify the required properties. Specifically, we will show that the subset of cyclic noncrossing arc diagrams arising from pattern-avoiding TITOs is closed under the operations corresponding to the affine Coxeter action and the annular partition structure. The bijection to c-noncrossing partitions will be established directly through the composition of the Barkley-Speyer correspondence (TITOs to biclosed sets), the Digne-Reading bijection (to annular partitions), and Barkley's arc diagram correspondence, using the combinatorial characterization of the subset via pattern avoidance. This avoids any circularity by grounding the argument in the properties of the arc diagrams and the external bijections rather than presupposing the sortable definition. revision: yes
Circularity Check
No circularity: generalization built from external bijections and pattern criteria without self-referential reduction
full rationale
The paper's chain begins with the external TITO representation of biclosed sets (Barkley-Speyer), applies a pattern-avoidance characterization that mirrors the finite-type case on one-line notation, defines the sortable biclosed sets via that same avoidance on TITOs, and constructs the bijection to annular noncrossing partitions through two further external correspondences (Digne-Reading and Barkley arc diagrams). None of these steps reduce a derived object to a fitted parameter, a self-citation, or a definitional tautology; each link is an independent combinatorial equivalence imported from prior literature. The derivation therefore remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Biclosed sets of reflections in the affine symmetric group admit a translation-invariant total order (TITO) that coincides with the one-line notation of the corresponding affine permutation.
- standard math The affine symmetric group is a Coxeter group whose reflections and length function behave as in the finite case for the purposes of biclosed sets.
invented entities (1)
-
c-sortable biclosed set
no independent evidence
Lean theorems connected to this paper
-
Cost.FunctionalEquation (J-cost is the unique calibrated reciprocal cost)washburn_uniqueness_aczel — no relation; paper's bilinear form is a Coxeter-theoretic ω_c, not a cost function on ℝ₊ unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The form ω_c is defined as the skew-symmetrization of the Euler form E_c that appears in quiver representation theory.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
The algebra of binary search trees , journal =. 2005 , note =. doi:https://doi.org/10.1016/j.tcs.2005.01.012 , author =
-
[2]
Intervals in Catalan lattices and realizers of triangulations , journal =. 2009 , issn =. doi:https://doi.org/10.1016/j.jcta.2008.05.005 , author =
-
[3]
Young Tableaux: With Applications to Representation Theory and Geometry , DOI=
Fulton, William , year=. Young Tableaux: With Applications to Representation Theory and Geometry , DOI=
-
[4]
Combinatorics of coxeter groups , url=
Bjorner, Anders and Brenti, Francesco , year=. Combinatorics of coxeter groups , url=
-
[5]
2007 , month = feb, publisher =
Nathan Reading , title =. 2007 , month = feb, publisher =. doi:10.1007/s00012-007-2009-1 , url =
-
[6]
Humphreys, James E. , year=. Reflection Groups and Coxeter Groups , DOI=
-
[7]
Transactions of the American Mathematical Society , volume=
Sortable elements in infinite Coxeter groups , author=. Transactions of the American Mathematical Society , volume=
-
[8]
Transactions of the American Mathematical Society , volume=
Reflection subgroups of finite and affine Weyl groups , author=. Transactions of the American Mathematical Society , volume=
-
[9]
Groupes et algèbres de Lie , subtitle =
Bourbaki, Nicolas , doi =. Groupes et algèbres de Lie , subtitle =. 2007 , publisher =
work page 2007
-
[10]
Coxeter, H. S. M. , title =. Journal of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/jlms/s1-10.37.21 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/jlms/s1-10.37.21 , year =
-
[11]
Transactions of the American Mathematical Society , volume=
Clusters, Coxeter-sortable elements and noncrossing partitions , author=. Transactions of the American Mathematical Society , volume=
-
[12]
Some properties of crossings and partitions , journal =
Philippe Biane , abstract =. Some properties of crossings and partitions , journal =. 1997 , issn =. doi:https://doi.org/10.1016/S0012-365X(96)00139-2 , url =
-
[13]
The dual braid monoid , journal =. 2003 , issn =. doi:https://doi.org/10.1016/j.ansens.2003.01.001 , author =
-
[14]
Transactions of the American Mathematical Society , year=
Non-crossing partition lattices in finite real reflection groups , author=. Transactions of the American Mathematical Society , year=
-
[15]
Journal of Algebraic Combinatorics , volume=
Noncrossing partitions and the shard intersection order , author=. Journal of Algebraic Combinatorics , volume=. 2011 , publisher=
work page 2011
-
[16]
Présentations duales des groupes de tresses de type affine
Digne, Fran. Présentations duales des groupes de tresses de type affine. Commentarii Mathematici Helvetici , publisher =. 2006 , month = Mar, pages =. doi:10.4171/cmh/41 , number =
-
[17]
A Garside presentation for Artin-Tits groups of type
Digne, François , booktitle=. A Garside presentation for Artin-Tits groups of type
-
[18]
Sergey Fomin and Andrei Zelevinsky , title =. 2003 , month =. doi:10.1007/s00222-003-0302-y , url =
-
[19]
Journal of Combinatorial Algebra , volume=
Dual Garside structures and Coxeter sortable elements , author=. Journal of Combinatorial Algebra , volume=
-
[20]
Knuth, Donald , biburl =
-
[21]
The Enumeration of Coxeter Elements , volume =
Shi, Jian-yi , year =. The Enumeration of Coxeter Elements , volume =. Journal of Algebraic Combinatorics , doi =
-
[22]
Partitions non-croisées et éléments
Abou Yassin, Jad , year =. Partitions non-croisées et éléments
-
[23]
Anders Bj\". Affine Permutations of Type. 1995 , month = sep, publisher =. doi:10.37236/1276 , url =
-
[24]
European Journal of Combinatorics , volume=
On inversion sets and the weak order in Coxeter groups , author=. European Journal of Combinatorics , volume=. 2016 , publisher=
work page 2016
-
[25]
Barkley, Grant T. and Speyer, David E , year =. Combinatorial descriptions of biclosed sets in affine type , volume =. Combinatorial Theory , publisher =. doi:10.5070/c64264235 , number =
- [26]
-
[27]
Infinite reduced words, lattice property and braid graph of affine Weyl groups , author=. Journal of Algebra , volume=. 2019 , publisher=
work page 2019
-
[28]
Noncrossing partitions of an annulus , author=. 2024 , primaryClass=
work page 2024
-
[29]
Pilaud, Vincent and Pons, Vivane and Tamayo Jimenez, Daniel , year=. Permutree sorting , volume=. Algebraic Combinatorics , publisher=. doi:10.5802/alco.249 , number=
-
[30]
Cambrian Hopf algebras , volume=
Chatel, Grégory and Pilaud, Vincent , year=. Cambrian Hopf algebras , volume=. doi:10.1016/j.aim.2017.02.027 , journal=
-
[31]
Proceedings of the American Mathematical Society , volume=
The action of a Coxeter element on an affine root system , author=. Proceedings of the American Mathematical Society , volume=
-
[32]
Proceedings of the American Mathematical Society , volume=
Powers of Coxeter elements in infinite groups are reduced , author=. Proceedings of the American Mathematical Society , volume=
-
[33]
arXiv preprint 2502.05875 , year=
Extended weak order for the affine symmetric group , author=. arXiv preprint 2502.05875 , year=
-
[34]
Sortable elements and Cambrian lattices , author=. Algebra universalis , volume=. 2007 , publisher=
work page 2007
- [35]
-
[36]
The Affine Tamari Lattice , author=. arXiv preprint 2502.07198 , url=. 2025 , eprint=
-
[37]
SIAM Journal on Discrete Mathematics , volume=
Noncrossing arc diagrams and canonical join representations , author=. SIAM Journal on Discrete Mathematics , volume=. 2015 , publisher=
work page 2015
-
[38]
Quiver representations , author=. Notices of the AMS , volume=
-
[39]
n-low elements and maximal rank k reflection subgroups of Coxeter groups , journal =
Matthew Dyer , keywords =. n-low elements and maximal rank k reflection subgroups of Coxeter groups , journal =. 2022 , note =. doi:https://doi.org/10.1016/j.jalgebra.2021.02.015 , url =
-
[40]
Reflection subgroups of Coxeter systems , journal =. 1990 , issn =. doi:https://doi.org/10.1016/0021-8693(90)90149-I , author =
-
[41]
Archiv der Mathematik , author=
A note on subgroups generated by reflections in Coxeter groups , volume=. Archiv der Mathematik , author=. 1989 , month=. doi:10.1007/bf01199813 , number=
-
[42]
Asymptotical Behaviour of Roots of Infinite Coxeter Groups , volume=
Hohlweg, Christophe and Labbé, Jean-Philippe and Ripoll, Vivien , year=. Asymptotical Behaviour of Roots of Infinite Coxeter Groups , volume=. Canadian Journal of Mathematics , publisher=. doi:10.4153/cjm-2013-024-6 , number=
-
[43]
Mathematische Zeitschrift , volume=
Imaginary cones and limit roots of infinite Coxeter groups , author=. Mathematische Zeitschrift , volume=. 2016 , publisher=
work page 2016
-
[44]
On the Weak Order of Coxeter Groups , volume=
Dyer, Matthew , year=. On the Weak Order of Coxeter Groups , volume=. Canadian Journal of Mathematics , publisher=. doi:10.4153/cjm-2017-059-0 , number=
-
[45]
Advances in Mathematics , volume=
Cambrian lattices , author=. Advances in Mathematics , volume=. 2006 , publisher=
work page 2006
-
[46]
Non-crossing partitions for classical reflection groups , journal =. 1997 , issn =. doi:https://doi.org/10.1016/S0012-365X(96)00365-2 , author =
-
[47]
Communications in Algebra , issn =
A Partial Order on the Orthogonal Group , author =. Communications in Algebra , issn =. 2002 , month =. doi:10.1081/AGB-120005817 , language =
-
[48]
Journal of the European Mathematical Society , volume=
A categorification of non-crossing partitions , author=. Journal of the European Mathematical Society , volume=
-
[49]
Giovanni Paolini , year=. The dual approach to the. arXiv preprint 2112.05255 , url=. 2112.05255 , archivePrefix=
- [50]
-
[51]
Paolini, Giovanni and Salvetti, Mario , year=. Proof of the. Inventiones mathematicae , publisher=. doi:10.1007/s00222-020-01016-y , number=
-
[52]
Sur les partitions non croisees d'un cycle , journal =. 1972 , issn =. doi:https://doi.org/10.1016/0012-365X(72)90041-6 , url =
-
[53]
H. S. M. Coxeter , journal =. Discrete Groups Generated by Reflections , urldate =
-
[54]
The American Mathematical Monthly , volume =
Jon McCammond , title =. The American Mathematical Monthly , volume =. 2006 , publisher =. doi:10.1080/00029890.2006.11920342 , URL =
-
[55]
Geometriae Dedicata , publisher =
Brady, Thomas and Watt, Colum , year =. Geometriae Dedicata , publisher =. doi:10.1023/a:1020902610809 , number =
-
[56]
Stanley, Richard P. , year=. Catalan Numbers , publisher=
-
[57]
Generalized noncrossing partitions and combinatorics of Coxeter groups , author=. 2009 , publisher=
work page 2009
-
[58]
Symmetric noncrossing partitions of an annulus with double points , author=. 2025 , eprint=
work page 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.