Best approximation by ridge functions in <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

We study the approximation of the classes of functions by the manifold R _n formed by all possible linear combinations of n ridge functions of the form r(a · x)): It is proved that, for any 1 ≤ q ≤ p ≤ ∞, the deviation of the Sobolev class W ^r _p from the set R _n of ridge functions in the space L _q (B ^d ) satisfies the sharp order n ^-r/(d-1).     

On the nonabelian tensor square and capability of groups of order <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript><Emphasis Type="Italic">q</Emphasis>

A group G is said to be capable if it is isomorphic to the central factor group H/Z(H) for some group H. Let G be a nonabelian group of order p ² q for distinct primes p and q. In this paper, we compute the nonabelian tensor square of the group G. It is also shown that G is capable if and only if either Z(G) = 1 or p < q and G^ab=\mathbbZ_p×\mathbbZ_p{G^{\rm ab}=\mathbb{Z}_{p}\times\mathbb{Z}_{p}} .     

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.     

On <Emphasis Type="Italic">n</Emphasis>-commuting and <Emphasis Type="Italic">n</Emphasis>-skew-commuting maps with generalized derivations in prime and semiprime rings

Let R be a ring with center Z(R), let n be a fixed positive integer, and let I be a nonzero ideal of R. A mapping h: R → R is called n-centralizing (n-commuting) on a subset S of R if [h(x),x ⁿ ] ∈ Z(R) ([h(x),x ⁿ ] = 0 respectively) for all x ∈ S. The following are proved:

The commuting graphs of some subsets in the quaternion algebra over the ring of integers modulo <Emphasis Type="Italic">N</Emphasis>

Let R be an arbitrary ring, S be a subset of R, and Z(S) = {s ∈ S | sx = xs for every x ∈ S}. The commuting graph of S, denoted by Γ(S), is the graph with vertex set S \ Z(S) such that two different vertices x and y are adjacent if and only if xy = yx. In this paper, let I _n , N _n be the sets of all idempotents, nilpotent elements in the quaternion algebra ℤ _n [i, j, k], respectively. We completely determine Γ(I _n ) and Γ(N _n ). Moreover, it is proved that for n ≥ 2, Γ(I _n ) is connected if and only if n has at least two odd prime factors, while Γ(N _n ) is connected if and only if n ∈ 2, 2², p, 2p for all odd primes p.     

Semiclassical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Estimates of Quasimodes on Curved Hypersurfaces

Let M be a compact manifold of dimension n, P=P(h) a semiclassical pseudodifferential operator on M, and u=u(h) an L ² normalized family of functions such that P(h)u(h) is O(h) in L ²(M) as h↓0. Let H⊂M be a compact submanifold of M. In a previous article, the second-named author proved estimates on the L ^p norms, p≥2, of u restricted to H, under the assumption that the u are semiclassically localized and under some natural structural assumptions about the principal symbol of P. These estimates are of the form Ch ^−δ(n,k,p) where k=dim H (except for a logarithmic divergence in the case k=n−2, p=2). When H is a hypersurface, i.e., k=n−1, we have δ(n,n−1, 2)=1/4, which is sharp when M is the round n-sphere and H is an equator.     

Asymptotics of the Codimensions <Emphasis Type="Italic">c</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> in the Algebra <Emphasis Type="Italic">F</Emphasis><Superscript>(7)</Superscript>

The paper studies the additive structure of the algebra F⁽⁷⁾, i.e., a relatively free associative countably generated algebra with the identity [x₁,..., x₇] = 0 over an infinite field of characteristic ≠ 2, 3. First, the space of proper multilinear polynomials in this algebra is investigated. As an application, estimates for the codimensions c_n = dimF_n⁽⁷⁾ are obtained, where F_n⁽⁷⁾ stands for the subspace of multilinear polynomials of degree n in the algebra F⁽⁷⁾.     

The centralizer of an element in a Lie algebra of type <Emphasis Type="Italic">L</Emphasis>

In this paper, we investigate the Lie algebra L(A,α,δ) of type L and obtain the respective sufficient conditions for L(A,α,δ δ to be semisimple, and for Z(ω) = Fω as well, where 0 ≠ ω Є L(A, α, δ, δ) and Z(ω) is the centralizer of ω.     

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

Asymtotics of <Emphasis Type="Italic">M</Emphasis>-estmation in Non-linear Regression

Consider the standard non-linear regression model y _i = g(x _i , θ ₀)+ε _i , i = 1, ... ,n where g(x, θ) is a continuous function on a bounded closed region X × Θ, θ ₀ is the unknown parameter vector in Θ ⊂ R ^p , {x ₁, x ₂, ... , x _n } is a deterministic design of experiment and {ε₁, ε₂, ... , ε _n } is a sequence of independent random variables. This paper establishes the existences of M-estimates and the asymptotic uniform linearity of M-scores in a family of non-linear regression models when the errors are independent and identically distributed. This result is then used to obtain the asymptotic distribution of a class of M-estimators for a large class of non-linear regression models. At the same time, we point out that Theorem 2 of Wang (1995) (J. of Multivariate Analysis, vol. 54, pp. 227–238, Corrigenda. vol. 55, p. 350) is not correct. This research was supported by the Natural Science Foundation of China (Grant No. 19831010 and grant No. 39930160) and the Doctoral Foundation of China     

<Emphasis Type="Italic">N</Emphasis>-commutators

The N-commutator is conjecturally a well-defined nontrivial operation on for x = (x ₁, ... , x _n ) if and only if N = n ² + 2n - 2. This is proved for n = 2 and confirmed by computer experiments for n < 5. Under 2- and 5-commutators the algebra of divergence-free vector fields in two dimensions is an sh-Lie (strong homotopic Lie) algebra in the sense of Stasheff. Similarly, W(2) is an sh-Lie algebra with respect to 2- and 6-commutators.     

Hausdorff operator of special kind on <Emphasis Type="Italic">p</Emphasis>-adic field and <Emphasis Type="Italic">BMO</Emphasis>-type spaces

For Hausdorff operator with generating function having support in the unit ball of p-adic field ℚ _p we give sufficient and necessary conditions of its boundedness in BMO-type spaces: BLO(ℚ _p ⁿ ), Q _r ^α,q (ℚ _p ⁿ ) and BMO _r ^α,q (ℚ _p ⁿ ). Some embedding relations between these spaces and Besov spaces are established.     

An Example of a Fast-Decreasing (<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">A</Emphasis>)-Lacunary Function

A function analytic in the unit disk is called (p, A)-lacunary if the inequalities n _k Ak ^p hold for all k 0 with some 1 < p < and A > 0. In this paper, for 1 < p < 2 and A > 0, we construct a (p, A)-lacunary function f _1,p,A (z) decreasing as x 1 – 0 at a rate close to the optimal rate for (p, A)-lacunary functions. Bibliography: 6 titles.     

Universal Deformation Rings for the Symmetric Group <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript>

Let k be an algebraically closed field of characteristic 2, and let W be the ring of infinite Witt vectors over k. Let S ₄ denote the symmetric group on 4 letters. We determine the universal deformation ring R(S ₄,V) for every kS ₄-module V which has stable endomorphism ring k and show that R(S ₄,V) is isomorphic to either k, or W[t]/(t ²,2t), or the group ring W[ℤ/2]. This gives a positive answer in this case to a question raised by the first author and Chinburg whether the universal deformation ring of a representation of a finite group with stable endomorphism ring k is always isomorphic to a subquotient ring of the group ring over W of a defect group of the modular block associated to the representation.     

<Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Subalgebras Generated by a Single Operator in <Emphasis Type="Italic">B</Emphasis>(<Emphasis Type="Italic">H</Emphasis>)

In this paper, we characterize a C ^*-subalgebra C ^*(x) of B(H), generated by a single operator x. We show that if x is polar-decomposed by aq, where a is the partial isometry part and q is the positive operator part of x, then C ^*(x) is *-isomorphic to the groupoid crossed product algebra A_q×_a\mathbbG_a\mathcal{A}_{q}\times_{\alpha }\mathbb{G}_{a} , where A_q=C^*(q)\mathcal{A}_{q}=C^{*}(q) and \mathbbG_a\mathbb{G}_{a} is the graph groupoid induced by a partial isometry part a of x.     

On the functional equation <Emphasis Type="Italic">Af</Emphasis><Superscript>2</Superscript> + <Emphasis Type="Italic">Bg</Emphasis><Superscript>2</Superscript> = 1 on the field of complex <Emphasis Type="Italic">p</Emphasis>-adic numbers

For a fixed prime p, let C _p denote the complex p-adic numbers. For polynomials A, B ε C p [x] we consider decompositions A (x) f ² (x) + B (x) g ² (x) = 1 of entire functions f, g on C p and try to improve an impossibility result due to A. Boutabaa concerning transcendental f, g. We also provide a new proof of a p-adic diophantic statement due to D. N. Clark, which is an important ingredient of Boutabaa’s method.     

The <Emphasis Type="Italic">f</Emphasis>-Vector of the Descent Polytope

For a positive integer n and a subset S⊆[n−1], the descent polytope DP  _S is the set of points (x ₁,…,x _n ) in the n-dimensional unit cube [0,1] ⁿ such that x _i ≥x _i+1 if i∈S and x _i ≤x _i+1 otherwise. First, we express the f-vector as a sum over all subsets of [n−1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5,…}∩[n−1]. We derive a generating function for F _S (t), written as a formal power series in two non-commuting variables with coefficients in ℤ[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.     

Weighted <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> boundedness for multilinear fractional integral on product spaces

For 0 < α < mn and nonnegative integers n ≥ 2, m ≥ 1, the multilinear fractional integral is defined by

On Transference of Multipliers on Matrix Weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Spaces

We consider a periodic matrix weight W defined on ℝ ^d and taking values in the N×N positive-definite matrices. For such weights, we prove transference results between multiplier operators on L _p (ℝ ^d ;W) and L_p(\mathbb T^d;W)L_{p}(\mathbb {T}^{d};W), 1<p<∞, respectively. As a specific application, we study transference results for homogeneous multipliers of degree zero.