Ultra <Emphasis Type="Italic">LI</Emphasis>-ideals in lattice implication algebras and <Emphasis Type="Italic">MTL</Emphasis>-algebras

A mistake concerning the ultra LI-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an LI-ideal to be an ultra LI-ideal are given. Moreover, the notion of an LI-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) LI-ideal and an ILI-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper LI-ideal and Boolean LI-ideal, (2) prime proper LI-ideal and ILI-ideal, (3) proper obstinate LI-ideal, (4) ultra LI-ideal. This work was supported by the Zhejiang Provincial Natural Science Foundation of China (Grant No. Y605389) and K. C. Wong Magna Fund in Ningbo University.     

Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

高能e+e－湮没强子多重数的质量关系

利用一个描述强子质量谱成功的夸克模型确定出得到的强子多重数普适质量关系〈n〉=aexp(–bm)中的参数b,发现对于介子、重子是一个普适的常数.利用这个质量公式给出计算各种粒子多重数的表达式,进而以高能e⁺e^－湮没为例计算出各种粒子多重数与实验以及其他模型做了比较,表明这个没有任何假定的质量关系同样能够解释实验.     

关于广义四元数代数上矩阵的迹的一个等式

众所周知,相似矩阵的迹相等对于非交换代数和环上的矩阵不一定成立,有趣的问题是给定一个条件使得相似矩阵的迹相等对于非交换代数或非交换环上的矩阵成立。本文对于特征不是2的任意域F上定义的广义四元数代数上的两个矩阵A和B,给出如果A和B相似并且它们的主对角线上的元素在F中,那么它们的迹相等。     

Cyclic cohomology and algebra extensions

We construct a spectral sequence to study cyclic cohomology for an extension A = R/I of algebras. When R is a free algebra we describe the cyclic cohomology of A in terms of traces defined on R or powers of I. Explicit cyclic cocycles representing the cyclic cohomology class belonging to the trace are constructed as analogues of Chern character and Chern-Simons forms.Dedicated to Alexander Grothendieck     

Density Correlations in the Two-Dimensional Coulomb Gas

We consider a two-dimensional Coulomb gas of positive and negative pointlike unit charges interacting via a logarithmic potential. The density (rather than the charge) correlation functions are studied. In the bulk, the form-factor theory of an equivalent sine-Gordon model is used to determine the density correlation length. At the surface of a rectilinear plain wall, the universality of the asymptotic behavior of the density correlations is suggested. A scaling analysis implies a local form of the compressibility sum rule near a hard wall. A symmetry of the Coulomb system with respect to the Möbius conformal transformation, which induces a gravitational source acting on the particle density, is established. Among the consequences, a universal term of the finite-size expansion of the grand potential is derived exactly for a disk geometry of the confining domain.     

两个非线性方程的准确解

借助于计算机代数系统Ｍａｔｈｅｍａｔｉｃａ利用直接代数方法获得了两个有数学物理意义的非线性耗散－色散方程的准确解，这种方法也适用于高维非线性方程。