Algorithms for finding connected separators between antipodal points

A set (or a collection of sets) contained in the Euclidean space Rm is symmetric if it is invariant under the antipodal map. Given a symmetric unicoherent polyhedron X (like an n-dimensional cube or a sphere) and an odd real function f defined on vertices of a certain symmetric triangulation of X, we algorithmically construct a connected symmetric separator of X by choosing a subcollection of the triangulation. Each element of the subcollection contains the vertices v and u such that f(v)f(u)?0.     

Separable subgroups of mapping class groups

We investigate separability questions for the mapping class group of a surface. While this group is not subgroup separable in general, we prove a large family of interesting subgroups are separable. This includes many classically studied subgroups such as solvable subgroups, Heegaard and Handlebody groups, geometric subgroups, and all the terms in the Johnson filtration.     

On the null-controllability of the heat equation in unbounded domains

We make two remarks about the null-controllability of the heat equation with Dirichlet condition in unbounded domains. Firstly, we give a geometric necessary condition (for interior null-controllability in the Euclidean setting) which implies that one cannot go infinitely far away from the control region without tending to the boundary (if any), but also applies when the distance to the control region is bounded. The proof builds on heat kernel estimates. Secondly, we describe a class of null-controllable heat equations on unbounded product domains. Elementary examples include an infinite strip in the plane controlled from one boundary and an infinite rod controlled from an internal infinite rod. The proof combines earlier results on compact manifolds with a new lemma saying that the null-controllability of an abstract control system and its null-controllability cost are not changed by taking its tensor product with a system generated by a non-positive self-adjoint operator.     

FI代数的滤子

研究FI代数的滤子理论，建立F滤子、P滤子、Q滤子、C滤子之间的联系．     

The Hopf Property for Subgroups of Hyperbolic Groups

A group is said to be Hopfian if every surjective endomorphism of the group is injective. We show that finitely generated subgroups of torsion-free hyperbolic groups are Hopfian. Our proof generalizes a theorem of Sela (Topology 35 (2) 1999, 301–321).     

N identical particles under quantum confinement: a many-body dimensional perturbation theory approach

Systems that involve N identical interacting particles under quantum confinement appear throughout many areas of physics, including chemical, condensed matter, and atomic physics. In this paper, we present the methods of dimensional perturbation theory, a powerful set of tools that uses symmetry to yield simple results for studying such many-body systems. We present a detailed discussion of the dimensional continuation of the N-particle Schrödinger equation, the spatial dimension D→∞ equilibrium (D⁰) structure, and the normal-mode (D⁻¹) structure. We use the FG matrix method to derive general, analytical expressions for the many-body normal-mode vibrational frequencies, and we give specific analytical results for three confined N-body quantum systems: the N-electron atom, N-electron quantum dot, and N-atom inhomogeneous Bose-Einstein condensate with a repulsive hard-core potential.     

F-H实验仪与光栅光谱仪连用观测253.7nm谱线

通过F-H实验仪和光栅光谱仪的连用，可实时观测汞原子从6s6s1So态激发到6s6sSP1态，退激时，辐射出能量为4．9eV的光量子，其波长为253．7nm．     

Some 3-manifolds with 2-generated fundamental group

We describe a family of graph manifolds that have 2-generated fundamental group but do not admit a Heegaard splitting of genus 2. They are closely related to the examples provided by Boileau and Zieschang if these are considered as (non-proper) graph manifolds.Received: 14 August 2002     

Orbital formal normal forms for general Bogdanov-Takens singularity

We solve completely the problem of classification of germs of complex planar vector fields with nilpotent singularity with respect to formal orbital equivalence.     

Asymptotic properties of computationally efficient alternative estimators for a class of multivariate normal models

Parameters of Gaussian multivariate models are often estimated using the maximum likelihood approach. In spite of its merits, this methodology is not practical when the sample size is very large, as, for example, in the case of massive georeferenced data sets. In this paper, we study the asymptotic properties of the estimators that minimize three alternatives to the likelihood function, designed to increase the computational efficiency. This is achieved by applying the information sandwich technique to expansions of the pseudo-likelihood functions as quadratic forms of independent normal random variables. Theoretical calculations are given for a first-order autoregressive time series and then extended to a two-dimensional autoregressive process on a lattice. We compare the efficiency of the three estimators to that of the maximum likelihood estimator as well as among themselves, using numerical calculations of the theoretical results and simulations.