arXiv雑要約
数値解析 - 2026/06/15 公開
振動系を記述する微分方程式に対するWKB関連の時間発展スキーム [math.NA, cs.NA]目的：多スケール微分方程式の時間発展手法
- 物理現象や工学において，振動現象の正確なシミュレーションは不可欠である。
- スケールが大きく異なる多スケール系は，従来の数値解法の計算コストが高い。
- WKB近似に基づき，計算コストを抑えつつ高精度な時間発展を可能とする。
- 本スキームは，変数の変換を通して主要な振動を抑制または高次の項に移行させる。
- 数値実験により，パラメータ$\epsilon$を小さくしても計算コストが増加しないことが確認された。
- 提案手法は，van der Pol発振器を含む様々な振動系に適用可能である。
離散化された多様体上のウィトル・マターン場の近似 [math.NA, cs.LG, cs.NA, stat.ML]目的：ウィトル・マターン場の離散ガウスマルコフ確率場による近似
- 確率場は，空間統計，画像処理，機械学習など，幅広い分野で利用されている。
- 複雑な形状の多様体上での確率場の効率的な計算が課題となっていた。
- 多様体上のウィトル・マターン場を汎用的に近似する手法を開発すること。
- 本研究では，離散外微分計算を用いた新しい近似手法を提案した。
- 提案手法は，パラメータに依存せず，精度と共分散行列を普遍的に近似できる。
- 点ごとの測定や区分的に平滑化された測定を等しく良く近似し，計算効率も高い。
SIDER補間の解析的1階微分 [cs.CL, cs.CY, math.NA, cs.NA]目的：SIDER補間の任意の次数に対する解析的1階微分公式の導出
- 数値・幾何学的応用に球面上での補間が必要であり，SIDER補間はその高精度な手法として重要である。
- 従来の球間補間法では，微分情報の提供が困難であり，高次の数値アルゴリズムへの適用が制限されていた。
- SIDER補間の微分公式を導出し，球面上での高精度な数値計算への応用可能性を広げる。
- SIDER補間は，SLERP演算の連鎖によって定義されるため，その微分は連鎖律を用いて解析的に導出可能である。
- SLERPの端点が移動する場合の全微分を導出し，SIDER補間の微分に関するコンパクトな再帰式を得た。
- 導出された微分公式は，補間点および補間点間の中点において，球面に接する接線を与えることが証明された。
PINNとFEMソルバーのロビン・ノイマン結合：ステクロフ・ポアンカレ視点と流体構造連成への応用 [cs.CL, math.NA, cs.LG, cs.NA]目的：PINNとFEMソルバーの結合における理論的枠組みの確立
- 流体構造連成問題は，工学分野において重要な課題であり，高精度な数値解析が求められる。
- PINNとFEMの結合は利点がある一方，既存の手法は経験的な検証に留まり，理論的根拠が不足している。
- PINN-FEM結合における収束性を理論的に証明し，信頼性の高い数値解を得ることを目指す。
- PINNとFEMをステクロフ・ポアンカレ演算子として捉え，ロビン・ノイマン結合による収束性を証明した。
- PINNのスペクトルキャップを評価するフーリエモード界面プローブを導入し，その有効性を検証した。
- 流体構造連成問題への適用において，PINNは接触面の形状変化を自動的に処理し，高精度な接触反力を算出できることを示した。
非線形感染率を持つ汎用的なハッカー動態モデル：解析と陽性保存数値シミュレーション [cs.SI, math.NA, cs.NA, math.DS]目的：サイバーセキュリティシステムにおけるハッカー動態に関する汎用的な区画モデル
- サイバー攻撃は社会インフラに深刻な脅威を与えており，その動態の理解と対策が重要である。
- 既存のモデルでは，サイバー攻撃の多様な伝播様式を十分に捉えきれない場合がある。
- より柔軟なモデルによって，広範なサイバー伝播プロセスを記述し，対策を検討すること。
- 提案モデルは，正解と有界性，基本再生産数，ハッカーが存在しない・存在する平衡点の存在を確認した。
- 陽性保存および非標準有限差分法（NSFD）による数値シミュレーション手法を開発し，2次収束性を達成した。
- 数値実験により，理論結果が検証され，提案手法の既存手法に対する精度と性能が示された。
普遍的な$L^2$-近似のための中央値デジタルネットアルゴリズム [math.NA, cs.NA]目的：非周期関数に対する$L^2$-近似
- 高次元空間における関数の近似は，数値計算や機械学習において重要な課題である。
- 従来の近似手法は，関数の滑らかさや重み付けパラメータに依存する場合が多く，適用範囲が限定される。
- 滑らかさや重み付けパラメータを必要とせず，高次元でも有効な近似アルゴリズムを開発すること。
- 本アルゴリズムは，関数評価回数$M$に対して，$L^2$誤差が$\mathcal{O}(M^{-\alpha-\lambda+\epsilon})$で収束することを示した。
- 次元$s$に対する定数項は，関数のANOVA成分の減衰条件の下で多項式的にしか増加しない。
- 数値実験は，理論的分析を裏付け，提案されたアルゴリズムが高次元設定でも効果的であることを示している。
ホッジ・ラプラス問題の原始有限要素法 [math.NA, cs.NA]目的：ホッジ・ラプラス問題に対する有限要素空間の構築
- 数値解析において，複雑な形状や境界を持つ領域での微分形式の離散化は重要な課題である。
- 従来の有限要素法では，複雑なトポロジーを持つ領域において，離散化誤差が大きくなる問題がある。
- 本研究は，非古典的な有限要素空間を用いて，複雑なトポロジーを持つ領域でも高精度な解を得ることを目指す。
- 本研究では，原始有限要素法のための非適合有限要素空間を構築し，その離散的な調和形式が連続的なものと一致することを示した。
- 提案手法は，滑らかなデータに対して$O(h)$の誤差境界，s-正則領域に対して$O(h^s)$の誤差境界を持つことが示された。
- 数値実験の結果，本手法は穿孔ドメインにおける混合法の結果と一致し，その有効性が確認された。
スリバーの制御：退化四面体メッシュ上での信頼性の高い計算のための堅牢なTFEMフレームワーク [math.NA, cs.NA]目的：退化四面体メッシュにおける信頼性の高い計算
- 有限要素法において，メッシュ品質は計算精度に大きく影響するため，メッシュ生成技術の向上が重要である。
- ３次元四面体メッシュ生成において，スリバー要素（退化要素）が内在的な難題であり，除去はコストがかかる。
- TFEMを用いて，スリバー要素による計算のロッキングや精度低下を抑制し，よりロバストな解を得る。
- 提案手法TFEMは，ヤコビアン行列式の下限値を導入することで，退化要素の特異な影響を抑制する。
- 標準的な有限要素法ではロッキングや収束不良が生じるメッシュにおいても，TFEMは正確かつ物理的に意味のある解を回復する。
- 本手法は，非圧縮流，カーン・ヒリアード相分離力学，過渡波伝播，流体構造連成振動など，幅広い物理問題に対して有効である。
ランダウ・リフシッツ・ギルバート方程式に対する，制約の少ない高効率線形高次スキーム [cs.CY, math.NA, cs.NA]目的：ランダウ・リフシッツ・ギルバート方程式の高次解法
- 強磁性体の磁化ダイナミクスを記述する基礎方程式であり，磁気記録やスピントロニクス分野で重要である。
- 古典的な高次BDF法は安定性の制約が厳しく，小さなタイムステップと減衰パラメータの下限を必要とする。
- 減衰パラメータの制約を緩和し，より広い範囲で安定性を確保できる高次スキームを開発すること。
- 提案されたGBDFスキームは，古典的なBDF法と比較して，安定性と許容可能な減衰パラメータの範囲が大幅に改善された。
- エネルギーに基づく誤差解析のための新しい乗数を用いることで，減衰パラメータに関するより弱い仮定の下で最適な誤差推定値を得た。
- 数値実験の結果は，理論的結果を裏付け，提案手法が高い精度と安定性を持つことを示した。
高エンタルピー亀裂型地熱貯留層における塩析と多相流の数理モデル化 [math.NA, cs.NA, math-ph, math.MP, physics.comp-ph]目的：高エンタルピー亀裂型地熱貯留層における塩析と多相流のシミュレーション手法
- 地熱エネルギーは再生可能エネルギー源として重要であり，持続可能なエネルギー供給に貢献する。
- 高エンタルピー地熱貯留層のシミュレーションは，複雑な物理現象により困難である。
- 塩析による貯留層の透水性低下という問題を解決し，地熱発電の効率向上を目指す。
- 本モデルは，圧力，エンタルピー，塩分質量濃度を基本変数とし，相転移を安定的に処理する。
- 離散亀裂-マトリックス法と，塩水熱力学の効率的な線形化手法を組み合わせた。
- 1次元の塩溶解ベンチマークテストで既存シミュレーターとの高い一致性を示し，2次元の貯留層シミュレーションで塩析パターンと浸透率低下への影響を予測できた。
局所高次空間時間適応型MLSDC法 [math.NA, cs.NA]目的：空間時間適応型高次解法の開発
- 流体シミュレーション等の分野において，高精度な数値解法が求められている。
- 高次解法は計算コストが高く，効率的な計算が課題となっていた。
- 空間時間両方で適応的に精度を制御し，計算コストを削減すること。
- 本研究では，空間と時間で動的に離散化誤差を調整することで，計算コストを削減できる高次解法を提案した。
- 提案手法は，空間および時間において任意の高精度を実現し，誤差推定に基づいた適応的な解像度制御が可能である。
- 数値実験の結果， Burgers方程式やEuler方程式において，大幅な計算時間の短縮が確認された。
弱貪欲アルゴリズムの収束のための閉形式判定基準 [math.NA, cs.NA, math.FA]目的：弱貪欲アルゴリズムの収束判定基準
- 信号処理や近似理論において，効率的なアルゴリズムが求められている。
- 弱貪欲アルゴリズムの収束条件は，一般に複雑で検証が困難である。
- 本研究は，弱貪欲アルゴリズムの収束を容易に判定する方法を提示する。
- 弱貪欲アルゴリズムが収束するための必要十分条件として，閉形式の基準が導出された。
- 導出された基準は，無限級数の和の性質に基づいている。
- この結果は，弱貪欲アルゴリズムの適用範囲を明確化し，アルゴリズム設計に役立つと考えられる。
直交格子上の効率的・高速テンソル積多点シェパード補間法 [math.NA, cs.NA]目的：直交格子上の楕円型偏微分方程式の解法
- 工学・科学計算において，偏微分方程式の数値解法は不可欠である。
- 既存手法では，計算コストや条件数の悪化が課題となる場合がある。
- 直交格子構造を利用し，条件数を改善した効率的な解法を提案する。
- 提案手法は，カーディナル特性やテンソル積多項式再生特性といった重要な性質を持つことが示された。
- ポアソン方程式の数値実験により，丸め誤差の範囲内で多項式再生特性が確認され，滑らかな解に対して規則的な収束性が示された。
- 既存の多点シェパード補間法やカンサ法と比較して，高い精度を維持しつつ，条件数が大幅に改善された。
非線形弾性におけるデータから解への値マップに対する極小極大ニューラルネットワークアーキテクチャ [cs.RO, math.NA, cs.NA]目的：非線形弾性におけるデータから解への値マップの構築
- 工学設計において，材料の変形挙動を正確に予測することは極めて重要である。
- 従来の数値解析では，複雑な形状や荷重条件に対する計算コストが高いという課題がある。
- 極小極大ネットワークを用いて，効率的にかつ正確に非線形弾性体の挙動を予測することを目指す。
- 提案手法は，負の最小ポテンシャルエネルギー値を直接近似するアーキテクチャであり，機械力学的なサブグラディエントを提供する。
- 浸没表現とセル中心の数値積分により，背景グリッドや複雑な形状を持つ領域への実装が可能となる。
- 原子の増強と数値積分の改良に関して，コンパクトなデータセット上で一様収束が証明されている。
パラメータに頑健な正定式性と，結合されたダルシー・フォルヒャイマー方程式と移流拡散反応方程式の離散化 [math.NA, cs.NA]目的：パラメータに頑健な安定性解析と，混合有限要素法による離散化
- 地下流体工学や物質輸送現象のモデリングにおいて，パラメータ依存性の低い安定な数値解法が重要である。
- 既存の安定性理論は，パラメータに依存した不安定性を示す場合があり，実用的なシミュレーションの妨げとなる。
- パラメータの影響を受けにくい，より汎用的な安定性理論と数値解法の開発を目指す。
- パラメータに依存しない安定性境界を確立し，バナッハ空間における摂動サドル点問題の唯一解の存在を保証した。
- ダルシー・フォルヒャイマー方程式と移流拡散反応方程式の混合形式に対して，モデルパラメータに関わらず安定性が確認された。
- 適切なパラメータ重み付きノルムにおいて，混合有限要素法による離散化の収束性と，演算子ベースの事前条件付き法の有効性が示された。
緩和限界においてのジョルダン・ムーア・ギブソン・トンプソン方程式に対する不連続ガレルキン近似 [math.NA, cs.NA]目的：ジョルダン・ムーア・ギブソン・トンプソン方程式の不連続ガレルキン空間離散化の解析
- 熱緩和媒体における非線形音波伝播を扱う分野であり，工学応用における重要性が高い。
- 緩和パラメータが小さい場合の数値的安定性や収束性の理論的保証が不足していた。
- 緩和パラメータによらず成立する誤差評価を示すことで，厳密な緩和限界解析を可能とする。
- 緩和パラメータに関わらず誤差評価が導出され，半離散JMGT近似がウェステルベルト圧力プロファイルへ線形収束することが示された。
- 数値実験により，理論的結果が支持され，小パラメータ領域における手法の頑健性が確認された。
- 緩和限界における厳密解の振る舞いについても洞察が得られた。
埋め込みメッシュを用いた結合ポロ-流体-力学および破砕伝播の統合数値モデル [cs.CE, cs.NA, math.NA]目的：流体駆動破砕伝播と多相流の統合的モデリング
- 水力破砕，廃棄物処分，地盤災害対策など，様々な分野において重要な役割を担う。
- 破砕伝播を考慮したシミュレーションは，計算コストが高く，現実的な時間で実施が困難である。
- 埋め込みメッシュ法を用いて，効率的かつ高精度な破砕伝播シミュレーションを実現すること。
- 提案モデルは，解析解との比較検証により，流体輸送と変形，および複数破砕の伝播を正確かつ適応的に同時シミュレーションできることが示された。
- 拡張されたXFEM-EDFMスキームは，静的な背景メッシュ上に埋め込まれた別の破砕メッシュを使用することで，破砕伝播の開始とダイナミクスを制御する。
- ドメイン積分法（J積分）を用いて等価応力集中係数を計算し，適応的な時間ステップ法により計算効率を高めている。
非線形光学媒質を用いた二重ランダム位相暗号に対する選択平文攻撃 [physics.optics, cs.NA, math.NA, physics.comp-ph]目的：非線形光学暗号方式における選択平文攻撃の脆弱性評価
- 情報セキュリティの重要性は増しており，堅牢な暗号技術が求められている。
- 従来の暗号方式は，計算能力の向上により解読されるリスクがある。
- 非線形光学的な手法による新たな暗号方式の安全性評価が重要である。
- 二重ランダム位相暗号に非線形光学を取り入れたシステムにおいて，選択平文攻撃により位相情報を復号できることが示された。
- 非線形光学媒質の強度が選択平文攻撃から回復可能であり，追加のセキュリティ鍵としては機能しないことが示された。
- 復号鍵に小さな誤差が生じても，復号文への影響は小さいことが安定性解析によって示された。
共通ノイズを持つ McKean-Vlasov SDE に対する時間一様誤差評価と確率的アルゴリズム [math.PR, cs.NA, math.NA]目的：McKean-Vlasov SDE および相互作用粒子系誘導される測度値過程の確率距離の時間一様評価
- 確率的偏微分方程式は，物理，金融，生物学など多岐にわたる分野で重要な役割を果たす。
- 数値解法の誤差評価は，計算精度を保証する上で不可欠だが，時間発展とともに誤差が蓄積する問題がある。
- 本研究は，時間一様誤差評価を通じて，長期的な数値計算の信頼性を高めることを目指す。
- McKean-Vlasov SDE と相互作用粒子系の確率距離について，時間一様評価を確立した。
- これにより，backward/tamed/adaptive Euler-Maruyama法による数値解の誤差評価が可能となった。
- また，時間一様条件付きカオス性の伝播を定量的に評価することに成功した。
集団ベース最適化のための演算子解析：平均場収束理論 [math.OC, cs.LG, cs.NA, cs.NE, math.NA, stat.ML]目的：集団ベース最適化手法の収束性解析
- 非凸問題やブラックボックス問題に対し，多様な最適化手法が用いられる分野。
- アルゴリズム固有の手法に依存し，統一的な収束性解析が困難であった。
- 演算子解析に基づき，幅広い手法の収束性を証明する理論的枠組みを構築する。
- 変異，選択，組換えという3つの基本演算子の組み合わせで最適化手法を記述する演算子解析を導入。
- 連続時間極限は，輸送反応ジャンプ（TRJ）偏微分方程式で表現され，演算子の分割構造を維持する。
- 状態空間におけるリャプノフ関数と探索空間の指標を制御することで，指数的な収束が証明された。
緩和有限要素法 [cs.HC, stat.AP, cs.SI, physics.soc-ph, eess.SY, cs.SY, math.NA, cs.NA]目的：有限要素法の適用範囲拡大
- 構造解析の基盤であり，様々な工学分野で利用されている
- 要素の形状が悪い場合，計算が収束しない問題がある
- 退化した要素を含むメッシュでも収束する手法を提案する
- 緩和有限要素法は，従来の有限要素法では収束が保証されないメッシュでも計算が可能となる。
- この手法は，既存の有限要素コードへの実装が容易であり，理論的な解析も可能である。
- 線形弾性問題，非適合メッシュのモルタル処理，高次要素，アドベクションなどへの拡張も行われた。
エプスタインゼータ関数の計算と性質：量子系への応用 [math.NA, cond-mat.str-el, cs.NA]目的：エプスタインゼータ関数の計算手法と解析的性質
- 長距離相互作用を持つ古典・量子多体系シミュレーションにおいて，エプスタインゼータ関数が重要な役割を果たす。
- エプスタインゼータ関数の厳密かつ包括的な解析的性質の議論が不足していた。
- 任意の次元および実パラメータにおけるエプスタインゼータ関数の高速かつ高精度な計算を可能にすること。
- 超指数収束アルゴリズムを開発し，誤差評価を明確に示した。これにより，エプスタインゼータ関数を高精度に計算できる。
- エプスタインゼータ関数のメロモルフィック接続，関数方程式，対称性を簡潔に再定式化し，全パラメータにおける正則性解析を確立した。
- 特異点を除去するアルゴリズムを提示し，積分評価や補間法による高速事前計算を可能とした。EpsteinLibライブラリを開発し，性能と精度を検証した。
多体格子和の計算におけるエプスタインゼータ関数法 [math.NA, cond-mat.mtrl-sci, cond-mat.str-el, cs.NA]目的：多体格子和の効率的な計算手法
- 凝縮系物質の記述において，多体相互作用は重要な役割を果たす。
- 多体相互作用を含む格子系のエネルギー計算は，計算量が膨大であり困難である。
- エプスタインゼータ関数を用いることで，多体格子和の計算を効率化し，計算時間を大幅に短縮する。
- 本研究では，エプスタインゼータ関数の積に関する特異積分として多体格子和を表現する手法を提案した。
- 3体相互作用の格子和計算において，計算時間を数週間から数分に短縮することに成功した。
- 本手法は，n体格子和に対しても適用可能であり，計算コストはnに対して線形に増加する。
- 3次元格子系への応用により，ATMポテンシャルが格子構造の安定性に与える影響を明らかにした。
実数次数の複素引数に対するベッセルの効率的な多倍長計算：Fortran実装 - 第1部：第1種の修正ベッセル関数 $I_\nu(z)$ [math.NA, cs.NA]目的：第1種の修正ベッセル関数 $I_{\nu}(z)$ の効率的かつ高精度な計算アルゴリズム
- ベッセル関数は物理学，工学等の広範な分野で不可欠であり，その高速かつ高精度な計算が求められている。
- 既存のアルゴリズムやライブラリは，負の次数や複素引数に対して制限がある場合や，精度に課題が残る場合がある。
- 本研究では，任意の次数と引数に対して安定した計算を可能とし，高精度計算の適用範囲を拡大することを目指す。
- 提案アルゴリズムは，複数の解析表現を統合し，計算領域間の移行境界を最適化することで，高い効率と精度を両立している。
- AMOS，Boost，GSL等の既存ライブラリと比較して，負の次数や複素引数にも対応し，数値安定性が向上している。
- 4倍精度演算をサポートすることで，計算可能な範囲が拡大し，26桁を超える精度を実現，科学技術計算への応用範囲が広がる。
チューブテンソル代数の解明 [math.NA, cs.NA]目的：チューブテンソル代数の基礎理論の提示と，その中心的構成要素の正当化
- 多次元データ解析において，チューブテンソル代数は強力なツールとして，様々な応用分野で活用されている。
- チューブテンソル積の定義根拠が不明確であり，その理論的背景に空白が存在する。
- 第三階テンソルをチューブの行列と捉え，望ましい代数的性質からチューブテンソル積を導出すること。
- チューブテンソル積とその一般化である$\star_M$積が，第三階テンソルをチューブの行列として捉えることによって自然に導かれることを示した。
- $\star_M$積が，これらの性質を満たすチューブテンソル積として唯一の定義であることを証明した。
- 本研究は，チューブテンソル代数の基礎を明確化し，理論的なギャップを埋めることで，その理解を深めることに貢献する。
不連続ガレルキンシフト境界法のための幾何学的マルチグリッド前処理法 [cs.OS, math.NA, cs.NA]目的：複雑形状における偏微分方程式を解くためのシフト境界法(SBM)に対する幾何学的マルチグリッド前処理法の開発
- 複雑形状上での偏微分方程式の数値解法は，工学・科学計算において不可欠である。
- SBMはメッシュ生成を簡略化するが，非対称かつ病的な線形システムを生じ，効率的な解法が課題となる。
- 局所的な摂動を効果的に処理できるセルワイズ乗算スムーサーを設計し，SBMの効率を向上させる。
- 不連続ガレルキン(DG)を用いたSBMの定式化により，セルワイズな修正が可能となり，局所的な複雑さに対応できる。
- 線形($p=1$)および二次($p=2$)要素を用いた2次元および3次元のポアソン方程式に対する数値実験で良好な性能が確認された。
- 三次($p=3$)要素，特に3次元においては，現在のスムーサーの効果が低下する課題が残る。
マルチモーダルX線プティコグラフィーと蛍光再構成のための共同変分フレームワーク [math.NA, cs.NA, math.OC]目的：マルチモーダルX線画像再構成の共同変分フレームワーク
- コヒーレントX線計測は，高分解能な構造と組成情報を得る上で重要である。
- プティコグラフィーとX線蛍光は，それぞれ逆問題を抱え，単独では安定した再構成が困難である。
- 構造と組成情報の相互整合性を強化し，安定性と分解能を向上させることを目指す。
- 提案手法は，プティコグラフィーとX線蛍光を統合した変分フレームワークにより，高速な収束を実現する。
- これにより，より鮮明で定量的な再構成が可能となり，相対誤差を低減する。
- マルチモーダル変分法が，X線画像処理の安定性，分解能，解釈性を向上させる可能性を示す。
線形ガウス逆問題における事前分布駆動型バランス化に対する事後誤差限界 [math.NA, cs.NA, cs.SY, eess.SY]目的：線形ガウス逆問題における事前分布駆動型バランス化の誤差限界の導出
- 大規模ベイズ逆問題では計算コスト削減が重要であり，近似モデルの利用が不可欠である。
- 近似モデルの導入は精度低下を招く可能性があり，その誤差評価が課題となる。
- システム理論的手法を応用し，事前分布駆動型モデルの誤差限界を導出すること。
- 線形近似モデルを用いたベイズ逆問題における事後平均と事後共分散の誤差を，摂動論を用いて評価した。
- 線形時間不変動的システムの初期条件推定問題において，バランス化Truncationを用いたモデル次元削減の効果を検証した。
- システムのインパルス応答と事前分布条件付きヘッセ行列の間に新たな関係が明らかになり，事前分布に基づく誤差限界を導出した。
異質媒質における未マッピングテントピッチング法 [math.NA, cs.NA]目的：異質媒質における双曲型問題の並列解法
- 波動現象のシミュレーションは，様々な科学技術分野において不可欠である。
- 並列計算における空間・時間領域の効率的な分割が課題となっている。
- 未マッピングテントピッチング法の異質媒質への適用可能性を検証する。
- 異質媒質において，空間・時間領域の次元を最大伝播速度で決定する手法が最も効率的であることが示された。
- 従来のテントピッチング法の非線形マッピングを回避する未マッピングテントピッチング法を拡張した。
- 本研究により，異質媒質における波動伝播の並列計算の効率化が期待される。
連結行列SVD：圧縮限界，インクリメンタル近似，および誤差制約クラスタリング [cs.IR, math.NA, cs.LG, cs.NA]目的：行列の圧縮可能性と，誤差制約下でのクラスタリング手法
- 機械学習や信号処理など広範な分野で大規模行列を扱うことが多く，効率的な圧縮が不可欠である。
- 既存手法では，行列をどのように連結・圧縮すれば良いか，理論的な保証がない。
- 行列連結と圧縮における誤差を制御し，最適なクラスタリングを実現することを目指す。
- 本研究では，行列の連結とSVD圧縮に関する新しいスペクトル限界を確立した。
- インクリメンタルTruncated SVDに基づく効率的な近似推定器を開発し，大規模行列の圧縮を可能にした。
- 誤差制約下で行列をクラスタリングする3つのアルゴリズムを提案し，速度，精度，スケーラビリティのトレードオフを実現した。
バンド状＋半分離可能行列のQR分解は線形複雑度で計算可能である [math.NA, cs.NA]目的：バンド状＋半分離可能行列のQR分解の計算可能性
- 大規模な線形方程式系の解法において，計算効率は重要である。特に，特殊な構造を持つ行列の分解は，計算コスト削減に繋がる。
- 既存のQR分解アルゴリズムは，特殊な構造を持つ行列に対して，計算効率が低い場合がある。
- バンド状＋半分離可能行列に対する線形複雑度でのQR分解アルゴリズムを開発し，計算効率を向上させる。
- バンド状＋半分離可能行列のQR分解が，離散化サイズに関して最適な線形複雑度で計算可能であることが示された。
- QR分解の中間段階において特定の構造が維持されることが確認され，効率的なアルゴリズム設計が可能となった。
- 対称バンド状＋半分離可能行列に対しては，RQ積もBPS構造を保持し，QRアルゴリズムの各反復においても線形複雑度での計算が可能となった。
多様体吸引拡散 (MAD) [math.CO, cs.DM, stat.ML, cs.LG, cs.NA, math.NA]目的：ノイズのあるデータからの無ノイズサンプルの生成
- 画像生成において，拡散モデルは高い性能を発揮する。実用的な応用範囲が広い。
- 現実のデータはノイズを含んでいる場合が多く，高精度な生成が困難となる。
- ノイズの影響を軽減し，より高品質なサンプルを生成することを目指す。
- 本研究では，多様体仮説に基づき，ノイズをオフ多様体方向の小さな変動と捉え，効率的な推論手法を提案。
- 拡張スコアの概念を導入し，小さな変動をゼロに，大きな変動を維持することで，無ノイズサンプルを生成。
- 玩具問題，合成データ，実データにおいて，提案手法の有効性を検証した。
- 1