Home
自動微分における特異点近傍の数値安定化:逆余弦関数を含む合成関数の勾配計算とテイラー展開による回避策
PyTorchを用いた検証コードの実証結果に基づき、解析的にはロピタルの定理により有限値となる特異点において、浮動小数点演算が「NaN (非数)」を引き起こすメカニズムを詳述する。特に、単純な数値的摂動(オフセット)では回避できない計算グラフ上の破綻と、テイラー展開による近似手法の有効性について論じる。
1993 words
|
10 minutes
密度汎関数理論における交換相関汎関数の系統的最適化:B97汎関数の数学的構造と有限級数展開による拡張性
Axel D. Beckeによる1997年の論文 (J. Chem. Phys. 107, 8554) に基づき、B97汎関数の設計思想とその数学的定式化について詳述する。特に、勾配補正項の有限級数展開(冪級数展開)を用いた系統的な最適化手法、半無限区間の有限変数への写像、およびG2テストセットを用いたパラメータ決定プロセスに焦点を当てる。また、この手法が示唆するGGA/正確交換混合形式の精度の限界と、物理的妥当性と過剰適合(オーバーフィッティング)の境界に関する考察を行う。
8749 words
|
44 minutes
デカルト座標系における角度ポテンシャル勾配の特異点除去:数値的正則化手法の数理的導出と実装
分子動力学および構造最適化計算において、3点間角度ポテンシャルの評価時に発生する特異点(ゼロ除算および桁落ち)の問題を数学的に解析し、テイラー展開を用いた正則化手法(Regularization)を詳細に論じる。Szabo-OstlundのBoys関数処理との類似性、誤差解析、およびPythonによる参照実装を含め、学術的・技術的観点から包括的に解説する。
6831 words
|
34 minutes
環境の凍結と永続化:DockerとGitHubを用いた大規模アーティファクトの保存手法
開発物の動作の再現性を担保するため、Dockerによる環境の完全凍結、Linux標準ツールによる巨大バイナリの分割管理、およびGitHub CLIを用いた永続的ストレージへの配置までの一連のワークフローを解説する。特に、依存関係の厳密な固定手法と、クラウドベンダーに依存しないプリミティブなツールチェーン(tar, split, gzip)の堅牢性について詳述する。
1911 words
|
10 minutes
有理関数最適化法(RFO)の系譜と革新:P-RFOによる空間分割からRS-I-RFOによる統一的解法まで
ポテンシャルエネルギー曲面上の遷移状態探索において標準的に用いられる有理関数最適化法(RFO)と、その改良版である分割RFO(P-RFO)、およびステップ制限を厳密化したRS-RFO/RS-I-RFOについて、その数理的構造とアルゴリズムの進化を包括的に解説する。特に、空間分割の有無が収束性に与える影響と、像関数(Image Function)を用いた統一的アプローチの優位性に焦点を当てる。
2812 words
|
14 minutes