通有构形的特征多项式

首先, 给出广义平凡位置构形的定义, 并研究平凡位置构形、 广义平凡位置构形、 通有构形之间的关系. 其次, 通过建立构形和简单图的关系, 给出通有阈构形的子构形线性无关的充要条件以及通有阈构形的子构形的特征多项式.     

通有构形的特征多项式

首先, 给出广义平凡位置构形的定义, 并研究平凡位置构形、 广义平凡位置构形、 通有构形之间的关系. 其次, 通过建立构形和简单图的关系, 给出通有阈构形的子构形线性无关的充要条件以及通有阈构形的子构形的特征多项式.     

Weyl构形A_(n-1)和B_n之间的构形的自由性

Weyl群的反射超平面形成的集合称为该群对应的Weyl构形。设符号A_(n-1)和B_n分别表示A_(n-1)型和B_n型Weyl构形。若构形■满足A_(n-1)■B_n,则称■为A_(n-1)和B_n之间的构形。本文首先研究了阈图,给出构造阈图的一种方法。然后,利用阈图研究了A_(n-1)和B_n之间的构形的自由性。给出结论:对于满足|A_(n-1)|k|B_n|的任意整数k,均存在A_(n-1)和B_n之间的自由构形,其基数为k。同时也给出A_(n-1)和B_n之间的非自由构形的类似的结论。     

三矩阵左半张量积的加权Moore-Penrose

给出了三矩阵左半张量积A⊙B⊙C的加权Moore-Penrose逆满足反序律(A⊙B⊙C)⁺_MK=(C⁺_LK⊕I_t )(B⁺_NL⊕I_p)A⁺_MN 的充要条件。     

图的符号边全控制数

用γ′_st(G)表示图G的符号边全控制数,给出了一般图的符号边全控制数的下界 ,最后确定完全图的符号边全控制数.     

算子乘积的本质谱

设A为Hilbert空间H上的有界线性算子, 若任给B∈B(H),有 σ_e(AB)=σ_e(BA),则称 A为一个一致Fredholm算子(简写为CF算子)或者称算子A具有CF性质, 其中σ_e(·)表示本质谱。 给出了算子具有CF性质的充要条件, 并且考虑了算子的紧摄动的CF性质;研究了算子矩阵的CF性质。     

乘积构形的超可解性

本文给出了乘积构形格的几个运算性质。证明了乘积构形格L中元素是模元的充要条件，并利用该结论证明了乘积构形(a₁×…×a_k，V₁+…+V_k)是超可解构形的充要条件是每个因子构形(a₁，V_i)，1≤i≤k都是超可解构形。最后证明了若因子构形(a_k,V_i)，1≤i≤k均是良分划构形，则乘积构形(a₁×…×a_k，V1+…+V_k)也是良分划构形。     

无界上三角算子矩阵的谱等式

研究了无穷维复可分Hilbert空间中的2×2无界上三角算子矩阵■是满射、下方有界及可逆的充要条件,进而得到了等式σ_*(T)=σ_*(A)∪σ_*(D)成立的充要条件,其中σ_*∈{σ_δ,σ_ap,σ}。这些结论推广了Du,Han及Barraa等学者在有界算子矩阵的情形下给出的充分条件。作为应用,给出了对角占优的上三角无穷维Hamilton算子可逆及谱等式成立的充要条件,并辅以实例佐证。     

Orlik-Solomon代数的NBC基的一个算法

文中给出了Orlik-Solomon代数NBC基的一个算法,并在计算机上进行了实现。用此算法对顶点数小于7的带号完全n点形图构形做了π-分类,计算了各类的Poincaré多项式。最后,给出猜想“带号完全n点形的相反图构形A(G)是不自由的,则完全n点形图构形A(G)是自由的”的一个反例。     

有限点集共超球的充分必要条件

运用距离几何的理论与方法, 证明n维欧氏空间Eⁿ中的n维有限点集Σ(A,N+1)={A₀,A₁,…,A_N}在同一个n-1维超球面上的充要条件是： Σ(A,N+1)的距离平方矩阵M(Σ(A,N+1))=(a²_kl)(k,l=0,1,…,N)的秩等于n+1. 并给出了三维空间中5点共球的充分必要条件.     

Frobenius扩张下的W⊥-Gorenstein内射性

对于一个广义的倾斜模WR,定义了W⊥R-Gorenstein内射模和W⊥R-Gorenstein内射维数,证明了在环Frobe-nius扩张下,模的W⊥-Gorenstein内射模性是保持的,即对于MR、MR是一个W⊥R-Gorenstein内射模当且仅当M?RSS是一个(W?RSS)⊥S-Gorenstein内射模,...     

二面体群Grothendieck代数的Maschke定理

设F是特征为0的代数闭域,n=2N+1为任一奇数,明确计算了阶为2n的二面体群D_n的Grothendieck环r(FD_n)的Casimir数为2n2,并且给出了对应的二面体群Grothendieck代数的Maschke定理。     

W(2)到Kac模的一阶上同调

确定了特征p>2的域上Witt型模李超代数W(2)到两类Kac模K(λ)的一阶上同调。得出以下结论: W(2)到K(2ξ2)的一阶上同调空间是一维的; W(2)到K(ξ1+ξ2)的一阶上同调空间是零维的。     

不含4-圈或弦6-圈的平面图是(3,0,0)-可染的

设d₁,d₂,…,d_k是k个非负整数,若图G=(V,E)的顶点集V能被剖分成k个子集V₁,V₂,…,V_k,使得对任意的i=1,2,…,k,V_i的点导出子图G［V_i］的最大度至多为d_i,则称图G是(d₁,d₂,…,d_k)-可染的。关于平面图的染色,有以下结论:不含4-圈或弦6-圈的平面图是(3,0,0)-可染的。     

单圈图的边幻和全标号

对于图G(p,q),若存在一个映射f:V(G)∪E(G)→{1,2,…,p+q},使得任意边uv∈E(G),满足f(u)+f(v)+f(uv)=K,K为常数,则图G(p,q)为边幻和图。设计了一种算法对16个点以内的单圈图进行标号,依据得到的结果,找到了两类特殊单圈图的标号规律,定义C_nSymbolQC@〓S_m和C_nΔS_m来刻画此两类特殊单圈图,并给出其相关定理及证明。结果表明,点数小于等于16的所有单圈图均具有边幻和全标号,且其中绝大部分是超级边幻和全标号,从而猜测点数多于16的单圈图也具有边幻和全标号。     

次序统计量之和的中心极限定理

设{X, X_i, i≥1} 为独立同分布随机变量列,具有共同的非退化分布函数Ｆ,并且|X⁽¹⁾_n|≥|X⁽²⁾_n|≥...≥|X⁽ⁿ⁾_n|为|X₁|, |X₂|,...,|X_n|的次序统计量。对于r_n→+∞,r_n/n→0,记^(r_n)S_n=∑ⁿ_i=rn+1X⁽ⁱ⁾_n。本文得到了依分布收敛到正态的充要条件。     

整可逆图的克罗内克积的逆

图G₁和G₂的克罗内克积G₁⊗G₂具有点集V(G₁)⊗V(G₂),在G₁⊗G₂中两个点(u₁,v₁)和(u₂,v₂)相邻当且仅当 u₁u₂∈E(G₁)且 v₁v₂∈E(G₂)。对整可逆图(即图的邻接矩阵的逆矩阵中只包含整数)的克罗内克积的逆进行刻画。     

伴随极值分布函数的弱收敛

设{(X_n,Y_n)}是i.i.d.随机向量序列,共同d.f.为F。本文在更弱的条件下证明了A_n^-1(Y_{(n, n)}-B_n)→I对某准d.f.I成立,从而推广了Nagaraja和David的结果。此外还指出：对于(a_n^-1(X_{n, n}-b_n),A_n^-1(Y_{(n, n)}-B_n))的联合分布的弱收敛,本文的条件不仅充分,而且必要。最后,揭露了二元极值弱收敛与(a_n^-1 (X_{n, n}-b_n), A_n^-1 (Y_{(n, n)}-B_n))的联合分布弱收敛之间的紧密联系。     

二阶脉冲微分方程Dirichlet问题非平凡解的存在性及多解性

研究了二阶脉冲微分方程Dirichlet问题{u″(t)+f(t,u(t))=0, t∈(0,1), t≠t_i,Δu|_t=ti=α_iu(t_i), i=1, 2,…,k,u(0)=u(1)=0非平凡解的存在性及多解性。其中α_i>-1, i=1, 2,…,k 为给定常数, 0=t₀12<…kk+1=1 为给定的脉冲点。Δu|_t=ti=u(t⁺_i)-u(t^-_i), u(t⁺_i), u(t^-_i)分别表示u在t=t_i处的右极限和左极限。 f∈C(［0,1］×R, R)。 本文的主要结果推广和改进了一些已有的关于二阶脉冲微分方程Dirichlet问题非平凡解的存在性及多解性的结论。 主要结果的证明基于López-Gómez在2001年建立的分歧定理。     

若干Mycielski图的邻点扩展和可区别全染色

讨论了Mycielski图M(P_n)、M(C_n)、M(S_n)、M(F_n)、M(W_n)的邻点扩展和可区别全染色问题.根据图形的结构特点,采用函数构造法,得到了这几类图的邻点扩展和可区别全色数,同时证明NESD猜想对上述5种Mycielski图是成立的.