arXiv雑要約
数値解析 - 2026/04/28 公開
適合的微分とカプート微分による遅延モデリング：解析的および計算的考察 [math.NA, cs.NA, math-ph, math.MP]目的：遅延微分方程式の解析と計算
- 遅延は多くの物理現象に普遍的に存在し，正確なモデリングに不可欠である。
- 従来の遅延モデルは，複雑な計算や数値的不安定性の問題があり，精度が制限される。
- 適合的微分とカプート微分を用いて，安定かつ高精度な遅延モデリング手法を開発する。
- 適合的微分を用いることで，解析解と数値解の一致性が安定して得られ，計算が容易である。
- カプート微分を用いる場合は，高次スキームや系列アンカー予測子補正法が必要となり，計算コストが増加する。
- これらの結果は，遅延や記憶を持つ動的現象のモデリングにおいて，適合的微分が積分に基づく分数モデルの有効な代替手段となりうることを示唆する。
複素数SGDと再生核ヒルベルト空間における方向バイアス [cs.LG, cs.NA, math.CV, math.NA]目的：複素数パラメータ最適化における収束保証
- 大規模最適化問題において，単純さと拡張性からSGDが広く利用されている。
- 複素数ニューラルネットワークでは，標準的な手法では収束が保証されない場合がある。
- 複素数SGDの収束性を解析し，実数値の場合と同様の条件で保証する。
- 複素数SGDは，実数値の設定と同様の仮定の下で収束が保証されることが示された。
- 方向バイアスに関する結果が，実数値設定から複素数設定へ拡張されることが確認された。
- 複素数再生核ヒルベルト空間を用いたカーネル回帰問題において，複素数SGDの有効性が実証された。
ガウス消去法におけるHigham行列の成長因子の条件数に関する鋭い上限 [math.NA, cs.NA]目的：Higham行列の成長因子の条件数依存の上界と下界の導出
- ガウス消去法の数値的安定性は重要な課題であり，行列の成長因子はその安定性を測る指標となる。
- Higham行列の成長因子に関するHighamの予想は長年の未解決問題であり，厳密な上限が知られていなかった。
- 本研究では，条件数に着目することで，Higham行列の成長因子のより精密な上限を確立することを試みる。
- 本研究では，Druryの結果を改良し，条件数に依存する成長因子の鋭い上限と下界を導出した。
- そのために，2次元支配を用いた鋭いスカラー・ Schur補完不等式が鍵となる。
- さらに，アクレティブ・ディシパティブ行列に対しても同様の鋭い評価を得た。
劣化する都市インフラシステムの確率的ハザード分析フレームワーク [eess.SY, cs.CE, cs.NA, cs.SY, math.NA]目的：都市インフラシステムのライフサイクル最適化
- 都市インフラは，自然災害や経年劣化により安全性が脅かされている。
- 既存手法では，時間変化する劣化や複合的なリスクへの対応が困難である。
- ハザードリスクと劣化を考慮した，費用対効果の高い維持管理戦略を提案する。
- 本研究では，マルコフ決定過程を用いて，時間変化する劣化とハザードリスクを考慮したライフサイクルコスト最適化を定式化した。
- テンソルに基づく新しい手法を導入し，大規模システムの最適化における次元の呪いを克服した。
- 提案手法は，地震ハザードを例に実用的なリスク軽減ツールとなりうることを示した。
高階テンソルのランク1補完 [math.NA, cs.NA, math.OC]目的：高階テンソルのランク1補完
- テンソル分解は，高次元データの解析において重要な役割を果たす。
- テンソルのランク1補完は，未知的要素を推定する難解な問題である。
- 効率的かつ正確なランク1テンソル補完アルゴリズムの確立。
- 本研究では，ランク1決定可能なテンソルの概念を導入し，再帰的な補完アルゴリズムを提案した。
- 提案アルゴリズムは，線形システムの解法と特異ベクトル計算のみで構成される。
- ノイズが存在する場合でも，ノイズが小さいときには正確な補完に近づくことが示された。実験により，効率と精度が確認された。
メッシュ内在型GFEM：$C^0$非構造化メッシュ上の高次平滑性 [math.NA, cs.NA]目的：非構造化メッシュにおける高次偏微分方程式の解法
- 高次方程式の精度向上には，微分に関する高い要件が不可欠である。
- 標準的な$C^0$有限要素法では，非構造化メッシュ上の高次微分を直接扱うことが難しい。
- メッシュ内在型GFEMを用いて，$C^0$メッシュ上での高次微分を正確かつ効率的に計算すること。
- メッシュ内在型汎用有限要素法(MiGFEM)が提案され，重複するノードパッチから局所的な多項式場を再構成する。
- 界面コヒーレンスに基づくPoZ（Partition of Zero）平滑化メカニズムにより，微分ジャンプが正確にキャンセルされることが示された。
- 境界条件に対するBA-CWLS戦略により，グローバルな過決定を回避し，スパースなシステムを維持できる。
フーリエスペクトル法を用いた3次元ナビエ-ストークス方程式における近特異性エネルギー [cs.IR, cs.SI, physics.soc-ph, math.NA, cs.NA]目的：3次元非圧縮性ナビエ-ストークス方程式の数値解法における近特異性の解析
- 流体現象の理解と予測には，ナビエ-ストークス方程式の解法が不可欠である。
- 数値解法では，有限時間での解の特異性が問題となり，計算の信頼性を損なう場合がある。
- 数値解における特異性の検出と，解の正当性を保証する基準の確立を目指す。
- フーリエスペクトル法と4次Runge-Kutta法を用いることで，空間における指数収束性と時間における代数収束性が示された。
- 数値解の吹け上がりが，解の正則性の喪失と密接に関連していることを示す事後的な判定基準が導かれた。
- 本研究は，有限時間での特異性を示す可能性のある挙動を検出するための診断手法を開発する。
線形空間における良条件な無自覚摂動 [cs.DS, cs.LG, cs.NA, math.NA, math.PR, stat.ML]目的：線形空間における良条件な摂動手法の開発
- アルゴリズムの平滑化解析において，行列の条件数を改善することが重要である。
- 既存のガウスノイズによる摂動は，計算コストが高いという課題がある。
- 少数の乱数で効率的に条件数を改善し，計算コストを削減することを目指す。
- 提案手法では，O(n)個の乱数のみを用いて，ガウス摂動と同等の条件数改善を実現した。
- これにより，共役勾配法などの線形方程式解法の計算量を削減できることが示された。
- パターン行列と依存的な疎な摂動を組み合わせることで，効率的な手法を実現している。
大規模非対称代数リッカチ方程式を解くための低ランクADIアルゴリズム [math.NA, cs.NA, cs.SY, eess.SY]目的：大規模非対称代数リッカチ方程式の低ランク解
- 制御理論や数値線形代数において，リッカチ方程式は重要な役割を果たす。
- 大規模な非対称リッカチ方程式の解法は計算コストが高く，効率的な手法が求められている。
- 低ランク解を持つ非対称リッカチ方程式に対して，効率的なADIアルゴリズムを開発すること。
- 本研究では，大規模非対称リッカチ方程式に対する低ランクADIアルゴリズムを新たに提案した。
- 提案手法は，シフト生成の自動化と，部分空間加速投影による効率的なシフト生成を実現している。
- 数値実験の結果，提案アルゴリズムは高い計算効率と精度を示すことが確認された。
放射伝達方程式のフィルタリングMgNetソルバー [math.NA, cs.NA]目的：放射伝達方程式の解を物質特性の関数として近似する手法
- 放射伝達方程式は，大気，海洋，生物組織など，光の輸送現象を記述する上で重要である。
- 従来の数値ソルバーは，媒質パラメータに敏感であり，ロバスト性に課題がある。
- データ駆動によるサブオペレーターの最適化を通じて，ロバストで高速な解法を開発する。
- MgNetは，従来のプリコンディショナーと比較して，拡散領域で少なくとも10倍の高速化を達成した。
- 未知のパラメータ設定に対しても，頑健な汎化性能が確認された。
- マルチレベル分解構造と深層演算学習を統合することで，物理制約された演算学習パラダイムを確立した。
一般的な関数空間に対する和の積分による部分演算子：最適な節点 [cs.HC, cs.MA, math.NA, cs.NA]目的：和の積分による部分法における最適な節点の決定
- 数値計算において，高精度かつ効率的な数値積分法の開発は不可欠である。
- 従来の数値積分法は，特定の関数空間に最適化されていない場合がある。
- 一般的な関数空間においても，最小次元の和の積分による部分演算子を構成する節点を求める。
- 一般化されたガウス・ロバット求積法が，一般的な関数空間における最適な節点と重みを提供する。
- 提案されたアルゴリズムは，様々な関数空間において高い精度と効率を示す。
- この求積法は，初期値境界値問題を解くために利用できる。
GeoFunFlow-3D：複雑形状における高精度3D空力推論のための物理学に基づく生成フローマッチングフレームワーク [math.NA, cs.LG, cs.NA]目的：高精度な3D空力推論のための物理学に基づく生成フローマッチングフレームワーク
- 航空宇宙工学や流体シミュレーションにおいて，高精度な空力特性予測は不可欠である。
- 深層生成モデルは物理的整合性や高周波特徴の保持が難しく，勾配の問題も存在する。
- 複雑形状における高精度な3D空力場を生成する信頼性の高い手法を開発すること。
- 提案手法GeoFunFlow-3Dは，最適輸送理論と高次の離散エンジンにより，安定した学習と勾配の硬直性軽減を実現した。
- また，SATOモジュールにより，衝撃波などの局所的な領域で物理法則を厳密に適用することを可能にした。
- BlendedNetデータセットとNASA Rotor37テストで良好な結果が得られ，圧力場誤差（RRMSE）を0.0215に低減した。
Oseen 問題に対するロバストな事後誤差評価器 [math.NA, cs.NA]目的：Oseen 問題の事後誤差評価
- 流体シミュレーションの精度向上は，工学設計において不可欠である。
- 数値解の誤差を正確に評価する手法が不足している。
- 対流支配領域における誤差評価器のロバスト性を確立すること。
- 残差に基づく事後誤差評価器を提案し，数値実験でその有効性を検証した。
- 評価器は，対流支配領域においてロバストであることが解析的に証明された。
- 本評価器を定常ナビエ-ストークス方程式へ拡張する可能性を示唆した。
二相流における相変化の正定常かつ安定な蒸発モデル問題 [cs.RO, math.NA, cs.NA]目的：相変化における正定常性および安定性の条件
- 相変化現象の理解は，原子力や化学工学など幅広い分野で重要である。
- 既存モデルでは，エネルギーの安定性や解の存在が保証されていない場合がある。
- 蒸発モデルの正定常性と安定性を数学的に証明し，数値計算への応用を目指す。
- 蒸発モデルの界面条件を導出し，エネルギー境界の存在を示すことができた。
- 高精度な数値解法を用い，エネルギー安定性を数学的に証明した。
- 本研究は，二相流シミュレーションの精度向上に貢献すると考えられる。
非平坦な地形とマンニングの摩擦項を持つ浅水方程式に対する漸近保存型スキーム [math.NA, cs.NA]目的：浅水方程式の数値解法における漸近保存特性の維持
- 河川や海岸などの自然現象のシミュレーションにおいて，浅水方程式は不可欠なモデルである。
- 既存のスキームは，対流と拡散の中間領域において計算コストが高く，収束速度が遅いという課題があった。
- ペナルティ項を除去し，計算効率を向上させつつ，漸近保存特性を維持することを目指す。
- 提案スキームは，漸近保存性，漸近精度，平衡性といった特性を維持していることが理論的分析と数値実験で示された。
- 特に，対流と拡散の中間領域において，以前のスキームと比較して計算効率が向上することが確認された。
- マンニング摩擦項を暗黙的に扱うことが，漸近保存特性を維持するために本質的であることが示された。
理想MHD方程式に対する陽性保存かつエントロピー安定なノード不連続ガレルキン法 [math.NA, cs.NA, physics.comp-ph]目的：理想MHD方程式の数値解法
- 宇宙プラズマ現象の理解に不可欠であり，核融合研究等への応用が期待される
- 発散誤差の抑制，物理量の陽性保持，エントロピー条件の充足が課題である
- 上記課題を同時に解決し，高精度かつロバストな解法を確立すること
- HLLフラックスと局所発散フリー投影を組み合わせたDG法を開発した。
- エントロピー安定な信号速度の推定と本質的振動抑制減衰を適用することで，強い衝撃波を持つ問題にも対応可能である。
- 数値実験により，本手法の精度とロバスト性が検証された。
偏微分方程式のための適応的分布ランダムニューラルネットワーク：低次元分布学習フレームワーク [math.NA, cs.LG, cs.NA]目的：偏微分方程式の解法における分布学習
- 偏微分方程式は科学技術計算の根幹であり，その効率的な解法は重要である。
- ランダムニューラルネットワークの性能は隠れ層パラメータの分布に大きく依存する。
- 手動での分布調整を減らし，分布レベルでの適応メカニズムを確立する。
- AD-RaNNは，隠れ層の特徴生成を低次元の最適化問題に変換するフレームワークである。
- PDADとDDADという2つの適応メカニズムを開発し，様々なソルバーや演算子学習モデルに適用した。
- ベンチマーク問題における実験により，AD-RaNNが効果的な分布適応メカニズムを提供し，高い精度を達成することが示された。
可変次数時間分数非圧縮磁気流体方程式系の数値解析 [math.NA, cs.NA]目的：可変次数Caputo時間分数導関数の導入による非圧縮磁気流体方程式系の数値解法
- 磁気流体方程式は，プラズマ物理学，天体物理学，核融合研究などに応用され，様々な物理現象の理解に不可欠である。
- 従来の磁気流体方程式では，物質の記憶効果を十分に考慮できていない場合がある。
- 可変次数時間分数導関数を用いることで，時間とともに変化する記憶効果をより正確にモデル化し，現象の予測精度向上を目指す。
- 有限要素法とL1型近似を組み合わせた全離散スキームにより，安定性と収束性が理論的に証明された。
- 分数次数のオーダーを1に近づけると，古典的な非圧縮磁気流体方程式の解に収束することが確認された。
- 可変次数分数項は，エネルギー，エントロピー，電流エントロピーの時間発展に顕著な影響を与えることが示された。
最適境界を持つ部分行列：$\mathbb{C}^{n \times 2}$ に対する漸近的にタイトな上限 [math.NA, cs.NA]目的：$\mathbb{C}^{n \times 2}$ 行列の部分行列の最適境界を持つ逆行列のスペクトルノルムの上限
- 行列の逆行列は線形代数において基本的な概念であり，数値計算や工学に応用が広い。
- 部分行列の逆行列のスペクトルノルムの厳密な上限を求めることは困難であり，重要な課題である。
- 直交正規化された列を持つ$\mathbb{C}^{n \times 2}$ 行列の$2 \times 2$ 部分行列の逆行列のスペクトルノルムの上限を導出する。
- Goreinov，Tyrtyshnikov，Zamarashkinによる長年の仮説は，SenguptaとPautovによって実数2列行列の場合に肯定的に解決された。
- 本研究では，この問題の複素数版を扱い，直交正規化された列を持つ$\mathbb{C}^{n \times 2}$ 行列の$2 \times 2$ 部分行列の逆行列のスペクトルノルムに対する漸近的にタイトな上限を証明した。
ハンケル型乱数デジタルネットを用いた準モンテカルロ法 [cs.CL, math.NA, cs.NA]目的：デジタルネットの新たなランダム化設計
- 準モンテカルロ法は，高次元積分計算においてモンテカルロ法よりも高速な収束を示す重要な手法である。
- 既存のランダム化デジタルネットは，設計が複雑で，必要な乱数の数が多かった。
- ハンケル型行列を用いることで，設計の簡素化と乱数の削減を目指す。
- 本研究では，生成行列に乱数ハンケル行列を用いるデジタルネットの設計を提案した。
- 提案手法は，従来のランダム化設計よりも簡潔であり，必要な乱数の数を削減できることが示された。
- 理論的解析と数値実験により，提案手法の有効性が確認された。
レヴィ過程駆動確率微分方程式の制約付きオイラー近似の強い収束性と時空間正則性 [math.NA, cs.NA, math.PR]目的：レヴィ過程駆動確率微分方程式の制約付きオイラー近似の時空間正則性の性質
- 確率微分方程式は，金融，物理学，生物学など幅広い分野で不確実性をモデル化する上で不可欠である。
- レヴィ過程駆動確率微分方程式の数値解法は，ドリフト係数や拡散係数の成長度合いにより収束性が保証されない場合がある。
- 本研究は，超線形成長するドリフト・拡散係数を持つ確率微分方程式に対する制約付きオイラー近似の収束性と正則性を明らかにする。
- 新たに制約付きオイラー型スキームを導入し，その強い収束性を確立した。
- 初期値，初期時間，評価時間に関する時空間正則性の評価式を導出した。
- 固定されたステップサイズにおける安定性評価と，ステップサイズをゼロに近づける場合の連続性評価を得た。
非自己共役または不定な楕円問題に対する補正適応二重グリッド有限要素法 [math.NA, cs.NA]目的：非自己共役または不定な楕円問題に対する補正適応二重グリッド有限要素法の提案，解析，数値検証
- 偏微分方程式の数値解法は，工学，科学の様々な分野で不可欠であり，計算コストと精度のバランスが重要である。
- 既存の適応二重グリッド有限要素法は，対称正定値問題に限定されており，非自己共役・不定な問題には適用できない場合がある。
- 非自己共役・不定な楕円問題においても，効率的かつ高精度な数値解法を提供し，既存法を超える性能を実現すること。
- 本研究で提案する補正適応二重グリッド有限要素法は，粗メッシュ上で離散残差問題を解く追加の補正ステップを導入することで，非自己共役・不定な楕円問題にも適用可能となった。
- この補正ステップは計算コストが小さく，補正された離散解のL2ノルム誤差がエネルギーノルム誤差よりも高次の精度となることが示された。
- 数値実験により，本手法がATGFEMと比較して，より効果的かつ堅牢であることが確認された。
非線形応力-ひずみ関係を持つ変形性多孔質媒体中流れの近似に関する誤差解析 [math.NA, cs.NA]目的：変形性多孔質媒体中流れの近似
- 地盤や岩石などの力学的な挙動を理解する上で，多孔質媒体の変形と流体の流れの連成解析が重要である。
- 現実の材料では線形弾性モデルでは不十分な場合が多く，非線形な応力-ひずみ関係を考慮する必要がある。
- 本研究は，非線形性を含む多孔質媒体中流れの数値解法における誤差評価と効率検証を目的とする。
- 提案された半陰解法スキームは，離散解の一意性と事前収束性を数学的に証明することに成功した。
- 数値実験の結果，モデルが捉える非線形現象が確認され，スキームの有効性が示された。
- 非線形摂動が十分に小さいという仮定の下で，安定した近似解が得られることが示された。
平面領域における数値積分に対する混合補間-回帰法 [math.NA, cs.NA]目的：平面領域における数値積分手法
- 工学や科学計算において，高精度な数値積分は不可欠な要素である。
- 複雑な形状の領域における数値積分は，計算コストが高く，精度が課題となる。
- 特定の平面領域における数値積分の精度と効率を向上させることを目指す。
- 本研究では，楕円，環状領域，多角形などの平面領域に対して，混合補間-回帰演算子を導入した。
- 提案手法の演算子の上界を導出し，これらの領域で定義された重み関数に対する数値積分公式を検討した。
- 補間と回帰の次元変化を考慮した数値例により，提案手法の性能を評価した。
電荷存在下における絶縁性導体物体の電位 - 一部の厳密解と近似解 [physics.class-ph, cond-mat.mtrl-sci, cs.NA, math.NA, physics.app-ph, physics.comp-ph, physics.soc-ph]目的：絶縁性導体物体の電位決定
- 電磁気学の基礎理論であり，静電容量の計算など応用範囲が広い。
- 複雑な形状の導体における電位計算は解析的に困難である。
- 新たな$J$形式を用いて，電位を効率的に計算する手法を確立する。
- 球体形状の導体に対しては厳密解を得ることが可能であり，他の形状に対しても効率的な近似解を提供する。
- 表面電荷分布や周囲空間の電位を直接計算する必要がないため，計算コストを削減できる。
- Robin Hood法による数値検証により，手法の有効性が確認された。導体物体の静電容量計算への応用が期待される。
量子ギブスサンプリングの量子ウォークを用いない高速化 [quant-ph, cs.NA, math-ph, math.MP, math.NA]目的：量子ギブスサンプラのスペクトルギャップ依存性の改善
- 量子系のシミュレーションは科学技術の進歩に不可欠であり，効率的なサンプリング手法が求められている。
- 量子ギブスサンプリングの高速化は困難であり，特に一般的な場合にその効果が限定的である。
- 幅広い量子ギブスサンプラに対し，量子ウォークを用いない高速化手法を開発すること。
- 本研究では，特定の詳細平衡条件を満たす量子ギブスサンプラに対して，スペクトルギャップ依存性の2次改善を実現する量子アルゴリズムを提案した。
- 提案手法は，親ハミルトニアンを非可換な一次演算子に分解することにより，精製されたギブス状態の準備を特異値フィルタリング問題へと変換する。
- このフレームワークは，Davies設定を超える様々な効率的に実装可能なギブスサンプラに適用可能であり，メタ安定状態におけるウォームスタート生成にも利用できる。
ダイス和過程における期待命中時間解析のための高精度フレームワーク [math.PR, cs.NA, math.CO, math.NA]目的：ダイス和過程において，ある目標集合Hに初めて到達するまでの期待ロール数
- 確率過程の解析は，物理学，工学，金融など幅広い分野に応用され，現象の理解と予測に不可欠である。
- 累積和が目標集合に到達するまでの期待値の計算は，状態空間の増加により計算量が膨大になる課題がある。
- 打ち切り誤差を厳密に評価し，高精度な離散的命中時間の計算を可能とする汎用的なフレームワークを構築する。
- 動的計画法を用いることで，ロール数に依存しない効率的な計算が可能となった。
- 打ち切り誤差の解析的補正項を導入し，厳密な二側誤差推定を実現した。
- 完全平方数目標集合Hに対して，1017桁までの精度で期待値を7.07976423755110510389555305690818489468…と計算した。
連続周辺最適輸送：メッシュフリーカーネル法 [math.OC, cs.NA, math.NA, stat.ML]目的：連続周辺最適輸送問題における最小エネルギー速度場の復元
- 確率モデルや画像処理など，多様な分野で確率分布間の距離を測る必要性がある。
- 従来の離散化手法では計算コストが高く，高次元データへの適用が困難である。
- メッシュフリーな手法を用いて，計算効率と精度を両立した解法を提案する。
- 本手法は，再生産カーネルヒルベルト空間に弱連続方程式を埋め込み，空間離散化を必要としないサンプルベースの目的関数を実現する。
- 速度場はパラメータに関する線形辞書またはニューラルネットワークによって表現され，ミニバッチ確率的勾配降下法を用いて最適化される。
- 実験結果は，提案手法が正確なドリフト復元と周辺一貫性を達成することを示す。また，確率的ネルソン問題にも適用可能である。
量子数値積分の複雑性：角度構造による特徴づけ [quant-ph, cs.SY, eess.SY, quant-ph, cs.NA, math.NA]目的：量子振幅推定（QAE）による数値積分コストの角度構造の解析
- 数値積分は科学技術計算の基盤であり，その高速化は重要課題である。
- QAEは統計的誤差を改善するが，被積分関数のエンコード複雑性が低い場合にのみ有効である。
- QAEの適用可能な被積分関数クラスを明確化し，古典法との比較を行う。
- 関数クラス$\mathcal{G}_n^{(d)}$を定義し，角度写像の多線形性に着目することで，エンコード演算子の構造を明らかにした。
- 積分精度とゲート数のトレードオフを導出し，特定の条件下でQAEが古典モンテカルロ法を上回ることを示した。
- ソボレフ正則性の低い関数において，QAEが古典的手法よりも非自明な優位性を持つことを証明した。
確率的勾配サンプリング法の理論的保証：ガウス畳み込み不等式による [stat.CO, cs.NA, math.NA, math.PR]目的：確率的勾配キネティックランジュバン力学の不変測度のウォーターシュタイン距離におけるバイアスの評価
- 機械学習モデルの学習において，確率的勾配法は計算効率が高く広く利用されている。
- 確率的勾配法における不変測度の精度は十分には保証されておらず，改善が求められている。
- 本研究は，不変測度の精度に関する未解決問題を定量的に解決することを目的とする。
- 本研究では，確率的勾配キネティックランジュバン力学の不変測度のウォーターシュタイン距離におけるバイアスに対し，ステップサイズに関する一次のオーダーで上限を導出した。
- この上限は，既存の確率的勾配マルコフ連鎖モンテカルロ法の非漸近的保証をより強固なものとする。
- また，平均ゼロの摂動で畳み込まれたガウス分布とガウス分布自身の間のウォーターシュタイン距離を制御する新しいガウス畳み込み不等式も示した。
フーリエ解析による定数係数2階線形偏微分方程式の自動解法 [quant-ph, cs.ET, math.NA, cs.NA]目的：定数係数2階線形偏微分方程式のフーリエ解析による解法の実装
- 科学技術の発展には，偏微分方程式の効率的な解法が不可欠である。
- 既存の手法は複雑で，手計算による解法は困難な場合が多い。
- 計算機代数システムを利用し，偏微分方程式の自動解法を実現する。
- 熱，波動，ラプラス作用素に対するストゥルム・リウヴィル問題の一般的な解法が提供される。
- 定数係数を持つ2階線形抛物型方程式も，熱方程式への帰着を通じて解くことができる。
- これにより，対流拡散方程式を含む広範な問題を自動的に解決可能となる。
Transformerとニューラル積分演算子による演算子の普遍近似 [cs.LG, cs.NA, math.NA]目的：Banach空間における演算子の普遍近似性
- 近年，深層学習は様々な分野で目覚ましい成果を上げているため，その理論的基盤の確立が重要である。
- 従来の深層学習モデルの近似能力は，特定の関数空間に限られており，より広い範囲の関数に対する近似が課題となっていた。
- Transformerやニューラル積分演算子の近似能力を拡張し，より広範な演算子の近似を可能にすることを目指す。
- Transformerアーキテクチャが，H\"older空間間の積分演算子の普遍近似器となることが示された。
- Gavurin積分に基づくニューラル積分演算子の一般化版が，Banach空間間の任意の演算子の普遍近似器となることが示された。
- Leray-Schauder写像を用いたTransformerの改良版が，任意のBanach空間間の演算子の普遍近似器となることが示された。
断熱量子計算を用いた連続エネルギー・電力システム問題解決のためのフレームワーク [cs.SI, cs.ET, cs.NA, cs.SY, eess.SY, math.NA]目的：エネルギー・電力システム問題に対する断熱量子計算の応用
- 現代のエネルギー・電力システムは大規模化・非線形化が進み，古典的手法では最適化が困難となっている。
- 古典的な数値解法では，問題の規模が大きくなると計算量が増大し，実用的な時間で解を得ることが難しい。
- 量子計算を活用することで，古典的な手法では困難な大規模な最適化問題を効率的に解決することを目指す。
- 提案フレームワークは，実数・複素数，線形・非線形方程式を扱え，量子アニーラやデジタルアニーラでの実行に適している。
- 2次元定常熱伝導，電力システムパラメータ同定，潮流解析の3つの応用例で有効性が確認された。
- 小規模なテストケースでの実行結果から，幅広いエネルギー・電力システム問題への応用が期待される。
関数的木テンソルネットワークによるルンゲ・クッタ法の次数条件の導出 [math.NA, cs.NA]目的：関数的木テンソルネットワークの導関数に関する数学的枠組み
- 高次元データのコンパクトな表現が求められ，計算数学や物理学で重要な役割を担う。
- ルンゲ・クッタ法の次数条件は，数学的帰納法に依存しており，より直接的な導出が課題であった。
- テンソルネットワーク理論を用いて，ルンゲ・クッタ法の次数条件を直接比較により導出すること。
- テンソルネットワークの分離構造とルンゲ・クッタ法の特性により，数値解のテイラー展開が解析解と同様に行える。
- 標準的なルンゲ・クッタ法が，特定の関数に対して予想以上に高い収束次数を達成する状況を特定する，より厳密な次数条件が得られた。
- テンソルネットワーク理論と古典的な数値解法の間に新たな関連性が確立され，解析的探求と実用的な計算の両方に新たな道が開かれる。
ユークリッド空間における有限差分と数値積分を用いたエネルギー最小化による曲線長の最小化 [math.NA, cs.NA, math.DG, math.OC]目的：最小測地線の近似
- 幾何学や物理学における最適経路問題は，様々な応用分野で重要である。
- 離散化された曲線長の最小化が，必ずしも連続的な最小長に収束しない場合がある。
- 台形公式による離散化が，エネルギーと曲線長の両方において最小値に収束することを示す。
- 台形公式による離散化において，離散最小化解のエネルギーが最小エネルギーに収束する。
- 再構成された曲線の長さの二乗が，最小長の二乗に$O(N^{-1/2})$の収束率で収束する。
- 左端点公式についても同様の再構成誤差評価が得られる。
スパースな径向基底関数ネットワークによる非線形偏微分方程式の解法 [math.NA, cs.LG, cs.NA]目的：非線形偏微分方程式の解法
- 偏微分方程式は，物理現象のモデリングにおいて不可欠であり，その数値解法は科学技術の進歩に貢献する。
- 従来のRBF法はパラメータ過多になりやすく，計算コストが高い。PINNやGPもそれぞれ課題を抱えている。
- RBFネットワークのスパース性を高めることで，計算効率を向上させ，精度の高い解を求めることを目指す。
- スパース性を促進する正則化により，過剰なパラメータ化を防ぎ，冗長な特徴量を削減することに成功した。
- 再生核バナッハ空間の関数空間における表現者定理を証明し，有限解の存在と誤差限界を確立した。
- 適応的な特徴量選択，二次の最適化，非活性ニューロンの剪定を含む３段階アルゴリズムにより，計算効率を維持している。
漸近保存的かつ高精度な多重スケールポアソン・ネルンスト・プランク系に対するスキーム [math.NA, cs.NA, math-ph, math.MP]目的：ポアソン・ネルンスト・プランク系の多重スケールモデル
- 界面科学や生体物理学において，イオンの挙動を理解することは重要である。
- 従来のモデルでは，イオン種を独立に扱うことが多く，相互作用を十分に考慮できていない。
- 正負両イオンの相関運動を考慮したモデルにより，より正確なイオン挙動の予測を目指す。
- 本研究では，正負両イオンを同時に考慮した多重スケールモデルを提案し検証した。
- トラップの吸引範囲が問題全体のスケールよりも小さい場合でも，漸近的に保存性を保ちながら高精度な計算が可能である。
- このモデルは，界面に吸着する負イオンの挙動をより詳細に記述できると考えられる。
チェビシェフ部分空間フィルタによる固有値データセット生成の高速化 [cs.CY, cs.LG, cs.AI, cs.NA, math.NA]目的：固有値データセット生成の高速化手法
- 科学技術計算において固有値問題は重要であり，機械学習との融合が進んでいる。
- ニューラル固有値法は計算コストが低い一方，学習に必要なラベル付きデータが不足しがちである。
- 演算子間の類似性を活用し，既存手法では見過ごされてきた冗長計算を削減する。
- 提案手法SCSFは，演算子を固有値分布の類似性でグループ化することで，データセット生成を加速する。
- 過去の固有値ペアを再利用するチェビシェフ部分空間フィルタにより，計算効率を向上させる。
- 実験結果から，SCSFは既存の数値ソルバーと比較して最大3.5倍の高速化を達成する。
準中立限界におけるポアソン・ネルンスト・プランク系に対する標準および漸近保存時間離散化法 [math.NA, cs.NA]目的：ポアソン・ネルンスト・プランク系を支配する2種のイオン種の相関拡散
- 半導体デバイスや電気化学など，イオン輸送現象の解析において不可欠な研究分野である。
- デバイ長が小さい場合，標準的な数値解法では安定性の問題や初期条件の取り扱いが困難となる。
- 漸近保存型（AP）時間離散化法の有効性を検証し，安定性と効率の良い解法を提示すること。
- 提案されたAP型時間離散化法は，デバイ長が極めて小さい準中立限界においても安定性を保つ。
- IMEXスキームは，全てのデバイ長に対して漸近的に安定であり，初期条件に制約を受けないことが示された。
- 異なる時間離散化法を比較することで，それぞれの漸近的振る舞いを明らかにした。
データからパラメータ依存性のあるせん断粘度を学習する：海氷および陸氷への応用 [math.NA, cs.NA, math.OC, physics.flu-dyn, physics.geo-ph]目的：データからの流動粘性モデルの推定
- 複雑な物理システムを記述する上で，流体様の挙動を捉える非ニュートン流体モデルは不可欠である。
- 流動モデルの推定には，実験データからの適切な粘性パラメータ設定が課題となる。
- データから物理法則を満たす流動モデルを推定し，未知のパラメータ依存性を明らかにする。
- 提案手法は，テンソル不変量を用いて流動法則を記述し，物理的性質を満たすニューラルネットワークを構築する。
- 陸氷の温度依存性Glenの法則や，海氷の濃度依存性せん断成分の粘塑性モデルを推定精度良く再現可能である。
- 大規模なデータ誤差に対しても頑健であり，訓練データ外の領域でも良好に一般化する流動モデルを探索できる。
異方性媒質中のフォトニック結晶に対する，新規離散化を用いたロバストなGPU加速カーネル補償ソルバー [math.NA, cs.NA]目的：異方性媒質中の3次元フォトニック結晶におけるマクスウェル固有値問題のソルバー
- フォトニック結晶は光デバイスの高性能化に不可欠であり，その設計には高精度な電磁場シミュレーションが求められる。
- 異方性媒質中のフォトニック結晶のシミュレーションは計算コストが高く，数値的安定性の問題が存在する。
- カーネル補償法と新規離散化法により，GPUを活用した高速かつ安定なシミュレーションを実現する。
- 提案手法は，カーネル補償技術と3次元離散フーリエ変換を組み合わせることで，GPUによる高速な行列計算を可能にした。
- 特に，対角成分を持たない誘電率テンソルの離散化において，生成される行列がエルミート正定値となることを証明した。
- 複数のベンチマークテストにより，提案手法のロバスト性と精度が検証された。
BGKボルツマン方程式に対するメッシュフリーMUSCL法 [math.NA, cs.NA]目的：希薄気体の運動境界および剛体との相互作用のシミュレーション手法
- 希薄気体流れは，宇宙開発や微細加工など，様々な分野で重要である。
- 運動境界や剛体を含む流れのシミュレーションは計算が困難である。
- メッシュフリー法により，複雑な形状や運動境界への対応を目指す。
- 本手法は，運動境界を含む流れのシミュレーションにおいて，第四次の精度（一次元）および第二次の精度（二次元）を達成する。
- ドリブンキャビティ，せん断層，衝撃管などの古典的なテストケースを通して，有効性が確認された。
- 境界条件の取り扱いを改善し，反復計算や外挿処理を不要にした。
非発散形2階一様楕円型偏微分方程式に対する有限要素法の解析 [math.NA, cs.NA]目的：非発散形2階一様楕円型偏微分方程式および一様楕円型ハミルトン・ヤコビ・ベルマン方程式に対する有限要素法の解析
- 偏微分方程式は，工学，物理学等の幅広い分野で現象を記述する上で不可欠である。
- 非発散形の偏微分方程式は，既存の理論適用が難しく，数値解析上の課題が多い。
- 有限要素法による安定性解析と収束性解析を通して，この課題を解決することを試みる。
- 本研究では，有限要素法を用いて，非発散形2階一様楕円型偏微分方程式およびHJB方程式の強解の存在と一意性を示すことができた。
- 凸多面体上において，離散$W^{2,p}$-ノルムにおける最適な収束性が証明された($1 < p \leq 2$)。
- HJB方程式の係数の連続性に関する既存の仮定を緩和し，より広範な問題への適用可能性を示した。
未知の放射モーメントを持つ移動源問題に対する周波数領域法 [math.NA, cs.NA]目的：時間変動源の空間的サポート及び関連する励起瞬間復元
- 音響学や電磁気学における逆問題は，対象の特性を非直接的なデータから推定する上で重要である。
- 移動源の逆問題では，ソースの形状や位置，励起タイミングの特定が困難である。
- 遠方界データから移動源のサポート領域と励起瞬間を精密に復元することを目指す。
- 提案手法では，多周波数分解を用いることで，少ない観測方向からのデータでもソースのサポート領域を復元できる。
- 指標関数を定義することで，遠方界データから未知のパルスモーメントを特定する計算基準を確立した。
- 数値シミュレーションにより，二次元および三次元空間における手法の有効性と実現可能性が確認された。
偏微分方程式に対する線形・非線形融合ニューラル演算子 [cs.LG, cs.NA, math.NA]目的：偏微分方程式の解写像の学習
- 工学や科学におけるシミュレーションの高速化が求められており，数値解析の代替手段として注目されている。
- 従来の数値解析では計算コストが高く，パラメータ変化への対応が難しいという課題があった。
- ニューラル演算子を用いることで，効率的な直接推論を可能にし，計算コストを削減することを目指す。
- 線形効果と非線形効果を分離することで，学習効率が向上し，軽量かつ解釈可能な表現を実現した。
- 提案手法LNF-NOは，多様な偏微分方程式のベンチマークにおいて，既存手法と比較して学習時間が大幅に短縮された。
- 特に3次元ポアソン・ボルツマン方程式のケースでは，高い精度を維持しつつ，学習時間を大幅に削減することに成功した。
全変動と非負制約を用いた単一細胞顕微鏡画像のための学習辞書：収束理論と決定論的マルチチャネル細胞特徴量の統一 [cs.ET, math.NA, cs.NA]目的：単一細胞顕微鏡信号に対する変分辞書学習アルゴリズム
- 単一細胞レベルでの解析は，生命現象の理解や疾患の早期発見に不可欠である。
- 単一細胞画像のノイズや多様性により，正確な特徴抽出が困難である。
- 画像の再構成精度向上と，チャネル間の一貫性のある細胞特徴量の抽出を目指す。
- 提案手法は，エッジ保持と物理的に意味のある再構成を促進する。
- BSCCMデータセットにおいて，DPCチャネルで97.06-97.54%，Brightfieldで94.79%の高い再構成精度を達成した。
- 教師なし学習により，リンパ球と骨髄球の分離に成功し，ARI=0.575，NMI=0.471という有意な結果を得た。
フーリエ部分行列とヴァンデルモンド行列の条件数の指数的レートについて [math.NA, cs.NA]目的：フーリエ部分行列とヴァンデルモンド行列の条件数の指数的レートの正確な評価
- 線形代数においてフーリエ変換行列は基盤であり，その部分行列は様々な応用分野で出現する
- フーリエ変換行列自体はユニタリーだが，部分行列は指数的に条件数が悪化し，計算精度を阻害する
- 連続する行と列を持つ正方部分行列の指数的な悪条件化の正確なレートを解明する
- 連続列を持つ全ての部分行列，または異なる支持点を持つヴァンデルモンド部分行列に対する指数的レートの上限として，$2G/\pi$ が得られた。
- この結果は，指数的な悪条件化に関する正確な推定を対数ポテンシャルの観点から導出したより一般的な分析に基づいている。
- ヴァンデルモンド行列およびヴァンデルモンド類似行列に対する指数的な悪条件化の正確な推定手法が確立された。
幾何学的曲率フローとその離散化の双対定式 [math.NA, cs.NA]目的：幾何学的曲率フローの双対定式
- 幾何学的形状の進化は，コンピュータグラフィックス，材料科学，流体シミュレーション等，多様な分野で重要である。
- 既存の数値解法は，エネルギー保存性や安定性の確保が困難な場合がある。
- エネルギー安定性を持ち，かつ線形暗黙的な離散化スキームを設計すること。
- 本研究では，幾何学的曲率フローの双対定式を提案し，線形暗黙的でエネルギー安定な離散化スキームを構築する枠組みを提示した。
- 双対定式は，追加の双対乗数を用いることで，エネルギー散逸構造を明確にし，離散化の系統的な設計を可能にする。
- 提案スキームは，数値実験により収束性，構造保存特性，およびベンチマーク問題に対する優位性が確認された。
非線形偏微分方程式を解くためのLindbladianホモトピー解析法 [math.NA, cs.NA, quant-ph]目的：非線形偏微分方程式の求解
- 科学技術計算において，シミュレーションは不可欠であり，偏微分方程式の求解はその重要な要素である。
- 既存の量子アプローチは，次元の呪いと線形化過程における収束の問題を抱えている。
- 非ユニタリーかつ非線形なダイナミクスをシミュレーションするための量子微分方程式ソルバーを提供する。
- Lindbladianホモトピー解析法（LHAM）は，Hilbert空間の次元増加を対数的に抑える。
- LHAMは，Burgers方程式や縮約磁気流体力学方程式を含む非線形偏微分方程式に適用可能である。
- 元の非線形問題を，線形な偏微分方程式の再帰的な系列に変換し，Lindbladianダイナミクスで解く。
FEMに基づく脳波源定位における順伝播と逆伝播の相互作用：高度な源モデルと逆解法の分布的特徴 [cs.DB, math.NA, cs.NA]目的：脳波源定位における順伝播モデルと逆解法の相互関係
- 脳活動の非侵襲的な評価手段として脳波は広く用いられており，その精度向上が求められている。
- 脳波から脳活動を推定する逆問題は，解が一意に定まらないという困難を抱えている。
- 順伝播モデルと逆解法の選択が結果に大きく影響するため，その関係性の解明が重要である。
- 順伝播モデルの種類によって，再構成された脳活動の分布に特徴的なパターンが現れることが示された。
- 特定の順伝播モデルは，特定の逆解法と相性が良く，その組み合わせが推定精度に大きく影響することが明らかになった。
- 点状源を想定した順伝播モデルは，同様の仮定に基づく逆解法との組み合わせで良好な結果を示すことが確認された。
- 1
- 2