The Auslander conjecture for NIL-affine crystallographic groups

Let N be a simply connected, connected real nilpotent Lie group of finite dimension n. We study subgroups in Aff(N)=NAut(N) acting properly discontinuously and cocompactly on N. This situation is a natural generalization of the so-called affine crystallographic groups. We prove that for all dimensions 1n5 the generalized Auslander conjecture holds, i.e., that such subgroups are virtually polycyclic.     

Semi-Classical Analysis of a Dirac Equation Without Adiabatic Decoupling

We study adiabatic decoupling for Dirac equation with some scaling which yields that the mass appears with a coefficient where is the semi-classical parameter and > 0. Therefore, the system presents an avoided crossing. The scale = 1/2 is critical: adiabatic decoupling holds for (0,1/2) while for 1/2, there is energy transfer at leading order between the two modes. We describe this transfer in terms of two-scale Wigner measures by means of Landau-Zener formula which takes into account the change of polarization of the measures after the crossing.     

On a lattice point problem of L. Moser II

In this paper we complete the proof of the following conjecture of L. Moser: Any convex region of arean can be placed on the plane so as to cover n+f(n) lattice points, wheref(n) .     

A weighted Poincaré inequality and removable singularities for harmonic maps

We give a sufficient condition on a closed subset R ⁿ for the weighted Poincaré inequality (1.5) below to be valid. As an application, we prove that, for any 2p<n and any such closed subset R ⁿ , if uC ¹( , N) W ^1,p (, N) is a stationary p-harmonic map such that |Du| ^p (x) dx is sufficiently small, then uC ¹(, N). This extends previously known removal singularity theorems for p-harmonic maps. Mathematics Subject Classification (2000):58E20, 58J05, 35J60This revised version was published online in September 2003 with a corrected date of receipt of the article.     

Volume of Hyperbolic 3-Manifolds with Iterated Pseudo-Anosov Amalgamations (Dedicated to Professor Mitsuyoshi Kato on his sixtieth birthday)

Let : be a pseudo-Anosov homeomorphism. We will study an asymptotic behaviour of the volume of closed hyperbolic 3-manifolds N _n obtained from certain 3-manifolds M, M by attaching their boundaries by the n-th iteration ⁿ of .     

A note on characterizations of Abelian varieties by topological invariants

In this note, for any given n3 and 2mn (when m=n, we assume n divides 3 and n6), we construct examples of smooth projective varieties X of dimension n with p_g(X)=1, ₁(X)²ⁿ and the Kodaira dimension (X)=m.Mathematics Subject Classification (2000):14H45, 14H99     

Mean value iterations for nonlinear elliptic Cauchy problems

Summary. We investigate the Cauchy problem for a class of nonlinear elliptic operators with C –coefficients at a regular set ⁿ . The Cauchy data are given at a manifold and our goal is to reconstruct the trace of the H ¹ () solution of a nonlinear elliptic equation at /. We propose two iterative methods based on the segmenting Mann iteration applied to fixed point equations, which are closely related to the original problem. The first approach consists in obtaining a corresponding linear Cauchy problem and analyzing a linear fixed point equation; a convergence proof is given and convergence rates are obtained. On the second approach a nonlinear fixed point equation is considered and a fully nonlinear iterative method is investigated; some preliminary convergence results are proven and a numerical analysis is provided. On leave from Department of Mathematics, Federal University of St.,Catarina, P.O. Box 476, 88010-970 Florianópolis, BrazilSupported by FWF project F–1308 within Spezialforschungsbereich 13     

A commutativity criterion for certain algebras of invariant differential operators on nilpotent homogeneous spaces

Let G be a connected, simply connected real nilpotent Lie group with Lie algebra , H a connected closed subgroup of G with Lie algebra and f a linear form on satisfying f([, ]) = {0} Let _f be the unitary character of H with differential at the origin. Let _f be the unitary representation of G induced from the character _f of H. We consider the algebra (, , f) of differential operators invariant under the action of G on the bundle with basis G/H associated to these data. We show that (, , f) is commutative if and only if _f is of finite multiplicities. This proves a conjecture of Corwin-Greenleaf and Duflo. Mathematics Subject Classification (1991):43A80, 43A85, 22E25, 22E27, 22E30UMR n 7539 du CNRS, Analyse, Géométrie et Applications.UMR n 7586 du CNRS, Théorie des Groupes, Représentations, Applications.     

Joint convergence of conditional expectations

Let P_n, nIN{0}, be probability measures on a-fieldA; f_n, nIN{0}, be a family of uniformly boundedA-measurable functions andA _n, nIN, be a sequence of sub--fields ofA, increasing or decreasing to the-fieldA _o. It is shown in this paper that the conditional expectations converge in P_o-measure to with k, n, m , if P_n|A, nIN, converges uniformly to P_n|A and f_n, nIN, converges in P_o-measure to f_o.     

Efficient Regular Polygon Dissections

We study the minimum number g(m,n) (respectively, p(m,n)) of pieces needed to dissect a regular m-gon into a regular n-gon of the same area using glass-cuts (respectively, polygonal cuts). First we study regular polygon-square dissections and show that n/2 -2 g(4,n) (n/2) + o(n) and n/4 g(n,4) (n/2) + o(n) hold for sufficiently large n. We also consider polygonal cuts, i.e., the minimum number p(4,n) of pieces needed to dissect a square into a regular n-gon of the same area using polygonal cuts and show that n/4 p(4,n) (n/2) + o(n) holds for sufficiently large n. We also consider regular polygon-polygon dissections and obtain similar bounds for g(m,n) and p(m,n).     

Factorizations of the Complete Graph into C 5-Factors and 1-Factors

In this paper, we show that K_10n can be factored into C₅-factors and 1-factors for all non-negative integers and satisfying 2+=10n–1.Research partially supported by an NSF-AWM Mentoring Travel Grant     

The broken sample problem

Suppose that (X_i,Y_i),i=1,2, ... ,n, are iid. random vectors with uniform marginals and a certain joint distribution F, where is a parameter with =_o corresponds to the independence case. However, the Xs and Ys are observed separately so that the pairing information is missing. Can be consistently estimated? This is an extension of a problem considered in (1980) which focused on the bivariate normal distribution with being the correlation. In this paper we show that consistent discrimination between two distinct parameter values ₁ and ₂ is impossible if the density f of F is square integrable and the second largest singular value of the linear operator is strictly less than 1 for =₁ and ₂. We also consider this result from the perspective of a bivariate empirical process which contains information equivalent to that of the broken sample.Dedicated to Professor Xiru Chen on His 70th BirthdayMathematics Subject Classification (2000): primary: 60F99, 62F12Research supported by NSFC Grant 201471000 and the NUS Grant R-155-000-040-112.Research supported by the Texas Advanced Research Program.     

k-regular factors and semi-k-regular factors in bipartite graphs

LetG be a graph, andk1 an integer. LetU be a subset ofV(G), and letF be a spanning subgraph ofG such that deg _F (x)=k for allx V(G)–U. If deg _F (x)k for allxU, thenF is called an upper semi-k-regular factor with defect setU, and if deg _F (x)k for allxU, thenF is called a lower semi-k-regular factor with defect setU. Now letG=(X, Y;E(G)) be a bipartite graph with bipartition (X,Y) such that X=Yk+2. We prove the following two results.(1) Suppose that for each subsetU ₁X such that U ₁=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.(2) Suppose that for each subsetU ₁X such that U ₁=X–1/k+1,G has a lower semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=X–1/k+1,G has a lower semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.     

Estimation of the Multivariate Normal Precision Matrix under the Entropy Loss

Let X ₁, , X _n (n > p) be a random sample from multivariate normal distribution N _p (, ), where R ^p and is a positive definite matrix, both and being unknown. We consider the problem of estimating the precision matrix ^–1. In this paper it is shown that for the entropy loss, the best lower-triangular affine equivariant minimax estimator of ^–1 is inadmissible and an improved estimator is explicitly constructed. Note that our improved estimator is obtained from the class of lower-triangular scale equivariant estimators.     

Remarks on ergodicity of stationary irreducible transient Markov chains

Summary Consider a stationary process {X _n(), – < n < . If the measure of the process is finite (the measure of the whole sample space finite), it is well known that ergodicity of the process {X _n(), - < n < and of each of the subprocesses {X _n(), 0 n < , {X _n(), – < n 0 are equivalent (see [3]). We shall show that this is generally not true for stationary processes with a sigma-finite measure, specifically for stationary irreducible transient Markov chains. An example of a stationary irreducible transient Markov chain {X _n(), - < n <} with {itX_n(), 0 n < < ergodic but {X _n(), < n 0 nonergodic is given. That this can be the case has already been implicitly indicated in the literature [4]. Another example of a stationary irreducible transient Markov chain with both {X _n(), 0 n < and {itX _n(),-< < n 0} ergodic but {X _n(), - < n < nonergodic is presented. In fact, it is shown that all stationary irreducible transient Markov chains {X _n(), - < n < < are nonergodic.This research was supported in part by the Office of Naval Research.John Simon Guggenheim Memorial Fellow.     

Representations of integers as sums of powers with increasing exponents

Let(n) be the least integer such thatn may be represented in the formn=x ₁ ² +x ₂ ³ +...+x _(n) ⁽ⁿ⁾⁺¹ wherex ₁,x ₂, ...,x _(n) are natural numbers. We computed(n) forn 250 000 and found that(n) 5 for all thesen exceptn=56, 160 for which(n)=6. Also(n) 4 for 41542<n<=250 000.     

Stationary Values of Sectional Curvature in Grassmann Manifolds of Bivectors

In the Grassmann manifold G _2,n ⁺ of bivectors (n4), the sectional curvature K() in the direction of a 2-plane takes values in [0,2]. All stationary values a of K() such that the gradient K|₌₀ vanishes for at least one ₀ K^–1(a) are found. The values are {0,1,2} for n=4, {0,1/5,1,2} for n=5, and {0,1/5,1/2,1,2} for n6. Bibliography: 7 titles.     

Markov approximation of homogeneous lattice random fields

We refine some well-known approximation theorems in the theory of homogeneous lattice random fields. In particular, we prove that every translation invariant Borel probability measure on the space X of finite-alphabet configurations on ^d, d1, can be weakly approximated by Markov measures _n with supp(_n)=X and with the entropies h(_n)h(). The proof is based on some facts of Thermodynamic Formalism; we also present an elementary constructive proof of a weaker version of this theorem.Mathematics Subject Classifications (2000): Primary 28D20, 37C85, 60G60; secondary 82B20Dedicated to Professor A. I. Vorobyov, member of the Russian Academy of Sciences and Director of the Hematology Research Center of the Russian Academy of Medical Sciences, on the occasion of his 75th birthday     

Über den algorithmischen Nachweis von Ungleichungen I

We shall develop a method to prove inequalities in a unified manner. The idea is as follows: It is quite often possible to find a continuous functional : ⁿ , such that the left- and the right-hand side of a given inequality can be written in the form (u)(v) for suitable points,v=v(u). If one now constructs a map ^{n n} , which is functional increasing (i.e. for each x ⁿ (which is not a fixed point of ) the inequality (x)<((x)) should hold) one specially gets the chain (u)( u))( ²(u))... ⁿ (u)). Under quite general conditions one finds that the sequence { ⁿ (u)} _n converges tov=v(u). As a consequence one obtains the inequality (u)(v).