How many points has an affine algebraic set in residue classes modulo n ?

技術的要約：「剰余類 $n$ を法とするアフィン代数集合の点はいくつ存在するか？」

問題提起
本論文は、整数環 $\mathbb{Z}/n\mathbb{Z}$ 上で定義されるアフィン代数集合の正確な濃度（要素数）を決定する問題に取り組んでいる。具体的には、整数係数とパラメータ $\vec{\lambda} \in \mathbb{Z}^s$ を持つ多項式系の与えられたとき、$(\mathbb{Z}/n\mathbb{Z})^m$ における解の数を求めることが目的である。著者は、この式の構成を、基本的な算術演算（加算、減算、乗算、剰余を伴う除算、および整数冪乗）の固定された有限な合成として定義される**算術項（arithmetic term）**として構築することに焦点を当てている。

手法
このアプローチは、カルマーの初等関数（iterated exponential time で計算可能な非負整数の列として知られる）の理論に基づいている。その手法は、以下の論理的ステップを通じて進行する：

1. 算術項と初等関数： 本論文は、カルマー初等関数が算術項として表現できることを確立した Mazzanti および Marchenkov の結果を利用している。これらの項には、$x \dot{-} y$（算術的差）、$\lfloor x/y \rfloor$、および冪乗などの演算が含まれる。
2. ハミング重量による零点の計数： $f(\vec{x}) = 0$ の解の数を数える問題を、特定の大きな整数 $M$ のハミング重量（バイナリ表現における 1 の数）を計算する問題へと変換する手法を用いている。
   • ドメイン $[0, t-1]^k$ 上の関数 $f$ が $2^w$ で抑えられる場合、著者は $M = \sum 2^{2^w v(\vec{a})} \delta(f(\vec{a}), w)$ という和を構成する。ここで $\delta$ は特定の算術項である。
   • $M$ のハミング重量は、関数の零点の数 $d$ と線形に関係しており、これにより $d$ を算術演算によって抽出することが可能となる。
3. 非負ディオファントス方程式への変換： $\mathbb{Z}/n\mathbb{Z}$ 上の多項式方程式に計数法を適用するため、著者らは多項式系 $F_i(\vec{\lambda}, \vec{x}) = 0$ を、自然数 $\mathbb{N}$ 上の単一の非負ディオファントス方程式 $G(\vec{\lambda}, n, \vec{x}, \vec{y}, \vec{z}) = 0$ へと変換する。
   • これは、係数やパラメータを $n$ を法とする剰余（項 $c \pmod n$ を使用）に置き換えることで達成される。
   • 方程式は平方和として構成される：$\sum (G_i^2 - n^2 y_i^2)^2 + \sum (x_j + z_j - n + 1)^2 = 0$。
   • この変換により、$\mathbb{N}$ における解が $(\mathbb{Z}/n\mathbb{Z})^m$ における解と一対一で対応することが保証される。
4. 探索空間の限定： 著者は、変数およびディオファントス方程式の値を制限する算術項 $t(n)$ および $w(n)$ の存在を証明している。これにより、探索空間は有限な超立方体 $[0, t(n)]^k$ となり、関数の値は $2^{w(n)}$ 未満となるため、ハミング重量計数の手法の前提条件を満たす。
5. 一般化された等比級数： 超立方体上の総和は、一般化された等比級数 $G_r(q, t) = \sum_{j=0}^t j^r q^j$ を用いて実行される。本論文は、これらの級数が算術項によって計算可能であることを指摘しており、これにより最終的な総和を閉形式の算術項として表現できる。

主要な貢献と結果

• 一般定理 (Theorem 3.1)： 整数パラメータ $\vec{\lambda}$ を持つ多項式方程式によって定義されるあらゆるアフィン代数集合の族に対して、$\mathbb{Z}/n\mathbb{Z}$ 上の集合内の点数を正確に計算する算術項 $f(\vec{\lambda}, n)$ が存在することを証明している。
• 楕円曲線 (Theorem 4.1)： 著者は、短Weierstraß標準形（$x_2^2 = x_1^3 + Ax_1 + B$）の楕円曲線に対してこのような公式を明示的に構成している。彼らは具体的な境界として $t(n) = (n+1)^2$ および $w(n) = n + 90$ を導出し、結果として得られる算術項 $f(A, B, n)$ の構造を記述している。
  • この項は、構成された整数 $M(A, B, n)$（1つの自由項と50個の単項式寄与からなる計51個のサブ項の和）のハミング重量を含む。
  • この構成は、$G_{12}$ までの一般化された等比級数を利用している。

意義と主張
本論文の意義は、主に実用性ではなく、これらの公式の理論的な存在にあると主張されている。

• 閉形式の存在： 本研究は、$\mathbb{Z}/n\mathbb{Z}$ 上の代数集合の濃度が、単に計算可能であるだけでなく、初等的な算術演算の固定された有限な合成として表現可能であることを示している。
• 実用性に関する謙抑： 著者は、「これらの公式は複雑すぎて実用には適さない」と明言している。彼らは、これらの公式を暗号理論や数論アルゴリズムへの即時実装のために提案しているわけではない。
• 未解決の問い： 論文は、これらの項の存在は証明されているものの、その複雑さは高く、より単純な同等の公式がどのようなものであるかは不明なままであることを認めている。

要約すると、本論文は、点計数関数が算術項のクラスに属することを構成的に証明しており、初等関数に関する先行研究を、剰余環上の代数幾何学という特定の領域へと拡張している。