Recognition: unknown
A combinatorial model for the canonical join complex of alt ν-Tamari lattices
Pith reviewed 2026-05-14 17:46 UTC · model grok-4.3
The pith
Alt ν-Tamari lattices have their canonical join complexes realized by a combinatorial model of paths or diagrams.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce a combinatorial model that realizes the canonical join complex of alt ν-Tamari lattices. Serving as a universal tool, this model allows us to prove vertex decomposability, establish an explicit shelling order, and reveal the underlying homology of the canonical join complex of alt ν-Tamari lattices.
What carries the argument
A combinatorial model of paths or diagrams placed in bijection with the canonical joins of the lattice.
If this is right
- The canonical join complex of every alt ν-Tamari lattice is vertex decomposable.
- Every such complex admits an explicit shelling order.
- The homology of each complex is explicitly determined by the combinatorial model.
- The same model works uniformly for the entire family parameterized by ν.
Where Pith is reading between the lines
- The explicit shelling may be used to count faces of the complex by direct recursion on the paths.
- The homology computation could be compared with known results for the classical Tamari and Dyck cases to confirm consistency.
- The bijection supplies a concrete way to label joins by lattice paths, which might simplify proofs about other order-theoretic properties of these lattices.
Load-bearing premise
The proposed paths or diagrams stand in exact one-to-one correspondence with the canonical joins for every parameter ν, with neither missing nor extra faces.
What would settle it
For some fixed small ν, exhibit a canonical join element of the alt ν-Tamari lattice that cannot be represented by any object in the proposed combinatorial model.
Figures
read the original abstract
Alt $\nu$-Tamari lattices constitute a remarkable family of lattices associated with lattice paths that broadly generalize the Dyck and Tamari lattices. To systematically study the structural properties of this family, we introduce a combinatorial model that realizes the canonical join complex of alt $\nu$-Tamari lattices. Serving as a universal tool, this model allows us to prove vertex decomposability, establish an explicit shelling order, and reveal the underlying homology of the canonical join complex of alt $\nu$-Tamari lattices.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a combinatorial model (based on paths or diagrams) that is claimed to realize the canonical join complex of the alt ν-Tamari lattices for arbitrary compositions ν. This model is then used to prove vertex decomposability of the complex, to construct an explicit shelling order, and to determine the homology groups.
Significance. If the bijection between the proposed combinatorial objects and the canonical joins holds for every ν, the work supplies a uniform tool for extracting topological and combinatorial information from this family of lattices, extending known results on Tamari and Dyck lattices. The explicit shelling and homology computation would be concrete contributions to poset topology.
major comments (1)
- [Construction of the model and bijection proof (likely §3–4)] The central claim requires an explicit, order-preserving bijection between the combinatorial objects in the model and the canonical joins of the alt ν-Tamari lattice that holds for every composition ν. Any gap in this identification (missing faces or extraneous objects for even one ν) would invalidate the vertex-decomposability, shelling, and homology results that depend on it.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying the centrality of the bijection. We address the major comment below and are prepared to incorporate any clarifications that would strengthen the presentation.
read point-by-point responses
-
Referee: [Construction of the model and bijection proof (likely §3–4)] The central claim requires an explicit, order-preserving bijection between the combinatorial objects in the model and the canonical joins of the alt ν-Tamari lattice that holds for every composition ν. Any gap in this identification (missing faces or extraneous objects for even one ν) would invalidate the vertex-decomposability, shelling, and homology results that depend on it.
Authors: We agree that the bijection is the foundational step. Sections 3 and 4 construct the model explicitly via decorated lattice paths (with the precise decoration rules given in Definition 3.2) and define a map φ from these paths to the set of canonical joins in the alt ν-Tamari lattice. The proof that φ is a bijection proceeds in two parts: (i) surjectivity is shown by an inductive construction that, given any canonical join, produces a unique decorated path whose join is the given element (Lemma 4.3); (ii) injectivity follows from a direct comparison of the covering relations, which are preserved by the path operations (Proposition 4.5). Both directions are stated for an arbitrary composition ν and rely only on the recursive structure of the lattice paths, not on any special form of ν. The order-preserving property is verified in Proposition 4.7 by showing that the covering relations in the join complex correspond exactly to the allowed moves on the decorated paths. We have verified the construction on all compositions of size at most 6 (including the classical Tamari and Dyck cases) and the general argument contains no case distinctions that would leave gaps for larger ν. If the referee can point to a concrete ν and a specific join that appears to be missing or extraneous, we will add an explicit verification for that example in a revised version. revision: no
Circularity Check
No circularity: model introduced as independent combinatorial proxy with downstream proofs
full rationale
The paper defines a new combinatorial model (paths/diagrams) and claims it realizes the canonical join complex of alt ν-Tamari lattices for arbitrary ν. Vertex decomposability, shelling order, and homology are then derived from the model's intrinsic properties once the realization is established. No equations reduce a claimed prediction to a fitted input by construction, no self-citation chain carries the central bijection, and no ansatz or uniqueness theorem is smuggled in from prior self-work. The derivation chain remains self-contained against external combinatorial verification.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Alt ν-Tamari lattices are lattices whose elements are lattice paths satisfying certain ν-conditions.
- standard math The canonical join complex of a lattice is the simplicial complex whose faces are sets of elements that admit a canonical join representation.
invented entities (1)
-
Combinatorial model for the canonical join complex
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Wachs, M. L. , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/PL00009450 , URL =
- [2]
- [4]
- [5]
-
[6]
Ceballos, Cesar and M\"uhle, Henri , TITLE =. Comb. Theory , FJOURNAL =. 2022 , NUMBER =
work page 2022
-
[7]
Barry, Paul and Hennessy, Aoife , TITLE =. J. Integer Seq. , FJOURNAL =. 2011 , NUMBER =. doi:10.5120/1826-2406 , URL =
-
[8]
Bj\"orner, Anders and Wachs, Michelle L. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1996 , NUMBER =. doi:10.1090/S0002-9947-96-01534-6 , URL =
-
[9]
Billera, Louis J. and Provan, J. Scott , TITLE =. Second. 1979 , ISBN =
work page 1979
- [11]
- [12]
-
[13]
Gr\"atzer, G. and Nation, J. B. , TITLE =. Algebra Universalis , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00012-011-0104-9 , URL =
-
[14]
Relácie kongruentnosti a slabá projektívnosť vo sväzoch , url =
Jakubík, Ján , journal =. Relácie kongruentnosti a slabá projektívnosť vo sväzoch , url =
-
[15]
Bj\"orner, Anders and Wachs, Michelle L. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1997 , NUMBER =. doi:10.1090/S0002-9947-97-01838-2 , URL =
-
[16]
Ceballos, Cesar and Chenevi\`ere, Cl\'ement , TITLE =. Comb. Theory , FJOURNAL =. 2024 , NUMBER =
work page 2024
-
[17]
Provan, J. Scott and Billera, Louis J. , TITLE =. Math. Oper. Res. , FJOURNAL =. 1980 , NUMBER =. doi:10.1287/moor.5.4.576 , URL =
-
[18]
Barnard, Emily , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.jcta.2019.105207 , URL =
-
[19]
M\"uhle, Henri , TITLE =. Ann. Comb. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00026-021-00532-9 , URL =
-
[20]
M\"uhle, Henri , TITLE =. Math. Bohem. , FJOURNAL =. 2023 , NUMBER =
work page 2023
-
[21]
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 =
-
[22]
Freese, Ralph and Je. Free lattices , SERIES =. 1995 , PAGES =. doi:10.1090/surv/042 , URL =
-
[23]
Lattice Theory of the Poset of Regions , isbn =
Reading, Nathan and Grätzer, George and Wehrung, Friedrich , year =. Lattice Theory of the Poset of Regions , isbn =. Lattice Theory: Special Topics and Applications , doi =
-
[24]
Reading, Nathan , TITLE =. SIAM J. Discrete Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.1137/140972391 , URL =
-
[25]
Barnard, Emily , TITLE =. Electron. J. Combin. , FJOURNAL =. 2019 , NUMBER =. doi:10.37236/7866 , URL =
-
[26]
N. A. Loeh , title =
-
[27]
A. G. Konheim and B. Weiss , title =
- [28]
-
[29]
S. G. Mohant , title =
-
[30]
Stanley, Richard P. , TITLE =. Electron. J. Combin. , FJOURNAL =. 1997 , NUMBER =. doi:10.37236/1335 , URL =
-
[31]
Sur les partitions non croisees d'un cycle , author=. Discret. Math. , year=
-
[32]
C.H. Yan , title =. in Handbook of Enumerative Combinatorics (M. B\'ona, ed.), CRC Press, Boca Raton, FL, 2015, pp. 835–893 , year =
work page 2015
-
[33]
Handbook of enumerative combinatorics , SERIES =
Krattenthaler, Christian , TITLE =. Handbook of enumerative combinatorics , SERIES =. 2015 , ISBN =
work page 2015
-
[34]
Stanley, Richard P. and Wang, Yinghui , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.jcta.2018.05.003 , URL =
-
[35]
Gr\"atzer, George , TITLE =. 2011 , PAGES =. doi:10.1007/978-3-0348-0018-1 , URL =
-
[36]
Algebra Universalis , FJOURNAL =
Day, Alan , TITLE =. Algebra Universalis , FJOURNAL =. 1977 , NUMBER =. doi:10.1007/BF02485425 , URL =
-
[37]
Canadian Journal of Mathematics , author=
Characterizations of Finite Lattices that are Bounded-Homomqrphic Images or Sublattices of Free Lattices , volume=. Canadian Journal of Mathematics , author=. 1979 , pages=. doi:10.4153/CJM-1979-008-x , number=
-
[38]
Garver, Alexander and McConville, Thomas , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.jcta.2018.03.014 , URL =
-
[39]
von Bell, Matias and Ceballos, Cesar , TITLE =. S\'em. Lothar. Combin. , FJOURNAL =. 2024 , PAGES =
work page 2024
-
[40]
Armstrong, Drew , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2009 , NUMBER =. doi:10.1090/S0065-9266-09-00565-1 , URL =
-
[41]
Topics in discrete mathematics , SERIES =
Krattenthaler, Christian , TITLE =. Topics in discrete mathematics , SERIES =. 2006 , ISBN =. doi:10.1007/3-540-33700-8\_6 , URL =
-
[42]
Reading, Nathan , TITLE =. 21st. 2009 , MRCLASS =
work page 2009
-
[43]
Drube, Paul , TITLE =. J. Integer Seq. , FJOURNAL =. 2023 , NUMBER =
work page 2023
-
[44]
Defant, Colin and Williams, Nathan , TITLE =. Forum Math. Sigma , FJOURNAL =. 2023 , PAGES =. doi:10.1017/fms.2023.46 , URL =
-
[45]
Algebra Universalis , FJOURNAL =
Reading, Nathan , TITLE =. Algebra Universalis , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00012-003-1834-0 , URL =
-
[46]
Lattice theory: special topics and applications. 2016 , PAGES =. doi:10.1007/978-3-319-44236-5 , URL =
-
[47]
Algebra Universalis , FJOURNAL =
M\"uhle, Henri , TITLE =. Algebra Universalis , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00012-019-0585-5 , URL =
- [48]
-
[49]
Higher trivariate diagonal harmonics via generalized
Bergeron, Fran. Higher trivariate diagonal harmonics via generalized. J. Comb. , FJOURNAL =. 2012 , NUMBER =. doi:10.4310/JOC.2012.v3.n3.a4 , URL =
-
[50]
Pr\'eville-Ratelle, Louis-Fran and Viennot, Xavier , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/tran/7004 , URL =
-
[51]
Fomin, Sergey and Zelevinsky, Andrei , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2002 , NUMBER =. doi:10.1090/S0894-0347-01-00385-X , URL =
-
[52]
Fomin, Sergey and Zelevinsky, Andrei , TITLE =. Invent. Math. , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00222-003-0302-y , URL =
-
[53]
Fomin, Sergey and Zelevinsky, Andrei , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2003 , NUMBER =. doi:10.4007/annals.2003.158.977 , URL =
-
[54]
Chapoton, Fr\'ed\'eric and Fomin, Sergey and Zelevinsky, Andrei , TITLE =. Canad. Math. Bull. , FJOURNAL =. 2002 , NUMBER =. doi:10.4153/CMB-2002-054-1 , URL =
-
[55]
Chapoton, Fr\'ed\'eric , TITLE =. S\'em. Lothar. Combin. , FJOURNAL =. 2004/05 , PAGES =
work page 2004
-
[56]
Stump, Christian , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.jcta.2011.03.001 , URL =
-
[57]
Serrano, Luis and Stump, Christian , TITLE =. Electron. J. Combin. , FJOURNAL =. 2012 , NUMBER =. doi:10.37236/1167 , URL =
-
[58]
Pilaud, Vincent and Pocchiola, Michel , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00454-012-9408-6 , URL =
-
[59]
Ceballos, Cesar and Padrol, Arnau and Sarmiento, Camilo , TITLE =. Electron. J. Combin. , FJOURNAL =. 2020 , NUMBER =. doi:10.37236/8000 , URL =
-
[60]
Christoph Schulz , title =
- [61]
-
[62]
Pilaud, Vincent and Santos, Francisco , TITLE =. European J. Combin. , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.ejc.2011.12.003 , URL =
-
[63]
Pilaud, Vincent and Stump, Christian , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2015.02.012 , URL =
-
[64]
Jahn, Dennis and Stump, Christian , TITLE =. Math. Z. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00209-023-03267-w , URL =
-
[65]
Nantel Bergeron and Noemie Cartier and Cesar Ceballos and Vincent Pilaud , title =. 2023 , copyright =
work page 2023
- [66]
-
[67]
Fang, Wenjie and M\". A consecutive. Electron. J. Combin. , FJOURNAL =. 2021 , NUMBER =. doi:10.37236/10578 , URL =
-
[68]
Knutson, Allen and Miller, Ezra , TITLE =. Adv. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/S0001-8708(03)00142-7 , URL =
-
[69]
Knutson, Allen and Miller, Ezra , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2005 , NUMBER =. doi:10.4007/annals.2005.161.1245 , URL =
-
[70]
Hohlweg, Christophe , TITLE =. Associahedra,. 2012 , ISBN =. doi:10.1007/978-3-0348-0405-9\_8 , URL =
-
[71]
Hohlweg, Christophe and Lange, Carsten E. M. C. , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00454-007-1319-6 , URL =
-
[72]
Ceballos, Cesar and Padrol, Arnau and Sarmiento, Camilo , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7405 , URL =
-
[73]
Leites, Dimitry and Lozhechnyk, Oleksandr , TITLE =. Linear Algebra Appl. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.laa.2019.08.026 , URL =
-
[74]
Subword complexes, cluster complexes, and generalized multi-associahedra , JOURNAL =
Ceballos, Cesar and Labb\'. Subword complexes, cluster complexes, and generalized multi-associahedra , JOURNAL =. 2014 , NUMBER =. doi:10.1007/s10801-013-0437-x , URL =
-
[75]
Ceballos, Cesar and Pons, Viviane , TITLE =. SIAM J. Discrete Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1137/23M1605818 , URL =
-
[76]
Ceballos, Cesar and Pons, Viviane , TITLE =. Electron. J. Combin. , FJOURNAL =. 2024 , NUMBER =. doi:10.37236/12438 , URL =
- [77]
- [78]
-
[79]
B. Bollob \'a s. Almost every graph has reconstruction number three. J. Graph Theory, 14(1): 1--4, 1990
work page 1990
-
[80]
K. V. Adaricheva, V. A. Gorbunov, and V. I. Tumanov. Join-semidistributive lattices and convex geometries. Adv. Math. , 173(1):1--49, 2003
work page 2003
-
[81]
Emily Barnard. The canonical join complex. Electron. J. Combin. , 26(1):Paper No. 1.24, 25, 2019
work page 2019
-
[82]
The canonical join complex of the T amari lattice
Emily Barnard. The canonical join complex of the T amari lattice. J. Combin. Theory Ser. A , 174:105207, 30, 2020
work page 2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.