On the spectrum of n quasigroups with given conjugate invariant subgroup

Let tⁿ be a vector of n positive integers that sum to 2n ? 1. Let u denote a vector of n or more positive integers that sum to n², and call u, n-universal if for every possible choice of t¹, t²,…, tⁿ, the components of the tⁱ can be arranged in the successive rows of an n-row matrix (with 0 in each unused cell) so that u is the vector of column sums.It is shown that (n,…, n)_{(n times)} is n-universal for every n. More generally, for odd n, any choice of t¹, t³,…, tⁿ can be placed in rows so that the column sums are (n, n?1,…, 2, 1); for even n, any choice of t², t⁴,…, tⁿ can be placed in rows so that the column sums are (n, n ?1,…, 2, 1). Hence, any u that can be obtained from the sum of two rows whose nonzero components are, respectively, n, n ?1,…, 2, 1 and n ?1, n ?2,…, 2, 1 (in any order, with 0's elsewhere) is n-universal.The problem examined is closely related to the graph conjecture that trees on 2, 3,…, n + 1 vertices can be superposed to yield the complete graph on n + 1 vertices.     

Power Values of Derivations with Annihilator Conditions on Lie Ideals in Prime Rings

Let R be a prime ring of char R ≠ 2, d a nonzero derivation of R, U a noncentral Lie ideal of R, and a ∈ R. If au ^{n ₁} d(u) ^{n ₂} u ^{n ₃} d(u) ^{n ₄} u ^{n ₅} … d(u) ^{n _k?1} u ^{n _k}  = 0 for all u ∈ U, where n ₁, n ₂,…,n _k are fixed non-negative integers not all zero, then a = 0 and if a(u ^s d(u)u ^t ) ⁿ  ∈ Z(R) for all u ∈ U, where s ≥ 0, t ≥ 0, n ≥ 1 are some fixed integers, then either a = 0 or R satisfies S ₄, the standard identity in four variables.     

On the number of positive solutions of elliptic systems

The paper deals with the existence, multiplicity and nonexistence of positive radial solutions for the elliptic system div(|?|^{p –2}?) + λk_i (|x |) fⁱ (u₁, …,u_n) = 0, p > 1, R₁ < |x | < R₂, u_i (x) = 0, on |x | = R₁ and R₂, i = 1, …, n, x ∈ ?^N , where k_i and fⁱ, i = 1, …, n, are continuous and nonnegative functions. Let u = (u₁, …, u_n), φ (t) = |t |^{p –2}t, fⁱ₀ = lim_{‖ u ‖→0}((fⁱ ( u ))/(φ (‖ u ‖))), fⁱ_∞= lim_{‖ u ‖→∞}((fⁱ ( u ))/(φ (‖ u ‖))), i = 1, …, n, f = (f¹, …, fⁿ), f ₀ = ∑ⁿ _{i =1} fⁱ ₀ and f _∞ = ∑ⁿ _{i =1} fⁱ _∞. We prove that either f ₀ = 0 and f _∞ = ∞ (superlinear), or f ₀ = ∞and f _∞ = 0 (sublinear), guarantee existence for all λ > 0. In addition, if fⁱ ( u ) > 0 for ‖ u ‖ > 0, i = 1, …, n, then either f ₀ = f _∞ = 0, or f ₀ = f _∞ = ∞, guarantee multiplicity for sufficiently large, or small λ, respectively. On the other hand, either f₀ and f_∞ > 0, or f₀ and f_∞ < ∞ imply nonexistence for sufficiently large, or small λ, respectively. Furthermore, all the results are valid for Dirichlet/Neumann boundary conditions. We shall use fixed point theorems in a cone. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On additive maps of prime rings satisfying the engel condition

Let A be a prime ring with nonzero right ideal R and f : R → A an additive map. Next, let k,n₁, n₂,…,n_k be natural numbers. Suppose that […[[(x), xn¹], xn²],…, xn^k]=0 for all x ∈ R. Then it is proved in Theorem 1.1 that [f(x),x]=0 provided that either char(A)=0 or char (A)> n₁+n₂+ …+n_k Theorem 1.1 is a simultaneous generalization of a number of results proved earlier.     

On antipodal Euclidean tight (2e + 1)-designs

Neumaier and Seidel (1988) generalized the concept of spherical designs and defined Euclidean designs in ℝ ⁿ . For an integer t, a finite subset X of ℝ ⁿ given together with a weight function w is a Euclidean t-design if holds for any polynomial f(x) of deg(f)≤ t, where {S _i , 1≤ i ≤ p} is the set of all the concentric spheres centered at the origin that intersect with X, X _i = X∩ S _i , and w:X→ ℝ_{> 0}. (The case of X⊂ S ⁿ⁻¹ with w≡ 1 on X corresponds to a spherical t-design.) In this paper we study antipodal Euclidean (2e+1)-designs. We give some new examples of antipodal Euclidean tight 5-designs. We also give the classification of all antipodal Euclidean tight 3-designs, the classification of antipodal Euclidean tight 5-designs supported by 2 concentric spheres.     

Derivations with power central values on Lie ideals in prime rings

Let R be a prime ring of char R ≠ 2 with a nonzero derivation d and let U be its noncentral Lie ideal. If for some fixed integers n ₁ ⩾ 0, n ₂ ⩾ 0, n ₃ ⩾ 0, (u ⁿ¹ [d(u), u]u ⁿ²) ⁿ³ ∈ Z(R) for all u ∈ U, then R satisfies S ₄, the standard identity in four variables.     

Prime links in some skew-polynomial and skew-laurent rings

Let R be a Noetherian commutative ring and a α₁,…,α_n commuting automorphisms of R. Define T = R[θ₁,…,θ_n;α₁,…,α_n] to be the skew-polynomial ring with θ_ir = α_i(r)θ_i and θ_iθ_j= θ_jθ_i, for all i,j ? (1,…,n) and r ? R, and let S = Rθ₁,θ₁:^-1,…,θ_n:,θ_n;^-1;α₁:,…,α_n] be the corresponding skew-Laurent ring. In this paper we show that S and T satisfy the strong second layer condition and characterize the links between prime ideals in these rings.     

Degeneracy of holomorphic curves in surfaces

LetX be a complex projective algebraic manifold of dimension 2 and let D₁, ..., D_u be distinct irreducible divisors onX such that no three of them share a common point. Let\(f:{\mathbb{C}} \to X\backslash ( \cup _{1 \leqslant i \leqslant u} D_i )\) be a holomorphic map. Assume thatu ? 4 and that there exist positive integers n₁, ... ,n_u,c such that n_in_J D _i.D_j) =c for all pairsi,j. Thenf is algebraically degenerate, i.e. its image is contained in an algebraic curve onX.     

A note on the oscillatory property for nonlinear difference equations and differential equations

Criteria are given to determine the oscillatory property of solutions of the nonlinear difference equation: Δ^du_n + ∑_{i = 1}^mp_inf_i(u_n, Δu_n,…,Δ^{d ? 1}u_n) = 0, n = 0, 1, 2,…, where d is an arbitrary integer, generalizing results that have been obtained by B. Szmanda (J. Math. Anal. Appl.79 (1981), 90–95) for d = 2. Analogous results are given for the differential equation: u^(d) + ∑_{i = 1}^mp_i(t)f_i(u, u′,…, u^{(d ? 1)}) = 0, t ? t₀, which coincide with the criteria given by 2., 3., 599–602) and 4., 5., 6., 715–719) for the case m = 1.     

On maximal antichains consisting of sets and their complements

Let 1 ? k₁ ? k₂ ? … ? k_n be integers and let S denote the set of all vectors x = (x₁, x₂, …, x_n) with integral coordinates satisfying 0 ? x_i ? k_i, i = 1, 2, …, n. The complement of x is (k₁ ? x₁, k₂ ? x₂, …, k_n ? x_n) and a subset X of S is an antichain provided that for any two distinct elements x, y of X, the inequalities x_i ? y_i, i = 1, 2, …, n, do not all hold. We determine an LYM inequality and the maximal cardinality of an antichain consisting of vectors and its complements. Also a generalization of the Erdös-Ko-Rado theorem is given.     

Disjoint skolem sequences and related disjoint structures

A Skolem sequence of order n is a sequence S = (s₁, s₂…, s²ⁿ) of 2n integers satisfying the following conditions: (1) for every k ∈ {1, 2,… n} there exist exactly two elements s_i,S_j such that S_i = S_j = k; (2) If s_i = s_j = k,i < j then j ? i = k. In this article we show the existence of disjoint Skolem, disjoint hooked Skolem, and disjoint near-Skolem sequences. Then we apply these concepts to the existence problems of disjoint cyclic Steiner and Mendelsohn triple systems and the existence of disjoint 1-covering designs. © 1993 John Wiley & Sons, Inc.     

Asymptotic distributions of functions of the eigenvalues of sample covariance matrix and canonical correlation matrix in multivariate time series

Let S = (1/n) Σ_t=1ⁿ X(t) X(t)′, where X(1), …, X(n) are p × 1 random vectors with mean zero. When X(t) (t = 1, …, n) are independently and identically distributed (i.i.d.) as multivariate normal with mean vector 0 and covariance matrix Σ, many authors have investigated the asymptotic expansions for the distributions of various functions of the eigenvalues of S. In this paper, we will extend the above results to the case when {X(t)} is a Gaussian stationary process. Also we shall derive the asymptotic expansions for certain functions of the sample canonical correlations in multivariate time series. Applications of some of the results in signal processing are also discussed.     

Balancing vectors and Gaussian measures of n-dimensional convex bodies

Let ‖·‖ be the Euclidean norm on R ⁿ and γ_n the (standard) Gaussian measure on R ⁿ with density (2π)^−n/2e. It is proved that there is a numerical constant c>0 with the following property: if K is an arbitrary convex body in R ⁿ with γ_n(K)≥1/2, then to each sequence u₁,…,u_m∈ R ⁿ with ‖u₁‖,…,‖u_m‖≤c there correspond signs ε₁,…,ε_m=±1 such that ∑^m_i=1ε_iu_i∈K. This improves the well-known result obtained by Spencer [Trans. Amer. Math. Soc. 289 , 679–705 (1985)] for the n-dimensional cube. © 1998 John Wiley & Sons, Inc. Random Struct. Alg., 12: 351–360, 1998     

The influence of variables in product spaces

LetX be a probability space and letf: X ⁿ → {0, 1} be a measurable map. Define the influence of thek-th variable onf, denoted byI _f (k), as follows: Foru=(u ₁,u ₂,…,u _n−1) ∈X ⁿ⁻¹ consider the setl _k (u)={(u ₁,u ₂,...,u _k−1,t,u _k ,…,u _n−1):t ∈X}. More generally, forS a subset of [n]={1,...,n} let the influence ofS onf, denoted byI _f (S), be the probability that assigning values to the variables not inS at random, the value off is undetermined. Theorem 1:There is an absolute constant c ₁ so that for every function f: X ⁿ → {0, 1},with Pr(f ⁻¹(1))=p≤1/2,there is a variable k so that Theorem 2:For every f: X ⁿ → {0, 1},with Prob(f=1)=1/2, and every ε>0,there is S ⊂ [n], |S|=c ₂(ε)n/logn so that I _f (S)≥1−ε. These extend previous results by Kahn, Kalai and Linial for Boolean functions, i.e., the caseX={0, 1}. Work supported in part by grants from the Binational Israel-US Science Foundation and the Israeli Academy of Science.     

Some Remarks on the Number of Solutions to the Equation f(X1) + … + f(Xn) = 0

Let S, T be finite sets, and let f be a function from S to T. Fix an element t in T, and let c_n denote the number of n-tuples (X₁,…,X_n) satisfying f(X₁) + … + f(X_n) = t here + denotes any binary operation on T. The sequence c₁, c₂,… satisfies a linear recurrence relation of degree at most |T|.     

Collinear subsets of lattice point sequences—An analog of Szemerédi's theorem

Szemerédi's theorem states that given any positive number B and natural number k, there is a number n(k, B) such that if n ? n(k, B) and 0 < a₁ < … < a_n is a sequence of integers with a_n ? Bn, then some k of the a_i form an arithmetic progression. We prove that given any B and k, there is a number m(k, B) such that if m ? m(k, B) and u₀, u₁, …, u_m is a sequence of plane lattice points with ∑_i=1^m…u_i ? u_i?1… ? Bm, then some k of the u_i are collinear. Our result, while similar to Szemerédi's theorem, does not appear to imply it, nor does Szemerédi's theorem appear to imply our result.     

Constant‐sign solutions for singular systems of Fredholm integral equations

We consider the system of Fredholm integral equations where T>0 is fixed and the nonlinearities H_i(t, u₁, u₂, …, u_n) can be singular at t=0 and u_j=0 where j∈{1, 2, …, n}. Criteria are offered for the existence of constant‐sign solutions, i.e. θ_iu_i(t)≥0 for t∈[0, 1] and 1≤i≤n, where θ_i∈{1,?1} is fixed. We also include an example to illustrate the usefulness of the results obtained. Copyright © 2010 John Wiley & Sons, Ltd.     

On improved estimators of the generalized variance

Treated in this paper is the problem of estimating with squared error loss the generalized variance | Σ | from a Wishart random matrix S: p × p W_p(n, Σ) and an independent normal random matrix X: p × k N(ξ, Σ I_k) with ξ(p × k) unknown. Denote the columns of X by X₍₁₎ ,…, X_(k) and set ψ⁽⁰⁾(S, X) = {(n − p + 2)!/(n + 2)!} | S |, ψ⁽ⁱ⁾(X, X) = min[ψ⁽ⁱ⁻¹⁾(S, X), {(n − p + i + 2)!/(n + i + 2)!} | S + X₍₁₎ X′₍₁₎ + + X_(i) X′_(i) |] and Ψ⁽ⁱ⁾(S, X) = min[ψ⁽⁰⁾(S, X), {(n − p + i + 2)!/(n + i + 2)!}| S + X₍₁₎ X′₍₁₎ + + X_(i) X′_(i) |], i = 1,…,k. Our result is that the minimax, best affine equivariant estimator ψ⁽⁰⁾(S, X) is dominated by each of Ψ⁽ⁱ⁾(S, X), i = 1,…,k and for every i, ψ⁽ⁱ⁾(S, X) is better than ψ⁽ⁱ⁻¹⁾(S, X). In particular, ψ^(k)(S, X) = min[{(n − p + 2)!/(n + 2)!} | S |, {(n − p + 2)!/(n + 2)!} | S + X₍₁₎X′₍₁₎|,…,| {(n − p + k + 2)!/(n + k + 2)!} | S + X₍₁₎X′₍₁₎ + + X_(k)X′_(k)|] dominates all other ψ's. It is obtained by considering a multivariate extension of Stein's result (Ann. Inst. Statist. Math. 16, 155–160 (1964)) on the estimation of the normal variance.     

ADDITIVE SUBGROUPS GENERATED BY POLYNOMIAL VALUES ON RIGHT IDEALS

Let R be a prime ring with extended centroid C, ρ a nonzero right ideal of R and f(X ₁,…,X_t ) a nonzero polynomial over C. We determine the additive subgroup of RC generated by all elements f(x ₁,…,x_t ) for x ₁,…,x_t ∈ ρ C and obtain a result concerning an independence property of polynomials in prime rings.     

A Remark on Self-Normalization for Dependent Random Variables

Let (X _t , t ∈ Z) be a stationary process, and let S _n = ∑_{1⩽ i⩽n} X _i . In this paper, we consider the central limit theorem for the self-normalized sequence S _n /U _n , where U _n ² = ∑_1⩽j⩽N Y _j ² , Y _j = ∑_{(j−1)m<i⩽jm} X _i , n = mN. We show how such a self-normalization works for AR(1) and MA(q) processes.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 2, pp. 173–183, April–June, 2005.