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

Exact estimates for partially monotone approximation

f(x) — , - [–1,1], (f, ) — , as— f, . . (- ) (x _i,x _{i+ 1}) (i=0, 1, ...,s–1; =–1,x _s,=1), f(x) . , n=0,1,... _n() , [– 1,1] signf(x) sign _n(x) 0, ¦f(x)– _n(x)¦ C(s) (f, 1/n+1, C(s) s. , - , « » .     

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

Über den algorithmischen Nachweis von Ungleichungen I

We shall develop a method to prove inequalities in a unified manner. The idea is as follows: It is quite often possible to find a continuous functional : ⁿ , such that the left- and the right-hand side of a given inequality can be written in the form (u)(v) for suitable points,v=v(u). If one now constructs a map ^{n n} , which is functional increasing (i.e. for each x ⁿ (which is not a fixed point of ) the inequality (x)<((x)) should hold) one specially gets the chain (u)( u))( ²(u))... ⁿ (u)). Under quite general conditions one finds that the sequence { ⁿ (u)} _n converges tov=v(u). As a consequence one obtains the inequality (u)(v).     

Principal part of resolvent and factorization of an increasing nonanalytic operator-function

Let a selfadjoint operator-valued functionL() be given on the interval [a,b] such thatL(a)0,L(b)0,L()0 (ab), andL() has a certain smoothness (for instance, it satisfies Hölder's condition). It turns out that the spectral theory of the operator-valued functionL() can be reduced to the spectral theory of one operatorZ, the spectrum of which lies on (a, b) and which is similar to a selfadjoint operator. In particular, the factorization takes place:L()=M()(I–Z), where the operator-valued functionM() is invertible on [a, b]. Earlier similar results were known only for analytic operator-valued functions. The authors had to use new methods for the proof of the described theorem. The key moment is the decomposition ofL ^–1() into the sume of its principal and regular parts.     

On the convergence in a restricted sense of multiple series

Z ^d — k=(k ₁, ...,k _d) k _j,d1.d- (8), . . a _k s _m= a _k s, >0 N, min (m ₁,...,m _d)N, ¦s _m–s¦. , , >0 N, min (m ₁,...,m _d)N min (n ₁,...,n _d)N, ¦s _m–s _n. . , (8) , >0 N, max (b ₁,...,b _d) N, m — Z ^d , m1, ¦s(b, m)¦ where      

Mixed-norm estimates for a class of integral operators

(, ) — R ^m ×R ⁿ . f R ^m ×R ⁿ f_p,q, f L _p (R ^m) x y, L^q(Rⁿ). ׃ _q,r cƒ _p,r , ׃ R ^m ×R ⁿ , , , q r . , ( ¦¦) K ₀ (y); p, g r , K ₀.     

Description of Hyperinvariant Subspaces of a Contraction in Terms of Its Characteristic Function

If T is a completely nonunitary contraction on a Hilbert space and L is its invariant subspace corresponding to a regular factorization of its characteristic function = , then L is hyperinvariant if and only if the following two conditions are fulfilled: (1) supp _* supp is of Lebesgue measure zero; (2) for every pair A H (E E) and A _* H (E _* E _*) intertwining by , i.e., such that A =A _*, there exists a function A _F H (F F) intertwining with A by and with A _* by , i.e., such that A = A _F and A _F = A _*. Bibliography: 4 titles.     

Derivatives of the Spectral Function and Sobolev Norms of Eigenfunctions on a Closed Riemannian Manifold

Let e(x, y, ) be the spectral function and the unit spectral projection operator, with respect to the Laplace–Beltrami operator on a closed Riemannian manifold M. We generalize the one-term asymptotic expansion of e(x, x, ) by Hörmander (Acta Math. 88 (1968), 341–370) to that of _{x y} e(x,y,)| _x=y for any multiindices , in a sufficiently small geodesic normal coordinate chart of M. Moreover, we extend the sharp (L ²,L ^p) (2 p) estimates of by Sogge (J. Funct. Anal. 77 (1988), 123–134; London Math. Soc. Lecture Note Ser. 137, Cambridge University Press, Cambridge, 1989; Vol. 1, pp. 416–422) to the sharp (L ², Sobolev L ^p) estimates of .     

On the positive definiteness of n ↦ epnα for α close to 2

For >2, let Q ⁺() be the infimum of those q>0 for which the function n e^pn is positive definite on N ₀ for every pq. We shall prove that Q ⁺()0 as 2.     

Definability properties and the congruence closure

We introduce a natural class of quantifiersTh containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic ofL (Th) or countably compact regular sublogic ofL (Th), properly extendingL , satisfies the uniform reduction property for quotients. As a consequence, none of these logics satisfies either-interpolation or Beth's definability theorem when closed under relativizations. We also show the failure of both properties for any sublogic ofL (Th) in which Chang's quantifier or some cardinality quantifierQ , with 1, is definable.     

Factorization of a selfadjoint nonanalytic operator function II. Single spectral zone

We consider a selfadjoint and smooth enough operator-valued functionL() on the segment [a, b]. LetL(a)0,L(b)0, and there exist two positive numbers and such that the inequality |(L()f, f)|< ([a, b] f=1) implies the inequality (L'()f, f)>. Then the functionL() admits a factorizationL()=M()(I-Z) whereM() is a continuous and invertible on [a, b] operator-valued function, and operatorZ is similar to a selfadjoint one. This result was obtained in the first part of the present paper [10] under a stronge conditionL()0 ( [a,b]). For analytic functionL() the result of this paper was obtained in [13].     

Tangential Limits of Potentials on Homogeneous Trees

Let T be a homogeneous tree of homogeneity q+1. Let denote the boundary of T, consisting of all infinite geodesics b=[b ₀,b ₁,b ₂,] beginning at the root, 0. For each b, 1, and a0 we define the approach region _,a (b) to be the set of all vertices t such that, for some j, t is a descendant of b _j and the geodesic distance of t to b _j is at most (–1)j+a. If >1, we view these as tangential approach regions to b with degree of tangency . We consider potentials Gf on T for which the Riesz mass f satisfies the growth condition _T f ^p (t)q ^–|t|<, where p>1 and 0<<1, or p=1 and 0<1. For 11/, we show that Gf(s) has limit zero as s approaches a boundary point b within _,a (b) except for a subset E of of -dimensional Hausdorff measure 0, where H (E)=sup_>0inf _i q ^{–|t i|}:E a subset of the boundary points passing through t _i for some i,|t _i |>log _q (1/).     

On convex multipliers of convergence of some classes of bivariate fourier series

- ()N²,L _F ( ) — , 2- , {s _m() f} -L. — . (L _F( ),L _F( ) ={(k)} (kZ²) , fL_F( ) f , , L _F( ). - ={()} ={()} , n(())m()n(()+()) . R() , .. - . , . (L _F ( ),L _F ( )) , R(,)=O(1) (x).

---

---

The author wishes to express his gratitude to S. A.Teljakovski for setting the problem and for his attention to this paper.     

OnU ϕ-sets of trigonometric integrals

, (t) >0 E(–, +),E<, , ¦f(t)¦ (t) xE, f(t)=0 (–, +).     

Compact interval spaces in which all closed subsets are homeomorphic to clopen ones,II

A topological spaceX whose topology is the order topology of some linear ordering onX, is called aninterval space. A space in which every closed subspace is homeomorphic to a clopen subspace, is called aCO space and a space isscattered if every non-empty subspace has an isolated point. We regard linear orderings as topological spaces, by equipping them with their order topology. IfL andK are linear orderings, thenL ^*, L+K, L · K denote respectively the reverse ordering ofL, the ordered sum ofL andK and the lexicographic order onL x K (so · 2=+). Ordinals are considered as linear orderings, and cardinals are initial ordinals. For cardinals , l 0, letL(K,)=K+1+*.Theorem: Let X be a compact interval scattered space. Then X is a CO space if and only if X is homeomorphic to a space of the form +1+_{1 L(K i i), where is any ordinal, n , for every ii},_i are regular cardinals and K_ii, and if n>0, then max({K_i:i相似文献   

More projective geometry associated with unramified double covers of curves of genus four

Sunto Sia : YY un rivestimento doppio non diramato di una curva di genere quattro definita su C e a moduli generali. Sia il punto di 2-divisione associate a . In questa nota si studia il sistema 2 delle quardriche di contatto al modello canonico di Y, associato al dato rivestimento.e si esplicita una biezione tra l'insieme delle theta-caratteristiche dispari di Y che diffeiscono per e l'insieme dell theta caratteristiche dispari dell curve di genere tre la cui Jacobiana e isomorfa (come v.a.p.p.) alla varieta di Prym P(f Y Y)     

О сходимости метода совпадения

.      

Approximating derivations on ideals ofC *-algebras

For each^*-derivation of a separableC ^*-algebraA and each >0 there is an essential idealI ofA and a self-adjoint multiplierx ofI such that (–ad(ix))|I< and x.     

Isometries of symmetric operator spaces associated with AFD factors of typeII and symmetric vector-valued spaces

If is a surjective isometry of the separable symmetric operator spaceE(M, ) associated with the approximately finite-dimensional semifinite factorM and if · _E(M,) is not proportional to · _{L 2}, then there exist a unitary operatorUM and a Jordan automorphismJ ofM such that(x)=UJ(x) for allxME(M, ). We characterize also surjective isometries of vector-valued symmetric spacesF((0, 1), E(M, )).Research supported by the Australian Research Council