Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The order dimension of divisibility

The order dimension of divisibility DAVID LEWIS AND VICTOR SOUZA Abstract. The Dushnik-Miller dimension of a partially-ordered set P is the smallest d such that one can embed P into a product of d linear orders. We prove that the dimension 2 −Θ(1) of the divisibility order on the interval {1, . . . , n}, is equal to (log n) (log log n) as n goes to infinity. We prove similar bounds for the 2-dimension of divisibility in {1, . . . , n}, where the 2- dimension of a poset P is the smallest d such that P is isomorphic to a suborder of the subset lattice of [d]. We also prove an upper bound for the 2-dimension of posets of bounded degree and show that the 2-dimension of the divisibility poset on the set (αn, n] is Θ (log n) for α ∈ (0, 1). At the end we pose several problems. 1. Introduction The Dushnik-Miller dimension (hereafter, dimension) of a poset is a fundamental concept in the study of partial orders. First introduced by Dushnik and Miller [4] in 1941, dim P is defined as the minimum d such that the poset P can be embedded into a product of d linear orders. For any subset S ⊆ N, denote by D the divisibility poset restricted to the set S. Prop- erties of the divisibility order have been studied, for example, by Cameron and Erdős [2]. Surprisingly, the dimension of the divisibility order, as far as we know, has not been consid- ered in the literature. Since the dimension of D is infinite, we are usually concerned with the case where S is finite. Indeed, we are primarily interested in the case S = [n] := {1, . . . , n}. In our main result, we determine the growth of dim D as n goes to infinity up to a [n] log log n factor. Theorem 1.1. The dimension of D , the divisibility order on [n], satisfies, as n → ∞, [n] 2 2 (log n) (log n) − o(1) ≤ dim D ≤ 4 + o(1) . [n] (log log n) log log n Note that we always write log for the natural logarithm. Unlike with other natural sub- orders of D , such as the set of divisors of a given natural number, the dimension of D N [n] doesn’t seem to reduce to a well-known number-theoretic function. For example, the poset of divisors of n (which is the interval from 1 to n with respect to the divisibility order) is just a product of ω(n) chains and so has dimension ω(n), where ω(n) is the number of distinct prime factors of n. But the set [n] is an interval in the usual order on the integers, and it displays a nontrivial interaction with the divisibility order when regarding the dimension. arXiv:2001.08549v2 [math.CO] 14 Jan 2021 2 DAVID LEWIS AND VICTOR SOUZA We prove Theorem 1.1 by embedding a suborder of the hypercube into D , then embed- [n] ding D into a product of simple posets and showing that each of them has small dimension. [n] We observe that this same idea works, with small modifications, in a variety of circumstances. For example, t-dimension, where t is an integer greater than or equal to 2, is a variant of di- mension introduced by Novák [8]. We are most interested in the case t = 2. The 2-dimension of a poset P , denoted dim P , is the smallest d such that there is an embedding from P into the hypercube Q , the poset of subsets of [n] ordered by inclusion. We prove an analogue of Theorem 1.1 for 2-dimension as well. Theorem 1.2. The 2-dimension of D satisfies, as n → ∞, [n] 2 2 (log n) (log n) 1 4 2 − o(1) ≤ dim D ≤ eπ + o(1) . 2 [n] 16 3 (log log n) log log n We also consider other natural choices for subsets of N to bound the dimension. Some sets like (n , n] and a[n] + b = {ak + b : k ∈ [n]} behave similarly to [n] with respect to the dimension. On the other hand, in Section 6 we shall see that the dimension of divisibility over the set (αn, n] behaves quite differently. In fact, if α ≥ 1/2, then D is an antichain (αn,n] and thus has dimension 2. Using a result of Scott and Wood [9] on posets with bounded degree, we show that D has bounded dimension, and that, as α → 0, (αn,n] 1+o(1) 1 1 sup dim D ≤ log( ) . (αn,n] α α n∈N In Section 6, we prove an analogue of a result by Füredi and Kahn [5] for 2-dimension and use it to show that dim D = Θ (log n) as n → ∞, and that the same holds for 2 (αn,n] α t-dimension for any t ≥ 2. While combinatorial properties of the divisibility poset have been studied before, results often are not stated in the language of partial orders. For example, Cameron and Erdős [2] defined primitive sets of integers as antichains in the divisibility order, and conjectured that the number of primitive subsets of [n] is (α + o(1)) for some constant α. This conjecture was recently proven by Angelo [1]. Continuing this work, Liu, Pach, and Palincza [7] proved that the number of maximum-size primitive subsets of [n] is (β + o(1)) for some constant β, and gave algorithms for computing both α ≈ 1.57 and β ≈ 1.318. They also showed π(n) (1+o(1)) n that the number of strong antichains in D is 2 · e , where a strong antichain [2,n] in a poset P is a subset of P such that no two elements have a common lower bound in P , and π(n) is the number of primes up to n. We hope this note motivates further work on the combinatorial aspects of the divisibility order. 2. Dimension of Posets A poset is an ordered pair P = (S,≤ ), where S is a set and ≤ is a partial order. We P P usually identify a poset with its ground set, especially when it’s clear which partial order we’re using. For a, b ∈ S, we write a < b to mean that a ≤ b and a 6= b. Two elements P P a, b ∈ S are incomparable if neither a ≤ b nor b ≤ a hold. A linear order is a poset in P P THE ORDER DIMENSION OF DIVISIBILITY 3 which the elements are pairwise comparable. Given two posets P = (S,≤ ), Q = (S ,≤ ), P Q a poset embedding from P into Q is a map ϕ : S → S such that ϕ(a) ≤ ϕ(b) if and only if a ≤ b. The expression P ֒→ Q represents an embedding from P into Q or the existence of such an embedding, depending on context. A poset Q = (T,≤ ) is called a suborder of P = (S,≤ ) if T ⊆ S and the inclusion map is a poset embedding. A chain in a poset is a suborder that is a linear order, and an antichain is a suborder in which the elements are pairwise incomparable. Given a family of posets P = (S ,≤ ), i ∈ I, the product poset P = P is the unique i i P i i i∈I order on the product set S = S such that a ≤ b if and only if a ≤ b for all i ∈ I. i P i P i i∈I i Consider R with its standard order. The dimension of a countable poset P , denoted dim P , is equal to the minimum d such that P ֒→ R with the product order. It follows from this definition that dimension is subadditive and monotone; i.e., for any two posets P and Q, dim P × Q ≤ dim P + dim Q , and, if P ֒→ Q, then dim P ≤ dim Q . An equivalent definition of dimension can be given in terms of linear extensions. Given a poset P = (S,≤ ), a linear extension of P is a linear order L = (S,≤ ) that extends P , that P L is, if a ≤ b, then a ≤ b. For any poset P , a realiser of P is a set L of linear extensions P L of P with the property that, for every pair (a, b) ∈ P with a 6≥ b, there exists an L ∈ L such that a ≤ b. Then the dimension of P is the minimum cardinality of a realiser of P . It’s a simple exercise to show that the two definitions are equivalent. Note that there is a standard way to identify linear orders on [n] with permutations. Namely, given σ ∈ S , we associate the order ≤ , where a ≤ b if σ(a) ≤ σ(b). σ σ 3. Suborders of the hypercube Our proof strategy for Theorem 1.1 consists of comparing the dimension of D with the [n] dimension of suborders of the hypercube. In this section, we review the theory of Dushnik [3] that describes the dimension of suborders of the hypercube with another combinatorial object: suitable sets of permutations. We write Q for the n-dimensional hypercube, that is, the subset lattice of [n]. For any n n set A ⊆ [n], Q denotes the suborder of Q consisting of the subsets X ⊆ [n] with |X| ∈ A. n n We write Q instead of Q for simplicity. a,b {a,b} The poset of multisets of [n], ordered by inclusion with multiplicity, is denoted M . For n n any A ⊆ N, we denote by M the suborder of M of multisets whose cardinalities with n n multiplicity are in A, and by M the suborder of M consisting of all finite multisets whose underlying sets have cardinalities in A, ignoring multiplicity. Note that all the posets mentioned are finite, with the exception of M . Usually, we take A = [0, k] or A = {1, k}. We will now prove a slightly stronger version of a lemma by Dushnik [3], which charac- terises the dimension of these posets. To state the result, we need a few more definitions. A pointed k-subset of [n] is an ordered pair (A, a) with a ∈ A, A ⊂ [n] and |A| = k. A set S of permutations of [n] is called k-suitable if, for every pointed k-subset (A, a) of [n], there is a σ ∈ S such that b ≤ a for every b ∈ A. We say that such a σ covers the pointed set (A, a). 4 DAVID LEWIS AND VICTOR SOUZA For any pair 1 ≤ k ≤ n ∈ N, N(n, k) is defined as the minimum cardinality of a k-suitable set of permutations of [n]. It is clear that N(n, 1) = 1 and that N(n, 2) = 2. We also have N(n, k) ≥ k, since each permutation covers only one of the k pointed sets on a given 2 n underlying set. Additionally, we have N(n, k) ≤ n, since {σ, σ , . . . , σ } is k-suitable when σ is the permutation given by σ(i) = i + 1 (mod n). Because every k-suitable set with 2 ≤ k ≤ n is also (k − 1)-suitable and the restriction of a k-suitable set of permutations of [n] with 1 ≤ k ≤ n − 1 to [n − 1] is still k-suitable, N(n, k) is monotone increasing in both arguments. Later, we will provide upper and lower bounds for N(n, k). Lemma 3.1. For every n and every k ≤ n − 1, n n n n dim Q = dim Q = dim M = dim M = N(n, k + 1). 1,k [0,k] [0,k] [0,k] Proof. We show this by proving the following sequence of inequalities: n n n n N(n, k + 1) ≤ dim Q ≤ dim Q ≤ dim M ≤ dim M ≤ N(n, k + 1). 1,k [0,k] [0,k] [0,k] Throughout this proof, for simplicity, we identify [n] with the set of one-element subsets n n of [n]. To show that N(n, k +1) ≤ dim Q , observe that every realiser L of Q induces a 1,k 1,k (k+1)-suitable set of permutations of [n] in the following way. For every L ∈ L, let σ be the permutation of [n] induced by the restriction of L to [n]. Now, for every pointed (k + 1)-set ({a , . . . , a }, a ), there is an L ∈ L such that {a , . . . , a } ≤ {a }. By transitivity, 1 k+1 k+1 1 k L k+1 {a } ≤ {a } and hence a ≤ a for all i ∈ [k], so {σ : L ∈ L} is (k + 1)-suitable. i L k+1 i σ k+1 L n n n n The inequalities dim Q ≤ dim Q ≤ dim M ≤ dim M hold because each 1,k [0,k] [0,k] [0,k] poset embeds into the next. Now to prove that dim M ≤ N(n, k + 1) we just have to [0,k] show how to transform a (k + 1)-suitable set of permutations into a realiser of M with [0,k] the same cardinality. Let S be a (k + 1)-suitable set of permutations of [n]. For each σ ∈ S, let L be the colexicographic order on M with respect to σ. In other words, if A and B are two [0,k] distinct finite multisets of numbers in [n] whose underlying sets have cardinality at most k and x is the σ-greatest element of A ∪ B whose multiplicity in A differs from its multiplicity in B, then A < B if x has greater multiplicity in B than in A and B < A if x has greater L L σ σ multiplicity in A. If A ⊂ B, then A < B for every σ ∈ S, so L is a linear extension of the order on M . L σ [0,k] If A and B are incomparable in M , then there exists an x ∈ B whose multiplicity in B [0,k] is greater than its multiplicity in A. Since S is ℓ-suitable for every 1 ≤ ℓ ≤ k + 1, we can find a σ ∈ S that covers (X ∪ {x}, x), where X is the underlying set of A. Hence A < B. Similarly, there exists a y ∈ A whose multiplicity in A is greater than its multiplicity in B, so we can find a τ ∈ S such that B < A. Therefore {L : σ ∈ S} is a realiser of M . L σ [0,k] The following result by Dushnik [3] gives the exact value of N(n, k), when k is at least 2 n. Note that, by Lemma 3.1, we also obtain the exact dimension of Q and related 1,k posets. THE ORDER DIMENSION OF DIVISIBILITY 5 n n Theorem 3.2. For any j and k with 2 ≤ j ≤ n and + j − 1 ≤ k ≤ + j − 3, we j j−1 √ √ have N(n, k) = n − j + 1. In particular, if 2 n − 1 ≤ k < n, then N(n, k) ≥ n − n. Spencer proved in [10] that, for all fixed k ≥ 3, N(n, k) = Θ (log log n) as n grows. However, the implicit constant in this upper bound grows exponentially in k. The following bound, which was proved in a slightly stronger form by Füredi and Kahn [5], is more useful when log log n ≪ k ≪ n, which is the relevant magnitude for the proof of the upper bound in Theorem 1.1. Lemma 3.3. For all 1 ≤ k ≤ n, N(n, k) ≤ ⌈k log n⌉. Proof. The proof is probabilistic. Fix a natural number s and choose s permutations of [n] independently and uniformly at random. The probability that a given pointed k-subset isn’t s −s/k covered by any of these permutations is (1−1/k) < e . Since the total number of pointed k-subsets of [n] is k ≤ n , the expected number of pointed k-subsets not covered is less k −s/k 2 than n e ≤ 1 when s ≥ k log n, so there is an instance where every pointed k-subset is covered. Hence, N(n, k) ≤ ⌈k log n⌉. 4. The dimension of divisibility on [n] In this section, we provide a proof of Theorem 1.1. Additionally, we give similar lower and upper bounds on the dimension of D for other interesting subsets S ⊆ N. The following principle will be useful to give upper bounds on the dimension and the 2-dimension of D . [n] Lemma 4.1. Let P , . . . , P be a partition of the primes in [n] and for i ∈ [k], let Q be the 1 k i set of numbers in [n] that can be written as a (possibly empty) product of powers of primes in P . Then D ֒→ D × . . . × D . [n] Q Q Proof. As P , . . . , P is a partition of the primes in [n], any number a ∈ [n] can be factored 1 k uniquely as a = q . . . q , where q ∈ Q . Thus, the mapping a 7→ (q , . . . , q ) is well 1 k i i 1 k defined and we claim that this is the poset embedding we need. Indeed, if a = q . . . q and 1 k b = r . . . r , with q , r ∈ Q , then a|b if and only if q |r for all i. 1 k i i i i i th Denote by p the k prime number and by π(x) the number of prime numbers less than or equal to x. We only use standard estimates for these functions: p = (1 + o(1))k log k and π(x) = (1 + o(1)) . Now, we have all the ingredients we need to prove Theorem 1.1. log x Proof of Theorem 1.1. First we prove the lower bound. Observe that, if k is an integer such that every product of at most 2 k distinct elements of {p , p , . . . , p } is in [n], then we have 1 2 k an embedding Q ֒→ D . The image of the embedding is the set of all products of at [n] [0,⌊2 k⌋] most 2 k of the first k primes, and is contained in D if p . . . p ≤ n. It follows [n] k k−⌊2 k⌋+1 by Theorem 3.2 and Lemma 3.1 that dim D ≥ dim Q ≥ k − k. [n] [0,⌊2 k⌋] 6 DAVID LEWIS AND VICTOR SOUZA 2 k This condition for this embedding to exist is satisfied if p ≤ n. Now take α = α(n) < 1/16 log n 1+o(1) to be chosen later, and let k = α . Using the estimate p = k , we obtain log log n log n log n (4 α+o(1)) √ √ log log n log log n log n log n 2 k (2+o(1)) k p = k ≤ ≪ < n, log log n log log n whenever n is sufficiently large. Letting α approach 1/16 from below, we obtain (log n) dim D ≥ (1 − o(1))k = − o(1) . [n] (log log n) To prove the upper bound, let ε = ε(n) > 0, to be chosen later. Let S be the set of all elements of [n] that can be factored into primes less than or equal to (ε log n) and let R be 4.1, we have the set of all elements whose prime factors are all at least (ε log n) . By Lemma an embedding D ֒→ D × D , so dim D ≤ dim D + dim D . The poset D can [n] S R [n] S R S then be embedded in the product of π((ε log n) ) chains (namely the powers of p for each 2x small prime p). Using the weak estimate of the prime number theorem, π(x) ≤ , log x (log n) 2 2 dim D ≤ π((ε log n) ) ≤ ε . (4.1) log log n + log ε log n We further partition the large primes. Let L = log and, for each 0 ≤ i < L, log log n+log ε −i 2 2 let θ = n . Thus θ = n, θ = n, and ε log n ≤ θ < (ε log n) . Let R be the set of i 0 1 L i numbers in [n] whose prime factors all lie in the interval θ , θ . Lemma 4.1 now implies i+1 i L−1 that dim D ≤ dim D . For every i, the prime factors of each element of R forms R R i i=0 i+1 a multiset of elements of ⌊θ ⌋ of cardinality strictly less than 2 . For all a, b ∈ N, a divides b if and only if the multiset of prime factors of a is a submultiset of the multiset of ⌊θ ⌋ prime factors of b, so D ֒→ M . By Lemma 3.1 and Lemma 3.3, we have R i+1 [0,2 −1] −i ⌊θ ⌋ i 2 i+1 i dim D ≤ dim M = N ⌊n ⌋, 2 ≤ 4 · 2 log n + 1. R i+1 [0,2 −1] Therefore, we observe that L−1 L−1 X X dim D ≤ dim D ≤ 4 · 2 log n + L R R i=0 i=0 4(log n) ≤ 4 · 2 log n + L ≤ + L. log log n + log ε Now we choose ε(n) so that ε → 0 and | log ε | = o(log log n) as n → ∞. It suffices to take ε = 1/ log log n. Thus we get (log n) 2 log ε 8 log ε 2 dim D ≤ (4 − ) + log log n − log log n log log n log log n (log n) = (4 − o(1)) . (4.2) log log n THE ORDER DIMENSION OF DIVISIBILITY 7 Finally, we combine inequalities (4.1) and (4.2) to obtain 2 (log n) dim D ≤ dim D + dim D ≤ + 4 + o(1) , [n] S R log log n and the result follows immediately. Note that the same bounds hold for D , since in the lower bound, we avoided the element [2,n] 1 completely. With some other modifications, we can adapt our proof to other settings. We begin by looking at (n , n]. Corollary 4.2. For any fixed α ∈ (0, 1), as n → ∞, 2 2 2 (log n) (log n) (1−α) − o (1) ≤ dim D α ≤ 4 + o(1) . α (n ,n] (log log n) log log n Proof. These bounds follow from the fact that D 1−α ֒→ D α ֒→ D . The first map [2,⌊n ⌋] (n ,n] [n] D 1−α ֒→ D α , defined as x 7→ ⌊n ⌋x, is an embedding if αn > 2 and the second is [2,⌊n ⌋] (n ,n] just the inclusion map. Also of interest is the arithmetic progression a[n] + b = {ak + b : k ∈ [n]}. If a and b are coprime, then denote by p the m-th prime congruent to b (mod a). The prime number a,b,m theorem for arithmetic progressions implies that p ∼ ϕ(a)n log n as n → ∞, where ϕ(a) a,b,n is the Euler totient function, defined as the order of the multiplicative group (Z /aZ) . Corollary 4.3. For any fixed a and b, as n → ∞, 2 2 (log n) (log n) − o (1) ≤ dim D ≤ 4 + o (1) . a,b a[n]+b a,b (log log n) log log n Proof. Since the divisibility poset is dilation-invariant, we may assume a and b are coprime. Since D ֒→ D , the upper bound from Theorem 1.1 holds. For the lower bound, a[n]+b [an+b] note that b ≡ b (mod a) whenever ℓ ≡ 1 (mod ϕ(a)), since the order of an element of × 2 k−1 (Z /aZ) divides ϕ(a). Now let ℓ = ϕ(a) + 1, that is, 2 k rounded up to the nearest ϕ(a) integer congruent to 1 modulo ϕ(a). We consider now the following map f : Q ֒→ D defined as follows. Let p , . . . , p a[n]+b a,b,1 a,b,k 1,ℓ be the first k primes congruent to a (mod b), and map a set A ⊂ Q to f(A) = p . a,b,i 1,ℓ i∈A |A| Note that as |A| ∈ {1, ℓ}, we have f(A) ≡ b ≡ b (mod a). It is clear to see that this is indeed an embedding, given that k is not so large. Indeed, it is sufficient that p ≤ ab + n. By the prime number theorem for arithmetic a,b,k 1+o (1) ℓ (2+o (1)) k a,b a,b progressions, we have p ∼ ϕ(a)k log k = k , so p = k . Therefore, a a,b,k a,b,k lower bound of the same form as in Theorem 1.1 holds asymptotically for dim D . a[n]+b 5. The 2-dimension of divisibility on [n] The goal of this section is to prove Theorem 1.2. We first give a formal definition of t-dimension. 8 DAVID LEWIS AND VICTOR SOUZA For any t ≥ 2, the t-dimension of a poset P , denoted dim P is equal to the minimum d such that P can be embedded into a product of d linear orders, each of cardinality at most t. In particular, dim P is the dimension of the smallest hypercube into which P can be embedded. As with the Dushnik-Miller dimension, t-dimension is subadditive and monotone for all t. For any poset P with n elements {p , p , . . . , p }, the map p 7→ {i ∈ [n] : p ≤ p} is a poset 1 2 n i embedding P ֒→ Q , so dim P ≤ n. Since dim P is monotone decreasing in t, this 2 t implies that dim P is well-defined for every t ≥ 2 and every finite poset P . We also have the trivial lower bound dim P ≥ log (|P|). Another useful observation is that a chain of size ℓ has 2-dimension ℓ − 1. For any 2 ≤ k ≤ n, N (n, k) is defined as the minimum cardinality of a set S of subsets of [n] such that, for any pointed k-subset (A, a) of [n], there exists a set B ∈ S such that A ∩ B = {a}. By analogy with N(n, k), we call such a set a k-suitable family of subsets. The following partial analogue to Lemma 3.1 is essentially due to Kierstead [6]. Lemma 5.1. For every n and every k ≤ n + 1, n n dim Q = dim Q = N (n, k + 1) 2 2 2 1,k [0,k] Proof. To show this, we prove the following sequence of inequalities: n n N (n, k + 1) ≤ dim Q ≤ dim Q ≤ N (n, k + 1). 2 2 2 2 1,k [0,k] n n n d To show that N (n, k + 1) ≤ dim Q , let d = dim Q and f : Q ֒→ Q be an 2 2 2 1,k 1,k 1,k embedding. For each i ∈ [d], let X be the set of all j ∈ [n] such that i ∈ f {j} . We claim that {X : i ∈ [d]} is (k + 1)-suitable. Indeed, let (A, a) be a pointed (k + 1)-subset of [n]. Since f {a} 6⊆ f A \ {a} , there is an i ∈ [d] such that i ∈ f {a} but i 6∈ f A \ {a} . It follows that i 6∈ f {b} for any b ∈ A \ {a}, so X ∩ A = {a}. n n The second inequality follows by monotonicity from the fact that Q ֒→ Q . 1,k [0,k] To show that dim Q ≤ N (n, k +1), let {X , X , . . . , X } be a (k +1)-suitable family 2 2 1 2 d [0,k] n d of subsets of [n]. Define a map f : Q → Q , f(A) = {i ∈ [d] : A ∩ X 6= ∅}. We claim [0,k] that this map is an embedding. Indeed, if A ⊆ B ⊆ [n], then f(A) ⊆ f(B). Now, let A 6⊆ B, where a ∈ A, but a ∈/ B. Since the family {X } is (k + 1)-suitable, there is i with (B ∪ {a}) ∩ X = {a}, therefore X ∩ B = ∅, so i ∈/ f(B), whereas i ∈ f(A). In other words, i i A 6⊆ B implies f(A) 6⊆ f(B). Thus f is an embedding and dim Q ≤ d. [0,k] An analogue of Lemma 3.3 can be proved via the first moment method by taking random subsets of [n] with each element having probability of being chosen. This leads to the following theorem, also by Kierstead [6]. Theorem 5.2. For all 2 ≤ k ≤ n, N (n, k) ≤ ⌈ek log n⌉. Proof. The proof is probabilistic. Fix a natural number s and choose a family of s sets of [n] independently as follows. Each set is select by choosing each element of [n] independently with probability 1/k. The probability that a given pointed k-subset isn’t covered by any of THE ORDER DIMENSION OF DIVISIBILITY 9 k−1 −es/k the sets in the family is 1− (1/k)(1− 1/k) < e . Since the total number of pointed k-subsets of [n] is k ≤ n , the expected number of pointed k-subsets not covered is less k −es/k 2 than n e ≤ 1 when s ≥ ek log n, so there is an instance where every pointed k-subset is covered. Hence, N(n, k) ≤ ⌈ek log n⌉. Because the 2-dimension of a poset depends in part on its cardinality, the full analogue of 3.1 is false. We need the following lemma to extend the result we just obtained to Lemma multisets in order to give the upper bound in Theorem 1.2. n π 2 Lemma 5.3. For all k ≤ n − 1, dim M < e( k + 2k log k + 3k) log n + k. [0,k] n i Proof. For each A ∈ M and each i ∈ [k], let A be the set of all elements of A of [0,k] i i multiplicity at least i. Observe that i|A | ≤ |A| ≤ k, so |A | ≤ k/i. For any two multisets n i i A and B in M , A ⊆ B if and only if A ⊆ B for every i ∈ [k]. Hence the map [0,k] 1 k n n A 7→ (A , . . . , A ) is a poset embedding M ֒→ Q . Therefore, by Lemma 5.1 [0,k] i=1 [0,⌊k/i⌋] and Theorem 5.2, we have k k X X n n dim M ≤ dim Q ≤ N (n,⌊k/i⌋ + 1) 2 2 2 [0,k] [0,⌊k/i⌋] i=1 i=1 k 2k < e log n + + 1 + k i i i=1 π 2 ≤ e k + 2k(log k + 1) + k log n + k. Since dim D ≤ dim D , Theorem 1.1 already provides a lower bound for dim D . [n] 2 [n] 2 [n] Therefore, to prove Theorem 1.2, only the proof of the upper bound is required. Proof of Theorem 1.2. The proof is essentially the same as that of the upper bound of The- orem 1.1, so we will omit some of the details. Take ε = ε(n) > 0, to be chosen later. Let S be the set of all elements of [n] whose prime factors are all at most ε log n and R be the set of all elements whose prime factors are all greater than ε log n. The poset D can be embedded into the product of π(ε log n) chains, each of length at most 1 + log n. Since the 2-dimension of a chain of length ℓ is ℓ − 1, we have 2ε (log n) dim D ≤ π(ε log n) log n = · . 2 S log 2 log log n + log ε −i log n Let L = log . For each i from 0 to L, let θ = n (so that ε log n < log log n+log ε θ ≤ ε log n) and R be the set of elements of [n] whose prime factors all lie in the interval L i ⌊θ ⌋ L−1 θ , θ . Just as before, we have embeddings D ֒→ D and D ֒→ M . By i+1 i R R R i+1 i i i=0 [0,2 −1] Lemma 5.3, we have 2eπ ⌊θ ⌋ i i i+1 dim D ≤ dim M ≤ · 2 + 4e log 2 · (i + 1) + 6e log n + 2 2 R 2 i+1 [0,2 −1] 2eπ i i+1 ≤ · 2 + 8i + 24 log n + 2 . 3 10 DAVID LEWIS AND VICTOR SOUZA Therefore, we obtain the following bound: L−1 2eπ L 2 L+1 dim D ≤ dim D ≤ · 2 log n + 4L log n + 24L log n + 2 . 2 R 2 R i=0 As before, we need ε to go to 0 slowly; it suffices to take ε = 1/ log log n. We then have 2 2 4eπ (log n) + o(1) . dim D ≤ 2 R 3 log log n Note that the extra factor of 2 in the constant comes from the ceiling in the definition of (log n) 2ε 4eπ L. Finally, we have dim D ≤ dim D + dim D ≤ + + o(1) , and, 2 [n] 2 S 2 R log 2 3 log log n because ε → 0, the stated upper bound follows. We note that the analogues of Corollaries 4.2 and 4.3 hold for 2-dimension as well. Corollary 5.4. For any fixed α ∈ (0, 1) and a, b ∈ N, as n → ∞, 2 2 2 (log n) (log n) (1−α) 4 2 − o (1) ≤ dim D α ≤ eπ + o(1) , α 2 (n ,n] 16 3 (log log n) log log n 2 2 (log n) (log n) 1 4 2 − o (1) ≤ dim D ≤ eπ + o (1) . a,b 2 a,b a[n]+b 16 2 3 (log log n) log log n The proofs are nearly identical to the ones for dimension, so we omit them. 6. The dimension of the divisibility order on (αn, n] In previous sections, we have already considered the dimension of the divisibility order on sets other than [n], such as (n , n] or a[n] + b. The proof of Theorem 1.1 can be adapted to those cases after some small modifications. In this section, we will study the divisibility order on (αn, n], whose dimension behaves in a different manner. Indeed, D is an antichain (αn,n] when α > 1/2, for instance, so it has dimension only 2. The comparability graph of a poset P is the graph with vertex set P where two elements are connected if they are comparable in P . A theorem by Füredi and Kahn [5] states that a poset whose comparability graph has maximum degree ∆ h as dimension less than 50(∆ log )∆ . This bound was recently improved by Scott and Wood [9], who showed that 1+o(1) the maximum dimension of a poset of maximum degree ∆ is (∆ log ∆ ) as ∆ → ∞. The comparability graph of D has maximum degree at most 1/α + 1. Indeed, let (αn,n] x ∈ (αn, n] with x = βn for some β ∈ (α, 1]. The number of elements from (αn, n] that divide x is at most β/α and the number of those that are divisible by x is at most 1/β, so the degree of x in the comparability graph is at most 1/β + β/α ≤ 1 + 1/α. Therefore, as α → 0, we have 1+o(1) 1 1 sup dim D ≤ log( ) . (αn,n] α α n∈N We note that the t-dimension of D has a very distinct behaviour from the ordinary (αn,n] dimension, since these posets have unbounded cardinality and hence unbounded t-dimension. THE ORDER DIMENSION OF DIVISIBILITY 11 For a poset P and x ∈ P , we define the outdegree of x as {y ∈ P : y > x} and the indegree of x as {y ∈ P : y < x} . Another theorem by Füredi and Kahn [5] says that a poset of cardinality n and maximum outdegree υ has dimension at most ⌈2(υ + 2) log n⌉. The following lemma gives similar bounds for 2-dimension. Lemma 6.1. Let P be a poset of cardinality n, maximum outdegree υ, and maximum indegree δ. Then we have the following bounds: dim P ≤ ⌈2e(υ + 2) log n⌉ (6.1) dim P ≤ e(υ + 2) log n + log(υ + 2) + log(δ + 2) + 1 . (6.2) Proof. Let P be a poset of cardinality n and maximum outdegree υ. We are going to construct an embedding from P into Q randomly, for d sufficiently large. For each x ∈ P , let A be an independent random subset of [d], where each element is selected independently with probability p = 1 − . We define a map f : P → Q , f(x) = A . Our goal is to y≥x υ+2 show that, if d is large enough, then with positive probability f is a poset embedding. Note that f is monotone by construction. It is an embedding if and only if, for every pair (x, y) ∈ P with x 6≤ y, we have f(x) 6⊆ f(y). For each such pair (x, y), let E be the x,y event that f(x) ⊆ A . Since f(y) ⊆ A , if none of the events E occurs, then f is a poset y y x,y υ+1 embedding. For each i ∈ [d], we have P(i ∈ f(x), i 6∈ A ) ≥ p (1 − p), so υ+1 d υ+1 d P (E ) ≤ (1 − p (1 − p)) ≤ exp − p (1 − p)d ≤ exp − . x,y e(υ+2) To prove (6.1), choose d ≥ 2e(υ + 2) log n. The expected number of events E that occur x,y 2 −2 is at most (n − n)n < 1, so with positive probability none of them occurs. To prove (6.2), we use the following form of the Lovász local lemma: Lemma 6.2 (Lovász Local Lemma, Theorem 1.5 in [11]). Suppose 0 < p < 1 and let A , A , . . . , A be events in a probability space such that P(A ) ≤ p. Let G be a graph with 1 2 k i vertex set [k] such that, for all i 6= j ∈ [k], A and A are independent unless ij ∈ E(G), and i j suppose G has maximum degree ∆ . If ep(∆ + 1) ≤ 1, then P A > 0. i=1 The event E is independent from E if the sets {y}∪{u : u ≥ x} and {w}∪{u : u ≥ z} x,y z,w are disjoint. If they are not disjoint, then either w = y, or z ≤ y, or w ≥ x, or x and z have a common upper bound. For fixed x and y, the number of choices for (z, w) such that these sets intersect (not counting (x, y) itself) is therefore at most n + (δ + 1)n + (υ + 1)n + (υ + 1)(δ + 1)n − 1 = (υ + 2)(δ + 2)n − 1. Hence the total number of events E dependent on E is at most (υ + 2)(δ + 2)n− 1. If z,w x,y e(υ+2) we choose d ≥ e(υ + 2)(log n + log(υ + 2) + log(δ + 2) + 1), then e(υ + 2)(δ + 2)ne ≤ 1, and by the Lovász Local Lemma, the probability that none of the events E occurs is x,y positive.  12 DAVID LEWIS AND VICTOR SOUZA Using this result, we can bound the t-dimension of D for any fixed t and α. This (αn,n] poset has at least (1 − α)n − 1 elements, so its t-dimension is at least log n log (1 − α)n − 1 = − O (1). (6.3) α,t log t We can apply Lemma 6.1 to obtain an upper bound. As we have seen before, the maximum indegree and outdregree of D is at most 1/α, and its cardinality is at most (1− α)n, so (αn,n] by (6.2) dim D ≤ dim D ≤ (e + o (1)) log n. t (αn,n] 2 (αn,n] α This, together with the lower bound in (6.3), implies that dim D = Θ (log n) as t (αn,n] α,t n → ∞. 7. Open questions We pose several problems in this section, of which the central one is the following. Question 7.1. What is the correct asymptotic order of growth of dim D ? [n] We do not make any prediction of whether the lower bound or the upper bound in Theo- rem 1.1 is closer to the truth. On one hand, the lower bound is sharp in the sense that no Q of higher dimension can be embedded into D , but on the other, the upper bound is [n] 1,ℓ more technically refined, where we bound each layer appropriately. In any case, we believe that determining the correct exponent on the log log n factor requires new ideas. But we conjecture that for D , dimension and 2-dimension should behave similarly. [n] Conjecture 7.2. dim D = Θ dim D as n → ∞. 2 [n] [n] So far, we have seen how the dimension behaves for some specific well structured sets, like [n] and a[n] + b. How does the dimension of a typical set behave? Problem 7.3. Let p = p(n) and let A ⊆ [n] be a random subset where each element is chosen independently with probability p. How does dim D grow with n? Although we believe this question to be of great interest, we have made no serious attempt to answer it. It would be interesting to see how other poset properties vary with p. We have shown in Section 6 that the dimension of D is bounded for all n. Indeed, (αn,n] 1+o(1) 1 1 1 we have shown an upper bound of log( ) as α → 0. A lower bound of ( − α α 16 1 1 o(1)) log( )/ log log( ) for α sufficiently small can be obtained by embedding D [2,⌊1/α⌋] α α into D by multiplying every element by ⌊αn⌋, noting again that in the lower bound of (αn,n] dim D does not use the element 1. It would be nice to improve the bounds obtained. We [n] also believe that lim dim D exists for all α. n→∞ (αn,n] Problem 7.4. How does sup dim D increase as α → 0? (αn,n] n∈N Finally, recall that we have shown that dim (D ) = Θ log n . This suggests the t α,t (αn,n] following conjecture. THE ORDER DIMENSION OF DIVISIBILITY 13 Conjecture 7.5. For each 0 < α < 1 and t ≥ 2, there exists a constant c = c(α, t) such that dim D ∼ c log n as n → ∞. t (αn,n] 8. Acknowledgements The first author was supported by NSF-DMS grants #1855745, “Applications of Proba- bilistic Combinatorial Methods” and #1600742, “Probabilistic and Extremal Combinatorics”. The second author was partially supported by CAPES, Brazil. We thank the referees for their careful reading of the initial manuscript and for their very helpful comments. References [1] R. Angelo, A Cameron and Erdős conjecture on counting primitive sets, Integers 18 (2018), A25. [2] P.J. Cameron and P. Erdős, On the number of sets of integers with various properties, Number Theory, Banff, Alberta, 1988 (1990), 61–80. [3] B. Dushnik, Concerning a certain set of arrangements, Proceedings of the American Mathematical Society 1 (1950), 788–796. [4] B. Dushnik and E.W. Miller, Partially ordered sets, American Journal of Mathematics 63 (1941), 600– [5] Z. Füredi and J. Kahn, On the dimensions of ordered sets of bounded degree, Order 3 (1986), no. 1, 15–20. [6] H. Kierstead, On the order dimension of 1-sets versus k-sets, Journal of Combinatorial Theory, Series A 73 (1996), no. 2, 219–228. [7] H. Liu, P.P. Pach, and R. Palincza, The number of maximum primitive sets of integers, arXiv:1805.06341 (2018). [8] Vítězslav Novák, On the well dimension of ordered sets, Czechoslovak Mathematical Journal 19 (1969), no. 1, 1–16. [9] A. Scott and D. Wood, Better bounds for poset dimension and boxicity, Transactions of the American Mathematical Society (2019). [10] J. Spencer, Minimal scrambling sets of simple orders, Acta Mathematica Hungarica 22 (1971), 349–353. [11] , Asymptotic lower bounds for Ramsey functions, Discrete Mathematics 20 (1977), 69–76. Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152, USA Email address: davidcharleslewis@outlook.com IMPA, Estrada Dona Castorina 110, Jardim Botânico, Rio de Janeiro, 22460-320, Brazil Email address: souza@impa.br http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics arXiv (Cornell University)

The order dimension of divisibility

Lewis, David; Souza, Victor
Mathematics , Volume 2021 (2001) – Jan 23, 2020
Download PDF
13 pages

Loading next page...
 
/lp/arxiv-cornell-university/the-order-dimension-of-divisibility-rSAd0Wt2Lp
ISSN
0097-3165
eISSN
ARCH-3343
DOI
10.1016/j.jcta.2020.105391
Publisher site
See Article on Publisher Site

Abstract

DAVID LEWIS AND VICTOR SOUZA Abstract. The Dushnik-Miller dimension of a partially-ordered set P is the smallest d such that one can embed P into a product of d linear orders. We prove that the dimension 2 −Θ(1) of the divisibility order on the interval {1, . . . , n}, is equal to (log n) (log log n) as n goes to infinity. We prove similar bounds for the 2-dimension of divisibility in {1, . . . , n}, where the 2- dimension of a poset P is the smallest d such that P is isomorphic to a suborder of the subset lattice of [d]. We also prove an upper bound for the 2-dimension of posets of bounded degree and show that the 2-dimension of the divisibility poset on the set (αn, n] is Θ (log n) for α ∈ (0, 1). At the end we pose several problems. 1. Introduction The Dushnik-Miller dimension (hereafter, dimension) of a poset is a fundamental concept in the study of partial orders. First introduced by Dushnik and Miller [4] in 1941, dim P is defined as the minimum d such that the poset P can be embedded into a product of d linear orders. For any subset S ⊆ N, denote by D the divisibility poset restricted to the set S. Prop- erties of the divisibility order have been studied, for example, by Cameron and Erdős [2]. Surprisingly, the dimension of the divisibility order, as far as we know, has not been consid- ered in the literature. Since the dimension of D is infinite, we are usually concerned with the case where S is finite. Indeed, we are primarily interested in the case S = [n] := {1, . . . , n}. In our main result, we determine the growth of dim D as n goes to infinity up to a [n] log log n factor. Theorem 1.1. The dimension of D , the divisibility order on [n], satisfies, as n → ∞, [n] 2 2 (log n) (log n) − o(1) ≤ dim D ≤ 4 + o(1) . [n] (log log n) log log n Note that we always write log for the natural logarithm. Unlike with other natural sub- orders of D , such as the set of divisors of a given natural number, the dimension of D N [n] doesn’t seem to reduce to a well-known number-theoretic function. For example, the poset of divisors of n (which is the interval from 1 to n with respect to the divisibility order) is just a product of ω(n) chains and so has dimension ω(n), where ω(n) is the number of distinct prime factors of n. But the set [n] is an interval in the usual order on the integers, and it displays a nontrivial interaction with the divisibility order when regarding the dimension. arXiv:2001.08549v2 [math.CO] 14 Jan 2021 2 DAVID LEWIS AND VICTOR SOUZA We prove Theorem 1.1 by embedding a suborder of the hypercube into D , then embed- [n] ding D into a product of simple posets and showing that each of them has small dimension. [n] We observe that this same idea works, with small modifications, in a variety of circumstances. For example, t-dimension, where t is an integer greater than or equal to 2, is a variant of di- mension introduced by Novák [8]. We are most interested in the case t = 2. The 2-dimension of a poset P , denoted dim P , is the smallest d such that there is an embedding from P into the hypercube Q , the poset of subsets of [n] ordered by inclusion. We prove an analogue of Theorem 1.1 for 2-dimension as well. Theorem 1.2. The 2-dimension of D satisfies, as n → ∞, [n] 2 2 (log n) (log n) 1 4 2 − o(1) ≤ dim D ≤ eπ + o(1) . 2 [n] 16 3 (log log n) log log n We also consider other natural choices for subsets of N to bound the dimension. Some sets like (n , n] and a[n] + b = {ak + b : k ∈ [n]} behave similarly to [n] with respect to the dimension. On the other hand, in Section 6 we shall see that the dimension of divisibility over the set (αn, n] behaves quite differently. In fact, if α ≥ 1/2, then D is an antichain (αn,n] and thus has dimension 2. Using a result of Scott and Wood [9] on posets with bounded degree, we show that D has bounded dimension, and that, as α → 0, (αn,n] 1+o(1) 1 1 sup dim D ≤ log( ) . (αn,n] α α n∈N In Section 6, we prove an analogue of a result by Füredi and Kahn [5] for 2-dimension and use it to show that dim D = Θ (log n) as n → ∞, and that the same holds for 2 (αn,n] α t-dimension for any t ≥ 2. While combinatorial properties of the divisibility poset have been studied before, results often are not stated in the language of partial orders. For example, Cameron and Erdős [2] defined primitive sets of integers as antichains in the divisibility order, and conjectured that the number of primitive subsets of [n] is (α + o(1)) for some constant α. This conjecture was recently proven by Angelo [1]. Continuing this work, Liu, Pach, and Palincza [7] proved that the number of maximum-size primitive subsets of [n] is (β + o(1)) for some constant β, and gave algorithms for computing both α ≈ 1.57 and β ≈ 1.318. They also showed π(n) (1+o(1)) n that the number of strong antichains in D is 2 · e , where a strong antichain [2,n] in a poset P is a subset of P such that no two elements have a common lower bound in P , and π(n) is the number of primes up to n. We hope this note motivates further work on the combinatorial aspects of the divisibility order. 2. Dimension of Posets A poset is an ordered pair P = (S,≤ ), where S is a set and ≤ is a partial order. We P P usually identify a poset with its ground set, especially when it’s clear which partial order we’re using. For a, b ∈ S, we write a < b to mean that a ≤ b and a 6= b. Two elements P P a, b ∈ S are incomparable if neither a ≤ b nor b ≤ a hold. A linear order is a poset in P P THE ORDER DIMENSION OF DIVISIBILITY 3 which the elements are pairwise comparable. Given two posets P = (S,≤ ), Q = (S ,≤ ), P Q a poset embedding from P into Q is a map ϕ : S → S such that ϕ(a) ≤ ϕ(b) if and only if a ≤ b. The expression P ֒→ Q represents an embedding from P into Q or the existence of such an embedding, depending on context. A poset Q = (T,≤ ) is called a suborder of P = (S,≤ ) if T ⊆ S and the inclusion map is a poset embedding. A chain in a poset is a suborder that is a linear order, and an antichain is a suborder in which the elements are pairwise incomparable. Given a family of posets P = (S ,≤ ), i ∈ I, the product poset P = P is the unique i i P i i i∈I order on the product set S = S such that a ≤ b if and only if a ≤ b for all i ∈ I. i P i P i i∈I i Consider R with its standard order. The dimension of a countable poset P , denoted dim P , is equal to the minimum d such that P ֒→ R with the product order. It follows from this definition that dimension is subadditive and monotone; i.e., for any two posets P and Q, dim P × Q ≤ dim P + dim Q , and, if P ֒→ Q, then dim P ≤ dim Q . An equivalent definition of dimension can be given in terms of linear extensions. Given a poset P = (S,≤ ), a linear extension of P is a linear order L = (S,≤ ) that extends P , that P L is, if a ≤ b, then a ≤ b. For any poset P , a realiser of P is a set L of linear extensions P L of P with the property that, for every pair (a, b) ∈ P with a 6≥ b, there exists an L ∈ L such that a ≤ b. Then the dimension of P is the minimum cardinality of a realiser of P . It’s a simple exercise to show that the two definitions are equivalent. Note that there is a standard way to identify linear orders on [n] with permutations. Namely, given σ ∈ S , we associate the order ≤ , where a ≤ b if σ(a) ≤ σ(b). σ σ 3. Suborders of the hypercube Our proof strategy for Theorem 1.1 consists of comparing the dimension of D with the [n] dimension of suborders of the hypercube. In this section, we review the theory of Dushnik [3] that describes the dimension of suborders of the hypercube with another combinatorial object: suitable sets of permutations. We write Q for the n-dimensional hypercube, that is, the subset lattice of [n]. For any n n set A ⊆ [n], Q denotes the suborder of Q consisting of the subsets X ⊆ [n] with |X| ∈ A. n n We write Q instead of Q for simplicity. a,b {a,b} The poset of multisets of [n], ordered by inclusion with multiplicity, is denoted M . For n n any A ⊆ N, we denote by M the suborder of M of multisets whose cardinalities with n n multiplicity are in A, and by M the suborder of M consisting of all finite multisets whose underlying sets have cardinalities in A, ignoring multiplicity. Note that all the posets mentioned are finite, with the exception of M . Usually, we take A = [0, k] or A = {1, k}. We will now prove a slightly stronger version of a lemma by Dushnik [3], which charac- terises the dimension of these posets. To state the result, we need a few more definitions. A pointed k-subset of [n] is an ordered pair (A, a) with a ∈ A, A ⊂ [n] and |A| = k. A set S of permutations of [n] is called k-suitable if, for every pointed k-subset (A, a) of [n], there is a σ ∈ S such that b ≤ a for every b ∈ A. We say that such a σ covers the pointed set (A, a). 4 DAVID LEWIS AND VICTOR SOUZA For any pair 1 ≤ k ≤ n ∈ N, N(n, k) is defined as the minimum cardinality of a k-suitable set of permutations of [n]. It is clear that N(n, 1) = 1 and that N(n, 2) = 2. We also have N(n, k) ≥ k, since each permutation covers only one of the k pointed sets on a given 2 n underlying set. Additionally, we have N(n, k) ≤ n, since {σ, σ , . . . , σ } is k-suitable when σ is the permutation given by σ(i) = i + 1 (mod n). Because every k-suitable set with 2 ≤ k ≤ n is also (k − 1)-suitable and the restriction of a k-suitable set of permutations of [n] with 1 ≤ k ≤ n − 1 to [n − 1] is still k-suitable, N(n, k) is monotone increasing in both arguments. Later, we will provide upper and lower bounds for N(n, k). Lemma 3.1. For every n and every k ≤ n − 1, n n n n dim Q = dim Q = dim M = dim M = N(n, k + 1). 1,k [0,k] [0,k] [0,k] Proof. We show this by proving the following sequence of inequalities: n n n n N(n, k + 1) ≤ dim Q ≤ dim Q ≤ dim M ≤ dim M ≤ N(n, k + 1). 1,k [0,k] [0,k] [0,k] Throughout this proof, for simplicity, we identify [n] with the set of one-element subsets n n of [n]. To show that N(n, k +1) ≤ dim Q , observe that every realiser L of Q induces a 1,k 1,k (k+1)-suitable set of permutations of [n] in the following way. For every L ∈ L, let σ be the permutation of [n] induced by the restriction of L to [n]. Now, for every pointed (k + 1)-set ({a , . . . , a }, a ), there is an L ∈ L such that {a , . . . , a } ≤ {a }. By transitivity, 1 k+1 k+1 1 k L k+1 {a } ≤ {a } and hence a ≤ a for all i ∈ [k], so {σ : L ∈ L} is (k + 1)-suitable. i L k+1 i σ k+1 L n n n n The inequalities dim Q ≤ dim Q ≤ dim M ≤ dim M hold because each 1,k [0,k] [0,k] [0,k] poset embeds into the next. Now to prove that dim M ≤ N(n, k + 1) we just have to [0,k] show how to transform a (k + 1)-suitable set of permutations into a realiser of M with [0,k] the same cardinality. Let S be a (k + 1)-suitable set of permutations of [n]. For each σ ∈ S, let L be the colexicographic order on M with respect to σ. In other words, if A and B are two [0,k] distinct finite multisets of numbers in [n] whose underlying sets have cardinality at most k and x is the σ-greatest element of A ∪ B whose multiplicity in A differs from its multiplicity in B, then A < B if x has greater multiplicity in B than in A and B < A if x has greater L L σ σ multiplicity in A. If A ⊂ B, then A < B for every σ ∈ S, so L is a linear extension of the order on M . L σ [0,k] If A and B are incomparable in M , then there exists an x ∈ B whose multiplicity in B [0,k] is greater than its multiplicity in A. Since S is ℓ-suitable for every 1 ≤ ℓ ≤ k + 1, we can find a σ ∈ S that covers (X ∪ {x}, x), where X is the underlying set of A. Hence A < B. Similarly, there exists a y ∈ A whose multiplicity in A is greater than its multiplicity in B, so we can find a τ ∈ S such that B < A. Therefore {L : σ ∈ S} is a realiser of M . L σ [0,k] The following result by Dushnik [3] gives the exact value of N(n, k), when k is at least 2 n. Note that, by Lemma 3.1, we also obtain the exact dimension of Q and related 1,k posets. THE ORDER DIMENSION OF DIVISIBILITY 5 n n Theorem 3.2. For any j and k with 2 ≤ j ≤ n and + j − 1 ≤ k ≤ + j − 3, we j j−1 √ √ have N(n, k) = n − j + 1. In particular, if 2 n − 1 ≤ k < n, then N(n, k) ≥ n − n. Spencer proved in [10] that, for all fixed k ≥ 3, N(n, k) = Θ (log log n) as n grows. However, the implicit constant in this upper bound grows exponentially in k. The following bound, which was proved in a slightly stronger form by Füredi and Kahn [5], is more useful when log log n ≪ k ≪ n, which is the relevant magnitude for the proof of the upper bound in Theorem 1.1. Lemma 3.3. For all 1 ≤ k ≤ n, N(n, k) ≤ ⌈k log n⌉. Proof. The proof is probabilistic. Fix a natural number s and choose s permutations of [n] independently and uniformly at random. The probability that a given pointed k-subset isn’t s −s/k covered by any of these permutations is (1−1/k) < e . Since the total number of pointed k-subsets of [n] is k ≤ n , the expected number of pointed k-subsets not covered is less k −s/k 2 than n e ≤ 1 when s ≥ k log n, so there is an instance where every pointed k-subset is covered. Hence, N(n, k) ≤ ⌈k log n⌉. 4. The dimension of divisibility on [n] In this section, we provide a proof of Theorem 1.1. Additionally, we give similar lower and upper bounds on the dimension of D for other interesting subsets S ⊆ N. The following principle will be useful to give upper bounds on the dimension and the 2-dimension of D . [n] Lemma 4.1. Let P , . . . , P be a partition of the primes in [n] and for i ∈ [k], let Q be the 1 k i set of numbers in [n] that can be written as a (possibly empty) product of powers of primes in P . Then D ֒→ D × . . . × D . [n] Q Q Proof. As P , . . . , P is a partition of the primes in [n], any number a ∈ [n] can be factored 1 k uniquely as a = q . . . q , where q ∈ Q . Thus, the mapping a 7→ (q , . . . , q ) is well 1 k i i 1 k defined and we claim that this is the poset embedding we need. Indeed, if a = q . . . q and 1 k b = r . . . r , with q , r ∈ Q , then a|b if and only if q |r for all i. 1 k i i i i i th Denote by p the k prime number and by π(x) the number of prime numbers less than or equal to x. We only use standard estimates for these functions: p = (1 + o(1))k log k and π(x) = (1 + o(1)) . Now, we have all the ingredients we need to prove Theorem 1.1. log x Proof of Theorem 1.1. First we prove the lower bound. Observe that, if k is an integer such that every product of at most 2 k distinct elements of {p , p , . . . , p } is in [n], then we have 1 2 k an embedding Q ֒→ D . The image of the embedding is the set of all products of at [n] [0,⌊2 k⌋] most 2 k of the first k primes, and is contained in D if p . . . p ≤ n. It follows [n] k k−⌊2 k⌋+1 by Theorem 3.2 and Lemma 3.1 that dim D ≥ dim Q ≥ k − k. [n] [0,⌊2 k⌋] 6 DAVID LEWIS AND VICTOR SOUZA 2 k This condition for this embedding to exist is satisfied if p ≤ n. Now take α = α(n) < 1/16 log n 1+o(1) to be chosen later, and let k = α . Using the estimate p = k , we obtain log log n log n log n (4 α+o(1)) √ √ log log n log log n log n log n 2 k (2+o(1)) k p = k ≤ ≪ < n, log log n log log n whenever n is sufficiently large. Letting α approach 1/16 from below, we obtain (log n) dim D ≥ (1 − o(1))k = − o(1) . [n] (log log n) To prove the upper bound, let ε = ε(n) > 0, to be chosen later. Let S be the set of all elements of [n] that can be factored into primes less than or equal to (ε log n) and let R be 4.1, we have the set of all elements whose prime factors are all at least (ε log n) . By Lemma an embedding D ֒→ D × D , so dim D ≤ dim D + dim D . The poset D can [n] S R [n] S R S then be embedded in the product of π((ε log n) ) chains (namely the powers of p for each 2x small prime p). Using the weak estimate of the prime number theorem, π(x) ≤ , log x (log n) 2 2 dim D ≤ π((ε log n) ) ≤ ε . (4.1) log log n + log ε log n We further partition the large primes. Let L = log and, for each 0 ≤ i < L, log log n+log ε −i 2 2 let θ = n . Thus θ = n, θ = n, and ε log n ≤ θ < (ε log n) . Let R be the set of i 0 1 L i numbers in [n] whose prime factors all lie in the interval θ , θ . Lemma 4.1 now implies i+1 i L−1 that dim D ≤ dim D . For every i, the prime factors of each element of R forms R R i i=0 i+1 a multiset of elements of ⌊θ ⌋ of cardinality strictly less than 2 . For all a, b ∈ N, a divides b if and only if the multiset of prime factors of a is a submultiset of the multiset of ⌊θ ⌋ prime factors of b, so D ֒→ M . By Lemma 3.1 and Lemma 3.3, we have R i+1 [0,2 −1] −i ⌊θ ⌋ i 2 i+1 i dim D ≤ dim M = N ⌊n ⌋, 2 ≤ 4 · 2 log n + 1. R i+1 [0,2 −1] Therefore, we observe that L−1 L−1 X X dim D ≤ dim D ≤ 4 · 2 log n + L R R i=0 i=0 4(log n) ≤ 4 · 2 log n + L ≤ + L. log log n + log ε Now we choose ε(n) so that ε → 0 and | log ε | = o(log log n) as n → ∞. It suffices to take ε = 1/ log log n. Thus we get (log n) 2 log ε 8 log ε 2 dim D ≤ (4 − ) + log log n − log log n log log n log log n (log n) = (4 − o(1)) . (4.2) log log n THE ORDER DIMENSION OF DIVISIBILITY 7 Finally, we combine inequalities (4.1) and (4.2) to obtain 2 (log n) dim D ≤ dim D + dim D ≤ + 4 + o(1) , [n] S R log log n and the result follows immediately. Note that the same bounds hold for D , since in the lower bound, we avoided the element [2,n] 1 completely. With some other modifications, we can adapt our proof to other settings. We begin by looking at (n , n]. Corollary 4.2. For any fixed α ∈ (0, 1), as n → ∞, 2 2 2 (log n) (log n) (1−α) − o (1) ≤ dim D α ≤ 4 + o(1) . α (n ,n] (log log n) log log n Proof. These bounds follow from the fact that D 1−α ֒→ D α ֒→ D . The first map [2,⌊n ⌋] (n ,n] [n] D 1−α ֒→ D α , defined as x 7→ ⌊n ⌋x, is an embedding if αn > 2 and the second is [2,⌊n ⌋] (n ,n] just the inclusion map. Also of interest is the arithmetic progression a[n] + b = {ak + b : k ∈ [n]}. If a and b are coprime, then denote by p the m-th prime congruent to b (mod a). The prime number a,b,m theorem for arithmetic progressions implies that p ∼ ϕ(a)n log n as n → ∞, where ϕ(a) a,b,n is the Euler totient function, defined as the order of the multiplicative group (Z /aZ) . Corollary 4.3. For any fixed a and b, as n → ∞, 2 2 (log n) (log n) − o (1) ≤ dim D ≤ 4 + o (1) . a,b a[n]+b a,b (log log n) log log n Proof. Since the divisibility poset is dilation-invariant, we may assume a and b are coprime. Since D ֒→ D , the upper bound from Theorem 1.1 holds. For the lower bound, a[n]+b [an+b] note that b ≡ b (mod a) whenever ℓ ≡ 1 (mod ϕ(a)), since the order of an element of × 2 k−1 (Z /aZ) divides ϕ(a). Now let ℓ = ϕ(a) + 1, that is, 2 k rounded up to the nearest ϕ(a) integer congruent to 1 modulo ϕ(a). We consider now the following map f : Q ֒→ D defined as follows. Let p , . . . , p a[n]+b a,b,1 a,b,k 1,ℓ be the first k primes congruent to a (mod b), and map a set A ⊂ Q to f(A) = p . a,b,i 1,ℓ i∈A |A| Note that as |A| ∈ {1, ℓ}, we have f(A) ≡ b ≡ b (mod a). It is clear to see that this is indeed an embedding, given that k is not so large. Indeed, it is sufficient that p ≤ ab + n. By the prime number theorem for arithmetic a,b,k 1+o (1) ℓ (2+o (1)) k a,b a,b progressions, we have p ∼ ϕ(a)k log k = k , so p = k . Therefore, a a,b,k a,b,k lower bound of the same form as in Theorem 1.1 holds asymptotically for dim D . a[n]+b 5. The 2-dimension of divisibility on [n] The goal of this section is to prove Theorem 1.2. We first give a formal definition of t-dimension. 8 DAVID LEWIS AND VICTOR SOUZA For any t ≥ 2, the t-dimension of a poset P , denoted dim P is equal to the minimum d such that P can be embedded into a product of d linear orders, each of cardinality at most t. In particular, dim P is the dimension of the smallest hypercube into which P can be embedded. As with the Dushnik-Miller dimension, t-dimension is subadditive and monotone for all t. For any poset P with n elements {p , p , . . . , p }, the map p 7→ {i ∈ [n] : p ≤ p} is a poset 1 2 n i embedding P ֒→ Q , so dim P ≤ n. Since dim P is monotone decreasing in t, this 2 t implies that dim P is well-defined for every t ≥ 2 and every finite poset P . We also have the trivial lower bound dim P ≥ log (|P|). Another useful observation is that a chain of size ℓ has 2-dimension ℓ − 1. For any 2 ≤ k ≤ n, N (n, k) is defined as the minimum cardinality of a set S of subsets of [n] such that, for any pointed k-subset (A, a) of [n], there exists a set B ∈ S such that A ∩ B = {a}. By analogy with N(n, k), we call such a set a k-suitable family of subsets. The following partial analogue to Lemma 3.1 is essentially due to Kierstead [6]. Lemma 5.1. For every n and every k ≤ n + 1, n n dim Q = dim Q = N (n, k + 1) 2 2 2 1,k [0,k] Proof. To show this, we prove the following sequence of inequalities: n n N (n, k + 1) ≤ dim Q ≤ dim Q ≤ N (n, k + 1). 2 2 2 2 1,k [0,k] n n n d To show that N (n, k + 1) ≤ dim Q , let d = dim Q and f : Q ֒→ Q be an 2 2 2 1,k 1,k 1,k embedding. For each i ∈ [d], let X be the set of all j ∈ [n] such that i ∈ f {j} . We claim that {X : i ∈ [d]} is (k + 1)-suitable. Indeed, let (A, a) be a pointed (k + 1)-subset of [n]. Since f {a} 6⊆ f A \ {a} , there is an i ∈ [d] such that i ∈ f {a} but i 6∈ f A \ {a} . It follows that i 6∈ f {b} for any b ∈ A \ {a}, so X ∩ A = {a}. n n The second inequality follows by monotonicity from the fact that Q ֒→ Q . 1,k [0,k] To show that dim Q ≤ N (n, k +1), let {X , X , . . . , X } be a (k +1)-suitable family 2 2 1 2 d [0,k] n d of subsets of [n]. Define a map f : Q → Q , f(A) = {i ∈ [d] : A ∩ X 6= ∅}. We claim [0,k] that this map is an embedding. Indeed, if A ⊆ B ⊆ [n], then f(A) ⊆ f(B). Now, let A 6⊆ B, where a ∈ A, but a ∈/ B. Since the family {X } is (k + 1)-suitable, there is i with (B ∪ {a}) ∩ X = {a}, therefore X ∩ B = ∅, so i ∈/ f(B), whereas i ∈ f(A). In other words, i i A 6⊆ B implies f(A) 6⊆ f(B). Thus f is an embedding and dim Q ≤ d. [0,k] An analogue of Lemma 3.3 can be proved via the first moment method by taking random subsets of [n] with each element having probability of being chosen. This leads to the following theorem, also by Kierstead [6]. Theorem 5.2. For all 2 ≤ k ≤ n, N (n, k) ≤ ⌈ek log n⌉. Proof. The proof is probabilistic. Fix a natural number s and choose a family of s sets of [n] independently as follows. Each set is select by choosing each element of [n] independently with probability 1/k. The probability that a given pointed k-subset isn’t covered by any of THE ORDER DIMENSION OF DIVISIBILITY 9 k−1 −es/k the sets in the family is 1− (1/k)(1− 1/k) < e . Since the total number of pointed k-subsets of [n] is k ≤ n , the expected number of pointed k-subsets not covered is less k −es/k 2 than n e ≤ 1 when s ≥ ek log n, so there is an instance where every pointed k-subset is covered. Hence, N(n, k) ≤ ⌈ek log n⌉. Because the 2-dimension of a poset depends in part on its cardinality, the full analogue of 3.1 is false. We need the following lemma to extend the result we just obtained to Lemma multisets in order to give the upper bound in Theorem 1.2. n π 2 Lemma 5.3. For all k ≤ n − 1, dim M < e( k + 2k log k + 3k) log n + k. [0,k] n i Proof. For each A ∈ M and each i ∈ [k], let A be the set of all elements of A of [0,k] i i multiplicity at least i. Observe that i|A | ≤ |A| ≤ k, so |A | ≤ k/i. For any two multisets n i i A and B in M , A ⊆ B if and only if A ⊆ B for every i ∈ [k]. Hence the map [0,k] 1 k n n A 7→ (A , . . . , A ) is a poset embedding M ֒→ Q . Therefore, by Lemma 5.1 [0,k] i=1 [0,⌊k/i⌋] and Theorem 5.2, we have k k X X n n dim M ≤ dim Q ≤ N (n,⌊k/i⌋ + 1) 2 2 2 [0,k] [0,⌊k/i⌋] i=1 i=1 k 2k < e log n + + 1 + k i i i=1 π 2 ≤ e k + 2k(log k + 1) + k log n + k. Since dim D ≤ dim D , Theorem 1.1 already provides a lower bound for dim D . [n] 2 [n] 2 [n] Therefore, to prove Theorem 1.2, only the proof of the upper bound is required. Proof of Theorem 1.2. The proof is essentially the same as that of the upper bound of The- orem 1.1, so we will omit some of the details. Take ε = ε(n) > 0, to be chosen later. Let S be the set of all elements of [n] whose prime factors are all at most ε log n and R be the set of all elements whose prime factors are all greater than ε log n. The poset D can be embedded into the product of π(ε log n) chains, each of length at most 1 + log n. Since the 2-dimension of a chain of length ℓ is ℓ − 1, we have 2ε (log n) dim D ≤ π(ε log n) log n = · . 2 S log 2 log log n + log ε −i log n Let L = log . For each i from 0 to L, let θ = n (so that ε log n < log log n+log ε θ ≤ ε log n) and R be the set of elements of [n] whose prime factors all lie in the interval L i ⌊θ ⌋ L−1 θ , θ . Just as before, we have embeddings D ֒→ D and D ֒→ M . By i+1 i R R R i+1 i i i=0 [0,2 −1] Lemma 5.3, we have 2eπ ⌊θ ⌋ i i i+1 dim D ≤ dim M ≤ · 2 + 4e log 2 · (i + 1) + 6e log n + 2 2 R 2 i+1 [0,2 −1] 2eπ i i+1 ≤ · 2 + 8i + 24 log n + 2 . 3 10 DAVID LEWIS AND VICTOR SOUZA Therefore, we obtain the following bound: L−1 2eπ L 2 L+1 dim D ≤ dim D ≤ · 2 log n + 4L log n + 24L log n + 2 . 2 R 2 R i=0 As before, we need ε to go to 0 slowly; it suffices to take ε = 1/ log log n. We then have 2 2 4eπ (log n) + o(1) . dim D ≤ 2 R 3 log log n Note that the extra factor of 2 in the constant comes from the ceiling in the definition of (log n) 2ε 4eπ L. Finally, we have dim D ≤ dim D + dim D ≤ + + o(1) , and, 2 [n] 2 S 2 R log 2 3 log log n because ε → 0, the stated upper bound follows. We note that the analogues of Corollaries 4.2 and 4.3 hold for 2-dimension as well. Corollary 5.4. For any fixed α ∈ (0, 1) and a, b ∈ N, as n → ∞, 2 2 2 (log n) (log n) (1−α) 4 2 − o (1) ≤ dim D α ≤ eπ + o(1) , α 2 (n ,n] 16 3 (log log n) log log n 2 2 (log n) (log n) 1 4 2 − o (1) ≤ dim D ≤ eπ + o (1) . a,b 2 a,b a[n]+b 16 2 3 (log log n) log log n The proofs are nearly identical to the ones for dimension, so we omit them. 6. The dimension of the divisibility order on (αn, n] In previous sections, we have already considered the dimension of the divisibility order on sets other than [n], such as (n , n] or a[n] + b. The proof of Theorem 1.1 can be adapted to those cases after some small modifications. In this section, we will study the divisibility order on (αn, n], whose dimension behaves in a different manner. Indeed, D is an antichain (αn,n] when α > 1/2, for instance, so it has dimension only 2. The comparability graph of a poset P is the graph with vertex set P where two elements are connected if they are comparable in P . A theorem by Füredi and Kahn [5] states that a poset whose comparability graph has maximum degree ∆ h as dimension less than 50(∆ log )∆ . This bound was recently improved by Scott and Wood [9], who showed that 1+o(1) the maximum dimension of a poset of maximum degree ∆ is (∆ log ∆ ) as ∆ → ∞. The comparability graph of D has maximum degree at most 1/α + 1. Indeed, let (αn,n] x ∈ (αn, n] with x = βn for some β ∈ (α, 1]. The number of elements from (αn, n] that divide x is at most β/α and the number of those that are divisible by x is at most 1/β, so the degree of x in the comparability graph is at most 1/β + β/α ≤ 1 + 1/α. Therefore, as α → 0, we have 1+o(1) 1 1 sup dim D ≤ log( ) . (αn,n] α α n∈N We note that the t-dimension of D has a very distinct behaviour from the ordinary (αn,n] dimension, since these posets have unbounded cardinality and hence unbounded t-dimension. THE ORDER DIMENSION OF DIVISIBILITY 11 For a poset P and x ∈ P , we define the outdegree of x as {y ∈ P : y > x} and the indegree of x as {y ∈ P : y < x} . Another theorem by Füredi and Kahn [5] says that a poset of cardinality n and maximum outdegree υ has dimension at most ⌈2(υ + 2) log n⌉. The following lemma gives similar bounds for 2-dimension. Lemma 6.1. Let P be a poset of cardinality n, maximum outdegree υ, and maximum indegree δ. Then we have the following bounds: dim P ≤ ⌈2e(υ + 2) log n⌉ (6.1) dim P ≤ e(υ + 2) log n + log(υ + 2) + log(δ + 2) + 1 . (6.2) Proof. Let P be a poset of cardinality n and maximum outdegree υ. We are going to construct an embedding from P into Q randomly, for d sufficiently large. For each x ∈ P , let A be an independent random subset of [d], where each element is selected independently with probability p = 1 − . We define a map f : P → Q , f(x) = A . Our goal is to y≥x υ+2 show that, if d is large enough, then with positive probability f is a poset embedding. Note that f is monotone by construction. It is an embedding if and only if, for every pair (x, y) ∈ P with x 6≤ y, we have f(x) 6⊆ f(y). For each such pair (x, y), let E be the x,y event that f(x) ⊆ A . Since f(y) ⊆ A , if none of the events E occurs, then f is a poset y y x,y υ+1 embedding. For each i ∈ [d], we have P(i ∈ f(x), i 6∈ A ) ≥ p (1 − p), so υ+1 d υ+1 d P (E ) ≤ (1 − p (1 − p)) ≤ exp − p (1 − p)d ≤ exp − . x,y e(υ+2) To prove (6.1), choose d ≥ 2e(υ + 2) log n. The expected number of events E that occur x,y 2 −2 is at most (n − n)n < 1, so with positive probability none of them occurs. To prove (6.2), we use the following form of the Lovász local lemma: Lemma 6.2 (Lovász Local Lemma, Theorem 1.5 in [11]). Suppose 0 < p < 1 and let A , A , . . . , A be events in a probability space such that P(A ) ≤ p. Let G be a graph with 1 2 k i vertex set [k] such that, for all i 6= j ∈ [k], A and A are independent unless ij ∈ E(G), and i j suppose G has maximum degree ∆ . If ep(∆ + 1) ≤ 1, then P A > 0. i=1 The event E is independent from E if the sets {y}∪{u : u ≥ x} and {w}∪{u : u ≥ z} x,y z,w are disjoint. If they are not disjoint, then either w = y, or z ≤ y, or w ≥ x, or x and z have a common upper bound. For fixed x and y, the number of choices for (z, w) such that these sets intersect (not counting (x, y) itself) is therefore at most n + (δ + 1)n + (υ + 1)n + (υ + 1)(δ + 1)n − 1 = (υ + 2)(δ + 2)n − 1. Hence the total number of events E dependent on E is at most (υ + 2)(δ + 2)n− 1. If z,w x,y e(υ+2) we choose d ≥ e(υ + 2)(log n + log(υ + 2) + log(δ + 2) + 1), then e(υ + 2)(δ + 2)ne ≤ 1, and by the Lovász Local Lemma, the probability that none of the events E occurs is x,y positive.  12 DAVID LEWIS AND VICTOR SOUZA Using this result, we can bound the t-dimension of D for any fixed t and α. This (αn,n] poset has at least (1 − α)n − 1 elements, so its t-dimension is at least log n log (1 − α)n − 1 = − O (1). (6.3) α,t log t We can apply Lemma 6.1 to obtain an upper bound. As we have seen before, the maximum indegree and outdregree of D is at most 1/α, and its cardinality is at most (1− α)n, so (αn,n] by (6.2) dim D ≤ dim D ≤ (e + o (1)) log n. t (αn,n] 2 (αn,n] α This, together with the lower bound in (6.3), implies that dim D = Θ (log n) as t (αn,n] α,t n → ∞. 7. Open questions We pose several problems in this section, of which the central one is the following. Question 7.1. What is the correct asymptotic order of growth of dim D ? [n] We do not make any prediction of whether the lower bound or the upper bound in Theo- rem 1.1 is closer to the truth. On one hand, the lower bound is sharp in the sense that no Q of higher dimension can be embedded into D , but on the other, the upper bound is [n] 1,ℓ more technically refined, where we bound each layer appropriately. In any case, we believe that determining the correct exponent on the log log n factor requires new ideas. But we conjecture that for D , dimension and 2-dimension should behave similarly. [n] Conjecture 7.2. dim D = Θ dim D as n → ∞. 2 [n] [n] So far, we have seen how the dimension behaves for some specific well structured sets, like [n] and a[n] + b. How does the dimension of a typical set behave? Problem 7.3. Let p = p(n) and let A ⊆ [n] be a random subset where each element is chosen independently with probability p. How does dim D grow with n? Although we believe this question to be of great interest, we have made no serious attempt to answer it. It would be interesting to see how other poset properties vary with p. We have shown in Section 6 that the dimension of D is bounded for all n. Indeed, (αn,n] 1+o(1) 1 1 1 we have shown an upper bound of log( ) as α → 0. A lower bound of ( − α α 16 1 1 o(1)) log( )/ log log( ) for α sufficiently small can be obtained by embedding D [2,⌊1/α⌋] α α into D by multiplying every element by ⌊αn⌋, noting again that in the lower bound of (αn,n] dim D does not use the element 1. It would be nice to improve the bounds obtained. We [n] also believe that lim dim D exists for all α. n→∞ (αn,n] Problem 7.4. How does sup dim D increase as α → 0? (αn,n] n∈N Finally, recall that we have shown that dim (D ) = Θ log n . This suggests the t α,t (αn,n] following conjecture. THE ORDER DIMENSION OF DIVISIBILITY 13 Conjecture 7.5. For each 0 < α < 1 and t ≥ 2, there exists a constant c = c(α, t) such that dim D ∼ c log n as n → ∞. t (αn,n] 8. Acknowledgements The first author was supported by NSF-DMS grants #1855745, “Applications of Proba- bilistic Combinatorial Methods” and #1600742, “Probabilistic and Extremal Combinatorics”. The second author was partially supported by CAPES, Brazil. We thank the referees for their careful reading of the initial manuscript and for their very helpful comments. References [1] R. Angelo, A Cameron and Erdős conjecture on counting primitive sets, Integers 18 (2018), A25. [2] P.J. Cameron and P. Erdős, On the number of sets of integers with various properties, Number Theory, Banff, Alberta, 1988 (1990), 61–80. [3] B. Dushnik, Concerning a certain set of arrangements, Proceedings of the American Mathematical Society 1 (1950), 788–796. [4] B. Dushnik and E.W. Miller, Partially ordered sets, American Journal of Mathematics 63 (1941), 600– [5] Z. Füredi and J. Kahn, On the dimensions of ordered sets of bounded degree, Order 3 (1986), no. 1, 15–20. [6] H. Kierstead, On the order dimension of 1-sets versus k-sets, Journal of Combinatorial Theory, Series A 73 (1996), no. 2, 219–228. [7] H. Liu, P.P. Pach, and R. Palincza, The number of maximum primitive sets of integers, arXiv:1805.06341 (2018). [8] Vítězslav Novák, On the well dimension of ordered sets, Czechoslovak Mathematical Journal 19 (1969), no. 1, 1–16. [9] A. Scott and D. Wood, Better bounds for poset dimension and boxicity, Transactions of the American Mathematical Society (2019). [10] J. Spencer, Minimal scrambling sets of simple orders, Acta Mathematica Hungarica 22 (1971), 349–353. [11] , Asymptotic lower bounds for Ramsey functions, Discrete Mathematics 20 (1977), 69–76. Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152, USA Email address: davidcharleslewis@outlook.com IMPA, Estrada Dona Castorina 110, Jardim Botânico, Rio de Janeiro, 22460-320, Brazil Email address: souza@impa.br

Journal

Mathematics – arXiv (Cornell University)

Published: Jan 23, 2020

References

  • A Cameron and Erdős conjecture on counting primitive sets
    Angelo
  • On the number of sets of integers with various properties
    Cameron
  • Concerning a certain set of arrangements
    Dushnik
  • Partially ordered sets
    Dushnik
  • On the dimensions of ordered sets of bounded degree
    Füredi
  • On the order dimension of 1-sets versus k-sets
    Kierstead