3・4文字の二次元数列で有限順序数の入れ子構造を表現
Recurrent two-dimensional sequences over three and four letters simulating von Neumann constructions of finite ordinals
この論文をやさしく読む
ひとことで言うと
少数の記号で作る二次元の再帰的な数列に、有限順序数の入れ子構造が現れる仕組みを調べる数学研究です。
何に役立つ？
局所的な再帰規則がどのような大域的な構造を作るかを理解するための具体例になります。要旨では実用上の応用は述べられていません。
この研究の面白いところ
色分け図の長方形の入れ子を明示的に記述し、組み立て規則と個数の式まで証明します。一部の局所配置はコンピュータで有限個を検証しています。
どこまで分かった？
対象は指定された三つの二重数列です。非k-自動性はすべての整数k ≥ 2についての結論ですが、一般の再帰的二次元数列全体を分類した結果ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
色分けした図が有限順序数の構成を鏡映した形で符号化する、三つの再帰的な二重数列を研究する。二つの数列は3文字を使い、初期記号が二つおよび三つの場合の変種を実現する。4文字の数列は、一つの初期記号からフォン・ノイマンの構成を実現する。 各数列についてセルを明示的に記述し、長方形が順序立って入れ子になる構造を特定する。4文字の場合には通常の箱と仮想的な箱を区別し、それらの組み立て規則を証明する。証明は反対角線に沿った帰納法で進める。初期記号が一つおよび三つの構成では、漸化式を局所的な配置の有限集合へ帰着し、その集合をコンピュータで検証する。 入れ子の箱の個数について、算術的な項による表現を含む公式を導出する。また、三つの数列のいずれも、任意の整数k ≥ 2に対してk-自動的ではないことを証明する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study three recurrent double sequences whose colored diagrams encode mirrored versions of the finite-ordinal construction. Two sequences use three letters and realize variants with two and three initial symbols. A four-letter sequence realizes the von Neumann construction from one initial symbol. For each sequence we describe its cells explicitly and identify the ordered nesting of its rectangles. For four letters, we distinguish ordinary and virtual boxes and prove their assembly rules. The proofs proceed by induction along antidiagonals. For the constructions with one and three initial symbols, we reduce the recurrence to finite sets of local configurations and verify those sets by computer. We derive formulas for the numbers of nested boxes, including arithmetic-term representations, and we prove that none of the three sequences is $k$-automatic for any integer $k \geq 2$.
著者のコメント
51 pages, 6 figures
arXiv ID: 2610.01753 ／ 要約の誤りについて