The undecidability of pseudo real closed fields

The aim of this note is to establish the following result: THEOREM: Let be a non-empty class of Boolean spaces and letPRC() be the class of pseudo real closed fields whose spaces of orderings belong to . Then the elementary theory ofPRC() is undecidable.Our proof appears to be an interesting application of the theory of Artin-Schreier structures, which has been initiated in [5] for the purpose of characterization of the absolute Galois groups of PRC fields. In Section 1 we define and investigate Frattini covers of Artin-Schreier structures, in analogy with [6], Section 2. In Section 2 we consider the analogues of proofs of [1] and [3], to attain the Theorem.This work corresponds to a part of the doctoral dissertation done under the supervision of Prof. Moshe Jarden at Tel-Aviv University     

Constructing one-parameter transformations on white noise functions in terms of equicontinuous generators

Let be a barreled locally convex space. A continuous operator on is called anequicontinuous generator if { ⁿ /n!;n=0,1,2,...} is an equicontinuous family of operators. For each equicontinuous generator a one-parameter group of operators is constructed by means of power series. There is a one-to-one correspondence between the equicontinuous generators and the locally equicontinuous holomorphic one-parameter groups of operators. If two equicontinuous generators ₁, ₂ satisfy [₁,₂]=₂ for some thena₁+b₂ is also an equicontinuous generator for anya, b. These general results are applied to a study of operators on white noise functions. In particular, a linear combination of the number operator and the Gross Laplacian, which are natural infinite dimensional analogues of a finite dimensional Laplacian, is always an equicontinuous generator. This result contributes to the Cauchy problems in white noise (Gaussian) space.Work supported by Alexander von Humboldt-Stiftung and Japan Society for Promotion of Sciences     

A “build-down” scheme for linear programming

We propose a build-down scheme for Karmarkar's algorithm and the simplex method for linear programming. The scheme starts with an optimal basis candidate set including all columns of the constraint matrix, then constructs a dual ellipsoid containing all optimal dual solutions. A pricing rule is developed for checking whether or not a dual hyperplane corresponding to a column intersects the containing ellipsoid. If the dual hyperplane has no intersection with the ellipsoid, its corresponding column will not appear in any of the optimal bases, and can be eliminated from. As these methods iterate, is eventually built-down to a set that contains only the optimal basic columns.     

Homotopy classification of some four-dimensional manifolds

In this paper there is proved a generalization of the results of Whitehead and Pontryagin on the homotopy classification of closed, simply connected four-manifolds. Let W and M be compact four-dimensional simply connected oriented four-manifolds. By q_w is denoted the intersection index on the group H₂(W).Basic Result. THEOREM (Extension). Let the groups H₁(W)and H₁(M) be finite and suppose given a homotopy equivalence fWM. In order that f can be extended to a homotopy equivalence (W,W)(M,M), it is necessary and sufficient that there should exist an isomorphism , such that the diagram is commutative and *q_m=q_m.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 66, pp. 164–171, 1976.     

Holomorphic H-spherical distribution vectors in principal series representations

Let G/H be a semisimple symmetric space. The main tool to embed a principal series representation of G into L²(G/H) are the H-invariant distribution vectors. If G/H is a non-compactly causal symmetric space, then G/H can be realized as a boundary component of the complex crown . In this article we construct a minimal G-invariant subdomain _H of with G/H as Shilov boundary. Let be a spherical principal series representation of G. We show that the space of H-invariant distribution vectors of , which admit a holomorphic extension to _H, is one dimensional. Furthermore we give a spectral definition of a Hardy space corresponding to those distribution vectors. In particular we achieve a geometric realization of a multiplicity free subspace of L²(G/H)_mc in a space of holomorphic functions.     

On the summability of Fourier series with the method of lacunary arithmetic means

. f- ,S _n (f)— . {n _k }, n _k+1/n _k >1+ck ^– ,— , 0<1/2, f ₀, .     

Asymptotic Density and the Asymptotics of Partition Functions

Let A be a set of positive integers with gcd (A) = 1, and let p _A (n) be the partition function of A. Let c ₀ = 2/3. If A has lower asymptotic density and upper asymptotic density , then lim inf log p _A (n)/c ₀ n and lim sup log p _A (n)/c ₀ n . In particular, if A has asymptotic density > 0, then log p _A (n) c₀n. Conversely, if > 0 and log p _A (n) c ₀ n, then the set A has asymptotic density .     

The convergence rates of empirical Bayes estimation in a multiple linear regression model

Empirical Bayes (EB) estimation of the parameter vector =(,²) in a multiple linear regression modelY=X+ is considered, where is the vector of regression coefficient, N(0,² I) and ² is unknown. In this paper, we have constructed the EB estimators of by using the kernel estimation of multivariate density function and its partial derivatives. Under suitable conditions it is shown that the convergence rates of the EB estimators areO(n ^{-(k-1)(k-2)/k(2k+p+1)}), where the natural numberk3, 1/3<<1, andp is the dimension of vector .The project is supported by the National Natural Science Foundation of China.     

Inner functions and related spaces of pseudocontinuable functions

Let be an inner function, let C, ¦¦=1. Then the harmonic function [(+)]/(–)] is the Poisson integral of a singular measure D. N. Clark's known theorem enables us to identify in a natural manner the space H² H² with the space L² ( ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 7–33, 1989.     

Multilevel large deviations and interacting diffusions

Summary Let ( ^N ) be a sequence of random variables with values in a topological space which satisfy the large deviation principle. For eachM and eachN, let ^{M, N} denote the empirical measure associated withM independent copies of ^N . As a main result, we show that ( ^{M, N} ) also satisfies the large deviation principle asM,N. We derive several representations of the associated rate function. These results are then applied to empirical measure processes ^{M, N} (t) =M ^–1 _i=1 ^N _i ^N (t) 0tT, where ( ₁ ^N ,..., _M ^N (t)) is a system of weakly interacting diffusions with noise intensity 1/N. This is a continuation of our previous work on the McKean-Vlasov limit and related hierarchical models ([4], [5]).Research partially supported by a Natural Science and Engineering Research Council of Canada operating grant     

On the convergence in a restricted sense of multiple series

Z ^d — k=(k ₁, ...,k _d) k _j,d1.d- (8), . . a _k s _m= a _k s, >0 N, min (m ₁,...,m _d)N, ¦s _m–s¦. , , >0 N, min (m ₁,...,m _d)N min (n ₁,...,n _d)N, ¦s _m–s _n. . , (8) , >0 N, max (b ₁,...,b _d) N, m — Z ^d , m1, ¦s(b, m)¦ where      

Mixed-norm estimates for a class of integral operators

(, ) — R ^m ×R ⁿ . f R ^m ×R ⁿ f_p,q, f L _p (R ^m) x y, L^q(Rⁿ). ׃ _q,r cƒ _p,r , ׃ R ^m ×R ⁿ , , , q r . , ( ¦¦) K ₀ (y); p, g r , K ₀.     

On holomorphic operator function equations

Let A be an operator function which is holomorphic on a region G ^N and which has a global meromorphic relative inverse. It was proved by B. Gramsch [5],[6] that the operator equation A () = () (A () = ()), holomorphic on G, has a global meromorphic solution if it admits a pointwise solution on some nonempty open subset of G. In this paper we prove similar results for operator functions which do not have global relative inverses. The class of functions for which the result remains valid includes the semi-Fredholm functions. As in the case of functions which have global relative inverses, the theorems are much sharper for functions of one variable. In particular, for one variable many special properties of the function can be transferred to the solution, if desired.The research for this paper was done while the second author was employed at the Vrije Universiteit in Amsterdam.     

Small Ball Probabilities Around Random Centers of Gaussian Measures and Applications to Quantization

Let be a centered Gaussian measure on a separable Hilbert space (E, ). We are concerned with the logarithmic small ball probabilities around a -distributed center X. It turns out that the asymptotic behavior of –log (B(X,)) is a.s. equivalent to that of a deterministic function _R (). These new insights will be used to derive the precise asymptotics of a random quantization problem which was introduced in a former article by Dereich, Fehringer, Matoussi, and Scheutzow.⁽⁸⁾     

OnU ϕ-sets of trigonometric integrals

, (t) >0 E(–, +),E<, , ¦f(t)¦ (t) xE, f(t)=0 (–, +).     

Testing for Unit Roots in a Nearly Nonstationary Spatial Autoregressive Process

The limiting distribution of the normalized periodogram ordinate is used to test for unit roots in the first-order autoregressive model _st= _s-1,t+_s,t-1- _s-1,t-1+_st. Moreover, for the sequence _n = e ^c/n , _n = e ^d/n of local Pitman-type alternatives, the limiting distribution of the normalized periodogram ordinate is shown to be a linear combination of two independent chi-square random variables whose coefficients depend on c and d. This result is used to tabulate the asymptotic power of a test for various values of c and d. A comparison is made between the periodogram test and a spatial domain test.     

A survey of pseudo (v,k, λ)-designs

This work is an attempt to give a complete survey of all known results about pseudo (v, k, )-designs. In doing this, the author hopes to bring more attention to his conjecture given in Section 6; an affirmative answer to this conjecture would settle completely the existence and construction problem for a pseudo (v, k, )-design in terms of the existence of an appropriate (v, k, )-design.     

Positive Solutions for a Singular Nonlinear Problem on a Bounded Domain in R 2

For a bounded regular Jordan domain in R ², we introduce and study a new class of functions K() related on its Green function G. We exploit the properties of this class to prove the existence and the uniqueness of a positive solution for the singular nonlinear elliptic equation u+(x,u)=0, in D(), with u=0 on and uC(), where is a nonnegative Borel measurable function in ×(0,) that belongs to a convex cone which contains, in particular, all functions (x,t)=q(x)t ^–,>0 with nonnegative functions qK(). Some estimates on the solution are also given.     

Embeddings of Lorentz—Marcinkiewicz spaces with mixed norms

X(Y) f -:X(Y)={fM(×): f_{X(Y)=f(x,.)YX<} . =(0, ), M (×) — , ×, X, Y, Z— . X(Y) Z(×).