# Difference between revisions of "Line-free sets correlate locally with complexity-1 sets"

(→Old stuff, probably to be junked: Removed junk (but it can be retrieved from page history).) |
|||

(14 intermediate revisions by 3 users not shown) | |||

Line 1: | Line 1: | ||

− | + | ==Introduction== | |

− | The aim of this page is to present a proof that if <math>\mathcal{A}</math> is a dense subset of <math>[3]^n</math> that contains no combinatorial line, then there is a combinatorial subspace X of <math> | + | The aim of this page is to present a proof that if <math>\mathcal{A}</math> is a dense subset of <math>[3]^n</math> that contains no combinatorial line, then there is a combinatorial subspace X of <math>[3]^n</math> with dimension tending to infinity and a dense subset <math>\mathcal{B}</math> of X that is a [[complexity of a set|12-set]], such that the density of <math>\mathcal{A}</math> inside <math>\mathcal{B}</math> is slightly larger than it is in <math>[3]^n.</math> |

− | == | + | ==Proof== |

+ | |||

+ | Let us assume for now that the equal-slices density of <math>\mathcal{A}</math> in <math>[3]^n</math> is at least <math>\delta</math>, and that the equal-slices density of <math>\mathcal{A} \cap [2]^n</math> in <math>[2]^n</math> is at least <math>\theta</math>. As discussed in the sections below, we can reduce to this case by passing to subspaces. | ||

+ | |||

+ | The key definitions are: | ||

+ | |||

+ | <center> <math>\mathcal{U} := \{z \in [3]^n : \mathrm{changing }\ z\mathrm{'s }\ 3\mathrm{'s}\ \mathrm{to }\ 2\mathrm{'s\ puts\ it\ in }\ \mathcal{A}\}</math>, </center> | ||

+ | <center> <math>\mathcal{V} := \{z \in [3]^n : \mathrm{changing }\ z\mathrm{'s }\ 3\mathrm{'s}\ \mathrm{to }\ 1\mathrm{'s\ puts\ it\ in }\ \mathcal{A}\}</math>. </center> | ||

+ | |||

+ | Note that <math>\mathcal{U}</math> is a 1-set and <math>\mathcal{V}</math> is a 2-set. Further, since <math>\mathcal{A}</math> contains no combinatorial line, it must be disjoint from <math>\mathcal{U} \cap \mathcal{V}</math>. We will now see that <math>\mathcal{U} \cap \mathcal{V}</math> is large in equal-slices measure on <math>[3]^n</math>. | ||

+ | |||

+ | To see this, let <math>z</math> be drawn from equal-slices measure on <math>[3]^n</math> in the manner described at the end of the [[Equal-slices measure|article on the topic]]. Note that this also generates <math>x, y \in [2]^n</math>. As we saw in the article, we get that both <math>x, y \in \mathcal{A}</math> with probability at least <math>\eta := \theta^2 - \frac{2}{n+2}</math>, using the fact that <math>\mathcal{A} \cap [2]^n</math> has equal-slices density at least <math>\theta</math> in <math>[2]^n</math>. But when this happens, <math>z \in \mathcal{U} \cap \mathcal{V}</math>, by definition. Hence <math>\mathcal{U} \cap \mathcal{V}</math> has equal-slices density at least <math>\eta</math> on <math>[3]^n</math>. | ||

+ | |||

+ | We now have that <math>\mathcal{A}</math> avoids the set <math>\mathcal{U} \cap \mathcal{V}</math>, which has equal-slices density at least <math>\eta</math>. It is thus easy to conclude that <math>\mathcal{A}</math> must have relative density at least | ||

+ | |||

+ | <center> <math>\frac{\delta}{1 - \eta} \geq \delta(1 + \eta)</math></center> | ||

+ | |||

+ | on one of the three sets <math>\mathcal{U}\cap \mathcal{V}^c</math>, <math>\mathcal{U}^c\cap \mathcal{V}</math>, <math>\mathcal{U}^c \cap \mathcal{V}^c</math>. And each of these is a 12-set with density at least <math>\eta</math>. | ||

+ | |||

+ | We can move from this relative density-increment under equal-slices to a nearly as good one under uniform using the results in the [[passing between measures]] section ("relative density version"). | ||

+ | |||

+ | ===Reducing to equal-slices=== | ||

+ | |||

+ | Let <math>\nu</math> denote equal-slices measure on <math>[3]^m</math> (where <math>m</math> will be clear from context), and <math>\nu'</math> equal-slices measure on <math>[2]^m</math>. | ||

+ | |||

+ | Suppose we merely start out with the assumption that <math>A</math> has <i>uniform</i> density at least <math>\delta</math>. Consider a random restriction <math>(x,S)</math> chosen as follows: a set <math>S \subseteq [n]</math> is picked by including each coordinate independently with probability <math>1-\epsilon</math>; <math>S</math> is conditioned on having cardinality at most <math>(1-\epsilon/2)n</math>; then <math>x \in [3]^S</math> is fixed uniformly. | ||

+ | |||

+ | Let <math>\lambda</math> (resp. <math>\lambda'</math>) denote drawing <math>(x,S)</math> and then drawing the remaining free coordinates from <math>\nu</math> (resp. <math>\nu'</math>). As noted in the [[passing between measures]] article, | ||

+ | |||

+ | <center><math>d_{TV}(\mathrm{uniform},\lambda), d_{TV}(\mathrm{uniform},\lambda') \leq \sqrt{3} \epsilon \sqrt{n} + \exp(-\Omega(\epsilon n)).</math></center> | ||

+ | |||

+ | For simplicity, write <math>\epsilon = \gamma/(10\sqrt{n})</math> and assume <math>\gamma \geq O(\log n / \sqrt{n})</math> and hence the above total variation bound is at most <math>\gamma</math>. Hence we have | ||

+ | |||

+ | <center><math>\mathbf{E}_{x,S}[\nu(A_x)], \mathbf{E}_{x,S}[\nu'(A_x)] \geq \delta - \gamma</math>.</center> | ||

+ | |||

+ | Consider now <math>\mathbf{E}_{x,S}[\nu(A_{x})^2]</math>. If this is larger than <math>(\delta + \gamma)^2</math>, it means there exists some restriction <math>x</math> with a decent number of free coordinates under which <math>\nu(A_x) \geq \delta + \gamma</math>. By [[passing between measures|passing to a further restriction]] we can ensure that <math>A</math>'s uniform-density increases to at least <math>\delta + \gamma/2</math> on a subspace. This would let us end the overarching density-increment argument. | ||

+ | |||

+ | Hence for now we can assume <math>\mathbf{E}_{x,S}[\nu(A_{x})^2] \leq (\delta + \gamma)^2</math> and hence | ||

+ | <center><math>\mathbf{Var}_{x,S}[\nu(A_x)] \leq (\delta + \gamma)^2 - (\delta - \gamma)^2 \leq 5 \gamma \delta</math></center> | ||

+ | (presuming <math>\gamma \ll \delta</math>). | ||

+ | |||

+ | Thus Chebyshev implies that except with probability at most <math>\sqrt{\gamma}</math> over the choice of <math>x</math> we have that <math>\nu(A_x)</math> is within <math>(1/\gamma^{1/4}) \cdot \sqrt{5 \gamma \delta} = O(\gamma^{1/4}\delta^{1/2})</math> of its expectation; in particular, | ||

+ | <center><math>\nu(A_x) \geq \delta - \gamma - O(\gamma^{1/4}\delta^{1/2}) = \delta - O(\gamma^{1/4}\delta^{1/2}).</math></center> | ||

+ | |||

+ | On the other hand, we know that <math>\mathbf{E}_{x,S}[\nu'(A_x)] \geq \delta - \gamma</math>. Hence with probability at least <math>2\sqrt{\gamma}</math> over the choice of <math>x</math> we have <math>\nu'(A_x) \geq \delta - \gamma - 2\sqrt{\gamma}</math>. | ||

+ | |||

+ | We conclude that with probability at least <math>2\sqrt{\gamma} - \sqrt{\gamma}</math> over the choice of <math>x</math>, i.e. with positive probability, we have both <math>\nu'(A_x) \geq \delta - O(\gamma^{1/2})</math> and <math>\nu(A_x) \geq \delta - O(\gamma^{1/4}\delta^{1/2})</math>. | ||

+ | |||

+ | We can now pass to this subspace (which has <math>\Omega(\gamma \sqrt{n})</math> free coordinates) and proceed with the argument in the preceding section. | ||

+ | |||

+ | ==Further (previous) sketch== | ||

===Preliminaries=== | ===Preliminaries=== | ||

Line 31: | Line 81: | ||

===Step 1=== | ===Step 1=== | ||

− | This one is easy. First let us prove the comparable result in <math>[2]^n.</math> That is, let us prove that if a is within <math>O(\sqrt{n})</math> of n/2 and <math>r=o(\sqrt{n},</math> then <math>\binom na=(1+o(1))\binom n{a+r}.</math> This is because the ratio of <math>\binom nk</math> to <math>\binom n{k+1}</math> is (k+1)/(n-k), so if <math>k=n/2+O(\sqrt{n}),</math> then the ratio is <math>1+O(n^{-1/2}).</math> If we now multiply <math>r=o(\sqrt{n})</math> such ratios together we get <math>1+o(1).</math> | + | This one is easy. First let us prove the comparable result in <math>[2]^n.</math> That is, let us prove that if a is within <math>O(\sqrt{n})</math> of n/2 and <math>r=o(\sqrt{n}),</math> then <math>\binom na=(1+o(1))\binom n{a+r}.</math> This is because the ratio of <math>\binom nk</math> to <math>\binom n{k+1}</math> is (k+1)/(n-k), so if <math>k=n/2+O(\sqrt{n}),</math> then the ratio is <math>1+O(n^{-1/2}).</math> If we now multiply <math>r=o(\sqrt{n})</math> such ratios together we get <math>1+o(1).</math> |

− | To get from there to a comparable statement about the sizes of slices in <math>[3]^n,</math> note that we can get from <math>(a,b,c)</math> to <math>(a+r,b+s,c+t)</math> by two operations where we add <math>o(\sqrt n)</math> to one coordinate and subtract <math>o(\sqrt{n})</math> from another. Each time we do so, we multiply by <math>1+o(1),</math> by the result for <math>[2]^n</math> (but applied to <math>[2]^p</math> with p close to 2n/3). | + | To get from there to a comparable statement about the sizes of slices in <math>[3]^n,</math> note that we can get from <math>(a,b,c)</math> to <math>(a+r,b+s,c+t)</math> by two operations where we add <math>o(\sqrt n)</math> to one coordinate and subtract <math>o(\sqrt{n})</math> from another. Each time we do so, we multiply by <math>1+o(1),</math> by the result for <math>[2]^n</math> (but applied to <math>[2]^p</math> with p close to 2n/3). |

===Step 2=== | ===Step 2=== | ||

Line 69: | Line 119: | ||

This one is very simple. We have partitioned <math>[3]^Z</math> into four special sets of complexity 1. <math>\mathcal{A}</math> is disjoint from one of those sets, which has density at least <math>\delta^2/9.</math> Therefore, of at least one of the other three we must be able to say that its density is <math>\alpha</math> but it contains at least <math>\alpha\delta+\delta^2/27)3^m</math> points of <math>\mathcal{A}</math> (since otherwise the density of <math>\mathcal{A}</math> would not be <math>\delta</math>). This gives us a density increment of at least <math>\delta^2/27</math> on some special set of complexity 1, which itself must have density at least <math>\delta^2/27</math> in <math>[3]^Z</math>. | This one is very simple. We have partitioned <math>[3]^Z</math> into four special sets of complexity 1. <math>\mathcal{A}</math> is disjoint from one of those sets, which has density at least <math>\delta^2/9.</math> Therefore, of at least one of the other three we must be able to say that its density is <math>\alpha</math> but it contains at least <math>\alpha\delta+\delta^2/27)3^m</math> points of <math>\mathcal{A}</math> (since otherwise the density of <math>\mathcal{A}</math> would not be <math>\delta</math>). This gives us a density increment of at least <math>\delta^2/27</math> on some special set of complexity 1, which itself must have density at least <math>\delta^2/27</math> in <math>[3]^Z</math>. | ||

+ | ==Remarks== | ||

+ | |||

+ | This argument is intended to form part of a [[density_increment_method|density-increment strategy]] for proving DHJ(3). It is closely analogous to, though not quite the same as, a statement that plays an important role in Ajtai and Szemerédi's proof of the [[corners theorem]]. It reduces the problem to understanding special sets of complexity 1, which should in principle be much easier than the original problem, as it is amenable to the kinds of techniques that can be used to prove Sperner's theorem. This reduced problem will shortly be considered in a separate page. | ||

+ | |||

+ | The above write-up is clearly not of the precision that would be demanded in a journal article, and it has not been thoroughly checked. But it feels natural enough to be robust, in the sense that any mistakes ought to be technical rather than fundamental. | ||

+ | |||

+ | ==Where next?== | ||

+ | |||

+ | Let <math>\mathcal{U}</math> and <math>\mathcal{V}</math> be collections of subsets of [m] such that the set <math>\mathcal{A}</math> of all sequences <math>x\in[3]^m</math> with 1-set in <math>\mathcal{U}</math> and 2-set in <math>\mathcal{V}</math> is equal-slices dense. Then there must be a set W such that the set of <math>(U,V)</math> such that <math>(U,V,W)\in\mathcal{A}</math> is equal-layers dense in <math>[2]^{[m]\setminus W}.</math> By [[Sperner's_theorem|the multidimensional Sperner theorem]] the set of all U contained in on e of those pairs (which determines the pair) contains a multidimensional combinatorial subspace. That is, we can fix some coordinates and find wildcard sets <math>E_1,\dots,E_r</math> such that all 01 sequences that are fixed outside the <math>E_i</math> and constant on each <math>E_i</math> belong to <math>\mathcal{A}.</math> But by the definition of <math>\mathcal{A},</math> this implies that we can also map the elements of some of the <math>E_j</math> to 3, so we actually obtain a combinatorial subspace of <math>[3]^m</math> contained in <math>\mathcal{A}.</math> | ||

+ | Of course, we don't necessarily have a density increment on that subspace, but it is promising nevertheless. | ||

− | + | <math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math><math></math> |

## Latest revision as of 09:46, 21 October 2009

## Contents

## Introduction

The aim of this page is to present a proof that if [math]\mathcal{A}[/math] is a dense subset of [math][3]^n[/math] that contains no combinatorial line, then there is a combinatorial subspace X of [math][3]^n[/math] with dimension tending to infinity and a dense subset [math]\mathcal{B}[/math] of X that is a 12-set, such that the density of [math]\mathcal{A}[/math] inside [math]\mathcal{B}[/math] is slightly larger than it is in [math][3]^n.[/math]

## Proof

Let us assume for now that the equal-slices density of [math]\mathcal{A}[/math] in [math][3]^n[/math] is at least [math]\delta[/math], and that the equal-slices density of [math]\mathcal{A} \cap [2]^n[/math] in [math][2]^n[/math] is at least [math]\theta[/math]. As discussed in the sections below, we can reduce to this case by passing to subspaces.

The key definitions are:

Note that [math]\mathcal{U}[/math] is a 1-set and [math]\mathcal{V}[/math] is a 2-set. Further, since [math]\mathcal{A}[/math] contains no combinatorial line, it must be disjoint from [math]\mathcal{U} \cap \mathcal{V}[/math]. We will now see that [math]\mathcal{U} \cap \mathcal{V}[/math] is large in equal-slices measure on [math][3]^n[/math].

To see this, let [math]z[/math] be drawn from equal-slices measure on [math][3]^n[/math] in the manner described at the end of the article on the topic. Note that this also generates [math]x, y \in [2]^n[/math]. As we saw in the article, we get that both [math]x, y \in \mathcal{A}[/math] with probability at least [math]\eta := \theta^2 - \frac{2}{n+2}[/math], using the fact that [math]\mathcal{A} \cap [2]^n[/math] has equal-slices density at least [math]\theta[/math] in [math][2]^n[/math]. But when this happens, [math]z \in \mathcal{U} \cap \mathcal{V}[/math], by definition. Hence [math]\mathcal{U} \cap \mathcal{V}[/math] has equal-slices density at least [math]\eta[/math] on [math][3]^n[/math].

We now have that [math]\mathcal{A}[/math] avoids the set [math]\mathcal{U} \cap \mathcal{V}[/math], which has equal-slices density at least [math]\eta[/math]. It is thus easy to conclude that [math]\mathcal{A}[/math] must have relative density at least

on one of the three sets [math]\mathcal{U}\cap \mathcal{V}^c[/math], [math]\mathcal{U}^c\cap \mathcal{V}[/math], [math]\mathcal{U}^c \cap \mathcal{V}^c[/math]. And each of these is a 12-set with density at least [math]\eta[/math].

We can move from this relative density-increment under equal-slices to a nearly as good one under uniform using the results in the passing between measures section ("relative density version").

### Reducing to equal-slices

Let [math]\nu[/math] denote equal-slices measure on [math][3]^m[/math] (where [math]m[/math] will be clear from context), and [math]\nu'[/math] equal-slices measure on [math][2]^m[/math].

Suppose we merely start out with the assumption that [math]A[/math] has *uniform* density at least [math]\delta[/math]. Consider a random restriction [math](x,S)[/math] chosen as follows: a set [math]S \subseteq [n][/math] is picked by including each coordinate independently with probability [math]1-\epsilon[/math]; [math]S[/math] is conditioned on having cardinality at most [math](1-\epsilon/2)n[/math]; then [math]x \in [3]^S[/math] is fixed uniformly.

Let [math]\lambda[/math] (resp. [math]\lambda'[/math]) denote drawing [math](x,S)[/math] and then drawing the remaining free coordinates from [math]\nu[/math] (resp. [math]\nu'[/math]). As noted in the passing between measures article,

For simplicity, write [math]\epsilon = \gamma/(10\sqrt{n})[/math] and assume [math]\gamma \geq O(\log n / \sqrt{n})[/math] and hence the above total variation bound is at most [math]\gamma[/math]. Hence we have

Consider now [math]\mathbf{E}_{x,S}[\nu(A_{x})^2][/math]. If this is larger than [math](\delta + \gamma)^2[/math], it means there exists some restriction [math]x[/math] with a decent number of free coordinates under which [math]\nu(A_x) \geq \delta + \gamma[/math]. By passing to a further restriction we can ensure that [math]A[/math]'s uniform-density increases to at least [math]\delta + \gamma/2[/math] on a subspace. This would let us end the overarching density-increment argument.

Hence for now we can assume [math]\mathbf{E}_{x,S}[\nu(A_{x})^2] \leq (\delta + \gamma)^2[/math] and hence

(presuming [math]\gamma \ll \delta[/math]).

Thus Chebyshev implies that except with probability at most [math]\sqrt{\gamma}[/math] over the choice of [math]x[/math] we have that [math]\nu(A_x)[/math] is within [math](1/\gamma^{1/4}) \cdot \sqrt{5 \gamma \delta} = O(\gamma^{1/4}\delta^{1/2})[/math] of its expectation; in particular,

On the other hand, we know that [math]\mathbf{E}_{x,S}[\nu'(A_x)] \geq \delta - \gamma[/math]. Hence with probability at least [math]2\sqrt{\gamma}[/math] over the choice of [math]x[/math] we have [math]\nu'(A_x) \geq \delta - \gamma - 2\sqrt{\gamma}[/math].

We conclude that with probability at least [math]2\sqrt{\gamma} - \sqrt{\gamma}[/math] over the choice of [math]x[/math], i.e. with positive probability, we have both [math]\nu'(A_x) \geq \delta - O(\gamma^{1/2})[/math] and [math]\nu(A_x) \geq \delta - O(\gamma^{1/4}\delta^{1/2})[/math].

We can now pass to this subspace (which has [math]\Omega(\gamma \sqrt{n})[/math] free coordinates) and proceed with the argument in the preceding section.

## Further (previous) sketch

### Preliminaries

Throughout this sketch, [math]\mathcal{A}[/math] refers to a subset of [math][3]^n[/math] of density [math]\delta[/math] in the uniform distribution on [math][3]^n.[/math] We shall sometimes use letters such as x, y and z for elements of [math][3]^n[/math] and we shall sometimes write them as triples (U,V,W) of sets that partition [n]. A triple of sets corresponds to the 1-set, the 2-set and the 3-set of a sequence. We shall pass freely between the two ways of thinking about [math][3]^n,[/math] at each stage using whichever is more convenient.

If (U,V,W) is an element of [math][3]^n[/math] and (U',V',W') is an arbitrary triple of disjoint sets (not necessarily partitioning [n]), we shall write (U,V,W)++(U',V',W') for the sequence obtained from (U,V,W) by changing everything in U' to 1, everything in V' to 2, and everything in W' to 3. For example, writing § for an unspecified coordinate, we have 331322311++§§§1§22§3=331122213. (We think of (U',V',W') as "overwriting" (U,V,W).) If Z is a subset of [n], we shall also write [math](U,V,W)++[3]^Z[/math] for the combinatorial subspace consisting of all [math](U,V,W)++(U',V',W')[/math] with [math](U',V',W')\in[3]^Z,[/math] and [math](U,V,W)++[2]^Z[/math] for the subset of this combinatorial subspace consisting of all points with [math]W'=\emptyset.[/math]

An unexpected aspect of the proof is that we shall use *both* equal-slices measure and uniform measure. This decision was not arbitrary: it turns out that either measure on its own has inconvenient features that make the proof difficult, but that these difficulties can be be dealt with by passing from one to the other. (Roughly speaking, uniform measure is better for averaging arguments over subspaces, but equal-slices measure is better when we want Varnavides-type statements.) For this we need a tighter version of the statement that the versions DHJ(3) for the two measures are equivalent. We need that any set of density [math]\delta[/math] in one of the measures can be restricted to a combinatorial subspace where its density is at least [math]\delta-\eta[/math] in the other. I'm fairly sure that the argument for the equivalence of the two versions (given here) can be strengthened to give this conclusion, and will in due course make absolutely sure.

### The main steps

**Step 1.** If a, b and c are all within [math]C\sqrt n[/math] of n/3 and a+b+c=n, and if r, s and t are three integers that add up to 0 and are all at most [math]m=o(\sqrt{n})[/math] in modulus, then the size of the slice [math]\Gamma_{a,b,c}[/math] is 1+o(1) times the size of the slice [math]\Gamma_{a+r,b+s,c+t}.[/math]

**Step 2.** Let [math]\mu[/math] be some probability distribution on combinatorial subspaces S of [math][3]^n[/math] and for each S let [math]\sigma_S[/math] be a probability distribution on S. (We shall abbreviate [math]\sigma_S[/math] to [math]\sigma[/math] if S is clear from the context.) Let [math]\nu[/math] be the distribution on [math][3]^n[/math] that results if you choose a subspace S at random according to [math]\mu[/math] and then a random point x of S according to [math]\sigma[/math]. Suppose that the distribution [math]\nu[/math] is approximately uniform and the distributions [math]\sigma_S[/math] are reasonably nice. Then we may assume that for [math]\mu[/math]-almost all subpaces [math]S\subset[3]^n[/math] the [math]\sigma[/math]-density of [math]\mathcal{A}\cap S[/math] is at least [math](\delta-\eta).[/math]

**Step 3.** By 1,2 and an averaging argument, we find [math](U,V,W)[/math] and [math]Z\subset U\cup V[/math] of size [math]o(\sqrt{n})[/math] (but not much smaller than [math]\sqrt{n}[/math]) with two properties. First, out of all pairs [math](U',V')\in[2]^Z,[/math] the equal-slices proportion such that [math](U,V,W)++(U',V',\emptyset)[/math] belongs to [math]\mathcal{A}[/math] is at least [math]\delta/3.[/math] Secondly, out of all triples [math](U',V',W')\in[3]^Z,[/math] the equal-slices proportion such that [math](U,V,W)++(U',V',W')[/math] belongs to [math]\mathcal{A}[/math] is at least [math]\delta-\eta.[/math]

**Step 4.** Fixing such (U,V,W) and Z, let us write (U',V',W') instead of (U,V,W)++(U',V',W'). Then if [math]U_1\subset U_2[/math] and [math](U_1,Z\setminus U_1,\emptyset)[/math] and [math](U_2,Z\setminus U_2,\emptyset)[/math] both belong to [math]\mathcal{A},[/math] then, writing [math]V_i[/math] for [math]Z\setminus U_i,[/math] we have that [math](U_1,V_2,Z\setminus(U_1\cup V_2))[/math] does not belong to [math]\mathcal{A}.[/math]

**Step 5.** Let [math]\mathcal{U}[/math] be the set of all U such that [math](U,Z\setminus U,\emptyset)[/math] belongs to [math]\mathcal{A},[/math] and let [math]\mathcal{V}=\{Z\setminus U:U\in\mathcal{U}\}.[/math] Then the set of all pairs [math](U_1,V_2)[/math] such that [math]U_1\in\mathcal{U}[/math] and [math]V_2\in\mathcal{V}[/math] is equal-slices dense (this follows from the proof of Sperner's theorem). It follows that [math]\mathcal{A}[/math] is disjoint from an equal-slices-dense set of complexity 1.

**Step 6.** We can partition the set of all disjoint pairs [math](U_1,V_2)[/math] according to which of the sets [math]\mathcal{U}\times\mathcal{V},[/math] [math]\mathcal{U}\times\mathcal{V}^c,[/math] [math]\mathcal{U}^c\times\mathcal{V}[/math] or [math]\mathcal{U}^c\times\mathcal{V}^c[/math] they belong to. There must be at least one of the three sets other than [math]\mathcal{U}\times\mathcal{V}[/math] in which [math]\mathcal{A}[/math] has a density increment. Thus, we have a local equal-slices density increment on a set of complexity 1.

## Further details

### Step 1

This one is easy. First let us prove the comparable result in [math][2]^n.[/math] That is, let us prove that if a is within [math]O(\sqrt{n})[/math] of n/2 and [math]r=o(\sqrt{n}),[/math] then [math]\binom na=(1+o(1))\binom n{a+r}.[/math] This is because the ratio of [math]\binom nk[/math] to [math]\binom n{k+1}[/math] is (k+1)/(n-k), so if [math]k=n/2+O(\sqrt{n}),[/math] then the ratio is [math]1+O(n^{-1/2}).[/math] If we now multiply [math]r=o(\sqrt{n})[/math] such ratios together we get [math]1+o(1).[/math]

To get from there to a comparable statement about the sizes of slices in [math][3]^n,[/math] note that we can get from [math](a,b,c)[/math] to [math](a+r,b+s,c+t)[/math] by two operations where we add [math]o(\sqrt n)[/math] to one coordinate and subtract [math]o(\sqrt{n})[/math] from another. Each time we do so, we multiply by [math]1+o(1),[/math] by the result for [math][2]^n[/math] (but applied to [math][2]^p[/math] with p close to 2n/3).

### Step 2

First let us make the statement more precise. Let us say that a probability distribution [math]\nu[/math] on a finite set X is [math]\epsilon[/math]-*uniform* if [math]\nu(A)[/math] never differs from [math]|A|/|X|[/math] by more than [math]\epsilon.[/math] (A probabilist would say that the *total variation distance* between [math]\nu[/math] and the uniform distribution is at most [math]\epsilon.[/math]) Then the precise claim is the following. Let [math]\epsilon,\eta\gt0.[/math] Suppose that [math]\mu[/math] is a probability distribution on some collection [math]\Sigma[/math] of combinatorial subspaces S of [math][3]^n.[/math] Now choose a point x randomly by first choosing a subspace S [math]\mu[/math]-randomly from [math]\Sigma[/math] and then choosing [math]x[/math] [math]\sigma_S[/math]-randomly from S. Suppose that the resulting distribution [math]\nu[/math] is [math]\epsilon[/math]-uniform. Then either we can find a combinatorial subspace [math]S\in\Sigma[/math] such that [math]\sigma_S(\mathcal{A}\cap S)\geq\delta+\epsilon[/math] or, when you choose S randomly according to the distribution [math]\mu,[/math] the probability that [math]\sigma_S(\mathcal{A}\cap S)\leq\delta-\eta[/math] is at most [math]2\epsilon/\eta.[/math]

**Proof.** Let us first work out a lower bound for the expectation of [math]\delta(S):=\sigma_S(\mathcal{A}\cap S).[/math] This expectation is [math]\sum_{S\in\Sigma}\mu(S)\delta(S),[/math] which is precisely the probability that you obtain a point in [math]\mathcal{A}[/math] if you first pick a [math]\mu[/math]-random S and then pick a [math]\sigma_S[/math]-random point in S. In other words, it is [math]\nu(\mathcal{A}),[/math] which by hypothesis is within [math]\epsilon[/math] of [math]\delta,[/math] and is therefore at least [math]\delta-\epsilon.[/math] If the probability that [math]\delta(S)\lt\delta-\eta[/math] is p and [math]\delta(S)[/math] is bounded above by [math]\delta+\epsilon,[/math] then the expectation of [math]\delta(S)[/math] is at most [math]p(\delta-\eta)+(1-p)(\delta+\epsilon),[/math] which equals [math]\delta+\epsilon-p(\eta+\epsilon).[/math] If [math]p\gt2\epsilon/\eta,[/math] then this is less than [math]\delta+\epsilon-2\epsilon,[/math] which is a contradiction. [math]\Box[/math]

In the informal statement of Step 2 above, we said "we may assume" that almost all densities are at least [math]\delta-\eta.[/math] The reason is that the above argument shows that the only thing that could go wrong is if there exists a subspace [math]S\in\Sigma[/math] such that [math]\delta(S)=\sigma_S(\mathcal{A}\cap S)\geq\delta+\epsilon.[/math] But we shall choose the measures [math]\sigma_S[/math] in such a way that if this happens then we can pass to a further subspace inside which the *uniform* density is at least [math]\delta+\epsilon/2.[/math] And if we can do that, then we have our desired density increment.

### Step 3

Now let us pick a random point [math](U,V,W)[/math] and a random set [math]Z\subset[n][/math] of size [math]m=o(\sqrt{n}).[/math] We claim first that the distribution of an equal-slices-random point in the combinatorial subspace [math]S=(U,V,W)++[3]^Z[/math] is approximately uniform, and also that the distribution of an equal-layers random point in the set [math]T=(U,V,W)++[2]^Z[/math] is approximately uniform. (For the sake of clarity, I'll say "equal-layers" for [math][2]^n[/math] and "equal-slices" for [math][3]^n.[/math]) Just in case there is any doubt, the equal-slices measures on the subspaces are *not* the restrictions of equal-slices measure on [math][3]^n[/math] to those subspaces: rather, they are what you get when you think of the subspaces as copies of [math][3]^m.[/math]

To prove this assertion (which is essentially already proved in the discussion of the equivalence of DHJ(3) for the two measures), let us first fix three non-negative integers [math]a,b,c[/math] that add up to m, and then examine the distribution of the point [math]x[/math] chosen by first picking a random [math](U,V,W),[/math] then picking a random triple [math](U',V',W')[/math] belonging to the slice [math]\Gamma_{a,b,c}[/math] of [math][3]^Z,[/math] and finally taking the point [math]x=(U,V,W)++(U',V',W').[/math] This is equivalent to choosing [math](U',V',W')[/math] first and then filling up the rest of the sequence randomly. Since [math]U', V'[/math] and [math]W'[/math] are random sets of size a, b and c, the effect of this is to change very slightly the density associated with each slice. More precisely, the densities of near-central slices are hardly affected, while the densities of outlying slices are irrelevant because their total measure is tiny.

Once we've done that for a single triple (a,b,c) we can average over all of them (with appropriate weights) and get the result. For now, I will not give this argument in any more detail.

A similar argument (in fact, almost exactly the same argument) proves that if you choose an equal-layers random point in [math](U,V,W)++[2]^Z,[/math] then it too will have a distribution that is [math]\epsilon[/math]-uniform.

Now let us find the particular [math](U,V,W)[/math] and Z that we are looking for. Because the distribution of an equal-slices random point in [math]S=(U,V,W)++[3]^Z[/math] is [math]\epsilon[/math]-uniform, the hypotheses of Step 2 are satisfied for the uniform measure on the subspaces S of this form and the equal-slices measure inside. Therefore, we are free to assume that the proportion of such subspaces S inside which the equal-slices density is less than [math]\delta-\eta[/math] is at most [math]2\epsilon/\eta.[/math] But we also know that if we choose a random point from a random set of the form [math](U,V,W)++[2]^Z,[/math] then it is [math]\epsilon[/math]-uniform, so its probability of being in [math]\mathcal{A}[/math] is at least [math]\delta-\epsilon.[/math] It follows that with probability at least [math]\delta/3[/math] the density of [math]\mathcal{A}[/math] inside [math](U,V,W)++[2]^Z[/math] is at least [math]\delta/3.[/math] So provided we choose [math]\epsilon[/math] and [math]\eta[/math] so that [math]2\epsilon/\eta[/math] is less than [math]\delta/3,[/math] we can find [math](U,V,W)[/math] and [math]Z[/math] such that both statements hold. This proves Step 3.

### Step 4

In one way this is trivial, and in another it is the observation that drives the whole argument (and has been mentioned in different guises and by various people several times on the blog threads). If [math]U_1\subset U_2[/math] and [math](U_1,Z\setminus U_1,\emptyset)[/math] and [math](U_2,Z\setminus U_2,\emptyset)[/math] both belong to [math]\mathcal{A},[/math] then, writing [math]V_i[/math] for [math]Z\setminus U_i,[/math] the claim is that [math](U_1,V_2,Z\setminus(U_1\cup V_2))[/math] does not belong to [math]\mathcal{A}.[/math] But that is because the points [math](U_1,V_1,\emptyset), (U_2,V_2,\emptyset)[/math] and [math](U_1,V_2,Z\setminus(U_1\cup V_2))[/math] form a combinatorial line, the first two points of which belong to [math]\mathcal{A}.[/math]

### Step 5

The set of all pairs [math](U_1,V_2)[/math] such that [math]U_1\in\mathcal{U}[/math] and [math]V_2\in\mathcal{V}[/math] is in one-to-one correspondence with the set of all pairs [math]U_1\subset U_2[/math] such that [math]U_1,U_2\in\mathcal{U}.[/math] From Step 3 we know that the equal-layers density of [math]\mathcal{U}[/math] is at least [math]\delta/3.[/math] Therefore, if we choose a random permutation [math]\pi[/math] of [math][n],[/math] the expected density of initial segments that lie in [math]\mathcal{U}[/math] is at least [math]\delta/3.[/math] It follows from Cauchy-Schwarz that the expected density of *pairs* of initial segments is at least [math]\delta^2/9.[/math] Therefore, the set of all disjoint pairs [math](U_1,V_2)[/math] that belong to [math]\mathcal{U}\times\mathcal{V}[/math] has density at least [math]\delta^2/9[/math] in the set of all disjoint pairs (where the density of pairs is given by first choosing their cardinalities randomly and then choosing the sets given the cardinalities).

It remains to deduce from this that the collection of points [math](U,V,W)[/math] such that [math]U\in\mathcal{U}[/math] and [math]V\in\mathcal{V}[/math] is equal-slices dense. Hang on, I've just shown precisely the statement that the equal-slices density of this set is at least [math]\delta^2/9.[/math]

### Step 6

This one is very simple. We have partitioned [math][3]^Z[/math] into four special sets of complexity 1. [math]\mathcal{A}[/math] is disjoint from one of those sets, which has density at least [math]\delta^2/9.[/math] Therefore, of at least one of the other three we must be able to say that its density is [math]\alpha[/math] but it contains at least [math]\alpha\delta+\delta^2/27)3^m[/math] points of [math]\mathcal{A}[/math] (since otherwise the density of [math]\mathcal{A}[/math] would not be [math]\delta[/math]). This gives us a density increment of at least [math]\delta^2/27[/math] on some special set of complexity 1, which itself must have density at least [math]\delta^2/27[/math] in [math][3]^Z[/math].

## Remarks

This argument is intended to form part of a density-increment strategy for proving DHJ(3). It is closely analogous to, though not quite the same as, a statement that plays an important role in Ajtai and Szemerédi's proof of the corners theorem. It reduces the problem to understanding special sets of complexity 1, which should in principle be much easier than the original problem, as it is amenable to the kinds of techniques that can be used to prove Sperner's theorem. This reduced problem will shortly be considered in a separate page.

The above write-up is clearly not of the precision that would be demanded in a journal article, and it has not been thoroughly checked. But it feels natural enough to be robust, in the sense that any mistakes ought to be technical rather than fundamental.

## Where next?

Let [math]\mathcal{U}[/math] and [math]\mathcal{V}[/math] be collections of subsets of [m] such that the set [math]\mathcal{A}[/math] of all sequences [math]x\in[3]^m[/math] with 1-set in [math]\mathcal{U}[/math] and 2-set in [math]\mathcal{V}[/math] is equal-slices dense. Then there must be a set W such that the set of [math](U,V)[/math] such that [math](U,V,W)\in\mathcal{A}[/math] is equal-layers dense in [math][2]^{[m]\setminus W}.[/math] By the multidimensional Sperner theorem the set of all U contained in on e of those pairs (which determines the pair) contains a multidimensional combinatorial subspace. That is, we can fix some coordinates and find wildcard sets [math]E_1,\dots,E_r[/math] such that all 01 sequences that are fixed outside the [math]E_i[/math] and constant on each [math]E_i[/math] belong to [math]\mathcal{A}.[/math] But by the definition of [math]\mathcal{A},[/math] this implies that we can also map the elements of some of the [math]E_j[/math] to 3, so we actually obtain a combinatorial subspace of [math][3]^m[/math] contained in [math]\mathcal{A}.[/math]

Of course, we don't necessarily have a density increment on that subspace, but it is promising nevertheless.

[math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math][math][/math]