arXiv雑要約
数値解析 - 2026/08/03 公開
カットセル有限体積法における欠陥部分空間と局所的な不安定性 [math.NA, cs.NA]目的：カットセル有限体積法の不安定性のスペクトル構造の特性評価と，局所的なメッシュ形状から計算可能な最小SRDブレンディングパラメータの導出
- 複雑な形状の流体シミュレーションでは，境界条件を正確に扱う必要があり，カットセル法はそのための重要な手法である。
- カットセル法では，境界にセルが切断されることで，計算不安定性が生じる可能性がある。これは，シミュレーションの精度と安定性を損なう。
- 本研究は，カットセル法における不安定性の原因を明らかにし，シミュレーションがクラッシュするのを防ぐための基準を提示することを目的とする。
- 不安定性の成長率は，欠陥行列Γによって決定され，安定性の基準s_stabは，カットセルの体積比αとCFL数λから計算可能であることが示された。
- 提案された基準を用いることで，大規模シミュレーションの再実行を回避し，計算コストを削減できる。
- 線形化された有限体積法に対して，SRDが不安定な固有方向で作用することが証明され，カットセルにおける安定性の構造が明らかになった。
SPH(2)に基づく効率的な自由表面流れシミュレーションのための一般化された垂直座標変換 [math.NA, cs.NA]目的：複雑な海底地形を持つ自由表面流れ問題に対する計算効率の向上
- 海洋や沿岸域の現象解析において，高精度な数値シミュレーションが不可欠である。
- 複雑な海底地形への対応が困難であり，計算コストが増大しやすいという課題がある。
- 垂直座標変換を用いることで，海底地形に追従しつつ計算効率を高めることを目指す。
- 本研究では，底境界に適合した粒子法（BF-SPH），底境界適合楕円粒子法（BFE-SPH），σ-SPH法の3つの新しい手法を提案した。
- これらの手法は，SPH(2)を用いることで，2次精度を持つ垂直座標変換（VCT）を実現し，自由表面流れシミュレーションの効率を向上させる。
- 特にσ-SPH法は，水深を基準とした座標系を用いることで，沖合から沿岸域への段階的な解像度変化を可能にし，津波シミュレーションなどへの応用が期待される。
線形作用素方程式のモデル低次元化のための疑似時間駆動型フレームワーク [math.NA, cs.NA]目的：線形作用素方程式のモデル低次元化手法
- 複雑なシミュレーションの計算コスト削減が重要であり，効率的な近似手法が求められている。
- 時間的なスナップショットデータがない定常問題では，既存のモデル低次元化手法の適用が困難である。
- 疑似時間を用いて定常問題を擬似的な時間発展問題として扱い，モデル低次元化を可能にすることを目的とする。
- 提案手法は，静的な作用素方程式を疑似的な時間発展形式に変換し，システムの固有スペクトル特性を保持しながら時間的なデータを人工的に生成する。
- 疑似時間軌道が厳密な定常解に指数的に収束することが数学的に証明され，生成されたPOD基底関数の近似特性も厳密に確立された。
- 逆ソース問題を解く楕円方程式と，第一種フレドホルム積分方程式に対する理論的及び数値的な検証により，汎用性と精度が確認された。
点ごとの不変量からの行列ゲージクラスの安定的な復元 [math.NA, cs.NA]目的：行列ゲージクラスの安定的な復元方法
- 物理系のハミルトニアンモデル構築において，パラメータ化の自由度（ゲージ）を考慮する必要がある。
- 点ごとのスペクトル情報だけでは，このゲージの自由度を一意に決定することは難しい。
- 瞬時固有フレームにおける結合行列のループ積をスペクトルに加えることで，ゲージを安定的に決定することを目指す。
- 自然な非退化条件と連結性条件の下で，ループ積を伴うスペクトルは完全な不変量となることが証明された。
- この不変量を用いることで，行列ゲージクラスを安定的に復元できることが示された。
- 理論的結果を裏付ける数値実験が行われた。
スクランブルされたデジタルネットと関連するランダム点集合の分離特性 [math.NA, cs.NA]目的：準モンテカルロ点集合の局所的な幾何学的構造の変化
- 準モンテカルロ法は，数値積分や最適化において重要な役割を果たす。
- 既存の低不規則性構造をランダム化すると，準一様性が損なわれる可能性がある。
- ランダム化手法が準一様性に与える影響を定量的に評価すること。
- モンテカルロ，ジッター，ラテンハイパーキューブサンプリングにおけるメッシュ比の確率的漸近オーダーを決定した。
- フルオーウェンスクランブルは，固定tネットの最小距離をOₚ(N⁻³/²ᵈ)に，メッシュ比をΩₚ(N¹/²ᵈ)に低下させることを示した。
- 行列スクランブルや線形スクランブルは，メッシュ比をOₚ(log N)に抑える一方，平衡プレフィックスモデルではΘₚ(log N)となる。
ノード掃引共設計による7次2階導関数エルミート遅延補正法 [math.NA, cs.NA]目的：拡散支配型セミリニア問題に対する高次配置法と逐次単一状態解法を組み合わせたエルミート遅延補正法のノードと補正掃引の共設計
- 拡散現象を伴う物理現象のシミュレーションにおいて，高精度かつ効率的な数値解法が求められている。
- 既存の遅延補正法では，ノードと補正掃引が相互に依存しており，設計が困難である。
- ノードと補正掃引を同時に最適化することで，高次精度を保ちつつ計算コストを削減することを目指す。
- 3分割区間，H4予測子，2回の補正を用いた場合，完全7次B級欠陥は48次元根付き木空間においてランク1となることが示された。
- 有理ノードと単一の代数補正パラメータにより，非線形主誤差条件を制御するスカラー連鎖係数を打ち消し，古典的な7次精度を証明した。
- Accuracy-P40という補完的な設計により，6次精度を維持しつつ，主誤差ノルムをLGL-L3値の9.8%まで削減し，スティフネス指標も0.40以下に抑えた。
分割四元数行列のムーア・ペンローズ逆行列の計算のための反復法とその応用 [math.NA, cs.NA]目的：分割四元数行列のムーア・ペンローズ逆行列の計算方法
- 分割四元数は，物理現象や画像処理など，様々な分野で応用が広がっている。
- 分割四元数行列の逆行列計算は，数値的に不安定であり，効率的なアルゴリズムが求められている。
- 本研究では，分割四元数行列のムーア・ペンローズ逆行列を効率的に計算するための反復法を提案する。
- 本研究で提案する反復法は，実数表現に基づいた一貫したフレームワークに基づいており，零因子を含む場合でも明確な定義が可能である。
- 薄い特異値分解を用いることで，収束条件，残差の変動，残差と誤差の関係について解析的に導出した。
- 提案手法は，クロス近似やCUR近似といった分割四元数行列の近似計算にも応用可能であり，数値実験によってその精度と有効性が確認された。
I-MCHM：多スケール楕円問題のための界面多連続体均質化法 [math.NA, cs.NA]目的：高コントラストな楕円問題に対する界面多連続体均質化法の開発
- 多スケール問題の効率的な数値解析は，工学分野における複雑な現象のシミュレーションに不可欠である。
- 異方性材料や複雑な構造を持つ問題において，微視的な詳細を考慮したシミュレーションは計算コストが膨大になる。
- 異なる連続体数を持つ領域間の界面における条件を適切に設定することで，均質化モデルの精度向上を目指す。
- I-MCHMは，界面近傍に制約された局所基底を構築し，バルク積分と界面補正項を用いて粗視化された双線形形式を組み立てる。
- 標準的な多連続体均質化法では未定義となっていた粗視化変数間の相互作用を，界面条件を明示的に規定することなく決定できる。
- 直線，曲線，三分岐構造を含む様々な形状に対して，数値実験により提案手法の精度が検証された。
最適性保証を持つ再帰的バタフライ分解 [cs.AR, cs.ET, cs.SY, eess.SY, cs.HC, math.NA, cs.NA]目的：バタフライ行列の再帰的表現形式
- 行列計算の高速化は，科学技術計算のボトルネック解消に不可欠である。
- 大規模行列の近似分解において，精度と計算コストの両立が課題である。
- バタフライ分解による近似精度向上と計算コスト削減を目指す。
- 本研究では，バタフライ行列を再帰的に表現する新しい形式を提案した。
- 行列 A が明示的に与えられた場合，アルゴリズムは O(N^2) の演算でバタフライ行列 B を計算し，近似誤差は最適な近似誤差の O(√log(N)) 因子以内である。
- 行列フリー版では，$\widetilde{O}(\sqrt{N})$ の行列ベクトル積と $\widetilde{O}(N)$ の作業メモリを使用し，フロベニウスノルム誤差は最適な誤差の O($N^{1/4}$) 因子以内である。
偶数次幾何形状における特異な振る舞い：超収束幾何的整合誤差の説明 [cs.RO, cs.SY, eess.SY, cs.DC, math.NA, cs.NA]目的：超収束幾何的整合誤差の原因解明
- 表面有限要素法は，複雑な形状の解析に不可欠であり，高精度な近似が求められる。
- 表面有限要素法では，誤差の評価が難しく，特に幾何的量に関して収束性が遅れる場合がある。
- 偶数次要素における誤差の相殺現象を解析し，幾何的整合誤差の超収束性を説明することを目的とする。
- 適切な構造を持つメッシュにおいて，主要な補間誤差が相殺されることで超収束性が生じる。
- この相殺は，関数，導関数，幾何学的量の重み付き積分推定値を改善する。
- 数値実験により，予測される次数依存性および超収束性のメカニズムが確認された。
マルチンゲールに基づく偏微分方程式を解くための反復サンプリングと回帰手法 iSMART [math.NA, cs.NA]目的：高次元マルチンゲールに基づく偏微分方程式の解法
- 金融工学等の分野で重要となる偏微分方程式を数値的に解くための効率的な手法が求められている。
- 高次元における従来の解法は，計算コストが高く，精度が低いという課題があった。
- iSMARTは，より効率的かつ高精度な解法を提供することで，この課題を克服することを目指す。
- iSMARTは，条件付き期待値の$L^2$-射影特性と勾配停止技術を活用し，偏微分方程式から導かれる連続マルチンゲール条件を反復的なサンプリングと回帰問題の系列に変換する。
- 標準的な確率微分方程式のパスシミュレーションと二乗誤差損失の最小化のみに依存し，敵対的最適化やネストされた期待値推定を必要としない。
- 線形，準線形，完全非線形マルチンゲールに基づく偏微分方程式を統一的な反復手順で扱え，特に完全非線形ハミルトン・ヤコビ・ベルマン方程式に対して収束性を改善する手法を導入した。
係数とウィーナー過程に関するノイズを含むスカラー確率微分方程式に対するランダム化されたミルスタインスキームの誤差 [math.NA, cs.NA, math.PR]目的：係数とウィーナー過程に関するノイズを含むスカラー確率微分方程式の強近似
- 確率微分方程式は，金融，物理，生物学など，様々な分野のモデリングに不可欠である。
- 現実の問題では，係数やウィーナー過程の正確な情報が手に入りにくい場合が多い。
- ノイズを含む情報のみに基づいたランダム化されたミルスタインスキームの誤差評価を行う。
- 提案されたランダム化されたミルスタインスキームの$L^r$誤差は，$C(n^{-\min\{\gamma_1+1/2,\gamma_2\}}+\delta_1+\delta_2+\delta_3)$によって制限される。
- この誤差境界は，時間ステップ数$n$，係数の時間ホルダー指数$\gamma_1,\gamma_2$，ノイズレベル$\delta_1,\delta_2,\delta_3$に依存する。
- 得られた結果は，ランダム化された標準情報モデルにおける最適な誤差境界と一致する。
曲率正則化表面再構成のための閾値分割に基づくオペレーター分割法 [math.NA, cs.NA]目的：点群からの曲率正則化表面再構成モデルの効率的な解法
- 計算幾何学における基礎課題であり，コンピュータグラフィックス等広範な分野に応用される
- 従来のレベル集合法では，再初期化の計算コストが課題となる
- 閾値分割とオペレーター分割を組み合わせ，効率的な表面再構成を目指す
- 提案手法は，曲率正則化，オペレーター分割，閾値ダイナミクスを組み合わせたものである。
- 数値実験により，提案手法が計算効率に優れ，鋭い角や凹凸を正確に再構成できることが示された。
- 再初期化のコストを回避するため，再構成された表面をインジケーター関数で表現する。
多忠実度モンテカルロ法におけるサンプルサイズ推定の再帰的丸め [math.NA, cs.NA]目的：多忠実度モンテカルロ法の最適サンプル割り当て戦略
- シミュレーションによる不確実性評価において，計算コストと精度のトレードオフが重要となる。
- 既存の丸め手法では，コスト予算を十分に活用できず，特に厳しい予算制約下で問題が生じる。
- コスト予算内で許容誤差を満たす，効率的なサンプル割り当て戦略を確立すること。
- 提案手法は，ベルマンの最適性原理に基づき，整数値のサンプル割り当てを再帰的に構築する。
- これにより，連続的な費用・分散のトレードオフをより密接に反映した割り当てが可能となる。
- 数値実験により，既存手法と比較して，より低い計算コストで許容誤差を満たすことが示された。
凍結，そして選択：構造化場適応器と安定性検証付き弱選択による疎観測からのPDE発見 [cs.LG, cs.NA, math.NA]目的：疎観測からの偏微分方程式(PDE)発見のための手法
- 物理現象の数理モデル化は，科学技術の発展に不可欠である。
- 観測データが少ない場合，連続的な場を再構成し，正しい微分項を選択することが困難である。
- 方程式選択とニューラル最適化を分離し，正確な項のサポートを回復すること。
- 構造化場適応器と安定性検証付き弱選択(SVWS)を組み合わせた「凍結，そして選択」法を提案。
- この手法は，従来のPDE発見手法やニューラルネットワークベースの手法と比較して，最も高い正確な項のサポート回復率を達成。
- 特に，困難な倉本-志波林力学において，顕著な改善が見られた。
単純後悔率とマターンおよび二乗指数型RKHSにおける固定事前期待改善のミニマックス最適性 [math.CO, cs.CG, stat.ML, cs.LG, cs.NA, math.NA, math.ST, stat.TH]目的：決定論的目的関数fの最小化における期待改善（EI）方策の性能評価
- 最適化問題において，関数の形状が未知である場合，効率的な探索が重要となる。
- 期待改善方策は計算コストが高く，後悔（最適解からのずれ）の評価が難しい。
- マターン核および二乗指数型核を用いたEI方策の単純後悔率の上界を導出する。
- マターン核の場合，単純後悔率は$O(N^{-\nu/d})$で示される。
- 二乗指数型核の場合，単純後悔率は$O(\exp[-c_1\min\{N, N^{1/d}\log(eN)\}])$で示される。
- マターン核においては，EI方策はミニマックス最適性を持つことが示された。
切断有限要素外微分幾何におけるゴースト安定化 [math.NA, cs.NA]目的：切断有限要素法の安定化手法
- 複雑な形状の領域を扱う際，有限要素法のメッシュ生成は困難を伴う。
- メッシュと領域境界の位置関係に依存した数値不安定性が存在する。
- メッシュの位置に依存しない安定的な数値解を得ることを目指す。
- 本研究で提案する安定化手法は，どのような形式次数に対してもロバストな解を与える。
- 物理領域上の$L^2$ノルムと「アクティブ」メッシュ上の$L^2$ノルムが等価であることが証明された。
- 非適合メッシュ上でのホッジラプラス方程式の離散化が可能であり，安定性と最適な収束性が示された。
滑らかなカーネルを持つ2次元第二種フレドホルム積分方程式に対するデカップルド・メッシュレス・ニストローム法 [math.NA, cs.NA]目的：滑らかなカーネルを持つ2次元第二種フレドホルム積分方程式の数値解法
- 積分方程式は，物理現象の数理モデルとして広く用いられており，その効率的な解法は重要である。
- 従来のニストローム法では，解ノードと数値積分ノードを同一にする必要があり，狭帯域カーネルにおいて精度が低下する。
- 解ノードと数値積分ノードを分離し，より高精度で効率的な解法を提案すること。
- 解ノードと数値積分ノードを分離する新しい手法を提案し，その精度と効率を検証した。
- 特に狭帯域カーネルにおいて，古典的なニストローム法と比較して，性能上の優位性を示すことができた。
- 解ノードと数値積分ノードの密度比を適切に選択することで，効率を最大化できることを実験的に示した。
画像分解のための誘導型変分ネットワーク [math.NA, cs.NA]目的：画像分解における問題解決
- 画像処理の重要な前処理ステップであり，その性能が最終的な結果に大きく影響する。
- 古典的な変分モデルは数値計算が困難で，パラメータ調整に手間がかかるという課題がある。
- 適応的な正則化項を導入し，パラメータの自動選択を実現することで，信頼性の高い画像分解を目指す。
- 提案手法であるGVDモデルは，空間的に適応的な二次ノルムを導入し，学習を通じてピクセルごとの重みを決定する。
- GVDモデルは，古典的な変分モデルと現代的なデータ駆動型手法を組み合わせ，効率的かつ解釈性の高いモデルを提供する。
- 実験結果から，GVDモデルは自動パラメータ選択により，堅牢で自己調整可能な優れた画像分解手法であることが示された。
楕円型界面問題に対するフィクティスドメイン法のための拡張ラグランジュ乗数事前条件子 [math.NA, cs.NA]目的：楕円型界面問題におけるジャンプ係数付き有限要素離散化から生じる線形システムの解法
- 界面問題は，工学における様々な現象をモデル化する上で重要である。
- 大きな係数ジャンプが存在する場合，線形システムの解法が困難となる。
- 係数ジャンプに強いロバストな事前条件子を開発し，計算コストを削減すること。
- 提案する拡張ラグランジュ乗数事前条件子は，FGMRES法の収束性を改善する。
- ブロック三角形型の変種事前条件子は，計算コストを削減できることが示された。
- 数値実験により，メッシュに依存しない反復回数と大きな係数ジャンプに対するロバスト性が確認された。
多成分型多倍長浮動小数点演算における分岐のない乗算加算アルゴリズムの性能評価 [math.NA, cs.MS, cs.NA]目的：多成分型多倍長浮動小数点演算における分岐のない乗算加算アルゴリズムの性能
- 科学技術計算において，より高い精度と計算速度が求められており，多倍長演算の重要性が増している。
- 従来の多倍長演算は，分岐命令が多く，性能向上のボトルネックとなっていた。
- 分岐命令を排除したアルゴリズムを開発し，多倍長演算の性能を向上させる。
- 提案する分岐のない乗算加算演算は，二重語，三重語，四重語の演算において性能向上を示した。
- 既存のアルゴリズムと比較して，ベンチマークテストにより性能向上が確認された。
- エラーフリー変換(EFT)を用いた演算において，さらなる高速化に貢献する。
ハダマール多様体上の1-Lipschitzニューラルネットワーク [math.NA, cs.LG, cs.NA]目的：ハダマール多様体上の1-Lipschitzニューラルネットワークの構築と解析
- ニューラルネットワークの安定性や頑健性を高める上で，Lipschitz定数の制御は重要である。
- 既存の制約戦略は主にユークリッド空間向けであり，多様体上での応用が課題となっていた。
- 本研究は，ハダマール多様体上で1-Lipschitz性を保つニューラルネットワークを設計し，その有効性を示す。
- 双曲多様体や対称正定値行列多様体に対し，具体的な構成例を示した。
- ポアンカレ円盤上でのロバストな分類実験により，本ネットワークの頑健性が確認された。
- マスク付きWishart共分散再構成問題において，非膨張性デノイザーが既存手法を上回る性能を示した。
疎な車両アドホックネットワークにおける交通衝撃波のGNNベースマルチエージェント制御 [cs.NI, cs.LG, cs.NA, math.NA]目的：交通衝撃波の抑制
- 交通渋滞，燃費悪化，事故増加の主要因である交通衝撃波の軽減が重要である。
- 既存の制御戦略はグローバルな交通状態情報に依存し，VANETの初期段階での展開が困難である。
- 車両局所情報と近隣車両との相互作用を用いた協調制御ポリシーの学習を目指す。
- 提案するGNNベースMARLフレームワークは，交通衝撃波の伝播を最大80%削減できることがシミュレーションで示された。
- 接続車両が10%に満たない状況下でも，高い効果が確認された。
- 本研究は，VANET初期段階での実用的な交通制御アプローチを提供する。
行列多項式評価スキームの安定生成のためのMATLABツール：2積の削減 [math.NA, cs.NA]目的：行列多項式評価スキームにおける2積削減の実現
- 行列関数の数値近似は，高次行列多項式の効率的な評価に依存する重要な分野である。
- 従来のPaterson-Stockmeyer法に支配されていた計算効率の限界が課題となっていた。
- 本研究は，任意の多項式に対して2積削減を一般化し，安定な評価スキームを提供する。
- 本ツールは，次数$m \in \{18, 21, 24, 26, 27, 28\}$ および $m \ge 30$ の多項式に対して，2積削減を可能にする。
- 数値実験により，本実装が古典的なPaterson-Stockmeyer法と同等か，それ以上の精度を維持しつつ，理論的な2積削減を実現することが確認された。
- 変数精度演算を活用し，非線形方程式の解法，安定性検証，および精度境界の予測を自動化する。
ベイズ逆問題に対する証明可能な拡散事後サンプル法 [stat.ML, cs.LG, cs.NA, math.NA, math.PR, math.ST, stat.TH]目的：ベイズ逆問題における事後分布からのサンプリング手法
- ベイズ統計は不確実性を定量化し，複雑なモデルの推論に不可欠である。
- 事後分布のサンプリングは高次元で困難であり，近似手法が求められている。
- 複雑な事後分布に対する効率的かつ正確なサンプリング手法の開発。
- 拡散モデルを用いることで，容易にサンプリング可能な分布から目的の事後分布への確率輸送を実現した。
- Langevin力学に基づくモンテカルロ推定器により，事後分布のスコアを近似し，ヒューリスティックな近似を回避した。
- 提案手法の収束性に関する非漸近的な誤差限界を確立し，理論的根拠と数値実験で有効性を示した。
- 1