arXiv雑要約
数値解析 - 2026/03/24 公開
単方向複合テープの表面特性評価と密着接触モデリングのための粗さ記述子のデータ駆動型発見 [cs.LG, cs.NA, math.NA]目的：単方向複合テープの表面粗さ記述子
- 複合材料構造物の製造において，テープ間の強固な結合が重要であり，そのためには密着接触度の進化を理解する必要がある。
- 従来の表面粗さの記述子は表面形状を表現できるが，テープ間接着の物理現象との関連性が不明確である。
- プロセス制御と接着モデリングの両立に資する，適切な粗さ記述子を特定することを目的とする。
- Rank Reduction Autoencoders (RRAEs) を用いた新規な戦略を提案し，粗さ記述子の抽出をデータ駆動的に行った。
- 潜在SVDモードを制約することで，復元された粗さを正確に表現し，分類やモデリング特性などの既存の知識を抽出した。
- 抽出された記述子が，テープの分類と密着接触度の進化モデリングに有効であることを示した。
ホークアイ：GPUレベルの非決定性の再現 [cs.CR, cs.AR, cs.LG, cs.NA, math.NA]目的：GPUレベルの算術演算の分析と再現
- 機械学習の普及に伴い，計算の信頼性確保が重要課題となっている。
- 既存手法は，計算コストが高いか，再現性が低いという問題があった。
- GPUで行われた行列演算をCPUで正確に再現し，検証可能性を高める。
- ホークアイは，NVIDIA GPUで行われた行列演算をCPUで完全に再現できることを示した。
- 本研究により，機械学習モデルの訓練と推論の効率的かつ信頼性の高い第三者監査が可能になる。
- 様々なNVIDIA GPUアーキテクチャおよび精度タイプで検証された。
確率二分法の収束解析 [cs.CE, cs.NI, math.NA, cs.NA, math.PR]目的：確率二分法の収束率
- 数値計算において，根の探索は重要な課題であり，効率的な手法が求められている。
- 二分法は確実だが，収束が遅い場合があり，より高速な探索法の開発が望まれている。
- 任意の分布に従う切断点を用いた二分法の収束性を解析し，その特性を明らかにすること。
- 確率二分法において，切断点の期待値 $\mathbb{E}[c(1-c)]$ のみに収束率が依存することが示された。
- K個の確率切断点を用いた一般化手法についても収束特性が解析された。
- 理論的結果は統計シミュレーションによって検証され，その有効性が確認された。
クライロフ部分空間固有値ソルバーへの加速の適用 [math.NA, cs.NA]目的：クライロフ部分空間固有値ソルバーの加速手法
- 大規模固有値問題の効率的解法は，科学技術計算において重要である。
- 既存手法では，固有値の収束が遅い場合や，計算コストが高い場合がある。
- 最小固有値の効率的な計算と，複数固有値の収束性向上を目指す。
- ネステロフ加速勾配降下法とPolyakのヘビーボール法を適用し，クライロフ部分空間法を加速した。
- 固定およびセーフガード付き適応的モーメンタムパラメータを用いた実験で，LOBPCGと比較して少ない反復回数で収束した。
- Polyakのヘビーボール法の加速効果をパラメータ範囲の妥当性とともに説明した。
多面体メッシュに対する仮想要素法の座屈固有値問題に関する事後解析 [cs.DL, math.NA, cs.NA]目的：座屈固有値問題に対する，$C^1$仮想要素法 (VEM) の事後誤差評価手法
- 工学設計において，構造物の座屈解析は安全性確保に不可欠である。
- 複雑な形状の構造物に対するメッシュ生成が困難であり，精度評価が難しい。
- 多面体メッシュ上で適用可能な，信頼性の高い誤差評価手法を開発する。
- 本研究で提案する残差に基づく事後誤差評価手法は，2次元および3次元において，非線形平面応力効果を組み込むことが可能である。
- 提案手法の信頼性は，多項式射影，安定化項，補間評価を用いた残差方程式の境界を通じて厳密に保証されている。
- 数値実験の結果，本評価手法は最適な精度とロバスト性を示し，複雑な板構造の予測分析への応用が期待される。
波動作用素を持つ非線形シュレーディンガー方程式に対する局所直交分解による最適収束率 [cs.SI, math.NA, cs.NA, physics.comp-ph]目的：波動作用素を持つ2次元時間依存非線形シュレーディンガー方程式の数値解法
- 量子力学や光学など，多くの物理現象を記述する上で重要な非線形シュレーディンガー方程式の精度ある数値計算が求められる。
- 既存の数値解法では，時間ステップサイズに制約が生じたり，十分な精度が得られない場合がある。
- 局所直交分解法を用いることで，時間ステップサイズの制約なく，最適な収束率を達成する。
- 提案手法は保存則を維持し，一意の数値解を持つことが証明された。
- 無条件に，最適なオーダーの超収束するLp誤差評価を得ることができた。
- 数値シミュレーションの結果は，理論解析を検証し，問題の構造的側面をさらに明らかにした。
残差再結合法としてのアンダーソン型加速：BoostConv の代数的解釈 [math.NA, cs.NA]目的：非線形反復過程の加速手法であるBoostConvの代数的解釈
- 複雑な非線形問題の求解は重要であり，収束速度向上や不安定な固定点の計算が求められる。
- 既存手法では収束が遅いか，不安定な固定点に到達できない場合がある。
- BoostConvの理論的性質を明確にし，収束条件を確立することで，より安定した求解を目指す。
- 本研究により，BoostConvアルゴリズムのより堅牢な定式化と，その収束性の厳密な証明が提供された。
- BoostConvが非線形収束加速器として解釈され，固定点への収束が保証される十分条件が示された。
- 線形問題から大規模ナビエ・ストークスシミュレーションまで，様々な数値例でBoostConvの有効性と実用性が確認された。
圧縮性Navier-Stokes-Fourier系の弱解への有限体積法の収束 [math.NA, cs.NA]目的：圧縮性Navier-Stokes-Fourier系の弱解に対する有限体積法の収束性
- 流体シミュレーションは，工学における様々な現象の理解と予測に不可欠である。
- 弱解の存在と一意性は，複雑な流体現象を扱う上で長年の課題であった。
- 本研究は，有限体積法による数値解の弱解への収束性を示すことで，この課題に貢献する。
- 本研究では，ディリクレ境界条件を持つ圧縮性Navier-Stokes-Fourier系に対して，風上型の有限体積法が弱解に強く収束することを証明した。
- 得られた弱解は，質量保存則と運動量保存則，エントロピー不等式，および弾道エネルギー不等式の弱形式を満たし，弱強一意性の原理に適合する。
- 収束証明は，繊細な整合性評価と連続方程式の再正規化による数値密度の振動解析を組み合わせることで行われた。
時間発展型自然勾配法における緩和と射影技術による保存則の維持 [math.NA, cs.NA]目的：偏微分方程式の保存則の維持
- 物理現象のシミュレーションにおいて，エネルギーや質量の保存則は重要な制約条件である。
- 時間発展型自然勾配法では，保存則を維持することが課題となっていた。
- 時間発展型自然勾配法の学習ターゲットとパラメータ更新を調整し，保存則を厳密に守ることを目指す。
- 提案手法は，緩和アルゴリズムにより，学習ターゲットが元のシステムの不変量を保持するようにする。
- また，射影技術を用いて，更新されたネットワークパラメータを不変多様体へ写像し，保存則を厳密に遵守する。
- 数値実験により，提案手法が保存特性を大幅に改善しつつ，高い精度を維持することが示された。
分数確率微分方程式に対するMittag-Leffler Euler法の漸近誤差分布 [math.NA, cs.NA, math.PR]目的：多次元分数確率微分方程式に対するMittag-Leffler Euler (MLE) 法の正規化誤差の漸近分布
- 金融モデリング等に応用される分数確率微分方程式の数値解法は，その重要性が高まっている。
- 既存の数値解法では，特異カーネルを持つ場合，誤差評価が困難であった。
- 非対角行列値カーネルを持つ分数確率微分方程式に対するMLE法の漸近誤差分布を確立すること。
- 本研究では，特異指数を持つ非対角行列値カーネルを含む確率Volterra方程式に対するMLE法の誤差分布を初めて導出した。
- Jacodの安定収束理論と確率Volterra方程式に対する手法を組み合わせることで，理論的解析の難しさを克服した。
- 補助的な非離散化スキームを導入し，厳密解とMLE法との間のギャップを埋めることに成功した。
非線形楕円系問題の基底状態解を求めるための効率的なネハリ多様体最適化アルゴリズム [math.NA, cs.NA]目的：非線形楕円系問題の基底状態解の計算
- 偏微分方程式の解法は，物理現象のモデル化やシミュレーションにおいて不可欠である。
- 基底状態解は不安定な鞍点であり，従来の最適化手法では計算が困難である。
- ネハリ多様体上の最適化により，不安定な鞍点を安定的に求められるようにする。
- 提案手法であるRAG-Nは，既存のネハリ多様体最適化法(NMOM)と比較して，反復回数を大幅に削減できる。
- RAG-Nは，非線形外挿ステップとリーマン最急降下法を組み合わせることで，効率的な最適化を実現する。
- 2成分，3成分，4成分の非線形楕円系問題に対してRAG-Nを適用し，結合係数や外部ポテンシャルの影響を調査した。
反復内並列化のための多重グリッド時間縮約法 [math.NA, cs.NA, math.OC]目的：最適化問題における反復計算の並列化
- 大規模シミュレーションにおいて，最適化は計算コストのボトルネックとなりやすい。
- 最適化アルゴリズムは，条件数の悪い問題で収束が遅い場合がある。
- 反復計算を並列化し，壁時計時間での求解時間を短縮することを目指す。
- 時間依存微分方程式の並列時間積分アルゴリズムを応用することで，反復計算の並列化を可能にした。
- 多重グリッド時間縮約法（MGRIT）を用いて，凸二次問題と非滑らかな弾性障害問題で有効性を示した。
- MGRITの収束性は，拡散型偏微分方程式における性能と同様に高速であり，理論的予測と一致した。
高くて非常に細長い行列に対するQR分解の最新GPUへの実装 [cs.MS, cs.NA, math.NA]目的：高くて非常に細長い行列のQR（またはQZ）分解の計算
- 大規模データ処理において，数値計算の高速化は不可欠であり，特に行列分解はその重要な要素である。
- 従来の行列分解手法は，高くて細長い行列に対してはメモリ帯域幅がボトルネックとなり，性能が低下する。
- メモリ帯域幅の制限下でも効率的なQR分解を実現し，計算時間を短縮することを目的とする。
- QR分解において，Q因子を書き戻さない「Q-less QR」手法と，GPUの高速なローカルメモリを活用する手法が有効であることが示された。
- 正準方程式に基づく手法（Cholesky-QR2，SVQB）と，ハウスホルダー変換に基づくTSQR手法を比較した結果，TSQRは時間当たりの解法において競争力がある。
- メモリ帯域幅に制限された環境では，専用の手法と実装が必要であり，TSQRは低レベルコードの最適化によって性能が向上する。
空間不均一ボルツマン方程式に対する随伴DSMC法：一般境界条件付き [cs.CG, math.NA, cs.NA, math.OC]目的：空間不均一ボルツマン方程式の数値解法における随伴方程式
- 希薄気体流れのシミュレーションにおいて，高精度な解像度を必要とする場面が多い。
- ボルツマン方程式の直接解法であるDSMC法は計算コストが高く，効率的な最適化が課題である。
- 随伴法を用いることで，DSMC法の計算コストを削減し，効率的な最適化を可能とする。
- 空間不均一ボルツマン方程式に対する随伴方程式を導出し，数値的に検証した。
- 周期境界，鏡面反射，熱反射など，多様な境界条件に対応できる随伴系を構築した。
- 本研究で開発された随伴系は，希薄気体流れにおける勾配ベース最適化や感度解析への応用が期待される。
ALL-FEM：有限要素法のための大規模言語モデルのファインチューニング [cs.CE, cs.AI, cs.LG, cs.MS, cs.NA, math.NA]目的：有限要素法シミュレーションの自動化
- 製造物の設計・検証に不可欠であり，工学シミュレーションの中核技術である。
- 数値解析，連続体力学，プログラミングの専門知識が必要であり，習得が困難である。
- 大規模言語モデルとエージェント技術を統合し，有限要素法ワークフローを自動化する。
- ファインチューニングされた大規模言語モデル (GPT OSS 120B) は，39のベンチマークにおいて71.79%のコードレベル成功率を達成した。
- エージェントフレームワークを活用することで，従来の非エージェント型モデル (GPT 5 Thinking) を上回る性能を示した。
- 比較的小規模なファインチューニングされたLLMでも，有限要素法ワークフローの自動化が可能であることが示された。
流体-多孔弾性構造連成問題に対する陽解法分割スキームのエラー解析 [math.NA, cs.NA, math-ph, math.MP]目的：流体-多孔弾性構造連成問題における陽解法分割スキームの誤差評価
- 地盤やエネルギー開発など，工学分野で流体と固体構造物の相互作用を扱う問題は重要である。
- 陽解法は計算コストが低いが，時間刻み幅の制約や安定性に関する問題が存在する。
- 陽解法分割スキームの誤差評価を行い，その精度と安定性を理論的に保証することを目指す。
- 本研究では，離散エネルギー枠組みに基づき，誤差エネルギー恒等式の導出に成功した。
- 時間離散化残差と遅延インターフェースデータに起因する誤差項を解析し，無条件誤差評価を得た。
- 時間方向の1次精度と，有限要素多項式の次数に応じた空間収束率が確認された。
相対論的荷電粒子力学に対する陽解法対称指数積分法とその誤差評価 [math.NA, cs.NA]目的：相対論的荷電粒子力学の数値解法
- プラズマ物理や加速器物理など，高エネルギー物理現象のシミュレーションに不可欠な研究分野である。
- 長期的なシミュレーションにおいて，エネルギー保存則などの物理量を正確に保つことが困難である。
- 陽解法による安定かつ高精度の数値積分法を開発し，長期的なシミュレーションを可能とすること。
- 陽解法対称指数積分法が，無条件安定性と2次収束性を持つことが理論的に証明された。
- 数値実験により，その高い精度，効率性，および長期的なハミルトニアン保存性が確認された。
- 4次元時空における運動方程式の再構成と，線形部と非線形部の分離が，本手法の鍵となる。
タッカーテンソルトレインテイラー級数 [math.NA, cs.NA]目的：共変量事前条件付き高次元写像のテイラー級数代替モデルの構築
- 高次元問題を効率的に解決するため，モデルの近似手法は重要である。
- 非線形方程式の解に依存する写像の導関数テンソルは巨大で扱い困難である。
- 巨大な導関数テンソルを効率的に近似し，高次元写像のモデル化を可能とする。
- タッカーテンソルトレインテイラー級数(T4S)モデルを用いて，導関数テンソルを近似することで計算量を削減した。
- T4Sモデルは，リーマン多様体上の最適化とランク継続スキームによって構築された。
- 提案手法の有効性は理論的に正当化され，数値実験によっても確認された。
非線形拡散凝集・断片化方程式の逆初期値問題に対する大域的収束カルマン・ピカール法 [math.NA, cs.NA, math.OC]目的：非線形拡散凝集・断片化方程式における未知の初期粒子径分布の復元
- 粒子径分布は，大気汚染物質やコロイドなどの様々な現象を理解する上で重要である。
- 時間依存境界観測のみから初期条件を決定する逆問題は，不安定で解が一意に定まらない場合がある。
- カルマン推定とピカール反復を用いることで，初期推測なしに安定した復元を実現すること。
- 提案手法は，時間減退とカルマン重み，およびカルマン推定により大域的収束を保証する。
- 数値実験の結果，ノイズを含む境界データに対しても，正確かつ安定した初期密度復元が可能であることが示された。
- 本研究は，逆問題における完全な復元手順を確立し，応用範囲を広げる貢献をする。
GasNiTROM：傾斜投影演算子と安定な潜在空間ダイナミクスの非侵入的最適化によるモデル次数削減 [cs.NI, eess.SP, math.NA, cs.NA]目的：非侵入的最適化によるモデル次数削減手法の開発
- 複雑なシステムのシミュレーションには，計算コストが高い場合が多く，効率的な近似手法が求められている。
- 既存の非侵入的モデルは，大きな過渡現象や平衡状態からの逸脱において，予測精度や安定性に問題がある。
- 感度メカニズムを捉えた傾斜投影演算子と，安定な潜在空間ダイナミクスを同時に実現することで，予測精度と安定性を向上させる。
- 提案手法は，高精度な訓練データに対して， Lyapunovベースのパラメータ化と行列多様体パラメータ化を適用し，モデルを適合させる。
- 目的関数の勾配は，潜在空間における随伴ベースの逆伝播を用いて閉形式で記述できるため，自動微分は不要である。
- 3次元常微分方程式系と2次元蓋付きキャビティ流れ（Re=8300）における実験で，提案手法は高い予測精度と安定性を示すことが確認された。
ランダム化による(H-)タッカー分解の実用的なモード並列実装 [math.NA, cs.NA]目的：高次元テンソルに対するタッカー分解およびH-タッカー分解の高速化
- 多次元データ解析において，テンソルはコンパクトかつ情報豊かな表現手段として重要性が増している。
- 高次元テンソル分解は計算コストとメモリ使用量が膨大であり，実用上の課題となっている。
- モード並列化により，テンソル分解の計算効率とストレージ要件を改善することを目指す。
- 提案手法は，ファイバーサンプリングやランダム化された範囲探索などの最新のランダム化技術を活用している。
- 理論的な誤差の上限を導出し，数値実験によって提案手法の有効性を示した。
- HPC環境での実験により，モード並列アプローチの優れたスケーラビリティが確認された。
1次元楕円型界面問題に対する高次収束を持つウェーブレットに基づくガルエルキン法 [math.NA, cs.NA]目的：1次元楕円型界面問題の数値解法
- 工学・科学における境界値問題の解析は，現象の正確なモデリングに不可欠である。
- 界面を持つ問題では，解の滑らかさが界面で途切れ，高精度な数値解が困難となる。
- ウェーブレット法を用いることで，界面近傍の特異性を捉え，高次収束を実現することを目指す。
- 提案されたガルエルキン法は，局所支持な双直交ウェーブレット基底を用いて，最適な収束率を達成する。
- H^1ノルムにおける収束率はm-1次，L^2ノルムではm次となり，近似次数mに依存して高精度化する。
- 本研究は，高次元問題に対する既存の研究と対比することで，1次元問題におけるウェーブレット法の有効性を示す。
非線形保存則に対する二重ペアリング和分法による局所線形安定性 [cs.CL, math.NA, cs.NA, physics.flu-dyn]目的：非線形保存則に対する，最近開発された高精度二重ペアリングSBP法の局所エネルギー安定性の検証
- 非線形保存則の数値シミュレーションの精度向上には，エネルギー安定性が重要である。
- 高精度な数値方法が，エントロピー安定性と局所エネルギー安定性を両立できるかは未解決である。
- エントロピー安定性と局所エネルギー安定性を両立する数値方法を設計すること。
- 本研究では，これらの方法に内在するエントロピー安定なボリュームアップウィンドフィルタが局所エネルギー安定性を保証することを示した。
- この手法は，エントロピー安定性と局所エネルギー安定性を証明可能な高精度な非線形保存則の数値方法を設計するための新しい戦略を提供する。
- 数値実験により，本手法が乱流スケールを解決する効率性を示すとともに，理論的結果を裏付けた。
支持された板における逆双調和散乱問題に対するサンプリング手法 [eess.SY, cs.SY, math.NA, cs.NA, math-ph, math.AP, math.MP]目的：支持された板における逆双調和散乱問題の定性的解法
- 構造物の非破壊検査や損傷検出において，波動現象の理解と解析は重要である。
- 逆問題では，測定データから対象物の形状や特性を特定することが困難である。
- 遠界パターン計測から，支持された板中の空洞を効率的に特定すること。
- 線形サンプリング法(LSM)と直接サンプリング法(DSM)が，障害物の位置と凸包を堅牢に復元することが示された。
- 特にDSMは，安定性と計算コストの面でLSMを上回る性能を発揮することが確認された。
- ノイズ，データ量の制限，多重散乱，ポアソン比の変動といった条件下でも，これらの手法の有効性が示された。
位相を持たないデータからの散乱体形状同定のための代理ベイジアンアルゴリズム [math.NA, cs.NA]目的：多波入射による散乱体からの遠方場強度データに基づく散乱体形状の再構成
- 音響・電磁波の散乱解析は，非破壊検査や医療診断など，広範な応用分野において重要である。
- 位相情報を持たない強度データのみからの形状再構成は，逆問題としての難易度が高く，効率的な解法が求められている。
- 本研究は，効率的な形状再構成を可能とする代理モデルとベイジアン推論フレームワークを構築し，問題解決を目指す。
- 提案手法では，Helmholtz方程式を組み込んだIPINN（Intensity Property Inspired Neural Network）代理モデルを用いることで，計算速度を大幅に向上させている。
- IPINN代理モデルは観測データに依存せず，単一の入射波で訓練可能であり，汎用性の高さが特徴である。
- 数値実験により，提案アルゴリズムの効率性と有効性が確認された。特に，無限領域における多波入射条件下の形状再構成において有効である。
高階偏微分方程式に対する文脈内演算子ネットワークの一般化限界 [cs.LG, cs.NA, math.NA]目的：高階偏微分方程式に対する文脈内演算子ネットワークの一般化能力の評価
- 偏微分方程式は，物理現象や工学問題を記述する基礎であり，その数値解法は重要である。
- 従来の数値解法は，方程式の次数や境界条件に応じてアルゴリズムを設計する必要がある。
- 文脈内学習を活用することで，様々な偏微分方程式に対して汎用的な解法を確立することを目指す。
- 文脈内演算子ネットワークは，高階偏微分方程式に対しても，ある程度の精度で解を予測できることが示された。
- 特に，解のダイナミクスや全体的な挙動といった定性的な精度は維持されていることが確認された。
- この結果は，モデルが学習データ外の問題に対しても，基本的な解の特性を外挿できる可能性を示唆している。
確率的射影に基づくPINNsを用いた非線形偏微分方程式の安定性と分岐解析：クライロフ・アルノルディ法 [math.NA, cs.LG, cs.NA, math.DS]目的：非線形偏微分方程式の安定性と分岐解析
- 偏微分方程式は自然現象や工学問題を記述する基礎であり，その解析は重要である。
- 高次元問題における安定性・分岐解析は計算コストが高く，効率的な手法が求められている。
- 確率的射影とクライロフ・アルノルディ法を組み合わせ，効率的な安定性・分岐解析を実現する。
- 物理情報に基づいた確率的射影ニューラルネットワーク (PI-RPNN) を用いた数値フレームワークを提案した。
- 行列のランク不足による固有値計算の不安定性を，クライロフ・アルノルディ法によって克服した。
- PI-RPNNに基づく一般化固有値問題がほぼ確実に正則であり，標準的な固有値ソルバーで解けることを示した。
グロス-ピタエフスキー-ポアソンモデルに対する完全に非結合かつ構造保存型緩和クランク-ニコルソン有限要素法 [cs.CG, math.NA, cs.NA]目的：超冷プラズマをモデル化する結合グロス-ピタエフスキー-ポアソン系の数値解法
- 超冷プラズマは，基礎物理学の理解を深める上で重要であり，そのシミュレーションは不可欠である。
- 従来の数値解法では，非線形性の処理が難しく，計算コストが高いという問題点が存在する。
- 構造を保存し，計算効率の良い新しい数値解法を開発することで，シミュレーションの精度と効率を向上させる。
- 提案手法は，質量保存則や離散化されたエネルギー保存則といった物理的保存則を厳密に満たすことが示された。
- 時間方向には2次精度，空間方向には$P^k$有限要素近似に対して最適な$(k+1)$次収束性が理論的に証明された。
- 数値実験により，提案手法の有効性が確認され，複雑な動的振る舞いを正確に捉えることが示された。
パラメータ化された偏微分方程式に対する区分多項式補間および数値積分法 [math.NA, cs.NA]目的：パラメータ化された楕円型偏微分方程式の解のLaguerre一般化区分多項式カオス展開の係数のスパース性
- 不確実性を含む偏微分方程式の数値解法は，工学や科学の様々な分野で重要である。
- 高次元の確率空間における計算コストが課題となっている。
- 確率的入力に対するスパース性を利用し，計算効率の良い解法を開発すること。
- 係数のスパース性が，パラメータ変数に関する半離散近似の収束率を導く。
- スパースグリッド補間や，それらに基づく数値積分法および拡張最小二乗近似法に対して有効である。
- log-Laplace確率入力を持つパラメータ化された楕円型偏微分方程式に適用可能である。
線形行列鉛筆のインデックス検出のための摂動法 [math.NA, cs.NA]目的：線形行列鉛筆のインデックス検出手法
- 数値計算の安定性や精度向上に不可欠であり，様々な工学分野に応用が期待される。
- 行列の構造や特性を正確に把握することが難しく，数値誤差の影響を受けやすい。
- 無限遠における固有値のPuiseux展開の厳密な評価と，摂動された行列の固有ベクトル条件数の期待値を推定する。
- 無限遠における固有値のPuiseux展開に対して，厳密かつ非漸近的な境界が与えられた。
- ランダムに摂動された行列の固有ベクトル条件数の期待値が推定され，線形鉛筆のCayley変換に応用された。
- 理論的結果を検証するための数値シミュレーションが行われ，その有効性が示された。
C¹三次Powell-Sabinスプラインを用いたIsogeometric解析 [math.NA, cs.NA]目的：C¹三次Powell-Sabinスプラインによる境界値問題の数値解法
- 形状設計やシミュレーションにおいて，より高精度な解析が求められている。
- 既存の要素では，複雑な形状や高精度な解析に限界がある。
- C¹連続性を持つスプラインを用いて，より精度の高いシミュレーションを実現する。
- C¹三次Powell-Sabinスプラインは，平面および空間表面領域における境界値問題の数値解法に適していることが示された。
- これらのスプラインは，柔軟な表現力により，表面領域の正確な記述に適した幾何写像を構築可能である。
- Isogeometric解析フレームワークにおいて，Poissonやbiharmonic問題の求解に有効であり，既存の要素に匹敵する性能を示すことが確認された。
相関ノイズを持つ確率遅延微分方程式の数値解法における分割戦略について [math.NA, cs.NA]目的：確率遅延微分方程式の数値解法の誤差評価
- 確率微分方程式は，物理，工学，金融など幅広い分野で現実世界の現象をモデル化する上で不可欠である。
- 確率遅延微分方程式の数値解法は，遅延項の存在とノイズの相関により，高い計算コストと誤差の問題を抱えている。
- 本研究は，相関ノイズを持つ確率遅延微分方程式に対する分割戦略の誤差を評価し，その収束性を明らかにする。
- Lie-Trotter分割法は，ノイズが無相関の場合に平均二乗強収束性を持つことが理論的に示された。
- 相関が0でない場合，Lie-Trotter分割法の収束性は保証されず，誤差は相関の大きさに比例して増加する。
- 数値実験により，Lie-Trotter分割法の収束次数が確認され，相関の絶対値が増加するにつれて誤差が急速に減少することが示された。
最急降下法と解析的組合せ論による多段階有限差分法の長期的振る舞い [cs.HC, math.NA, cs.NA]目的：多段階有限差分法の長期的振る舞いの記述
- 数値計算の安定性・精度向上は科学技術の発展に不可欠である。
- 境界条件によっては，数値解が長期的には不安定になる場合がある。
- 安定・不安定な境界条件における長期的振る舞いを正確に把握すること。
- 最急降下法と解析的組合せ論を用いることで，線形数値計算法の長期的振る舞いを記述できる。
- 特に，悪名高い蛙跳び法を含む様々な数値スキームにおいて有効である。
- 安定および不安定な境界条件に対する解析が可能となる。
物理情報学習における曲線ドメイン境界上のディリクレ，ノイマン，ロビン条件を正確に適用する新規手法 [math.NA, cs.LG, cs.NA, physics.comp-ph]目的：曲線ドメイン境界上のディリクレ，ノイマン，ロビン条件を正確に適用するための手法
- 物理現象のシミュレーションにおいて，境界条件の正確な適用は，計算精度の向上に不可欠である。
- 複雑な形状のドメインにおいて，境界条件を正確に適用することは困難であり，誤差の原因となる。
- 曲線ドメイン境界上の境界条件を正確に適用し，物理情報学習の精度を向上させる。
- 一般的な四角形ドメインと標準ドメイン間の正確な写像を利用し，TFC制約と超越補間を組み合わせた手法を開発した。
- ノイマン境界やロビン境界が交差する場合の適合条件を正確に適用するための構成を詳細に分析・提示した。
- 提案手法は，複雑な形状の二次元ドメインにおいて，境界条件を機械精度で正確に適用できることを数値実験で示した。
非滑らかな正則化項を用いたアンサンブルカルマン反転法 [cs.RO, cs.SY, eess.SY, math.OC, cs.HC, math.NA, cs.NA, math.OC]目的：変分逆問題における，凸かつ非滑らかな正則化項を伴うアンサンブルカルマン反転法の解析
- 逆問題は，医療画像処理や地球科学など，観測データから未知のパラメータを推定する上で重要である。
- 既存のアンサンブルカルマン反転法は，滑らかな目的関数を想定しており，非滑らかな正則化項への対応が課題であった。
- 本研究は，非滑らかな正則化項を安定的に組み込むためのフレームワークを確立し，その理論的・数値的な妥当性を示す。
- 本研究で提案するSEKIは，共分散事前条件付き微分包含を用いたサブグラディエントベースの定式化により，非滑らかな正則化項を組み込む。
- 線形前方モデルにおいて，最大単調作用素理論と吉田近似を用いることで，得られる連続時間粒子系の正当性が示された。
- 数値実験により，SEKIが，CT画像処理やスパース復元において安定かつ原理的に機能することが確認された。
平滑化と予測のためのオペレーター学習 [stat.ML, cs.LG, cs.NA, math.DS, math.NA]目的：平滑化および予測問題に対するデータ駆動型手法の理論的基盤
- 力学系のデータ同化と予測において，機械学習の応用が期待されている。
- データ駆動型手法の理論的解明が遅れており，モデル駆動型手法に劣る。
- データ駆動型アルゴリズムの普遍近似定理を確立し，理論的保証を与える。
- 連続時間設定でニューラルオペレーターアーキテクチャを用い，理論的枠組みを構築した。
- Lorenz 63，Lorenz 96，Kuramoto-Sivashinsky系に対する実験で理論の有効性を示した。
- データ同化と予測におけるデータ駆動型手法の理論的基盤を確立した。
分数次減衰と記憶効果を持つ吊り橋プレートモデルの安定性と吹き出し [math.AP, cs.NA, math.NA]目的：吊り橋プレートモデルにおける安定性と吹き出し現象に関する研究
- 吊り橋の安全性確保は重要であり，構造解析による安定性評価が不可欠である。
- 従来のモデルでは，材料の粘性や記憶効果を正確に捉えきれていない場合がある。
- 分数次減衰と記憶効果を考慮し，吊り橋の安定性と破綻条件を明らかにすること。
- 非線形項を含むプレート方程式に対し，適切なエネルギー空間における解の局所存在性を示した。
- 初期エネルギーが正の場合には，解のグローバル存在性と指数関数的な安定性を確立した。
- 初期エネルギーが負の場合には，解が有限時間で吹き出すことを証明し，閾値現象を明らかにした。
LSCF法の疎な安定度図：直交マッチング追跡による戦略的な極不安定化 [eess.SP, cs.NA, math.NA, physics.app-ph]目的：LSCF法の安定度図における不要な極の除去
- 機械，航空宇宙，土木などの工学分野において，構造物の振動特性把握は重要である。
- 高次多項式を用いるLSCF法では，物理的に意味のない不要な極が発生し，除去が課題となる。
- 直交マッチング追跡を用いて，不要な極を戦略的に不安定化し，安定度図を疎にする。
- 提案手法を有限要素モデルによる矩形板のFRFに適用し，有効性を検証した。
- 実験的に得られた低減衰および高減衰矩形板のFRFにも適用し，同様の効果を確認した。
- 電気自動車用ステータコアのFRFへの適用により，現実的な複雑さにおいても有効性が確認された。
ポリアク-ロヤシェヴィッツ不等式を満たすC^2関数に対するネステロフ加速勾配法の最適な局所線形収束 [math.OC, cs.NA, math.NA]目的：ネステロフ加速勾配法の局所線形収束率の最適性
- 最適化問題の解法効率向上は，機械学習やデータ分析を含む幅広い分野で重要である。
- 既存手法では，局所最適解への収束速度が十分高速でない場合がある。
- ポリアク-ロヤシェヴィッツ不等式を満たす関数に対するネステロフ法の収束率を厳密に評価する。
- ネステロフ加速勾配法は，局所最小値の近傍で最適な局所線形収束率 $\rho=\frac{\sqrt{3L+\mu}-2\sqrt{\mu}}{\sqrt{3L+\mu}}+\varepsilon$ を達成することが示された。
- この解析では，目的関数の$C^2$以外の高次滑らかさや，局所最小値の多様体の幾何学的規則性は必要としない。
- 同様の解析的枠組みにより，連続時間ヘビーボールダイナミクスについても，最適な局所指数収束率$\sqrt{\mu}$が導出された。
カットオフを持つ4次モデルにおける3ループ関数 [hep-th, cs.NA, math.NA]目的：4次元モデルにおける4次相互作用の3ループ近似における補助積分とベータ関数の係数
- 素粒子物理学の標準模型の精密検証には高次の摂動論計算が不可欠である。
- 高ループ計算は技術的に難しく，計算コストも大きいという課題がある。
- カットオフ正則化を用いて，3ループ近似における計算を効率的に行う。
- 本研究では，特殊なタイプの正則化関数を用いた3ループ近似における補助積分とベータ関数の係数の数値計算結果を提示した。
- 得られた数値値は，先行研究の結果と比較検証されている。
ストークス方程式の分散最適制御問題に対するAFEMの準最適性：公理的枠組み [math.NA, cs.NA]目的：分散最適制御問題における適応非適合有限要素法の準最適性
- 流体シミュレーションは工学・科学の多くの分野で不可欠であり，高精度な数値解法が求められる。
- 最適制御問題の数値解法は，計算コストと精度トレードオフがあり，効率的なアルゴリズムが課題。
- 有限要素法の誤差評価と収束性を理論的に保証し，実用的な解法を確立すること。
- 適応非適合有限要素法において，連続レベルおよび離散レベルでの誤差同値性が示された。
- 安定性，縮小，離散信頼性，準直交性を含む一般的な公理的枠組みに基づき，準最適収束率が確立された。
- 凸形状および非凸形状の両方における数値実験により，理論的結果の妥当性が確認された。
多層ピカール近似とReLU，Leaky ReLU，Softplus活性化関数を持つ深層ニューラルネットワークによる高次元半線形放物型偏微分方程式の近似 [math.NA, cs.LG, cs.NA, math.PR]目的：高次元半線形放物型偏微分方程式の近似手法
- 偏微分方程式は自然科学や工学の様々な分野で現象を記述する上で不可欠である。
- 高次元問題における従来の数値解法の計算コストは，次元の増加に伴い指数関数的に増大する。
- 深層学習を用いた次元の呪いを克服し，効率的な近似解法を開発することを目指す。
- 多層ピカール近似と深層ニューラルネットワークが，特定の条件下で半線形Kolmogorov偏微分方程式の解を$L^\mathfrak{p}$-意味で近似できることが示された。
- 多層ピカール近似の計算コストとニューラルネットワークのパラメータ数は，次元$d$と精度$\epsilon$に対して多項式的にしか増加しない。
- ReLU，Leaky ReLU，Softplus活性化関数が，高次元問題において有効に機能することが確認された。
非線形保存則に対する双対ペアリングに基づく和分法による有限差分フレームワーク [cs.CL, math.NA, cs.NA, math.AP, physics.ao-ph]目的：非線形保存則の数値解法の開発
- 現代のハードウェアで効率的な計算を行うため，高精度な数値解法が求められている。
- 非線形双曲型保存則に対する高精度な数値解法の設計は依然として困難である。
- エントロピー一貫性を保ち，解の精度を向上させるためのフレームワークを提案する。
- 双対ペアリングと風上和分法を用いた有限差分/不連続ガレルキン法に基づくフレームワークを開発した。
- このフレームワークは，高次のフィルタリングにより解の精度を維持し，不連続な領域を適切に捉える。
- 風上性を持つ離散微分演算子を構築し，要素内部に数値解法の散逸を組み込むことが可能となった。
反応経路の近似のための相対エントロピー法 [math.NA, cs.NA]目的：反応経路の分布の近似
- 分子シミュレーションにおいて，化学反応の反応経路を正確に捉えることは重要である。
- 反応経路の計算には，特異なドリフト項が必要だが，その正確な計算は困難である。
- 近似的なコミッター関数を用いてドリフト項を近似し，計算コストを削減することを目指す。
- 相対エントロピーを用いて，正確な反応経路と近似的な反応経路の分布の違いを定量化できる。
- 確率的勾配降下法により，反応経路計算中にコミッター関数を動的に学習できる。
- 相対エントロピーに基づいて，異なるコミッター関数の近似精度を評価する手法を提案した。
行列関数に対する再起動されたクリロフ法の加速：ランダム化によるアプローチ [math.NA, cs.NA]目的：行列関数作用素のベクトルへの適用評価加速手法
- 科学技術計算において，行列関数の評価は不可欠であり，効率的な手法が求められている。
- クリロフ法の計算コストとメモリ使用量は増加しやすく，大規模問題への適用が困難となる場合がある。
- 再起動されたクリロフ法の効率を向上させ，大規模かつ病的な問題への適用を可能にすることを目的とする。
- ランダム化された手法は，従来の再起動されたクリロフ法よりも大幅に優れた性能を示すことが実験的に確認された。
- ランダム化により，特定のケースでは収束速度が向上することも示唆されている。
- 既存のランダム化手法の性能と安定性を比較し，大規模な病的な問題に対する有効性を検証した。
多群熱放射輸送における効率的な非線形二階モーメント法 [math.NA, cs.NA]目的：多群熱放射輸送の計算効率向上
- エネルギー輸送現象の理解と高精度なシミュレーションは，工学設計において不可欠である。
- 熱放射輸送の非線形性や，多群計算における計算コストが課題となっている。
- 高精度を維持しつつ，計算コストを削減する効率的な手法を開発すること。
- 本研究では，二階モーメント法に基づいた熱放射輸送の効率的な非線形加速フレームワークを開発した。
- 高次の離散座標輸送と，吸収・放出の物理現象を暗黙的に解く低次の拡散システムを組み合わせることで，計算の安定性と効率性を高めている。
- 対称性・正定性を持つ低次のシステムを用いることで，代数多重格子法によるスケーラブルな線形ソルバーを可能にした。
多項式カオス展開の量子回路エンコーディング [math.NA, cs.NA, quant-ph]目的：高次元実数値関数の近似における量子回路の表現力を評価すること
- 高次元関数近似は，科学技術計算や機械学習など，多くの分野で重要な課題である。
- 従来の数値手法は次元の呪いにより，高次元空間での計算が困難になる場合がある。
- 量子回路による近似を用いることで，高次元関数近似の効率化を目指す。
- 一般化された多項式カオス展開（gPC）の截断項を用いて，量子回路近似の次元に依存しないレートを確立した。
- gPC展開係数のsummability exponentのみに依存するレートを示すことができた。
- パラメータ化された量子回路（PQC）エンコーディングの存在を示し，PQCの深さと幅を数学的に評価した。
ヘルムホルツ境界積分法と汚染効果 [math.NA, cs.NA, math.AP]目的：ヘルムホルツ外領域のディリクレおよびノイマン問題の解法
- 高波数における波動現象の解析は，工学や物理学の様々な分野で不可欠である。
- 境界積分法では，波数が増加すると計算コストが著しく増加し，精度が低下する汚染効果が生じうる。
- 適切な離散化手法を選択し，波数に対する離散化点の必要数を評価することで，高精度な解を得ることを目指す。
- 本研究では，ガレルキン法，配置法，フルディスクリート求積法に対し，離散化点の増加速度と計算精度の関係を厳密に評価した。
- その結果，特定の離散化手法が汚染効果の影響を受けることが明らかになった。すなわち，波数が増加するにつれて，精度を維持するためには，波長あたりの離散化点の数が無限大に近づく必要がある。
- 本研究は，高波数における境界積分法の適用範囲を明確化し，効率的な数値解法の開発に貢献する。
一般的な活性化関数を持つ深層ニューラルネットワーク：ソボレフノルムにおける超収束 [cs.LG, cs.NA, math.NA]目的：深層全結合ニューラルネットワークの近似精度
- 偏微分方程式の数値解法は科学計算の根幹であり，その精度向上が重要である。
- 従来の数値解法では，精度に限界があり，高次元問題への適用が困難となる場合がある。
- ニューラルネットワークを用いた偏微分方程式の解法において，理論的な誤差評価が課題であった。
- 一般的な活性化関数を持つ深層ネットワークは，ソボレフ空間において従来の数値解法を上回る超収束性を示す。
- 深層ネットワークは，偏微分方程式の弱解をより高精度に近似できることが示された。
- 本研究は，ニューラルネットワークを用いた科学計算のための理論的基盤を提供する。
準モンテカルロ法の最適性とガウス・エルミート則に基づく疎グリッド法の亜最適性 [math.NA, cs.NA]目的：ガウスソボレフ空間における準モンテカルロ法と疎グリッド法に関する最適性・亜最適性の証明
- 高次元積分計算は，科学技術計算や金融工学など広範な分野で重要である。
- 従来の数値積分法は，次元の呪いにより計算コストが増大する問題がある。
- 高次元積分計算における準モンテカルロ法と疎グリッド法の性能限界を明らかにする。
- いくつかの準モンテカルロ法は，最悪の場合の収束率において最適なレートを達成することが示された。
- 一方，ガウス・エルミート則に基づく疎グリッド法は，最適なレートよりも低いレートしか達成できないことが証明された。
- 疎グリッド法のレートは，評価点数Nに対して$N^{-\alpha/2}$であり，これは最適な$N^{-\alpha}(\ln N)^{(d-1)/2}$よりも遅い。
- 1
- 2