Faster computation of the Tate pairing

Text

This paper proposes new explicit formulas for the doubling and addition steps in Miller's algorithm to compute the Tate pairing on elliptic curves in Weierstrass and in Edwards form. For Edwards curves the formulas come from a new way of seeing the arithmetic. We state the first geometric interpretation of the group law on Edwards curves by presenting the functions which arise in addition and doubling. The Tate pairing on Edwards curves can be computed by using these functions in Miller's algorithm. Computing the sum of two points or the double of a point and the coefficients of the corresponding functions is faster with our formulas than with all previously proposed formulas for pairings on Edwards curves. They are even competitive with all published formulas for pairing computation on Weierstrass curves. We also improve the formulas for Tate pairing computation on Weierstrass curves in Jacobian coordinates. Finally, we present several examples of pairing-friendly Edwards curves.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=nideQo-K9ME/.     

Darboux transformation and explicit solutions for the integrable sixth-order KdV equation for nonlinear waves

Korteweg-de Vries (KdV)-type equations can describe some physical phenomena in fluids, nonlinear optics, quantum mechanics, plasmas, etc. In this paper, with the aid of symbolic computation, the integrable sixth-order KdV equation is investigated. Darboux transformation (DT) with an arbitrary parameter is presented. Explicit solutions are derived with the DT. Relevant properties are graphically illustrated, which might be helpful to understand some physical processes in fluids, plasmas, optics and quantum mechanics.     

Convergence of numerical solutions to stochastic age-structured system of three species

In general, most of stochastic age-structured system of three species do not have explicit solutions, thus numerical approximation schemes are invaluable tools for exploring their properties. The aim of this paper is to investigate the convergence of numerical approximation solution to the true solution for stochastic age-structured system of three species.     

A family of explicit parallel Runge-Kutta-Nyström methods

A procedure for the construction of high-order explicit parallel Runge-Kutta-Nyström (RKN) methods for solving second-order nonstiff initial value problems (IVPs) is analyzed. The analysis reveals that starting the procedure with a reference symmetric RKN method it is possible to construct high-order RKN schemes which can be implemented in parallel on a small number of processors. These schemes are defined by means of a convex combination of k disjoint s_i-stage explicit RKN methods which are constructed by connecting s_i steps of a reference explicit symmetric method. Based on the reference second-order Störmer-Verlet methods we derive a family of high-order explicit parallel schemes which can be implemented in variable-step codes without additional cost. The numerical experiments carried out show that the new parallel schemes are more efficient than some sequential and parallel codes proposed in the scientific literature for solving second-order nonstiff IVPs.     

On the use of some numerical damping methods of spurious oscillations in the case of elastic wave propagation

The use of finite element and finite difference methods of spatial and temporal discretization for solving structural dynamics problems gives rise to purely numerical errors. Among the many numerical methods used to damp out the spurious oscillations occurring in the high frequency domain, it is proposed here to analyse and compare the well-known Bulk Viscosity method, which modifies the stresses calculations and a method recently presented by Tchamwa and Wielgosz, which is based on a modification of an explicit time integration algorithm. The efficiency of both methods is evaluated in a 2-D axisymmetric compressive test.     

二维变系数扩散方程交替分组显格式的稳定性分析

1.引言 由于高性能并行计算机的出现和并行计算的推动,十多年来,抛物型方程有限差分并行算法设计与分析一直受到关注. D.J.Evalns和A.R.B.Abdullah(1983,[1,2]利用Saul’yev非对称格式对常系数抛物方程设计了AGE(交替分组显格式)算法,并用矩阵分析的方法证明了该算法的无条件稳定性.该算法有明显的并行性,倍受推崇,且计算的实践([8],[9])表明它对变系数的抛物方程也是可行的,但稳定性的分析成为一个难点.张宝琳([3])在一维情     

Galois averages

In this paper, we introduce a notion of “Galois average” which allows us to give a suitable answer to the question: how can one extend a finite Galois extension E/F by a prime degree extension N/E to get a Galois extension N/F? Here, N/E is not necessarily a Kummer extension.