Fast Fourier Orthogonalization

被引:45
作者
Ducas, Leo [1 ]
Prest, Thomas [2 ]
机构
[1] CWI, Cryptol Grp, Amsterdam, Netherlands
[2] Thales Commun & Secur, Gennevilliers, France
来源
PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016) | 2016年
关键词
Fast Fourier transform; Gram-Schmidt orthogonalization; nearest plane algorithm; lattice algorithms; lattice trapdoor functions;
D O I
10.1145/2930889.2930923
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The classical fast Fourier transform (FFT) allows to compute in quasi -linear time the product of two polynomials, in the circular convolution ring R[x]I(x(d) - 1) - a task that naively requires quadratic time. Equivalently, it allows to accelerate matrix -vector products when the matrix is circulant. In this work, we discover that the ideas of the FFT can be applied to speed up the orthogonalization process of matrices with circulant blocks of size d x d. We show that, when d is composite, it is possible to proceed to the orthogonalization in an inductive way up to an appropriate re-indexation of rows and columns. This leads to a structured Gram -Schmidt decomposition. In turn, this structured Gram-Schmidt decomposition accelerates a cornerstone lattice algorithm: the nearest plane algorithm. The complexity of both algorithms may be brought down to circle minus(d log d). Our results easily extend to cyclotomic rings, and can be adapted to Gaussian samplers. This finds applications in lattice-based cryptography, improving the performances of trapdoor functions.
引用
收藏
页码:191 / 198
页数:8
相关论文
共 22 条
[1]  
[Anonymous], FAST ALGORITHMS STRU
[2]  
[Anonymous], 1960, ECONOMETRICA
[3]  
[Anonymous], EUROCRYPT 2015
[4]  
[Anonymous], FOCS
[5]   ON LOVASZ LATTICE REDUCTION AND THE NEAREST LATTICE POINT PROBLEM [J].
BABAI, L .
COMBINATORICA, 1986, 6 (01) :1-13
[6]   AN ALGORITHM FOR MACHINE CALCULATION OF COMPLEX FOURIER SERIES [J].
COOLEY, JW ;
TUKEY, JW .
MATHEMATICS OF COMPUTATION, 1965, 19 (90) :297-&
[7]  
Gentleman WMorven, 1966, P NOV 7 10 1966 FALL, P563, DOI DOI 10.1145/1464291.1464352
[8]  
Gentry C., 2008, STOC
[9]  
Gorbunov S, 2013, STOC'13: PROCEEDINGS OF THE 2013 ACM SYMPOSIUM ON THEORY OF COMPUTING, P545
[10]   POSITIVE-DEFINITE TOEPLITZ MATRICES, THE ARNOLDI PROCESS FOR ISOMETRIC OPERATORS, AND GAUSSIAN QUADRATURE ON THE UNIT-CIRCLE [J].
GRAGG, WB .
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 1993, 46 (1-2) :183-198