arXiv雑要約

• Top
• AI
• プログラム
• 画像・音声
• セキュリティ
• 数値解析

数値解析 - 2026/08/05 公開

• 二値細分反復のニューラルネットワークによる実現：二つの座標系を選択する手法 [math.NA, cs.LG, cs.NA, stat.ML]目的：二値細分反復のニューラルネットワークによる正確な実現方法

  • ウェーブレット変換や幾何モデリング等に応用される細分演算子の研究は重要である。
  • 細分反復は線形区分数の増加が速く，深層ニューラルネットワークでの表現能力の検証が困難である。
  • 本研究は，不連続な二値選択を伴う細分過程を，ReLUネットワークで正確に表現することを目指す。
  • 二つの座標系（通常の座標系と半シフトされた座標系）を用いることで，不連続な二値選択をReLUネットワークで表現可能となった。
  • ネットワークは，両座標系が有効で，対応する線形更新が一致する場所でのみ座標系を切り替える。
  • この手法により，任意のコンパクトサポートを持つ連続区分線形関数を正確に表現できることが示された。

  Link: https://arxiv.org/abs/2608.02624

• 動的ひずみ制限弾性における準線形双曲型方程式の時空間有限要素近似 [math.NA, cs.NA]目的：動的ひずみ制限弾性における準線形双曲型方程式の数値近似

  • 材料の非線形挙動を記述する上で，ひずみ制限弾性モデルは重要な役割を果たす。
  • 大きなひずみ領域では，問題の楕円性が失われ，安定かつ正確な数値解法の設計が困難となる。
  • この研究は，安定性と精度を確保しつつ，そのような問題の効率的な数値解法を開発することを目的とする。
  • 連続Galerkin有限要素法とHilber-Hughes-Taylor (HHT-alpha) 時間積分法を組み合わせた離散化スキームが提案された。
  • HHT-alpha法によるアルゴリズム的散逸により，退化領域における非物理的な高周波振動が抑制され，安定性が向上した。
  • 数値実験により，L^2ノルムにおける二次の収束性，H^1ノルムにおける一次の収束性，および高速な非線形収束性が確認された。

  Link: https://arxiv.org/abs/2608.02658

• 不変辞書を超えて：フィルタ付き拡張動的モード分解によるデータ駆動型クープマンスペクトル復元 [math.NA, cs.IT, cs.NA, math.DS, math.IT]目的：非線形動的システムの解析のためのクープマン演算子のスペクトル特性を利用するデータ駆動型手法の開発

  • 非線形動的システムの解析は，物理学，工学，生物学など，広範な分野において不可欠である。
  • 拡張動的モード分解(EDMD)では，不適切な辞書選択により誤った固有値が生じ，解析精度が低下する。
  • 提示手法は，表現されたクープマン固有ペアを正確に保持しつつ，スペクトル汚染を低減する。
  • 提案手法である射影クープマン演算子近似フレームワークは，不変でなくてもよい許容可能な辞書部分空間への射影を行う。
  • 座標直交射影と関数空間直交射影の2つの射影形状を分析し，EDMDや既存のサブ空間選択法との関係を明らかにした。
  • 数値実験により，本手法がスペクトル汚染を低減し，特にVan der Pol振動器において良好な結果が得られることを示した。

  Link: https://arxiv.org/abs/2608.02661

• 暗黙的・陽解法および分割陽解法を用いた超時間ステップ法 [math.NA, cs.NA]目的：多物理現象初期値問題における時間積分手法の開発

  • 多物理現象問題は，伝播，拡散，反応など，異なる安定性を持つプロセスを伴うため，効率的な数値解法が求められる。
  • 従来の暗黙的・陽解法は，拡散と反応を同時に扱う場合に計算コストが高くなる問題がある。
  • 超時間ステップ法と多レート微小積分法を組み合わせることで，効率的かつ柔軟な時間積分手法を確立する。
  • 提案手法であるExtSTS法は，様々なパラメータや境界条件において安定性を保ち，既存のARK法，Strang分割法，PIROCK法よりも効率的であることが示された。
  • ExtSTS法は，局所的な暗黙的解法を維持しつつ，埋め込み誤差推定による適応時間ステップを可能にする。
  • ExtSTS法は，現代的な超時間ステップ法の柔軟な利用を可能にし，演算コストの削減に貢献する。

  Link: https://arxiv.org/abs/2608.02823

• 二段階再起動共役勾配法に対するフォースサイト予想の証明 [eess.SY, cs.SY, math.AP, math.OC, math.NA, cs.NA, math.DS, math.OC]目的：二段階再起動共役勾配法におけるフォースサイト予想の証明

  • 線形方程式の解法において，共役勾配法は効率的な手法であり，大規模問題への適用が重要である。
  • 再起動共役勾配法はメモリ使用量を抑えるが，最適解への収束が不安定になる場合がある。
  • 本研究は，再起動共役勾配法の収束挙動を数学的に証明することで，その信頼性を高めることを目指す。
  • フォースサイトが1968年に提唱した予想を，再起動長が2の場合において証明した。
  • 再起動長が2の場合，正規化された残差ベクトルが，偶数ステップと奇数ステップでそれぞれ収束することが示された。
  • 本証明により，二段階再起動共役勾配法の挙動が数学的に理解され，その理論的根拠が確立された。

  Link: https://arxiv.org/abs/2608.02852

• 時間依存性ストークス方程式に対する圧力ロバストなエンリッチド・ガレルキン法の完全離散解析 [math.NA, cs.NA]目的：時間依存性ストークス方程式に対する圧力ロバストなエンリッチド・ガレルキン法の解析

  • 流体シミュレーションにおいて，精度と安定性の両立が重要であり，特に圧力の取り扱いが課題となる。
  • 従来の数値解法では，圧力の取り扱いが不適切で，解の精度が低下したり，不安定になったりする問題がある。
  • 本研究では，圧力ロバスト性を保証するエンリッチド・ガレルキン法を解析し，その誤差評価を行うことで，より安定で高精度な解法を提供する。
  • 本研究では，時間離散化にbackward Euler法とCrank-Nicolson法を用いることで，無条件の安定性を証明した。
  • 速度と圧力の誤差評価は最適な次数を持ち，パラメータ依存性も明らかにした。
  • 数値実験により，理論的な収束率が確認され，粘性に対するロバスト性，厳密な局所質量保存が検証された。

  Link: https://arxiv.org/abs/2608.02913

• 移動接触線と重力を含むナビエ-ストークス自由境界問題に対する構造保存型ALE-BGN-MDR法 [math.NA, cs.NA]目的：移動接触線と重力を含むナビエ-ストークス自由境界問題に対する数値解法

  • 流体シミュレーションは，気象予測，工学設計など広範な分野で不可欠である。
  • 自由境界問題の数値解法は，界面の正確な追跡と計算安定性の確保が課題である。
  • 重力の影響を正確に考慮した数値解法を開発し，誤った結果を回避すること。
  • 重力項を正確に離散化するため，ALE構成における移動境界積分を使用する手法を提案。
  • 提案手法は体積を厳密に保存し，重力ポテンシャルエネルギーを含む離散エネルギー消散則を満たす。
  • 数値実験により，提案手法が理論的特性を検証され，精度の高い界面追跡と良好なメッシュ品質が確認された。

  Link: https://arxiv.org/abs/2608.03115

• ヒステリシス逆演算子の効率的評価のための準滑らかなニュートン法 [math.NA, cs.NA]目的：エネルギーに基づくベクトルヒステリシスモデルの数値評価

  • 磁性材料のシミュレーションにおいて，ヒステリシス挙動の正確なモデル化は不可欠である。
  • ヒステリシスモデルの非滑らかさが，数値解析および実装における課題となっている。
  • ヒステリシス演算子のエネルギー密度による特徴付けと，それに基づく効率的な数値解法を確立する。
  • 凸解析のツールを用いて，ヒステリシス演算子をエネルギー密度で特徴付け，モデルの適切な設定を保証した。
  • 準滑らかなニュートン法を用いることで，ヒステリシスモデルのロバストな評価アルゴリズムを開発した。
  • 有限要素離散化と反復解法により，メッシュサイズに依存しない線形収束性を示す理論的結果と数値実験が得られた。

  Link: https://arxiv.org/abs/2608.03191

• 感度解析のための漸近保存型随伴統合気体運動スキーム [cs.CL, cs.RO, math.NA, cs.NA, physics.flu-dyn]目的：多スケール気体運動における高次元感度分析と不確実性定量

  • 連続体から希薄流体領域までを網羅する気体運動論では，効率的かつ数学的に整合性の取れた勾配評価が不可欠である。
  • 高次元の感度分析は計算コストが高く，特に多スケール現象においては数値的な困難を伴う。
  • 本研究は，漸近保存性を持つ随伴スキームを開発し，計算効率と精度を両立することを目指す。
  • 随伴系は，離散化された微視的な速度分布関数と巨視的なモーメント適合性条件から直接導出される。
  • 漸近保存型随伴定式化により，硬い衝突項の影響を軽減し，連続体領域における時間ステップ制限を回避できる。
  • 提案するスキームは，リッド駆動キャビティの熱伝導，マイクロチャネル熱クリープ流，円柱周りの超音速流など，幅広いクヌーセン数で検証された。

  Link: https://arxiv.org/abs/2608.03236

• 強輸送緩和系に対するADER軌道微分を用いたL安定逐次二段階4次法 [math.NA, cs.NA]目的：強輸送緩和方程式に対する時間離散化スキームの開発

  • 輸送緩和系は，物理，工学，生物学など幅広い分野で現れる重要な問題である。
  • 強輸送緩和系の数値解法は，数値的不安定性や精度の低下を引き起こしやすい。
  • 本研究は，L安定性と4次精度を両立する効率的な時間離散化スキームを提案する。
  • 本研究で提案するスキームは，既存のスキームよりも安定性が高く，精度の高い解を得ることが可能である。
  • スキームは，線形定数係数平衡則に対して正確な軌道微分を計算できることが示された。
  • 数値実験により，提案スキームの正しさ，精度，安定性，特異極限における挙動が確認された。

  Link: https://arxiv.org/abs/2608.03256

• 外部回路結合渦電流問題に対する電磁結合分離事前条件付け法 [cs.CE, cs.NA, math.NA]目的：外部回路結合渦電流問題の効率的な事前条件付け戦略

  • 電磁場のシミュレーションは，様々な工学的設計において不可欠な役割を担っている。
  • 渦電流問題は計算コストが高く，大規模シミュレーションのボトルネックとなり得る。
  • 既存手法の反復回数を削減し，計算時間を短縮することを目指す。
  • 提案手法（EMD事前条件付け法）は，従来の不完全Cholesky事前条件付け法と比較して，最大20倍少ない反復回数を達成した。
  • EMD事前条件付け法は，最大20倍高速な反復ソルバー時間を示し，計算効率の大幅な向上に貢献する。
  • 物理レベル並列化をサポートしており，独立して励起された導体領域の効率的な処理を可能にする。

  Link: https://arxiv.org/abs/2608.03350

• 有界領域における適応RBF-マルチスケール近似 [math.NA, cs.NA]目的：カーネルマルチスケール法の適応性

  • 複雑な現象のシミュレーションにおいて，計算コストの削減が重要である。
  • 従来のマルチスケール法では，不要な計算量が多く，効率が低いという課題がある。
  • 圧縮ステップで削除される関数評価の利用を避け，計算効率の向上を目指す。
  • ラグランジュ表現を用いることで，不要な関数評価を削減し，近似計算の効率を改善した。
  • 局所的なラグランジュ関数を用いることで，数値計算量をさらに削減することに成功した。

  Link: https://arxiv.org/abs/2608.03424

• ヒルベルト空間における不良設定最適化問題に対する反復正則化勾配法の誤差評価 [math.NA, cs.NA, math.OC]目的：不良設定最適化問題に対する反復正則化勾配法の誤差評価

  • 最適化問題は，科学技術の様々な分野において不可欠であり，その効率的な解法が求められている。
  • 不良設定問題は解の一意性が保証されず，数値計算が困難となるため，適切な正則化手法が必要となる。
  • 反復正則化勾配法を用いて，不良設定最適化問題の解の誤差を厳密に評価し，その適用範囲を明確にすることを目的とする。
  • 解のソース条件の下で，目的関数が正確に，または近似的に既知の場合における誤差評価を確立した。
  • 異なるアイデアに基づいた2つの証明を提供し，対応する定理の仮定と結論を比較した。
  • 既知の関数に対するティホノフ法の誤差評価の改良された証明を提示し，元の関数の弱い下半連続性を仮定しないティホノフ関数のグローバル最小化存在に関する定理を証明した。

  Link: https://arxiv.org/abs/2608.03603

• φ-ダイバージェンスを用いた希薄流のモーメント閉包解析：二項衝突とGalerkin離散化 [math.NA, cs.NA, math.AP, physics.comp-ph, physics.flu-dyn]目的：ボルツマン方程式の解近似手法

  • 希薄流のシミュレーションは，航空力学やプラズマ物理など幅広い分野で重要である。
  • 従来の数値解法は，計算コストが高く，高精度な解を得ることが困難である。
  • φ-ダイバージェンスに基づいた閉包モデルを構築し，効率的かつ高精度なシミュレーションを実現する。
  • φ-ダイバージェンスに基づいたGalerkin閉包モデルを導出し，厳密なモーメント方程式の階層構造を確立した。
  • 真の二項衝突演算子におけるφ-ダイバージェンスエントロピーの消失を保証するため，各閉包に合わせた近似衝突演算子を構築した。
  • 数値シミュレーションにより，本手法のロバスト性と精度が検証され，解析解，実験データ，確率的粒子シミュレーションとの良好な一致が示された。

  Link: https://arxiv.org/abs/2608.03640

• 集光された太陽光と気温 [math.NA, cs.NA, math-ph, math.MP]目的：地球の気温形成に関わる大気放射の数値シミュレーション手法

  • 気候変動予測において，大気放射の正確なモデル化は不可欠である。
  • 太陽光の線状性（集光性）が，数値計算上の特異点となり課題である。
  • 太陽光の集光性を効率的に処理する数値計算手法を開発すること。
  • SiewertとMaiorino(1980)に続く，高速な数値実装を提案した。
  • 提案手法は，太陽光の集光性による特異点を適切に扱える。

  Link: https://arxiv.org/abs/2608.03781

• 非線形コーン変換の微局所解析とコンプトンカメライメージングへの応用 [cs.CY, math.NA, cs.NA, math.FA]目的：コンプトンカメライメージングにおけるソース強度と減衰係数の復元

  • コンプトンカメラは，放射線源の画像化に有用であり，医療や環境モニタリングなど幅広い分野で応用が期待されている。
  • 従来の復元手法では，減衰を無視している場合が多く，正確な画像復元が困難であるという課題があった。
  • 減衰を考慮した非線形変換に対する解析を行い，より高精度な画像復元手法を確立することを目指す。
  • 提案手法により，ソース強度と減衰係数を一意に復元できることを理論的に証明した。
  • 減衰係数の復元はソース強度の復元よりも不安定であることが示された。
  • シミュレーション実験により，提案手法の有効性を検証した。

  Link: https://arxiv.org/abs/2608.03909

• 層状媒質における電磁気逆問題に対する打ち切り次数のモデリング：ベンチマーク研究 [cs.CL, math.NA, cs.NA, math-ph, math.AP, math.MP, physics.comp-ph]目的：層状媒質におけるインピーダンスプロファイルの復元

  • 電磁気逆問題は，地質探査や医療診断など，様々な分野で重要な役割を担う。
  • 高解像度な逆問題の解法は計算コストが高く，大規模問題への適用が困難である。
  • 打ち切り次数のモデリングにより計算コストを削減し，効率的な逆問題解法を実現する。
  • 打ち切り次数のモデルに基づく目的関数は，古典的なデータ不適合と比較して，ノイズがない場合や特定の構造化された摂動条件下で，より良好な復元結果を提供する。
  • 打ち切り次数のモデルに基づく逆問題解法は，検討したすべてのケースにおいて，古典的な手法と競争力のある性能を示す。
  • Goupillaud構造を用いることで，前進問題を離散的な動的システムとして定式化し，打ち切り次数のオペレータレベルで目的関数を定義することが可能になった。

  Link: https://arxiv.org/abs/2608.03996

• 積分ヒルベルト空間とループ量子宇宙の力学 [quant-ph, cs.SY, eess.SY, gr-qc, cs.NA, math.NA, physics.comp-ph]目的：ループ量子宇宙論における非分離可能なヒルベルト空間の力学

  • 量子宇宙論は，宇宙の起源と進化を量子論的に記述する上で重要である。
  • ループ量子宇宙論では，ヒルベルト空間が非分離可能となり，計算が困難になる。
  • 全セクターにわたる積分で分離可能なヒルベルト空間を構築し，その力学を検証する。
  • 負の宇宙定数を持つ平坦な等方宇宙において，半古典的な状態の時間発展を数値的に行った。
  • 単一セクターアプローチと比較して，長期的には半古典的な性質に有意な差は見られなかった。
  • 従来の手法と標準的な固有値ライブラリを用いた手法との比較検証を行った。

  Link: https://arxiv.org/abs/2608.02798

• 追跡可能なテンソルネットワークを用いた計算 [physics.comp-ph, cs.NA, math.NA]目的：テンソルネットワークの分解手法および数値解法

  • 高次元データの効率的な表現・計算が重要であり，テンソルネットワークはその有力な手法である。
  • 従来のテンソルネットワークは，グラフ構造に制限があり，複雑な問題への適用が困難であった。
  • 任意のグラフ構造を持つテンソルネットワークの分解と，高次元偏微分方程式の効率的な解法を可能にすること。
  • 提案手法は，古典的な階層型SVD技術を拡張し，サイクルや一般的な接続を持つネットワークに対応できる。
  • グラフ形式での表現は，テンソルトレインや階層型タッカーテンソル形式と同等かそれ以上の精度を，より少ない自由度で達成する。
  • 時間積分における丸め誤差の制御が可能であり，計算コストも削減できることが示された。

  Link: https://arxiv.org/abs/2608.02849

• 圧縮性オイラー方程式における選択基準：数値的研究 [math-ph, cs.NA, math.MP, math.NA]目的：圧縮性オイラー方程式の解の選択基準に関する検討

  • 流体シミュレーションの精度向上は，航空宇宙，気象予測等，幅広い分野で重要である。
  • 圧縮性流体の数値計算では，複数の弱解が存在し，どの解を選択するかが問題となる。
  • 数値スキームが選択に与える影響を調べ，適切な解選択基準の探索を目指す。
  • 様々な数値スキームが異なる弱解に収束することがケルビン・ヘルムホルツ問題を介して示された。
  • エントロピー生成，全エネルギー，エネルギー欠損に基づく選択基準を用いて解を評価した。
  • 各スキーム固有の数値拡散が選択関数に与える影響についても検討された。

  Link: https://arxiv.org/abs/2608.02862

• 制約なし最小化のための動的近接点法 [math.OC, cs.NA, math.NA]目的：制約なし最適化問題に対する動的近接点アルゴリズム

  • 最適化は，機械学習や工学など，様々な分野の根幹をなす重要な技術である。
  • 大規模な問題では，既存のアルゴリズムは計算コストが高く，効率的な解法が求められている。
  • 内点Newton法と線探索を組み合わせることで，効率的かつ安定した最適化を実現すること。
  • 本研究では，反復ごとに適応的に更新される対角行列を用いて，近接サブ問題を生成する新しい動的近接点アルゴリズムを提案した。
  • 内層のNewton法と線探索の組み合わせにより，非線形ソルバーのグローバル収束メカニズムを提供している。
  • 提案手法を実現するための疑似コードと停止基準についても詳細に示した。

  Link: https://arxiv.org/abs/2608.03349

• 非単調直線探索と外挿を用いたBarzilai-Borweinステップサイズによる凸関数差分アルゴリズム [math.OC, cs.NA, math.NA]目的：一般的な非凸・非滑らかな最適化問題に対する新たな近接凸関数差分(DC)アルゴリズムの枠組み

  • 最適化は，機械学習，画像処理など，幅広い分野における基盤技術である。
  • 標準的な近接DCアルゴリズムは，ステップサイズの保守性や安定性の問題が存在する。
  • Barzilai-Borweinステップサイズと非単調直線探索を組み合わせることで，これらの問題を解決し，収束を加速する。
  • 提案手法は，標準的なDCアルゴリズムと比較して，高い効率と精度を実現した。
  • Kurdyka-Łojasiewicz性質の下で，提案アルゴリズムのグローバル収束が厳密に証明された。
  • SCAD正則化最小二乗問題とグラフィックGinzburg-Landau画像セグメンテーションモデルにおいて有効性が確認された。

  Link: https://arxiv.org/abs/2608.03465

• 多層不均一媒質構造における電磁界シミュレーションのための3次元ハイブリッド数値法 [physics.comp-ph, cs.NA, math.NA]目的：多層不均一媒質構造における電磁散乱問題の効率的な数値解法

  • 電磁界シミュレーションは，通信，レーダー，センシングなど様々な分野で不可欠な技術である。
  • 従来の数値解法は，複雑な構造や媒質不均一性に対して計算コストが増大する課題がある。
  • 本研究は，多層構造と非層構造を効率的に扱う新たな数値解法を開発し，計算コスト削減を目指す。
  • 提案するハイブリッド数値法は，数値モード整合法と混合有限要素法を組み合わせることで，計算効率を高める。
  • 多層媒質内では2次元に次元削減を行い，非層構造は有限要素法で離散化することで，計算負荷を軽減する。
  • 数値実験により，本手法が，層状媒質に埋め込まれた非層状領域を含む散乱問題に対して有効であることが示された。

  Link: https://arxiv.org/abs/2608.03639

• パターン形成：走化性駆動不安定性には反応性は必要ではない [math.DS, cs.NA, math-ph, math.MP, math.NA]目的：走化性駆動不安定性における反応性の必要条件

  • 生物学における空間的パターン形成は，形態形成や生態系において重要な役割を果たす。
  • 従来の理論では，拡散駆動不安定性には反応性が必須とされていた。
  • 走化性が強い場合，反応性なしでも不安定性が生じる可能性を示す。
  • 走化性駆動不安定性においては，拡散駆動不安定性とは異なり，反応性は必ずしも必要ではないことが示された。
  • 反応拡散系への走化性項の導入に適した効率的な数値シミュレーション手法が開発された。
  • 捕食者-被食者モデルにおいて，反応性や拡散なしで走化性のみによってパターン形成が誘導されることが確認された。

  Link: https://arxiv.org/abs/2608.03685

• クロス集中サンプリング下におけるロバストな低チューブランクテンソル補完 [stat.ML, cs.IT, cs.LG, cs.NA, math.IT, math.NA]目的：スパースかつ大きな外れ値を含む，部分的なクロス集中サンプリング観測からの低チューブランクテンソルのロバストな復元

  • テンソル分解は，高次元データの効率的な表現と処理を可能にする重要な技術である。
  • 既存のテンソル補完手法は，観測データに重度の汚染が含まれないことを前提としている。
  • クロス集中サンプリングの構造を明示的に活用し，外れ値に対するロバスト性を向上させる。
  • 提案手法R-ItCURは，サンプリングされたテンソルクロスをブロック分割し，適応的なブロックごとのウェルシュ補正を適用することで，外れ値を抑制する。
  • R-ItCURは，テンソル全体を再構成することなく直接サンプリングされたクロス上で動作し，メモリと計算量を削減する。
  • 合成データ，心臓MRIデータ，３次元地震データを用いた実験により，正確な復元とスパースな重度汚染に対する高いロバスト性が確認された。

  Link: https://arxiv.org/abs/2608.03928

• クランク・ニコルソン全一括系に対する一般化ブロックサーキュラント前処理子と，オプション価格付け偏微分方程式への応用 [math.NA, cs.NA]目的：クランク・ニコルソン法による全一括定式化と，効率的な並列時間解法を可能にする一般化ブロックサーキュラント前処理子の開発

  • 時間発展偏微分方程式は科学技術計算において不可欠であり，効率的な解法が求められている。
  • 従来のクランク・ニコルソン法は逐次計算であり，時間方向の並列化が困難である。
  • 並列時間解法を可能にし，計算効率を向上させる前処理子を提案する。
  • 提案する前処理子による条件数は，$0 < \alpha < 1$ のパラメータ $\alpha$ に依存する特定の環状領域に限定されることが示された。
  • 前処理子を用いたGMRES($m$)法は，離散化ステップサイズに依存しない高速収束性を持つことが証明された。
  • 金融オプション価格付け偏微分方程式への数値実験により，提案手法の有効性が確認された。

  Link: https://arxiv.org/abs/2401.16113

• 可変係数を持つリーマン分数拡散方程式に対する準コンパクト差分スキームのためのτ事前条件付けについて [cs.DL, math.NA, cs.NA]目的：可変係数を持つリーマン分数拡散方程式の離散化された線形システムの解法効率向上

  • 偏微分方程式の数値解法は，科学技術計算における重要な課題であり，多くの分野で応用されている。
  • 分数階微分を含む方程式の解法は，計算コストが高く，効率的な数値解法の開発が求められている。
  • 大規模疎行列に対する反復解法の収束性を向上させる事前条件付け手法を開発し，効率的な解法を提供する。
  • 提案するτ事前条件付けは，GMRES法の残差ノルムの上限を網目サイズに依存しないものにし，線形収束速度を実現する。
  • 理論的解析と数値実験により，提案手法が離散化された行列に対して有効であることが確認された。
  • 事前条件付けを用いることで，GMRES法の収束を加速し，リーマン分数拡散方程式の効率的な数値解法を可能にする。

  Link: https://arxiv.org/abs/2404.10221

• 切り替えシステムに対する一般化リアプノフ方程式による到達可能・観測可能集合：切り替え記述子システムへの応用 [cs.CL, math.NA, cs.NA, math.DS]目的：切り替えシステムの到達可能・観測可能集合の導出

  • 制御システム設計において，システムの挙動把握と制御性能向上は不可欠である。
  • 複雑なシステムの解析には計算コストが伴い，モデル次数の削減が課題となる。
  • 一般化リアプノフ方程式を用いることで効率的なモデル次数の削減を目指す。
  • 二つの一般化リアプノフ方程式の解の像集合が，対応する切り替えシステムの到達可能・観測可能集合を包含することが示された。
  • この結果は，一般化リアプノフ方程式がモデル次数の削減に適していることを説明する。
  • 本研究は，切り替え微分代数方程式に対するバランスに基づくモデル次数の削減手法の理論的根拠を提供する。

  Link: https://arxiv.org/abs/2407.20044

• 実験計画のための局所感度を維持するランダムデータダウンサンプリング [cs.RO, cs.FL, math.NA, cs.NA, math.OC]目的：未知パラメータの逆問題における数値再構成の質

  • パラメータ推定精度は，実験データの選択に大きく依存する
  • 十分な感度を持つデータを選択することが課題である
  • 感度情報を維持しつつ効率的なダウンサンプリングを実現する
  • 提案手法は，Fisher情報行列の情報を維持するダウンサンプリング戦略である
  • ランダム化数値線形代数の行列スケッチ技術を活用している
  • シュレーディンガーポテンシャル再構成問題において有効性が確認された

  Link: https://arxiv.org/abs/2409.15906

• 偏微分方程式に対する係数変換ニューラル演算子 [cs.DC, math.NA, cs.LG, cs.NA]目的：偏微分方程式の解作用素近似手法

  • 偏微分方程式は科学技術の様々な分野で基本となるため，効率的な解法開発が重要である。
  • 従来の演算子学習は，入力・出力表現に依存し，高次元化やデータへの依存性が課題となっていた。
  • 固定された基底を用いて，入力・出力の係数変換を学習することで，これらの課題を解決する。
  • 提案手法FB-C2CNetは，データに依存しない固定された近似空間でPDEの解写像を学習する。
  • 基底選択とネットワーク学習を分離することで，学習パラメータ数を削減し，計算コストを低減する。
  • 様々な偏微分方程式問題において，既存手法と同等以上の精度と効率が確認された。

  Link: https://arxiv.org/abs/2510.10350

• SGD事前条件付け器の設計基準：局所的条件付け，ノイズフロア，および盆地安定性 [cs.DC, math.NA, cs.LG, cs.NA]目的：SGD事前条件付け器の設計基準

  • 機械学習の効率化は，科学計算への応用において重要であり，精度と安定性の向上に寄与する。
  • 勾配降下法の収束遅延や，ノイズの影響による最適解への到達困難さが課題である。
  • 事前条件付け器の設計を通じて，局所的条件付けとノイズ軽減を両立し，安定性を確保する。
  • 事前条件付け器$\mathbf{M}$を用いることで，有効条件数と事前条件付けノイズレベルにより収束速度とノイズフロアが制御されることが示された。
  • 非凸関数に対して，$\mathbf{M}$ノルムで定義される滑らかさと盆地のサイズに基づき，反復計算が良好な局所領域にとどまる確率の下限が確立された。
  • 実験結果は，診断用二次関数と3つのSciMLベンチマークにおいて，予測される速度とフロアの振る舞いを検証した。

  Link: https://arxiv.org/abs/2511.19716

• 拡散に基づく偏微分方程式ソルバーの精度・遅延のトレードオフ改善：物理情報スペクトル注意機構PRISMA [cs.LG, cs.AI, cs.NA, math.NA, stat.ML]目的：偏微分方程式ソルバーの精度と効率の向上

  • 偏微分方程式は科学技術の様々な分野で現れるため，その効率的な解法は重要である。
  • 従来の勾配ベースの最適化は遅延が大きく，不安定であり，ノイズに弱いという課題がある。
  • PDE残差をモデルに組み込み，高速かつロバストな推論を実現することを目指す。
  • PRISMAは，PDE残差をスペクトル領域での注意機構を介してモデルに直接組み込むことで，勾配降下法を必要としない高速な推論を可能にする。
  • PRISMAは，従来の勾配ベースの手法と比較して，同等の精度を大幅に低い計算コストで実現し，特にノイズの多いデータに対して有効である。
  • 実験結果から，PRISMAは従来のモデルと比較して10倍～100倍少ないデノイジングステップで，15倍～250倍高速な推論が可能であることが示された。

  Link: https://arxiv.org/abs/2512.01370

• 衝撃を捉えずに衝撃を処理：Navier-Stokes類似問題に対する有限体積法の情報幾何正則化 [cs.CE, cs.NA, math.NA]目的：Navier-Stokes類似問題に対する有限体積法の情報幾何正則化による衝撃波の処理戦略

  • 高速流体力学における衝撃波は，流体の運動量，密度，エネルギーに不連続性を生じさせるため，その数値的処理が重要である。
  • 従来の数値計算では，衝撃波によるギブス現象を抑制するために人工粘性やリミッターが用いられるが，解の滑らかさと微細構造の保持のバランスが課題である。
  • 本研究は，微細構造を損なわずに衝撃波を滑らかに表現する情報幾何正則化を有限体積法に適用し，より効率的な衝撃波処理を目指す。
  • 情報幾何正則化を用いた有限体積法は，標準的なテスト問題において期待される解を再現することが示された。
  • WENOやLADなどの衝撃捕捉スキームと比較して，滑らかな流れと不連続な流れの両方において同程度の精度を達成した。
  • 情報幾何正則化は，計算負荷が軽く，メモリアクセスと算術演算の回数を大幅に削減できることがわかった。

  Link: https://arxiv.org/abs/2604.06546

• 無知的な部分空間射影だけでは相対誤差は保証されない [math.NA, cs.DS, cs.NA]目的：低ランク近似とスケッチ＆ソルブ最小二乗回帰における無知的な部分空間射影の限界

  • データ次元が高い現代において，効率的なデータ処理・解析が不可欠である。
  • 無知的な部分空間射影は，より強い無知的な部分空間埋め込みよりも弱い性質であり，保証も弱い。
  • 無知的な部分空間射影のみでは，相対誤差の保証が得られないことを理論的に示す。
  • 無知的な部分空間射影だけでは，失敗確率が射影の失敗パラメータのみに依存する相対誤差保証は得られない。
  • スケッチ＆ソルブ最小二乗法と確率的SVDにおいて，反例を示すことで証明した。
  • 残差またはテール成分の上限を制御することで，相対誤差に近い境界を回復できる。

  Link: https://arxiv.org/abs/2604.10215

• 高コントラスト媒質におけるインピーダンス境界条件付きの時間調和 Maxwell 方程式のマルチスケールモデリング [cs.MM, cs.RO, cs.AR, math.NA, cs.NA]目的：高コントラスト媒質における時間調和 Maxwell 方程式のマルチスケールモデリング手法

  • 電磁波解析は，通信，計測，イメージングなど幅広い分野で不可欠である。
  • 高コントラスト媒質や高波数において，数値計算が不安定になりやすい。
  • マルチスケール解析により，計算コストを抑えつつ高精度な解析を実現する。
  • 本研究では，マルチスケール基底関数の発散不可能な制約を明示的に課す必要性を回避する効率的なフレームワークを提案した。
  • 補助空間を構成し，特異値問題を解くことで，双線形形式の強制性を保証し，カール作用素の核を主要な固有空間から自動的に排除する。
  • 適切なオーバーサンプリングにより，$O(H)$ の波長に依存しない収束性が理論的に証明され，数値実験によってその有効性が検証された。

  Link: https://arxiv.org/abs/2604.26449

• ハイブリッド連続体--弾道気体動力学のための対数ガウス尺度空間リミッタ [math.NA, cs.NA, physics.flu-dyn]目的：ハイブリッド連続体--弾道気体動力学における対数ガウス尺度空間リミッタ

  • 気体動力学は，航空宇宙工学やプラズマ物理学など，多様な分野において重要な役割を担う。
  • 連続体モデルと分子モデルの適切な組み合わせが難しく，計算コストと精度とのトレードオフが存在する。
  • 両モデルの橋渡しとなり，効率的かつ高精度な計算を可能とする新しい手法の開発を目指す。
  • 提案手法は，対数的なクヌーセン数空間においてガウス累積確率を用いて連続体と弾道重みを定義し，Navier-Stokes-Fourierフラックスと半範囲Maxwellian運動学的フラックスをブレンドする。
  • DVM/BGK FourierおよびCouetteデータとの比較により，NSFとジャンプ/スリップ補正ブランチの対数ガウス重み付けが，テストされたマクロなプロファイルを改善することが示された。
  • ただし，この約40%の平均プロファイル誤差の減少は，削減されたプロファイルモデルのサンプル内キャリブレーションの結果である。

  Link: https://arxiv.org/abs/2607.12218

• ハダマール多様体上の1-Lipschitzニューラルネットワーク [math.NA, cs.LG, cs.NA]目的：ハダマール多様体上における1-Lipschitzニューラルネットワークの構築と解析

  • ニューラルネットワークの安定性とロバスト性を高める上で，Lipschitz定数の制御は重要である。
  • 既存の制約戦略はユークリッド空間向けであり，非ユークリッド空間への適用が課題となっていた。
  • ハダマール多様体上での1-Lipschitzニューラルネットワークの構築により，この問題を解決する。
  • 提案アーキテクチャは，ポアンカレ円盤上でのロバストな分類器において，双曲摂動に対する耐性を示すことが確認された。
  • SPD多様体上では，提案アーキテクチャを用いたSPD値ノイズ除去器が，既存手法よりも優れた性能を発揮した。
  • ノイズ除去器の非膨大性により，マスクト・ウィシャート共分散再構成問題において性能が向上し，収束性も確認された。

  Link: https://arxiv.org/abs/2607.19335

• 切断セル有限体積法における欠陥部分空間と局所的な不安定性 [math.NA, cs.NA]目的：切断セル有限体積演算子における欠陥部分空間の構造と局所的な不安定性のメカニズム

  • 複雑な形状に対する数値シミュレーションにおいて，有限体積法は広く利用されている。
  • 切断セルを用いることで計算が不安定になり，シミュレーションが停止することがある。
  • 切断セルの不安定性を抑制するための最小限の安定化強度を解析的に導出する。
  • 不安定性は，低次元の欠陥部分空間に集中しており，切断セルの数だけ不安定な固有値を持つことが示された。
  • 固有値は，切断セルの体積比$\alpha$とCFL数$\lambda$に依存し，$\alpha$が小さいほど不安定性が増大する。
  • 切断セルの体積比$\alpha$を用いて，安定化強度の最小値を計算可能であり，状態再分配の補正が不安定な固有ベクトルに漸近的に平行になることが証明された。

  Link: https://arxiv.org/abs/2607.28808

• 勾配依存型半線形方程式における混合境界接合における対数共鳴 [math.NA, cs.NA]目的：混合境界接合における勾配依存型半線形方程式の解の特異性解析

  • 偏微分方程式は工学や物理学の様々な現象を記述する上で不可欠なツールである。
  • 混合境界接合では，古典的に解の正則性が著しく低下し，特異性が生じる。
  • 勾配依存項が導入された場合，特異性の詳細な形状を明らかにすること。
  • 勾配ペナルティが線形に $|\nabla u|$ に依存する場合，$\mathcal{O}(r^{-1/2})$ の局所的な源項が生じ，主演算子との共鳴が起こる。
  • 標準的な分離可能多項式近似は，$\mathcal{O}(r^{3/2})$ のオーダーで成立しなくなる。対数的な異常が発生する。
  • $\ell_1$, $\ell_2$, $\ell_\infty$, $\ell_q$ ノルムに対する対数係数と角度オフセットを計算し，この障害の普遍性を示す。

  Link: https://arxiv.org/abs/2608.01790

• 単体上の多変量直交多項式の Rodrigues の公式 [econ.GN, cs.CE, q-fin.EC, math.CA, cs.NA, math.NA]目的：単体上の多変量直交多項式の構築

  • 直交多項式は，数値解析や物理学など幅広い分野で重要な役割を担う
  • 多変量直交多項式のRodrigues 型構成は未だ確立されていない部分が多い
  • 単体上の多変量直交多項式に対するRodrigues 型構成を確立すること
  • 本研究で提案する構成は，単体上の二変量 Jacobi 多項式と一変量 Jacobi--Piñeiro 多項式の特徴を組み合わせている。
  • 提案構成により生成される多項式の対称性や多重直交性を含む主要な構造的性質を証明した。
  • この構成は，古典的な Jacobi--Piñeiro ファミリーの自然な多変量拡張となり，また，多変量多重直交多項式に対するRodrigues 型構成の初期の例を提供する。

  Link: https://arxiv.org/abs/2601.19416

• 円錐ビームCTにおける金属アーチファクト低減のための複素ウェーブレットに基づくサイノグラムセグメンテーション [physics.med-ph, cs.NA, math.NA]目的：金属アーチファクトの低減

  • 円錐ビームCTは，医療診断において重要な役割を担う画像診断技術である。
  • 金属物による強いX線減衰が，画像再構成時に筋状・陰影状のアーチファクトを引き起こす。
  • サイノグラム中の金属領域を正確にセグメンテーションし，アーチファクトを低減することを目指す。
  • 提案手法では，3次元複素ウェーブレット変換を用いて金属構造の波面集合と特異支持を抽出し，正確なセグメンテーションを実現した。
  • シミュレーションおよび臨床データを用いた評価により，従来の画像領域処理法と比較して，金属アーチファクトの低減効果が確認された。
  • 本研究は，円錐ビームCTにおける金属アーチファクト低減の可能性を示すものであり，臨床応用への期待がもたれる。

  Link: https://arxiv.org/abs/2602.14315

• 古典多項式最適化に対する量子推定 [math-ph, cond-mat.dis-nn, cs.NA, math.AP, math.MP, math.NA, quant-ph]目的：古典多項式最適化における上限と下限の推定

  • 多変量同次多項式の評価は，複雑ポテンシャル地形の動的安定性からデータ解析まで，幅広い分野に応用される重要な課題である。
  • 高階テンソルに対するアルゴリズムは，多項式目的関数の複雑な地形のため，収束が不安定であるという問題がある。
  • 量子力学的な変分法に触発された新しい手法を用いて，多項式の上下限を効率的に求めることを目指す。
  • 多項式を，適切な状態空間で作用する演算子に置き換えることで，テンソル固有値問題を超行列の対角化に帰着させる。
  • このアプローチを，テンソル固有値文献における標準的なテスト例や，数学物理学におけるStrichartz型不等式に応用し，有効性を示す。
  • 古典極限において，演算子は元の多項式表現に近づき，テンソルの最小・最大固有値の近似，ひいては多項式の上下限の推定が可能となる。

  Link: https://arxiv.org/abs/2607.25445

• 多面体に対する分解不変条件勾配法の再検討 [math.OC, cs.NA, math.NA]目的：多面体上の凸かつβ-滑らかな関数の最小化

  • 最適化問題において，効率的なアルゴリズムの確立は重要である。特に，多面体制約下の最適化は応用範囲が広い。
  • 従来の条件勾配法は，次元の呪いにより，計算効率が低下する可能性がある。
  • 最適な面の次元に依存した線形収束を実現し，計算量を削減すること。
  • 2段階多面体に対して，パラメータ不要なダイアディックステップサイズ則を設計し，線形収束を達成した。
  • 一般的な多面体に対し，顔二次成長条件を導入した手法を提案し，近似解までの反復回数を評価した。
  • 提案手法は，既存手法と比較して，特定の条件下で反復回数を削減できることを示した。

  Link: https://arxiv.org/abs/2608.01243

• 1