可集成量子计算中的非近邻相互作用

我们研究一维自旋1／2链中的非近邻相互作用的影响。和近邻相互作用相比，非近邻的相互作用强度一般会较弱，因而在以前的许多方案中，这种长程的相互作用被忽略了。本文首先估计由被忽略的非近邻相互作用所引起的量子逻辑门的误差。我们得到的结果是，这项误差不仅和非近邻相互作用的强度有关，更依赖于一维自旋链所包含的粒子数，忽略非近邻相互作用有可能会对可集成量子计算造成影响。我们进一步研究如何消除或者压缩这种长程的相互作用所造成的影响。我们提出了一个量子计算方案。在这种方案中，次近邻的相互作用的影响被完全消除，从而我们可以使量子逻辑门的精度得以提高。我们也讨论了这种方案在超导量子计算体系里面的物理实现问题。     

Fourier—Haar积分及其平方函数和极大函数

§1.引言 我们已经知道([8]第一章),L(O,1)中的函数f(x),在它的Lebesgue点处可以展开成Fourier-Haar级数 本文指出(定理1),给(-∞, ∞)上的函数f(x)加上少许限制,在它的Lebesgue点x处,成立着Fourie-Haar积分公式     

函数的图象与性质

本讲主要讨论函数图象的三种变换：平移、对称、翻折，并介绍如何利用函数的图象解题。     

一个仅在有限个点连续且可微的函数

本文构造了一个 n元实函数 f ( x1,… ,xn) ,这个函数定义在整个 n维空间 Rn。除了在任意指定的 m个点 P1,P2 ,… ,Pm 处连续且可微外 ,在其它点上皆不可微、皆不连续。不妨设 Pi 点的坐标为 ( ai1,… ,ain) ( i=1 ,… ,m)。定义 Rn上的实函数f ( x1,… ,xn) =D( x1,… ,xn) mi=1[ nj=1( xj-aij) 2 ]其中　D ( x1,… ,xn) =1　当 x1,… ,xn 全为有理数0　其它 ,则有如下命题命题 1 :f ( x1,… ,xn)仅在 P1,P2 ,… ,Pm 点连续。证明 :先证明 f ( x1,… ,xn)在 Pi 点连续。显然 f ( Pi) =0 ( i=1 ,… ,m)。当 P( x1,… ,xn)→ Pi 有 li…     

自由模的自同态环之间的同构

本文主要结果如下:(1)证明了两个自由模及是半线性同构当且仅当End_F与End_G是严格的环同构(见定义1)。(2)用不同方法证明并推广了1985年Bolla用范畴方法来描述End_F与End_G之间的环同构。(3)1962年Wolfson定理是我们的推论。     

Banach空间上有界可逆线性变换逆变换的结构

Fillmore在[1]中得到一个定理:设A,T是Banach空间X上的线性变换,A有界,若Lat(A) Lat(T)且AT=TA,则T是A的多项式.在本文里,以此作为引理,讨论了Banach空间上可逆线性变换A在什么情况下,A-1可表示为A的多项式.本文最主要的结论是定理3.4:设X是Banach空间,A是X上的有界线性变换,且可逆,则A-1是A的多项式当且仅当A-1是A的局部多项式.     

综合题新编选登：题136

函数f(x)对一切实数x，y均有f(x y)-f(Y)=x(x 2y 1)成立，且f(1)=0．