Linear Operators Preserving Symplectic Group over a Field Consisting of at Least Four Elements

Suppose F is a field consisting of at least four elements. Let Mn(F) and SP2n(F) be the linear space of all n×n matrices and the group of all 2n×2n symplectic matrices over F, respectively. A linear operator L:M2n(F)→M2n(F) is said to preserve the symplectic group if L(SP2n(F))=SP2n(F). It is shown that L is an invertible preserver of the symplectic group if and only if L takes the form (i) L(X)=QPXP-1 for any X∈M2n(F) or (ii) L(X)=QPXTP-1 for any X∈M2n(F), where Q∈SP2n(F) and P is a generalized symplectic matrix. This generalizes the result derived by Pierce in Canad J. Math., 3(1975), 715-724.     

Homomorphisms Between Multiplicative Semigroups of Matrices Over Fields

Suppose F is a field, and n, p are integers with 1 ≤ p 〈 n. Let Mn（F） be the multiplicative semigroup of all n × n matrices over F, and let M^Pn（F） be its subsemigroup consisting of all matrices with rank p at most. Assume that F and R are subsemigroups of Mn（F） such that F M^Pn（F）. A map f ： F→R is called a homomorphism if f（AB） = f（A）f（B） for any A, B ∈F. In particular, f is called an endomorphism if F = R. The structure of all homomorphisms from F to R （respectively, all endomorphisms of Mn（F）） is described.     

一类线性变换半群的格林关系

Let V be a linear space over a field F with finite dimension, L（V） the semigroup, under composition, of all linear transformations from V into itself. Suppose that V = V1 V2 ... Vm is a direct sum decomposition of V, where V1,V2,..., Vm are subspaces of V with the same dimension. A linear transformation f ∈ L（V） is said to be sum-preserving, if for each i （1 ≤ i ≤ m）, there exists some j （1 ≤ j ≤ m） such that f（Vi） Vj. It is easy to verify that all sum-preserving linear transformations form a subsemigroup of L（V） which is denoted by L （V）. In this paper, we first describe Green＇s relations on the semigroup L （V）. Then we consider the regularity of elements and give a condition for an element in L （V） to be regular. Finally, Green＇s equivalences for regular elements are also characterized.     

The Density of Linear Symplectic Cocycles with Simple Lyapunov Spectrum in YIC（X, SL（2, R））

Let （X, G（X）, m） be a probability space with a-algebra G（X） and probability measure m. The set V in G is called P-admissible, provided that for any positive integer n and positive-measure set Vn∈ contained in V, there exists a Zn∈G such that Zn belong to Vn and 0 〈 m（Zn） 〈 1/n. Let T be an ergodic automorphism of （X, G） preserving m, and A belong to the space of linear measurable symplectic cocycles     

Adjacency Preserving Bijection Maps of Hermitian Matrices over any Division Ring with an Involution

Let D be any division ring with an involution,Hn （D） be the space of all n × n hermitian matrices over D. Two hermitian matrices A and B are said to be adjacent if rank（A - B） = 1. It is proved that if φ is a bijective map from Hn（D）（n ≥ 2） to itself such that φ preserves the adjacency, then φ^-1 also preserves the adjacency. Moreover, if Hn（D） ≠J3（F2）, then φ preserves the arithmetic distance. Thus, an open problem posed by Wan Zhe-Xian is answered for geometry of symmetric and hermitian matrices.     

Additive preservers of idempotence and Jordan homorphisms between rings of square matrices

Suppose R is an idempotence-diagonalizable ring. Let n and m be two arbitrary positive integers with n ≥ 3. We denote by Mn（R） the ring of all n x n matrices over R. Let （Jn（R）） be the additive subgroup of Mn（R） generated additively by all idempotent matrices. Let JJ = （Jn（R）） or Mn（R）. We describe the additive preservers of idempotence from JJ to Mm（R） when 2 is a unit of R. Thereby, we also characterize the Jordan （respectively, ring and ring anti-） homomorphisms from Mn （R） to Mm （R） when 2 is a unit of R.     

四元数体上Hermitian矩阵空间保秩1的加法映射

Let Q be the quaternion division algebra over real field F.Denote by H_n(Q)the set of all n×n hermitian matrices over Q.We characterize the additive maps from H_n(Q) into H_m(Q)that preserve rank-1 matrices when the rank of the image of I_n is equal to n. Let Q_R be the quaternion division algebra over the field of real number R.The additive maps from H_n(Q_R) into H_m(Q_R)that preserve rank-1 matrices are also given.     

全矩阵代数的抛物子代数上具有可导性的非线性映射

Let F be a field of characteristic 0, Mn（F） the full matrix algebra over F, t the subalgebra of Mn（F） consisting of all upper triangular matrices. Any subalgebra of Mn（F） containing t is called a parabolic subalgebra of Mn（F）. Let P be a parabolic subalgebra of Mn（F）. A map φ on P is said to satisfy derivability if φ（x·y） = φ（x）·y＋x·φ（y） for all x,y ∈ P, where φ is not necessarily linear. Note that a map satisfying derivability on P is not necessarily a derivation on P. In this paper, we prove that a map φ on P satisfies derivability if and only if φ is a sum of an inner derivation and an additive quasi-derivation on P. In particular, any derivation of parabolic subalgebras of Mn（F） is an inner derivation.     

有限伪反射群的相对不变式的 Poincar\'e级数

Let F be a field with characteristic 0, V = Fn the n-dimensional vector space over F and let G be a finite pseudo-reflection group which acts on V . Let χ ： G→ F＊ be a 1- dimensional representation of G. In this article we show that χ（g） = （detg）α（0 ≤ α ≤ r - 1）, where g ∈ G and r is the order of g. In addition, we characterize the relation between the relative invariants and the invariants of the group G, and then we use Molien’s Theorem of invariants to compute the Poincar′e series of relative invariants.     

非负半环上强保持幂零矩阵的线性算子

Let S be an antinegative commutative semiring without zero divisors and M_n(S)be the semiring of all n×n matrices over S.For a linear operator L on M_n(S),we say that L strongly preserves nilpotent matrices in M_n(S)if for any A∈M_n(S),A is nilpotent if and only if L(A)is nilpotent.In this paper,the linear operators that strongly preserve nilpotent matrices over S are characterized.     

A Class Of Counterexamples Concerning an Open Problem

Kenneth R. Davidson raised ten open problems in the book Nest Algebras. One of theseopen problems isProblem 7 If K（交集）AlgL is weak^* dense in AlgL, where K is the set of all compact operators in B(H）,is L completely distributive? In this note, we prove that there is a reflexive subspace lattice L on some Hilbert space, which satisfies the following conditions: (a)F(AlgL) is dense in AlgL in the ultrastrong operator topology, where F(AlgL) is the set of all finite rank operators in AlgL; (b) L isn‘t a completely distributive lattice. The subspace lattices that satisfy the above conditions form a large class of lattices. As a special case of the result, it easy to see that the answer to Problem 7 is negative.     

On Well-posed Mutually Nearest and Mutually Furthest Point Problems in Banach Spaces

Let G be a non-empty closed(resp．bounded closed)boundedly relatively weakly compact subset in a strictly convex Kadec Banach space X．Let K(X)denote the space of all non-empty compact convex subsets of X endowed with the Hausdorff distance．Moreover,let KG(X)denote the closure of the set {A∈K(x)：A∩G=0}．We prove that the set of all A∈KG(X)(resp．A∈K(X)),such that the minimization (resp．maximization)problem min(A,G)(resp．max(A,G))is well posed,contains a dense Gδ-subset of KG(X)(resp．K(X))．thus extending the recent results due to Blasi,Myjak and Papini and Li．     

More on Bounding Introspection in Modal Nonmonotonic Logics

Abstract By we denote the set of all propositional formulas. Let be the set of all clauses. Define . In Sec. 2 of this paper we prove that for normal modal logics , the notions of -expansions and -expansions coincide. In Sec. 3, we prove that if I consists of default clauses then the notions of -expansions for I and -expansions for I coincide. To this end, we first show, in Sec. 3, that the notion of -expansions for I is the same as that of -expansions for I. The project is supported by NSFC     

Asymptotic Expansions of the Heat Kernel of the Laplacian for General Annular Bounded Domains with Robin Boundary Conditions：Further Results

The asymptotic expansions of the trace of the heat kernel θ(t)=∑^∞v=1^exp(-tλv) for small positive t,where {λv} are the eigenvalues of the negative Laplacian -△n=-∑^ni=1(D/Dx^1)^2 in R^2(n=2 or 3),are studied for a general annular bounded domain Ω with a smooth inner boundary DΩ1 and a smooth outer boundary DΩ2,where a finite number of piecewise smooth Robin boundary conditions(D/Dnj γh)Ф=0 on the components Гj(j= 1,...,m) of (DΩ1 and on the components Гj (j=k 1,…,m) of of DΩ2 are considered such that DΩl=U^kj=lГj and DΩ2= U^m=k 1Гj and where the coefficients γj(j=1,...,m) are piecewise smooth positive functions. Some applications of θ(t) for an ideal gas enclosed in the general annular bounded domain Ω are given. Further results are also obtained.     

On the Characters of the Maximal Subgroup <f 1> Sp 4 ( q ) of the Symplectic Group Sp 4(q), q-Even

The aim of this paper is to study the characters of the maximal subgroup of the symplectic group Sp ₄(q)q-even, where is the stabilizer of the one-dimensional space <f ₁> in Sp ₄(q).     

Universal Similarity Factorization Equalities over Generalized Clifford Algebras

For any element a in a generalized 2^n-dimensional Clifford algebra Lln （F） over an arbitrary field F of characteristic not equal to two, it is shown that there exits a universal invertible matrix Pn over Lln（F） such that Pn^-1DnPn= φ（α）∈F^2n×2n, where φ（a） is a matrix representation of α over and Dα is a diagonal matrix consisting of a or its conjugate.     

Equidistribution of Rational Matrices in their Conjugacy Classes

Let G be a connected simply connected almost -simple algebraic group with non-compact and a cocompact congruence subgroup. For any homogeneous manifold of finite volume, and a , we show that the Hecke orbit T _a (x ₀ H) is equidistributed on as , provided H is a non-compact commutative reductive subgroup of G. As a corollary, we generalize the equidistribution result of Hecke points ([COU], [EO1]) to homogeneous spaces G/H. As a concrete application, we describe the equidistribution result in the rational matrices with a given characteristic polynomial. The second author partially supported by DMS 0333397. Received: May 2005 Revision: March 2006 Accepted: June 2006     

A Study of the Equivalence of the BLUEs between a Partitioned Singular Linear Model and Its Reduced Singular Linear Models

Abstract Consider the partitioned linear regression model and its four reduced linear models, where y is an n × 1 observable random vector with E(y) = Xβ and dispersion matrix Var(y) = σ² V, where σ² is an unknown positive scalar, V is an n × n known symmetric nonnegative definite matrix, X = (X ₁ : X ₂) is an n×(p+q) known design matrix with rank(X) = r ≤ (p+q), and β = (β′ ₁: β′₂ )′ with β₁ and β₂ being p×1 and q×1 vectors of unknown parameters, respectively. In this article the formulae for the differences between the best linear unbiased estimators of M ₂ X ₁β₁under the model and its best linear unbiased estimators under the reduced linear models of are given, where M ₂ = I -X ₂ X ₂ ⁺ . Furthermore, the necessary and sufficient conditions for the equalities between the best linear unbiased estimators of M ₂ X ₁β₁ under the model and those under its reduced linear models are established. Lastly, we also study the connections between the model and its linear transformation model. *This work is supported by the National Natural Science Foundation of China, Tian Yuan Special Foundation (No. 10226024), Postdoctoral Foundation of China and Lab. of Math. for Nonlinear Sciences at Fudan University. This research is supported in part by The International Organizing Committee and The Local Organizing Committee at the University of Tampere for this Workshop **The work is supported in part by an NSF grant of China. Results in this paper were presented by the first author at The Eighth International Workshop on Matrices and Statistics: Tampere, Finland, August 1999