Lower bounds on the minimum average distance of binary codes

Let β(n,M) denote the minimum average Hamming distance of a binary code of length n and cardinality M. In this paper we consider lower bounds on β(n,M). All the known lower bounds on β(n,M) are useful when M is at least of size about 2ⁿ⁻¹/n. We derive new lower bounds which give good estimations when size of M is about n. These bounds are obtained using a linear programming approach. In particular, it is proved that lim_n→∞β(n,2n)=5/2. We also give a new recursive inequality for β(n,M).     

Absolute gradient bounds for nonparametric hypersurfaces of constant mean curvature

We consider the problem of determining the existence of absolute apriori gradient bounds of nonparametric hypersurfaces of constant mean curvature in ann-dimensional sphereB _R, 1>R>R ₀ ⁽ⁿ⁾ , (R ₀ ⁽ⁿ⁾ being a constant depending only onn), without imposing boundary conditions or bounds of any sort.

---

Sunto Consideriamo il problema di determinare stime a priori di gradienti di ipersuperfici non parametriche di curvatura media costante in una sferan-dimensionaleB _R, 1>R>R ₀ ⁽ⁿ⁾, (R ₀ ⁽ⁿ⁾ essendo una costante che dipende solo dan), senza imporre condizioni al contorno o limiti di altro tipo.

     

Best Sobolev Constants and Manifolds with Positive Scalar Curvature Metrics

We study the Yamabe invariant of manifolds which admit metrics of positive scalar curvature. Analysing `best Sobolev constants'we give a technique to find positive lower bounds for the invariant.We apply these ideas to show that for any compact Riemannian manifold (N ⁿ ,g) of positive scalarcurvature there is a positive constant K =K(N, g), which depends only on (N, g), such that for any compact manifold M ^m , the Yamabe invariantof M ^m × N ⁿ is no less than K times the invariant ofS ^{n + m} . We will find some estimates for the constant K in the case N =S ⁿ .     

Reverse hypercontractivity over manifolds

Suppose thatX is a vector field on a manifoldM whose flow, exptX, exists for all time. If μ is a measure onM for which the induced measuresμ _t ≡(exptX)_* μ are absolutely continuous with respect to μ, it is of interest to establish bounds on theL ^p (μ) norm of the Radon-Nikodym derivativedμ _t /dμ. We establish such bounds in terms of the divergence of the vector fieldX. We then specilizeM to be a complex manifold and derive reverse hypercontractivity bounds and reverse logarithmic Sololev inequalities in some holomorphic function spaces. We give examples onC ^m and on the Riemann surface forz ^1/n . Research supported in part by CONACyT, Mexico, grant 32725-E. Research supported in part by CONACyT, Mexico, grant 32146-E.     

More Epsilonized Bounds of the Boas-Kac-Lukosz Type

In this paper we give a further investigation of the method introduced by the author in [1, Frequency-domain bounds for nonnegative unsharply band-limited functions] for proving bounds for functions with nonnegative Fourier transforms. We also dealt with the question of how large the supremum K^S of all numbers |f(u)| is with f the Fourier transform of a nonnegative integrable function F and f(0) = 1, |f(ku)| ≤ ε for k ∈ S. Here u > 0 and S ⊂ {2, 3, . . .}. This problem was related in [1] to finding the infimum M^S of all numbers M_h = max_ϑ [(1−h(ϑ))/(1− cos ϑ)] over all 2π-periodic even, smooth functions h whose Fourier cosine coefficients a_k vanish for k ∉ S, and it was proved and announced for several cases that M^S (1−K^S ) = 1. In this paper we prove the results announced in [1]. To that end we generalize the method given in [1] to include Fourier transforms f of probability measures on R and a certain generalized function h, and we show that the numbers K^S, M^S are assumed as |f(u)|, M_h for certain allowed f,h. Moreover, we establish a fundamental relation between finding the numbers K^S, M^S and the numbers K^T, M^T where T = {2, 3, . . .}\S. In particular, we show that M^T = 2K^S (2K^S − 1)−1,K^T = 1/2 M^S(M^S − 1)−1 and that M^T (1 − K^T) = 1,K^SK^T = 1/2 , whenever M^S (1 − K^S) = 1.     

Induced operators on symmetry classes of tensors

LetV be ann-dimensional inner product space,T _i ,i=1,...,k, k linear operators onV, H a subgroup ofS _m (the symmetric group of degreem), a character of degree 1 andT a linear operator onV. Denote byK(T) the induced operator ofT onV (H), the symmetry class of tensors associated withH and . This note is concerned with the structure of the setK _{, m} ^H (T₁,...,T_k) consisting of all numbers of the form traceK(T ₁ U ₁...T _k U _k ) whereU _i ,i=1,...k vary over the group of all unitary operators onV. For V=ⁿ or ⁿ, it turns out thatK _{, m} ^H (T₁,...,T_k) is convex whenm is not a multiple ofn. Form=n, there are examples which show that the convexity of _{, m} ^H (T₁,...,T_k) depends onH and .The author wishes to express his thanks to Dr. Yik-Hoi Au-Yeung for his valuable advice and encouragement.     

On Ricci curvature ofC-totally real submanifolds in Sasakian space forms

LetM ⁿ be a Riemanniann-manifold. Denote byS(p) and Ric(p) the Ricci tensor and the maximum Ricci curvature onM _n, respectively. In this paper we prove that everyC-totally real submanifold of a Sasakian space formM ^2m+1(c) satisfies , whereH ² andg are the square mean curvature function and metric tensor onM ⁿ, respectively. The equality holds identically if and only if eitherM ⁿ is totally geodesic submanifold or n = 2 andM ⁿ is totally umbilical submanifold. Also we show that if aC-totally real submanifoldM ⁿ ofM ²ⁿ⁺¹ (c) satisfies identically, then it is minimal.     

Uniqueness of Markov-Extremal Polynomials on Symmetric Convex Bodies

For a compact set K\subset R ^d with nonempty interior, the Markov constants M _n (K) can be defined as the maximal possible absolute value attained on K by the gradient vector of an n -degree polynomial p with maximum norm 1 on K . It is known that for convex, symmetric bodies M _n (K) = n ² /r(K) , where r(K) is the ``half-width' (i.e., the radius of the maximal inscribed ball) of the body K . We study extremal polynomials of this Markov inequality, and show that they are essentially unique if and only if K has a certain geometric property, called flatness. For example, for the unit ball B ^d (\smallbf 0, 1) we do not have uniqueness, while for the unit cube [-1,1] ^d the extremal polynomials are essentially unique. September 9, 1999. Date revised: September 28, 2000. Date accepted: November 14, 2000.     

Properties of a certain product of submodules

Let R be a commutative ring with identity, let M be an R-module, and let K ₁, . . . ,K _n be submodules of M: We construct an algebraic object called the product of K ₁, . . . ,K _n : This structure is equipped with appropriate operations to get an R(M)-module. It is shown that the R(M)-module M ⁿ   = M . . .M and the R-module M inherit some of the most important properties of each other. Thus, it is shown that M is a projective (flat) R-module if and only if M ⁿ is a projective (flat) R(M)-module.     

Isoliertheit und Stabilität von Flächen konstanter mittlerer Krümmung

In the Sobolev space H^m(B,?³), B the open unit disc in ?², we consider the set M_n of all conformally parametrized surfaces of constant mean curvature H with exactly n simple interior branch points (and no others). We denote by M*_n the set of all xεM_n with the following properties:

1. in every branch point the geometrical condition K_G¦x_Z¦≡O holds (K_G is the Gauss curvature and x_z is the complex gradient of the surface x).
2. the corresponding boundary value problem Δh+×_z{²(2H²-K_G)h=O,^hδB=O, is uniquely solvable.

We prove then, that the manifold M*=UM*_n is open and dense in the set of all surfaces of constant mean curvature H and that all x εM*_n are isolated and stable solutions of the Plateau problem corresponding to their boundary curves. In addition, the submanifold M*_n contains exactly all surfaces x for which the space of Jacobi fields is transversal (with exception of the 3-dimensional space of conformai directions) to the tangent space T_xM_n.     

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.     

On the fundamental groups of manifolds with integral curvature bounds

In this paper, we give an upper bound on the growth of π₁(M) for a class of manifolds with integral Ricci curvature bounds. This generalizes the main theorem of [8] to the case where the negative part of Ricci curvature is small in an averaged L¹- sense.Received: 19 July 2004     

Integral inequalities with weights for maxiamal operators

Let μ be a measure on the upper half-space R ₊ ⁿ⁺¹ , and v a weight onR ⁿ, we give a characterization for the pair (v, μ) such that ∥M(fv)∥_{L Θ (μ}) ⩽ c ∥f∥_{L Θ (μ}), where Φ is an N-function satisfying Δ₂ condition andMf(x,t), is the maximal function onR ₊ ⁿ⁺¹ , which was introduced by Ruiz, F. and Torrea, J.. Supported by NSFC.     

Adjoints of semigroups acting on vector-valued function spaces

LetT(t) be the translation group onY=C ₀(ℝ×K)=C ₀(ℝ)⊗C(K),K compact Hausdorff, defined byT(t)f(x, y)=f(x+t, y). In this paper we give several representations of the sun-dialY ^⊙ corresponding to this group. Motivated by the solution of this problem, viz.Y ^⊙=L ¹(ℝ)⊗M(K), we develop a duality theorem for semigroups of the formT ₀(t)⊗id on tensor productsZ⊗X of Banach spaces, whereT ₀(t) is a semigroup onZ. Under appropriate compactness assumptions, depending on the kind of tensor product taken, we show that the sun-dial ofZ⊗X is given byZ ^⊙⊗X*. These results are applied to determine the sun-dials for semigroups induced on spaces of vector-valued functions, e.g.C ₀(Ω;X) andL ^p (μ;X). This paper was written during a half-year stay at the Centre for Mathematics and Computer Science CWI in Amsterdam. I am grateful to the CWI and the Dutch National Science Foundation NWO for financial support.     

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

Coinvariants for a coadjoint action of quantum matrices

Let K be a (algebraically closed ) field. A morphism A ⟼ g ⁻¹ Ag, where A ∈ M(n) and g ∈ GL(n), defines an action of a general linear group GL(n) on an n × n-matrix space M(n), referred to as an adjoint action. In correspondence with the adjoint action is the coaction α: K[M(n)] → K[M(n)] ⊗ K[GL(n)] of a Hopf algebra K[GL(n)] on a coordinate algebra K[M(n)] of an n × n-matrix space, dual to the conjugation morphism. Such is called an adjoint coaction. We give coinvariants of an adjoint coaction for the case where K is a field of arbitrary characteristic and one of the following conditions is satisfied: (1) q is not a root of unity; (2) char K = 0 and q = ±1; (3) q is a primitive root of unity of odd degree. Also it is shown that under the conditions specified, the category of rational GL _q × GL _q -modules is a highest weight category.     

On the conditions to control curvature tensors of Ricci flow

An important problem in the study of Ricci flow is to find the weakest conditions that provide control of the norm of the full Riemannian curvature tensor. In this article, supposing (M ⁿ , g(t)) is a solution to the Ricci flow on a Riemmannian manifold on time interval [0, T), we show that L^\fracn+22{L^\frac{n+2}{2}} norm bound of scalar curvature and Weyl tensor can control the norm of the full Riemannian curvature tensor if M is closed and T < ∞. Next we prove, without condition T < ∞, that C ⁰ bound of scalar curvature and Weyl tensor can control the norm of the full Riemannian curvature tensor on complete manifolds. Finally, we show that to the Ricci flow on a complete non-compact Riemannian manifold with bounded curvature at t = 0 and with the uniformly bounded Ricci curvature tensor on M ⁿ  × [0, T), the curvature tensor stays uniformly bounded on M ⁿ  × [0, T). Hence we can extend the Ricci flow up to the time T. Some other results are also presented.     

Totally real minimal 2-spheres in quaternionic projective space

Let HPn be the quaternionic projective space with constant quaternionic sectional curvature 4. Then locally there exists a tripe {I, J, K} of complex structures on HPn satisfying U = -JI = K,JK = -KJ = /, KI = -IK = J. A surface M(？) HPn is called totally real, if at each point p ∈M the tangent plane TPM is perpendicular to I(TPM), J(TPM) and K(TPM). It is known that any surface M(？)RPn(？) HPn is totally real, where RPn (?) HPn is the standard embedding of real projective space in HPn induced by the inclusion R in H, and that there are totally real surfaces in HPn which don't come from this way. In this paper we show that any totally real minimal 2-sphere in HPn is isometric to a full minimal 2-sphere in Rp2m (？) RPn(？) HPn with 2m≤n. As a consequence we show that the Veronese sequences in KP2m (m≥1) are the only totally real minimal 2-spheres with constant curvature in the quaternionic projective space.     

Rate of convergence of the mean curvature flow

We study the flow M_t of a smooth, strictly convex hypersurface by its mean curvature in ?^{n + 1}. The surface remains smooth and convex, shrinking monotonically until it disappears at a critical time T and point x^* (which is due to Huisken). This is equivalent to saying that the corresponding rescaled mean curvature flow converges to a sphere Sⁿ of radius √n. In this paper we will study the rate of exponential convergence of a rescaled flow. We will present here a method that tells us that the rate of the exponential decay is at least 2/n. We can define the “arrival time” u of a smooth, strictly convex, n‐dimensional hypersurface as it moves with normal velocity equal to its mean curvature via u(x) = t if x ∈ M_t for x ∈ Int(M₀). Huisken proved that, for n ≥ 2, u(x) is C² near x^*. The case n = 1 has been treated by Kohn and Serfaty [11]; they proved C³‐regularity of u. As a consequence of the obtained rate of convergence of the mean curvature flow, we prove that u is not necessarily C³ near x^* for n ≥ 2. We also show that the obtained rate of convergence 2/n, which arises from linearizing a mean curvature flow, is the optimal one, at least for n ≥ 2. © 2007 Wiley Periodicals, Inc.     

Differentiable Eigenvalues of Perturbed Quadratic Matrix Functions

Let T(λ, ε ) = λ² + λC + λεD + K be a perturbed quadratic matrix polynomial, where C, D, and K are n × n hermitian matrices. Let λ₀ be an eigenvalue of the unperturbed matrix polynomial T(λ, 0). With the falling part of the Newton diagram of det T(λ, ε), we find the number of differentiable eigenvalues. Some results are extended to the general case L(λ, ε) = λ² + λD(ε) + K, where D(ε) is an analytic hermitian matrix function. We show that if K is negative definite on Ker L(λ₀, 0), then every eigenvalue λ(ε) of L(λ, ε) near λ₀ is analytic.