On posets with isomorphic interval posets

Let be a partially ordered set, Int the system of all (nonempty) intervals of partially ordered by the set-theoretical inclusion . We are interested in partially ordered sets with Int isomorphic to Int . We are going to show that they correspond to couples of binary relations on A satisfying some conditions. If is a directed partially ordered set, the only with Int isomorphic to Int are corresponding to direct decompositions of ( denotes the dual of . The present results include those presented in the paper [11] by V. Slavík. Systems of intervals, particularly of lattices, have been investigated by many authors, cf. [1]–[11].     

Varieties Defined by Permutations

We continue to study interrelations between permutative varieties and the cyclic varieties defined by cycles of the form . A criterion is given determining whether a cyclic variety is interpretable in . For a permutation without fixed elements, it is stated that a set of primes for which is interpretable in in the lattice is finite. It is also proved that for distinct primes , the Helly number of a type in coincides with dimension of the dual type and equals .     

K-Theory for the Banach Algebra of Operators on James''s Quasi-reflexive Banach Spaces

We prove that the K-groups of the Banach algebra of bounded, linear operators on the pth James space , where 1 < p < , are given by and . Moreover, for each Banach space and each non-zero, closed ideal contained in the ideal of inessential operators, we show that and . This enables us to calculate the K-groups of for each Banach space which is a direct sum of finitely many James spaces and -spaces.     

Inertial Gradient-Like Dynamical System Controlled by a Stabilizing Term

Let H be a real Hilbert space and let be a function that we wish to minimize. For any potential and any control function which tends to zero as t+, we study the asymptotic behavior of the trajectories of the following dissipative system:

On intervals and isometries of MV-algebras

Let Int be the lattice of all intervals of an MV-algebra . In the present paper we investigate the relations between direct product decompositions of and (i) the lattice Int , or (ii) 2-periodic isometries on , respectively.     

Spin Models and Strongly Hyper-Self-Dual Bose-Mesner Algebras

We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let and denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of with respect to p. By a hyper-duality of , we mean an automorphism of such that for all ; and is a duality of . is said to be hyper-self-dual whenever there exists a hyper-duality of . We say that is strongly hyper-self-dual whenever there exists a hyper-duality of which can be expressed as conjugation by an invertible element of . We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra.     

Some Integral Transformations with Reproducing Properties

By means of an elementary consideration, families of integral transformations in certain spaces (e.g., in , where is the unit disk) are constructed. These transformations map elements of certain subspaces either to itself or to their derivatives, respectively. As a special case, we obtain a family of integral transformations generating a decomposition of into a direct sum. By introducing appropriate new scalar products, these direct sums become decompositions into orthogonal complements, and the corresponding integral transformations become self-adjoint operators of into itself positive with respect to the new scalar products. In further special cases, these integral transformations possess bounded and injective extensions mapping onto well-defined subspaces of . The latter property is a consequence of the connection of our transformations with the complex Hilbert transformation. Bibliography: 10 titles.     

Geometry of Two- and Three-Dimensional Minkowski Spaces

A class of centrally-symmetric convex 12-topes (12-hedrons) in is described such that for an arbitrary prescribed norm on each polyhedron in the class can be inscribed in (circumscribed about) the -ball via an affine transformation, and this can be done with large degree of freedom. Bibliography: 5 titles.     

Brauer Diagrams, Updown Tableaux and Nilpotent Matrices

We interpret geometrically a variant of the Robinson-Schensted correspondence which links Brauer diagrams with updown tableaux, in the spirit of Steinberg's result [32] on the original Robinson-Schensted correspondence. Our result uses the variety of all where is a complete flag in is a nondegenerate alternating bilinear form on and N is a nilpotent element of the Lie algebra of the simultaneous stabilizer of both and instead of Steinberg's variety of where are two complete flags in and N is a nilpotent element of the Lie algebra of the simultaneous stabilizer of both .     

Imprimitive Q-polynomial Association Schemes

It is well known that imprimitive P-polynomial association schemes with are either bipartite or antipodal, i.e., intersection numbers satisfy either for all for all . In this paper, we show that imprimitive -polynomial association schemes with are either dual bipartite or dual antipodal, i.e., dual intersection numbers satisfy either .     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

Divisibility in the K0‐Group of the Algebra of Operators on a Banach Space

Let Figiel's reflexive Banach space which is not isomorphic to its Cartesian square. We show that the K ₀group of the algebra of continuous, linear operators on contain a subgroup isomorphic to the group c ₀₀( ) of sequences rational numbers with z _n=0 eventually.     

Spectral Properties of Abelian C*-Algebras

Let be an Abelian unital C ^*-algebra and let denote its Gelfand spectrum. We give some necessary and sufficient conditions for a nondegenerate representation of to be unitarily equivalent to a representation in which the elements of act multiplicatively, by their Gelfand transforms, on a space L ²( ,), where is a positive measure on the Baire sets of . We also compare these conditions with the multiplicity-free property of a representation.     

Lagrangian Globalization Methods for Nonlinear Complementarity Problems

This paper extends the Lagrangian globalization (LG) method to the nonsmooth equation arising from a nonlinear complementarity problem (NCP) and presents a descent algorithm for the LG phase. The aim of this paper is not to present a new method for solving the NCP, but to find such that when the NCP has a solution and is a stationary point but not a solution.     

Generalized Quasi-Variational Inequalities Without Continuities

Given a nonempty set and two multifunctions , we consider the following generalized quasi-variational inequality problem associated with X, : Find such that . We prove several existence results in which the multifunction is not supposed to have any continuity property. Among others, we extend the results obtained in Ref. 1 for the case (x(X.     

On Large Deviations of Vector-Valued Additive Functions of a Markov Gaussian Field

We prove a local limit theorem for large deviations of the sums , where , is a Markov Gaussian random field, is a bounded vector-valued function, and . This paper generalizes the paper [13].     

K-Theory, Hermitian K-Theory and the Karoubi Tower

The goal of this paper is to present a new view on the link between the well known K-theory of finitely generated projective modules and much less understood K-theory of Hermitian forms on finitely generated projective modules.For a given Hermitian ring (R, , ), we obtain the K-theory space KR equipped with an involution and the Hermitian K-theory space KHerm(R, , ). The fixed subspace ² is homotopy equivalent to the Hermitian K-theory space KHerm(R,, , ). We construct the Karoubi Tower diagram, which is obtained by iterating Karoubi's construction of the homotopy fibers of the forgetful and hyperbolic maps. Using an interesting factorization of these maps, we prove various homotopy properties of the Karoubi Tower. The homotopy inverse limit of the Karoubi Tower is homotopy equivalent to the homotopy fibre of the inclusion of the fixed set ² into the homotopy fixed set ^{h 2}. Considering Karoubi's fundamental periodicity theorem, the Karoubi Tower generalizes the low dimensional connections between Hermitian K-theory and K-theory groups. Illustrative examples of the Karoubi Tower are given by the finite field case and the classical Hermitian rings over , and . Considering topological K-theory for these cases, the Karoubi Tower comprises the classical Bott periodicity.Another important application of the Karoubi Tower is an elegant and comprehensive generalization of the classical invariants of quadratic forms.     

Trajectory and Global Attractors of Three-Dimensional Navier--Stokes Systems

We construct the trajectory attractor of a three-dimensional Navier--Stokes system with exciting force . The set consists of a class of solutions to this system which are bounded in , defined on the positive semi-infinite interval of the time axis, and can be extended to the entire time axis so that they still remain bounded-in- solutions of the Navier--Stokes system. In this case any family of bounded-in- solutions of this system comes arbitrary close to the trajectory attractor . We prove that the solutions are continuous in t if they are treated in the space of functions ranging in . The restriction of the trajectory attractor to , , is called the global attractor of the Navier--Stokes system. We prove that the global attractor thus defined possesses properties typical of well-known global attractors of evolution equations. We also prove that as the trajectory attractors and the global attractors of the -order Galerkin approximations of the Navier--Stokes system converge to the trajectory and global attractors and , respectively. Similar problems are studied for the cases of an exciting force of the form depending on time and of an external force rapidly oscillating with respect to the spatial variables or with respect to time .     

Graded Jacobi operators on the algebra of differential forms

One-to-one correspondences are established between the set ofall nondegenerate graded Jacobi operators of degree -1 defined onthe graded algebra of differential forms on a smooth, oriented,Riemannian manifold M, the space of bundle isomorphisms , and the space of nondegenerate derivations of degree 1 havingnull square. Derivations with this property, andJacobi structures of odd -degree are also studied throughthe action of the automorphism group of .