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
- arXiv Links
- Abstract ↗PDF ↗
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.