難しい不定積分50問に対する記号積分法の評価
Parallel Integration over Simple Radical Extensions in Mixed Towers: Charlwood's Integrals
この論文をやさしく読む
ひとことで言うと
難しい不定積分50問で、SymPyによる記号積分法の正確さと速度を調べた。
何に役立つ？
記号積分ソフトの実装や、解の検証、速度改善の対象を考える際に役立つ。
この研究の面白いところ
49問は微分で検証した正解を返し誤答はなかった。FriCASより遅いが、比較したAXIOMでは3件の誤答があった。
どこまで分かった？
残る1問の初等関数では表せないという証明には、種数3の曲線に関する未検証の完全性仮説が関わる。SymPy実装は未調整で、FriCASより中央値で6倍遅い。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Charlwoodが2008年にまとめた難しい不定積分50問を用い、並列Risch–Norman法をSymPyに実装したものを評価する。このシステムは被積分関数の拡大体の塔を自動的に構成し、微分によって答えを検証する。50問中49問で正しく検証済みの積分結果を返し、誤答はなかった。唯一解けなかった積分∫arcsin(x√(1−x²))dxについては、正則関数の剰余に基づく証明書で初等関数による表示が不可能であることを証明した。ただし、種数3の曲線に関する完全性の仮説が未検証という制限がある。第II部で示す次数の上界は、古典的な未定係数法で必要な式の大きさを3分の2削減し、実行時間には影響しなかった。論文は、S単数、ペル方程式に関わる単数、拡大体の塔の座標での留数計算など、アルゴリズム上の仕組みを詳述する。成熟した実装と比べ、この調整前のSymPy試作版はFriCASより遅く、積分問題の実行時間の中央値では6倍かかった。一方、3件の誤答を返したAXIOMより正確だった。性能分析は、非線形なノルム探索と入れ子になった数体をボトルネックとして特定し、最適化の対象を示した。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We evaluate a SymPy implementation of the parallel Risch-Norman method using Charlwood's 2008 suite of 50 challenging indefinite integrals. The system automatically builds integrand towers, verifies answers by differentiation, and returns correct, verified integrals for 49 problems with zero errors. The single failure, $\int\arcsin(x\sqrt{1-x^2})\,dx$, is proven non-elementary using a holomorphic-remainder certificate, though limited by an unverified completeness hypothesis on a genus-three curve. Part II's degree bounds successfully reduce classical ansatz sizes by two-thirds without impacting running time. The paper details algorithmic mechanisms like $S'$-units, Pell units, and residue computing in tower coordinates. Compared to mature implementations, this untuned SymPy prototype is slower than FriCAS (by a factor of six on the median integral) but more accurate than AXIOM (which returned three wrong answers). Profiling pinpoints performance bottlenecks in nonlinear norm searches and nested number fields, outlining clear targets for optimisation.
arXiv ID: 2609.25616 ／ 要約の誤りについて