Asymptotics of degrees of someS n-sub regular representations

The numbers % MathType!End!2!1!, λ ⊢n appear in the enumeration of various objects, as well as coefficients inS _nrepresentations associated with products of higher commutators. We study their asymptotics asn→∞ and show that if (λ₁, λ₂, …)≈(α ₁,α ₂, …)n, if (λ′₁, λ′₂, …)≈(β ₁,β ₂, …)n and ifγ=1− Σ _k⩽1(α _k⩽1+β _k⩽1), then % MathType!End!2!1!. Work partially supported by N.S.F. Grant No. DMS 94-01197.     

Canonical form with respect to semiscalar equivalence for a matrix pencil with nonsingular first matrix

Polynomial n × n matrices A(x) and B(x) over a field \mathbbF \mathbb{F} are called semiscalar equivalent if there exist a nonsingular n × n matrix P over \mathbbF \mathbb{F} and an invertible n × n matrix Q(x) over \mathbbF \mathbb{F} [x] such that A(x) = PB(x)Q(x). We give a canonical form with respect to semiscalar equivalence for a matrix pencil A(x) = A _0x - A ₁, where A ₀ and A ₁ are n × n matrices over \mathbbF \mathbb{F} , and A ₀ is nonsingular.     

The additive subgroup generated by a polynomial

SupposeR is a prime ring with the centerZ and the extended centroidC. Letp(x ₁, …,x _n) be a polynomial overC in noncommuting variablesx ₁, …,x _n. LetI be a nonzero ideal ofR andA be the additive subgroup ofRC generated by {p(a ₁, …,a _n):a ₁, …,a _n ∈I}. Then eitherp(x ₁, …,x _n) is central valued orA contains a noncentral Lie ideal ofR except in the only one case whereR is the ring of all 2 × 2 matrices over GF(2), the integers mod 2.     

On the range of random walk

Let {S _n , n=0, 1, 2, …} be a random walk (S _n being thenth partial sum of a sequence of independent, identically distributed, random variables) with values inE _d , thed-dimensional integer lattice. Letf _n =Prob {S ₁ ≠ 0, …,S _n −1 ≠ 0,S _n =0 |S ₀=0}. The random walk is said to be transient if and strongly transient if . LetR _n =cardinality of the set {S ₀,S ₁, …,S _n }. It is shown that for a strongly transient random walk with p<1, the distribution of [R _n −np]/σ √n converges to the normal distribution with mean 0 and variance 1 asn tends to infinity, where σ is an appropriate positive constant. The other main result concerns the “capacity” of {S ₀, …,S _n }. For a finite setA inE _d , let C(A=Σ _x∈A ) Prob {S _n ∉A, n≧1 |S ₀=x} be the capacity ofA. A strong law forC{S ₀, …,S _n } is proved for a transient random walk, and some related questions are also considered. This research was partially supported by the National Science Foundation.     

A result about determinantal divisors

Let Rbe a principal ideal ringR_n the ring of n× nmatrices over R, and d_k (A) the kth determinantal divisor of Afor 1 ? k? n, where Ais any element of R_n , It is shown that if A,BεR_n , det(A) det(B:) ≠ 0, then d_k (AB) ≡ 0 mod d_k (A) d_k (B). If in addition (det(A), det(B)) = 1, then it is also shown that d_k (AB) = d_k (A) d_k (B). This provides a new proof of the multiplicativity of the Smith normal form for matrices with relatively prime determinants.     

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

Affine cross-polytopes inscribed in a convex body

Let X be an affine cross-polytope, i.e., the convex hull of n segments A ₁ B ₁,…, A _n B _n in \mathbbRⁿ {\mathbb{R}^n} that have a common midpoint O and do not lie in a hyperplane. The affine flag F(X) of X is the chain O ∈ L ₁ ⊂⋯ ⊂ L _n = \mathbbRⁿ {\mathbb{R}^n} , where L _k is the k-dimensional affine hull of the segments A ₁ B ₁,…, A _k B _k , k ≤ n. It is proved that each convex body K ⊂ \mathbbRⁿ {\mathbb{R}^n} is circumscribed about an affine cross-polytope X such that the flag F(X) satisfies the following condition for each k ∈{2,…, n}:the (k−1)-planes of support at A _k and B _k to the body L _k ∩ K in the k-plane L _k are parallel to L _k −1.Each such X has volume at least V(K)/2 ^n(n−1)/2. Bibliography: 5 titles.     

Almost homomorphisms between unital <Emphasis Type="Italic">C</Emphasis>*-algebras: A fixed point approach

Let A , B be two unital C*-algebras. By using fixed pint methods, we prove that every almost unital almost linear mapping h : A → B which satisfies h(2 n uy) = h(2 n u)h(y) for all u ∈ U(A), all y ∈ A, and all n = 0, 1, 2, … , is a homomorphism. Also, we establish the generalized Hyers-Ulam-Rassias stability of *-homomorphisms on unital C*-algebras.     

Uniformly cross intersecting families

Let A and B denote two families of subsets of an n-element set. The pair (A,B) is said to be ℓ-cross-intersecting iff |A∩B|=ℓ for all A∈ A and B∈B. Denote by P _e (n) the maximum value of |A||B| over all such pairs. The best known upper bound on P _e (n) is Θ(2 ⁿ ), by Frankl and R?dl. For a lower bound, Ahlswede, Cai and Zhang showed, for all n ≥ 2ℓ, a simple construction of an ℓ-cross-intersecting pair (A,B) with |A||B| = $ \left( {{*{20}c} {2\ell } \\ \ell \\ } \right) $ \left( {\begin{array}{*{20}c} {2\ell } \\ \ell \\ \end{array} } \right) 2 ^n−2ℓ = Θ(2 ⁿ /$ \sqrt \ell $ \sqrt \ell ), and conjectured that this is best possible. Consequently, Sgall asked whether or not P _e (n) decreases with ℓ.     

Dissipativity of some class of uncertain systems

We consider the system $$ \dot x = A\left( \cdot \right)x + B\left( \cdot \right)u, u = S\left( \cdot \right)x, t \geqslant t_0 , $$ where A(·) ∈ ? ^n×n , B(·) ? ^n×p , and S(·) ∈ ? ^p×n . The entries of matrices A(·), B(·), and S(·) are arbitrary bounded functionals. We consider the problem of constructing a matrix H > 0 and finding relations between the entries of the matrices B(·) and S(·) such that for a given constant matrix R the inequality $$ V\left( {x\left( t \right)} \right) < V\left( {x\left( {t_0 } \right)} \right) + \int\limits_{t_0 }^t {x*\left( \tau \right)Rx\left( \tau \right)d\tau ,} $$ where V(x) = x*Hx, is satisfied. This problem is solved for the cases where matrix A(·) has p sign-definite entries on the upper part of some subdiagonal or on the lower part of some superdiagonal. It is assumed also that all entries located to the left (or to the right) of the sign-definite entries are equal to zero.     

On Large Deviations of Multivariate Heavy-Tailed Random Walks

Let {S _n ;n=1,2,…} be a random walk in R ^d and E(S ₁)=(μ ₁,…,μ _d ). Let a _j >μ _j for j=1,…,d and A=(a ₁,∞)×⋅⋅⋅×(a _d ,∞). We are interested in the probability P(S _n /n∈A) for large n in the case where the components of S ₁ are heavy tailed. An objective is to associate an exact power with the aforementioned probability. We also derive sharper asymptotic bounds for the probability and show that in essence, the occurrence of the event {S _n /n∈A} is caused by large single increments of the components in a specific way.      

A general oscillation theorem for self-adjoint differential systems with applications to Sturm-Liouville eigenvalue problems and quadratic functionals

For given 2n×2n matricesS ₁₃,S ₂₄ with rank(S ₁₃,S ₂₄)=2n we consider the eigenvalue problem:u′=A(x)u+B(x)v,v′=C ₁(x;λ)u-A ^T(x)v with

The triadjoint of an orthosymmetric bimorphism

Let A and B be two Archimedean vector lattices and let (A′)′ _n and (B′)′ _n be their order continuous order biduals. If Ψ: A × A → B is a positive orthosymmetric bimorphism, then the triadjoint Ψ***: (A′)′ _n × (A′)′ _n → (B′)′ _n of Ψ is inevitably orthosymmetric. This leads to a new and short proof of the commutativity of almost f-algebras.     

Rigidity of commutators and elementary operators on Calkin algebras

LetA=(A ₁,...,A _n ),B=(B ₁,...,B _n )εL(ℓ ^p ) ⁿ be arbitraryn-tuples of bounded linear operators on (ℓ ^p ), with 1<p<∞. The paper establishes strong rigidity properties of the corresponding elementary operators ε _a,b on the Calkin algebraC(ℓ ^p )≡L(ℓ ^p )/K(ℓ ^p ); , where quotient elements are denoted bys=S+K(ℓ ^p ) forSεL(ℓ ^p ). It is shown among other results that the kernel Ker(ε _a,b ) is a non-separable subspace ofC(ℓ ^p ) whenever ε _a,b fails to be one-one, while the quotient is non-separable whenever ε _a,b fails to be onto. These results extend earlier ones in several directions: neither of the subsets {A ₁,...,A _n }, {B ₁,...,B _n } needs to consist of commuting operators, and the results apply to other spaces apart from Hilbert spaces. Supported by the Academy of Finland, Project 32837.     

Completely monotone multisequences, symmetric probabilities and a normal limit theorem

Let G _n,k be the set of all partial completely monotone multisequences of ordern and degreek, i.e., multisequencesc _n(β₁,β₂,…, β _k ), β₁,β₂,…, β_k = 0,1,2,…, β₁+β₂ + … +β _k ≤n,c _n(0,0,…, 0) = 1 and whenever β₀ ≤n - (β₁ + β₂ + … + β _k ) where Δc _n(β₁,β₂,…, β _k ) =c _n(β₁ + 1, β₂,…, β _k )+c _n(β₁,β₂+1,…, β _k )+…+c _n (β₁,β₂,…, β _k +1) -c _n(β₁,β₂,…, β _k ). Further, let Π _n,k be the set of all symmetric probabilities on {0,1,2,…,k} ⁿ . We establish a one-to-one correspondence between the sets G _n,k and Π _n,k and use it to formulate and answer interesting questions about both. Assigning to G _n,k the uniform probability measure, we show that, asn→∞, any fixed section {it{c_n}(β₁,β₂,…, β _k ), 1 ≤ Σβ _i ≤m}, properly centered and normalized, is asymptotically multivariate normal. That is, converges weakly to MVN[0, Σ _m ]; the centering constantsc ₀(β₁, β₂,…, β _k ) and the asymptotic covariances depend on the moments of the Dirichlet (1, 1,…, 1; 1) distribution on the standard simplex inR ^k.     

Multiplicatively and non-symmetric multiplicatively norm-preserving maps

Let A and B be Banach function algebras on compact Hausdorff spaces X and Y and let ‖.‖ _X and ‖.‖ _Y denote the supremum norms on X and Y, respectively. We first establish a result concerning a surjective map T between particular subsets of the uniform closures of A and B, preserving multiplicatively the norm, i.e. ‖Tf Tg‖ _Y = ‖fg‖ _X , for certain elements f and g in the domain. Then we show that if α ∈ ℂ {0} and T: A → B is a surjective, not necessarily linear, map satisfying ‖fg + α‖ _X = ‖Tf Tg + α‖ _Y , f,g ∈ A, then T is injective and there exist a homeomorphism φ: c(B) → c(A) between the Choquet boundaries of B and A, an invertible element η ∈ B with η(Y) ⊆ {1, −1} and a clopen subset K of c(B) such that for each f ∈ A,

Nonadaptive search problem with sets of equal sum

Consider the set A={1,2,3,…,2 ⁿ }, n≥3 and let x∈ A be unknown element. For given natural number S we are allowed to ask whether x belongs to a subset B of A such that the sum of the elements of B equals S. We investigate for which S it is possible to find x using a nonadaptive search.     

Preservers of eigenvalue inclusion sets of matrix products

For a square matrix A, let S(A) be an eigenvalue inclusion set such as the Gershgorin region, the union of Cassini ovals, and the Ostrowski’s set. Characterization is obtained for maps Φ on n×n matrices satisfying S(Φ(A)Φ(B))=S(AB) for all matrices A and B.     

Cycles for Rational Maps of Good Reduction Outside a Prescribed Set

Let K be a number field and S a fixed finite set of places of K containing all the archimedean ones. Let R _S be the ring of S-integers of K. In the present paper we study the cycles in for rational maps of degree ≥2 with good reduction outside S. We say that two ordered n-tuples (P ₀, P ₁,… ,P _n−1) and (Q ₀, Q ₁,… ,Q _n−1) of points of are equivalent if there exists an automorphism A ∈ PGL₂(R _S ) such that P _i = A(Q _i ) for every index i∈{0,1,… ,n−1}. We prove that if we fix two points , then the number of inequivalent cycles for rational maps of degree ≥2 with good reduction outside S which admit P ₀, P ₁ as consecutive points is finite and depends only on S and K. We also prove that this result is in a sense best possible.     

On Some Rational Triangles

We prove that every set of n ≥ 3 points in \mathbbR²{\mathbb{R}^2} can be slightly perturbed to a set of n points in \mathbbQ²{\mathbb{Q}^2} so that at least 3(n − 2) of mutual distances between those new points are rational numbers. Some special rational triangles that are arbitrarily close to a given triangle are also considered. Given a triangle ABC, we show that for each ε > 0 there is a triangle A′B′C′ with rational sides and at least one rational median such that |AA′|, |BB′|, |CC′| < ε and a Heronian triangle A′′B′′C′′ with three rational internal angle bisectors such that A^￠￠, B^￠￠, C^￠￠ ? \mathbbQ²{A^{\prime\prime}, B^{\prime\prime}, C^{\prime\prime} \in \mathbb{Q}^2} and |AA′′|, |BB′′|, |CC′′| < ε.