[論文レビュー] Primes in quadratic fields

Theodorus J. Dekker|arXiv (Cornell University)|Jan 28, 2010

Cryptography and Residue Arithmetic参考文献 5被引用数 4

ひとこと要約

本稿では、任意の二次体の整数環における素イデアルの二次体の性質に基づく篩法を用いて、二次体の性質およびノルムを効率的に計算するアルゴリズムを提示する。これにより、幾何的平面モデルにおける主素イデアルとしての素数の可視化が可能になり、有界領域内での分布パターンが明らかになる。

ABSTRACT

This paper presents algorithms for calculating the quadratic character and the norms of prime ideals in the ring of integers of any quadratic field. The norms of prime ideals are obtained by means of a sieve algorithm using the quadratic character for the field considered. A quadratic field, and its ring of integers, can be represented naturally in a plane. Using such a representation, the prime numbers - which generate the principal prime ideals in the ring - are displayed in a given bounded region of the plane.

研究の動機と目的

• 任意の二次体における要素の二次体の性質を決定する実用的なアルゴリズムの開発。
• 二次体の整数環における素イデアルのノルムを、篩に基づくアプローチで計算すること。
• 整数環の平面モデルにおける主素イデアルとしての素数の幾何的表現を提供すること。
• 理論的および計算的分析のため、平面の有界領域における素イデアル分布の可視化を可能にすること。
• 計算数論を支援するため、任意の二次体における素イデアルの加法的演算を実装可能な効率的手段を提供すること。

提案手法

• 本稿では、体の二次体の性質を活用して、素イデアルの特定とノルム計算を実行する篩アルゴリズムを採用する。
• 要素を素イデアルを法として分類するために、クロネッカー記号またはライアンドレ記号を二次体の性質関数として用いる。
• 二次体の整数環は、代数的整数が格子点として表現される2次元平面に埋め込まれる。
• 主素イデアルを生成する素要素は、この平面の有界領域にプロットされ、その分布を可視化する。
• 数論的篩法と幾何的レンダリングを組み合わせることで、素イデアルを体系的に特定・分類する。
• アルゴリズムは計算的に効率的であり、実数的または虚数的二次体を問わず、任意の二次体に適用可能である。

実験結果

リサーチクエスチョン

• RQ1 アルゴリズム的用途のため、二次体における要素の二次体の性質をどのように効率的に計算できるか。
• RQ2 二次体の整数環における素イデアルのノルムを計算する有効な篩に基づく方法は何か。
• RQ3 二次体における素イデアルの代数的構造を平面にどのように幾何的に表現できるか。
• RQ4 主素イデアルが平面の有界領域内の点として可視化された際、どのようなパターンが現れるか。
• RQ5 任意の二次体における素イデアルの加法的演算を統合的に扱う計算フレームワークを構築できるか。

主な発見

• 本稿では、二次体の性質を用いた篩アルゴリズムを成功裏に実装し、ノルムの計算を通じて素イデアルの体系的特定を可能にした。
• この手法により、主素イデアルを生成する素数——特にそれらを対象とした——が、平面の有界領域内の離散的点として可視化できるようになった。
• 幾何的表現により、代数的整数の格子内における素イデアルの構造的分布が明らかになり、配置に背後に隠れた秩序が示唆された。
• アルゴリズムは一般化されており、判別式に制限なく、実二次体または虚二次体を問わず適用可能である。
• 本アプローチにより、素イデアル分布の探索が計算的に実行可能となり、さらなる理論的および計算的考察を支援する。
• 本研究は代数的数論と幾何的可視化の橋渡しを果たし、二次体における研究に新たなツールを提供した。