Algebraic Proof of Completeness of a Positional Numeral System in the Normalized Mersenne Basis
In the authors' words
This paper introduces and investigates a non-classical positional numeral system constructed on the normalized Mersenne basis , structurally linking the classical Mersenne sequence (OEIS A000225) with the integer sequence of alternating binary bitmasks (OEIS A002450). The main objective of this study is to provide a rigorous algebraic proof of the system's completeness---specifically, theorems on the existence and absolute uniqueness of a canonical representation for any natural number. We show that the internal dynamics of the basis are deterministically governed by the splitting identity , which strictly restricts the valid alphabet of coefficients to the set . Based on the lemma concerning the supremum of lower-order digits and a constructive greedy algorithm, it is proven that the proposed basis forms a closed and unambiguous algebraic space, entirely precluding the overlap of positional masses.
Appeared: Wednesday, September 23. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 17 pages. Contains 2 appendices. Explores the algebraic properties and completeness of a positional numeral system based on the normalized Mersenne sequence