-
Probability Theory of Random Polygons from the Quaternionic Viewpoint
Authors:
Jason Cantarella,
Tetsuo Deguchi,
Clayton Shonkwiler
Abstract:
We build a new probability measure on closed space and plane polygons. The key construction is a map, given by Knutson and Hausmann using the Hopf map on quaternions, from the complex Stiefel manifold of 2-frames in n-space to the space of closed n-gons in 3-space of total length 2. Our probability measure on polygon space is defined by pushing forward Haar measure on the Stiefel manifold by this…
▽ More
We build a new probability measure on closed space and plane polygons. The key construction is a map, given by Knutson and Hausmann using the Hopf map on quaternions, from the complex Stiefel manifold of 2-frames in n-space to the space of closed n-gons in 3-space of total length 2. Our probability measure on polygon space is defined by pushing forward Haar measure on the Stiefel manifold by this map. A similar construction yields a probability measure on plane polygons which comes from a real Stiefel manifold.
The edgelengths of polygons sampled according to our measures obey beta distributions. This makes our polygon measures different from those usually studied, which have Gaussian or fixed edgelengths. One advantage of our measures is that we can explicitly compute expectations and moments for chordlengths and radii of gyration. Another is that direct sampling according to our measures is fast (linear in the number of edges) and easy to code.
Some of our methods will be of independent interest in studying other probability measures on polygon spaces. We define an edge set ensemble (ESE) to be the set of polygons created by rearranging a given set of n edges. A key theorem gives a formula for the average over an ESE of the squared lengths of chords skipping k vertices in terms of k, n, and the edgelengths of the ensemble. This allows one to easily compute expected values of squared chordlengths and radii of gyration for any probability measure on polygon space invariant under rearrangements of edges.
△ Less
Submitted 13 September, 2012; v1 submitted 14 June, 2012;
originally announced June 2012.
-
The Shapes of Tight Composite Knots
Authors:
Jason Cantarella,
Al LaPointe,
Eric Rawdon
Abstract:
We present new computations of tight shapes obtained using the constrained gradient descent code RIDGERUNNER for 544 composite knots with 12 and fewer crossings, expanding our dataset to 943 knots and links. We use the new data set to analyze two outstanding conjectures about tight knots, namely that the ropelengths of composite knots are at least 4π-4 less than the sums of the prime factors and t…
▽ More
We present new computations of tight shapes obtained using the constrained gradient descent code RIDGERUNNER for 544 composite knots with 12 and fewer crossings, expanding our dataset to 943 knots and links. We use the new data set to analyze two outstanding conjectures about tight knots, namely that the ropelengths of composite knots are at least 4π-4 less than the sums of the prime factors and that the writhes of composite knots are the sums of the writhes of the prime factors.
△ Less
Submitted 14 October, 2011;
originally announced October 2011.
-
A new cohomological formula for helicity in $\R^{2k+1}$ reveals the effect of a diffeomorphism on helicity
Authors:
Jason Cantarella,
Jason Parsley
Abstract:
The helicity of a vector field is a measure of the average linking of pairs of integral curves of the field. Computed by a six-dimensional integral, it is widely useful in the physics of fluids. For a divergence-free field tangent to the boundary of a domain in 3-space, helicity is known to be invariant under volume-preserving diffeomorphisms of the domain that are homotopic to the identity. We gi…
▽ More
The helicity of a vector field is a measure of the average linking of pairs of integral curves of the field. Computed by a six-dimensional integral, it is widely useful in the physics of fluids. For a divergence-free field tangent to the boundary of a domain in 3-space, helicity is known to be invariant under volume-preserving diffeomorphisms of the domain that are homotopic to the identity. We give a new construction of helicity for closed $(k+1)$-forms on a domain in $(2k+1)$-space that vanish when pulled back to the boundary of the domain. Our construction expresses helicity in terms of a cohomology class represented by the form when pulled back to the compactified configuration space of pairs of points in the domain. We show that our definition is equivalent to the standard one. We use our construction to give a new formula for computing helicity by a four-dimensional integral. We provide a Biot-Savart operator that computes a primitive for such forms; utilizing it, we obtain another formula for helicity. As a main result, we find a general formula for how much the value of helicity changes when the form is pushed forward by a diffeomorphism of the domain; it relies upon understanding the effect of the diffeomorphism on the homology of the domain and the de Rham cohomology class represented by the form. Our formula allows us to classify the helicity-preserving diffeomorphisms on a given domain, finding new helicity-preserving diffeomorphisms on the two-holed solid torus, and proving that there are no new helicity-preserving diffeomorphisms on the standard solid torus. We conclude by defining helicities for forms on submanifolds of Euclidean space. In addition, we provide a detailed exposition of some standard `folk' theorems about the cohomology of the boundary of domains in $\R^{2k+1}$.
△ Less
Submitted 26 October, 2012; v1 submitted 8 March, 2009;
originally announced March 2009.
