Skeletonization of Phase Space Paths

Skeletonization is the procedure by which formal phase space path integrals are given concrete meaning in terms of a time slicing. There is an obvious preferred choice of skeletonization for configuration space paths, using piecewise classical paths, but skeletonization of a phase space path requires a choice of virtual paths corresponding to specified phase space data. This work describes one such skeletonization rule, based on the involution property, by which an extremization procedure can be used to remove intermediate points in the skeletonization.