1: \begin{abstract}

2: 

3: % Intro

4: Hessian information speeds convergence substantially in motion optimization.

5: The better the Hessian approximation the better the convergence.  But how good

6: is a given approximation theoretically? How much are we losing?  This paper

7: addresses that question and proves that for a particularly popular and

8: empirically strong approximation known as the Gauss-Newton approximation, we

9: actually lose very little---for a large class of highly expressive objective

10: terms, the true Hessian actually \textit{limits to} the Gauss-Newton Hessian

11: quickly as the trajectory's time discretization becomes small.  This result

12: both motivates it's use and offers insight into computationally efficient

13: design.  For instance, traditional representations of kinetic energy exploit

14: the generalized inertia matrix whose derivatives are usually difficult to

15: compute.  We introduce here a novel reformulation of rigid body kinetic energy

16: designed explicitly for fast and accurate curvature calculation.  Our theorem

17: proves that the Gauss-Newton Hessian under this formulation efficiently

18: captures the kinetic energy curvature, but requires only as much computation as

19: a single evaluation of the traditional representation.  Additionally, we

20: introduce a technique that exploits these ideas implicitly using Cholesky

21: decompositions for some cases when similar objective terms reformulations exist

22: but may be difficult to find.  Our experiments validate these findings and

23: demonstrate their use on a real-world motion optimization system for high-dof

24: motion generation.

25: 

26: \end{abstract}

27: