On holomorphic curves in a complex Grassmann manifold <Emphasis Type="Italic">G</Emphasis>(2, <Emphasis Type="Italic">n</Emphasis>)

Let s : S ² → G(2, n) be a linearly full totally unramified non-degenerate holomorphic curve in a complex Grassmann manifold G(2, n), and let K(s) be its Gaussian curvature. It is proved that K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) satisfies K(s) 3 \frac4n-2{K(s) \geq \frac{4}{n-2}} or K(s) ￡ \frac4n-2 {K(s) \leq \frac{4}{n-2} } everywhere on S ². In particular, K(s) = \frac4n-2{K(s) = \frac{4}{n-2}} if K(s) is constant.     

Eigenvalues of the Manifold Sp（n）/U（n）

In this paper, we give the eigenvalues of the manifold Sp(n)/U(n). We prove that an eigenvalue λ _s (f ₂, f ₂, …, f _n ) of the Lie group Sp(n), corresponding to the representation with label (f ₁, f ₂, ..., f _n ), is an eigenvalue of the manifold Sp(n)/U(n), if and only if f ₁, f ₂, …, f _n are all even.     

Induced Subdivisions In <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">s,s</Emphasis></Subscript>-Free Graphs of Large Average Degree

We prove that for every graph H and for every s there exists d=d(H,s) such that every graph of average degree at least d contains either a K_s,s as a subgraph or an induced subdivision of H.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9     

Nonlinear Preserver Problems on B（H）

Let H be a complex Hilbert space of dimension greater than 2, and B(H) denote the Banach algebra of all bounded linear operators on H. For A, B ∈ B(H), define the binary relation A ≤* B by A*A = A*B and AA* = AB*. Then (B(H), “≤*”) is a partially ordered set and the relation “≤*” is called the star order on B(H). Denote by Bs(H) the set of all self-adjoint operators in B(H). In this paper, we first characterize nonlinear continuous bijective maps on B _s (H) which preserve the star order in both directions. We characterize also additive maps (or linear maps) on B(H) (or nest algebras) which are multiplicative at some invertible operator.     

On Generalized Hardy Sums <Emphasis Type="Italic">s</Emphasis><Subscript>5</Subscript>(<Emphasis Type="Italic">h,k</Emphasis>)

The aim of this paper is to study generalized Hardy sums s ₅(h, k). By using mediants and the adjacent difference of Farey fractions, we establish a relationship between s ₅(h, k) and Farey fractions. Using generalized Dedekind sums and a generalized periodic Bernoulli function, we define generalized Hardy sums s _5,p (h,k). A relationship between s _5,p (h, k) and the Hurwitz zeta function is established. By using the definitions of Lambert series and cotπz, we establish a relationship between s ₅(h,k) and Lambert series.__________Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 56, No. 10, pp. 1434–1440, October, 2004.     

The <Emphasis Type="Italic">s</Emphasis>-energy of spherical designs on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript>

This paper investigates the s-energy of (finite and infinite) well separated sequences of spherical designs on the unit sphere S ². A spherical n-design is a point set on S ² that gives rise to an equal weight cubature rule which is exact for all spherical polynomials of degree ≤n. The s-energy E _s (X) of a point set of m distinct points is the sum of the potential for all pairs of distinct points . A sequence Ξ = {X _m } of point sets X _m ⊂S ², where X _m has the cardinality card(X _m )=m, is well separated if for each pair of distinct points , where the constant λ is independent of m and X _m . For all s>0, we derive upper bounds in terms of orders of n and m(n) of the s-energy E _s (X _m(n)) for well separated sequences Ξ = {X _m(n)} of spherical n-designs X _m(n) with card(X _m(n))=m(n).      

Smooth noncompact operators from <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>), <Emphasis Type="Italic">K</Emphasis> scattered

Let X be a Banach space, K be a scattered compact and T: B _C(K) → X be a Fréchet smooth operator whose derivative is uniformly continuous. We introduce the smooth biconjugate T**: B _C(K)** → X** and prove that if T is noncompact, then the derivative of T** at some point is a noncompact linear operator. Using this we conclude, among other things, that either is compact or that ℓ₁ is a complemented subspace of X*. We also give some relevant examples of smooth functions and operators, in particular, a C ^1,u -smooth noncompact operator from B _{c O} which does not fix any (affine) basic sequence. P. Hájek was supported by grants A100190502, Institutional Research Plan AV0Z10190503.     

On the Chromatic Number of the Square of the Kneser Graph <Emphasis Type="Italic">K</Emphasis>(2<Emphasis Type="Italic">k</Emphasis>+1, <Emphasis Type="Italic">k</Emphasis>)

The Kneser graph K(n, k) is the graph whose vertices are the k-element subsets of an n-element set, with two vertices adjacent if the sets are disjoint. The chromatic number of the Kneser graph K(n, k) is n–2k+2. Zoltán Füredi raised the question of determining the chromatic number of the square of the Kneser graph, where the square of a graph is the graph obtained by adding edges joining vertices at distance at most 2. We prove that (K²(2k+1, k))4k when k is odd and (K²(2k+1, k))4k+2 when k is even. Also, we use intersecting families of sets to prove lower bounds on (K²(2k+1, k)), and we find the exact maximum size of an intersecting family of 4-sets in a 9-element set such that no two members of the family share three elements.This work was partially supported by NSF grant DMS-0099608Final version received: April 23, 2003     

A space <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">X</Emphasis>) is dominated by irrationals if and only if it is<Emphasis Type="Italic"> K</Emphasis>-analytic

Summary We prove that, for any Tychonoff X, the space C_p(X) is K-analytic if and only if it has a compact cover {K_p: p } such that K_p subset K_q whenever p,q and p q. Applying this result we show that if C_p(X) is K-analytic then C_p(X) is K-analytic as well. We also establish that a space C_p(X) is K-analytic and Baire if and only if X is countable and discrete.     

A study of (<Emphasis Type="Italic">x</Emphasis>(<Emphasis Type="Italic">q</Emphasis> + 1), <Emphasis Type="Italic">x</Emphasis>; 2, <Emphasis Type="Italic">q</Emphasis>)-minihypers

In this paper, we study the weighted (x(q + 1), x; 2, q)-minihypers. These are weighted sets of x(q + 1) points in PG(2, q) intersecting every line in at least x points. We investigate the decomposability of these minihypers, and define a switching construction which associates to an (x(q + 1), x; 2, q)-minihyper, with x ≤ q ² − q, not decomposable in the sum of another minihyper and a line, a (j(q + 1), j; 2, q)-minihyper, where j = q ² − q − x, again not decomposable into the sum of another minihyper and a line. We also characterize particular (x(q + 1), x; 2, q)-minihypers, and give new examples. Additionally, we show that (x(q + 1), x; 2, q)-minihypers can be described as rational sums of lines. In this way, this work continues the research on (x(q + 1), x; 2, q)-minihypers by Hill and Ward (Des Codes Cryptogr 44:169–196, 2007), giving further results on these minihypers.     

Extending Lipschitz maps into <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)-spaces

We show that if K is a compact metric space then C(K) is a 2-absolute Lipschitz retract. We then study the best Lipschitz extension constants for maps into C(K) from a given metric space M, extending recent results of Lancien and Randrianantoanina. They showed that a finite-dimensional normed space which is polyhedral has the isometric extension property for C(K)-spaces; here we show that the same result holds for spaces with Gateaux smooth norm or of dimension two; a three-dimensional counterexample is also given. We also show that X is polyhedral if and only if every subset E of X has the universal isometric extension property for C(K)-spaces. We also answer a question of Naor on the extension of Hölder continuous maps.     

Riesz <Emphasis Type="Italic">s</Emphasis>-Equilibrium Measures on <Emphasis Type="Italic">d</Emphasis>-Rectifiable Sets as <Emphasis Type="Italic">s</Emphasis> Approaches <Emphasis Type="Italic">d</Emphasis>

Let A be a compact set in of Hausdorff dimension d. For s ∈ (0,d) the Riesz s-equilibrium measure μ ^s is the unique Borel probability measure with support in A that minimizes

Complete Minors In <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">s,s</Emphasis></Subscript>-Free Graphs

We prove that for a fixed integer s2 every K _s,s -free graph of average degree at least r contains a K _p minor where . A well-known conjecture on the existence of dense K _s,s -free graphs would imply that the value of the exponent is best possible. Our result implies Hadwigers conjecture for K _s,s -free graphs whose chromatic number is sufficiently large compared with s.     

Congruences Concerning Values of the Modular Functions <Emphasis Type="Italic">j</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

The j-function j(z) = q⁻¹+ 744 + 196884q + ⋅s plays an important role in many problems. In [7], Zagier, presented an interesting series of functions obtained from the j-function: j_m(ζ) = (j(ζ) – 744)∨T₀(m), where T₀(m) is the usual m′th normalized weight 0 Hecke operator. In [3], Bruinier et al. show how this series of functions can be used to describe all meromorphic modular forms on SL₂(ℤ). In this note we use these functions and basic notions about modular forms to determine previously unidentified congruence relations between the coefficients of Eisenstein series and the j-function. 2000 Mathematics Subject Classification: Primary–11B50, 11F03, 11F30 The author thanks the National Science Foundation for their generous support.     

On <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">1</Emphasis></Subscript> of a self-product of a curve

We present elements of H¹(C×C, ᵊ6₂) for certain specific curves C. The image of the element under the boundary map arising from the localization sequence of K-theory is the graph of frobenius endomorphism of the reduction of the curve modulo 3.     

Symplectic semifield spreads of <Emphasis Type="Italic">PG</Emphasis>(5, <Emphasis Type="Italic">q</Emphasis>) and the veronese surface

In this paper we show that starting from a symplectic semifield spread S{\mathcal{S}} of PG(5, q), q odd, another symplectic semifield spread of PG(5, q) can be obtained, called the symplectic dual of S{\mathcal{S}}, and we prove that the symplectic dual of a Desarguesian spread of PG(5, q) is the symplectic semifield spread arising from a generalized twisted field. Also, we construct a new symplectic semifield spread of PG(5, q) (q = s ², s odd), we describe the associated commutative semifield and deal with the isotopy issue for this example. Finally, we determine the nuclei of the commutative pre-semifields constructed by Zha et al. (Finite Fields Appl 15(2):125–133, 2009).     

Upper triangular operators and <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis>-functions

For a newform f for Γ₀(N) of even weight k supersingular at a prime p ≥ 5, by using infinite dimensional p-adic analysis, we prove that the p-adic L-function L _p (f,α; χ) has finite order of vanishing at any character of the form [(c)\tilde] _s ( x ) = x^s\tilde \chi _s \left( x \right) = x^s. In particular, under the natural embedding of ℤ _p in the group of ℂ* _p -valued continuous characters of ℤ* _p , the order of vanishing at any point is finite.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> approximation capability of RBF neural networks

L ^p approximation capability of radial basis function (RBF) neural networks is investigated. If g: R ₊¹ → R ¹ and ∈ L _loc ^p (R ⁿ ) with 1 ≤ p < ∞, then the RBF neural networks with g as the activation function can approximate any given function in L ^p (K) with any accuracy for any compact set K in R ⁿ , if and only if g(x) is not an even polynomial. Partly supported by the National Natural Science Foundation of China (10471017)