Obtaining the rowmotion bijection on distributive lattices via sage

lattice_poset

asked 2020-06-01 11:00:06 +0200

klaaa
671 ●3 ●14 ●38

In the article https://arxiv.org/abs/1108.1172 a bijection F on finite distributive lattices called rowmotion is introduced.

Given a poset P and let L(P) denote the distributive lattice of order ideals of P, the bijection F: L(P) -> L(P) is defined as F(I)=the order ideal generated by the minimal elements of P not in I for a given order ideal I.

Is there a way to obtain this bijection F and its inverse for an explictly given distributive lattice in SAGE?

So the input in sage is a distributive lattice such as B4=posets.BooleanLattice(4)

display(B4)

and the output should be the bijection F (and its inverse) as a map on the points of the distributive lattice.

edit retag flag offensive close merge delete

add a comment

sage: P = posets.PentagonPoset() sage: {x:P.rowmotion(x) for x in P.order_ideals_lattice()} {{}: {0}, {0}: {0, 1, 2}, {0, 1}: {0, 2}, {0, 2}: {0, 1, 2, 3}, {0, 1, 2}: {0, 2, 3}, {0, 2, 3}: {0, 1}, {0, 1, 2, 3}: {0, 1, 2, 3, 4}, {0, 1, 2, 3, 4}: {}}

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Obtaining the rowmotion bijection on distributive lattices via sage

1 Answer

Your Answer

Question Tools

Stats

Related questions

Obtaining the rowmotion bijection on distributive lattices via sage edit

1 Answer

Your Answer

Question Tools

Stats

Related questions

Obtaining the rowmotion bijection on distributive lattices via sage