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.     

Maximal Classes of Topological Spaces and Domains Determined by Function Spaces

In this paper the question of what classes A of T ₀-spaces should be paired with classes of domains in order that all function spaces [AB] for AA and B are -compact domains is considered. It is shown that core compact spaces are paired with bounded complete domains and a class of topological spaces called RW-spaces (with finitely many components) is paired with the class of -compact pointed L-domains (L-domains).     

Complete Subobjects of Fuzzy Sets Over MV-Algebras

A subobjects structure of the category -FSet of -fuzzy sets over a complete MV-algebra is investigated, where an -fuzzy set is a pair A = (A, ) such that A is a set and : A × A is a special map. Special subobjects (called complete) of an -fuzzy set A which can be identified with some characteristic morphisms A ^* = (L × L, ) are then investigated. It is proved that some truth-valued morphisms are characteristic morphisms of complete subobjects.     

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

Partially ordered permutation groups

In this note we discuss permutation groups (G, ) in which the set admits aG-invariant order. By aG-invariant partial order (G-partial order) we mean a partial order < of such that < implies g<g, for all and in andg inG. If the set admits aG-partial order which is a total order, then (G, ) is an O-permutation group (orderable permutation group).The main concern of this paper is the development of a foundation for partially ordered permutation groups analogous to the existing one for partially ordered groups, as found in Fuchs [2].     

On Decomposing an Abelian p-Group Under a p′-Operator Group

Let A be a p-group acting on a finite Abelian p-group P. We give a necessary and sufficient condition on an A-irreducible decomposition of ₁(P) = _i1U_i for the existence of an A-indecomposable decomposition of P = _i1R_i such that ₁(R_i) = U_i for all i I. This readily implies a main result of [1].2000 Mathematics Subject Classification: 20D15     

On the E- and MV-optimality of block designs having k≥v

In this paper we consider the problem of determining and constructing E- and MV-optimal block designs to use in experimental settings where treatments are applied to experimental units occurring in b blocks of size k, k. It is shown that some of the well-known methods for constructing E- and MV-optimal unequally replicated designs having k fail to yield optimal designs in the case where . Some sufficient conditions are derived for the E- and MV-optimality of block designs having and methods for constructing designs satisfying these sufficient conditions are given.     

OnU ϕ-sets of trigonometric integrals

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

Lax-type isospectral deformations on nilmanifolds

A one-parameter familyg(t) (0 t T) of Riemannian metric on a compact manifold is called an isospectral deformation of a metricg(0) if the Laplace-Beltrami operators associated to the metricsg(t) have the same spectra. Examples of non-trivial isospectral deformations were constructed on solvmanifolds for the first time by C.S. Gordon and E. Wilson on the basis of Kirillov theory. This paper considers the isospectral deformations on nilmanifolds from the dynamical point of view. First, we see for certain isospectral deformations that the associated Hamiltonian systems of geodesic flows are decomposed into a collection of reduced systems which are left invariant as Hamiltonian systems under the deformations. This fact is formulated by the classical Lax equations. Next, by using a quantization procedure, we attempt to obtain Lax equations for the reduced Laplacians from the classical Lax equations. As a result, we show that certain isospectral deformations by Gordon-Wilson are represented by the Lax equations.     

Covering a convex body by smaller homothetic copies

Let a convex bodyAE ⁿ be covered bys smaller homothetic copies with coefficients ₁, ..., _s , respectively. It is conjectured that ₁ + ...+ _s n. This conjecture is confirmed in two cases:n is arbitrary ands=n+1;s is arbitrary andn=2.     

Ü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 finite characterization ofK-matrices in dimensions less than four

The class of realn × n matricesM, known asK-matrices, for which the linear complementarity problemw – Mz = q, w 0, z 0, w ^T z =0 has a solution wheneverw – Mz =q, w 0, z 0 has a solution is characterized for dimensionsn <4. The characterization is finite and practical. Several necessary conditions, sufficient conditions, and counterexamples pertaining toK-matrices are also given. A finite characterization of completelyK-matrices (K-matrices all of whose principal submatrices are alsoK-matrices) is proved for dimensions <4.Partially supported by NSF Grant MCS-8207217.Research partially supported by NSF Grant No. ECS-8401081.     

Semiregular Large Sets

We develop the notion of t-homogeneous, G-semiregular large sets of t-designs, show that there are infinitely many 3-homogeneous PSL(2, q)-semiregular large sets when q 3 mod 4, two sporadic 3-homogeneous AL(1,32)-semiregular large sets, and no other interesting t-homogeneous G-semiregular large sets for t 3.     

Maximum Monoreflections and Essential Extensions

An extension operator c in a category is an assignment, to each object A a monomorphism c _A : AcA. Seeking to approximate such a c by a functor, in our earlier paper Maximum monoreflections, we showed that with some hypotheses on the category, and on c, there is a monoreflection (c) maximum beneath c. Thus, in a suitable category of rings, using the complete ring of quotients operator Q, each object A has a maximum functorial ring of quotients (Q)A. But the proof gave no hint of how to calculate the general (c)A's, nor the particular (Q)A's. In the present paper, we give an explicit formula (and separate proof of existence) for the (c)A's, under more complicated hypotheses on the category and assuming the c _A 's are essential monomorphisms. We discuss briefly how the formula proves adequate to calculate the (Q)A's in Archimedean f-rings, and some related and necessary constructs in Archimedean l-groups.     

Über eine Verallgemeinerung der Nicoletti-Aufgabe für Funktional-Differentialgleichungen mit voreilendem Argument

We consider a functional differential equation (1) (t)=F(t,) fort[0,+) together with a generalized Nicoletti condition (2)H()=. The functionF: [0,+)×C ⁰[0,+)B is given (whereB denotes the Banach space) and the value ofF (t, ) may depend on the values of (t) fort[0,+);H: C ⁰[0,+)B is a given linear operator and B. Under suitable assumptions we show that when the solution :[0,+)B satisfies a certain growth condition, then there exists exactly one solution of the problem (1), (2).     

Asymptotic Density and the Asymptotics of Partition Functions

Let A be a set of positive integers with gcd (A) = 1, and let p _A (n) be the partition function of A. Let c ₀ = 2/3. If A has lower asymptotic density and upper asymptotic density , then lim inf log p _A (n)/c ₀ n and lim sup log p _A (n)/c ₀ n . In particular, if A has asymptotic density > 0, then log p _A (n) c₀n. Conversely, if > 0 and log p _A (n) c ₀ n, then the set A has asymptotic density .     

Dual-lattice theorems in the geometric approach

A one-to-one correspondence is shown to exist between the lattice of all self-bounded (A, )-controlled invariants contained in and the lattice of all self-hidden (A, )-conditioned invariants containing . This correspondence, stated herein as the main dual-lattice theorem, allows a straightforward derivation of the universal bounds of the lattices, particularly when additional constraints are imposed, such as to contain a given subspace for the elements of the former lattice and to be contained in a given subspace for the elements of the latter. Then, two further minor dual-lattice theorems, dual to each other, are presented, and some connections and applications of the new theory to standard control and observation problems are briefly discussed.     

Topological transitivity of cylindrical cascades

The existence is proved of a topologically transitive (t.t.) homeomorphism U of the space W = × Z of the formU (, z)=(T,, z+f ()) ( , z Z), where is a complete separable metric space, T is a t.t. homeomorphism of onto itself, Z is a separable banach space, andf is a continuous map: z. For the special case W = S¹×R, T=+ ( is incommensurable with 2) the existence is proved of t.t. homeomorphisms (1) of two types: 1) with zero measure of the set of transitive points, 2) with zero measure of the set of intransitive points. An example is presented of a continuous functionf: S¹R for which the corresponding homeomorphism (1) is t.t. for all incommensurable with 2.Translated from Matematicheskie Zametki, Vol. 14, No. 3, pp. 441–452, September, 1973.The author thanks D. V. Anosov for advice and interest in the work.     

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.     

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.