Perfect Matchings and Perfect Powers

In the last decade there have been many results about special families of graphs whose number of perfect matchings is given by perfect or near perfect powers (N. Elkies et al., J. Algebraic Combin. 1 (1992), 111–132; B.-Y. Yang, Ph.D. thesis, Department of Mathematics, MIT, Cambridge, MA, 1991; J. Propp, New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999). In this paper we present an approach that allows proving them in a unified way. We use this approach to prove a conjecture of James Propp stating that the number of tilings of the so-called Aztec dungeon regions is a power (or twice a power) of 13. We also prove a conjecture of Matt Blum stating that the number of perfect matchings of a certain family of subgraphs of the square lattice is a power of 3 or twice a power of 3. In addition we obtain multi-parameter generalizations of previously known results, and new multi-parameter exact enumeration results. We obtain in particular a simple combinatorial proof of Bo-Yin Yang's multivariate generalization of fortresses, a result whose previously known proof was quite complicated, amounting to evaluation of the Kasteleyn matrix by explicit row reduction. We also include a new multivariate exact enumeration of Aztec diamonds, in the spirit of Stanley's multivariate version.     

Observability Inequalities by Internal Observation and Their Applications

By means of a Carleman estimate, we obtain several observability inequalities by internal observation for hyperbolic equations with lower-order terms. Also, we apply our observability results to an exact controllability problem and an inverse wave source problem.     

Solvability of F 4 Quantum Integrable Systems

It is shown that the F ₄ rational and trigonometric integrable systems are exactly solvable for arbitrary values of the coupling constants. Their spectra are found explicitly while eigenfunctions are obtained by pure algebraic means. For both systems new variables are introduced in which the Hamiltonian has an algebraic form being also (block)-triangular. These variables are a certain invariants of the F ₄ Weyl group. Both Hamiltonians preserve the same (minimal) flag of spaces of polynomials, which is found explicitly.     

考虑液面波动和液体压缩时一侧受液作用悬臂梁的横振分析

本文分析一侧部分受有液体作用悬臂梁的横向自由振动，同时考虑了液面波动和液体可压缩性对悬臂梁自振特性的影响。利用一组广义三角级数的正交完备性，求得了悬臂梁与液体耦联振动的振型函数和频率方程的精确解析解，最后给出了几个数值算例。     

一类n维非球谐振子势的精确解

严格求解一类n维非球谐振子势的定态薛定谔方程，获得了归一化径向波函数和能谱的 精确解.在此基础上导出径向矩阵元r,L_n｜r^s｜n′ ₄,L′_n>的通项公式. 关键词： n维非球谐振子 精确解 径向矩阵元 通项公式     

玻色-爱因斯坦凝聚体中的超流现象

在玻色－爱因斯坦凝聚（BEC）的超流现象的研究中，人们通常采用平均场近似下求解Gross-Pitaveskii方程的方法，我们采用更严格的准确对角化的方法对弱排斥相互作用下两维旋转N－Boson体系的凝聚状态进行了研究，研究表明，弱相互作用下的基态并不是人们通常认为的单一凝聚态，而是一个碎裂凝聚态，通过碎裂态能谱与平均场方法给出的能谱之间的比较以及条件几率分布函数的计算，我们指出这种碎裂凝聚态有着内在的不稳定性，很容易破缺到一个单一凝聚状态；计算给出的条件几率分布可以用来揭示破缺石的状态，其分布图案与平均场近似下得到的涡旋图形相类似，我们进一步注意到过去研究工作主要集中在弱相互作用极限下和强相互作用Thomas-Fermi近似极限下这两种极端情况，为考察两种极限间的中间过渡区域，我们研究了中等相互作用强度下体系的基态性质。     

Backlund Transformation and Exact Solutions for a New Generalized Zakharov-Kuzentsov Equation with Nonlinear Terms of Any Order

In this paper, with the help of symbolic computation, a new Backlund transformation (BT) for a newgeneralized Zakharov-Kuznetsov equation with nonlinear term of any order, ut+aupux +bu2pux +γuxy +δuxxx +ρuxyy=0, is obtained by using the homogeneous balance method. Based on the BT, some exact solutions are presented.     

Recursive quadratic programming algorithm that uses an exact augmented Lagrangian function

An algorithm for nonlinear programming problems with equality constraints is presented which is globally and superlinearly convergent. The algorithm employs a recursive quadratic programming scheme to obtain a search direction and uses a differentiable exact augmented Lagrangian as line search function to determine the steplength along this direction. It incorporates an automatic adjustment rule for the selection of the penalty parameter and avoids the need to evaluate second-order derivatives of the problem functions. Some numerical results are reported.     

Some test statistics for the structural coefficients of the multivariate linear functional relationship model

Summary For the testing problem concerning the coefficients of the multivariate linear functional relationship model, the distribution of a statistic previously proposed by A. P. Basu depends on the unknown covariance matrixV of errors, so limiting its applicability. This article proposes new test statistics with sampling distributions which are independent of the unknown parameters for the cases whereV is either unknown or known only up to a proportionality factor. The exact distributions of the test statistics are also discussed.     

非均匀Reissner板弯曲的精确元法

本文在阶梯折算法和精确解析法的基础上,提出构造有限元的新方法——精确元法.该方法不用变分原理,可适用于任意变系数正定和非正定偏微分方程.利用该方法,得到Reissuer板弯曲的一个非协调单元,它具有十五个自由度.由于节点位移参数仅含有挠度和转角,因此处理任意边界条件非常容易.文中给出证明,位移和内力均收敛于精确解.由精确元法所得到的单元不仅能用于厚板,也可用于薄板.文末给出四个算例.算例表明,利用本文的方法,可获得满意的结果,并有较高的数值精度.