The two-dimensional quantum Euclidean algebra

The algebra dual to Woronowicz's deformation of the two-dimensional Euclidean group is constructed. The same algebra is obtained from SU _q (2) via contraction on both the group and algebra levels.     

Homology of proof-nets

This work defines homology groups for proof-structures in multiplicative linear logic (see [Gir1], [Gir2], [Dan]). We will show that these groups characterize proof-nets among arbitrary proof-structures, thus obtaining a new correctness criterion and of course a new polynomial algorithm for testing correctness. This homology also bears information on sequentialization. An unexpected geometrical interpretation of the linear connectives is given in the last section. This paper exclusively focuses onabstract proof-structures, i.e. paired-graphs. The relation with actual proofs is investigated in [Gir1], [Gir2], [Dan], [Ret] and [Tro].     

Properties of holomorphic Wiener functions —skeleton,contraction, and local Taylor expansion

Summary We show that each holomorphic Wiener function has a skeleton which is intrinsic from several viewpoints. In particular, we study the topological aspects of the skeletons by using the local Taylor expansion for holomorphic Wiener functions.Supported in part by the Grant-in-Aid for Science Research 03740120 Min. Education     

Finite-gap Solutions of the Fuchsian Equations

We find a new class of Fuchsian equations, with algebro-geometric solutions associated to a hyperelliptic curve. A method for calculating its arithmetic genus and branching points is suggested. Numerous examples are given.     

The 1-type of a Waldhausen K-theory spectrum

We give a small functorial algebraic model for the 2-stage Postnikov section of the K-theory spectrum of a Waldhausen category and use our presentation to describe the multiplicative structure with respect to biexact functors.     

Approximations of relations by continuous functions

Let X be a Tychonoff space, C(X) be the space of all continuous real-valued functions defined on X and CL(X×R) be the hyperspace of all nonempty closed subsets of X×R. We prove the following result. Let X be a countably paracompact normal space. The following are equivalent: (a) dimX=0; (b) the closure of C(X) in CL(X×R) with the Vietoris topology consists of all F∈CL(X×R) such that F(x)≠∅ for every x∈X and F maps isolated points into singletons; (c) each usco map which maps isolated points into singletons can be approximated by continuous functions in CL(X×R) with the locally finite topology. From the mentioned result we can also obtain the answer to Problem 5.5 in [L'. Holá, R.A. McCoy, Relations approximated by continuous functions, Proc. Amer. Math. Soc. 133 (2005) 2173-2182] and to Question 5.5 in [R.A. McCoy, Comparison of hyperspace and function space topologies, Quad. Mat. 3 (1998) 243-258] in the realm of normal, countably paracompact, strongly zero-dimensional spaces. Generalizations of some results from [L'. Holá, R.A. McCoy, Relations approximated by continuous functions, Proc. Amer. Math. Soc. 133 (2005) 2173-2182] are also given.     

Random orderings of the integers and card shuffling

In this paper we study random orderings of the integers with a certain invariance property. We describe all such orders in a simple way. We define and represent random shuffles of a countable set of labels and then give an interpretation of these orders in terms of a class of generalized riffle shuffles.     

Ce偶-偶同位素低激发态性质的IBM2描述

通过考虑同类核子相干对间的四极相互作用，在IBM2中对Ce偶－偶同位素^128Ce-^138Ce的低激发态能谱和E2跃迁几率及分支比进行了理论分析，计算结果有效地改善了IBM中这些核的γ带能谱的Staggering现象描述，与实验观察到的低激发态结果基本一致。