EL-Shelling on Comodernistic Lattices
Pith reviewed 2026-05-24 21:15 UTC · model grok-4.3
The pith
Comodernistic lattices admit recursive atom orderings independent of roots and are therefore EL-shellable.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
EL-shellability is equivalent to the existence of a recursive atom ordering independent of roots. Every comodernistic lattice admits a recursive atom ordering independent of roots and is therefore EL-shellable. Order congruence lattices, a central subclass, admit a simpler explicit EL-shelling.
What carries the argument
Recursive atom ordering independent of roots, shown equivalent to EL-shellability and proven to exist on comodernistic lattices.
If this is right
- All comodernistic lattices are EL-shellable.
- Order congruence lattices possess an explicit simpler EL-shelling.
- EL-shellability can be verified by constructing a root-independent recursive atom ordering rather than checking shelling conditions directly.
- The equivalence applies uniformly across the class without additional restrictions on roots.
Where Pith is reading between the lines
- The result may allow direct transfer of shellability-based topological conclusions to any newly identified comodernistic lattices.
- A uniform construction of the ordering could be checked for preservation under standard lattice operations such as products or quotients.
- The simpler shelling on order congruence lattices might be compared with known shellings on related congruence lattices to isolate the source of the simplification.
Load-bearing premise
The prior definitions and basic properties of comodernistic lattices are taken as given and correctly identify the lattices to which the new ordering applies.
What would settle it
Exhibit one comodernistic lattice that possesses no recursive atom ordering independent of roots.
read the original abstract
We prove the equivalence of EL-shellability and the existence of recursive atom ordering independent of roots. We show that a comodernistic lattice, as defined by Schweig and Woodroofe, admits a recursive atom ordering independent of roots, therefore is EL-shellable. We also present and discuss a simpler EL-shelling on one of the most important classes of comodernistic lattice, the order congruence lattices.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the equivalence of EL-shellability and the existence of recursive atom orderings independent of roots. It then shows that comodernistic lattices (as defined by Schweig and Woodroofe) admit such orderings and are therefore EL-shellable. It also presents and discusses a simpler EL-shelling for order congruence lattices, an important subclass.
Significance. If the equivalence and construction hold, the result supplies a root-independent characterization of EL-shellability that may simplify arguments in combinatorial lattice theory. The explicit application to the full class of comodernistic lattices, together with the simpler construction for order congruence lattices, extends known results on shellable posets. The paper supplies explicit constructions rather than existence arguments alone, which strengthens the contribution.
minor comments (2)
- [Introduction] The introduction should include a brief recap of the definition of comodernistic lattices (even while citing Schweig-Woodroofe) to make the manuscript more self-contained for readers unfamiliar with the prior work.
- The discussion of the simpler EL-shelling on order congruence lattices would benefit from a short explicit example or comparison highlighting the simplification relative to the general construction.
Simulated Author's Rebuttal
We thank the referee for their positive summary of the paper and for recommending minor revision. No specific major comments were provided in the report.
Circularity Check
No significant circularity
full rationale
The paper establishes an equivalence between EL-shellability and root-independent recursive atom orderings via direct proof, then constructs such an ordering for comodernistic lattices using the external definition from Schweig and Woodroofe. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear; the central claims rest on independent logical steps and prior non-author work. The derivation is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard definitions of EL-shellability, recursive atom ordering, and comodernistic lattices from prior literature (Schweig and Woodroofe).
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.