Perturbation analysis of the orthogonal procrustes problem

Given two arbitrary real matricesA andB of the same size, the orthogonal Procrustes problem is to find an orthogonal matrixM such that the Frobenius norm MA – B is minimized. This paper treats the common case when the orthogonal matrixM is required to have a positive determinant. The stability of the problem is studied and supremum results for the perturbation bounds are derived.     

Convexity theories III. Classification of certain real convexity theories

In this paper we classify all real convexity theories that contain the standard convexity theory _c. For this purpose we consider three subcases: finitary; infinitary and (_sc\_c)Ø; infinitary and _sc=_c. In each of these subcases one encounters a phenomenon resembling bifurcation.This research was supported by the Deutsche Forschungsgemeinschaft.     

Zur krümmungsverwandtschaft von zwangläufen in affinen ck — Ebenen II

In part I we have studied a map of osculating elements of an affine Cayley-Klein (CK-) plane into the Lie algebra A₄(²) of the aequiform transformations A₄(²) of the given plane A₂(, ²). If we use the real projective space P₃() over A₄(²) each osculating element defines a straight line in P₃(). We now give a one parameter motion in A₄(²) and study second order properties and their analogon in the Lie algebra and P₃(), respectively. We show that the wellknown relationship between the points of the moving frame and the osculating circles of the point paths in the fixed frame may be interpreted as part of a quadratic map of certain straight Lines of P₃(). An analogous result holds for the curvature of pairs of envelopes; the mapV induced in P₃() than is contained in a cubic relationship of straight lines.

---

---

Herrn Professor Oswal Giering zum 60. Geburtstag gewidmet     

Generalized Bethe ansatz solution of a one-dimensional asymmetric exclusion process on a ring with blockage

We present a model for a one-dimensional anisotropic exclusion process describing particles moving deterministically on a ring of lengthL with a single defect, across which they move with probability 0 p 1. This model is equivalent to a two-dimensional, six-vertex model in an extreme anisotropic limit with a defect line interpolating between open and periodic boundary conditions. We solve this model with a Bethe ansatz generalized to this kind of boundary condition. We discuss in detail the steady state and derive exact expressions for the currentj, the density profilen(x), and the two-point density correlation function. In the thermodynamic limitL the phase diagram shows three phases, a low-density phase, a coexistence phase, and a high-density phase related to the low-density phase by a particle-hole symmetry. In the low-density phase the density profile decays exponentially with the distance from the boundary to its bulk value on a length scale . On the phase transition line diverges and the currentj approaches its critical valuej _c = p as a power law,j _c – j ^–1/2. In the coexistence phase the width of the interface between the high-density region and the low-density region is proportional toL ^1/2 if the density f 1/2 and=0 independent ofL if = 1/2. The (connected) two-point correlation function turns out to be of a scaling form with a space-dependent amplitude n(x₁, x₂) =A(x₂)A ^Ke^–r/ withr = x ₂ –x ₁ and a critical exponent = 0.     

Homomorphisms onC ∞ (E) andC ∞-bounding sets

We prove, for the class of real locally convex spacesE that are continuously and linearly injectable into somec ₀(), that every non-zero homomorphism on the algebraC (E) ofC -functions onE is given by a point evaluation at some point ofE. Furthermore, if every real-valuedC -function on the weak topology of a quasi-complete locally convex spaceE is bounded on a subsetA ofE, thenA is relatively weakly compact.     

On sparse spanners of weighted graphs

Given a graphG, a subgraphG' is at-spanner ofG if, for everyu,v V, the distance fromu tov inG' is at mostt times longer than the distance inG. In this paper we give a simple algorithm for constructing sparse spanners for arbitrary weighted graphs. We then apply this algorithm to obtain specific results for planar graphs and Euclidean graphs. We discuss the optimality of our results and present several nearly matching lower bounds.The work of G. Das and D. Joseph was supported by NSF PYI Grant DCR-8402375. The work of D. Dobkin was supported by NSF Grant CCR-8700917. The work of J. Soares was supported by CNPq proc 203039/87.4 (Brazil) and NSF Grant CCR-9014562. This research was accomplished while G. Das was a student at the University of Wisconsin-Madison. A preliminary version was presented at the Second Scandinavian Workshop on Algorithm Theory, Bergen, Norway, 1990, under the title Generating Sparse Spanners for Weighted Graphs, and proceedings appear in the series Lecture Notes in Computer Science, Springer-Verlag. The preliminary version also appears as Princeton University Technical Report CS-TR-261-90, and as University of Wisconsin-Madison Computer Sciences Technical Report 882.     

Asymptotic expansions in the integral and local limit theorems in banach spaces with applications to ω-statistics

LetB be a real separable Banach space and letX,X ₁,X ₂,...∈B denote a sequence of independent identically distributed random variables taking values inB. DenoteS _n =n ^?1/2(X ₁+...X _n ). Let π:B→R be a polynomial. We consider (truncated) Edgeworth expansions and other asymptotic expansions for the distribution function of the r.v. π(S _n ) with uniform and nonuniform bounds for the remainder terms. Expansions for the density of π(S _n ) and its higher order derivatives are derived as well. As an application of the general results we get expansions in the integral and local limit theorems for ω-statistics $$\omega _n^p (q)\mathop { = n^{{p \mathord{\left/ {\vphantom {p 2}} \right. \kern-\nulldelimiterspace} 2}} }\limits^\Delta \smallint _{(0,1)} \{ F_n (x) - x\} ^p q(x)dx$$ and investigate smoothness properties of their distribution functions. Herep≥2 is an even number,q: [0, 1]→[0, ∞] is a measurable weight function, andF _n denotes the empirical distribution function. Roughly speaking, we show that in order to get an asymptotic expansion with remainder termO(n ^?α), α<p/2, for the distribution function of the ω-statistic, it is sufficient thatq is nontrivial, i.e., mes{t∈(0, 1):q(t)≠0}>0. Expansions of arbitrary length are available provided the weight functionq is absolutely continuous and positive on an nonempty subinterval of (0, 1). Similar results hold for the density of the distribution function and its derivatives providedq satisfies certain very mild smoothness condition and is bounded away from zero. The last condition is essential since the distribution function of the ω-statistic has no density whenq is vanishing on an nonempty subinterval of (0, 1).