arXiv雑要約
数値解析 - 2026/06/11 公開
自動車用パワーエレクトロニクスの過渡熱モデル化におけるスケーラブルなアプローチ [eess.SY, cs.SY, physics.app-ph, math.NA, cs.NA, cs.SY, eess.SY]目的：自動車用パワーエレクトロニクスの過渡熱挙動の効率的なモデル化手法
- 自動車の電化が進む中，パワーエレクトロニクスの信頼性・性能向上は不可欠である。
- 従来の熱モデル化は計算負荷が高く，設計段階での迅速な評価が困難であった。
- 設計初期段階での熱評価や，長時間のミッションプロファイルシミュレーションを可能にする。
- 提案手法であるLPLSPモデルは，5%未満の誤差で幅広い使用事例を正確にモデル化できることが示された。
- この手法は，コンポーネントレベルの電力損失や周囲温度の変化が速いシステムにおいて，熱性能を迅速に評価することを可能にする。
- 自動車用パワーエレクトロニクスの開発サイクル短縮に貢献する実用的なアプローチを提供する。
大規模2次元Stokes流れにおける近接粒子に対する前処理：基本解法を用いた局所圧縮法 [math.NA, cs.NA, physics.flu-dyn]目的：大規模な剛体粒子集合の粘性流体力学シミュレーションにおける数値的課題の解決
- 流体シミュレーションは，工学や自然科学の幅広い分野で基礎となる重要な技術である。
- 粒子間隔が狭くなるほど反復解法の収束が悪化し，計算コストが増大する。
- 潤滑流による流れを正確に離散化するために必要な未知数の数を削減する。
- 提案手法は，近接する粒子対に対して，事前に計算された基底を用いて前処理を行うことで，反復解法の収束を加速する。
- 局所的な微細グリッドによる補正を圧縮することで，計算量を削減しつつ，高精度なシミュレーションを実現する。
- 面積分率0.65，10000個の円盤を含むランダムクローズパッキングにおいて，47回のGMRES反復で5桁の精度を達成した。
双ガウス・ルジャンドル多項式 [cs.ET, math.NA, cs.NA]目的：ガウス・ルジャンドル多項式に関連する2つの双対多項式の族の研究
- 計算機グラフィックス分野において，ガウス・ルジャンドル多項式の応用が近年注目されている。
- ラグランジュ基底の双対基底の構成や，CAGDにおける近似問題の解決が課題となっていた。
- ガウス・ルジャンドル多項式の表現や，双対基底の構築を可能とする手法を確立すること。
- 本研究で得られた結果に基づき，ガウス・ルジャンドル多項式の表現を導出できることが示された。
- ラグランジュ基底の双対基底の構成が可能となり，CAGDにおける近似問題への応用が期待される。
低ランクテンソル列車近似のための両面スケッチアルゴリズム [math.NA, cs.NA]目的：低ランクテンソル近似の効率的アルゴリズム
- テンソルは多次元データ表現であり，機械学習等の分野で重要性が増している。
- テンソル列車分解は計算コストが高く，大規模データへの適用が課題となっている。
- スケッチアルゴリズムを用いることで，計算コストを削減し，効率的な近似を可能とする。
- 提案アルゴリズムは，テンソル列車近似を効率的に行うために，両面スケッチと部分空間反復を用いる。
- 理論的な誤差評価とロバスト性分析により，アルゴリズムの信頼性が確認された。
- 合成データと実データを用いた実験により，提案アルゴリズムの有効性と効率性が示された。
構造を保持するニューラルサロゲートと扱いやすい不確実性定量化 [cs.LG, cs.NA, math.NA, physics.comp-ph]目的：偏微分方程式のリアルタイム解法
- 科学機械学習は，従来のシミュレータの検証・妥当性を担保する理論的基盤を欠いている。
- リアルタイム性と物理保存則の維持を両立する高精度なサロゲートモデルが求められている。
- 物理保存則に基づく構造を維持し，不確実性を定量化できるサロゲートモデルを構築する。
- 外部微積分を利用し，状態・フラックス間の不確実性をガウス過程で表現することで，不確実性定量化を実現した。
- 混合有限要素法とガウス過程回帰の界面を構築し，物理保存則を課した最適化問題として効率的な学習を可能にした。
- 提案手法は，境界値からフラックスをリアルタイムに推定でき，線形汎関数のRKHS事後誤差限界も提供する。
導関数非線形シュレディンガー方程式に対する高次の多構造保存型指数積分法 [math.NA, cs.NA]目的：導関数非線形シュレディンガー方程式の解法
- 量子力学や光学など，多様な物理現象を記述する上で重要である。
- 既存の数値解法では，長時間の計算で誤差が蓄積し，物理量の保存則が破綻しやすい。
- 質量，エネルギー，運動量を同時に保存しつつ，高精度かつ効率的な数値解法を開発すること。
- 提案法は，指数補助変数法と高次の予測修正型ローソンルンゲ・クッタ法を組み合わせることで，高次精度を実現している。
- 離散化された系において，質量，エネルギー，運動量を保存することが理論的に示された。
- 数値実験により，提案法の精度とエネルギー保存特性が検証された。
双曲弾性体における曲率誘起力場 [math.NA, cs.NA, math-ph, math.DG, math.MP]目的：双曲弾性体における静的解の数値シミュレーション
- 変形体力学は，現実世界の多くの現象を理解するために不可欠な分野である。
- 一般的なリーマン多様体では剛体力学が適用できず，変形体力学が必要となる。
- 曲率を持つ表面上での変形体の挙動を解析し，力場の発生メカニズムを解明する。
- 平坦な弾性体が，曲率のある表面に埋め込まれると，エネルギーを最小化するために復元力が生じる。
- 重力ポテンシャルを加えることで，体にかかる引力が生じ，ある条件を満たすと「浮揚」現象が観察される。
- 本研究では，この問題の数値実装の詳細と，得られた数値解について議論する。
完全に結合された非線形熱水力学的問題に対する分割戦略 [math.NA, cs.NA]目的：完全に結合された非線形熱ポロ弾性モデルの効率的な解法
- 地球物理学において，熱，流体，力学の相互作用を考慮したモデルは重要である。
- 完全に結合されたモデルは計算コストが高く，大規模シミュレーションが困難である。
- 準分離型および完全分離型反復アルゴリズムにより計算効率の向上を目指す。
- 本研究では，不連続Galerkin法を用いた離散化された熱ポロ弾性モデルに対して，効率的な解法を提案する。
- 提案するアルゴリズムは，モデル係数の強い不均一性に対しても安定性を示す。
- 数値シミュレーションにより，提案手法の収束性とロバスト性を検証した。
トモグラフィセンシングにおけるスパース性駆動型発生源特定 [math.NA, cs.NA]目的：汚染物質発生源の特定，位置特定，定量化
- 目に見えない有害化学物質の検出は，公共の安全確保に不可欠である。
- 汚染物質の発生源特定は，逆問題の性質上，非常に困難である。
- 離立した測定データから発生源を特定し，将来の汚染拡散を予測すること。
- 本研究では，汚染物質の輸送を記述する伝播拡散方程式に基づいて，発生源特定問題を定式化した。
- 問題の悪条件性と未決定性を克服するため，スパース性を促進する正則化手法と高性能な最適化アルゴリズムを適用した。
- 濃度閾値のレベルセット表現を用いることで，計算メッシュに依存せず，効率的なデータ処理を可能にした。
結合非ニュートン流体Stokes-Darcy系の多面体不連続Galerkin離散化 [cs.CL, cs.NI, math.NA, cs.NA]目的：結合非ニュートン流体Stokes-Darcy系の数値近似
- 複雑な形状の流体や多孔質媒体の挙動を解析する上で不可欠な基礎研究である。
- 非ニュートン流体と多孔質媒体の相互作用の解析には高精度な数値解法が必要とされる。
- 複雑な形状においても高精度な数値計算を可能とする離散化手法の開発。
- 提案された多面体不連続Galerkin法は，複雑な形状への適応性と高次精度を実現する。
- せん断依存性および速度依存性を持つ非ニュートン粘性モデルに対する数学的な厳密性が示された。
- 数値実験の結果は，理論的な誤差評価を裏付けている。
部分的に観測される行列ベクトル積におけるべき乗法分析 [cs.RO, cs.CL, math.NA, cs.NA]目的：べき乗法による対称行列の主固有ベクトル計算における制約
- クラウド環境における分散処理の効率化が重要視されているため。
- 遅延が発生しやすい分散環境下での計算速度の課題。
- 遅延の影響を軽減し，効率的に主固有ベクトルを算出すること。
- 提案手法は，遅延するワーカーの値をあらかじめ決定された値で代替することで，べき乗法の進行を可能にする。
- 2つのアルゴリズムは，期待される近似値が真の主固有ベクトルに収束することが示された。
- 数値実験により，提案手法の有効性と，既存手法に対する優位性が確認された。
階段状非一様格子上のKeller-Segel化学走性系に対する完全非結合，線形かつ構造保存ブロック中心有限差分法 [cs.CL, cs.CL, math.NA, cs.NA]目的：Keller-Segel化学走性系に対する，完全非結合，線形かつ構造保存ブロック中心有限差分法の提案
- 細胞の運動や集積を制御する化学走性現象は，生物学において重要な役割を果たす
- 複雑な形状の領域や，非一様な格子での数値計算は困難であった
- より正確かつ効率的な化学走性力学のシミュレーションを可能にすること
- 提案する数値スキームは，空間2次精度，時間に関して1次または2次精度を持つ
- 細胞密度と化学誘引物質濃度，全細胞質量の保存，1次スキームにおける離散的なエネルギー消散則を保持する
- 特に，1次スキームは陽に正値性，質量保存，エネルギー消散を維持し，高速なblow-up現象に対しても有効である
3次元4次特異摂動問題に対するデカップルドな低次従順混合有限要素法 [math.NA, cs.NA]目的：3次元4次楕円型特異摂動問題の数値解法
- 工学・科学における様々な現象を記述する上で，高次の微分方程式の数値解析は不可欠である。
- 特異摂動問題は，パラメータの変化に対して解の挙動が不安定になりやすく，数値解法の安定性が課題となる。
- 特異摂動問題に対し，安定で高精度な低次有限要素法を開発し，パラメータに依存しない誤差評価を示す。
- 問題はヘルムホルツ分解を利用し，2つの2次楕円問題と，カールフリー制約条件付きの特異摂動ストークス方程式系に帰着される。
- 特異摂動ストークス方程式系はMINI要素で離散化され，ラグランジュ乗数項を追加することで，摂動パラメータに対するロバスト性が得られる。
- 数値実験により理論の妥当性が確認され，$h^{1/2}$次の誤差評価が成立することが示された。
行列ベクトル積からのほぼインスタンス最適疎行列近似 [cs.DS, cs.NA, math.NA]目的：暗黙的行列の近似学習
- 大規模データ処理において，明示的に行列を保持せずに計算を行う重要性が増している。
- 既存手法は，疎行列の特性を捉えきれず，必要な行列ベクトル積の数が多くなる場合がある。
- 行列ベクトル積の数を最小化し，効率的な疎行列近似学習を実現することを目指す。
- 本研究では，疎行列近似に必要な行列ベクトル積の数を，行列の「退化度」を用いて厳密に評価した。
- 近似学習に必要な行列ベクトル積の数は，疎行列の退化度にほぼ比例することが示された。
- グラフ彩色に基づかない，多項式時間で実行可能な手法を提案した。
任意の密度比を持つN相非圧縮性流体混合物の対称性保持離散化 [math.NA, cs.NA, physics.flu-dyn]目的：N相非圧縮性流体混合物の数値計算における対称性保持離散化手法の開発
- 複雑流体の界面力学において，界面を滑らかに表現する拡散界面モデルが広く用いられている。
- 3相以上の混合物では，保存則の維持や対称性の確保が難しく，数値計算の安定性・精度が課題となっている。
- 任意の密度比を持つN相流体混合物に対し，保存則を厳密に満たす対称な離散化手法を構築することを目指す。
- 提案手法は，厳密な相体積保存則，相質量保存則，全体積保存則，全質量保存則を満たす離散化スキームを実現した。
- 初期条件で体積飽和制約が満たされる場合，その制約は時間ステップごとに厳密に保持されることが示された。
- 数値計算により，その構造保存特性と，複雑な多相流問題におけるロバスト性が確認された。
Bスプライン基底の条件数の改善 [math.NA, cs.NA]目的：Bスプライン基底の条件数の上限
- 数値計算において，基底の条件数は計算の安定性に大きく影響する。
- Bスプライン基底の条件数の評価が不十分であり，高次のスプライン計算で問題となる。
- Bスプライン基底の条件数のより厳密な上限を導き出す。
- 本研究により，Bスプライン基底の条件数の上限が$k 2^k$から$O(\sqrt{k}\log k\,2^k)$へと改善された。
- この改善は，特に高次のスプライン計算において数値的な安定性を向上させる可能性がある。
偏微分方程式制約逆問題における随伴法と物理情報ニューラルネットワークの比較 [eess.SY, cs.SY, math.OC, math.NA, cs.LG, cs.NA]目的：偏微分方程式制約逆問題に対する随伴法と物理情報ニューラルネットワークの性能比較
- 計算力学において逆問題を解くことは重要であり，様々な工学的課題に応用される。
- 随伴法と物理情報ニューラルネットワークは，比較が難しく，設定に依存した結果になる。
- 同一の設定下で両手法を比較し，それぞれの得意分野を明らかにすることを試みる。
- 未知量の表現方法が手法の選択に大きく影響する。格子ベースの場は随伴法，ニューラルネットワーク表現はPINNが有利。
- 時間依存問題では，随伴法は軌跡の保存と微分にコストがかかるが，PINNは低コストで良好な再構成が可能。
- PINNで初期化された随伴法は，計算コストを削減しつつ，随伴法と同等の精度を達成できる。
MATLAB 기반의 계층型 自己適応 物理情報ニューラルネットワーク：高レイノルズ数における多次元結合バーガース方程式への応用 [cs.CE, physics.geo-ph, math.NA, cs.NA]目的：多次元結合バーガース方程式の数値シミュレーションにおける精度向上
- 流体現象の解析は，工学や自然科学において不可欠であり，高度な数値シミュレーション技術が求められている。
- 従来のメッシュベース手法は，急峻な解の勾配や衝撃波に対して，安定性や精度が課題となる場合がある。
- 物理情報ニューラルネットワークを用いて，これらの課題を克服し，高精度なシミュレーションを実現する。
- 提案手法は，標準的な物理情報ニューラルネットワークと比較して，相対的な$L_2$誤差ノルムにおいて高い精度を達成した。
- 時間とともに解に現れる急峻な衝撃波を，より正確に捉えることができた。
- 層ごとの自己適応重み付け戦略と二相最適化戦略により，安定した収束と高精度な解が得られた。
化学機械熱力学接触問題に対する結合有限要素法とその接着・剥離への応用 [cs.CE, cs.NA, math.NA, physics.comp-ph]目的：化学機械熱力学接触問題における結合有限要素法の構築
- 複合材料や異種材料の接合・剥離は，製品の信頼性や耐久性に大きく影響する重要な課題である。
- 既存の接触モデルでは，化学反応や温度変化を考慮した接着・剥離挙動の予測が困難であった。
- 化学，機械，熱力学的な要素を結合したモデルにより，接着・剥離現象を高精度にシミュレーションすることを可能にする。
- 本研究では，変形と温度，界面の接着状態および温度を含む６つの相互に関連する場を扱う有限要素法を提案した。
- 界面での化学的・機械的なエネルギー消散を考慮し，接着と剥離の進化を捉えることができる。
- 提案手法は，圧力やギャップ依存性接着，発熱反応，熱硬化，熱膨張，同時接着・剥離など，様々な現象に対して適用可能であることが示された。
SLEおよび多重SLEダイナミクスの平均からのばらつきの数値シミュレーション [cond-mat.stat-mech, cs.NA, math.NA, math.PR]目的：SLEおよび多重SLEダイナミクスの平均からのばらつきの分布
- 統計物理学におけるスケーリング限界の研究において，フラクタル曲線が重要となる。
- SLEダイナミクスの平均からのばらつきの分布は理論的に未解明な部分が多い。
- SLEおよび多重SLEダイナミクスの分布に関する数値的予測を提供する。
- SLEの場合，初期点が原点に近いと分布は二峰性を示し，原点から離れるとベル型になることが示唆された。
- 多重SLEの場合，実験により分布が常にベル型になることが予測された。
- SLEのパラメータκ，多重SLEのパラメータβを変化させた際の分布の変化も確認された。
不均一な雑音下における固有空間摂動の幾何学的バイアス [nlin.AO, cond-mat.stat-mech, cs.SI, math.DS, q-bio.PE, math.ST, cs.LG, cs.NA, math.NA, math.PR, stat.TH]目的：信号と雑音からなる行列の固有空間摂動
- スペクトル法は固有空間の安定性に依存し，その安定性はデータ解析や機械学習の基盤である。
- 従来の摂動の評価は最悪の場合を想定しており，信号の幾何学的構造と雑音分布の相互作用を捉えられない。
- 不均一な雑音分散下で生じる固有ベクトルの幾何学的バイアスを定量的に評価し，より精密な摂動境界を導出する。
- 不均一な雑音分散下では，固有ベクトルに系統的な幾何学的バイアスが生じることが示された。
- QVEと局所法則を活用することで，主要な固有空間に対する非漸近的な摂動境界を導出した。
- 導出された境界は，信号対雑音比，確率的変動，幾何学的バイアスを分離して評価できる。
ハミルトニアンシミュレーションの線形結合と可換子スケーリング [quant-ph, cs.NA, math.NA]目的：散逸的線形力学のシミュレーション手法
- 量子多体系シミュレーションは，物性物理や量子化学など広範な分野で不可欠である。
- 既存手法では，高精度なシミュレーションに多大な計算コストが必要となる場合がある。
- 可換子スケーリングを考慮した多積公式を用いることで，計算コスト削減を目指す。
- ハミルトニアンシミュレーション段階で多積公式（MPF）を使用することにより，可換子に敏感な誤差と複雑さの限界が得られることが示された。
- 数値積分法の選択が，離散化誤差だけでなく可換子構造とクエリ複雑度に影響することが明らかになった。
- sinh-sinh数値積分法は，台形公式よりもクエリカーディナリティのスケーリングが改善されることが示された。
量子適合演算子合成のための分割要素におけるパウリ階層的アセンブリ [quant-ph, cs.NA, math.NA]目的：有限要素剛性行列のパウリ基底への効率的な分解
- 量子コンピュータ上でのシミュレーションにおいて，演算子を効率的に表現することが重要である。
- 問題規模の拡大に伴い，パウリ文字列の指数関数的な増加が，分解のボトルネックとなっている。
- 有限要素離散化特有の幾何学的構造を活かした，スケーラビリティの高いパウリ分解アルゴリズムの開発。
- PHASEは，再帰的なメッシュ分割を利用し，多重スケールにわたって要素の貢献を整理する階層的・幾何学認識型のパウリ分解アルゴリズムである。
- PHASEは，テンソル化パウリ分解と高速ウォルシュ・アダマール変換に基づく集約を組み合わせることで，効率的なグローバルパウリ係数のアセンブリを実現する。
- 標準的なメッシュ規則性とバランスのとれた分割を仮定した場合，パウリアセンブリの漸近的複雑度の指数スケーリングを $2^{2{\lceil \log_2 N \rceil}}$ から $2^{\gamma_d{\lceil \log_2 N \rceil}}$ (ただし $\gamma_d < 2$) に低減する。
細胞浸潤の非線形偏微分方程式モデルにおける初期条件と物理係数の回復 [math.AP, cs.NA, math.NA]目的：細胞浸潤と腫瘍成長のダイナミクスに着想を得た非線形密度依存反応拡散モデルにおける，空間的に変動する反応係数（局所的増殖率と競争係数）および未知の初期条件の同時再構成
- 細胞生物学や腫瘍学において，細胞の浸潤メカニズムを理解することは，疾患の進行や治療法の開発に不可欠である。
- モデルパラメータの正確な推定が困難であり，実験データからのパラメータ同定は依然として課題である。
- カルマン推定を用いた一意性および安定性解析と，時間シフト戦略による数値的再構成手法の開発を通じて，逆問題を解決する。
- カルマン推定を用いることで，反応係数の一意性およびLipschitz型の安定性が理論的に確立された。
- 初期条件については，より弱い対数的な安定性が確認された。
- 提案された逆手法は，数値実験において，実行可能性，精度，および頑健性が示された。
加速された暗黙的GDAスキーム：理論的保証と近接拡張ラグランジュ法への応用 [math.OC, cs.NA, math.NA]目的：加速された外反復スキームの開発
- 科学計算，機械学習，制御理論など広範な分野で線形等式制約を持つ凸最適化問題が頻出する。
- 古典的なクライロフ法は問題固有の前処理が必要でメモリ消費も大きい。勾配法はそれを回避できるが，外反復が遅い。
- 近接演算を導入することで，外反復を加速し，より効率的な最適化手法を確立することを目指す。
- 近接拡張ラグランジュ法（PALM）において，外反復が暗黙的勾配降下法（GDA）と等価であることが示された。
- 可変ステップサイズを用いた暗黙的GDAスキームは，$o(1/k)$ の収束率を達成する。
- ネステロフ型暗黙的GDAスキームは，$o(1/k^{r+1})$ の収束率を示し，実験により理論的結果が検証された。
分散性双曲系を用いた適応的，効率的，かつスケーラブルな津波モデリング [eess.SP, cs.SY, eess.SY, physics.flu-dyn, cs.NA, math.NA]目的：津波モデリング手法
- 津波災害の軽減のためには，高精度な津波シミュレーションが不可欠である。
- 浅水方程式では分散を無視するため，深海域での精度が課題となる。
- 分散性と砕波を両立する，効率的な津波シミュレーション手法を開発する。
- 本研究では，双曲型方程式と分散型方程式を組み合わせることで，深海域と海岸付近での両方の特性を捉えることが可能となった。
- GeoClawソフトウェアに実装し，適応メッシュ細分化と共有メモリ並列化を行うことで，計算効率を向上させた。
- ベンチマークテストと実際の津波データとの比較により，既存の分散性津波ソルバーと比較して，約2倍の高速化を実現した。
交換子を含まないケイリー法 [cs.CL, math.NA, cs.NA]目的：二次行列リー群上の微分方程式の数値解法
- 古典力学や量子力学系の解析に不可欠であり，系の物理法則を尊重する数値積分法の開発が重要である。
- 既存の数値解法では，数値誤差により物理量の保存則が破綻することが課題となっている。
- 二次行列リー群の構造を尊重しつつ，計算効率の高い高精度な数値解法を提案することで，この問題を解決する。
- 提案手法は，計算コストの高い行列指数関数の代わりに，ケイリー変換の組み合わせにより構成される。
- ケイリー変換は，二次行列リー群の構造を自然に尊重し，計算効率が良いという利点がある。
- また，ケイリー・マグナス法とは異なり，ネストされた行列交換子を含まない。
半古典シュレーディンガー方程式に対する凍結ガウスグリッド点補正 [math.NA, cs.NA]目的：半古典領域におけるシュレーディンガー方程式を解くための効率的な再構成アルゴリズム
- 半古典物理は，量子力学と古典力学の橋渡しとして，様々な物理現象の理解に不可欠である。
- ガウス波束からの波動関数の再構成は計算コストが高く，実用上の課題となっている。
- 凍結ガウス近似における再構成効率を向上させ，高速な計算を可能にすること。
- 提案する凍結ガウスグリッド点補正(FGGC)アルゴリズムは，再構成効率を大幅に改善することが示された。
- FGGCアルゴリズムは，半古典パラメータに依存しない誤差を導入し，高い精度を維持する。
- 本研究は，精度と効率が求められる半古典シュレーディンガー方程式の解法に貢献する。
局所合意に基づくサンプリングアルゴリズム [math.NA, cs.NA, math.OC]目的：非ガウス分布からのサンプリング手法
- ベイズ逆問題解決において，確率分布からのサンプリングは重要な課題である。
- 従来のサンプリング手法は，非ガウス分布に対してロバスト性に課題がある。
- 近傍の粒子との相互作用を重視することで，ロバスト性を向上させる手法を提案する。
- 提案手法は，アフィン不変であり，平均場近似下ではガウス分布に対して厳密解を与える。
- 標準的なCBSと比較して，数値実験において改善されたロバスト性を示す。
- 勾配を必要とせず，並列化が容易である点も特徴である。
磁場を持つ静電Euler-Poisson方程式の構造保存型有限要素近似 [math.NA, cs.NA]目的：磁場を持つ静電Euler-Poisson方程式の構造保存的数値離散化スキーム
- プラズマ物理学は，核融合エネルギーや宇宙環境物理など，多岐にわたる分野で重要である。
- 高周波現象と低周波現象が共存するため，数値計算が困難となる場合がある。
- 磁気ドリフト限界近傍の問題を効率的に解くことを目指す。
- 密度，内部エネルギー，エントロピー，全エネルギーの保存則を満たす数値スキームを開発した。
- スキームの能力を検証するため，ダイオクトロン不安定性を計算し，解析結果と比較した。
- 本モデルは，静電および磁気ドリフト限界，流体レジームで動作可能な電磁ソルバーへの発展に繋がる。
二次元ハイパーインターポレーションにおいて，少なくともいくつの積分を評価すべきか [math.NA, cs.NA]目的：高次元ハイパーキューブ上の連続関数近似手法
- 高次元空間での関数近似は，科学計算や機械学習において不可欠であり，効率的な手法が求められている。
- 従来のフーリエ基盤ハイパーインターポレーションは次元の呪いに苦しみ，計算量が指数関数的に増加する。
- 行列CUR分解とハイパーインターポレーションを組み合わせることで，計算量を削減し，精度を維持すること。
- 行列CUR分解の低ランク近似を効率的に構築する2つの戦略（構造化インデックス選択と適応サンプリング）を提案した。
- 提案手法は，必要な係数の数を大幅に削減しつつ，近似精度を維持することが数値実験により確認された。
- 本研究は，行列/テンソル分解と関数近似を結びつけ，高次元問題に対するスケーラブルな解を提供する。
一般メッシュ上のScott-Vogelius要素に対する局所Fortin射影 [math.NA, cs.NA]目的：Scott-Vogelius要素に対する局所Fortin射影の構成
- 数値解析において，複雑な形状を扱うための要素の精度向上が重要である。
- 特異点を含むメッシュ上での高精度な数値計算は困難である。
- Scott-Vogelius要素における局所射影の安定性と精度を向上させる。
- 本研究では，一般形状の2次元三角形メッシュ上で，Scott-Vogelius要素に対する局所Fortin射影を構成した。
- この射影は，圧力空間の双対における発散を保存し，離散境界条件を満たすことが示された。
- また，局所的な安定性評価も導出された。
保存的弾性導波路におけるモード分枝と対称性保護交叉：統一的な摂動理論的解釈と適応追跡 [math.NA, cs.NA, physics.comp-ph]目的：弾性導波路のモード追跡に関する定量的な関係性の確立
- 超音波非破壊検査や構造ヘルスモニタリングにおいて，分散解析は不可欠である。
- モード分枝や固有値の接近により，モードの誤識別が発生しやすい。
- モード分枝，対称性保護交叉が追跡の信頼性に与える影響を明確化する。
- モード分枝や固有値の接近における追跡の感度は，固有値ギャップに反比例することが示された。
- 対称性保護交叉は，スムーズな固有ベクトルの進化を維持するため追跡に好影響を与える。
- 数値的一貫性条件とステップサイズの存在条件から，適応追跡戦略が導き出され，数値検証によりその有効性が確認された。
知能血管内ナビゲーションシステムにおけるカテーテルモニタリング：ナビゲーション認識の向上に向けたインタラクティブシミュレーションと複合現実 [cs.HC, cs.NA, math.NA]目的：血管内ナビゲーション中のカテーテルと血管の相互作用を正確にモニタリングするためのフレームワーク
- 血管内治療は低侵襲である一方，血管損傷のリスクを伴うため，ナビゲーションの精度向上が重要である。
- 従来のナビゲーションシステムでは，カテーテルの形状変化や血管への影響をリアルタイムで把握することが困難である。
- 本研究は，カテーテルと血管の相互作用をリアルタイムにシミュレーションし，ナビゲーションの安全性を高めることを目指す。
- リアルタイムカテーテル形状再構成，インタラクティブシミュレーション，複合現実可視化を統合したフレームワークの有効性が示された。
- シミュレーション時間は実際の時間に対し，初期ナビゲーション時で12％，最も湾曲部で45％遅延した。
- 複合現実デバイス Hololens 2 は安定したフレームレート（35-40 fps）を維持し，シミュレーション結果と実験データの血管壁変位誤差はそれぞれ1mmと2.33mm以下であった。
特定の平面領域における関数近似のための混合補間・回帰法 [cs.ET, cond-mat.mes-hall, math.NA, cs.NA]目的：特定の平面領域における関数近似のための混合補間・回帰演算子
- 関数近似は，科学技術計算やデータ解析において不可欠な技術である。
- 平面領域における高精度な関数近似法の開発が課題となっていた。
- 楕円，環状領域，多角形といった特定の領域における近似精度向上を目指す。
- 混合補間・回帰演算子の上界が導出された。
- これらの領域で定義された重み関数の数値積分公式が研究された。
- 数値例により，提案手法の性能が示された。
QおよびD条件による低段階高次陽解Runge-Kutta法：一般理論と効率的な再帰的構成 [math.NA, cs.NA]目的：陽解Runge-Kutta法の構成
- 数値計算において，計算効率と精度の両立は重要課題であるため，効率的な数値解法の開発が求められる。
- 所望の精度を得るには段階数を増やす必要があるが，計算コストが増大するという問題がある。
- 段階数を最小限に抑えつつ高次の精度を達成する手法を開発し，計算効率を向上させる。
- 本研究では，Q/D空間を用いた陽解Runge-Kutta法の十分条件のフレームワークを導入し， Butcherの簡略化された仮定を一般化した。
- これにより，任意の偶数次に対して，段階数s(p)=(p^2-2p+8)/4を持つ陽解Runge-Kutta法を再帰的に構成できることが示された。
- 構成された方法は，古典的なGragg族と同等の主要項を持ちながら，線形項を改善し，安定性と短期精度を向上させるための自由度を提供する。
稲妻プラス多項式近似：角領域における特異関数に対する最適な根指数収束 [math.NA, cs.NA]目的：角領域における特異関数に対する，稲妻プラス多項式近似スキームの収束解析
- 角領域における特異点の解析は，工学や科学における様々な問題解決に不可欠である。
- 特異点の近傍における近似精度向上が課題であり，高精度な数値解法の開発が求められている。
- 最適な極配置戦略を用いて，稲妻プラス多項式近似の収束率を理論的に証明し，その性能を最大限に引き出す。
- 稲妻プラス多項式近似が，根指数収束を示すことが厳密に証明された。
- 最適な極クラスタリングパラメータ $\sigma_{\mathrm{opt}} =\frac{\sqrt{2(2 - \beta)}\pi}{\sqrt{\alpha}}$ が導出され，理論的な収束率 $\mathcal{O}\left(e^{-\sqrt{2(2 - \beta)N\alpha}\pi}\right)$ が確認された。
- $\beta = 0$ の場合，スタールの最適な収束率と同等であることが示された。
非自己共役不定シュトゥルム-リウヴィル問題における左半平面固有値の有界性：フーリエモーダル法への応用 [math.NA, cs.NA, physics.optics]目的：非自己共役不定シュトゥルム-リウヴィル問題の左半平面における固有値の有界性
- 光子の計算物理学において，金属層状回折格子問題は重要なベンチマークであり，フーリエモーダル法の発展に貢献してきた。
- 演算子の正定性喪失や偽のモードの出現により，この設定でのフーリエモーダル法の収束には長年の困難があった。
- 低損失金属格子における非物理的なモードを特定するための厳密な基準を提供する。
- 左半平面のすべての固有値は有界集合に含まれており，この領域に存在する固有値は有限個であることが示された。
- 本研究の結果は，低損失金属格子における非物理的モードを厳密に識別するための基準を与える。
- 数値例は，この基準の実用的な有用性を示している。
カスタマイズされた精度による浮動小数点数の自動チューニング [cs.MS, cs.NA, math.NA]目的：数値アプリケーションにおける性能，メモリ使用量，エネルギー効率の向上
- 数値計算の高速化や省電力化には，精度の最適化が不可欠である。
- 標準的な精度設定では，過剰な精度を必要とする場合がある。
- アプリケーションの精度要件を満たしつつ，効率的な精度設定を自動的に探索する。
- 多くの変数は精度を下げても精度要件を満たすことが示された。
- 標準的な倍精度が過剰な精度である場合があることが示唆された。
- 自動精度チューニングにより，アプリケーションに特化した効率的な混合精度構成を導出できる可能性が示された。
Lindblad方程式のシミュレーションのための動的に最適な解凍スキーム [math.CO, cs.DM, quant-ph, cs.NA, math.NA]目的：Lindblad方程式のシミュレーションにおける最適な解凍スキームの探求
- 量子系の開放系ダイナミクスを扱う上で，Lindblad方程式は重要な役割を果たす。
- 従来のシミュレーション手法では，メモリ消費量が大きいという課題があった。
- 確率的解凍スキームの効率性と精度を向上させ，シミュレーションエラーを低減すること。
- ブラウン運動やポアソン過程に基づく解凍スキームを包括的に解析し，パラメータ化された特性を明らかにした。
- 単一のLindblad演算子と一つのノイズ項に対し，経路依存性ノルム保存性を持つ解凍スキームを完全に記述するパラメータ族を導出した。
- 時間局所的に観測量の分散の成長率を最小化する，動的に最適な量子状態拡散(DO-QSD)と動的に最適な量子ジャンプ過程(DO-QJP)を解析的に導出した。
フォノニック結晶におけるバンドギャップ維持下での局所欠陥モードの勾配ベーストポロジー最適化 [cond-mat.mtrl-sci, cs.NA, math.NA, physics.comp-ph]目的：フォノニック結晶における局所欠陥モードの周波数配置
- フォノニック結晶は弾性波を制御し，エネルギーを局在化する可能性があり，振動制御等の応用が期待される。
- 所望の周波数に欠陥モードを設計しつつ，他のバンドギャップ内モードとの分離を維持することが課題である。
- ターゲットモードの周波数配置と，競合するモードの抑制を両立させることで，高性能なフォノニックデバイス設計を目指す。
- 提案手法は，目的とする局所共鳴を正確な周波数に配置し，競合するモードとの明確な分離を実現した。
- ホストバンドギャップの維持にも成功し，弾性波の強い局在化を示した。
- 本手法は，振動閉じ込めやエネルギー捕捉のためのフォノニックデバイス設計への応用に期待できる。
- 1