木構造の通信網で回転姿勢を有限時間に一致させる
Distributed Continuous-Time Optimization on the Special Orthogonal Group SO(3) over Tree Interaction Graphs
この論文をやさしく読む
ひとことで言うと
木構造で通信する複数のエージェントが、全体にとって最良の三次元姿勢へ一致する分散制御を解析しています。
何に役立つ？
姿勢をそろえる複数機体の協調制御などに向けた理論的設計指針になります。各機体の異なる目的関数を合計して最適な姿勢を求めます。
この研究の面白いところ
強い凸性だけでは許された範囲に留まらない反例を示し、内向きの境界条件を加えます。有限時間の完全合意と、その後の最適解への指数収束を段階的に証明しています。
どこまで分かった？
無向の木構造、凸な動作領域、勾配の有界性、ゲイン比などの条件付き結果です。最適点への指数収束には内部に最小点があることも必要で、確認はシミュレーションです。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
無向木グラフ上で、3次元回転群における連続時間の分散最適化を研究する。異なる局所コストを持つエージェントが、測地的に凸な運用球領域内で、測地的に強凸なコストの総和を最小にする共通の姿勢を求める。固定ゲインの非滑らかな制御則を提案し、局所的なリーマン勾配降下と、隣接エージェント間の相対回転のリー群対数から計算する符号関数に基づく合意フィードバックを組み合わせる。 検証済みの反例が示すとおり、測地的強凸性だけでは領域の不変性は保証されない。そのため、境界で内側を向く条件を課し、すべてのエージェントが球領域内から出発するフィリッポフ解は、いずれもそこにとどまることを証明する。内在的な不一致を測る非滑らかなリャプノフ関数を構成し、木構造を利用したクラスター縮約の議論を通じて、一様な散逸評価を導く。 局所勾配が有界なら、この評価から明示的なゲイン比条件が得られ、そのもとですべての該当する解について厳密な有限時間合意を確立する。また、エージェント数以外のグラフ構造定数を必要としない整定時間の評価を得る。合意後の滑りダイナミクスは、総目的関数のリーマン勾配流を定数倍したものと同定される。最小化点が球領域の内部にあるとき、ダイナミクスは測地距離で指数的にその点へ収束する。シミュレーションによって理論結果を例示する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study continuous-time distributed optimization on the three-dimensional rotation group over undirected tree graphs, where agents with heterogeneous local costs seek a common attitude minimizing the geodesically strongly convex sum of their costs on a geodesically convex operating ball. We propose a nonsmooth protocol with fixed gains that combines local Riemannian gradient descent with signum-based consensus feedback computed from the Lie-group logarithms of relative rotations between neighboring agents. Since geodesic strong convexity alone does not guarantee invariance, as demonstrated by a certified counterexample, we impose an inward-pointing boundary condition and prove that every Filippov solution with all agents initialized in the ball remains there. We construct a nonsmooth intrinsic disagreement Lyapunov function and derive a uniform dissipation bound through a cluster-contraction argument exploiting the tree structure. With bounded local gradients, this bound gives an explicit gain-ratio condition under which we establish exact finite-time consensus for every such solution and obtain a settling-time estimate requiring no structural graph constant beyond the number of agents. After consensus, we identify the sliding dynamics as a scaled Riemannian gradient flow of the summed objective. When the minimizer lies in the interior of the ball, the dynamics converge to it exponentially in geodesic distance. Simulations illustrate our theoretical results.
著者のコメント
Submitted to ACC27
arXiv ID: 2609.20031 ／ 要約の誤りについて