Diophantinc approximation by linear forms on manifolds

The following Khintchine-type theorem is proved for manifoldsM embedded in ℝ ^k which satisfy some mild curvature conditions. The inequality |q·x| <Ψ(|q|) whereΨ(r) → 0 asr → ∞ has finitely or infinitely many solutionsqεℤ ^k for almost all (in induced measure) points x onM according as the sum Σ _r ^{= 1/∞} Ψ(r)r ^k−2 converges or diverges (the divergent case requires a slightly stronger curvature condition than the convergent case). Also, the Hausdorff dimension is obtained for the set (of induced measure 0) of point inM satisfying the inequality infinitely often whenψ(r) =r ^−t . τ >k − 1.     

Value distribution of the Painlevé Transcendents

We consider the solutions of the First Painlevé Differential Equationω″=z+6w ², commonly known as First Painlevé Transcendents. Our main results are the sharp order estimate λ(w)≤5/2, actually an equality, and sharp estimates for the spherical derivatives ofw andf(z)=z ⁻¹ w(z ²), respectively:w#(z)=O(|z|^3/4) andf#(z)=O(|z|^3/2). We also determine in some detail the local asymptotic distribution of poles, zeros anda-points. The methods also apply to Painlevé’s Equations II and IV.     

Isometric approximation

Suppose thatA ⊂R ⁿ is a bounded set of diameter 1 and that:f:A →l ₂ is a map satisfying the nearisometry condition |x−y|−ɛ≤|fx−fy|≤|x−y|+ɛ withɛ≤1. Then there is an isometryS:A →l ₂ such that |Sx−fx|≤c _n √ɛ for allx inA. IfA satisfies a thickness condition and iff:A →R ⁿ , then there is an isometryS:R ⁿ →R ⁿ with |Sx−fx|≤c _nɛ/q, whereq is a thickness parameter.     

Gauge-Invariant Characterization of Yang–Mills–Higgs Equations

Let C → M be the bundle of connections of a principal G-bundle P → M over a pseudo-Riemannian manifold (M,g) of signature (n⁺, n⁻) and let E → M be the associated bundle with P under a linear representation of G on a finite-dimensional vector space. For an arbitrary Lie group G, the O(n⁺, n⁻) × G-invariant quadratic Lagrangians on J¹(C × _M E) are characterized. In particular, for a simple Lie group the Yang–Mills and Yang–Mills–Higgs Lagrangians are characterized, up to an scalar factor, to be the only O(n⁺, n⁻) × G-invariant quadratic Lagrangians. These results are also analyzed on several examples of interest in gauge theory. Submitted: May 19, 2005; Accepted: April 25, 2006     

On the minimum of harmonic functions

Letu be a function harmonic in the unit disc or in the plane, and letu(z)≤M(|z|) for a majorantM. We formulate conditions onM that guarantee thatu(z)≥−(1+o(1))M(|z|) for |z|→1 in the disc and for |z|→∞ in the plane.     

A note on the Bahadur representation of sample quantiles for α-mixing random variables

By some moment inequalities for α-mixing random variables, we prove the Bahadur representation of sample quantiles under very weak α-mixing coefficients. As application, the uniformly asymptotic normality is derived, the rate of which is near to n ^−1/6 under the given conditions.     

On Stability of Cones in <Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript> with Zero Scalar Curvature

In this work we generalize the case of scalar curvature zero the results of Simmons (Ann. Math. 88 (1968), 62–105) for minimal cones in Rⁿ⁺¹. If Mⁿ⁻¹ is a compact hypersurface of the sphere Sⁿ(1) we represent by C(M)ε the truncated cone based on M with center at the origin. It is easy to see that M has zero scalar curvature if and only if the cone base on M also has zero scalar curvature. Hounie and Leite (J. Differential Geom. 41 (1995), 247–258) recently gave the conditions for the ellipticity of the partial differential equation of the scalar curvature. To show that, we have to assume n ⩾ 4 and the three-curvature of M to be different from zero. For such cones, we prove that, for n ≤slant 7 there is an ε for which the truncate cone C(M)_ε is not stable. We also show that for n ⩾ 8 there exist compact, orientable hypersurfaces Mⁿ⁻¹ of the sphere with zero scalar curvature and S₃ different from zero, for which all truncated cones based on M are stable. Mathematics Subject Classifications (2000): 53C42, 53C40, 49F10, 57R70.     

Weakly stable constant mean curvature hypersurfaces

Let M^n be an n-dimensional complete noncompact oriented weakly stable constant mean curvature hypersurface in an （n ＋ 1）-dimensional Riemannian manifold N^n＋1 whose （n - 1）th Ricci curvature satisfying Ric^N（n-1） （n - 1）c. Denote by H and φ the mean curvature and the trace-free second fundamental form of M respectively. If ｜φ｜^2 - （n- 2）√n（n- 1）｜H｜｜φ｜＋ n（2n - 1）（H^2＋ c） 〉 0, then M does not admit nonconstant bounded harmonic functions with finite Dirichlet integral. In particular, if N has bounded geometry and c ＋ H^2 〉 0, then M must have only one end.     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

On The Correlation Of Binary M-sequences

We obtain the upper bound O(2^14n/15 n^−1/5) on the number of distinct values of all possible correlation functions between M-sequences of order n .     

An efficient algorithm for Pawlak reduction based on simplified discernibility matrix

Since the definition of attribute reduction based on classic discernibility matrix differs from that of it based on positive region, a new simplified discernibility matrix and the corresponding definition of attribute reduction were proposed. At the same time, it proves that the proposed definition is identical to its definition based on positive region. For computing simplified discernibility matrix, the indiscernibility relation, which is also called equivalence relation, should usually be calculated at first, so a new algorithm for computing equivalence relation was designed with radix sorting, whose temporal complexity is O(|C||U|). Furthermore, an efficient attribute reduction algorithm is proposed, whose temporal complexity and spatial complexity are cut down to max(O(|C|²|U′ _pos ||U′|,O(|U||C|)) and max(O(|C||U′ _pos ||U′|,O(|U|)) respectively. At last, an example is used to illustrate efficiency of the new algorithms.     

Sparse Dynamic Programming for Longest Common Subsequence from Fragments

Sparse Dynamic Programming has emerged as an essential tool for the design of efficient algorithms for optimization problems coming from such diverse areas as computer science, computational biology, and speech recognition. We provide a new sparse dynamic programming technique that extends the Hunt–Szymanski paradigm for the computation of the longest common subsequence (LCS) and apply it to solve the LCS from Fragments problem: given a pair of strings X and Y (of length n and m, respectively) and a set M of matching substrings of X and Y, find the longest common subsequence based only on the symbol correspondences induced by the substrings. This problem arises in an application to analysis of software systems. Our algorithm solves the problem in O(|M| log |M|) time using balanced trees, or O(|M| log log min(|M|, nm/|M|)) time using Johnson's version of Flat Trees. These bounds apply for two cost measures. The algorithm can also be adapted to finding the usual LCS in O((m + n) log |Σ| + |M| log |M|) time using balanced trees or O((m + n) log |Σ| + |M| log log min (|M|, nm/|M|)) time using Johnson's version of Flat Trees, where M is the set of maximal matches between substrings of X and Y and Σ is the alphabet. These bounds improve on those of the original Hunt–Szymanski algorithm while retaining the overall approach.     

Limsup results and LIL for partial sum processes of a Gaussian random field

Let {ξ _j ; j ∈ ℤ₊ ^d be a centered stationary Gaussian random field, where ℤ₊ ^d is the d-dimensional lattice of all points in d-dimensional Euclidean space ℝ^d, having nonnegative integer coordinates. For each j = (j ₁ , ..., jd) in ℤ₊ ^d , we denote |j| = j ₁ ... j _d and for m, n ∈ ℤ₊ ^d , define S(m, n] = Σ _m<j≤n ζ _j , σ²(|n−m|) = ES ² (m, n], S _n = S(0, n] and S ₀ = 0. Assume that σ(|n|) can be extended to a continuous function σ(t) of t > 0, which is nondecreasing and regularly varying with exponent α at b ≥ 0 for some 0 < α < 1. Under some additional conditions, we study limsup results for increments of partial sum processes and prove as well the law of the iterated logarithm for such partial sum processes. Research supported by NSERC Canada grants at Carleton University, Ottawa     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

Harmonic Functions,Entropy, and a Characterization of the Hyperbolic Space

Let (M ⁿ ,g) be a compact Riemannian manifold with Ric ≥−(n−1). It is well known that the bottom of spectrum λ ₀ of its universal covering satisfies λ ₀≤(n−1)²/4. We prove that equality holds iff M is hyperbolic. This follows from a sharp estimate for the Kaimanovich entropy. The author was partially supported by NSF Grant 0505645.     

Factorization for non-nevanlinna classes of analytic functions

A generalization of the Blaschke product is constructed. This product enables one to factor out the zeros of the members of certain non-Nevanlinna classes of functions analytic in the unit disc, so that the remaining (non-vanishing) functions still belong to the same class. This is done for the classesA ⁻ⁿ (0<n<∞) andB ⁻ⁿ (0<n<2) defined as follows:f ∈A ⁻ⁿ iff |f(z)|≦C _f (1−|z|)⁻ⁿ ,f ∈B ⁻ⁿ iff |f(z)|≦exp {C _f (1−|z|)⁻ⁿ }, whereC _f depends onf.     

Moments of randomly stopped sums-revisited

Conditions are obtained for (*)E|S _T |^γ<∞, γ>2 whereT is a stopping time and {S _n=∑ ₁ ⁿ ,X _j ℱ _n ,n⩾1} is a martingale and these ensure when (**)X _n ,n≥1 are independent, mean zero random variables that (*) holds wheneverET ^γ/2<∞, sup _n≥1 E|X _n |^γ<∞. This, in turn, is applied to obtain conditions for the validity ofE|S _k,T |^γ<∞ and of the second moment equationES _k,T ² =σ ² EΣ _j=k ^T S _k−1,j−1 ² where and {X _n , n≥1} satisfies (**) and ,n≥1. The latter is utilized to elicit information about a moment of a stopping rule. It is also shown for i.i.d. {X _n , n≥1} withEX=0,EX ²=1 that the a.s. limit set of {(n log logn)^−k/2 S _k,n ,n≥k} is [0,2 ^k/2/k!] or [−2 ^k/2/k!] according ask is even or odd and this can readily be reformulated in terms of the corresponding (degenerate kernel)U-statistic .     

Robust estimation in the linear model with asymmetric error distributions

In the linear model X^{n × 1} = C^{n × p}θ^{p × 1} + E^{n × 1}, Huber's theory of robust estimation of the regression vector θ^{p × 1} is adapted for two models for the partially specified common distribution F of the i.i.d. components of the error vector E^{n × 1}. In the first model considered, the restriction of F to a set [−a₀, b₀] is a standard normal distribution contaminated, with probability , by an unknown distribution symmetric about 0. In the second model, the restriction of F to [−a₀, b₀] is completely specified (and perhaps asymmetrical). In both models, the distribution of F outside the set [−a₀, b₀] is completely unspecified. For both models, consistent and asymptotically normal M-estimators of θ^{p × 1} are constructed, under mild regularity conditions on the sequence of design matrices {C^{n × p}}. Also, in both models, M-estimators are found which minimize the maximal mean-squared error. The optimal M-estimators have influence curves which vanish off compact sets.     

Strengthening classical results on convergence rates in strong limit theorems

Let X₁, X₂, . . . be i.i.d. random variables, and set S_n=X₁+ . . . +X_n. Several authors proved convergence of series of the type f(ɛ)=∑_nc_nP(|S_n|>ɛa_n),ɛ>α, under necessary and sufficient conditions. We show that under the same conditions, in fact i.e. the finiteness of ∑_nc_nP(|S_n|>ɛa_n),ɛ>α, is equivalent to the convergence of the double sum ∑_k∑_nc_nP(|S_n|>ka_n). Two exceptional series required deriving necessary and sufficient conditions for E[sup_n|S_n|(logn)^η/n]<∞,0≤η≤1.