Sunflower bounds
Lean proofs of the ALWZ and Rao–Bell–Chueluecha–Warnke sunflower bounds, robust-sunflower upper and lower bounds, the BCW spread and satisfying results, and the classical Erdős–Rado theorem. The submission compares ten explicit finite statements, including second-moment and Janson routes to the ALWZ bound.
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-09-25-000014
curl -X POST /api/v1/records/palomar/PALOMAR-2026-09-25-000014/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-09-25-000014/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'