Primitive Sets with Small Gaps
A primitive set is a set of positive integers such that no pair of distinct elements satisfies .
A square-primitive set is a set of positive integers such that no pair of distinct elements has ratio equal to an square integer.
In the following writeup, I show how to construct square-primitive sets with very short gaps . This relies on dividing the poset ordered by divisibility into antichains consisting of all numbers in with exactly (not necessarily distinct) prime factors, and then picking one randomly.
I’m interested in the much harder problem of constructing primitive sets with similarly small gaps. To do this using the same method requires a way to randomly generate infinite antichains of . Here is a naive way to do this: take every positive integer and attach to it a weight . Sort the naturals by size, and at each , flip an -weighted coin in our antichain if no divisor of has been included yet, and add to if it comes up heads. In general, we should expect to always be infinite if , and hopefully have small gaps.