arXiv雑要約
数値解析 - 2026/04/29 公開
冠動脈疾患におけるデジタルツイン:数学的ロードマップ [math.NA, cs.NA]目的:冠動脈疾患の予防と治療を支援するデジタルツインの構築
- 個別化医療の推進が重要視されており,患者データとモデルの活用が不可欠である。
- 患者特有の情報に基づいた的確な診断と治療計画の決定が困難である。
- 壁面せん断応力を推定し,心筋梗塞の予防に貢献するデジタルツインの実現を目指す。
- データ同化と確率的グラフィカルモデルを用いた双方向通信フレームワークを提案した。
- 壁面せん断応力の個人化と合成に関するステップを提示し,デジタルツイン構築の数学的ロードマップを構築した。
- 本研究は,世界的に致死的な疾患である心筋梗塞の予防に役立つ可能性を示唆している。
占有拡散の円筒投影 [math.NA, cs.NA, math.PR, q-fin.PR]目的:占有拡散の近似手法
- 経路依存型動態を扱う上で,占有拡散は重要な枠組みを提供する。
- 占有拡散の無限次元性により,シミュレーションは計算コストが高い。
- 有限次元システムによる近似を通じて,計算可能性を向上させる。
- 円筒投影を用いることで,占有拡散の近似が可能となり,元のプロセスへの収束性が示された。
- 自己相互作用拡散の数値シミュレーションと金融モデルへの応用によって,手法の有効性が検証された。
- 弱誤差解析を行い,モンテカルロ法やデリバティブ価格決定への影響を考察した。
非局所結合系:解析と離散化 [cs.DC, math.NA, cs.NA]目的:非局所結合系の解析と離散化
- 偏微分方程式は,物理現象のモデリングにおいて不可欠であり,応用範囲が広い。
- 従来の局所的なアプローチでは,遠隔相互作用を正確に捉えることが困難な場合がある。
- 分数階ラプラシアンを用いた非局所結合系の数学的性質を明らかにし,数値解法を開発すること。
- エネルギー汎関数の最小化解の存在と一意性,および分数ソボレフ空間における正則性推定が示された。
- 有限要素離散化に対する事前誤差評価が確立され,数値計算における誤差を評価できる。
- 連続および離散問題に対する交互Schwarz型法の幾何学的収束性が証明され,効率的な解法が提供された。
放物型方程式に対するエンリッチド・ガルキン有限要素法の事後誤差評価 [math.NA, cs.NA, math-ph, math.MP]目的:エンリッチド・ガルキン有限要素法における事後誤差評価の枠組み
- 放物型方程式の数値解法は,熱伝導や拡散現象など,自然科学・工学の様々な分野で不可欠である。
- 既存の解法では,精度と計算コストの両立が課題であり,特に時間発展問題では誤差評価が困難である。
- エンリッチド・ガルキン法の数学的基礎を確立し,時間依存問題への適用可能性を高める。
- 残差に基づく手法を用いて,事後誤差評価の信頼性と効率性が数学的に証明された。
- 提案された誤差評価器を適応メッシュ改良戦略に組み込み,誤差制御の有効性が数値例を通して示された。
- 本研究は,時間依存問題に対するエンリッチド・ガルキン法の数学的基盤と実用性を大きく向上させる。
確率的楕円型不等式の一種に関する数値解析 [math.NA, cs.NA]目的:確率的障害問題の数値解法
- 不確実性を含む問題の数値シミュレーションは,工学や金融など幅広い分野で重要である。
- 確率的偏微分方程式の解は滑らかでない場合が多く,高精度な数値解法が困難である。
- 確率的障害問題の数値解法において,解の粗さを考慮した適切な近似手法を開発すること。
- 確率的Galerkin法を用いることで,確率的障害問題の数値解が可能となった。
- 線形有限要素を用いることで,解の低い正則性に対応できることが示された。
- 数値実験の結果,期待値誤差と二乗モーメント誤差は,$H^1$-ノルムにおいて$O(h)$のレートで収束することが確認された。
高次元後方確率微分方程式と放物型偏微分方程式のためのエンコードされた前方後方確率ニューラルネットワーク [math.NA, cs.NA]目的:高次元偏微分方程式の解法
- 金融工学や物理学など,様々な分野で偏微分方程式の数値解法が重要である。
- 高次元問題に対する従来の数値解法は計算コストが高く,次元の呪いと呼ばれる問題がある。
- エンコードと畳み込みを用いてBSDEの近似精度と効率を向上させること。
- エンコードされたFBSNNアルゴリズムは,従来のFBSNNアルゴリズムを単純かつ効果的に拡張する。
- 入力座標をテンソルとしてエンコードすることで,畳み込みニューラルネットワークによる効率的な処理が可能となる。
- Black-Scholes-BarenblattおよびHamilton-Jacobi-Bellmanのベンチマークケースを用いてアルゴリズムの有効性が検証された。
因果推論とモデル発見のための連続時間アンサンブルカルマン・バシー平滑化器 [math.NA, cs.NA, cs.SY, eess.SY, physics.ao-ph, stat.ME, stat.ML]目的:複雑系の状態推定精度向上
- 気象や経済など,複雑系の予測において,観測データとモデルを統合するデータ同化は重要である。
- フィルタリングは遅延やバイアスを生じやすく,過去と現在の観測のみでは十分な精度が得られない場合がある。
- 将来の観測情報を取り込み,より正確な状態推定と因果関係の特定を目指す。
- 連続時間データ同化のためのアンサンブルカルマン・バシー平滑化器(EnKBS)を提案し,非線形動的システムへの適用を示した。
- EnKBSは,接線線形モデルや随伴モデルの明示的な計算を必要とせず,高次元システムにおいても有効に機能する。
- EnKBSを用いて,双方向トリガー・フィードバックモデルにおける因果関係の推定や,大気循環を模倣した非線形モデルの構造同定を実現した。
軸対称形状における過渡熱電磁気問題の数値近似 [math.NA, cs.NA]目的:過渡熱電磁気問題の数値解法
- 誘導加熱などの産業応用において,熱と電磁場の連成解析が不可欠である。
- 時間変化する熱現象と非線形な電磁場現象の連成解析は困難を伴う。
- 時間依存性を持つ熱電磁気問題を効率的に解析する手法を開発する。
- 有限要素法と陰解法を組み合わせることで,数値解を精度良く計算できることを示した。
- 事前誤差評価と数値実験により,提案手法の精度を検証した。
- 産業的に重要な構成において,提案手法の有効性を数値シミュレーションによって示した。
演算子値微分リカチ方程式の完全離散化の収束解析 [cs.CL, math.NA, cs.NA]目的:演算子値微分リカチ方程式の完全離散化の収束性
- 最適制御などの応用において,数値シミュレーションの精度は非常に重要である。
- 演算子値微分リカチ方程式の離散化解法の収束性解析は未だ十分ではない。
- 実用的な応用を考慮した完全離散化の収束性を明らかにすること。
- 時間方向に関して1次の精度,空間方向に関して2次の精度で収束することが示された。
- この結果は,比較的弱い仮定のもとで成立する。
- 最適制御への応用例を通して,数値実験により検証された。
変数変換に基づくスペクトル近似によるフラクショナル微積分 [math.NA, cs.NA]目的:フラクショナル積分演算子のスペクトル近似の構成
- フラクショナル微積分は,非局所的な現象や記憶効果を記述する上で重要である
- 従来のスペクトル法は,複雑なフラクショナル微積分問題に対応できない場合がある
- 既存のスペクトル法では扱いきれない問題を解決可能な,安定かつ高速なスペクトル法を開発する
- 変数変換とチェビシェフ多項式を用いることで,フラクショナル積分演算子のスペクトル近似を構成する新しい枠組みを提示する
- 代数的変換を用いると,ヤコビフラクショナル多項式に基づくスペクトル近似が得られる
- 指数変換を用いると,より広範なフラクショナル微積分問題に適用可能な汎用的なスペクトル近似が得られる
非線形発展方程式に対する離散時間ランダム特徴法:陰解陽解ルンゲ・クッタ時間ステップ法 [math.NA, cs.NA]目的:非線形時間依存偏微分方程式の離散時間ランダム特徴法
- 非線形偏微分方程式は,物理現象や工学分野で広く現れるため,その数値解法の開発が重要である。
- 従来の解法では,計算コストが高く,高精度な数値解を得ることが困難な場合がある。
- ランダム特徴法と陰解陽解ルンゲ・クッタ法を組み合わせ,高精度かつ効率的な数値解法を提供することを目指す。
- 提案手法は,アレン・カーン,バーガース,コルテヴェーグ・ド・フリース,カーン・ヒリアード方程式に対して,$10^{-6}$程度の相対$L^2$誤差を達成した。
- 得られた収束率は,3次精度の陰解陽解ルンゲ・クッタスキームと一致している。
- IMEX-PINNと比較して,提案手法は大幅に低い計算コストで高い精度を実現することが示された。
固体状態における濡れポテンシャルを持つ薄膜のシャープインターフェースモデル [math.NA, cs.NA]目的:固体状態デウェット現象のモデリング
- 薄膜技術は,マイクロエレクトロニクスなど幅広い分野で不可欠であり,その信頼性確保が重要である。
- 薄膜のデウェット現象は,デバイス性能低下の原因となりうるが,その予測・制御は困難である。
- 濡れポテンシャルを考慮したシャープインターフェースモデルによるデウェット現象の精密なシミュレーションを実現する。
- 提案モデルは,濡れポテンシャルを表面エネルギーに組み込むことで,薄膜デウェット現象における界面の形態変化を捉える。
- 数値シミュレーションにより,様々なデウェット現象を再現し,モデルの有効性を検証した。
- 濡れポテンシャルの範囲がゼロに近づくと,従来モデルへの収束が確認された。
多周波数後方散乱測定からの不均一性に対する定量的直接サンプリング法 [cs.CL, math.NA, cs.NA]目的:多周波数後方散乱データからの不均一性の定量的再構成
- 逆散乱問題は長年の未解決問題であり,様々な分野で重要視されている。
- 従来の再構成法では,不均一性の定量的な評価が困難であった。
- 本研究は,不均一性の定量的な再構成を可能にする新しい手法を提案する。
- 局所的な一意性に関する理論的な結果が得られた。
- 提案手法は,数値実験において高いロバスト性,精度,計算効率を示すことが確認された。
- これにより,不均一性分布の定量的評価がより容易になる。
C-PINN:非発散形線形および非線形方程式を解くためのコルデスの条件に基づくニューラルネットワークフレームワークとその応用 [math.NA, cs.NA]目的:非発散形の線形および非線形偏微分方程式を解くための新しい物理情報ニューラルネットワークフレームワーク
- 偏微分方程式は,物理現象のモデリングにおいて不可欠であり,科学技術の発展に寄与している。
- 高次元問題や非線形性の強い問題において,従来の数値解法では計算コストや安定性の問題が生じている。
- 学習に基づくアプローチを用いることで,これらの問題を克服し,より効率的かつ高精度な解法を確立することを目指す。
- 提案手法は,最適化問題の条件化を改善し,学習の安定性と解の精度を向上させる。
- ハミルトン-ヤコビ-ベルマン方程式やモンジュ-アンペール方程式など,より広範な問題にも適用可能である。
- 数値実験により,提案手法の有効性とロバスト性,高次元問題への対応能力が実証された。
圧縮性二相流に対する境界を保存する振動抑制離散Galerkinスキーム [cs.RO, math.NA, cs.NA, physics.flu-dyn]目的:圧縮性二相流シミュレーションのための,境界を保存し振動を抑制する高精度な離散Galerkinスキーム
- 二相流解析は,石油掘削や化学工学など広範な分野で不可欠であり,高精度な数値シミュレーションが求められる。
- 体積フラクション方程式の硬い$\kappa$源項により,計算時間の制約が大きく,効率的な解法が課題である。
- 硬い$\kappa$源項による安定性の制約を回避し,高精度でロバストな二相流シミュレーションを可能にすること。
- 提案されたBP-OEDGスキームは,Abgrall条件を厳密に満たすことが数学的に証明された。
- 演算子の分割戦略と暗示的処理により,硬さによる安定性の制約を効果的に解消し,計算効率を向上させた。
- 水-空気衝撃・気泡相互作用などの難しい問題に対する数値実験により,本スキームの優れたロバスト性と効率性が確認された。
一般化ランジュバン方程式に対する分割AVF法:確率密度関数と幾何学的エルゴード性 [math.NA, cs.NA, math.PR]目的:一般化ランジュバン方程式の数値解法
- 非平衡系のダイナミクスを記述する上で基礎的なモデルであり,物理,化学,生物学等,広範な分野で重要である。
- 数値計算において,超二乗成長するポテンシャルや退化したノイズが課題となり,高精度な解を得ることが困難である。
- 指数積分可能性,マリアバン微分可能性,およびエルゴード性を同時に保存する数値解法を提案し,その精度と安定性を検証する。
- 提案する分割AVF法は,指数積分可能性,マリアバン微分可能性,エルゴード性を保存し,数値解の確率密度関数が厳密解に収束することを示す。
- リヤプノフ条件とマイナー化条件を検証することで,数値解の幾何学的エルゴード性を確立する。
- 数値実験により,理論的な結果の妥当性を確認する。
周期的な多孔質媒体における非定常流れの計算均質化 [cs.HC, math.NA, cs.NA]目的:周期的な多孔質媒体における非定常流れのモデル化のための均質化手法の開発と計算実装
- 多孔質媒体における流れは,資源開発や環境保全など幅広い分野で重要である。
- 非定常流れや記憶効果を正確に捉えることが困難であり,計算コストも高くなりがちである。
- 周期性に着目し,均質化手法を用いて効率的な計算と高精度な予測を実現することを目指す。
- 均質化手法により,非定常流れを記述する積分微分ダルシーの法則におけるテンソル記憶カーネルを決定した。
- 記憶カーネルを指数関数の和で近似することで,非局所的なマクロ問題を変分問題を解くことで解くことに成功した。
- 二次元のテスト問題への適用により,開発された計算均質化技術の有効性が示された。
Smoluchowski拡散方程式に対する効率的な境界要素法 [math.NA, cs.NA]目的:Smoluchowski拡散方程式の効率的な境界要素法
- ソフトマターの力学応答予測に不可欠であり,流動特性を理解する上で重要である。
- 境界条件が複雑な場合,解析解を得ることが難しく,数値計算の効率性が課題となる。
- 周波数領域における高精度な境界要素法を構築し,計算効率を向上させる。
- 提案手法は,Fourier積分と近傍場特異点の解消を組み合わせたGalerkin行列の正確な組み立てを可能にする。
- 数値実験により,提案手法の精度と効率が実証され,流動学的量の計算への応用が示唆された。
- 外部領域における非定数・非有界係数を持つOrnstein-Uhlenbeck演算子を扱う境界値問題に有効である。
行列方程式および行列関数に対する符号埋め込み量子アルゴリズム [quant-ph, cs.NA, math.NA]目的:行列方程式および行列関数に対する符号埋め込み量子アルゴリズムの体系的枠組み
- 量子計算は,古典計算では困難な問題を解決する可能性を秘めており,様々な分野への応用が期待されている。
- 既存の量子アルゴリズムは,特定の構造を持つ行列に対して効率的な解法が限られており,適用範囲が狭い場合がある。
- 非正規かつ対角化不可能な行列を含む広範な行列に対して,効率的な量子アルゴリズムを開発し,その適用範囲を拡大すること。
- 本研究では,符号埋め込みとノードワイズリバランシングを再利用可能な設計原則として,構造化された演算子出力量子線形代数の実現可能性を示した。
- 通常の Sylvester 方程式に対して,逆条件数パラメータに線形,目標誤差許容度に対数的なクエリ複雑度を持つターゲット行列解の明示的なブロックエンコーディングを提案した。
- このアルゴリズムは, Sylvester 方程式,Lyapunov 方程式,Ricatti 方程式など,広範な行列問題に適用可能であり,その有効性を確認した。
呪われた状態から競争力へ:入力-状態安定性によるZO-FOギャップの解消 [math.OC, cs.LG, cs.NA, cs.SY, eess.SY, math.NA]目的:ゼロ次最適化アルゴリズムと一次最適化アルゴリズムの収束性に関する研究
- 最適化アルゴリズムは機械学習や深層学習など,幅広い分野で不可欠な技術である。
- ゼロ次アルゴリズムは,一次アルゴリズムに比べて反復回数に依存する傾向があり,性能面で劣るという課題があった。
- 入力-状態安定性の概念を用いて,ゼロ次アルゴリズムの収束性を一次アルゴリズムと同等レベルに改善することを目指す。
- 本研究では,特定の条件下において,ゼロ次アルゴリズムの収束レートが一次アルゴリズムと同程度であることを理論的に示した。
- ゼロ次アルゴリズムの平均的な振る舞いが,有界の摂動を伴う一次アルゴリズムの平均的な振る舞いとして表現できることが示された。
- 摂動のノルムの束縛を小さくすることで,ゼロ次アルゴリズムが一次アルゴリズムの固定点近傍に収束することが確認された。
回転球における地形性準地衡流の最小エントロピー解 [physics.flu-dyn, cs.NA, math-ph, math.MP, math.NA]目的:回転球における地形性準地衡流の最小エントロピー解の存在と非線形安定性
- 地球規模の流体現象を理解する上で,大気や海洋の運動を支配する準地衡流の解析が重要である。
- 従来の準地衡流の理論は平面近似に基づいているため,球状の地球や地形の影響を十分に考慮できていない。
- 地形やコリオリ力の影響を考慮した,より現実的な回転球上での準地衡流の最小エントロピー解を明らかにすること。
- 最小エントロピー解の存在と非線形安定性が数学的に証明された。
- 特定の回転速度,地形スケール,エネルギー値に対して,漸近的な振る舞いが解析的に記述された。
- 数値計算により,緯度依存的な流れのパターンが確認され,特に極付近での地形性捕捉と赤道付近での帯状流れが示された。
バナッハ空間におけるクリロフ可解性とスペクトル理論との関連に関するいくつかの結果 [math.FA, cs.NA, math.NA, math.SP]目的:バナッハ空間における逆線形問題のクリロフ可解性の解析
- 線形問題の数値解法において,クリロフ部分空間法は重要な役割を果たす。
- バナッハ空間では,クリロフ部分空間の閉包が必ずしも補空間を持たないという困難がある。
- クリロフ可解性とクリロフ部分空間の構造的性質の関連性を明らかにする。
- 本研究は,バナッハ空間におけるクリロフ可解性の解析における第一歩となる。
- クリロフ可解性と構造的性質の関連性を明らかにするため,resolvent演算子を用いたスペクトルツールを開発した。
- resolvent演算子の正則集合上での解析的性質を利用することで,問題への新たなアプローチを可能にした。
偏微分方程式を解くための量子スペクトルフレームワーク [math.CO, cs.FL, quant-ph, cs.NA, math.NA]目的:偏微分方程式の解法
- 科学技術の多くの分野で基本的な役割を果たすため。
- 次元数が高くなると,計算量が指数関数的に増加する。
- 量子計算を用いて,高次元問題の効率的な解法を開発する。
- 本研究では,量子ブロックエンコーディングと可逆量子算術を用いて,二階線形偏微分方程式を解くための量子サブルーチンを提案した。
- 提案手法は,行列の構造的性質を活用することで,量子特異値変換よりも効率的な解法を提供する。
- 古典的手法との比較により,提案手法の正当性が確認された。量子群フーリエ変換などへの拡張も期待される。
一般化された Yee 法:スケーラブルなシンプレクティック有限要素 Maxwell ソルバー [math.NA, cs.NA, physics.comp-ph]目的:Maxwell 方程式を効率的に解くための数値手法の開発
- 電磁波シミュレーションは,通信,エネルギー,医療など,幅広い分野で不可欠な技術である。
- 従来の有限要素法では,大規模計算や長時間のシミュレーションにおいて,計算コストや精度維持が課題となる。
- Yee 法の利点を維持しつつ,より柔軟なメッシュや高精度な計算を可能にする新しい手法を確立する。
- 一般化された Yee 法(GYM)は,Yee 法の持つ局所性とシンプレクティシティを維持する有限要素法であることが示された。
- 疎行列を用いた近似計算においても,GYM のシンプレクティック構造は不変であり,計算効率を損なわずに精度を制御できる。
- GYM を粒子法(PIC)に拡張することで,より高精度で安定した電磁波シミュレーションが可能となる。
確率的 fractional 漸化方程式の新しいクラスのスペクトル近似 [math.NA, cs.NA]目的:確率的 fractional 漸化方程式の新しいクラスの数値近似手法
- 空間統計における SPDE 法の空間時間拡張として近年注目されている分野である。
- 高次元空間における確率的偏微分方程式の数値解法は計算コストが高く困難を伴う。
- スペクトル近似と数値積分を組み合わせることで効率的な解法を確立することを目的とする。
- スペクトル基底関数展開の打ち切りと,数値積分による時間発展近似を組み合わせた。
- スペクトル近似と時間近似の両方について,強い誤差評価を導出した。
- 複数の数値実験により,提案手法の有効性が確認された。
非線形逆問題を解くためのニューラルオペレーター [math.NA, cs.NA, math.FA]目的:非線形逆問題解決のためのニューラルオペレーターの利用
- 物理法則に基づくモデル化が困難な問題に対し,データ駆動型アプローチが注目されている。
- 逆問題は,解が一意に定まらない,またはノイズに弱いという問題を抱えている。
- ニューラルオペレーターを用いた正則化により,これらの問題を緩和することを目指す。
- ニューラルオペレーターによる無限次元オペレーターの近似誤差,正則化パラメータ,ノイズのバランスに基づいた解析を行った。
- ニューラルオペレーターの近似特性を連続関数集合からソボレフ空間,ルベーグ空間へ拡張することで,逆問題への応用を可能にした。
- ニューラルオペレーターの適切なネットワーク構造(学習)に関する考察を行った。
非定常ガレルキン法による非圧縮性ナビエ・ストークス方程式に対する整合性分割法 [eess.SY, cs.SY, math.NA, cs.MS, cs.NA]目的:非圧縮性ナビエ・ストークス方程式を解くための,不連続ガレルキン離散化された整合性分割法
- 流体シミュレーションは,工学設計や気象予測など,様々な分野で不可欠である。
- 従来の分割法では,時間分割誤差により精度が制限される場合がある。
- 速度と圧力に関する制約条件を暗黙的に処理し,精度向上と計算効率化を目指す。
- 本研究で提案する手法は,速度と圧力に関する適合性条件を回避し,圧力境界層の発生を抑制する。
- 適切な数値フラックスを選択することで,整合性のある圧力境界条件が,加速項と粘性項からのみ構成されることを示した。
- 数値実験により,本手法が円周回りの二次元流れやテイラー・グリーン渦問題といった実用的な流れ問題に適用可能であることが確認された。
初期値問題に対する二重指数型Sinc-コロケーション法の非線形連立方程式解法について [math.NA, cs.NA]目的:二重指数型Sinc-コロケーション法の非線形連立方程式の解法
- 常微分方程式の初期値問題において,高精度な数値解を得るための重要な手法である。
- 変数数が多くなると,解くべき非線形連立方程式の規模が大きくなり,計算コストが増大する。
- Gauss-Seidel型反復法を用いることで,効率的に非線形連立方程式を解くこと。
- Gauss-Seidel型反復法の収束性について解析し,大域的収束のための十分条件を導出した。
- 反復法の収束係数の上限を提示し,その効率性を説明した。
- 数値例を通じて,解析結果の妥当性を検証した。
マクスウェル方程式に対するエネルギー安定な高次データ駆動型手法 [math.NA, cs.NA]目的:一次元マクスウェルシステムに対するコンパクトな有限差分微分ステンシル
- 電磁界のシミュレーションは,科学技術の幅広い分野で不可欠であり,高精度かつ効率的な手法が求められている。
- 既存の有限差分法では,エネルギー保存則を満たすことが難しく,長時間のシミュレーションで誤差が蓄積する可能性がある。
- データから微分ステンシルを学習することで,エネルギー保存性を保証しつつ,高精度なシミュレーションを実現することを目指す。
- 提案手法は,古典的な中心差分演算子から期待される形式的な精度を達成し,標準的な有限差分法と同等の解を精度良く再現する。
- 学習されたステンシルは,離散エネルギーを機械精度まで保存し,標準的な有限差分法よりも優れたエネルギー保存性を示す。
- ノイズを含むデータに対しても,エネルギー保存性を維持しつつ,広帯域初期条件に対してより小さな誤差を与えることが確認された。
対角的に陰的なルンゲ=クッタ法の滑らかな摂動 [math.NA, cs.NA]目的:対角的に陰的なルンゲ=クッタ法における計算速度向上
- 数値シミュレーションにおいて,計算コストの削減は常に重要な課題である。
- 陰的段階の計算コストが高いことが,DIRK法のボトルネックとなっている。
- 低精度な近似を用いることで,計算コストを削減しつつ精度を維持すること。
- 滑らかな摂動に対する理論的解析に基づき,計算コストを削減する新しい手法を設計した。
- 設計した手法は,滑らかな摂動に対して高精度を維持する追加の局所一貫性条件を満たす。
- 数値実験により,異なる種類の滑らかな摂動が手法の精度と安定性に与える影響を検証した。
特異および超特異ヘルムホルツ境界積分作用素の高次カーネル正則化 [math.NA, cs.NA, physics.comp-ph]目的:特異および超特異ヘルムホルツ境界積分作用素に対する高次カーネル正則化法の拡張と解析
- 境界要素法は,複雑な形状の物理問題を効率的に解くための強力な手法である。
- 境界積分作用素の特異性は,数値計算における精度の低下や不安定性の原因となる。
- 特異積分作用素に対する高次正則化手法を開発し,計算精度と効率を向上させる。
- 本研究では,ヘルムホルツおよびラプラス方程式に対する超特異作用素の高次カーネル正則化を初めて提供した。
- エラー関数と多項式補正を用いた滑らかなカーネルへの置換により,数値積分を容易にした。
- 正則化パラメータとメッシュサイズを適切に調整することで,明示的な収束率を達成し,H-matrix加速により効率的な計算を実現した。
FEMに基づく脳波ソースイメージングにおける順方向/逆方向の相互作用:高度なソースモデルと逆解法の分布的特徴 [math.NA, cs.NA]目的:脳波ソースイメージングにおける順方向モデルと逆解法の相互作用の理解
- 脳波は非侵襲的に脳活動を計測でき,臨床や研究において重要な役割を担う。
- 脳波から正確な脳活動源を推定することは,逆問題の性質上困難である。
- 順方向モデルと逆解法の選択が,推定結果に大きく影響することに着目し,その関係性を明らかにする。
- 順方向モデルと逆解法の組み合わせによって,再構成された活動の分布に特徴的な違いが見られた。
- 単一点状の活動源を想定したソースモデルは,同様の前提を持つ逆解法との相性が良いことが示された。
- 分布的定量指標を用いることで,順方向モデルと逆解法の相互作用を定量的に評価することが可能となった。
弱収束固定点反復:弱連続非拡大写像に対する考察 [math.NA, cs.NA, math.FA]目的:弱連続非拡大写像に対する固定点反復の弱収束性
- 非線形問題の数値解法において,固定点反復は基本的な手法であり,科学計算に不可欠である。
- 従来の収束定理は縮小条件を必要とし,単調性や凸性のような構造を持たない複雑な非線形方程式には適用が難しい。
- 漸近的な境界を用いることで,より広範な写像に対して固定点反復の弱収束性を保証する枠組みを構築する。
- 本研究では,従来のLipschitz条件よりも弱い,弱連続非拡大性という性質を導入し,考察を深めた。
- このアプローチにより,一様凸性の仮定を必要とせず,より広いクラスの写像に対して古典的な収束結果を拡張することが可能となった。
- 特に,一般の(反射的)Opial空間における弱収束性が示され,応用範囲が広がることが期待される。
量子線形システムソルバーのための制約付き最適多項式 [math.NA, cs.NA, quant-ph]目的:量子線形システムソルバーにおける多項式変換の最適化
- 量子計算において,線形方程式の解法は重要な課題であり,様々な応用が期待されている。
- 既存手法では,多項式の次数が高くなるほど計算コストが増大し,実用上の制約となる。
- スペクトルの情報に基づき,近似精度とブロックエンコーディングの正規化のトレードオフを最適化する。
- 制約付き最適多項式という枠組みを導入し,CUPソルバーとCAPソルバーという2つのクラスを開発した。
- 数値実験の結果,提案手法はQSVTベースやチェビシェフ反復型ソルバーよりも低い誤差を達成した。
- 特にノイズの影響が大きい状況下で有効であり,CUPは一般的なスペクトルに対して,CAPはスペクトル構造を活かして性能向上を図る。
安定した自己回帰的予測のためのハイブリッドニューラル時間積分器 [cs.LG, cs.NA, math.NA]目的:カオス的動力学系の長期的自己回帰モデリングにおける安定性の確保
- 科学的基礎モデル構築において,長期予測における安定性は重要課題である。
- 既存手法では,訓練と推論の両方で安定性を維持することが困難である。
- 本研究は,安定性を保証するトポロジー構造を導入し,その問題を解決する。
- 離散エネルギー保存則が証明され,前方問題での安定性が確保された。
- 勾配の一様有界性が証明され,勾配爆発問題が回避された。
- パラメータ数を大幅に削減し,カオスシステムの長期的予測性能を向上させた。
非線形・非定常時系列解析のための新しいフーリエ直交変換と解析信号表現 [eess.SP, cs.NA]目的:非線形・非定常時系列解析のためのフーリエ直交変換と解析信号表現の提案
- 信号処理は,通信,医療,金融など広範な分野で不可欠な技術である。
- 従来の解析手法では,非線形かつ非定常な信号の正確な解析が困難である。
- より高精度な時周波数エネルギー表現による信号解析法の開発を目指す。
- 本研究では,新しい離散フーリエコサイン直交変換(FCQT)と離散フーリエサイン直交変換(FSQT)を提案した。
- 提案された16種類のフーリエ直交解析信号(FQAS)表現は,既存のガボール解析信号(GAS)とは異なる特性を持つ。
- フーリエ分解法(FDM)の新しい定式化を行い,実世界の信号に対して有効性を示すことで,時周波数エネルギー表現の改善に貢献する。
デジタルツイン:部分観測された物理ツインに対するMcKean-Pontryagin制御 [math.OC, cs.NA, math.NA]目的:部分観測された物理ツインの最適制御手法
- デジタルツインは,物理システムのリアルタイムな監視・制御に不可欠であり,産業応用が期待される。
- 部分観測環境下での最適制御アルゴリズムは少なく,デジタルツインの実現を妨げる要因となっている。
- データ同化とMcKean-Pontryaginアプローチを組み合わせ,部分観測環境下でのオンライン制御を実現する。
- 提案手法では,アンサンブルカルマンフィルタを用いたデータ同化と,McKean-Pontryaginアプローチを組み合わせている。
- 状態と随伴変数の前方進化平均場方程式を導出し,データ同化と制御則のオンライン計算を可能にしている。
- ローレンツ63系,ローレンツ96系,逆振り子系の数値シミュレーションにより,手法の有効性を検証している。
- 1
