Pdf: link.

It’s finally time to address one of Christ’s papers I talked about in the previous two blogposts. As mentioned there, I’ve chosen to read the one about the near-equality in the Riesz-Sobolev inequality because it seems the more approachable, while still containing one very interesting idea: exploiting the additive structure lurking behind the inequality via Freiman’s theorem.

**1. Elaborate an attack strategy **

Everything is in dimension and some details of the proof are specific to this dimension and don’t extend to higher dimensions. I’ll stick to Christ’s notation.

Recall that the Riesz-Sobolev inequality is

and its extremizers – which exist under the hypothesis that the sizes are all comparable – are intervals, i.e. the intervals are the only sets that realize equality in (1). See previous post for further details. The aim of paper [ChRS] is to prove that whenever is suitably close to (i.e. we *nearly* have equality) then the sets are nearly intervals themselves.

As explained in the previous post, there is one powerful tool to prove that a set must be close to an interval: the continuum version of *Freiman’s theorem*, which asserts that if is a measurable set in s.t. then nearly coincides with an interval (and this is bounded in size). I'll restate it for convenience:

Theorem 1 (continuum Freiman’s theorem)Let be a measurable set with finite measure . Ifthen there exists an interval s.t. [1] and

The problem is that we have no other information about other than the fact that (1) is nearly an equality when applied to these three sets – and we definitely need some strong information about the additive behaviour of the sets to prove something like out of the blue. Thus we are forced to reduce to well behaved sets. The most natural direction to look for is the superlevel sets of , defined by

and at this point the (naive) strategy to prove is close to an interval is the following:

**Strategy draft \# 1**

- reduce from the case to the case of for some that will likely depend on all , by proving that nearly coincides with ;
- exploit the definition of superlevel set and the hypothesis of the theorem to prove that .

This would suffice, because then would nearly coincide with an interval by Freiman’s theorem 1 and so would nearly coincide with an interval itself. This is obviously too naive to be expected to work, but there is something already there: indeed, one can prove that if nearly realizes inequality then nearly coincides with , where is s.t.

i.e. . Thus point (1.) isn’t a problem. I should also mention that realizes near-equality better than (the difference between the RHS and LHS of (1) is smaller).

The strategy will be refined and updated in these notes. Turns out there is no direct relationship between and , but there is a relationship between and of the form

Remark 1I haven’t discussed this point in the related post, but discrete Freiman’s theorem conclusion (and thus the continuum one) applies as well to the case , and this follows from two facts: first, that the quantitative lemma where one estimates from below by partitioning in accordance to the remainders modulus some holds as well for ; second, by the fact that Kneser's theorem is stated for two general sets . If you don't know what I'm talking about, check the blogpost.

Thus we have a new refined strategy:

**Strategy draft \# 2**

- reduce from the case to the case of for as above, by proving that nearly coincides with ; ✓
- exploit the definition of superlevel set and the hypothesis of the theorem to prove that ; ✓
- prove that under the hypotheses made;

then the result would follow from Freiman’s theorem as above. There isn’t a direct obvious way to prove something like (3.): point (2.) is tackled with a set theoretic inclusion, which is geometric information after all, but no such inclusion holds for those sets. Moreover, by Brunn-Minkowski, we seem to be going in the opposite direction: since , we have

Do we have to discard the strategy? no, maybe we’re rushing. Since is about the same size as , we can contempt ourselves with proving that isn’t much larger than .

Let’s shorten to and notice that . A moment’s thought reminds us that the inclusion relation (2) holds for all values of , not just for our . It might be worth it to integrate instead, as the integral over the superlevel sets has a clear interpretation, and see if we can squeeze out some information this way: since , integrating from to one gets

Now, for a generic function and it is

(and an analogous expression for ). We’ve just been rewriting our expression, but doing so we’ve introduced a quantity that has actually been studied before. I’m talking here about the last integral I’ve written: one has the so-called *KPRGT inequality* [2]

But, because of (4), this can be recast as

If one denotes by the difference

then (3) can be rewritten as

and since by the definitions it is and , the above is equivalent to

It’s important to notice that this inequality is tighter if . Now, our hope is that we can extract information from this quantity , and it is indeed the case. It’s easily seen to be related to the Riesz-Sobolev inequality in the following way: define analogously

which is a non-negative quantity. Now, for , we have , a quantity we know how to relate to ; but what about ? we need to work out what this is. A little algebra shows that, if we define by (and thus suppose ), we have

and therefore

(notice ). This tells us plenty of things: first of all,

but also that if we have some control of the kind . Turns out that this is the case in our situation above. Indeed,

and as said we’ve chosen so that the difference is small, in particular (but I haven’t mentioned it before) one has (which is assumed small because we’re assuming near-equality); therefore . Luckily though, it’s easy to prove that (as one would naively expect), so using all of the above we can write for some constant

where is defined by [3]

Then

and therefore

If this is what we wanted: is assumed to be small, and in particular is smaller than , and therefore adjusting the constants we can have , which was the original goal! On the other hand, if this miserably fails, and is an incredibly strong condition to ask for.

We revise the strategy as follows:

**Strategy draft \# 3**

- reduce from the case to the case of for as above, by proving that nearly coincides with ; ✓
- exploit the definition of superlevel set and the hypothesis of the theorem to prove that ; ✓
- prove that under the hypotheses made and the further assumption that ; ✓
- find a way to remove the assumption that .

To deal with point (4.), Christ resorted to the machinery of *truncations*. Truncations are defined as follows: a truncation of a set of positive measure with parameters that satisfy , is the subset given by , where are such that

In other words, is the middle portion of a trisection of s.t. the left section has measure and the right section has measure (and therefore the has measure ). This device allows to chop off portions of the sets in such a way that two of them are reduced to having the same size, but the triplet is still a near-extremizer of Riesz-Sobolev inequality. This is natural but not entirely obvious, and I don’t think I can sketch this part as I did for the previous three. Perhaps is time to move on to the rigourous proof. But first let me write the final

**Strategy**

- reduce from the case to the case of for as above, by proving that nearly coincides with ;
- exploit the definition of superlevel set and the hypothesis of the theorem to prove that ;
- prove that under the hypotheses made and the further assumption that ;
- Remove the assumption that by using truncations.

**2. The actual proof **

I will first of all state the theorem of Christ, but that requires a definition. We introduce a parameter to control how the sizes of the sets are comparable:

Definition 2A triplet of sets is said to be-strictly admissiblefor some ifholds for all that are permutations of .

This has as a consequence that the sets are all comparable in sizes, and in particular

because suppose , then

Now we’re ready for

Theorem 3 (Christ, [ChRS])Let be a -strictly admissible triplet of measurable sets for some ; ifthen there exist intervals s.t.

Before we start, we prove (6):

where is defined by .

*Proof:* We write for and similarly. Assume without loss of generality . The rearranged sets are intervals centered in 0. Write for , and similarly for , . Then

Integrating from to ,

and doing the algebra this is

Very nice formula indeed. Let me expand it for future reference:

** 2.1. Reduction to superlevel sets **

Remember that we defined

In the following, let for shortness. Our parameter for “small” as used in the previous section will typically be . The proposition addresses point (1.) of the strategy directly.

Proposition 5If are such thatthen for as before (i.e. ) it is

It obviously follows that as well.

*Proof:* We prove it separately for and . Write for for shortness. Suppose ; since , we can find a measurable set s.t. , with size but (e.g. if too). Then, in it is by definition of ; moreover, by the assumption on the size of we can apply the formula in Lemma 4, therefore

and thus

which is a contradiction.

The proof for is similar: one takes any measurable s.t. and s.t. , then for all of them proves as above, and the result follows for as well.

Thus we’ve proved that is nearly a superlevel set, with error of size .

Since we’ll need it in the following (it was mentioned above), we also prove

Proposition 6Under the assumptions above,

In other words, is a tighter near-extremizer than .

*Proof:* One has on and viceversa on . Therefore

Define by (the analogous of for the new triplet), and the last line can be rewritten as

and rearranging we get exactly the conclusion.

** 2.2. Additive structure in superlevel sets **

This section addresses point (2.) of the strategy.

One has the following additive relation amongst superlevel sets of convolutions of characteristic functions

*Proof:* It will follow from the fact that

To see this, notice that , and therefore is equivalent to

Now, take , and . Notice the superlevel sets are open, so the points lie in the inside. We want to prove . By the above

and analogously for , thus

which is equivalent to .

As we’ve seen before, then, we have

The next step is then to estimate .

** 2.3. The KPRGT inequality **

As mentioned in the first section, we’re gonna need the KPRGT inequality, which I recall:

As seen before, it can be recast as

moreover, if we define the difference

then we’ve seen that we have the relationship

where , under the assumption that . For this requirement is satisfied. Notice that (7) is essentially a sharpened KPRGT inequality, since it means , or

** 2.4. Case **

This section addresses point (3.) of the strategy, under the assumption that , assumption that will be removed in the next subsection. Remember that is short for .

We want to prove that , where remember . We need to be rigorous, so we state:

Proposition 8Let be -strictly admissible, s.t.

- ;
- ;
- .
Then

The hypotheses made here are so that the hypothesis in Proposition 5 applies. Indeed (since ), and by strict-admissibility. Thus (check the proof for the factor ).

*Proof:* As seen above: the additive relation in Proposition 7 gives us (by Brunn-Minkowski)

which when integrated from to becomes

which by the same algebraic manipulations done before can be equivalently rewritten as (5), that is

Now, we want to prove by using (7), but to use that we need to show that , and on the other hand . So we can use (7) safely, and doing the calculations (see above)

so far. We want to invoke (7) again, so that we can say with , and therefore we have to verify the hypothesis again: follows from Brunn-Minkowski since , as for the other one suppose the contrary, i.e. that . By (8) expanded,

thus

If then it also is

but then , contradicting the hypotheses of the proposition.

Therefore we can safely use (7) on too, and hence by the same calculations as before

or

By using the above proposition we then have that

Now, we want , which we can enforce: as seen in the proof .

Proposition 9Let be -strictly admissible, s.t.

- ;
- ;
- .
Then there exists an interval s.t.

*Proof:* By the remark before the last statement and the previous proposition, we have

Now apply Freiman’s theorem 1, which yields an interval s.t. and

Finally, since by Proposition 5, we have

One small thing to be noticed is that, besides the assumption we had to introduce another assumption, namely that , or that is “measurably” bigger than (remember we consider quantities to be small, so if the opposite inequality were to hold, we wouldn’t be able to distinguish between and , informally). This means that the statement is not symmetric w.r.t. to permutations, and indeed the conclusion is reached only for set . A symmetric statement would yields the result for all three sets, because the form is essentially symmetric:

** 2.5. Truncations **

In this section we deal with the final point of the strategy.

I’ll recall what truncations are:

Definition 10A truncation of a set of positive measure with parameters that satisfy , is the subset given by , where are such that

Of course there is ambiguity in the choice of , but it’s irrelevant – say one takes the highest and the lowest . Notice also that it is an intrinsically -dimensional device.

These objects have nice properties, which I list in lemmas following [ChRS].

Notice that the positions of in the pedices are inverted.

Lemma 12Let , and let be intervals centered at s.t.

- ;
- ;
- .
Then

Notice the order of is inverted again. This lemma is the one that allows to pass to the truncations: indeed, it implies that

That is, is a tighter near-extremizer of Riesz-Sobolev. This is because, by Lemma 11,

and by Lemma 12, since this is

I won’t prove the lemmas because this post would get too long. You can find the easy proofs in [ChRS].

Remark 2Lemma 11 and Lemma 12 can be used to give a proof of the Riesz-Sobolev inequality in one dimension.

Before addressing the removal of the hypothesis , I need a further lemma with some combinatorial flavour. It essentially says that if all the truncations which chop off a fixed portion of a set are nearly intervals, then itself must nearly coincide with some interval.

Lemma 14Let be a measurable set of positive measure, and . Suppose that for every truncation , with , there exists an interval (not necessarily the same for everyone) s.t.Then there exists interval s.t.

*Proof:* Suppose without loss of generality that , where is integer. Then denote for , accordingly as a consequence of , and . That is, has been chopped off a fraction of on the left and on the right, which leaves a portion : . For every there is an interval s.t. , which implies

On the other hand, we have control over the symmetric differences:

If is sufficiently small, say , then

and for the inequality to be strict then and must intersect. But this holds for all , and therefore all the intervals form a chain, and is an interval itself. Moreover

and same for . This concludes the proof.

With this last lemma, we’re ready to complete the proof. We’ll have to do a bit of jiggling, and it’s best to divide into cases.

**Case 1:** Let’s define for shortness. Suppose

- (with constant small enough; the square is necessary);
- ;

we want to prove that there exists an interval s.t. .

All we have to do is show that we can apply Proposition 9 to any truncation of a fixed portion, and then invoke 14 to conclude that itself must be approximated by an interval. Remember one condition of Proposition 9 is that the third set is smaller than the other two by . Thus we want to remove from two sets enough mass: if we remove from and from they will have the same size. Notice we are removing portions of different sizes, and this can only be achieved if we take two truncations, one for and one for . But this is not enough, since we want the truncated and to be sensibly larger than what’s left of , and thus we remove slightly more from and , namely an additional . More precisely, choose s.t.

which we can do (we have the freedom to choose a small enough constant in the hypotheses above, and ). Then we'll remove

from and

from . Take s.t. and s.t. , and define the truncations

We have to verify we can apply Proposition 9 to the triplet . As said above, , and then

from which it follows that . Remember and not , which is the triplet we’re working on, but by Corollary 13

Another thing to verify is that the triplet is -strictly admissible, and this is true because

Then we have to verify , and this is true because

and therefore

as long as we fix the constant in the hypothesis to be .

Thus we can apply Proposition 9 to , which yields an interval s.t.

This holds for all truncation parameters as above, and then there exists an interval s.t.

where is given by , thus

because : indeed, this is true if , otherwise and by the hypothesis . Then the bound on is

like we wanted.

By the symmetry relations (9), (10), we can permute and assume . Then the result above holds for clearly, but for and too, provided and likewise for . If this condition fails, we have the next case.

**Case 2:** Assume again , thus is nearly an interval as above, but suppose

In this case we can reduce and to having the same size, and therefore we must trim by : let , s.t. , define

As said, . We have to verify the hypotheses of previous case hold again, and then by the same reasoning we will have that is nearly an interval, but .

We have that the triplet is -strictly admissible:

Moreover, condition is trivially satisfied. As for the last condition, by Corollary 13 it is . Notice that by -strict admissibility of one has

Thus to have the condition satisfied it suffices to assume with a sufficiently small constant, and then

This way, we’ve reduced to the previous case, and is nearly an interval, with error .

**Case 3:** Suppose now that . This case is the same as Case 2, but now we work on triplet

The reasoning is identical, and this exhausts all the possibilities. The theorem is proved.

**Footnotes:**

[1] To be precise, is *essentially* contained in , in the sense that .

[2] by the names of the people who studied it in a variety of contexts: Kemperman, Pollard, Rusza, Green, Tao.

[3] note we have to prove for this to work.

**References:**

[ChRS] M. Christ, *Near equality in the Riesz-Sobolev inequality*, arXiv:1309.5856 [math.CA], 2013.

Pdf: link.

It’s finally time to address one of Christ’s papers I talked about in the previous two blogposts. As mentioned there, I’ve chosen to read the one about the near-equality in the Riesz-Sobolev inequality because it seems the more approachable, while still containing one very interesting idea: exploiting the additive structure lurking behind the inequality via Freiman’s theorem.

**1. Elaborate an attack strategy **

Everything is in dimension and some details of the proof are specific to this dimension and don’t extend to higher dimensions. I’ll stick to Christ’s notation.

Recall that the Riesz-Sobolev inequality is

and its extremizers – which exist under the hypothesis that the sizes are all comparable – are intervals, i.e. the intervals are the only sets that realize equality in (1). See previous post for further details. The aim of paper [ChRS] is to prove that whenever is suitably close to (i.e. we *nearly* have equality) then the sets are nearly intervals themselves.

As explained in the previous post, there is one powerful tool to prove that a set must be close to an interval: the continuum version of *Freiman’s theorem*, which asserts that if is a measurable set in s.t. then nearly coincides with an interval (and this is bounded in size). I'll restate it for convenience:

Theorem 1 (continuum Freiman’s theorem)Let be a measurable set with finite measure . Ifthen there exists an interval s.t. [1] and

The problem is that we have no other information about other than the fact that (1) is nearly an equality when applied to these three sets – and we definitely need some strong information about the additive behaviour of the sets to prove something like out of the blue. Thus we are forced to reduce to well behaved sets. The most natural direction to look for is the superlevel sets of , defined by

and at this point the (naive) strategy to prove is close to an interval is the following:

**Strategy draft \# 1**

- reduce from the case to the case of for some that will likely depend on all , by proving that nearly coincides with ;
- exploit the definition of superlevel set and the hypothesis of the theorem to prove that .

This would suffice, because then would nearly coincide with an interval by Freiman’s theorem 1 and so would nearly coincide with an interval itself. This is obviously too naive to be expected to work, but there is something already there: indeed, one can prove that if nearly realizes inequality then nearly coincides with , where is s.t.

i.e. . Thus point (1.) isn’t a problem. I should also mention that realizes near-equality better than (the difference between the RHS and LHS of (1) is smaller).

The strategy will be refined and updated in these notes. Turns out there is no direct relationship between and , but there is a relationship between and of the form

Remark 1I haven’t discussed this point in the related post, but discrete Freiman’s theorem conclusion (and thus the continuum one) applies as well to the case , and this follows from two facts: first, that the quantitative lemma where one estimates from below by partitioning in accordance to the remainders modulus some holds as well for ; second, by the fact that Kneser's theorem is stated for two general sets . If you don't know what I'm talking about, check the blogpost.

Thus we have a new refined strategy:

**Strategy draft \# 2**

- reduce from the case to the case of for as above, by proving that nearly coincides with ; ✓
- exploit the definition of superlevel set and the hypothesis of the theorem to prove that ; ✓
- prove that under the hypotheses made;

then the result would follow from Freiman’s theorem as above. There isn’t a direct obvious way to prove something like (3.): point (2.) is tackled with a set theoretic inclusion, which is geometric information after all, but no such inclusion holds for those sets. Moreover, by Brunn-Minkowski, we seem to be going in the opposite direction: since , we have

Do we have to discard the strategy? no, maybe we’re rushing. Since is about the same size as , we can contempt ourselves with proving that isn’t much larger than .

Let’s shorten to and notice that . A moment’s thought reminds us that the inclusion relation (2) holds for all values of , not just for our . It might be worth it to integrate instead, as the integral over the superlevel sets has a clear interpretation, and see if we can squeeze out some information this way: since , integrating from to one gets

Now, for a generic function and it is

(and an analogous expression for ). We’ve just been rewriting our expression, but doing so we’ve introduced a quantity that has actually been studied before. I’m talking here about the last integral I’ve written: one has the so-called *KPRGT inequality* [2]

But, because of (4), this can be recast as

If one denotes by the difference

then (3) can be rewritten as

and since by the definitions it is and , the above is equivalent to

It’s important to notice that this inequality is tighter if . Now, our hope is that we can extract information from this quantity , and it is indeed the case. It’s easily seen to be related to the Riesz-Sobolev inequality in the following way: define analogously

which is a non-negative quantity. Now, for , we have , a quantity we know how to relate to ; but what about ? we need to work out what this is. A little algebra shows that, if we define by (and thus suppose ), we have

and therefore

(notice ). This tells us plenty of things: first of all,

but also that if we have some control of the kind . Turns out that this is the case in our situation above. Indeed,

and as said we’ve chosen so that the difference is small, in particular (but I haven’t mentioned it before) one has (which is assumed small because we’re assuming near-equality); therefore . Luckily though, it’s easy to prove that (as one would naively expect), so using all of the above we can write for some constant

where is defined by [3]

Then

and therefore

If this is what we wanted: is assumed to be small, and in particular is smaller than , and therefore adjusting the constants we can have , which was the original goal! On the other hand, if this miserably fails, and is an incredibly strong condition to ask for.

We revise the strategy as follows:

**Strategy draft \# 3**

- reduce from the case to the case of for as above, by proving that nearly coincides with ; ✓
- exploit the definition of superlevel set and the hypothesis of the theorem to prove that ; ✓
- prove that under the hypotheses made and the further assumption that ; ✓
- find a way to remove the assumption that .

To deal with point (4.), Christ resorted to the machinery of *truncations*. Truncations are defined as follows: a truncation of a set of positive measure with parameters that satisfy , is the subset given by , where are such that

In other words, is the middle portion of a trisection of s.t. the left section has measure and the right section has measure (and therefore the has measure ). This device allows to chop off portions of the sets in such a way that two of them are reduced to having the same size, but the triplet is still a near-extremizer of Riesz-Sobolev inequality. This is natural but not entirely obvious, and I don’t think I can sketch this part as I did for the previous three. Perhaps is time to move on to the rigourous proof. But first let me write the final

**Strategy**

- reduce from the case to the case of for as above, by proving that nearly coincides with ;
- exploit the definition of superlevel set and the hypothesis of the theorem to prove that ;
- prove that under the hypotheses made and the further assumption that ;
- Remove the assumption that by using truncations.

**2. The actual proof **

I will first of all state the theorem of Christ, but that requires a definition. We introduce a parameter to control how the sizes of the sets are comparable:

Definition 2A triplet of sets is said to be-strictly admissiblefor some ifholds for all that are permutations of .

This has as a consequence that the sets are all comparable in sizes, and in particular

because suppose , then

Now we’re ready for

Theorem 3 (Christ, [ChRS])Let be a -strictly admissible triplet of measurable sets for some ; ifthen there exist intervals s.t.

Before we start, we prove (6):

where is defined by .

*Proof:* We write for and similarly. Assume without loss of generality . The rearranged sets are intervals centered in 0. Write for , and similarly for , . Then

Integrating from to ,

and doing the algebra this is

Very nice formula indeed. Let me expand it for future reference:

** 2.1. Reduction to superlevel sets **

Remember that we defined

In the following, let for shortness. Our parameter for “small” as used in the previous section will typically be . The proposition addresses point (1.) of the strategy directly.

Proposition 5If are such thatthen for as before (i.e. ) it is

It obviously follows that as well.

*Proof:* We prove it separately for and . Write for for shortness. Suppose ; since , we can find a measurable set s.t. , with size but (e.g. if too). Then, in it is by definition of ; moreover, by the assumption on the size of we can apply the formula in Lemma 4, therefore

and thus

which is a contradiction.

The proof for is similar: one takes any measurable s.t. and s.t. , then for all of them proves as above, and the result follows for as well.

Thus we’ve proved that is nearly a superlevel set, with error of size .

Since we’ll need it in the following (it was mentioned above), we also prove

Proposition 6Under the assumptions above,

In other words, is a tighter near-extremizer than .

*Proof:* One has on and viceversa on . Therefore

Define by (the analogous of for the new triplet), and the last line can be rewritten as

and rearranging we get exactly the conclusion.

** 2.2. Additive structure in superlevel sets **

This section addresses point (2.) of the strategy.

One has the following additive relation amongst superlevel sets of convolutions of characteristic functions

*Proof:* It will follow from the fact that

To see this, notice that , and therefore is equivalent to

Now, take , and . Notice the superlevel sets are open, so the points lie in the inside. We want to prove . By the above

and analogously for , thus

which is equivalent to .

As we’ve seen before, then, we have

The next step is then to estimate .

** 2.3. The KPRGT inequality **

As mentioned in the first section, we’re gonna need the KPRGT inequality, which I recall:

As seen before, it can be recast as

moreover, if we define the difference

then we’ve seen that we have the relationship

where , under the assumption that . For this requirement is satisfied. Notice that (7) is essentially a sharpened KPRGT inequality, since it means , or

** 2.4. Case **

This section addresses point (3.) of the strategy, under the assumption that , assumption that will be removed in the next subsection. Remember that is short for .

We want to prove that , where remember . We need to be rigorous, so we state:

Proposition 8Let be -strictly admissible, s.t.

- ;
- ;
- .
Then

The hypotheses made here are so that the hypothesis in Proposition 5 applies. Indeed (since ), and by strict-admissibility. Thus (check the proof for the factor ).

*Proof:* As seen above: the additive relation in Proposition 7 gives us (by Brunn-Minkowski)

which when integrated from to becomes

which by the same algebraic manipulations done before can be equivalently rewritten as (5), that is

Now, we want to prove by using (7), but to use that we need to show that , and on the other hand . So we can use (7) safely, and doing the calculations (see above)

so far. We want to invoke (7) again, so that we can say with , and therefore we have to verify the hypothesis again: follows from Brunn-Minkowski since , as for the other one suppose the contrary, i.e. that . By (8) expanded,

thus

If then it also is

but then , contradicting the hypotheses of the proposition.

Therefore we can safely use (7) on too, and hence by the same calculations as before

or

By using the above proposition we then have that

Now, we want , which we can enforce: as seen in the proof .

Proposition 9Let be -strictly admissible, s.t.

- ;
- ;
- .
Then there exists an interval s.t.

*Proof:* By the remark before the last statement and the previous proposition, we have

Now apply Freiman’s theorem 1, which yields an interval s.t. and

Finally, since by Proposition 5, we have

One small thing to be noticed is that, besides the assumption we had to introduce another assumption, namely that , or that is “measurably” bigger than (remember we consider quantities to be small, so if the opposite inequality were to hold, we wouldn’t be able to distinguish between and , informally). This means that the statement is not symmetric w.r.t. to permutations, and indeed the conclusion is reached only for set . A symmetric statement would yields the result for all three sets, because the form is essentially symmetric:

** 2.5. Truncations **

In this section we deal with the final point of the strategy.

I’ll recall what truncations are:

Definition 10A truncation of a set of positive measure with parameters that satisfy , is the subset given by , where are such that

Of course there is ambiguity in the choice of , but it’s irrelevant – say one takes the highest and the lowest . Notice also that it is an intrinsically -dimensional device.

These objects have nice properties, which I list in lemmas following [ChRS].

Notice that the positions of in the pedices are inverted.

Lemma 12Let , and let be intervals centered at s.t.

- ;
- ;
- .
Then

Notice the order of is inverted again. This lemma is the one that allows to pass to the truncations: indeed, it implies that

That is, is a tighter near-extremizer of Riesz-Sobolev. This is because, by Lemma 11,

and by Lemma 12, since this is

I won’t prove the lemmas because this post would get too long. You can find the easy proofs in [ChRS].

Remark 2Lemma 11 and Lemma 12 can be used to give a proof of the Riesz-Sobolev inequality in one dimension.

Before addressing the removal of the hypothesis , I need a further lemma with some combinatorial flavour. It essentially says that if all the truncations which chop off a fixed portion of a set are nearly intervals, then itself must nearly coincide with some interval.

Lemma 14Let be a measurable set of positive measure, and . Suppose that for every truncation , with , there exists an interval (not necessarily the same for everyone) s.t.Then there exists interval s.t.

*Proof:* Suppose without loss of generality that , where is integer. Then denote for , accordingly as a consequence of , and . That is, has been chopped off a fraction of on the left and on the right, which leaves a portion : . For every there is an interval s.t. , which implies

On the other hand, we have control over the symmetric differences:

If is sufficiently small, say , then

and for the inequality to be strict then and must intersect. But this holds for all , and therefore all the intervals form a chain, and is an interval itself. Moreover

and same for . This concludes the proof.

With this last lemma, we’re ready to complete the proof. We’ll have to do a bit of jiggling, and it’s best to divide into cases.

**Case 1:** Let’s define for shortness. Suppose

- (with constant small enough; the square is necessary);
- ;

we want to prove that there exists an interval s.t. .

All we have to do is show that we can apply Proposition 9 to any truncation of a fixed portion, and then invoke 14 to conclude that itself must be approximated by an interval. Remember one condition of Proposition 9 is that the third set is smaller than the other two by . Thus we want to remove from two sets enough mass: if we remove from and from they will have the same size. Notice we are removing portions of different sizes, and this can only be achieved if we take two truncations, one for and one for . But this is not enough, since we want the truncated and to be sensibly larger than what’s left of , and thus we remove slightly more from and , namely an additional . More precisely, choose s.t.

which we can do (we have the freedom to choose a small enough constant in the hypotheses above, and ). Then we'll remove

from and

from . Take s.t. and s.t. , and define the truncations

We have to verify we can apply Proposition 9 to the triplet . As said above, , and then

from which it follows that . Remember and not , which is the triplet we’re working on, but by Corollary 13

Another thing to verify is that the triplet is -strictly admissible, and this is true because

Then we have to verify , and this is true because

and therefore

as long as we fix the constant in the hypothesis to be .

Thus we can apply Proposition 9 to , which yields an interval s.t.

This holds for all truncation parameters as above, and then there exists an interval s.t.

where is given by , thus

because : indeed, this is true if , otherwise and by the hypothesis . Then the bound on is

like we wanted.

By the symmetry relations (9), (10), we can permute and assume . Then the result above holds for clearly, but for and too, provided and likewise for . If this condition fails, we have the next case.

**Case 2:** Assume again , thus is nearly an interval as above, but suppose

In this case we can reduce and to having the same size, and therefore we must trim by : let , s.t. , define

As said, . We have to verify the hypotheses of previous case hold again, and then by the same reasoning we will have that is nearly an interval, but .

We have that the triplet is -strictly admissible:

Moreover, condition is trivially satisfied. As for the last condition, by Corollary 13 it is . Notice that by -strict admissibility of one has

Thus to have the condition satisfied it suffices to assume with a sufficiently small constant, and then

This way, we’ve reduced to the previous case, and is nearly an interval, with error .

**Case 3:** Suppose now that . This case is the same as Case 2, but now we work on triplet

The reasoning is identical, and this exhausts all the possibilities. The theorem is proved.

**Footnotes:**

[1] To be precise, is *essentially* contained in , in the sense that .

[2] by the names of the people who studied it in a variety of contexts: Kemperman, Pollard, Rusza, Green, Tao.

[3] note we have to prove for this to work.

**References:**

[ChRS] M. Christ, *Near equality in the Riesz-Sobolev inequality*, arXiv:1309.5856 [math.CA], 2013.