New examples of Cantor sets in <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> that are not <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-minimal

Although every Cantor subset of the circle (S¹) is the minimal set of some homeomorphism of S¹, not every such set is minimal for a C¹ diffeomorphism of S¹. In this work, we construct new examples of Cantor sets in S¹ that are not minimal for any C¹-diffeomorphim of S¹.     

SOME NEW PROPERTIES ON L^p（Ω, H^n）

Let L^p（Ω, H^n） indicate the L^P-space of the maps for Heisenberg group target. In this paper some new properties are obtained for the space L^p（Ω, H^n）     

Fundamental groups of manifolds with <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript>-category 2

A closed topological n-manifold M ⁿ is of S ¹-category 2 if it can be covered by two open subsets W ₁,W ₂ such that the inclusions W _i → M ⁿ factor homotopically through maps W _i → S ¹ → M ⁿ . We show that the fundamental group of such an n-manifold is a cyclic group or a free product of two cyclic groups with nontrivial amalgamation. In particular, if n = 3, the fundamental group is cyclic.      

On the ideal (<Emphasis Type="Italic">v</Emphasis><Superscript>0</Superscript>)

The σ-ideal (v ⁰) is associated with the Silver forcing, see [5]. Also, it constitutes the family of all completely doughnut null sets, see [9]. We introduce segment topologies to state some resemblances of (v ⁰) to the family of Ramsey null sets. To describe add(v ⁰) we adopt a proof of Base Matrix Lemma. Consistent results are stated, too. Halbeisen’s conjecture cov(v ⁰) = add(v ⁰) is confirmed under the hypothesis t = min{cf(c), r}. The hypothesis cov(v ⁰) = ω ₁ implies that (v ⁰) has the ideal type (c, ω ₁, c).      

On noncommutative weighted local ergodic theorems on <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-spaces

In the present paper we consider a von Neumann algebra M with a faithful normal semi-finite trace τ, and {α _t }, a strongly continuous extension to L ^p (M, τ) of a semigroup of absolute contractions on L ¹(M, τ). By means of a non-commutative Banach Principle we prove for a Besicovitch function b and x ∊ L ^p (M, τ), that the averages 1/T ∫₀ ^T b(t)α _t (x)dt converge bilateral almost uniformly in L ^p (M, τ) as T → 0. Communicated by Dénes Petz     

On meromorphic solutions of <Emphasis Type="Italic">f</Emphasis><Superscript>2</Superscript> + <Emphasis Type="Italic">g</Emphasis><Superscript>2</Superscript> = 1

We show that meromorphic solutions f, g of f ² + g ² = 1 in C² must be constant, if f _z2 and g _z1 have the same zeros (counting multiplicities). We also apply the result to characterize meromorphic solutions of certain nonlinear partial differential equations.     

Weierstrass Type Representation of Willmore Surfaces in <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we reformulate the Euler-Lagrange equations of Willmore surfaces in S^n as the flatness of a family of certain loop algebra-valued 1-forms. Therefore we can give the Weierstrass type representation of conformal Willmore surfaces. We also discuss the relations between conformal Willmore surfaces in S^n and minimal surfaces in constant curvature spaces S^n, R^n, H^n, and prove that some special Willmore surfaces can be derived from minimal surfaces in S^n, R^n, H^n.     

co-*<Superscript><Emphasis Type="Italic">s</Emphasis></Superscript>-modules

J. Wei recently proposed a concept of * ^s -modules which is another generalization of *-modules besides * ⁿ -modules [J. Algebra, 2005, 291: 312–324]. In this paper, we consider the co-* ^s -modules and give some characterizations and properties. It is found that the class of co-* ^s -modules contains co-selfsmall injective cogenerators. The relations between co-* ^s -modules and co-* ⁿ -modules are also considered.     

<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)     

SPACELIKE SUBMANIFOLDS IN THE DE SITTER SPACE Sp^（n＋p）（c）WITH CONSTANT SCALAR CURVATURE

Let M^n be a closed spacelike submanifold isometrically immersed in de Sitter space Sp^(n p)(c)， Denote by R,H and S the normalized scalar curvature,the mean curvature and the square of the length of the second fundamental form of M^n ,respectively. Suppose R is constant and R≤c. The pinching problem on S is studied and a rigidity theorem for M^n immersed in Sp^(n p)(c) with parallel normalized mean curvature vector field is proved. When n≥3, the pinching constant is the best. Thus, the mistake of the paper “Space-like hypersurfaces in de Sitter space with constant scalar curvature”(see Manus Math, 1998,95 :499-505) is corrected. Moreover,the reduction of the codimension when M^n is a complete submanifold in Sp^(n p)(c) with parallel normalized mean curvature vector field is investigated.     

Littlewood–Paley theorem on spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)</Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We point out that if the Hardy–Littlewood maximal operator is bounded on the space L ^p(t)(ℝ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ, then the well-known characterization of the spaces L ^p (ℝ), 1 < p < ∞, by the Littlewood–Paley theory extends to the space L ^p(t)(ℝ). We show that, for n > 1 , the Littlewood–Paley operator is bounded on L ^p(t) (ℝ ⁿ ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ ⁿ , if and only if p(t) = const. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1709–1715, December, 2008.     

The Structure of the Closure of the Rational Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>(μ)

Let K be a compact subset in the complex plane and let A(K) be the uniform closure of the functions continuous on K and analytic on K°. Let μ be a positive finite measure with its support contained in K. For 1 ≤ q < ∞, let A^q(K, μ) denote the closure of A(K) in L^q(μ). The aim of this work is to study the structure of the space A^q(K, μ). We seek a necessary and sufficient condition on K so that a Thomson-type structure theorem for A^q(K, μ) can be established. Our theorem deduces J. Thomson’s structure theorem for P^q(μ), the closure of polynomials in L^q(μ), as the special case when K is a closed disk containing the support of μ.     

The first <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-cohomology of some groups with one end

Let p be a real number greater than one. In this paper we study the vanishing and nonvanishing of the first L ^p -cohomology space of some groups that have one end. We also make a connection between the first L ^p -cohomolgy space and the Floyd boundary of the Cayley graph of a group. We apply the result about Floyd boundaries to show that there exists a real number p such that the first L ^p -cohomology space of a nonelementary hyperbolic group does not vanish. Received: 4 August 2006 Revised: 2 November 2006     

Cyclic Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(<Emphasis Type="Bold">R</Emphasis>), 1 \le <Emphasis Type="Italic">p</Emphasis> < \infty

Functions whose translates span L ^p (R) are called L ^p-cyclic functions. For a fixed p \memb [1, \infty], we construct Schwartz-class functions which are L ^r -cyclic for r > p and not L ^r - cyclic for r \le p. We then construct Schwartz-class functions which are L ^r -cyclic for r \ge p and not L ^r -cyclic for r < p. The constructions differ for p \memb (1, 2) and p > 2.     

Geodesic loops and periodic geodesics on a Riemannian manifold diffeomorphic to <Emphasis Type="Italic">S</Emphasis><Superscript>3</Superscript>

Let M ⁿ be a closed 2-connected Riemannian manifold, such that π₃(M ⁿ ) ≠ { 0 }. In this paper we prove that either there exists a periodic geodesic on M ⁿ of length ≤ 6d, where d is the diameter of M ⁿ , or at each point p ∈ M ⁿ there exists a geodesic loop of length ≤ 2d.     

Special orthogonal splittings of<Emphasis Type="Italic">L</Emphasis><Stack><Subscript>1</Subscript><Superscript>2<Emphasis Type="Italic">k</Emphasis></Superscript></Stack>

We show that for each positive integerk there is ak×k matrixB with ±1 entries such that puttingE to be the span of the rows of thek×2k matrix [√kI _k,B], thenE,E ^⊥ is a Kashin splitting: TheL ₁ ^2k and theL ₂ ^2k are universally equivalent on bothE andE ^⊥. Moreover, the probability that a random ±1 matrix satisfies the above is exponentially close to 1. Supported by the Israel Science Foundation.     

Compromise 4<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>2<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> plans with clear two-factor interactions

This paper gets some necessary conditions for the existence of some kinds of clear 4^m2^n compromise plans which allow estimation of all main effects and some specified two-factor interactions without assuming the remaining two-factor interactions being negligible. Some methods for constructing clear 4^m2^n compromise plans are introduced.     

On the parity of the class number of an imaginary abelian field of conductor 2<Superscript><Emphasis Type="Italic">a</Emphasis></Superscript><Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">b</Emphasis></Superscript>

Let p be an odd prime number, and p^n₀{p^{n_0}} the highest power of p dividing 2 ^p−1 − 1. Let K_n=Q(z_pⁿ⁺¹){K_n={\bf Q}(\zeta_{p^{n+1}})} and L_n,j=K_n⁺(z_2^j+2){L_{n,j}=K_n^+(\zeta_{2^{j+2}})} for j ≥ 0. Let h_n^*{h_n^*} be the relative class number of K _n , and h _n,j the class number of L _n,j , respectively. Let n be an integer with n ≥ n ₀. We prove that if the ratio h_n^*/h_n-1^*{h_n^*/h_{n-1}^*} is odd, then h _n,j /h _n−1,j is odd for any j ≥ 0.     

Eigensystem of an <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-perturbed harmonic oscillator is an unconditional basis

For any complex valued L ^p -function b(x), 2 ≤ p < ∞, or L ^∞-function with the norm ‖b↾L ^∞‖ < 1, the spectrum of a perturbed harmonic oscillator operator L = −d ²/dx ² + x ² + b(x) in L ²(ℝ¹) is discrete and eventually simple. Its SEAF (system of eigen- and associated functions) is an unconditional basis in L ²(ℝ).     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">F</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

As the main result, we show that if G is a finite group such that Γ(G) = Γ(² F ₄(q)), where q = 2^2m+1 for some m ≧ 1, then G has a unique nonabelian composition factor isomorphic to ² F ₄(q). We also show that if G is a finite group satisfying |G| =|² F ₄(q)| and Γ(G) = Γ(² F ₄(q)), then G ≅ ² F ₄(q). As a consequence of our result we give a new proof for a conjecture of W. Shi and J. Bi for ² F ₄(q). The third author was supported in part by a grant from IPM (No. 87200022).