A density version of the Halpern-Läuchli theorem

Details A density version of the Halpern-Läuchli theorem A density version of the Halpern-Läuchli theorem

2010-06-14

arxiv.org/abs/1006.2671v1

Mathematics

Combinatorics

30 pages, no figures

Scientific paper

We prove a density version of the Halpern-L\"{a}uchli Theorem. This settles in the affirmative a conjecture of R. Laver. Specifically, let us say that a tree $T$ is homogeneous if $T$ has a unique root and there exists an integer $b\meg 2$ such that every $t\in T$ has exactly $b$ immediate successors. We show that for every $d\meg 1$ and every tuple $(T_1,...,T_d)$ of homogeneous trees, if $D$ is a subset of the level product of $(T_1,...,T_d)$ satisfying \[ \limsup_{n\to\infty} \frac{|D\cap \big(T_1(n)\times ... \times T_d(n)\big)|}{|T_1(n)\times ... \times T_d(n)|}>0\] then there exist strong subtrees $(S_1, ..., S_d)$ of $(T_1,...,T_d)$ having common level set such that the level product of $(S_1,...,S_d)$ is a subset of $D$.

Affiliated with

Also associated with

No associations

Rating

A density version of the Halpern-Läuchli theorem does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A density version of the Halpern-Läuchli theorem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A density version of the Halpern-Läuchli theorem will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-422255