A Strong Law for the Largest Nearest-Neighbour Link between Random Points

Suppose that X₁, X₂, X₃, ... are independent random points inR^d with common density f, having compact support with smoothboundary , with f| continuous. Let Rⁿ_{i, k} denote the distancefrom X_i to its kth nearest neighbour amongst the first n points,and let M_{n, k} = max_in Rⁿ_{i, k}. Let denote the volume of theunit ball. Then as n , , almost surely If instead the points lie in a compact smooth d-dimensionalRiemannian manifold K, then nM^d_{n, k}/log n (min_Kf)^–1,almost surely.     

Surgery on nullhomologous tori and simply connected 4-manifolds with b+ = 1

For 5 k 8, we show that an infinite family of exotic smoothstructures on CP²#k² can beobtained by 1/n-surgeries on a single embedded nullhomologoustorus in a manifold R_k which is homeomorphic to CP²#k². Received January 18, 2007.     

Singularities of Centre Symmetry Sets

The center symmetry set (CSS) of a smooth hypersurface S inan affine space Rⁿ is the envelope of lines joining pairs ofpoints where S has parallel tangent hyperplanes. The idea stemsfrom a definition of Janeczko, in an alternative version dueto Giblin and Holtom. For n = 2 the envelope is always real,while for n > 3 the existence of a real envelope dependson the geometry of the hypersurface. In this paper we make alocal study of the CSS, some results applying to n 5 and othersto the cases n = 2,3. The method is to construct a generatingfunction whose bifurcation set contains the CSS and possiblysome other redundant components. Focal sets of smooth hypersurfacesare a special case of the construction, but the CSS is an affineand not a euclidean invariant. Besides the familiar local formsof focal sets there are other local forms corresponding to boundarysingularities, and yet others which do not appear to have arisenelsewhere in a geometrical context. There are connections withFinsler geometry. This paper concentrates on the theory andthe proof of the local normal forms for the CSS. 2000 MathematicsSubject Classification 57R45, 58K40, 32S25, 58B20.     

Small Sets which meet all the n-Term Arithmetic Progressions in the Interval [1, n2]

For any positive integers n and k, let f(n, k) denote the smallestsize of a subset of the integer interval I =[l, n] which meetsall the k-term arithmetic progressions contained in I. We showthat n+(1/2)n^1/2–2 < f(n²,n) , where p is the largest prime n, and for any real number x,[x] is the least integer x.     

Damping Oscillatory Integrals with Polynomial Phase and Convolution Operators with the Affine Arclength Measure on Polynomial Curves in Rn

McMichael proved that the convolution with the (euclidean) arclengthmeasure supported on the curve t (t, t², ..., tⁿ), 0 < t< 1, maps L^p(Rⁿ) boundedly into L^p'(Rⁿ) if and only if 2n(n+1)/(n²+n+2) p 2. In proving this, a uniform estimate on damping oscillatoryintegrals with polynomial phase was crucial. In this paper,a remarkably simple proof of the same estimate on oscillatoryintegrals is presented. In addition, it is shown that the convolutionoperator with the affine arclength measure on any polynomialcurve in Rⁿ maps L^p(Rⁿ) boundedly into L^p'(Rⁿ) if p = 2n(n+1)/(n²+n+2).     

On Finite and InfiniteCk-A-Determinacy

Let f: (Rⁿ,0) (R^p,0) be a C map-germ. We define f to be finitely,or -, A-determined, if there exists an integer m such that allgerms g with j^mg(0) = j^mf(0), or if all germs g with the sameinfinite Taylor series as f, respectively, are A-equivalentto f. For any integer k, 0 k < , we can consider A' sC^kcounterpart (consisting of C^k diffeomorphisms) A^(k), and wecan define the notion of finite, or -,A^(k)-determinacy in asimilar manner. Consider the following conditions for a C germf: (a_k) f is -A^(k)-determined, (b_k) f is finitely A^(k)-determined,(t) , (g) there exists a representative f : U R^p defined on some neighbourhood U of 0 in Rⁿ such thatthe multigerm of f is stable at every finite set , and (g') every f' with j f'(0)=j f(0) satisfiescondition (g). We also define a technical condition which willimply condition (g) above. This condition is a collection ofp+1 Lojasiewicz inequalities which express that the multigermof f is stable at any finite set of points outside 0 and onlybecomes unstable at a finite rate when we approach 0. We willdenote this condition by (e). With this notation we prove thefollowing. For any C map germ f:(Rⁿ,0) (R^p,0) the conditions(e), (t), (g') and (a) are equivalent conditions. Moreover,each of these conditions is equivalent to any of (a_k) (p+1 k < , (b_k) (p+1 k < ). 1991 Mathematics Subject Classification:58C27.     

A Criterion for Finite Topological Determinacy of Map-Germs

Let f, g: (Rⁿ, 0) (R^p, 0) be two C map-germs. Then f and gare C⁰-equivalent if there exist homeomorphism-germs h and lof (Rⁿ, 0) and (R^p, 0) respectively such that g = l f h^–1.Let k be a positive integer. A germ f is k-C⁰-determined ifevery germ g with j^k g(0) = j^k f(0) is C⁰-equivalent to f. Moreover,we say that f is finitely topologically determined if f is k-C⁰-determinedfor some finite k. We prove a theorem giving a sufficient conditionfor a germ to be finitely topologically determined. We explainthis condition below. Let N and P be two C manifolds. Consider the jet bundle J^k(N,P) with fiber J^k(n, p). Let z in J^k(n, p) and let f be suchthat z = j^kf(0). Define Whether (f) < k depends only on z, not on f. We can thereforedefine the set Let W^k(N, P) be the subbundle of J^k(N, P) with fiber W^k(n, p).Mather has constructed a finite Whitney (b)-regular stratificationS^k(n, p) of J^k(n, p) – W^k(n, p) such that all strata aresemialgebraic and K-invariant, having the property that if S^k(N,P) denotes the corresponding stratification of J^k(N, P) –W^k(N, P) and f C(N, P) is a C map such that j^kf is multitransverseto S^k(N, P), j^kf(N) W^k(N, P) = and N is compact (or f is proper),then f is topologically stable. For a map-germ f: (Rⁿ, 0) (R^p, 0), we define a certain ojasiewiczinequality. The inequality implies that there exists a representativef: U R^p such that j^kf(U – 0) W^k (Rⁿ, R^p = and suchthat j^kf is multitransverse to S^k (Rⁿ, R^p) at any finite setof points S U – 0. Moreover, the inequality controlsthe rate j^kf becomes non-transverse as we approach 0. We showthat if f satisfies this inequality, then f is finitely topologicallydetermined. 1991 Mathematics Subject Classification: 58C27.     

Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities

We prove a nearly optimal bound on the number of stable homotopytypes occurring in a k-parameter semi-algebraic family of setsin R, each defined in terms of m quadratic inequalities. Ourbound is exponential in k and m, but polynomial in . More precisely,we prove the following. Let R be a real closed field and let = {P₁, ... , P_m} R[Y₁, ... ,Y,X₁, ... ,X_k], with deg_Y(P_i) 2, deg_X(P_i) d, 1 i m. Let S R^+k be a semi-algebraic set,defined by a Boolean formula without negations, with atoms ofthe form P 0, P 0, P . Let : R^+k R^k be the projection onthe last k coordinates. Then the number of stable homotopy typesamongst the fibers S_x = ^–1(x) S is bounded by (2^mkd)^O(mk).     

Interpolation by Polynomials in z and z-1 on an Annulus

A polynomial of degree n in z^–1 and n–1 in z isdefined by an interpolation projection from the space of functionsanalytic in the annulus r|z|R and continuous on its boundary.The points of interpolation are chosen to coincide with then roots of zⁿ=Rⁿeⁱⁿ (0<<2/n) and the n roots of zⁿ=rⁿ.The behaviour of the corresponding Lebesgue function is studied,and an estimate for the operator norm is obtained. The resultsof the present paper give a partial affirmative answer to twoconjectures suggested earlier by Mason on the basis of numericalcomputations.     

Intersections of Symbolic Powers of Prime Ideals

Let (R,m) be a local ring with prime ideals p and q such that. If R is regular and containsa field, and dim(R/p)+dim(R/q)=dim(R), then it is proved thatp^(m) q⁽ⁿ⁾ m^m+n for all positive integers m and n. This isproved using a generalization of Serre's Intersection Theoremwhich is applied to a hypersurface R/fR. The generalizationgives conditions that guarantee that Serre's bound on the intersectiondimension (R/p)+(R/q)dim(R) holds when R is nonregular.     

Long-Time Behavior of Solutions of the Fast Diffusion Equations with Critical Absorption Terms

This paper is devoted to the long-time behavior of solutionsto the Cauchy problem of the porous medium equation u_t = (u^m)– u^p in Rⁿ x (0,) with (1 – 2/n)₊ < m < 1and the critical exponent p = m + 2/n. For the strictly positiveinitial data u(x,0) = O(1 + |x|)^–k with n + mn(2 –n + nm)/(2[2 – m + mn(1 – m)]) k < 2/(1 –m), we prove that the solution of the above Cauchy problem convergesto a fundamental solution of u_t = (u^m) with an additional logarithmicanomalous decay exponent in time as t .     

Non-Regular Tangential Behaviour of a Monotone Measure

A Radon measure µ on Rⁿ is said to be k-monotone if is a non-decreasing function on (0,) for every x Rⁿ. (If µ is the k-dimensional Hausdorffmeasure restricted to a k-dimensional minimal surface then thisimportant property is expressed by the monotonicity formula.)We give an example of a 1-monotone measure µ in R² withnon-unique and non-conical tangent measures at a point. Furthermore,we show that µ can be the one-dimensional Hausdorff measurerestricted to a closed set A R². 2000 Mathematics Subject Classification49Q05, 49Q20 (primary), 28A75, 53A10 (secondary).     

Qualitative dynamics, root-loci and asymptotic structure of universal adaptive stabilizers

A problem of universal adaptive stabilization in Rⁿ is approachedin a qualitative manner to relate the form of the trajectoriesin the extended state space Rⁿ⁺¹ to the root locus of the associatedfixed-parameter linear system. Relationships are derived betweenthe values of the limit gain and the initial conditions. Numericalstudies are used to illustrate and support these ideas by computationof generic trajectories and attempted computation of certainnon-generic possibilities. The implications of the study formore general dynamic situations are outlined. These authors are also with the Department of Mathematics,University of Exeter, EX4 4QE.     

Differentiable Peak-Interpolation on Bounded Domains with Smooth Boundary

Let D be a bounded domain in Cⁿ with C² boundary, and, for 1 k , let A^k(D) be the algebra of functions holomorphic on Dand C^k on a neighbourhood of . It is shown that each peak-interpolation set for A^k(D) is afinite set.     

Determination of a Convex Body from Minkowski Sums of its Projections

For a convex body K in R^d and 1 K d – 1, let P_K (K)be the Minkowski sum (average) of all orthogonal projectionsof K onto k-dimensional subspaces of R^d. It is Known that theoperator P_k is injective if kd/2, k=3 for all d, and if k =2, d 14. It is shown that P_2k (K) determines a convex body K among allcentrally symmetric convex bodies and P_2k+1(K) determines aconvex body K among all bodies of constant width. Correspondingstability results are also given. Furthermore, it is shown thatany convex body K is determined by the two sets P_k (K) and P_k'(K) if 1 < k < k'. Concerning the range of P_k , 1 k d–2, it is shown that its closure (in the Hausdorff-metric)does not contain any polytopes other than singletons.     

The Consistency of Holt's Conjectures on Cohomological Dimension of Locally Finite Groups

Let G be a locally finite group of cardinality _n where n isa natural number. Let (G) be the set of primes p for which Ghas an element of order p. In [5], Holt conjectures that ifk is a finite field with char k (G) then (1) G has cohomological dimension n+1 over k; (2) Hⁿ⁺¹(G, kG) has cardinality 2^_n; (3) Hⁱ(G, kG) = 0 for 0 i n.     

Free Groups of Outer Commutator Varieties of Groups

If F is a free group, 1 < i j 2i and i k i + j + 1 thenF/[_j(F), _i(F), _k(F)] is residually nilpotent and torsion-free.This result is extended to 1 < i j 2i and i k 2i + 2j.It is proved that the analogous Lie rings, L/[L^j, Lⁱ, L^k] whereL is a free Lie ring, are torsion-free. Candidates are foundfor torsion in L/[L^j, Lⁱ, L^k] whenever k is the least of {i,j, k}, and the existence of torsion in L/[L^j, Lⁱ, L^k] is provedwhen i, j, k 5 and k is the least of {i, j, k}.     

ON THE INTEGRAL GALOIS MODULE STRUCTURE OF CYCLIC EXTENSIONS OF p-ADIC FIELDS

We strengthen results of Miyata on the integral Galois modulestructure of totally ramified cyclic Kummer extensions K ofdegree pⁿ of a p-adic field k. Let c₁(K/k) be the first ramificationnumber of K/k, and let c(K/k) be the least non-negative residueof c₁(K/k) modulo pⁿ. Suppose that K is of the form k() with^pn k and val _K(–1)>0, (val _K(–1), p)= 1. Thenthe valuation ring of K is free over its associated order ifc(K/k) divides p^m–1 for some m with 1mn; the converseholds if n= 2; and is a Hopf order (or a Gorenstein order)if and only if c(K/k) = pⁿ–1.     

The Characterization of the Regularity of the Jacobian Determinant in the Framework of Bessel Potential Spaces on Domains

Let 2 m n. The paper gives necessary and sufficient conditionson the parameters s1, s2, ..., sm, p1, p2, ..., pm such thatthe Jacobian determinant extends to a bounded operator fromHs1p1 x Hs2p2 x ... x Hsmpm into S'. Here all spaces are definedon Rn or on domains Rn. In almost all cases the regularity ofthe Jacobian determinant is calculated exactly.