Optimal solid maximal supplement bound in abelian groups

Question 9 · arXiv:2006.00534

arXiv Question high confidence— first stated 2020-12-30

Authors: Noga Alon, Noah Kravitz, Matt Larson

Status open high confidence

Question 9 asks for the optimal size threshold below which every non-empty solid subset of a finite abelian group G is guaranteed to be a maximal supplement; Theorem 5 in the source paper establishes the bound O((|G|/log|G|)^{1/4}) but the authors note it is unlikely to be optimal. A targeted search across arXiv and the published literature found no follow-up work improving or matching this bound, and the question appears to remain open.

Reviewer notes. No follow-up papers addressing Question 9 were found after five web searches and fetches. The question concerns the sharpness of the O((|G|/log|G|)^{1/4}) bound in Theorem 5 of arXiv:2006.00534; the source paper itself flags the bound as likely not optimal. Status is open with high confidence given the targeted search and the 5-year gap since publication.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Question. What is the optimal function in Theorem 5?

Context

Theorem 5 shows that every non-empty solid subset of a finite abelian group $G$ of size $O((|G|/\log|G|)^{1/4})$ is a maximal supplement, but it is unclear whether this bound is anywhere near optimal.

Source paper

Inverse problems for minimal complements and maximal supplements
Noga Alon, Noah Kravitz, Matt Larson · 2020-12-30
https://arxiv.org/abs/2006.00534 PDF source