arXiv雑要約

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

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

• ランク1行列分解に対する状態依存型Lyapunov法 [math.NA, cs.LG, cs.NA, math.OC]目的：ランク1行列分解における勾配降下法の解析

  • 機械学習やデータ解析において，高次元データの次元削減は重要な課題である。
  • 既存のランク1行列分解手法では，収束性や安定性の理論的保証が十分でない場合がある。
  • 状態依存型Lyapunov法を用いて，勾配降下法の収束性およびダイナミクスを厳密に解析する。
  • 本研究では，パラメータ化された二次証明関数を導入し，そのレベル集合の縮小を通じて単調な状態パラメータを導出した。
  • 証明された領域では大域的最小値への収束が保証され，臨界領域を超えると終端平衡多様体へ向かうことが示された。
  • 実験結果は，2次元ランク1近似問題やクォーティック増強スカラー損失関数において，提案手法の予測性能を裏付けている。

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

• 一般重み付き再生核ヒルベルト空間の埋め込み [math.NA, cs.NA]目的：再生核ヒルベルト空間間の埋め込み

  • 関数解析における重要な研究対象であり，様々な応用への理論的基盤となる。
  • 重み付きテンソル積の構造を持つ再生核ヒルベルト空間の埋め込みに関する理解が不足している。
  • 重みの適切な変換を通じて，単変量カーネルの変化を補償する埋め込み手法を確立すること。
  • 重み空間上の離散解析を導入し，特に完全単調な重みの役割を明らかにした。
  • 埋め込みの結果を数値積分や関数復元といった計算問題に応用できる可能性を示唆した。
  • 有限変数の場合と無限変数の場合に対し，埋め込みの証明を与えた。

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

• 熱力学的に制約された情報幾何正則化による圧縮性流体 [math.NA, cs.NA]目的：圧縮性流体の情報幾何正則化

  • 流体シミュレーションは，工学や科学の様々な分野で不可欠なツールである。
  • 従来のシミュレーションでは，衝撃波や特異点の発生が課題となっている。
  • 熱力学的な制約を導入することで，特異点の発生を抑制し，より安定したシミュレーションを実現する。
  • 熱力学的な長さを用いて正則化された運動を制約する新しい圧縮性流体モデルを提案した。
  • このモデルは，異方性応力テンソルを運動方程式に導入し，等エントロピー方向には消失する。
  • 数値シミュレーションの結果，他の手法で観測されたカスプ特異点が緩和され，無粘性正則化の利点が維持された。

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

• 固有値分解のためのバッチ効率の良い分割統治アルゴリズムに関する短い注記 [cs.LG, cs.NA, math.NA]目的：固有値分解の計算効率向上

  • コンピュータビジョンにおける基盤技術であり，多様な応用が存在する。
  • 深層ニューラルネットワークにおけるミニバッチ処理において，計算コストが課題となる。
  • より大きな行列に対するバッチ効率の良いアルゴリズムを提案し，計算速度を向上させる。
  • 提案手法は，次元64以下のミニバッチ行列に対して，PyTorchのSVD関数よりも高速に動作する。
  • 分割統治法を用いることで，バッチ処理における計算効率を改善した。

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

• 非適合メッシュ向けシフトされた結束領域法：結晶塑性への応用 [math.NA, cs.NA, math.AP]目的：複雑な微細構造における界面支配の固体力学問題のシミュレーション精度向上

  • 材料の強度や破壊を予測する上で，微細構造を考慮したシミュレーションが不可欠である。
  • 界面に適合したメッシュを生成することが困難であり，計算コストが高くなるという課題がある。
  • 界面適合メッシュを必要とせずに，界面力学を効率的にモデル化する手法を提供する。
  • シフトされた結束領域法（SCZM）は，標準的な有限要素空間を使用しながら，界面に適合した離散化に伴うメッシュ生成の負担を回避する。
  • SCZMは，反応力，表面エネルギー解放，変形，応力分布，損傷進化に関して，界面適合参照解と一致する高い精度を示す。
  • PCAを用いた点分類アルゴリズムの開発により，代替ドメインの構築を加速し，計算効率を高めている。

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

• スカラー保存則に対するニューラルネットワーク法：ショック波解に対する収束率付き（拡張版） [math.NA, cs.NA]目的：スカラー双曲型保存則に対するエントロピー適合性ニューラルネットワーク法の開発

  • 流体問題など，物理現象のシミュレーションにおいて，保存則は重要な役割を果たす。
  • 従来の数値解法では，ショック波などの不連続解を精度良く捉えることが困難である。
  • ニューラルネットワークを用いることで，ショック波解に対する高精度な数値解法を確立することを目指す。
  • 提案手法は，Kru\v{z}kovエントロピー残差の計算可能な代替手段に基づくエントロピー適合性ニューラルネットワーク法である。
  • ショック波を含む解に対して，$O(h^{1/2})$の収束率を理論的に保証することができた。
  • 時間発展によるショック波の発生についても，$O(h^{1/2}|\ln h|)$の誤差評価を得た。

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

• ポアソン・ネルンスト・プランク・ナビエ・ストークス方程式に対する不連続ガレルキンIMEX圧力補正スキーム [math.NA, cs.NA]目的：ポアソン・ネルンスト・プランク・ナビエ・ストークス方程式の離散スキーム

  • イオン輸送現象は，生体システムやナノデバイスなど，多様な分野で重要な役割を果たす。
  • 既存の数値解法では，高精度かつ安定な計算が困難な場合がある。
  • 高精度かつ安定な計算を実現し，イオン輸送現象のシミュレーションを改善する。
  • 空間方向には不連続ガレルキン法，時間方向には改良された陰解陽解圧力補正スキームを用いることで，完全に離散化されたスキームを提案した。
  • 陽イオンと陰イオンの濃度，静電ポテンシャル，流体速度，流体圧力に関して，$L^2$ノルムおよびエネルギーノルムにおける最適な誤差評価を得た。
  • イオンの離散的な質量保存特性が確立され，数値シミュレーションの結果が理論的知見を裏付けた。

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

• 大規模変形イソジョメトリック流体構造連成のためのパラメータ駆動型任意ラグランジュ・オイラー法 [math.NA, cs.NA]目的：大規模変形を伴う流体構造連成問題に対する数値解法

  • 流体構造連成は，航空宇宙，バイオメディカルなど幅広い分野で重要。構造と流体の相互作用を正確に解析する必要がある。
  • 従来のALE法では，メッシュの更新が複雑で，特に大規模変形や回転において精度が低下する問題があった。
  • メッシュ更新を回避し，パラメータ化に基づく新しいALE法を提案することで，大規模変形問題への適用範囲を拡大する。
  • 提案手法は，バリア関数に基づくスプラインパラメータ化により，常に正のヤコビアンを保証し，安定した計算を実現した。
  • 接線スリップ再パラメータ化により，閉じた領域の無限回転にも対応可能であり，古典的なメッシュ更新法では困難な問題を解決した。
  • 準補間演算子を用いることで，幾何学的保存則を離散的に保持し，物理量の正確な伝達を可能にした。

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

• 一般化容量を含む場/回路結合DAEに対する波形緩和法 [math.NA, cs.NA]目的：場/回路結合DAEの収束判定基準

  • 電気技術分野において，一部の素子を集中定数モデルで表現するだけでは正確なシミュレーションが困難な場合がある。
  • 場/回路結合システムは，微分代数方程式系となり，シミュレーションの発散リスクが高い。
  • 一般化容量を持つ高次インデックスの場/回路結合システムに対する十分な収束判定基準を確立すること。
  • 提案された収束判定基準は，一般化容量として分類可能な広範な場システムに対して成立することが示された。
  • この基準により，場/回路結合システムの安定性をより確実に評価できる。
  • 数値シミュレーションの結果は，理論的考察を裏付けている。

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

• 2階の非線形偏微分方程式に対する適応型ディープ Ritz フレームワーク [cs.RO, math.NA, cs.NA]目的：2階の非線形偏微分方程式の解法

  • 偏微分方程式は自然科学や工学の様々な分野で現れ，その解法は重要である。
  • 従来の解法では，複雑な非線形性により高精度な解を得ることが困難な場合がある。
  • ディープ Ritz 法と適応型サンプリングにより，非線形偏微分方程式の高精度解を効率的に求める。
  • ディープ Ritz フレームワークは，完全非線形偏微分方程式を解くためのPINNsの代替案として提案された。
  • 最小二乗法を用いて，非線形性と変分特徴を分離し，局所的な非線形問題と線形変分問題を反復的に解く。
  • 数値実験の結果，Monge-Ampère方程式を含む様々な方程式に対して，本手法の柔軟性と有効性が確認された。

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

• 異種曲線メッシュ上のDGSEMにおけるh適応FVサブセル衝撃捕捉法 [math.NA, cs.NA]目的：異種曲線メッシュ上でのDGSEMにおける衝撃捕捉法の開発

  • 高次法は分散・消散特性に優れるが，不連続性に対する安定化が課題である。
  • 既存のサブセル法は，単純なメッシュ構造に限定され，複雑な形状への適用が困難である。
  • 複雑な形状に対応可能な，ロバストな衝撃捕捉法の確立を目指す。
  • 本研究では，hexahedral，prismatic，tetrahedral，pyramid要素を含む混合メッシュ上で，h適応FVサブセル法を適用した。
  • 座標変換により非hexahedral要素を扱い，任意のサブセル分割数を実現した。
  • 保存性，空間収束性，衝撃捕捉能力を確認し，NACA 0012翼周りの流れシミュレーションで有効性を示した。

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

• 多項式重み付き積分に対するメビウス変換台形公式 [math.NA, cs.NA]目的：多項式重み付き積分の数値積分

  • 数値積分は，科学技術計算において不可欠であり，高精度な計算を可能とする。
  • 従来の数値積分法では，特異点や振動する関数に対して精度が低下する課題がある。
  • メビウス変換を用いることで，これらの課題を克服し，より効率的な数値積分を実現すること。
  • メビウス変換台形公式は，多項式重み付き積分の数値積分において，最適な収束レートを達成することが示された。
  • この結果は，積分関数の滑らかさの指数が正の整数の場合に特に有効である。
  • また，より弱い条件の下で，分数階の滑らかさの指数に対しても，ある程度の一般化が可能である。

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

• フレキシブルGMRES法の二段階収束 [math.NA, cs.NA]目的：フレキシブルGMRES法の残差の上限値

  • 線形方程式の解法は科学技術計算の基盤であり，効率的な手法が求められている。
  • 反復解法の収束性は問題の性質に依存し，事前条件付けが重要となる。
  • フレキシブルGMRES法の収束性を理論的に評価し，その特性を明らかにする。
  • フレキシブルGMRES法は，内部事前条件付けの許容誤差に応じて二段階の収束を示すことが明らかになった。
  • 許容誤差が小さい場合，収束はほぼ幾何的に進行する。
  • 許容誤差が緩い場合，二段階の収束挙動がより顕著になる。

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

• ノイズ誘起による滞在時間延長：決定論的軌跡を用いたデータ駆動型アプローチ [math.NA, cs.NA]目的：動力学的状態の滞在時間の研究

  • 気候変動予測において，大気モデルの長期的な安定性が重要であるため。
  • ノイズが加わると状態空間からの離脱が早まるとの直感が，実際には誤っている場合がある。
  • ノイズが十分小さい範囲において，ノイズによって滞在時間が延長される現象を解明する。
  • 数値シミュレーションにより，ある程度のノイズレベル下では，ノイズを含む系の方が決定論的系よりも平均的に長く状態に留まることが示された。
  • この現象は「確率的慣性」と呼ばれ，様々なモデルで確認された。
  • ノイズレベル固定時のマルコフ連鎖構築により，確率的慣性の存在を予測する手法が提案され，有効性が確認された。

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

• 境界条件不完全なStokes方程式に対するほぼ最適な回復アルゴリズム [math.NA, cs.NA]目的：境界条件が部分的にしか不明なStokes方程式における速度と圧力を数値的に近似すること

  • 流体シミュレーションは，工学，気象学など幅広い分野で不可欠であり，高精度な数値解法が求められる。
  • 境界条件が不完全な場合，速度と圧力の組み合わせが一意に定まらず，解の決定が困難となる。
  • 利用可能な速度と圧力の線形測定値を用いて，エネルギーノルムにおいて最適な解を回復すること。
  • 提案アルゴリズムは，測定値とStokes方程式を満たす全ての解との距離を最小化する速度-圧力の組み合わせを近似する。
  • これにより，境界条件が不完全な状況下でも，ほぼ最適な解が得られることが保証される。

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

• 有界・可換・離散トレース保存射影 [math.NA, cs.NA]目的：三次元ド・ラム複体の有界・可換・離散トレース保存射影の構築

  • 数値計算において，微分形式の離散化は重要な課題であり，その安定性と精度が求められる。
  • 既存の離散化手法では，トレースの保存や局所的な安定性の確保が困難な場合がある。
  • 区分多項式データに対する安定した離散化と，離散解と連続解の最適性の検証を目指す。
  • 本研究で構築された射影は，局所的に定義され，グラフノルムにおいて安定性を持つことが示された。
  • 特に，外微分に関わるグラフノルムは，境界付近の微小な振動と局所的なメッシュサイズによって制御される。
  • 区分多項式データに対する安定したリフティングの構築と，離散データと連続データの関係に関する最適性結果が得られた。

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

• 連続強制浸没境界法における一次精度以上の精度と，その良好な条件付き投影法による解法 [math.NA, cs.NA, physics.flu-dyn]目的：連続強制浸没境界法の精度向上とその条件付け

  • 流体解析において，複雑な形状を扱う際に浸没境界法は非常に有効である。
  • 従来の連続強制浸没境界法は，精度が一次精度に限られるという課題があった。
  • この研究は，浸没境界法の精度を向上させ，計算の安定性を高めることを目指す。
  • 提案手法では，滑らかな指示関数を用いて内部および外部場を分離し，精度向上を実現した。
  • ポアソン方程式において，実験的に二次の収束性を示し，非圧縮性ナビエ-ストークス方程式においても，ほぼ二次の性能を発揮した。
  • このアプローチは，不良条件の線形システムによる表面応力や，幾何学的解像度への依存性といった問題を同時に軽減する。

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

• 応用ランダム行列理論 [math.CO, cs.DM, math.PR, cs.NA, math.NA]目的：行列濃度の理論とその多様な応用

  • 計算数学の広範な分野でランダム行列の重要性が増しており，その理論的基盤が求められている。
  • 既存の手法では柔軟性，使いやすさ，強力さが不足しており，より洗練されたツールが必要とされている。
  • 行列濃度の不等式という強力なツールを提示し，計算数学への応用を促進することを目的とする。
  • 過去25年間の研究で確立された行列濃度の理論は，様々な応用可能性を秘めている。
  • 本稿では，その理論的背景と，応用例について概説する。
  • 行列濃度の理論は，計算数学における重要なツールとして，今後の発展が期待される。

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

• エントロピー最小二乗法のためのスケール・形状二重ニュートン法 [math.OC, cs.NA, math.NA]目的：エントロピー正則化された最小二乗法の解法

  • 最適化問題において，効率的かつ安定な解法は重要である。特に，非負制約下での最小二乗問題は応用範囲が広い。
  • 古典的な双対法は，有限精度演算におけるオーバーフローの影響を受けやすく，実用上の制約となる場合がある。
  • オーバーフローを回避し，安定かつ高速な収束を実現する解法を提案し，その有効性を検証すること。
  • 提案手法は，線形収束率と超線形〜二次収束率を両立し，古典的な双対法が抱えるオーバーフロー問題を克服できる。
  • スケール・形状分解により，非特異なヤコビ行列を得て，安定した計算を可能にしている。
  • 解析的継続を用いた量子モンテカルロデータに対する実験により，提案手法の頑健性と収束性が確認された。

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

• 結合型修正コルテベッヒ・ド・フリース方程式に対する数値逆散乱変換 [math.OC, cs.SY, eess.SY, nlin.SI, cs.NA, math.NA]目的：結合型修正コルテベッヒ・ド・フリース方程式の数値逆散乱変換の枠組み

  • 非線形波動現象の理解と予測には，高精度な数値解法の開発が不可欠である。
  • 従来の数値解法では，長時間のシミュレーションにおいて精度や安定性の問題が生じやすい。
  • 逆散乱変換を用いて，時間発展を直接計算し，長時間のシミュレーションを可能とすること。
  • 本研究では，結合型修正コルテベッヒ・ド・フリース方程式に対し，数値逆散乱変換の枠組みを構築した。
  • 行列値リーマン・ヒルベルト問題の解析と，Deift-Zhouの非線形最急降下法を適用し，$(x,t)$-平面を3つの領域に分割した。
  • 数値実験により，提案手法が長時間のシミュレーションにおいて，結合型修正コルテベッヒ・ド・フリース方程式解の主要な漸近的特徴を捉えることが示された。

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

• モンテカルロシミュレーションによる光学トモグラフィにおける周波数・時間領域ヤコビアンの計算 [physics.comp-ph, cs.NA, math.NA, physics.optics]目的：周波数・時間領域ヤコビアンの計算手法

  • 生物組織の光学トモグラフィは，非侵襲的なイメージング技術として医療分野で重要性が高まっている。
  • ヤコビアンの正確な計算は，画像再構成の精度に大きく影響するため，課題となっている。
  • モンテカルロシミュレーションを用いて，周波数・時間領域のヤコビアンを直接計算する手法を確立すること。
  • モンテカルロシミュレーションと拡散近似によって計算されたヤコビアンは，高い散乱領域において良好な一致を示した。
  • モンテカルロシミュレーションは，低い散乱領域において重要であることが示唆された。
  • 検出器モデルは表面感受性を低減し，短距離 (< 2 cm) の光源-検出器間隔において深部組織への感受性をわずかに向上させた。

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

• 非線形熱粘弾性におけるフレーム無関心な離散化：解析と数値シミュレーション [math.OC, cs.SY, eess.SY, math.AP, cs.NA, math.NA]目的：非線形熱粘弾性におけるフレーム無関心な離散化方法

  • 熱と変形が複雑に絡み合う材料挙動を予測するため，正確なモデルと数値解析が不可欠である。
  • 従来の離散化法では，フレーム無関心性が十分に保証されず，計算誤差や不安定性を招く可能性がある。
  • フレーム無関心性を時間離散レベルで強制することで，より安定で正確な数値解を得ることを目指す。
  • フレーム無関心性を時間離散レベルで強制する離散化スキームを提案し，解析的にその妥当性を検証した。
  • 提案手法は，既存の離散化スキームと比較して，フレーム無関心性をより厳密に満たすことが示された。
  • 数値シミュレーションにより，提案手法が安定性と精度に優れていることが確認された。

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

• アルゴリズム設計による人工ニューラルネットワーク：パラメータ付き偏微分方程式の深層演算子学習 [cs.RO, math.NA, cs.NA, stat.ML]目的：パラメータ付き偏微分方程式に関連する演算子の近似手法

  • 偏微分方程式は科学技術計算の根幹であり，高精度な近似解法が求められている。
  • 従来の数値解法は計算コストが高く，複雑な問題に対しては適用が困難な場合がある。
  • 既存の深層学習手法の性能向上と，数値解法の効率的な活用を目指す。
  • 提案手法であるADANNは，既存の数値解法や深層学習手法と比較して，大幅に性能が向上した。
  • ADANNは，特定の近似問題に合わせて，人工ニューラルネットワークの構造と初期化を設計することで，効率的な学習を可能にする。
  • 数値実験の結果，ADANNは様々なパラメータ付き偏微分方程式において優れた近似精度を示した。

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

• 1次元ヘルムホルツ方程式の有限差分法に対するフーリエ解析：厳密な評価と相対誤差 [math.NA, cs.NA]目的：有限差分法の絶対誤差と相対誤差の波数に依存する厳密な評価

  • 波動現象の数値解析において，精度と効率が重要となるため。
  • 有限差分法における誤差評価は，特に高波数において困難である。
  • 有限差分法の誤差の波数依存性を明確にし，誤差評価の理論的限界を定める。
  • 波数$k$が十分に大きく，条件$k(kh)^2/\sigma_k\le4/(\pi-2)$を満たす場合，絶対誤差の収束次数は$(kh)^2/\sigma_k^2$となる。
  • 相対誤差の収束次数は，$k(kh)^2/\sigma_k^2$であり，下界と上界が一致する点が本研究の新規性である。
  • フーリエ解析は，源項が存在する場合の有限差分法の評価に有用な視覚的ツールとなり得る。

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

• ホッジ・ディラック演算子の離散外微分形式の収束性 [math.NA, cs.NA]目的：ホッジ・ディラック演算子の離散化に関する収束性の証明

  • 離散外微分形式は，複雑な形状の解析やシミュレーションにおいて重要な役割を果たす。
  • 離散化された演算子の収束性を厳密に保証することは，計算精度と信頼性の観点から課題である。
  • 既存の枠組みを活用し，ホッジ・ディラック演算子の離散化における収束性を簡潔に示す。
  • 離散外微分形式の枠組みにおけるホッジ・ディラック演算子の離散化に関する収束性の短縮証明が提供された。
  • この証明は，先行研究で確立された手法に基づいている。

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

• ベジェ曲線の高速分割法 [cs.CL, cs.GR, cs.NA, math.NA]目的：ベジェ曲線の分割処理の効率化

  • CAD/CAMやCG等の分野において，ベジェ曲線は形状表現の基本として重要である。
  • 従来の分割アルゴリズムは計算コストが高く，大規模なデータ処理のボトルネックとなり得る。
  • 高速フーリエ変換を利用し，ベジェ曲線の分割処理をより効率的に行う手法を提案する。
  • 高速フーリエ変換を用いることで，従来の分割アルゴリズムよりも計算量を削減できることが示された。
  • 直接的な適用では数値的不安定性が見られたが，修正版アルゴリズムは良好な数値品質を持つことが確認された。
  • ベジェ曲線の制御点を追加した場合，分割処理の更新を高速に行えることが示された。

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

• 放物型問題に対する時間並列組み合わせ法 [math.NA, cs.NA]目的：放物型問題の時間並列解法

  • 科学技術計算において，高次元空間における放物型問題の効率的な解法は重要である。
  • 既存手法では，次元の増加に伴い計算コストが指数関数的に増大する課題がある。
  • 時間並列性と空間並列性を組み合わせることで，高次元問題への適用可能性を向上させる。
  • 本研究では，MGRITアルゴリズムと疎グリッド組み合わせ法，領域分割法を組み合わせた時間並列解法を提案した。
  • 提案手法は，最大6次元空間における放物型問題に対して，高いスケーラビリティと並列効率を示すことが確認された。
  • 熱方程式，化学マスター方程式，確率微分方程式などの応用例を通して，その有効性が示された。

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

• ニューラル常微分方程式の混合精度訓練 [cs.LG, cs.AI, cs.NA, math.NA]目的：ニューラル常微分方程式の混合精度訓練手法

  • 深層学習モデルの規模拡大に伴い，計算コストの増大が課題となっている。
  • 低精度演算を単純に適用すると，丸め誤差や不安定性が生じる可能性がある。
  • ニューラル常微分方程式の計算コストとメモリ消費量の増加を抑制すること。
  • 提案手法により，メモリ使用量を約50%削減し，最大で2倍の高速化を実現した。
  • 速度向上とメモリ削減を達成しつつ，単精度訓練と同等の精度を維持した。
  • カスタム動的随伴スケーリングと高精度での解・勾配の累積により，数値的信頼性を確保した。

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

• IgA離散化された楕円方程式に対する並列マッチングに基づくAMG前処理器 [eess.SY, cs.SY, cs.CC, cs.CG, cs.IR, math.NA, cs.NA]目的：IgA離散化された楕円方程式の解法効率向上

  • 工学・科学計算において，大規模な連立一次方程式の高速解法は重要課題である。
  • IgAは高精度だが，自由度間の結合が強いため，線形システムの条件数が悪化しやすい。
  • IgAを用いた大規模問題に対するAMG前処理器の性能向上を目指す。
  • AMG前処理器が，ロバストかつスケーラブルな性能を示すことが確認された。
  • 並列計算環境におけるAMGの効率性とスケーラビリティが評価された。
  • エンジニアリングおよび科学的応用における大規模IgAシステムの実際的なソルバーとしての可能性が示唆された。

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

• THB-スプラインを用いた等幾何学的シフト境界法における局所h-, p-, k-洗練戦略 [cs.RO, math.NA, cs.NA]目的：トリミングされた領域における等幾何学的シフト境界法(SBM)の精度，安定性，計算効率の評価

  • 複雑な形状の解析において，計算メッシュの生成が困難であるという課題が存在する。
  • SBMでは，小さなカット要素が剛性行列の悪条件化や境界条件の適用困難さを引き起こす。
  • THB-スプラインと局所洗練戦略を組み合わせることで，SBMのネウマン境界条件における精度低下を改善する。
  • 局所h-, p-, k-洗練戦略をTHB-スプラインとSBMに適用し，ベンチマーク問題で精度を検証した。
  • p-洗練，k-洗練は，SBMのネウマン境界条件における収束性の制限を緩和する効果が確認された。
  • 混合偏微分項を取り入れたシフト演算子が，SBMの性能向上に貢献することが示された。

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

• 力学における制約問題に対するニッチェ法 [math.NA, cs.NA]目的：力学における制約問題に対するニッチェ有限要素法の導出指針

  • 工学分野において，現実の問題は制約条件を伴う場合が多い。正確な解を得るには制約条件の適切な取り扱いが不可欠である。
  • 既存の方法では，複雑な制約条件や非線形問題への適用が難しい場合があり，計算コストが増大することが課題である。
  • 本研究は，複雑な制約条件を持つ非線形問題への適用を可能にするニッチェ法の汎用的な枠組みを提供する。
  • ニッチェ法は，鞍点問題の安定化有限要素法として定式化され，制約条件を効率的に組み込むことができる。
  • 本研究で提案するニッチェ法は，自動微分を用いた計算実装に適しており，古典的な境界条件適用法よりも柔軟である。
  • 固体力学における様々な問題に対する数値実験により，ニッチェ法の収束性が確認された。

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

• ニューラル事前条件付きBorn級数：学習型事前条件付け器のための指標整合フレームワーク [cs.DB, cs.CL, cs.FL, math.CO, math.DS, math.NA, cs.NA]目的：異方性媒質における高周波Helmholtz問題の求解

  • 偏微分方程式の数値解法における高性能化は，科学技術計算の発展に不可欠である。
  • 従来の反復法やニューラルPDEソルバーは，異方性媒質中の高周波Helmholtz問題に対して課題が残る。
  • Born級数と学習型事前条件付け器を組み合わせ，より効率的な求解手法を確立すること。
  • 提案手法であるNPBSは，Born級数を事前条件付けされた残差座標系として利用することで，反復回数を削減することを示した。
  • 指標整合的な学習目的関数を用いることで，直接的な残差学習や古典的なCBSよりも優れた性能が得られた。
  • この設計原理は，Helmholtz問題以外にも，拡散方程式や非線形偏微分方程式にも適用可能であることが示唆された。

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

• GLENN：ニューラルネットワークを用いたギンツブルク＝ランダウエネルギー最小化計算 [cs.CL, math.NA, cs.NA]目的：ギンツブルク＝ランダウエネルギーの最小化解の計算手法

  • 超伝導現象等の物性理解において，エネルギー最小化計算は重要な役割を果たす。
  • 古典的な数値計算では，パラメータ範囲の拡大や高精度化に課題がある。
  • ニューラルネットワークと有限要素法を組み合わせ，効率的な計算手法を提案する。
  • 提案手法では，ニューラルネットワークを単独のソルバーとして利用可能である。
  • また，ニューラルネットワークの結果を初期値として反復計算を行うことで，信頼性を向上させる。
  • 数値例を通して，提案手法の有効性を示す。

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

• 圧縮性理想流における障害物回避のための最適制御 [math-ph, cs.NA, math.MP, math.NA, math.OC]目的：圧縮性理想流の障害物回避に関する最適制御

  • 流体力学の基礎であり，航空力学や気象予測など，多岐にわたる分野に応用される。
  • 障害物存在下での流体制御は，現実的な問題設定でありながら，解析が困難である。
  • 障害物を回避するための流体制御の理論的枠組みを構築し，数値的な有効性を示す。
  • 最適制御の定式化により，修正されたオイラー方程式が得られた。
  • バリア項はラグランジュ配置に作用し，オイラー表現では有効圧力のシフトとして現れる。
  • 数値シミュレーションにより，バリア項が障害物近傍の局所的な流れの変形を引き起こすことが確認された。

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

• 最適実験計画：定式化と計算 [stat.ME, cs.NA, math.NA, stat.CO]目的：最適実験計画の定式化と計算手法

  • 自然科学，社会科学，工学など幅広い分野で，データ取得の最適化が重要である。
  • 実験計画の目標設定や，複雑なモデルにおける効率的なデータ収集が課題である。
  • 実験目標を定量的に定め，最適な実験計画を導くための方法論を確立すること。
  • 本研究では，古典的設計理論から最新の研究まで，最適実験計画の体系的な概観を提供する。
  • ベイズ統計や意思決定理論に基づいた柔軟なアプローチを強調し，非線形モデルや非ガウス分布モデルへの適用を示す。
  • 過去の実験結果を考慮した逐次型最適実験計画法など，新たな手法の可能性を提示する。

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

• 不安定拡散を識別するためのパスカーネル法 [math.PR, cs.NA, math.DS, math.NA]目的：確率微分方程式の線形応答の計算手法

  • 気象や金融など，確率的変動を伴うシステムの解析・制御において重要である。
  • パラメータ変化に対する応答の計算が，不安定な拡散のために困難である。
  • パス摂動からカーネル微分への移行により，不安定性を抑制する手法を確立する。
  • 確率微分方程式の線形応答に対するパスカーネル公式を導出し，その証明を与えた。
  • 本手法は，双曲性などの仮定なしに，パラメータの影響（ドリフト，拡散，初期条件）を考慮できる。
  • 40次元のノイズを含むLorenz-96システムに対し，パスワイズモンテカルロ法による有効性が確認された。

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

• McKean-Vlasov PDE の線形化に基づくフィードバック安定化 [math.OC, cs.NA, math-ph, math.MP, math.NA]目的：McKean-Vlasov PDE の安定化

  • 集団力学のモデル化において重要であり，複雑な系の挙動を理解する上で不可欠である。
  • 平衡状態への収束が遅い，あるいは不安定な平衡点が存在するケースがある。
  • 線形化に基づくフィードバック制御により，収束を加速し，安定化を図る。
  • 提案手法は，McKean-Vlasov PDE を特定の定常分布へ導き，収束を加速できる。
  • 線形化ダイナミクスに基づいたRiccati方程式からのフィードバック則を構築し，局所的な指数安定性を確立した。
  • 数値実験により，Kuramotoモデル，O(2)スピンモデル，von Misesポテンシャルなどへの有効性が確認された。

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

• 最悪条件数を超える最適対角事前条件付け：オメガスケーリングの理論と実践 [quant-ph, cs.CC, math.OC, cs.LG, cs.NA, math.NA]目的：最適対角事前条件付け

  • 線形方程式の求解において，計算効率と精度が重要であり，事前条件付けはそのための有力な手法である。
  • 従来の事前条件付け手法では，最悪条件数に基づく最適化に偏りがちで，実用上十分な性能が得られない場合がある。
  • 最悪条件数と平均に基づく条件数（オメガ条件数）の両方を考慮し，より効率的な事前条件付け手法を確立することを目指す。
  • 最悪条件数最適化問題に対し，効率的な解法を提案し，既存のSDPに基づく手法よりも高速かつ高精度な計算が可能となった。
  • オメガ条件数最適化問題において，ヤコビ法や行/列正規化などの古典的な事前条件付けが最適であることが理論的に示された。
  • 実験結果から，オメガ最適事前条件付けは，最悪条件数最適事前条件付けよりも計算コストが低く，反復解法の性能向上に貢献することが示唆された。

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

• ブレグマン正則化を用いた逆最適輸送問題の定式化と効率的アルゴリズム [math.OC, cs.NA, math.NA]目的：ブレグマン正則化を用いた逆最適輸送問題の定式化と解法

  • 輸送問題は，確率分布間の距離を測る上で重要な役割を担う。応用範囲も広く，機械学習等で活用が期待される。
  • 逆最適輸送問題は，コスト行列の構造が複雑な場合，解の存在性や安定性が保証されない場合がある。
  • コスト行列に対する構造的仮定の下で，解の存在・一意性・安定性を確立し，効率的な解法を提案すること。
  • コスト行列に対する構造的仮定のもと，解の存在，一意性，安定性を数学的に証明した。
  • 強凸ペナルティ項を持つ最適化問題に対し，不正確ブロック座標降下法(BCD)を提案し，線形収束率を確立した。
  • 数値実験を通じて，安定性境界の検証，正則化効果の調査，および婚姻マッチングデータセットへの応用を示した。

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

• 1