On k-antichains in the unit n-cube

Abstract: A emph{chain} in the unit

n

-cube is a set

C s u b s e t [0, 1]^{n}

such that for every

m a t h b f x = (x_{1}, l d o t s, x_{n})

and

m a t h b f y = (y_{1}, l d o t s, y_{n})

in

C

we either have

x_{i} l e y_{i}

for all

i i n [n]

, or

x_{i} g e y_{i}

for all

i i n [n]

. We consider subsets,

A

, of the unit

n

-cube

[0, 1]^{n}

that satisfy [ ext{card}(A cap C) le k, , ext{ for all chains } , C subset [0,1]^n , , ] where

k

is a fixed positive integer. We refer to such a set

A

as a

k

-antichain. We show that the

(n - 1)

-dimensional Hausdorff measure of a

k

-antichain in

[0, 1]^{n}

is at most

k n

and that the bound is asymptotically sharp. Moreover, we conjecture that there exist

k

-antichains in

[0, 1]^{n}

whose

(n - 1)

-dimensional Hausdorff measure equals

k n

and we verify the validity of this conjecture when

n = 2

.

Recommendations

Cited in

(4)

This page was built for publication: On $k$-antichains in the unit $n$-cube