Dynamics of implicit operations and tameness of pseudovarieties of groups

This work gives a new approach to the construction of implicit operations. By considering ``higher-dimensional' spaces of implicit operations and implicit operators between them, the projection of idempotents back to one-dimensional spaces produces implicit operations with interesting properties. Besides providing a wealth of examples of implicit operations which can be obtained by these means, it is shown how they can be used to deduce from results of Ribes and Zalesski, Margolis, Sapir and Weil, and Steinberg that the pseudovariety of -groups is tame. More generally, for a recursively enumerable extension closed pseudovariety of groups , if it can be decided whether a finitely generated subgroup of the free group with the pro- topology is dense, then is tame.

     

Łukasiewicz Tribes are Absolutely Sequentially Closed Bold Algebras

We show that each sequentially continuous (with respect to the pointwise convergence) normed measure on a bold algebra of fuzzy sets (Archimedean MV-algebra) can be uniquely extended to a sequentially continuous measure on the generated ukasiewicz tribe and, in a natural way, the extension is maximal. We prove that for normed measures on ukasiewicz tribes monotone (sequential) continuity implies sequential continuity, hence the assumption of sequential continuity is not restrictive. This yields a characterization of the ukasiewicz tribes as bold algebras absolutely sequentially closed with respect to the extension of probabilities. The result generalizes the relationship between fields of sets and the generated -fields discovered by J. Novák. We introduce the category of bold algebras and sequentially continuous homomorphisms and prove that ukasiewicz tribes form an epireflective subcategory. The restriction to fields of sets yields the epireflective subcategory of -fields of sets.     

Simple bounds for closed queueing networks

Consider a closed Jackson type network in which each queue has a single exponential server. Assume that N customers are moving among k queues. We establish simple closed form bounds on the network throughput (both lower and upper), which are sharper than those that are currently available. Numerical evaluation indicates that the improvements are significant.     

无限维空间中的实零点定理

在本文中，我们建立了无限维空间中的实零点定理，同时从仿射空间的拓扑结构和域的序结构两个方面，分别刻划了适合无限维实零点定理的序域．此外，本文有例子表明，对任意的基数α，确实存在适合α维实零点定理的序域．     

Non-stationary waiting times in a closed exponential tandem queue

A closed exponential tandem queue in which every customer has to be served by two servers is considered. Given the numbers of customers lined up at each of the two servers, we derive the probability distributions of the waiting time of any customer until his second service is completed, and of the total busy time of the system.     

Liénard系统的同宿轨族与闭轨族

本文讨论Lienard系统解的一些定性性质，得到了存在同宿轨族、闭轨族、双曲扇形和椭圆扇形、正负半轨有界及其与等倾线相交的充要条件或充分条件．     

Can a Circulating Light Beam Produce a Time Machine

In a recent paper, Mallett found a solution of the Einstein equations in which closed timelike curves (CTC’s) are present in the empty space outside an infinitely long cylinder of light moving in circular paths around an axis. Here we show that, for physically realistic energy densities, the CTC’s occur at distances from the axis greater than the radius of the visible universe by an immense factor. We then show that Mallett’s solution has a curvature singularity on the axis, even in the case where the intensity of the light vanishes. Thus it is not the solution one would get by starting with Minkowski space and establishing a cylinder of light.     

Measures on the Splitting Subspaces of an Inner Product Space

Let S be an inner product space and let E(S) (resp. F(S)) be the orthocomplemented poset of all splitting (resp. orthogonally closed) subspaces of S. In this article we study the possible states/charges that E(S) can admit. We first prove that when S is an incomplete inner product space such that dim S/S < , then E(S) admits at least one state with a finite range. This is very much in contrast to states on F(S). We then go on showing that two-valued states can exist on E(S) not only in the case when E(S) consists of the complete/cocomplete subspaces of S. Finally we show that the well known result which states that every regular state on L(H) is necessarily -additive cannot be directly generalized for charges and we conclude by giving a sufficient condition for a regular charge on L(H) to be -additive.     

Ideal Topology on Effect Algebras

The ideals of effect algebras induce a topology on effect algebras. The operations and of effect algebras are continuous with respect to this topology.