arXiv雑要約

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

数値解析 - 2026/04/21 公開

• 差分変分二複体と多シンプレクティック系 [math-ph, cs.NA, math.MP, math.NA]目的：差分方程式系の幾何学的・代数的性質の研究

  • 離散的な物理現象の解析において，変分法は重要な役割を果たす。
  • 従来の変分法は連続系を対象としており，差分系への拡張が課題であった。
  • 差分系における変分問題や保存則を幾何学的に解析する手法を確立すること。
  • 差分変分二複体を構築し，差分方程式系の幾何学的・代数的性質を解析した。
  • 二複体の完全性が，座標系に依存しない離散変分問題の枠組みを提供する。
  • 多シンプレクティック系に対する差分多モーメント写像を定義し，保存則との関係を明らかにした。

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

• シエルピンスキーガスケット上の倉本モデル I：調和写像 [math-ph, cs.NA, math.AP, math.MP, math.NA]目的：シエルピンスキーガスケットから円への調和写像の理論的基盤の確立

  • 複雑なネットワークにおける同期現象の理解は，物理学，生物学，社会科学など幅広い分野で重要である。
  • フラクタル構造を持つグラフ上での調和写像の性質は未解明な部分が多く，数学的な困難を伴う。
  • シエルピンスキーガスケットのようなフラクタル上での調和写像の構成法と性質を明らかにすることで，倉本モデルの引力体の理解に貢献する。
  • シエルピンスキーガスケットから円への調和写像の一意存在に関するシュトリハルツの定理を幾何学的に証明した。
  • この結果を，ポスト臨界有限（p.c.f.）フラクタルへと拡張し，より広範なクラスのフラクタル上での調和写像の理論を構築した。
  • カバー空間の構成と調和拡張アルゴリズムを用いて，調和写像を効率的に構築する方法を開発し，数値例によってその有効性を示した。

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

• 特異値に基づくフーリエ領域正則化による大気トモグラフィ (SAFR) [astro-ph.IM, cs.NA, math.NA]目的：大気乱れのプロファイルを再構成すること

  • 適応光学システムにおいて，大気の影響を補正し，地上望遠鏡の画像品質を向上させるために不可欠である。
  • 従来の行列ベクトル乗算アプローチでは，計算コストとメモリ消費量が大きいという課題があった。
  • 高速で低メモリなアルゴリズムを提供し，特にELTのMORFEOのようなMCAOシステムの性能向上に貢献する。
  • SAFRアルゴリズムは，高速フーリエ変換 (FFT) の利用と計算負荷の高い部分の事前計算により，高速化とメモリ削減を実現した。
  • 数値実験の結果，SAFRは再構成品質を維持しつつ，従来のMVMアプローチよりも計算コストを削減できることが示された。
  • MORFEOの物理パラメータを模したCOMPASS環境での評価により，SAFRのMCAOシステムへの適用可能性が確認された。

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

• 最適化のための確率的制御手法 [math.OC, cs.LG, cs.NA, math.NA, math.PR]目的：最適化問題における確率的制御枠組み

  • 複雑な最適化問題への適用が期待されており，様々な分野で重要な役割を果たす。
  • 非凸かつ非微分可能な関数を含む最適化問題は，解析的に解くことが困難である。
  • 確率的制御理論を用いて，そのような難解な最適化問題を数値的に解決することを目指す。
  • ユークリッド空間においては，動的計画法とCole-Hopf変換，Feynman-Kac公式を用いて解析解を得る。
  • 確率測度の空間においては，平均場制御問題とN粒子系による近似を用いて最適化を行う。
  • 正則化パラメータをゼロに近づけることで，制御問題の値が元の目的関数の大域的最小値に収束する。

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

• 制約付き量子最適化におけるフェイエルフィルタによる有限深度・有限ショット保証 [quant-ph, cs.IT, cs.NA, math-ph, math.IT, math.MP, math.NA]目的：制約付き量子近似最適化アルゴリズムの実現可能性と最適性に関する保証

  • 量子最適化は，古典計算では困難な問題を解決する可能性を秘めている。
  • 既存手法では，量子アルゴリズムの成功確率の理論的保証が困難であった。
  • フェイエルフィルタを用いることで，成功確率の下限を導き出す。
  • コスト角度を調和格子に制限することで，コスト位相ユニタリに作用する正のフェイエルフィルタが示された。
  • 位相分離条件の下で，最適解をサンプリングする成功確率に対する次元に依存しない有限深度・有限ショット下限が得られた。
  • コヒーレントな等価性が証明され，リーマン・ルベーグ平均化により議論が拡張された。

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

• 平面芳香樹の自由トレースポストリー-リネハート代数：発散のないリー群法設計への応用 [math.OC, cs.SY, eess.SY, math.RA, cs.NA, math.CO, math.DG, math.NA]目的：発散のない数値積分法の設計

  • 微分方程式の数値解法において，体積保存は重要な性質である。
  • 多様体上での発散のない積分法の設計は困難を伴う。
  • 平面芳香樹を用いて高精度な発散のないリー群法を導出する。
  • 芳香樹が自由トレースポストリー-リネハート代数を構成することを示した。
  • 平面芳香樹を導入し，その構造を解析した。
  • 得られた結果を応用し，幾何学的な発散のない特徴を保存するリー群法を開発した。

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

• 1
• 2