Fast M\"obius inversion in semimodular lattices and U-labelable posets
Petteri Kaski, Jukka Kohonen, Thomas Westerb\"ack

TL;DR
This paper introduces efficient algorithms for zeta and Möbius transforms in various classes of finite posets and lattices, including semimodular, geometric, and U-labelable posets, reducing computational complexity.
Contribution
It characterizes geometric lattices as those allowing $O(e)$ transforms and extends algorithms to all semimodular and U-labelable posets, broadening applicability.
Findings
Algorithms achieve $O(e)$ complexity in geometric lattices.
Extended algorithms work for all semimodular lattices.
Generalized algorithms apply to U-labelable posets.
Abstract
We consider the problem of fast zeta and M\"obius transforms in finite posets, particularly in lattices. It has previously been shown that for a certain family of lattices, zeta and M\"obius transforms can be computed in elementary arithmetic operations, where denotes the size of the covering relation. We show that this family is exactly that of geometric lattices. We also extend the algorithms so that they work in operations for all semimodular lattices, including chains and divisor lattices. Finally, for both transforms, we provide a more general algorithm that works in operations for all R-labelable posets and their non-graded generalization, which we call U-labelable.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Rough Sets and Fuzzy Logic · Logic, Reasoning, and Knowledge
