Back to search
2012.00813

Subsums of Null Sequences: A Survey and Open Questions

Justin Jacob

incompletemedium confidence
Category
math.DS
Journal tier
Specialist/Solid
Processed
Sep 28, 2025, 12:55 AM

Audit review

The paper asserts a “Generalized Guthrie–Nymann” trichotomy for Em(x) with only a brief sketch, relying on reusing the E(x) proof and claiming (incorrectly) that Em(x) is a sum of perfect compact sets; necessary standing hypotheses (e.g., absolute convergence/infinitely many nonzeros) are not explicitly stated. By contrast, the model’s solution gives a clean, correct reduction Em(x)=E(y) by repeating each x_i exactly m times and then applies the standard Guthrie–Nymann–Sáenz classification for E(y), adding the needed nondegeneracy assumptions and mutual exclusivity. The paper’s statement aligns with Theorem 11 in the PDF, but the proof is incomplete and contains a misleading justification; the model’s proof is correct and complete under standard assumptions. See Theorem 11 and its sketch in the PDF for the paper’s claim, and the earlier recap of the Guthrie–Nymann–Sáenz trichotomy and tail criteria in the survey for context .

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

The generalization to m-achievement sets is correct and near-immediate via a simple reduction to the binary case. The present sketch omits standard assumptions and uses an imprecise justification for perfectness. Adding the elementary reduction Em(x)=E(y) (repeat each term m times), explicitly stating hypotheses, and explicitly noting mutual exclusivity would render the statement rigorous and self-contained within the survey’s narrative.