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.     

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.     

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.     

横向放大率法确定复合光学系统的基点

介绍了应用测量横向放大率确定两薄透镜组成的复合光学系统基点的方法。由于采用线阵光电耦合器件（CCD）测量物经光学系统成像的横向放大率，提高了测量精度。     

Orders of Indescribable Sets

We extract some properties of Mahlo’s operation and show that some other very natural operations share these properties. The weakly compact sets form a similar hierarchy as the stationary sets. The height of this hierarchy is a large cardinal property connected to saturation properties of the weakly compact ideal.     

Reflection quotients in Riemannian geometry. A geometric converse to Chevalley's theorem

Chevalley's theorem and its converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that, in the Euclidean case, a weaker condition suffices to characterize finite reflection groups, namely, that a freely-generated polynomial subring is closed with respect to the gradient product.

     

Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence

We construct models for the level by level equivalence between strong compactness and supercompactness in which for κ the least supercompact cardinal and δ ≤ κ any cardinal which is either a strong cardinal or a measurable limit of strong cardinals, 2^δ > δ ⁺ and δ is < 2^δ supercompact. In these models, the structure of the class of supercompact cardinals can be arbitrary, and the size of the power set of κ can essentially be made as large as desired. This extends and generalizes [5, Theorem 2] and [4, Theorem 4]. We also sketch how our techniques can be used to establish a weak indestructibility result. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

横向放大率法测定光具组的基点

介绍了用横向放大率法确定两薄透镜组成的光具组基点的原理和方法,该方法采用线阵光电耦合器件(CCD)测量物经光学系统成像的横向放大率,进一步提高了测量精度.