Polynomials: a new tool for length reduction in binary discrete convolutions

Efficient handling of sparse data is a key challenge in Computer Science. Binary convolutions, such as polynomial multiplication or the Walsh Transform are a useful tool in many applications and are efficiently solved. In the last decade, several problems required efficient solution of sparse binary convolutions. both randomized and deterministic algorithms were developed for efficiently computing the sparse polynomial multiplication. The key operation in all these algorithms was length reduction. The sparse data is mapped into small vectors that preserve the convolution result. The reduction method used to-date was the modulo function since it preserves location (of the "1" bits) up to cyclic shift. To date there is no known efficient algorithm for computing the sparse Walsh transform. Since the modulo function does not preserve the Walsh transform a new method for length reduction is needed. In this paper we present such a new method - polynomials. This method enables the development of an efficient algorithm for computing the binary sparse Walsh transform. To our knowledge, this is the first such algorithm. We also show that this method allows a faster deterministic computation of sparse polynomial multiplication than currently known in the literature.

[1]  Ely Porat,et al.  Deterministic Length Reduction: Fast Convolution in Sparse Data and Applications , 2007, CPM.

[2]  S. Muthukrishnan,et al.  New Results and Open Problems Related to Non-Standard Stringology , 1995, CPM.

[3]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[4]  William Rucklidge,et al.  Efficient Visual Recognition Using the Hausdorff Distance , 1996, Lecture Notes in Computer Science.

[5]  Piotr Indyk,et al.  Simple and practical algorithm for sparse Fourier transform , 2012, SODA.

[6]  Arnold Schönhage,et al.  Schnelle Multiplikation großer Zahlen , 1971, Computing.

[7]  Samarjit Chakraborty,et al.  Computing Largest Common Point Sets under Approximate Congruence , 2000, ESA.

[8]  Richard Cole,et al.  Verifying candidate matches in sparse and wildcard matching , 2002, STOC '02.

[9]  Joan Antoni Sellarès,et al.  Noisy colored point set matching , 2011, Discret. Appl. Math..

[10]  Piotr Indyk,et al.  Nearly optimal sparse fourier transform , 2012, STOC '12.

[11]  Piotr Indyk,et al.  Geometric matching under noise: combinatorial bounds and algorithms , 1999, SODA '99.

[12]  Dit-Yan Yeung,et al.  Bidirectional Deformable Matching with Application to Handwritten Character Extraction , 2002, IEEE Trans. Pattern Anal. Mach. Intell..

[13]  Micha Sharir,et al.  Hausdorff distance under translation for points and balls , 2003, TALG.

[14]  Tatsuya Akutsu,et al.  Point matching under non-uniform distortions , 2003, Discret. Appl. Math..

[15]  Esko Ukkonen,et al.  Sweepline the Music! , 2003, Computer Science in Perspective.

[16]  Pedro Berrizbeitia,et al.  Sharpening "Primes is in P" for a large family of numbers , 2002, Math. Comput..

[17]  David E. Cardoze,et al.  Pattern matching for spatial point sets , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[18]  Yonatan Aumann,et al.  Approximate string matching with address bit errors , 2008, Theor. Comput. Sci..

[19]  Damien Stehlé,et al.  A Binary Recursive Gcd Algorithm , 2004, ANTS.