On the genericity of chaos

Let M be a compact manifold with dimM?2. We prove that some iteration of the generic homeomorphism on M is semiconjugated to the shift map and has infinite topological entropy (Theorem 1.1).     

Infima and complements in the lattice of quasi-uniformities

We show that the infimum of any family of proximally symmetric quasi-uniformities is proximally symmetric, while the supremum of two proximally symmetric quasi-uniformities need not be proximally symmetric. On the other hand, the supremum of any family of transitive quasi-uniformities is transitive, while there are transitive quasi-uniformities whose infimum with their conjugate quasi-uniformity is not transitive. Moreover we present two examples that show that neither the supremum topology nor the infimum topology of two transitive topologies need be transitive. Finally, we prove that several operations one can perform on and between quasi-uniformities preserve the property of having a complement.     

Some new topological cardinal inequalities

In this paper we make use of the Pol-Šapirovski?'s technique to prove several cardinal inequalities, which generalize other well-known inequalities.     

A Note on Log-Convexity of q-Catalan Numbers

The q-Catalan numbers studied by Carlitz and Riordan are polynomials in q with nonnegative coefficients. They evaluate, at q = 1, to the Catalan numbers: 1, 1, 2, 5, 14,…, a log-convex sequence. We use a combinatorial interpretation of these polynomials to prove a q-log-convexity result. The sequence of q-Catalan numbers is not q-log-convex in the narrow sense used by other authors, so our work suggests a more flexible definition of q-log convex be adopted. Received January 2, 2007     

Coalgebraic representations of distributive lattices with operators

We present a framework for extending Stone's representation theorem for distributive lattices to representation theorems for distributive lattices with operators. We proceed by introducing the definition of algebraic theory of operators over distributive lattices. Each such theory induces a functor on the category of distributive lattices such that its algebras are exactly the distributive lattices with operators in the original theory. We characterize the topological counterpart of these algebras in terms of suitable coalgebras on spectral spaces. We work out some of these coalgebraic representations, including a new representation theorem for distributive lattices with monotone operators.     

Periodic solutions for a Lotka–Volterra mutualism system with several delays

In the present paper, a Lotka–Volterra type mutualism system with several delays is studied. Some new and interesting sufficient conditions are obtained for the global existence of positive periodic solutions of the mutualism system. Our method is based on Mawhin’s coincidence degree and novel estimation techniques for the a priori bounds of unknown solutions. Our results are different from the existing ones such as those in of Yang et al. [F. Yang, D. Jiang, A. Ying, Existence of positive solution of multidelays facultative mutualism system, J. Eng. Math. 3 (2002) 64–68] and Chen et al. [F. Chen, J. Shi, X. Chen, Periodicity in a Lotka–Volterra facultative mutualism system with several delays, J. Eng. Math. 21 (3) (2004) 403–409].     

Multiple harmonic series related to multiple Euler numbers

In this paper, we define the multiple Euler numbers and consider some multiple harmonic series of Mordell-Tornheim's type, which is a partial sum of the Mordell-Tornheim zeta series defined by Matsumoto. Indeed, we prove a certain reducibility of these series as well as the multiple zeta values.     

Precise measurement of magnetic moment of short-lived β-emitting nuclei12B ( I π=1+, T 1/2=20.18 ms)

The spin polarized β-emitting nuclei¹²B (I ^π=1⁺,T _1/2=20.18 ms) were produced by the nuclear reaction¹¹B(d, p)¹²B and by the selection technique of the incident deuteron energy and the¹²B recoil angle following the nuclear reaction. The nuclear magnetic moment of the short-lived nuclei¹²B was measured by β-NMR with the β-NMR and β-NQR setup established for the first time in China. The nuclear magnetic moment of¹²B was determined to be μ=0.99993±0.00048 nm org=0.99993±0.00048 after the precise correction of the Knight shift.     

Random Walks And The Colored Jones Function

It can be conjectured that the colored Jones function of a knot can be computed in terms of counting paths on the graph of a planar projection of a knot. On the combinatorial level, the colored Jones function can be replaced by its weight system. We give two curious formulas for the weight system of a colored Jones function: one in terms of the permanent of a matrix associated to a chord diagram, and another in terms of counting paths of intersecting chords. Electronic supplementary material to this article is available at and is accessible to authorized users. * S. G. was partially supported by an NSF and by an Israel-US BSF grant. † M. L. was partly supported by GAUK 158 grant and by the Project LN00A056 of the Czech Ministry of Education.     

Combinatorial Lie bialgebras of curves on surfaces

Goldman (Invent. Math. 85(2) (1986) 263) and Turaev (Ann. Sci. Ecole Norm. Sup. (4) 24 (6) (1991) 635) found a Lie bialgebra structure on the vector space generated by non-trivial free homotopy classes of curves on a surface. When the surface has non-empty boundary, this vector space has a basis of cyclic reduced words in the generators of the fundamental group and their inverses. We give a combinatorial algorithm to compute this Lie bialgebra on this vector space of cyclic words. Using this presentation, we prove a variant of Goldman's result relating the bracket to disjointness of curve representatives when one of the classes is simple. We exhibit some examples we found by programming the algorithm which answer negatively Turaev's question about the characterization of simple curves in terms of the cobracket. Further computations suggest an alternative characterization of simple curves in terms of the bracket of a curve and its inverse. Turaev's question is still open in genus zero.