Dimension in diffeology

We define the dimension function for diffeological spaces, a simple but new invariant. We show then how it can be applied to prove that, for two different integers m and n the quotient spaces R^m/O(m) and Rⁿ/O(n) are not diffeomorphic, and not diffeomorphic to the half-line [0, ∞[ R.     

Frobenius-Perron operators and approximation of invariant measures for set-valued dynamical systems

A set-valued dynamical systemF on a Borel spaceX induces a set-valued operatorF onM(X) — the set of probability measures onX. We define arepresentation ofF, each of which induces an explicitly defined selection ofF; and use this to extend the notions of invariant measure and Frobenius-Perron operators to set-valued maps. We also extend a method ofS. Ulam to Markov finite approximations of invariant measures to the set-valued case and show how this leads to the approximation ofT-invariant measures for transformations , whereT corresponds to the closure of the graph of .     

Orbits, weak orbits and local capacity of operators

LetT be an operator on a Banach spaceX. We give a survey of results concerning orbits {T ⁿ x:n=0,1,...} and weak orbits {T ⁿ x,x ^*:n=0,1,...} ofT wherexX andx ^*X ^*. Further we study the local capacity of operators and prove that there is a residual set of pointsxX with the property that the local capacity cap(T, x) is equal to the global capacity capT. This is an analogy to the corresponding result for the local spectral radius.The research was supported by the grant No. A1019801 of AV R.     

Regular Action in Rings

Let R be a ring with identity, X(R) the set of all nonzero non-units of R and G(R) the group of all units of R. By considering left and right regular actions of G(R) on X(R), the following are investigated: (1) For a local ring R such that X(R) is a union of n distinct orbits under the left (or right) regular action of G(R) on X(R), if J ⁿ  ≠ 0 = J ⁿ⁺¹ where J is the Jacobson radical of R, then the set of all the distinct ideals of R is exactly {R, J, J ²,…, J ⁿ , 0}, and each orbit under the left regular action is equal to the one under the right regular action. (2) Such a ring R is left (and right) duo ring. (3) For the full matrix ring S of n × n matrices over a commutative ring R, the number of orbits under left regular action of G(S) on X(S) is equal to the number of orbits under right regular action of G(S) on X(S); the result also holds for the ring of n × n upper triangular matrices over R.     

Unique winning policies for linear differential pursuit games

We study optimal control problems which are the duals, in a specified sense, to a certain class of linear differential games. Directly verifiable conditions, in terms of the data of the game, for uniqueness of solutions of the dual problem and thus for uniqueness of winning policies for the differential game, are derived. As a byproduct, in the particular context of two-dimensional problems, a strong result concerning normality is obtained. As a second byproduct, several geometrical and topological properties of thestar difference are derived. This set operation is of paramount importance for the study of rich classes of differential and difference games extending far beyond that treated here.Notation co(P) convex hull of a setPR ⁿ - ext(P) set of extreme points ofP - [x ₁,x ₂] line segment joining the pointsx ₁,x ₂ R ⁿ - S(P, c) Supporting closed halfspace ofP with exterior normalc - H(P, c) supporting hyperplane ofP with exterior normalc - F(P, c) face of the polytopeP with exterior normalc - span(P) linear span ofP - lin(P) linear closure ofP = smallest linear manifold containingP - relbd(P) relative boundary ofP - int(P) interior ofP with respect to the topology ofR ⁿ - ri(P) relative interior ofP with respect to lin(P) - a, b inner product (inR ⁿ) ofa andb - U/W {x:x U R ⁿ andx W R ⁿ} - cl(P) closure ofP This work was done during the year 1972, when the author was a student of Prof. O. Hajek at Case Western Reserve University, Cleveland, Ohio. The author wishes to thank Dr. Hajek for his many comments, suggestions, and critique.     

A new continuation method for complementarity problems with uniformP-functions

The complementarity problem with a nonlinear continuous mappingf from the nonnegative orthantR ₊ ⁿ ofR ⁿ intoR ⁿ can be written as the system of equationsF(x, y) = 0 and(x, y) R ₊ ²ⁿ , whereF denotes the mapping from the nonnegative orthantR ₊ ²ⁿ ofR ²ⁿ intoR ₊ ⁿ × Rⁿ defined byF(x, y) = (x ₁y₁,,x_ny_n, f₁(x) – y₁,, f_n(x) – y_n) for every(x, y) R ₊ ²ⁿ . Under the assumption thatf is a uniformP-function, this paper establishes that the mappingF is a homeomorphism ofR ₊ ²ⁿ ontoR ₊ ⁿ × Rⁿ. This result provides a theoretical basis for a new continuation method of tracing the solution curve of the one parameter family of systems of equationsF(x, y) = tF(x ⁰, y⁰) and(x, y) R ₊ ²ⁿ from an arbitrary initial point(x ⁰, y⁰) R ₊ ²ⁿ witht = 1 until the parametert attains 0. This approach is an extension of the one used in the polynomially bounded algorithm recently given by Kojima, Mizuno and Yoshise for solving linear complementarity problems with positive semi-definite matrices.     

Singularity of mean curvature flow of Lagrangian submanifolds

In this article we study the tangent cones at first time singularity of a Lagrangian mean curvature flow. If the initial compact submanifold ₀ is Lagrangian and almost calibrated by Re in a Calabi-Yau n-fold (M,), and T>0 is the first blow-up time of the mean curvature flow, then the tangent cone of the mean curvature flow at a singular point (X₀,T) is a stationary Lagrangian integer multiplicity current in R²ⁿ with volume density greater than one at X₀. When n=2, the tangent cone is a finite union of at least two 2-planes in R⁴ which are complex in a complex structure on R⁴.     

Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger

Summary This paper gives a recursive generalization of a strong notation system of ordinals, which was devellopped by Jäger [3]. The generalized systemT(V) is based on a hierarchy of Veblen-functions for inaccessible ordinals. The definition ofT(V) assumes the existence of a weak Mahlo-ordinal. The wellordering ofT(V) is provable in a formal system of second order arithmetic with the axiom schema of ₂ ¹ -comprehension in a similar way, as it is proved in [6] for the weaker notation systemT(V).     

The Descent Monomials and a Basis for the Diagonally Symmetric Polynomials

Let R(X) = Q[x ₁, x ₂, ..., x _n] be the ring of polynomials in the variables X = {x ₁, x ₂, ..., x _n} and R*(X) denote the quotient of R(X) by the ideal generated by the elementary symmetric functions. Given a S _n, we let g In the late 1970s I. Gessel conjectured that these monomials, called the descent monomials, are a basis for R*(X). Actually, this result was known to Steinberg [10]. A. Garsia showed how it could be derived from the theory of Stanley-Reisner Rings [3]. Now let R(X, Y) denote the ring of polynomials in the variables X = {x ₁, x ₂, ..., x _n} and Y = {y ₁, y ₂, ..., y _n}. The diagonal action of S _n on polynomial P(X, Y) is defined as Let R (X, Y) be the subring of R(X, Y) which is invariant under the diagonal action. Let R *(X, Y) denote the quotient of R (X, Y) by the ideal generated by the elementary symmetric functions in X and the elementary symmetric functions in Y. Recently, A. Garsia in [4] and V. Reiner in [8] showed that a collection of polynomials closely related to the descent monomials are a basis for R *(X, Y). In this paper, the author gives elementary proofs of both theorems by constructing algorithms that show how to expand elements of R*(X) and R *(X, Y) in terms of their respective bases.     

Strongly consistent estimators of k-th order regression curves and rates of convergence

Summary Let X and Y be two jointly distributed real valued random variables, and let the conditional distribution of X given Y be either in a Lebesgue exponential family or in a discrete exponential family. Let r_k be the k-th order regression curve of Y on X. Let X _n=(X ₁,..., X_n) be a random sample of size n on X. For a subset S of the real line R, statistics based on X_n are exhibited and sufficient conditions are given under which is close to O(n ^–1/2) with probability one. To obtain this result, with uf (u known and f unknown) denoting the unconditional (on y) density of X, the problem of estimating r _k (·) is reduced to the one of estimating f ^(k) (·)/f(·) if the density is wrt the Lebesgue measure on R and f ^(k) is the k-th order derivative of f; and to the one of estimating f(·+k)/f(·) if the density is wrt the counting measure on a countable subset of R.     

p-Group actions on homology spheres

When an arbitraryp-groupG acts on a _n -homologyn-sphereX, it is proved here that the dimension functionn:S(G)(S(G) is the set of subgroups ofG), defined byn(H)=dimX ^H, (dim here is cohomological dimension) is realised by a real representation ofG, and that there is an equivariant map fromX to the sphere of this representation. A converse is also established.     

Multiobjective programming and penalty functions

This paper generalizes the penalty function method of Zang-will for scalar problems to vector problems. The vector penalty function takes the form $$g(x,\lambda ) = f(x) + \lambda ^{ - 1} P(x)e,$$ wheree ?R ^m, with each component equal to unity;f:R ⁿ →R ^m, represents them objective functions {f ⁱ} defined onX \( \subseteq \) R ⁿ; λ ∈R ¹, λ>0;P:R ⁿ →R ¹ X \( \subseteq \) Z \( \subseteq \) R ⁿ,P(x)≦0, ∨x ∈R ⁿ,P(x) = 0 ?x ∈X. The paper studies properties of {E (Z, λ _r )} for a sequence of positive {λ _r } converging to 0 in relationship toE(X), whereE(Z, λ _r ) is the efficient set ofZ with respect tog(·, λ_r) andE(X) is the efficient set ofX with respect tof. It is seen that some of Zangwill's results do not hold for the vector problem. In addition, some new results are given.     

Limit theorems for trimmed sums

This paper studies the heavily trimmed sums (*) _{[ns] + 1} ^[nt] X _j ⁽ⁿ⁾ , where {X _j ⁽ⁿ⁾ } _{j = 1} ⁿ are the order statistics from independent random variables {X ₁,...,X _n } having a common distributionF. The main theorem gives the limiting process of (*) as a process oft. More smoothly trimmed sums like _{j = 1} ^[nt] J(j/n)X _j ⁽ⁿ⁾ are also discussed.     

The asymptotic behavior of the principal eigenvalue in a singular perturbation problem with invariant boundaries

Summary We consider diffusion random perturbations of a dynamical systemS ^t in a domainGR ^m which, in particular, may be invariant under the action ofS ^t. Continuing the study of [K1-K4] we find the asymptotic behavior of the principal eigenvalue of the corresponding generator when the diffusion term tends to zero.This work was supported by U.S.A.-Israel B.S.F. Grant #84-00028     

Rational approximations for the cosine function; P-acceptability and order

Properties of order stars corresponding to rational approximations for cos z are derived and are used to prove that the order of accuracy of a P-acceptable approximantR _nm(z ²), with numerator of degreen and denominator of degreem, cannot exceed 2m. It is shown that if the poles ofR _nm(z ²) are restricted to pure-imaginary values ofz the maximum attainable order is 2n+2, whatever the value ofm1. A study of rational approximations for the cosine function produced by symmetric one-step collocation methods, applied to the differential equationy ⁿ =–² y, provides the answer to a question posed by Kramarz [BIT 20 (1980) 215–222]; there are no P-stable methods of that type.     

Rare numbers

Suppose thatX ₁,X ₂,... is a sequence of iid random variables taking values inZ ⁺. Consider the random sequenceA(X)(X ₁,X ₂,...). LetY _n be the number of integers which appear exactly once in the firstn terms ofA(X). We investigate the limit behavior ofn ^–(1–) Y _n for [0, 1].     

Osserman Conjecture in dimension <Emphasis Type="Italic">n</Emphasis> ≠ 8, 16

Let Mⁿ be a Riemannian manifold and R its curvature tensor. For a point p Mⁿ and a unit vector X T_pMⁿ, the Jacobi operator is defined by R_X=R(X,·)X. The manifold Mⁿ is called pointwise Osserman if, for every p Mⁿ, the spectrum of the Jacobi operator does not depend of the choice of X, and is called globally Osserman if it depends neither of X, nor of p. Osserman conjectured that globally Osserman manifolds are two-point homogeneous. We prove the Osserman Conjecture for n8, 16, and its pointwise version for n2, 4, 8, 16. Partial result in the case n=16 is also given.Mathematics Subject Classification (2000): 53B20Work supported by MRDGS internal grant and by ARC grant S6005288.     

Recurrent random walks in nonnegative matrices II

Summary In this paper, we continue the study undertaken in our earlier paper [M1]. One of the main results here can be described as follows. LetX ₀,X ₁, ... be a sequence of iid random affine maps from (R ⁺) ^d into itself. Let us write:W _n X _n X _n –1...X ₀ andZ _n X ₀ X ₁...X _n , where composition of maps is the rule of multiplication. By the attractorA(u),u(R ⁺) ^d , we mean the setA u={y(R⁺)^d:P(W_n uN i.o.) > 0 for every openN containingy}. It is shown that the attractorA(u), under mild conditions, is the support of a stationary probability measure, when the random walk (Z _n ) has at least one recurrent state.     

Beste Quadraturformeln für Integrale mit einer Gewichtsfunktion

Let be a fixed matrix with elements that are 0 or 1 and letX be a fixed set ofm+1 different knots. The problem is to find necessary and sufficient conditions for (E, X) to guarantee the existence of a quadrature formula with a remainder term of type for any choice of a weight functionw(t) and satisfyingR(f)=0 forf a polynomial of degree at mostn–1. The result generalizes the corresponding result ofI. J. Schoenberg for the special case of quasi-Lagrange-matricesE. —in case of the existence ofR it is possible to calculate the best quadrature formulaR ^* in the sense ofSard by integrating splines of degree 2n–1. But ifE contains onlyn ones it is sufficient to integrate polynomials of degreen–1.     

Central limit theorem for integrated square error of kernel estimators of spherical density

LetX ₁,…,X _n be iid observations of a random variableX with probability density functionf(x) on the q-dimensional unit sphere Ω_q in R^q+1,q ⩾ 1. Let be a kernel estimator off(x). In this paper we establish a central limit theorem for integrated square error off _n under some mild conditions.