Strengthened semidefinite programming bounds for codes

We give a hierarchy of semidefinite upper bounds for the maximum size A(n,d) of a binary code of word length n and minimum distance at least d. At any fixed stage in the hierarchy, the bound can be computed (to an arbitrary precision) in time polynomial in n; this is based on a result of de Klerk et al. (Math Program, 2006) about the regular ∗-representation for matrix ∗-algebras. The Delsarte bound for A(n,d) is the first bound in the hierarchy, and the new bound of Schrijver (IEEE Trans. Inform. Theory 51:2859–2866, 2005) is located between the first and second bounds in the hierarchy. While computing the second bound involves a semidefinite program with O(n ⁷) variables and thus seems out of reach for interesting values of n, Schrijver’s bound can be computed via a semidefinite program of size O(n ³), a result which uses the explicit block-diagonalization of the Terwilliger algebra. We propose two strengthenings of Schrijver’s bound with the same computational complexity. Supported by the Netherlands Organisation for Scientific Research grant NWO 639.032.203.     

半连续格的刻画和映射

本文讨论了半连续格的一些性质,在半连续格中引入半Scott开集族,用半Scott开集族来刻画半连续格,同时定义了半连续格之间的半连续映射,得到闭包算子的像仍是半连续格的条件.最后,研究了半连续格上的半连续映射的全体不动点之集的性质。     

六角系统的边面点面全色数

本文得到了六角系统的边面和点面金色数．     

Zeroth-order phase transitions and Zipf law quantization

From the standpoint of thermodynamic averaging of fission microprocesses, we investigate the origin of radioactive release in an NPP after an accident or after resource depletion. The genesis of the NPP release is interpreted as a new thermodynamic phenomenon, a zeroth-order phase transition. This problem setting results in a problem in probabilistic number theory. We prove the corresponding theorem leading to quantization of the Zipf law for the frequency of a zeroth-order phase transition with different values of the jump of the Gibbs thermodynamic potential. We introduce the notion of hole dimension. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 150, No. 1, pp. 118–142, January, 2007.     

大整数因子分解新算法及对RSA密码制的解密

对一大类大整数的因子分解构造算法WZH,可在O(L(lnm)2)+O(lnm)3(L相似文献   

模糊数空间上下确界的度量刻划

在模糊数空间上定义了一种新的度量，证明用这种度量可以对序有界的模糊序列的上、下确界进行刻划。     

复Finsler流形上的Koppelman-Leray-Norguet公式

利用不变积分核(Berndtsson核),复Finsler度量和联系于Chern-Finsler联络的非线性联络,研究复Finsler流形上具有逐块光滑C~((1))边界的有界域上(p,q)型微分形式的积分表示,得到了(p,q)型微分形式的Koppelman-Leray-Norguet公式和■-方程的解．作为应用,利用复Finsler度量和联系于Chern-Finsler联络的非线性联络,给出了Stein流形上具有逐块光滑C~((1))边界的有界域上(p,q)型微分形式的Koppelman- Leray-Norguet公式以及■-方程的解,并且得到了Stein流形上实非退化强拟凸多面体上(p,q)型微分形式的积分表示式和■-方程的解．     

The double exponential map and covariant derivation

We study the double exponential map which is a composition of a special form of two exponential maps on a manifold with connection. We relate this map and the composition of covariant derivations as well as the composition of pseudodifferential operators on these manifolds.     

行列式三种定义方法的等价性

在行列式普通定义的基础上又介绍了归纳定义和公理法定义两种方法，并证明了它们的等价性．     

最大度为6的极大外平面图的完备色数

证明了最大度为６的极大外平面图的完备色数为７。