Task 100

Stream: Carleson

[Andrew Yang]

Not sure if I should have claimed something based on the task number without understanding any of the maths behind but I have a question on the blueprint.
In the end it claimed that I should apply the "small boundary property" with $I = J$ and $t = 8D^{-s}$ but there is a condition $tD^{s(I)} \ge D^{-S}$ that doesn't seem to hold unless $s \le S + S(J)$.
The statement of Lemma 7.6.4 claims that it holds for all $s \ge 0$ though.

[Andrew Yang]

Ah okay if $s \ge S(J) + S$ then the set of $I$ with $s(I) = s(J)-s$ is empty so it's fine.

[Andrew Yang]

In that case I think it's done except for the fact that the bound I got was $2^{14a+1} (8 D^{-s})^\kappa \,$ instead of $2^{104a^2} (8 D^{-s})^\kappa \,$

[Floris van Doorn]

a ≥ 4, so your bound is much better than the blueprint's. Feel free to update the bound in the blueprint!

[Mario Carneiro]

Oh, is this one of those situations?

[Andrew Yang]

Should I open the PR from a fork or ask for write permission?

[Michael Rothgang]

From a fork, I believe

[Andrew Yang]

Okay the PR is here

[Floris van Doorn]

Thanks, merged.