多変数多項式の絶対既約半径の改善について

摘要

‖f-f‖2＜B（f）かつdeg（f）≦deg（f）を満たす全ての二変数多項式i∈Ctxl，X2］が絶対既約であるような数値β（／）∈R，0を，二変数多項式／∈C[∫1，∫2]の絶対既約半径という．絶対既約半径は，KaltofenとMayの方法[3]やその改良版［7］などで計算することができ，数値的な近似因数分解を補間する演算と捉えることも可能である．なお，多変数多項式の絶対既約半径についても同様に定義され，計算することが可能である［4，5，3］．