Zulip Chat Archive

Stream: Polynomial Freiman-Ruzsa conjecture

Topics:

Removing Affine Requirement from Approximate Homomorphism (1 message, latest: May 01 2025 at 22:09)
Mathlib bump (165 messages, latest: Apr 15 2025 at 21:49)
statement of PFR conjecture (22 messages, latest: Apr 03 2025 at 18:37)
Webpage broken (6 messages, latest: Mar 07 2025 at 12:18)
Upstream to Mathlib (8 messages, latest: Mar 03 2025 at 12:27)
Outstanding tasks for PFR III, version 3.0 (15 messages, latest: Nov 18 2024 at 22:13)
✔ Local build issue (22 messages, latest: Nov 07 2024 at 21:57)
Outstanding tasks, version 2.0 (65 messages, latest: Nov 02 2024 at 04:37)
KL Divergence: Porting TLB into PFR (5 messages, latest: Jun 25 2024 at 06:42)
Run lake exe mk_all automatically (5 messages, latest: Jun 13 2024 at 07:53)
License (7 messages, latest: Jun 11 2024 at 21:26)
New PFR bounds, outstanding tasks V1 (35 messages, latest: Jun 06 2024 at 22:32)
✔ Lemma 12.5 (Flipping a Sign): Outstanding Task 4 (8 messages, latest: May 22 2024 at 20:41)
LaTeX Issues & PRs (1 message, latest: May 15 2024 at 20:37)
Dealing with n-tuples of random variables (5 messages, latest: May 15 2024 at 05:33)
New PFR papers (1 message, latest: Apr 16 2024 at 19:34)
Outstanding tasks, version 8.0 (93 messages, latest: Jan 13 2024 at 19:01)
✔ Some kind of caching issue in the docs search index (2 messages, latest: Jan 09 2024 at 00:57)
blueprint docs 404 (13 messages, latest: Jan 08 2024 at 20:19)
"unfolding triangles" in blueprint (17 messages, latest: Jan 05 2024 at 03:09)
Uniformity norms (7 messages, latest: Dec 29 2023 at 16:55)
hom_PFR (6 messages, latest: Dec 22 2023 at 17:11)
Installing automated proof tools? (14 messages, latest: Dec 21 2023 at 16:56)
Project completed! Thoughts and reflections? (56 messages, latest: Dec 18 2023 at 21:04)
Outstanding tasks, version 7.0 (69 messages, latest: Dec 18 2023 at 02:53)
Improved PFR (3 messages, latest: Dec 12 2023 at 19:34)
Entropy on an infinite type (43 messages, latest: Dec 11 2023 at 22:12)
Weak PFR over the integers (5 messages, latest: Dec 11 2023 at 14:45)
PFR extensions (11 messages, latest: Dec 10 2023 at 16:10)
Balog-Szemerédi-Gowers (50 messages, latest: Dec 05 2023 at 08:14)
Outstanding tasks, version 5.0 (22 messages, latest: Dec 03 2023 at 12:13)
Helper lemma for (conditional) Ruzsa distance (11 messages, latest: Nov 30 2023 at 07:58)
Outstanding tasks, version 4.0 (44 messages, latest: Nov 29 2023 at 17:22)
Independence of A, B, C implies independence of A, B+C (18 messages, latest: Nov 29 2023 at 17:12)
Outstanding tasks, version 3.0 (48 messages, latest: Nov 27 2023 at 11:38)
notation and docstrings (5 messages, latest: Nov 27 2023 at 05:20)
finiteness tactic (7 messages, latest: Nov 26 2023 at 19:55)
✔ Errors in FiniteMeasureFintype.lean (28 messages, latest: Nov 25 2023 at 08:36)
"one click install" of project? (4 messages, latest: Nov 25 2023 at 00:11)
Issues with cache (15 messages, latest: Nov 24 2023 at 09:08)
New version of "outstanding tasks" (27 messages, latest: Nov 24 2023 at 06:59)
Fibring Lemmas (4 messages, latest: Nov 23 2023 at 22:38)
Update thread! (63 messages, latest: Nov 22 2023 at 22:38)
independence file (3 messages, latest: Nov 22 2023 at 21:50)
Ruzsa triangle inequality (14 messages, latest: Nov 22 2023 at 17:39)
Pairing together two random variables (19 messages, latest: Nov 22 2023 at 02:42)
@simp lemmas for entropy of sums? (40 messages, latest: Nov 20 2023 at 20:52)
Proof of Kaimonovich-Vershik - how to improve? (16 messages, latest: Nov 20 2023 at 20:01)
Blueprint is starting! (35 messages, latest: Nov 20 2023 at 17:43)
Build errors (sorry) (33 messages, latest: Nov 19 2023 at 19:20)
comments on FiniteMeasure user-friendliness (34 messages, latest: Nov 19 2023 at 17:27)
Entropy (23 messages, latest: Nov 19 2023 at 10:08)
Blog post "tour" of project (1 message, latest: Nov 18 2023 at 23:54)
Is this the right way to introduce independent copies? (13 messages, latest: Nov 18 2023 at 19:35)
How to define uniform distribution? (31 messages, latest: Nov 18 2023 at 00:28)
Notation and updates (6 messages, latest: Nov 17 2023 at 06:13)
Copy / identically distributed (8 messages, latest: Nov 16 2023 at 16:50)
mathlib-only approach to entropy (39 messages, latest: Nov 15 2023 at 17:36)
Welcome! (20 messages, latest: Nov 13 2023 at 23:58)
Formalizing F_2^n (5 messages, latest: Nov 13 2023 at 22:36)
✔ stream events (3 messages, latest: Nov 13 2023 at 22:14)

Last updated: May 02 2025 at 03:31 UTC