Sparse coloring for isosceles-free grids: an AI-assisted proof case study
We study the largest size $C(n)$ of a subset of the $n\times n$ integer grid containing no isosceles triple, including equally spaced collinear triples. We prove $C(n)=Ω\left(n\sqrt{\log\log n/\log n}\right)$ by applying the sparse hypergraph coloring theorem of Cooper and Mubayi. Elementary geometry and primitive-direction counts give maximum degree $O(n^2\log n)$ and pair-codegree at most $5n$ for the forbidden-triple hypergraph. The resulting bound improves the explicit guarantee in PatternBoost by a factor of order $\sqrt{\log\log n}$. Recovered interaction records document how a Codex…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.04194
curl -X POST /api/v1/records/arxiv/2610.04194/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.04194/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'