A combinatorial property of points and ellipsoids

For eachd1 there is a constantc _d>0 such that any finite setXR ^d contains a subsetYX, |Y|[1/4d(d+3)]+1 having the following property: ifEY is an ellipsoid, then |E X|c _d |X|.On leave from the Mathematical Institute of the Hungarian Academy of Sciences, 1364 Budapest, P.O. Box 127, Hungary. Supported by a research fellowship from the Science and Engineering Research Council, U.K., and by Hungarian National Foundation for Scientific Research Grant No. 1812.     

On Differences of Semicubical Powers

For X,Y,>0, let and define I ₈(X,Y,) to be the cardinality of the set. In this paper it is shown that, for >0, Y ²/X ³=O(), =O(Y ³/X ³) and X=O (Y ²), one has I ₈(X,Y,)=O(X ² Y ²+X min (X ^{3/2} Y ³, X ^{11/2} Y ^{–1})+X min (^{1/3} X ² Y ³, X ^{14/3} Y ^{1/3})), with the implicit constant depending only on . There is a brief report on an application of this that leads, by way of the Bombieri-Iwaniec method for exponential sums, to some improvement of results on the mean squared modulus of a Dirichlet L-function along a short interval of its critical line.     

High density limit theorems for nonlinear chemical reactions with diffusion

Summary The solutionX of a nonlinear reaction-diffusion equation on then-dimensional unit cubeS is approximated by a space-time jump Markov processX _v,N (law of large numbers (LLN)).X _v,N is constructed on a gridS _N onS ofN cells, wherev is proportional to the initial number of particles in each cell. The deviation ofX _v,N fromX is computed by a central limit theorem (CLT). The assumptions on the parametersv, N are for the LLN: , asN , and for the CLT: , asN . The limitY =Y ^X in the CLT, which is a generalized Ornstein-Uhlenbeck process, is represented as the mild solution of a linear stochastic partial differential equation (SPDE) and its best possible state spaces are described. The problem of stationary solutions ofY ^X in dependence ofX is also investigated.On leave from Universität Bremen. This work was supported by the Stiftung Volkswagenwerk and a grant from ONR     

A characterization of brownian motion in a lipschitz domain by its killing distributions

Let (Y _t, Q^x) be a strong Markov process in a bounded Lipschitz domainD with continuous paths up to its lifetime , and let (X _t, P^x) be a Brownian motion inD. IfY _– exists in D andQ ^x(Y_– C)=P^x(X_– C) for all Borel subsetsC of D and allx, thenY is a time change ofX.     

On the optimal mapping of distributions

We consider the problem of mappingXY, whereX andY have given distributions, so as to minimize the expected value of X–Y². This is equivalent to finding the joint distribution of the random variable (X, Y), with specified marginal distributions forX andY, such that the expected value of X–Y² is minimized. We give a sufficient condition for the minimizing joint distribution and supply numerical results for two special cases.     

On an extension of a lattice-continuous mapping with embeddability applications

It is well known that ifX andY are completely regularT ₂ spaces, then any continuous function,f, fromX toY, has a unique continuous extension,(f), fromX toY, whereX andY are the Stone—ech compactifications ofX andY, respectively. This function plays an important role in Stone—ech Theory, especially in questions pertaining to embeddability.In this paper, we first extend this construction to general Wallman spaces, and then apply the results to extend well-known embeddability theorems.     

On the homotopy fixed point problem for free loop spaces and other function complexes

Let G be a finite group, let X and Y be finite G-complexes, and suppose that for each K G, Y ^K is dim(X ^K)-connected and simple. G acts on the function complex F(X, Y) by conjugation of maps. We give a complete analysis of the homotopy fixed point set of the space F(X, Y). As a corollary, we are able to analyze at a prime p, the homotopy fixed point set of the circle action on X, where X denotes the free loop space of X, and X is a simply connected finite complex.Supported in part by NSF DMS 86-02430.To A. Grothendieck on the occasion of his sixtieth birthday     

Operator stable laws: Series representations and domains of normal attraction

LetX,X ₁,X ₂,... be i.i.d. random vectors in ^d. The limit laws that can arise by suitable affine normalizations of the partial sums,S _n=X ₁+...+X _n, are calledoperator-stable laws. These laws are a natural extension to ^d of the stable laws on. Thegeneralized domain of attraction of [GDOA()] is comprised of all random vectorsX whose partial sums can be affinely normalized to converge to . If the linear part of the affine transformation is restricted to take the formn ^–B for some exponent operatorB naturally associated to thenX is in thegeneralized domain of normal attraction of [GDONA()]. This paper extends the theory of operator-stable laws and their domains of attraction and normal attraction.     

On σ-discrete borel mappings via quasi-metrics

Let X and Y be metrizable spaces. We show that, for a mapping f : X Y, there exists a quasi-metric X inducing the topology of X such that f regarded as a mapping from (X, max{, ^–1}) to Y is continuous if and only if f in the original topology of X is a -discrete map of Borel class 1. Further, we prove that, for every -discrete mapping f: X Y of Borel class + 1, there exists a compatible quasi-metric on X such that f : (X, max{, ^–1}) Y is of Borel class . We also investigate a more general situation when the range of the mapping under consideration is not necessarily metrizable. In passing, we obtain some results related to the behaviour of absolutely Borel sets and absolutely analytic spaces with respect to compatible quasi-metrics.     

Locally most powerful rank tests for testing randomness and symmetry

Let X _i, 1 i N, be N independent random variables (i.r.v.) with distribution functions (d.f.) F _i(x,), 1 i N, respectively, where is a real parameter. Assume furthermore that F _i(·,0) = F(·) for 1 i N. Let R = (R ₁,R _N) and R ⁺,...,R _N ⁺ be the rank vectors of X = (X ₁,X _N) and |X|=(|X ₁|,...,|X _N|), respectively, and let V = (V ₁,V _N) be the sign vector of X. The locally most powerful rank tests (LMPRT) S = S(R) and the locally most powerful signed rank tests (LMPSRT) S = S(R ⁺, V) will be found for testing = 0 against > 0 or < 0 with F being arbitrary and with F symmetric, respectively.     

The Measure of Noncompactness of Linear Operators between Spaces of Strongly C 1 Summable and Bounded Sequences

We give necessary and sufficient conditions for infinite matrices to map a sequence space X into a sequence space Y where X = l ₁ and Y = w ^p , w ^p , w ₀ ^p (1 p < ), or X = w ₀, w, w and Y = l _p (1 p ), or X = w ₀, w, w and Y = w ₀ ^p , w ^p , w ^p (1 p < ). Furthermore the Hausdorff measure of noncompactness is applied to give necessary and sufficient conditions for a linear operator between these spaces to be compact.     

Limit theorems for compact two-point homogeneous spaces of large dimensions

Let be the field , , or of real dimension . For each dimensiond2, we study isotropic random walks(Y ₁)₁0 on the projective space with natural metricD where the random walk starts at some with jumps at each step of a size depending ond. Then the random variablesX ₁ ^d :=cosD(Y ₁ ^d ,x ₀ ^d ) form a Markov chain on [–1, 1] whose transition probabilities are related to Jacobi convolutions on [–1, 1]. We prove that, ford, the random variables (vd/2)(X _l(d) ^d +1) tend in distribution to a noncentral ²-distribution where the noncentrality parameter depends on relations between the numbers of steps and the jump sizes. We also derive another limit theorem for as well as thed-spheresS ^d ford.     

Fine Analysis of the Quasi-Orderings on the Power Set

We pursue the fine analysis of the quasi-orderings and on the power set of a quasi-ordering (Q,). We set X Y if every xX is majorized in by some yY, and X Y if every yY is minorized in by some xX. We show that both these quasi-orderings are -wqo if and only if the original quasi-ordering is ( )-wqo. For this holds also restricted to finite subsets, thus providing an example of a finitary operation on quasi-orderings which does not preserve wqo but preserves bqo.     

Integrals of Borcherds Forms

In his Inventiones papers in 1995 and 1998, Borcherds constructed holomorphic automorphic forms (f) with product expansions on bounded domains D associated to rational quadratic spaces V of signature (n2), starting from vector valued modular forms f of weight 1–n2 for SL₂(Z) which are allowed to have poles at the cusp and whose nonpositive Fourier coefficients are integers c (–m), m0. In this paper, we use the Siegel–Weil formula to give an explicit formula for the integral ((f)) of –log||(f)||² over X=\D, where || ||² is the Petersson norm. This integral is given by a sum for m0 of quantities c (–m)(m), where (m) is the limit as Im() of the mth Fourier coefficient of the second term in the Laurent expansion at s=n2 of a certain Eisenstein series E(s) of weight (n2)+1 attached to V. The possible role played by the quantity ((f)) in the Arakelov theory of the divisors Z (m) on X is explained in the last section.     

Barth type vanishing theorems

Let X be a smooth, projective, d-dimensional subvariety of ⁿ (). Barth's theorem says that H ^q (X, ^p _X )=0 when pq and q+p2d–n (if p=0 we must have q>0). It is very interesting to look for analogous vanishing theorems for H ^q (X, ^p _X (m)), m (see [S-S], [F], [S]). In this paper we prove some vanishing theorems for H ^q (X, ^p _X (1)), for H ^q (X, ^p _X (m)) when m–1, and, if dim(X)=n–2, for H ^q (X, ² _X (m)) and H ^q (X, S ^{k 1} _X (m)). We use standard techniques and some of our previous results.     

Rare numbers

Suppose thatX ₁,X ₂,... is a sequence of iid random variables taking values inZ ⁺. Consider the random sequenceA(X)(X ₁,X ₂,...). LetY _n be the number of integers which appear exactly once in the firstn terms ofA(X). We investigate the limit behavior ofn ^–(1–) Y _n for [0, 1].     

Simplicial Cohomology with Coefficients in Symmetric Categorical Groups

In this paper we introduce and study a cohomology theory {H ⁿ (–,A)} for simplicial sets with coefficients in symmetric categorical groups A. We associate to a symmetric categorical group A a sequence of simplicial sets {K(A,n)} _n0, which allows us to give a representation theorem for our cohomology. Moreover, we prove that for any n3, the functor K(–,n) is right adjoint to the functor _n , where _n (X ) is defined as the fundamental groupoid of the n-loop complex ⁿ (X ). Using this adjunction, we give another proof of how symmetric categorical groups model all homotopy types of spaces Y with _i (Y)=0 for all in,n+1 and n3; and also we obtain a classification theorem for those spaces: [–,Y]H ⁿ (–, _n (Y)).     

Characterizations of logA≥logB and normaloid operators via Heinz inequality

In 1951, Heinz showed the following useful norm inequality:If A, B0and XB(H), then AXB ^r X^1–r A ^r XB ^r holds for r [0, 1]. In this paper, we shall show the following two applications of this inequality:Firstly, by using Furuta inequality, we shall show an extension of Cordes inequality. And we shall show a characterization of chaotic order (i.e., logAlogB) by a norm inequality.Secondly, we shall study the condition under which , where is Aluthge transformation ofT. Moreover we shall show a characterization of normaloid operators (i.e.,r(T)=T) via Aluthge transformation.     

Almost sure behaviour ofF-valued random fields

Summary LetX _n, n ^d be a field of independent random variables taking values in a semi-normed measurable vector spaceF. For a broad class of fields _n, ^d of positive numbers, the almost sure behaviour of _knX_k/_n, n ^d is studied. The main result allows us to deduce some new and well-known theorems for fields of independentF random variables from related results for fields of independent real random variables.Supported in part by the Youth Science Foundation of China, No. 19001018Supported by the National Natural Science Foundation of China     

An Analog of the Fubini–Studi Form for Two-Dimensional Toric Varieties

For two-dimensional toric varieties X, an analog of the Fubini–Studi form ₀ is constructed together with the canonical form ₀ that is the kernel of an integral representation for holomorphic functions in d-circular domains in C ^d connected with two-dimensional toric varieties X. This kernel is shown to be a closed differential form in C ^d defining the associated positive form ₀ on X.