arXiv雑要約
数値解析 - 2026/05/29 公開
実データを用いたエネルギー消費量予測補正のためのアンサンブルスコアフィルタリング [cs.LG, cs.NA, math.NA]目的：エネルギー消費量予測の補正手法
- 電力系統の運用，計画，需要サイドマネジメントにおいて，正確なエネルギー消費量の予測が不可欠である。
- 実際のデータは不完全，ノイズを含む，遅延している場合があり，精度の高い予測を困難にしている。
- 部分的でノイズを含む観測データを用いて，予測軌道を補正し，状態推定の精度向上を目指す。
- 学習済み予測モデルの長期的予測は信頼性が低下する一方，アンサンブルスコアフィルタリングによる補正が状態推定を大幅に改善する。
- アンサンブルカルマンフィルタとの比較により，本手法が非線形観測環境下でより強力な補正効果を示すことが確認された。
- アンサンブルスコアフィルタは，フィルタリング分布を近似するためにスコアベース拡散モデルを使用し，ニューラルネットワークの再学習を回避する。
モーダル修正に基づくカルテシアン対流拡散問題に対する方向性エッジ拡散法 [math.NA, cs.NA]目的：対流拡散方程式の数値解法における振動抑制
- 数値シミュレーションにおいて，物理現象の正確な再現は重要であり，特に複雑な流れ場の解析において不可欠である。
- 対流が支配的な場合，中心差分法による離散化は振動を引き起こし，数値解の精度を損なう可能性がある。
- モーダル修正に基づく方向性エッジ拡散法により，数値振動を抑制し，安定した解を得ることを目指す。
- ADSC（適応方向性スパース補正）は，中心差分スキームのフーリエ記号のモーダル修正によって導かれる局所的な方向性エッジ拡散補正である。
- ADSCは，近傍ノードを用いた正定値補正であり，一貫性，固定εエネルギー安定性，条件付き離散H^1-半ノルム収束が証明されている。
- 数値実験により，極値制御，モーダル優勢指標の低減，および低コストな少回数変種が示されている。
確率的物理システムの軌跡生成のための確率的リフティング [cs.LG, cs.AI, cs.NA, math.NA]目的：確率的物理システムの軌跡生成手法
- 物理現象のシミュレーションは，科学技術の発展に不可欠である。
- 従来のモデルでは，少数サンプルで多様な軌跡を生成することが困難である。
- 本研究は，確率的リフティングを用いて多様な軌跡生成を可能とする。
- 確率的リフティングは，状態遷移に高次元のランダムラベルを付与することで，多様な予測を可能にする。
- 学習データにラベルを付与し，現在の状態とラベルから次の状態への写像を学習する。
- 推論時には，新たなラベルをサンプリングし，学習された写像を繰り返し適用することで，多様な軌跡を生成する。
多忠実度固有直交分解 [math.NA, cs.CE, cs.NA, math-ph, math.MP]目的：高忠実度モデルの固有直交分解の計算コスト削減
- 科学技術計算において，複雑な現象の数値シミュレーションは不可欠であり，計算コストが課題となる。
- 高忠実度モデルの計算コストが高く，十分な学習データを確保することが困難な場合がある。
- 低忠実度モデルを活用し，計算コストを抑えつつ，高忠実度モデルと同等の精度を実現することを目指す。
- 提案手法である多忠実度固有直交分解（MFPOD）は，低忠実度モデルのデータを活用することで，計算コストを大幅に削減できる。
- MFPODは，高忠実度モデルと低忠実度モデルのデータを適切に重み付けすることで，バイアスのない推定値を保証する。
- 数値例では，MFPODは従来の固有直交分解と同等の精度を，計算コストを1桁削減して達成した。
グロス・ピタエフスキー型固有値問題に対する弱いGalerkin法 [math.NA, cs.NA]目的：グロス・ピタエフスキー型固有値問題の求解
- 量子力学におけるボース・アインシュタイン凝縮系の理論的解析に不可欠である。
- 非線形固有値問題の厳密解を得ることが困難である。
- エネルギーの下限を導出し，基底状態固有値の下限を推定すること。
- 弱いGalerkin法がエネルギーの下限を与えることが示された。
- 後処理技術を用いることで，基底状態固有値の下限を得ることができた。
- 理論的解析を検証するため，数値実験が行われた。
ランダム反復法のための部分空間制約事前条件法 [math.NA, cs.NA]目的：線形システムの解法におけるランダム反復法の理論的・数値的収束性を向上させること
- 大規模線形システムは科学技術計算の根幹であり，効率的な解法が求められている。
- 既存の事前条件法はフルランク仮定を必要とし，実用上の制約がある。
- フルランク仮定なしで，より効率的な事前条件法を構築し，収束性を高めること。
- 提案手法は，ブロック直交形式への変換により，既存手法の制約を回避する。
- 適切な初期点を用いることで，特異値分布の改善されたより小さな線形システムへの帰着を実現する。
- 期待値において線形収束が理論的に証明され，数値実験によってその効果が示された。
非構造化スプライン上の重み付き数値積分 [math.NA, cs.NA]目的：非構造化スプライン曲面に基づくGalerkin行列の高速構築手法
- 近年，複雑な形状のモデリングにおいてスプライン表現の利用が拡大しており，効率的な数値計算手法が求められている。
- 従来の重み付き数値積分法は，構造化スプラインには有効だが，非構造化スプラインへの拡張には課題が残されていた。
- 本研究は，非構造化スプラインにおける数値積分を，物理領域での定義，関数ごとの積分点数指定，特異値分解による安定化により実現する。
- 提案手法は，bicubic analysis-suitable unstructured T-splines (ASUTS) に対して有効であり，Poisson問題，biharmonic問題，非線形熱伝達問題等で検証された。
- 物理領域で数値積分規則を定義し，要素ごとに積分点数を決定するのではなく，関数ごとに決定することで，問題の定式化を容易にした。
- 特異値分解を用いることで，特異点周辺のスプラインによる条件数の悪化を抑制し，安定した計算を実現した。
非線形グロス・ピタエフスキー方程式の高次時間分割法 [math.NA, cs.NA, math.AP]目的：2次元グロス・ピタエフスキー方程式の基底状態と時間発展の数値計算手法
- 量子力学におけるボース・アインシュタイン凝縮現象を記述する上で重要である。
- 古典的な数値解法では，計算コストが増大し，精度の確保が課題となる。
- 高次の時間分割法を用いて，計算効率と精度の両立を目指す。
- 提案手法は，正の係数のみを用いるため，散逸系・ハミルトニアン系の両方で適用可能である。
- 数値実験により，基底状態の収束性，質量とエネルギー保存則の長期的な保存性が確認された。
- 時間分割の次数を高くすることで，計算コストと精度のトレードオフを評価した。
逆問題におけるベイズ推論のための深層適応的次元削減 [cs.LG, cs.NA, math.NA]目的：逆問題におけるベイズ推論の精度向上
- 高次元の偏微分方程式を伴う逆問題は，科学技術分野において頻繁に現れる重要な課題である。
- 複雑な事後分布や高コストなモデル評価，不適切な事前情報が，逆問題の解決を困難にしている。
- バリエーションフローモデルとニューラル演算子を用いて，効率的かつ高精度なベイズ推論を実現すること。
- 提案手法は，従来のMCMCやUKI，SVGDなどの手法と比較して，競争力のある，あるいはより優れた精度を示すことが確認された。
- 特に，ノイズの多い観測や高次元パラメータ空間といった困難な条件下で，その利点が顕著に現れる。
- バリエーションフローとニューラル演算子の相互作用により，事後分布に集中したサンプル生成とモデルの改良が繰り返され，適応的なループが形成される。
多重スケール常微分・偏微分方程式のための量子暗黙的陽解法 [cs.CL, math.NA, cs.NA, math-ph, math.MP, quant-ph]目的：多重スケール常微分・偏微分方程式に対する量子暗黙的陽解法
- 物理現象の多くは複数の時間スケールを含むため，多重スケール問題の効率的な解法が重要である。
- 従来の数値解法は，スケールの異なる現象を同時に扱う際に計算コストが増大する課題がある。
- 量子計算機を活用し，多重スケール問題の効率的な解法を構築することで，計算コストの削減を目指す。
- 本研究で提案する量子暗黙的陽解法は，スケールパラメータεに依存しない離散化パラメータを持つ。
- 連続時間定式化により，量子アルゴリズムの時間発展と微分方程式の物理時間を分離し，多重スケール設定に最適化されている。
- 従来のHHL型量子AP解法と比較して，補助レジスタの幅が狭く，線形熱方程式や多重スケールテグラフ方程式の数値実験でεの独立性が確認された。
回転を含む大気力学のための非適合メッシュ細分化を用いたIMEX-DGソルバー [math.NA, cs.NA, physics.ao-ph]目的：回転効果を考慮した全可変圧縮性大気フレームワークにおける圧縮性オイラー方程式の解法
- 地球規模の気象現象や気候変動を予測するためには，大気力学の正確な数値シミュレーションが不可欠である。
- 大気シミュレーションでは，複雑な地形や気象現象を表現するために，高解像度の計算が必要となるが，計算コストが課題となる。
- 非適合メッシュ細分化により，必要な領域を高解像度化しつつ，計算コストを抑えることを目指す。
- 高次のIMEX-DGソルバーを開発し，硬い音響モードを陰解法，対流項を陽解法で処理することで，計算効率と安定性を両立した。
- 回転項と重力項の処理方法を比較検討した結果，非線形固定点反復による手法が，精度，頑健性，計算効率の点で優れていることが示された。
- 回転慣性重力波のベンチマークテストと，地形上空の層状流れの3次元シミュレーションにより，ソルバーの精度と安定性を検証し，回転が誘起する非対称性や波構造を正確に捉えられることを確認した。
多孔質媒体における二相流のための，完全に分離され，境界を保存し，エネルギー消散性のあるスキームの統一的フレームワーク [math.NA, cs.NA]目的：多孔質媒体における二相流の数値スキームの構築
- 資源開発や環境問題において，多孔質媒体中の流体の挙動の正確な予測が重要である。
- 既存の数値スキームは，物理的性質の保存性や計算効率に課題が残されている場合が多い。
- 物理的性質を保存しつつ，高精度かつ効率的な数値スキームを開発し，シミュレーションの信頼性を高める。
- 本研究では，ユニークな可解性，完全分離，境界保存，エネルギー消散，局所質量保存の5つの基本特性を保証する数値スキームの一般的なフレームワークを提案した。
- 圧力と飽和度の変数に対する従来の結合解法とは異なり，二相質量保存方程式の差分を用いて完全に分離されたシステムを導出した。
- 第一階スキームに対して，飽和度に関する厳密な誤差評価を確立し，提案スキームの有効性と効率性を数値例によって検証した。
単位球上の双調和方程式に対する球多項式を用いた新規混合スペクトル法 [math.NA, cs.NA]目的：単位球上の双調和方程式を解くための混合スペクトル法
- 偏微分方程式の数値解法は，工学や科学における様々な現象のシミュレーションに不可欠である。
- 高次元空間における偏微分方程式の効率的な解法が課題となっている。
- 球座標系における双調和方程式の高速かつ高精度な解法を開発すること。
- 補助変数導入により，双調和方程式を二階方程式の連立系に分解し，厳密対角優位な剛性行列を得ることに成功した。
- 理論的な誤差評価により，L2ノルムおよびH1ノルムにおいて指数関数的な収束速度が確認された。
- 広範な数値実験により，提案手法の高効率性と高精度さが検証された。
多尺度波伝播問題に対する高次エンリッチメント手法 [math.NA, cs.NA]目的：空間的に強い異質性を持つ偏微分方程式の数値解法
- 複雑な物理現象の正確なモデリングには，多尺度解析が不可欠である。
- 従来の数値解法では，高次精度を達成することが困難であった。
- 高次精度を達成し，波伝播問題における収束率の飽和を克服すること。
- エンリッチメントされた高次LOD法を提案し，指数関数的な減衰を示す補正項を導入した。
- 理論的な誤差評価により，最適な高次収束率が導出された。
- 第五次Rosenbrock-Wanner法を用いた数値実験により，理論結果が検証された。
一般化された行列近接問題 II [math.NA, cs.NA, math.OC]目的：行列近接問題における最適解の探索
- 行列計算は，工学，物理，経済など広範な分野で基盤技術として利用されている。
- 行列の近似計算において，制約条件を考慮した最適化手法は未だ発展途上である。
- 行列と演算子に関する一般的な近似問題を解決し，そのアルゴリズムを提供する。
- 本研究では，アフィン項の導入，クロネッカー積の利用，各種行列ノルムへの拡張を行うことで，一般化された行列近接問題を拡張した。
- 特定の問題については解析解が得られ，それ以外の問題に対しては，任意の Schatten ノルムに対して収束性を持つ反復アルゴリズムを開発した。
- このアルゴリズムは，勾配や劣勾配の明示的な計算を必要とせず，数値線形代数のみに依存する点が特徴である。
IGA-ODIL：Isogeometric解析と離散ロバスト損失の最適化による，機械学習ツールを用いた高速な正逆問題解法 [math.NA, cs.NA]目的：偏微分方程式の正逆問題の高速解法
- 物理現象のシミュレーションにおいて，偏微分方程式の解法は不可欠である。
- 従来のPINNsは最適化に時間がかかり，Gauss-Newton法は収束性や計算コストに課題がある。
- Isogeometric解析とロバスト損失の最適化により，PINNsの効率性と精度を向上させる。
- 提案手法IGA-ODILは，PINNsやCRVPINNsと比較して，計算速度が桁違いに向上する。
- 未知解をB-spline関数で表現することで，疎なヤコビ行列となり，効率的なGauss-Newton最適化が可能となる。
- 重み付きグラム演算子に基づくロバストな残差定式化により，真誤差との関連性を強化する。
多様体に基づくハダマール分解アルゴリズム [math.OC, cs.LG, cs.NA, eess.SP, math.NA]目的：ハダマール分解の計算手法
- データ解析において，低ランク近似は次元削減やノイズ除去に不可欠である。
- 従来の低ランク近似では表現できない高ランク行列が存在する。
- ハダマール分解を用いて，より高精度な低ランク近似を実現すること。
- 本研究では，ハダマール分解の理論的考察と，多様体上のアルゴリズムを提案した。
- 提案手法は，大規模な疎行列データに対して特に有効であることが示された。
- 実験結果から，提案手法は既存手法と比較して効率的かつ競争力があることが確認された。
超弾性材料の非線形有限要素解析のための変分量子アルゴリズム [quant-ph, cs.NA, math.NA, physics.comp-ph]目的：超弾性材料の非線形弾性問題に対する変分量子アルゴリズムの適用
- 材料設計や構造解析において，高精度な非線形弾性解析の需要が高まっている。
- 従来の数値解析法では，計算コストが膨大となる場合がある。
- 量子アルゴリズムを用いることで，計算効率の向上を目指す。
- 超弾性材料のポテンシャルエネルギー構造を利用し，ハイブリッド量子古典フレームワークを構築した。
- 非線形なひずみエネルギー密度を多項式で近似することで，変分量子アルゴリズムへの適用を可能にした。
- 一次および二次シェイプ関数を用いた一次元Neo-Hookeanモデルの有限要素解析で有効性を検証した。
カーネルに基づくポテンシャル平均場ゲームにおけるバイアスなしランダムフーリエU統計 [eess.SP, cs.SY, eess.SY, math.OC, cs.LG, cs.NA, math.NA, stat.ML]目的：ポテンシャル平均場ゲームにおけるコスト表現と計算フレームワーク
- 経済学や機械学習において，多数のエージェント間の相互作用を扱う上で，平均場ゲームは重要な枠組みである。
- 既存手法では，大規模なエージェント集団に対する計算コストが高く，精度が課題となる場合がある。
- カーネル法とランダムフーリエU統計を用いることで，効率的かつ高精度な計算を可能にすることを目指す。
- カーネル構造を利用した計算フレームワークを開発し，コスト関数を有限サンプルから推定する手法を提案した。
- 提案手法は，サンプルレベルでのほぼ確実な収束性と明示的な収束率を持つことが証明された。
- シミュレーション実験により，高次元問題や電気自動車の充電協調問題への適用可能性が示された。
堆積物巻き込み・堆積を伴う一次モーメント浅水エクスナーモーメントモデルの水面静止状態安定性解析：詳細技術報告 [math.AP, cs.NA, math.NA]目的：水面静止状態平衡多様体の安定性
- 河川や海岸などの地形変化を予測する上で，堆積物の挙動を考慮した数値モデルは不可欠である。
- 既存モデルでは，解析的な安定性評価が難しく，数値計算による検証が必要となる場合が多い。
- 本研究は，モデルの安定性を解析的に評価し，より安定なモデル構築への道筋を示すことを目指す。
- 浅水エクスナーモーメントモデル（SWEMED1）に，静止状態平衡多様体が存在することが示された。
- モデルは静止状態において弱双曲性であり，構造安定性の枠組みを用いた解析には適さないことが判明した。
- スペクトル解析と数値計算の結果から，不安定性は確認されず，ソース項の高速・低速スケール変換による新たな平衡多様体が得られた。
部分コヒーレンスにおけるホログラフィックX線位相差イメージング：特異性と強度相関からの再構成 [math.AP, cs.NA, math.NA]目的：部分コヒーレンスX線ホログラフィーにおける位相と吸収コントラストの同時再構成
- 生体細胞や組織のナノスケールイメージングに不可欠であり，従来の吸収像に加え位相像も得られる。
- 従来のモデルは完全コヒーレンスを仮定しており，現実の光源特性との乖離がある。
- 強度相関を利用し，サンプルと照明条件の対称性の破れを利用して，ユニークな再構成を目指す。
- 強度相関の計算コストが高いという課題に対し，入射光コヒーレンス演算子の低ランク近似を用いることで，計算負荷を軽減できる。
- 数値実験により，提案手法が位相と吸収コントラストの同時再構成において高い精度を持つことが示された。
- 部分コヒーレンス条件下においても，強度相関から位相と吸収コントラストを一意に復元できることが理論的に証明された。
多項式根の探索反復の新たな組み合わせ [math.NA, cs.NA]目的：多項式の根の探索における反復手法の改善
- 多項式方程式の根の探索は，科学技術計算において不可欠な処理である。
- 既存手法では，特に高次多項式や複雑な根の分布に対し，計算効率が課題となる場合がある。
- 本研究は，既存手法の弱点を克服し，より高速かつ安定した根の探索を可能とする。
- 分割反復法に基づいた近年開発された根探索手法と，Ehrlich法，Newton法，Schroeder法を組み合わせることで，計算の高速化が期待できる。
- これらの組み合わせは，係数表現を必要とせず，評価オラクルのみで利用可能なブラックボックス多項式にも適用可能である。
- 本研究の副産物として，Gauss-Lucasの定理の自然な拡張が導かれた。
パラメータ空間における条件付け手法：パラメータ化されたヘルムホルツ方程式 [eess.SY, cs.SY, math.NA, cs.NA]目的：パラメータ化された線形方程式系の効率的な計算
- 工学や科学におけるシミュレーションにおいて，パラメータに依存する方程式の求解は不可欠である。
- パラメータに対する感度が高い場合，従来の平均に基づく条件付けでは十分な性能が得られない場合がある。
- パラメータ空間に複数の事前条件付け子を配置し，計算コストを削減することを目指す。
- 事前条件付け子の最適な配置を決定するため，期待反復回数を事前に推定し，位置配分戦略を用いる。
- 高周波における外側ディリクレ散乱を持つヘルムホルツ問題に手法を適用し，GMRES反復回数を推定する。
- 数値例から，提案手法により実行時間が約1桁削減されることを示す。パラメータ次元や異方性が性能に与える影響も調査した。
定常浅水方程式に対する簡略化ヤコビアンを用いた高次のニュートンマルチグリッド法 [math.NA, cs.NA]目的：定常浅水流れの数値解法
- 河川や水路などの水理現象を正確に予測するため，高精度な流れ計算が重要である。
- 高次スキームでは，ヤコビアン行列の計算コストが支配的であり，計算効率が課題となる。
- ヤコビアンの簡略化により計算コストを削減し，効率的な高次解法を実現することを目指す。
- 提案手法は，ヤコビアンの簡略化により計算コストを大幅に削減しつつ，従来の解法と同等の収束性を示すことが数値実験により確認された。
- 第三次精度，効率性，ロバスト性を有する数値解法であり，様々な試験ケースでその有効性が検証された。
- 幾何学的マルチグリッド法と逐次過緩和反復法を組み合わせることで，更なる性能向上が期待できる。
潜在空間における幾何学的フロー正則化：効率的な曲率変動による滑らかなダイナミクスの実現 [math.NA, cs.NA]目的：潜在空間における幾何学的フロー正則化による，滑らかなダイナミクスの制御
- 機械学習モデルの性能向上には，潜在空間の構造を適切に制御することが重要である。
- 敵対的学習は，数値解法型ダイナミクスにおいて不安定性をもたらす可能性がある。
- 潜在空間に幾何学的フローを導入することで，敵対的学習の影響を抑制し，安定した学習を実現する。
- ガウス曲率に基づく損失関数を，ストークスの定理と閉路循環積分を用いて効率的に計算する方法を開発した。
- ガウス方程式から導出されるテイラー展開に基づく，新しいパラメトリックフローを提案した。
- 関数形の時間微分に基づく2つの戦略を開発し，共形的に変化した計量や調和写像におけるスカラー曲率を扱えるようにした。
エネルギーに基づくモデルの構造保存離散化とモデル次数の削減 [math.NA, cs.NA]目的：エネルギーに基づくモデルの離散化戦略
- 物理現象のシミュレーションにおいて，エネルギー保存則は重要である。
- 既存の離散化手法では，エネルギーが完全に保存されない場合が多い。
- 離散スキームにおいてエネルギーの散逸を抑制する手法を開発する。
- 本研究では，Petrov-Galerkin法と適切な射影を用いて，離散的な散逸不等式を満たす離散化スキームを提案する。
- 提案手法は，古典的なポートハミルトニアン系，一般化された勾配フロー，代数制約を持つシステムを含む幅広いエネルギーに基づくモデルに適用可能である。
- 非線形回路モデル，Cahn-Hilliard方程式，および二重非線形放物型方程式に対する数値実験により，提案手法の有効性が示された。
非線形サーミスタ問題に対する2次BDF-Galerkin暗黙的陽解法 [math.NA, cs.NA]目的：非線形サーミスタ問題の時間依存性の数値解法
- 熱電素子であるサーミスタは，温度センサや温度制御に広く利用されており，その解析は重要である。
- 非線形性を持つサーミスタ問題の安定かつ高精度の時間発展解法は課題である。
- BDF-Galerkin法を適用し，時間・空間方向の誤差評価により高精度な解法を提供する。
- 提案された暗黙的陽解法は，無条件に安定であり，2次精度を持つことが理論的に示された。
- 時間離散化における誤差分解と超近接誤差評価が，非線形項の取り扱いを可能にした。
- 数値実験により，理論結果の妥当性が確認された。
分数Zakharov-Kuznetsov方程式に対する数値解法 [cs.IR, math.NA, cs.NA]目的：分数Zakharov-Kuznetsov方程式の数値計算における精度と安定性の評価
- 非線形波動現象の理解深化に不可欠であり，多様な物理現象のモデルとして重要。
- 分数階微分を含む方程式の解法は困難であり，既存手法では精度や安定性に課題がある。
- 分数階微分を含む非線形波動方程式の高精度かつ安定な数値解法を開発する。
- 提案手法は，質量，運動量，ハミルトニアンエネルギーの離散保存則を満たすことが示された。
- 空間離散化誤差は\(N^{-r}\)（\(r>2+\alpha\)）のオーダーで，解析解に対しては指数収束が確認された。
- 数値実験により，手法の精度，分数階数への依存性，離散保存則のドリフトが検証された。
三次元におけるディリクレベクトルラプラシアンに対する混合有限要素法 [math.NA, cs.NA]目的：三次元ベクトルラプラス境界値問題に対する混合有限要素近似の厳密解の存在と事前誤差解析
- 流体や電磁場の解析に不可欠であり，高精度な数値解法が求められている。
- ディリクレ境界条件は，標準的なド・ラム複体の構造を破壊し，解の存在と一意性を保証する必要がある。
- 一般な領域におけるエネルギーノルムと凸領域におけるL^2ノルムでの収束性を解析的に証明する。
- 離散的カール調和関数に対する離散的カッチョポリ型不等式を新たに導出し，誤差評価を確立した。
- 一般な領域においては(k-1/2)次の収束，凸領域においてはk次の収束が確認された（kは有限要素空間の多項式次数）。
- 得られた結果は，渦度-速度-圧力形式のストークス問題への適用も可能である。
量子化された相互作用規則からのドリフトフリーな保存則力学 [math.NA, cs.NA, physics.comp-ph]目的：保存則力学の厳密な離散化
- 数値シミュレーションにおいて，保存則の維持は物理的整合性の根幹である。
- 従来の離散化法では，浮動小数点演算による誤差蓄積がドリフトを引き起こす。
- 演算レベルでの厳密な保存則を構築し，ドリフトを抑制することを目的とする。
- 本研究では，反対称な整数移動演算子を用いることで，離散レベルでの厳密な保存則を実現した。
- この手法は，ナイキスト限界付近での高周波輸送を保持し，バーガース方程式における鋭い不連続性を維持することを示した。
- 整数移動演算子は，保存則の累積的な輸送ドリフトを抑制しつつ，エントロピー衝撃の局在化を維持する。
粘弾性導波路分散曲線のホモトピー継続法：多様体内の追跡から多様体間の輸送へ [math.NA, cs.NA, physics.comp-ph]目的：粘弾性導波路分散曲線の追跡における課題克服と，より高精度な解析手法の確立
- 導波路構造は，光通信やセンシングなど幅広い分野で利用されており，その特性解析は重要である。
- 従来のモード追跡法は，例外点近傍で精度が低下し，信頼性の問題があった。
- 本研究は，多様体間の輸送という新しいアプローチで，例外点近傍での追跡の信頼性を向上させることを目指す。
- 損失のある問題を損失のない基準問題に連続的に写像することで，分散曲線の識別を可能にした。
- 予測子修正子法を用いたホモトピー継続法により，多様体間の情報伝達を実現し，モードの同一性を保持した。
- 例外点が実軸を横切る場合にラベル交換が必要となることを明らかにし，その診断指標を提示した。
弱特異随伴積分方程式に対する分数後退スペクトル近似理論 [math.NA, cs.NA]目的：弱特異随伴Volterra積分方程式のスペクトル近似のための分数後退直交関数群
- 積分方程式は，工学や物理学の様々な問題において重要な役割を果たす。
- 弱特異核を持つ積分方程式の近似は，終点における特異性により困難である。
- 終点特異性を持つ解に対する高精度な数値解法を開発すること。
- 提案された分数後退ヤコビ法は，終点特異性を持つ解に対して特に適していることが示された。
- 通常の多項式近似では失われることが多い，高次の収束率を回復可能である。
- 重み付き射影評価，ガウス型補間評価，逆不等式，安定性境界を含む，基本的な近似理論が開発された。
マッハ2000天体ジェットの統計的解の計算 [math.NA, cs.MS, cs.NA, physics.comp-ph, physics.flu-dyn]目的：マッハ2000天体ジェットの統計的解
- 天体物理流体シミュレーションは，宇宙現象の理解に不可欠であり，高精度な計算手法が求められる。
- 乱流下では，多次元オイラー方程式が複数のエントロピー解を持つため，一意性の問題が存在する。
- 本研究は，統計的解の収束性を検証し，高マッハ数における安定性を明らかにすることを目指す。
- 個々の流れ場の実現はカオス的せん断層不安定性により物理的に発散するが，統計的解は許容可能な極限測度へ収束する。
- 統計的解の収束率は0.5であり，非ディラック測度として安定であることが示された。
- 高圧縮性条件下においても，統計的解が一意に存在し，安定であることを数値的に確認した。
時間依存偏微分方程式のための自己回帰なしニューラル演算子 [cs.LG, cs.AI, cs.NA, math.NA]目的：時間依存偏微分方程式の解法
- 偏微分方程式は，物理現象のモデリングにおいて不可欠であり，その効率的な解法が求められている。
- 既存手法は長期間予測で誤差が蓄積しやすく，連続時間モデリングが不十分である。
- 誤差蓄積を抑制し，パラメータ変動に対応した長期予測を可能にすること。
- 本研究では，潜在空間への時間発展写像と連続時間ベクトル場のモデリングに基づくAFNOを提案した。
- AFNOはフローマッチングを利用し，自己回帰的な展開を回避することで，長期予測の安定性を向上させた。
- 6種類の偏微分方程式における実験により，AFNOが既存手法よりもロールアウト誤差を軽減することが示された。
適応的モーメントを持つ二段階クラセルスキー・マンアルゴリズムとその画像ノイズ除去および行列補完への応用 [math.OC, cs.NA, math.NA]目的：凸最適化問題に対する解法
- 画像処理などの分野において，最適化問題は重要な役割を果たす。
- 既存の反復法では，収束速度が遅い場合や，パラメータ調整が難しい場合がある。
- より高速かつロバストな最適化アルゴリズムを開発し，実用的な問題を解決すること。
- 本研究で提案する二段階クラセルスキー・マンアルゴリズム（TKMA）は，既存のFPPA，PGA，高速KMアルゴリズム，ハルペルンアルゴリズムよりも優れた性能を示す。
- TKMAは，実Hilbert空間において固定点への弱収束が証明されている。
- 特定のパラメータ条件下では，$o\left(1/\sqrt{k}\right)$の収束レートを達成することが示された。
非滑らかな下モジュラ・凹関数におけるオフライン/オンラインMin-Max問題解決：零次オーダーアプローチ [math.OC, cs.LG, cs.NA, math.NA]目的：非滑らか下モジュラ・凹関数のMin-Max問題に対する零次オーダー手法の性能
- 機械学習等の最適化問題において，非滑らかな関数への対応が不可欠である。
- 下モジュラ・凹関数のMin-Max問題は計算が困難であり，効率的な解法が求められている。
- 零次オーダー手法を用いて，この問題に対する効率的な解法を確立すること。
- オフライン設定において，提案アルゴリズムは$\epsilon$-サドルポイントへ収束することが期待値で示された。
- オンライン設定においては，アルゴリズムは$O(\sqrt{N\bar{P}_N})$のオンラインデュアリティギャップを達成することが示された。
- 数値例を通して，理論的な結果の妥当性が確認された。
多重スケール擬軌道平均時間積分アルゴリズム [physics.plasm-ph, cs.NA, math.NA]目的：高周波モードを持つ微分方程式の解法
- プラズマ物理など，多スケール現象のシミュレーションは計算コストが高い。
- 高速なダイナミクスと低速なダイナミクスを効率的に扱う手法が課題。
- 高速・低速ダイナミクスの分離とスケーリングによる計算効率化を目指す。
- 本アルゴリズムは，磁場閉じ込めプラズマにおける運動論モデルに適用された。
- 高速な粒子輸送領域と低速な衝突領域の境界を明確に分離した。
- 周波数ωと減衰率νcの比に比例する，最大3万倍の計算速度向上を実証した。
大規模・オンラインガウス過程予測問題に対する高速かつ高精度な条件付け [stat.CO, cs.NA, math.NA, stat.ME]目的：大規模データや多数の予測点におけるガウス過程予測の効率化
- ガウス過程は予測と不確実性評価に柔軟な枠組みを提供する。多くの分野で利用されている。
- 従来のガウス過程予測は計算量がデータ数に対して3乗で増加するため，大規模データには適用が困難である。
- データ点の線形結合を用いた条件付けにより，計算効率を向上させ，高精度な予測を実現する。
- 提案手法は，線形結合の数 $r$ に対して指数収束し，$r \approx 100$ で機械精度に近い精度を達成する。
- 計算コストは $\mathcal{O}(T r^2)$ であり，共分散行列の階数構造を利用することで線形またはほぼ線形コストで計算可能である。
- 事前計算を行うことで，指定領域における予測を $\mathcal{O}(1)$ で行うことが可能であり，オンライン予測に適している。
- 1