Showing 1–16 of 16 results for author: van der Hoeven, J

Probably faster multiplication of sparse polynomials

Authors: Joris van der Hoeven

Abstract: In this paper, we present a probabilistic algorithm to multiply two sparse polynomials almost as efficiently as two dense univariate polynomials with a result of approximately the same size. The algorithm depends on unproven heuristics that will be made precise. Non-heuristic versions that are a constant times slower are also presented. In this paper, we present a probabilistic algorithm to multiply two sparse polynomials almost as efficiently as two dense univariate polynomials with a result of approximately the same size. The algorithm depends on unproven heuristics that will be made precise. Non-heuristic versions that are a constant times slower are also presented. △ Less

Submitted 22 August, 2025; originally announced August 2025.

Integer multiplication is at least as hard as matrix transposition

Authors: David Harvey, Joris van der Hoeven

Abstract: Working in the multitape Turing model, we show how to reduce the problem of matrix transposition to the problem of integer multiplication. If transposing an $n \times n$ binary matrix requires $Ω(n^2 \log n)$ steps on a Turing machine, then our reduction implies that multiplying $n$-bit integers requires $Ω(n \log n)$ steps. In other words, if matrix transposition is as hard as expected, then inte… ▽ More Working in the multitape Turing model, we show how to reduce the problem of matrix transposition to the problem of integer multiplication. If transposing an $n \times n$ binary matrix requires $Ω(n^2 \log n)$ steps on a Turing machine, then our reduction implies that multiplying $n$-bit integers requires $Ω(n \log n)$ steps. In other words, if matrix transposition is as hard as expected, then integer multiplication is also as hard as expected. △ Less

Submitted 28 March, 2025; originally announced March 2025.

Comments: 28 pages

MSC Class: Primary 68Q17; Secondary 68W30

Fast interpolation of sparse multivariate polynomials

Authors: Joris van der Hoeven, Grégoire Lecerf

Abstract: Consider a sparse multivariate polynomial f with integer coefficients. Assume that f is represented as a "modular black box polynomial", e.g. via an algorithm to evaluate f at arbitrary integer points, modulo arbitrary positive integers. The problem of sparse interpolation is to recover f in its usual sparse representation, as a sum of coefficients times monomials. For the first time we present a… ▽ More Consider a sparse multivariate polynomial f with integer coefficients. Assume that f is represented as a "modular black box polynomial", e.g. via an algorithm to evaluate f at arbitrary integer points, modulo arbitrary positive integers. The problem of sparse interpolation is to recover f in its usual sparse representation, as a sum of coefficients times monomials. For the first time we present a quasi-optimal algorithm for this task. △ Less

Submitted 29 December, 2023; originally announced December 2023.

Factoring sparse polynomials fast

Authors: Alexander Demin, Joris van der Hoeven

Abstract: Consider a sparse polynomial in several variables given explicitly as a sum of non-zero terms with coefficients in an effective field. In this paper, we present several algorithms for factoring such polynomials and related tasks (such as gcd computation, square-free factorization, content-free factorization, and root extraction). Our methods are all based on sparse interpolation, but follow two ma… ▽ More Consider a sparse polynomial in several variables given explicitly as a sum of non-zero terms with coefficients in an effective field. In this paper, we present several algorithms for factoring such polynomials and related tasks (such as gcd computation, square-free factorization, content-free factorization, and root extraction). Our methods are all based on sparse interpolation, but follow two main lines of attack: iteration on the number of variables and more direct reductions to the univariate or bivariate case. We present detailed probabilistic complexity bounds in terms of the complexity of sparse interpolation and evaluation. △ Less

Submitted 25 February, 2025; v1 submitted 28 December, 2023; originally announced December 2023.

Optimizing the half-gcd algorithm

Authors: Joris van der Hoeven

Abstract: In this paper, we propose a carefully optimized "half-gcd" algorithm for polynomials. We achieve a constant speed-up with respect to previous work for the asymptotic time complexity. We also discuss special optimizations that are possible when polynomial multiplication is done using radix two FFTs. In this paper, we propose a carefully optimized "half-gcd" algorithm for polynomials. We achieve a constant speed-up with respect to previous work for the asymptotic time complexity. We also discuss special optimizations that are possible when polynomial multiplication is done using radix two FFTs. △ Less

Submitted 23 December, 2022; originally announced December 2022.

Forecasting Graph Signals with Recursive MIMO Graph Filters

Authors: Jelmer van der Hoeven, Alberto Natali, Geert Leus

Abstract: Forecasting time series on graphs is a fundamental problem in graph signal processing. When each entity of the network carries a vector of values for each time stamp instead of a scalar one, existing approaches resort to the use of product graphs to combine this multidimensional information, at the expense of creating a larger graph. In this paper, we show the limitations of such approaches, and p… ▽ More Forecasting time series on graphs is a fundamental problem in graph signal processing. When each entity of the network carries a vector of values for each time stamp instead of a scalar one, existing approaches resort to the use of product graphs to combine this multidimensional information, at the expense of creating a larger graph. In this paper, we show the limitations of such approaches, and propose extensions to tackle them. Then, we propose a recursive multiple-input multiple-output graph filter which encompasses many already existing models in the literature while being more flexible. Numerical simulations on a real world data set show the effectiveness of the proposed models. △ Less

Submitted 27 October, 2022; originally announced October 2022.

LU factorization with errors *

Authors: Jean-Guillaume Dumas, Joris Van Der Hoeven, Clément Pernet, Daniel Roche

Abstract: We present new algorithms to detect and correct errors in the lower-upper factorization of a matrix, or the triangular linear system solution, over an arbitrary field. Our main algorithms do not require any additional information or encoding other than the original inputs and the erroneous output. Their running time is softly linear in the dimension times the number of errors when there are few er… ▽ More We present new algorithms to detect and correct errors in the lower-upper factorization of a matrix, or the triangular linear system solution, over an arbitrary field. Our main algorithms do not require any additional information or encoding other than the original inputs and the erroneous output. Their running time is softly linear in the dimension times the number of errors when there are few errors, smoothly growing to the cost of fast matrix multiplication as the number of errors increases. We also present applications to general linear system solving. △ Less

Submitted 30 January, 2019; originally announced January 2019.

Faster integer multiplication using short lattice vectors

Authors: David Harvey, Joris van der Hoeven

Abstract: We prove that $n$-bit integers may be multiplied in $O(n \log n \, 4^{\log^* n})$ bit operations. This complexity bound had been achieved previously by several authors, assuming various unproved number-theoretic hypotheses. Our proof is unconditional, and depends in an essential way on Minkowski's theorem concerning lattice vectors in symmetric convex sets. We prove that $n$-bit integers may be multiplied in $O(n \log n \, 4^{\log^* n})$ bit operations. This complexity bound had been achieved previously by several authors, assuming various unproved number-theoretic hypotheses. Our proof is unconditional, and depends in an essential way on Minkowski's theorem concerning lattice vectors in symmetric convex sets. △ Less

Submitted 22 February, 2018; originally announced February 2018.

Comments: 16 pages

MSC Class: 68W30; 68Q17; 68W40 ACM Class: G.1.0; F.2.1

Journal ref: Open Book Series 2 (2019) 293-310

Faster integer and polynomial multiplication using cyclotomic coefficient rings

Authors: David Harvey, Joris van der Hoeven

Abstract: We present an algorithm that computes the product of two n-bit integers in O(n log n (4\sqrt 2)^{log^* n}) bit operations. Previously, the best known bound was O(n log n 6^{log^* n}). We also prove that for a fixed prime p, polynomials in F_p[X] of degree n may be multiplied in O(n log n 4^{log^* n}) bit operations; the previous best bound was O(n log n 8^{log^* n}). We present an algorithm that computes the product of two n-bit integers in O(n log n (4\sqrt 2)^{log^* n}) bit operations. Previously, the best known bound was O(n log n 6^{log^* n}). We also prove that for a fixed prime p, polynomials in F_p[X] of degree n may be multiplied in O(n log n 4^{log^* n}) bit operations; the previous best bound was O(n log n 8^{log^* n}). △ Less

Submitted 11 December, 2017; originally announced December 2017.

Comments: 28 pages

MSC Class: 68W30; 68Q17; 68W40 ACM Class: G.1.0; F.2.1

Faster integer multiplication using plain vanilla FFT primes

Authors: David Harvey, Joris van der Hoeven

Abstract: Assuming a conjectural upper bound for the least prime in an arithmetic progression, we show that n-bit integers may be multiplied in O(n log n 4^(log^* n)) bit operations. Assuming a conjectural upper bound for the least prime in an arithmetic progression, we show that n-bit integers may be multiplied in O(n log n 4^(log^* n)) bit operations. △ Less

Submitted 16 October, 2017; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: 14 pages, to appear in Mathematics of Computation

MSC Class: 68W30; 68Q17; 68W40 ACM Class: G.1.0; F.2.1

Modular SIMD arithmetic in Mathemagix

Authors: Joris van der Hoeven, Grégoire Lecerf, Guillaume Quintin

Abstract: Modular integer arithmetic occurs in many algorithms for computer algebra, cryptography, and error correcting codes. Although recent microprocessors typically offer a wide range of highly optimized arithmetic functions, modular integer operations still require dedicated implementations. In this article, we survey existing algorithms for modular integer arithmetic, and present detailed vectorized c… ▽ More Modular integer arithmetic occurs in many algorithms for computer algebra, cryptography, and error correcting codes. Although recent microprocessors typically offer a wide range of highly optimized arithmetic functions, modular integer operations still require dedicated implementations. In this article, we survey existing algorithms for modular integer arithmetic, and present detailed vectorized counterparts. We also present several applications, such as fast modular Fourier transforms and multiplication of integer polynomials and matrices. The vectorized algorithms have been implemented in C++ inside the free computer algebra and analysis system Mathemagix. The performance of our implementation is illustrated by various benchmarks. △ Less

Submitted 12 July, 2014; originally announced July 2014.

ACM Class: G.4

Faster polynomial multiplication over finite fields

Authors: David Harvey, Joris van der Hoeven, Grégoire Lecerf

Abstract: Let p be a prime, and let M_p(n) denote the bit complexity of multiplying two polynomials in F_p[X] of degree less than n. For n large compared to p, we establish the bound M_p(n) = O(n log n 8^(log^* n) log p), where log^* is the iterated logarithm. This is the first known Fürer-type complexity bound for F_p[X], and improves on the previously best known bound M_p(n) = O(n log n log log n log p). Let p be a prime, and let M_p(n) denote the bit complexity of multiplying two polynomials in F_p[X] of degree less than n. For n large compared to p, we establish the bound M_p(n) = O(n log n 8^(log^* n) log p), where log^* is the iterated logarithm. This is the first known Fürer-type complexity bound for F_p[X], and improves on the previously best known bound M_p(n) = O(n log n log log n log p). △ Less

Submitted 12 July, 2014; originally announced July 2014.

MSC Class: 68W30; 68Q17; 68W40 ACM Class: G.1.0; F.2.1

Even faster integer multiplication

Authors: David Harvey, Joris van der Hoeven, Grégoire Lecerf

Abstract: We give a new proof of Fürer's bound for the cost of multiplying n-bit integers in the bit complexity model. Unlike Fürer, our method does not require constructing special coefficient rings with "fast" roots of unity. Moreover, we prove the more explicit bound O(n log n K^(log^* n))$ with K = 8. We show that an optimised variant of Fürer's algorithm achieves only K = 16, suggesting that the new al… ▽ More We give a new proof of Fürer's bound for the cost of multiplying n-bit integers in the bit complexity model. Unlike Fürer, our method does not require constructing special coefficient rings with "fast" roots of unity. Moreover, we prove the more explicit bound O(n log n K^(log^* n))$ with K = 8. We show that an optimised variant of Fürer's algorithm achieves only K = 16, suggesting that the new algorithm is faster than Fürer's by a factor of 2^(log^* n). Assuming standard conjectures about the distribution of Mersenne primes, we give yet another algorithm that achieves K = 4. △ Less

Submitted 12 July, 2014; originally announced July 2014.

MSC Class: 68W30; 68Q17; 68W40 ACM Class: G.1.0; F.2.1

Quasi-optimal multiplication of linear differential operators

Authors: Alexandre Benoit, Alin Bostan, Joris van der Hoeven

Abstract: We show that linear differential operators with polynomial coefficients over a field of characteristic zero can be multiplied in quasi-optimal time. This answers an open question raised by van der Hoeven. We show that linear differential operators with polynomial coefficients over a field of characteristic zero can be multiplied in quasi-optimal time. This answers an open question raised by van der Hoeven. △ Less

Submitted 17 August, 2012; originally announced August 2012.

Comments: To appear in the Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS'12)

MSC Class: 68Q25; 34A30; 68W30 ACM Class: F.2.1; G.1.7; I.1.2

On the bit-complexity of sparse polynomial multiplication

Authors: Joris van der Hoeven, Grégoire Lecerf

Abstract: In this paper, we present fast algorithms for the product of two multivariate polynomials in sparse representation. The bit complexity of our algorithms are studied in detail for various types of coefficients, and we derive new complexity results for the power series multiplication in many variables. Our algorithms are implemented and freely available within the Mathemagix software. We show that… ▽ More In this paper, we present fast algorithms for the product of two multivariate polynomials in sparse representation. The bit complexity of our algorithms are studied in detail for various types of coefficients, and we derive new complexity results for the power series multiplication in many variables. Our algorithms are implemented and freely available within the Mathemagix software. We show that their theoretical costs are well-reflected in practice. △ Less

Submitted 26 January, 2009; originally announced January 2009.

ACM Class: I.1.2

Homotopy methods for multiplication modulo triangular sets

Authors: Alin Bostan, Muhammad Chowdhury, Joris van der Hoeven, Eric Schost

Abstract: We study the cost of multiplication modulo triangular families of polynomials. Following previous work by Li, Moreno Maza and Schost, we propose an algorithm that relies on homotopy and fast evaluation-interpolation techniques. We obtain a quasi-linear time complexity for substantial families of examples, for which no such result was known before. Applications are given to notably addition of al… ▽ More We study the cost of multiplication modulo triangular families of polynomials. Following previous work by Li, Moreno Maza and Schost, we propose an algorithm that relies on homotopy and fast evaluation-interpolation techniques. We obtain a quasi-linear time complexity for substantial families of examples, for which no such result was known before. Applications are given to notably addition of algebraic numbers in small characteristic. △ Less

Submitted 23 January, 2009; originally announced January 2009.

ACM Class: I.1.2