On the Metrical Theory of Continued Fraction Mixing Fibred Systems and Its Application to Jacobi-Perron Algorithm

 We study the metrical theory of fibred systems, in particular, in the case of continued fraction mixing systems. We get the limit distribution of the largest value of a continued fraction mixing stationary stochastic process with infinite expectation and some related results. These are analogous to J. Galambos, W. Philipp, and H. G. Diamond–J. D. Vaaler theorems for the regular continued fractions. As an application, we see that these theorems hold for Jacobi-Perron algorithm. Received September 30, 2001; in revised form January 8, 2002     

Well-posedness of the cauchy problem in gevrey classes for some weakly hyperbolic equations of higher order

This article is devoted to the study of the Cauchy problem in Gevrey classes for some higher order weakly hyperbolic equations with time-dependent coefficients and without lower order terms.     

The Dual Properties of Lk-UR and k-SS Space

In this paper, we get some properties in the dual space of Lk-UR and k-SS Banach space.AMS Subject Classification: 46B09     

Ideals and Subalgebras in BCI-Algebras

We prove that there exists a maximal ideal of a BCI-algebra X in which each subalgebra is an ideal.AMS Subject Classification (1991): 06F35, 03G25.The second author was supported by the LG Yonam Foundation (1995).     

Non-existence of phase transition of oriented percolation on Sierpinski carpet lattices

 A percolation problem on Sierpinski carpet lattices is considered. It is obtained that the critical probability of oriented percolation is equal to 1. In contrast it was already shown that the critical probability p _c of percolation is strictly less than 1 in Kumagai [9]. This result shows a difference between fractal-like lattice and ℤ ^d lattice. Received: 15 May 2002 / Revised version: 11 October 2002 / Published online: 21 February 2003 Mathematics Subject Classification (2000): Primary: 60K35, 82B43; Secondary: 82B26     

Ordinary differential operators in Hilbert spaces and Fredholm pairs

Let be a path of bounded operators on a real Hilbert space, hyperbolic at . We study the Fredholm theory of the operator . We relate the Fredholm property of to the stable and unstable linear spaces of the associated system . Several examples are included to point out the differences with respect to the finite dimensional case, in particular concerning the role of the spectral flow. We define a general class of paths A for which many properties typical of the finite dimensional framework still hold. Our motivation is to develop the linear theory which is necessary for the set-up of Morse homology on Hilbert manifolds. Received: 9 March 2001; in final form: 1 March 2002 / Published online: 2 December 2002     

Vanishing of local homology

 We study the vanishing properties of local homology of complexes of modules without assuming that its homology is artinian. Using vanishing results for local homology and cohomology we prove new vanishing results for Ext- and Tor-modules. Received: 1 August 2002; in final form: 23 September 2002 / Published online: 16 May 2003 Mathematics Subject Classification (1991): 13C12, 13D07, 13D45.     

Minimal entropy and collapsing with curvature bounded from below

We show that if a closed manifold M admits an ℱ-structure (not necessarily polarized, possibly of rank zero) then its minimal entropy vanishes. In particular, this is the case if M admits a non-trivial S ¹-action. As a corollary we obtain that the simplicial volume of a manifold admitting an ℱ-structure is zero.?We also show that if M admits an ℱ-structure then it collapses with curvature bounded from below. This in turn implies that M collapses with bounded scalar curvature or, equivalently, its Yamabe invariant is non-negative.?We show that ℱ-structures of rank zero appear rather frequently: every compact complex elliptic surface admits one as well as any simply connected closed 5-manifold.?We use these results to study the minimal entropy problem. We show the following two theorems: suppose that M is a closed manifold obtained by taking connected sums of copies of S ⁴, ℂP ², ²,S ²×S ²and the K3 surface. Then M has zero minimal entropy. Moreover, M admits a smooth Riemannian metric with zero topological entropy if and only if M is diffeomorphic to S ⁴,ℂP ²,S ²×S ²,ℂP ²#  ² or ℂP ²# ℂP ². Finally, suppose that M is a closed simply connected 5-manifold. Then M has zero minimal entropy. Moreover, M admits a smooth Riemannian metric with zero topological entropy if and only if M is diffeomorphic to S ⁵,S ³×S ², then on trivial S ³-bundle over S ² or the Wu-manifold SU(3)/SO(3). Oblatum 13-III-2002 & 12-VIII-2002?Published online: 8 November 2002 G.P. Paternain was partially supported by CIMAT, Guanajuato, México.?J. Petean is supported by grant 37558-E of CONACYT.     

Algebraic Operations and Generic Effects

Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an Ob C-indexed family of operations of the form _x :(Tx) ^v (Tx) ^w provides semantics for algebraic operations on the computational -calculus. We recall a definition for which we have elsewhere given adequacy results, and we show that an enrichment of it is equivalent to a range of other possible natural definitions of algebraic operation. In particular, we define the notion of generic effect and show that to give a generic effect is equivalent to giving an algebraic operation. We further show how the usual monadic semantics of the computational -calculus extends uniformly to incorporate generic effects. We outline examples and non-examples and we show that our definition also enriches one for call-by-name languages with effects.     

Computational complexity of stable partitions with B-preferences

Consider a special stable partition problem in which the player's preferences over sets to which she could belong are identical with her preferences over the most attractive member of a set and in case of indifference the set of smaller cardinality is preferred. If the preferences of all players over other (individual) players are strict, a strongly stable and a stable partition always exists. However, if ties are present, we show that both the existence problems are NP-complete. These results are very similar to what is known for the stable roommates problem. Received: July 2000/Revised: October 2002 RID="*" ID="*"  This work was supported by the Slovak Agency for Science, contract #1/7465/20 “Combinatorial Structures and Complexity of Algorithms”.