矩阵不等式约束下矩阵方程最小二乘问题的增广Lagrangian方法北大核心CSCD

称X∈R^(m×n)为实(R,S)对称矩阵,若满足X=RXS,其中R∈R^(m×m)和S∈R^(n×n)为非平凡实对合矩阵,即R=R^(-1)≠±I_m,S=S^(-1)≠±I_n.该文将优化理论中求凸集上光滑函数最小值的增广Lagrangian方法应用于求解矩阵不等式约束下实(R,S)对称矩阵最小二乘问题,即给定正整数m,n,p,t,q和矩阵A_i∈R^(m×m),B_i∈R^(n×n)(i=1,2,…,q),C∈R^(m×m),E∈R^(p×m),F∈R^(n×t)和D∈R^(p×t),求实(R,S)对称矩阵X∈R^(m×m)且在满足相容矩阵不等式EXF≥D约束下极小化‖∑_(i=1)~qA_iXB_i-C‖,其中EXF≥D表示矩阵EXF-D非负,‖·‖为Frobenius范数.该文给出求解问题的矩阵形式增广Lagrangian方法的迭代格式,并用数值算例验证该方法是可行且高效的.     

矩阵不等式约束下矩阵方程最小二乘问题的增广Lagrangian方法

称X∈R~(m×n)为实(R,S)对称矩阵,若满足X=RXS,其中R∈R~(m×m)和S∈R~(n×n)为非平凡实对合矩阵,即R=R~(-1)≠±I_m,S=S~(-1)≠±I_n.该文将优化理论中求凸集上光滑函数最小值的增广Lagrangian方法应用于求解矩阵不等式约束下实(R,S)对称矩阵最小二乘问题,即给定正整数m,n,p,t,q和矩阵A_i∈R~(m×m),B_i∈R~(n×n)(i=1,2,…,q),C∈R~(m×m),E∈R~(p×m),F∈R~(n×t)和D∈R~(p×t),求实(R,S)对称矩阵X∈R~(m×m)且在满足相容矩阵不等式EXF≥D约束下极小化‖∑_(i=1)~qA_iXB_i-C‖,其中EXF≥D表示矩阵EXF-D非负,‖·‖为Frobenius范数.该文给出求解问题的矩阵形式增广Lagrangian方法的迭代格式,并用数值算例验证该方法是可行且高效的.     

一类二分图的k-匹配数

设G是一个具有二分类(X_1,X_2)的简单偶图,|X_1|=|X_2|=n,如果对于给定的c>0,|M(S)|≥(1+c)|S|对任意满足|S|≤n/2的S(?)X_i(i=1,2)都成立,其中N(S)是S的邻集,则称G是(n,c)-扩张图.给出了(n,c)-扩张图的k-匹配数与完美匹配数之比的顺从界.     

关于2012年高考北京卷压轴题构造性证明的思考

试题再现:设A是由m×n个实数组成的m行n列的数表,满足:每个数的绝对值不大于1,且所有数的和为零.记S(m,n)为所有这样的数表构成的集合.对于A∈S(m,n),记ri(A)为A的第i行各数之和(1≤i≤m),cj(A)为A的第j列各数之和(1≤j≤n),记k(A)为|r1(A)|,|r2(A)|,…,|rm(A)|,|c1(A)|,|c2(A)|,…,|cn(A)|中的最小值.(3)给定正整数t,对于所有的A∈S(2,2t+1),求k(A)的最大值.((1),(2)略).本题对学生的思维要求较高,求解的难点在于如何得到k(A)的上界,并通过构造实例说明该上界可以取到.另外,"A∈S(2,2t+1)"的特殊形式     

关于Smarandache对偶函数

定义Smarandache对偶函数S*(n)为最大的正整数m使得m!|n.定义另一种双阶乘函数S**(n)为最大的正整数2m-1使得(2m-1)!!|n,其中2 n;且当2|n时,为最大的正整数2m使得(2m)!!|n.本文的主要目的是利用初等方法研究一个包含S**(n)的无穷级数的收敛性,并给出一个有趣的恒等式.     

三次幻方的构作

给出2k维m阶t次幻方及m模方阵,m模列满秩矩阵,模线,m经典模线集和t次m模基因阵的概念,并用矩阵法和组合法初步研究了t次幻方特别是三次幻方的构作.证明:(i)若存在2k阶t次m模基因阵,则存在2k维m阶t次幻方;(ii)若N=P1α1P2α2…PSαS为N的标准分解式,iα≥3,Piiα≥16(1≤i≤S),则存在二维N阶三次幻方;(iii)若存在二维偶m阶2t+1次幻方和二维n阶2t次幻方,则存在二维mn阶2t+1次幻方;(iv)若存在二维m阶和n阶t次幻方,则存在二维mn阶t次幻方;(v)当t≥3时,不存在二维单偶数阶t次幻方.     

一种场站设置问题中的几个结论

本文研究如下一种场站设置问题:设S是欧空间E~m中由有限个点A_1,A_2,…,A_n组成的集合.d(A_i,A_j)表示点A_i和A_j之间的距离.令σ(S)=Σ_(1≤i相似文献   

SU(m+n)SU(m)×SU(n) ISOSCALAR FACTORS AND S(f_1+f_2)S(f_1)×S(f_2) OUTER-PRODUCT ISOSCALAR FACTORS

It is proved that the SU(m+n)SU(m)×SU(n) isoscalar factors (ISF) are equal to the S(f_1+f_2) outer-product ISF of the permutation group. Since the latter only depend on the partition labels, the values of the SU(m+n)SU(m)×SU(n) ISF do not depend on m and n explicitely. Consequently for a f(=f_1+f_2)-particle system, by evaluating the S(f) S(f_1)×S(f_2) outer-product ISF we can obtain all (an infinite number) of the SU (m+n) SU(m)×SU(n) ISF (or the f_2-particle coefficients of fractional parentage) for arbitrary m and n at a single stroke, in stead of one m and one n at a time. A simple method, the eigenfunction method, is given for evaluating the SU(m+n) SU(m)×SU(n) single particle ISF, while the many-particle ISF can be calculated in terms of the outer-product reduction coefficients and the transformation coefficients from the Yamanouchi basis to the S(f_1+f_2) S(f_1)×S(f_2) basis.     

关于"随机向量的函数的独立性的一个问题"的商榷

对两个独立样本ξi,1≤i≤n1,ξ1～N(a1,σ2);ηi,1≤i≤m2,η1～N(a2,σ2),证明了ξ-η-与√n1S21+n2S22独立,进而证明(√)n1n2(n1+n2-2)/n1+n2·(-ξ--η)-(a1-a2)/(√)n1S21+n2S22服从参数为n1+n2-2的t分布.     

一类正整数是否是孤立数的讨论

对于任意正整数n,令σ(n)表示为n的所有正因数的和函数.对于正整数n,若存在正整数m满足关系式σ(n)=σ(m)=n+m,则称正整数数对(n,m)为一对亲和数;若不存在正整数m满足关系式σ(n)=σ(m)=n+m,则称n为孤立数.亲和数与孤立数是数论中的两类重要的整数.利用初等方法结合计算机python语言,证明了整数E(33,t)=1/2(33^(2^(t))+1)是孤立数.     

三路树P(m,n,t)是边幻图的证明

文 [1 ]中猜测每一棵树是边幻图 .本文证明了三路树 P( m,n,t) ,当 ( i) n,t为偶数且相等 ;( ii)t=n+1 ;( iii) n为奇数且 t=n+2时为边幻图 .     

关于Smarandache函数的奇偶性

对任意正整数n,著名的F. Smarandache函数S(n)定义为最小的正整数m使得n│m!.即就是S(n)=min{m:m∈N,n│m!}.令OS(n)表示区间[1,n]中S(n)为奇数的正整数n的个数;ES(n)表示区间[1,n]中S(n)为偶数的正整数n的个数.在文[2]中,Kenichiro Kashihara建议我们研究极限limn→∞ES(n)/OS(n)的存在问题.如果存在,确定其极限,本文的主要目的是利用初等方法研究这一问题,并得到彻底解决!即就是证明该极限存在且为零.     

几类含圈非连通并图的优美性

研究了与C_3∨K_n有关的几类并图的优美标号,证明了对任意正整数m,n,l,p,t,设p≤t,当n+1p,p+1[l/2]时,(C_3∨K_n)∪P_l∪K_(p,t)是优美图;当n+1t时,(C_3∨K_n)∪K_(p,t)∪St(m)是优美图;当n≥m,n-[l/2]≥p时,(C_3∨K_n)∪St(m)∪P_l∪K_(p,t)是优美图.     

换位子群是不可分Abel群的有限秩可除幂零群

完整地确定了换位子群是不可分Abel群的有限秩可除幂零群的结构,证明了下面的定理.设G是有限秩的可除幂零群,则G的换位子群是不可分Abel群当且仅当G'=Q或Q_p/Z且G可以分解为G=S×D,其中当G'=Q时,■当G'=Q_p/Z时,S有中心积分解S=S_1*S_2*…*S_r,并且可以将S形式化地写成■其中■,式中s,t都是非负整数,Q是有理数加群,π_κ(k=1,2,…,t)是某些素数的集合,满足π_1■Cπ_2■…■π_t,Q_π_k={m/n|(m,n)=1,m∈Z,n为正的π_k-数}.进一步地,当G'=Q时,(r;s;π_1,π_2,…,π_t)是群G的同构不变量;当G'=Q_p/Z时,(p,r;s;π_1,π_2,…,πt)是群G的同构不变量.即若群H也是有限秩的可除幂零群,它的换位子群是不可分Abel群,那么G同构于H的充分必要条件是它们有相同的不变量.     

本刊英文版Vol.27(2011),No.11论文摘要

<正>For a bipartite graph G on m and n vertices,respectively,in its vertices classes, and for integers s and t such that 2≤s≤t,0≤m-s≤n-t,and m+n≤2s+t-1,we prove that if G has at least mn -(2(m - s) + n - t) edges then it contains a subdivision of the complete bipartite K_((s,t)) with s vertices in the m-class and t vertices in the n-class.Furthermore, we characterize the corresponding extremal bipartite graphs with mn -(2(m - s) + n - t + 1) edges for this topological Turan type problem.     

星样树与路的笛卡尔积图的任意可分性（英文）

一个图G称为是任意可分的(简记AP),如果对于正整数|V(G)|的任一满足∑_(i=1)~pn_i=|V(G)|的划分τ=(n_1,n_2,…,n_p),总是存在顶点集V的一个划分(V_1,V_2,…,V_p)满足|V_i|=n_i,i=1,2,…,p,使得每个V_i导出的图是图G的一个连通子图.记S(a_1,a_2,…,a_t,b_1,b_2,…,b_l)是最大度△(S)=t+l的星样树,其中a_i是奇数,b_j是偶数且a_1≤a_2≤…≤a_t,b_1≤b_2≤…≤b_l.我们证明了对于一个大于等于2的偶数n,当△(S)≤n+1时,如果t≤2,或t≥3且a_3 1,则笛卡尔积图S□P_n是AP的.对于一个大于2的奇数n,如果△(S)≤n+1且t≤2,则S□P_n是AP的;如果△(S)≤n+1且t≥3,则S□P_n不是AP的.     

一种场站设置问题中一个猜想的证明

本文研究如下一种场站设置问题:设S是欧空间R~m中由有限个点A_1,A_2,…,A_n组成的集合.d(A_i,A_j)表示点A_i和A_j之间的距离.令μ(m,n)=σ(S)/(d(S))(SR~m,|S|=n),infμ(m,n)=min{=σ(S)/(d(S))|SR~m,|S|=n}.估计infμ(m,n)的值.本文通过分类处理,区域控制,求边界极值等分析方法给出infμ(2,5)=9+2(3(1/2))等结果.     

The Prediction Theory of Stationary Random Field (Ⅲ) Four-fold Wold Decompositions

Let{X(m,n)}_(m,m=0,±1,±2…)be a stationary random field.The closed linearspace spanned by all X(m,n):m,n=0,±1,±2,…is denoted by L(X).Throughoutthe following pages L_1(x:s)will denote the subspace generated by all X(m,n):m≤s,-∞相似文献   

S—空间中正交小波基的一种构造法

本文提出了一种构造正交小波基{2~(m/2)ψ(2~mt-n),m,n∈Z}的方法.其中母函数ψ(t)∈S(急减函数空间),其Fourier变换ψ(w)∈C_0~∞.     

正则m叉树T的S(n)={Ki:1≤i≤n}-因子数的递归公式

在正则m叉树T中,删除K2及端点关联边,通过所得子正则m叉树中分枝点、叶数和m之间内在联系,本文导出正则m叉树T的S(n)={Ki:1≤i≤n}-因子数递归公式.特别当m=2时,正则2叉树递归公式为:At=A2t/2+2A2t/4At/2,t为正则2叉树T的叶数.