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.     

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现象描述，与实验观察到的低激发态结果基本一致。     

A topological aspect of Sobolev mappings

Let be a connected open set, . We give a sufficient condition for a mapping , , to have the property that sgn is almost everywhere of one sign. Following the work of Müller, Spector, and Tang [MST], we give an application of our results to the theory of non-linear elasticity. Received: 13 October 2000 / Accepted: 23 January 2001 / Published online: 4 May 2001     

Induction and foundation in the theory of hereditarily finite sets

The paper contains an axiomatic treatment of the intuitionistic theory of hereditarily finite sets, based on an induction axiom-schema and a finite set of single axioms. The main feature of the principle of induction used (due to Givant and Tarski) is that it incorporates Foundation. On the analogy of what is done in Arithmetic, in the axiomatic system selected the transitive closure of the membership relation is taken as a primitive notion, so as to permit an immediate adaptation of the theory to cases of restricted induction (in particular primitive recursive induction). At the end of the paper several different forms of induction, which play an important role in the development of the theory, are compared. An alternative axiomatization of the theory, which is of intrinsic interest, is also discussed.     

On top-down splaying

The splay tree is a self-adjusting binary search tree which has a good amortized performance. This paper studies some properties of top-down splay trees. Different ways to charge for the primitive operations of top-down splaying are discussed. We also give some empirical results concerning the behaviour of different top-down restructuring algorithms.This work was supported by the Academy of Finland.     

Domination of uniformly continuous semigroups

We prove that a bounded operator on a Banach lattice, satisfying a growth condition, is regular. Also, we prove that the generator of a C ₀-semigroup on such a lattice for which such an operator exists is bounded.