論文の概要: Following a Unique Path: A Fast Certifier Applied to Outlier-Robust Pose Registration
- arxiv url: http://arxiv.org/abs/2609.03222v1
- Date: Wed, 02 Sep 2026 23:39:56 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-04 18:28:38.879492
- Title: Following a Unique Path: A Fast Certifier Applied to Outlier-Robust Pose Registration
- Title(参考訳): ユニークパスの追従:アウトリア・ロバスト・ポーズ登録に適用可能な高速認証器
- Abstract要約: Central-Path Certifier (CP-Cert) は、決定性を示す問題に対して候補最適性を明示的に証明するための認証方法である。
CP-Certは高速でスケーラブルであり、最先端の直接解法よりも最大3桁高速なアウトレーヤを実現する。
- 参考スコア(独自算出の注目度): 13.351125897016368
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Certifiable methods have arisen as a means to guarantee global optimality of solutions to non-convex problems using convex semidefinite programming (SDP) relaxations. The most performant of these methods use a local solver to obtain the candidate solution, and then certify its optimality using efficient linear algebra techniques. However, for many problems of interest in robotics, this local-solve-then-certify approach is impeded by a form of degeneracy in the relaxation, leaving a costly optimization of the relaxation as the only recourse. In this paper, we introduce our Central-Path Certifier (CP-Cert), a certifiable method explicitly tailored to certify candidate optima to problems that exhibit this form of degeneracy. Using a candidate as a starting point, our approach seeks a nearby region of the feasible space -- known as the central path -- where a valid certificate can be readily obtained. The approach is kept efficient by exploiting indirect linear algebra techniques, problem sparsity, and parallelism. We apply CP-Cert to both matrix-weighted pose registration and pointcloud data association, whose novel SDP relaxation is of independent interest. On simulated examples, we explore the properties of this novel relaxation and show that CP-Cert is fast and scalable, achieving runtimes that are up to three orders of magnitude faster than state-of-the-art direct solvers. Finally, we combine these contributions into a certifiable, outlier-robust pose-estimation pipeline, which we apply to real-world data.
- Abstract(参考訳): 証明可能な手法は、凸半有限計画法(SDP)緩和法を用いて、非凸問題に対する解の大域的最適性を保証する手段として登場した。
これらの手法の最も高性能な者は、局所解法を用いて候補解を求め、その最適性を効率的な線形代数手法を用いて証明する。
しかし、ロボット工学に関心を持つ多くの問題に対して、この局所解法証明法は緩和の縮退の形で妨げられ、緩和のコストのかかる最適化を唯一のレコースとして残している。
そこで本研究では,提案手法を提案手法として提案する中央パス認証 (CP-Cert) について述べる。
候補を出発点として、我々のアプローチは、有効な証明が容易に取得可能な、実現可能な空間(中央経路として知られる)の近傍領域を求める。
この手法は、間接線型代数技術、問題空間性、並列性を利用して効率よく維持される。
CP-Certを行列重み付きポーズ登録とポイントクラウドデータアソシエーションの両方に適用する。
シミュレーション例では, CP-Certは高速かつスケーラブルであり, 最先端の直接解法よりも最大3桁高速なランタイムを実現する。
最後に、これらのコントリビューションを、実世界のデータに適用可能な、証明可能な、アウトリー・ロバストなポーズ推定パイプラインに組み合わせる。
関連論文リスト
- Online Inference of Constrained Optimization: Primal-Dual Optimality and Sequential Quadratic Programming [55.848340925419286]
等式制約と不等式制約を持つ2次最適化問題の解に対するオンライン統計的推測について検討した。
これらの問題を解決するための逐次プログラミング(SSQP)手法を開発し、目的の近似と制約の線形近似を逐次実行することでステップ方向を計算する。
本手法は,Hjek と Le Cam の意味での最適原始双対制限行列を用いて局所正規性を示す。
論文 参考訳(メタデータ) (2025-11-27T06:16:17Z) - MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs [50.41998220099097]
トレーニング中のデータエラー、汚職、中毒攻撃は、現代のAIシステムの信頼性に大きな脅威をもたらす。
混合整数双線形プログラミング(MIBP)に基づく新しい認証手法MIBP-Certを紹介する。
摂動データや操作データを通じて到達可能なパラメータの集合を計算することで、可能なすべての結果を予測することができ、堅牢性を保証することができる。
論文 参考訳(メタデータ) (2024-12-13T14:56:39Z) - Stabilizing Linear Passive-Aggressive Online Learning with Weighted Reservoir Sampling [46.01254613933967]
オンライン学習手法は、高次元ストリーミングデータ、アウトオブコア処理、その他のスループットに敏感なアプリケーションに依然として有効である。
このようなアルゴリズムの多くは、その収束の鍵として個々のエラーへの高速な適応に依存している。
このようなアルゴリズムは理論上の後悔は少ないが、現実の展開では個々の外れ値に敏感であり、アルゴリズムが過度に修正される可能性がある。
論文 参考訳(メタデータ) (2024-10-31T03:35:48Z) - Optimizing Solution-Samplers for Combinatorial Problems: The Landscape
of Policy-Gradient Methods [52.0617030129699]
本稿では,DeepMatching NetworksとReinforcement Learningメソッドの有効性を解析するための新しい理論フレームワークを提案する。
我々の主な貢献は、Max- and Min-Cut、Max-$k$-Bipartite-Bi、Maximum-Weight-Bipartite-Bi、Traveing Salesman Problemを含む幅広い問題である。
本分析の副産物として,バニラ降下による新たな正則化プロセスを導入し,失効する段階的な問題に対処し,悪い静止点から逃れる上で有効であることを示す理論的および実験的証拠を提供する。
論文 参考訳(メタデータ) (2023-10-08T23:39:38Z) - Fully Stochastic Trust-Region Sequential Quadratic Programming for
Equality-Constrained Optimization Problems [62.83783246648714]
目的と決定論的等式制約による非線形最適化問題を解くために,逐次2次プログラミングアルゴリズム(TR-StoSQP)を提案する。
アルゴリズムは信頼領域半径を適応的に選択し、既存の直線探索StoSQP方式と比較して不確定なヘッセン行列を利用することができる。
論文 参考訳(メタデータ) (2022-11-29T05:52:17Z) - Log Barriers for Safe Black-box Optimization with Application to Safe
Reinforcement Learning [72.97229770329214]
本稿では,学習時の安全性維持が不可欠である高次元非線形最適化問題に対する一般的なアプローチを提案する。
LBSGDと呼ばれるアプローチは、慎重に選択されたステップサイズで対数障壁近似を適用することに基づいている。
安全強化学習における政策課題の違反を最小限に抑えるためのアプローチの有効性を実証する。
論文 参考訳(メタデータ) (2022-07-21T11:14:47Z) - Accelerating Certifiable Estimation with Preconditioned Eigensolvers [2.1701691499017812]
多くの最先端 (Burer-Monteiro 因数分解に基づく) 推定手法における主要なコストは、解の検証である。
本稿では,この検証ステップを著しく高速化する方法を示し,検証手法の全体的な高速化について述べる。
事前条件付き固有解法を用いてこの問題に対処する方法を示す。
論文 参考訳(メタデータ) (2022-07-12T02:00:08Z) - Certifiable Outlier-Robust Geometric Perception: Exact Semidefinite
Relaxations and Scalable Global Optimization [29.738513596063946]
本稿では,外接点の存在下でのロバストな幾何学的知覚のためのアルゴリズム設計のための,最初の汎用フレームワークを提案する。
我々の実験では、SDP緩和はアプリケーション間で最大で外れ率で正確であることを実証した。
論文 参考訳(メタデータ) (2021-09-07T21:42:16Z) - Adaptive Sampling for Best Policy Identification in Markov Decision
Processes [79.4957965474334]
本稿では,学習者が生成モデルにアクセスできる場合の,割引マルコフ決定(MDP)における最良の政治的識別の問題について検討する。
最先端アルゴリズムの利点を論じ、解説する。
論文 参考訳(メタデータ) (2020-09-28T15:22:24Z) - Combining Deep Learning and Optimization for Security-Constrained
Optimal Power Flow [94.24763814458686]
セキュリティに制約のある最適電力フロー(SCOPF)は、電力システムの基本である。
SCOPF問題におけるAPRのモデル化は、複雑な大規模混合整数プログラムをもたらす。
本稿では,ディープラーニングとロバスト最適化を組み合わせた新しい手法を提案する。
論文 参考訳(メタデータ) (2020-07-14T12:38:21Z) - One Ring to Rule Them All: Certifiably Robust Geometric Perception with
Outliers [32.1176248075545]
本稿では,大量の外れ値が存在する場合の認識のための認証アルゴリズムを設計するための,最初の汎用的かつ実用的な手法を提案する。
我々の双対証明器は任意の問題の解の最適部分最適性を利用する。
論文 参考訳(メタデータ) (2020-06-11T19:46:42Z) - Certifiable Relative Pose Estimation [2.0840789905678485]
エピポーラカメラからのカメラに対する相対ラグランジアン問題の最小版に対する高速最適性証明器を提案する。
提案する証明器は二点に対する新しい閉形式表現に基づいている。
論文 参考訳(メタデータ) (2020-03-30T18:26:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。