Invariant discrete flows

In this paper, we investigate the evolution of joint invariants under invariant geometric flows using the theory of equivariant moving frames and the induced invariant discrete variational complex. For certain arc length preserving planar curve flows invariant under the special Euclidean group , the special linear group , and the semidirect group , we find that the induced evolution of the discrete curvature satisfies the differential‐difference mKdV, KdV, and Burgers' equations, respectively. These three equations are completely integrable, and we show that a recursion operator can be constructed by precomposing the characteristic operator of the curvature by a certain invariant difference operator. Finally, we derive the constraint for the integrability of the discrete curvature evolution to lift to the evolution of the discrete curve itself.     

Constructing Invariant Fairness Measures for Surfaces

The paper proposes a rational method to derive fairness measures for surfaces. It works in cases where isophotes, reflection lines, planar intersection curves, or other curves are used to judge the fairness of the surface. The surface fairness measure is derived by demanding that all the given curves should be fair with respect to an appropriate curve fairness measure. The method is applied to the field of ship hull design where the curves are plane intersections. The method is extended to the case where one considers, not the fairness of one curve, but the fairness of a one parameter family of curves. Six basic third order invariants by which the fairing measures can be expressed are defined. Furthermore, the geometry of a plane intersection curve is studied, and the variation of the total, the normal, and the geodesic curvature and the geodesic torsion is determined.     

Restrictions of Quadratic Forms to Lagrangian Planes,Quadratic Matrix Equations,and Gyroscopic Stabilization

We discuss the symplectic geometry of linear Hamiltonian systems with nondegenerate Hamiltonians. These systems can be reduced to linear second-order differential equations characteristic of linear oscillation theory. This reduction is related to the problem on the signatures of restrictions of quadratic forms to Lagrangian planes. We study vortex symplectic planes invariant with respect to linear Hamiltonian systems. These planes are determined by the solutions of quadratic matrix equations of a special form. New conditions for gyroscopic stabilization are found.     

Letter: Differential Invariants of the Kerr Vacuum

The norms associated with the gradients of the two non-differential invariants of the Kerr vacuum are examined. Whereas both locally single out the horizons, their global behavior is more interesting. Both reflect the background angular momentum as the volume of space allowing a timelike gradient decreases with increasing angular momentum becoming zero in the degenerate and naked cases. These results extend directly to the Kerr-Newman geometry.     

A test problem for molecular dynamics integrators

We derive a test problem for evaluating the ability of time-steppingmethods to preserve the statistical properties of systems inmolecular dynamics. We consider a family of deterministic systemsconsisting of a finite number of particles interacting on acompact interval. The particles are given random initial conditionsand interact through instantaneous energy- and momentum-conservingcollisions. As the number of particles, the particle density,and the mean particle speed go to infinity, the trajectory ofa tracer particle is shown to converge to a stationary Gaussianstochastic process. We approximate this system by one describedby a system of ordinary differential equations and provide numericalevidence that it converges to the same stochastic process. Wesimulate the latter system with a variety of numerical integrators,including the symplectic Euler method, a fourth-order Runge-Kuttamethod, and an energyconserving step-and-project method. Weassess the methods' ability to recapture the system's limitingstatistics and observe that symplectic Euler performs significantlybetter than the others for comparable computational expense.     

Black and white local invariants of mappings from surfaces into three-space

Goryunov proved that the space of local invariants of Vassiliev type for generic maps from surfaces to three-space is three-dimensional. The basic invariants were the number of pinch points, the number of triple points and one linked to a Rokhlin type invariant. In this paper we show that, by colouring the complement of the image of the map with a chess board pattern, we can produce a six-dimensional space of local invariants. These are essentially black and white versions of the above. Simple examples show how these are more effective. This revised version was published online in August 2006 with corrections to the Cover Date.     

Three-dimensional integrable models and associated tangle invariants

In this paper we show that the Boltzmann weights of the three-dimensional Baxter-Bazhanov model give representations of the braid group if some suitable spectral limits are taken. In the trigonometric case we classify all possible spectral limits which produce braid group representations. Furthermore, we prove that for some of them we get cyclotomic invariants of links and for others we obtain tangle invariants generalizing the cyclotomic ones.     

Dirac constraint analysis and symplectic structure of anti-self-dual Yang-Mills equations

We present the explicit form of the symplectic structure of anti-self-dual Yang-Mills (ASDYM) equations in Yang’s J- and K-gauges in order to establish the bi-Hamiltonian structure of this completely integrable system. Dirac’s theory of constraints is applied to the degenerate Lagrangians that yield the ASDYM equations. The constraints are second class as in the case of all completely integrable systems which stands in sharp contrast to the situation in full Yang-Mills theory. We construct the Dirac brackets and the symplectic 2-forms for both J- and K-gauges. The covariant symplectic structure of ASDYM equations is obtained using the Witten-Zuckerman formalism. We show that the appropriate component of the Witten-Zuckerman closed and conserved 2-form vector density reduces to the symplectic 2-form obtained from Dirac’s theory. Finally, we present the Bäcklund transformation between the J- and K-gauges in order to apply Magri’s theorem to the respective two Hamiltonian structures.