arXiv雑要約
数値解析 - 2026/03/27 公開
時間依存減衰を用いた光音響断層撮影:理論的考察と畳み込みニューラルネットワーク誘導数値反転法 [cs.CC, cs.DB, math.NA, cs.NA, math-ph, math.MP]目的:光音響断層撮影における画像再構成手法
- 生体組織内の光学吸収を画像化する技術であり,医療診断への応用が期待される。
- 生体組織内の音響減衰が信号歪みを引き起こし,正確な画像再構成を困難にしている。
- 時間依存減衰を考慮したモデルと,畳み込みニューラルネットワークを用いた再構成法の開発。
- 時間依存減衰を持つ不均一媒質における光音響断層撮影の理論的解法を導出した。
- 音響減衰を考慮した勾配フリーな数値再構成法を提案し,その有効性を検証した。
- 境界データとエネルギー減衰を用いた調和拡張により,初期圧力を一意に決定できることを示した。
自己教師ありグラフニューラルネットワークによるメッシュフリー離散微分演算子の学習 [cs.LG, cs.NA, math.NA, physics.flu-dyn]目的:メッシュフリー離散微分演算子の学習
- 複雑な形状に対する柔軟な離散化が求められる分野であり,数値シミュレーションの精度向上が不可欠である。
- 従来のメッシュフリー法は,計算コストと精度のトレードオフが存在し,高精度化が困難であった。
- グラフニューラルネットワークを用いて,高精度かつ効率的なメッシュフリー離散微分演算子を学習し,その問題を解決する。
- 提案手法は,テイラー展開に基づく多項式モーメント制約を用いて,グラフニューラルネットワークを訓練する。
- 学習された演算子は局所的な形状のみに依存し,解像度に依存せず,様々な問題に再利用可能である。
- 標準的な数値解析診断により,Smoothed Particle Hydrodynamicsよりも精度が向上し,高精度なメッシュフリー法と同等以上の性能を示すことが確認された。
フレドホルム積分作用素の固有値問題における数値近似の超収束性に関する一考察 [math.NA, cs.NA, math.FA]目的:フレドホルム積分作用素の固有値および固有空間の数値近似の収束性
- 積分方程式は,物理現象や工学問題を記述する上で重要な役割を担う。
- 固有値問題の数値解法は計算コストが高く,精度向上が課題である。
- より高精度かつ効率的な固有値問題の数値解法を開発すること。
- 区分多項式を用いた補間投影法により,固有値と固有空間の明示的な収束率が示された。
- 古典的な配置法と比較して,修正配置法は固有値および固有関数の近似収束が速いことが確認された。
- 反復計算により,固有関数の超収束近似が得られることが示された。
保存則に対する弱形式とエントロピー情報に基づくニューラルネットワーク [math.NA, cs.NA]目的:非線形双曲型保存則に対するエントロピー解の近似
- 物理現象のシミュレーションは,工学や科学における重要な課題であり,高精度な数値解法が求められている。
- 従来の物理情報ニューラルネットワークは,不連続な解(衝撃波など)に対して,微分形式の残差が発散し,解の精度が低下する。
- 本研究は,衝撃波を含む不連続な解に対しても安定した近似解を得ることを目指す。
- 提案手法は,空間と時間の弱形式を導入することで,不連続な解に対しても定義可能な制御体積フレームワークを構築した。
- エントロピー admissibility 条件を積分形式で組み込むことで,解の一意性と物理的整合性を保証した。
- バーガース方程式,浅水方程式,圧縮性オイラー方程式などへの適用により,衝撃波の正確な分解能とロバストな性能が確認された。
偏微分方程式に対する潜在表現学習に基づくモデル補正と不確実性定量化 [math.NA, cs.NA]目的:偏微分方程式学習におけるモデル補正と不確実性定量化
- 物理現象のシミュレーションにおいて,偏微分方程式は不可欠であり,その精度が重要である。
- 簡略化された仮定や観測データの制限により,支配方程式が不正確になる場合がある。
- モデルの誤りによる誤差を補正し,より信頼性の高い解を得ることを目指す。
- 潜在表現空間を用いたモデル補正フレームワークを開発し,効率的な不確実性定量化を実現した。
- 提案手法は,Ensemble PINNsやB-PINNsと同等の精度を,より高い計算効率で実現した。
- 学習された潜在表現の制御とロバスト性の向上のため,補助的な潜在空間正則化を導入した。
二次多様体上の非線形モデル次数の削減:次元依存正則化を用いた貪欲法 [math.NA, cs.NA]目的:二次多様体を用いた非線形モデル次数削減手法の改善
- 偏微分方程式の効率的な数値計算には,計算コストを削減するモデル次数削減が不可欠である。
- 線形部分空間への射影では,解多様体のKolmogorov $n$-幅が緩やかに減少する場合に高次元が必要となる。
- 二次多様体を用いることで,高次元性を回避し,効率的かつ安定な非線形モデル次数削減を実現する。
- 提案手法は,正則化パラメータと物理パラメータに対して,それぞれ貪欲法を組み合わせた二重貪欲法を導入する。
- これにより,二次写像の精度と,結果として得られる非線形モデルの安定性の間のトレードオフをバランスさせる。
- 線形輸送,音響波,アドベクション拡散,Burgers'方程式への適用により,提案手法の精度,効率,安定性が確認された。
放射伝達方程式に対する穏やかな空間拡張を用いた高効率ランク適応スウィープベースSI-DSA [math.NA, cs.NA]目的:放射伝達方程式の離散化におけるメモリ使用量と計算コストの削減
- 放射伝達方程式は,大気中の放射輸送など多くの分野で重要であり,正確な数値解法が求められている。
- 従来のランク適応手法は,効果的な解のランクが大きくなると効率が低下する可能性がある。
- 穏やかな空間拡張を用いたスウィープベースSI-DSAにより,メモリ使用量と計算時間を削減すること。
- 提案手法は,フルランクSI-DSAと同等の精度と反復回数で,メモリ使用量と実行時間を大幅に削減できる。
- 特に,効果的なランクがフルランクの30~45%に達するような難しい多重スケール問題において有効である。
- 残基に基づく貪欲な角度サブサンプリング戦略と投影演算子の漸進的な更新により,効率的なランク適応を実現している。
固定界面を持つ全オイラー流体構造連成問題に対するカット有限要素法の数値解析 [math.NA, cs.NA]目的:全オイラー流体構造連成問題におけるカット有限要素法の安定性と事前誤差評価
- 流体構造連成問題は,工学設計において不可欠であり,安全性と効率性の向上が求められる。
- オイラー座標系における固定界面の取り扱いは,数値計算の安定性と精度を損なう難題である。
- 本研究は,固定界面を持つ流体構造連成問題の数値解析における精度と安定性の向上を目指す。
- 本研究では,カット有限要素法とNitsche法を用いることで,メッシュカットに依存しないロバストな解法を提案した。
- 時間と空間における最適な誤差評価を導出し,理論的な安定性を証明した。
- 数値実験によって,導出された誤差評価が妥当であることを検証した。
回転するスピン軌道結合したスピン2ボース・アインシュタイン凝縮体のダイナミクスの計算のための効率的なコンパクト分裂フーリエスペクトル法 [math.NA, cond-mat.quant-gas, cs.NA]目的:スピン2ボース・アインシュタイン凝縮体の回転とスピン軌道結合におけるダイナミクス
- ボース・アインシュタイン凝縮体は,量子力学における重要な研究対象であり,多様な物理現象の理解に貢献する。
- 回転やスピン軌道結合といった複雑な相互作用を伴う系のダイナミクス計算は,数値シミュレーションの困難性が高い。
- 高精度かつ効率的な数値計算手法を開発し,ボース・アインシュタイン凝縮体のダイナミクスを詳細に解析すること。
- 本研究では,コンパクト分裂フーリエスペクトル法を用いることで,高精度かつ効率的なダイナミクスの計算を実現した。
- 提案手法は,回転項とスピン軌道結合項の取り扱いを簡略化し,時間発展計算の安定性と精度を向上させた。
- 渦格子などのダイナミカルな性質やスピン軌道結合の影響についても系統的な検証を行い,理論的予測との整合性を示した。
サドル点の計算のための事前条件付き高指数サドルダイナミクス [math.NA, cs.NA]目的:指定されたモルース指数を持つサドル点の計算と,複雑な非線形システムの解のランドスケープの構築
- 複雑なシステムの解を求める上で,サドル点は重要な役割を果たすため,効率的な計算手法が求められている。
- 微細な離散化や硬いポテンシャルによりヘッセ行列の状態が悪化した場合,標準的なサドルダイナミクスの効率が低下する。
- ヘッセ行列の状態が悪化する問題に対処し,サドル点探索ダイナミクスの収束性を向上させることを目指す。
- 提案手法は,対称正定値事前条件子によって誘導されるリーマン計量内で連続ダイナミクスを再構成する事前条件付き高指数サドルダイナミクス (p-HiSD) フレームワークである。
- 理論解析により,平衡点とモルース指数は計量変換下で不変であることが確認された。
- 数値実験により,p-HiSDが硬度による収束失敗を解消し,ステップサイズを拡大し,反復回数を大幅に削減することが示された。
構造を保存する磁気ガウス波束ダイナミクスの時間積分法 [math.NA, cs.NA, math-ph, math.MP]目的:磁気シュレーディンガー方程式に関連するガウス波束ダイナミクスに対する構造保存時間積分法の開発
- 量子力学における波束法は,半古典的な計算に不可欠であり,様々な物理現象のシミュレーションに利用される。
- 磁場中の波束の運動を正確にシミュレーションするためには,数値誤差の蓄積を防ぎ,物理量の保存性を維持する必要がある。
- 磁気ベクトルポテンシャルによる非分離構造を持つ系の長時間の安定な数値計算を可能にする時間積分法を構築すること。
- 提案された方法は,Hagedornパラメータ化を特徴づける二次不変量を保存し,対称性仮定の下で線形運動量と角運動量を保存する。
- また,長時間の計算においても平均ハミルトニアンのほぼ保存性を示す。
- 波束パラメータと観測量の両方に対して,半古典パラメータに関して一様な厳密な誤差推定が導出された。
最適化された局所最大エントロピー補間とHeaviside付加を用いた異種格子に対する準連続体法 [cs.OS, math.NA, cond-mat.mtrl-sci, cs.NA]目的:異種格子の準連続体法における精度向上
- 異方性材料のモデリングには格子系が有効だが,計算コストが高い。
- 異種系の材料界面は,微細な離散化を必要とし,計算効率を損なう。
- 局所最大エントロピー補間とHeaviside付加により,計算コストを抑えつつ精度を向上させる。
- 最適化された局所最大エントロピー補間により,線形補間と比較して変位精度が約1桁向上した。
- 最適な局所パラメータは界面付近で不均一な分布を示し,系統的な空間構造を有する。
- 界面付近でのパターンに基づいたパラメータ設定で,最適化の計算コストを削減可能である。
高速かつ高精度なCP-HIFIテンソル分解:クロネッカー構造の活用 [math.NA, cs.NA]目的:CP-HIFIテンソル分解の高速化と精度向上
- 科学計算やデータ解析において,テンソル分解は基盤技術であり,多様な応用分野で不可欠である。
- 既存手法は,大規模問題に対して計算コストが高く,実用上の制約となっていた。
- クロネッカー構造の活用と前処理付き共役勾配法の導入により,計算効率を飛躍的に向上させる。
- 提案手法は,従来の直接解法と比較して,最大500倍の高速化を実現した。
- 整列テンソルに対しては,クロネッカー構造を利用した効率的な固有値分解を行うことで,計算量を大幅に削減した。
- 非整列テンソルに対しては,高速な行列ベクトル積と効率的な事前条件付けを行う前処理付き共役勾配法を導入した。
連続依存性の導入が演算子学習のための物理情報ニューラルネットワークの能力向上に貢献 [quant-ph, cs.ET, math.DS, cs.NA, math.NA]目的:偏微分方程式の演算子学習における物理情報ニューラルネットワークの性能向上
- 物理現象のモデリングにおいて,高次元問題や不規則境界を持つ偏微分方程式への応用が期待される。
- 既存の物理情報ニューラルネットワークは,汎化性能が低く,実用上の応用が制限されている。
- 偏微分方程式の解のパラメータや初期値・境界条件に対する連続依存性を取り入れることで,汎化性能を改善する。
- 提案手法cd-PINNは,DeepONetやFNOと比較して,限られたラベル付きデータでテストMSEを1-3桁低減することを示した。
- 偏微分方程式の解の連続依存性を考慮することで,物理情報ニューラルネットワークの演算子学習能力を向上させることが可能となる。
非構造化格子における高次のコンパクト有限体積法:スキーム空間の定式化と一次元実装 [physics.flu-dyn, cs.NA, math.NA]目的:非構造化格子上の高次のコンパクト有限体積法の新しい再構成手順
- 近年,複雑な形状を扱う計算流体力学において,非構造化格子への需要が高まっている。
- 高次の精度を維持しつつ,非構造化格子上で安定した計算を行うことが課題となっている。
- スキーム空間の概念を用いて,分散と消散特性を制御し,高精度かつロバストなスキームを構築する。
- 本研究では,スキーム空間という新しい概念を導入し,高次のコンパクトスキームを効率的に構築する方法を提案した。
- 提案手法は,既存のコンパクトスキームと比較して,より一般化されたアプローチでスキームの設計を可能にする。
- 数値実験により,本手法が高次の精度,ロバスト性,そして衝撃波捕捉能力を有することが示された。
関数的タッカー分解による適応的サブ空間モデリング [stat.ML, cs.NA, math.NA]目的:多次元データの構造化表現
- 多次元データ解析において,テンソルは重要な役割を果たすため。
- 離散化により,連続過程由来の重要な情報が失われる場合がある。
- 連続モードを考慮したテンソル分解による高精度なモデリングを目指す。
- 関数的タッカー分解(FTD)は,連続モードの制約を直接分解に組み込む。
- RKHSを用いることで,事前知識なしに連続モードをモデル化し,適応的なサブ空間表現を実現する。
- ハイパースペクトル画像や多変量時系列分析における分類タスクで有効性が示された。
非線形多周辺最適輸送問題に対する粒子法 [math.OC, cs.NA, math.NA]目的:非線形多周辺最適輸送問題の数値解法
- リスク管理等の分野において,確率分布間の輸送問題を最適化することは重要である。
- 非線形問題の厳密解を求めることは困難であり,数値解法の精度向上が課題である。
- 粒子法による離散化を通じて,効率的な数値解法を確立し,精度評価を行う。
- 提案された粒子法は,粒子数の増加に伴い,解への収束が定量的に示された。
- 収束速度は,最適解の均一量子化誤差に依存し,支持集合の幾何学的性質によって制限される。
- 一変量周辺分布と超モジュラーコスト関数の場合,より鋭い収束速度が得られた。
境界リプシッツ領域における二重拡散流に対する非適合構造保存有限要素法 [math.NA, cs.NA, math.OC]目的:二重拡散流の定常モデルにおける弱解の存在,一意性および正則性
- 流体力学において,温度依存性粘性流体の挙動を理解することは,自然現象や工学的応用において重要である。
- 複雑な形状の領域における弱解の一意性は確立が難しく,数値計算における課題となっている。
- この研究は,複雑な形状の領域においても一意解を保証する数値解法の開発を目指す。
- 本研究では,クローゼ・ラヴィアール要素に基づく非適合有限要素法を提案し,離散解の一意性を証明した。
- 凸領域および非凸領域における流れ,ストークス,ダーシー領域での理論的な誤差減衰率を検証した結果,精度が高いことが確認された。
- 多孔質空洞内の流れに関するベンチマークテストを実施し,既存手法と比較することで,提案手法の有効性を示した。
3つまでのベッセル関数を含む積分の効率的な数値積分 [cs.FL, math.NA, astro-ph.CO, astro-ph.GA, cs.NA, physics.comp-ph]目的:高度に振動するベッセル関数を含む積分の効率的な計算
- ベッセル関数は物理学や工学の様々な分野で現れ,その積分計算は重要である。
- 従来の数値積分法では,ベッセル関数を含む積分の計算が困難であり,高精度な計算が難しい。
- 複数のベッセル関数を含む積分の効率的かつ安定的な計算手法を提供すること。
- pylevinは,レヴィン法を用いて,最大3つのベッセル関数を含む積分の高速かつ高精度な数値積分を可能にするPythonパッケージである。
- 単一のベッセル関数を含む積分に対しては,既存のソフトウェアと同程度の速度を示す。
- 2つまたは3つのベッセル関数を含む積分に対しては,標準的な適応積分法よりも最大4桁速く,また大きなベッセル関数の引数に対しても安定性を示す。
シルベスター方程式を解くための混合精度アルゴリズム [math.NA, cs.NA]目的:シルベスター方程式の混合精度解法
- 大規模な行列計算において,計算コストの削減と精度の維持が重要課題である。
- 高精度計算はコストがかかるため,計算効率と精度のバランスが求められる。
- 混合精度計算を用いることで,計算コストを削減しつつ,精度の損失を最小限に抑える。
- 本研究では,摂動された準三角シルベスター方程式を解くための新しい反復改良スキームを提案した。
- 提案手法は,既存の手法と同等以上の精度を持ち,低精度計算をネイティブにサポートするハードウェア上でより高速に動作する可能性がある。
- シュール分解の計算精度に関する問題を,再正規化または明示的な逆行列計算によって解決した。
連続体力学のための構造を保存する半陰解的な四分割スキーム [math.NA, cs.NA]目的:連続体力学の統一的な一次双曲型定式化に対する構造保存型頂点スタッガート半陰解的な四分割離散化
- 連続体力学は,流体と固体という多様な物質の挙動を記述する上で不可欠な学問分野である。
- 既存の構造保存型離散化法は,熱波の速度制限に起因する時間ステップの制約が厳しいという課題があった。
- 本研究は,時間ステップの制約を緩和し,より効率的な数値シミュレーションを可能にすることを目的とする。
- 提案された四分割半陰解的スキームは,材料の時間ステップ制限のみで安定性を保つことが示された。
- このスキームは,低マッハ数限界および硬い緩和限界に対して漸近的に一貫性がある。
- また,線形なソース項が存在する場合,またはその場合に正確にカールフリーの歪み場と熱インパルスを維持することが確認された。
量子固有値処理 [quant-ph, cs.DS, cs.NA, math.NA, physics.chem-ph]目的:非正規行列の固有値に対する多項式変換および推定
- 線形代数の問題解決に量子計算の応用が期待されている。特に非 Hermitian 問題への対応が重要である。
- 既存の QSVT フレームワークは固有値と特異値の違いから,非正規行列の固有値処理には適していない。
- 固有値に対する効率的な多項式変換フレームワーク QEVT およびアルゴリズム QEVE を開発し,その有用性を示す。
- QEVT は Hermitian 入力に対する QSVT と同程度のクエリ複雑度を達成する。
- QEVE は対角化可能な入力行列に対して Heisenberg 限界のスケーリングを実現する。
- 線形微分方程式ソルバーや基底状態準備アルゴリズムなどへの応用可能性が示された。
- 1
