Zulip Chat Archive

Stream: Carleson

Topic: Blueprint on arXiv


Floris van Doorn (Jul 31 2025 at 14:32):

Christoph Thiele wrote a new introduction for the blueprint, giving a bit more context about the main results metric_space_carleson. This is merged in fpvandoorn/carleson#480, although the new version is not quite live yet.

We want to post a version of the blueprint after the formalization on arXiv, now with all the formalization authors included. We're including the names, affiliation and email addresses of all authors in the pdf version.

To the authors:

  • Please let me know if any personal information should be changed.
  • If you were funded by a grant, and would like to acknowledge that grant in the (already existing) acknowledgement section, please send a message / make a PR by Monday (4 Aug). On that day I'd like to submit the new version to arXiv.

Floris van Doorn (Jul 31 2025 at 15:01):

The new pdf blueprint is now live here (pdf).

Jeremy Tan (Aug 05 2025 at 03:21):

Have you submitted the paper to arXiv yet? (I still haven't seen the updated version https://arxiv.org/abs/2405.06423)

Floris van Doorn (Aug 05 2025 at 09:37):

I tried to submit the paper yesterday, but there were some issues. I'll submit again tomorrow.

Jeremy Tan (Aug 07 2025 at 01:19):

The new version is up now


Last updated: Dec 20 2025 at 21:32 UTC