Skip to main content
added 186 characters in body
Source Link
Mare
  • 26.5k
  • 6
  • 25
  • 104

Sperner property of a distributive lattice associated to a divisor poset and the free distributive lattice

Let $P_n$ denote the poset with elements $P_n=\{1,...,n\}$ ordered by divisibility and let $L_n$ denote the distributive lattice of order ideals of $P_n$, whose elements should correspond to primitive subsequences of $\{1,...,n\}$, see https://oeis.org/A051026.

Question 1: Is $L_n$ Sperner? What is the width of $L_n$?

The width sequence start for $n \geq 2$ with 1,2,2,4,4,8,10,15,21,40,45,87 and the poset is indeed Sperner for $n \leq 15$.

Question 2: Let $F_n$ be the free distribitive lattice given as the set of order ideals of the Boolean lattice $B_n$. For which $n$ is $F_n$ Sperner? It is Sperner for $n \leq 4$. What is the sequence $a_n$ of width of $F_n$? The sequence start with 1,2,4,24 for $n \geq 1$.

More generally one can ask this question also for the distributive lattice of order ideals of the divisor lattice of $n$ (all divisors of $n$ ordered by divisibility), see the comments.

I would be very interested to see what $a_5$ and maybe $a_6$ are and see if this sequence appears in the oeis.

Sperner property of a distributive lattice associated to a divisor poset

Let $P_n$ denote the poset with elements $P_n=\{1,...,n\}$ ordered by divisibility and let $L_n$ denote the distributive lattice of order ideals of $P_n$, whose elements should correspond to primitive subsequences of $\{1,...,n\}$, see https://oeis.org/A051026.

Question: Is $L_n$ Sperner? What is the width of $L_n$?

The width sequence start for $n \geq 2$ with 1,2,2,4,4,8,10,15,21,40,45,87 and the poset is indeed Sperner for $n \leq 15$.

Sperner property of a distributive lattice associated to a divisor poset and the free distributive lattice

Let $P_n$ denote the poset with elements $P_n=\{1,...,n\}$ ordered by divisibility and let $L_n$ denote the distributive lattice of order ideals of $P_n$, whose elements should correspond to primitive subsequences of $\{1,...,n\}$, see https://oeis.org/A051026.

Question 1: Is $L_n$ Sperner? What is the width of $L_n$?

The width sequence start for $n \geq 2$ with 1,2,2,4,4,8,10,15,21,40,45,87 and the poset is indeed Sperner for $n \leq 15$.

Question 2: Let $F_n$ be the free distribitive lattice given as the set of order ideals of the Boolean lattice $B_n$. For which $n$ is $F_n$ Sperner? It is Sperner for $n \leq 4$. What is the sequence $a_n$ of width of $F_n$? The sequence start with 1,2,4,24 for $n \geq 1$.

More generally one can ask this question also for the distributive lattice of order ideals of the divisor lattice of $n$ (all divisors of $n$ ordered by divisibility), see the comments.

I would be very interested to see what $a_5$ and maybe $a_6$ are and see if this sequence appears in the oeis.

Source Link
Mare
  • 26.5k
  • 6
  • 25
  • 104

Sperner property of a distributive lattice associated to a divisor poset

Let $P_n$ denote the poset with elements $P_n=\{1,...,n\}$ ordered by divisibility and let $L_n$ denote the distributive lattice of order ideals of $P_n$, whose elements should correspond to primitive subsequences of $\{1,...,n\}$, see https://oeis.org/A051026.

Question: Is $L_n$ Sperner? What is the width of $L_n$?

The width sequence start for $n \geq 2$ with 1,2,2,4,4,8,10,15,21,40,45,87 and the poset is indeed Sperner for $n \leq 15$.