On Free MV-Algebras

In the present paper we show that free MV-algebras can be constructed by applying free abelian lattice ordered groups.     

Abelian <Emphasis Type="Italic">ℓ</Emphasis>-Groups with Strong Unit and Perfect MV-Algebras

We investigate the class of abelian ℓ-groups with strong unit corresponding to perfect MV-algebras via the Γ functor, showing that this is a universal subclass of the class of all abelian ℓ-groups with strong unit and describing the formulas that axiomatize it. We further describe results for classes of abelian ℓ-groups with strong unit corresponding to local MV-algebras with finite rank.     

Categories of semigroups in quantum computational structures

We investigate a categorial duality between quasi MV-algebras (a variety of algebras arising from quantum computation and tightly connected with fuzzy logic) and a reflective subcategory of l-groups with strong units.      

Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups

In spite of the well-know fact that the system of ?-groups with strong unit (unital ?-groups) does not form a variety, there is a categorical connection between the category of unital ?-groups and the variety of generalized MV-algebras which enables us to naturally export equational machinery and terminology like “variety” from the latter category to the former.

Using this categorical equivalence, we study varieties, or equationally defined classes, and top varieties, varieties above the normal valued variety, of both structures. We generalize Chang's Completeness Theorem for generalized MV-algebras, and formulate some open questions for both structures.     

不变测度及其计算

用统计方法研究混沌动力系统时需要藉助不变测度理论．本文通过引进Ｆｒｏｂｅｎｉｕｓ－Ｐｅｒｏｎ算子，概述了一类绝对连续不变测度的存在条件与计算现状     

Parallel Computation of Invariant Measures

Let S:[0,1][0,1] be a nonsingular transformation and let P:L ¹(0,1)L ¹(0,1) be the corresponding Frobenius–Perron operator. In this paper we propose a parallel algorithm for computing a fixed density of P, using Ulam's method and a modified Monte Carlo approach. Numerical results are also presented.     

平移不变的随机串测度

利用围道估计的方法，刻划在相变点处的平移不变随机串测度，证明了：对二维以上情况，当口充分大时，在临界点处，平移不变随机串测度有且只有两个极点，也即任一平移不变随机串测度都是这两个极点的凸组合．     

Invariant Measures for Set-Valued Dynamical Systems

A continuous map on a compact metric space, regarded as a dynamical system by iteration, admits invariant measures. For a closed relation on such a space, or, equivalently, an upper semicontinuous set-valued map, there are several concepts which extend this idea of invariance for a measure. We prove that four such are equivalent. In particular, such relation invariant measures arise as projections from shift invariant measures on the space of sample paths. There is a similarly close relationship between the ideas of chain recurrence for the set-valued system and for the shift on the sample path space.

     

Constructing Invariant Fairness Measures for Surfaces

The paper proposes a rational method to derive fairness measures for surfaces. It works in cases where isophotes, reflection lines, planar intersection curves, or other curves are used to judge the fairness of the surface. The surface fairness measure is derived by demanding that all the given curves should be fair with respect to an appropriate curve fairness measure. The method is applied to the field of ship hull design where the curves are plane intersections. The method is extended to the case where one considers, not the fairness of one curve, but the fairness of a one parameter family of curves. Six basic third order invariants by which the fairing measures can be expressed are defined. Furthermore, the geometry of a plane intersection curve is studied, and the variation of the total, the normal, and the geodesic curvature and the geodesic torsion is determined.     

Random Probability Measures with Given Mean and Variance

This article describes several natural methods of constructing random probability measures with prescribed mean and variance, and focuses mainly on a technique which constructs a sequence of simple (purely discrete, finite number of atoms) distributions with the prescribed mean and with variances which increase to the desired variance. Basic properties of the construction are established, including conditions guaranteeing full support of the generated measures, and conditions guaranteeing that the final measure is discrete. Finally, applications of the construction method to optimization problems such as Plackett's Problem are mentioned, and to experimental determination of average-optimal solutions of certain control problems.     

Regular Densities of Invariant Measures in Hilbert Spaces

We consider a nonlinear differential stochastical equation in a Hilbert space, that is, a Lipschitzian perturbation of a linear equation. We prove that, under suitable hypotheses, both equations have invariant measures μ and μ₀ respectively and that μ is absolutely continuous with respect to μ₀. We also give several regularity results on the density dμ/dμ₀.     

Higher Degrees of Distributivity in MV-Algebras

In this paper we deal with the (, )-distributivity of an MV-algebra , where and are nonzero cardinals. It is proved that if is singular and (, 2)-distributive, then it is (, )-distributive. We show that if is complete then it can be represented as a direct product of MV-algebras which are homogeneous with respect to higher degrees of distributivity.     

On Large Deviation Convergence of Invariant Measures

We present new results on the connection between large deviation principles for trajectories of stochastic processes and the associated invariant measures. Applications to diffusion and queuing processes are provided.     

Invariant Sobolev Calculus on the Free Loop Space

We give integration by parts formulas over the free loop space of a compact riemannian manifold, after discussing the tangent space. We give a Sobolev Calculus based upon the H-derivative, after introducing some connections. We define an invariant by rotation Ornstein–Ühlenbeck operator over it. Some examples of smooth functionals are studied.     

Semiring and Semimodule Issues in MV-Algebras

It is known that an atomic right LCM domain need not be a UFD but is a projectivity-UFD if it is also modular. This paper studies a slightly weaker and easier condition, the RAMP (acronym for the property in the title) , which also ensures that an atomic right LCM domain will be a projectivity-UFD. Among other things it is shown that in an atomic LCM domain, modularity is equivalent to the pair RAMP and LAMP (the left-right analog of RAMP). This result is then used to show that an atomic LCM domain with conjugation is modular. An example is given of an atomic LCM domain that has neither the RAMP nor the LAMP. All rings are not-necessarily commutative integral domains. Recall that an atomic ring is one in which every nonzero nonunit is a product of atoms (i.e. irreducibles) . A ring R is a right LCM domain if for any two elements a and b in R, aR ∩ bR is a principal right ideal. A right LCM domain need not be a left LCM domain [3] . If a ring has both properties it is called an LCM domain. It Is known (see Example 2 below) that, unlike the commutative case, an atomic right LCM domain need not be a UFD (unique factorization domain). In [1] it is shown that if the ring is also modular then it is a projectivity-UFD (definition of the latter recalled below)     

On Invariant Measures for Diffusions on Banach Spaces

We consider a Banach space valued diffusion process corresponding to a stochastic evolution equation with strongly nonlinear drift. Sufficient conditions are given for the existence of a unique martingale solution and existence of an invariant measure. The resulting diffusion process is shown to be strongly Feller and irreducible. These properties yield uniqueness of invariant measure and ergodicity of the process. We also show that the invariant measure is equivalent to the invariant measure of the diffusion without drift. The main tool to show these results is the Girsanov Transformation.     

Cyclic Elements in MV-Algebras and Post Algebras

In this paper we characterize the MV-algebras containing as subalgebras Post algebras of finitely many orders. For this we study cyclic elements in MV-algebras which are the generators of the fundamental chain of the Post algebras. Mathematics Subject Classification: 03G20, 03G25, 06D25, 06D30, 06F15, 06F35.     

Pavelka-style completeness in expansions of Łukasiewicz logic

An algebraic setting for the validity of Pavelka style completeness for some natural expansions of Łukasiewicz logic by new connectives and rational constants is given. This algebraic approach is based on the fact that the standard MV-algebra on the real segment [0, 1] is an injective MV-algebra. In particular the logics associated with MV-algebras with product and with divisible MV-algebras are considered. The author express his gratitude to Roberto Cignoli, for his advice during the preparation of this paper.     

带小扰动的随机发展方程的不变测度

本文考虑带小扰动的随机发展方程,证明如何建立此方程的耦合解.作为应用,我们证明解的Feller连续性和不变测度的存在唯一性.还进一步建立了当扰动趋于零时,关于这族不变测度的大偏差原理.