The weak pigeonhole principle for function classes in S 12

It is well known that S ¹₂ cannot prove the injective weak pigeonhole principle for polynomial time functions unless RSA is insecure. In this note we investigate the provability of the surjective (dual) weak pigeonhole principle in S ¹₂ for provably weaker function classes. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Allocating unfunded liability in pension valuation under uncertainty

This paper studied the cost allocation for the unfunded liability in a defined benefit pension scheme incorporating the stochastic phenomenon of its returns. In the recent literature represented by Cairns and Parker [Insurance: Mathematics and Economics 21 (1997) 43], Haberman [Insurance: Mathematics and Economics 11 (1992) 179; Insurance: Mathematics and Economics 13 (1993) 45; Insurance: Mathematics and Economics 14 (1994) 219; Insurance: Mathematics and Economics 14 (1997) 127], Owadally and Haberman [North American Actuarial Journal 3 (1999) 105], the fund level is modeled based on the plan dynamics and the returns are generated through several stochastic processes to reflect the current realistic economic perspective to see how the contribution changed as the cost allocation period increased. In this study, we generalize the previous constant value assumption in cost amortization by modeling the returns and valuation rates simultaneously. Taylor series expansion is employed to approximate the unconditional and conditional moments of the plan contribution and fund level. Hence the stability of the plan contribution and the fund size under different allocation periods could be estimated, which provide valuable information adding to the previous works.     

Structure of minimizers in linear-quadratic Bolza problems of optimal control

In this paper, we study intersections of extremals in a linear-quadratic Bolza problem of optimal control. The structure of the inter-sections is described. We show that this structure implies the semipositive definiteness of the quadratic cost functional. In addition, we derive necessary and sufficient conditions for the existence of minimizers.     

Li2、LiH的激发态和Li2H的基态结构与势能函数

使用“对称性匹配簇-组态相互作用”方法,对Li2分子三重态的第一激发态、LiH分子的基态、单重态的第一和第二激发态的几何构型与谐振频率进行了优化计算.利用“群操作求和”方法分别对这4个态进行单点能扫描计算,并拟合出了相应各态的Murrell-Sorbie势能函数.使用多种方法对Li2H分子的基态结构进行优化,并用优选出的密度泛函(B3P86)方法对该分子进行了进一步的频率计算.结果发现Li2H分子的基态稳态结构为C2v构型,在此基础上用多体项展式理论导出了它的解析势能函数,其等值势能图准确再现了Li2H分子的结构特征和离解能.首次报导了该分子对称伸缩振动等值势能图中存在的两个对称鞍点,对应于反应LiH Li→Li2H,活化能大约为18.7×4.184 KJ/mol.     

On a Polynomial Fractional Formulation for Independence Number of a Graph

In this paper we characterize the local maxima of a continuous global optimization formulation for finding the independence number of a graph. Classical Karush-Kuhn-Tucker conditions and simple combinatorial arguments are found sufficient to deduce several interesting properties of the local and global maxima. These properties can be utilized in developing new approaches to the maximum independent set problem.     

On the Weak Invariance Principle for Stationary Sequences under Projective Criteria

In this paper, we study the central limit theorem and its weak invariance principle for sums of a stationary sequence of random variables, via a martingale decomposition. Our conditions involve the conditional expectation of sums of random variables with respect to the distant past. The results contribute to the clarification of the central limit question for stationary sequences. Magda Peligrad is supported in part by a Charles Phelps Taft research support grant at the Univeristy of Cincinnati and the NSA grant H98230-05-1-0066.     

Rb（5PJ）＋Rb（5PJ）→Rb（5JS）＋Rb（nl=5D，7S）碰撞能量合并

研究了Rb(5PJ)+Rb(5PJ)→Rb(nlJ')+Rb(5S)碰撞能量合并过程,利用单模半导体激光器分别共振激发Rb原子的5P1/2或5P3/2态,利用另一与泵浦激光束反向平行的单模激光束作为吸收线探测激发态原子密度及其空间分布,吸收线分别调至5P1/2→5D3/2和5P3/2→7S1/2跃迁.由激发态原子密度和谱线荧光比得到碰撞能量合并过程的截面,对5P3/2激发,碰撞转移得到5D5/2,5D3/2和7S1/2的截面分别是(1.32士0.59)×10-14,(1.18士0.53)×10-14和(3.21士1.44)×10-15cm2;对5P1/2激发,碰撞转移到5D5/2和5D3/2的截面分别是(6.57士2.96)×10-15和(5.90士2.66)×10-15cm2.与其他的实验结果进行了比较.     

He-HCl体系各向异性势及分波散射截面的理论研究

首先用BFW势函数形式拟合了在CCSD(T)/aug-cc-pVQZ理论水平下计算的He-HCl相互作用能数据，获得了He原子与HCl分子相互作用的各向异性势；然后采用CC近似方法计算了He-HCl碰撞体系的微分散射截面和分波散射截面，并总结了分波散射截面的变化规律.结果表明，拟合势不但表达形式简洁，而且较好地描述了He-HCl系统相互作用的各向异性特征；利用碰撞体系分子间势的量子化学从头计算结果，可解决势能参数难以确定的问题.对进一步研究原子与分子碰撞机理有一定参考价值. 关键词： 各向异性势 势能参数 密耦近似 分波散射截面     

关于Ramsey数下界的部分结果

本文得到 Ramsey数下界的一个计算公式 :R( l,s+ t-2 )≥ R( l,s) + R( l,t) -1 ,(式中 l、s、t≥ 3) .用此公式算得的 Ramsey数的下界比用其它公式算得的下界好 .     

柱形分布的电荷产生的电势

将无限长线电荷看成二维平面上的一个“源”,利用电势叠加原理计算了无限长柱形均匀分布的电荷产生的电势.这些柱体的截面电荷分布包括可解析表示和不可求解表示两种,后者可以通过数值计算给出结果.因此这种方法实际上可以计算任意截面柱形电荷分布的电势.通过计算,展示了各种电荷分布所产生电场的特性和共同特征.