arXiv雑要約

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

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

• ニューラル演算子の拡張：訓練データ外の関数に対するロバストな対応 [cs.LG, cs.CV, cs.NA, math.NA, math.OC, stat.ML]目的：訓練データ外の入力関数に対するニューラル演算子の拡張

  • 機械学習モデルの汎化性能向上は重要であり，未知のデータへの対応能力が求められる。
  • ニューラル演算子は訓練データ分布外の関数に対して性能が低下する問題がある。
  • 訓練データ分布外の関数に対しても信頼性の高い予測を行うための手法を確立すること。
  • カーネル近似技術を活用し，関数空間をRKHSで特徴づける厳密なフレームワークを開発した。
  • 適切なカーネル選択の条件と，予測精度の理論的保証を確立した。
  • 多様な幾何学的構造を持つ多様体上の偏微分方程式の求解を通して，手法の有効性を実験的に検証した。

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

• IoTアプリケーション向け自由形状平面アンテナトポロジーの教師なし代理モデルを用いた合成 [math.NA, cs.LG, cs.NA]目的：IoTアプリケーション向け自由形状平面アンテナトポロジーの合成手法

  • IoTデバイスの普及に伴い，小型で高性能なアンテナの需要が高まっている。
  • 従来のアンテナ設計は手作業に依存し，設計者の経験やバイアスに左右されやすい。
  • 自動設計における計算コストを削減し，効率的なアンテナ設計を可能にすること。
  • 提案手法では，代理モデルを用いて適切なアンテナトポロジーを識別することで，設計空間を効率的に探索する。
  • 5GHz帯および6GHz帯のアンテナ設計実験において，帯域幅を向上させたアンテナトポロジーが生成された。
  • 本手法は，IoTデバイス向けアンテナ設計の自動化に貢献し，開発期間の短縮が期待できる。

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

• ピクセルベース平面アンテナ構造の自動設計のための二段階フレームワーク [math.NA, cs.LG, cs.NA]目的：ピクセルベース平面アンテナ構造の自動設計手法

  • 現代のアンテナ開発は高度な専門知識を要し，高性能化への要求は高まる一方である。
  • アンテナの形状選定が経験と設計者の勘に頼りがちであり，最適化が困難である。
  • アンテナ形状の最適化を通じて，設計者の経験に依存しない自動設計を実現する。
  • 提案手法では，ピクセル間の接続最適化と代理モデルを用いた局所探索を組み合わせる二段階フレームワークを採用した。
  • ブロードバンドおよびデュアルバンドモノポールアンテナの設計事例を通して，本手法の有効性を検証した。
  • 設計要件を満たすアンテナ形状を自動的に生成できることが示された。

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

• 対流拡散方程式に対する局所不連続ガレルキン法の最適収束性 [cs.CL, cs.CL, math.NA, cs.NA]目的：対流拡散方程式の解法における局所不連続ガレルキン法の収束性解析

  • 偏微分方程式の数値解法は，科学技術計算において不可欠であり，高精度かつ効率的な手法が求められている。
  • 従来の局所不連続ガレルキン法では，解の滑らかさに制限がある場合，期待される収束速度が得られない問題があった。
  • 特異解を持つ問題に対するガウス・ラダウ射影の近似精度を向上させ，理論と実験の乖離を解消することを目指す。
  • 本研究では，適切な関数空間におけるガウス・ラダウ射影に関する新たな近似結果を確立することで，解の特異性を最適に捉えるための枠組みを提示した。
  • この枠組みにより，様々なタイプの特異解に対して理論解析と数値結果の一致を確認し，局所不連続ガレルキン法の$p$方向の亜最適収束性の問題を解決した。
  • 本研究は，他の種類のDG法における同様の亜最適性の問題を解決するための洞察を提供するものである。

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

• 第二階停留点計算のための陰解陽解トラスト領域法：ある種のランダウモデルに対する [math.NA, cs.NA, math.OC]目的：ランダウ型自由エネルギー汎関数の第二階停留点の計算

  • 物性物理学において，物質の安定状態を理解するには不可欠な手法である。
  • 既存手法は第一階停留点に留まりやすく，真の安定状態を見つけるのが困難である。
  • 第二階停留点を求めることで，より正確な安定状態の特定を目指す。
  • 提案手法は，ランダウ・ブラジンスキーモデルにおいて，鞍点を効率的に回避できることを示した。
  • 従来の第一階最適化手法と比較して，有意に高い性能を発揮することが確認された。
  • ランダウ位相図において，これまで報告されていなかったFDDD相の安定領域を特定することに成功した。

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

• 移動最小二乗法に基づくデータ依存分割の統一性 [math.NA, cs.NA]目的：幾何設計，数値偏微分方程式，曲線モデリング等のデータ近似

  • 様々な分野でデータ近似は不可欠であり，その精度が重要である。
  • 不連続点において移動最小二乗法の精度が低下し，ギブス現象のような振動が発生する。
  • 不連続点近傍での精度向上と滑らかな領域での高精度維持を目指す。
  • 本研究では，高次元における移動最小二乗法とWENO法，そして新しい分割の統一性のアプローチを統合した。
  • データ依存演算子として，新しい非線形分割の統一性に基づく移動最小二乗法を提案し，理論的性質を証明した。
  • 数値実験により，不連続点近傍での精度向上と滑らかな領域での高精度維持が確認された。

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

• 確率的カーン・ヒリアード方程式に対するスカラー補助変数に基づく半陰解法 [cs.RO, math.NA, cs.NA, math.AP]目的：確率的カーン・ヒリアード方程式の数値解法

  • 相分離現象のモデリングにおいて，確率的カーン・ヒリアード方程式は重要な役割を果たす。
  • 多項式非線形項の効率的かつ安定的な取り扱いが課題であった。
  • 確率的摂動の影響を正確に捉えるための数値解法を開発すること。
  • 本研究で提案する半陰解法は，スカラー補助変数（SAV）を用いることで，効率的かつ安定的な数値計算を実現する。
  • trace-classノイズの場合において，スキームの最適強収束次数が1/2であることを数学的に証明した。
  • 修正されたSAVエネルギーは，エネルギー進化則を漸近的に保存することが示された。

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

• 統計的トポロジカル勾配と形状最適化によるロバストな金属-半導体接触再構成 [math.NA, cs.NA]目的：金属-半導体接触領域の再構成

  • 半導体デバイスの性能は，金属-半導体接触特性に大きく依存する。
  • 接触領域の正確な再構成は，測定ノイズの影響を受けやすく困難である。
  • ノイズに対するロバスト性と精度を向上させた再構成手法を開発すること。
  • トポロジカル勾配の安定性に関する中心極限定理を証明し，統計的推定の信頼性を高めた。
  • 形状最適化において，CCBMモデルのパラメータβが界面感度を制御する重要な役割を果たすことを示した。
  • 提案手法は，真の構造的特徴とノイズによるアーチファクトを区別する厳密な基準を提供し，再構成の精度と性能を向上させる。

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

• 線形部分空間に対するグラフベース分割アルゴリズムの比較数値研究 [cs.RO, cs.IR, math.NA, cs.NA]目的：線形部分空間の法錐に対するグラフベース分割法の性能評価

  • 線形代数や最適化問題において，線形部分空間の理解と効率的な計算は重要である。
  • グラフベース分割法は有望だが，最適な緩和パラメータやアルゴリズム間の性能差が明確でない。
  • 各アルゴリズムの性能を比較し，最適な緩和パラメータを特定することで，理論的解析を支援する。
  • 6つのグラフベース分割アルゴリズムについて，最適な緩和パラメータを数値実験により決定した。
  • 各アルゴリズムが停止基準を満たすまでの反復回数を比較し，性能の傾向を明らかにした。
  • 得られた結果は，さらなる理論的分析の指針となる知見を提供する。

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

• 最適輸送に基づく補間を用いた次数削減モデリングのための多忠実度パラメトリックフレームワーク：拡散界面二相流への応用 [math.NA, cs.NA, physics.flu-dyn]目的：多忠実度およびパラメトリック問題に対する次数削減モデリングフレームワーク

  • 複雑な物理現象のシミュレーションにおいて，計算コストの削減は重要な課題である。
  • 従来の次数削減手法は，非線形な進化や移動界面を持つ問題に対して適用が難しい場合がある。
  • 最適輸送に基づく補間を活用し，効率的かつ高精度なパラメトリックモデルの構築を目指す。
  • 本研究では，最適輸送に基づく多忠実度補間を用いて，低忠実度モデルを高忠実度モデルに補正するフレームワークを提案した。
  • パラメータ空間における二段階の補間戦略により，パラメータ依存システムに対するサロゲートモデルを構築し，効率的なパラメータ空間探索を可能にした。
  • 拡散界面二相流シミュレーションへの応用を通じて，提案手法の有効性と堅牢性を示した。

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

• 非標準形状における高周波電磁積分方程式の高速直接ソルバーの漸近スペクトル解析 [math.NA, cs.CE, cs.NA]目的：高周波電磁積分方程式の高速直接ソルバーに関する漸近スペクトル特性の評価

  • 電磁波散乱計算において計算コスト削減は重要であり，特に多重励起の場合にはその効果が期待される。
  • 非標準形状に対する高速直接ソルバーの有効性については，理論的な正当化が十分に進んでいない。
  • 本研究は，高周波領域における提案手法の正当性と有効性を半古典的微局所解析によって検証する。
  • 半古典的微局所解析の結果に基づき，提案手法が非標準形状においても有効であることが示された。
  • 高周波領域において，ソルバーの漸近スペクトル特性が適切に評価された。
  • この研究は，電磁波散乱問題における高速計算手法の理論的基盤を強化する。

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

• Exp-ParaDiag: 放物型偏微分方程式に対する時間並列指数積分法 [math.NA, cs.NA]目的：放物型偏微分方程式に対する時間並列解法の開発

  • 科学技術計算において，偏微分方程式の数値解法は不可欠であり，計算効率が重要である。
  • 時間ステップの制約により，大規模問題の計算に時間がかかり，並列化が課題である。
  • 時間並列化により計算時間を短縮し，大規模問題の効率的な解法を提供する。
  • 本研究で提案するExp-ParaDiagは，指数積分法とParaDiagフレームワークを組み合わせた新しい時間並列法である。
  • Exp-ParaDiagは，固定点反復法やGMRES法における前処理として収束性を示すことが理論的に証明された。
  • 数値実験により，提案手法の頑健性と効率性が検証された。

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

• リーマン・ランジェバン力学：幾何学的オイラー・マルヤマ法の強い収束性 [stat.ML, cs.LG, cs.NA, math.NA, math.PR]目的：リーマン多様体上の確率微分方程式に対する幾何学的オイラー・マルヤマ法の強い収束性

  • 現実世界のデータにおける低次元構造は，生成モデルの成功に重要な役割を果たす。
  • 多様体上のSDEに対する数値スキームの収束理論は十分には理解されていない。
  • リーマン多様体上のランジェバン力学の幾何学的離散化によるサンプリングのWasserstein距離に関する上限を得る。
  • リーマン多様体上のSDEに対する幾何学的オイラー・マルヤマ法の強い収束性が，幾何学的条件と正則性条件の下で $1/2$ のオーダーで証明された。
  • 生成モデルにおける多様体上のSDEの数値解法に貢献する。
  • 幾何学的離散化によるリーマン・ランジェバン力学を通じた多様体上のサンプリングの理論的保証を提供する。

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

• 対称行列の極値固有値に関する比較定理 [math.PR, cs.NA, math.NA, math.ST, stat.TH]目的：独立な対称行列の和の最大固有値の比較

  • ランダム行列は，物理，情報科学，統計など広範な分野で不可欠なツールである。
  • ランダム行列の固有値の挙動は複雑であり，厳密な解析が困難である。
  • ランダム行列和の最大固有値の評価を通じて，より厳密な解析を目指す。
  • 独立な対称行列の和の最大固有値は，その統計量を受け継ぐガウス型ランダム行列の最大固有値によって支配されることが示された。
  • 既存の結果を強化し，最小固有値やスペクトルノルムに関する結果も導かれた。
  • スペクトルグラフ理論，量子情報理論，高次元統計，数値線形代数における固有値評価が改善され，ネルソン・グエンの射影性に関する予想の完全な証明が初めて得られた。

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

• ナビエ-ストークス方程式に対する時空間波形緩和マルチグリッド法 [cs.CL, math.NA, cs.NA]目的：ナビエ-ストークス方程式の時空間一括解法

  • 科学技術計算において，時空間離散化は重要である。高性能なソルバー開発が求められている。
  • 時空間離散化された連立方程式の効率的な解法は未だ課題である。
  • 波形緩和マルチグリッド法を適用し，効率的なソルバーを開発すること。
  • 提案手法は，既存の空間マルチグリッド緩和法を拡張し，効率的な一括解法を実現した。
  • 数値実験により，離散化次数や物理パラメータの変化に対するスケーラビリティが確認された。
  • 本手法は，ナビエ-ストークス方程式の時空間一括解法において有用である。

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

• 中程度の強い磁場における荷電粒子ダイナミクスに対するフィルタリングされた二段階変分積分器 [math.NA, cs.NA]目的：中程度の強い磁場における荷電粒子ダイナミクスの数値解法

  • 宇宙空間物理やプラズマ物理において，磁場中の荷電粒子の運動は重要な現象である。
  • 磁場が強い場合，従来の数値解法では精度と計算コストの課題が存在する。
  • 磁場の強さを考慮した，高精度かつ効率的な数値積分器を開発し，長時間の安定性を保証する。
  • 提案された積分器は，中程度の磁場に対して2次精度の誤差境界とエネルギー・運動量保存性を示す。
  • 弱い磁場に対しては，大きなステップサイズで位置と並行速度に関して一様2次精度を達成する。
  • 変調フーリエ展開と後向き誤差解析により，誤差挙動と長期的な近保存性が理論的に証明された。

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

• 無限次元逆問題に対する確率的勾配降下法に基づく変分推論 [math.NA, cs.NA]目的：無限次元逆問題に対する変分推論手法

  • 逆問題は，工学，科学における様々な現象のモデル化・解析に不可欠である。
  • 高次元空間における逆問題の解法は計算コストが高く，現実的な時間で解くことが困難である。
  • 確率的勾配降下法を用いて効率的な変分推論を実現し，計算コストを削減することを目指す。
  • 本研究では，一定学習率を用いた確率的勾配降下法による変分推論手法を提案し，効率的な事後分布からの近似サンプリングを可能にした。
  • 確率的勾配降下法を離散時間プロセスとして捉えることで，近似事後分布と真の事後分布の共分散演算子間の関係を明らかにし，その妥当性を検証した。
  • 提案手法を，滑らかな方程式と定常Darcy流れ方程式で記述される2つの逆問題に適用し，理論的結果とサンプリング性能を比較した。

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

• POD-ROM法におけるBDFスキームを用いた時間積分 [math.NA, cs.NA]目的：非線形反応拡散モデル問題に対するReduced Order Modelの時間積分

  • 複雑な偏微分方程式を効率的に解く必要性が高まっており，ROMはその有効な手法の一つである。
  • ROMの時間積分には暗黙Euler法が一般的だが，高次のBDFスキームの理論的解析は十分ではない。
  • BDFスキームを用いたROMの時間積分における最適収束率を数学的に証明し，その有効性を示す。
  • BDF-q時間ステップスキーム（1≦q≦5）を用いることで，時間方向の最適収束率qが得られることが示された。
  • スナップショットは，様々な時間で計算された有限要素近似から得られ，差分商を用いてPOD法を適用した。
  • 差分商を用いることで，時間点ごとの誤差評価が可能となり，BDFスキームの収束率を導く上で不可欠である。

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

• 多重直交多項式の再帰係数を計算するための逆固有値問題に対するクリーロフ法とコア変換アルゴリズム [math.NA, cs.NA]目的：多重直交多項式の再帰係数の計算

  • 数値計算において，直交多項式は様々な問題の近似解法に利用されるため重要である。
  • 逆固有値問題は，条件数が悪く，数値的に不安定になりやすいという問題がある。
  • ステップライン上の多重直交多項式の再帰係数を効率的かつ安定的に計算することを目指す。
  • 本研究では，逆固有値問題として定式化し，ブロッククリーロフ部分空間に基づくバイオルソゴナルランツォス法を提案した。
  • また，帯状ヘッセンベルク行列を構築するために，対角行列に対するガウス消去法の適用も検討した。
  • クラフチャック多項式やハーン多項式などを用いた数値実験により，アルゴリズムの精度と安定性を検証した。

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

• 熱方程式に対する稲妻法 [math.NA, cs.NA, math.CV]目的：熱方程式の解法

  • 偏微分方程式は，自然現象や工学問題を記述する上で不可欠である。
  • 複雑な形状の領域における解の特異点は，数値解法の課題となる。
  • 隅の尖った領域における解の特異点に対処し，高精度な解を得る。
  • 本研究で提案する手法は，スペクトル精度と根指数収束性を持つことが示された。
  • 幅広い時間間隔や様々な幾何学的形状に対応可能である。
  • ラプラス変換とタルボット積分を組み合わせることで，効率的な解法を実現した。

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

• 異方性ナビエ-ストークス方程式に対する Legendre 時間縮約法による初期値逆問題 [eess.SY, cs.SY, math.OC, math.NA, cs.NA]目的：圧縮性異方性ナビエ-ストークス方程式の初期値逆問題における初期速度場の再構成

  • 流体現象の解析は，工学や自然科学の様々な分野において重要であり，複雑な現象の理解に不可欠である。
  • 初期値逆問題は，観測データから初期条件を推定するため，数値誤差やノイズの影響を受けやすく，安定した解法が求められる。
  • 本研究は，時間縮約法を用いることで，初期値逆問題を効率的に解き，実用的な再構成手法を提供することを目的とする。
  • Legendre 時間縮約法に基づく新しい計算フレームワークを導入し，時間依存の逆問題を時間独立の楕円方程式系に変換した。
  • 提案手法は，ノイズや複雑な構造，異方性効果が存在する場合でも，初期速度場を高精度かつロバストに再構成できることを数値実験で示した。
  • 本手法は，異方性媒体における逆流体問題を効率的に解くための柔軟かつ計算可能なアプローチを提供する。

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

• 部分観測Lorenz 96モデルに対する付加的インフレーション投影法(PO)の誤差解析 [cs.AR, math.NA, cs.NA, math.DS]目的：部分観測Lorenz 96モデルにおける誤差の理論的上限

  • 気象予測やデータ同化において，モデル誤差を抑制し，予測精度を向上させることは重要である。
  • 部分観測下では非対称行列が生じ，アンサンブルカルマンフィルタの理論的保証が困難である。
  • 非対称行列を直接扱うための数学的枠組みを構築し，誤差の理論的上限を導出すること。
  • 付加的共分散インフレーションを用いることで，背景共分散の投影の有無にかかわらず，時間的に一様で有効な誤差の上限が得られた。
  • 本研究は，決定論的アンサンブルカルマンフィルタに関する既存の結果を補完する。
  • 数値実験の結果は，理論的結果を検証し，2つの設定で同程度の精度が得られることを示した。

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

• カーネル行列線形代数の高速化：密度推定によるアプローチ [cs.DS, cs.LG, cs.NA, math.NA]目的：カーネル行列を用いた線形代数演算の高速化

  • 機械学習やデータ解析において，カーネル法は重要な役割を担う。効率的なカーネル行列演算が不可欠である。
  • 大規模データに対するカーネル行列の計算・処理は，計算コストが高く，ボトルネックとなりやすい。
  • カーネル密度推定を用いることで，カーネル行列演算の計算コストを削減し，より高速な処理を実現すること。
  • 本研究では，カーネル密度推定を利用した新しいアルゴリズムを提案し，既存アルゴリズムよりも高速な演算を可能にした。
  • 提案手法は，行列ベクトル積，行列行列積，スペクトルノルム，および全エントリの合計といった演算において，既存手法よりも低い計算複雑度を達成した。
  • 理論的な上限と下限を比較することで，提案手法の有効性と，カーネル密度推定に基づくアプローチの限界を示唆した。

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

• 離散化された連続関数の最適化のための多重尺度法 [cs.AR, math.NA, cs.NA, math.OC]目的：離散連続関数の最適化手法

  • 最適化問題は，科学技術の様々な分野で不可欠であり，効率的な手法が求められている。
  • 高次元や複雑な関数における最適化は，計算コストが膨大になるという課題がある。
  • 計算コストを削減しつつ，より厳密な精度で最適解を求めることを目指す。
  • 粗いグリッドで初期化し，段階的に細かいグリッドで最適化することで，計算効率が向上する。
  • 多重尺度アプローチは，単一尺度最適化よりもタイトな誤差境界を証明的に達成できる。
  • 確率密度推定問題における数値実験で，計算速度が10倍以上向上することが確認された。

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

• 決定式に基づくCUR行列近似のエラー境界：オーバーサンプリングとボリュームサンプリング [math.NA, cs.NA]目的：CUR行列近似における誤差境界の導出

  • 大規模データへの応用において，低ランク近似は計算コスト削減と効率的なデータ処理に不可欠である。
  • 既存手法では，近似精度と計算量のトレードオフが明確に定量化されていなかった。
  • CUR近似の誤差要因を詳細に分析し，オーバーサンプリングの効果を定量化することで，近似精度向上を目指す。
  • 決定式を用いた手法により，CUR近似誤差を局所的な投影誤差と関連付け，幾何学的な洞察を得ることができた。
  • ボリュームサンプリングに基づく確率的枠組みにより，オーバーサンプリングの利点が明確になり，誤差要因が線形に変化することが示された。
  • 得られた誤差境界は，CUR近似の品質を最適な低ランク近似と比較し，理論的な基礎を提供している。

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

• 区分線形形状におけるレイノルズ方程式の高速ソルバー [math.NA, cs.NA, math-ph, math.MP, physics.flu-dyn]目的：区分線形形状におけるレイノルズ方程式の厳密解法

  • 微小流体デバイス等の設計において，流体解析は不可欠であり，計算コスト削減が重要である。
  • 複雑な形状におけるレイノルズ方程式の解析は，数値解法に頼らざるを得ず計算時間が課題となる。
  • 区分線形形状を対象とし，各要素の厳密解を組み合わせることで，高速な解法を確立する。
  • 区分線形形状の場合，シュール補完を用いて線形システムを効率的に解く手法を開発した。
  • 非線形形状に対しても，区分線形または区分定数近似により，二次の精度で解を求めることが可能である。
  • 区分線形形状に対する手法は，区分要素数に対して線形時間計算量で解けることが示された。

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

• 学習誘導型カンサ配置法：非線形を含む順問題と逆問題の偏微分方程式 [cs.CE, cs.AI, cs.LG, cs.NA, math.NA]目的：偏微分方程式の数値解法における課題克服

  • 物理，生物，グラフィカル現象の厳密なモデリングに不可欠だが，高次元データや計算コストが課題。
  • 既存手法は次元の呪い，高コスト，ドメイン特化型離散化に起因する問題がある。
  • 非線形性や結合問題を解決し，科学シミュレーションへの応用範囲を広げる。
  • 最近のCNFフレームワークソルバーを拡張し，結合・非線形設定に対応した。
  • 選択した手法の実装，自己調整技術の開発，ベンチマーク問題での評価を実施した。
  • ニューラルPDEソルバーと科学シミュレーションアプリケーションの包括的な調査を行った。

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

• FastLSQ：ワンショット偏微分方程式ソルバー [math.NA, cs.LG, cs.NA]目的：偏微分方程式と逆問題の高速解法

  • 科学技術計算において，偏微分方程式は様々な現象のモデル化に不可欠である。
  • 従来の数値解法は計算コストが高く，高次元問題や逆問題への適用が困難である。
  • 高速かつ高精度な偏微分方程式ソルバーを開発し，計算効率を向上させる。
  • FastLSQは，正弦波ランダムフーリエ特徴と解析的な導関数を用いて，偏微分方程式を高速に解くフレームワークである。
  • 線形問題では$10^{-7}$の精度を0.07秒で，非線形問題では$10^{-8}$から$10^{-9}$の精度を9秒以下で達成した。
  • 反復的なPINNソルバーと比較して，大幅な高速化と高精度化を実現している。

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

• 準モンテカルロ法における重要度サンプリングと活性部分空間 [math.NA, cs.NA]目的：準モンテカルロ法における重要度サンプリングと活性部分空間の組み合わせによる効率化

  • 金融計算において広く用いられ，その効率性は被積分関数の滑らかさと有効次元に左右される。
  • 被積分関数の滑らかさが低い場合や有効次元が高い場合に，計算効率が低下する課題がある。
  • 準モンテカルロ法において，重要度サンプリングと活性部分空間を組み合わせ，計算効率を向上させる。
  • 提案手法（IS-AS-preintegration法）は，金融におけるオプション価格決定と感度分析に適用された。
  • その結果，提案手法は既存手法と比較して高い競争力を持つことが示された。
  • 特に，アウトオブザマネーおよびディープアウトオブザマネーのオプションにおいて，より優れた分散削減効果が確認された。

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

• SI および SIR 疫学モデルの数値解法における Python，MATLAB，R の性能比較 [math.NA, cs.NA]目的：SI および SIR 疫学モデルの数値解法における Python，MATLAB，R の計算効率の比較

  • 感染症の拡大と制御において，数理モデルは不可欠であり，公衆衛生対策の立案に役立つ。
  • Python，MATLAB，R 等のソフトウェアにおける，疫学モデルの計算効率に関する網羅的な比較研究が不足している。
  • 各ソフトウェア・数値解法の精度と計算時間を比較し，適切なツール選択の指針を提供する。
  • Python，MATLAB，R で SI モデルを解いた結果，各言語・解法による計算時間に差異が認められた。
  • SI モデルにおいては，解析解との比較により，数値解法の精度を評価した結果，R2 値が算出された。
  • SIR モデルにおいては，MATLAB の ODE45 を基準解として RK4 法の解を比較し，精度を検証した。

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

• コーナー形状における潤滑理論とストークス流れの比較 [math.OC, cs.SY, eess.SY, physics.flu-dyn, cs.NA, math.NA]目的：コーナー形状における潤滑理論とストークス流れの差異

  • 微小流体デバイス設計において，流体挙動の正確な予測は性能向上に不可欠である。
  • 潤滑理論は表面勾配が大きい場合，精度が低下する可能性が指摘されている。
  • 表面勾配の影響と流れの再循環現象を定量的に評価し，潤滑理論の適用限界を明らかにする。
  • 潤滑理論とストークス流れの解を比較し，後退段，正則化後退段，蓋駆動三角形空洞における圧力降下の誤差を評価した。
  • 誤差は拡大比率や表面勾配の大きさが増加するにつれて増大することが示された。
  • 後退段におけるストークス流れの分離領域を遮断しても，流れの主要な特性は変化しないことが確認された。

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

• 高次元シュレーディンガー方程式に対するガウス和テンソルニューラルネットワーク [physics.comp-ph, cs.NA, math.NA]目的：高次元シュレーディンガー方程式の解法

  • 量子化学計算において，高次元空間での電子相関の正確な計算は重要である。
  • 高次元積分に伴う次元の呪いにより，従来の数値解法の計算コストが大きくなる。
  • ガウス和テンソルニューラルネットワークを用いて，効率的かつ高精度な解法を提供する。
  • 提案手法は，高次元シュレーディンガー方程式を解く上で，高い精度と効率性を示すことが数値実験により確認された。
  • クーロン相互作用の特異性を，ガウス和分解により効果的に処理し，計算コストを大幅に削減することに成功した。
  • 本研究は，量子系の高精度な計算を可能にする有望な手法となり得る。

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

• ストークス流れに対する拡張潤滑理論の比較 [physics.flu-dyn, cs.NA, math-ph, math.MP, math.NA]目的：拡張潤滑理論のモデル比較

  • 流体解析において，微小な間隙における流れを効率的に予測する手法が重要である。
  • 従来の潤滑理論は適用範囲が限られ，より広範な条件下での精度向上が課題である。
  • 本研究は，表面勾配の大きな場合でも精度の高いモデルを提案し，その有効性を検証する。
  • 提案モデルは，様々な形状の流体領域において，従来のモデルと比較して良好な精度を示した。
  • 表面変化の大きさや，領域の長さの比が，拡張潤滑理論の精度に大きく影響することが示された。
  • 提案モデルは，広範な形状に対応可能であり，実用的な応用が期待できる。

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

• 1