Groups with Largely Splitting Automorphisms of Orders Three and Four

A subset X of a group G is said to be large (on the left) if, for any finite set of elements g₁,l... ,g_kin G, an intersection of the subsets g_iX=g_imid x in X is not empty, that is, limits_{i=1} ^{k}g_iX . It is proved that a group in which elements of order 3 form a large subset is in fact of exponent 3. This result follows from the more general theorem on groups with a largely splitting automorphism of order 3, thus answering a question posed by Jaber amd Wagner in [1]. For groups with a largely splitting automorphism of order 4, it is shown that if His a normal -invariant soluble subgroup of derived length d then the derived subgroup [H,H] is nilpotent of class bounded in terms of d. The special case where =1 yields the same result for groups that are largely of exponent 4.     

Über Positive Resolventenwerte Positiver Operatoren

In this paper we study the positive resolvent values of positive operators respectively of positive elements in Banach lattice ordered algebras. In the matrix case these values are just the inverse M-matrices. One of the main results is the following: Let A be a Banach lattice ordered algebra. A positive invertible element xA is a resolvent value of a positive element yA if and only if the element x satisfies the negative principle: If aA, < 0 and xaa then xa 0.     

A Variation of an Extremal Theorem Due to Woodall

We consider a variation of an extremal theorem due to Woodall [12, or 1, Chapter 3] as follows: Determine the smallest even integer (₃C₁,n), such that every n-term graphic sequence = (d₁, d₂,..., d_n) with term sum () = d₁ + d₂ + ... + d_n (₃C₁,n) has a realization G containing a cycle of length r for each r = 3,4,...,l. In this paper, the values of (₃C_l,n) are determined for l = 2m – 1,n 3m – 4 and for l = 2m,n 5m – 7, where m 4.AMS Mathematics subject classification (1991) 05C35Project supported by the National Natural Science Foundation of China (Grant No. 19971086) and the Doctoral Program Foundation of National Education Department of China     

On the divisibility of homogeneous hypergraphs

We denote byK _k ,k, 2, the set of allk-uniform hypergraphsK which have the property that every element subset of the base ofK is a subset of one of the hyperedges ofK. So, the only element inK ₂ ² are the complete graphs. If is a subset ofK _k then there is exactly one homogeneous hypergraphH whose age is the set of all finite hypergraphs which do not embed any element of . We callH -free homogeneous graphsH _n have been shown to be indivisible, that is, for any partition ofH _n into two classes, oue of the classes embeds an isomorphic copy ofH _n . [5]. Here we will investigate this question of indivisibility in the more general context of-free homogeneous hypergraphs. We will derive a general necessary condition for a homogeneous structure to be indivisible and prove that all-free hypergraphs for K _k with 3 are indivisible. The-free hypergraphs with K _k ² satisfy a weaker form of indivisibility which was first shown by Henson [2] to hold forH _n . The general necessary condition for homogeneous structures to be indivisible will then be used to show that not all-free homogeneous hypergraphs are indivisible.This research has been supported by NSERC grant 69–1325.     

Some analytical properties of γ-convex functions on the real line

This paper deals with the analytical properties of -convex functions, which are defined as those functions satisfying the inequalityf(x ₁ )+f(x ₂ )f(x ₁)+f(x ₂), forx _i [x ₁,x ₂], |x _i –x _i |=, i=1,2, whenever |x ₁–x ₂|>, for some given positive . This class contains all convex functions and all periodic functions with period . In general, -convex functions do not have ideal properties as convex functions. For instance, there exist -convex functions which are totally discontinuous or not locally bounded. But -convex functions possess so-called conservation properties, meaning good properties which remain true on every bounded interval or even on the entire domain, if only they hold true on an arbitrary closed interval with length . It is shown that boundedness, bounded variation, integrability, continuity, and differentiability almost everywhere are conservation properties of -convex functions on the real line. However, -convex functions have also infection properties, meaning bad properties which propagate to other points, once they appear somewhere (for example, discontinuity). Some equivalent properties of -convexity are given. Ways for generating and representing -convex functions are described.This research was supported by the Deutsche Forschungsgemeinschaft. The first author thanks Prof. Dr. E. Zeidler and Prof. Dr. H. G. Bock for their hospitality and valuable support.     

L p Spectral Independence of Elliptic Operators via Commutator Estimates

Let {T _p:q ₁ p q ₂} be a family of consistent C ₀ semigroups on L ^p(), with q ₁,q ₂ [1,) and open. We show that certain commutator conditions on T _p and on the resolvent of its generator A _p ensure the p independence of the spectrum of A _p for p [q ₁,q ₂.Applications include the case of Petrovskij correct systems with Hölder continuous coefficients, Schrödinger operators, and certain elliptic operators in divergence form with real, but not necessarily symmetric, or complex coefficients.     

The Flag-Transitive C 3-Geometries of Finite Order

It is shown that a flag-transitive C ₃-geometry of finite order (x, y) with x2 is either a finite building of type C ₃ (and hence the classical polar space for a 6-dimensional symplectic space, a 6-dimensional orthogonal space of plus type, a 6- or 7-dimensional hermitian space, a 7-dimensional orthogonal space, or an 8-dimensional orthogonal space of minus type) or the sporadic A ₇-geometry with 7 points.     

On Fitting Ideals of Certain étale K-groups

Let F be an Abelian number field and S the set of primes of F that are either ramified or over p, with p an odd prime. In this paper we compute the (first) Fitting ideal of K _2i–2 ^ét (O _F ^S () for i 2, where O _F ^S is the ring of S-integers of F and is a character of Gal(F/) of order prime to p different from the ith power of the Teichmüller character. This Fitting ideal proves to be principal and generated by a Stickelberger element.     

D λ -cycles in 3-cyclable graphs

Letk and be positive integers, andG a 2-connected graph of ordern with minimum degree and independence number. A cycleC ofG is called aD -cycle if every component ofG – V(C) has order smaller than. The graphG isk-cyclable if anyk vertices ofG lie on a common cycle. A previous result of the author is that if k 2, G isk-connected and every connected subgraphH ofG of order has at leastn +k ² + 1/k + 1 – vertices outsideH adjacent to at least one vertex ofH, thenG contains aD -cycle. Here it is conjectured that k-connected can be replaced by k-cyclable, and this is proved fork = 3. As a consequence it is shown that ifn 4 – 6, or ifG is triangle-free andn 8 – 10, thenG contains aD ₃-cycle orG , where denotes a well-known class of nonhamiltonian graphs of connectivity 2. As an analogue of a result of Nash-Williams it follows that ifn 4 – 6 and – 1, thenG is hamiltonian orG . The results are all best possible and compare favorably with recent results on hamiltonicity of graphs which are close to claw-free.     

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.     

Disconnected Equivariant Rational Homotopy Theory

We present a variant of the disconnected equivariant rational homotopy theory to complete the result shown in [8]. For a finite group G let O(G) be the category of its canonical orbits. We prove that the category O(G)-DGA _Q of O(G)S-complete differential graded algebras over the rationals is a closed model category, where S runs over all O(G)-sets. Then, by means of the equivariant KS-minimal models, we show that the homotopy category of O(G)-DGA _Q is equivalent to the rational homotopy category of G-nilpotent disconnected simplicial sets provided G is a finite Hamiltonian group.     

Standard pseudo-Hermitian structure on manifolds and seifert fibration

A strictly pseudoconvex pseudo-Hermitian manifoldM admits a canonical Lorentz metric as well as a canonical Riemannian metric. Using these metrics, we can define a curvaturelike function onM. AsM supports a contact form, there exists a characteristic vector field dual to the contact structure. If induces a local one-parameter group ofCR transformations, then a strictly pseudoconvex pseudo-Hermitian manifoldM is said to be a standard pseudo-Hermitian manifold. We study topological and geometric properties of standard pseudo-Hermitian manifolds of positive curvature or of nonpositive curvature . By the definition, standard pseudo-Hermitian manifolds are calledK-contact manifolds by Sasaki. In particular, standard pseudo-Hermitian manifolds of constant curvature turn out to be Sasakian space forms. It is well known that a conformally flat manifold contains a class of Riemannian manifolds of constant curvature. A sphericalCR manifold is aCR manifold whose Chern-Moser curvature form vanishes (equivalently, Weyl pseudo-conformal curvature tensor vanishes). In contrast, it is emphasized that a sphericalCR manifold contains a class of standard pseudo-Hermitian manifolds of constant curvature (i.e., Sasakian space forms). We shall classify those compact Sasakian space forms. When 0, standard pseudo-Hermitian closed aspherical manifolds are shown to be Seifert fiber spaces. We consider a deformation of standard pseudo-Hermitian structure preserving a sphericalCR structure.Dedicated to Professor Sasao Seiya for his sixtieth birthday     

On exact D-optimal designs for regression models with correlated observations

Let ^* be an exact D-optimal design for a given regression model Y = X + Z . In this paper sufficient conditions are given for sesigning how the covariance matrix of Z may be changed so that not only ^* remains D-optimal but also that the best linear unbiased estimator (BLUE) of stays fixed for the design ^*, although the covariance matrix of Z * is changed. Hence under these conditions a best, according to D-optimality, BLUE of is known for the model with the changed covariance matrix. The results may also be considered as determination of exact D-optimal designs for regression models with special correlated observations where the covariance matrices are not fully known. Various examples are given, especially for regression with intercept term, polynomial regression, and straight-line regression. A real example in electrocardiography is treated shortly.     

On a Lower Bound of L p Norms in the Central Limit Theorem for ϕ-Mixing Random Variables

We derive lower bounds of the L _p norms _np for all p, 1p, in the central limit theorem for -mixing random variables with finite sixth-order moments in a strictly stationary case and finite eighth-order moments in a not necessarily stationary one.     

Controller design to optimize a composite performance measure

This paper studies a mixed objective problem of minimizing a composite measure of thel ₁, ₂, andl -norms together with thel -norm of the step response of the closed loop. This performance index can be used to generate Pareto-optimal solutions with respect to the individual measures. The problem is analyzed for discrete-time, single-input single-output (SISO), linear time-invariant systems. It is shown via Lagrange duality theory that the problem can be reduced to a convex optimization problem with a priori known dimension. In addition, continuity of the unique optimal solution with respect to changes in the coefficients of the linear combination that defines the performance measure is estabilished.This research was supported by the National Science Foundation under Grants No. ECS-92-04309, ECS-92-16690 and ECS-93-08481.     

Some greedyt-intersecting families of finite sequences

Letn, s ₁,s ₂, ... ands _n be positive integers. Assume is an integer for eachi}. For , , and , denotes _p (a)={j|1jn,a _j p}, , and . is called anI _t ^p -intersecting family if, for any a,b ,a _i b _i =min(a _i ,b _i )p for at leastt i's. is called a greedyI _t ^P -intersecting family if is anI _t ^p -intersecting family andW _p (A)W _p (B+A ^c ) for anyAS _p ( ) and any with |B|=t–1.In this paper, we obtain a sharp upper bound of | | for greedyI _t ^p -intersecting families in for the case 2ps _i (1in) ands ₁>s ₂>...>s _n .This project is partially supported by the National Natural Science Foundation of China (No.19401008) and by Postdoctoral Science Foundation of China.     

Algebras almost commuting with Clifford algebras in a II∞ factor

We are concerned here with certain Banach algebras of operators contained within a fixed II factor N. These algebras may be thought of as noncommutative classifying spaces for the functor Ext _* ^N The basic objects of study are the algebras A _kN (for n=1, 2,...). Here, we are given an essentially unique representation of the complex Clifford algebra C _k N and the elements of A _k are those operators in N which exactly commute with the first k–1 generators of C _k and also commute with the kth generator modulo a symmetric ideal N. Up to isomorphism, these algebras are periodic with period 2.We determine completely the homotopy types of A ₁ ^–1 and A ₂ ^–1 Here, A ₁ ^–1 is homotopy equivalent to the space of (Breuer) Fredholm operators in N, while A ₂ ^–1 is homotopy equivalent to the group K _N ^–1 ={x N^–1¦ x=1+k, k K_N}. We use these results to compute the K-theory of A ₁ and A ₂.For a fixed C ^*-algebra A, we define abelian groups G _k,N(A) of equivalence classes of homomorphisms AA _k. Letting N = M (H) for a II₁ factor M we define similar abelian groups G _k(A, M) where we replace N by L(E) for countably generated right Hilbert M-modules E with (left) actions C _k L(E). Using ideas of Skandalis, we show that G _k,NG_k(A, M) so that the G _k,N are stable half-exact homotopy functors because the G _k(·, M) are such.In general, we show that G _k(A, M)KK ^k(A, M) and so our theory fits neatly into Kasparov KK-theory. We investigate many interesting examples from our point of view.     

Residues of higher order and holomorphic vector fields

LetX ₁ andX ₂ be two holomorphic vector fields on a manifoldV with complex dimensionp. Assume that they have the same singular set . For all , it is known (after Chern-Bott) that each of the vector fields defines a residual characteristic classC ₁(V,X ₁)(resp.C ₁(V,X ₂)) inH ^2p (V, V-), which is a lift of the usual characteristic classC ₁ (V) of the tangent bundle. The differenceC ₁ (V,X ₂)-C ₁ (V,X ₁) belongs then to the image of in the exact sequence. In fact, there exists a canonical liftC ₁ (V,X ₁,X ₂) of this difference inH ^2p–1(V-): we will call itthe residual class of order 2 (associated toI, X ₁ andX ₂). This class is localized near the points whereX ₁ andX ₂ are colinear: we will explain this precisely in terms of Grothendieck residues. The formula that we obtain can be interpreted as a generalization of the purely algebraic identity, obtained from the general one as a byproduct: where ( ₁, , _p) and ( ₁,, _p ) denote two families of non-zero complex numbers, such that all denominators in this formula do not vanish. (This identity corresponds in fact to the case whereX ₁ andX ₂ are non-degenerate at the same isolated singular point.)If the _i 's (1ip) depend now differentiably (resp. holomorphically) on a real (resp. complex) parametert then, denoting by the derivative with respect tot, and assuming all numbers lying in a denominator not to be 0, we can deduce from the above identity the following derivation formula:     

A Comparison of Two Spaces of Generalized White Noise Functionals

In the literature (see [5, 6, 8]) there are two families of spaces called Kondratiev spaces: (_c)^± and (S _c)^± for 0 1. We investigate the relation between the spaces and show that they are topologically isomorphic when (^d) L2 (^d) (^d) is the underlying Gel'fand triple for (_c)^±. In this case we also give the explicit relation between the S-transform and -transform on (_c)^-1 and (S _c)^-1, respectively.