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].     

The steady state growth rate of a recrystallization front in regions of heterogeneous dislocation density

The paper investigates whether a change from a homogeneous to an inhomogeneous dislocation distribution, assumed to be caused by a slight additional deformation, can lead to an increase of the recrystallization temperature of a deformed metal. In this case, the higher temperature would indicate a more stable deformation structure despite the increase of stored energy. The recrystallization temperature is related to the growth rate. Hence, the steady state velocity of a recrystallization front moving either parallel or vertically to the stripes of a simplified two-dimensional heterogeneous dislocation distribution of parallel sections of higher and lower dislocation densities is calculated. The results show that if a front growths through the high and low density sections in series an overall slower rate despite higher mean dislocation density is, indeed, possible. However, growing in the parallel arrangement always leads to a higher growth rate compared with the homogeneous case of slightly less stored energy. Since in a real structure the faster growth is likely to succeed, the recrystallization temperature observed will be lowered with additional deformation in accordance with experimental experience.     

Polynomial decay rate for the dissipative wave equation

Using Fourier integral operators with special amplitude functions, we analyze the stabilization of the wave equation in a three-dimensional bounded domain on which exists a trapped ray bouncing up and down infinitely between two parallel parts of the boundary.     

Integral representations of harmonic functions in half spaces

In this paper, using a modified Poisson kernel in an upper half-space, we prove that a harmonic function u(z) in a upper half space with its positive part u⁺(x)=max{u(x),0} satisfying a slowly growing condition can be represented by its integral in the boundary of the upper half space, the integral representation is unique up to the addition of a harmonic polynomial, vanishing in the boundary of the upper half space and that its negative part u⁻(x)=max{−u(x),0} can be dominated by a similar slowly growing condition, this improves some classical result about harmonic functions in the upper half space.     

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.     

Steady state analysis of an M/G/1 queue with two phase service and Bernoulli vacation schedule under multiple vacation policy

This paper examines the steady state behaviour of a batch arrival queue with two phases of heterogeneous service along and Bernoulli schedule vacation under multiple vacation policy, where after two successive phases service or first vacation the server may go for further vacations until it finds a new batch of customer in the system. We carry out an extensive stationary analysis of the system, including existence of stationary regime, queue size distribution of idle period process, embedded Markov chain steady state distribution of stationary queue size, busy period distribution along with some system characteristics.     

Interpolation of Bilinear Operators Between Quasi-Banach Spaces

We study interpolation, generated by an abstract method of means, of bilinear operators between quasi-Banach spaces. It is shown that under suitable conditions on the type of these spaces and the boundedness of the classical convolution operator between the corresponding quasi-Banach sequence spaces, bilinear interpolation is possible. Applications to the classical real method spaces, Calderón-Lozanovsky spaces, and Lorentz-Zygmund spaces are presented. The author is supported by the National Science Foundation under grant DMS 0099881. The author is supported by KBN Grant 1 P03A 013 26.