On the Applications of the Linear Recurrence Relationships to Pseudoprimes

We present here some results on the applications of linear recursive sequences of order $2$ to the Fermat pseudoprimes, Fibonacci pseudoprimes, and Dickson pseudoprimes.     

符号动力系统与费马小定理

费马小定理是数论中的一个重要定理.利用符号动力系统计算周期轨的方法给出了费马小定理一个新的证明,讨论了数的整除性,并解释了费马小定理的几何意义.     

关于“费尔马最后定理的证明”一文的评注

本文对“费尔马最后定理的证明”一文作出几点评注，主要结论是该证明仅仅是对费尔马最后定理的部分情形的证明，即并没有完全证明费尔马最后定理     

关于平行光束的聚焦

根据费马原理，设想出一个由旋转椭球面与半径等于椭球短半轴的球面组成的透镜，使具有一定宽度的平行光束通过透镜后聚焦。     

关于左手性介质几何光学的研究（一）

根据几何光学中的费马原理和完善成像原理研究了光线经过正负折射率界面时的传播特性，推导了单负折射率完善成像的曲面方程，讨论了单块负折射率透镜成像特性的一些缺陷及改进方案，依此指出了最短时间原理的适用范围的局限性和利用左手性介质制作光学器件的优越性，为进一步研究左手性介质的光学特性和相关光学器件设计提供了理论基础.     

Two kinds of strong pseudoprimes up to

Let be an odd composite integer. Write with odd. If either mod or mod for some , then we say that is a strong pseudoprime to base , or spsp() for short. Define to be the smallest strong pseudoprime to all the first prime bases. If we know the exact value of , we will have, for integers , a deterministic efficient primality testing algorithm which is easy to implement. Thanks to Pomerance et al. and Jaeschke, the are known for . Conjectured values of were given by us in our previous papers (Math. Comp. 72 (2003), 2085-2097; 74 (2005), 1009-1024).

The main purpose of this paper is to give exact values of for ; to give a lower bound of : ; and to give reasons and numerical evidence of K2- and -spsp's to support the following conjecture: for any , where (resp. ) is the smallest K2- (resp. -) strong pseudoprime to all the first prime bases. For this purpose we describe procedures for computing and enumerating the two kinds of spsp's to the first 9 prime bases. The entire calculation took about 4000 hours on a PC Pentium IV/1.8GHz. (Recall that a K2-spsp is an spsp of the form: with primes and ; and that a -spsp is an spsp and a Carmichael number of the form: with each prime factor mod .)

     

The Topology of Algebra: Combinatorics of Squaring

We study the graph each of whose edges connects an element of a given ring with the square of itself. For a finite commutative group (e.g., for the multiplicative group of coprime residue classes modulo a positive integer), we describe this graph explicitly: each of its connected components is an oriented attracting cycle equipped with identical -vertex rooted trees of special form whose roots reside on the cycle. We also compute the graphs of permutation groups on not too many elements and of the subgroups of even permutations; the connected components of these graphs are also uniformly equipped cycles.     

使用辅助光栅的平面变间距全息光栅加工理论研究

变间距全息光栅具有自聚焦和消像差功能,是高分辨率光谱仪与同步辐射单色器中的重要元件。研究了使用平面等间距光栅产生非球面波,记录平面变间距全息光栅的方法。根据几何光学的光线追迹理论,推导了光栅参量的四阶解析表达式。并基于费马原理,提出了记录光路的光线追迹数值算法。应用所推导的光栅参量四阶表达式,仿真设计了变间距全息光栅。通过合理选择记录参量,可以避免光栅基底受到零级及高阶衍射光场的影响。设计结果表明,理论光栅线密度与要求值相当符合;经光线追迹数值算法验证,解析表达式的展开误差在整个记录区域内小于1.5线;考虑到实际加工工艺允许误差,使用辅助光栅的记录光路对记录参量的误差并不敏感;设计实例证明了解析表达式的有效性,以及使用辅助光栅的记录光路的优越性。     

A comment on the proof of Fermat's last theorem

In this paper, some conmments on the proof of Fermat’s last theorem are proposed.The main resuilt is thai the proof proposed by Wong Chiahe is only part of proof for fermat’s last theorem. That is to sqy,the proof is not all-full proof to Fermat’s last theorem.