arXiv雑要約

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

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

• テンソルトレインにおける交互クロス補間を用いた高速要素ごとの演算 [math.NA, cs.NA, physics.comp-ph, quant-ph]目的：テンソルトレインを用いた要素ごとの演算の効率化

  • 高次元データの圧縮表現として，テンソルトレインの重要性が増している。
  • テンソルトレインの要素ごとの演算は計算コストが高く，ボトルネックとなっている。
  • テンソルトレインのランクを活用し，より効率的な演算手法を確立すること。
  • 本研究で提案する交互クロス補間(ACI)アルゴリズムは，従来のアルゴリズムよりも高速に演算を実行できる。
  • ACIアルゴリズムの計算量はO(χ^3)であり，従来のO(χ^4)よりも改善されている。
  • ベンチマークテストの結果，実用的なテンソルトレインのランクにおいて大幅な高速化が確認された。

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

• 対角変換に関して整合性のある一般化行列逆 [math.NA, cs.NA, cs.RO]目的：対角変換に関して整合性のある新しい一般化行列逆の導出

  • ロボティクス，追跡，制御システムなど広範な応用分野において，状態空間変換下での変数の単位を維持することが重要である。
  • 既存の一般化行列逆では，状態空間変換下での単位の整合性が保証されておらず，長年の未解決問題となっていた。
  • 本研究は，状態空間変換下で単位を維持し，この長年の問題を解決する一般化行列逆を提案することを目的とする。
  • 提案された一般化行列逆は，任意の非特異対角変換に関して整合性を持つことが示された。
  • この逆行列は，類似変換に対するドラジン逆行列，ユニタリ変換に対するムーア・ペンローズ逆行列と並び，線形システム変換の標準的な体系を完結させる。
  • 単位整合性および単位不変な行列分解への拡張と，その応用例が示された。

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

• 多スケール生化学確率動力学のための適応的高速・低速演算子分割 [math.NA, cs.NA]目的：多スケール生化学確率動力学の効率的かつ正確なシミュレーション

  • 生化学反応は，分子反応，輸送，細胞調節など多様な時間スケールを持つ
  • CLE分割スキームに対する厳密な誤差評価が不足していた
  • 高速・低速ダイナミクスを効率的にシミュレーションする手法の開発
  • 提案する演算子分割フレームワークは，適応的な離散化により，誤差を制御しながら信頼性の高いシミュレーションを可能にする。
  • 確率対数表現を用いた誤差解析により，高速・低速分割法の誤差を詳細に分解した。
  • 比例積分(PI)制御器により，時間ステップと高速マイクロステップを最適化し，効率と精度を両立した。

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

• 高階有限要素ダフィー・ド・ラム複体と低次細分化事前条件 [cs.HC, math.NA, cs.NA]目的：高階有限要素空間の構築と，低次細分化事前条件への適用

  • 有限要素法は，工学や科学における様々な問題を数値的に解くための強力な手法である。
  • 高次有限要素法は計算コストが高く，大規模問題への適用が難しい場合がある。
  • スペクトル同値性を利用し，高次要素の計算コストを低減する事前条件を開発する。
  • ダフィー変換を用いて，単位正方形上の多項式空間を三角形メッシュに写像することで高階有限要素空間を構築した。
  • 構築された要素空間の剛性行列は，低次要素空間の剛性行列とスペクトル的に同値であることが示された。
  • このスペクトル同値性は，ヤコビ重み付き$L^2$ノルムにおけるノルム同値性によって裏付けられている。

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

• 分布最適対流拡散制御問題に対する不適合HDG法 [cs.CL, math.NA, cs.NA]目的：分布最適対流拡散制御問題の数値解法

  • 工学・科学における現象を精度良くシミュレーションする上で，最適化に基づく制御は重要である。
  • 複雑な形状の領域における最適制御問題の解法は，計算コストが高く，困難を伴う。
  • 不適合メッシュを用いることで，複雑形状に対する数値計算の柔軟性を高める。
  • 本研究では，区分的にC^2連続な境界を持つ領域における最適制御問題に対して，高次の不適合ハイブリダイゼーションDG法を適用した。
  • 領域の境界に適合しないメッシュを使用し，境界条件を移送するTPMを用いることで，理論的な収束性を証明した。
  • 状態および随伴問題の全ての変数について，L^2ノルムにおいて最適な収束次数が確認された。

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

• 分散最小化とリスク回避型多腕バンディットのためのソフトマックス勾配方策 [cs.CL, cs.LG, cs.AI, cs.NA, math.NA]目的：分散最小化およびリスク回避型多腕バンディット問題における方策

  • 逐次意思決定問題において，最適な行動選択は重要であり，様々な分野で応用されている。
  • 従来の多腕バンディット問題は期待報酬の最大化に焦点が当てられがちで，リスクを考慮したアプローチが不足している。
  • 本研究は，安定性を重視し，分散を最小化するようなリスク回避型多腕バンディット問題を解決することを目的とする。
  • ソフトマックスパラメータ化された方策を用い，分散最小化（または最小リスク）アームを選択する新しいアルゴリズムを提案した。
  • 提案アルゴリズムは，現在の腕分布からの2つの独立した抽出を用いて目的関数の不偏推定量を作成し，自然な条件下での収束性を示す。
  • 数値実験により，提案アルゴリズムの実用的な振る舞いを検証し，実装上の指針を示した。

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

• エントロピー安定性，正値性，振動抑制のための統一的枠組みEPO [cs.RO, cs.ET, cs.HC, math.NA, cs.NA]目的：高階有限体積法および不連続ガレルキン法の安定化手法に関する統一的枠組み

  • 数値計算において，安定性と精度は重要であり，特に非線形問題ではその両立が課題となる。
  • 既存手法では，許容性，エントロピー制御，振動抑制が分離されており，統一的な理論的基盤が欠けている。
  • 許容性，エントロピー制御，振動抑制を統合的に扱うことで，よりロバストで効率的な数値解法を確立する。
  • 提案手法EPOは，更新されたセル平均からの射線上で，許容性半径，エントロピー半径，振動抑制半径を決定し，その最小値を適用する。
  • 弱いエントロピー安定性を解析的に導き出し，セル平均レベルでのエントロピー収支を確立することで，既存手法を凌駕する。
  • この枠組みは，セル平均の保存，不変集合の保存，強力なエントロピー不等式などを保証し，様々なメッシュに対応可能である。

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

• 測度値ニューラルネットワーク：粒子データからのMcKean-Vlasov力学の学習 [math.NA, cs.LG, cs.NA, physics.comp-ph]目的：McKean-Vlasov力学の学習手法

  • 生物学を含む多様なシステムにおいて，相互作用から生まれる集団行動の理解が重要である。
  • 相互作用をデータから学習するには，確率分布への対応が課題であった。
  • 粒子データから直接，測度依存的な相互作用項を推論する新たな手法を開発する。
  • 本研究で提案する測度値ニューラルネットワークは，確率測度上で動作し，スケーラブルな分布-ベクトル表現を学習する。
  • 理論的に，生成される力学系のwell-posednessと，関連する相互作用粒子系のchaos propagationが証明された。
  • 数値実験により，様々なシステムにおいて，精度の高い予測と外挿性能が示された。

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

• バナッハ空間における非線形偏微分方程式に対する残差最小化アプローチ [math.NA, cs.NA]目的：非線形偏微分方程式の数値解法

  • 工学や科学の様々な分野で偏微分方程式が重要な役割を担う
  • 高精度な数値解法は計算コストが高い場合がある
  • 効率的な数値解法と誤差評価手法の開発
  • 残差最小化戦略を用いることで，バナッハ空間における非線形偏微分方程式の数値解を得る。
  • この手法は，離散化された双対ノルムにおける残差を最小化することに相当し，自動メッシュ適応を可能にする誤差推定器を提供する。
  • p-ラプラシアンをモデル問題として理論的考察を裏付ける数値実験を行い，有効性を示した。

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

• ネットワークのレジリエンス評価と制御のための逐次モンテカルロ法 [eess.SY, cs.NA, cs.SY, math.NA]目的：ネットワークシステムのレジリエンス評価と制御のための逐次モンテカルロ（SMC）フレームワーク

  • 次世代無線通信システムにおいて，レジリエンスは重要な要件であり，可用性の向上が求められている。
  • 逐次的な劣化や回復遅延に起因する，稀な経路依存性のある故障イベントの評価が困難である。
  • SMCフレームワークを用いて，経路依存性のある故障イベントの効率的な評価と制御を目指す。
  • 提案するSMC法は，標準的なモンテカルロ法と比較して，稀な故障確率の推定において有意に性能が向上する。
  • SMCチェックポイントを活用することで，固定コスト内で効率的なポリシー評価，比較，および状態依存的な選択が可能になる。
  • 遅延が重要な無線ネットワークのケーススタディを通して，レジリエンス指向な分析と制御におけるSMCの有用性が示される。

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

• ニューラルおよび多項式演算子サロゲートの性能 [cs.CL, eess.AS, cs.LG, cs.NA, math.NA]目的：パラメータから解への写像に対するサロゲート演算子の構築

  • 偏微分方程式のパラメータ依存性解析において，計算コストの削減が重要である。
  • サロゲートモデルの精度と効率を両立させることが課題である。
  • 入力場の滑らかさに応じた適切なサロゲート手法を選択すること。
  • 多項式サロゲートは，滑らかな入力場に対して高いデータ効率を示す。
  • 粗い入力場に対しては，フーリエニューラル演算子が最も速い収束率を示す。
  • 微分情報を用いた学習は，粗い入力場におけるデータ効率を向上させる。

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

• 古典的および学習型ティホノフ正則化スキームにおける誤差解析に関する考察 [cs.CY, math.NA, cs.NA]目的：逆問題に対する古典的および学習型ティホノフ正則化スキームの誤差解析

  • 逆問題は，観測データから真の信号を復元する上で重要であり，様々な科学技術分野に応用されている。
  • 正則化パラメータの不適切な設定は，復元誤差に影響を与え，実用上の課題となっている。
  • 本研究は，ノイズレベルの変化に対する正則化パラメータの影響を評価し，次元推定戦略を提案する。
  • 固定された正則化パラメータを用いた場合でも，復元誤差への影響は軽微であることが示された。
  • 真のデータが未知の有限次元部分空間に存在する場合，数値実験に基づく次元推定戦略が有効であることが示唆された。
  • スパース性を促進する項を学習する方法の誤差解析を行い，離散化設定における詳細な検討を加えた。

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

• 非圧縮オイラー系の有限要素法に対する収束定理と誤差評価 [cs.AR, math.NA, cs.NA]目的：非圧縮オイラー方程式の数値解の収束性

  • 流体シミュレーションは，気象予測や航空力学など，様々な分野で不可欠である。
  • オイラー方程式の数値解法では，安定性と精度を両立することが難しい。
  • 有限要素法を用いた際の収束性を理論的に保証し，誤差評価を行う。
  • ラックス型およびラックス等価定理に基づいた収束定理を提示した。
  • RT₀/P₀要素を用いた有限要素法の収束率を，相対エネルギー概念を用いて導出した。
  • 数値実験を通じて，理論的な収束結果を検証した。

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

• 有限時間収束性に関する時間並列法の保証 [math.NA, cs.NA]目的：時間並列法の収束性保証

  • 非線形・カオスシステムを効率的にシミュレーションする手法が求められている。
  • 時間並列法の非線形・カオスシステムに対する収束解析は未確立である。
  • 有限回反復で収束する理論的枠組みを提示し，収束性を保証する。
  • 時間分解法を縮小写像として捉え，初期誤差，収束率，反復回数間の関係を幾何学的な条件で定義した。
  • Parareal法に対し，非線形問題における収束係数の具体的な推定値を導出し，格子点数を増やせば収束が早まることを示した。
  • カオス領域における標準的な収束判定の限界を克服するため，リャプノフ指数に基づく近接関数を導入し，統計的アトラクタへの収束を可能にした。

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

• 近似領域におけるニッチェ法の誤差評価 [math.NA, cs.NA]目的：近似領域上での楕円問題に対するニッチェ法の事前誤差評価

  • 数値シミュレーションにおいて，複雑な形状や時間変化する領域を扱う必要性が高まっている。
  • 計算領域と物理領域が完全に一致しない場合，誤差評価が困難となる場合がある。
  • 境界位置の誤差と法線方向の摂動が誤差に与える影響を明確にすることを目的とする。
  • エネルギーノルムにおける誤差は，境界位置の誤差によって増幅されることが示された。
  • $H^1$半ノルムを用いることで，境界位置と法線方向の誤差を分離した評価が可能となった。
  • 二重性引数を用いた$L^2$誤差評価により，幾何学的誤差を独立した項として分離することができた。

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

• マウス心臓の計算モデルにおける筋線維の巨視的組織と乱雑性の機能的影響 [math.NA, cs.NA]目的：心臓電気機械モデルにおける筋線維構造の役割解明

  • 心疾患の診断や治療において，心臓の電気生理学的・機械的機能の理解が不可欠である。
  • 生体内での筋線維方向の直接測定が困難であり，ルールベースの手法に頼らざるを得ない現状がある。
  • 筋線維の巨視的組織と乱雑性の影響を定量的に評価し，より正確なモデル構築を目指す。
  • 受動的力学と電気生理学的活性化は，筋線維の乱雑性からほとんど影響を受けないことが示された。
  • 活動性力学は，筋線維構造に大きく依存し，その正確な表現が心臓機能に影響を及ぼすことが明らかになった。
  • 実験的に測定された筋線維場の適度な平滑化により，計算モデルの心室ポンプ効率が向上することが示唆された。

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

• MultiWave：双曲型保存則を近似する適応数値法の計算実験環境 [cs.CL, math.NA, cs.NA]目的：双曲型保存則を近似する適応数値法の実装と検証

  • 物理現象のシミュレーションにおいて，精度と効率が重要となる。
  • 複雑な現象を正確にシミュレーションするには，適切な数値解法が必要である。
  • 新しい数値解法を迅速に実装・テストできる環境が求められている。
  • MultiWaveは，適応数値法を開発・検証するためのC++フレームワークとして実装された。
  • 本研究では，適応摂動不連続Galerkin法をMultiWave上で実現し，その設計と実装の詳細を説明した。
  • モジュール化された設計により，既存のインフラを再利用してコードを拡張できる。

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

• ヘーミート内固有問題に対する適応多項式フィルタリング：収束解析 [math.NA, cs.NA]目的：大規模疎ヘーミート行列の固有値計算における効率向上

  • 科学技術計算において，大規模な固有値問題は様々な分野で重要である。
  • 既存手法では，計算コストや収束性の問題が課題となっている。
  • 本研究では，効率的かつロバストな固有値計算手法を開発することを目指す。
  • 提案手法は，フィルタリングされた部分空間反復法に組み込まれた適応多項式フィルタリングを用いる。
  • 減衰あり／なしの両設定において，点ごとの収束限界が確立された。
  • MaSpMMを活用することで，多項式フィルタリングの高速化を実現した。

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

• 移動界面を持つ二相流問題に対する物理情報ニューラルネットワーク [cs.CY, cs.CY, cs.CL, cond-mat.stat-mech, stat.ML, math.NA, cs.NA]目的：移動界面を持つ二相流問題の解法

  • 物理現象のモデリングにおいて，複雑な流れのシミュレーションは不可欠である。
  • 従来のメッシュベース手法では，移動界面の追跡が計算コストの高い課題となる。
  • 本研究は，メッシュフリーな物理情報ニューラルネットワークを用いて，この問題を解決することを目指す。
  • 物理情報ニューラルネットワークを基盤とするメッシュフリー手法を開発し，二相流の移動界面問題を解くことを可能にした。
  • 界面の速度が既知の場合と，流体場の速度によって決定される場合の双方に対応できるフレームワークを提案した。
  • 移動界面と流体ダイナミクスの相互作用に伴う誤差評価を行い，効率的な学習データ分布に関する指針を提供した。

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

• TransformerとAttentionメカニズムの理解：応用数学者向け入門 [math.NA, cs.NA]目的：Transformerアーキテクチャに基づく最新の言語モデルで使用されるAttentionメカニズムの理解

  • 自然言語処理の発展は，人間とコンピュータの円滑なコミュニケーションを可能にする上で不可欠である。
  • Transformerモデルは計算コストが高く，大規模データセットを必要とするため，リソースの制約下での利用が課題となっている。
  • 計算コストとメモリ使用量を削減するための最新手法（KVキャッシュ，Grouped Query Attention，Latent Attentionなど）の紹介。
  • Transformerは，テキストをベクトルとして表現し，Attentionメカニズムを用いて意味情報を符号化する。
  • Multi-Headed Attentionにより，モデルは入力シーケンス内の異なる関係性を捉えることができる。
  • KVキャッシュ等の手法は，Attention計算の効率化に貢献し，Transformerモデルの実用性を高める。

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

• 任意の多項式次数に対する離散最大原理を持つカーン・ヒリアード方程式に対する不連続ガレルキンスキーム [math.NA, cs.NA]目的：カーン・ヒリアード方程式に対する構造保存的な不連続ガレルキンスキーム

  • 相分離現象のモデルとして重要であり，材料科学や物理学における応用が期待されている。
  • 退化した移動度を持つ場合，スキームの安定性確保や離散解の存在証明が困難となる。
  • 退化した移動度下においても安定な数値解を求め，離散最大原理の成立を示すこと。
  • 提案スキームは，厳密な退化性を保存し，移動度に依存しない強制定数を実現する。
  • 任意の多項式次数$p$に対して離散最大原理が成立することが証明された。
  • 数値実験により，$p+1$次の収束性が確認され，構造保存特性が検証された。

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

• ユニタリー問題における分割法の誤差境界 [math.NA, cs.NA, quant-ph]目的：ユニタリー問題に対する分割法の局所誤差及び大域誤差の解析

  • 常微分方程式や偏微分方程式の数値積分において，分割法は広く利用されている。
  • 高次の分割法は存在するものの，誤差評価が体系的に行われていない場合がある。
  • 分割法に起因する誤差を厳密に評価し，誤差境界を導出することを目指す。
  • 演算子ノルムを用いた誤差評価と，可換子のノルムを用いた誤差評価の二つを導出した。
  • 可換子のノルムを用いた評価は，特定の条件下で，非有界演算子にも適用可能である。
  • 2つの演算子のみを含む場合に焦点を当て，具体的なスキームに対する明示的な誤差境界を導出した。

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

• 確率化によるレイリー・リッツ法の安定化 [math.NA, cs.NA]目的：固有値計算における近似固有対の抽出

  • 固有値計算は，工学や物理学の様々な分野で不可欠であり，その効率性は重要である。
  • 標準的なレイリー・リッツ法では，収束が遅延したり，収束しない場合が存在する。
  • 理想的な投影と同程度の収束速度で近似固有対を抽出する手法を開発すること。
  • 提案手法は，標準的なレイリー・リッツ法が抱える収束性の問題を克服し，高速な収束を実現した。
  • この手法は，対象固有値の単純性のみを仮定し，非線形固有値問題にも適用可能である。
  • 確率化によってレイリー・リッツ法の安定性を向上させ，信頼性の高い結果を得ることができた。

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

• Korobovおよび半周期コサイン空間における関数近似のための決定論的複数シフト格子アルゴリズム [eess.SY, cs.SY, math.NA, cs.NA]目的：多変量周期関数の近似における効率的かつ安定的な手法

  • 高次元空間における関数の近似は，様々な科学技術分野で重要であり，計算コストの削減が求められている。
  • 従来の格子法では，周波数エイリアシングがボトルネックとなり，計算コストが増大するという課題があった。
  • 決定論的な手法を用いて，周波数エイリアシングを克服し，最適な収束レートを維持すること。
  • 提案手法は，周波数エイリアシングを抑制するユニフォームシフトフレームワークと，格子のフルランクと条件数を保証する適応的ハイブリッド構成を導入した。
  • 理論的に，提案手法が最悪の場合でも最適な収束レートを維持することが証明された。また，半周期コサイン空間における近似の理論的限界を克服した。
  • 数値実験により，提案手法が確率的ベースラインと比較してサンプリング複雑さを大幅に削減し，絶対的な決定論的安定性を実現することが示された。

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

• 心房内リエントリー性頻拍における非伝導領域のベイズ推定のためのマルコフ連鎖モンテカルロ法 [math.NA, cs.NA]目的：心房内リエントリー性頻拍における非伝導領域の境界を記述する幾何学的パラメータの推定

  • 心電活動のモデル化は，心臓の電気生理学的メカニズム理解と不整脈治療に不可欠である。
  • 測定誤差により，非伝導領域の決定論的な推定は不確実性を伴う。
  • 本研究は，測定誤差を考慮した幾何学的パラメータの不確実性を含むベイズ推定を目指す。
  • ベイズ推論と圧縮された尤度関数，適応型Metropolis-Hastingsアルゴリズムを組み合わせることで，効率的なサンプリングを実現した。
  • 離散化誤差の影響を尤度関数と受容-拒否ステップに組み込むことで，推定のロバスト性を高めた。
  • 測定ノイズの量に応じて，事後分布の変化をシミュレーション実験で示した。

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

• 非線形遅延微分方程式解の近似におけるオイラースキームの誤差について - 不正確な情報下 [math.NA, cs.NA]目的：非線形遅延微分方程式のオイラー法における離散化誤差の上界

  • 遅延微分方程式は，生物学，神経科学など様々な分野で現象を記述する上で重要である。
  • 実際の計測データにはノイズが含まれることが多く，その影響を考慮した数値解法の研究が求められる。
  • ノイズを含む情報下におけるオイラー法の誤差評価を行い，近似の信頼性を検証する。
  • オイラー法の離散化誤差について，情報ノイズが存在する場合の上界を理論的に導出した。
  • 数値実験の結果は，理論的な上界と整合性があることを示している。
  • 本研究は，不正確な情報下での遅延微分方程式の数値解法の信頼性向上に貢献する。

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

• 確率的ガレルキン浅水方程式に対する高次の構造保存スキーム -- 統一と二次元拡張 [eess.SY, cs.SY, math.NA, cs.NA]目的：確率的ガレルキン浅水方程式の数値解法の比較と二次元拡張

  • 地球流体現象の予測において，不確実性を考慮したモデルが重要である。
  • 既存の確率的ガレルキン法は複数存在し，理論的・実装上の違いが明確になっていない。
  • 異なるアプローチの共通点を明らかにし，より汎用的な枠組みを構築することを目指す。
  • 二つの既存手法は，特定の条件下で整合性があり，統一的なフレームワークで表現できることが示された。
  • 一次元スキームを拡張し，二次元の確率的ガレルキン浅水方程式に対する高次の構造保存DG法を開発した。
  • 開発したスキームは，well-balanced性とentropy stabilityを備え，地球流体現象への応用が可能である。

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

• 非線形対流拡散系に対するRunge-Kutta不連続Galerkinスキームの事後誤差解析：SIAC後処理を伴う [math.NA, cs.NA, math.AP]目的：非線形対流拡散系に対するRunge-Kutta不連続Galerkin近似の信頼性のある事後誤差評価

  • 数値シミュレーションの精度向上が不可欠であり，誤差評価はそれを達成するための基礎となる。
  • 従来の誤差評価では，高次元空間や対流優勢な領域における精度が保証されない場合がある。
  • SIAC後処理を用いた事後誤差評価により，高精度な数値解を得るための信頼性のある指標を提供する。
  • SIACフィルタリングを用いることで，数値解の超収束性を実現し，誤差評価の精度を向上させた。
  • 得られた事後誤差評価は，粘性係数が小さくなる極限においても安定した評価を提供することが示された。
  • 数値実験の結果，事後誤差評価の収束次数は，再構成された数値解の誤差収束次数と一致することが確認された。

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

• 明示的マルチスケール擬軌道平均時間積分アルゴリズム [physics.plasm-ph, cs.NA, math.NA]目的：高周波モードの時間積分

  • 複雑な物理現象の記述には，多スケール現象の効率的な取り扱いが不可欠である。
  • 異なる時間スケールを伴う問題の計算コストが高いという課題が存在する。
  • 高速な時間スケールを平均化することで計算効率を向上させる。
  • 提案アルゴリズムは，高速・低速ダイナミクスを分離し，時間スケールに応じた積分を行う。
  • 磁気ミラー中のプラズマの簡約化された運動論モデルへの適用により，計算速度の大幅な向上を確認した。
  • 速度向上率は，高速振動周波数ωと減衰率νcの比に比例し，最大で30,000倍となった。

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

• 3次元エンベロープ Maxwell モデルを用いた曲げ光導波路の有限要素解析 [physics.optics, cs.NA, math.NA, physics.comp-ph]目的：曲げ光導波路における光場損失の正確な抽出

  • 光通信技術の発展には，光導波路の損失低減が不可欠である。
  • 従来の解析手法では，3次元曲げ構造における損失評価が困難であった。
  • 本研究は，曲げ光導波路における光場損失の精密な計算手法を確立する。
  • 3次元曲げ光導波路の光場損失を計算するための数値手法を開発した。
  • 超弱変分法と不連続Petrov-Galerkin (DPG) 法を組み合わせることで，メッシュや多項式の次数を最適化できる。
  • 提案手法は，曲げスラブ導波路の半解析結果との一致性を示し，3次元コイル状光ファイバ問題への安定した収束を達成した。

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

• 正則化最適輸送の鋭い局所的な疎性 [math.AP, cs.NA, math.NA, math.PR, math.ST, stat.TH]目的：エントロピー正則化最適輸送における正則化ポテンシャルの収束速度

  • 最適輸送は，確率分布間の距離を測る上で重要であり，機械学習や画像処理等の分野に応用されている。
  • 正則化された最適輸送問題において，正則化パラメータを小さくすると解が疎になるが，その収束速度は未解決であった。
  • 条件付き測度の支持が半径$\varepsilon^\frac 1 {d(p-1)+2}$の球状に振る舞うことを証明し，収束速度を明らかにする。
  • 条件付き測度の支持が，$\varepsilon^\frac 1 {d(p-1)+2}$の半径を持つ球状に近似されることが示された。
  • 正則化ポテンシャルが均一に強く凸であり，正則化されていないポテンシャルへの収束速度が導かれた。
  • この結果は，González-Sanz & NutzやWiesel & Xuの結果を多変数のケースや自己輸送以外のケースに拡張するものである。

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

• アフィン正規方向：対数行列式幾何によるスケーラブルな計算 [physics.comp-ph, cond-mat.mtrl-sci, cs.CE, physics.app-ph, math.OC, cs.SY, eess.SY, math.OC, cs.NA, math.AG, math.DG, math.NA]目的：アフィン正規方向の計算効率化

  • 最適化問題において，効率的な探索方向の発見は重要である。特に高次元問題では，計算コストが課題となる。
  • アフィン正規方向の計算には高階微分とヘッセ行列の逆行列が必要であり，高次元問題では計算量が膨大になる。
  • 本研究は，アフィン正規方向の計算を2階の構造に帰着させ，計算コストを削減することを目指す。
  • アフィン正規方向の計算が，ヘッセ行列の対数行列式の勾配計算に置き換えられることが示された。
  • 疎な多項式関数の最適化において，効率的な計算手法が開発され，計算コストが疎性の構造に依存することが示された。
  • 数値実験により，提案手法が従来の自動微分法に基づくアフィン正規方向とほぼ同等の精度を保ちつつ，大幅な計算時間短縮を実現することが確認された。

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

• 量子信号処理による量子位相推定のためのプログラム可能な信号設計 [quant-ph, cs.NA, math.NA]目的：量子位相推定における信号設計の最適化

  • 量子アルゴリズムやセンシングにおいて，性能はパラメータに対する測定信号の感度に依存する。
  • 既存手法では，位相学習に用いる信号系列が事前に固定されている場合が多く，柔軟性に欠ける。
  • 現在の不確実性領域に合わせて測定信号を調整可能なフレームワークを提案し，推定精度向上を目指す。
  • 本研究では，量子信号処理に基づくプログラム可能な信号設計フレームワークを提案した。
  • これにより，既存のロバスト位相推定プロトコルと比較して，推定分散を低減できることが示された。
  • 本フレームワークは，高次元におけるハミルトニアン固有値推定にも拡張可能であり，量子古典協調設計のパラダイムを確立する。

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

• バタフライ行列とバタフライアダマール行列の完全ピボット成長 [math.NA, cs.NA, math.PR]目的：完全ピボットガウス消去法における成長率の厳密な計算

  • 数値線形代数学の基礎問題であり，数値計算の安定性や効率に影響する。
  • 完全ピボット戦略の成長率は未だ完全には解明されておらず，厳密な計算が困難である。
  • バタフライ行列という特殊な構造を持つ行列を用いて，完全ピボット成長率の厳密解を求める。
  • バタフライ行列において，完全ピボットガウス消去法の成長率を厳密に計算する方法を開発した。
  • 部分ピボットやルークピボットに対する既存の結果を拡張し，バタフライ行列の完全ピボット成長率を解明した。
  • バタフライ行列を用いて，ランダムなアダマール行列を構成するための新しい手法を提案した。

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

• Bethe-Salpeter固有値問題に対する厚い再起動Lanczos法の変種 [math.NA, cs.NA]目的：Bethe-Salpeter固有値問題の固有値（絶対値が最小または最大のグループ）および対応する右・左固有ベクトル計算

  • 物性物理学や化学における電子状態計算において，Bethe-Salpeter方程式の解法は重要である。
  • 非エルミートなBethe-Salpeter方程式の効率的な解法は，計算コストが高いという課題がある。
  • 本研究は，Bethe-Salpeter方程式の構造を利用し，効率的な固有値計算手法を開発する。
  • 提案手法は，構造を保存するLanczos法に基づき，厚い再起動技術を組み込むことで効率を高めている。
  • SLEPcライブラリ内で実装され，Yambo材料科学コード由来のテスト行列を用いて検証された。
  • 結果は，提案手法が特定の固有値とその固有ベクトルを効率的に計算できることを示唆している。

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

• 移動・固定拡散モデルにおける源項の数値復元：部分内部観測からの逆問題 [math.NA, cs.NA]目的：移動・固定拡散モデルにおける源項の復元

  • 拡散現象は，物質輸送や環境汚染など，自然科学や工学における基盤となる現象である。
  • 実際の拡散現象では，観測が困難な内部領域における源項の特定が課題となる。
  • 部分的な内部観測データのみから，拡散源項を正確に復元する手法を開発する。
  • 分数Duhamelの原理と弱消失特性を組み合わせることで，この逆問題の一意性を理論的に証明した。
  • 最適制御アプローチを用いて源項を決定するための，前進・後退連立方程式系を導出した。
  • 有限要素共役勾配法を構築し，源項の数値的逆問題を解くことに成功した。

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

• 未知の表面再構成のための最小ノルム補間 [math.NA, cs.NA]目的：生点群データの幾何学的性質推定

  • 3Dデータ処理において，点群からの表面再構成は重要な課題である。
  • 従来の表面再構成手法では，点群のノイズや不完全性による問題が生じる。
  • 点群データから高精度な表面を再構成し，表面法線の推定精度を向上させる。
  • 提案手法では，Kolmogorov-Arnold Networksに着想を得た1次元カーネル基底関数を導入し，試行空間を拡張した。
  • その結果，生点群データからの表面再構成において，従来のRBF試行空間よりも高い精度が実現された。
  • 特に，表面法線の推定精度が大幅に向上し，計算幾何学への貢献も期待される。

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

• ハトリ-ラオランダム射影の改良解析とその応用 [cs.CC, math-ph, math.MP, quant-ph, math.NA, cs.NA]目的：ハトリ-ラオランダム射影を用いた行列およびテンソル低ランク分解の理論的保証の改善

  • 大規模な行列やテンソル分解において，ランダム化手法が有効である。計算コストが課題となる場合が多い。
  • 標準的なガウスランダム行列は理論的保証が確立しているが，生成・乗算コストが高いという問題がある。
  • ハトリ-ラオランダム射影は低コストだが，理論的保証が実用上の精度に劣る点に改良が求められている。
  • ハトリ-ラオランダム射影の理論解析を改善し，ブロック構造行列の低ランク近似アルゴリズムを提案した。
  • ハトリ-ラオランダム射影を用いてタッカー形式におけるテンソル計算を高速化し，理論的保証を示した。
  • 合成データおよび実世界データに対する数値実験により，提案手法の計算効率が確認された。

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

• 物理情報ニューラルネットワークと準共形写像によるノイズ画像からの2次元血流と血管形状の同時再構成 [math.NA, cs.CV, cs.NA]目的：ノイズを含む画像からの血流と血管形状の再構成

  • 血管系内の血流解析は，診断や治療計画において不可欠である。そのため，高精度な血流画像取得が求められる。
  • 短時間での撮像や機器由来の誤差により，質の高い血流画像を得ることが困難であるという課題が存在する。
  • ナビエ・ストークス方程式に基づき，ノイズの影響を低減し，高精度な血流画像と血管形状を再構成することを目的とする。
  • 提案手法は，物理情報ニューラルネットワークと準共形写像を組み合わせることで，ノイズの多い血流画像から高精度な再構成を可能にした。
  • 収束チャネル形状と大動脈形状の合成データ及び実データを用いた実験により，提案手法の有効性とロバスト性が確認された。
  • 主要パラメータの感度分析により，手法の性能に与える影響を評価した。

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

• 高次元平均場ゲームに対する高次テンソルトレインに基づくスキーム [cs.IR, math.NA, cs.NA, math.OC]目的：高次元平均場ゲームシステムの解法

  • 経済学や機械学習などに応用され，多数の主体が相互作用するシステムの解析に不可欠である。
  • 次元の増加に伴い，計算コストが指数関数的に増加し，数値解法が困難となる。
  • テンソルトレイン分解を用いて次元の呪いを克服し，効率的な数値解法を提供する。
  • 提案手法は，半ラグランジュ法とテンソルトレイン分解を組み合わせることで，計算量とメモリ使用量を大幅に削減できる。
  • 数値実験により，理論的な収束率が確認され，従来の格子ベースの半ラグランジュ法よりも高い精度を効率的に実現できることが示された。
  • 次元数が増加しても，メモリ使用量と実行時間の増加は抑制されることが確認された。

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

• 退化的な移動度と適応メッシュ細分化を持つカーン・ヒリアード・ナビエ・ストークス方程式に対する構造保存スキームの比較 [math.NA, cs.MS, cs.NA, math-ph, math.MP]目的：多相流体流れの界面追跡のための拡散相場モデルであるカーン・ヒリアード・ナビエ・ストークス方程式に対する構造保存スキームの比較

  • 多相流体流れのシミュレーションは，材料科学，化学工学，生物学など，幅広い分野で重要である。
  • 従来の数値解法では，質量保存則や初期条件の制約を満たすことが難しく，計算誤差が大きくなる場合がある。
  • 質量保存や初期条件の制約を満たす構造保存的な数値スキームを構築し，計算精度と安定性を向上させる。
  • 不連続ガレルキン法に基づく陰解法・陽解法を比較検討し，既存のスキームとの性能を評価した。
  • 適応メッシュ細分化を用いることで，界面領域への計算資源の集中化と計算効率の向上を実現した。
  • 質量保存，初期値の制約，エネルギー消散の観点から，提案手法が良好な結果を示すことを確認した。

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

• オイラー・マルヤマ法によるリーキー積分発火ネットワークの数値解析 [math.NA, cs.NA, math.PR]目的：リーキー積分発火ネットワークの数値シミュレーションにおける誤差解析

  • 神経系のダイナミクスをモデル化する上で，簡約化されたスパイクベースのモデルは重要である。
  • 数値シミュレーションの誤差が，特に閾値付近のイベントで集中し，スパイクタイミングやスパイク数の不一致を引き起こす。
  • 誤差の明確な上限を導出し，シミュレーション精度がモデルの精度に与える影響を明らかにする。
  • 層状のフィードフォワードネットワークにおいて，特定の条件下で，有限時間の強い誤差と弱い誤差の上界が証明された。
  • 強い誤差に対しては，スパイク履歴の一致に基づき，単一スパイクの到達時間比較と，シナプス影響カーネルの平均化を組み合わせた。
  • 弱い誤差に対しては，平均化された後方半群引数を使用し，滑らかなスパイクマップ互換性のある観測量に対して1次の弱誤差が示された。

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

• デフレーションPINN: PDEおよびLandau-de Gennesモデルの多解法学習 [math.NA, cs.LG, cs.NA]目的：偏微分方程式の多解の識別と特性評価

  • 物理学や工学の様々な現象を記述する上で，偏微分方程式は不可欠である。
  • 従来のPINNは一つの解しか見つけられないため，多解を持つ問題には対応が難しい。
  • デフレーションPINNは，複数の安定な解を系統的に探索することを可能にする。
  • デフレーション損失を導入することで，PINNが異なる解の分岐に収束するように促す。
  • Landau-de Gennesモデルの実験を通じて，複雑なエネルギー地形における複数の結晶構造を正確に特定した。
  • 理論的な収束性についても証明され，モデルの有効性が確認された。

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

• 高速一次レベル多重非凸最適化における微分推定 [math.OC, cs.NA, math.NA]目的：複合関数最適化における微分推定

  • 二重最適化や偏微分方程式制約問題への応用が期待される分野である。
  • 内側の最適化問題の効率的な解法と，外側の最適化問題との連携が課題である。
  • 微分推定による効率的な反復計算手法を開発し，収束性を保証することを目的とする。
  • 内側の最適化手法のトラッキング不等式を利用することで，既存の収束証明を適用可能にした。
  • 非凸Primal-Dual Proximal Splitting (PDPS) 法に対する収束性の改善も示した。
  • 電気インピーダンス断層撮影法や最小曲面制御といった応用例で数値評価を行った。

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

• トラスト領域確率的逐次二次計画法の高確率複雑度限界：重い尾を持つノイズに対する考察 [math.CO, cs.DM, cond-mat.dis-nn, cs.CC, math-ph, math.MP, math.PR, math.OC, cs.CC, cs.LG, cs.NA, math.NA, stat.ML]目的：確率的制約条件を持つ非線形最適化問題に対する，高確率な反復計算複雑度限界の導出

  • 機械学習等の分野において，大規模な非線形最適化問題は不可欠であり，効率的な解法が求められている。
  • 従来の確率的最適化手法は，ノイズの分布に依存し，特に重い尾を持つノイズに対する解析が不足していた。
  • 本研究では，重い尾を持つノイズ下における確率的逐次二次計画法の性能を解析し，実用的な解法を提示することを目指す。
  • 提案手法は，重い尾を持つノイズ環境下でも，既存手法と同程度の反復回数で一次収束を達成する。
  • さらに，二次収束についても有望な結果を示し，理論的な性能を検証した。
  • CUTEstベンチマークテストセットを用いた実験により，提案手法の実用性も確認された。

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

• 1