[論文レビュー] Additive number theory and the ring of quantum integers

Melvyn B. Nathanson|ArXiv.org|Mar 31, 2002

Advanced Mathematical Identities被引用数 6

ひとこと要約

本稿では、加法的数論にインspiredされた多項式演算を用いて、量子整数の環を導入する。量子加法と量子乗法を定義し、[m]_q ⊕_q [n]_q = [m+n]_q および [m]_q ⊗_q [n]_q = [mn]_q となるようにする。標準的な量子整数が、加法的および乗法的関数方程式の両方の非自明な唯一の解であることを証明し、母関数と集合の分解を通じて、量子算術と古典的加法的組合せ論を結びつける。

ABSTRACT

Let $m$ and $n$ be positive integers. For the quantum integer $[n]_q = 1 + q + ... + q^{n-1}$ there is a natural polynomial addition such that $[m]_q \oplus_q [n]_q = [m+n]_q$ and a natural polynomial multiplication such that $[m]_q \otimes_q [n]_q = [mn]_q$. These constructions lead to the construction of the ring of quantum integers and the field of quantum rational numbers. It is also shown that addition and multiplication of quantum integers are equivalent to elementary decompositions of intervals of integers in additive number theory.

研究の動機と目的

• 量子整数 [n]_q に対する多項式演算を用いて、『量子整数の環』と呼ばれる一貫性のある代数的構造を定義すること。
• 量子加法と量子乗法が、加法的数論における整数区間の基本的分解に対応することを確立すること。
• 標準的な量子整数 [n]_q が、加法的および乗法的関数方程式の両方の非自明な唯一の解であることを証明すること。
• 量子整数の環構造を整数に限らず任意の環へ一般化し、量子有理数へ枠組みを拡張すること。

提案手法

• 量子整数を [x]_q = (1 - q^x)/(1 - q) として定義し、負の値および有理数 x へ拡張する。
• 量子加法を [x]_q ⊕_q [y]_q = [x]_q + q^x [y]_q として定義し、[x+y]_q を得る。
• 量子乗法を [x]_q ⊗_q [y]_q = [x]_q [y]_{q^x} として定義し、[xy]_q を得る。
• 集合論的演算（和集合、スケーリング、平行移動）を代数的恒等式に翻訳するため、F_A(q) = ∑_{a∈A} q^a を母関数として用いる。
• 加法的関数方程式 f_{m+n}(q) = f_m(q) + q^m f_n(q) の解が、任意の関数 h(q) に対して f_n(q) = h(q)[n]_q として一般に得られることを証明する。
• 加法的および乗法的関数方程式の両方に満たす唯一の解は f_n(q) ≡ 0 または f_n(q) = [n]_q であることを示し、標準的な量子整数の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 量子整数に [x]_q ⊕_q [y]_q = [x+y]_q および [x]_q ⊗_q [y]_q = [xy]_q で定義される多項式加法と乗法を導入したとき、どのような代数的構造が生じるか？
• RQ2 これらの量子演算は、加法的数論における古典的分解（区間分割、和集合分解など）とどのように関係するか？
• RQ3 量子整数を支配する加法的および乗法的関数方程式の完全な解は何か？
• RQ4 標準的な量子整数列 [n]_q は、関数方程式の両方の非自明な唯一の解か？
• RQ5 量子整数の環構造は、整数に限らず任意の環へ一般化可能か？

主な発見

• 集合 [Z]_q = {[n]_q : n ∈ Z} は、量子加法と量子乗法に関して可換な環をなしており、写像 n ↦ [n]_q は環同型である。
• 量子有理数の体 [Q]_q は、[m/n]_q = [m]_{q^{1/n}} / [n]_{q^{1/n}} として明確に定義可能である。
• 加法的関数方程式 f_{m+n}(q) = f_m(q) + q^m f_n(q) の一般解は、任意の関数 h(q) に対して f_n(q) = h(q)[n]_q であり、多項式解を得るには h(q) が多項式でなければならない。
• 乗法的関数方程式 f_{mn}(q) = f_m(q) f_n(q^m) は、f_1(q) = 0 または f_1(q) = 1 を意味し、加法的方程式と併せると、f_n(q) ≡ 0 または f_n(q) = [n]_q を強制する。
• 整数集合 A の母関数 F_A(q) は、集合演算を代数的恒等式に翻訳する：F_{A⊕B}(q) = F_A(q)F_B(q)、F_{m+A}(q) = q^m F_A(q)、F_{m*A}(q) = F_A(q^m)。
• 区間分解 [m+n] = [m] ∪ (m + [n]) および [mn] = [m] ⊕ m*([n]) は、母関数を介して、量子加法および量子乗法の恒等式と正確に一致する。