Local Isometric Imbeddings of Symplectic Groups

We show that the canonical isometric imbedding of the symplectic group Sp(n) into R ^{4n 2} gives the least-dimensional isometric imbedding into the Euclidean space, even in the local standpoint. We prove this result by calculating the quantity p_G determined by the curvature of Sp(n), which serves as an obstruction to the existence of local isometric imbeddings. We also exhibit the estimates on the value p_G for the remaining compact classical simple Lie groups, and improve the previous results on the codimension of local isometric imbeddings of these groups.     

The Newton Iteration on Lie Groups

We define the Newton iteration for solving the equation f(y) = 0, where f is a map from a Lie group to its corresponding Lie algebra. Two versions are presented, which are formulated independently of any metric on the Lie group. Both formulations reduce to the standard method in the Euclidean case, and are related to existing algorithms on certain Riemannian manifolds. In particular, we show that, under classical assumptions on f, the proposed method converges quadratically. We illustrate the techniques by solving a fixed-point problem arising from the numerical integration of a Lie-type initial value problem via implicit Euler.     

On the X-Y convex hull of a set of X-Y polygons

We study the class of rectilinear polygons, calledX – Y polygons, with horizontal and vertical edges, which are frequently used as building blocks for very large-scale integrated (VLSI) circuit layout and wiring. In the paper we introduce the notion of convexity within the class ofX – Y polygons and present efficient algorithms for computing theX – Y convex hulls of anX – Y polygon and of a set ofX – Y polygons under various conditions. Unlike convex hulls in the Euclidean plane, theX – Y convex hull of a set ofX – Y polygons may not exist. The condition under which theX – Y convex hull exists is given and an algorithm for testing if the given set ofX – Y polygons satisfies the condition is also presented.     

Approximation algorithms for art gallery problems in polygons

In this paper, we present approximation algorithms for minimum vertex and edge guard problems for polygons with or without holes with a total of n vertices. For simple polygons, approximation algorithms for both problems run in O(n⁴) time and yield solutions that can be at most O(logn) times the optimal solution. For polygons with holes, approximation algorithms for both problems give the same approximation ratio of O(logn), but the running time of the algorithms increases by a factor of n to O(n⁵).     

Hermitian Metric Rigidity for Foliated Vector Bundles

We show that the canonical isometric imbedding of the symplectic group Sp(n) into R⁴n² gives the least-dimensional isometric imbedding into the Euclidean space, even in the local standpoint. We prove this result by calculating the quantity p_G determined by the curvature of Sp(n), which serves as an obstruction to the existence of local isometric imbeddings. We also exhibit the estimates on the value p_G for the remaining compact classical simple Lie groups, and improve the previous results on the codimension of local isometric imbeddings of these groups.     

A one-dimensional embedding complex

We give the first explicit computations of rational homotopy groups of spaces of “long knots” in Euclidean spaces. We define a spectral sequence which converges to these rational homotopy groups whose E¹ term is defined in terms of familiar Lie algebras. For odd k we establish a vanishing line for this spectral sequence, show the Euler characteristic of the rows of this E¹ term is zero, and make calculations of E² in a finite range.     

Lie Bialgebras of Generalized WITT Type,II

In an article by Michaelis, a class of infinite-dimensional Lie bialgebras containing the Virasoro algebra was presented. This type of Lie bialgebras was classified by Ng and Taft. In a recent article by Song and Su, Lie bialgebra structures on graded Lie algebras of generalized Witt type with finite dimensional homogeneous components were considered. In this article we consider Lie bialgebra structures on the graded Lie algebras of generalized Witt type with infinite dimensional homogeneous components. By proving that the first cohomology group H¹(𝒲, 𝒲 ? 𝒲) is trivial for any graded Lie algebras 𝒲 of generalized Witt type with infinite dimensional homogeneous components, we obtain that all such Lie bialgebras are triangular coboundary.     

On the convergence of some Procrustean averaging algorithms

Euclidean “(size-and-)shape spaces” are spaces of configurations of points in R ^N modulo certain equivalences. In many applications one seeks to average a sample of shapes, or sizes-and-shapes, thought of as points in one of these spaces. This averaging is often done using algorithms based on generalized Procrustes analysis (GPA). These algorithms have been observed in practice to converge rapidly to the Procrustean mean (size-and-)shape, but proofs of convergence have been lacking. We use a general Riemannian averaging (RA) algorithm developed in [Groisser, D. (2004) “Newton's method, zeroes of vector fields, and the Riemannian center of mass”, Adv. Appl. Math. 33, pp. 95–135] to prove convergence of the GPA algorithms for a fairly large open set of initial conditions, and estimate the convergence rate. On size-and-shape spaces the Procrustean mean coincides with the Riemannian average, but not on shape spaces; in the latter context we compare the GPA and RA algorithms and bound the distance between the averages to which they converge.     

On boundary value problems for some conformally invariant differential operators

We study boundary value problems for some differential operators on Euclidean space and the Heisenberg group which are invariant under the conformal group of a Euclidean subspace, respectively, Heisenberg subgroup. These operators are shown to be self-adjoint in certain Sobolev type spaces and the related boundary value problems are proven to have unique solutions in these spaces. We further find the corresponding Poisson transforms explicitly in terms of their integral kernels and show that they are isometric between Sobolev spaces and extend to bounded operators between certain L^p-spaces.

The conformal invariance of the differential operators allows us to apply unitary representation theory of reductive Lie groups, in particular recently developed methods for restriction problems.     

SUBGROUP DISTORTIONS IN NILPOTENT GROUPS

The explicit formula for the distortion function of a connected Lie subgroup in a connected simply connected nilpotent Lie group is obtained. In particular, we prove that a function f: N → R can be realized (up to equivalence) as the distortion function of a connected Lie subgroup in a connected simply connected nilpotent Lie group if and only if f ～ n^r for some nonnegative r ∈ Q. Considering lattices in Lie groups, we establish the analogous results for finitely generated nilpotent groups.     

Subsets of the Plane with Small Linear Sections and Invariant Extensions of the Two-Dimensional Lebesgue Measure

We consider some subsets of the Euclidean plane R ², having small linear sections (in all directions), and investigate those sets from the point of view of measurability with respect to certain invariant extensions of the classical Lebesgue measure on R ².     

Leibniz Central Extensions on Some Infinite-Dimensional Lie Algebras

Abstract

In this paper, all one-dimensional Leibniz central extensions on the algebras of differential operators over C[t, t ^?1] and C((t)), as well as on the quantum 2-torus, the Virasoro-like algebra and its q-analog are studied. We determine all nontrivial Leibniz 2-cocycles on these infinite dimensional Lie algebras.     

Random change on a Lie group and mean glaucomatous projective shape change detection from stereo pair images

In this article we develop a nonparametric methodology for estimating the mean change for matched samples on a Lie group. We then notice that for k≥5, a manifold of projective shapes of k-ads in 3D has the structure of a 3k−15 dimensional Lie group that is equivariantly embedded in a Euclidean space, therefore testing for mean change amounts to a one sample test for extrinsic means on this Lie group. The Lie group technique leads to a large sample and a nonparametric bootstrap test for one population extrinsic mean on a projective shape space, as recently developed by Patrangenaru, Liu and Sughatadasa. On the other hand, in the absence of occlusions, the 3D projective shape of a spatial k-ad can be recovered from a stereo pair of images, thus allowing one to test for mean glaucomatous 3D projective shape change detection from standard stereo pair eye images.     

The Willmore functional and the containment problem in R4

Let ∑ be a convex hypersurface in the Euclidean space R4 with mean curvature H. We obtain a geometric lower bound for the Willmore functional f∑ H2dσ. This bound is an invariant involving the area of ∑, the volume and Minkowski quermassintegrals of the convex body that ∑bounds. We also obtain a sufficient condition for a convex body to contain another in the Euclidean space R4.     

The eigenvalue distribution for a degenerate elliptic operator — div {(1−|x|2)grad·}

We sharpen the remainder estimate of the asymptotic formula for the eigenvalue distribution for the degenerate operator -div{(1−|x|²)grad·} in the unit ball of the Euclidean spaceR ⁿ . In particular we find the second term whenn=2.     

A locally optimal fast obstacle-avoiding path-planning algorithm

Two algorithms to compute the shortest collision-free paths in the Euclidean plane are presented. The ƒ obstacles assumed to be described by disjoint convex polygons having N vertices in total. After preprocessing time O(N+flogN), a suboptimal shortest path between two arbitrary query points can be found in O(f+NlogN) time using Dijkstra's algorithm and in Θ(N) time using the A¹ algorithm. The space complexity is O(N+f).     

Voronoi diagrams and arrangements

We propose a uniform and general framework for defining and dealing with Voronoi diagrams. In this framework a Voronoi diagram is a partition of a domainD induced by a finite number of real valued functions onD. Valuable insight can be gained when one considers how these real valued functions partitionD ×R. With this view it turns out that the standard Euclidean Voronoi diagram of point sets inR ^d along with its order-k generalizations are intimately related to certain arrangements of hyperplanes. This fact can be used to obtain new Voronoi diagram algorithms. We also discuss how the formalism of arrangements can be used to solve certain intersection and union problems.     

Simultaneous Quantization of Three-Dimensional Bialgebras

We perform a simultaneous multiparameter quantization of some three-dimensional Lie algebras, such as the Heisenberg algebra, motion algebras of the Euclidean and pseudoeuclidean planes, and the algebra su(2). Such a quantization is possible since any of the mentioned algebras is dual to the same solvable Lie algebra. We present an explicit form of the numerical R-matrix; this allows us to represent some of the commutation relations in the form of the PTT-equation. Bibliography: 14 titles.     

Analytic continuation of local representations of symmetric spaces

We prove the following analytic continuation theorem which applies to any virtual representation of any symmetric space (G, K, σ). The problem of passing from the Euclidean group to the Poincaré group appears first to have been addressed and solved this way by Klein and Landau. Let G be a Lie group, K a closed subgroup, and σ an involutive automorphism with K as fixed-point subgroup. If = + is the corresponding symmetric Lie algebra, we form ^* = + , and let G^* denote the simply connected Lie group with ^* as Lie algebra. We consider virtual representations π of G on a fixed complex Hilbert space , adopting the definitions due to J. Fröhlich, K. Osterwalder, and E. Seiler; in particular, π(g⁻¹) π(σ(g))^* (possibly unbounded operators) for g in a neighborhood of e in G. We prove that every such π continues analytically to a strongly continuous unitary representation of G^* on . Our theorem extends results due to Klein-Landau, Fröhlich et al., and others, earlier, for special cases. Previous results were known only for special (G, K, σ), and then only for certain π.     

Quadratische Identitäten bei Polygonen

Summary In a letter to Christian Goldbach (1690–1764) Leonhard Euler (1707–1783) communicates the following theorem on quadrilaterals: IfABCD is a quadrilateral andM, N are the mid-points of the diagonals, then |AB|²+|BC|²+|CD|²+|DA|²=|AC|²+|BD|²+4|MN|². This theorem, a generalization of a classical theorem of Apollonius of Perge (262-190 B.C.) on parallelograms, was rediscovered recently by A. R. Amir-Moez and J. D. Hamilton (1976). A. J. Douglas (1981) carried the generalization a stage further and proved a theorem on polygons in a Euclidean space, which have an even number of points. On the basis of the Fourier analysis of polygons this paper establishes a wide class of quadratic identities, whose geometrical interpretation leads to polygon-theorems of the above type.

Meiner Mutter zum 85. Geburtstag gewidmet