Generalized Hyers–Ulam–Rassias stability of n-sesquilinear-quadratic mappings on Banach modules over -algebras

Assume that X is a left Banach module over a unital C^*-algebra A. It is shown that almost every n-sesquilinear-quadratic mapping h:X×X×Xⁿ→A is an n-sesquilinear-quadratic mapping when holds for all x,y,z₁,…,z_nX.Moreover, we prove the generalized Hyers–Ulam–Rassias stability of an n-sesquilinear-quadratic mapping on a left Banach module over a unital C^*-algebra.     

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 Representations Associated with Completely n-Positive Linear Maps on Pro-C^＊-Algebras

It is shown that an n × n matrix of continuous linear maps from a pro-C^＊-algebra A to L（H）, which verifies the condition of complete positivity, is of the form [V^＊TijФ（·）V]^n i,where Ф is a representation of A on a Hilbert space K, V is a bounded linear operator from H to K, and j=1,[Tij]^n i,j=1 is a positive element in the C^＊-algebra of all n×n matrices over the commutant of Ф（A） in L（K）. This generalizes a result of C. Y.Suen in Proc. Amer. Math. Soc., 112（3）, 1991, 709-712. Also, a covariant version of this construction is given.     

<Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-nearest neighbor estimators of entropy

For estimating the entropy of an absolutely continuous multivariate distribution, we propose nonparametric estimators based on the Euclidean distances between the n sample points and their k _n -nearest neighbors, where {k _n : n = 1, 2, …} is a sequence of positive integers varying with n. The proposed estimators are shown to be asymptotically unbiased and consistent.      

PSPACE complexity of modal logic <Emphasis Type="Italic">K D</Emphasis>45<Subscript>n</Subscript>

We study sequent calculus for multi-modal logic K D45_n and its complexity. We introduce a loop-check free sequent calculus. Loop-check is eliminated by using the marked modal operator □_i^•, which is used as an alternative to sequents with histories ([8], [3], [5]). All inference rules are invertible or semi-invertible. To get this, we use or branches beside common and branches. We prove the equivalence between known sequent calculus and our newly introduced efficient sequent calculus. We concentrate on the complexity analysis of the introduced sequent calculus for multi-modal logic K D45_n. We prove that the space complexity of the given calculus is polynomial (O(l ³)). We show the maximum height of the constructed derivation tree that leads to the reduction of the time and space complexity. We present a decision algorithm for multi-modal logic K D45_n and some nontrivial examples to improve the introduced loop-check free sequent calculus.     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

Total Scalar Curvature and L 2 Harmonic 1-Forms on a Minimal Hypersurface in Euclidean Space

Let M ⁿ , n 3, be a complete oriented immersed minimal hypersurface in Euclidean space R ⁿ⁺¹. We show that if the total scalar curvature on M is less than the n/2 power of 1/C _s , where C _s is the Sobolev constant for M, then there are no L ² harmonic 1-forms on M. As corollaries, such a minimal hypersurface contains no nontrivial harmonic functions with finite Dirichlet integral and so it has only one end. This implies finally that M is a hyperplane.     

<Emphasis Type="Italic">r</Emphasis>-Minimal submanifolds in space forms

Let be an n-dimensional compact, possibly with boundary, submanifold in an (n + p)-dimensional space form R ^n+p (c). Assume that r is even and , in this paper we introduce rth mean curvature function S _r and (r + 1)-th mean curvature vector field . We call M to be an r-minimal submanifold if on M, we note that the concept of 0-minimal submanifold is the concept of minimal submanifold. In this paper, we define a functional of , by calculation of the first variational formula of J _r we show that x is a critical point of J _r if and only if x is r-minimal. Besides, we give many examples of r-minimal submanifolds in space forms. We calculate the second variational formula of J _r and prove that there exists no compact without boundary stable r-minimal submanifold with in the unit sphere S ^n+p . When r = 0, noting S ₀ = 1, our result reduces to Simons’ result: there exists no compact without boundary stable minimal submanifold in the unit sphere S ^n+p .      

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 negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

New transformations for elliptic hypergeometric series on the root system A n

Recently, Kajihara gave a Bailey-type transformation relating basic hypergeometric series on the root system A _n , with different dimensions n. We give, with a new, elementary proof, an elliptic extension of this transformation. We also obtain further Bailey-type transformations as consequences of our result, some of which are new also in the case of basic and classical hypergeometric series. 2000 Mathematics Subject Classification Primary—33D67; Secondary—11F50     

Uniformly non-l n (1) Musielak-Orlicz sequence spaces

We give a necessary and sufficient condition for the uniformly non-l _n ⁽¹⁾ property of Musielak-Orlicz sequence spacesl ^Φ generated by a sequence Φ=(ϕ_n:n⩾l) of finite Orlicz functions such that for eachn∈ℕ. As a result, forn ₀⩾2, there exist spacesl ^Φ which are only uniformly non-l _n ⁽¹⁾ forn⩾n ₀. Moreover we obtain a characterization of uniformly non-l _n ⁽¹⁾ and reflexive Orlicz sequence spaces over a wide class of purely atomic measures and of uniformly non-l _n ⁽¹⁾ Nakano sequence spaces. This extends a result of Luxemburg in [19]. Submitted in memory of Professor W. Orlicz     

On <Emphasis Type="Italic">K</Emphasis>-groups of operator algebra on the 1-shift space

In this paper we discuss the K-groups of Wiener algebra ;W. For the 1-shift space XGM2,We obtain a characterization of Fredholm operators on X^nGM2 for all n ∈ N. We also calculate the K-groups of operator algebra on the 1-shift space XGM2.     

Variance estimation for sample quantiles using them out ofn bootstrap

We consider the problem of estimating the variance of a sample quantile calculated from a random sample of sizen. Ther-th-order kernel-smoothed bootstrap estimator is known to yield an impressively small relative error of orderO(n ^−r/(2r+1) ). It nevertheless requires strong smoothness conditions on the underlying density function, and has a performance very sensitive to the precise choice of the bandwidth. The unsmoothed bootstrap has a poorer relative error of orderO(n ^−1/4), but works for less smooth density functions. We investigate a modified form of the bootstrap, known as them out ofn bootstrap, and show that it yields a relative error of order smaller thanO(n ^−1/4) under the same smoothness conditions required by the conventional unsmoothed bootstrap on the density function, provided that the bootstrap sample sizem is of an appropriate order. The estimator permits exact, simulation-free, computation and has accuracy fairly insensitive to the precise choice ofm. A simulation study is reported to provide empirical comparison of the various methods. Supported by a grant from the Research Grants Council of the Hong Kong Special Administrative Region, China (Project No. HKU 7131/00P).     

Linear structures on the collections of minimal surfaces inℝ 3 andℝ 4

The collection of minimal herissons in ³ is endowed with a vector space structure. The existence of this structure is related to the fact that null curves inC ³ are described by a single map from the étalé space of the sheaf of germs of holomorphic sections of the line bundle of degree 2 over ₁ to C³, which islinear on stalks. There is an analogous construction for null curves inC ⁴. This gives a similar class of minimal surfaces in ⁴.     

Integral Formulas for the r-Mean Curvature Linearized Operator of a Hypersurface

For a normal variation of a hypersurface M ⁿ in a space form Q _c ⁿ⁺¹ by a normal vector field fN, R. Reilly proved:

The smallness problem for -algebras

Akemann showed that any von Neumann algebra with a weak^* separable dual space has a faithful normal representation on a separable Hilbert space. He posed the question: If a C^*-algebra has a weak^* separable state space, must it have a faithful representation on a separable Hilbert space? Wright solved this question negatively and showed that a unital C^*-algebra has the weak^* separable state space if and only if it has a unital completely positive map, into a type I factor on a separable Hilbert space, whose restriction to the self-adjoint part induces an order isomorphism. He called such a C^*-algebra almost separably representable. We say that a unital C^*-algebra is small if it has a unital complete isometry into a type I factor on a separable Hilbert space. In this paper we show that a unital C^*-algebra is small if and only if the state spaces of all n by n matrix algebras over the C^*-algebra are weak^*-separable. It is natural to ask whether almost separably representable algebras are small or not. We settle this question positively for simple C^*-algebras but the general question remains open.     

Minimal Non—Commutative n—Insertive Rings

Let n be an integer with |n| > 1. If p is the smallest prime factor of |n|, we prove that a minimal non-commutative n-insertive ring contains n ⁴ elements and these rings have five (2p+4) isomorphic classes for p = 2 (p ≠ 2). This research is supported by the National Natural Science Foundation of China, and the Scientific Research Foundation for “Bai-Qian-Wan” Project, Fujian Province of China     

On the Homotopy Type of the Unitary Group and the Grassmann Space of Purely Infinite Simple C*-Algebras

We completely determine the homotopy groups _n (.) of the unitary group and the space of projections of purely infinite simple C ^*-algebras in terms of K-theory. We also prove that the unitary group of a purely infinite simple C ^*-algebra A is a contractible topological space if and only if K0(A) = K1(A) = {0}, and again if and only if the unitary group of the associated generalized Calkin algebra L(HA) / K(HA) is contractible. The well-known Kuiper's theorem is extended to a new class of C ^*-algebras.     

Localization of <Emphasis Type="Italic">LM</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-algebras

The aim of this paper is to define the localization LM _n -algebra of an LM _n —algebra L with respect to a topology F on L; in Section 5 we prove that the maximal LM _n -algebra of fractions (defined in [3]) and the LM _n -algebra of fractions relative to an Λ—closed system (defined in Section 2) are LM _n -algebras of localization.