arXiv雑要約

• Top
• AI
• プログラム
• 画像・音声
• セキュリティ
• 数値解析

数値解析 - 2026/06/17 公開

• ハイブリッドデジタル・アナログ近似逆行列事前条件付きクライロフ法 [math.NA, cs.NA]目的：クライロフ部分空間法における近似逆行列事前条件付け

  • 近年，省電力な計算手法が求められており，アナログ計算の重要性が増している。
  • アナログ計算はノイズや量子化の影響を受けやすく，精度向上が課題となっている。
  • ハイブリッド手法により，デジタルとアナログの利点を活かし，ロバストな計算を目指す。
  • デジタルホストとアナログクロスバーを組み合わせたハイブリッド事前条件付け手法を提案。
  • アナログ実行が事前条件子の設計に影響を与えることを示し，デジタル事前条件子の強さが必ずしも有効ではないことを指摘。
  • ブロックヤコビ事前条件付けスキームを比較検討し，アナログ環境に適したパラメータ設定の重要性を示した。

  Link: https://arxiv.org/abs/2606.17227

• 流体多孔弾性構造連成における領域分解法 [math.NA, cs.NA]目的：流体多孔弾性構造連成のStokes-Biotモデルの数値解法

  • 構造工学や地盤工学において，流体と固体の連成問題は重要な役割を果たす。
  • 複雑な形状や大規模な問題に対して，数値計算の効率性が課題となる。
  • 領域分解法を用いることで，並列計算による効率的な解法を実現する。
  • Stokes-Biotモデルに対する非重複領域分解法を開発し，混合形式で数値解を求めることに成功した。
  • 界面条件をLagrange乗数を用いて組み込み，安定な混合有限要素空間を用いた離散化を行った。
  • 結果として得られる界面演算子が正定値であることを示し，GMRES反復法の収束性を解析的に評価した。

  Link: https://arxiv.org/abs/2606.17363

• ソボレフ空間における多入力ニューラル演算子の一般化保証 [cs.RO, cs.LG, cs.NA, math.NA]目的：多入力ニューラル演算子の近似および一般化誤差の評価

  • 偏微分方程式や科学計算において，演算子学習は重要な役割を担う。
  • 複数の入力関数を扱う演算子学習の理論的保証は十分ではない。
  • 異なる次元とソボレフ正則性を持つ多入力関数に対する誤差評価を行う。
  • 提案手法では，各入力空間が最終的な誤差限界に与える影響を定量的に評価できる。
  • 平衡状態では，近似および一般化率は入力次元，正則性，ソボレフ秩序間の相互作用によって決定される。
  • モデルの複雑さへの依存性は，\(\log\log/\log\)型構造を維持している。

  Link: https://arxiv.org/abs/2606.17419

• 四重カール問題に対するIPDG法の収束性 [math.NA, cs.NA]目的：四重カール問題に対する内側ペナルティ（IP）不連続ガレルキン（DG）法の収束解析

  • 電磁場のシミュレーション等に不可欠な問題であり，高精度な数値解法の開発が求められている。
  • 非凸多面体領域における既存の数値解法では，解の正当性や収束性が十分に保証されていない場合がある。
  • 低正則度解を持つ四重カール問題に対するIPDG法の性能を理論的に解明し，収束性を保証することを目的とする。
  • 最小限の正則性仮定の下で，数値解が真の解に強く収束することが証明された。
  • より高い正則性条件下では，解の正則度に依存する最適な収束レートの推定が確立された。
  • これらの結果は，既存の研究を補完し，当該IPDG法の四重カール問題における性能を完全に明らかにする。

  Link: https://arxiv.org/abs/2606.17428

• オペレータブースティングによるパレート効率な偏微分方程式の代理モデル生成 [cs.LG, cs.NA, math.NA, physics.comp-ph]目的：偏微分方程式のコンパクトな代理モデル構築

  • 科学計算において，偏微分方程式の解法は重要であり，計算コスト削減が求められている。
  • ニューラルオペレータは高精度だが，モデルサイズが大きいため，保存・展開・評価にコストがかかる。
  • モデル圧縮を経ずに，直接コンパクトな代理モデルを構築することで，効率的な解法を可能にする。
  • オペレータブースティングは，FNO，DeepONet，CNOといった様々なアーキテクチャで有効に機能した。
  • 30のデータセット・アーキテクチャペアにおいて，21組で精度向上，17組で有意な改善が見られた。
  • パラメータ数は約72-95%削減され，精度とパラメータ数のパレート最適化を実現した。

  Link: https://arxiv.org/abs/2606.17460

• 線形双曲型保存則を解くためのデータ駆動型離散化の設計原則 [cs.RO, math.NA, cs.NA]目的：線形双曲型保存則を解くためのデータ駆動型離散化の設計原則

  • 近年，機械学習を用いた数値計算手法が注目されており，従来の数値解法の限界を克服する可能性を秘めている。
  • データ駆動型離散化では，学習データに依存しやすく，未知のデータに対する汎化性能が課題となっている。
  • 本研究は，データ駆動型離散化の安定性と汎化性能を向上させるための設計原則を明らかにすることを目的とする。
  • セル平均のみに基づく再構成では，多価な学習問題が生じ，幅広い曲率領域を含む学習データでの汎化が制限されることが示された。
  • 局所ステンシルスケールでの正規化による半線形性の強制により，数値安定性と良好な汎化が実現できることが示された。
  • 新たなデータ駆動型フラックスリミタは，ほぼ線形領域で穏やかな反拡散を導入することで，形状保存において古典的なOSTVD3スキームよりも優れていることが示された。

  Link: https://arxiv.org/abs/2606.17497

• 粗いデータが役立つ場合：積分作用素におけるカーネル回復の収束レートにおける相転移 [math.NA, cs.NA]目的：積分作用素におけるカーネル回復の収束レートと入力データの粗さの関係

  • 非局所連続体力学など，データからの演算子学習において重要な課題である。
  • 入力データの粗さがカーネル回復の精度に与える影響は未解明な点が多い。
  • 入力データの粗さが収束レートに及ぼす影響を定量的に評価し，最適な粗さを探る。
  • 入力データの粗さが，問題の悪条件度を決定し，収束レートに影響を与えることが示された。
  • 粗さが不十分な場合と過剰な場合で，カーネル回復の性能が変化する相転移が確認された。
  • 理想的な設定と現実的な設定の両方において，数値実験により理論的結果が支持された。

  Link: https://arxiv.org/abs/2606.17672

• 大規模非自律微分リカチ方程式の解法：数値的研究 [math.NA, cs.NA]目的：大規模非自律微分リカチ方程式の数値解法

  • 制御理論や最適化問題において重要な役割を果たすため，その解法は不可欠である。
  • 大規模問題に対する効率的な解法が確立されておらず，計算コストが課題となっている。
  • 微分リカチ方程式を解く数値パイプラインにおける手法の性能評価と限界の明確化。
  • BDFを用いた離散化と，最先端のgAREソルバー（Newton-Kleinman法と低ランクRADI反復法）を組み合わせた。
  • 初期値戦略（ゼロ初期化とウォームスタート）の効果を比較し，それぞれの性能を評価した。
  • 既存研究では単独のgARE解法に焦点を当てていたが，DREの数値解法パイプライン全体での応用可能性を示した。

  Link: https://arxiv.org/abs/2606.17744

• 振動弦における点状制動子の最適配置とチューニング：Lyapunovフレームワークによるアプローチ [cs.NI, math.NA, cs.NA]目的：振動弦に対する少数の点状粘性制動子の最適配置とチューニング

  • 弦振動の制御は，楽器の音色設計や構造物の減衰において重要である。
  • 制動子の配置や調整が最適化されていない場合，期待される減衰効果が得られないことがある。
  • Lyapunovフレームワークを用いて，制動子の配置とチューニングを効率的に最適化すること。
  • エネルギー，変位，初期状態に対する最適化基準を3つ検討し，制動子位置と粘性に関する勾配を導出した。
  • 各基準において，1回の正問題と1回の随伴問題のLyapunov解法のみで勾配が計算可能であることを示した。
  • 強い非凸性への対処として，単一制動子式に基づくヒューリスティックな初期値生成法を提案し，数値例で有効性を示した。

  Link: https://arxiv.org/abs/2606.17748

• 時間積分をフィルタリングと捉える：時空間離散化を考慮したLES定式化 [math.NA, cs.NA]目的：離散化を考慮した亜格子規模モデルにおける正確な離散フラックスの表現

  • 大規模数値シミュレーションにおいて，計算コストを抑えつつ高精度な結果を得ることが重要である。
  • 従来の亜格子規模モデルでは，離散化誤差の影響が十分に考慮されていなかった。
  • 時間積分スキームの離散化誤差を考慮し，より正確な亜格子規模モデルを構築すること。
  • 時間積分における前方Euler法が，正確な時間微分をフィルタリングしたものであることが示された。
  • 時空間離散化を考慮したフラックス分解により，時間積分次数に応じたフラックス・カドラチュア誤差が新たに導出された。
  • Burgers方程式を用いた実験では，この時間項がCFL数に依存して増加し，空間のみのモデルでは精度が低下するケースでも，Lax-Wendroff型の拡散項を加えたSmagorinskyモデルは高精度を維持した。

  Link: https://arxiv.org/abs/2606.17759

• 高精度空間・時間結合コンパクト気体運動スキームの有限差分実装 [math.NA, cs.NA]目的：高精度空間・時間結合コンパクト気体運動スキームの有限差分実装

  • 気体流れのシミュレーションは，航空宇宙，エネルギー，環境など，幅広い分野で不可欠である。
  • 高精度なシミュレーションには，計算コストが高く，特に複雑な流れ場では課題となる。
  • 計算効率を維持しつつ，高精度な気体流れシミュレーションを実現することが本研究の目標である。
  • 本研究では，構造化グリッド上で空間・時間結合高精度スキームを効率的に実装するための新しい空間離散化戦略を提案した。
  • ノードおよび界面における物理的フラックスから数値フラックスを導出することで，保存形の非線形コンパクト離散化を達成した。
  • 提案スキームは，滑らかな多重スケール構造から強い衝撃波まで，幅広い流れ特徴を高い精度で解決できることが検証された。

  Link: https://arxiv.org/abs/2606.17772

• 二層薄膜モデルに対するリーマン不変量に基づく代替WENOスキーム [cs.CL, math.NA, cs.NA]目的：二層薄膜モデルの数値解法

  • 薄膜流れは，半導体プロセスやコーティング技術など，様々な工学分野で重要な役割を果たす。
  • 高精度かつ効率的な数値計算手法が求められるが，WENO法は計算コストが高いという課題がある。
  • リーマン不変量を利用することで，計算コストを削減しつつ，WENO法の精度を維持することを目指す。
  • 本研究では，リーマン不変量に基づく変数変換を導入し，計算効率の改善に成功した。
  • 提案手法は，従来のWENO法と同等の精度を維持しつつ，計算コストを大幅に削減できることが示された。
  • 新たなベンチマークテストケースを用いて，提案手法の有効性が確認された。

  Link: https://arxiv.org/abs/2606.17862

• 双線形ポアソン・ネルンスト・プランク・ナビエ-ストークス系に対する適合的仮想要素法 [math.NA, cs.NA]目的：第四階ポアソン・ネルンスト・プランク・ナビエ-ストークス(PNP-NS)系の数値解法

  • 生体内のイオン輸送や流体現象など，多岐にわたる物理現象を記述する上で重要である。
  • 高次微分方程式の離散化における精度と安定性の確保が課題となる。
  • 圧力ロバスト性を備えた仮想要素法により，計算コストを抑えつつ高精度な解を得る。
  • 提案された適合的仮想要素法は，静電ポテンシャル，濃度，速度に対して最適な収束率を示すことが理論的に証明された。
  • 特に，低粘性条件下を含む様々な条件下で，数値実験によって理論的な収束率が確認された。
  • 圧力ロバストな設計により，計算コストを削減しつつ，他の変数の収束率を損なわないことが示された。

  Link: https://arxiv.org/abs/2606.17918

• 質量ランプ化と変換平滑子を用いたFEECのマルチグリッド前処理 [math.NA, cs.NA]目的：de Rham複体で自然に定式化される偏微分方程式の数値解法における効率的な前処理法の開発

  • 有限要素法は，様々な工学・科学分野で広く利用されており，複雑な形状や境界条件への対応が可能である。
  • 構造保存型混合有限要素法は，不定な線形システムを生じやすく，効率的なソルバーの設計が課題となっている。
  • 質量ランプ化と変換平滑子を組み合わせることで，安定な前処理法を構築し，計算コストを削減することを試みる。
  • 質量ランプ化されたFEEC質量行列と変換平滑子を用いるマルチグリッド前処理フレームワークを提案した。
  • Mildなh-uniform norm-equivalenceの仮定の下，質量ランプ化されたシステムの安定性とスペクトル同値性を証明した。
  • Hodge-Dirac演算子，混合Hodge-Laplacian，および2D/3D静電場問題における数値実験で，提案手法のロバスト性が確認された。

  Link: https://arxiv.org/abs/2606.17934

• 反ガウスラグランジュ補間：クリストッフェル・ダルブー形式，重心表現，直交展開 [cs.HC, cs.NI, cs.NI, math.NA, cs.NA]目的：反ガウス則のノードに基づくラグランジュ補間多項式の新たな定式化

  • 数値計算において，関数の近似は重要であり，補間はその基本的な手法の一つである。
  • 古典的なラグランジュ補間は，計算コストが高い場合があり，数値的な不安定性を示すことがある。
  • 反ガウス則に基づく補間形式を導出し，計算効率と安定性を向上させることを目指す。
  • 反ガウス則に対応したクリストッフェル・ダルブー核を用いて，補間多項式を表現した。
  • 古典的なラグランジュ多項式の重心表現に類似した形式で補間多項式を導出した。
  • 離散反ガウス内積に関する直交多項式の線形結合として補間多項式を表現した。

  Link: https://arxiv.org/abs/2606.18018

• 圧縮性流れに対する4次精度保存的適応マルチ解像度ウェーブレット風上差分スキーム [math.NA, cs.NA, physics.comp-ph]目的：圧縮性流れの数値シミュレーションにおける高精度・高効率なスキームの開発

  • 圧縮性流れの解析は，航空宇宙，エネルギー，環境など幅広い分野で不可欠である。
  • 従来のスキームでは，解像度の高い計算に多大なコストがかかり，効率が課題であった。
  • マルチ解像度解析を用いて，計算コストを抑えつつ高精度なシミュレーションを実現する。
  • 本スキームは，期待される4次精度を達成し，厳密な保存性を維持することが示された。
  • 機械精度に近い保存誤差を保ちつつ，指定された閾値内で数値誤差を制御できることが確認された。
  • 衝撃波や接触不連続を鮮明に捉え，マルチスケールな滑らかな構造を効率的に解析できる。

  Link: https://arxiv.org/abs/2606.18026

• INI-VPINN：幾何学的特異性を持つ多材料領域のための暗黙的なノイマンおよび界面条件付き変分物理情報ニューラルネットワーク [cs.HC, cs.SI, math.NA, cs.LG, cs.NA, physics.comp-ph]目的：多材料領域における物理現象の予測

  • 工学・科学におけるシミュレーションの重要性が増しており，高精度な手法が求められている。
  • 従来の物理情報ニューラルネットワークは，複雑な境界条件や界面条件の取り扱いに課題があった。
  • 複雑な形状を持つ多材料領域における物理現象を高精度に，効率的に予測すること。
  • 提案手法であるINI-VPINNは，ノイマン境界条件と界面条件を自然に組み込むことができる。
  • 追加の損失関数や複数のサブドメインネットワークを必要とせず，物理的な整合性を確保する。
  • ポアソン方程式とラプラス方程式の解析において，既存手法と比較して高い精度と収束性を示した。

  Link: https://arxiv.org/abs/2606.18032

• 大規模正則化のためのスケッチ型一般クリロフ部分空間法 [math.NA, cs.NA]目的：大規模正則化問題に対する効率的な投影手法の開発

  • 大規模データ処理において，計算コストとメモリ使用量の削減が重要課題となっている。
  • 一般クリロフ部分空間法では，QR分解や基底ベクトルの直交化処理に計算コストがかかる。
  • スケッチング技術を用いて計算コストを削減し，大規模問題への適用を可能にすること。
  • 提案手法sGKSは，QR分解を圧縮行列に対して行うことで，計算量を大幅に削減する。
  • 基底ベクトルの直交化を省略することで，さらなる計算コストの削減を実現する。
  • 画像復元，X線CT，地震波トモグラフィなどへの応用実験により，標準的なGKSと同等の再構成品質を維持しつつ，計算時間を短縮できることを示す。

  Link: https://arxiv.org/abs/2606.18073

• Chebfunによるプログラミング：リチャーズ方程式のケーススタディ [cs.AR, math.NA, cs.NA]目的：リチャーズ方程式の解法におけるChebfunの活用

  • 偏微分方程式の数値解法は，工学や科学の様々な分野で不可欠である。
  • 非線形境界値問題の自動解法は，初期推測値に依存して収束しない場合がある。
  • Chebfunの収束性問題を克服し，リチャーズ方程式の正確な解を求める。
  • Chebfunのchebopクラスは高精度な解を提供するが，初期推測値が解から離れると収束しない場合がある。
  • 微分演算子の形状に応じた明示的な線形化と，L-スキームが収束性の問題を克服し，広範な一次元定常問題に対応する。
  • Chebfun2やChebfun3は，古典的な離散化スキームで得られた非定常解の精度と収束性を評価するのに役立つ。

  Link: https://arxiv.org/abs/2606.18118

• 物理情報ニューラルネットワークを用いた非線形偏微分方程式の凸準線形化法 [cs.NI, math.NA, cs.LG, cs.NA, physics.comp-ph]目的：非線形偏微分方程式の数値解法

  • 偏微分方程式は，自然現象や工学における様々な問題を記述する上で不可欠である。
  • 従来のPINNは，非凸な最適化問題を解くため，学習が不安定になりやすい。
  • 準線形化法を用いることで，問題を一連の線形部分問題に置き換え，PINNの学習を安定化させる。
  • ベルマン・カラバ準線形化法により，非線形問題をパラメータに関して線形な試行空間への配置によって離散化された線形部分問題の系列に帰着させる。
  • 本手法（LiL-Q）は，多くのベンチマーク問題において，少ない外反復回数で収束し，パラメータ数に依存しない。
  • 試行空間上に厳密解が存在する場合，一度の解法で機械精度まで解を回復できる。

  Link: https://arxiv.org/abs/2606.18175

• 許容可能な接線運動を持つ幾何学的勾配フローに対する最小移動フレームワーク [math.NA, cs.NA]目的：幾何学的勾配フローの有限要素近似に関する最小移動フレームワークの開発

  • 幾何学的形状の時間発展を数値的に扱う上で，安定性と精度が重要である。
  • 従来の数値スキームでは，形状の悪化や不安定性が問題となる場合がある。
  • 許容可能な接線運動の制約を導入し，安定性と精度を向上させることを目指す。
  • 本研究では，法線方向の変位に対する計量減衰項と，表面上のディリクレエネルギーを組み合わせた離散変分問題を提案した。
  • これにより，平均曲率フローや表面拡散フローなど，多様な幾何学的勾配フローを表現することが可能となった。
  • 数値実験の結果，提案手法は従来のスキームと比較して，より安定した挙動と良好なメッシュ品質を示すことが確認された。

  Link: https://arxiv.org/abs/2606.18177

• 行列のジョルダン構造認識のためのエンコーダー・トランスフォーマー構造 [math.NA, cs.NA]目的：行列のジョルダン構造の認識

  • 線形代数や数値解析において，行列の構造解析は重要である。
  • 行列のジョルダン構造の判定は計算コストが高く，大規模行列では困難である。
  • 機械学習を用いて効率的にジョルダン構造を認識することを目指す。
  • 提案モデルは，合成データに対する分類精度が高く，古典的な数値的ベースラインを上回る。
  • 学習データに含まれない行列クラスに対しても，モデルは良好に一般化することが示された。
  • この結果は，提案アーキテクチャが行列の欠陥性に関連する構造的特性を捉えていることを示唆する。

  Link: https://arxiv.org/abs/2606.18185

• 学習された偏微分方程式シミュレータの監査用診断ソフトウェア群 [cs.MS, cs.NA, math.NA, physics.comp-ph]目的：学習された偏微分方程式シミュレータの監査

  • 高価な数値ソルバーの代替として学習モデルの利用が進む分野である。
  • 標準的なL2誤差では，モデルが整合性のある時間推移を行うか判断できない。
  • 学習モデルの時間推移演算子としての振る舞いを評価する。
  • 本ソフトウェア群は，状態誤差，半群の一貫性，有限差分生成子とのずれ等，多様な構造的診断を提供する。
  • 検証実験では，L2誤差が改善しても構造的診断が悪化する場合があることが示された。
  • これにより，単一の誤差指標ではなく，解釈可能な診断パネルによるソフトウェアレベルでの監査が可能となる。

  Link: https://arxiv.org/abs/2606.18200

• 双曲型保存則に対する局所・大域ニューラル演算子 [math.NA, cs.NA]目的：双曲型保存則の解の近似精度向上

  • 物理現象のシミュレーションにおいて，精度と効率が重要視される分野である。
  • 既存のニューラル演算子は，滑らかな構造と急激な変化を同時に捉えるのが難しい。
  • 大規模な計算コストを抑えつつ，数値解の精度と安定性を向上させることを目指す。
  • 提案手法LGNOは，FNOよりも短い時間ステップでの誤差を2～5倍削減し，長時間の計算においても高い精度を維持した。
  • 粗いグリッド上でLGNOによる長時間計算は，より細かいグリッド上で実行された従来のWENO-Zスキームよりも数値拡散が少ない結果となった。
  • 学習された演算子は，離散的な流れ写像を効果的に学習し，従来の数値スキームを上回る数値拡散制御の可能性を示唆している。

  Link: https://arxiv.org/abs/2606.18221

• 偏微分方程式に対するADER-DG法の理論と内部構造 [physics.flu-dyn, cs.NA, math.AP, math.NA, physics.app-ph, physics.comp-ph]目的：ADER-DG法の安定性境界値の導出

  • 偏微分方程式の数値解法は，科学技術計算の根幹であり，高精度かつ安定な手法が求められている。
  • ADER-DG法は高精度な手法だが，安定性の評価が難しく，適切な計算パラメータ設定が課題であった。
  • 本研究は，ADER-DG法の安定性条件を厳密に導出し，計算パラメータ設定の指針を与えることを目指す。
  • 任意の次数NにおけるADER-DG法の安定性境界値が，行列の固有値に着目することで厳密に導出された。
  • 既存の安定性推定式が過大評価されていることが示され，新たな漸近的な推定式が提案された。
  • 線形方程式およびオイラー系に対する数値実験により，導出された理論的結果の妥当性が確認された。

  Link: https://arxiv.org/abs/2606.17100

• ベイズポアソン・ランダムガンマテンソル分解：国際貿易フローへの応用 [stat.ME, cs.NA, econ.EM, math.NA, stat.AP, stat.ML]目的：国際貿易フローにおけるデータの特徴を捉えるためのテンソル分解モデル

  • 国際貿易などの多次元データ分析において，データの構造を理解することは重要である。
  • 既存手法では，ゼロが過剰なデータや分散が異なるデータを同時に扱うことが困難である。
  • 多次元データを効率的に分析し，潜在的な依存関係を明らかにすることを目的とする。
  • 提案手法は，国際貿易データから，輸出，輸入，製品，年間の多次元的な依存関係を明らかにした。
  • 従来の重力モデルやペアワイズネットワーク分析では捉えきれない複雑な関係性を検出することに成功した。
  • 大規模なデータセットへの適用を可能にする，変分推論とモンテカルロ法を組み合わせたアルゴリズムを開発した。

  Link: https://arxiv.org/abs/2606.17267

• レーヴナー順序における最小上限を厳密に計算するアルゴリズム [quant-ph, cs.PF, math.FA, cs.NA, math.NA, math.OC]目的：レーヴナー順序における最小上限の厳密計算手法

  • 最適化，数値線形代数，制御理論など広範な分野で重要な役割を果たす
  • 複数のエルミート行列に対して，最小上限（または最大下限）が一意に存在しない場合がある
  • 任意の有限個のエルミート行列集合に対して，最小上限を厳密に計算すること
  • 提案された反復法は，最大でn回の反復で終了することが示された
  • アルゴリズムの厳密性は，有限次元線形代数の標準的な結果を用いて証明された
  • スタットが探求した最小性の代数的特徴付けの自立した証明が提供された

  Link: https://arxiv.org/abs/2606.18173

• 潜在生成モデルにおける幾何構造を保持するエンコーダ/デコーダ [cs.CL, eess.SY, cs.SY, math.NA, cs.LG, cs.NA]目的：潜在空間における幾何構造の保持

  • 生成モデルはデータ分布を学習し，新たなサンプルを生成する上で重要である。
  • 高次元入力空間での拡散モデルの計算コストが課題となっている。
  • 幾何構造を保持するエンコーダ/デコーダにより，学習効率と生成性能の向上を目指す。
  • 提案手法はVAEとは異なる理論的特性を持つエンコーダ/デコーダフレームワークを提供する。
  • この幾何構造を保持するエンコーダは，エンコーダとデコーダの学習過程において大きな利点を示す。
  • エンコーダの学習収束性に関する理論的保証と，デコーダの学習速度向上を示す結果が得られた。

  Link: https://arxiv.org/abs/2501.09876

• コルモゴロフ方程式に対する空間時間不連続ガレルキン法の漸近的数値ハイポコエルシビティ [math.NA, cs.NA]目的：コルモゴロフ方程式の空間時間不連続ガレルキン法による離散化に関する漸近的な数値ハイポコエルシビティの存在

  • 輸送現象や拡散現象を伴う運動論的方程式の解析において，ハイポコエルシビティは重要な概念である。
  • 既存のガレルキン型スキームでは，離散レベルでのハイポコエルシビティ特性の証明が困難であった。
  • 空間時間不連続ガレルキン法における離散的なハイポコエルシビティ特性を漸近的に示すことで，この問題を解決する。
  • 空間時間不連続ガレルキン法が，離散レベルにおいても対応するハイポコエルシビティ特性を持つことが示された。
  • この特性は，修正されたスカラー積に基づいて定義されるノルム族における離散的なインフ・スープ安定性を示すことで証明された。
  • このノルム族は，数値解の全勾配を含むため，離散レベルでの完全なスペクトルギャップ/ポアンカレ型不等式が示された。

  Link: https://arxiv.org/abs/2505.19222

• 潜在空間における幾何学的フロー正則化：効率的な曲率変動を用いた滑らかなダイナミクス [math.NA, cs.NA]目的：潜在空間への幾何学的フローの導入を通じた，滑らかな数値手法型ダイナミクスの敵対的学習の影響抑制

  • 機械学習における表現学習の質向上は，モデルの汎化性能とロバスト性を高める上で重要である。
  • 敵対的学習は，モデルを騙しやすく，学習データのわずかな摂動に対して脆弱になるという問題がある。
  • 潜在空間に幾何学的構造を導入することで，敵対的学習に対するロバスト性を高め，より滑らかなダイナミクスを実現する。
  • 敵対的学習の影響を抑制するため，エンコーダー・デコーダーモデルの潜在空間に幾何学的フローを導入する戦略を提案した。
  • ガウス曲率を積分により計算し，閉路循環積分を用いた損失関数を開発することで，高次のリッチ曲率の計算コストを回避した。
  • 幾何学的構造の導入により，ゼロショット性能と敵対的攻撃に対する頑健性が向上することを示した。

  Link: https://arxiv.org/abs/2506.09679

• 周期境界条件における長距離相互作用のゼータ関数展開：微磁気学への応用 [math.NA, cond-mat.str-el, cs.NA]目的：周期境界条件下の長距離相互作用ポテンシャル計算の効率化

  • 微磁気学をはじめとする分野において，長距離相互作用の正確な計算は重要である。
  • 無限和を有限個の写像で打ち切る手法は，誤差の制御が困難である。
  • ゼータ関数を利用し，誤差を制御しつつ効率的な計算を実現する。
  • 一般的な形状に対して，ゼータ関数の導関数を用いることで無限和を正確に計算できる。
  • 計算コストは有限和による打ち切り計算と同程度であり，高速に収束する。
  • 減磁界の漸近挙動に関する新たな修正項を特定し，高精度なベンチマーク値を提供した。

  Link: https://arxiv.org/abs/2509.26274

• ブロックの安定化ランダム解を用いた，病的な線形システムの高速ソルバー [math.NA, cs.NA]目的：病的な線形システムの解法

  • 科学技術計算において，線形システムの高速かつ安定な解法は不可欠である。
  • 病的な線形システムは，数値的に不安定であり，従来の解法では収束が遅い，または失敗する。
  • ブロックの安定化ランダム解を用いることで，病的な線形システムの効率的な解法を確立する。
  • 提案手法は，過剰決定/過小決定された疎行列または密行列の線形システムにおいて，高い性能を発揮する。
  • ブロック更新時の正則化と動的な提案分布によって，ソルバーの効率と安定性が向上する。
  • 本手法は，他の反復数値法の事前ソルバーやGMRESソルバーの内部反復としても利用可能である。

  Link: https://arxiv.org/abs/2510.02156

• 多面体メッシュに対するコンパクト不連続ガレルキン法 [math.NA, cs.NA]目的：多面体メッシュ上の楕円問題に対するhpバージョン法の安定性と収束性解析

  • 近年，複雑な形状のシミュレーション需要が高まっており，汎用的なメッシュ形状への対応が重要である。
  • 不連続ガレルキン法は計算コストが高い場合があり，効率的な実装が課題となっている。
  • CDG法を用いて，LDG法やBR2法よりもコンパクトな計算スキームを実現し，計算効率を向上させる。
  • CDG法は，剛性行列の計算においてLDG法やBR2法と比較してコンパクトなステンシルとなり，高速な組み立てと解法が可能である。
  • 要素あたりの面の数に応じて，強制性が方法パラメータにどのように依存するかを数値的に調査した。
  • 可変な多項式次数を使用する際の数値フラックスの方向の選択が重要であることが示された。

  Link: https://arxiv.org/abs/2601.07757

• 心電生理学における不連続ガレルキン離散化のための集約型マルチグリッドソルバー [cs.CL, eess.AS, math.NA, cs.NA]目的：心電生理学におけるモノドメインモデルの不連続ガレルキン離散化から生じる線形システムの反復ソルバーの収束加速

  • 心臓の電気生理学的モデリングは，不整脈の理解と治療に不可欠であり，計算効率が重要である。
  • 高解像度メッシュを用いた不連続ガレルキン法は計算コストが高く，大規模問題への適用が困難である。
  • 集約型マルチグリッドソルバーにより，計算コストを削減し，大規模問題への適用を可能にすることを目指す。
  • 提案手法は，粗いレベルで一般化された多角形グリッドを活用することで，効率的なマルチグリッドフレームワークを構築する。
  • 二次元および三次元ドメインにおける数値実験の結果，ソルバーの有効性とスケーラビリティが確認された。
  • 離散化の多項式次数やマルチグリッドプリコンディショナーのレベル数に応じて，良好なスケーラビリティを示した。

  Link: https://arxiv.org/abs/2602.16312

• 確率二分法の収束解析 [math.NA, cs.NA, math.PR]目的：確率二分法の収束率

  • 最適化問題は科学技術の根幹であり，効率的な解法が求められている。
  • 既存の二分法は，初期区間や根の位置に依存する場合がある。
  • 任意の分布下での収束率を解析し，その依存性を明らかにすること。
  • 確率的な切断点の選択においても，収束率は切断分布の期待値$\mathbb{E}[c(1-c)]$のみに依存することが示された。
  • K個の確率的な切断を適用した拡張手法についても収束特性が解析された。
  • 理論的結果は統計シミュレーションによって検証され，その妥当性が確認された。

  Link: https://arxiv.org/abs/2603.20483

• リーマン多様体上のウェルセンター化された三角形分割におけるガウス・ウィッテル・マターン場の近似 [math.NA, cs.LG, cs.NA, stat.ML]目的：ガウス・ウィッテル・マターン場の離散ガウスマルコフ確率場による収束的近似

  • 確率場は，空間統計学や機械学習など幅広い分野で重要な役割を果たす。
  • 高次元空間における確率場の効率的な計算が課題となっている。
  • リーマン多様体上の確率場を，汎用的な近似手法で効率的に計算することを目指す。
  • 本研究では，離散外微分計算（DEC）の発展に基づき，ガウス・ウィッテル・マターン場を近似する新しい手法を提案した。
  • 提案手法は，パラメータαとκに依存せず，精度行列と共分散行列を普遍的に近似できる。
  • また，点ごとの測定や区分的に平滑化された測定を等しく良く近似し，計算コストも低い。

  Link: https://arxiv.org/abs/2606.13827

• インピーダンス半空間における音響散乱に対するPML-BIE法の収束性 [math.NA, cs.NA]目的：PML-BIE法の収束性に関する一般的な枠組みの確立

  • 音響散乱問題は，工学分野において重要であり，様々な応用が期待される。
  • PML-BIE法の理論的な収束性の証明は，多くの物理的に関連する設定で未解決の課題であった。
  • インピーダンス半空間における音響散乱問題を例に，PML-BIE法の収束性を厳密に証明すること。
  • PML-BIE法の収束性を，PMLの打ち切り偏微分方程式の収束性，PML問題と厳密なPML-BIEの同値性，核の近似による計算可能なPML-BIEの収束性の3つの要素に分解する枠組みを提示した。
  • インピーダンス半空間問題において，厳密なPML-BIEおよび計算可能なPML-BIEの収束性を証明した。
  • 最終的な誤差境界は，PML吸収電力の増加に伴い指数関数的に減少する。

  Link: https://arxiv.org/abs/2606.15878

• 不均質井戸システムの破壊に関する相場モデル解析：ケーシング偏心率とセメント・地層界面強度 [cs.CE, cond-mat.mtrl-sci, cs.NA, math.NA, physics.geo-ph]目的：不均質井戸システムにおける亀裂の発生と伝播機構

  • 油田開発において，井戸の安定性は生産効率と安全性を確保する上で重要である。
  • 複雑な地層条件下では，井戸周辺の亀裂発生予測は依然として困難である。
  • ケーシング偏心率や界面強度などが亀裂発生に与える影響を定量的に評価する。
  • ケーシングの偏心率は，亀裂発生時の圧力と亀裂経路に大きく影響し，最大で30%の圧力低下を引き起こす。
  • 偏心率が50%を超えると，地層内で傾斜した亀裂が発生し，従来の同心配置では見られない破壊モードが生じる。
  • 弱い界面では，セメント内の亀裂が地層界面に沿って偏向し，応力緩和の遅延とさらなる亀裂の発生リスクを高める。

  Link: https://arxiv.org/abs/2606.16346

• 準一様性なし移動最小二乗法：確率的アプローチ [math.ST, cs.NA, math.NA, stat.TH]目的：確率的モデル下における移動最小二乗法の近似誤差と局所滑らかさの評価

  • 非パラメトリック推定は，データ駆動型分析において重要な役割を担う。モデルの仮定が少ないため，幅広いデータに対応可能。
  • 従来の移動最小二乗法は，決定論的な仮定に基づいているため，ランダムサンプリング下では適用が困難である。
  • ランダムサンプリング下での移動最小二乗法の理論的性質を確率的に解析し，その有効性を検証する。
  • ランダムサンプリングにおける充填距離 $h_n$ と分離 $\delta_n$ の確率的挙動が定量化された。
  • 移動最小二乗法の近似誤差が，古典的な結果と同様に $h_n^{\,k-m}$ として減衰することが証明された。
  • 移動最小二乗法による近似が，高い確率で局所的に滑らかであることが示された。

  Link: https://arxiv.org/abs/2601.13782

• 1