pith. sign in

arxiv: 2606.00961 · v1 · pith:W6O7S2TSnew · submitted 2026-05-31 · 🧮 math.CO · math.RT

The conflated expression graph for an arbitrary permutation

Jieru Zhu This is my paper

Pith reviewed 2026-06-28 17:18 UTC · model grok-4.3

classification 🧮 math.CO math.RT
keywords conflated expression graphreduced expressionspermutationscommutation classesbraid relationshigher Bruhat orders
0
0 comments X

The pith

The conflated expression graph for any permutation has a unique minimal element and unique maximal element, with every reduced expression on a maximal chain between them.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the conflated expression graph, formed by combining commutation and braid relations on the reduced expressions of an arbitrary permutation, always possesses a single source and a single sink. Every reduced expression lies on at least one maximal path from the source to the sink. This extends earlier structural results that had been shown only for restricted families of permutations under higher Bruhat orders. The work supplies explicit constructions both for the extremal commutation classes and for a maximal chain through any chosen reduced expression.

Core claim

We show that the conflated expression graph for an arbitrary permutation has a unique minimal element and a unique maximal element, and every reduced expression sits on a maximal chain from the source to the sink. This generalizes the work of Manin-Schechtman regarding higher Bruhat orders, and gives an independent and self-contained proof of certain results in Hothem. In addition, we give explicit algorithms for elements in the top and bottom commutation classes. Given any reduced expression ρ, we give an explicit method for producing a maximal chain containing ρ.

What carries the argument

The conflated expression graph on reduced expressions of a permutation, whose edges come from commutation and braid relations.

If this is right

  • Explicit algorithms locate the top and bottom commutation classes for any permutation.
  • Any given reduced expression can be extended to a maximal chain by an explicit construction.
  • The source-to-sink chain property holds for every permutation, not only those previously treated by higher Bruhat orders.
  • Independent proofs are obtained for certain earlier results on these graphs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit chain-construction method supplies a uniform algorithmic handle on the full set of reduced expressions without case distinctions on the permutation.
  • The same source-sink structure may be usable to compare different reduced expressions by counting steps along common maximal chains.

Load-bearing premise

The definition of the conflated graph makes its commutation and braid relations inherit chain and extremal-element properties that had been shown only for higher Bruhat orders on special classes of permutations.

What would settle it

An explicit permutation whose reduced expressions produce a conflated graph with either more than one minimal element or more than one maximal element, or with some reduced expression outside every maximal source-to-sink chain.

read the original abstract

We show that the conflated expression graph for an arbitrary permutation has a unique minimal element and a unique maximal element, and every reduced expression sits on a maximal chain from the source to the sink. This generalizes the work of Manin-Schechtman regarding higher Bruhat orders, and gives an independent and self-contained proof of certain results in Hothem. In addition, we give explicit algorithms for elements in the top and bottom commutation classes. Given any reduced expression $\rho$, we give an explicit method for producing a maximal chain containing $\rho$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript defines the conflated expression graph whose vertices are the reduced expressions of an arbitrary permutation w, with directed edges generated by commutation and braid relations. It proves that this directed graph has a unique source and a unique sink, and that every reduced expression lies on at least one maximal chain from source to sink. Explicit algorithms are supplied for the unique minimal and maximal elements within each commutation class and for constructing a maximal chain containing any prescribed reduced expression. The argument is presented as self-contained and independent of prior results restricted to special classes of permutations; it generalizes the Manin–Schechtman theory of higher Bruhat orders and supplies an independent proof of selected statements from Hothem.

Significance. If the central claims hold, the work supplies a uniform combinatorial description of the connectivity of reduced words under elementary moves that applies to every permutation. The explicit algorithms and the self-contained character of the proof constitute concrete strengths that extend beyond the restricted settings treated in the literature cited.

minor comments (2)
  1. The definition of the conflated expression graph (presumably in §2) should include a short verification that the relation is acyclic on the set of reduced words; this would make the existence of maximal chains immediate from finiteness rather than requiring a separate argument.
  2. Notation for the source and sink elements (e.g., the top and bottom commutation classes) is introduced without a displayed equation or table summarizing their explicit forms; adding such a display would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. There are no major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper asserts an independent, self-contained proof that the conflated expression graph on reduced expressions of an arbitrary permutation has unique minimal/maximal elements and that every reduced expression lies on a maximal chain. The abstract explicitly positions the argument as generalizing Manin-Schechtman while supplying its own proof of Hothem results rather than inheriting them. No load-bearing step reduces by definition, by fitted parameter, or by a self-citation chain whose cited result itself depends on the target claim. The construction via commutation and braid relations is presented as directly establishing the extremal and chain properties without circular reduction to prior restricted cases. This meets the default expectation of a non-circular paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a pure-mathematics proof in combinatorics; the abstract indicates reliance on standard facts about reduced expressions and commutation classes rather than new parameters or entities.

axioms (1)
  • standard math Standard properties of reduced expressions, commutation classes, and braid relations in the symmetric group or Coxeter groups
    The generalization from Manin-Schechtman higher Bruhat orders presupposes these background combinatorial structures.

pith-pipeline@v0.9.1-grok · 5604 in / 1110 out tokens · 30203 ms · 2026-06-28T17:18:36.172695+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

299 extracted references · 51 canonical work pages · 1 internal anchor

  1. [1]

    in progress , eprint=

    Deodhar's defect for the three-part antispherical module via webs , author=. in progress , eprint=

  2. [2]

    2026 , eprint=

    Commutation classes of reduced words and higher Bruhat orders for affine permutations , author=. 2026 , eprint=

    2026

  3. [3]

    2021 , eprint=

    Extending higher Bruhat orders to non-longest words in S_n , author=. 2021 , eprint=

    2021

  4. [4]

    1993 , issn =

    Higher bruhat orders and cyclic hyperplane arrangements , journal =. 1993 , issn =. doi:https://doi.org/10.1016/0040-9383(93)90019-R , url =

    work page doi:10.1016/0040-9383(93)90019-r 1993

  5. [5]

    DIAMETER OF GRAPHS OF REDUCED WORDS AND GALLERIES , urldate =

    Victor Reiner and Yuval Roichman , journal =. DIAMETER OF GRAPHS OF REDUCED WORDS AND GALLERIES , urldate =

  6. [6]

    Stanley , abstract =

    Richard P. Stanley , abstract =. On the Number of Reduced Decompositions of Elements of Coxeter Groups , journal =. 1984 , issn =. doi:https://doi.org/10.1016/S0195-6698(84)80039-6 , url =

    work page doi:10.1016/s0195-6698(84)80039-6 1984

  7. [7]

    On the distance between the expressions of a permutation , journal =

    Patrick Dehornoy and Marc Autord , abstract =. On the distance between the expressions of a permutation , journal =. 2010 , issn =. doi:https://doi.org/10.1016/j.ejc.2010.03.003 , url =

    work page doi:10.1016/j.ejc.2010.03.003 2010

  8. [8]

    Le probl

    Jacques Tits , year=. Le probl. Symposia Mathematica , series=

  9. [9]

    Advances in Mathematics , series=

    New bases of some Hecke algebras via Soergel bimodules , author=. Advances in Mathematics , series=

  10. [10]

    Advances in Applied Mathematics , series=

    An inversion statistic for reduced words , author=. Advances in Applied Mathematics , series=

  11. [11]

    Advanced Studies in Pure Mathematics , series=

    Arrangements of Hyperplanes, Higher Braid Groups and Higher Bruhat Orders , author=. Advanced Studies in Pure Mathematics , series=

  12. [12]

    Representation Theory of the American Mathematical Society , volume=

    Kazhdan-Lusztig polynomials and a combinatoric for tilting modules , author=. Representation Theory of the American Mathematical Society , volume=

  13. [13]

    Representation Theory of the American Mathematical Society , volume=

    Construction of arbitrary Kazhdan-Lusztig polynomials in symmetric groups , author=. Representation Theory of the American Mathematical Society , volume=

  14. [14]

    and Bernstein, J

    Beilinson, A. and Bernstein, J. , TITLE =. I. 1993 , ISBN =

    1993

  15. [15]

    and Warrington, Gregory S

    Billey, Sara C. and Warrington, Gregory S. , TITLE =. J. Algebraic Combin. , FJOURNAL =. 2001 , NUMBER =. doi:10.1023/A:1011279130416 , URL =

    work page doi:10.1023/a:1011279130416 2001

  16. [16]

    Schubert varieties and Poincar \'e duality

    David Kazhdan and George Lusztig. Schubert varieties and Poincar \'e duality. Geometry of the Laplace operator. 1980

    1980

  17. [17]

    [2020] 2020 , PAGES =

    Elias, Ben and Makisumi, Shotaro and Thiel, Ulrich and Williamson, Geordie , TITLE =. [2020] 2020 , PAGES =. doi:10.1007/978-3-030-48826-0 , URL =

    work page doi:10.1007/978-3-030-48826-0 2020

  18. [18]

    Selecta Math

    Sutton, Louise and Tubbenhauer, Daniel and Wedrich, Paul and Zhu, Jieru , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00029-023-00835-0 , URL =

    work page doi:10.1007/s00029-023-00835-0 2023

  19. [19]

    (to appear on IMRN), 2023 , eprint=

    Positivity and Web Bases for Specht Modules of Hecke Algebras , author=. (to appear on IMRN), 2023 , eprint=

    2023

  20. [20]

    2023 , eprint=

    M-diagram basis of the Specht module for (n,n,n) , author=. 2023 , eprint=

    2023

  21. [21]

    and Tymoczko, Julianna , TITLE =

    Russell, Heather M. and Tymoczko, Julianna , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2022 , NUMBER =. doi:10.1093/imrn/rnaa290 , URL =

    work page doi:10.1093/imrn/rnaa290 2022

  22. [22]

    Murakami, Hitoshi and Ohtsuki, Tomotada and Yamada, Shuji , TITLE =. Enseign. Math. (2) , FJOURNAL =. 1998 , NUMBER =

    1998

  23. [23]

    Canadian Journal of Mathematics , author=

    Oriented Temperley–Lieb algebras and combinatorial Kazhdan–Lusztig theory , DOI=. Canadian Journal of Mathematics , author=. 2025 , pages=

    2025

  24. [24]

    Inventiones mathematicae , volume=

    Kazhdan-Lusztig conjecture and holonomic systems , author=. Inventiones mathematicae , volume=. 1981 , publisher=

    1981

  25. [25]

    Localisation de g-modules , author=. CR Acad. Sci. Paris , volume=

  26. [26]

    arXiv preprint arXiv:2208.02584 , year=

    The anti-spherical Hecke categories for Hermitian symmetric pairs , author=. arXiv preprint arXiv:2208.02584 , year=

    work page arXiv

  27. [27]

    arXiv preprint arXiv:2302.04073 [PREPRINT OR COMPARABLE] , year=

    Superalgebra deformations of web categories: finite webs , author=. arXiv preprint arXiv:2302.04073 [PREPRINT OR COMPARABLE] , year=

    work page arXiv

  28. [28]

    Light ladders and clasp conjectures

    Light ladders and clasp conjectures , author=. arXiv preprint arXiv:1510.06840 [PREPRINT OR COMPARABLE] , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  29. [29]

    Journal of Algebra , volume=

    Parabolic Kazhdan--Lusztig R-polynomials for tight quotients of the symmetric groups , author=. Journal of Algebra , volume=. 2011 , publisher=

    2011

  30. [30]

    Representation Theory of the American Mathematical Society , volume=

    Soergel calculus , author=. Representation Theory of the American Mathematical Society , volume=

  31. [31]

    Thicker Soergel calculus in type

    Elias, Ben , journal=. Thicker Soergel calculus in type. 2016 , publisher=

    2016

  32. [32]

    2012 , publisher=

    An introduction to knot theory , author=. 2012 , publisher=

    2012

  33. [33]

    2018 , MONTH =

    Two-boundary centralizer algebras for. 2018 , MONTH =

    2018

  34. [34]

    Combinatorial Invariance Conjecture for

    Burrull, Gaston and Libedinsky, Nicolas and Plaza, David , journal=. Combinatorial Invariance Conjecture for. 2023 , publisher=

    2023

  35. [35]

    Advances in Mathematics , volume=

    Pre-canonical bases on affine Hecke algebras , author=. Advances in Mathematics , volume=. 2022 , publisher=

    2022

  36. [36]

    Selecta Mathematica , volume=

    On the affine Hecke category for SL 3 , author=. Selecta Mathematica , volume=. 2023 , publisher=

    2023

  37. [37]

    arXiv preprint arXiv:2305.04731 [PREPRINT OR COMPARABLE] , year=

    M-diagram basis of the. arXiv preprint arXiv:2305.04731 [PREPRINT OR COMPARABLE] , year=

    work page arXiv

  38. [38]

    Oriented

    Bowman, Chris and De Visscher, Maud and Farrell, Niamh and Hazi, Amit and Norton, Emily , journal=. Oriented

  39. [39]

    Advances in Mathematics , volume=

    The anti-spherical category , author=. Advances in Mathematics , volume=. 2022 , publisher=

    2022

  40. [40]

    Billiards and tilting characters for SL3 , author=. SIGMA. Symmetry, Integrability and Geometry: Methods and Applications , volume=. 2018 , publisher=

    2018

  41. [41]

    Advances in Mathematics , volume=

    Light leaves and Lusztig's conjecture , author=. Advances in Mathematics , volume=. 2015 , publisher=

    2015

  42. [42]

    The two-color

    Elias, Ben , journal=. The two-color. 2016 , publisher=

    2016

  43. [43]

    2018 , publisher=

    Tilting modules and the p -canonical basis , author=. 2018 , publisher=

    2018

  44. [44]

    Kazhdan-lusztig-polynome und unzerlegbare bimoduln

    Soergel, Wolfgang , journal=. Kazhdan-lusztig-polynome und unzerlegbare bimoduln. 2007 , publisher=

    2007

  45. [45]

    , author=

    The combinatorics of Harish-Chandra bimodules. , author=. 1992 , publisher=

    1992

  46. [46]

    Monica Vazirani , title =

  47. [47]

    Schubert varieties and Poincar

    Kazhdan, David and Lusztig, George , journal=. Schubert varieties and Poincar. 1980 , publisher=

    1980

  48. [48]

    Invent Math , volume=

    Cellular algebras , author=. Invent Math , volume=

  49. [49]

    Annals of Mathematics , pages=

    On the structure of semigroups , author=. Annals of Mathematics , pages=. 1951 , publisher=

    1951

  50. [50]

    Letters in Mathematical Physics , volume=

    A q-analogue of U (g [(N+ 1)), Hecke algebra, and the Yang-Baxter equation , author=. Letters in Mathematical Physics , volume=. 1986 , publisher=

    1986

  51. [51]

    Journal of the Indian Institute of Science , volume=

    IntroSurvey of representation theory , author=. Journal of the Indian Institute of Science , volume=. 2022 , publisher=

    2022

  52. [52]

    Sur les int

    Shimura, Goro , journal=. Sur les int

  53. [53]

    On the structure ofa Hecke ring ofa Chevalley group over a finite field' , author=. J. Fac. Sci. Univ. Tokyo , pages=

  54. [54]

    Proceedings of the American Philosophical Society , volume=

    Group theory and its significance for mathematics and physics , author=. Proceedings of the American Philosophical Society , volume=. 1973 , publisher=

    1973

  55. [55]

    2005 , publisher=

    Linear and projective representations of symmetric groups , author=. 2005 , publisher=

    2005

  56. [56]

    Light leaves and

    Libedinsky, Nicolas , journal=. Light leaves and. 2015 , publisher=

    2015

  57. [57]

    Journal of the American Mathematical Society , volume=

    Schubert calculus and torsion explosion , author=. Journal of the American Mathematical Society , volume=

  58. [58]

    Some problems in the representation theory of finite Chevalley groups , author=. Proc. Sympos. Pure Math. , volume=. 1980 , organization=

    1980

  59. [59]

    Journal of Algebra , volume=

    Duality in parabolic set up for questions in Kazhdan-Lusztig theory , author=. Journal of Algebra , volume=. 1991 , publisher=

    1991

  60. [60]

    , journal=

    Deodhar, Vinay V. , journal=. On some geometric aspects of. 1987 , publisher=

    1987

  61. [61]

    Graphical calculus, canonical bases and

    Khovanov, Mikhail , year=. Graphical calculus, canonical bases and

  62. [62]

    Tensor representations for the

    Benkart, Georgia and Biswal, Rekha and Kirkman, Ellen and Nguyen, Van C and. Tensor representations for the. Journal of Algebra , volume=. 2022 , publisher=

    2022

  63. [63]

    Selecta Mathematica , volume=

    Sutton, Louise and Tubbenhauer, Daniel and Wedrich, Paul and. Selecta Mathematica , volume=. 2023 , publisher=

    2023

  64. [64]

    Representation Theory of the American Mathematical Society , volume=

    Quivers for SL_2 tilting modules , author=. Representation Theory of the American Mathematical Society , volume=

  65. [65]

    Advances in Mathematics , volume=

    p-Jones-Wenzl idempotents , author=. Advances in Mathematics , volume=. 2019 , publisher=

    2019

  66. [66]

    , author=

    Finite dimensional algebras and highest weight categories. , author=. 1988 , publisher=

    1988

  67. [67]

    Index for subfactors , author=. Invent. Math. , volume=

  68. [68]

    arXiv preprint arXiv:2109.03984 , year=

    Howe duality of type p , author=. arXiv preprint arXiv:2109.03984 , year=

    work page arXiv

  69. [69]

    arXiv preprint arXiv:2001.00663 , year=

    Quantum webs of type Q , author=. arXiv preprint arXiv:2001.00663 , year=

    work page arXiv 2001

  70. [70]

    International Mathematics Research Notices , volume=

    Symmetric webs, Jones--Wenzl recursions, and q-Howe duality , author=. International Mathematics Research Notices , volume=. 2016 , publisher=

    2016

  71. [71]

    Li, Yiqiang , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2013 , NUMBER =. doi:10.1016/j.jpaa.2012.09.028 , URL =

    work page doi:10.1016/j.jpaa.2012.09.028 2013

  72. [72]

    Faddeev, L. D. and Reshetikhin, N. Yu. and Takhtajan, L. A. , TITLE =. Algebraic analysis,. 1988 , MRCLASS =

    1988

  73. [73]

    Ehrig, Michael and Stroppel, Catharina , TITLE =. Adv. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.aim.2018.01.013 , URL =

    work page doi:10.1016/j.aim.2018.01.013 2018

  74. [74]

    2018 , Eprint =

    Martina Balagovic and Zajj Daugherty and Inna Entova-Aizenbud and Iva Halacheva and Johanna Hennig and Mee Seong Im and Gail Letzter and Emily Norton and Vera Serganova and Catharina Stroppel , Title =. 2018 , Eprint =

    2018

  75. [75]

    and Sussan, Joshua , TITLE =

    Hill, David and Kujawa, Jonathan R. and Sussan, Joshua , TITLE =. Math. Z. , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s00209-010-0712-7 , URL =

    work page doi:10.1007/s00209-010-0712-7 2011

  76. [76]

    Ehrig, Michael and Stroppel, Catharina , TITLE =. Math. Z. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00209-016-1669-y , URL =

    work page doi:10.1007/s00209-016-1669-y 2016

  77. [77]

    Etingof, S

    Etingof, Pavel and Gelaki, Shlomo and Nikshych, Dmitri and Ostrik, Victor , TITLE =. 2015 , PAGES =. doi:10.1090/surv/205 , URL =

    work page doi:10.1090/surv/205 2015

  78. [78]

    1993 , PAGES =

    Lusztig, George , TITLE =. 1993 , PAGES =

    1993

  79. [79]

    Brown and Nicholas J

    Gordon C. Brown and Nicholas J. Davidson and Jonathan R. Kujawa , Title =. 2020 , Eprint =

    2020

  80. [80]

    Tubbenhauer, Daniel and Vaz, Pedro and Wedrich, Paul , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.3703 , URL =

    work page doi:10.2140/agt.2017.17.3703 2017

Showing first 80 references.