Annihilating and power-commuting generalized skew derivations on lie ideals in prime rings

Let R be a prime ring of characteristic different from 2 and 3, Q_r its right Martindale quotient ring, C its extended centroid, L a non-central Lie ideal of R and n ≥ 1 a fixed positive integer. Let α be an automorphism of the ring R. An additive map D: R → R is called an α-derivation (or a skew derivation) on R if D(xy) = D(x)y + α(x)D(y) for all x, y ∈ R. An additive mapping F: R → R is called a generalized α-derivation (or a generalized skew derivation) on R if there exists a skew derivation D on R such that F(xy) = F(x)y + α(x)D(y) for all x, y ∈ R.     

Commutators with idempotent values on multilinear polynomials in prime rings

Let R be a prime ring of characteristic different from 2, C its extended centroid, d a nonzero derivation of R, f(x ₁, . . . , x _n ) a multilinear polynomial over C, ρ a nonzero right ideal of R and m > 1 a fixed integer such that

$$\qquad \left ([d(f(r_{1},\ldots ,r_{n})),f(r_{1},\ldots ,r_{n})]\right )^{m}=[d(f(r_{1},\ldots ,r_{n})),f(r_{1},\ldots ,r_{n})] $$

for all r ₁, . . . , r _n ∈ρ. Then either [f(x ₁,…,x _n ),x _n+1]x _n+2 is an identity for ρ or d(ρ)ρ = 0.

     

An improvement of the five halves theorem of J. Boardman

Let (M ^m , T) be a smooth involution on a closed smooth m-dimensional manifold and F = ∪ _j=0 ⁿ F ^j (n ≤ m) its fixed point set, where F ^j denotes the union of those components of F having dimension j. The famous Five Halves Theorem of J. Boardman, announced in 1967, establishes that, if F is nonbounding, then m ≤ 5/2n. In this paper we obtain an improvement of the Five Halves Theorem when the top dimensional component of F, F ⁿ , is nonbounding. Specifically, let ω = (i ₁, i ₂, …, i _r ) be a non-dyadic partition of n and s _ω (x ₁, x ₂, …, x _n ) the smallest symmetric polynomial over Z ₂ on degree one variables x ₁, x ₂, …, x _n containing the monomial \(x_1^{i_1 } x_2^{i_2 } \cdots x_r^{i_r }\). Write s _ω (F ⁿ ) ∈ H ⁿ (F ⁿ , Z ₂) for the usual cohomology class corresponding to s _ω (x ₁, x ₂, …, x _n ), and denote by ?(F ⁿ ) the minimum length of a nondyadic partition ω with s _ω (F ⁿ ) ≠ 0 (here, the length of ω = (i ₁, i ₂, …, i _r ) is r). We will prove that, if (M ^m , T) is an involution for which the top dimensional component of the fixed point set, F ⁿ , is nonbounding, then m ≤ 2n + ?(F ⁿ ); roughly speaking, the bound for m depends on the degree of decomposability of the top dimensional component of the fixed point set. Further, we will give examples to show that this bound is best possible.     

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⁽⁷⁾.     

Vanishing power values of commutators with derivations

Let R be a prime ring of char R ≠ 2, let d be a nonzero derivation of R, and let ρ be a nonzero right ideal of R such that [[d(x)x ⁿ , d(y)] _m , [y, x] _s ] ^t = 0 for all x, y ? ρ, where n ≥ 1, m ≥ 0, s ≥ 0, and t ≥ 1 are fixed integers. If [ρ, ρ]ρ ≠ 0 then d(ρ)ρ = 0.     

Homogenization of the Dirichlet problem for elliptic and parabolic systems with periodic coefficients

Let O ? R ^d be a bounded domain of class C ^1,1. Let 0 < ε - 1. In L ₂(O;C ⁿ ) we consider a positive definite strongly elliptic second-order operator B _D,ε with Dirichlet boundary condition. Its coefficients are periodic and depend on x/ε. The principal part of the operator is given in factorized form, and the operator has lower order terms. We study the behavior of the generalized resolvent (B _D,ε ? ζQ ₀(·/ε))^?1 as ε → 0. Here the matrix-valued function Q ₀ is periodic, bounded, and positive definite; ζ is a complex-valued parameter. We find approximations of the generalized resolvent in the L ₂(O;C ⁿ )-operator norm and in the norm of operators acting from L ₂(O;C ⁿ ) to the Sobolev space H ¹(O;C ⁿ ) with two-parameter error estimates (depending on ε and ζ). Approximations of the generalized resolvent are applied to the homogenization of the solution of the first initial-boundary value problem for the parabolic equation Q ₀(x/ε)? _t v _ε (x, t) = ?(B _D,ε v _ε )(x, t).     

On Extraction of Smooth Solutions of a Class of Almost Hypoelliptic Equations with Constant Power

A linear differential operator P(x, D) = P(x₁,... x _n , D₁,..., D _n ) = ∑_αγ_α(x)D^α with coefficients γ_α(x) defined in E ⁿ is called formally almost hypoelliptic in E ⁿ if all the derivatives D^ν_ξP(x, ξ) can be estimated by P(x, ξ), and the operator P(x, D) has uniformly constant power in Eⁿ. In the present paper, we prove that if P(x, D) is a formally almost hypoelliptic operator, then all solutions of equation P(x, D)u = 0, which together with some of their derivatives are square integrable with a specified exponential weight, are infinitely differentiable functions.     

Asymptotic behavior of zeros of Mittag-Leffler functions of order 1/2

Let z _n denote the sequence of zeros of the Mittag-Leffler function E _ρ (z; μ), ρ > 0, μ ∈ ?, which is an entire function of order ρ. With the exception of the case ρ = 1/2, Re μ = 3 an asymptotic behavior of the sequence z _n ^ρ was known earlier up to infinitesimals o(1) having a sharply defined rate of decrease. In this paper the behavior of the sequence z _n ^1/2 is studied just in this exceptional case. Furthermore, for ρ = 1/2, μ > 3 we give the form of a curvilinear half-plane which is free of the points z _n .     

Augmentation quotients for burnside rings of generalized dihedral groups

Let H be a finite abelian group of odd order, D be its generalized dihedral group, i.e., the semidirect product of C₂ acting on H by inverting elements, where C₂ is the cyclic group of order two. Let Ω (D) be the Burnside ring of D, Δ(D) be the augmentation ideal of Ω (D). Denote by Δⁿ(D) and Q_n(D) the nth power of Δ(D) and the nth consecutive quotient group Δⁿ(D)/Δⁿ⁺¹(D), respectively. This paper provides an explicit Z-basis for Δⁿ(D) and determines the isomorphism class of Q_n(D) for each positive integer n.     

Power-Commuting Generalized Skew Derivations in Prime Rings

Let R be a non-commutative prime ring of characteristic different from 2 with extended centroid C, F ≠ 0 a generalized skew derivation of R, and n ≥ 1 such that [F(x), x] ⁿ  = 0, for all x ∈ R. Then there exists an element λ ∈ C such that F(x) = λx, for all x ∈ R.     

Limiting law results for a class of conditional mode estimates for functional stationary ergodic data

The main purpose of the present work is to establish the functional asymptotic normality of a class of kernel conditional mode estimates when functional stationary ergodic data are considered. More precisely, consider a random variable (X,Z) taking values in some semi-metric abstract space E × F. For a real function φ defined on F and for each x ∈ E, we consider the conditional mode, say ?_φ(x), of the real random variable φ(Z) given the event “X = x”. While estimating the conditional mode function by Θ?_φ,n(x), using the kernel-type estimator, we establish the limiting law of the family of processes {Θ?_φ(x) - Θ_φ(x)} (suitably normalized) over Vapnik–Chervonenkis class C of functions φ. Beyond ergodicity, no other assumption is imposed on the data. This paper extends the scope of some previous results established under mixing condition for a fixed function φ. From this result, the asymptotic normality of a class of predictors is derived and confidence bands are constructed. Finally, a general notion of bootstrapped conditional mode constructed by exchangeably weighting samples is presented. The usefulness of this result will be illustrated in the construction of confidence bands.     

Centralizers of generalized skew derivations on multilinear polynomials

Let R be a prime ring of characteristic different from 2, let Q be the right Martindale quotient ring of R, and let C be the extended centroid of R. Suppose that G is a nonzero generalized skew derivation of R and f(x ₁,..., x _n ) is a noncentral multilinear polynomial over C with n noncommuting variables. Let f(R) = {f(r ₁,..., r _n ): r _i ∈ R} be the set of all evaluations of f(x ₁,..., x _n ) in R, while A = {[G (f(r ₁,..., r _n )), f(r ₁,..., r _n )]: r _i ∈ R}, and let C _R (A) be the centralizer of A in R; i.e., C _R (A) = {a ∈ R: [a, x] = 0, ? _x ∈ A }. We prove that if A ≠ (0), then C _R (A) = Z(R).     

On a functional equation related to derivations in prime rings

In this paper we prove the following result. Let m ≥ 1, n ≥ 1 be fixed integers and let R be a prime ring with m + n + 1 ≤ char(R) or char(R) = 0. Suppose there exists an additive nonzero mapping D : R → R satisfying the relation 2D(x ^n+m+1) = (m + n + 1)(x ^m D(x)x ⁿ + x ⁿ D(x)x ^m ) for all \({x\in R}\). In this case R is commutative and D is a derivation.     

Group analysis of the one-dimensional boltzmann equation: II. Equivalence groups and symmetry groups in the special case

We obtain relations that define the equivalence algebra of the family of one-dimensional Boltzmann equations f _t + cf _x + F(t, x, c)f _c = 0 and show that all equations of that form are locally equivalent. We carry out the group classification of the equation with respect to the function F in the special case where the function F and the transformations of the variables t and x are assumed to be independent of c. We show that, under such constraints for the transformation and the family of equations, the maximum possible symmetry algebra is eight-dimensional, which corresponds to an equation with a linear function F.     

On the Problem of the Optimal Choice of Record Values

Let the independent random variables X1, X2, … have the same continuous distribution function. The upper record values X(1) = X₁ < X(2) < … generated by this sequence of variables, as well as the lower record values x(1) = X₁ > x(2) > …, are considered. It is known that in this situation, the mean value c(n) of the total number of the both types of records among the first n variables X is given by the equality c(n)=2(1+1/2+…+1/n), n = 1, 2, …. The problem considered here is following: how, sequentially obtaining the observed values x₁, x₂, … of variables X and selecting one of them as the initial point, to obtain the maximal mean value e(n) of the considered numbers of records among the rest random variables. It is not possible to come back to rejected elements of the sequence. Some procedures of the optimal choice of the initial element X _r are discussed. The corresponding tables for the values e(n) and differences δ(n)= e(n)–c(n) are presented for different values of n. The value of δ= lim_n→∞δ(n)is also given. In some sense, the considered problem and optimization procedure presented in this paper are quite similar to the classical “secretary problem,” in which the probability of selecting the last record value in the set of independent identically distributed X is maximized.     

Estimation of the depth of reversible circuits consisting of NOT,CNOT and 2-CNOT gates

The paper discusses the asymptotic depth of a reversible circuits consisting of NOT, CNOT and 2-CNOT gates. The reversible circuit depth function D(n, q) is introduced for a circuit implementing a mapping f: Z₂ⁿ → Z₂ⁿ as a function of n and the number q of additional inputs. It is proved that for the case of implementation of a permutation from A(Z₂ⁿ) with a reversible circuit having no additional inputs the depth is bounded as D(n, 0) ? 2ⁿ/(3log₂n). It is also proved that for the case of transformation f: Z₂ⁿ → Z₂ⁿ with a reversible circuit having q₀ ~ 2ⁿ additional inputs the depth is bounded as D(n,q₀) ? 3n.     

A note on generalized Lie derivations of prime rings

Let R be a prime ring of characteristic not 2, A be an additive subgroup of R, and F, T, D, K: A-R be additive maps such that F([x, y]) = F(x)_y-yK(x)-T(y)_{x + x}D(y) for all x, yEA. Our aim is to deal with this functional identity when A is R itself or a noncentral Lie ideal of R. Eventually, we are able to describe the forms of the mappings F, T, D, and K in case A = R with deg(R) > 3 and also in the case A is a noncentral Lie ideal and deg(R) > 9. These enable us in return to characterize the forms of both generalized Lie derivations, D-Lie derivations and Lie centralizers of R under some mild assumptions. Finally, we give a generalization of Lie homomorphisms on Lie ideals.     

Graphs with small diameter determined by their <Emphasis Type="Italic">D</Emphasis>-spectra

Let G be a connected graph with vertex set V(G) = {v₁, v₂,..., v _n }. The distance matrix D(G) = (d _ij )_n×n is the matrix indexed by the vertices of G, where d _ij denotes the distance between the vertices v _i and v _j . Suppose that λ₁(D) ≥ λ₂(D) ≥... ≥ λ _n (D) are the distance spectrum of G. The graph G is said to be determined by its D-spectrum if with respect to the distance matrix D(G), any graph having the same spectrum as G is isomorphic to G. We give the distance characteristic polynomial of some graphs with small diameter, and also prove that these graphs are determined by their D-spectra.