Abstract:We prove that the acyclic reorientation poset of a directed acyclic graph $D$ is a lattice if and only if the transitive reduction of any induced subgraph of $D$ is a forest. We then show that the acyclic reorientation lattice is always congruence normal, semidistributive (thus congruence uniform) if and only if $D$ is filled, and distributive if and only if $D$ is a forest. When the acyclic reorientation lattice is semidistributive, we introduce the ropes of $D$ that encode the join irreducibles acyclic reorientations and exploit this combinatorial model in three directions. First, we describe the canonical join and meet representations of acyclic reorientations in terms of non-crossing rope diagrams. Second, we describe the congruences of the acyclic reorientation lattice in terms of lower ideals of a natural subrope order. Third, we use Minkowski sums of shard polytopes of ropes to construct a quotientope for any congruence of the acyclic reorientation lattice.

Reduction of Quasi-Lattices to Lattices

On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

Quasi-compact Elements and Continuous Lattices

Quasimodules over bounded lattices

Duality of Lattices Associated to Left and Right Quotients

Quasi-semicontinuous Lattices and Meet-semicontinuous Lattices

Combinatorics of quasi-hereditary structures

A Novel Approach To Attribute Reduction In Formal Concept Lattices

Attribute Reduction In Object Oriented Concept Lattices Based On Congruence Relations

Decision of the Attribute Reductivity about Concept Lattices

The Homomorphism Theorem on Quantic Lattices

The Reduction Theory of the Concept Lattice Based on Its Associated Lattice

The Reduction Theory of Object Oriented Concept Lattices and Property Oriented Concept Lattices

Acyclic reorientation lattices and their lattice quotients

A New Type of Generalized One-Sided Concept Lattices and Its Knowledge Reduction

Lattices Associated with Partial Injective Linear Maps of Finite Vector Spaces

Quotients and subalgebras of sup-algebras

A New Method of Building Lattice Based on Join-Irreducible

The ideals and ideal coclosure operators of Quantic lattices

Quasi-d-Koszul Modules and Applications

Quasi-lindelof spaces revisited