Algebraic methods in quantum mechanics: from molecules to polymers

We present a brief review of algebraic techniques developed and applied in molecular spectroscopy in the last five years. We also outline perspectives for new applications of the Lie algebraic method in the first decade of the new century. Received 21 November 2001     

Stark's conjecture over complex cubic number fields

Systematic computation of Stark units over nontotally real base fields is carried out for the first time. Since the information provided by Stark's conjecture is significantly less in this situation than the information provided over totally real base fields, new techniques are required. Precomputing Stark units in relative quadratic extensions (where the conjecture is already known to hold) and coupling this information with the Fincke-Pohst algorithm applied to certain quadratic forms leads to a significant reduction in search time for finding Stark units in larger extensions (where the conjecture is still unproven). Stark's conjecture is verified in each case for these Stark units in larger extensions and explicit generating polynomials for abelian extensions over complex cubic base fields, including Hilbert class fields, are obtained from the minimal polynomials of these new Stark units.

     

An algebraic multigrid solver for Navier-Stokes problems

An efficient numerical method is presented for solving the equations of motion for viscous fluids. The equations are discretized on the basis of unstructured finite element meshes and then solved by direct iteration. Advective fluxes are temporarily fixed at each iteration to provide a linearized set of coupled equations which are then also solved by iteration using a fully implicit algebraic multigrid (AMG) scheme. A rapid convergence to machine accuracy is achieved that is almost mesh-independent. The scaling of computing time with mesh size is therefore close to the optimum.     

Exact solutions and geometric phase factor of time-dependent three-generator quantum systems

There exist a number of typical and interesting systems and/or models, which possess three-generator Lie-algebraic structure, in atomic physics, quantum optics, nuclear physics and laser physics. The well-known fact that all simple 3-generator algebras are either isomorphic to the algebra sl (2, C) or to one of its real forms enables us to treat these time-dependent quantum systems in a unified way. By making use of both the Lewis-Riesenfeld invariant theory and the invariant-related unitary transformation formulation, the present paper obtains exact solutions of the time-dependent Schr?dinger equations governing various three-generator Lie-algebraic quantum systems. For some quantum systems whose time-dependent Hamiltonians have no quasialgebraic structures, it is shown that the exact solutions can also be obtained by working in a sub-Hilbert-space corresponding to a particular eigenvalue of the conserved generator (i.e., the time-independent invariant that commutes with the time-dependent Hamiltonian). The topological property of geometric phase factors and its adiabatic limit in time-dependent systems is briefly discussed. Received 6 July 2002 / Received in final form 21 October 2002 Published online 11 February 2003     

Algebraic cycles and topology of real Enriques surfaces

For a real Enriques surface Y we prove that every homology class in H₁(Y (R), Z/2) can be represented by a real algebraic curve if and only if all connected components of Y(R) are orientable. Furthermore, we give a characterization of real Enriques surfaces which are Galois-Maximal and/or Z-Galois-Maximal and we determine the Brauer group of any real Enriques surface Y.     

On intermediate inquisitive and dependence logics: An algebraic study

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete for all intermediate inquisitive and dependence logics. To this end, we define inquisitive and dependence algebras and we investigate their model-theoretic properties. We then focus on finite, core-generated, well-connected inquisitive and dependence algebras: we show they witness the validity of formulas true in inquisitive algebras, and of formulas true in well-connected dependence algebras. Finally, we obtain representation theorems for finite, core-generated, well-connected, inquisitive and dependence algebras and we prove some results connecting team and algebraic semantics.     

Canonical Connections and Algebraic Ricci Solitons of Three-dimensional Lorentzian Lie Groups

In this paper, the author computes canonical connections and KobayashiNomizu connections and their curvature on three-dimensional Lorentzian Lie groups with some product structure. He defines algebraic Ricci solitons associated to canonical connections and Kobayashi-Nomizu connections. He classifies algebraic Ricci solitons associated to canonical connections and Kobayashi-Nomizu connections on three-dimensional Lorentzian Lie groups with some product structure.     

M-矩阵平方根的一类迭代法

矩阵平方根在数学的许多应用中起着重要的作用.本文研究M-矩阵平方根的计算问题,提出一种计算正则M-矩阵平方根的迭代方法.首先将这个问题转化为M-矩阵代数Riccati方程,进而提出一种有效的方法来求解这个特殊的MARE.理论分析表明,该方法在一定条件下是收敛的.数值实验表明该方法是可行的,且优于二项式迭代法.     

Necessary and sufficient conditions for the existence of positive solutions to algebraic Riccati equations with indefinite quadratic term

Necessary and sufficient conditions are established in this paper for the existence of positive- and/or negative-definite solutions to the algebraic Riccati equation with indefinite coefficient. An iterative procedure is also given for computing such a solution.Project supported by the National Science Foundation of China and by the special program of the State Education Commission of China under grant 9033507.     

连续信息基

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。