arXiv雑要約
数値解析 - 2026/06/16 公開
高次エルミート最適化：離散随伴アプローチを用いた開放ループ量子最適制御における高速かつ正確な勾配計算 [math.NA, cs.NA, quant-ph]目的：開放ループ量子最適制御のための高速かつ正確な勾配計算手法
- 量子技術の発展には，量子系の精密な制御が不可欠であり，その最適化手法は重要である。
- 従来の勾配計算手法は計算コストが高く，大規模な量子システムの最適制御を困難にしている。
- 高次エルミート公式を用いた効率的な随伴法により，勾配計算の高速化と高精度化を目指す。
- 本研究で提案するHOHO法は，連続パラメータ制御パルスを用いた量子最適制御において，正確な離散勾配を効率的に計算する。
- 数値実験の結果，既存のJuqbox.jlと比較して，最大775倍の高速化が確認された。
- HOHO法は，Juliaプログラミング言語のオープンソースソフトウェアパッケージQuantumGateDesign.jlに実装されている。
凸多角形上の非対称ニッチェ法に対する鋭く統一的な$L^2$誤差評価 [math.NA, cs.NA]目的：凸多角形上の非対称ニッチェ法における$L^2$誤差評価
- 数値解析において，境界条件を弱く課すニッチェ法は，多様な問題に対応可能であり重要である。
- 非対称ニッチェ法の理論と数値計算の間には，誤差評価に関してずれが生じていた。
- この研究は，誤差評価のずれを解消し，より正確な誤差の評価を導き出すことを目指す。
- 凸多角形上で，ペナルティパラメータ全体を通して有効な，正則性依存の$L^2$誤差評価を証明した。
- 半順序の誤差喪失は，$H^{k+1}$正則性下では本質的であり，滑らかなテスト問題での最適な収束は，$W^{k+1,\infty}$正則性によって説明される。
- 最適な収束率を得るための閾値 $\alpha\ge 1+1/p$ または $p=\infty$ が理論的に導かれ，実験により確認された。
共振に基づくスキームの正規形による導出 [cs.RO, math.NA, cs.NA, math.AP, math.RA]目的：共振に基づくスキームの系統的な導出
- 非線形問題の数値解法において，高精度かつ効率的なスキームの構築が重要である。
- 既存の低正則性スキームは，計算コストが高い，あるいは理論的保証が不十分な場合がある。
- 本研究は，明示的な係数と局所誤差を持つ新しい低正則性スキームを開発し，既存スキームの性能を向上させる。
- 装飾された木に対する樹状化写像と，ブッチャー・コンネス・クライマー型コ積を利用したスキームを導出した。
- このスキームは明示的な係数と局所誤差を持ち，理論的な根拠が確立されている。
- 提案スキームは，arXiv:2005.01649で提案された低正則性スキームと同程度の局所誤差を持つと予想される。
偏微分方程式の自動次元解析 [cs.MS, cs.NA, math.NA]目的：偏微分方程式の次元解析の自動化
- 科学計算において物理単位は不可欠であり，その取り扱いが重要である。
- 多くの有限要素フレームワークでは，物理単位を組み込むためのサポートが不足している。
- 統一形式言語(UFL)への物理単位の統合フレームワークを構築し，次元解析を自動化する。
- 提案手法は，物理次元をベクトルとして表現し，一貫性チェックと因数分解を自動化する。
- ナビエ-ストークス方程式の数値実験により，鞍点行列の条件数を改善できることが示された。
- ネオ・フックの超弾性解析では，微小変形領域における浮動小数点数の打ち消し誤差の検出が可能となった。
楕円型偏微分方程式に対する残差に基づく有限要素サロゲートソルバー [math.NA, cs.NA]目的：楕円型偏微分方程式の解作用素近似
- 工学・科学分野の様々な問題において，偏微分方程式の数値解法は不可欠である。
- 従来の数値解法は計算コストが高く，特に高次元問題や複雑な形状に対して課題がある。
- データフリーな環境で，効率的かつ高精度な解作用素近似を実現すること。
- 本研究では，畳み込みニューラルネットワークと古典的な有限要素離散化を組み合わせた新しいサロゲートソルバーを提案した。
- 損失関数を有限要素残差から直接定義することで，入力と出力のペアデータなしでの近似が可能となった。
- 数値実験の結果，本手法は網目洗練に対して安定した収束性を示し，複雑な形状や振動的な解に対してもロバストであることが確認された。
OptEMA：確率的最適化のための適応型指数移動平均（ゼロノイズ最適性付き） [cs.LG, cs.NA, math.NA, math.OC]目的：確率的最適化における指数移動平均の適応的改善
- 最適化アルゴリズムは機械学習の基盤であり，効率的な学習に不可欠である。
- Adamのような既存の手法は，ゼロノイズ条件下で最適な性能を発揮しない場合がある。
- 本研究は，ゼロノイズ条件下でも最適な性能を達成する新しい最適化手法を提案する。
- OptEMA-MとOptEMA-Vの2つの変種を提案し，閉ループかつLipschitz定数に依存しないアルゴリズムを実現した。
- 下限性，不偏性，有限分散，平均滑らかさ，有界確率的勾配の条件下で，両変種とも統一されたノイズ適応レート$\tilde{\mathcal{O}} \left(T^{-1/2}+\sigma^{1/2}T^{-1/4}\right)$を達成した。
- ゼロノイズ条件下では，手動ハイパーパラメータ調整なしに，ほぼ最適な決定論的レート$\widetilde{\mathcal{O}}(T^{-1/2})$に自動的に収束する。
保存則に対する弱形式およびエントロピーに基づく物理情報ニューラルネットワーク [math.NA, cs.NA]目的：非線形双曲型保存則に対するエントロピー解の近似
- 物理現象のシミュレーションにおいて，精度と効率が重要であり，数値解法の開発が不可欠である。
- 従来の物理情報ニューラルネットワークは，不連続点において残差が発散し，物理的に不整合な解を生じやすい。
- 本研究は，不連続解に対しても安定した，新たな物理情報ニューラルネットワークの枠組みを提案する。
- 提案手法は，空間・時間積分に基づく弱形式を採用し，ダイナミックにサンプリングされた空間・時間制御体積を用いて保存則を強制する。
- エントロピー適性条件を積分形で組み込むことで，解の一意性と物理的整合性を保証する。
- Burgers方程式，浅水方程式，圧縮性Euler方程式の数値実験により，衝撃波の正確な分解能とロバストな性能が示された。
境界保存型hp補間と四面体メッシュ上のp-ロバストな離散調和拡大 [cs.HC, cs.MA, math.OC, q-fin.CP, math.NA, cs.NA]目的：三次元四面体メッシュにおける境界保存型hp補間演算子の構築
- 数値解析において，高精度な解を得るため，要素の次数を局所的に変化させるhp適応法が重要である。
- hp法では，境界条件の一貫性を保ちつつ，高次要素を効率的に用いることが課題となる。
- 本研究は，境界条件を正確に保存し，高精度な近似を実現するhp補間演算子を開発する。
- 境界条件が多項式で表現されている場合，補間演算子はそれを正確に保存し，標準的な誤差評価を満たす。
- 連続的なトレース定理と境界保存型補間演算子を組み合わせることで，離散調和拡大を定義し，その有界性を保証する。
- 四面体境界層上の局所多項式トレースリフトや，非特異な頂点パッチを用いることで，補間定理の証明を確立した。
グラフ正則化非負簡約双四元行列分解によるカラー画像認識 [cs.CV, cs.NA, math.NA]目的：カラー画像認識のためのグラフ正則化非負簡約双四元行列分解モデル
- 画像認識は，コンピュータビジョンの重要な分野であり，様々な応用が存在する。
- 既存手法では，画像の局所的な幾何学的構造を十分に活用できていない場合がある。
- 画像の局所構造を考慮し，識別能力の高い低次元表現を獲得することを目指す。
- 提案手法では，グラフラプラシアン正則化項を導入し，類似した画像が類似した表現を持つように誘導する。
- 実験結果から，提案手法は既存手法と比較して，競争力のある認識性能を示すことが確認された。
- 最適化問題に対しては，成分ごとの交互投影勾配法を導出し，収束性も解析している。
多項式空間上の結合Truncated積に基づく保存則に対する双曲性保存確率ガレルキン法 [cs.CL, eess.SY, cs.SY, math.OC, cs.CY, math.NA, cs.NA]目的：双曲性保存確率ガレルキンシステムの構築
- 確率微分方程式の数値解法は，不確実性を含む物理現象のシミュレーションに不可欠である。
- 標準的なスペクトル積が非結合的であるため，確率ガレルキン離散化が双曲性を失う可能性がある。
- 多項式空間上の結合Truncated積に基づく手法により，双曲性の保存を実現する。
- 結合Truncated積は，単一の多項式データによって特徴付けられ，有用な対称性，正性，スペクトル特性を有する例が示された。
- 適切な投影誤差の仮定の下で，これらの積は多項式次数が増加するにつれて古典的な積に収束することが証明された。
- 有理フラックスを持つシステムに対して，確率ガレルキンフラックスが対応する許容セット上で双曲性を維持するための十分条件が導かれた。
局所高次空間-時間適応型MLSDC法 [math.NA, cs.NA]目的：空間-時間適応的高次精度数値解法の開発
- 複雑な流れ問題のシミュレーションにおいて，高精度かつ効率的な手法が求められている。
- 従来の数値解法では，計算コストが高くなるか，精度が十分でないという課題がある。
- 空間と時間の離散化誤差を動的に制御し，計算コストを削減することを目指す。
- 本研究で提案する適応型MLSDC法は，Burgers方程式やEuler方程式など，非線形保存則に対する計算時間を大幅に短縮した。
- 空間と時間の誤差推定子を組み合わせることで，適応的な網羅化判断の信頼性を高めた。
- Shu-Osherショック-ゆらぎベンチマーク問題などの困難な問題に対しても，所望の精度を維持しつつ計算効率の向上を示した。
確率的GParareal法：微分方程式の確率的並列時間ソルバー [stat.CO, cs.DC, cs.NA, math.NA, stat.ML]目的：微分方程式の並列時間解法における不確実性定量
- シミュレーションの信頼性向上のため，解の不確実性を評価する手法が重要である。
- 従来の並列時間法では，数値誤差や初期条件の不確かさが伝播し，信頼性が低下する。
- 確率的並列時間法により，数値解の不確実性を定量化し，信頼性の高い予測を目指す。
- Prob-GParareal法は，ガウス過程を用いてParareal補正関数をモデル化し，時間方向に不確実性を伝播させる。
- 理論解析により，計算複雑性や誤差限界が導出され，ベンチマークODEシステムで精度と安定性が確認された。
- nnGParareal変形により，性能が向上し，追加のPDE例への適用可能性が示された。
帯電した導体物体の電位 – 一部の厳密解と近似解 [cond-mat.soft, cond-mat.mtrl-sci, cs.CG, physics.class-ph, cond-mat.mtrl-sci, cs.NA, math.NA, physics.app-ph, physics.comp-ph, physics.soc-ph]目的：絶縁された導体物体の電位決定
- 理論・応用両面において重要であり，静電場解析の基礎となる。
- 物体の形状や配置によっては，電位の厳密解を得ることが困難である。
- 新たな$J$形式を用いることで，複雑な形状の電位を効率的に近似する。
- 新たな$J$形式により，球体に対しては厳密解，その他の形状に対しては効率的な近似解が得られた。
- 表面電荷分布の計算や周囲空間の電位計算を必要としない点が特徴である。
- この手法は，導体物体の静電容量計算への応用が期待される。
- 1
- 2