Mixed Product of Hankel and Toeplitz Operators on Fock-Sobolev Spaces

Let f and g be functions in Fock-Sobolev space F^2,m. In this paper, we completely characterize the boundedness and compactness of H_f T_g.     

Sampling from a Mixture of Different Groups of Coupons

A collector samples coupons with replacement from a pool containing g uniform groups of coupons, where "uniform group" means that all coupons in the group are equally likely to occur (while coupons of different groups have different probabilities to occur). For each j=1,..., g, let T_j be the number of trials needed to detect Group j, namely to collect all M_j coupons belonging to it at least once. We first derive formulas for the probabilities P {T₁ < … < T_g} and P {T₁=Λ_j=1^g T_j}. After that, without severe loss of generality, we restrict ourselves to the case g=2 and compute the asymptotics of P {T₁ < T₂} as the number of coupons grows to infinity in a certain manner. Then, we focus on T:=T₁ ∨ T₂, i.e. the number of trials needed to collect all coupons of the pool (at least once), and determine the asymptotics of E[T] and V[T], as well as the limiting distribution of T (appropriately normalized) as the number of coupons becomes large.     

子空间单位球的逼近紧性

设X是Banach空间,Y为X的子空间,B_X,B_Y分别是X和Y的闭单位球.本文研究B_Y的逼近紧性,证明了B_Y在X中是逼近紧的当且仅当对Y的每个与B_X相交的平移Y_T,Y_T∩B_X在Y_T中都是逼近紧的.还得到B_Y逼近紧的稳定性结果.     

Frattini子群是无限循环群的有限生成幂零群

完整地确定了Frattini子群是无限循环群的有限生成幂零群的结构,证明了下面的定理.设G是有限生成幂零群,则G的Frattini子群是无限循环群当且仅当G可以分解为G=S×F×T,其中F是秩为s的自由Abel群,T=Z_m_1⊕Zm_2⊕…⊕Z_m_u,m_1,m_2,…,m_u都是大于1的没有平方因子的自然数,m_1|m_2|…|m_u,■式中d_1,d_2,…,d_r都是正整数,d_1|d_2|…|d_r.进一步,(d_1,d2,…,d_r;s;m_1…,m_2,…,m_u)是群G的同构不变量,即若群H也是Frattini子群是无限循环群的有限生成幂零群,那么G同构于H的充要条件是它们有相同的不变量.     

全矩阵环上理想包含图的自同构群

设R是一个环,其上的理想包含图,记为Γ_I(R),是一个有向图,它以R的非平凡左理想为顶点,从R的左理想I_1到I_2有一条有向边当且仅当I_1真包含于I_2.环R上的理想关系图,记为Γ_i(R),也是一个有向图,它以R为顶点集,从R中元素A到B有一条有向边当且仅当A生成的左理想真包含于B生成的左理想.设F_q为有限域,其上n阶全矩阵环记为M_n(F_q),本文刻画了环M_n(F_q)上的理想包含图以及理想关系图的任意自同构.     

环的B-稳定正则理想

研究了正则理想是B-稳定的充分和必要条件,并且证明环R的正则理想I是B-稳定的当且仅当对任意的有限生成投射右R-模A,如果A₁和A₂是A的有限生成子模且满足A₁≌A₂,A₁=A₁I以及A₂=A₂I,则存在一个有限生成子模B,使得A=A₁（?）B=A₂（?）B;当且仅当对任意的幂等元e,f∈I,eR≌fR蕴含eR/（eR∩fR）≌fR/（eR∩fR）;当且仅当对任意的a∈1+I,存在一个幂等元e∈I,使得a-e∈∪（R）并且aR∩eR=0.进而构造了相关的例子.     

On the minimal reducible bound for outerplanar and planar graphs

Let L be the set of all additive and hereditary properties of graphs. For P₁, P₂ L we define the reducible property R = P₁ P₂ as follows: G P₁P₂ if there is a bipartition (V₁, V₂) of V(G) such that V₁ P₁ and V₂ P₂. For a property P L, a reducible property R is called a minimal reducible bound for P if P R and for each reducible property R′, R′ R → P R′. It is proved that the class of all outerplanar graphs has exactly two minimal reducible bounds in L. Some related problems for planar graphs are discussed.     

正交酉元列在有限von Neumann代数的迹自由积中的应用

令M_1为一个有限的von Neumann代数,τ_1为其上的一个忠实正规迹态.我们将证明,如果M_1中存在一列两两正交的酉元列{u_k:k∈N},则对任意具有忠实正规迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.作为推论可以得出,如果M_1有一个von Neumann子代数N不包含最小投影,则对任意具有忠实迹态τ_2的有限von Neumann代数M_2(≠C),迹自由积(M_1,τ_1)*(M_2,τ_2)是Ⅱ_1型因子.     

Fredholm第一种积分方程Ax=y的表示定理和一次迭代定理*

本文给出两个定理.表示定理指出:若具有界L₂核的Fredholm第一种积分方程Ax=y有唯一解,则其中,一次迭代定理指出:可由公式=x₀+g₀A*(y-Ax₀)一次迭代求得的充分和必要条件是满足下列条件之一:
     

几类具Pucci算子的椭圆方程组解的存在性

研究完全非线性椭圆方程组解的存在性问题,其中ΩR~n,n≥2是有界光滑区域,—Μ_(λ,Λ)~+为具参数0<λ≤Λ的Pucci算子.首先,对f_i,i=1,2为一致有界函数的情形,证明了此方程组存在有界非负解.其次,当{f_1,f_2}是拟增的,且方程组存在有序上、下解时,利用上、下解方法,并结合增算子的不动点定理证明了此方程组存在最大非负解和最小非负解.当{f_1,f_2}是拟减或混拟单调时,使用Schauder不动点定理证明了此方程组至少存在一个非负解.针对此方程组中f_i,i=1,2的某些特殊形式,证明了相应方程组正解的存在性.最后给出了应用实例.     

On the area of the intersection of disks in the plane

Let C₁,…, C_n and C′₁,…, C′_n be two collections of equal disks in the plane, with centers c₁,…, c_n and c′₁,…, c′_n. According to a well-known conjecture of Klee and Wagon (1991), if |c_i − c_j| ≥ |c′_i − c′_j| for all i, j, then Area(∩_i C_i) ≤ Area(∩_i C′_i).

We prove this statement in the special case when there is a continuous contraction of {c₁,…, c_n} onto {c′₁,…, c′_n}.     

自伴标准算子代数上强保持k-斜交换性映射的刻画

令H是维数大于2的复Hilbert空间,A是H上自伴标准算子代数.对于给定的正整数k≥1,H上算子A与B的k-斜交换子递推地定义为_*[A,B]_k=_*[A,_*[A,B]_k-1],其中_*[A,B]₀=B,_*[A,B]₁=AB-BA^*.设k≥4,φ是A上的值域包含所有一秩投影的映射.本文证明了φ满足_*[φ（A）,φ（B）]_k=_*[A,B]_k对任意A,B∈A都成立的充分必要条件是φ（A）=A对任意A∈A都成立,或φ（A）=-A对任意A∈A都成立.当k是偶数时后一情形不出现.     

Primes in the semigroup of non-negative matrices

A matrix A in the semigroup N_n of non-negative n×nmatrices is prime if A is not monomial and A=BC,BCεN_n implies that either B or C is monomial. One necessary and another sufficient condition are given for a matrix in N_n to be prime. It is proved that every prime in N_n is completely decomposable.     

On an explicit formula for the distribution of the supremum

Let M_∞ be the supremum of a random walk drifting to -∞ which is generated by the partial sums of a sequence of independent identically distributed random variables with a common distribution F. We prove that the moment generating function E exp(sM_∞) is a rational function if and only if the function ∫₀^∞ exp(sx)F(dx) is rational.     

高维Hausdorff算子在Hp(Rn)上的有界性

本文主要研究以下形式的Hausdorff算子H_Φf(x)=∫_RⁿΦ(u₁….,u_n)f(u₁x₁,…,u_nx_n)du₁…du_n,其中Φ是Rⁿ上的缓增分布.当n≥2,0Φ在H^p(Rⁿ)上有界当且仅当Φ≡0.进一步,当n≥2,n/n+1Φ有合适定义,那么H_Φ在H^p(Rⁿ)上有界当且仅当Φ是常数.这些结果都表明Hausdorff算子H_Φ在H^p(Rⁿ)上的有界性很复杂.此外,我们将H_Φ转化成卷积型算子,得到H_Φ在Lebesgue空间上有界的一些新的结果.     

von Neumann代数上的局部可乘Lie n-导子

A₁，…，A_n的（n-1）-换位子记为p_n（A₁，…，A_n）.令M是von Neumann代数，n ≥ 2是任意正整数，L：M → M是一个映射.本文证明了，若M不含I₁型中心直和项，且L满足L（p_n（A₁，…，A_n））=∑_k=1ⁿ p_n（A₁，…，A_k-1，L（A_k），A_k+1，…，A_n）对所有满足条件A₁A₂=0的A₁，A₂，…，A_n ∈ M成立，则L（A）=φ（A）+f（A）对所有A ∈ M成立，其中φ：M → M和f：M → Z（M）（M的中心）是两个映射，且满足φ在P_iMP_j上是可加导子，f（p_n（A₁，A₂，…，A_n））=0对所有满足A₁A₂=0的A₁，A₂，…，A_n ∈ P_iMP_j成立（1 ≤ i，j ≤ 2），P₁ ∈ M是core-free投影，P₂=I-P₁；若M还是因子且n ≥ 3，则L满足条件L（p_n（A₁，A₂，…，A_n））=∑_k=1ⁿ p_n（A₁，…，A_k-1，L（A_k），A_k+1，…，A_n）对所有满足A₁A₂A₁=0的A₁，A₂，…，A_n ∈ M成立当且仅当L（A）=φ（A）+h（A）I对所有A ∈ M成立，其中φ是M上的可加导子，h是M上的泛函且满足h（p_n（A₁，A₂，…，A_n））=0对所有满足条件A₁A₂A₁=0的A₁，A₂，…，A_n ∈ M成立.     

A two-sided estimate in the Hsu-Robbins-Erdös law of large numbers

Let X₁, X₂, … be independent identically distributed random variables. Then, Hsu and Robbins (1947) together with Erdös (1949, 1950) have proved that

,

if and only if E[X²₁] < ∞ and E[X₁] = 0. We prove that there are absolute constants C₁, C₂ (0, ∞) such that if X₁, X₂, … are independent identically distributed mean zero random variables, then

c₁λ⁻² E[X₁²·1_{|X1|λ}]S(λ)C₂λ⁻² E[X₁²·1_{|X1|λ}]

,

for every λ > 0.     

Embeddings of the base and bundle isomorphisms

Let π_i :E_i→M, i=1,2, be oriented, smooth vector bundles of rank k over a closed, oriented n-manifold with zero sections s_i :M→E_i. Suppose that U is an open neighborhood of s₁(M) in E₁ and F :U→E₂ a smooth embedding so that π₂Fs₁ :M→M is homotopic to a diffeomorphism f. We show that if k>[(n+1)/2]+1 then E₁ and the induced bundle f^*E₂ are isomorphic as oriented bundles provided that f have degree +1; the same conclusion holds if f has degree −1 except in the case where k is even and one of the bundles does not have a nowhere-zero cross-section. For n≡0(4) and [(n+1)/2]+1<kn we give examples of nonisomorphic oriented bundles E₁ and E₂ of rank k over a homotopy n-sphere with total spaces diffeomorphic with orientation preserved, but such that E₁ and f^*E₂ are not isomorphic oriented bundles. We obtain similar results and counterexamples in the more difficult limiting case where k=[(n+1)/2]+1 and M is a homotopy n-sphere.     

Decompositions of positive self-dual boolean functions

A coterie, which is used to realize mutual exclusion in distributed systems, is a family C of subsets such that any pair of subsets in C has at least one element in common, and such that no subset in C contains any other subset in C. Associate with a family of subsets C a positive Boolean function f_c such that f_c(x) = 1 if the Boolean vector x is equal to or greater than the characteristic vector of some subset in C, and 0 otherwise. It is known that C is a coterie if and only if f_c is dual-minor, and is a non-dominated (ND) coterie if and only if f_c is self-dual. We study in this paper the decomposition of a positive self-dual function into smaller positive self-dual functions, as it explains how to represent and how to construct the corresponding ND coterie. A key step is how to decompose a positive dual-minor function f into a conjunction of positive self-dual functions f₁,f₂,…, f_k. In addition to the general condition for this decomposition, we clarify the condition for the decomposition into two functions f₁, and f₂, and introduce the concept of canonical decomposition. Then we present an algorithm that determines a minimal canonical decomposition, and a very simple algorithm that usually gives a decomposition close to minimal. The decomposition of a general self-dual function is also discussed.     

Markoff数性质的研究

1913年,Frobenius对Markoff方程a~2+b~2+c~2=3abc提了一个著名猜想:若abc是Markoff方程的正整数解,则a,b的值由最大的数c唯一确定.此猜想仍未得到解决.本文证明了:任给定正整数s_i,t_i,w,u,v=1,2),若(a_i,b_i,c)是Markoff方程的两组不同的正整数解,且a_ib_ic(i=1,2),则gcd(s_1a_1+s_2a_2+t_1b_1+t_2b_2+w,uc+v)≤K(uc+v)~(13/14),其中K是仅与s_i,t_i,w,u,v(i=1,2)有关的正数.