On a Family of Hyperplane Arrangements Related to the Affine Weyl Groups

Let be an irreducible crystallographic rootsystem in a Euclidean space V, with ⁺ theset of positive roots. For , , let be the hyperplane . We define a set of hyperplanes . This hyperplane arrangement is significant inthe study of the affine Weyl groups. In this paper it is shown that thePoincaré polynomial of is , where n is the rank of and h is the Coxeter number of the finiteCoxeter group corresponding to .     

Some topological properties of ω-covering sets

We prove the following theorems:1. There exists an -covering with the property s ₀.2. Under cov there exists X such that is not an -covering orX \ B is not an -covering].3. Also we characterize the property of being an -covering.     

The Halász Inequality for Additive Function of Rational Argument

We obtain an upper bound for the quantity . Here I is an interval, is the set of rational numbers q=m/n I such that nx, and f(q) is an arbitrary real-valued additive function of rational argument. The interval I and function f may depend on x3.     

The free loop space and the algebraic k-theory of spaces

Let A(X) be the space defined by Waldhausen whose homotopy groups define the algebraic K-groups of the space X and let . Here (X) denotes the free loop space of X and Q denotes the functor . For X = Y, the suspension of a connected space Y, we shall prove that the homotopy fibers Ã(X), B(X) of the maps A(X) A (point), B(X) B (point) are equivalent as infinite loop spaces.     

A note on smoothed estimating functions

The kernel estimate of regression function in likelihood based models has been studied in Staniswalis (1989,J. Amer. Statist. Assoc.,84, 276–283). The notion of optimal estimation for the nonparametric kernel estimation of semimartingale intensity (t) is proposed. The goal is to arrive at a nonparametric estimate of ₀=(t ₀) for a fixed pointt ₀ [0, 1]. We consider the estimator that is a solution of the smoothed optimal estimating equation is the optimal estimating function as in Thavaneswaran and Thompson (1986,J. Appl. Probab.,23, 409–417).     

An Improvement of an Inequality of Fiedler Leading to a New Conjecture on Nonnegative Matrices

Suppose that A is an n × n nonnegative matrix whose eigenvalues are = (A), ₂, ..., _n. Fiedler and others have shown that \det( I -A) ⁿ - ⁿ, for all > with equality for any such if and only if A is the simple cycle matrix. Let a _i be the signed sum of the determinants of the principal submatrices of A of order i × i, i=1, ..., n - 1. We use similar techniques to Fiedler to show that Fiedler's inequality can be strengthened to: for all . We use this inequality to derive the inequality that: . In the spirit of a celebrated conjecture due to Boyle-Handelman, this inequality inspires us to conjecture the following inequality on the nonzero eigenvalues of A: If ₁ = (A), ₂,...,_k are (all) the nonzero eigenvalues of A, then . We prove this conjecture for the case when the spectrum of A is real.     

Strong topologies on vector-valued function spaces

Let be a real Banach space and let E be an ideal of L ⁰ over a -finite measure space (, , ). Let (X) be the space of all strongly -measurable functions f: X such that the scalar function , defined by , belongs to E. The paper deals with strong topologies on E(X). In particular, the strong topology the order continuous dual of E(X)) is examined. We generalize earlier results of [PC] and [FPS] concerning the strong topologies.     

A Generalization of the Hausdorff-Young Theorem

Considering mixed-norm sequence spaces lp,q, p, q 1, C. N. Kellogg proved the following theorem: if 1 < p 2 then lp,2 and lp,2 , where 1/p + 1/p = 1. This result extends the Hausdorff-Young Theorem.We introduce here multiple mixed-norm sequence spaces , examine their properties and characterize the multipliers of spaces of the form lp,[s;n],q, with the index s repeated n times. By an interpolation-type argument we prove that (l,[2;n],2, lp,[1;n],1) for 1 < p 2. Using these results we obtain a further generalization of the Hausdorff-Young Theorem: if 1 < p 2 then lp,[2;n] and lp,[2;n] for each n = 0, 1, 2, ¨. The spaces lp,[2;n] decrease and lp,[2;n] increase properly with n for 1 < p < 2 and 1/p + 1/p = 1. We also extend a theorem of J. H. Hedlund on multiplers of Hardy spaces and deduce other results.     

Non-intersection exponents for Brownian paths

Summary LetX andY be independent 3-dimensional Brownian motions,X(0)=(0,0,0),Y(0)=(1,0,0) and letp _r =P(X[0,r] Y[0,r]=). Then the non-intersection exponent exists and is equal to a similar non-intersection exponent for random walks. Analogous results hold inR ² and for more than 2 paths.Supported in part by NSF grant DMS 8702620Supported by NSF grant DMS 8702879 and an Alfred P. Sloan Research Fellowship     

Spherical elastic-plastic waves

Zusammenfassung Es wird die Fortpflanzung elastisch-plastischer Spannungswellen in einem unendlichen Medium betrachtet, welches einer idealen Spannungs-Verformungs-Kurve folgt, Trescas Fliesskriterium unterworfen ist und einen sphärischen Hohlraum enthält, wobei an der Fläche des Hohlraumes ein Stoss angenommen wird. Ein rechnerisches Verfahren, basiert auf endliche Differenzen, wird entwickelt and ein Beispiel gegeben.

---

Notation radial stress - tangential stress - K yield stress - _rr non-dimensional radial stress ( /K) - non-dimensional tangential stress ( /K) - , Lame's constants - K _b Bulk constant (=(3+2)/3) - v Poisson's constant - Material density - C Elastic wave velocity (=((+2)/)^1/2) - C _p Plastic wave velocity (=(K _b /)^1/2) - distance from center of cavity - r ₀ cavity radius - v non-dimensional radial co-ordinate (= /r ₀) - time - t non-dimensional time (=C /r ₀) - radial displacement - u non-dimensional radial displacement (=/r ₀) - particle velocity - v non-dimensional particle velocity (= /C) - pressure - P(t) non-dimensional pressure (= /K)     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

Lototsky-Schnabl operators associated with a strictly elliptic differential operator and their corresponding Feller semigroup

Given an open bounded convex subset of ^p , a strictly elliptic differential operatorL and a continuous function , and denoted withT _L the Dirichlet operator associated withL, the Lototsky-Schnabl operators associated withT _L and are investigated. In particular, conditions are established which ensure the existence of a Feller semigroup represented by limit of powers of these operators. Then the analytic expression of the infinitesimal generator is determined and some properties of the semigroup are deduced. Finally, the saturation class of Lototsky-Schnabl operators is determined.Work supported by a C.N.R. Research Grant (n. 201.19.1, November 30, 1994)     

A Necessary and Sufficient Condition for the Existence of Some Ternary [n, k, d] Codes Meeting the Greismer Bound

Let k and d be any integers such that k 4 and . Then there exist two integers and in {0,1,2} such that . The purpose of this paper is to prove that (1) in the case k 5 and (,) = (0,1), there exists a ternary code meeting the Griesmer bound if and only if and (2) in the case k 4 and (,) = (0,2) or (1,1), there is no ternary code meeting the Griesmer bound for any integers k and d and (3) in the case k 5 and , there is no projective ternary code for any integers k and such that 1k-3, where and for any integer i 0. In the special case k=6, it follows from (1) that there is no ternary linear code with parameters [233,6,154] , [234,6,155] or [237,6,157] which are new results.     

Behavior on rays of Dirichlet series of slow growth

The topic under consideration is the behavior on the rays arg z=, ¦¦ < /2, of an entire function F represented by a Dirichlet series, absolutely convergent in the whole plane, with exponents _n > 0 such that n= , n +, where q(r) is a proximate order and Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 12, pp. 1603–1613, December, 1991.     

A representation theorem for weak automorphisms of a universal algebra

Given a group G and a descending chainG ₀,G ₁,...,G _n, of normal subgroups ofG, we prove that there exists a universal algebra , such that the chain ...W_n( )...W₁( }) W₀( )W( ) is isomorphic to the chain ...G _n ...G ₁G ₀G, where W( ) is the group of weak automorphisms of , and W_n( ) is the group of weak automorphisms of that leaves alln-ary operations fixed.We also prove that there are an infinite number of non-isomorphic algebras that satisfy the above.These results are a generalization of those proved by J. Sichler, in the special case when G=G₀, and G₁=G₂=...=G_n=....Presented by J. Mycielski.This paper comprises part of the author's doctoral dissertation at the University of Notre Dame in 1983. The author wishes to express her deep gratitude to Professor Abraham Goetz for suggesting this problem, for being extremely generous with his time and experience, and for giving her his constant encouragement. The author also thanks the reviewer for his helpful comments.     

Analytic Perturbation Theory for QCD Observables

We investigate the connection between ghost-free formulations of the RG-invariant QCD perturbation theory in the spacelike and timelike regions. Our basic tool is the double spectral representation, similar to the representation for the Adler function, which stems from the first principles of local QFT and relates real functions in the Euclidean and Minkowskian (i.e., timelike) regions. On this base, we establish a simple relation between the approach (known from the early 1980s) of resumming the ² terms for the invariant coupling function and QCD observables in the timelike region and the invariant analytic approach (devised a few years ago) leading to the analyticized coupling function _an(Q ²) and nonpower expansion for observables in the spacelike domain. The function _an(Q ²) and the expansion are free of unphysical singularities. The formulated self-consistent scheme, analytic perturbation theory (APT), relates renorm-invariant, effective coupling functions _an(Q ²) and , as well as nonpower perturbation expansions for observables in the Euclidean and Minkowskian domains, free of extra singularities and with better convergence in the infrared region. We present a global generalization of the new APT scheme in the case of real QCD, including the domain with various numbers of active quarks. Preliminary estimates indicate that calculations in the framework of the global scheme can produce results quite different from the usual ones for , even in the five-quark region. Numerical examples are given.     

Subdifferentials with respect to dualities

LetX andW be two sets and: ¯R^X ¯R^W a duality (i.e., a mapping such that for all and all index setsI). We introduce and study the subdifferential of a function at a pointx _o X, with respect to. We also consider the particular cases when is a (Fenchel-Moreau) conjugation, or a -duality, or a -duality, in the sense of [8].     

A Remark on Subgroup Separability in the Class of Finite π-Groups

We prove that if a group G is residually , then for every -subgroup of the group G, the set of -roots from this subgroup is a -separable -subgroup.     

Finitely Valued f-Modules, An Addendum

In an -group M with an appropriate operator set it is shown that the -value set (M) can be embedded in the value set (M). This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If (M) has a.c.c. and M is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets ₁ and ₂ and the corresponding -value sets and . If R is a unital -ring, then each unital -module over R is an f-module and has exactly when R is an f-ring in which 1 is a strong order unit.