Betweeness for real vectors and lines,III alternative characterizations of betweennesses

Summary This paper introduces terminology enabling the discussion of centerrelated betweennesses defined with respect to centers other than the origin. Thus, it is then proved that the familiar -betweenness in which is origin-centered, is equivalent to a non-origin-centered -betweenness in one lower dimension. A new betweenness inK, denoted by , (r>0), is defined and studied, and it is shown that its restriction to is precisely -betweenness for a certain ν. Finally, by a method elaborated in the earlier papers, a new betweeness, , is induced on the upper open-hemisphere-plus-a-point in 3-space, and a characterization of it is obtained which is expected to facilitate later investigations of betweenness is complex spaces.     

Bayes estimation with spherically symmetric,convex loss

Summary It is desired to estimate a parameter with the loss function of the formL(θ, a)=W(‖θ−a‖), where is convex, differentiable, and non-decreasing. With this structure a characterization of Bayes estimators is given. Also it is noted that if the sample space, , for the observation,X, is a complete separable metric space then a Bayes estimator exists.     

A decomposition of 2-weak vertex-packing polytopes

The 2-weak vertex-packing polytope of a loopless graphG withd vertices is the subset of the unitd-cube satisfyingx _i +x _j ≤1 for every edge (i,j) ofG. The dilation by 2 of this polytope is a polytope with integral vertices. We triangulate with lattice simplices of minimal volume and label the maximal simplices with elements of the hyperoctahedral groupB _d . This labeling gives rise to a shelling of the triangulation of , where theh-vector of (and the Ehrharth ^*-vector of can be computed as a descent statistic on a subset ofB _d defined in terms ofG. A recursive way of computing theh-vector of is also given, and a recursive formula for the volume of . This work was partially supported by grants from the Icelandic Council of Science and the Royal Swedish Academy of Sciences, respectively.     

Solutions of the cauchy problem for the polyharmonic equation (uniqueness and approximation)

One finds conditions which ensure the possibility of weighted mean-square approximation of a vector-function defined on the boundary of an n-dimensional domain by vector-functions of the form , where u is, the solution of the equation Δ^m _u=0 in while∂/∂v denotes differentiation along the normal. The weight function is continuous and positive everywhere on with the point whose relative neighborhood is contained in some (n-1)-dimensional plane. The solution of this approximation problem is closely related with a certain uniqueness theorem for the solution of the Cauchy problem for the polyharmonic equation, also proved in the paper. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Institute im. V. A. Steklova AN SSSR, Vol. 65, pp. 164–171, 1976.     

Some finiteness conditions on indecomposable operands

Let S be a monoid such that every left S-operand satisfies the ascending chain condition on orbits. Let X be an indecomposable [0-indecomposable] left S-operand. There is a descending chain of suboperands of X defined in terms of maximal orbits. If this chain terminates after a finite number of terms, the last non-empty [non-zero] term defines a distinguished collection (X) [ ₀(X)] of disjoint [0-disjoint] orbits in X. The assumption that (X) [ ₀(X)] is finite for all appropriate X, together with the additional assumption that every left S-operand satisfies the d.c.c. on orbits, implies that S has a unique minimal left ideal [that the principal left ideals outside of the minimal ideal are linearly ordered]. This research supported in part by the National Science Foundation.     

Inductive definitions,models of comprehension and invariant definability

The connections between inductive definability and models of comprehension are studied. Let = 〈A, R _l, ...,R _n 〉 be an infinite structure and letI _φ be a set inductively defined by a formulaφ of the second order language . We prove that if is a model of Δ ₁ ¹ -Comprehension relativized toφ, andφ is -absolute, then for everyη smaller than the height of (h( )),I _φ is in . If is aβ-structure which satisfies Σ ₁ ¹ -Comprehension relativized toφ and WF(X), and φ is -absolute, thenI _φ is in and ‖φ| <h ( ). These results imply that Barwise-Grilliot theorem is false in the case of uncountable acceptable structures. We also study the notion of invariant definability over models₁ of Δ ₁ ¹ -Comprehension. This paper is registered as Report ZW 69/76 of the Mathematical Centre.     

Interpolation in Logiken monotoner systeme

A monotone structure ( ;μ) consists of a structure and a monotone systemμ over the domain of .L(Q ⁿ ) is , enlarged by a newn-ary quantifierQ ⁿ . says in ( ;μ) that there isU ∈μ such thatϕ[ā] is valid in ( ;μ) for allā ∈U ⁿ . If is a class of monotone structures, means thatϕ is valid in all expansions of monotone structures in . We show for the class of all ultrafilters that interpolation with respect to holds forL(Q ⁿ ) exactly in casen=1. Then we prove for a large class of (e.g. the class of topological groups) thatL(Q ⁿ ) satisfies interpolation with respect to for alln ≧ 1. Counterexamples indicate that the class of is sharp in some sense. Finally the results are carried over to certain topological structures and the interior quantifiersI ⁿ instead ofQ ⁿ , thereby generalizing results of Makowsky/Ziegler and Sgro, and to a multidimensional type of monotone structures including uniform spaces.     

Structures of polyhedra determined by submodular functions on crossing families

The present paper shows that for any submodular functionf on a crossing family with , if the polyhedron is nonempty, then there exist a unique distributive lattice with and a unique submodular function with such thatB(f) coincides with the base polyhedron associated with the submodular system . Here, iff is integer-valued, thenf ₁ is also integer-valued. Based on this fact, we also show the relationship between the independent-flow problem considered by the author and the minimum cost flow problem considered by J. Edmonds and R. Giles.     

Stochastic dilations of uniformly continuous completely positive semigroups

For an arbitrary uniformly continuous completely positive semigroup ( _t :t0) on the space of bounded operators on a Hilbert space, we construct a family (U(t)t0) of unitary operators on a Hilbert space and a conditional expectation from to, such that, for arbitraryt0,. The unitary operatorsU(t) satisfy a stochastic differential equation involving a noncommutative generalisation of infinite dimensional Brownian motion. They do not form a semigroup.Part of this work was completed when the first author was visiting research associate at the Center for Relativity, Physics Department, The University of Texas at Austin, Austin, TX 78712, U.S.A., supported in part by NSF PHY 81-01381.     

Intersections of curve systems and the crossing number ofC 5 ×C 5

It and are two families of pairwise disjoint simple closed curves in the plane such that each curve in intersects each curve in , then the total number of points of intersection in is at least 2(m−1)n, where , and this bound is best possible. We use this to show that the cartesian product of two 5-cycles has crossing number 15.     

Some intersection theorems on two-valued functions

Let be a family of two-valued functions defined on ann-element set in which each pair of functions in satisfy a given intersection condition. For certain intersection conditions we determine the maximal value of .     

Formal language theory and the geometry of 3-manifolds

Automatic groups were introduced in connection with geometric problems, in particular with the study of fundamental groups of 3-manifolds. In this article the class of automatic groups is extended to include the fundamental group of every compact 3-manifold which satisfies Thurston's geometrization conjecture. Toward this end, the class of asynchronously groups is introduced and studied, where is an arbitrary full abstract family of languages. For example may be the family of regular languagesReg, context-free languagesCF, or indexed languagesInd. The class consists of precisely those groups which are asynchronously automatic. It is proved that contains all of the above fundamental groups, but that does not. Indeed a virtually nilpotent group belongs to if and only if it is virtually abelian. The first author was partially supported by NSF grant DMS-9203500 and FNRS (Suisse). He also wishes to thank the University of Geneva for its hospitality while this paper was being written. The second author thanks the Institute for Advanced Study for its hospitality while this paper was being written.     

On bands in which every finitely generated subband is an endomorphic image

A semigroup S is calledE-semigroup ( -semigroup) if every (finitely generated) subsemigroup of S is an endomorphic image of S and Ē-semigroup ( -semigroup) if every subsemigroup of S is an E-semigroup -semigroup. All classes X ε {Ē, , E, } are distinct even in the case of semilattices. It is established when a free band (semilattice) is an X-semigroup. -, - and Ē-chains and E-chains with identity or zero, Ē-and , X-bands with identity and X-semigroups with identity and zero are found.     

State-constrained control problems with neither coercivity norL 1 bounds on the controls

Summary A state-constrained, nonlinear, minimum problem is considered with dynamics depending sublinearly on a control which is not bounded in theL ¹ norm. Because of the lack of coercivity, the value map fails to be continuous, even in the unconstrained case. However, we prove that under suitable assumptions—which guarantee the continuity of the value maps of the problems withL ¹-bounded controls—the value map is upper semicontinuous and solves a Bellman equation with a continuous Hamiltonian. Moreover, the map obtained by by replacing its values at the horizon t=T with the values of the cost function turns out to be the maximal subsolution of the corresponding value problem. Entrata in Redazione il 31 dicembre 1997.     

Venkov's reduction theory of positive-quadratic forms

We prove the absolute finiteness of the number of faces (independent of the parameter) of Venkov's reduction domain (Izv. Akad. Nauk SSSR, Ser. Mat.4, 37–52 (1940)) ofn-ary positive quadratic forms. The casen=3 is given special consideration. We study the change of the reduction domain when changes along a line segment in the space of coefficients.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 121, pp. 108–116, 1983.     

Compact Hopf hypersurfaces of constant mean curvature in complex space forms

We prove that every connected compact Hopf hypersurface of a complex space form, contained in a geodesic ball of radius strictly smaller than the injectivity radius of, having constant mean curvature and with if if < 0 is a geodesic sphere of.Work partially supported by DGICYT Grant No. PB91-0324.     

Generalized quadrangles having a prime parameter

Generalized quadrangles are studied in whichs ort is prime and Aut has rank 3 on points. This research was supported in part by NSF grant GP 37982X.     

Hankel-Schur multipliers and multipliers of the space H1

In this paper there is given a sufficient condition for a Hankel matrix _F to belong to the space of Schur multipliers of all bounded operators in ² (or, what is the same, to the tensor algebra V²). It is shown that ifw is a nonnegative function on T, such that is a sequence of integers, {F_i}_j1 is a sequence of polynomials,) and, then _FV². It follows from this that under these conditions F is a multiplier of the space H¹, i.e.,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 135, pp. 113–119, 1984     

On the Perron-Frobenius-ruelle operator for rational maps on the riemann sphere and for Hölder continuous functions

Let      

Gauge group and gauge transformation in the continual theory of defects

A representation of the algebra (3)=t(3) S0(3, ) by differential Schaefer's operators is proposed, and an external algebra of (3)-valued differential forms is constructed. The requirement of local gauge invariance is formulated in the model of the (3)-valued field, which enables a group of gauge transformations of the continual theory of defects to be obtained.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 190, pp. 173–184, 1991.I wish to thank V. N. Popov for his interest.