On methods for generating uniform random points on the surface of a sphere

Some methods for generating random points uniformly distributed on the surface of ann-sphere have been proposed to simulate spherical processes on computer. A standard method is to normalize random points inside of the sphere, see M. Muller [5]. Improved methods were given by J. M. Cook [1] and G. Marsaglia [4] in three and four dimensions, and computational methods in higher dimensions by J. S. Hicks and R. F. Wheeling [3] and M. Sibuya [6]. In this paper we shall offer direct methods for generating uniform random points on the surface of a unitn-sphere, which can be easily combined with Marsaglia's idea for getting more improved methods. Our method in even dimensions was obtained by M. Sibuya [6], but a differential-geometric view-point will make analyses simpler, even in odd dimensions.     

Two-jets of conformal fields along their zero sets

The connected components of the zero set of any conformal vector field v, in a pseudo-Riemannian manifold (M, g) of arbitrary signature, are of two types, which may be called ‘essential’ and ‘nonessential’. The former consist of points at which v is essential, that is, cannot be turned into a Killing field by a local conformal change of the metric. In a component of the latter type, points at which v is nonessential form a relatively-open dense subset that is at the same time a totally umbilical submanifold of (M, g). An essential component is always a null totally geodesic submanifold of (M, g), and so is the set of those points in a nonessential component at which v is essential (unless this set, consisting precisely of all the singular points of the component, is empty). Both kinds of null totally geodesic submanifolds arising here carry a 1-form, defined up to multiplications by functions without zeros, which satisfies a projective version of the Killing equation. The conformal-equivalence type of the 2-jet of v is locally constant along the nonessential submanifold of a nonessential component, and along an essential component on which the distinguished 1-form is nonzero. The characteristic polynomial of the 1-jet of v is always locally constant along the zero set.     

Lie rings admitting an automorphism of order 4 with few fixed points

Lie rings that admit an automorphism of order 4 with few fixed points are considered. For a Lie ring (algebra) L admitting an automorphism of order 4 with a finite number m of fixed points (with a finite-dimensional subalgebra of fized points of dimension m), it is proved that the subring 4L (algebra L) contains an ideal M with a subring of m-bounded index in the additive group of M (a subalgebra of m-bounded codimension), which is nilpotent of class bounded by some constant. It is also shown that, under the same premise, the factor-ring 4L/M (factor-algebra L/M) contains a subring of m-bounded index in the additive group of 4L/M (a subalgebra of m-bounded codimension), which is nilpotent of class ≤2. Moreover, L has a subring of m-bounded index in the additive group of L (a subalgebra of m-bounded codimension), which is soluble of derived length bounded by a constant. Supported by RFFR grant No. 94-01-00048 and by ISF grant NQ7000. Translated fromAlgebra i Logika, Vol. 35, No. 1, pp. 41–78, January–February, 1996.     

Second moment relationships for waiting times in queueing systems with poisson input

For theM/G/1 queue there are well-known and simple relationships among the second moments of waiting time under the first-in-first-out, last-in-first-out, and random-order-of-service disciplines. This paper points out that these relationships hold in considerably more general settings. In particular, it is shown that these relationships hold forM/G/1 queues with exceptional first service,M/G/1 queues with server vacations, andM/G/1 queues with static priorities.     

Mirror configurations of points and lines and algebraic surfaces of degree four

We prove that mirror nonsingular configurations of m points and n lines in ℝP ³ exist only for m≤3, n≡0 or 1 (mod 4) and for m=0 or 1 (mod 4), n≡0 (mod 2). In addition, we give an elementary proof of V. M. Kharlamov’s well-known result saying that if a nonsingular surface of degree four in ℝP ³ is noncontractible and has M≥5 components, then it is nonmirror. For the cases M=5, 6, 7 and 8, Kharlamov suggested an elementary proof using an analogy between such surfaces and configurations of M−1 points and a line. Our proof covers the remaining cases M=9, 10. Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 299–308. Translated by N. Yu. Netsvetaev.     

Baryzentrische Formeln zur Trigonometrischen Interpolation (I)

Summary Barycentric formulas for the interpolation of a periodic functionf by a trigonometric polynomial have been given by Salzer [11] in the case of an odd number of arbitrary (interpolating) points and by Henrici [7] in the special case of equidistant points. We present here formulas for the interpolation with an even number of arbitrary points as well as simpler versions for an even or an odd functionf.

Der Autor dankt Dr. M. H. Gutknecht und Prof. P. Henrici, ohne welche diese Arbeit vielleicht nicht entstanden wäre.     

Bivariate Lagrange interpolation at the Padua points: the ideal theory approach

The Padua points are a family of points on the square [−1, 1]² given by explicit formulas that admits unique Lagrange interpolation by bivariate polynomials. Interpolation polynomials and cubature formulas based on the Padua points are studied from an ideal theoretic point of view, which leads to the discovery of a compact formula for the interpolation polynomials. The L ^p convergence of the interpolation polynomials is also studied. S. De Marchi and M. Vianello were supported by the “ex-60%” funds of the University of Padua and by the INdAM GNCS (Italian National Group for Scientific Computing). Y. Xu was partially supported by NSF Grant DMS-0604056.     

On finite sets of points inP 3

Given a finite set of points Γ₀ which span a projective spaceP ³, we show here that a plane spanned by points of Γ₀ can be a neighbour of at most eight points of Γ₀, these being the vertices of a projective cube; the common neighbour plane is then elementary with the three only points of Γ₀ in it being diagonal points of the cube. This extends toP ³ some results of L. M. Kelly and W. O. J. Moser in the planeP ².     

A short proof of the twelve-point theorem

We present a short elementary proof of the following twelve-point theorem. Let M be a convex polygon with vertices at lattice points, containing a single lattice point in its interior. Denote by m (respectively, m*) the number of lattice points in the boundary of M (respectively, in the boundary of the dual polygon). Then m + m* = 12.Translated from Matematicheskie Zametki, vol. 77, no. 1, 2005, pp. 117–120.Original Russian Text Copyright © 2005 by D. Repov, M. Skopenkov, M. Cencelj.This revised version was published online in April 2005 with a corrected issue number.     

On a necessary but not sufficient condition for a γ-generating pair to be a nehari pair

This paper gives a negative answer to a question due to V.M. Adamjan, D.Z. Arov and M.G. Krein, and (what is the same) gives a counterexample to D.Sarason's conjecture^* concerning exposed points inH ¹.     

Cyclic coloration of 3-polytopes

A cyclic coloration of a planar graph G is an assignment of colors to the points of G such that for any face bounding cycle the points of F have different colors. We observe that the upper bound 2ρ*(G), due to O. Ore and M. D. Plummer, can be improved to ρ*(G) + 9 when G is 3-connected (ρ* denotes the size of a maximum face). The proof uses two principal tools: the theory of Euler contributions and recent results on contractible lines in 3-connected graphs by K. Ando, H. Enomoto and A. Saito.     

Lower bound for Ln/2 curvature norm and its application

We control the number of critical points of a height function arising from the Nash isometric embedding of a compact Riemanniann-manifoldM. The L^n/2 curvature norm ∥R∥ and a similar scalar ∥R∥ are introduced and their integralR(M) andR(M) overM. We prove thatR(M) is bounded below by a constant depending only onn and the Betti numbers ofM. Thus a new sphere theorem is proved by eliminating allith Betti numbers fori = 1, .…n −1. The emphasis is that our sphere theorem imposes no restriction on the range of curvature. Research partially supported by Grant-in-Aid for General Scientific Research, grant no. 07454018.     

Transitivity and Dense Periodicity for Graph Maps

In 1984, Blokh proved [A. M. Blockh, On transitive mappings of one-dimensional branched manifolds, Differential-Difference Equations and Problems of Mathematical physics (Russian), Akad. Nauk Ukrain. SSR Inst. Mat., Kiev, 131, pp. 3–9, 1984] that any topologically transitive continuous map from a graph into itself which has periodic points has a dense set of periodic points and has positive topological entropy (in this proof a crucial role is played by the specification property, which implies these two statements). Also, he characterized the topologically transitive continuous graph maps without periodic points. Unfortunately, this clever paper is only available in Russian (except for a translation to English of the statements of the theorems without proofs—see [A. M. Blockh, The connection between entropy and transitivity for one-dimensional mappings, Uspekhi Mat. Nauk, 42(5(257)) (1987), pp. 209–210]).     

On the structure of pseudo-holomorphic discs with totally real boundary conditions

In this paper, we study the structure ofJ-holomorphic discs in relation to the Fredholm theory of pseudo-holomorphic discs with totally real boundary conditions in almost complex manifolds (M, J). We prove that anyJ-holomorphic disc with totally real boundary condition that is injective in the interior except at a discrete set of points, which we call a “normalized disc,” must either have some boundary point that is regular and has multiplicity one, or satisfy that its image forms a smooth immersed compact surface (without boundary) with a finite number of self-intersections and a finite number of branch points. In the course of proving this theorem, we also prove several theorems on the local structure of boundary points ofJ-holomorphic discs, and as an application we give a complete treatment of the transverslity result for Floer’s pseudo-holomorphic trajectories for Lagrangian intersections in symplectic geometry. This paper is supported in part by NSF Grant DMS 9215011.     

On the minimal free resolution ofs points in IP3

Here we construct many possible minimal free resolutions ofs points in IP³ with general postulation, and prove a few a priori restrictions for their invariants. Partially supported by M.P.I.     

Nearest Neighbor Queries in Metric Spaces

Given a set S of n sites (points), and a distance measure d , the nearest neighbor searching problem is to build a data structure so that given a query point q , the site nearest to q can be found quickly. This paper gives data structures for this problem when the sites and queries are in a metric space. One data structure, D(S) , uses a divide-and-conquer recursion. The other data structure, M(S,Q) , is somewhat like a skiplist. Both are simple and implementable. The data structures are analyzed when the metric space obeys a certain sphere-packing bound, and when the sites and query points are random and have distributions with an exchangeability property. This property implies, for example, that query point q is a random element of . Under these conditions, the preprocessing and space bounds for the algorithms are close to linear in n . They depend also on the sphere-packing bound, and on the logarithm of the distance ratio of S , the ratio of the distance between the farthest pair of points in S to the distance between the closest pair. The data structure M(S,Q) requires as input data an additional set Q , taken to be representative of the query points. The resource bounds of M(S,Q) have a dependence on the distance ratio of S Q . While M(S,Q) can return wrong answers, its failure probability can be bounded, and is decreasing in a parameter K . Here K≤ |Q|/n is chosen when building M(S,Q) . The expected query time for M(S,Q) is O(Klog n)log , and the resource bounds increase linearly in K . The data structure D(S) has expected O( log n) ^O(1) query time, for fixed distance ratio. The preprocessing algorithm for M(S,Q) can be used to solve the all nearest neighbor problem for S in O(n(log n) ² (log ϒ(S)) ² ) expected time. Received September 17, 1996, and in revised form November 1, 1998.     

A Space of Cyclohedra

Abstract. The real points of the Deligne—Knudsen—Mumford moduli space \overline \cal M ⁿ ₀ of marked points on the sphere have a natural tiling by associahedra. We extend this idea to construct an aspherical space tiled by cyclohedra . We explore the structure of this space, coming from blow-ups of hyperplane arrangements, as well as discuss possibilities of its role in knot theory and mathematical physics.     

On the dirichlet problem of extreme points for non-continuous functions

Let X be a compact convex set and f be a bounded function defined on the set ext X of extreme points of X. We present a necessary and sufficient condition ensuring that f can be extended to a strongly affine Baire-α function. This generalizes a result of E. M. Alfsen from [2]. We also consider extensions of vector-valued mappings, thus generalizing another result of E. M. Alfsen.     

A Space of Cyclohedra

   Abstract. The real points of the Deligne—Knudsen—Mumford moduli space \overline \cal M ⁿ ₀ of marked points on the sphere have a natural tiling by associahedra. We extend this idea to construct an aspherical space tiled by cyclohedra . We explore the structure of this space, coming from blow-ups of hyperplane arrangements, as well as discuss possibilities of its role in knot theory and mathematical physics.     

Expansive dynamics and hyperbolic geometry

LetM be a compact Riemannian manifold with no conjugate points such that its geodesic flow is expansive. Then we show that the universal Riemannian covering ofM is a hyperbolic geodesic space according to the definition of M. Gromov. This allows us to extend a series of relevant geometric and topological properties of negatively curved manifolds toM and in particular, geometric group theory applies to the fundamental group ofM.