arXiv雑要約
数値解析 - 2026/08/04 公開
ポリア条件からハイパーインターポレーションの$L^2$収束に関する完全な特徴付けへ [math.NA, cs.NA]目的：ハイパーインターポレーションの$L^2$収束に関する必要十分条件の特定
- 数値積分や関数近似において，誤差評価と収束性の保証は不可欠であるため。
- ハイパーインターポレーションの$L^2$収束に必要な条件が1995年以来未解決であった。
- ハイパーインターポレーションの$L^2$収束を決定する条件を明確にすることで，その理論的基盤を確立する。
- ハイパーインターポレーションの$L^2$収束には，$L^1$-$L^2$マルツィンキエヴィッツ・ジグムント条件と多項式の漸近的関数近似特性が両方とも必要かつ十分である。
- 最適な$L^1$-$L^2$ MZ定数は，ハイパーインターポレーション演算子の作用素ノルムと一致し，自然なバナッハ空間の双対解釈を持つ。
- ポリアの古典的な積分収束条件は，ハイパーインターポレーションの$L^2$収束には不十分であることが示された。
変形性多孔質媒体における自由表面流と浸透を扱う半陰解法ダブルポイント材料点法 [cs.NI, cs.CL, math.NA, cs.NA, physics.flu-dyn]目的：大規模変形下における土-水相互作用，浸透，自由表面流を扱う材料点法(MPM)の新たな半陰解法ダブルポイント定式化
- 地盤工学における土と水の相互作用は重要であり，自然災害やインフラの安定性に影響する。
- 従来のMPMでは，高速な浸透や強い自由表面運動を伴う問題で時間積分が不安定になる。
- 本研究は，数値的安定性を高め，高速な流れや波の打ち砕きを再現する手法を開発する。
- 水相を陰解法で，土相を陽解法で扱い，安定かつ効率的な時間積分を可能にした。
- 非線形ダルシーの法則を導入し，高レイノルズ数における界面抵抗をモデル化した。
- 実験との比較により，自由表面の変動，圧力時間履歴，浸透，波形計記録などの再現性が確認された。
安定化された半陰解法に基づく材料点法による斜面崩壊の研究 [math.NA, cs.NA]目的：斜面崩壊シミュレーションのための新たな手法
- 地盤災害の軽減は社会インフラの維持に不可欠であり，その予測精度向上は喫緊の課題である。
- 従来の材料点法では，大規模変形を伴う斜面崩壊のシミュレーションに課題が残されていた。
- 二相流体としての土と水の挙動をより正確に捉え，斜面崩壊シミュレーションの信頼性向上を目指す。
- 提案手法は，従来の単一材料点法と比較して，斜面崩壊の挙動をより信頼性の高い形で再現できることが示された。
- 土と水をそれぞれ異なる材料点群で表現する二点アプローチが，シミュレーション結果に大きな影響を与えることが確認された。
- 水相材料点の導入による計算コスト増加は許容範囲であり，大規模変形を伴う地盤問題への適用が推奨される。
一般共鳴多様体を持つ3波運動方程式および$C_{12}$量子ボルツマン方程式に対するスペクトルアルゴリズム [math.NA, cs.NA]目的：3波運動方程式および$C_{12}$量子ボルツマン方程式の数値解法
- プラズマ物理や流体現象など，多くの物理現象のモデルとして運動方程式が重要である。
- 共鳴条件は計算コストを増大させ，数値解法の精度を低下させる主要な課題である。
- 一般的な多次元方程式における，効率的かつ高精度な共鳴条件の取り扱いを目指す。
- 2つのスペクトル離散化手法を提案し，計算複雑度を$\mathcal{O}\big(L(2N)^{3d}\big)$から$\mathcal{O}\big(L(2N)^{2d}\log(2N)\big)$に削減した。
- 高速アルゴリズムは，従来のアルゴリズムと同等の精度を保ちつつ，大幅な計算時間の短縮を実現した。
- シミュレーションにより，エネルギーカスケードや分散関係の重要性など，共鳴ダイナミクスの特徴を明らかにした。
微分可能なマルチグリッド線形ソルバーを用いた変分推論 [math.NA, cs.NA, physics.med-ph, stat.CO]目的：高次元前方モデルのヤコビアンおよび随伴ヤコビアン演算子への効率的なアクセス
- 勾配ベースのベイズ推論は，科学計算やデータ同化など幅広い分野で重要である。
- 自動微分に対応したマルチグリッドソルバーは稀であり，効率的な計算が困難である。
- 偏微分方程式制約問題における変分推論のための実用的な構成要素を提供する。
- 開発した微分可能なマルチグリッドソルバーDMGSは，NIFTyフレームワークにおいて効率的なヤコビアン演算を可能にする。
- 3次元の逆問題において，モンテカルロシミュレーションデータからの効果的な放射源の再構成に成功した。
- 随伴演算のピークメモリ使用量は，JAXネイティブのマルチグリッド実装と比較して一貫して低く抑えられた。
列サンプリングによる準線形時間固有ベクトル近似 [cs.CY, cs.HC, cs.DS, cs.NA, math.NA]目的：大規模行列の主要な固有ベクトルの近似手法
- 行列計算は，機械学習，データ分析など広範な分野で不可欠である。
- 大規模行列の固有ベクトル計算は，計算コストが高く課題となる。
- 列サンプリングにより計算量を削減し，効率的な固有ベクトル近似を実現する。
- 本研究では，対称行列から$\tilde{O}(\log n/\epsilon^4)$個の列をサンプリングするアルゴリズムを提案した。
- 提案アルゴリズムは，絶対誤差$\epsilon n$の範囲内で固有ベクトルを近似できる。
- 特に最大固有値に対応する固有ベクトルの近似では，サンプリング数を$\tilde{O}(\log n/\epsilon^2)$に削減可能である。
ナビエ-ストークス方程式に対する変分多重尺度安定化を用いたヘルムホルツ-ルレー投影法 [math.NA, cs.NA]目的：非圧縮性ナビエ-ストークス方程式の安定した速度-圧力結合の維持と，アドベクション支配領域における不安定性の抑制
- 流体シミュレーションは，工学設計や気象予測など，様々な分野で不可欠な技術である。
- ナビエ-ストークス方程式の数値解法では，安定性と精度の両立が困難であるという課題がある。
- この研究は，速度-圧力結合を効果的に処理し，計算効率を向上させる新しい数値解法を提案する。
- 変分多重尺度(VMS)安定化を組み込んだヘルムホルツ-ルレー投影法を提示し，非線形な速度予測子，圧力ポアソン方程式，速度投影の3つのサブ問題に分解する。
- 圧力に微細スケール分解を適用しないことで，ドラッグの過大予測や過剰なモデル化された散逸を抑制し，ダイバージェンス誤差を増加させるトレードオフを示す。
- テイラー-グリーン渦のテストにおいて，投影法は同一のソルバー設定下で，ステップあたりの平均解算時間を約1.3倍から2.7倍削減した。
局所 Chan-Vese 分割のための MBO スキーム [cs.NI, cs.DC, cs.CV, cs.NA, eess.IV, math.NA]目的：局所 Chan-Vese (LCV) モデルの解法
- 画像処理において，正確な画像分割は重要であり，医療診断や画像解析の精度向上に不可欠である。
- 従来の Chan-Vese モデルは，輝度変化に弱く，複雑な画像を正確に分割することが困難である。
- 本研究は，LCV モデルの効率的な解法を提供し，よりロバストで高速な画像分割を実現することを目指す。
- 提案手法は，LCV モデルを解くための Merriman-Bence-Osher (MBO) スキームを導出し，効率的な実装を提案する。
- 本アルゴリズムは，2相および多相分割に対応し，カラー画像への拡張も議論する。
- 様々なグレースケール画像およびカラー画像（医療画像や顕微鏡画像を含む）への適用により，提案手法の有効性が示された。
ポリアクステップサイズを用いた一般化絶対値方程式の解法のための確率的反復法 [math.NA, cs.NA]目的：一般化絶対値方程式を解くための効率改善
- 絶対値方程式は，信号処理や制御理論など，様々な分野で重要な役割を果たす
- 従来の反復法は，ステップサイズの調整が難しく，収束が遅い場合がある
- 確率的ステップサイズを導入し，収束速度を向上させることを目指す
- 本研究では，ポリアクステップサイズを確率的反復法に組み込むことで，計算効率の向上を示した
- 提案手法は，期待値において線形収束性を持つことが理論的に証明された
- 数値実験の結果，ポリアクステップサイズの導入が，従来の定数ステップサイズ法よりも大幅に性能を向上させることが確認された
非等温可変密度軟化ステファン問題の自己相似構造と改良された低マッハエンタルピー法 [math.NA, cs.NA, physics.flu-dyn]目的：相変化問題におけるエンタルピー法の精度と収束特性の解析
- 産業プロセスにおける溶融・凝固現象のシミュレーションは，製品品質向上や効率化に不可欠である。
- 密度比が大きい相変化材料において，エンタルピー法の精度が低下する問題がある。
- エンタルピー法の自己相似構造を明らかにし，密度比への依存性を改善すること。
- エンタルピー法で解かれる軟化ステファン問題が，自己相似構造を持つことが示された。
- この構造により，支配方程式は2つの未知パラメータを含む境界値問題に簡約される。
- 密度比が1から3に増加した場合に，低マッハエンタルピー法の安定性と精度が向上することが確認された。
積分に基づく $f(A)b$ の前処理のためのフレームワーク [math.NA, cs.NA, hep-lat]目的：大規模疎行列における行列関数作用 $f(A)b$ の計算効率向上
- 大規模疎行列の計算は科学技術計算の根幹であり，効率的な解法が求められている。
- 標準的なクライロフ部分空間法は，スペクトル分布が悪い場合に停滞し，計算ボトルネックとなる。
- 行列関数のコーシー積分表現に基づき，クライロフ部分空間生成と独立した前処理法を開発し，効率改善を目指す。
- 合理的なシフト＆インバート前処理において，最適なスペクトル圧縮と有限精度不安定性のトレードオフを解消。
- Double Modified Gram-Schmidt再直交化によるクローズドフォーム抽出により，虚偽の極の生成を排除。
- 行列を用いない多項式アプローチとSchur分解による数値安定性の確保，LRデフレーションによる収束加速を実現。
n次元多様体に対する新しい双射角度・体積保存型平衡パラメトリゼーション [math.NA, cs.NA]目的：n次元多様体に対する平衡かつ双射的なパラメトリゼーション
- 幾何モデリングやシミュレーションにおいて，多様体の正確な表現は不可欠である。
- 既存手法では，角度と体積の歪みを同時に抑制することが困難であった。
- 角度と体積を保存しつつ，多様体の歪みを最小化するパラメトリゼーションを提案する。
- 本研究では，共形性と体積保存項を組み合わせたエネルギーを提案し，局所的な異方性と体積の歪みを制御する。
- 離散レベルでは，これらのエネルギーの勾配が統一的なコタンジェントラプラシアン型で表現可能となり，効率的な計算を実現する。
- 符号付き単体ヤコビアン，実行可能性回復，厳密な向き保存型対数障壁により，双射性を保証する。
温度依存性非線形熱放射問題に対する高次多重尺度法とその収束解析 [math.NA, cs.NA, math.AP]目的：複合構造における温度依存性非線形熱放射のシミュレーションモデル
- 高温環境下での材料利用において，熱放射の正確な予測は不可欠である。
- 従来のモデルでは，複合構造における温度依存性非線形熱放射を高精度に扱いきれない場合がある。
- 高精度で効率的な多重尺度法を開発し，熱放射シミュレーションの精度と計算コストを改善すること。
- 本研究で提案する多重尺度法は，従来のモデルと比較して，数値精度と計算効率の両面で優れている。
- 高次補正項を導入することで，熱量の局所的な保存性を高め，より正確なシミュレーションを可能にした。
- 離散化された解に対する収束レートの解析的導出にも成功し，手法の信頼性を高めた。
一般化モジュロヒステリシス符号化 [math.NA, cs.NA, eess.SP]目的：高ダイナミックレンジ信号の効率的な符号化方式
- センシング技術の発展と，それによる高ダイナミックレンジ信号処理の重要性が高まっている。
- 従来のモジュロヒステリシスモデルには限界があり，信号の折り畳み性能に課題があった。
- より柔軟な折り畳み関数と非理想的な移行特性を考慮し，信号のより正確な再構成を目指す。
- 一般化モジュロエンコーダの数学的性質を厳密に研究し，バンドリミット信号の一意決定条件を導出した。
- 数学的保証に基づいた信号復元アルゴリズムを提案し，理論的結果を数値実験で検証した。
- 信号の折り畳みを柔軟に設計することで，高ダイナミックレンジ信号処理の効率化に貢献する。
不定性最小二乗問題に対するブロック正則化事前条件付き反復法に関する研究 [math.NA, cs.NA]目的：不定性最小二乗問題の効率的な解法
- 大規模データ解析や機械学習において，最小二乗問題は基本的な計算タスクである。
- 不定性最小二乗問題は，従来の解法では収束が遅く，計算コストが高いという課題がある。
- ブロック正則化を用いて，効率的かつロバストな反復解法を開発し，計算コストを削減する。
- 提案するブロック正則化スプリット（BRS）フレームワークと事前条件付け法は，既存手法よりも少ない反復回数で収束することを示した。
- 改良版の緩和BRS（RBRS）事前条件付け法は，スペクトル特性を向上させ，クライロフ部分空間法の収束を加速することが確認された。
- 稠密および疎行列による数値実験の結果，提案手法は計算時間と効率において優れていることが示された。
静的ハミルトン-ヤコビ方程式に対する高次WENOに基づく半陰解法ニュートン型高速掃引法 [math.NA, cs.NA]目的：静的ハミルトン-ヤコビ方程式の解法
- 波動伝播など，様々な現象をシミュレーションする上で，ハミルトン-ヤコビ方程式の効率的な解法が重要である。
- 従来の解法では，高精度化と計算コストの増大というトレードオフが存在する。
- 高次WENO近似を用いて，高精度かつ効率的な解法を開発し，波動伝播問題への応用を目指す。
- 提案手法は，移動流体中の波動伝播問題に適用され，その有効性が確認された。
- 列方向，行方向，列行方向の３つの掃引戦略を比較検討した結果，いずれも良好な性能を示した。
- 二次元および三次元空間における数値実験により，提案手法の精度と効率が実証された。
運動方程式における不確実性評価のためのニューラルサロゲートを用いた変分法 [cs.CL, cs.CL, math.NA, cs.NA]目的：運動方程式における不確実性評価手法
- ボルトマン方程式など，高次元モデルの計算コストが課題であり，効率的な不確実性評価が求められている。
- 高精度なシミュレーションには計算資源が膨大に必要であり，現実的な時間内での解析が困難である。
- ニューラルサロゲートを用いることで計算コストを削減し，効率的な不確実性評価を実現することを試みる。
- ニューラルサロゲートを用いた変分法は不偏性を保ち，近似誤差が分散に与える影響を制御できることが示された。
- ホモジニアスなフォッカー・プランクやバトナガル・グロス・クロックサロゲートに対する残差安定性評価が組み合わされた。
- 流体極限では，最適な階層的分散が極限オイラー制御に関連する分散に収束し，中間的な運動論的補正の効果が消失する。
RBF近似と計算に関する成果，課題，そして新たな展開 [math.NA, cs.NA]目的：RBF技術に基づく近似手法の現状
- 工学や科学計算において，複雑な関数を効率的に近似する手法は不可欠である。
- RBFは高性能計算や並列計算において，計算コストや安定性の問題が課題となっていた。
- RBF近似の計算効率と安定性を向上させ，より広範な応用を可能にすること。
- 本研究では，RBF技術に関する最新の成果を概観し，その計算上の課題と安定性に関する問題点を明らかにした。
- RBFの高性能化や並列化に必要な検討課題を提示することで，今後の研究方向性を示唆している。
Emden-Fowler方程式の解析的・数値的アプローチ [math.NA, cs.NA, gr-qc]目的：Emden-Fowler方程式の解のパラメータ依存性に関する定量的・定性的研究
- 天体物理学の根幹をなす方程式であり，星の構造や進化を理解する上で不可欠である。
- パラメータの変化に対する解の振る舞いが不明確であり，正確な予測が困難である。
- 解の最初の零点からの逆解や，過確定境界値問題としての解法可能性を検討する。
- Emden-Fowler方程式の解の最初の零点 $x_0$ は，パラメータ $r$ と $p$ によって決定される。
- 最初の零点 $x_0$ から方程式を逆解することで，新たな解の構造が明らかになった。
- 過確定境界値問題として方程式を解き，解が存在する条件を導出した。
放射熱伝達に関連する境界値問題について [cs.CL, math.NA, cs.NA]目的：放射熱伝達に関連する境界値問題の解のパラメータ依存性の定性的・定量的な分析
- 熱伝達は工学分野において重要な基礎であり，エネルギー効率の向上に不可欠である。
- 非線形境界値問題の解析は一般に困難であり，解析解を得ることが難しい場合が多い。
- この研究は，パラメータの変動に対する解の挙動を明らかにし，容易に解ける初期値問題に変換する。
- 与えられた境界条件を持つ微分方程式の解が，パラメータの変化に応じてどのように変化するかを定量的に評価した。
- 上限と下限の包絡線を用いることで，解の定性的な特徴を明らかにすることができた。
- この問題は，初期値問題に変換することで，数値計算による解が容易になることを示した。
勾配依存型非線形方程式における混合境界接合における対数共鳴 [math.NA, cs.NA]目的：勾配依存型非線形方程式における混合境界接合における解の特異性に関する解析
- 偏微分方程式の解法は，工学や物理学の様々な問題に応用されるため，その精度向上が重要である。
- 混合境界接合では，解の正則性が著しく低下し，特異点の解析が困難となる。
- 勾配依存項が特異性に与える影響を明らかにし，より正確な解法を開発することを目的とする。
- 勾配ペナルティ項が，混合境界接合において局所的な特異性を増幅させる対数共鳴を引き起こすことを証明した。
- 特異点の振る舞いを記述する対数項の係数と角度オフセットを，様々なノルムに対して解析的に導出した。
- 拡張連続Galerkin法(XFEM)の準最適性を確立し，有限要素実験により解析結果を検証した。
頭蓋内超音波デジタルツインのための演算子学習 [cs.LG, cs.NA, math.NA]目的：経頭蓋集束超音波(tFUS)における頭蓋内音場推定の高速化
- tFUSは治療効果と安全性が重要であり，正確な音場推定が不可欠である。
- 従来の数値シミュレーションは計算コストが高く，リアルタイムなデジタルツイン化の妨げとなっている。
- 本研究は，演算子学習を用いてtFUSの音場推定を高速化し，デジタルツインの実現を目指す。
- 提案手法tFUSOperatorは，音場シミュレーションを演算子学習問題として捉え，高い精度で頭蓋内音場を予測する。
- 未知の頭蓋に対しても高いダイス係数(約72%)を示し，MRI画像からの予測精度もCT画像と同程度である。
- 従来の数値シミュレーションに比べて約5.6万倍高速に動作し，患者特異的なtFUS治療のための安全かつ実用的なデジタルツインの実現に貢献する。
測度グラフ上の分数拡散方程式の数値近似 [math.NA, cs.NA]目的：測度グラフ上の分数拡散方程式の数値解法
- 複雑なネットワークにおける拡散現象の理解は，物理学，生物学，社会科学等に応用が期待される。
- 分数階微分を含む方程式の解析は困難であり，効率的な数値解法の開発が課題である。
- 測度グラフ上の分数拡散方程式に対する，精度と効率を兼ね備えた数値解法を提案する。
- 分数階微分演算子の近似に有理近似を用いることで，疎行列の楕円方程式の求解に帰着させ，計算コストを削減した。
- 後退オイラー法と有限要素法を組み合わせた完全離散スキームに対し，時間離散，空間離散，有理近似に関する誤差評価を行った。
- 数値実験により，提案スキームの収束性が確認された。
レベルセット関数で定義された領域における$H^{-1}$最小二乗UnCut有限要素法 [math.NA, cs.NA]目的：ポアソン方程式およびストークス方程式の解法
- 複雑な形状領域における数値シミュレーションの重要性が高まっている。
- 従来の有限要素法では，カットされた要素の積分が課題となる。
- カット要素の積分を回避しつつ，安定性と精度を向上させる。
- 本研究で提案するUnCut有限要素法は，安定性のために大きな安定化パラメータを必要としない。
- ユーザが調整すべきパラメータを減らし，計算の堅牢性を高めることに貢献する。
- ポアソン方程式とストークス方程式の両方において，$H^1$ノルムにおける最適な収束性が理論的に証明された。
Landau-Lifshitz-Gilbert方程式に対する2次BDF法の事後誤差解析 [math.NA, cs.NA]目的：Landau-Lifshitz-Gilbert方程式の数値解法における誤差評価
- 磁性体の時間発展を記述するLLG方程式は，物性研究やデバイス設計に不可欠である。
- 既存の数値解法では，厳密な誤差評価が確立されておらず，計算精度保証が課題となっていた。
- 本研究では，誤差評価に基づいた適応計算アルゴリズムの数学的基礎を確立することを目指す。
- 時間離散に2次BDF法，空間離散に有限要素法を用いたTPSに対する，厳密な事後誤差評価を導出した。
- 提案する誤差評価量は，時間ステップ幅やメッシュサイズが可変な適応メッシュ上で計算可能である。
- これにより，LLG方程式に対する完全適応アルゴリズムの開発の道が開かれた。
ヤン・ミルズ接続の有限要素離散化 [math.NA, cs.NA]目的：ヤン・ミルズ接続の有限要素法による離散化
- ゲージ理論は，物理学の様々な分野で基礎的な役割を担う重要な理論である。
- 非自明な主束上の接続を数値的に扱うことは，困難を伴う。
- 主束上の接続の離散化におけるジャンプ条件の扱いを確立すること。
- 本研究では，有限要素外微分形式空間を用いてヤン・ミルズ接続を離散化する手法を提案した。
- ラグランジュ乗数を用いてジャンプ条件を弱く課すことで，鞍点問題を定式化した。
- 得られた離散化スキームのwell-posednessと事前収束性について証明し，ホップフィブレーションの数値実験で線形収束性を示した。
非適合有限要素法に対する局所的な事後誤差評価 [math.NA, cs.NA]目的：非適合有限要素法の事後誤差評価
- 数値シミュレーションの精度向上は，工学や科学における重要な課題である。
- 有限要素法の精度評価は困難であり，特に非適合要素では誤差評価が課題となる。
- 非適合要素における局所的な誤差評価手法を確立し，精度向上に貢献すること。
- ポアソン方程式に対するCrouzeix-Raviart法において，関数値と勾配誤差の局所的な評価式を導出した。
- 双調和方程式に対するMorley離散化において，ヘッセ行列誤差を制御する事後誤差評価式を導出した。
- 双調和方程式の正則化グリーン関数導関数のL1ノルムを評価するための新たな重み関数を設計した。
情報幾何正則化圧縮性オイラー方程式の不連続Galerkin半離散化 [math.NA, cs.NA]目的：圧縮性オイラー方程式に対する情報幾何正則化フレームワークの不連続Galerkin離散化
- 高次精度数値計算において，衝撃波の安定化は不可欠な課題である。
- 既存手法は，ロバスト性，精度，微細構造の保存，計算コストのトレードオフが存在する。
- PDEレベルでの衝撃波の正則化により，既存手法の課題を克服する。
- 提案手法は，衝撃波捕捉リミッターや人工粘性を用いずに衝撃波を安定化できる。
- 多項式次数を上げると，より微細な流れの特徴を解決しつつ，安定した衝撃波分解能を維持する。
- エントロピー圧は，流れの圧縮領域に局所化され，滑らかな領域では活性化が最小限に抑えられる。
動的な形状の連続的かつロバストな比較のためのプッシュフォワード変換 [cs.CV, cs.LG, cs.NA, math.NA]目的：形状比較のための数学的枠組み
- 画像解析において，形状とその時間変化を定量的に比較することは基本的な課題である。
- 従来の比較方法は，パラメータへの依存性や対応付けの困難さ，解釈の不透明さなどの課題がある。
- 形状自体を変えない変換に対して不変であり，かつ形状の幾何学的変化に敏感な表現を確立すること。
- プッシュフォワード変換を符号付き距離関数に適用することで，境界と内部幾何学の両方を捉える連続的な表現が得られる。
- 得られた表現を用いて，形状類似度を定量化し，骨格トポロジーや回転対称性などの特徴を明らかにできる。
- この変換は2次元，3次元の形状，時間変化する形状に一貫して適用でき，形状上のスカラー場との同時解析も可能である。
双双調和方程式のコーシー問題を解く最小二乗弱Galerkin法 [cs.RO, math.NA, cs.NA]目的：双双調和方程式のコーシー問題に対する最小二乗弱Galerkin法の開発
- 工学や物理学における境界値問題の数値解析において，高精度な解を求めることは重要である。
- 四階微分方程式の離散化は，C¹連続性を満たす有限要素空間の構成が必要であり，困難を伴う。
- 弱Galerkin法を用いることで，C¹連続性の制約を回避し，汎用的な多角形メッシュに対応する。
- 提案された最小二乗弱Galerkin法は，対称正定値な線形システムを導き出し，混合有限要素法のinf-sup条件を回避する。
- 理論的な収束レートは実験的に検証され，手法の精度と堅牢性が確認された。
- 本手法は，メッシュ生成の柔軟性も提供し，複雑な形状への適用を可能にする。
生成拡散モデルのKullback-Leiblerダイバージェンス解析：エントロピー生成速度による統一的分析 [math.NA, cs.NA, stat.ML]目的：生成モデルのエラー解析のための統一的な枠組み
- 生成モデルは，画像生成などの分野で重要な役割を担うため，その性能向上は不可欠である。
- 既存の研究では，拡散モデルの収束速度を正確に評価することが困難であった。
- エントロピー生成速度を用いて，拡散モデルの収束速度とエラー要因を解析し，改善を目指す。
- 提案手法により，Euler-Maruyamaサンプラーの収束速度が$\mathcal{O}(h^2)$であることが示された。
- これは，従来のGirsanovの経路空間解析で得られる$\mathcal{O}(h)$よりも高速な収束速度である。
- 本研究は，スコアベースSDE，確率フローODE，確率的補間などの解析を統一的に扱うことが可能である。
方程式フリー多階層モデリングにおける一般化射影積分スキーム [cs.DC, cs.PF, cs.CL, math.NA, cs.NA]目的：時間依存スペクトル変動への対応と動的に変化するスケール分離
- 複雑な系の現象を多階層的に捉えることが重要であり，計算効率と精度が求められる。
- 固定された時間ステップやバースト長では，時間変化するスペクトルに対応できない。
- 時間依存スペクトル変動に適応し，スケール分離が変化する状況下でも安定的に計算を行う。
- 提案された一般化射影積分（GPI）スキームは，既存の多階層手法を統合し，より汎用的な計算パラダイムを提供する。
- GPIスキームの安定性解析を行い，安定領域の分割に関する詳細な調査を実施した。
- 数値実験により，マイクロ，メソ，マクロの時間ステップおよびバースト長を選択する問題依存戦略の有効性が確認された。GPIスキームは既存手法よりも優れた性能を示す。
ポアソン・ボルツマン理論における非剛体タンパク質の極性溶媒和エネルギーの計算について [math.NA, cs.NA, math-ph, math.MP]目的：非剛体タンパク質の極性溶媒和エネルギー計算手法
- 生体分子の静電的相互作用解析に不可欠であり，タンパク質の構造や機能理解に貢献する。
- タンパク質が水相に移行する際の構造変化が考慮されておらず，計算精度に課題があった。
- 構造変化を伴うタンパク質の溶媒和エネルギーを正確に評価する手法を確立すること。
- 本研究では，自己エネルギーの問題を回避しつつ，非剛体タンパク質の構造変化を考慮できる汎用的なポアソン・ボルツマン理論を開発した。
- 正則化されたモデルでは自己エネルギーが解析的に打ち消され，正則化されていないソルバーには真空中のクーロン補正を導入する熱力学サイクルを提案した。
- 様々なモデルとソルバーを用いて検証を行い，その精度と安定性を確認した。
逆ポテンシャルMFGのためのTruncated Differentiation [math.OC, cs.NA, math.NA]目的：観測された人口密度から未知の空間逆コスト（移動度）マップの推定
- 大規模な集団行動をモデル化する上で，MFGは重要な役割を担う。
- 逆MFG問題では，コスト関数が不明であるため，効率的な解法が求められる。
- Truncated Differentiationにより，メモリ消費量を抑えつつ高精度な推定を実現する。
- 提案手法であるJFB-$r$は，少数の反復のみを記録することでメモリ使用量を削減しつつ，従来の解法と同等の精度を達成する。
- 解析の結果，JFB-$r$は有限軌道の代理量を正確に微分することが示された。
- 数値実験により，JFB-$r$が様々な逆MFG設定において有効であることが確認された。
ネットワークの湾曲フローに対する位相場法：三重接合ドラッグを伴う場合 [math.AP, cs.NA, math.NA]目的：多相曲率運動の位相場近似法の開発
- 多結晶材料の熱処理過程における微細構造進化を予測する上で不可欠なモデルである。
- 従来のシャープインターフェースモデルでは，三重接合の取り扱いが困難であった。
- 位相場法を用いて，三重接合ドラッグを含むネットワークの湾曲フローを精度良くシミュレーションする。
- 位相場近似法は，アレン・カーン方程式の変種として，変分原理に基づいて導出された。
- 接合点の数を数えるための新たな積分表現が提案され，標準的な多相アレン・カーン系においても有効であることが示された。
- マッチング漸近展開法および数値収束研究により，提案手法が所望のシャープインターフェース極限に収束することが確認された。
ディーン-カワサキ方程式の高次近似における陽性保存の役割について [math.PR, cs.NA, math.NA]目的：ディーン-カワサキ方程式のスペクトル正則化と，その弱近似における陽性保存の失敗の影響の定量化
- 拡散過程の記述に不可欠なディーン-カワサキ方程式は，物理学や金融工学など幅広い分野で応用されている。
- 数値解法では陽性保存が保証されない場合があり，解の精度や安定性に悪影響を及ぼす可能性がある。
- 本研究は，陽性保存の失敗が弱近似に与える影響を明らかにし，数値解法の改善に貢献することを目的とする。
- 初期密度がゼロから離れている場合，時間に関して一様な弱誤差と，滑らかなテスト関数に対する超多項式収束率が証明された。
- 初期密度がゼロになりうる場合，負の部分がより弱い上限につながり，超多項式収束は認められないことが示された。
- 理論結果を裏付け，主要な観察を説明する数値実験が提示された。
多面体に対する分解不変条件勾配法に関する再検討 [math.OC, cs.NA, math.NA]目的：多面体上の凸かつβ-滑らかな関数の最小化
- 最適化問題は機械学習や運用研究など，広範な分野で不可欠である。
- 多面体上の最適化は，制約条件が複雑であり，効率的な解法が課題である。
- 最適な面の次元に依存した線形収束を実現する手法を開発する。
- 2階多面体に対しては，パラメータ不要なダイアディックステップサイズ則を設計し，最適な面の次元に比例する線形収束率を達成した。
- 一般的な多面体に対しては，αF-面二次成長条件の下で，ε-近似解を得るまでの反復回数を評価し，既存手法よりも改善された。
- 本手法はパラメータフリーであり，標準的な直線探索計算のみに依存する。
構造的・確率的曖昧性を持つランダム逆問題 [stat.ME, cs.NA, math.NA, stat.CO]目的：構造的・確率的曖昧性を含むランダム逆問題の計算クラス
- 工学，地球物理学，画像処理など，様々な分野で逆問題が重要な役割を果たす。
- 非線形性や不確実性の存在により，逆問題の解が一意に定まらない場合がある。
- 前方モデルの非単射性と確率的曖昧性を統合的に扱うことで，逆問題の解を改善する。
- 提案手法は，前方モデルにおける混合モデルパラメータが，非線形性と不確実性の両方を同時に記述することを可能にする。
- ベイズ推定に基づくアルゴリズムを1次元および2次元の2次モデルに適用し，数値的に有効性を示した。
- 残差構造的曖昧性を事後分布で可視化し，確率的曖昧性との相互作用を示すことが重要である。
調整なしランジェバンアルゴリズムのWasserstein混合時間 [stat.CO, cs.LG, cs.NA, math.NA, math.PR]目的：調整なしランジェバンアルゴリズムの漸近バイアスのWasserstein距離における評価
- 機械学習における確率モデルのサンプリングは，推論や学習の基礎であり重要である。
- ランジェバンアルゴリズムはサンプリング手法の一つだが，バイアスや混合時間の問題が存在する。
- 本研究は，ランジェバンアルゴリズムの混合時間を改善し，より効率的なサンプリングを目指す。
- 本研究では，log-smoothでstrongly log-concaveな確率分布において，ランジェバンアルゴリズムの漸近バイアスの新たな評価を得た。
- その結果，Wasserstein混合時間が，状態方程式の条件数，次元，目標精度に依存して$\kappa \sqrt{d}/\varepsilon$のオーダーであることが示された。
- これは，既存の結果と比較して，$\sqrt{d}/\varepsilon$の因子だけ改善されたものである。
確率反応拡散方程式における，鋭界面極限近傍での多項式弱近似 [math.NA, cs.NA, math.PR]目的：確率反応拡散方程式の弱近似に関する理論
- 反応拡散方程式は，化学反応や生物学現象など，多様な分野で重要なモデルである。
- 界面幅が小さい場合，数値定数のε⁻¹への依存性が問題となる。
- 界面幅が小さい際の，多項式的な安定性を示す弱近似理論を確立する。
- 加速分割指数オイラー近似に対して，ε⁻¹に関する多項式的な弱誤差界を証明した。
- 時間一様モーメント評価，正準性と数値解の正則性評価，コモルゴロフ半群の微分評価を組み合わせた。
- ノイズの平均的な正則化効果が，線形化されたアレン・カーン演算子のスペクトル評価に取って代わる。
陰解付き界面を持つ楕円型偏微分方程式に対する補正関数に基づくカーネルフリー境界積分法 [math.NA, cs.NA, physics.comp-ph]目的：陰解付き不規則境界および界面を持つ楕円型偏微分方程式の解法
- 偏微分方程式は，物理現象の記述に不可欠であり，様々な工学分野に応用される
- 複雑な形状の境界や界面を持つ問題では，既存の解法が計算コストや精度で課題を抱える
- カーネルフリー境界積分法により，複雑な形状に対する効率的かつ高精度な解法を確立すること
- 提案手法は，複雑な形状の境界や界面を持つ問題に対して，高精度かつ効率的な解を提供する。
- 補正関数の導入により，特異なポテンシャル関数の補間や右辺項の補正を容易に行うことが可能となった。
- 数値実験の結果から，高コントラスト係数や近接した界面を持つ問題に対しても有効であることが確認された。
クランク・ニコルソン全一括系に対する一般化ブロックサーキュラント前処理子：オプション価格付け偏微分方程式への応用 [math.NA, cs.NA]目的：クランク・ニコルソン法による全一括定式化と効率的な並列時間ソルバー
- 時間発展型偏微分方程式の解法は，科学技術計算において不可欠であり，その効率性が重要である。
- 時間積分スキームは逐次処理となり，並列化が困難であるという課題がある。
- 並列化を可能にし，効率的な時間方向ソルバーを開発することを目的とする。
- 提案する前処理子を用いた条件数は，ほとんどの固有値が1に等しく，残りの固有値も特定の領域に限定されることが示された。
- 前処理化されたGMRES($m$)法は，離散化ステップサイズに依存しない高速な収束率を達成することが証明された。
- 数値実験により，金融オプション価格付け偏微分方程式において，理論的な結果と提案する前処理子の有効性が検証された。
スイッチング記述子システムのバランスに基づくモデル次数削減 [math.NA, cs.NA]目的：スイッチング記述子システムのモデル次数削減手法
- 複雑なシステムのシミュレーションや制御において，計算コストの削減が重要である。
- 高次元のシステムでは，計算量の増大や数値的な不安定性が問題となる。
- 効率的な次数削減手法を開発し，システムの挙動を精度良く近似することを目指す。
- 提案手法は，スイッチング記述子システムをスイッチング常微分方程式に変換する再構成戦略と，スイッチング線形システムの区分的バランス切捨て枠組みを統合する。
- 入力ジャンプやインパルス成分を持つシステムを，状態依存ジャンプのみを持つ標準的なスイッチングシステムとして再構成する。
- 一般化された Lyapunov 方程式の解を近似するための定常反復スキームに対する新しい停止基準を開発した。
相場モデルに対する緩和ラグランジュ乗数法 [math.NA, cs.NA]目的：相場モデルの効率的かつエネルギー安定な数値解法の設計
- 材料科学や物理学において，相場モデルは相転移や微細構造の進化を記述する重要なツールである。
- 従来のラグランジュ乗数法は，非線形代数方程式を解く必要があり，計算コストが高いという課題があった。
- 本研究は，計算効率を向上させつつ，エネルギー安定性を保つための新しい手法を提案する。
- 提案手法では，時間依存ラグランジュ乗数を導入し，緩和パラメータを用いてその時間発展を制御することで，離散化後のシステムの一貫性を高めている。
- この手法に基づく一次および二次時間離散化は，修正されたエネルギーに関して無条件安定であることが理論的に証明された。
- 数値実験の結果，提案手法は，既存のSAV法やLM法と比較して，計算効率が大幅に向上し，エネルギー安定性も維持されていることが示された。
間隔上の双直交ウェーブレットを用いた楕円型界面問題のGalerkinスキーム [math.NA, cs.NA]目的：楕円型界面問題の数値解法
- 界面問題は，工学や物理学の様々な分野で現れる重要な問題である。
- 従来の数値解法は，界面における解の不連続性によって精度が制限される場合がある。
- 本研究は，界面における解の不連続性を適切に扱い，高精度な解を得ることを目指す。
- 双直交ウェーブレットを用いたGalerkin法を開発し，複雑な界面形状を捉えるための追加ウェーブレット要素を導入した。
- 2次元問題において，$H^1(\Omega)$-ノルムで$\mathcal{O}(h |\log(h)|)$，$L^{2}$-ノルムで$\mathcal{O}(h^2 |\log(h)|^2)$の準最適収束率を達成した。
- ウェーブレットの双対性を用いた理論的根拠を確立し，条件数を小さく保つことで，高コントラストな係数に対してもロバストな解法を実現した。
偏微分方程式の逆問題に対する機能的正規化フロー [math.NA, cs.NA]目的：偏微分方程式の逆問題に対する統計的推論
- 科学技術の多様な分野で逆問題が重要であり，効率的な解法が求められている。
- 大規模問題において，離散化に依存しないアルゴリズム開発が課題となっている。
- ベイズの公式に基づき，無限次元空間での推論を通じて問題を解決することを目指す。
- 提案手法NF-iVIは，事前分布を変換し，事後分布を効率的に近似する。
- 変数の次元が異なる測定データにも対応可能なCNF-iVIを開発し，計算コストを削減した。
- 単純な微分方程式，Darcy流れ，電気インピーダンス断層撮影の逆問題に適用し，理論的結果と効率性を検証した。
低ランクテンソル近似のための効率的技術とロバスト物体検出への応用 [math.NA, cs.NA]目的：低ランクテンソル近似手法の開発と，その物体検出への応用
- 機械学習や画像処理において，高次元データの効率的な処理が重要課題となっている。
- 既存のテンソル近似手法は計算コストが高く，大規模データへの適用が困難な場合がある。
- テンソル近似の精度と効率を向上させ，実用的な応用範囲を広げることを目指す。
- 本研究では，固定精度かつ単一パスで低ランクテンソル近似を行う効率的なアルゴリズムを提案した。
- 提案手法は，既存のTruncated Tensor SVD (T-SVD) 近似アルゴリズムよりも高速かつ効率的であることが示された。
- 単一パスアルゴリズムにおけるスケッチパラメータの設定が近似精度に与える影響を明らかにし，ロバスト性を向上させた。
一様境界条件を持つ楕円型偏微分方程式に対するバロン空間表現 [math.NA, cs.LG, cs.NA, math.AP]目的：高次元楕円型偏微分方程式の近似複雑性
- 機械学習の理論的基盤確立に不可欠であり，近似精度と計算コストの関係解明が重要。
- 次元の増加に伴い，必要な計算コストが指数関数的に増加する次元の呪いの問題が存在する。
- 浅いニューラルネットワークで次元の呪いを回避し，効率的な近似手法を開発すること。
- バロン空間の仮定の下，解を\(\mathcal{O}\bigl(d^{C|\log\varepsilon|}\bigr)\)で抑えられた幅の2層ニューラルネットワークで近似可能。
- 特定の楕円型偏微分方程式は，次元の呪いに悩まされることなく浅いニューラルネットワークで近似可能。
- 高次元問題に対する浅いネットワークの有効性を示唆し，計算コスト削減への貢献が期待される。
磁気オイラー・ポアソン方程式の構造保存型有限要素近似 [math.NA, cs.NA]目的：静電オイラー・ポアソン方程式の数値離散化
- プラズマ物理学において，磁場中の流体のダイナミクスを理解することは重要である。
- 磁気ドリフト限界付近の計算では，時間スケールの大きな乖離が存在し，効率的な数値解法が課題である。
- 高周波振動を適切に処理しつつ，密度やエネルギー保存則を満たす数値スキームを開発する。
- 提案スキームは，高周波振動を飛び越えつつ，密度，内部エネルギー，エントロピー，全エネルギーの保存則を維持する。
- 磁気ドリフト限界におけるダイオクトロン不安定性を計算し，解析結果との良好な一致を確認した。
- 本スキームは，静電および磁気ドリフト限界，流体レジームに対応可能な電磁ソルバー開発への足がかりとなる。
最小限のDFT測定からの整数画像復元：一意性と復元アルゴリズム [math.NA, cs.NA]目的：整数値画像の一意な復元
- 画像処理において，DFTは効率的な周波数解析を可能とする重要なツールである。
- DFT係数全てが必要となるため，測定コストが高いという課題がある。
- 整数値画像の性質を利用し，DFT係数の一部のみで復元を可能にすること。
- 画像が整数値であるという事前知識を用いることで，限定されたDFT係数から一意な復元が可能となる。
- 二次元復元をいくつかの一次元復元に帰着させることで，必要なDFT係数の最小数と位置を特定できる。
- 動的計画法と格子ベースのフレームワークを用いることで，実用的な復元アルゴリズムを開発した。
- 1
- 2