arXiv雑要約

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

  • ボルツマン輸送方程式の多面体離散化における拡散合成加速 [math.NA, cs.NA, physics.comp-ph]目的:ボルツマン輸送方程式の多面体不連続ガレルキン法における拡散合成加速の効果検証
    • 中性子輸送計算は,原子炉設計や核融合炉開発など,様々な分野で不可欠な技術である。
    • 高精度な輸送計算は計算コストが高く,実用的な時間で解を得ることが課題となっている。
    • 拡散合成加速法を用いることで,輸送計算の収束性を向上させ,計算コストを削減する。
    • 修正内罰法(MIP)に基づく拡散合成加速法は,様々なパラメータ範囲で頑健な収束性を示す。
    • 古典的な対称内罰法(SIP)に基づく拡散合成加速法は,中間的なパラメータ範囲で頑健性を失う可能性がある。
    • 光学的に厚く,強い散乱条件下では,MIPに基づくスキームの収束因子は通常0.6以下である。

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

  • アダプティブオクトリー上の代数的に整合性のある粗化を用いた行列フリー多重グリッド法 [math.NA, cs.GR, cs.NA]目的:不規則領域を持つアダプティブオクトリーグリッド上のポアソン方程式の解法
    • 科学技術計算において,大規模な連立方程式の効率的な解法は不可欠である。
    • 複雑な形状の領域に対する計算コストが高く,メモリ使用量が多いことが課題である。
    • 行列フリー法と多重グリッド法を組み合わせ,計算効率とメモリ効率を向上させる。
    • 本研究では,GPU上で動作する行列フリー多重グリッド前処理器を提案した。
    • 提案手法は,第2次精度とグリッドサイズに依存しない収束性を示すことが実験的に確認された。
    • 単一のNVIDIA RTX 4090 GPU上で,解析的なポアソン方程式に対して毎秒2億個以上のセルを処理できる性能を示した。

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

  • 暗黙的コンパクトカーネルマテリアルポイント法:計算固体力学への応用 [cs.CE, cs.NA, math.NA, physics.comp-ph]目的:計算固体力学におけるマテリアルポイント法のための暗黙的コンパクトカーネル法の開発と性能評価
    • 固体力学のシミュレーションは,構造設計や材料開発において不可欠であり,高精度な数値解法が求められる。
    • 従来のMPMでは,カーネル関数の選択が数値安定性,精度,計算コストに大きく影響し,最適なカーネル設計が課題であった。
    • 本研究は,コンパクトカーネルが持つ利点を活かしつつ,暗黙的解法により大規模変形シミュレーションにおける課題を解決することを目指す。
    • 暗黙的CK-MPMは,コンパクトサポートの利点を維持しつつ,大規模変形シミュレーションに必要な滑らかさを確保できることが示された。
    • 線形MPMと比較して,セル交差による応力ノイズと数値拡散を低減し,より安定した計算結果を得ることができた。
    • 二次BスプラインMPMと比較して,接触局所性を向上させ,人工的な接触ギャップや早期接触の問題を軽減することができた。

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

  • 非線形偏微分方程式を解くためのリンドブラジアンホモトピー解析法 [math.NA, cs.NA, quant-ph]目的:非線形偏微分方程式の数値解法
    • 科学技術計算において偏微分方程式の解法は不可欠であり,シミュレーションや最適化に応用される。
    • 量子コンピュータを用いた非線形偏微分方程式の解法では,次元の呪いや線形化過程での収束性の問題が存在する。
    • 次元の呪いを克服し,収束性を向上させた量子微分方程式ソルバーを開発する。
    • リンドブラジアンホモトピー解析法(LHAM)は,非線形偏微分方程式を線形化された一連の繰り返し方程式に変換する。
    • LHAMでは,ヒルベルト空間の次元が他の手法と比較して対数的に増加するため,計算コストを抑えられる。
    • バーガース方程式や磁気流体力学方程式といった非線形偏微分方程式に対するLHAMの有効性が示された。

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

  • スメクチック液晶に対する修正Landau-de Gennes理論のための緩和型一般化スカラー補助変数指数積分法 [cs.CL, math.NA, cs.NA]目的:スメクチックA相の数値シミュレーションのための,高効率かつ無条件にエネルギー安定な数値スキーム
    • 液晶材料は,ディスプレイなど幅広い分野で応用されており,その物性解明が重要である。
    • スメクチック液晶の挙動は複雑であり,高精度な数値シミュレーションが困難である。
    • 既存手法の計算コストと安定性問題を克服し,より信頼性の高いシミュレーションを可能にする。
    • 提案手法は,既存手法のCFL条件の制約を解消し,厳密な離散誤差解析を可能にする。
    • 理論的に,離散エネルギーに関する無条件のエネルギー安定性と数値解の一様有界性が証明された。
    • 数値実験により,提案手法の精度,効率,構造保存特性,および複雑な欠陥ダイナミクスの捕捉能力が確認された。

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

  • 検証済みIVPのためのテイラーチューブ法 [math.NA, cs.NA]目的:検証済みIVPアルゴリズムの設計
    • 数値計算の信頼性確保が重要であり,特に初期値問題では誤差の検証が不可欠である。
    • 既存手法では,計算精度と速度の両立が課題であり,特に高次の精度を求める場合に計算コストが増大する。
    • テイラーチューブの導入により,精度向上と計算速度の改善を両立させ,IVPソルバーの効率化を目指す。
    • 高次のテイラーチューブを用いることで,精度が向上することが確認された。
    • 意外なことに,二分法と組み合わせることで,計算全体の高速化も実現された。
    • 本研究で提案する手法は,検証済みIVPアルゴリズムの性能向上に貢献する。

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

  • 複合構造における非線形熱電機械結合問題に対する高次マルチスケール法とその収束解析 [math.NA, cs.NA]目的:複合構造における時間依存性の非線形熱電機械結合問題に対する高精度なマルチスケールモデルの構築
    • 複合材料構造の設計・解析は,航空宇宙,自動車,エネルギーなど幅広い分野で重要である。
    • 高空間異方性や温度依存性などの複雑な現象を伴うため,高精度なシミュレーションが困難である。
    • 周期的な構造における熱,電荷,応力の局所的な保存則を考慮し,高精度なマルチスケール計算を可能にする。
    • 本研究では,非線形マルチフィジックスシミュレーションのための新規な高次補正項を含む高精度なマルチスケール漸近モデルを提案した。
    • 局所的な点ごとの誤差解析により,熱量,電荷,応力の局所的な平衡の維持が理論的かつ物理的に示された。
    • 高次マルチスケール解に対する明示的な収束率を提供するグローバル誤差推定を得るとともに,オフラインとオンラインの段階を含む効率的な数値アルゴリズムを提示した。

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

  • 多成分拡散のためのオンザガー・シュテファン・マックスウェル方程式の条件付け器 [cs.SC, cs.MS, math.RA, math.NA, cs.NA]目的:多成分拡散におけるオンザガー・シュテファン・マックスウェル方程式の求解を効率化するための条件付け器
    • 多成分系における物質輸送は,化学工学,生物学,環境科学など広範な分野で重要である。
    • 既存の求解手法では,計算コストが高く,大規模問題への適用が困難な場合がある。
    • 本研究は,大規模な多成分拡散問題を効率的に解くためのロバストな条件付け器を開発する。
    • 提案手法は,等圧・等温・理想気体条件下における定常オンザガー・シュテファン・マックスウェル方程式に対して,離散化に対するロバスト性を持つことが証明された。
    • ニュートン線形化においては,提案手法をブロック対角平滑化器としてモノリシック幾何学的マルチグリッド反復法に組み込み,頂点星Schwarz法と組み合わせることで,幅広い設定で適用可能であることが示された。
    • 本手法は,クロス拡散,非理想混合,熱,圧力,対流,電気化学効果を含む様々な多成分流れにおいて,メッシュ細分化や多項式の次数に対するロバスト性または穏やかな依存性を示すことが実証された。

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

  • 熱応用におけるトポロジー最適化のためのモデル次数削減手法の比較 [cs.RO, math.NA, cs.NA]目的:熱設計におけるトポロジー最適化のシミュレーション高速化
    • 複雑な形状の熱設計は製品性能に重要だが,高精度なシミュレーションに膨大な計算コストがかかる。
    • トポロジー最適化では大規模なシミュレーションを繰り返すため,計算コストがボトルネックとなる。
    • モデル次数削減を用いることで,計算コストを削減し,効率的な設計を可能とする。
    • 本研究では,熱設計のトポロジー最適化において,モデル次数削減技術がシミュレーション時間を最大3倍削減できることを示した。
    • 特に,ワンショット法と組み合わせることで,最大16倍の高速化が実現した。
    • また,反復線形ソルバーの停止基準の適切な選択が,モデル次数削減の有効性に不可欠であることがわかった。

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

  • 暗黙的シンプレクティック積分のシンプレクティック誤差:定性的構造解析 [math.NA, cs.NA]目的:暗黙的シンプレクティックスキームにおける非線形ソルバーの不正確性によるシンプレクティシティの損失
    • 長時間の数値シミュレーションにおいて,エネルギー保存則やシンプレクティシティの維持は重要課題である。
    • 非線形ソルバーの反復回数が有限である場合,シンプレクティシティが完全に保たれないという問題がある。
    • シンプレクティシティの損失の定性的な構造を解析し,誤差の振る舞いを明らかにする。
    • シンプレクティック Euler 法と Stormer-Verlet 法において,固定回数の固定点反復を行った場合,シンプレクティック構造行列の摂動をブロックごとに特徴づけた。
    • 摂動行列は歪対称性を保ち,特定のブロックは消滅し,残りのブロックは時間ステップのべき乗で抑えられることが示された。
    • 相空間における体積保存の摂動は,シンプレクティック構造行列のオフ対角ブロックに起因し,エネルギー誤差を評価できる。

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

  • 最小最大凹型正則化を用いたフレームレットに基づくブラインド画像復元 [cs.CV, cs.NA, math.NA]目的:ブラインド画像復元における性能向上
    • 画像処理において,劣化画像の復元は重要な課題であり,実用性が高い。
    • ブラインド復元では,点像拡散関数と鮮明な画像を同時に推定する必要があり,困難を伴う。
    • L0ノルム正則化の計算コストと非凸性を克服し,より効果的な復元手法を確立する。
    • 提案手法では,最小最大凹型ペナルティ(MCP)を用いることで,L0ノルムへの近似精度を高め,スパース性を促進する。
    • 再重み付きL1ノルム正則化を導入することで,推定バイアスを低減し,微細な画像の詳細とテクスチャの保存を改善する。
    • 実験評価の結果,提案手法が複数のテスト画像において有効であることが示された。

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

  • 可変トポロジー機構の順運動:拘束条件アクティベーションの場合 [cs.HC, cs.RO, cs.NA, math.DG, math.DS, math.NA, physics.class-ph]目的:可変トポロジー機構の順運動解析
    • 機構の設計や制御において,自由度の変化を正確に把握することは重要である。
    • 機構のトポロジー変化時の運動解析は困難であり,滑らかでない動的問題となる。
    • トポロジー変化時の物理的に意味のある移行条件を提示し,動的挙動の予測を目指す。
    • 投影運動方程式とVoronets方程式という2つの移行条件を提示した。
    • 平面3R機構と6DOF産業用マニピュレータの関節ロックを用いてシミュレーションを実施した。
    • 計算特性の観点から,各方程式の利点を考察した。

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

  • ヘルムホルツ方程式のスケーラブルな多重グリッドソルバー:実数シフト粗グリッド補正 [cs.CL, math.NA, cs.NA]目的:高周波ヘルムホルツ方程式に対する収束性とスケーラビリティ
    • 波動現象のシミュレーション等,科学技術計算において重要な方程式であり,効率的な解法が求められている。
    • 従来の多重グリッド法は高周波問題で収束せず,複素数シフトを用いる手法が一般的だが,スケーラビリティが課題である。
    • 複素数シフトを用いずに,スケーラブルな収束を実現する新しい多重グリッド法を提案し,問題解決を目指す。
    • 粗グリッドのガレルキン演算子に実数シフトを適用することで,グリッド間の数値分散を補正し,スケーラブルな3レベル法を実現した。
    • 微細グリッドあたり12グリッドポイント/波長の条件下でスケーラブルな収束を示し,11グリッドポイント/波長では少ない反復回数で収束した。
    • 10グリッドポイント/波長の条件下では,わずかな複素数シフトと組み合わせることで,標準的な複素シフトラプラシアン法を1桁上回る性能を示した。

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

  • 相分離モデルにおける特異点:非局所Cahn-Hilliard方程式に対するスペクトル要素法 [math.NA, cs.NA, math.AP]目的:非局所Cahn-Hilliard方程式の数値的近似法の開発
    • 相分離現象の理解は,材料科学や物理学において重要である。
    • 非局所項の離散化が困難であり,特異なカーネルの取り扱いが課題である。
    • 特異な convolution 演算子の効率的かつ高精度な近似法を確立すること。
    • 擬スペクトル多重形状法を用いることで,特異な convolution 演算子の作用を高精度に近似することに成功した。
    • 低い計算コストで,高解像度の数値解を得ることが可能となった。
    • 本手法は,定数移動度,対数ポテンシャル,ニュートン相互作用カーネルを持つ非局所系に適用可能である。

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

  • 弱許容メッシュ上の階層スプライン空間における近似の局所性 [cs.IR, math.NA, cs.NA]目的:弱許容階層メッシュの近似特性
    • 数値解析において,高精度な近似計算は重要であり,効率的なメッシュ生成手法が求められている。
    • 既存の適応的メッシュ細分化法では,不安定性や近似精度の低下が課題となる場合がある。
    • 弱許容階層メッシュを用いた,安定性と近似精度の高い適応的細分化手法を確立すること。
    • 本研究では,局所的にグレードされたメッシュを生成するロバストな適応的細分化アルゴリズムを設計・解析した。
    • 計算効率の良い準補間演算子を用いて,厳密な安定性と近似結果を導き出した。
    • 理論的および数値的な結果は,このアプローチが数学的に洗練されており,既存の手法よりも優れていることを示している。

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

  • 準周期楕円方程式の規則性解析とテンソルニューラルネットワーク法 [cs.CL, cs.HC, math.NA, cs.NA]目的:準周期楕円問題の解法
    • 科学技術計算において,偏微分方程式の効率的な解法は重要な課題である。
    • 準周期関数の規則性解析は難しく,数値計算への応用が困難である。
    • 準周期楕円問題に対する高精度かつ効率的な数値解法の開発。
    • 準周期および周期関数空間の理論的解析と,準周期楕円問題に対する規則性評価を行った。
    • 適応テンソルニューラルネットワーク部分空間に基づく機械学習法を提案し,数値解法の設計に理論的根拠を提供した。
    • テンソルニューラルネットワークの特殊構造を活用し,モンテカルロ法に依存せずに高次元積分を高精度に実行できる効率的な数値手法を設計した。

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

  • 高次元分数偏微分方程式に対する勾配強化モンテカルロfPINN法 [math.NA, cs.NA]目的:高次元分数偏微分方程式の効率的な数値解法
    • 科学技術計算において,複雑な物理現象を記述する分数偏微分方程式の重要性が増している。
    • 分数偏微分方程式は,特異核や境界条件の複雑さから,高次元での計算コストが課題となっている。
    • 本研究は,積分法とモンテカルロ法を組み合わせ,高次元分数偏微分方程式の精度と収束性を向上させる。
    • 提案手法は,特異積分,正則積分,モンテカルロサンプリングを組み合わせることで,計算コストを削減した。
    • 分数ポアソン方程式や時間依存分数偏微分方程式の数値実験により,既存手法よりも精度と収束性が向上することが示された。
    • 特に,強い境界特異性を持つ解に対して,その効果が顕著であった。

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

  • 変分不等式に対する近接不連続ガレルキン法 [math.NA, cs.NA]目的:変分不等式に対する近接不連続ガレルキン法の研究
    • 最適化問題や偏微分方程式の解法において,変分不等式は重要な役割を果たす。
    • 既存の数値解法では,高次の精度を達成することが困難であった。
    • 高次の収束性を持つ近接ガレルキン法の開発を目指す。
    • 本研究では,様々な不連続ガレルキン法を Bregman 近接点法に適用し,一連の数値解法を提案した。
    • 提案手法の解の存在性,一意性,エネルギー消散性,および双対変数に対する誤差評価を理論的に証明した。
    • 特に,高次ハイブリッド法は,近接ガレルキン法における初の高次収束結果を示した。

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

  • ベイズ推論による水深再構成 [stat.AP, cs.CE, cs.NA, math.NA]目的:水深再構成
    • 海洋学や環境モニタリングなど,多様な分野において重要な課題である。
    • 水高の点測定のみから正確な水深を再構成することは困難である。
    • ベイズ推論を用いて,水深再構成の精度向上と不確実性の定量化を目指す。
    • ベイズ推論フレームワークは,水深再構成において堅牢なアプローチである。
    • 実験データを用いた実世界の水路における水深再構成において,正準最適化法と比較して,正規化二乗平均平方根誤差(NRMSE)が改善された。
    • ベイズ推論は,より良い定性的な特徴を提供するとともに,不確実性を定量化することが可能である。

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

  • コヒーレント表面散乱イメージングによる3D動的逆変換のための非一様反復位相フレームワークとサンプリング要件 [physics.comp-ph, cs.NA, math.NA]目的:薄いナノ構造の構造探査
    • ナノテクノロジーの発展に伴い,ナノ構造の可視化技術が不可欠となっている。
    • 実験設定から動的散乱の影響を受け,直接的な位相測定が困難である。
    • 非一様サンプリングによる誤差を低減し,高分解能な3D構造を再構築すること。
    • 提示されたフレームワークは,少ない入射角でのデータでも高分解能な3D構造を再構築可能であることをシミュレーションデータで示した。
    • 本研究は,非一様サンプリングされたフーリエ値の組み合わせにおける位相問題解決の基盤を提供する。
    • 高速非一様フーリエ変換手法と反復投影法を組み合わせることで,効率的な構造再構築を実現した。

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

  • ニット生地における非線形変形の幾何学的定量化 [physics.comp-ph, cs.CE, cond-mat.soft, cs.NA, math.NA]目的:ニット生地の非線形変形に関する幾何学的記述の枠組み
    • ニット生地は,形状変化や生体適合性など,様々な機能を持つ先進材料として重要である。
    • ニット生地の変形は直感的に利用されてきたが,定量的な記述とその時間変化は不明であった。
    • ニット生地の変形を定量的に捉え,構造比較や機械的局在化領域の特定を可能にする。
    • 本研究で提案する枠組みは,疎なヤーンレベルの表現から滑らかなヤーン中心線と生地表面を再構成する。
    • その結果,全体的な変形が,ステッチの再配向,ループの曲げ,表面の曲げ,膨張にどのように分配されるかが明らかになった。
    • 幾何学的変動が大きい領域の出現,持続,再分配が明らかとなり,ニット生地の変形を記述するための統一的な幾何学的状態空間を定義した。

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

  • 条件付きソボル指標の基底分解による解析的抽出 [physics.acc-ph, cs.SY, eess.SY, stat.ML, cs.LG, cs.NA, math.NA]目的:不確実性定量化における条件付きソボル指標の解析的抽出
    • システムの応答がパラメータに依存する場合,感度指標の評価は重要である。空間場や運転条件の変化に対応できる。
    • 従来のポイントごとのモデリングは計算コストが高く,パラメータ空間全体で一貫性を欠く場合がある。
    • 事前学習済みのPCEモデルから条件付きソボル指標を効率的に抽出すること。
    • 提案手法は,PCE基底のテンソル積の性質を利用し,条件変数を考慮した解析的な係数場を導出する。
    • 条件付き確率測度の直交性の保持により,条件付き分散とソボル指標の閉形式表現を導出した。
    • 本手法は,物理的な整合性を保証し,従来のポイントごとのアプローチよりもロバスト性と計算効率に優れる。

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

  • 移動界面問題に対するカルテシアングリッドに基づく境界積分法 [math.NA, cs.NA, physics.comp-ph]目的:移動界面問題の効率的かつ安定な解法
    • 流体,熱伝達など広範な現象を記述する上で重要であり,産業応用も多い。
    • 界面の追跡が難しく,計算コストが高くなる場合がある。
    • 界面の複雑な変形を扱い,計算効率と安定性を向上させる。
    • 本研究では,カルテシアングリッドを用いた境界積分法を提案し,Hele-Shaw流とStefan問題を効率的に解くことを示した。
    • 界面の進化に$\theta-L$変数を用いることで,メッシュ品質の維持と時間ステップスキームの安定化を実現した。
    • 粘性指状化や樹状凝固といった複雑な問題に対するシミュレーションにより,提案法の有効性を実証した。

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

  • 局所解析関数空間におけるプッシュフォワードの有限次元近似 [math.NA, cs.LG, cs.NA, math.CV, math.DS, math.FA]目的:局所解析関数空間におけるプッシュフォワードの近似手法
    • 解析力学や最適輸送において,写像による空間の変形を理解することが重要である。
    • 有限個のサンプルからプッシュフォワードを直接計算することは困難である。
    • サンプルデータからプッシュフォワードを近似し,その誤差を評価すること。
    • 局所解析関数空間とフーリエ・ボレル変換を用いることで,プッシュフォワードを整関数上の作用素として表現した。
    • ハンケルモーメント行列の最小固有値を用いて,有限次元近似の誤差を明示的に評価することに成功した。
    • 離散的な軌跡データから解析ベクトル場を再構成するデータ駆動型手法の収束性を証明した。

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

  • 確率的アレン・カーン方程式の不変測度の近似:明示的完全離散スキームによる [math.NA, cs.NA]目的:確率的アレン・カーン方程式の不変測度の数値近似
    • 相転移現象のモデルとして重要であり,材料科学や物理学への応用が期待される。
    • 確率的偏微分方程式の数値解法は,計算コストが高く,長時間の安定性確保が課題である。
    • 明示的スキームを用いて,不変測度の近似を可能にし,長時間の数値計算を安定化させる。
    • スペクトルガレルキン法と修正加速指数オイラー法を組み合わせた明示的完全離散スキームを提案した。
    • 数値解のモーメントの時間方向での独立性に基づき,無限時間区間における弱誤差解析を行った。
    • マリアヴァン微積分を用いて,確率的アレン・カーン方程式の不変測度を数値的に近似する道筋を示した。

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

  • ランダム化された結合分解 [math.NA, cs.NA]目的:結合分解によるデータ融合の効率化
    • データ量の増加に伴い,効率的なデータ処理が不可欠となっているため。
    • 既存の結合分解アルゴリズムは計算コストが高く,大規模データへの適用が課題となっている。
    • 特異値分解とランダム化手法を組み合わせ,計算効率を向上させることを目指す。
    • 提案手法は,反復法に頼らず,特異値分解によって結合分解問題を直接解くことができる。
    • ランダム化アルゴリズムは,両方の行列への貢献度を考慮した投影部分空間の選択戦略によって効率化されている。
    • 顔認識問題への適用実験では高い成功率を示し,提案手法の実用性が確認された。

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

  • 退化拡散と不安定なドリフトの境界到達時間評価のためのコルモゴロフ方程式 [math.NA, cs.NA]目的:退化拡散における境界到達時間評価
    • 拡散過程は物理,金融,生物など広範な分野で重要なモデルである。
    • ドリフトと拡散係数の条件を満たさない拡散過程の研究は十分ではない。
    • 不安定なドリフトの影響を受ける Jacobi 拡散の境界到達時間評価を行う。
    • 提案する Jacobi 拡散の境界到達時間を評価するためのコルモゴロフ方程式を提示し,解析を行った。
    • 観光管理における McKean-Vlasov 型の自己無撞着モデルについても考察した。
    • 正の割引率下では,離散的な楕円性により一意な数値解が得られる有限差分法を提案した。

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

  • コローテーション調和写像熱流問題の有限要素離散化に関する誤差解析 [math.NA, cs.NA]目的:コローテーション調和写像熱流問題の有限要素離散化法の誤差解析
    • 幾何学的な変形を扱う上で,調和写像熱流は重要なモデルである。その数値解析は応用範囲が広い。
    • 有限要素法を用いた離散化では,誤差評価が難しく,安定性や収束性を示すのが課題となる。
    • 本研究は,コローテーション調和写像熱流問題に対する有限要素離散化法の誤差を評価し,その精度を検証する。
    • 滑らかな解が存在する場合において,本離散化法は最適な誤差限界を持つことが示された。
    • 離散的なエネルギー評価と凸性という重要な性質が,安定性と線形化誤差の制御に寄与している。
    • 理論的な結果は数値計算によって検証され,その妥当性が確認された。

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

  • 確率的陽子ダイナミクスの幾何,エネルギー,および感度 [cs.RO, math.NA, cs.NA]目的:確率的陽子輸送モデルの数値計算および感度解析
    • 放射線治療計画において,陽子線治療の線量分布精度向上が重要視されている。
    • 陽子線のエネルギー損失や散乱過程の確率的性質が線量分布の正確な予測を困難にしている。
    • 確率的陽子輸送モデルの数値解法と感度解析手法を開発し,線量分布の正確性と安定性を向上させる。
    • 対数MilsteinスキームとLie群積分器を組み合わせた数値手法を開発し,系の幾何学的性質を維持した。
    • 線量沈着を経路依存型関数として定式化し,一貫性のある経路ごとの感度推定量を導出した。
    • 数値実験により,提案手法が期待される収束率を達成し,線量感度の安定した推定が可能であることを確認した。

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

  • アドベクション支配輸送方程式を解くRBF-FD法の適応型ハイパー粘性安定化 [math.NA, cs.NA, physics.comp-ph]目的:アドベクション支配輸送方程式の解法
    • 輸送現象のシミュレーションは,工学や自然科学における様々な問題解決に不可欠である。
    • RBF-FD法は高精度だが,アドベクション支配問題では数値的不安定性が生じやすい。
    • スペクトル半径に基づく適応型ハイパー粘性安定化により,RBF-FD法の安定性と精度を向上させる。
    • 提案手法は境界のない領域においても適用可能であり,方程式に依存しない汎用的なアルゴリズムである。
    • 低次多項式増強により計算コストを削減し,スプライン次数をハイブリッド化することで安定性を高めることが示された。
    • 線形アドベクションと非線形バーガース方程式に対する検証により,安定した性能と低い数値拡散が確認された。

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

  • 近似ストークス方程式における剛性行列系列のスペクトル解析 [math.NA, cs.NA]目的:可変粘性度を持つ2次元ストークス問題のTaylor-Hood $\mathbb{P}_2$-$\mathbb{P}_1$ 近似における行列系列のスペクトル特徴
    • 流体シミュレーションにおいて,ストークス方程式は基本的なモデルであり,様々な応用において重要である。
    • 数値計算において,計算効率と精度を両立させることが難しく,特に複雑な形状や可変粘性度の場合は困難である。
    • 拡散の滑らかさに関する弱い仮定の下で,スペクトル特性を明らかにすることで,前処理法の改善に貢献する。
    • 行列系列のスペクトル特性に関する局所化と分布スペクトルの結果が得られた。
    • 数値実験と可視化により,理論的な結果の妥当性が確認された。
    • 得られた知見が前処理問題に与える影響についての予備的な研究が提示された。

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

  • 非周期境界値問題に対する量子スペクトル法 [math.NA, cs.NA, quant-ph]目的:非周期境界値問題の解法
    • 計算力学において,複雑な問題を効率的に解決する手段が求められている。
    • 従来の数値解法は問題規模に比例した計算時間を要する点が課題である。
    • 量子計算を利用し,計算量を大幅に削減できる解法を提案する。
    • 量子計算を用いることで,計算時間が問題規模の対数に比例する効率的な解法を実現した。
    • 特に,非周期境界条件を持つ問題に対し,量子フーリエ変換と量子正弦変換を組み合わせることで対応可能とした。
    • 提案手法の回路実装の検討と数値実験により,計算量の対数的なスケーリングを確認した。

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

  • 非圧縮流体のReduced Order Modelのための安定自己適応時間ステップ法 [math.NA, cs.NA, physics.comp-ph, physics.flu-dyn]目的:非圧縮Navier-Stokes方程式のReduced Order Model (ROM) に特化した自己適応時間ステップ技術
    • 流体シミュレーションは,気象予測や航空機の設計など,様々な分野で不可欠である。
    • 高精度なシミュレーションは計算コストが高く,大規模な問題を扱うことが難しい。
    • ROMを用いることで計算コストを削減しつつ,安定性を確保することが求められる。
    • RedEigCDは,ROMオペレーターの固有値境界を利用することで,従来の誤差に基づく適応法よりも効率的に時間ステップを調整する。
    • 理論的に,投影ベースのROMにおける最大安定時間ステップは,対応するフルオーダーモデル(FOM)以上であることが証明された。
    • 周期境界条件と非同質境界条件の両方において,FOMと比較して最大40倍の時間ステップ増加を達成し,精度は損なわれない。

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

  • 凸包化を用いた平均場ゲームによる世論感情の予測:COVID-19に関するリアルワールドデータからの証拠 [math.NA, cs.NA]目的:世論感情の時間的変化の予測
    • 社会現象の理解と予測において,世論感情の分析は不可欠である。
    • 世論感情の予測は複雑であり,既存モデルでは十分な精度が得られていない。
    • 平均場ゲームを用いて,より正確な世論感情の予測を可能にすること。
    • 提案手法は,COVID-19パンデミックに関するソーシャルメディアのデータを用いて実用性を示すことに成功した。
    • 適切なパラメータ設定と凸包化により,予測された感情密度は観測データと一致し,支配方程式を満たした。
    • 本研究は,平均場ゲームモデルが世論感情の複雑な時間的パターンを捉える可能性を示す初の概念実証である。

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

  • ランジュバンモンテカルロ法とランダム化:対数凹性および勾配リプシッツ性以上の非漸近誤差限界 [math.AT, cs.CG, stat.ML, cs.LG, cs.NA, math.NA]目的:複雑かつ高次元の目標分布からの効率的なサンプリング
    • 科学計算,統計,機械学習など,多様な分野における基盤技術である。
    • 高次元分布における効率的なサンプリング手法の誤差評価が課題である。
    • 対数凹性や勾配リプシッツ性を満たさない場合でも誤差限界を導出する。
    • ランダム化ランジュバンモンテカルロ法(RLMC)の誤差限界を,対数ソボレフ不等式下で$O(\sqrt{d}h)$と導出した。
    • 勾配が非大域的にリプシッツ連続で超線形成長する場合に,改良されたRLMCアルゴリズムを提案した。
    • 改良されたRLMCアルゴリズムと非漸近誤差限界は,非大域的リプシッツ設定では新規である。

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

  • 複雑ネットワークにおけるウラノヴィッツの最適構造的強靭性の存在について [physics.soc-ph, cs.IT, cs.NA, math.IT, math.NA]目的:ウラノヴィッツの構造的強靭性の数学的な存在と漸近的性質
    • 生態系研究において,持続可能なシステムは効率と冗長性のバランスを取ることが重要である。
    • ネットワーク構造が多様化する中で,その最適な状態の数学的な実現可能性が未検証である。
    • ネットワークサイズが3以上のネットワークにおいて,最適構造的強靭性の存在を数学的に証明する。
    • ノード数が2のネットワークでは最適強靭性は存在しないが,ノード数3以上のネットワークでは存在する。
    • 最適状態を維持するためには,ネットワークサイズが増加するにつれて,主要リンクと背景リンクで異なるスケーリングが必要である。
    • 主要リンクは$O(N_\mathcal{V}^{-1})$,背景リンクは$O(N_\mathcal{V}^{-2})$で減衰し,対数的な補正項が存在する。

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

  • 1