Taut Distance-Regular Graphs of Odd Diameter

Let denote a bipartite distance-regular graph with diameter D 4, valency k 3, and distinct eigenvalues ₀ > ₁ > ··· > _D. Let M denote the Bose-Mesner algebra of . For 0 i D, let E _i denote the primitive idempotent of M associated with _i . We refer to E ₀ and E _D as the trivial idempotents of M. Let E, F denote primitive idempotents of M. We say the pair E, F is taut whenever (i) E, F are nontrivial, and (ii) the entry-wise product E F is a linear combination of two distinct primitive idempotents of M. We show the pair E, F is taut if and only if there exist real scalars , such that _{i + 1 i + 1} – _{i – 1 i – 1} = _i ( _{i + 1} – _{i – 1}) + _i ( _{i + 1} – _{i – 1}) + (1 i D – 1)where ₀, ₁, ..., _D and ₀, ₁, ..., _D denote the cosine sequences of E, F, respectively. We define to be taut whenever has at least one taut pair of primitive idempotents but is not 2-homogeneous in the sense of Nomura and Curtin. Assume is taut and D is odd, and assume the pair E, F is taut. We show

Sur l'homotopie rationnelle des espaces fonctionnels

Let X be a nilpotent space such that it exists k1 with H^p (X,) = 0 p > k and H^k (X,) 0, let Y be a (m–1)-connected space with mk+2, then the rational homotopy Lie algebra of Y^X (resp. is isomorphic as Lie algebra, to H^* (X,) (_* (Y) ) (resp.⁺ (X,) (_* (Y) )). If X is formal and Y -formal, then the spaces Y^X and are -formal. Furthermore, if dim _* (Y) is infinite and dim H^* (Y,Q) is finite, then the sequence of Betti numbers of grows exponentially.     

On convergence of types and processes in Euclidean space

Let be an Euclidean space; Y _n , Z, U random vectors in ; h _n , g _n affine transformations and let þ be a subgroup of the group G of all the in vertible affine transformations, closed relative to G. Suppose that g_n and where Z is nonsingular. The behaviour of _n = h _n g _n ^–1 as n is discussed first. The results are used then to prove that if for all t(0, ), where h _n þ and Z ₁ is nonsingular and nonsymmetric with respect to þ then H, for all t(0,) and is a continuous homomorphism of the multiplicative group of (0, ) into þ. The explicit forms of the possible are shown.     

Über die Riemannsche Einbettungsgeometrie der Veronesemannigfaltigkeiten

Let E be a n-dimensional euclidean vector space. The subset V _k ⁿ ={x ... x | x E} of ^kE is called a Veronesemanifold. The scalar product of E induces a euclidean structure on ^kE. Passing to the corresponding projective space , one may consider as a riemannian submanifold of the space form . In this paper we study properties of the pair of riemannian manifolds.     

A majorizing semantics for hyperarithmetic sentences

A hyperarithmetic language is considered, obtained by adding to the arithmetic language a special ternary predicateH which acts as the universal predicate for (for some scale of constructive ordinals ). The language expresses a hierarchy {}_< of classes of formulas which is the constructive analog of the initial -section of the classical hyperarithmetic hierarchy. Some properties of this hierarchy are introduced which give a convenient constructive theoryT . It is shown that the majorizing semantics introduced in [1] (for an equivalent variant see [2]) can be extended to the sentences of the language for sentences of the arithmetic language. The basis for the construction of the majorant is the idea (stated in [2]) of relating the majorant to deducibility in systems with an -rule.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 68, pp. 30–37, 1977.     

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.     

The Reynolds number and large time behaviour for weak solutions of the Navier-Stokes equations

We consider time-dependent perturbationsu of R. Finn's stationary PR-solution of the Navier-Stokes equations, which converges to a constant vectorv as ¦x¦ .We investigate the large time behaviour ofu in the case, that the (energetic) Reynolds numberR _e of has the critical valueR _e =1. We show that perturbationsu with small initial kinetic energy and small driving force become smooth after finite time.     

The Eta Invariant and the Real Connective K-Theory of the Classifying Space for Quaternion Groups

We express the real connective K-theory groups o_4k–1(B Q ) ofthe quaternion group Q of order = 2 ^j 8 in terms of therepresentation theory of Q by showing o_4k–1(B Q ) = Sp(S ^4k+3/Q )where is any fixed point free representation of Q in U(2k + 2).     

Piecewise-Convex Maximization Problems

A function F:Rⁿ R is called a piecewise convex function if it can be decomposed into , where f _j:Rⁿ R is convex for all jM={1,2...,m}. We consider subject to xD. It generalizes the well-known convex maximization problem. We briefly review global optimality conditions for convex maximization problems and carry one of them to the piecewise-convex case. Our conditions are all written in primal space so that we are able to proposea preliminary algorithm to check them.     

Convergence of series of translations

For a mean zero norm one sequence (f _n )L ₂[0, 1], the sequence (f _n {nx+y}) is an orthonormal sequence inL ₂([0, 1]²); so if , then converges for a.e. (x, y)[0, 1]² and has a maximal function inL ₂([0, 1]²). But for a mean zerofL ₂[0, 1], it is harder to give necessary and sufficient conditions for theL ₂-norm convergence or a.e. convergence of . Ifc _n 0 and , then this series will not converge inL ₂-norm on a denseG subset of the mean zero functions inL ₂[0, 1]. Also, there are mean zerofL[0, 1] such that never converges and there is a mean zero continuous functionf with a.e. However, iff is mean zero and of bounded variation or in some Lip() with 1/2<1, and if |c _n | = 0(n ^–) for >1/2, then converges a.e. and unconditionally inL ₂[0, 1]. In addition, for any mean zerof of bounded variation, the series has its maximal function in allL _p[0, 1] with 1p<. Finally, if (f _n )L [0, 1] is a uniformly bounded mean zero sequence, then is a necessary and sufficient condition for to converge for a.e.y and a.e. (x _n )[0, 1]. Moreover, iffL [0, 1] is mean zero and , then for a.e. (x _n )[0, 1], converges for a.e.y and in allL _p [0, 1] with 1p<. Some of these theorems can be generalized simply to other compact groups besides [0, 1] under addition modulo one.     

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     

On the Boundedness of a Recurrence Sequence in a Banach Space

We investigate the problem of the boundedness of the following recurrence sequence in a Banach space B: where |y _n} and | _n } are sequences bounded in B, and A _k, k 1, are linear bounded operators. We prove that if, for any > 0, the condition is satisfied, then the sequence |x _n} is bounded for arbitrary bounded sequences |y _n} and | _n } if and only if the operator has the continuous inverse for every z C, |z| 1.     

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)     

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.     

Locally forced critical surface waves in channels of arbitrary cross section

Critical long surface waves forced by locally distributed external pressure applied on the free surface in channels of arbitrary cross section are studied in this paper. The fluid under consideration is inviscid and has constant density. The upstream flow is uniform and the upstream velocity is assumed to be near critical, i.e.,u ₀=u _c ++0(²), where 0<1 andu _c is the critical velocity determined by the geometry of the channel. The external pressure applied on the free surface as the forcing is ² P(x). Then the first order perturbation of the free surface elevation satisfies a forced Korteweg-de Vries equation (fK-dV). It is shown in this paper that: (i) If (supercritical), the stationaryfK-dV has two cusped solitary wave solutions; (ii) if (subcritical), the stationaryfK-dV has a downstream cnoidal wave solution; (iii) when= _L , the unique stationary solution of thefK-dV is a wave free hydraulic fall; (iv) if= _d =– _L , thefK-dV has a jump solution; and (v) if _L << _c , thefK-dV does not have stationary solutions. Some free surface profiles and bifurcation diagrams are presented.     

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.     

Majorants and Extreme Points of Unit Balls in Bernstein Spaces

The Bernstein space B ^p () (1 $$ " align="middle" border="0"> 0) is the set of functions from L ^p( ) having Fourier transforms (in the sense of generalized functions) with supports in the compact segment [- , ]. Every function f has an analytic continuation onto the complex plane, which is an entire function of exponential type . The spaces B ^p ()\, are conjugate Banach spaces. Therefore, the closed unit ball in B ^p () has a rich set of extreme (boundary) points: coincides with the weakly ^* closed convex hull of its extreme points. Since, for 1< p< , B ^p () is a uniformly convex space, only the balls and have nontrivially arranged sets of extreme points. In this paper, in terms of zeros of entire functions, we obtain necessary and sufficient conditions of extremeness for functions from .     

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.     

Convex independent sets and 7-holes in restricted planar point sets

For a finite setA of points in the plane, letq(A) denote the ratio of the maximum distance of any pair of points ofA to the minimum distance of any pair of points ofA. Fork>0 letc (k) denote the largest integerc such that any setA ofk points in general position in the plane, satisfying for fixed , contains at leastc convex independent points. We determine the exact asymptotic behavior ofc (k), proving that there are two positive constants=(), such thatk ^1/3c (k)k ^1/3. To establish the upper bound ofc (k) we construct a set, which also solves (affirmatively) the problem of Alonet al. [1] about the existence of a setA ofk points in general position without a 7-hole (i.e., vertices of a convex 7-gon containing no other points fromA), satisfying . The construction uses Horton sets, which generalize sets without 7-holes constructed by Horton and which have some interesting properties.