Lexicographic initial-segment conjecture for Frankl families

For a set S([n]k)S\in\binom{[n]}{k}, let [S][S] denote the initial segment through SS in the lexicographic order on ([n]k)\binom{[n]}{k}. Let FC(k,n)FC(k,n) be the least integer such that every union-closed family containing FC(k,n)FC(k,n) distinct kk-sets of an nn-set satisfies Frankl's conjecture with an element of that nn-set. An FC-family is a family of sets that satisfies Frankl's conjecture, and the universe size of a family is the cardinality of the union of its members.

Lexicographic initial-segment conjecture. For fixed n>k3n>k\geq3, if [Sm][S_m] is an FC-family for some positive integer mm and has universe size nn, then

FC(k,n)m.FC(k,n)\leq m.

The claim predicts that a lexicographic initial segment that is an FC-family supplies an upper bound for the extremal quantity FC(k,n)FC(k,n). It is presented as a conjecture based on experimental results; no resolution is given in the supplied text.

Sources & referencesView supporting material

Primary source

Jonad Pulaj and Kenan Wood, “Local Configurations in Union-Closed Families”, arXiv:2301.01331 (2024).

Additional references

2 papers in this index state this conjecture (2018–2023). The statement above is taken from the most recent of them; the others are arXiv:1802.08355.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.