The inverse hull of the free semigroup on a set X

In this paper the inverse hull of the free semigroup on a non-empty set X is characterized. It is shown that if F^O is a certain semilattice and (G,*) is the free group on X, then is isomorphic to a Rees factor semigroup of a subsemigroup of (F^O x G, #), where (A,w)#(B,u) = ((A*w B)*w^–1, w*u). Several properties of , including Green's relations on are also determined.     

Hecke Algebras of Classical Groups over p-adic Fields II

In the previous part of this paper, we constructed a large family of Hecke algebras on some classical groups G defined over p-adic fields in order to understand their admissible representations. Each Hecke algebra is associated to a pair (J , ) of an open compact subgroup J and its irreducible representation which is constructed from given data = (, P₀, ). Here, is a semisimple element in the Lie algebra of G, P₀ is a parahoric subgroup in the centralizer of in G, and is a cuspidal representation on the finite reductive quotient of P₀. In this paper, we explicitly describe those Hecke algebras when P₀ is a minimal parahoric subgroup, is trivial and is a character.     

Vector Valued Differentiation Theorems for Multiparameter Additive Processes in Lp Spaces

Let X be a Banach space and (,,µ) be a -finite measure space. We consider a strongly continuous d-dimensional semigroup T={T(u):u=(u₁,..., u_d, u_i >0, 1 i d} of linear contractions on L_p((,,µ); X), with 1 p<. In this paper differentiation theorems are proved for d-dimensional bounded processes in L_p((,,µ); X) which are additive with respect to T. In the theorems below we assume that each T(u) possesses a contraction majorant P(u) defined on L_p((,,µ); R), that is, P(u) is a positive linear contraction on L_p((,,µ); R) such that T(u)f(w) P(u)f(·)() almost everywhere on for all f L_p((,,µ); X).     

Cofibrations of algebras

Summary The chain complex of a twisted free product A_*t, FK, is chain homotopy equivalent to a differential graded algebra, which is identified to be a confibration of algebras as defined by Quillen. Under certain connectivity conditions we obtain a long exact sequence connecting the homologies of A, K, and A_*t FK. In particular we derive a long exact sequence connecting the homologies of Y, X and (Y U_g CX) (, C, are the loop, the cone and the suspension constructions respectively). A chain complex equivalent to the chain complex of the Milnor free group FX is recognized, from which results a theorem of Bott and Samelson that H(X) is freely generated as a graded algebra by H(X).     

Spreads admitting net generating regulizations

We say a spread S carries a regulization , if is a collection of reguli contained in S and if each element of S, except at most two lines, is contained either in exactly one regulus of or in all reguli of . Replacement of each regulus of by its complementary regulus (exceptional lines remain unchanged) yields the complementary congruence S^c of S with respect to . If S^c is a hyperbolic or parabolic or elliptic linear congruence of lines, then is called a net generating, in particular, a hyperbolic or parabolic or elliptic regulization, respectively. For hyperbolic and parabolic regulizations we also give other geometric characterizations.     

The Szlenk index and local ℓ<Subscript>1</Subscript>-indices

We introduce two new local ₁-indices of the same type as the Bourgain ₁-index; the ⁺₁-index and the ⁺₁-weakly null index. We show that the ⁺₁-weakly null index of a Banach space X is the same as the Szlenk index of X, provided X does not contain ₁. The ⁺₁-weakly null index has the same form as the Bourgain ₁-index: if it is countable it must take values for some <₁. The different ₁-indices are closely related and so knowing the Szlenk index of a Banach space helps us calculate its ₁-index, via the ⁺₁-weakly null index. We show that I(C(^{))=^1++1}.     

Existence and Construction of Simple B-Splines of Class C k on a Four-Directional Mesh of the Plane

In this paper we present a study of spaces of splines in C ^k (R ²) with supports the square ₁ and the lozenge ₁ formed respectively by four and eight triangles of the uniform four directional mesh of the plane. Such splines are called ₁ and ₁-splines. We first compute the dimension of the space of ₁-splines. Then we prove the existence of a unique ₁-spline of minimal degree for any fixed k0. By using this last result, we also prove the existence of a unique ₁-spline of minimal degree. Finally, we describe algorithms allowing to compute the Bernstein–Bézier coefficients of ₁-spline and ₁-spline of minimal degree.     

Fourier series of additive vector measures and their term-by-term differentiation

On a measurable space (T, , ) we choose an additive measure: Z (Z is a Banach space) with the following property: for alle , we have ; this measure defines an indefinite integral over the measure onL ² (T, ,). We prove that if { _n (t)} _n ^=1/ is an orthonormal basis inL ² and _n (e)=e _n (t) d, then any additive measure: Z whose Radon-Nikodým derivatived/d belongs toL ² is uniquely expandable in a series(e)= _n ^=1/ _n n(e) that converges to(e) uniformly with respect toe can be differentiated term-by-term, and satisfies _n ^=1/ _n ^/2 <. In the caseL ²[0,2],Z=, the Fourier series of a 2-periodic absolutely continuous functionF(t) such thatF'(t) L ²[0, 2] is superuniformly convergent toF(t).Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 180–184, August, 1998.     

4-Dimensional compact projective planes with small nilradical

We consider 4-dimensional compact projective planes with a solvable 6-dimensional collineation group and with orbit type (2, 1), i.e. fixes a flagv W, acts transitively onL \{W} and fixes no point in the setW\{v}. We We prove a series of lemmas concerning the action of invariant subgroups of . These lemmas are applied to prove that the maximal connected nilpotent invariant subgroup of has dimension at least 4.Dedicated to Prof. H. Salzmann on the occasion of his 65th birthday     

Combinatorial principles concerning approximations of functions

Two infinite combinatorial principlesP( _n ) andT( _n ) concerning the existence of approximations of functions are studied.T( _n ) is shown to be equivalent toI _n andP( _n ) is shown to be incomparable withB _n+1 . Finally Pudláks principle, which is a finite miniaturization of bothT andP, is studied and its instances are related to instances of other known combinatorial statements.This paper was completed in September 1985 when the second author was a guest of the Mathematical Institute of the Czechoslovak Academy of Science in Prague.     

Uniform boundedness of a family of set functions

Let be a ring of sets, X a normed space, : X ( ) a bounded family of triangular functions. The following generalized Nikodym theorem is established: the family {} is uniformly bounded on if and only if it is bounded on every sequence of pairwise disjoint sets of which the union is a part of some set in . An analogous criterion is established also for semiadditive functions. In addition, it is shown that uniform boundedness of a family of triangular functions is preserved in passing from a ring to the -ring it generates.Translated from Matematicheskie Zametki, Vol. 23, No. 6, pp. 855–861, June, 1978.     

On the Approximation of Denotational Mu-Semantics

A signature gives rise to a language L(Var) by extending with variables x Var and binding constructs x and x, corresponding to least and greatest fixed points respectively. The natural denotational models for such languages are bicomplete dcpos as monotone -algebras. We prove that several approximating denotational semantics have the usual compositional semantics as their limit. These results provide techniques for relating syntactic and semantic concepts such as in full abstraction or completeness proofs. In the presence of an involutive antitone map on a bicomplete dcpo D we may translate the language L(Var) into one with least fixed points only such that meanings are preserved. This allows an approximative semantics where least and greatest fixed points are simultaneously approximated by unwindings in the syntax, provided that the limit semantics is substitutive. We discuss the principal difficulties of simultaneous unwindings in the absence of such semantic negations.     

Embedding a non-embeddable stable plane

In [4], K. Strambach describes a 2-dimensional stable plane admitting =SL₂ as a group of automorphisms such that there exists no -equivarient embedding into a 2-dimensional projective plane. R. Löwen [3] has given a 4-dimensional analogue , admitting =SL₂. He posed the question whether there are embeddings of Strambach's plane into . We show that such embeddings exist, in fact we determine all -equivariant embeddings of 2-dimensional stable planes admitting as atransitive group of automorphisms.     

Über ebene affine Inzidenzgruppen

For a translation plane P with respect to f we consider the group of collineations generated by all elations fixing f and a point F of f. All subgroups or are determined which operate regularly on the points of the affine plane P. Group-theoretic and operating properties of the groups are stated especially for the finite and the Desarguesian cases. In the latter case the companion NL-near modules are constructed. Finally we characterize the groups within PGL(3, K) with commutative field K of finite characteristic.     

On some formalized conservation results in arithmetic

I _n andB _n are well known fragments of first-order arithmetic with induction and collection for _n formulas respectively;I _n ⁰ andB _n ⁰ are their second-order counterparts. RCA₀ is the well known fragment of second-order arithmetic with recursive comprehension;WKL ₀ isRCA ₀ plus weak König's lemma. We first strengthen Harrington's conservation result by showing thatWKL ₀ +B _n ⁰ is ₁ ¹ -conservative overRCA ₀ +B _n ⁰ . Then we develop some model theory inWKL ₀ and illustrate the use of formalized model theory by giving a relatively simple proof of the fact thatI ₁ provesB _n+1 to be _n+2-conservative overI _n . Finally, we present a proof-theoretic proof of the stronger fact that the _n+2 conservation result is provable already inI ₀ + superexp. ThusI _n+1 proves 1-Con (B _n+1) andI ₀ +superexp proves Con (I _n )Con(B _n+1).The first author was partially supported by NSF Grant #DCR-860615     

Weighted Polynomial Approximation for Weights with Logarithmic Singularities in the Extremal Measure

Let w : [0, ) be a weight function on a set R. We assume that the associated extremal measure has density function v(t) with finitely many singularities of logarithmic type. We show that any continuous function f on which vanishes outside the set where v is positive or has a logarithmic singularity, is the uniform limit on of a sequence of weighted polynomials of the form wⁿ P_n, where P_n is of degree n. This extends previous results for continuous densities to densities having logarithmic singularities.     

On the projected subgradient method for nonsmooth convex optimization in a Hilbert space

We consider the method for constrained convex optimization in a Hilbert space, consisting of a step in the direction opposite to an _k -subgradient of the objective at a current iterate, followed by an orthogonal projection onto the feasible set. The normalized stepsizes _k are exogenously given, satisfying _{k=0 k} = , _{k=0 k} ² < , and _k is chosen so that _{k k} for some > 0. We prove that the sequence generated in this way is weakly convergent to a minimizer if the problem has solutions, and is unbounded otherwise. Among the features of our convergence analysis, we mention that it covers the nonsmooth case, in the sense that we make no assumption of differentiability off, and much less of Lipschitz continuity of its gradient. Also, we prove weak convergence of the whole sequence, rather than just boundedness of the sequence and optimality of its weak accumulation points, thus improving over all previously known convergence results. We present also convergence rate results. © 1998 The Mathematical Programming Society, Inc. Published by Elsevier Science B.V.Research of this author was partially supported by CNPq grant nos. 301280/86 and 300734/95-6.     

Estimation of the Multivariate Normal Precision Matrix under the Entropy Loss

Let X ₁, , X _n (n > p) be a random sample from multivariate normal distribution N _p (, ), where R ^p and is a positive definite matrix, both and being unknown. We consider the problem of estimating the precision matrix ^–1. In this paper it is shown that for the entropy loss, the best lower-triangular affine equivariant minimax estimator of ^–1 is inadmissible and an improved estimator is explicitly constructed. Note that our improved estimator is obtained from the class of lower-triangular scale equivariant estimators.     

Product Representations in ΠΣ-Fields

-fields are a very general class of difference fields that enable one to discover and prove multisum identities arising in combinatorics and special functions. In this article we focus on the problem how such multisums can be represented in terms of -fields. In particular we consider product representations and their simplifications in -fields.Received July 09, 2003     

Compromise optimization of a composite plate with a given probability of realization

A method is proposed for solution of the problem of the compromise optimization of three properties of a composite plate (thermal conductivity, stability, and the probability P^* of design realization), which depend on three initial stochastic data with constant average values, and two variable initial data. The geometry of the domain of plate properties, the curve of optimal Pareto solutions, and the scatter ellipses is determined at four points for a given range of variable parameters. A method of constructing the curves of optimal Pareto solutions for the following assigned probabilities of design realization is proposed and numerically implemented: P^*=0.40, 0.80, and 0.95. The generalized efficiency function ( max, 0 1) of the first two properties decreases from 0.74 to 0.23 as the numerical value of P^* increases from 0.40 to 0.95. A family of isolines = const is plotted for all three properties investigated, and max determined as 0.63.A paper presented at the Tenth International Conference on Mechanics of Composite Materials (Riga, April 1998).Institute of Polymer Mechanics, Riga, Latvia. Translated from Mekhanika Kompozitnykh Materialov, Vol. 33, No. 5, pp. 626–635, September–October, 1997.