A Remarkable Summation Formula, Lattice Tilings, and Fluctuations

J. J. P. Veerman, L. S. Fox, P. J. Oberly

correcthigh confidence

Category: math.DS
Journal tier: Specialist/Solid
Processed: Sep 28, 2025, 12:56 AM
arXiv Links: Abstract ↗PDF ↗

Audit review

The paper’s Theorem 3.3 states and proves the identity (A − I) ∑_{i=0}^{n−1} {A^i x} = ∑_{i=1}^{n} d_i + {A^n x} − {x} for standard number systems, using a decomposition of the fractional part {x} into a truncated head x_n and tail y_n and summing digit-wise via geometric-series arguments . The candidate solution proves the same formula by establishing the shift-tail identity A {A^i x} = d_{i+1} + {A^{i+1} x} (justified by absolute convergence since A is expanding) and then telescoping over i. Both arguments are valid; they differ in technique (paper: split-and-sum; model: digit-shift telescoping).

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

The core summation formula is correct and clearly useful. The argument is sound and reasonably clear, but a brief, explicit presentation of the digit-shift telescoping identity (used by the model) would make the proof even more transparent. Minor clarifications about dependence on the chosen expansion, absolute convergence, and the invertibility of A − I would strengthen the exposition without altering results.