Quantization Robustness of Monotone Operator Equilibrium Networks
本論文は、単調作用素均衡ネットワークの重み量子化をスペクトル摂動として解析し、摂動が単調性マージンより小さい場合に収束保証が維持されることを理論的に示し、MNIST 実験で閾値の存在と量子化感知学習による低ビット数での収束回復を実証しています。
🔢 Category
math.OC
338 件の論文
Practical Regularized Quasi-Newton Methods with Inexact Function Values
本論文は、数値誤差を含む目的関数値に対しても安定して動作する正則化準ニュートン法を提案し、その大域的収束性を理論的に保証するとともに、CUTEst ベンチマークおよび低精度浮動小数点演算を用いた実験を通じて、既存手法よりも優れた頑健性と競争力のある収束速度を実証しています。
Computing and Optimizing the -norm of Delay Differential Algebraic Systems
この論文は、遅延微分代数方程式で記述される時間遅れシステムのノルムの近似と最適化を行うランチョス・タウ法を提案し、その収束性と安定性の証明、勾配計算の効率化、およびスプライン基底を用いることで収束率が大幅に向上することを示しています。
Distributed Stability Certification and Control from Local Data
この論文は、各エージェントがシステム全体のデータにアクセスできない分散環境下でも、局所的なデータのみを共有してリャプノフ関数や最適 LQR 制御器を計算するための分散動的アルゴリズムを提案し、その収束性とロバスト性を理論的に保証するとともに実システムで検証したものである。
Convergence Analysis of a Fully Discrete Observer For Data Assimilation of the Barotropic Euler Equations
本論文は、速度のみを用いた離散ルエンバーガー観測器と混合有限要素法・陰的オイラー法を組み合わせることで、1 次元バロトロピック・オイラー方程式のデータ同化における時間一貫した誤差評価を初めて導出することを示しています。
Sharp propagation of chaos for mean field Langevin dynamics, control, and games
本論文は、対称相互作用に限定されない非線形係数を持つ McKean-Vlasov 方程式に対して、有界時間区間および時間一貫的な「鋭い」カオス伝播率を確立し、これを平均場ゲーム、制御、および強制的な変位凸性領域における時間一貫的な平均場ランジュバンダイナミクスへの応用として導出したことを報告しています。
On Utility Maximization under Multivariate Fake Stationary Affine Volterra Models
本論文は、非マルコフ性および非半半定過程性により古典的制御手法が適用できない多変量偽定常アフィン・ボルテラ・モデル環境下でのメルトン型ポートフォリオ最適化問題を、リカッチ型後方確率微分方程式の解を用いた半閉形式の最適戦略として導出するものである。
Existence and uniqueness results for a mean-field game of optimal investment
この論文は、生産財の価格が代表企業の最適制御された生産能力の期待値の非線形関数として決定される確率的な最適投資の平均場ゲームについて、有限および無限の時間範囲における均衡の存在と一意性を証明し、さらにその決定論的な対応についても調査したものである。
A partitioned optimization framework for structure-aware optimization
この論文は、変数の特定の組み合わせを固定することで問題が容易に解ける構造を持つ最適化問題を対象とし、部分集合のインデックス探索に帰着させる「分割最適化枠組み（POf）」と、それを効率的に解く導関数不要の手法（DFPOm）を提案し、最適制御や複合グレイボックス問題などへの適用でその有効性を示しています。
Duality theory in linear optimization and its extensions -- formally verified
この論文は、Lean 4 において線形順序体上のファルカスの定理を形式的に証明し、係数に「無限大」を許容するケースへと双対性理論を拡張したことを報告しています。
Parallel Graver Basis Extraction for Nonlinear Integer Optimization
この論文は、非線形整数計画問題におけるグラバー基底の方向探索という計算ボトルネックを解消するため、並列化された第一階手法を用いた大規模並列ヒューリスティックを開発し、QPLIB や MINLPLib のベンチマークにおいて先進的なソルバーと同等の性能を達成したことを報告しています。
Dynamically optimal portfolios for monotone mean--variance preferences
この論文は、独立リターンを仮定した資産価格モデルにおいて、最小限の仮定のもとで単調平均分散（MMV）効用に基づく動的ポートフォリオ選択の完全な特徴付けを初めて提供し、その最適性を単調シャープレシオを用いて解釈するとともに、従来の平均分散（MV）効率的ポートフォリオが MMV 効率的となるための必要十分条件を明らかにするものである。
Mean Field Games with Reflected Dynamics
この論文は、緩和制御とマルティンゲール問題の枠組みを用いて、反射拡散過程を含む平均場ゲームの均衡存在を証明しています。
Entropic Mirror Descent for Linear Systems: Polyak's Stepsize and Implicit Bias
本論文は、非有界な領域における線形方程式の解法としてエントロピー鏡像降下法を適用し、Polyak 型ステップサイズを導入して収束解析を可能にするとともに、ノルムにおける暗黙的バイアスの強化や一般凸関数への拡張、指数計算を回避する代替手法の提案など、理論的な成果を多数得ている。
Optimized Fish Locomotion using Design-by-Morphing and Bayesian Optimization
本論文は、デザイン・バイ・モーフィングとベイズ最適化を組み合わせた計算フレームワークを用いて、基準となる鰻型およびカレイ型の遊泳様式と比較して推進効率が 16%〜35% 向上した最適な遊泳プロファイルを開発し、自律型水中推進システムの設計や生体模倣運動の分野に重要な示唆を与えることを示しています。
Dependent Reachable Sets for the Constant Bearing Pursuit Strategy
この論文は、一方のエージェントが他方を追跡する定方位追跡戦略を用いたケーススタディを通じて、追跡エージェントの到達可能領域（依存到達可能集合）の幾何学的特性を理論的に解析し、その幾何学的境界を導出するとともにシミュレーションによりその形状を実証的に検証する新しい到達可能性問題を提示しています。
Smoothing-Enabled Randomized Stochastic Gradient Schemes for Solving Nonconvex Nonsmooth Potential Games under Uncertainty
この論文は、非凸かつ非滑らかな確率ポテンシャルゲームを解決するために、ランダム化勾配法と平滑化技術を組み合わせた新しいアルゴリズムを開発し、従来の条件に依存しない最適サンプル複雑性や収束性を示すものである。
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
離散時間確率システムの安全性検証向けに、半正定値計画や線形計画、勾配降下法などを用いて多様なシステム（線形、多項式、区分的アフィン、非線形）に対する確率的バリア関数を合成し、既存ツールよりも大幅に高速かつ高次元で優れた性能を発揮するオープンソースの Julia ツール「StochasticBarrier.jl」を提案する論文です。
Quantum thermodynamics and semidefinite programming: regularization and algorithms
この論文は、有限の測定結果で制約された正温度における量子熱力学の変分問題を、非可換最適輸送に着想を得た手法を用いて解き、その双対定式化やゼロ温度極限の解析、量子状態トモグラフィへの応用、およびアルゴリズムの収束性について包括的に論じています。
Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
この論文は、離散事象システムのモデルが未知である状況下で、与えられたデータセットから非ブロッキングなマーク付け制御器を設計可能かどうかを判定する「マーク付けデータ情報性」という新概念を提案し、その検証アルゴリズムや制約付きの拡張概念、および最大部分仕様を計算する手法を開発するものである。