带有权函数的Coxeter群C_n的胞腔（英文）

仿射Weyl群(C_n,S)可以看做仿射Weyl群(A_(2n),S)在其某个满足α(S)=S的群自同构α下的固定点集合.A_(2n)上的长度函数l在C_n上的限制可以看做C_n上的某个权函数.本文通过研究仿射Weyl群A_(2n)在α下的固定点集合从而给出带有权函数的Coxeter群(C_n,l)中对应于划分2~(n-1)1~3的所有胞腔的清晰刻画。     

加权的Coxeter群_n的左胞腔(英文)

仿射Weyl群(_(2n),S)在某个群同构α(其中α(S)=S)下的固定点集合能被看作是仿射Weyl群(_n,S).那么加权的Coxeter群(_n,■)的左和双边胞腔(■是仿射Weyl群A_(2n)的长度函数),就能通过研究仿射Weyl群(_(2n),S)在群同构α下的固定点集合而给出一个清晰的划分.因此给出了加权的Coxeter群(_n,■)对应于划分k1^(2n+1-k)和(2n-1,2)的所有左胞腔的清晰刻画,这里对所有的1≤k≤2n+1.     

通有构形的特征多项式

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

通有构形的特征多项式

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

G_2型Shi-Catalan构形的自由性

G2型Shi-Catalan构形是二维空间中的重构形,它是将G2型Weyl构形在同一轨道中的超平面赋予相同的重数而得到的构形。给出了G2型Shi-Catalan构形的4种具体形式,通过将构形投影到射影平面计算构形中超平面交点个数的方法,证明了G2型Shi-Catalan构形的锥构形都是自由的。     

加权的Coxeter群(C)n的左胞腔

仿射Weyl群((A2n),(S))在某个群同构α(其中α(S)=(S))下的固定点集合能被看作是仿射Weyl群((C)n,S).那么加权的Coxeter群((C)n,(e))的左和双边胞腔((e)是仿射Weyl群(A)2n的长度函数),就能通过研究仿射Weyl群((A)2n,(S))在群同构α下的固定点集合而给出一个清晰的划分.因此给出了加权的Coxeter群((C)n,(e))对应于划分k12n+1-k和(2n-1,2)的所有左胞腔的清晰刻画,这里对所有的1≤k≤2n+1.     

_n型仿射Weyl群a值5的A_2×A_(12)×A_(11)型左胞腔

描述了_n型仿射Weyl群a值为5的A_2×A_(12)×A_(11)型左胞腔的个数.通过计算得到:当n=7时,这样的左胞腔个数为32;当n≥8时,左胞腔个数为1/12(n~4-2n~3-55n~2+224n-204).     

轮图和联图对应图构形的特征多项式

利用构形中的“删除 限制”方法, 通过考察n-圈和n-路图, 分别给出轮图和两条路的联图对应图构形的特征多项式.     

Dn型通有构形的特征多项式

设W是n维欧氏空间中的D_n型Weyl群,以W的正根为法向量的超平面形成的通有构形称为D_n型通有构形,记为A(D_n)。首先建立了不含自环的符号图与A(D_n)的子构形的一一对应关系;其次,研究了一个符号圈线性相关的充要条件;最后从符号图的角度给出A(D_n)的子构形线性无关的充要条件。在此基础上,给出A(D_n)及其子构形的特征多项式的具体计算方法。     

乘积构形的超可解性

本文给出了乘积构形格的几个运算性质。证明了乘积构形格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)也是良分划构形。     

完全对换图的广义3-连通度（英文）

令S■V(G)κ.G(S)表示图G中内部不交的S-树T1,T2,…,Tr的最大数目r,使得对任意i,j∈{1,2,…,r}且i≠j,有V(Ti)∩V(Tj)=S,E(Ti)∩E(Tj)=.定义κk(G)=min{κG(S)|S■V(G),且|S|=k}为图G的广义k-连通度,其中k是整数,且2≤k≤n.完全对换图在网络中是重要的一类Cayley图.该文证明了n-维完全对换图CTn的广义3-连通度是n(n-1)/2-1,也就是说,对于CTn的任意三个点,存在n(n-1)/2-1个连接它们的内部不交的树.     

半群OI~k_((n,r))的秩和相关秩

设自然数n≥3,OI■是有限链[n]上的双边k型-保序严格部分一一变换半群.对任意的1≤k≤n-1, 0≤r≤n-1,记OI■={α∈OI■:|im(α)|≤r}为半群OI■的双边理想.通过对秩为r的元素和格林关系的分析,分别获得了半群OI■的极小生成集和秩.进一步确定了当0≤l≤r时,半群OI■关于其理想OI■的相关秩.     

乘积构形的良划分性

已知乘积构形为超可解构形充要条件是每个因子构形都是超可解构形,将此结论推广到良划分构形,证明了乘积构形(A1×…×Ak,V1…Vk)为良划分构形的充要条件是因子构形(Ai,Vi),1≤i≤k都是良划分构形。     

n-正则(n-2)-边可删的导出匹配可扩图

设图G是有2n个顶点的简单图,如果对于E(G)的任一满足|F|=k的子集F,G-F均为导出匹配可扩的,则称图G是k-边可删的导出匹配可扩图.证明了n-正则(n-2)-边可删的导出匹配可扩图只有Kn,n,其中n≠4k,k≥3.     

带有权函数的Coxeter群Cn的胞腔

仿射Weyl群((C)n,S)可以看做仿射Weyl群((A)2n,(S))在其某个满足α((S))=(S)的群自同构α下的固定点集合.(A)2n上的长度函数(l)在(C)n上的限制可以看做(C)n上的某个权函数.本文通过研究仿射Weyl群(A)2n在α下的固定点集合从而给出带有权函数的Coxeter群((C)n,(l))中对应于划分2n-113的所有胞腔的清晰刻画.     

正定矩阵之逆的几何意义及其一个应用

已给一个正定矩阵A_(nxn)=[α_(ij)]。我们知道在n维欧氏空间中存在n个矢量e_1,e_2,……,e_n;记e_i与e_j的点乘积为〈e_i·e_j〉,它们使α_(ij)=〈e_i·e_j〉,对i,j=1,2,…,n。定义:称E(A|B_1,B_2,…,B_n)是A在B_1,B_2,…,B_n生成线性子空间x(B_1,…,B_n)中正交投影。若此矢量满足:     

对称群Sn（n≤15）的一个新刻画

本文首先通过计算给出了对称群Sn(n≤15)的阶|Sn|，最高阶元的阶k1(Sn)，次高阶元的阶k2(Sn)及第三高阶元的阶k3(Sn)。然后利用有限单群分类定理证明了Sn(n=1,2,…,9,11,13,14)可由|Sn|和 k1(Sn)刻画，即有限群G同构于Sn当且仅当|G| = |Sn|且k1(G) = k1(Sn)。最后对Sn(n=10,12,15)证明了它们可由|Sn|和 k1(Sn)， k2(Sn)及 k3(Sn)刻画，即G同构于Sn当且仅当|G| = |Sn|且k1(G) = k1(Sn)， k2(G) = k2(Sn)及 k3(G) = k3(Sn)。
     

一类图构形的φ_n不变量

定义了超平面构形的一个不变量 φ_n ,它是Falk的φ₃不变量的一个推广。研究了一类特殊的图构形,它们所对应的图由l个n边形组成,使其相邻两个 n 边形有一条公共边,这种图叫做长度为l的n边梯子,通过逻辑推导与论证得出关于n边梯子构形的φ_n 不变量的结论 φ_n =(n-1)l。     

某种拟分裂情形下加权Coxeter群(_n,■_(2n))的胞腔（英文）

仿射Weyl群(_n,S)可以看作仿射Weyl群(_(2n),■)在其某个满足α(■)=■的群自同构α下的固定点集合._(2n)上的长度函数■_(2n)在_n上的限制可以看做_n上的权函数.通过研究(_(2n),■)两在α下的固定点集合,本文刻画了加权oxeter群(_n,■_(2n))对应于划分3~32~(n-4)的所有胞腔.证明了文中左胞腔的左连通性,从而验证了Lusztig提出的一个猜想.     

关于一种对称凸集上的数值域

对于ω∈R~n,对称凸集是指A_ω={x∈R~n|x■ω}。文中给出了关于A∈C_(n×n)的数值域R~ω(A)={x~TAx|x∈A_ω}的几个结果。