正規数の性質を保つ加算・乗算と写像を調べる
On Normality Preserving Operations
この論文をやさしく読む
ひとことで言うと
数字の各並びが期待どおりの頻度で現れる正規数について、足し算・掛け算や変換をしてもその性質が保たれる条件を調べています。絶対正規数は、どの整数の底でも正規になる数です。
何に役立つ？
数字列の統計的な均等さが、算術操作や滑らかな変換にどこまで耐えるかを理解する基礎研究です。特定の乱数生成器の安全性を評価したものではありません。
この研究の面白いところ
二階まで連続微分可能なら正規性を保つ写像はアフィンに限られる一方、一階微分がLipschitz連続という少し弱い条件では非アフィンの例が存在します。滑らかさの条件の境目を具体的な構成で示しています。
どこまで分かった？
要旨は正規性を保つ条件と証明の方針を述べていますが、決定論的な数の詳細な定義や反例の式は示していません。ここでいう正規性は数字展開の性質であり、正規分布の意味ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
正規性を保つ算術演算と写像を研究する。Dayan、Ganguly、Weissによる最近の議論を再検討し、整数の底を固定したとき、乗算によって正規性を保つ数は非零の有理数にちょうど一致するという確率的証明を、簡潔で自己完結した形で提示する。また、HochmanとShmerkinの定理を用いて、すべての底を同時に扱う拡張も含める。 加算については、整数の底を固定した場合の決定論的な数に関するRauzyの特徴づけを、絶対正規数へ拡張する。具体的には、平行移動が絶対正規性を保つことと、その移動量がすべての整数の底で決定論的であることが同値である。この拡張を、疎なランダム摂動の議論によって証明する。 最後に、局所的にC²級で正規性を保つ写像は、すべてアフィン線形でなければならないことを示す。この正則性の仮定はC¹,¹級へ弱められない。実際、すべての整数の底で正規性を保ち、したがって絶対正規性も保つ、アフィンでないC¹,¹級微分同相写像を構成する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study arithmetic operations and maps which preserve normality. Revisiting a recent argument of Dayan, Ganguly and Weiss, we give a streamlined, self-contained presentation of the probabilistic proof that the non-zero rationals are exactly the multiplicative normality preserving numbers in a fixed integer base. We also include the extension to all bases simultaneously, using the theorem of Hochman and Shmerkin. In the additive case, we extend Rauzy's characterization of deterministic numbers in a fixed integer base to absolutely normal numbers. Namely, a translation preserves absolute normality if and only if its parameter is deterministic in every integer base. We prove this extension by a sparse random perturbation argument. Finally, we show that all locally $C^2$ normality preserving maps need to be affine-linear. The regularity assumption cannot be weakened to $C^{1,1}$: we construct a non-affine $C^{1,1}$ diffeomorphism which preserves normality in every integer base, and hence absolute normality.
著者のコメント
24 pages
arXiv ID: 2609.24665 ／ 要約の誤りについて