arXiv雑要約
数値解析 - 2026/03/26 公開
既約指標の絶対値とテンソル積 [math.NA, cs.NA, math.RT]目的:有限群の既約表現の指標の絶対値とテンソル積に関する公式
- 群論は数学,物理学,化学など多くの分野で基本的な役割を担う重要な研究領域である。
- 既約指標の絶対値の期待値の計算は,複雑であり,明確な公式が求められていた。
- 指標比を用いて,指標の絶対値の期待値を評価する簡潔な公式を提示し,その漸近的性質を議論する。
- 指標の絶対値の期待値を,指標比を用いて表現する公式が得られた。
- この公式は,既約表現のテンソル積のアイソタイプ成分の次元増加と関係がある。
- 公式の漸近的性質についても簡潔に議論されている。
変数射影によるトラスト領域勾配ブースティング [cs.CL, cs.LG, cs.NA, math.NA, math.OC]目的:分離可能な滑らかな近似器に対する勾配ブースティングアルゴリズム
- 勾配ブースティングは関数近似において実用的かつ理論的に確立された手法である。
- ニューラルネットワークのような滑らかなパラメータモデルの学習手法と理論は未発達である。
- 分離可能なモデルと変数射影を組み合わせることで,より効率的な学習を目指す。
- 提案手法VPBoostは,線形重みの最適性を保証する変数射影と二階弱学習戦略を融合させている。
- VPBoostはトラスト領域法として解釈でき,幾何学的な条件の下で定常点に収束することが証明された。
- 実験結果から,VPBoostは勾配降下法に基づくブースティングよりも優れた評価指標を示し,決定木ブースティングと同等の性能を達成することが示された。
マルコフノイズによる確率的非局所交通流モデル [math.NA, cs.NA]目的:確率的非局所交通流モデルの拡張
- 交通流の予測精度向上は,交通渋滞緩和や交通計画に不可欠である。
- 既存モデルでは,交通流の不確実性やノイズの表現が不十分である。
- マルコフノイズを用いたモデル化により,交通流の確率的な挙動をより正確に捉える。
- 提案するヤコビ型ノイズは,解釈可能性を保ちつつ,以前のホワイトノイズアプローチと比較して確率的実現を大きく変化させる。
- 確立された局所解作用素を用いることで,ノイズの局所的影響に関する情報が得られ,解の平均値の近似となる平均値双曲型非局所偏微分方程式が導出された。
- シミュレーション研究により,この近似の質とノイズプロセスの影響が検証された。
ガロア頂点に関連する2つのアーベル群について [math.NA, cs.NA, math-ph, math.GR, math.MP]目的:ガロア頂点に関連するアーベル半群およびアーベル群の定義
- 数学物理学において,剛体の運動を記述する上で,ガロア頂点のような重い頂点の研究は重要である。
- ガロア頂点の運動は,代数的積分と超越的積分が混在しており,解析が困難である。
- ガロア軸上の点に,ホイヘンス・シュタイナーの定理を適用することで,新たな群構造を明らかにすること。
- ガロア頂点の軸上の点に対して,アーベル半群とアーベル群を定義した。
- これらの群は,ガロア頂点の運動に関する新たな数学的構造を提供する。
- 本研究は,ガロア頂点の運動解析への貢献が期待される。
円盤および円柱上のド・ラム複体の直交多項式 [math.NA, cs.NA]目的:円盤および円柱における境界条件付きド・ラム複体の構造を捉える多項式基底の構成
- 流体解析などの分野において,複雑な形状における微分形式の取り扱いは重要である。
- 従来の数値計算では,複雑な形状における微分形式の計算が困難であるという課題があった。
- 円盤や円柱におけるド・ラム複体の構造を捉える基底を構築し,計算を効率化することを目指す。
- 単位円盤上のベクトルおよび行列直交多項式を明示的に構成し,標準的なゼルニケ多項式との関係を示した。
- 境界条件を満たすベクトル直交多項式を構築し,勾配と旋回との簡単な関係性を明らかにした。
- 円柱への拡張を自然に行い,勾配,旋回,発散を関連付ける簡単な漸化式を得た。
物理情報に基づいた疫学モデルにおける勾配病理の解決 [cs.SI, cs.CL, cs.LG, cs.NA, math.NA, math.OC]目的:物理情報に基づいた疫学モデルにおける勾配病理の解決
- 感染症の制御には正確なモデルが不可欠であり,臨床データと数理モデルの統合が重要である。
- 物理情報に基づいたニューラルネットワークの訓練は,データ損失と物理残差の競合により不安定になりやすい。
- 勾配の方向の対立を抑制し,効率的かつ安定した訓練を可能にする手法を開発する。
- 提案手法「Conflict-Gated Gradient Scaling (CGGS)」は,データ勾配と物理勾配のコサイン類似度に基づいて,物理制約の重みを動的に調整する。
- CGGSは,勾配の方向が対立する場合に物理制約を抑制し,データへの適合性を優先することで,訓練の安定性と効率性を向上させる。
- この手法は,滑らかな非凸目的関数に対して標準的な$O(1/T)$収束率を維持し,硬い疫学システムにおけるパラメータ推定を改善する。
グラスマン多様体上の最大体積座標とアルノルディ直交化による高次の安定補間 [math.NA, cs.NA]目的:グラスマン多様体上の高次補間手法
- 幾何学的なモデリングや機械学習など,多様体上でのデータ処理の重要性が高まっている。
- 従来のSVDに基づく手法では,計算コストや微分不安定性の問題が存在する。
- 最大体積座標とアルノルディ直交化を組み合わせることで,安定かつ効率的な補間を実現する。
- 提案手法では,まず最大体積座標を用いて多様体上のデータを条件数の良いユークリッド空間に写像する。
- 次に,Vandermonde-with-Arnoldi (V+A) 法を用いてラグランジュ補間を行い,さらに CV+A 法で微分を付加したエルミート補間を行う。
- 理論的な安定性評価と数値実験により,高次多項式補間において高い精度が得られることが示された。
Vlasov-Fokker-Planck方程式に対する深層運動JKOスキーム [eess.SY, cs.SY, math.NA, cs.NA, math-ph, math.MP]目的:Vlasov-Fokker-Planck方程式の数値解法
- プラズマ物理や輸送現象など,多くの分野で重要な役割を担う運動方程式の数値解法。
- 高次元空間における運動方程式の効率的な数値解法が課題。
- 深層学習を用いた新しい数値解法により,高次元運動方程式のシミュレーションを可能とする。
- 深層ニューラルネットワークに基づく数値解法を提案し,線形および非線形の場合の両方に対応。
- 古典的なJordan-Kinderlehrer-Ottoスキームの拡張である「運動JKOスキーム」を導入。
- 提案手法は,高次元数値シミュレーションにおいて有効であることを数値実験で確認。
対数ガウス形状上の楕円型偏微分方程式:疎性と有限要素離散化 [math.NA, cs.NA, math.PR]目的:対数ガウス形状上の楕円型拡散問題の解
- 確率的な形状を持つ領域における偏微分方程式の解析は,自然現象のモデリングにおいて重要である。
- 確率的領域上での偏微分方程式の厳密解を得ることが困難である。
- 確率的領域上での楕円型偏微分方程式の近似解法を開発すること。
- 本研究では,単位円盤または円環の対数ガウス確率的類似変換によって得られる確率的領域における楕円型拡散問題を扱う。
- 解の存在と一意性を検証し,確率的入力パラメータに関する解の解析的規則性を示す。
- 連続ピースワイズ線形ラグランジュ有限要素と,ガウス・エルミート・スモリアク型および準モンテカルロ型の疎格子補間を用いて数値近似を行う。
QuatIca:Pythonにおける四元数行列のための高度な数値線形代数と最適化 [cs.CL, math.NA, cs.NA]目的:四元数行列の数値線形代数および最適化のためのPythonライブラリ
- 多チャンネル信号のモデリングにおいて,四元数は有用な表現形式であり,その重要性は増している。
- 実数・複素数に比べ,四元数に対応した実用的で数値的に安定なソフトウェアが不足している。
- 四元数行列の計算を効率的に行うためのライブラリを提供し,実験の再現性を高める。
- QuatIcaは,四元数行列の基本演算,分解,反復ソルバー,信号処理ルーチンなどを提供する。
- OptiQは,対数バリア法を用いて四元数Hermitian半正定値計画問題を解く。
- 四元数画像デブラー,ローレンツアトラクタフィルタリング,画像補完などの応用例が示された。
偏微分方程式のための線形・非線形融合ニューラル演算子 [cs.LG, cs.NA, math.NA]目的:偏微分方程式の解を効率的に予測するための線形・非線形融合ニューラル演算子の開発
- 偏微分方程式は,自然科学や工学の様々な分野で基本的な役割を担う重要な数理モデルである。
- 従来の数値解法では,パラメータ変更ごとに方程式を解く必要があり,計算コストが高いという課題がある。
- ニューラル演算子を用いて,パラメータ空間から解空間への直接的な写像を学習することで,効率的な予測を目指す。
- 提案手法LNF-NOは,線形成分と非線形成分を乗算的に融合することで,軽量かつ解釈可能な表現を実現した。
- LNF-NOは,DeepONetやFNOと比較して,学習時間が大幅に短縮され,多くの場合,同等以上の精度を達成した。
- 3次元Poisson-Boltzmann方程式のケースでは,LNF-NOは比較対象モデルの中で最高の精度を達成し,3D FNOの約2.7倍高速に学習できた。
有限精度確率的丸め誤差の確率的解析:ホーナー法とペアワイズ加算 [math.NA, cs.NA]目的:有限精度確率的丸め誤差における誤差解析
- 大規模数値計算における誤差軽減は重要であり,特に停滞現象の回避に不可欠である。
- 従来の確率的丸め誤差定義は無限精度を要求し,実装コストが高くなるという課題があった。
- 有限精度確率的丸め誤差の精度とハードウェアコストのトレードオフを評価する。
- ホーナー法とペアワイズ加算において,有限精度確率的丸め誤差を用いた理論的考察と実験的検証を行った。
- 本研究により,有限精度確率的丸め誤差の有効性と特性が明らかにされた。
- 得られた知見は,深層学習や気候モデリングなどの応用分野に貢献しうる。
不連続ガレルキン法の体積項適応性 [math.NA, cs.NA, math-ph, math.MP]目的:時間依存偏微分方程式を解く高次の不連続ガレルキン法における体積項適応性
- 数値シミュレーションにおいて,精度と計算効率の向上は重要な課題である。
- 不連続ガレルキン法では,体積項の離散化が数値安定性や精度に影響を及ぼす。
- 体積項の離散化を状況に応じて切り替えることで,ロバスト性,効率性,精度を向上させる。
- 提案手法(v-adaptivity)は,各ルンゲ・クッタ段階で体積項の離散化を適応的に変更する。
- エントロピーが増加する場合,エントロピー保存型フラックス微分体積積分ではなく,弱形式体積項離散化を使用する。
- 効率化を重視する場合は,エントロピーの増加が一定の閾値内であれば弱形式体積積分を使用し,数値安定性を確保する。
確率的ダイナミクスの弱積分のための,エキゾチックおよび装飾されたブッチャー級数を用いた最適確率的ルンゲ・クッタ法の導出 [math.NA, cs.NA, math.CO, math.PR, math.RA]目的:確率的ダイナミクスの弱積分における最適数値積分法の開発
- 確率的微分方程式は,物理,化学,生物学など,多様な分野で現象をモデル化する上で重要である。
- 高次の弱オーダー積分法の設計は計算量が多く,多数の条件を満たす必要があるという課題がある。
- ランダムなルンゲ・クッタ係数を用いることで,必要な条件の数を減らし,効率的な積分法を開発する。
- 本研究で導出された確率的ルンゲ・クッタ法は,少ない関数評価回数で二次の弱オーダーを達成する。
- これらの手法の効率性は数値実験によって検証された。
- ホップ代数を用いた代数的なアプローチにより,導出と階数条件の研究が容易になった。
保存則に対する多次元3次時間陰解法 [math.NA, cs.NA]目的:保存則に対する高精度な時間陰解法の開発
- 流体計算等の分野において,時間発展計算の安定性・精度向上が重要課題である。
- 陽解法では,安定性の制約から時間刻みを小さくする必要があるという問題点がある。
- 陰解法における高精度化を,空間・時間での制限手順の非線形性を克服することで実現する。
- 本研究では,多次元への拡張された時間陰解法を提案し,その有効性を検証した。
- 空間再構成には3次のCentral WENO-Z法,時間積分には3次のDiagonally Implicit Runge-Kutta法を採用した。
- 時間制限手順として,MOOD技術に着想を得た数値エントロピー生成に基づく手法を導入し,偽振動の抑制に貢献した。
三温度放射拡散方程式のための高次有限体積GENOスキームと陰解法時間積分 [math.NA, cs.NA]目的:三温度放射拡散方程式に対する高次有限体積スキームの開発
- 熱伝達現象の正確な数値シミュレーションは,工学設計や安全評価において不可欠である。
- 既存の数値解法では,急峻な温度勾配や不連続性に対して振動が発生しやすく,精度の低下を招く。
- 大規模な時間ステップ幅で安定かつ高精度な解を得るための数値解法の確立が求められている。
- 本研究では,エネルギー保存則を満たす高次有限体積スキームを提案し,大きな時間ステップ幅での積分が可能であることを示した。
- 中心型GENO再構成法は,不連続な解に対して振動を抑制し,熱拡散の等方性を保つことが確認された。
- 陰解法に基づく二重時間ステップ法を導入することで,硬い拡散項やソース項による時間ステップ制限を克服した。
摂動を受けた対角暗黙型Runge-Kutta法の安定化補正 [math.NA, cs.NA]目的:摂動誤差の影響を考慮した,安定かつ高精度な混合精度DIRK法の設計
- 数値計算において,計算コストを削減しつつ精度を維持することが重要である。
- 暗黙解法の計算コストが高いことが,数値シミュレーションのボトルネックとなる場合がある。
- 低精度計算による誤差を抑制し,混合精度計算の安定性と精度を向上させる。
- 混合精度計算において,低精度計算による誤差を時間ステップごとの積によって減衰させる手法が有効であることが示された。
- 既存の明示的補正法は,時間ステップが大きい場合に不安定になる可能性がある。
- 本研究では,混合精度アプローチの安定性を詳細に分析し,それに基づいた安定化補正法を新たに設計した。
デング熱対策のための蚊の不妊虫放飼法における時空間的リッカー型モデルの解析と数値シミュレーション [math.NA, cs.NA, math.AP]目的:蚊の不妊虫放飼法によるデング熱媒介蚊の制御に関する時空間的モデルの解析
- デング熱などの媒介性疾患は,世界的な公衆衛生上の問題であり,効果的な対策が求められている。
- 従来の殺虫剤の使用は環境負荷が高く,薬剤耐性蚊の出現も懸念されている。
- 不妊虫放飼法を最適化し,より効率的な蚊の制御戦略を確立することが目的である。
- モデル解析により,蚊の個体数を減少させるための不妊虫の放飼規模に,重要な閾値が存在することが示された。
- 数値シミュレーションの結果は,不妊虫の空間分布や放飼戦略が蚊の駆除に大きな影響を与えることを示唆している。
- 本研究は,不妊虫放飼法を最適化するための空間的・時間的な戦略の指針を提供する。
非線形偏微分方程式に対する変分量子アルゴリズムにおける領域分解による荒廃高原の緩和 [math.NA, cs.NA]目的:非線形偏微分方程式の変分量子アルゴリズムにおける荒廃高原の緩和策
- 量子計算は,従来の計算機では困難な問題を解決する可能性を秘めている。
- 変分量子アルゴリズムは,パラメータ数の増加に伴い,最適化が困難になる荒廃高原の問題に直面する。
- 領域分解により,コスト関数を局所化し,荒廃高原を回避することで,最適化の安定性を向上させる。
- 領域分解フレームワークは,コスト関数を局所化することで荒廃高原を緩和することに成功した。
- 時間非依存グロス・ピタエフスキイ方程式の数値結果は,領域分解によるアプローチが,グローバル変分量子アルゴリズムと比較して,解の精度と最適化の安定性を向上させることを示した。
- サブドメイン反復と最適化反復を交互に行うことが,より良い結果につながった。
二重非線形シュワルツ法 - 非線形弾性および非圧縮性流れ問題への応用を持つ並列実装 [math.NA, cs.NA]目的:非線形偏微分方程式の離散化解法に対する,ニュートン法に代わる手法である非線形シュワルツ法の並列実装
- 大規模シミュレーションにおいて,計算時間の短縮と精度の向上が常に求められている。
- 従来のニュートン法では,大規模問題に対する計算コストが課題となる場合がある。
- 並列計算を活用し,大規模非線形問題を効率的に解くための新たな手法を確立すること。
- 本研究で開発された二重非線形シュワルツ法は,最大9000のサブドメインにおいて優れた並列スケーラビリティを示した。
- 特に,高レイノルズ数を持つナビエ-ストークス問題や,非線形弾性問題において,従来のニュートン-クライロフ-シュワルツ法よりもロバストであることが示された。
- この並列実装は,大規模非線形領域分解法の今後の研究の基盤となり,実用的なシミュレーションの可能性を広げる。
拡散モデルにおける多水準オイラー・マルヤマ法による多項式的加速 [cs.HC, cs.LG, cs.NA, math.NA, stat.ML]目的:拡散モデルにおけるサンプリングの高速化
- 近年の生成モデルにおいて,拡散モデルは高品質な画像を生成できるため,注目を集めている。
- 拡散モデルのサンプリングは計算コストが高く,実用上のボトルネックとなっている。
- 多水準オイラー・マルヤマ法を用いて,計算コストを削減し,サンプリングを高速化する。
- 多水準オイラー・マルヤマ法は,従来のオイラー・マルヤマ法よりも計算効率が高いことが示された。
- CelebAデータセットの実験では,最長で4倍の画像生成速度の向上を達成した。
- より大規模なネットワークにおいて,さらなる高速化が期待される。
関数とその分数階微分との関係を結ぶ明示的な公式について [math.AP, cs.NA, math.NA]目的:関数とその分数階微分の関係性に関する明示的な公式
- 偏微分方程式の分野において,時間に関する分数階微分は,拡散現象や粘弾性材料のモデル化に不可欠である。
- 分数階微分の次数を特定することは困難であり,逆問題を通して推定する必要がある。
- 本研究は,分数階微分作用素の次数と作用する関数との間の関係を明らかにし,逆問題への応用を目指す。
- 関数$v$に対する分数階微分作用素$\mathbf{D_t}$における主要な分数階微分次数$\nu_0$を決定する明示的な公式が得られた。
- この公式は,メモリ項を持つセミリニア劣拡散のメモリ次数再構成に応用可能であることが示された。
- 離散的ノイズ観測が存在する場合の逆問題における$\nu_0$の数値計算への応用が検討され,計算アルゴリズムが提案された。
分散源反転による効果的な超音波トランスデューサモデルの再構成 [physics.med-ph, cs.NA, math.NA]目的:効果的な超音波トランスデューサモデル
- 超音波探傷検査における高精度なシミュレーションやイメージングには,正確な超音波伝搬モデルが不可欠である。
- 大きな開口を持つトランスデューサの場合,非一様な励起や空間干渉が放射パターンに大きな影響を与える。
- 実験的に計測された波動場を再現するトランスデューサモデルの再構成を通して,この問題を解決する。
- 提案手法では,トランスデューサ構造の詳細な知識を必要とせずに,開口に依存する位相と振幅の変化を捉えたモデルを再構成できる。
- アルミニウム半円筒に対する指向性測定の結果,再構成されたソースモデルを用いたシミュレーションが実験結果と良好に一致した。
- 逆時間回折や全波形反転の合成研究により,シミュレーションベースのイメージングの成功には正確なトランスデューサモデルが不可欠であることが示された。
マイクロチャネルにおける電気浸透流に対するFEMの無条件安定性と誤差評価 [cs.SI, math.PR, math.NA, cs.NA]目的:マイクロチャネルにおける電気浸透流に対する有限要素法に関する研究
- 微小流体デバイスの重要性が増す中,電気浸透流の正確なシミュレーションが不可欠である。
- 既存の数値解法では,安定性や収束性に関する十分な理論的保証がない場合がある。
- 本研究は,電気浸透流シミュレーションにおける安定性と誤差評価の理論的枠組みを提供する。
- 提案された数値スキームは,時間離散化においてバックワードオイラー法を採用し,無条件安定性を有することが示された。
- 理論解析により,本スキームが最適な収束率を示すことが確認された。
- T字型および粗面マイクロチャネルにおける数値実験は,提案手法の有効性を示している。
ボルトン電子と空間電荷効果を持つハイブリッドプラズマモデルに対するシンプレクティック粒子法 [cs.MA, math.NA, cs.NA, physics.plasm-ph]目的:静電ハイブリッドプラズマモデルの数値解法
- プラズマ物理は,核融合研究や宇宙物理など,幅広い分野で重要である。
- 従来の数値解法では,数値的不安定性やエネルギー保存の問題が生じやすい。
- シンプレクティック構造を保存し,より安定かつ正確な数値解法を開発すること。
- 本研究では,作用積分またはポアソン括弧を離散化することで,有限次元ハミルトニアン系を導出した。
- 適切な境界条件の下で,大域的電気的中性条件が保存されることが示された。
- 有限グリッド不安定性,ランダウ減衰,非線形イオン波の数値実験を通して,提案手法の挙動を検証した。
スペクトル・バロン空間における補間と逆問題 [math.NA, cs.NA, math.FA]目的:スペクトル・バロン空間間の補間とスケーリングの関係性,および逆問題との関連性
- 関数クラスに対する近似能力評価において,スペクトル・バロン空間は重要な役割を果たす。
- スペクトル・バロン空間と逆問題との間の明確な関係性が未確立であった。
- スペクトル・バロン空間と逆問題の関係を明らかにし,近似能力を検証すること。
- スペクトル・バロン空間と正値線形作用素との間に接続が存在することが示された。
- スペクトル・バロン空間を正則化項として用いたティホノフ正則化における誤差限界が検証された。
- スペクトル・バロン空間における万能近似の概念が再検討された。
COALA:文脈を考慮した低ランク近似のための,数値的に安定で効率的なフレームワーク [cs.LG, cs.CL, cs.NA, math.NA]目的:大規模ニューラルネットワークの圧縮とファインチューニングにおける,文脈を考慮した低ランク近似手法
- 近年の深層学習モデルの規模拡大に伴い,計算効率とメモリ使用量の削減が重要課題となっている。
- 既存の低ランク近似手法は,グラム行列の計算と逆行列の算出に依存しており,数値的不安定性を引き起こしやすい。
- 本研究は,数値的不安定性を回避し,より安定した低ランク近似を可能とするフレームワークを提案する。
- 提案手法は,グラム行列の計算や逆行列の算出を必要とせず,数値的に安定な分解のみに基づいている。
- GPUメモリ容量の制限や,入力活性行列の特異性,データ不足といった課題に対しても,安定した近似を保証する。
- 理論的な収束性証明と誤差限界の導出により,提案手法の有効性を裏付けている。
点群からの暗黙的再構成:適応レベルセットに基づく半ラグランジュ法 [cs.HC, math.NA, cs.NA]目的:点群からの表面再構成
- 物理シミュレーション等の数値解析において,形状の正確な表現は重要である。
- 点群データからの高精度な表面再構成は,ノイズやデータの不均一性により困難である。
- 点群データから高品質な暗黙的形状表現を生成し,数値解析への応用を目指す。
- 本研究では,勾配適応カルテシアングリッド上のレベルセットに基づく半ラグランジュ法を提案する。
- 表面積を最小化する曲率制約を導入し,点群からの距離による重み付けを行うことで,高品質な再構成を実現した。
- 2次元および3次元の数値実験により,提案手法の有効性を検証した。
多項式ヒストポレーションの条件 [math.NA, cs.NA]目的:多項式ヒストポレーションに関連する行列のユニソルブンスと条件数
- 関数の近似は,様々な科学技術分野において不可欠であり,数値計算の基盤である。
- 多項式ヒストポレーションの条件数は,近似の安定性と精度に直接影響する重要な課題である。
- 本研究は,多項式ヒストポレーションにおける条件数の漸近的な振る舞いを解析し,改善策を探る。
- 単調基底を用いた場合,条件数は指数関数的に悪化することが示された。
- 適切な支持の選択により,第二種チェビシェフ多項式を用いることで条件数を有界に保つことができる。
- フロベニウスノルムにおける条件数は,線形的な振る舞いを示すことが確認された。
パラメトリック偏微分方程式系に対するノードハイブリッドニューラルソルバー [math.NA, cs.NA]目的:パラメトリック偏微分方程式系の数値解法
- 科学技術計算において,偏微分方程式の数値解法は不可欠である。複雑な現象のシミュレーションに必須。
- 異方性や複雑な形状の場合,古典的な反復ソルバーは効率が低下し,問題ごとに調整が必要となる。
- 非構造化メッシュや強結合された偏微分方程式系にも適用可能なニューラルソルバーの開発。
- グラフニューラルネットワークとブロック平滑化演算子により,非構造化メッシュ上のシステムに対応するG-FNSを提案。
- 座標変換ネットワークを導入したAG-FNSは,複雑な多重スケール誤差モードを捉えることが示された。
- 提案手法は,異方性拡散や線形弾性問題において高いロバスト性と効率性を実証し,ソルバーまたは前処理器として利用可能。
量子・古典物理学に基づくニューラルネットワークを用いた貯留層浸透方程式の解法 [cs.LG, cs.NA, math.NA, physics.comp-ph]目的:貯留層浸透方程式の解法
- 石油・ガス開発において,貯留層の流体挙動予測は生産量評価や最適化に不可欠である。
- 従来の数値シミュレーションは計算コストが高く,特に複雑な貯留層モデルでは課題となる。
- 量子計算と機械学習を融合し,高精度かつ効率的な解法を開発する。
- 離散変数回路量子・古典物理学情報ニューラルネットワーク(QCPINN)が,古典的PINNよりも高い予測精度を示すことが確認された。
- 特にAlternateトポロジーは,不均質単相流,Buckley-Leverett方程式,不均質二相流において優れた性能を発揮した。
- 本研究は,量子計算を貯留層工学に応用する可能性を示し,石油・ガス産業における実用化への道を開く。
非保存型双曲系に対する,安価で高次のエントロピー保存/安定かつ整合性のある数値解法の研究 [math.NA, cs.NA]目的:非保存型双曲系に対するエントロピー保存・安定な数値解法の構築
- 双曲型保存則の解法は,流体力学をはじめとする様々な分野で重要である。
- 従来の解法では,高次の精度と計算コストの削減が課題となっていた。
- 安価で高次のエントロピー保存・安定な解法を開発し,計算効率を向上させる。
- 提案手法では,エントロピー保存的な数値フラックスのアルゴリズム的な構成が可能となった。
- 有限体積法およびSBP法において,エントロピー保存的な三点法を完全に特徴付けた。
- 理想気体の圧縮性オイラー方程式や分散型浅水モデルへの適用例を示し,そのロバスト性と精度を検証した。
- 1
