Commutators for Fourier multipliers on Besov Spaces

If T is any bounded linear operator on Besov spaces B_p^σ_j,q_j(Rⁿ)(j=0,1, and 0<σ₁<σ<σ₀), it is proved that the commutator [T,T_μ]=TT_μ−T_μT is bounded on B_p^σ,q(Rⁿ), if T_μ is a Fourier multiplier such that μ is any (possibly unbounded) symbol with uniformly bounded variation on dyadic coronas.     

Ordering Trees with Nearly Perfect Matchings by Algebraic Connectivity

Let T2k＋1 be the set of trees on 2k＋1 vertices with nearly perfect matchings and α（T） be the algebraic connectivity of a tree T. The authors determine the largest twelve values of the algebraic connectivity of the trees in T2k＋1. Specifically, 10 trees T2,T3,... ,T11 and two classes of trees T（1） and T（12） in T2k＋1 are introduced. It is shown in this paper that for each tree T^′1,T^″1∈T（1）and T^′12,T^″12∈T（12） and each i,j with 2≤i〈j≤11,α（T^′1）=α（T^″1）〉α（Tj）〉α（T^′12）=α（T^″12）.It is also shown that for each tree T with T∈T2k＋1／（T（1）∪{T2,T3,…,T11}∪T（12））,α（T^′12）〉α（T）.     

Tests for the mean direction of the Langevin distribution with large concentration parameter

In this paper we study the asymptotic behaviors of the likelihood ratio criterion (T_L^(s)), Watson statistic (T_W^(s)) and Rao statistic (T_R^(s)) for testing H_0s: μ (a given subspace) against H_1s: μ , based on a sample of size n from a p-variate Langevin distribution M_p(μ, κ) when κ is large. For the case when κ is known, asymptotic expansions of the null and nonnull distributions of these statistics are obtained. It is shown that the powers of these statistics are coincident up to the order κ⁻¹. For the case when κ is unknown, it is shown that T_R^(s) T_L^(s) T_W^(s) in their powers up to the order κ⁻¹.     

On a partially isometric transform of divergence-free vector fields

The paper deals with the so-called M-transform, which maps divergence-free vector fields in Ω ^T := {x ∈ Ω| dist(x, ∂Ω) < T}, Ω ⊂⊂ \mathbbR \mathbb{R} ³, to the space of transversal fields. The latter space consists of vector fields in Ω ^T tangential to the equidistant surfaces of the boundary ∂Ω. In papers devoted to the dynamical inverse problem for the Maxwell system, in the framework of the BC-method, the operator M ^T was defined for T < T _ω, where T _ω depends on the geometry of Ω. This paper provides a generalization for arbitrary T. It is proved that M ^T is partially isometric, and its intertwining properties are established. Bibliography: 6 titles.     

The partition of a strong tournament

A digraph T is strong if for every pair of vertices u and v there exists a directed path from u to v and a directed path from v to u. Denote the in-degree and out-degree of a vertex v of T by d^-(v) and d⁺(v), respectively. We define δ^-(T)=min_vV(T){d^-(v)} and δ⁺(T)=min_vV(T){d⁺(v)}. Let T₀ be a 7-tournament which contains no transitive 4-subtournament. In this paper, we obtain some conditions on a strong tournament which cannot be partitioned into two cycles. We show that a strong tournament T with n6 vertices such that TT₀ and max{δ⁺(T),δ^-(T)}3 can be partitioned into two cycles. Finally, we give a sufficient condition for a tournament to be partitioned into k cycles.     

On the asymptotic behaviour of a semigroup of linear operators

Let T = {T(t)}_{t ≥ 0} be a C₀-semigroup on a Banach space X. In this paper, we study the relations between the abscissa ω_Lp(T) of weak p-integrability of T (1 ≤ p < ∞), the abscissa ω^p_R(A) of p-boundedness of the resolvent of the generator A of T (1 ≤ p ≤ ∞), and the growth bounds ω_β(T), β ≥ 0, of T. Our main results are as follows.

1. (i) Let T be a C₀-semigroup on a B-convex Banach space such that the resolvent of its generator is uniformly bounded in the right half plane. Then ω_{1 − ε}(T) < 0 for some ε > 0.

2. (ii) Let T be a C₀-semigroup on L^p such that the resolvent of the generator is uniformly bounded in the right half plane. Then ω_β(T) < 0 for all β>¦1/p − 1/p′¦, 1/p + 1/p′ = 1.

3. (iii) Let 1 ≤ p ≤ 2 and let T be a weakly L^p-stable C₀-semigroup on a Banach space X. Then for all β>1/p we have ω_β(T) ≤ 0.

Further, we give sufficient conditions in terms of ω^q_R(A) for the existence of L^p-solutions and W^1,p-solutions (1 ≤ p ≤ ∞) of the abstract Cauchy problem for a general class of operators A on X.     

Global attractor for the weakly damped forced KdV equation in Sobolev spaces of low regularity

We consider the global attractor for the weakly damped forced KdV equation in Sobolev spaces [(H)\dot]^s(T){\dot{H}^s({\mathbf T})}for s < 0. Under the assumption that the external forcing term belongs to [(L)\dot]²(T),{\dot{L}^2({\mathbf T}),} we prove the existence of the global attractor in [(H)\dot]^s(T){\dot{H}^s({\mathbf T})} for −1/2 ≤ s < 0, which is identical to the one in [(L)\dot]²(T){\dot{L}^2({\mathbf T})} and thus is compact in H ³(T). The argument is a combination of the I-method and decomposing the solution into two parts, one of which is uniformly bounded in [(L)\dot]²(T){\dot{L}^2({\mathbf T})} and the other decays exponentially in [(H)\dot]^s(T){\dot{H}^s({\mathbf T})}.     

ℋ-theories, fragments of HA and PA-normality

For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that T ⁱ ∈ range(ℋ) iff T ⁱ = ℋ(T). As a corollary, no fragment of HA extending iΠ ₁ belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of H by different methods. We provide more examples of theories not in the range of ℋ. We show PA-normality of once-branching Kripke models of HA + MP, where it is not known whether the same holds if MP is dropped. Received: 15 August 1999 / Published online: 3 October 2001     

Commutators for Approximation Spaces and Marcinkiewicz-Type Multipliers

It is proved that, under some conditions, weaker than those of the Marcinkiewicz multiplier theorem, the multiplier operator T_μ(∑_k c_ke^ikt)=∑_k μ_kc_ke^ikt satisfies on the Besov space B^σ, q_p the commutator theorem[T, T_μ]_{B^σ, qp, B^σ, qp}c T, where T=max(T_{B^σ0, q0p, B^σ0, q0p}, T_{B^σ1, q1p, B^σ1, q1p} and σ₀>σ>σ₁>0.     

Twice Q-polynomial distance-regular graphs are thin

Let Γ be a distance-regular graph of diameter d 3. For each vertex χ of Γ, let T(χ) denote the subconstituent algebra for Γ with respect to χ. An irreducible T(χ)-module W is said to be thin if dim E_i^*(χ) W 1 for 0 i d, where E_i^*(χ) is the projection onto the ith subconstituent for Γ with respect to χ. The graph Γ is said to be thin if, for each vertex χ of Γ, very irreducible T(χ)-module is thin. Our main result is the following Theorem: If Γ has two Q-polynomial structures, then Γ is thin.     

Groups of measure space transformations and invariants of outer conjugation for automorphisms from normalizers of type III full groups

The necessary and sufficient conditions of outer conjugation for automorphisms from the normalizer of approximated III type groups are found. Let T be an automorphism of a Lebesgue space (X, μ) of the III₀ type, [T] the full group generated by T, N[T] its normalizer, {W_t(T)} the flow associated with T and α → mod α the homomorphism from N[T] to C{W} the centralizer of the associated flow. The following results are obtained: such that mod ga = α; automorphisms α₁, and α₂ from N[T] are outer conjugate if and only if p(α₁) = p(α₂), mod α₁ = γ mod α₂γ⁻¹, where γ C{W} and p(·) is the outer period; the canonical form of the elements from N[T] is found. The case is also considered where T is types III_λ (0 < λ < 1) and III₁.     

On some equations in prime rings

The main purpose of this paper is to prove the following result. Let R be a prime ring of characteristic different from two and let T : R → R be an additive mapping satisfying the relation T(x ³) = T(x)x ² − xT(x)x + x ² T(x) for all x ∈ R. In this case T is of the form 4T(x) = qx + xq, where q is some fixed element from the symmetric Martindale ring of quotients. This result makes it possible to solve some functional equations in prime rings with involution which are related to bicircular projections.     

Tail field representations and the zero-two law

The zero-two law was proved for a positiveL ₁-contractionT by Ornstein and Sucheston, and gives a condition which impliesT ⁿ f−T ⁿ⁺¹ f → 0 for allf. Extensions of this result to the case of a positiveL _p -contraction, 1≤p<∞, have been obtained by several authors. In the present paper we prove a theorem which is related to work of Wittmann. We will say that a positive contractionT contains a circle of lengthm if there is a nonzero functionf such that the iterated valuesf, T f,…,T ^m-1 f have disjoint support, whileT ^m f=f. Similarly, a contractionT contains a line if for everym there is a nonzero functionf (which may depend onm) such thatf,…,T ^m-1 f have disjoint support. Approximate forms of these conditions are defined, which are referred to as asymptotic circles and lines, respectively. We show (Theorem 3) that if the conclusionT ⁿ f−T ⁿ⁺¹ f→0 of the zero-two law does not hold for allf inL _p , then eitherT contains an asymptotic circle orT contains an asymptotic line. The point of this result is that any condition onT which excludes circles and lines must then imply the conclusion of the zero-two law. Theorem 3 is proved by means of the representation of a positiveL _p -contraction in terms of anL _p -isometry. Asymptotic circles and lines forT correspond to exact circles and lines for the isometry on tail-measurable functions, and exact circles and lines for the isometry are obtained using the Rohlin tower construction for point transformations. Research supported in part by NSERC.     

On the structure of a relatively free Grassmann algebra

We investigate the multiplicative and T-space structure of the relatively free algebra F ⁽³⁾ with a unity corresponding to the identity [[x ₁ , x ₂], x ₃] = 0 over an infinite field of characteristic p > 0. The highest emphasis is placed on unitary closed T-spaces over a field of characteristic p > 2. We construct a diagram containing all basic T-spaces of the algebra F ⁽³⁾, which form infinite chains of the inclusions. One of the main results is the decomposition of quotient T-spaces connected with F ⁽³⁾ into a direct sum of simple components. Also, the studied T-spaces are commutative subalgebras of F ⁽³⁾; thus, the structure of F(3) and its subalgebras can be described as modules over these commutative algebras. Separately, we consider the specifics of the case p = 2. In the Appendix, we study nonunitary closed T-spaces and the case of a field of zero characteristic.     

Some bendings of a long cylinder

Elementary tools are applied to describe piecewise-linear isometric embeddings of cylindrical surfaces in ℝ³. Let T² be a flat torus, let γ⊂T² be the shortest closed geodesic of length l_o, and let k be a fixed positive integer. We assume that if l is the length of any closed geodesic on T² which is homotopic neither to γ nor to any power of γ, then l>kl₀. It is shown how to embed T² in ℝ³ if k is sufficiently large. The same problem is solved for a flat skew torus T². It is also shown that if a knot of arbitrary type in ℝ³ is fixed and k is sufficiently large, then T² can be isometrically embedded in ℝ³ as a tube knotted according to the type of fixed knot. Bibliography; 4 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 246, 1997, pp. 66–83. Translated by S. Yu. Pilyugin.     

The generalized variance of a stationary autoregressive process

For a stationary autoregressive process of order p and disturbance variance σ² it is shown that the determinant of the covariance of T (≥p) consecutive random variables of the process is (σ²)^T Π_i,j=1^p (1 − w_iw_j)⁻¹, where w₁, …, w_p are the roots of the associated polynomial equation.     

Colouring Arcwise Connected Sets in the Plane II

Let ? be the family of finite collections ? where ? is a collection of bounded, arcwise connected sets in ℝ² where for any S,T∈? such that S∩T≠?, it holds that S∩T is arcwise connected. Given ? is triangle-free, and provided the chromatic number χ(G) of the intersection graph G=G(?) of ? is sufficiently large, there exists α>1 independent of ? such that there is a subcollection ?^′⊂? of at most 5 sets with the property that the sets of ? surrounded by ?^′ induce an intersection graph H where . Received: November 13, 1995 Final version received: December 3, 1998     

The second centralizer of a Bernoulli shift is just its powers

If ℐ is a collection of measure preserving transformations of a probability space, byC(ℐ), the centralizer of ℐ, we mean the group of all measure preserving transformationsS such thatTS=ST for allT ∈ ℐ. We show here that ifT is a Bernoulli shift, thenC(C(T))={T ⁱ |i ∈ Z}. The proof is carried out by constructing an action of Z², {T ₁ ⁱ °T ₂ ⁱ |i, j ∈ Z}, whereT ₁ is a Bernoulli shift of arbitrary entropy, but for anyj ≠ 0,C({T ₁,T ₂ ^i} ={T ₁ ⁱ °T ₂ ^k l, k ∈ Z}. The construction is a two-dimensional analogue of Ornstein’s “rank one mixing” transformation.     

Path numbers of tournaments

A family of simple (that is, cycle-free) paths is a path decomposition of a tournament T if and only if partitions the acrs of T. The path number of T, denoted pn(T), is the minimum value of | | over all path decompositions of T. In this paper it is shown that if n is even, then there is a tournament on n vertices with path number k if and only if n/2 k n²/4, k an integer. It is also shown that if n is odd and T is a tournament on n vertices, then (n + 1)/2 pn(T) (n² − 1)/4. Moreover, if k is an integer satisfying (i) (n + 1)/2 k n − 1 or (ii) n < k (n² − 1)/4 and k is even, then a tournament on n vertices having path number k is constructed. It is conjectured that there are no tournaments of odd order n with odd path number k for n k < (n² − 1)/4.     

Every T-space is equivalent to a T-space of continuous functions

A T-space U of degree k is a (k + 1)-dimensional vector space over (the real line) of real-valued functions defined on a linearly ordered set, satisfying the condition: for every nonzero u ε U, Z(u), the number of distinct zeros of u and ^-(u), the number of alternations in sign of u(t) with increasing t, each do not exceed k. It is demonstrated that given a T-space U of degree k > 0 on an arbitrary linearly ordered set T, there is a subset T′ of the real line and a nonsingular linear map L:U→ C(T′), the set of continuous functions on T′, such that the following hold: L(U) is a T-space of degree k; for u ε U, Z(u) = Z(L(u)), S^−(u) = S^−(L(u); and for some order-preserving bijection Θ:T → T′, u(t) = O if and only if L(u)(Θ(t) = 0. It is also shown that a T-space on a subset T can be extended to a T-space on the closure of T in ]inf T, sup T], provided that there are no “interval gaps” in T. Examples show that, in general, a T-space cannot be extended across an “interval gap” in its domain, and cannot be extended to both the infimum and supremum of its domain. Conditions for a T-space to be Markov, and to admit an adjoined function are derived.