arXiv雑要約

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

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

• Wasserstein幾何流の学習のためのカーネル法 [math.NA, cs.NA, math.DS, math.ST, stat.TH]目的：Wasserstein幾何流を特徴づけるポテンシャル関数と相互作用カーネルの同時復元

  • 自然科学における複雑な力学系のモデリングに不可欠であり，多様な分野に応用されている。
  • これらの流を特徴づけるポテンシャル関数やカーネルの特定は，未だ十分に研究されていない。
  • 密度流の離散的観測データから，ポテンシャル関数と相互作用カーネルを同時に復元すること。
  • 提案手法は，Wasserstein流の変分構造を強制する損失関数を最小化する最適化問題として定式化されている。
  • 関連する再生核ヒルベルト空間を用いたカーネルベースのアプローチにより，未知の成分の閉形式表現が得られる。
  • 離散データと連続時間流れのダイナミクス間の安定性解析を行い，適応的な正則化パラメータ下での収束率を提示している。

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

• 平面ウィルモア流れに対する適応移動メッシュ法 [math.NA, cs.NA]目的：平面ウィルモア流れに対する適応移動メッシュ法の開発

  • 幾何学的形状の進化をシミュレーションする上で重要であり，物理現象の理解に役立つ。
  • 複雑な形状の変化を捉えるためには，高解像度のメッシュが必要だが，計算コストが増大する。
  • メッシュの解像度を動的に調整し，効率的かつ正確なシミュレーションを実現すること。
  • 提案手法では，接線速度を導入することでメッシュを動的に再配置し，複雑な形状の変化を高精度に捉える。
  • エネルギー安定性を確保するため，緩和ラグランジュ乗数法を導入した新たな移動メッシュ法を開発した。
  • 数値実験により，提案手法は複雑な形状のウィルモア流れの幾何学的進化を正確に捉え，高いロバスト性と計算効率を示すことが確認された。

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

• 一次元における鏡面微分：準平均値の定理，正則性，および不連続性 [eess.SY, cs.SY, math.OC, math.NA, cs.NA]目的：鏡面微分の理論

  • 古典的な微分を拡張する新しい概念であり，様々な関数解析への応用が期待される。
  • 鏡面微分と関数の連続性，正則性の関係が十分に解明されていなかった。
  • 鏡面微分と関数の連続性，正則性に関する定理を確立し，その性質を明らかにする。
  • 鏡面微分可能かつ連続な関数に対し，準平均値の定理を確立した。
  • 鏡面微分の連続性は$C^1$正則性を意味することが示された。
  • 鏡面微分の不連続点は高々可算集合であることが証明された。

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

• カーネル積分的視点からのニューラル演算子の幾何学的一般化 [cs.CL, math.NA, cs.NA]目的：偏微分方程式解作用素の近似モデルであるニューラル演算子の幾何学的一般化

  • 科学技術計算において，高精度を必要としない場合に効率的な多点クエリ計算を実現する点が重要である。
  • 形状が変動する現実の問題に対して，未知の形状への一般化が重要な課題となっている。
  • 幾何学的依存性のあるカーネル作用素の近似を通じて，様々な形状に対する一般化能力の向上を目指す。
  • 古典的な境界積分法に着想を得たカーネル積分的視点から，幾何学的一般化のメカニズムを明らかにした。
  • Ewald 合和法に着想を得た多重スケール点群ニューラル演算子を提案し，高速カーネル和計算との関連性を示した。
  • 特異カーネルで定義された線形作用素に対する近似保証を確立し，様々な形状での頑健な一般化を実験的に示した。

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

• カーネルを用いた区分線形補間 [math.NA, cs.NA]目的：区分線形補間における収束レートの解析

  • 補間は数値解析において基礎的な手法であり，様々な応用分野で利用されている。
  • 古典的な区分線形補間では，高次の微分可能性が保証されないという課題がある。
  • カーネルを用いたアプローチにより，より厳密な理論的解析と収束レートの導出を目指す。
  • Sobolev空間$W_2^1(0, 1)$における適切な内積を用いることで，その再生カーネルが区分線形となることを示した。
  • このカーネルが特定の二階偏微分方程式のグリーン関数となることを示し，カーネルベースの超収束理論を用いた。
  • 関数が$W_2^s(0, 1)$に属する場合，近似の収束レートが古典的な線形スプラインのレートと一致することを確認した。

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

• 変数係数を用いた行列の逆行列計算アルゴリズム [cs.CL, math.NA, cs.NA]目的：行列の逆行列を計算するための効率的な一般化されたシュルツ反復法の構築

  • 線形代数における基礎演算であり，科学技術計算の様々な分野で不可欠である。
  • 既存の方法では，計算コストや数値安定性の問題が残されている場合がある。
  • Frobeniusノルムに基づいた最適な係数選択により，効率性と安定性を両立する手法を開発する。
  • 提案手法は，変数係数を用いた反復形式 $$ X_{k+1} = X_k(a_0^{(k)}I+a_1^{(k)}AX_k) $$ を採用している。
  • 係数を最適化することで，理論的にも数値的にも効率的な逆行列計算が可能となることが示された。
  • 数値実験の結果は，提案手法が数値的に安定であり，高い精度で逆行列を計算できることを確認した。

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

• ポート・ハミルトニアン系に対する構造保存型一般化多様体ガレルキン簡約化法 [math.NA, cs.NA]目的：ポート・ハミルトニアン系の構造保存型モデル次数縮約

  • エネルギーに基づくモデリングから導出されるシステムを扱う上で，系の性質維持は重要である。
  • 既存手法は，近似写像や基底システムの構造に依存し，適用範囲が限定されている。
  • 一般的な近似写像を用いながら，ポート・ハミルトニアン構造を保存する簡約化手法を開発する。
  • 提案手法は，一般化多様体ガレルキン法に基づき，既存手法よりも低い相対誤差を実現した。
  • 構造保存のための十分条件が確立され，非退化条件が一般的に満たされることが示された。
  • 線形および二次近似写像が提案フレームワーク内で提示された。

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

• 欠陥拡散係数を用いた部分空間分解 [math.NA, cs.NA]目的：多尺度不均一係数を持つ拡散問題に対する効率的な事前条件付け手法

  • 不均一な係数を持つ拡散問題は，数値計算の安定性や収束性に影響し，高性能なソルバーが求められている。
  • モンテカルロシミュレーションなど，多数の微細な実現に対して部分空間分解事前条件付けを繰り返し構築するのは計算コストが高い。
  • ランダムな欠陥の局所的な構造を利用し，オフライン・オンライン近似による事前条件付け手法を開発し，コスト削減を目指す。
  • 提案手法は，少数の基準構成に対する局所的な部分空間解をオフラインで事前計算し，任意の実現に対して効率的に組み合わせる。
  • 数値実験により，提案手法がロバストかつ効率的であることが確認された。スペクトル特性の分析も行われた。

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

• バロトロピックオイラー方程式に対する漸近保存的・エネルギー安定有限体積法の誤差解析 [eess.SY, cs.SY, math.NA, cs.NA]目的：圧縮性オイラー系に対するエネルギー安定性と漸近保存性を持つ有限体積スキームの誤差解析

  • 流体シミュレーションは，気象予測や航空力学など，幅広い分野で不可欠な技術である。
  • 圧縮性流体方程式の数値解法は，高次精度化や安定性確保が難しいという課題がある。
  • 低マッハ数領域における非圧縮性流体への漸近挙動を理論的に保証することが求められている。
  • 相対エネルギー枠組みを用いることで，離散化パラメータに関して一様収束する厳密な誤差評価を確立した。
  • 低マッハ数領域では，数値解と非圧縮性オイラー系の強解との誤差が，εと離散化パラメータに関して一様収束することが示された。
  • 数値実験は，理論的解析を裏付ける結果を示しており，スキームの有効性を確認した。

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

• スプイルオーバーのない$(\star,\epsilon)$-回文システムのモデル更新に関する新アプローチ [math.NA, cs.NA]目的：スプイルオーバーのない$(\star,\epsilon)$-回文システムにおけるモデル更新問題

  • 制御理論において，システムモデルの精度向上は重要な課題である。制御性能を左右するため。
  • 既存手法では，回文システムにおけるモデル更新条件が限定的であり，解法も十分でない。
  • 回文システムのモデル更新可能性の十分条件を導出し，解析解を特徴づけること。
  • 標準対$(X,\ J)$とパラメータ行列$\Gamma$によるスペクトル分解により，モデル更新が可能になる。
  • ブロック対角行列を仮定した場合の$\Gamma$の構造が明らかになった。
  • 単純および多重固有値の両方に対応できるアルゴリズムが開発され，数値例で性能が示された。

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

• 観測された変位からマグマ溜りの状態を推定する変分法 [math.NA, cs.NA]目的：マグマ溜りの状態推定

  • 火山活動の予測において，マグマ溜りの状態把握は不可欠である。
  • 地表変位データからの逆問題は，解が不安定になりやすい。
  • 高精度計算により，正当な解を導く手法を確立する。
  • 変分法によるコスト関数最小化によって，マグマ溜りの状態推定が可能となった。
  • 得られた線形システムの条件数は高いものの，高精度演算により適切な解が得られた。
  • 一般的な正則化手法を適用せずに，安定した解を得ることに成功した。

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

• スケッチ付き最小二乗法とランダム低ランク近似の厳密な解析 [math.NA, cs.NA, stat.CO]目的：スケッチ付き最小二乗法とランダム低ランク近似における最適なランダム埋め込みの特定

  • 大規模データへの応用が期待されるため，計算効率の良いアルゴリズムが重要である。
  • 既存の手法では，ランダム埋め込みの最適性が不明確であり，誤差の理論的な上限が未解明であった。
  • 最適なランダム埋め込みを導出し，その誤差の厳密な上限を明らかにすることで，アルゴリズムの性能向上を目指す。
  • ランダムな直交行列がスケッチ付き最小二乗法に対して，回転不変埋め込みがランダム低ランク近似に対して，それぞれミニマックス最適であることが証明された。
  • 導出された埋め込みに基づき，スケッチ付き最小二乗法とランダム低ランク近似のエラーについて，可能な限り最良のエラーの上限が得られた。
  • 実験結果から，複数のランダム埋め込みが，最適埋め込みと同程度の精度を示す普遍的な現象が確認された。

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

• モデル誤指定下におけるオペレーター学習のための物理制約による補正 [math.NA, cs.NA]目的：モデル誤指定下での解オペレーター学習

  • 偏微分方程式の解法は科学技術計算の根幹であり，その効率的な近似手法が求められている。
  • 既存手法は支配方程式の精度を前提とするため，現実のモデル簡略化や不完全性による誤差が生じやすい。
  • 誤指定された支配方程式下でも，物理構造を維持しつつ誤差を低減する学習フレームワークを構築すること。
  • 提案手法では，近似モデルと学習可能な補正オペレーターに解写像を分解し，物理残差とデータ整合性制約を用いて学習を行う。
  • 拡散反応，バーガース，キャビティ流れ，超弾性問題の数値実験により，誤指定された物理による誤差を大幅に削減できることを示した。
  • 疎観測やノイズ下での実験からも，フレームワークのロバスト性と不確実性推定能力が確認された。

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

• 境界積分方程式に対する多水準確率的勾配ニューラルソルバー [math.NA, cs.NA]目的：境界積分方程式の数値解法

  • 境界要素法は，複雑な形状の物理問題を効率的に解くために広く用いられている。
  • 従来の境界要素法の計算コストは，離散化された線形システムの解法に依存する。
  • ニューラルネットワークを用いて，計算コストを削減し，高次元問題への適用を可能にすること。
  • 本研究では，多水準確率的勾配法を用いたニューラルネットワークソルバーを開発した。
  • ネットワークの学習は，Nyström離散化された残差を最小化することで行われ，残差の収縮は経験的ニューラル接線カーネルによって支配される。
  • 実験結果から，提案手法はGMRESと比較して，同等の精度で効率的に問題を解くことが示された。

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

• 劣モジュラリティの視点を通じた列部分集合選択の再検討 [cs.CY, math.NA, cs.NA]目的：最大体積を持つk個の列の選択

  • データ解析において，高次元データの次元削減は重要な課題である。
  • 列部分集合選択は計算コストが高く，最適な解を得ることが困難である。
  • 劣モジュラリティの性質を利用し，効率的なアルゴリズムを開発する。
  • 列の体積の対数は劣モジュラ関数であり，特定の条件下では非負かつ非減少関数である。
  • 古典的なBusinger-Golub QR法は貪欲アルゴリズムであり，相対誤差は最大37%である。
  • Gu-Eisenstat QR法は1-交換アルゴリズムであり，相対誤差は最大50%である。QR法によるピボット選択の有効性が確認された。

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

• エルミート補間への直接的アプローチ [math.NA, cs.NA]目的：エルミート補間における多項式群の性質

  • 数値解析において，関数の近似は不可欠であり，エルミート補間はその重要な手法の一つである。
  • 従来のエルミート補間は，差分計算や再帰的な修正が必要であり，計算が複雑になる場合がある。
  • 差分計算や再帰的な修正を必要とせず，直接的にエルミート補間多項式を求める手法を確立すること。
  • 古典的なラグランジュ補間多項式と同様の関係を持つ多項式群を導入し，エルミート補間の明示的な公式を得た。
  • 任意の多重度を持つエルミート補間多項式を，差分計算や補助的なベズーの恒等式を用いずに導出した。
  • エルミート自身の積分公式に基づくアプローチを詳細に解説し，補間多項式の導出と誤差評価を行った。

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

• ノヴァク-ヴォジニアコフスキ予想の証明：逆星開差の最適な多項式計算量指数 [eess.SY, cs.SY, math.NA, cs.NA]目的：逆星開差 $n^\ast(d, \varepsilon)$ に関する多項式計算量指数の最適性

  • 数値積分の計算量評価において，誤差と計算量の関係を明らかにする事は重要である。
  • 逆星開差の指数に関する上限と下限は存在したが，正確な指数が未解決であった。
  • 逆星開差における$\varepsilon$の指数が最適であること，すなわちノヴァク-ヴォジニアコフスキ予想を証明する。
  • 本研究により，逆星開差の上限における$\varepsilon^{-1}$の指数２が最適であることが示された。
  • 上限と下限の指数がそれぞれ１と２であることが，最適な多項式計算量指数であると証明された。
  • これにより，ノヴァク-ヴォジニアコフスキ予想が証明された。

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

• 一類楕円変分不等式の解法に対するニューラルネットワークアプローチ [math.OC, cs.NA, math.NA]目的：一類楕円変分不等式の解法

  • 偏微分方程式の解法は，科学技術計算の中核であり，様々な現象のモデル化に不可欠である。
  • 従来の数値解法は，問題設定によっては計算コストが高く，複雑な形状や境界条件への対応が困難である。
  • ニューラルネットワークを用いて，複雑な問題に対しても効率的かつ高精度な解法を提供する。
  • 本研究では，ニューラルネットワークを用いた弱対抗的アプローチにより，障害物問題を解決する。
  • この手法は，楕円演算子が対称である必要がなく，従来の数値解法が苦手とするbiactivity（厳密な相補性の欠如）を持つ障害物問題にも容易に対応できる。
  • 連続問題の適切な離散化に対する誤差解析を行い，近似誤差と統計的誤差を推定した結果を報告する。

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

• 1+1次元非線形ディラック方程式の時間分割スキームのL2収束性 [math.AP, cs.NA, math.NA]目的：1+1次元非線形ディラック方程式のコーシー問題に対する時間分割スキームの近似解の収束性

  • 相対論的量子力学の基礎方程式であり，高エネルギー物理学において重要な役割を担う。
  • 数値計算における安定性と精度が課題であり，特に非線形項の扱いに難がある。
  • 時間分割スキームのL2安定性と相対コンパクト性を証明し，厳密解への収束を示す。
  • 初期データがL2空間で収束するという仮定の下で，時間分割スキームによる近似解が強収束することが示された。
  • 時間分割解の点ごとの評価式を確立し，改良されたグリム型関数を用いて時間的な一様有界性を証明した。
  • 時間分割解の集合がC([0,T];L2(R))空間で相対コンパクトであることが示され，強解への収束が導かれた。

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

• 層比率モンテカルロによるデデキント数の有限-n推定 [q-bio.GN, cs.PF, math.CO, cs.IT, cs.NA, hep-th, math-ph, math.IT, math.MP, math.NA]目的：デデキンド数の推定

  • 組み合わせ論において，デデキンド数はブール代数や格子の構造を理解する上で重要である。
  • デデキンド数の正確な計算は，組み合わせ的な爆発により困難を伴う。
  • モンテカルロ法を用いて，デデキンド数を効率的に推定する手法を開発する。
  • 層比率モンテカルロ法により，デデキンド数M(n)の推定が可能となった。
  • M(9)の高精度推定は，これまで経験的に単峰性があるとされていたウィットニー数の系列に，中央ランク付近に二つの肩を持つ特徴があることを示唆した。
  • M(10)の推定値は(8.9360±0.0010)×10^78であり，予算に基づいた不確実性評価も提供された。

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

• ランダムErdős-Rényiグラフ上のエネルギー地形の超計量組織：障壁階層の位相的起源 [cond-mat.stat-mech, cond-mat.dis-nn, cs.NA, math.NA]目的：ランダムErdős-Rényiグラフ上で定義された抽象的なエネルギー地形の超計量組織に関する仮説の検証

  • 複雑なシステムにおけるエネルギー地形の理解は，物理化学，生物学，機械学習など幅広い分野で重要である。
  • エネルギー地形の複雑さや，探索における障壁の存在は，効率的なシミュレーションや最適化を困難にする。
  • エネルギー地形の組織化原理を明らかにすることで，複雑なシステムの振る舞いを予測し，効率的な探索を可能にすることを目指す。
  • 計算実験により，提案された計量は高い程度の非自明な超計量性を示すことが示された。
  • エネルギー間隔幅が広いほど，超計量性が単調に増加する傾向が確認された。
  • 結果は，エネルギー地形の超計量組織が，任意のトポロジーを持つネットワークの普遍的な漸近的性質であることを示唆する。

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

• 体積保存変形群上のヴァコノミック流体 [math-ph, cs.GR, cs.NA, math.DG, math.DS, math.MP, math.NA, physics.flu-dyn]目的：非圧縮性オイラー方程式の離散化手法

  • 流体シミュレーションは，気象予測や航空力学など，様々な科学技術分野で不可欠である。
  • 体積保存変形群を用いた離散化では，非ホロノミック制約の扱いが課題となっていた。
  • ヴァコノミックな視点を取り入れ，安定性と物理的リアリズムを向上させる。
  • 本研究では，ヴァコノミックな視点に基づき，離散化された流体軌跡が（部分）リーマン多様体上の測地線となることを示した。
  • その結果，カシミール不変量の機械精度での保存とケルビン循環定理の離散的な類似性が確認された。
  • 低解像度においても安定した挙動を示し，長期的なロバスト性と物理的リアリズムの向上に貢献する。

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

• 共分散行列の固有ベクトルと固有空間の推定：一貫性のための最適境界と条件 [math.CO, cs.CC, math.CO, cs.DM, math.ST, cs.NA, math.NA, math.PR, stat.TH]目的：共分散行列の固有ベクトルと固有空間の推定誤差解析

  • 高次元データ解析において，共分散行列はデータの構造を捉える上で重要である。
  • サンプルサイズが有限の場合，共分散行列の推定には誤差が生じ，その評価が課題となる。
  • 推定誤差の上限と下限を導出し，一貫性のための条件を明らかにすること。
  • 提案手法により，幅広いパラメータ範囲において推定誤差の最適境界を導出した。
  • 推定誤差の一貫性に関する新たな必要十分条件が得られた。
  • 有効ランクが次元よりも小さい場合に，サンプルサイズが線形に依存する条件を示した。

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

• 1
• 2