奇异H-矩阵并行算法

1　引　　言对于H矩阵类,到目前为止,人们关注的是非奇异H矩阵,对于奇异H矩阵研究结果很少,不象奇异M-矩阵研究的丰富[1-4]及获得了半收敛的一些结论,王川龙和游兆永将并行算法用于奇异M矩阵[5].本文的目的就是将并行算法用于奇异H矩阵.为此,首先讨论了奇异H矩阵与奇异M矩阵的关系.2　符号特征设Mn(R)代表实方阵的全体,A∈Mn(R),不特殊说明,A=D-B表示Jacobi分裂,〈A〉是A的比较矩阵,detA表示A的行列式,ρ(A)表示A的谱半径,μ(A)表示A的谱〈n〉={1,2,…,n},A[α|α]表示由α所决定的主子矩阵,α∈〈n〉.定理2.1[8]　设A是实H矩阵…     

有限域中集合{(P,Q)∈GF_s(q)×GF_n(q)|PAQ=B}的基数

设 A、B是有限域 Fq上两个 s× n级矩阵 ,并且它们的秩都是 r,则存在 Fq上 s级可逆矩阵 P,n级可逆矩阵 Q,使得 PAQ=B.本文讨论有多少对这样的 (P,Q) ,使得 PAQ=B.     

浅淡公式rkAB＝rkB—dim（R（B）∩N（A）的应用

本文的目的是给出有关矩阵乘积的秩的一个等式.然后据此研究一系列秩数问题.定理若矩阵A与B可乘,则rkAB=rkB—(dimR(B)∩N(A)) (1) =rkA—dim(R(A′)∩N(B′)) (1′)其中R(B)是B的值域,N(A)是A的零空间;rkA记A的秩,dimR(B)记只(B)的维数.     

Laffey—Choi定理的一个证明

A,B是n阶复矩阵,是否存在可逆矩阵P使P(~-1)AP与P~(-1)BP同时为上三角复矩阵(称A,B同时复上三角化),Laffey在文[1]中给出了下述定理,尔后Choi等人在文[2]中给出了简化证明,本     

利用有限域上交错矩阵构造Cartesian认证码

设Fq是q元有限域,q是素数的幂.令信源集S为Fq上所有的n×n交错矩阵的合同标准形,编码规则集E为Fq上所有的n×n非奇异矩阵,信息集M为Fq上所有的n×n交错矩阵,构造映射f:S×E→M,(K'(v,n),g)→gK'(v,n)gT.证明了该四元组(S,E,M;f)是一个Cartesian认证码,并计算了它的参数.进而,假定编码规则按照均匀的概率分布所选取,计算出了该码的成功模仿攻击概率PI和替换攻击概率Ps.     

关于矩阵秩的一个不等式

对任意矩阵 M,用 r( M)表示 M的秩。熟知 ,矩阵的秩是矩阵的一个重要不变量 ,对矩阵的加法和乘法 ,我们有下面两个基本的不等式。(一 )设 A、B是两个 m× n矩阵 ,则r( A +B)≤ r( A) +r( B) ( 1 )　　 (二 )设 A、B分别是两个 m× n、n× l矩阵 ,则r( A) +r( B) -n≤ r( AB)≤ min{ r( A) ,r( B) }它通常被称为 Sylvester不等式。对这两个不等式 ,有不同的证明和理解 ,见 [1、2 ]。在本文里 ,我们要结合矩阵的满秩分解 ,用不等式 (二 )来研究不等式 (一 ) ,从中给出 r( A+B)≤ r( A) +r( B)的一个推广形式。本文所需的矩阵知识是基…     

Woods定理的正确性

本文重新给出 Woods定理的证明 ,证明了 Woods定理是成立的 ,因此认为该定理不成立的论断是不正确的 .此外 ,还给出了投入产出模型中投入系数矩阵 A各元素有变化时各部门完全需要系数 (即 L eontief逆矩阵 B各列 )增长率相同或按指定速率增长的充分必要条件 ,以及 A中仅一行 (列 )变化时各部门产出乘数(总产出 )按指定速率增长的充分必要条件 .     

两类四元数矩阵偶的GH合同标准形

该文给出两类四元数矩阵偶〈A，B１〉与〈A，B２〉的ＧＨ 合同标准形，其中A为半正定自共轭阵，B１ 为斜自共轭阵，B２ 为自共轭阵．由此分别得到（广义）半正定与正定四元数矩阵的ＧＨ合同标准形，以及矩阵同时对角化问题的若干个结果．     

双对角占优与非奇M-矩阵的判定

本文利用矩阵B=A A^T的双对角占优性给出了矩阵A为M矩阵的新判定准则，推广了已有的判定定理。实例说明，采用本文定理可以较为容易地得出判定结果，本文给出的判定准则具有简单、方便的特点，与已有的判定准则相比，具有更为广泛的适用范围。     

一类分块矩阵的Moore—Penrose逆及其应用

设M=为复数域上一个分块矩阵.其中A.B,C.D分别为m×n,m×k,l×n,l×k矩阵.在本文中我们给出了分块矩阵M在满足秩可加性条件     

有限齐次Markov链遍历性的快速判定

本文借助组合矩阵理论给出了有限齐次Ｍａｒｋｏｖ链在两种不同定义下遍历性的判定方法     

拓扑遍历映射的一些性质

本文研究拓扑遍历映射.指出对于由不可约方阵所决定的符号空间有限型子转移而言,或紧致交换群的仿射变换及线段上连续自映射而言,拓扑遍历与拓扑可迁这两个概念是一致的.同时还通过例子,指出拓扑遍历是不同于拓扑可迁与拓扑混合的概念.     

Ergodic backward stochastic difference equations

We consider ergodic backward stochastic differential equations in a discrete time setting, where noise is generated by a finite state Markov chain. We show existence and uniqueness of solutions, along with a comparison theorem. To obtain this result, we use a Nummelin splitting argument to obtain ergodicity estimates for a discrete time Markov chain which hold uniformly under suitable perturbations of its transition matrix. We conclude with an application of this theory to a treatment of an ergodic control problem.     

一类非齐次马氏链的绝对平均强遍历性

引用马氏链绝对平均强遍历的概念,首先给出齐次马氏链绝对平均强遍历与强遍历的等价性,其次通过引进另一个强遍历的非齐次马氏链,给出一个非齐次马氏链绝对平均强遍历的充分条件.     

Hausdorff Dimension of the Set of Generic Points for Gibbs Measures

For a Gibbs measure on the configuration space of a finite spin lattice system, we find (in terms of entropy) the Hausdorff dimension of the set of generic points. Using this result, we evaluate the Hausdorff dimension of level sets for Birkhoff ergodic averages of some continuous functions on the configuration space.     

各态历经的地震动空间场的简化模拟

基于地震动空间场模拟中运用较广泛的原型谱表示法,给出了一种各态历经地震动空间场的模拟公式．首先给出原型谱表示法中体现任意两点间相关性的相位角的具体表达式,使其具有明确的物理意义,从而使得对复功率谱矩阵的Cholesky分解转化为对实数域内的相干函数矩阵的Cholesky分解,提高了合成效率．同时还在模拟公式中引入了双索引频率,以使得模拟公式具有均值与相关函数(自/互功率谱密度函数)的各态历经性,还对其各态历经性进行了理论上的证明,证明了当所模拟的各点地震动时间序列取一个周期时,其均值与相关函数的各态历经性．为进一步提高模拟效率,还给出了特定条件下,相干函数矩阵Cholesky分解后下三角矩阵中各元素的解析解,使得在合成中可以避免反复地在各频率下对相干函数矩阵进行Cholesky分解,从而实现了对模拟模型的简化．最后,给出一个简单的模拟实例,对改进前后模拟的地震动场进行比较,以说明改进后公式的模拟效果．     

A rapidly-converging lower bound for the joint spectral radius via multiplicative ergodic theory

We use ergodic theory to prove a quantitative version of a theorem of M.A. Berger and Y. Wang, which relates the joint spectral radius of a set of matrices to the spectral radii of finite products of those matrices. The proof rests on a structure theorem for continuous matrix cocycles over minimal homeomorphisms having the property that all forward products are uniformly bounded.     

On measures ergodic with respect to an analytic equivalence relation

In this paper, we prove that the set of probability measures which are ergodic with respect to an analytic equivalence relation is an analytic set. This is obtained by approximating analytic equivalence relations by measures, and is used to give an elementary proof of an ergodic decomposition theorem of Kechris.

     

Construction of full H-matrices with the given eigenvalues based on the Givens matrices

The inverse eigenvalue problem is about how to construct a desired matrix whose spectrum is the given number set. In this paper, in view of the Givens matrices, we prove that there exist three classes of full H-matrices which include strictly diagonally dominant full matrix, $\alpha$-strictly diagonally dominant full matrix and $\alpha$-double strictly diagonally dominant full matrix, and their spectrum are all the given number set. In addition, we design some numerical algorithms to explain how to construct the above-mentioned full H-matrices.     

Uniform existence of the integrated density of states for models on $${\mathbb{Z}}^d$$

We provide an ergodic theorem for certain Banach-space valued functions on structures over , which allow for existence of frequencies of finite patterns. As an application we obtain existence of the integrated density of states for associated discrete finite-range operators in the sense of convergence of the distributions with respect to the supremum norm. These results apply to various examples including periodic operators, percolation models and nearest-neighbour hopping on the set of visible points. Our method gives explicit bounds on the speed of convergence in terms of the speed of convergence of the underlying frequencies. It uses neither von Neumann algebras nor a framework of random operators on a probability space.