pith. sign in

arxiv: 2605.20903 · v1 · pith:WHISOZGEnew · submitted 2026-05-20 · 🧮 math.CO

The extra slow Tamari lattice

Pith reviewed 2026-05-21 04:11 UTC · model grok-4.3

classification 🧮 math.CO
keywords Tamari latticesfaithfully balanced tableauxsemidistributive latticescongruence uniform latticestype A quiversenumerative combinatoricsjoin-irreducible elements
0
0 comments X

The pith

Extra slow Tamari lattices on faithfully balanced tableaux extend the Tamari lattice and satisfy semidistributivity, trimness, and congruence uniformity.

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

The paper defines the extra slow Tamari lattices on faithfully balanced tableaux that come from the representation theory of type A quivers. These extend both the classical Tamari lattice and the slow Tamari lattice by providing explicit descriptions of their meet and join operations. The authors prove that these structures are indeed lattices and further show they are semidistributive, trim, polygonal, and congruence uniform. Join-irreducible elements are characterized using a three-color analogue of the positive roots of type A, which allows descriptions of spines and congruence lattices, plus new enumerative results for both the extra slow and slow Tamari lattices.

Core claim

We introduce the extra slow Tamari lattices defined on faithfully balanced tableaux arising naturally from type A quiver representation theory. We explicitly describe meets and joins to prove they form lattices that are semidistributive, trim, polygonal, and congruence uniform. The join-irreducible elements are described via a three-color analogue of positive roots of type A, yielding descriptions of spines and congruence lattices along with several enumerative results, and new results for the slow Tamari lattices.

What carries the argument

The order on faithfully balanced tableaux that defines the extra slow Tamari lattice, with its explicit meet and join operations based on the three-color root analogue.

Load-bearing premise

The order defined on faithfully balanced tableaux from type A quivers allows for meet and join operations that satisfy the lattice axioms and the additional properties listed.

What would settle it

A computation for small n where the number of elements or the join-irreducibles do not match the described three-color roots, or where the proposed meet fails to be the greatest lower bound.

Figures

Figures reproduced from arXiv: 2605.20903 by Baptiste Rognerud, Jihyeug Jang, Sylvie Corteel.

Figure 1
Figure 1. Figure 1: The Tamari lattice Tam3 and the slow Tamari lattice sTam3 of size 3. The tableau with the free cell highlighted in yellow is the only small tableau that is not a binary fb-tableau. The sublattice consisting of the tableaux without free cells is isomorphic to the Tamari lattice Tam3. (3) Let c be a cell that is free in both T1 and T2. If c contains a dot in T1, then it also contains a dot in T2. We now stat… view at source ↗
Figure 2
Figure 2. Figure 2: The extra slow Tamari lattice esTam3 of size 3. This result is used in Section 5 to describe the irreducible elements. We prove in Theorem 5.3 that there are 2 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A connected component in the poset of join-irreducible elements of esTamn. Lemma 6.1. Let x, y, z be fb-tableaux such that Col(z) ∩ Col(x) = Col(z) ∩ Col(y). Then the tableaux z ∧ x, z ∧ y and z ∧ (x ∨ y) have the same up-arrows. Proof. Fix an arbitrary column C. For a tableau t, let ut denote the cell of C containing the up-arrow of t. For two cells u and v in the same column, we write u < v if u lies bel… view at source ↗
Figure 4
Figure 4. Figure 4: Poset of the join-irreducible elements of the spine for n=4. 7.4. Counting the elements of the spine. In this subsection, we count the number of elements in the spine using the description obtained in the previous subsection. For a fb-tableau, we associate its border to a word in {•, ↑, ←}, obtained by listing in order the entries in the border cells (2, 1),(3, 2), . . . ,(n, n − 1), as in Section 3. Defin… view at source ↗
Figure 5
Figure 5. Figure 5: Illustration of the border cells of a tableau counted by f(i, j, k) with i = 4, j = 2, and k = 3. The tableau is divided into three regions according to i, j, and k. A ∗ in a yellow cell is either • or ↑, while a ∗ in a green cell is either • or ←. and it contain an up-arrow in cell (i − j, i) for 0 ≤ j < i, the number of fillings of its column is 2 j if j ̸= i − 1 and 2 i−1 if j = i − 1. The total number … view at source ↗
Figure 6
Figure 6. Figure 6: The two types of polygons in our lattice; a quadrilateral and a heptagon. Therefore locally T1, T2 and T1 ∨ T2 look like: ← ↑ • , ← ↑ , ↑ ← and [T, T1 ∨ T2] is a heptagon, made of a path of length 2 and a path of length 5 [PITH_FULL_IMAGE:figures/full_fig_p028_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: A heptagon. The black labels on the edges are the labels by the edge-labelling, and the red labels indicate the values of the rank function associated with each edge label. The middle cell is (i, j), with the cell to its right being (i, j′ ) and the cell below it being (i ′ , j). • For a move of type III, let (i, j) be the position of the empty free cell. Then the label is (i − 1, j, •). • ↑ ↑ ← ↑ ← • • ← … view at source ↗
Figure 8
Figure 8. Figure 8: The poset F(esTamn) for n = 4. Each join-irreducible (i, j, σ) is determined by the two yellow cells: the coordinates (i, j) of the up-arrow and the type σ of the cell immediately below the up-arrow [PITH_FULL_IMAGE:figures/full_fig_p034_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: (Left) A simplified representation of the dual of F(esTamn) for n = 6 (Right) An example of its order ideal and the corresponding Dyck path. cell that shares exactly one edge with the boundary is called a boundary cell; if it shares the right edge, we refer to it as a left boundary cell, and if it shares the left edge, as a right boundary cell. A cell that shares no edge with the boundary is called an inne… view at source ↗
Figure 10
Figure 10. Figure 10: (Left) The poset F(sTamn) for n = 4; (Right) A simplified representation of the dual of F(sTamn) for n = 6 with its order ideal and the corresponding Dyck path. We now turn to the congruence lattice of sTamn. For esTamn, we obtained the forcing relations among join￾irreducible elements from the heptagon, described the cover relations in the poset F(esTamn), and then used this description to express the nu… view at source ↗
read the original abstract

We introduce the extra slow Tamari lattices, a new family of lattices defined on faithfully balanced tableaux. These tableaux arise naturally from the representation theory of type \( A \) quivers, and our construction extends the classical Tamari lattice and the slow Tamari lattice. We explicitly describe meets and joins in the extra slow Tamari lattices, and then prove that they are lattices. We then show that they are semidistributive, trim, polygonal, and congruence uniform. Their join-irreducible elements are described in terms of a three-color analogue of the positive roots of type \( A \), which leads to descriptions of their spines and congruence lattices. We also obtain several enumerative results for the extra slow Tamari lattices and their associated structures. Finally, we derive new structural and enumerative results for the slow Tamari lattices.

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

1 major / 3 minor

Summary. The manuscript introduces the extra slow Tamari lattices as a new family of lattices defined on faithfully balanced tableaux arising from the representation theory of type A quivers. It extends the classical Tamari lattice and the slow Tamari lattice by explicitly describing meets and joins on these tableaux, proving that the resulting structure is a lattice, and then establishing that the lattices are semidistributive, trim, polygonal, and congruence uniform. Join-irreducible elements are described via a three-color analogue of the positive roots of type A, yielding descriptions of spines and congruence lattices; the paper also derives enumerative results for the new lattices and new structural/enumerative results for the slow Tamari lattices.

Significance. If the explicit descriptions and verifications hold, the work provides a natural combinatorial extension of the Tamari family with a parameter-free construction and direct proofs of multiple lattice-theoretic properties. The three-color root-system description of join-irreducibles and the new results obtained for the slow Tamari lattices are particular strengths, as is the explicit, machine-checkable style of the combinatorial arguments.

major comments (1)
  1. [§4] §4 (proof that the described meet and join turn the poset of faithfully balanced tableaux into a lattice): the verification proceeds by case analysis on the tableaux; it is not immediately clear whether the cases are exhaustive or whether a key identity (e.g., the absorption laws) is proved uniformly rather than by exhaustive checking. A short lemma isolating the essential combinatorial identity would make the argument more transparent.
minor comments (3)
  1. [§6] The three-color analogue of positive roots is introduced in §6 without a self-contained definition or small example; adding a one-paragraph reminder of the classical type-A roots and how the three-color version modifies them would improve readability.
  2. [Table 1] Table 1 (enumeration of extra slow Tamari lattices): the column headings use an abbreviation that is defined only later in the text; moving the definition to the table caption or an earlier section would help.
  3. [§2 and §7] The notation for the order relation on tableaux is introduced in §2 but occasionally reused with a different symbol in §7; consistent use throughout would eliminate a minor source of confusion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, their positive assessment, and the recommendation for minor revision. We address the single major comment below.

read point-by-point responses
  1. Referee: [§4] §4 (proof that the described meet and join turn the poset of faithfully balanced tableaux into a lattice): the verification proceeds by case analysis on the tableaux; it is not immediately clear whether the cases are exhaustive or whether a key identity (e.g., the absorption laws) is proved uniformly rather than by exhaustive checking. A short lemma isolating the essential combinatorial identity would make the argument more transparent.

    Authors: We agree with the referee that the case analysis in Section 4 would benefit from greater transparency. In the revised manuscript we will insert a short lemma that isolates the essential combinatorial identity underlying the verification of the meet and join operations (including the absorption laws). The lemma will make explicit that the cases are exhaustive and that the argument proceeds from a uniform combinatorial principle rather than from exhaustive checking alone. revision: yes

Circularity Check

0 steps flagged

No significant circularity; direct combinatorial verification

full rationale

The paper defines the extra slow Tamari lattice via an independent order on faithfully balanced tableaux arising from type-A quiver representations, then supplies explicit meet and join formulas followed by direct proofs that the structure satisfies the lattice axioms and the listed properties (semidistributivity, trimness, etc.). Join-irreducibles are described via a three-color root-system analogue that is constructed within the paper rather than presupposed. Although the work extends classical and slow Tamari lattices and obtains new results for the latter, these extensions rest on fresh definitions and verifications rather than any reduction of the central claims to self-citations, fitted parameters, or ansatzes imported from prior author work. The derivation chain is therefore self-contained and parameter-free.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Report based solely on abstract; no specific free parameters, invented entities, or ad-hoc axioms are identifiable beyond standard background in lattice theory and poset constructions.

axioms (1)
  • standard math Basic axioms of partially ordered sets and lattices
    The proofs that the structures are lattices and possess semidistributivity rely on standard definitions and properties of meets, joins, and congruences in order theory.

pith-pipeline@v0.9.0 · 5666 in / 1352 out tokens · 70967 ms · 2026-05-21T04:11:09.763864+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

49 extracted references · 49 canonical work pages

  1. [1]

    Electron

    Aval, Jean-Christophe and Boussicault, Adrien and Nadeau, Philippe , TITLE =. Electron. J. Combin. , FJOURNAL =. 2013 , NUMBER =. doi:10.37236/3440 , URL =

  2. [2]

    Discrete Math

    Geyer, Winfried , title =. Discrete Math. , issn =. 1994 , language =. doi:10.1016/0012-365X(94)90019-1 , keywords =

  3. [3]

    Demonet, Laurent and Iyama, Osamu and Reading, Nathan and Reiten, Idun and Thomas, Hugh , title =. Trans. Am. Math. Soc., Ser. B , issn =. 2023 , language =. doi:10.1090/btran/100 , keywords =

  4. [4]

    Lattice theory: special topics and applications

    Reading, Nathan , title =. Lattice theory: special topics and applications. Volume 2 , isbn =. 2016 , publisher =. doi:10.1007/978-3-319-44236-5_9 , keywords =

  5. [7]

    Proceedings of the

    Elizalde, Sergi and Winkler, Peter , TITLE =. Proceedings of the. 2009 , MRCLASS =

  6. [8]

    European J

    Corteel, Sylvie and Kim, Jang Soo , TITLE =. European J. Combin. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.ejc.2011.01.003 , URL =

  7. [9]

    , TITLE =

    Williams, Lauren K. , TITLE =. Adv. Math. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.aim.2004.01.003 , URL =

  8. [10]

    European J

    Corteel, Sylvie and Nadeau, Philippe , TITLE =. European J. Combin. , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.ejc.2007.12.007 , URL =

  9. [11]

    Riedtmann, Christine and Schofield, Aidan , title =. Comment. Math. Helv. , issn =. 1991 , language =. doi:10.1007/BF02566636 , keywords =

  10. [12]

    Happel, Dieter and Unger, Luise , title =. Algebr. Represent. Theory , issn =. 2005 , language =. doi:10.1007/s10468-005-3595-2 , keywords =

  11. [13]

    Electron

    Aval, Jean-Christophe and Boussicault, Adrien and Nadeau, Philippe , title =. Electron. J. Comb. , issn =. 2013 , language =

  12. [14]

    Crawley-Boevey, William and Ma, Biao and Rognerud, Baptiste and Sauter, Julia , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.jcta.2021.105472 , URL =

  13. [15]

    European J

    Mandelshtam, Olya and Viennot, Xavier , TITLE =. European J. Combin. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.ejc.2018.05.002 , URL =

  14. [16]

    Mandelshtam, Olya and Viennot, Xavier , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.jcta.2018.05.006 , URL =

  15. [18]

    Ceballos, Cesar and Pons, Viviane , TITLE =. S\'. 2020 , PAGES =

  16. [19]

    A unifying framework for the

    von Bell, Matias and Gonz\'. A unifying framework for the. Combinatorica , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00493-023-00022-x , URL =

  17. [20]

    European J

    von Bell, Matias and Yip, Martha , TITLE =. European J. Combin. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.ejc.2021.103415 , URL =

  18. [21]

    Ceballos, Cesar and Padrol, Arnau and Sarmiento, Camilo , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7405 , URL =

  19. [22]

    Electron

    Ceballos, Cesar and Padrol, Arnau and Sarmiento, Camilo , TITLE =. Electron. J. Combin. , FJOURNAL =. 2020 , NUMBER =. doi:10.37236/8000 , URL =

  20. [23]

    The enumeration of generalized

    Pr. The enumeration of generalized. Trans. Am. Math. Soc. , issn =. 2017 , language =. doi:10.1090/tran/7004 , keywords =

  21. [24]

    Huang, Samuel and Tamari, Dov , title =. J. Comb. Theory, Ser. A , issn =. 1972 , language =. doi:10.1016/0097-3165(72)90003-9 , keywords =

  22. [25]

    Day, Alan , title =. Can. J. Math. , issn =. 1979 , language =. doi:10.4153/CJM-1979-008-x , keywords =

  23. [26]

    and Thomas, Hugh , Title =

    Reading, Nathan and Speyer, David E. and Thomas, Hugh , Title =. Sel. Math., New Ser. , ISSN =. 2021 , Language =. doi:10.1007/s00029-021-00656-z , Keywords =

  24. [27]

    González D'León, Alejandro H

    Rafael S. González D'León, Alejandro H. Morales, Eva Philippe, Daniel Tamayo Jiménez, Martha Yip , TITLE=. 2023 , JOURNAL=

  25. [28]

    and Williams, N

    Thomas, H. and Williams, N. , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/plms.12251 , URL =

  26. [29]

    Partially ordered sets and lattices , JOURNAL =

    Caicedo, Jhon Bladimir and Gonz\'. Partially ordered sets and lattices , JOURNAL =. 2019 , NUMBER =

  27. [30]

    , TITLE =

    Wachs, Michelle L. , TITLE =. Geometric combinatorics , SERIES =. 2007 , ISBN =. doi:10.1090/pcms/013/09 , URL =

  28. [31]

    Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007

    The on-line encyclopedia of integer sequences , author=. Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings , pages=. 2007 , organization=

  29. [32]

    Statistical Mechanics and Quantum-Field Theory Methods in Combinatorial Enumeration

    Alternative tableaux, permutations and partially asymmetric exclusion process , author=. Worshop “Statistical Mechanics and Quantum-Field Theory Methods in Combinatorial Enumeration”, Isaac Newton Institiute for Mathematical Science , pages=

  30. [33]

    , TITLE =

    Corteel, Sylvie and Williams, Lauren K. , TITLE =. Duke Math. J. , FJOURNAL =. 2011 , NUMBER =. doi:10.1215/00127094-1433385 , URL =

  31. [34]

    Corteel, Sylvie and Mandelshtam, Olya and Williams, Lauren , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.aim.2017.09.034 , URL =

  32. [35]

    and Morales, Alejandro H

    González D'León,Rafael S. and Morales, Alejandro H. and Philippe, Eva and Jiménez, Daniel Tamayo and Yip, Martha , title=. 2023 , journal=

  33. [36]

    2006 , journal=

    Postnikov, Alexander , title=. 2006 , journal=

  34. [37]

    , TITLE =

    Reading, N. , TITLE =. Lattice theory: special topics and applications. 2016 , ISBN =

  35. [38]

    Buan, Aslak Bakke and Krause, Henning , title =. J. Pure Appl. Algebra , issn =. 2004 , language =. doi:10.1016/j.jpaa.2003.11.004 , keywords =

  36. [39]

    Lie algebras and related topics

    Hille, Lutz , title =. Lie algebras and related topics. Workshop on Lie algebras, in honor of Helmut Strade's 70th birthday, Universit\`a degli Studi di Milano-Bicocca, Milano, Italy, May 22--24, 2013. Proceedings , isbn =. 2015 , publisher =. doi:10.1090/conm/652/12982 , keywords =

  37. [40]

    Adachi, Takahide and Iyama, Osamu and Reiten, Idun , title =. Compos. Math. , issn =. 2014 , language =. doi:10.1112/S0010437X13007422 , keywords =

  38. [41]

    Associahedra, Tamari lattices and related structures

    Thomas, Hugh , title =. Associahedra, Tamari lattices and related structures. Tamari memorial Festschrift , isbn =. 2012 , publisher =. doi:10.1007/978-3-0348-0405-9_14 , keywords =

  39. [42]

    Caspard, Nathalie and Le Conte de Poly-Barbut, Claude and Morvan, Michel , title =. Adv. Appl. Math. , issn =. 2004 , language =. doi:10.1016/j.aam.2003.09.002 , keywords =

  40. [43]

    Adaricheva, K. V. and Gorbunov, V. A. and Tumanov, V. I. , TITLE =. Adv. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1016/S0001-8708(02)00011-7 , URL =

  41. [44]

    Balchin, Scott and Barnes, David and Roitzheim, Constanze , title =. Pac. J. Math. , issn =. 2021 , language =. doi:10.2140/pjm.2021.315.285 , keywords =

  42. [45]

    Reading, Nathan , title =. Adv. Math. , issn =. 2006 , language =. doi:10.1016/j.aim.2005.07.010 , keywords =

  43. [46]

    Ceballos, Cesar and Pons, Viviane , title =. SIAM J. Discrete Math. , issn =. 2024 , language =. doi:10.1137/23M1605818 , keywords =

  44. [47]

    Luo, Yongle and Rognerud, Baptiste , title =. J. Algebra , issn =. 2026 , language =. doi:10.1016/j.jalgebra.2026.01.017 , keywords =

  45. [48]

    2025 , howpublished =

    von Bell, Matias and Ceballos, Cesar , title =. 2025 , howpublished =

  46. [49]

    2024 , howpublished =

    Rognerud, Baptiste , title =. 2024 , howpublished =

  47. [50]

    Ma, Biao and Sauter, Julia , title =. J. Algebra , issn =. 2020 , language =. doi:10.1016/j.jalgebra.2020.03.026 , keywords =

  48. [51]

    Order , FJOURNAL =

    Thomas, Hugh , TITLE =. Order , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s11083-006-9046-9 , URL =

  49. [52]

    Order , FJOURNAL =

    Markowsky, George , TITLE =. Order , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF00383950 , URL =