多值逻辑函数相关免疫的谱特征

相关免疫是密码学中的一个重要概念.在文献[1]中,Siegenthaler给出了相关免疫的数学定义,并且将逻辑函数的相关免疫阶数作为密码系统抗相关攻击的一个度量指标.利用Walsh变换,文献[2]研究了二值逻辑函数即布尔函数的相关免疫性,得到了几变元的布尔函数为m阶相关免疫的充分必要条件,这一结果在研究二值相关免疫函数的性质及构造中发挥了重要作用.对于从GF~n(p)到GF(p)的函数,即p-值逻辑函数,由于其代数结构比布尔函数复杂.对     

环Z/(m)上多值逻辑函数相关免疫的Chrestenson谱特征

设Ｒ是一个整数剩余类环或有限域,如何用Ｃｈｒｅｓｔｅｎｓｏｎ谱等价地刻划Ｒ上一个多值逻辑函数是否为ｋ阶相关免疫,文献[1]得到了一个必要条件,文献[2～4]分别得到了Ｒ=Ｚ/(ｐ)[2],Ｒ=Ｚ/(ｐ),Ｚ/(4)或Ｚ/(6)[3],以及Ｒ=ＧＦ(ｑ)[4]情形时的充分必要条件.本文给出了Ｒ是一般的整数剩余类环时问题的解答.　　设Ｒ=Ｚ/(ｍ)为整数模ｍ剩余类环,Ｒ上一个ｎ元多值逻辑函数是Ｒ上一个ｎ元多项式ｆ(ｘ1,…,ｘｎ).设ｘ1,…,ｘｎ为Ｒ上彼此独立且等概分布的随机变量,如果ｚ=ｆ(ｘ1,…,ｘｎ)与ｘ1,…,ｘｎ中的任意ｋ个随机变量统计独立,则称ｆ(ｘ1…     

环ZN上的两种Chrestenson谱之间的关系

谱是研究函数的一种重要工具,在研究多值逻辑函数时,引入了两种Chrestenson谱即Chrestenson线性谱和循环谱。文献[1]中基于频谱技术在流密码学中的应用说明了研究这两种谱之间的关系的重要性。冯登国、肖国镇给出了一般的有限域上的这两种Chrestenson谱之间的关系。本文将给出一般的剩余类环Z_N上的这两种Chrestenson谱之间的关系,从而彻底解决了文献[1]中的研究问题1。     

表示谱线轮廓不对称性的一种方法

一、引言 太阳活动现象如耀斑、爆发日珥及环珥系等光谱的共同特征之一就是谱线轮廓的不对称性,它是复杂的太阳活动现象在光谱上的一种反应。产生谱线不对称的原因通常认为是由物质径向运动和在某些特殊物理条件下形成的,因此对轮廓不对称的观测研究是太阳活动现象研究的一个重要方面。叶式辉等曾用数值方法研究速度和源函数对谱线轮廓的影响,得到了一些有意义的结论。最近陈建等采用解析方法研究了日珥谱线的不对称性,得到具有普遍意义的结论。     

表示直向代数的Auslander-Reiten箭图中的Hammocks

Brenner引进了Hammock的概念并用以刻划有限表示型代数的Auslander-Reiten箭图。Ringel和Vossieck给出Hammock的公理化定义,并确定了Hammock与偏序集的表示之间的关系。用组合方法来研究代数表示理论,Hammock起了很好的作用,参见文献[1～3]。本文给出一类在表示直向代数的Auslander-Reiten箭图中自然出现的Hammock,推广了Scheuer的结果。 1 主要结果 本文总约定代数A是某个代数闭域k上基的连通的带单位元的有限维代数。特别地,本文总假定A是表示直向代数。     

实半单Lie群的正交实表示

严志达与张大干在文献[1]中,给出了实半单Lie群的有限维实表示的分类。本文将利用Vogan在文献[2]中提出的最低K型的概念,讨论实半单Lie群的正交表示设G为实半单连通Lie群,K为G的极大紧子群,分别为它们的Lie代数。V是一个实Hilbert空间。π:G→End(V)为一个同态。且π(g)v(g∈G,v∈V)为G×V到矿V的连续映射,则称(V,π)为G的一个实Hilbert表示。若π(g)同时又是正交算子(保持内积不变),则(V,π)称为G的正交(实)表示。若V中没有π(G)的非平凡不变闭子空间,则称(V,π)不可约。以下恒假定(V,π)为G的不可约正交表示。记(V~c,π)为(V,π)的复化。     

连续函数的积分表示

本文给出连续函数σ(λ),λ≥0具有如下积分表达式的一个充要条件: ■其中n为一正整数,a_i是常数(i=0,1,…,n-1),G是[0,∞)上的有限测度,被积函数在u=0点的值依连续性定义为((-λ)~n)/n1。利用这一充要条件可以得到超过程某些特征的一般     

符号为实值函数的多复变Toeplitz算子的谱与本质谱

设B是C~n中的单位球,S是单位球面,dσ是S上的旋转不变测度,dv是B上的规范Lebesgue测度.记L~P(S)=L~P(S,dσ),L~P(B)=L~P(B,dv).Hardy空间H~P(S)以及Bergman空间A~P(B)如通常定义.设P与Q分别是L~2(S)到H~2与L~2到A~2(B)的直交投影.对(?)∈L~∞(S)(L~∞(B)),定义Toeplitz算子T_(?)f=P((?)f)(Q(?)f)),这里f∈H~2(S)(A~2(B)).关于Toeplitz算子的普及本质谱的研究,是算子理论中最重要的课题之一.在本文中,我们利用文献[1]中的一个逼近定理及文献[2]     

WKI族的换位表示

考虑WKI特征值问题: ψ_x=Uψ,U=(?) (1) 引理1 WKI特征值问题等价于谱问题:     

保谱方程的换位表示

1.特征值问题Ly=λy与y_x=Uy的保谱方程,分别具有Lax与零曲率形式 L_t=[V,L],U_t-V_x+[U,V]=0。一个基本问题是:在什么条件下,向量场形式的孤子方程u_t=X(u)与它们是等价的。本文     

Z_N模型的辫子群表示

统计力学中的可解模型和辫子群表示之间的密切关系已经成为研究的热点.但是对于N_N模型,由于雅可比椭圆函数在复平面上具有双周期性,假若椭圆函数的一个周期趋近于无穷大,然后沿着这个无穷周期取极限,那么,我们只能得到与六顶角相关的辫子群生成元gi,即Z_2模型退化为六顶角模型.     

对称群自旋表示的特征标

对称群有两类表示:一般表示和自旋表示。关于自旋既约表示的特征标,Morris利用Q函数的方法给出了4≤n≤13的特征标表。 栾德怀和Wybourne在文献[3]中证明了对于S_n的自旋既约表示也存在着约化记号。从而不用特征标表就给出S_n的自旋表示的张量积分解及分歧律的n无关约化记号的结果。     

矩量的显式表示

在许多逼近问题中,需要求出算子的矩量,但矩量的实际计算并不容易,即使对熟知的几个线性算子,迄今仍无矩量的显式计算公式,本文对Bernstein算子,给出任意阶矩量的计算公式,同时得出几个组合公式.     

整函数及其导函数的Julia集

设f:C→C是整函数映照,定义迭代序列{f~n}如下: f~0(z)={z, f~(n+1)(z)=fof~n(z), n=0,1,2,……。整函数的迭代理论很早就为 Fatou 所研究。近年来,随着有理动力系统的发展,整函数动力系统迅速活跃起来。以下定义 N(f)={z∈C|{f~n} 在z点正规};J(f)=C\N(f),     

用较少变量函数的叠合逼近多变量函数

近年来,用一个固定函数的复合来逼近多元连续函数问题引起了工程师及数学家的广泛的兴趣,因为它是神经网络及小波分析中的一个根本问题。在以往的一系列文章中我们讨论了一个一元函数的复合对多元函数的逼近。本文将讨论一个s元函数的复合对     

破解百年难题"李群E8的表示"

2007年3月19日,在美国麻省理工学院举行了一场非同寻常的报告会,数学系教授沃根（D.Vogan）代表由美国和欧洲的18位数学家和计算机专家组成的研究小组（简称为Atlas团队）介绍了他们所进行的研究项目＂李群及其表示＂（The Atlas of Lie Groups and Representations）取得的重大进展.     

双周期阵列的迹表示

二维线性递归阵列在二维信息加密、雷达定位、声纳系统等方面有重要应用,因而得到数字通讯、密码学、信息加工和数学等领域专家的重视,二维线性递归阵列的研究主要涉及到多变元的多项式环,而不是主理想环,故与一维序列的研究方法有本质的不同,本义主要给出二维线件递归阵列的一个好的表示,称为迹表示,从而提供一个研究二维阵列结构的有力工具,目前,对于具有极大周期的二维线性递归阵列(即m-阵列)的迹表示在文献中已给出,进而对阵列的线性递归关系对应的理想只有2个生成元,且其一生成元在没有重根的条件下也得到迹表示,本文是研究一般的线性递归阵列,其对应的主理想只要求是Nother环中的理想,我们利用Gr(?)bner基理论,先找出阵列空问的一组特殊的基底,进而得到阵列的迹表     

非参数M-估计的Bahadur表示

设(X,Y),(X_1,y_1),(X_2,Y_2),…为独立同分布二维随机变量序列,φ(·)为定义在R~1上的单调递增函数.对任意,x∈R~1,设θ(x)满足     

多进Daubechies型滤波器的积分表示

1引言与结论设整数M≥2和N≥1.定义则由等式所确定的实系数三角多项式_N~MH(ξ）称为多进Daubechies型滤波器.在M=2时它最先由Daubechies引入,Heller及Bi等给出了一般情形M≥2.若三角多项式H(ξ）有因子（（1-e~(iMξ))/(1-e~(iξ))~时即存在三角多项式R(ξ)使得H(ξ)=((1-e~(iMξ))/(1-e~(iξ))~NR(ξ),称H(ξ)有N阶消失矩.显然滤波器_N~MH(ξ）是方程