The minimal polynomial of a matrix

Let Rbe a finite dimensional central simple algebra over a field FA be any n× n matrix over R. By using the method of matrix representation, this paper obtains the structure formula of the minimal polynomial q_A(λ) of A over F. By using q_A(λ), this paper discusses the structure of right (left) eigenvalues set of A, and obtains the necessary and sufficient condition that a matrix over a finite dimensional central division algebra is similar to a diagonal matrix.     

Some results on symplectic matrices

The principal results are that if A is an integral matrix such that AA^T is symplectic then A = CQ, where Q is a permutation matrix and C is symplectic; and that if A is a hermitian positive definite matrix which is symplectic, and B is the unique hermitian positive definite pth.root of A, where p is a positive integer, then B is also symplectic.     

ContributionsFinitary bases and formal generating functions

Let k be a nonzero, commutative ring with 1, and let R be a k-algebra with a countably-infinite ordered free k-basis B = [p_n: n 0]. We characterize and analyze those bases from which one can construct a k-algebra of ‘formal B-series’ of the form f=∑c_n p_n, with c_n ε k, showing inter alia that many classical polynomial bases fail to have this property.     

Elasticity of factorizations in integral domains

For an atomic integral domain R, define(R)=sup{mn|x₁x_m=y₁y_n, each x_i,y_jεR is irreducible}. We investigate (R), with emphasis for Krull domains R. When R is a Krull domain, we determine lower and upper bounds for (R); in particular,(R)≤max{|Cl(R)| 2, 1}. Moreover, we show that for any real numbers r≥1 or R=∞, there is a Dedekind domain R with torsion class group such that (R)=r.     

A result on integral symmetric matrices

Let A be an integral matrix such that det A = 1 mod mA ≡ A^T mod m, where m is odd. It is shown that a symmetric integral matrix B of determinant 1 exists such that B ≡ A mod m. The result is false if m is even.     

π-Armendariz rings relative to a monoid

Let Mbe a monoid. A ring Ris called M-π-Armendariz if whenever α = a₁g₁+ a₂g₂+ · · · + a_ng_n, β = b₁h₁+ b₂h₂+ · · · + b_mh_m ∈ R[M] satisfy αβ ∈ nil(R[M]), then aibj ∈ nil(R) for all i, j. A ring R is called weakly 2-primal if the set of nilpotent elements in R coincides with its Levitzki radical. In this paper, we consider some extensions of M-π-Armendariz rings and further investigate their properties under the condition that R is weakly 2-primal. We prove that if R is an M-π-Armendariz ring then nil(R[M]) = nil(R)[M]. Moreover, we study the relationship between the weak zip-property (resp., weak APP-property, nilpotent p.p.-property, weak associated prime property) of a ring R and that of the monoid ring R[M] in case R is M-π-Armendariz.     

Maximal orders containing local crossed-products

Let Λ = (S/R, ) be the crossed product order in the crossed product algebra A = (L/K, ) with factor set , where L/K is a Galois extension of the local field K, and R (resp. S) the valuation ring of K (resp. L). In this paper the maximal R-orders in A containing Λ and the irreducible Λ-lattices are determined.     

Matrices that preserve vectors of fixed sign variation

For each k≥ 0, those nonsingular matrices that transform the set of totally nonzero vectors with k sign variations into (respectively, onto) itself are studied. Necessary and sufficient conditions are provided. The cases k=0,1,2,n-3,n-2,n-1 are completely characterized.     

New families of exact solitary patterns solutions for the nonlinearly dispersive R(m,n) equations

The R(m,n) equations u_tt+a(uⁿ)_xx+b(u^m)_xxtt=0 (a, b const) are investigated by using some ansatze. As a result, new exact solitary patterns solutions and solitary wave solutions are obtained. These obtained solutions show that not only the nonlinearly dispersive R(m,m) equations (m≠1) but also the linearly dispersive R(1,n) equations (m=1) possess solitary patterns solutions, which has infinite slopes or cusps and solitary wave solutions.     

On the minimal reducible bound for outerplanar and planar graphs

Let L be the set of all additive and hereditary properties of graphs. For P₁, P₂ L we define the reducible property R = P₁ P₂ as follows: G P₁P₂ if there is a bipartition (V₁, V₂) of V(G) such that V₁ P₁ and V₂ P₂. For a property P L, a reducible property R is called a minimal reducible bound for P if P R and for each reducible property R′, R′ R → P R′. It is proved that the class of all outerplanar graphs has exactly two minimal reducible bounds in L. Some related problems for planar graphs are discussed.     

The doubly stochastic matrix equations x:aty= A and X Aty=t

For a doubly stochastic matrix A, each of the equations x:a^ty= A and X A^ty=^t is shown to have doubly stochastic solutions X and Y if and only if A lies in a subgroup of the semigroup of all doubly stochastic matrices of a given order. All elements of this semigroup which are left regular, right regular, or intra-regular are identified.     

Singularity categories with respect to Ding projective modules

We introduce the singularity category with respect to Ding projective modules, D_(dpsg)~b(R),as the Verdier quotient of Ding derived category D_(DP)~b(R) by triangulated subcategory K~b(DP), and give some triangle equivalences. Assume DP is precovering. We show that D_(DP)~b(R)≌K~(-,dpb)(DP)and D_(dpsg)~b(R)≌D_(Ddefect)~b(R). We prove that each R-module is of finite Ding projective dimension if and only if D_(dpsg)~b(R) = 0.     

Multicolor routing in the undirected hypercube

An undirected routing problem is a pair (G,R) where G is an undirected graph and R is an undirected multigraph such that V(G)=V(R). A solution to an undirected routing problem (G,R) is a collection P of undirected paths of G (possibly containing multiple occurrences of the same path) such that edges of R are in one-to-one correspondence with the paths of P, with the path corresponding to edge {u,v} connecting u and v. We say that a collection of paths P is k-colorable if each path of P can be colored by one of the k colors so that the paths of the same color are edge-disjoint (each edge of G appears at most once in the paths of each single color). In the circuit-switched routing context, and in optical network applications in particular, it is desirable to find a solution to a routing problem that is colorable with as few colors as possible. Let Q_n denote the n-dimensional hypercube, for arbitrary n1. We show that a routing problem (Q_n,R) always admits a 4d-colorable solution where d is the maximum vertex degree of R. This improves over the 16d/2-color result which is implicit in the previous work of Aumann and Rabani [SODA95, pp. 567–576]. Since, for any positive d, there is a multigraph R of degree d such that any solution to (Q_n,R) requires at least d colors, our result is tight up to a factor of four. In fact, when d=1, it is tight up to a factor of two, since there is a graph of degree one (the antipodal matching) that requires two colors.     

Permanents of doubly stochastic matrices with fixed zero pattern

The doubly stochastic matrices with a given zero pattern which are closest in Euclidean norm to J_nn, the matrix with each entry equal to 1/n, are identified. If the permanent is restricted to matrices having a given zero pattern confined to one row or to one column, the permanent achieves a local minimum at those matrices with that zero pattern which are closest to J_nn. This need no longer be true if the zeros lie in more than one row or column.     

Stability of Periodic Orbits and Return Trajectories of Continuous Multi-valued Maps on Intervals

Let I be a compact interval of real axis R, and(I, H) be the metric space of all nonempty closed subintervals of I with the Hausdorff metric H and f : I → I be a continuous multi-valued map. Assume that Pn =(x_0, x_1,..., xn) is a return tra jectory of f and that p ∈ [min Pn, max Pn] with p ∈ f(p). In this paper, we show that if there exist k(≥ 1) centripetal point pairs of f(relative to p)in {(x_i; x_i+1) : 0 ≤ i ≤ n-1} and n = sk + r(0 ≤ r ≤ k-1), then f has an R-periodic orbit, where R = s + 1 if s is even, and R = s if s is odd and r = 0, and R = s + 2 if s is odd and r 0. Besides,we also study stability of periodic orbits of continuous multi-valued maps from I to I.     

Numerical linear algorithms and group theory

Most methods for solving linear systems Ax=b are founded on the ability to split up the matrix A in the form of a product A=G·R with G belonging to a subgroup of the general linear group Gl(n,R) and R being a regular upper triangular matrix. In the same way, the calculation of the eigenvalues of a matrix by the use of an algorithm of the Rutishauser type is based on a G·R decomposition for the matrix. Our aim in this article will be to show the importance of the notion of splitting up, to set out the conditions under which it may be used and to show how it enables us to generate new algorithms.     

Linear preservers of matrices of rank-2

Let T be a linear operator on the space of all m×n matrices over any field. we prove that if T maps rank-2 matrices to rank-2 matrices then there exist nonsingular matrices U and V such that either T(X)=UXV for all matrices X, or m=n and T(X)=UX^tV for all matrices X where X^t denotes the transpose of X.     

An extension of flanders theorem to several matrices

The Flanders Theorem relates the matrices AB and BA and provides a necessary and sufficient condition for the consistency of the matrix system P = ABQ = BA In this paper, we generalize the Flanders condition for several matrices.     

Subpermanents of doubly stochastic matrices

It is shown that if all subpermaneats of order k of an n × n doubly stochastic matrix are equal for some k ≤ n - 2, then all the entries of the matrix must be equal to 1/n.     

Some involutory similarities

Matrices A,B over an arbitrary field F, when given to be similar to each other, are shown to be involutorily similar (over F) to each other (i.e.B = CAC^-1for some C = C^-1over F) in the following cases: (1)B= aI - Afor some a ε F and (2) B = A^-1. Result (2) for the cases where char F ≠ 2 is essentially a 1966 result of Wonenburger.