Ask Your Question
0

Obtaining the rowmotion bijection on distributive lattices via sage

asked 2020-06-01 04:00:06 -0500

klaaa gravatar image

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

1 answer

Sort by » oldest newest most voted
1

answered 2020-06-01 04:28:42 -0500

FrédéricC gravatar image

Like this

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}: {}}
edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2020-06-01 04:00:06 -0500

Seen: 28 times

Last updated: Jun 01