既不含4-圈又不含6-圈的平面图的非正常染色

设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)-和(1, 1, 0)-可染的.     

不含4-圈和9-圈的平面图是(2,0,0)-可染的

设d_1,d_2,...d_k为尼个非负整数.若图G的顶点集V可划分成k个子集合V_1,V_2…,V_k,使得对于任意的i∈{1,2,...,k},由V_i导出的子图G[V_i]的最大度至多为d_i,则称图G是(d_1,d_2,...,d_k)-可染的.1976年,Steinberg猜想:不含4-圈和5-圈的平面图是(0,0,0)-可染的.在Steinberg猜想的驱动下,人们证明了以下三个结论:(1)对每一个i∈{5,6,7,8,9},不含4-圈和i-圈的平面图是列表(1,1,1)-可染的;(2)对每一个i∈{5,6,7,8,9},不含4-圈和i-圈的平面图是(1,1,0)-可染的;(3)对每一个i∈{5,6,7,8},不含4-圈和i-圈的平面图是(2,0,0)-可染的.为使结论(3)更加完整,本文证明不含4-圈和9-圈的平面图是(2,0,0)-可染的.     

平面图3色可染的一个充分条件

Steinberg猜想既没有4-圈又没有5-圈的平面图是3色可染的. Xu, Borodin等人各自独立地证明了既没有相邻三角形又没有5-和7-圈的平面图是3 色可染的. 作为这一结果的推论, 没有4-, 5-和7-圈的平面图是3色可染的. 本文证明一个比此推论更接近Steinberg猜想的结果, 设G是一个既没有4-圈又没有5-圈的平面图, 若对每一个k∈{3, 6, 7}, G都不含(k, 7)-弦, 则G是3色可染的, 这里的(k, 7)-弦是指长度为7+k-2的圈的一条弦, 它的两个端点将圈分成两条路, 一条路的长度为6, 另一条路的长度为k-1.     

不包含{4,8,9}-圈的平面图是3-可染的

主要围绕Steinberg提出猜想:每个不包含4-圈和5-圈的平面图都是3-可染色的,对一些平面图类展开研究,提出要解决的问题:不包含{4,8,9}-圈的平面图是3-可染的.现从四个方面:不包含{4,8,9}-圈的平面图G的一些结构性质;不包含{4,8,9}-圈的平面图G中内部非分离6-圈的性质;不包含{4,8,9}-圈的平面图G不包含内部的6-面;f0不是一个6-面来证明结论,即不包含{4,8,9}-圈的平面图是3-可染的.     

关于覆盖同余式组的一个注记

In this paper, it is shown that., if x≡α_i(mod n_i)(i=1,…,k),112<…k,0≤α_ii is a covering sets of residue classes, there exist two distinct pairs of integer number n_i,n_j(is,n_t(si,n_j)>1, (n_s,n_t)>1, where (a,b) is the greatest common divisor of a,b.     

一个求极值问题(Ⅰ)

对于给定的正整数n,N(N>n>1)与实数δ(0≤δ≤1/2),要求在k₁+k₂+…+k_n=N,k_i≥1(i=1,2,…,n)都是整数 (1)的条件下,求出一组使文中定义的目标函数L_{k¹k²…kⁿ}(δ)取最大值的整数组(k₁k₂…k_n),这整数组称为方程(1)的最优解。在本文中,将要证明:对于任何N>n>1与0≤δ≤1/2,一定能从适合(ⅰ)k₁为偶数;(ⅱ)|k_i-k_j|≤2(1≤i,j≤n);(ⅲ)在k₂,…,k_n中出现的偶数k都有相同的数值等条件的那些(k₁k₂…k_n)中找到方程(1)的一组最优解。特别对于δ=0与δ=1/2这两个重要的情形,给出了当N=n(e-1),而e≥4为一偶数时方程(1)的一组最优解。文中还证明了:对于δ=0与δ=1/2,以及N=nk(k≥2),从极限的观点看,(k,k,…,k)都是方程(1)的一个“相当不好”的解。     

图的彩虹连通数与最小度和

令G是一个阶为n且最小度为δ的连通图. 当δ很小而n很大时, 现有的依据于最小度参数的彩虹边连通数和彩虹点连通数的上界都很大, 它们是n的线性函数. 本文中, 我们用另一种参数,即k个独立点的最小度和σ_k来代替δ, 从而在很大程度上改进了彩虹边连通数和彩虹点连通数的上界. 本文证明了如果G有k个独立点, 那么rc(GG)≤3kn/(σk+k)+6k-3. 同时也证明了下面的结果, 如果σ_k≤7k或σ_k≥8k, 那么rvc(G)≤(4k+2k²)n/(σ_k+k)+5k; 如果7k<σ_k<8k, 那么rvc(G)≤(38k/9+2k²)n/(σ_k+k)+5k.文中也给出了例子说明我们的界比现有的界更好, 即我们的界为rc(G)≤9k-3和rvc(G)≤9k+2k²或rvc(G)≤83k/9+2k², 这意味着当δ很小而σ_k很大时, 我们的界是一个常数, 而现有的界却是n的线性函数.     

具有色多项式∏∑(ui)/k{k/ui-k}(λ)k的图

本文利用色多项式的性质,讨论了具有色多项式∏_i∑_k(ui)/k{k/u_i-k}(λ)_k的图的结构,给出了具有这种色多项式的全部色等价图.     

有限秩的幂零π-群的自同构

设G 是有限秩的幂零π-群, α 和β 是G 的两个自同构. 设1=ς₀G < ς₁G < …< ς_cG=G是G 的上中心列, 把α 和β 在每个商因子ς_iG/ς_i-1G 上的诱导自同构分别记为α_i 和β_i. 如果每个Im(α_iβ_i-β_iα_i) 或者是循环群, 或者是T⊕D, 其中T 是循环群, D 是秩1 的可除群, 那么α 和β 生成一个可解的NAF-群. 特别地, 如果α 和β 是G 的两个π′- 自同构, 那么
(i) 当每个Im(α_iβ_i-β_iα_i) 都是循环群时, α 和β 生成的群是有限幂零π- 群被有限Abel π′- 群的扩张.
(ii) 当每个Im(α_iβ_i-β_iα_i) 或者是循环群, 或者是T⊕D, 其中T 是循环群, D 是秩1 的可除群时, α 和β 生成一个剩余有限π ∪ π′- 群A, A 有正规列1≤C≤B≤A, 其中C 是有限生成的无挠幂零群, B/C 是有限幂零π- 群, A/B 是有限Abel π′- 群.
此外, 对于G 的下中心列考虑了类似的问题, 得到了对偶的结果.     

关于k-致凸性和k-致光滑性的几点注记

设X为Banach空间,记U(X)={x∈X:‖x‖≤1}。V.I.Istratescu引入了下面两个概念。Banach空间Z叫做k一致凸的,如果对每个ε>0,存在δ(ε)>0,当x₁,…,x_k,y₁,…,y_k为U(X)中的元素.本文证明上述k一致凸性等价于一致凸性,并且X为k一致光滑的当且仅当X为一致光滑的,因此这两个概念都不是新的概念。     

NA随机场对数律的收敛速度

设d是一个正整数, N ^d是d -维正整数格点.设{X_n , n∈N ^d} 是一同分布的负相伴随机场, 记S_n =∑_{k≤ n} X_k, S_n^(k)=S_n-X_k, 如果r >2, EX₁ = 0 和σ²= Var(X₁}, 则存在一个正数M:=100√(r-2)(1+σ²)使得下列条件等价 (I)E |X₁|^r (log|X₁|)^d-1-r/2 <∞; (II)∑_{n∈ N^d} |n|^r/2-2P(max_{1≤ k≤ n} |S_n^(k)|≥ (2^d+1 )ε√|n| log |n |) <∞,∨ε > M; (III)∑_{n∈N ^d} |n|^r/2-2P(max_{1≤ k≤n} |S_k |≥ε√| n} log| n |) <∞,∨ε > M. (III)\ \ $\sum\limits_{{{\bf n}}\in {{\cal N}}^{d}} |n|^{r/2-2} P(\max\limits_{{\bf 1}\leq{\bf k}\leq{\bf n}}|S_{{\bf k}}|\geq \varepsilon \sqrt{|{\bf n}|\log |{\bf n}|})<\infty$, $\forall\varepsilon>M$.     

高波数Helmholtz 方程的内罚有限元方法

本文考虑二维和三维区域上高波数Helmholtz 散射问题的线性内罚有限元方法. 该散射问题的边界条件取为一阶吸收边界条件. 本文证明了, 如果加罚参数γ-γ_r+iγ_i 的虚部 γ_i 大于零, 那么内罚有限元方法是绝对稳定的, 即对任意k,h,R > 0 都存在唯一解. 这里k 是波数, h 为网格尺寸, R是区域的直径. 进一步地, 如果|γ_r|≤γ_i≤1, 那么存在与k,h,γ,R 无关的常数C₀;C₁;C₂, 使得当k³h²R ≤ C₀ 时, 该方法的H¹ 误差界为(C₁kh + C₂k³h²R)RM(f, g), 当k³h²R > C₀ 且kh 有界时,H¹ 误差界为(C₁kh + C₂/γ_i)RM(f, g), 其中M(f, g) := (‖f‖_L²(Ω) + R^-1/2‖g‖_L²(Γ)) + R^-1|g|_H^1/2(Γ). 另外, 本文还推导了L² 误差估计. 注意到γ = 0 时内罚有限元方法就是经典的有限元方法, 通过取加罚参数为iγ_>i 并令γ_i 趋于0+, 本文还在k³h²R ≤ C₀ 的条件下, 得到了有限元方法的稳定性和误差估计.作者以前的工作只考虑了加罚参数为纯虚数的情形并且没有考虑对R 的依赖关系.     

不含4-圈与7-圈的平面图是(2,0,0)-可染的

设d1,d2,...,dk是k个非负整数.若图G=(V,E)的顶点集V可剖分成k个子集V1,V2,...,Vk使得对i=1,2,...,k,由Vi所导出的子图G[Vi]的最大度至多为di,则称G是(d1,d2,...,dk)-可染的.本文证明不含4-圈和7-圈的平面图是(2,0,0)-可染的.     

循环圈的连通度

设G＝C_n（i₁,i₂,…,i_r）是连通循环圈,且k（G）＜δ（G）．本文得到了其连通度的明确表达式κ(G)=min{m|M(n/m,K)|:m是n的真因子,且|M(n/m,K)|相似文献   

图的伴随多项式的两个因式分解定理及其应用

设G是m阶连通图,P_m是m个顶点的路.令S_km+1^G(i)表示把kG的每一个分支的第i(1≤i≤m)个顶点依次与星图S_k+1的k个1度顶点重迭后得到的图;令G_i1^S*(q,km)表示q阶图G的顶点V_i1与S_km+1^p(1)的k度顶点重迭后得到的图     

Stability of Rotation Relations of Three Unitaries with the Flip Action in C*-Algebras*

The authors show that if Θ = (θ_jk) is a 3 × 3 totally irrational real skewsymmetric matrix, where θ_jk ∈ [0, 1) for j, k = 1, 2, 3, then for any ε > 0, there exists δ > 0 satisfying the following: For any unital C^*-algebra A with the cancellation property,strict comparison and nonempty tracial state space, any four unitaries u₁, u₂, u₃, w ∈ A such that (1) u_ku_j - e^{2πiθjk ujukk} < δ, wu_jw^-1 = u^-1_j, w² = 1_A for j, k = 1, 2, 3; (2)τ (aw) = 0 and τ ((u_ku_ju_k^*u_j^* )ⁿ ) = e^2πinθjk for all n ∈ N, all a ∈ C^*(u₁, u₂, u₃), j, k = 1, 2, 3 and all tracial states τ on A, where C^*(u₁, u₂, u₃) is the C^*-subalgebra generated by u₁, u₂ and u₃, there exists a 4-tuple of unitaries u₁, u₂, u₃, w in A such that u_ku_j = e^2πinθjk u_ku_j, w u_j w^-1 = u^-1 _j, w² = 1A and k u_j - u_jk < ε, k w - wk < ε for j, k = 1, 2, 3. The above conclusion is also called that the rotation relations of three unitaries with the flip action is stable under the above conditions.     

k维Piatetski-Shapiro素数定理 *

研究了k(≥3)维的Piatetski Shapiro素数定理 .令π(x;c₁,… ,c_k)表示不超过x且具有形式 [n^c₁1]=… =[n^c_kk]的素数个数 ( 1 k- (k/( 4k²+2 ) )时 ,π(x;c₁,… ,c_k)具有渐近公式 .     

不含4-圈和5-圈的平面图的非正常2-染色的一个新结果

设d_1,d_2,···,d_k是k个非负整数,若图G=(V,E)的顶点集V能被剖分成k个子集V_1,V_2,···,V_k,使得对任意的i=1,···,k,V_i的点导出子图G[Vi]的最大度至多为di,则称图G是(d_1,d_2,···,d_k)-可染的,本文证明了既不含4-圈又不含5-圈的平面图是(9,9)-可染的.     

KdV方程的特征速度的Lax猜想的证明

本文证明Lax提出的对KdV方程u_l+6uu_x+u_xxx=0的如下猜想:存在N个正常数ci,j=1,2,…,N和2N个常数θ_i^±,j=1,2,…N对方程的任一解u(x,t)有其中S为一孤立波。     

半参数回归模型小波估计的强逼近 *

考虑半参数回归模型y_i=x^T_iβ +g( t_i ) +e_i,i=1 ,2 ,… ,n ,其中 β∈R^d 为未知回归参数 ,g(·)为 [0 ,1 ]上的未知Borel函数 ,{x^T_i}为R^d 上的随机设计 ,{t_i}为常数序列 ,{e_i}为i.i.d .随机误差 ,Eei=0 .在适当的条件下 ,证明了 β和g(·)的小波估计 ^{^}β和^{^}g(·)的强相合性 ,并且得到了^{^}β和^{^}g(·)的强相合速度 .