有限交换环上的多项式置换群

1999年, Frisch描述了 Z/p2Z上多项式置换群的结构.2005年,张找到 Z/p2Z 上多项式函数与 Z/pZ 上多项式函数的3维向量之间的对应关系.本文首先证明在任意有限交换环 R 上, 多项式置换群同构于R［x］（作为 R 上多项式函数全体构成的 R 代数）的自同构群,然后用张所提出的对应对Frisch的描述给出一个新证明.     

置换群与整数间一对一Hash函数的构建

为了提高量子可逆逻辑电路自动生成与优化的效率,给出了一个在置换群与整数域上满足一对一映射的Hash函数构建方法.一个n×n的量子可逆逻辑门的输入和输出对可有2n!种组合,若将一个组合对应一个置换,则一切2n次置换的集合就组成一个置换群.Hash函数H(X)利用每一个置换中数字的排列位置,求出该数字的逆序数并计算其函数值,将置换群的元素X(a0a1…a2n-1)映射到整数Z∈{0,1,…,2n!-1}的集合上,快速确定计算位置.该函数不但可以大大提高量子可逆逻辑综合算法的效率,而且结构简单,性质良好,具有一般性意义.     

环Z2+uZ2+u2Z2上的斜循环码

文章研究的是环R=Z2 +uZ2 +u2Z2上一类广义的循环码——斜循环码;首先利用环R构造了一个非交换的多项式环R[x,θ],然后讨论了R上斜循环码与Rn=R[X,θ]/(Xn-1)左理想的关系,给出了斜循环码的生成多项式,以及环R上斜循环码是可逆码的充要条件,并考虑了斜循环码的对偶码.     

关于Chuang和Lee的一个定理

Chuang和Lee通过在半素环中构造一个可数子环的方法证明如下结果:设R是一个半素环,d为R上的一个导子,假设对于任意x∈R,存在一个依赖于x的多项式gx(t)∈Z(t),使得d(x-x2gx(x))=0.那么d(R)[R,R]=0.本短文指出:此定理完全可以通过常规的方法来证明.从而说明上面的定理作为Chuang和Lee方法的应用例子是不适合的.     

SL(2,R)上的一求和定理

本文给出了SL(2,R)上的(h,l)球函数的一求和定理,k,l∈1/2Z,k@l≤o.     

环Z/2~n上仿射函数Walsh谱的快速算法

通过研究环Z/2n上仿射函数进位函数的性质,首先给出了一个计算环Z/2n上仿射函数Walsh谱的快速算法,进而给出了环Z/2n上多输出仿射函数Walsh谱的快速算法.实验表明,该算法可以将环Z/2n上仿射函数Walsh谱的计算复杂度由关于变量规模n的指数时间降为线性时间.     

剩余类环上扩张因子的性质

由于简单、安全且便于高效实现,R-LWE上FHE方案成为目前FHE方案设计的主流。R-LWE上FHE方案基于剩余类环R=Z［x］/(f(x))的多项式扩张因子大小对密文同态操作时的噪声膨胀速度有重要影响。基于对无穷范数意义下多项式环R的扩张因子的研究,给出了几个特殊多项式所对应的具体扩张因子值。证明了系数为零的单项式越多的多项式,其对应的扩张因子越小,系数为0的单项式的幂次越高,其对应的扩张因子越小。该结果可为R-LWE上高效同态密码算法的设计提供理论指导。     

环Z/2n上仿射函数Walsh谱的快速算法

通过研究环Z/2n上仿射函数进位函数的性质,首先给出了一个计算环Z/2n上仿射函数Walsh谱的快速算法,进而给出了环Z/2n上多输出仿射函数Walsh谱的快速算法.实验表明,该算法可以将环Z/2n上仿射函数Walsh谱的计算复杂度由关于变量规模n的指数时间降为线性时间.     

多项式函数根的零知识证明协议

为有效解决多项式函数根的零知识证明问题,基于离散对数的困难性假设,提出了多重离散对数问题,给出了多项式函数根的零知识证明协议,即:通过对多项式的每一项计算对应的离散对数A1,A2,…,An,证明者向验证者提供这些项,验证者根据(A1A2…An)m odp的结论来判定证明者是否拥有该多项式的根。为了防止证明者的欺骗行为,双方需要进行多次交互式证明。理论分析结果表明:证明者欺骗成功的概率随交互式证明次数的增加呈指数衰减,该协议是安全和可靠的。     

无限内Σ群与群Z(p~∞)

群Z(p~∞)在无限群,特别在Abel群的理论中有重要的地位.Z(p~∞)有一个有趣的特徵性质:它是每个真子群为有限但本身为无限的Abel群.如果称每真子群具有性质∑,而原群不具有性质∑的群叫做“内∑群”.则Z(p~∞)是Abel群中的“内有限群”.是否存在不可换的内有限群是著名的尚未解决的问题.显然Z(p~∞)还是“内循环群”.Z(p~∞)还具有其它的“内性”,可以用这些“内性”来刻划Z(p~∞).     

关于一类四次代数整数的正规闭包

用代数数论的有关工具,找到了一类Q上四次代数整数±p~(1/2)±q~(1/2),确定并证明了它们的极小多项式是[x2-(p+q)]2-4pq,其正规闭包有4个实嵌入且没有复嵌入.     

螺象函数开始多次式的星象半径

本文讨论了单位圆盘E:|Z|<1中的正则螺象函数f(Z)=Z+∑a_0Z~n的开始多项式Sn(Z)=Z+∑a_kZ的星象半径,得出如下结果,当n≥13时,对任意的|α|<π/2,Sn(Z)在|Z|<1/2中为星象函数。设f(Z)=Z+a_2Z~2+a_3Z~3+…在单位圆盘E:|Z|<1中正则,若f(Z)满足条件     

环Z_4+vZ_4上的斜循环码

文章研究了环Z4+vZ4上的斜循环码,其中v2=v,利用斜多项式环R[x;θ]的结构性质给出了斜循环码的生成多项式,并讨论了环Z4+vZ4上的斜循环码与循环码和准循环码的关系;确定了在欧几里得内积和厄米特内积下环Z4+vZ4上偶长度的斜循环码的对偶码的生成多项式。     

关于Z/pnZ上置换多项式的一个注记

设Z是整数环，2≤n∈Z是一个整数，p是一个奇素数，Z[X]是整系数一多元项式环，J^∪Z[X]是剩余类环Z/p^nZ的化零理想，作者用解析的观点首先证明了剩余类环Z/p^nZ上的任一置换多项式的逆映射也是Z/p^nZ上的置换多项式，从而从解析的角度证明了Z/p^nZ上的置换多项式对于映射的复合运算及对模J的约化作成一个群。     

一类恒等函数问题的研究

设f:N→R+∪{0},g:N→C是完全积性函数,若f(p+1)=g(p)+1和f(p~2+q~3)=g(p~2)+g(q~3)对所有素数p,q均成立,则对所有素数p,q,π,f(p+1)=f(p~2+q~3)=0,g(π)=-1,或者对所有正整数n,f(n)=g(n)=n.     

关于有限p—群自同构群的一个猜想

在本篇短文中,我们证明了定理 设G为p~n阶的非Abel p-群,|G/φ(G)|=p~(?) ,Z(G)是p~(?)阶初等Abel群,r≥n-2/s,则|G|||AutG|.     

关于正形置换的构造

基于正形置换的定义,给出一个实用的正形置换构造算法及其应用,得到全部16次正形置换的计数为244 744 192;通过求解有限域Fm2上矩阵的逆矩阵,给出一个简捷的Fm2上与一个置换对应的置换多项式构造方法,得到了有限域F42上的全部正形置换多项式,并且证明其多项式次数均小于14.证明了有限域Fm2上置换多项式的多项式次数均小于2m-1.     

半素环的幂零导子

讨论半素环上导子的幂零性质, 利用相应的扩张技术证明了： （1） 设R是n!〖KG-*3〗-torsionfree半素环, n是自然数, Z是R的中心, δ是R上的导子, 若δⁿ(R)=0, 则δ(Z)=0; （2） 设R是特征不 为2的素环, Z是R的中心, U₁,U₂,…,U_n是R的Lie理想. 若d_{1,d2,…,dn是R的非零导子, 且［［…［d1(U1),d2(U2)］,…］,d n(Un)］Z, 则存在i∈{1,2,…,n}, 使得UiZ.}     

有关星象函数的一族解析函数与开始多项式

本文证明了三个定理,研究了当f(2)∈s~*时,g (z)的任何开始多项式的星象半径、1/2级星象半径及凸象半径,求出了当f(2)∈s~*时,g (z)的任何开始多项式s_n(z)在|z|<1/6中是星象函数、在|z|<1/9中是1/2级星象函数、在|z|<1/12中是凸象函数.1981年吴卓人发表了《有关星象函数的一族解析函数》(数学学报,24:2(1981),283-290),文章中研究了当f(2)∈s~*时,g (z)的任何开始多项式s_n(z)在|z|<1/3中是星象函数、在|z|<2/9中是1/2级星象函数、在|z|<1/6中是凸象函数.本文所研究的函数族比吴卓人所研究的函数族大,包含了他所研究的函数族,即s~*(?)s~*.     

Neumann-Bessel级数的Rogosinski型和

由于Neumann-Bessel级数的部分和算子S^{(N,B由于Neumann-Bessel级数的部分和算子S(N,B) _n(f;Z)并非对每个连续的函数f(Z)在单位圆周Γ上都一致收敛, 为了改进此插值多项式算子的收敛性, 从Neumann-Bessel级数的核函数K(N,B)_n(Z,ξ)出发, 对其进行平均, 构造出一个新的Rogosinski核, 并且详细证明了该算子在单位圆周上一致地收敛于每个连续的f(Z), 且具有最佳逼近阶.}