正規化メルセンヌ基の位取り表現が完全であることの証明
Algebraic Proof of Completeness of a Positional Numeral System in the Normalized Mersenne Basis
この論文をやさしく読む
ひとことで言うと
正規化メルセンヌ基を使う位取り記数法で、自然数の標準的な表し方が存在し一意であることを証明した。
何に役立つ？
非標準的な記数法の性質を厳密に理解するための代数的な基盤になる。
この研究の面白いところ
分割恒等式から使える数字を0、1、2に限定し、下位桁の上限と貪欲アルゴリズムで一意性を示す。
どこまで分かった？
要旨には理論的な完全性の証明が述べられており、計算機での性能や応用結果は示されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
古典的なメルセンヌ数列（OEIS A000225）と、二進数で交互に並ぶビットマスクの整数列（OEIS A002450）を構造的に結び付ける、正規化メルセンヌ基M_k=(2^k−1)/3による非古典的な位取り記数法を導入し、検討する。主な目的は、この体系の完全性、具体的には任意の自然数に対する標準表現の存在と絶対的な一意性を、厳密に代数的に証明することである。基数の内部の動きは、分割恒等式3M_k=M_(k+1)+2M_(k−1)によって決定的に支配され、使用できる係数の集合が{0,1,2}に厳しく制限されることを示す。下位桁の上限に関する補題と構成的な貪欲アルゴリズムに基づき、提案した基数系が閉じた曖昧さのない代数的空間を形成し、各位の値の重なりを完全に排除することを証明する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
This paper introduces and investigates a non-classical positional numeral system constructed on the normalized Mersenne basis $M_k = (2^k-1)/3$, structurally linking the classical Mersenne sequence (OEIS \textbf{A000225}) with the integer sequence of alternating binary bitmasks (OEIS \textbf{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 $3M_k = M_{k+1} + 2M_{k-1}$, which strictly restricts the valid alphabet of coefficients to the set $\{0, 1, 2\}$. 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.
著者のコメント
17 pages. Contains 2 appendices. Explores the algebraic properties and completeness of a positional numeral system based on the normalized Mersenne sequence
arXiv ID: 2609.25091 ／ 要約の誤りについて