The realization of distances in measurable subsets covering Rn

A method is developed to investgate the minimum number of subsets that n-dimensional Euclidean space must be divided into so that no two points that are at unit distance are in the same subset, in the particular case where the division is into measurable subsets.     

On the average complexity of 3D-Voronoi diagrams of random points on convex polytopes

It is well known that the complexity, i.e. the number of vertices, edges and faces, of the 3-dimensional Voronoi diagram of n points can be as bad as Θ(n²). It is also known that if the points are chosen Independently Identically Distributed uniformly from a 3-dimensional region such as a cube or sphere, then the expected complexity falls to O(n). In this paper we introduce the problem of analyzing what occurs if the points are chosen from a 2-dimensional region in 3-dimensional space. As an example, we examine the situation when the points are drawn from a Poisson distribution with rate n on the surface of a convex polytope. We prove that, in this case, the expected complexity of the resulting Voronoi diagram is O(n).     

Distances between measures from 1-dimensional projections as implied by continuity of the inverse radon transform

Summary Distances between measures on IR ^d are determined from distances between their 1-dimensional projections. The method employed involves considering the 1-dimensional projections to be the Radon transform of the measures. Crucial to the main theorem is a continuity result for the inverse Radon transform. Focus is restricted to the Prohorov, dual bounded Lipschitz and d _k metrics which metrize weak convergence of probability measures. These metrics are related to each other and to the Sobolev norms. The d _k results extend from measures to generalized functions.Partially supported by NSF Grant No. MCS-81-01895Partially supported by NSF Grant No. MCS-82-01627 and support from the Mellon Foundation     

Interval oriented multi-section techniques for global optimization

This paper deals with two different optimization techniques to solve the bound-constrained nonlinear optimization problems based on division criteria of a prescribed search region, finite interval arithmetic and interval ranking in the context of a decision maker’s point of view. In the proposed techniques, two different division criteria are introduced where the accepted region is divided into several distinct subregions and in each subregion, the objective function is computed in the form of an interval using interval arithmetic and the subregion containing the best objective value is found by interval ranking. The process is continued until the interval width for each variable in the accepted subregion is negligible. In this way, the global optimal or close to global optimal values of decision variables and the objective function can easily be obtained in the form of an interval with negligible widths. Both the techniques are applied on several benchmark functions and are compared with the existing analytical and heuristic methods.     

Orthogonal Polynomials Associated with Related Measures and Sobolev Orthogonal Polynomials

Connection between two sequences of orthogonal polynomials, where the associated measures are related to each other by a first degree polynomial multiplication (or division), are looked at. The results are applied to obtain information regarding Sobolev orthogonal polynomials associated with certain pairs of measures.     

Stirling numbers and a geometric,structure from voting theory

In the spatial theory of voting, m candidates are each represented by a point in a p-dimensional Euclidean “attribute” space. The hyperplanes bisecting the line segments joining pairs of these points divide the space into regions, and each region corresponds to a definite ranking of the distances to the candidates. This paper discusses the combinatorics of such a structure and shows that the Stirling numbers have a geometrical significance.     

Linear programming with spheres and hemispheres of objective vectors

Given a linear program with a boundedp-dimensional feasible region let the objective vector range over ans-sphere, that is, ans-dimensional sphere centered at the origin wheres does not exceedp–1. If the feasible region and the sphere are in general position with respect to each other, then the corresponding set of all optimal solutions is a topologicals-sphere. Similar results are developed for unbounded feasible regions and hemispheres of objective vectors.This research is based on work supported in part by the National Science Foundation under Grant DMS-86-03232.     

Covering Convex Bodies by Cylinders and Lattice Points by Flats

In connection with an unsolved problem of Bang (1951) we give a lower bound for the sum of the base volumes of cylinders covering a d-dimensional convex body in terms of the relevant basic measures of the given convex body. As an application we establish lower bounds on the number of k-dimensional flats (i.e. translates of k-dimensional linear subspaces) needed to cover all the integer points of a given convex body in d-dimensional Euclidean space for 1≤k≤d−1. K. Bezdek and A.E. Litvak are partially supported by a Natural Sciences and Engineering Research Council of Canada Discovery Grant.     

Quadratic division algebras revisited (Remarks on an article by J. M. Osborn)

In his remarkable article ``Quadratic division algebras' (Trans. Amer. Math. Soc. 105 (1962), 202-221), J. M. Osborn claims to solve `the problem of determining all quadratic division algebras of order 4 over an arbitrary field of characteristic not two modulo the theory of quadratic forms over ' (cf. p. 206). While we shall explain in which respect he has not achieved this goal, we shall on the other hand complete Osborn's basic results (by a reasoning which is finer than his) to derive in the real ground field case a classification of all 4-dimensional quadratic division algebras and the construction of a 49-parameter family of pairwise nonisomorphic 8-dimensional quadratic division algebras.

To make these points clear, we begin by reformulating Osborn's fundamental observations on quadratic algebras in categorical terms.

     

When it’s on zero,the lines become parallel: Preservice elementary teachers’ diagrammatic encounters with division by zero

We investigated preservice elementary teachers’ diagrammatic encounters with division by zero. Pairs of preservice teachers explored a transformable diagram where the locations of points on the x and y axes could be continuously varied. Quotients were defined in the diagram as the intersection of a line with the y-axis. For zero divisors, the quotient line was parallel to the y-axis, and there was no point of intersection. We report our analysis of two episodes where the transformability of the diagram spurred encounters with division by zero. In each episode, pairs of preservice teachers used repeated movements of the points in the diagram to explore the conditions under which the quotient line would become parallel to the y-axis. Our analysis shows how these movement-based material experiments gave rise to different conceptions of division by zero. We discuss how transformable diagrams create new material contexts for exploring arithmetic concepts.     

Equidistant sets on Alexandrov surfaces

We examine properties of equidistant sets determined by nonempty disjoint compact subsets of a compact 2-dimensional Alexandrov space (of curvature bounded below). The work here generalizes many of the known results for equidistant sets determined by two distinct points on a compact Riemannian 2-manifold. Notably, we find that the equidistant set is always a finite simplicial 1-complex. These results are applied to answer an open question concerning the Hausdorff dimension of equidistant sets in the Euclidean plane.     

Pseudo Jordan domains and reflecting Brownian motions

Summary The manifold metric between two points in a planar domain is the minimum of the lengths of piecewiseC ¹ curves in the domain connecting these two points. We define a bounded simply connected planar region to be a pseudo Jordan domain if its boundary under the manifold metric is topologically homeomorphic to the unit circle. It is shown that reflecting Brownian motionX on a pseudo Jordan domain can be constructed starting at all points except those in a boundary subset of capacity zero.X has the expected Skorokhod decomposition under a condition which is satisfied when G has finite 1-dimensional lower Minkowski content.     

The degree of an eight-dimensional real quadratic division algebra is 1, 3, or 5

A celebrated theorem of Hopf (1940) [11], Bott and Milnor (1958) [1], and Kervaire (1958) [12] states that every finite-dimensional real division algebra has dimension 1, 2, 4, or 8. While the real division algebras of dimension 1 or 2 and the real quadratic division algebras of dimension 4 have been classified (Dieterich (2005) [6], Dieterich (1998) [3], Dieterich and Öhman (2002) [9]), the problem of classifying all 8-dimensional real quadratic division algebras is still open. We contribute to a solution of that problem by proving that every 8-dimensional real quadratic division algebra has degree 1, 3, or 5. This statement is sharp. It was conjectured in Dieterich et al. (2006) [7].     

The construction of numerical integration rules of degree three for product regions

Numerical integration formulas in n-dimensional Euclidean space of degree three are discussed. In this paper, for the product regions a method is presented to construct numerical integration formulas of degree three with 2n real points and positive weights. The presented problem is a little different from those dealt with by other authors. All the corresponding one-dimensional integrals can be different from each other and they are also nonsymmetrical. In this paper an n-dimensional numerical integration problem is turned into n one-dimensional moment problems, which simplifies the construction process. Some explicit numerical formulas are given. Furthermore, a more generalized numerical integration problem is considered, which will shed light on the final solution to the third degree numerical integration problem.     

Even Dimensional Circulate Geometry

In this paper we introduce the concept of 2m ? 1-dimensional circulate geometry and establish that any two points have m?+?1 numerical invariants. As motivations we refer to the following two facts: in the 4-dimensional case the circulate transformations preserve a pseudo scalar product if they are double extended Lorenz transformations, and in the 3-dimensional case using circulate transformations one gets a family of non orientable surfaces.     

Einbettung gewisser Kettengeometrien in projektive Räume

The theory of “chain geometries” as represented in [2] is a generalisation of the concept of Möbius-, Laguerre- and pseudo-euclidean planes over a commutative field K. It is well known that these geometries can be represented as a 2-dimensional variety of the 3-dimensional projective space over K. It will be shown how to embed in a similar way a class of “chain geometries”, which covers these planes. The algebras belonging to these geometries are the kinematic algebras, studied by H.KARZEL, in which x²? Kx+K for each element x of the algebra. If the algebra is of rank n the geometry will be represented on a n-dimensional algebraic variety of the (n+1)-dimensional projective space π, the chains being the intersection of with planes of π having no line but at least two points in common with .     

Four-dimensional compact projective planes with two fixed points

We determine all 4-dimensional compact projective planes with a solvable 6-dimensional collineation group fixing two distinct points, and acting transitively on the affine pencils through the fixed points. These planes form a 2-parameter family, and one exceptional member of this family is the dual of the exceptional translation plane with 8-dimensional collineation group.     

THE SCENERY FLOW FOR GEOMETRIC STRUCTURES ON THE TORUS： THE LINEAR SETTING

50. IntroductionWe begin by recalling some wellknown relationshiPs. First, ther is the one-to-one corre-spondence between closed orbits of the g6odesic fiow on the modular surfaCe and conjugacyclasses of hyperbolic toral automorphisms. (This can be seen directly from the definitions(see Remaxk 1.3 in 51 below).) Secondly one knows that it is possible to code this geodesicflow using coatinued fractions and via circle rotations (cf [9, 42, 2, 7J). Thirdly, there is astrong relation between hyp…     

Extensions of the Appelrot classes for the generalized gyrostat in a double force field

For the integrable system on e(3, 2) found by Sokolov and Tsiganov we obtain explicit equations of some invariant 4-dimensional manifolds on which the induced systems are almost everywhere Hamiltonian with two degrees of freedom. These subsystems generalize the famous Appelrot classes of critical motions of the Kowalevski top. For each subsystem we point out a commutative pair of independent integrals, describe the sets of degeneration of the induced symplectic structure. With the help of the obtained invariant relations, for each subsystem we calculate the outer type of its points considered as critical points of the initial system with three degrees of freedom.     

一类3维反转系统中的异维环分支

研究了一类3维反转系统中包含2个鞍点的对称异维环分支问题, 且仅限于研究系统的线性对合R的不变集维数为1的情形. 给出了R-对称异宿环与R-对称周期轨线存在和共存的条件, 同时也得到了R-对称的重周期轨线存在性. 其 次, 给出了异宿环、 同宿轨线、 重同宿轨线和单参数族周期轨线的存在性、 唯一性和共存性等结论, 并且发现不可数无穷条周期轨线聚集在某一同宿轨线的小邻域内. 最后给出了相应的分支图.