Subgraphs with Restricted Degrees of their Vertices in Large Polyhedral Maps on Compact Two-manifolds

Let k ≥ 2, be an integer and M be a closed two-manifold with Euler characteristic χ(M) ≤ 0. We prove that each polyhedral map G onM , which has at least (8 k² + 6 k − 6)|χ (M)| vertices, contains a connected subgraph H of order k such that every vertex of this subgraph has, in G, the degree at most 4 k + 4. Moreover, we show that the bound 4k + 4 is best possible. Fabrici and Jendrol’ proved that for the sphere this bound is 10 ifk = 2 and 4 k + 3 if k ≥ 3. We also show that the same holds for the projective plane.     

On the Relation between Curvature,Diameter, and Volume of a Complete Riemannian Manifold

In this note, we prove that if N is a compact totally geodesic submanifold of a complete Riemannian manifold M, g whose sectional curvature K satisfies the relation K ≥ k > 0, then for any point m ∈ M. In the case where dim M = 2, the Gaussian curvature K satisfies the relation K ≥ k ≥ 0, and γ is of length l, we get Vol (M, g) ≤ if k ≠ 0 and Vol (M, g ≤ 2ldiam (M) if k = 0.__________Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 56, No. 11, pp. 1576–1583, November, 2004.     

On minimal non-orientable matroids with elements and rank

We describe an infinite family M_n,k, with n≥4 and 1≤k≤n−2, of minimal non-orientable matroids of rank n on a set with 2n elements. For k=1,n−2, M_n,k is isomorphic to the Bland–Las Vergnas matroid M_n. For every 2≤k≤n−3 a new minimal non-orientable matroid is obtained. All proper minors of the matroids M_n,k are representable over .     

On the asymptotic behaviour of a semigroup of linear operators

Let T = {T(t)}_{t ≥ 0} be a C₀-semigroup on a Banach space X. In this paper, we study the relations between the abscissa ω_Lp(T) of weak p-integrability of T (1 ≤ p < ∞), the abscissa ω^p_R(A) of p-boundedness of the resolvent of the generator A of T (1 ≤ p ≤ ∞), and the growth bounds ω_β(T), β ≥ 0, of T. Our main results are as follows.

1. (i) Let T be a C₀-semigroup on a B-convex Banach space such that the resolvent of its generator is uniformly bounded in the right half plane. Then ω_{1 − ε}(T) < 0 for some ε > 0.

2. (ii) Let T be a C₀-semigroup on L^p such that the resolvent of the generator is uniformly bounded in the right half plane. Then ω_β(T) < 0 for all β>¦1/p − 1/p′¦, 1/p + 1/p′ = 1.

3. (iii) Let 1 ≤ p ≤ 2 and let T be a weakly L^p-stable C₀-semigroup on a Banach space X. Then for all β>1/p we have ω_β(T) ≤ 0.

Further, we give sufficient conditions in terms of ω^q_R(A) for the existence of L^p-solutions and W^1,p-solutions (1 ≤ p ≤ ∞) of the abstract Cauchy problem for a general class of operators A on X.     

Maximum Likelihood Estimation of Means and Variances from Normal Populations Under Simultaneous Order Restrictions

For k normal populations with unknown means μ_i and unknown variances σ²_i, i = 1, ..., k, assume that there are some order restrictions among the means and variances, respectively, for example, simple order restrictions: μ₁ ≤ μ₂ ≤ ... ≤ μ_k and σ²₁ ≥ σ²₂ ≥ ... ≥ σ²_k > 0. Some properties of maximum likelihood estimation of μ_is and σ²_i are discussed and an algorithm of obtaining the maximum likelihood estimators under the order restrictions is proposed.     

An Asymptotic Property of Schachermayer's Space under Renorming

Let X be a Banach space with closed unit ball B. Given k , X is said to be k-β, respectively, (k + 1)-nearly uniformly convex ((k + 1)-NUC), if for every ε > 0 there exists δ, 0 < δ < 1, so that for every x B and every ε-separated sequence (x_n) B there are indices (n_i)^k_{i = 1}, respectively, (n_i)^{k + 1}_{i = 1}, such that (1/(k + 1))||x + ∑^k_{i = 1} x_ni|| ≤ 1 − δ, respectively, (1/(k + 1))||∑^{k + 1}_{i = 1} x_ni|| ≤ 1 − δ. It is shown that a Banach space constructed by Schachermayer is 2-β, but is not isomorphic to any 2-NUC Banach space. Modifying this example, we also show that there is a 2-NUC Banach space which cannot be equivalently renormed to be 1-β.     

Optimal broadcast on parallel locality models

In this paper matching upper and lower bounds for broadcast on general purpose parallel computation models that exploit network locality are proven. These models try to capture both the general purpose properties of models like the PRAM or BSP on the one hand, and to exploit network locality of special purpose models like meshes, hypercubes, etc., on the other hand. They do so by charging a cost l(|i−j|) for a communication between processors i and j, where l is a suitably chosen latency function.An upper bound T(p)=∑_i=0^loglogp2ⁱ·l(p^1/2i) on the runtime of a broadcast on a p processor H-PRAM is given, for an arbitrary latency function l(k).The main contribution of the paper is a matching lower bound, holding for all latency functions in the range from l(k)=Ω(logk/loglogk) to l(k)=O(log²k). This is not a severe restriction since for latency functions l(k)=O(logk/log¹⁺log(k)) with arbitrary >0, the runtime of the algorithm matches the trivial lower bound Ω(logp) and for l(k)=Θ(log¹⁺k) or l(k)=Θ(k), the runtime matches the other trivial lower bound Ω(l(p)). Both upper and lower bounds apply for other parallel locality models like Y-PRAM, D-BSP and E-BSP, too.     

Cyclic Difference Packing and Covering Arrays

Let n and k be positive integers. Let C_q be a cyclic group of order q. A cyclic difference packing (covering) array, or a CDPA(k, n; q) (CDCA(k, n; q)), is a k × n array (a_ij) with entries a_ij (0 ≤ i ≤ k−1, 0 ≤ j ≤ n−1) from C_q such that, for any two rows t and h (0 ≤ t < h ≤ k−1), every element of C_q occurs in the difference list at most (at least) once. When q is even, then n ≤ q−1 if a CDPA(k, n; q) with k ≥ 3 exists, and n ≥ q+1 if a CDCA(k, n; q) with k ≥ 3 exists. It is proved that a CDCA(4, q+1; q) exists for any even positive integers, and so does a CDPA(4, q−1; q) or a CDPA(4, q−2; q). The result is established, for the most part, by means of a result on cyclic difference matrices with one hole, which is of interest in its own right.     

Existence and Regularity of a Class of Weak Solutions to the Navier–Stokes Equations

We construct a class of weak solutions to the Navier–Stokes equations, which have second order spatial derivatives and one order time derivatives, ofppower summability for 1 < p ≤ 5/4. Meanwhile, we show thatu L^s(0, T; W^{2, r}(Ω)) with 1/s + 3/2r = 2 for 1 < r ≤ 5/4.rcan be relaxed not to exceed 3/2 if we consider only in the interior of Ω. In the end, we extend the classical regularity theorem. Our results show thatuis a regular solution if u L^s(0, T; L^r(Ω)) with 1/s + 3/2r = 1 for Ω satisfying (1.3), with 1/s + 1/r = 5/6 for arbitrary domain inR³and 1 < s ≤ 2. For Ω = Rⁿwithn ≥ 3, this result was previously obtained byH. Beirão da Veiga (Chinese Ann. Math. Ser. B16, 1995, 407–412).     

Extremal Regular Graphs with Prescribed Odd Girth

The odd girth of a graph G gives the length of a shortest odd cycle in G. Let ƒ(k, g) denote the smallest n such that there exists a k-regular graph of order n and odd girth g. It is known that ƒ(k, g) ≥ kg/2 and that ƒ(k, g) = kg/2 if k is even. The exact values of ƒ(k, g) are also known if k = 3 or g = 5. Let x_e denote the smallest even integer no less than x, δ(g) = (−1)^{g − 1}/2, and s(k) = min {p + q | k = pq, where p and q are both positive integers}. It is proved that if k ≥ 5 and g ≥ 7 are both odd, then [formula] with the exception that ƒ(5, 7) = 20.     

A straightforward generalization of Diliberto and Straus' algorithm does not work

An algorithm for best approximating in the sup-norm a function f C[0, 1]² by functions from tensor-product spaces of the form π_k C[0, 1] + C[0, 1] π_l, is considered. For the case k = L = 0 the Diliberto and Straus algorithm is known to converge. A straightforward generalization of this algorithm to general k, l is formulated, and an example is constructed demonstrating that this algorithm does not, in general, converge for k² + l² > 0.     

Companions of the inequalities of Fejér--Jackson and Young

Summary Applications of some well-known theorems of Jackson and Young lead to the sharp inequalities -1<ⁿ_k-1Σ(cos(kx)+sin(kx))/k (n ≥1; 1<x<π) and -1/2Si(π)<ⁿ_k-1Σ(cos(kx)·sin(kx))/k (n ≥1; xЄR) We prove that the following counterpart is valid for all integers n ≥1 and real numbers xЄ (0, π): -3/2≤ⁿ_k-1Σ(cos(kx)-sin(kx))/k where the sign of equality holds if and only if n =2 and x = π /2.     

Almost perfect powers in consecutive integers (II)

Let k ≥ 4 be an integer. We find all integers of the form by^l where l ≥ 2 and the greatest prime factor of b is at most k (i.e. nearly a perfect power) such that they are also products of k consecutive integers with two terms omitted.     

Generalizations of Heilbronn’s triangle problem

For given integers d,j≥2 and any positive integers n, distributions of n points in the d-dimensional unit cube [0,1]^d are investigated, where the minimum volume of the convex hull determined by j of these n points is large. In particular, for fixed integers d,k≥2 the existence of a configuration of n points in [0,1]^d is shown, such that, simultaneously for j=2,…,k, the volume of the convex hull of any j points among these n points is Ω(1/n^{(j−1)/(1+|d−j+1|)}). Moreover, a deterministic algorithm is given achieving this lower bound, provided that d+1≤j≤k.     

Fundamental Groups of Closed Manifolds with Positive Curvature and Torus Actions

We determine the fundamental group of a closed n-manifold of positive sectional curvature on which a torus T^k (k large) acts effectively and isometrically. Our results are: (A) If k>(n − 3)/4 and n ≥ 17, then the fundamental group π₁(M) is isomorphic to the fundamental group of a spherical 3-space form. (B) If k ≥ (n/6)+1 and n≠ 11, 15, 23, then any abelian subgroup of π₁(M) is cyclic. Moreover, if the T^k-fixed point set is empty, then π₁(M) is isomorphic to the fundamental group of a spherical 3-space form.Mathematics Subject Classification (2000). 53-XX*Supported partially by NSF Grant DMS 0203164 and by a reach found from Beijing normal university.**Supported partially by NSFC 10371008.     

Inequalities for a Polynomial and Its Derivative II

A well-known result of Rivlin states that if p(z) is a polynomial of degree n, such that p(z) ≠ 0 in |z| < 1, then max_{|z|=r < 1} |p(z)| ≤ ((r + 1)/2)ⁿ max_{|z| = 1} |p(z)|. In this paper, we consider the polynomial p(z) = a₀ + Σⁿ_{v = μ}a_υz^υ having all its zeros in |z| ≤ k > 1 and obtain a generalization of this result. Our result improves upon a result recently proved by Bidkham and Dewan (J. Math. Anal. Appl.166 (1992), 19-324).     

Uniform Estimates for a Class of Evolution Equations

L^∞ estimates are derived for the oscillatory integral ∫⁺₀^∞e^{−i(xλ + (1/m) tλm)}a(λ) dλ, where 2 ≤ m and (x, t) × ₊. The amplitude a(λ) can be oscillatory, e.g., a(λ) = e^{it (λ)} with (λ) a polynomial of degree ≤ m − 1, or it can be of polynomial type, e.g., a(λ) = (1 + λ)^k with 0 ≤ k ≤ (m − 2). The estimates are applied to the study of solutions of certain linear pseudodifferential equations, of the generalized Schrödinger or Airy type, and of associated semilinear equations.     

Deformations of filiform Lie algebras and symplectic structures

We study symplectic structures on filiform Lie algebras, which are niplotent Lie algebras with the maximal length of the descending central sequence. Let g be a symplectic filiform Lie algebra and dim g = 2k ≥ 12. Then g is isomorphic to some ℕ-filtered deformation either of m₀(2k) (defined by the structure relations [e ₁, e _i ] = e _i+1, i = 2,…, 2k − 1) or of V _2k , the quotient of the positive part of the Witt algebra W ₊ by the ideal of elements of degree greater than 2k. We classify ℕ-filtered deformations of V _n : [e _i , e _j ] = (j − i)e _i+1 + Σ _l≥1 c _ij ^l e _i+j+l . For dim g = n ≥ 16, the moduli space ℳ_n of these deformations is the weighted projective space . For even n, the subspace of symplectic Lie algebras is determined by a single linear equation. Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2006, Vol. 252, pp. 194–216.     

Gottlieb groups of spheres

This paper takes up the systematic study of the Gottlieb groups of spheres for k≤13 by means of the classical homotopy theory methods. We fully determine the groups for k≤13 except for the 2-primary components in the cases: k=9,n=53;k=11,n=115. In particular, we show if n=2ⁱ−7 for i≥4.     

Sur l'approximation de fonctions intégrables sur [0, 1] par des polynômes de Bernstein modifies

We study here a new kind of modified Bernstein polynomial operators on L¹(0, 1) introduced by J. L. Durrmeyer in [4]. We define for f integrable on [0, 1] the modified Bernstein polynomial M_n f: M_nf(x) = (n + 1) ∑ⁿ_{k = o}P_nk(x)∝¹₀ P_nk(t) f(t) dt. If the derivative d^r f/dx^r with r 0 is continuous on [0, 1], d^r/dx^rM_n f converge uniformly on [0,1] and sup_xε[0,1] ¦M_n f(x) − f(x)¦ 2ω_f(1/trn) if ω_f is the modulus of continuity of f. If f is in Sobolev space W_l,p(0, 1) with l 0, p 1, M_n f converge to f in w^l,p(0, 1).